user=mdettweiler [2013-01-29 00:06:57] 675*2^1240132-1 is not prime. Res64: 531C2A68819FAD8C Time : 0.0 sec. user=mdettweiler [2013-01-29 00:07:00] 677*2^1240132-1 is not prime. Res64: 3F3B07710C0976B6 Time : 0.0 sec. user=vaughan [2013-01-29 00:15:33] 969*2^1240131-1 is not prime. Res64: CB979E3BBB792173 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:16:17] 765*2^1240132-1 is not prime. Res64: 88891EC826E9B177 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:16:18] 887*2^1240132-1 is not prime. Res64: CBEC428005D24F58 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:24:30] 897*2^1240132-1 is not prime. Res64: 7433E5CBF98AEDB0 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:24:30] 915*2^1240132-1 is not prime. Res64: 9DC964C33B184B63 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:33:41] 995*2^1240132-1 is not prime. Res64: 5DED44F4525FCE91 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:33:42] 619*2^1240133-1 is not prime. Res64: 2E6DE7EB39DFE48A Time : 0.0 sec. user=mdettweiler [2013-01-29 00:41:51] 837*2^1240133-1 is not prime. Res64: 056A488B0A4C343A Time : 0.0 sec. user=mdettweiler [2013-01-29 00:41:52] 879*2^1240133-1 is not prime. Res64: CC947F7905176574 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:51:02] 605*2^1240134-1 is not prime. Res64: 692E672BFFAA1B77 Time : 0.0 sec. user=mdettweiler [2013-01-29 00:51:03] 711*2^1240134-1 is not prime. Res64: C1FE02CEBB628C7C Time : 0.0 sec. user=vaughan [2013-01-29 00:53:34] 989*2^1240132-1 is not prime. Res64: 095276D69E48741B Time : 0.0 sec. user=mdettweiler [2013-01-29 00:59:13] 815*2^1240134-1 is not prime. Res64: C116AF6F73A53E8E Time : 0.0 sec. user=mdettweiler [2013-01-29 00:59:14] 887*2^1240134-1 is not prime. Res64: 189BE7B74BD9E60D Time : 0.0 sec. user=mdettweiler [2013-01-29 01:08:23] 893*2^1240134-1 is not prime. Res64: 422A64297B9B598E Time : 0.0 sec. user=mdettweiler [2013-01-29 01:08:25] 603*2^1240135-1 is not prime. Res64: EEDF8E09DEF93719 Time : 0.0 sec. user=mdettweiler [2013-01-29 01:16:33] 813*2^1240136-1 is not prime. Res64: 2F2D35061AE863C8 Time : 0.0 sec. user=mdettweiler [2013-01-29 01:16:34] 833*2^1240136-1 is not prime. Res64: 391D69B08602228C Time : 0.0 sec. user=mdettweiler [2013-01-29 01:25:48] 843*2^1240136-1 is not prime. Res64: E0EF3FA81983C2F5 Time : 0.0 sec. user=mdettweiler [2013-01-29 01:25:49] 903*2^1240136-1 is not prime. Res64: E96A2A68A65C882C Time : 0.0 sec. user=vaughan [2013-01-29 01:31:27] 633*2^1240135-1 is not prime. Res64: 09750C44EB5A282A Time : 0.0 sec. user=mdettweiler [2013-01-29 01:33:59] 917*2^1240136-1 is not prime. Res64: 18052E3CAB5B4FFA Time : 0.0 sec. user=mdettweiler [2013-01-29 01:34:00] 615*2^1240137-1 is not prime. Res64: 70DAF532E179C64D Time : 0.0 sec. user=mdettweiler [2013-01-29 01:43:13] 625*2^1240137-1 is not prime. Res64: E802F15491357080 Time : 0.0 sec. user=mdettweiler [2013-01-29 01:43:14] 717*2^1240137-1 is not prime. Res64: 6781756B4747A25A Time : 0.0 sec. user=mdettweiler [2013-01-29 01:51:20] 739*2^1240137-1 is not prime. Res64: BFB39B2EFC9A9F40 Time : 0.0 sec. user=mdettweiler [2013-01-29 01:51:21] 867*2^1240137-1 is not prime. Res64: DA979C7E4FCBE124 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:00:33] 901*2^1240137-1 is not prime. Res64: C9B860A0ED9578DE Time : 0.0 sec. user=mdettweiler [2013-01-29 02:00:35] 755*2^1240138-1 is not prime. Res64: 691143A687630127 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:08:44] 777*2^1240138-1 is not prime. Res64: 7B94CB1B5B0AC1CB Time : 0.0 sec. user=mdettweiler [2013-01-29 02:08:45] 825*2^1240138-1 is not prime. Res64: A9FBE99FF3A1892E Time : 0.0 sec. user=vaughan [2013-01-29 02:09:22] 735*2^1240137-1 is not prime. Res64: 297B7BD1EE7058E3 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:18:06] 857*2^1240138-1 is not prime. Res64: B0C43DB8916395FE Time : 0.0 sec. user=mdettweiler [2013-01-29 02:18:07] 861*2^1240138-1 is not prime. Res64: 75ED23BCAB485F6E Time : 0.0 sec. user=mdettweiler [2013-01-29 02:26:09] 945*2^1240138-1 is not prime. Res64: 28999C760963C4B6 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:26:10] 957*2^1240138-1 is not prime. Res64: 4AB6E70369B0B980 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:35:28] 771*2^1240139-1 is not prime. Res64: 3B215B70AB7FEAC4 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:35:31] 843*2^1240139-1 is not prime. Res64: 7643391C8C70AABF Time : 0.0 sec. user=mdettweiler [2013-01-29 02:43:30] 909*2^1240139-1 is not prime. Res64: CDCC28C8DBFAE7DF Time : 0.0 sec. user=mdettweiler [2013-01-29 02:43:33] 939*2^1240139-1 is not prime. Res64: BBB958F1F7FFBA8D Time : 0.0 sec. user=vaughan [2013-01-29 02:47:19] 655*2^1240139-1 is not prime. Res64: 2A153D5B8957C31A Time : 0.0 sec. user=mdettweiler [2013-01-29 02:52:58] 955*2^1240139-1 is not prime. Res64: A7FF1553A3CA44E9 Time : 0.0 sec. user=mdettweiler [2013-01-29 02:53:00] 973*2^1240139-1 is not prime. Res64: 16E4CFA2A0A68078 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:01:07] 803*2^1240140-1 is not prime. Res64: 294962B667917FD7 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:01:09] 845*2^1240140-1 is not prime. Res64: 993FED69FE8BFC90 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:10:25] 717*2^1240141-1 is not prime. Res64: 79005DD1C19655B8 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:10:27] 775*2^1240141-1 is not prime. Res64: 4502AF5CC297BCDB Time : 0.0 sec. user=mdettweiler [2013-01-29 03:18:36] 867*2^1240141-1 is not prime. Res64: 3B4E0E7CBDB8614A Time : 0.0 sec. user=mdettweiler [2013-01-29 03:18:36] 871*2^1240141-1 is not prime. Res64: AEEEDDEE142E3710 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:27:55] 889*2^1240141-1 is not prime. Res64: D16F68D24A4FFA6D Time : 0.0 sec. user=mdettweiler [2013-01-29 03:27:56] 901*2^1240141-1 is not prime. Res64: 98AB8738525ABDEB Time : 0.0 sec. user=vaughan [2013-01-29 03:30:23] 999*2^1240140-1 is not prime. Res64: D957059184B7DB03 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:36:00] 603*2^1240142-1 is not prime. Res64: 8E9A909FB6DFEF86 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:36:03] 635*2^1240142-1 is not prime. Res64: BBF484FD3CB35A34 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:45:15] 657*2^1240142-1 is not prime. Res64: FE65A2A9B0A81276 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:45:17] 801*2^1240142-1 is not prime. Res64: 49034FDA14F25491 Time : 0.0 sec. user=mdettweiler [2013-01-29 03:53:41] 873*2^1240142-1 is not prime. Res64: 63A45F889519840F Time : 0.0 sec. user=mdettweiler [2013-01-29 03:53:41] 893*2^1240142-1 is not prime. Res64: 5BD4FA890D451890 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:02:44] 935*2^1240142-1 is not prime. Res64: 448EF1B4C461E157 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:02:46] 1001*2^1240142-1 is not prime. Res64: BA4EAB35E9076B02 Time : 0.0 sec. user=vaughan [2013-01-29 04:08:22] 815*2^1240142-1 is not prime. Res64: A58ABF9855E44C8F Time : 0.0 sec. user=mdettweiler [2013-01-29 04:11:04] 663*2^1240143-1 is not prime. Res64: C29DF42800D4236B Time : 0.0 sec. user=mdettweiler [2013-01-29 04:11:06] 703*2^1240143-1 is not prime. Res64: C67A0B27065729D2 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:20:18] 861*2^1240143-1 is not prime. Res64: E772133E22AA71F2 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:20:19] 693*2^1240144-1 is not prime. Res64: E8D72562BCCE031A Time : 0.0 sec. user=mdettweiler [2013-01-29 04:28:28] 765*2^1240144-1 is not prime. Res64: E0CB4BD86899196D Time : 0.0 sec. user=mdettweiler [2013-01-29 04:28:28] 813*2^1240144-1 is not prime. Res64: 796F2C04ADE11914 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:37:40] 863*2^1240144-1 is not prime. Res64: 31C427D3FAF9A3F8 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:37:42] 875*2^1240144-1 is not prime. Res64: C5A415143C063742 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:45:49] 899*2^1240144-1 is not prime. Res64: CB0095A5EB6B3439 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:45:50] 939*2^1240144-1 is not prime. Res64: F8C12FA102D374A8 Time : 0.0 sec. user=vaughan [2013-01-29 04:46:35] 719*2^1240144-1 is not prime. Res64: E7DE1D8AAB63F03C Time : 0.0 sec. user=mdettweiler [2013-01-29 04:55:23] 727*2^1240145-1 is not prime. Res64: 1F3625AB0F7965A0 Time : 0.0 sec. user=mdettweiler [2013-01-29 04:55:24] 837*2^1240145-1 is not prime. Res64: F8230BDC9ABF0F37 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:03:18] 841*2^1240145-1 is not prime. Res64: 0180F24FF539F594 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:03:20] 861*2^1240145-1 is not prime. Res64: A22B81776C22E7D4 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:12:44] 713*2^1240146-1 is not prime. Res64: 68804D79D36530B1 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:12:46] 717*2^1240146-1 is not prime. Res64: B5D72DFF827B3C67 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:20:42] 945*2^1240146-1 is not prime. Res64: 3B4FE70699FE07AF Time : 0.0 sec. user=mdettweiler [2013-01-29 05:20:43] 983*2^1240146-1 is not prime. Res64: 0C44C8176B5C6128 Time : 0.0 sec. user=vaughan [2013-01-29 05:24:39] 633*2^1240146-1 is not prime. Res64: 19297729204F15B6 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:30:15] 1001*2^1240146-1 is not prime. Res64: 85A938359C340D73 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:30:16] 631*2^1240147-1 is not prime. Res64: A912CD0832D86E9A Time : 0.0 sec. user=mdettweiler [2013-01-29 05:38:03] 651*2^1240147-1 is not prime. Res64: 2A6D3335B79A7415 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:38:03] 759*2^1240147-1 is not prime. Res64: A0F2AD10FEC15655 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:47:37] 859*2^1240147-1 is not prime. Res64: 84441C7F12173756 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:47:37] 871*2^1240147-1 is not prime. Res64: 440340217C6726A9 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:55:23] 883*2^1240147-1 is not prime. Res64: E5BD3EFB7A1D3D57 Time : 0.0 sec. user=mdettweiler [2013-01-29 05:55:23] 617*2^1240148-1 is not prime. Res64: B315273C533F50AE Time : 0.0 sec. user=vaughan [2013-01-29 06:02:49] 835*2^1240147-1 is not prime. Res64: 4EB0306CF9835859 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:04:57] 633*2^1240148-1 is not prime. Res64: 0E13B5111F76D4E8 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:04:57] 683*2^1240148-1 is not prime. Res64: 7E5EEC1E82ABB032 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:12:44] 773*2^1240148-1 is not prime. Res64: 45C79AF736E09569 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:12:45] 777*2^1240148-1 is not prime. Res64: BF5E9FA52C6DC5AB Time : 0.0 sec. user=mdettweiler [2013-01-29 06:22:20] 893*2^1240148-1 is not prime. Res64: E64DA5DF7C1438AE Time : 0.0 sec. user=mdettweiler [2013-01-29 06:22:21] 963*2^1240148-1 is not prime. Res64: BE4D19DCBC219BB6 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:30:10] 995*2^1240148-1 is not prime. Res64: C66C3BE1CD72B3FE Time : 0.0 sec. user=mdettweiler [2013-01-29 06:30:10] 727*2^1240149-1 is not prime. Res64: 5F7D4C8AB110B9BC Time : 0.0 sec. user=mdettweiler [2013-01-29 06:39:40] 741*2^1240149-1 is not prime. Res64: 821794D3347C61B7 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:39:40] 759*2^1240149-1 is not prime. Res64: 3E32C5148CA10F4C Time : 0.0 sec. user=vaughan [2013-01-29 06:40:55] 875*2^1240148-1 is not prime. Res64: 0D78567CA7E64FDF Time : 0.0 sec. user=mdettweiler [2013-01-29 06:47:30] 765*2^1240149-1 is not prime. Res64: A5DC8A9234C5D3E6 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:47:31] 877*2^1240149-1 is not prime. Res64: 1B8DF725B09D54F1 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:57:01] 651*2^1240150-1 is not prime. Res64: F1803364CD310C80 Time : 0.0 sec. user=mdettweiler [2013-01-29 06:57:01] 743*2^1240150-1 is not prime. Res64: 01B5AC2E0A686110 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:04:51] 843*2^1240150-1 is not prime. Res64: 6AFB19C3DAEB4138 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:04:52] 891*2^1240150-1 is not prime. Res64: 7C18C7E497036A70 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:14:19] 923*2^1240150-1 is not prime. Res64: E9BC5ABEB73621E9 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:14:20] 987*2^1240150-1 is not prime. Res64: 46E875919266BF35 Time : 0.0 sec. user=juhehe [2013-01-29 07:15:46] 647*2^1240116-1 is not prime. Res64: 414E8571D96D208C Time : 0.0 sec. user=vaughan [2013-01-29 07:18:58] 833*2^1240150-1 is not prime. Res64: 2ADC358981DE4206 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:22:11] 609*2^1240151-1 is not prime. Res64: F459A045C742769F Time : 0.0 sec. user=mdettweiler [2013-01-29 07:22:11] 661*2^1240151-1 is not prime. Res64: 993069738342032D Time : 0.0 sec. user=mdettweiler [2013-01-29 07:31:52] 669*2^1240151-1 is not prime. Res64: F2959BE664CD5E98 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:31:53] 705*2^1240151-1 is not prime. Res64: B12D5937499D8E13 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:39:30] 979*2^1240151-1 is not prime. Res64: 6CA4FF2CAF110FCC Time : 0.0 sec. user=mdettweiler [2013-01-29 07:39:31] 981*2^1240151-1 is not prime. Res64: 872954C506BE3FDE Time : 0.0 sec. user=mdettweiler [2013-01-29 07:49:13] 615*2^1240152-1 is not prime. Res64: 128894D43C0C178A Time : 0.0 sec. user=mdettweiler [2013-01-29 07:49:13] 779*2^1240152-1 is not prime. Res64: 92FFCB6ECA123EFB Time : 0.0 sec. user=mdettweiler [2013-01-29 07:56:51] 797*2^1240152-1 is not prime. Res64: B062F7643ACADA73 Time : 0.0 sec. user=mdettweiler [2013-01-29 07:56:51] 815*2^1240152-1 is not prime. Res64: 99197F54FCA454A7 Time : 0.0 sec. user=vaughan [2013-01-29 07:57:06] 735*2^1240151-1 is not prime. Res64: 04D7BA86D445B538 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:06:32] 843*2^1240152-1 is not prime. Res64: CC85C76EA7FF1CFD Time : 0.0 sec. user=mdettweiler [2013-01-29 08:06:34] 887*2^1240152-1 is not prime. Res64: 9E5A62313D28390D Time : 0.0 sec. user=mdettweiler [2013-01-29 08:14:15] 903*2^1240152-1 is not prime. Res64: C7DA00F0D5904964 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:14:16] 917*2^1240152-1 is not prime. Res64: AE0DAEA57FD304EE Time : 0.0 sec. user=mdettweiler [2013-01-29 08:23:57] 615*2^1240153-1 is not prime. Res64: 984B304F5C523825 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:23:58] 691*2^1240153-1 is not prime. Res64: 97920C8896F906DB Time : 0.0 sec. user=mdettweiler [2013-01-29 08:31:44] 769*2^1240153-1 is not prime. Res64: A35F925C3DB01D81 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:31:44] 801*2^1240153-1 is not prime. Res64: 2AFB11303022C20B Time : 0.0 sec. user=vaughan [2013-01-29 08:35:08] 607*2^1240153-1 is not prime. Res64: D658D431D3A9F0CC Time : 0.0 sec. user=mdettweiler [2013-01-29 08:41:18] 855*2^1240153-1 is not prime. Res64: AA794E1DB07D30B4 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:41:18] 951*2^1240153-1 is not prime. Res64: 7F765962F63016A2 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:49:03] 683*2^1240154-1 is not prime. Res64: A1C3C5FA6D6CA04C Time : 0.0 sec. user=mdettweiler [2013-01-29 08:49:04] 687*2^1240154-1 is not prime. Res64: 49BFAB7DF1C6D060 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:58:37] 833*2^1240154-1 is not prime. Res64: F561AD8600A9E4B3 Time : 0.0 sec. user=mdettweiler [2013-01-29 08:58:38] 945*2^1240154-1 is not prime. Res64: 129618DC8D59ED24 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:06:24] 649*2^1240155-1 is not prime. Res64: AC7A5E8D9F270865 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:06:25] 793*2^1240155-1 is not prime. Res64: A3E482CDC3DB6F2B Time : 0.0 sec. user=vaughan [2013-01-29 09:13:13] 825*2^1240154-1 is not prime. Res64: 035F3E9917F82C29 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:15:57] 825*2^1240155-1 is not prime. Res64: 99EBBC4C9DE3AAF2 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:15:58] 909*2^1240155-1 is not prime. Res64: 6339E53C7CEE54AA Time : 0.0 sec. user=mdettweiler [2013-01-29 09:23:53] 921*2^1240155-1 is not prime. Res64: A06E6B2287ADDF4E Time : 0.0 sec. user=mdettweiler [2013-01-29 09:23:53] 943*2^1240155-1 is not prime. Res64: FC4C6587B8C77E04 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:33:18] 963*2^1240155-1 is not prime. Res64: 1755E938E416732A Time : 0.0 sec. user=mdettweiler [2013-01-29 09:33:18] 969*2^1240155-1 is not prime. Res64: 944C8909A97A185E Time : 0.0 sec. user=mdettweiler [2013-01-29 09:41:14] 999*2^1240155-1 is not prime. Res64: 30E043EA69D4625D Time : 0.0 sec. user=mdettweiler [2013-01-29 09:41:14] 803*2^1240156-1 is not prime. Res64: 3EB866AF426F3783 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:50:38] 813*2^1240156-1 is not prime. Res64: CCE6D5530D7E7391 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:50:39] 825*2^1240156-1 is not prime. Res64: 8C0294456AE02903 Time : 0.0 sec. user=vaughan [2013-01-29 09:51:23] 955*2^1240155-1 is not prime. Res64: E2403F78740E1AB7 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:58:34] 833*2^1240156-1 is not prime. Res64: C5F50D247A807D05 Time : 0.0 sec. user=mdettweiler [2013-01-29 09:58:35] 855*2^1240156-1 is not prime. Res64: D5C4209C508F9928 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:07:59] 923*2^1240156-1 is not prime. Res64: 23C5C0E4DFEBE816 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:08:00] 975*2^1240156-1 is not prime. Res64: 0E6531B0631DF6B9 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:15:56] 805*2^1240157-1 is not prime. Res64: BFB61DDBDA6811B7 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:15:59] 939*2^1240157-1 is not prime. Res64: 391D019683B3E4FA Time : 0.0 sec. user=mdettweiler [2013-01-29 10:25:24] 671*2^1240158-1 is not prime. Res64: 531E30DCBC3A9357 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:25:24] 681*2^1240158-1 is not prime. Res64: 50288D392A1427F7 Time : 0.0 sec. user=vaughan [2013-01-29 10:29:23] 675*2^1240157-1 is not prime. Res64: B6AF8314E5A16DBF Time : 0.0 sec. user=mdettweiler [2013-01-29 10:33:31] 731*2^1240158-1 is not prime. Res64: 385B6507ED52D6F7 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:33:31] 761*2^1240158-1 is not prime. Res64: 68F1A5FB20ED3DCC Time : 0.0 sec. user=mdettweiler [2013-01-29 10:42:45] 863*2^1240158-1 is not prime. Res64: B1600B40CCB13D59 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:42:45] 891*2^1240158-1 is not prime. Res64: C3578BD27A9D795D Time : 0.0 sec. user=mdettweiler [2013-01-29 10:50:51] 951*2^1240158-1 is not prime. Res64: 09E5EA9E8EAF4E95 Time : 0.0 sec. user=mdettweiler [2013-01-29 10:50:51] 619*2^1240159-1 is not prime. Res64: 33E67986EF996B95 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:00:05] 751*2^1240159-1 is not prime. Res64: 8F389FF518477498 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:00:07] 829*2^1240159-1 is not prime. Res64: 8A0144C42AD3F4B0 Time : 0.0 sec. user=vaughan [2013-01-29 11:07:21] 945*2^1240158-1 is not prime. Res64: DABBC5AADFA050FA Time : 0.0 sec. user=mdettweiler [2013-01-29 11:08:11] 861*2^1240159-1 is not prime. Res64: 3B9519C94EEBEAA6 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:08:12] 669*2^1240160-1 is not prime. Res64: 69CFC1DAA1D520C3 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:17:35] 675*2^1240160-1 is not prime. Res64: A7746957C1A8584C Time : 0.0 sec. user=mdettweiler [2013-01-29 11:17:35] 677*2^1240160-1 is not prime. Res64: B2CF23F385A06154 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:25:33] 725*2^1240160-1 is not prime. Res64: 301F3A353554AA36 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:25:34] 755*2^1240160-1 is not prime. Res64: 6EF425B10CA813AA Time : 0.0 sec. user=mdettweiler [2013-01-29 11:35:02] 759*2^1240160-1 is not prime. Res64: AF2CA2E1D64982CD Time : 0.0 sec. user=mdettweiler [2013-01-29 11:35:02] 773*2^1240160-1 is not prime. Res64: 5691FB247C38A4FD Time : 0.0 sec. user=mdettweiler [2013-01-29 11:43:01] 777*2^1240160-1 is not prime. Res64: 72488E4A10501297 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:43:02] 899*2^1240160-1 is not prime. Res64: 7D1B6A84B3BC7F46 Time : 0.0 sec. user=vaughan [2013-01-29 11:45:27] 699*2^1240160-1 is not prime. Res64: C4329FD9007E7605 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:52:30] 957*2^1240160-1 is not prime. Res64: DB7807F01CD50763 Time : 0.0 sec. user=mdettweiler [2013-01-29 11:52:30] 657*2^1240161-1 is not prime. Res64: D8F86D2614B21FC3 Time : 0.0 sec. user=mdettweiler [2013-01-29 12:00:47] 735*2^1240161-1 is not prime. Res64: 038999D0C3302172 Time : 0.0 sec. user=mdettweiler [2013-01-29 12:00:49] 745*2^1240161-1 is not prime. Res64: E4503985C32E6C0B Time : 0.0 sec. user=mdettweiler [2013-01-29 12:10:18] 611*2^1240162-1 is not prime. Res64: D42DCFFD9FDF89BC Time : 0.0 sec. user=mdettweiler [2013-01-29 12:10:19] 657*2^1240162-1 is not prime. Res64: 75FB2A406BAB4F81 Time : 0.0 sec. user=mdettweiler [2013-01-29 12:18:23] 701*2^1240162-1 is not prime. Res64: 28E554D8480F84AF Time : 0.0 sec. user=mdettweiler [2013-01-29 12:18:24] 813*2^1240162-1 is not prime. Res64: 8C758BD6640703D6 Time : 0.0 sec. user=vaughan [2013-01-29 12:23:37] 835*2^1240161-1 is not prime. Res64: 0B20F644015DF22E Time : 0.0 sec. user=mdettweiler [2013-01-29 12:28:13] 873*2^1240162-1 is not prime. Res64: 1EAD762D2E9BD2FD Time : 0.0 sec. user=mdettweiler [2013-01-29 12:28:14] 987*2^1240162-1 is not prime. Res64: E43336ED8342BD37 Time : 0.0 sec. user=mdettweiler [2013-01-29 12:35:57] 1001*2^1240162-1 is not prime. Res64: A5BE4E52A94850AB Time : 0.0 sec. user=mdettweiler [2013-01-29 12:35:57] 609*2^1240163-1 is not prime. Res64: 348187CF42BDFA73 Time : 0.0 sec. user=mdettweiler [2013-01-29 12:45:37] 775*2^1240163-1 is not prime. Res64: 7EA9DDB909942E9A Time : 0.0 sec. user=mdettweiler [2013-01-29 12:45:37] 939*2^1240163-1 is not prime. Res64: B33673AB94B2AADD Time : 0.0 sec. user=mdettweiler [2013-01-29 12:53:21] 949*2^1240163-1 is not prime. Res64: 4EE561B3A5E9D9AD Time : 0.0 sec. user=mdettweiler [2013-01-29 12:53:21] 991*2^1240163-1 is not prime. Res64: EA76F5EAD7733AE2 Time : 0.0 sec. user=vaughan [2013-01-29 13:01:39] 741*2^1240163-1 is not prime. Res64: 079A1764F4FA9F98 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:03:00] 623*2^1240164-1 is not prime. Res64: A6B11812515C21E3 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:03:02] 695*2^1240164-1 is not prime. Res64: DE7D9F8F4339DB44 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:10:44] 795*2^1240164-1 is not prime. Res64: F039BF5373F3C435 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:10:46] 667*2^1240165-1 is not prime. Res64: 8999F3C27B545D27 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:20:25] 675*2^1240166-1 is not prime. Res64: 759A01A13545B295 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:20:26] 813*2^1240166-1 is not prime. Res64: 06D078741E0D475B Time : 0.0 sec. user=mdettweiler [2013-01-29 13:28:13] 825*2^1240166-1 is not prime. Res64: C5AD27D43E0F912B Time : 0.0 sec. user=mdettweiler [2013-01-29 13:28:13] 851*2^1240166-1 is not prime. Res64: AB1D5AF6BC29C373 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:37:51] 751*2^1240167-1 is not prime. Res64: F9A8C0333AAC8D4E Time : 0.0 sec. user=mdettweiler [2013-01-29 13:37:51] 873*2^1240167-1 is not prime. Res64: F886EFB67418EFEC Time : 0.0 sec. user=vaughan [2013-01-29 13:39:51] 729*2^1240165-1 is not prime. Res64: DA283D20C72E1EC3 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:45:36] 885*2^1240167-1 is not prime. Res64: 283F70ACE2B7CB67 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:45:37] 945*2^1240167-1 is not prime. Res64: 4B542BEF3D326F94 Time : 0.0 sec. user=mdettweiler [2013-01-29 13:55:14] 991*2^1240167-1 is not prime. Res64: 55FF98D90CA89F7D Time : 0.0 sec. user=mdettweiler [2013-01-29 13:55:15] 615*2^1240168-1 is not prime. Res64: E7A72559780A9EB0 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:03:04] 707*2^1240168-1 is not prime. Res64: 45C170071E9BE695 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:03:05] 797*2^1240168-1 is not prime. Res64: A2CA45ABCB5CA1E7 Time : 0.0 sec. user=juhehe [2013-01-29 14:11:13] 973*2^1240167-1 is not prime. Res64: 2FDBA11543D7541B Time : 0.0 sec. user=mdettweiler [2013-01-29 14:13:39] 843*2^1240168-1 is not prime. Res64: D1796F9721FEA1AF Time : 0.0 sec. user=vaughan [2013-01-29 14:17:52] 677*2^1240168-1 is not prime. Res64: D64DC44E7E2C1767 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:20:43] 849*2^1240168-1 is not prime. Res64: EFE2D7418E664676 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:20:44] 927*2^1240168-1 is not prime. Res64: FB8A1C8E260FB56F Time : 0.0 sec. user=mdettweiler [2013-01-29 14:32:56] 845*2^1240168-1 is not prime. Res64: 61DF48A2F811C3B5 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:38:09] 759*2^1240169-1 is not prime. Res64: CB3EF2787287953B Time : 0.0 sec. user=mdettweiler [2013-01-29 14:38:10] 771*2^1240169-1 is not prime. Res64: 758B4D25E16DF470 Time : 0.0 sec. user=juhehe [2013-01-29 14:47:03] 631*2^1240169-1 is not prime. Res64: C46B2D4B3ED3B269 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:50:21] 781*2^1240169-1 is not prime. Res64: 6EA268A19414A32E Time : 0.0 sec. user=mdettweiler [2013-01-29 14:50:21] 861*2^1240169-1 is not prime. Res64: 1E44671A5830304C Time : 0.0 sec. user=mdettweiler [2013-01-29 14:55:35] 909*2^1240169-1 is not prime. Res64: 0E716678F47736A9 Time : 0.0 sec. user=mdettweiler [2013-01-29 14:55:36] 939*2^1240169-1 is not prime. Res64: B290C62447DCFC86 Time : 0.0 sec. user=vaughan [2013-01-29 14:55:53] 685*2^1240169-1 is not prime. Res64: 36F655DC7010D248 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:08:08] 635*2^1240170-1 is not prime. Res64: BA7B46ACDF2494B4 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:08:09] 723*2^1240170-1 is not prime. Res64: 224ADFA58ABB4002 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:13:34] 735*2^1240170-1 is not prime. Res64: A84CE96D9A92EAFC Time : 0.0 sec. user=mdettweiler [2013-01-29 15:13:35] 891*2^1240170-1 is not prime. Res64: 6BEFA88F19ABBD7B Time : 0.0 sec. user=juhehe [2013-01-29 15:23:00] 967*2^1240169-1 is not prime. Res64: 609F002E75CB10C8 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:26:08] 603*2^1240171-1 is not prime. Res64: 59CFA035DBC8935A Time : 0.0 sec. user=mdettweiler [2013-01-29 15:26:08] 691*2^1240171-1 is not prime. Res64: A21EF87D93E66DA2 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:31:25] 703*2^1240171-1 is not prime. Res64: F975DC7A69D4EA32 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:31:25] 783*2^1240171-1 is not prime. Res64: 427A2CD2FDEA33D1 Time : 0.0 sec. user=vaughan [2013-01-29 15:33:51] 977*2^1240170-1 is not prime. Res64: 19936568CD81FE49 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:43:42] 859*2^1240171-1 is not prime. Res64: 56A30BCE95B4D277 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:43:43] 885*2^1240171-1 is not prime. Res64: 86182788C28B0ED4 Time : 0.0 sec. user=mdettweiler [2013-01-29 15:48:52] 961*2^1240171-1 is not prime. Res64: D324E3E96DEB058E Time : 0.0 sec. user=mdettweiler [2013-01-29 15:48:52] 969*2^1240171-1 is not prime. Res64: 47384F63C56010F9 Time : 0.0 sec. user=juhehe [2013-01-29 15:58:40] 843*2^1240171-1 is not prime. Res64: A6F6E3EFF0FF07DD Time : 0.0 sec. user=mdettweiler [2013-01-29 16:01:04] 749*2^1240172-1 is not prime. Res64: 3E0D730149C9E91D Time : 0.0 sec. user=mdettweiler [2013-01-29 16:01:05] 813*2^1240172-1 is not prime. Res64: FDD867DC76095CCC Time : 0.0 sec. user=mdettweiler [2013-01-29 16:06:12] 879*2^1240172-1 is not prime. Res64: 9A76DC7EF4BDB83A Time : 0.0 sec. user=mdettweiler [2013-01-29 16:06:15] 621*2^1240173-1 is not prime. Res64: 892EBD03045287DC Time : 0.0 sec. user=vaughan [2013-01-29 16:11:52] 615*2^1240172-1 is not prime. Res64: 8173F65C124774E4 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:18:27] 819*2^1240173-1 is not prime. Res64: BC8C864AC2D244E0 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:18:28] 837*2^1240173-1 is not prime. Res64: 5A01123921BED4F8 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:23:45] 847*2^1240173-1 is not prime. Res64: 01E7C2FEBDA4FC2C Time : 0.0 sec. user=mdettweiler [2013-01-29 16:23:46] 871*2^1240173-1 is not prime. Res64: 0B3760FB4DEF10C9 Time : 0.0 sec. user=juhehe [2013-01-29 16:34:24] 745*2^1240173-1 is not prime. Res64: 4D2DCA1DE4D72764 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:35:48] 991*2^1240173-1 is not prime. Res64: B1E70B2DD6D86C33 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:35:49] 645*2^1240174-1 is not prime. Res64: 1C14E46FAE6D484E Time : 0.0 sec. user=mdettweiler [2013-01-29 16:41:06] 773*2^1240174-1 is not prime. Res64: 83A403EC70BC9417 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:41:07] 791*2^1240174-1 is not prime. Res64: 48E8A4F57328538F Time : 0.0 sec. user=vaughan [2013-01-29 16:50:00] 895*2^1240173-1 is not prime. Res64: 1EBF6361CA4451F0 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:53:10] 815*2^1240174-1 is not prime. Res64: CF4008E03ABFAB20 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:53:11] 885*2^1240174-1 is not prime. Res64: A0042F33CCE956A1 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:58:28] 951*2^1240174-1 is not prime. Res64: 108D349A965EC756 Time : 0.0 sec. user=mdettweiler [2013-01-29 16:58:28] 983*2^1240174-1 is not prime. Res64: CE0E8D87D6209D35 Time : 0.0 sec. user=mdettweiler [2013-01-29 17:10:31] 799*2^1240175-1 is not prime. Res64: D6027FF5013A564E Time : 0.0 sec. user=mdettweiler [2013-01-29 17:10:32] 635*2^1240176-1 is not prime. Res64: 0D8E049A5C20592C Time : 0.0 sec. user=mdettweiler [2013-01-29 17:15:49] 773*2^1240176-1 is not prime. Res64: 3560168FDFF02848 Time : 0.0 sec. user=mdettweiler [2013-01-29 17:15:49] 815*2^1240176-1 is not prime. Res64: 3BB72304AFAADEBE Time : 0.0 sec. user=mdettweiler [2013-01-29 17:27:55] 903*2^1240176-1 is not prime. Res64: 41CF02CF730FE4AC Time : 0.0 sec. user=mdettweiler [2013-01-29 17:27:56] 983*2^1240176-1 is not prime. Res64: 137477766B73719E Time : 0.0 sec. user=vaughan [2013-01-29 17:28:00] 775*2^1240175-1 is not prime. Res64: BC8ACDA57D94158B Time : 0.0 sec. user=mdettweiler [2013-01-29 17:33:12] 601*2^1240177-1 is not prime. Res64: D0FACC8792069456 Time : 0.0 sec. user=mdettweiler [2013-01-29 17:33:12] 645*2^1240177-1 is not prime. Res64: CCA467AD0242D489 Time : 0.0 sec. user=mdettweiler [2013-01-29 17:45:16] 651*2^1240177-1 is not prime. Res64: B26C3FC06873CBB5 Time : 0.0 sec. user=mdettweiler [2013-01-29 17:45:17] 661*2^1240177-1 is not prime. Res64: 339CAF0290B83CE4 Time : 0.0 sec. user=mdettweiler [2013-01-29 17:50:33] 799*2^1240177-1 is not prime. Res64: 07E1B8DDD9143D0C Time : 0.0 sec. user=mdettweiler [2013-01-29 17:50:33] 831*2^1240177-1 is not prime. Res64: 54DB9E463189F44A Time : 0.0 sec. user=mdettweiler [2013-01-29 18:02:37] 897*2^1240177-1 is not prime. Res64: 3AE6831C8CB0F0D0 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:02:40] 931*2^1240177-1 is not prime. Res64: D9AE2AF038F290FB Time : 0.0 sec. user=vaughan [2013-01-29 18:06:02] 759*2^1240177-1 is not prime. Res64: 977AC40FC614413B Time : 0.0 sec. user=mdettweiler [2013-01-29 18:07:53] 633*2^1240178-1 is not prime. Res64: BDBC5BD7ABB6C7B1 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:07:54] 645*2^1240178-1 is not prime. Res64: 1D2577B4933F8B96 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:20:25] 651*2^1240178-1 is not prime. Res64: 947F80A065C6CA7B Time : 0.0 sec. user=mdettweiler [2013-01-29 18:20:26] 711*2^1240178-1 is not prime. Res64: 5393F11B055AFFFB Time : 0.0 sec. user=mdettweiler [2013-01-29 18:25:15] 843*2^1240178-1 is not prime. Res64: 576FDF1935F8584C Time : 0.0 sec. user=mdettweiler [2013-01-29 18:25:15] 995*2^1240178-1 is not prime. Res64: 92EB9B9CEE4F97F5 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:37:48] 1001*2^1240178-1 is not prime. Res64: F75741BF109FD417 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:37:48] 609*2^1240179-1 is not prime. Res64: 257F1E693742CEBB Time : 0.0 sec. user=mdettweiler [2013-01-29 18:42:38] 663*2^1240179-1 is not prime. Res64: 2D9820452A3C9AAB Time : 0.0 sec. user=mdettweiler [2013-01-29 18:42:38] 685*2^1240179-1 is not prime. Res64: B9950C5D55D1C5C5 Time : 0.0 sec. user=vaughan [2013-01-29 18:44:15] 735*2^1240178-1 is not prime. Res64: F2CA061D27E50F70 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:55:09] 723*2^1240179-1 is not prime. Res64: CF6615F2743D0564 Time : 0.0 sec. user=mdettweiler [2013-01-29 18:55:09] 735*2^1240179-1 is not prime. Res64: FFDA2B066F6AB6EF Time : 0.0 sec. user=mdettweiler [2013-01-29 18:59:59] 835*2^1240179-1 is not prime. Res64: 6382A5D5DFE36FEF Time : 0.0 sec. user=mdettweiler [2013-01-29 19:00:00] 853*2^1240179-1 is not prime. Res64: 06D9D06866DC5500 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:12:30] 635*2^1240180-1 is not prime. Res64: CB65FC35E759E3E3 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:12:32] 797*2^1240180-1 is not prime. Res64: 6ADE3ECA019E029F Time : 0.0 sec. user=mdettweiler [2013-01-29 19:17:20] 825*2^1240180-1 is not prime. Res64: 411DA94FBBDF98AC Time : 0.0 sec. user=mdettweiler [2013-01-29 19:17:21] 863*2^1240180-1 is not prime. Res64: BA5CDE090EFD1005 Time : 0.0 sec. user=vaughan [2013-01-29 19:22:17] 891*2^1240179-1 is not prime. Res64: 2E778F8581DC0C7A Time : 0.0 sec. user=mdettweiler [2013-01-29 19:30:07] 989*2^1240180-1 is not prime. Res64: C64F021E38D98A87 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:30:07] 607*2^1240181-1 is not prime. Res64: 23571F6779BCF153 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:34:42] 685*2^1240181-1 is not prime. Res64: 7465A19CCBF20A51 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:34:42] 697*2^1240181-1 is not prime. Res64: 2D06F1C25803EA74 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:47:28] 825*2^1240181-1 is not prime. Res64: C1FD04E33CE026C2 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:47:28] 885*2^1240181-1 is not prime. Res64: 504AE768A2F735CF Time : 0.0 sec. user=mdettweiler [2013-01-29 19:52:05] 927*2^1240181-1 is not prime. Res64: A76A9C6EFFA445A4 Time : 0.0 sec. user=mdettweiler [2013-01-29 19:52:06] 677*2^1240182-1 is not prime. Res64: 8653AC67F4A37A84 Time : 0.0 sec. user=vaughan [2013-01-29 20:00:18] 799*2^1240181-1 is not prime. Res64: 8724255CF9D1276D Time : 0.0 sec. user=mdettweiler [2013-01-29 20:04:55] 705*2^1240182-1 is not prime. Res64: 267E543CAC9BA85F Time : 0.0 sec. user=mdettweiler [2013-01-29 20:04:57] 755*2^1240182-1 is not prime. Res64: 7FCC8725F19E5DF9 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:09:31] 807*2^1240182-1 is not prime. Res64: 42F89AE90F21CBA9 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:09:32] 921*2^1240182-1 is not prime. Res64: 2D80BECFCA8F8A4B Time : 0.0 sec. user=mdettweiler [2013-01-29 20:22:23] 793*2^1240183-1 is not prime. Res64: 407CE012446F31D4 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:22:24] 819*2^1240183-1 is not prime. Res64: D483792845656AFA Time : 0.0 sec. user=mdettweiler [2013-01-29 20:27:00] 873*2^1240183-1 is not prime. Res64: EF91FCAED97A3750 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:27:01] 993*2^1240183-1 is not prime. Res64: C0E4AAD41C3A7A56 Time : 0.0 sec. user=vaughan [2013-01-29 20:38:23] 615*2^1240183-1 is not prime. Res64: 35C71A82E27A20BF Time : 0.0 sec. user=mdettweiler [2013-01-29 20:40:20] 855*2^1240184-1 is not prime. Res64: 2CC07FCA82840385 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:40:21] 945*2^1240184-1 is not prime. Res64: B5310D8E394C8ED7 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:44:47] 969*2^1240184-1 is not prime. Res64: 0AC65A4AA8F17E01 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:44:48] 627*2^1240185-1 is not prime. Res64: 20FBF6A7D421383F Time : 0.0 sec. user=mdettweiler [2013-01-29 20:58:03] 741*2^1240185-1 is not prime. Res64: DB88F33D254E7CD3 Time : 0.0 sec. user=mdettweiler [2013-01-29 20:58:04] 861*2^1240185-1 is not prime. Res64: EDD4FC6FC687F61E Time : 0.0 sec. user=mdettweiler [2013-01-29 21:02:34] 975*2^1240185-1 is not prime. Res64: F86553FDDEF5F5C5 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:02:35] 611*2^1240186-1 is not prime. Res64: 9AD5DD7ABAFA2AAA Time : 0.0 sec. user=mdettweiler [2013-01-29 21:15:41] 923*2^1240186-1 is not prime. Res64: B0469069247CBAF3 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:15:42] 705*2^1240187-1 is not prime. Res64: 9E256177B8FFFED0 Time : 0.0 sec. user=vaughan [2013-01-29 21:16:28] 735*2^1240185-1 is not prime. Res64: 2149DD22565F0A4C Time : 0.0 sec. user=mdettweiler [2013-01-29 21:20:12] 759*2^1240187-1 is not prime. Res64: F4591E0465A1B023 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:20:12] 843*2^1240187-1 is not prime. Res64: B57E77A87E6E4B24 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:33:15] 885*2^1240187-1 is not prime. Res64: 7268CC67DA8D9208 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:33:16] 945*2^1240187-1 is not prime. Res64: CB2E785B8F136A4E Time : 0.0 sec. user=mdettweiler [2013-01-29 21:37:38] 963*2^1240187-1 is not prime. Res64: 82DA9493C393FF30 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:37:39] 647*2^1240188-1 is not prime. Res64: 5F976F7CA785E00F Time : 0.0 sec. user=mdettweiler [2013-01-29 21:50:45] 765*2^1240188-1 is not prime. Res64: F6B9295861DA6BA5 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:50:46] 825*2^1240188-1 is not prime. Res64: 627BE48BD9438197 Time : 0.0 sec. user=vaughan [2013-01-29 21:54:29] 955*2^1240187-1 is not prime. Res64: 75E53091AF6ECED1 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:55:07] 867*2^1240188-1 is not prime. Res64: CD71ADFCEE1BC063 Time : 0.0 sec. user=mdettweiler [2013-01-29 21:55:07] 899*2^1240188-1 is not prime. Res64: 9DA309491248CBF7 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:08:13] 625*2^1240189-1 is not prime. Res64: 8982D500E7E0ABF8 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:08:14] 675*2^1240189-1 is not prime. Res64: 8AA128DDE565107C Time : 0.0 sec. user=mdettweiler [2013-01-29 22:12:32] 855*2^1240189-1 is not prime. Res64: A2860A13709264B2 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:12:34] 635*2^1240190-1 is not prime. Res64: 5AFDDAE379CAC3BB Time : 0.0 sec. user=mdettweiler [2013-01-29 22:25:45] 665*2^1240190-1 is not prime. Res64: 34847DA3B0089EC1 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:25:46] 717*2^1240190-1 is not prime. Res64: 07821815A247A116 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:30:12] 797*2^1240190-1 is not prime. Res64: 81F58808F635AA07 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:30:13] 827*2^1240190-1 is not prime. Res64: F2A5AEDE72FA1559 Time : 0.0 sec. user=vaughan [2013-01-29 22:32:31] 769*2^1240189-1 is not prime. Res64: 08C28569A8EB3DCF Time : 0.0 sec. user=mdettweiler [2013-01-29 22:44:31] 831*2^1240190-1 is not prime. Res64: E62042901F50BB39 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:44:31] 845*2^1240190-1 is not prime. Res64: 039E7E0DE6F45C51 Time : 0.0 sec. user=mdettweiler [2013-01-29 22:49:31] 851*2^1240190-1 is not prime. Res64: C9B3038EFE9F377F Time : 0.0 sec. user=mdettweiler [2013-01-29 22:49:32] 897*2^1240190-1 is not prime. Res64: 5D6B5192044E6991 Time : 0.0 sec. user=mdettweiler [2013-01-29 23:03:56] 709*2^1240191-1 is not prime. Res64: 93E622D4416F8E1D Time : 0.0 sec. user=mdettweiler [2013-01-29 23:03:59] 829*2^1240191-1 is not prime. Res64: C79F5F4B73C0988E Time : 0.0 sec. user=mdettweiler [2013-01-29 23:08:23] 859*2^1240191-1 is not prime. Res64: 79FB588E59E6B422 Time : 0.0 sec. user=mdettweiler [2013-01-29 23:08:24] 861*2^1240191-1 is not prime. Res64: 09F2B2A4368A2089 Time : 0.0 sec. user=vaughan [2013-01-29 23:10:31] 685*2^1240191-1 is not prime. Res64: 78E5BE2DF724263D Time : 0.0 sec. user=mdettweiler [2013-01-29 23:21:31] 933*2^1240191-1 is not prime. Res64: 3B5D2094D3663BCF Time : 0.0 sec. user=mdettweiler [2013-01-29 23:21:31] 961*2^1240191-1 is not prime. Res64: 131470D4F05F6A7E Time : 0.0 sec. user=mdettweiler [2013-01-29 23:25:46] 973*2^1240191-1 is not prime. Res64: 176585B89EFEA745 Time : 0.0 sec. user=mdettweiler [2013-01-29 23:25:46] 999*2^1240191-1 is not prime. Res64: 91B4FE301B3DCB45 Time : 0.0 sec. user=mdettweiler [2013-01-29 23:38:54] 705*2^1240192-1 is not prime. Res64: 3DD62C2506170E8D Time : 0.0 sec. user=mdettweiler [2013-01-29 23:38:54] 779*2^1240192-1 is not prime. Res64: 25EB24718500D866 Time : 0.0 sec. user=mdettweiler [2013-01-29 23:43:10] 843*2^1240192-1 is not prime. Res64: 8DE8E7EF58F9868A Time : 0.0 sec. user=mdettweiler [2013-01-29 23:43:10] 863*2^1240192-1 is not prime. Res64: 030A849AA3484354 Time : 0.0 sec. user=vaughan [2013-01-29 23:48:35] 665*2^1240192-1 is not prime. Res64: 4BBC335B4084F2FE Time : 0.0 sec. user=mdettweiler [2013-01-29 23:56:15] 873*2^1240192-1 is not prime. Res64: 471CDE8E3AA19A25 Time : 0.0 sec. user=mdettweiler [2013-01-29 23:56:15] 903*2^1240192-1 is not prime. Res64: C926354425F47905 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:00:30] 989*2^1240192-1 is not prime. Res64: 3D841D1BC4600F4E Time : 0.0 sec. user=mdettweiler [2013-01-30 00:00:31] 675*2^1240193-1 is not prime. Res64: F176C8E9763F5009 Time : 0.0 sec.