user=mdettweiler [2013-05-25 00:04:14] 843*2^1246228-1 is not prime. Res64: 0C84FF7914BAEE02 Time : 0.0 sec. user=mdettweiler [2013-05-25 00:04:15] 863*2^1246228-1 is not prime. Res64: 6EC1686C4BDD8924 Time : 0.0 sec. user=mdettweiler [2013-05-25 00:17:31] 875*2^1246228-1 is not prime. Res64: 1AA1E897B4AA8BEC Time : 0.0 sec. user=mdettweiler [2013-05-25 00:17:31] 899*2^1246228-1 is not prime. Res64: F3CC17EAD6005C2B Time : 0.0 sec. user=mdettweiler [2013-05-25 00:22:06] 927*2^1246228-1 is not prime. Res64: D9E9ADC2E5C314F1 Time : 0.0 sec. user=mdettweiler [2013-05-25 00:35:22] 691*2^1246229-1 is not prime. Res64: 0BE8497E82CBA453 Time : 0.0 sec. user=juhehe [2013-05-25 00:53:13] 799*2^1246229-1 is not prime. Res64: 82685A02E20C1573 Time : 0.0 sec. user=mdettweiler [2013-05-25 01:13:20] 769*2^1246229-1 is not prime. Res64: D6266023B8846B52 Time : 0.0 sec. user=juhehe [2013-05-25 01:15:49] 865*2^1246229-1 is not prime. Res64: E33DAA9C94D47852 Time : 0.0 sec. user=mdettweiler [2013-05-25 01:30:57] 955*2^1246229-1 is not prime. Res64: 264BF9A6E47BD9AE Time : 0.0 sec. user=mdettweiler [2013-05-25 01:30:57] 641*2^1246230-1 is not prime. Res64: 7B83F11D4D9FDD5F Time : 0.0 sec. user=mdettweiler [2013-05-25 01:34:24] 649*2^1246229-1 is not prime. Res64: A259AF7BCB691CAB Time : 0.0 sec. user=mdettweiler [2013-05-25 01:48:33] 677*2^1246230-1 is not prime. Res64: 1ABC6B3192BDB73F Time : 0.0 sec. user=mdettweiler [2013-05-25 01:48:34] 711*2^1246230-1 is not prime. Res64: 3E037F487BCB8DF8 Time : 0.0 sec. user=mdettweiler [2013-05-25 01:52:01] 765*2^1246230-1 is not prime. Res64: A224B2276D55A3E4 Time : 0.0 sec. user=mdettweiler [2013-05-25 01:52:02] 873*2^1246230-1 is not prime. Res64: A9D35A561382B3F1 Time : 0.0 sec. user=mdettweiler [2013-05-25 02:06:26] 893*2^1246230-1 is not prime. Res64: 9239E6EF8EFF2BFE Time : 0.0 sec. user=mdettweiler [2013-05-25 02:09:50] 843*2^1246231-1 is not prime. Res64: D20D2F403B08C80B Time : 0.0 sec. user=mdettweiler [2013-05-25 02:24:49] 805*2^1246231-1 is not prime. Res64: BD8DBDF90612C1AD Time : 0.0 sec. user=mdettweiler [2013-05-25 02:36:52] 939*2^1246231-1 is not prime. Res64: 4750578F9A78E00C Time : 0.0 sec. user=mdettweiler [2013-05-25 02:42:26] 635*2^1246232-1 is not prime. Res64: 8EC551BCEC63C4BB Time : 0.0 sec. user=mdettweiler [2013-05-25 02:42:28] 645*2^1246232-1 is not prime. Res64: 780D30ADAE425C2F Time : 0.0 sec. user=juhehe [2013-05-25 02:53:16] 665*2^1246232-1 is not prime. Res64: 1150152DBB51306E Time : 0.0 sec. user=mdettweiler [2013-05-25 03:00:28] 857*2^1246232-1 is not prime. Res64: 69F06E9FAD748C73 Time : 0.0 sec. user=mdettweiler [2013-05-25 03:00:28] 903*2^1246232-1 is not prime. Res64: A4B6C8154E5F4277 Time : 0.0 sec. user=mdettweiler [2013-05-25 03:18:30] 651*2^1246233-1 is not prime. Res64: 02C862067204332A Time : 0.0 sec. user=mdettweiler [2013-05-25 03:18:31] 657*2^1246233-1 is not prime. Res64: 09D0038800DD2D4A Time : 0.0 sec. user=mdettweiler [2013-05-25 03:30:29] 727*2^1246233-1 is not prime. Res64: 7EF0B1126943F5E0 Time : 0.0 sec. user=mdettweiler [2013-05-25 03:30:30] 739*2^1246233-1 is not prime. Res64: 20D538903B9B61D2 Time : 0.0 sec. user=mdettweiler [2013-05-25 03:36:07] 605*2^1246234-1 is not prime. Res64: FD5CDCC3871A4C7D Time : 0.0 sec. user=mdettweiler [2013-05-25 03:36:08] 657*2^1246234-1 is not prime. Res64: 4D5DCB4ABBCA7F33 Time : 0.0 sec. user=mdettweiler [2013-05-25 03:48:09] 803*2^1246234-1 is not prime. Res64: C9E709C8CB5A6FD4 Time : 0.0 sec. user=mdettweiler [2013-05-25 03:48:09] 827*2^1246234-1 is not prime. Res64: C7A111E9C0EFE39C Time : 0.0 sec. user=mdettweiler [2013-05-25 03:53:55] 645*2^1246235-1 is not prime. Res64: 5459A326503785BE Time : 0.0 sec. user=mdettweiler [2013-05-25 03:53:55] 759*2^1246235-1 is not prime. Res64: 92364D9F62563526 Time : 0.0 sec. user=mdettweiler [2013-05-25 04:12:51] 969*2^1246235-1 is not prime. Res64: 076AEAFB697B5DD1 Time : 0.0 sec. user=mdettweiler [2013-05-25 04:12:52] 999*2^1246235-1 is not prime. Res64: 28D61A61A852BBBB Time : 0.0 sec. user=mdettweiler [2013-05-25 04:31:05] 675*2^1246236-1 is not prime. Res64: C5E25FD17EFD1E82 Time : 0.0 sec. user=mdettweiler [2013-05-25 04:32:53] 823*2^1246235-1 is not prime. Res64: DD3408387F8818CC Time : 0.0 sec. user=mdettweiler [2013-05-25 04:32:54] 871*2^1246235-1 is not prime. Res64: 5A2AC667318E8DB8 Time : 0.0 sec. user=mdettweiler [2013-05-25 04:50:52] 767*2^1246236-1 is not prime. Res64: BD3A29AABA138742 Time : 0.0 sec. user=mdettweiler [2013-05-25 04:50:52] 783*2^1246236-1 is not prime. Res64: 9F8D0035F7A84197 Time : 0.0 sec. user=mdettweiler [2013-05-25 05:02:33] 689*2^1246236-1 is not prime. Res64: 7D1E197C06E61881 Time : 0.0 sec. user=mdettweiler [2013-05-25 05:08:45] 843*2^1246236-1 is not prime. Res64: A4D9B15451ABF0EE Time : 0.0 sec. user=mdettweiler [2013-05-25 05:08:46] 873*2^1246236-1 is not prime. Res64: E8D1DADE5590A665 Time : 0.0 sec. user=mdettweiler [2013-05-25 05:20:45] 879*2^1246236-1 is not prime. Res64: 482FE4DFDBD525E1 Time : 0.0 sec. user=mdettweiler [2013-05-25 05:26:39] 957*2^1246237-1 is not prime. Res64: EF22512409728020 Time : 0.0 sec. user=mdettweiler [2013-05-25 05:52:26] 645*2^1246238-1 is not prime. Res64: B10BE3DD8B21C584 Time : 0.0 sec. user=mdettweiler [2013-05-25 05:56:41] 947*2^1246236-1 is not prime. Res64: 199BF8E9A20CB1B8 Time : 0.0 sec. user=mdettweiler [2013-05-25 06:10:16] 713*2^1246238-1 is not prime. Res64: A257E4E14109CA5A Time : 0.0 sec. user=mdettweiler [2013-05-25 06:40:25] 761*2^1246238-1 is not prime. Res64: D488EB61FD2923E7 Time : 0.0 sec. user=mdettweiler [2013-05-25 06:56:19] 825*2^1246238-1 is not prime. Res64: 255BCCCFEDDDF42A Time : 0.0 sec. user=mdettweiler [2013-05-25 06:58:02] 867*2^1246238-1 is not prime. Res64: 3BEFEA8E266BE976 Time : 0.0 sec. user=mdettweiler [2013-05-25 06:58:02] 921*2^1246238-1 is not prime. Res64: 60BE454ABB9D50AB Time : 0.0 sec. user=mdettweiler [2013-05-25 07:16:22] 935*2^1246238-1 is not prime. Res64: 513C6440AA9E6CBE Time : 0.0 sec. user=mdettweiler [2013-05-25 07:25:10] 827*2^1246238-1 is not prime. Res64: 392C50A8C99AB035 Time : 0.0 sec. user=mdettweiler [2013-05-25 07:40:57] 609*2^1246239-1 is not prime. Res64: 65B91BC39CFC272B Time : 0.0 sec. user=mdettweiler [2013-05-25 08:17:30] 675*2^1246239-1 is not prime. Res64: 1CFB14843DD9C3B7 Time : 0.0 sec. user=mdettweiler [2013-05-25 08:17:30] 829*2^1246239-1 is not prime. Res64: 23D2D3F56D14A45F Time : 0.0 sec. user=mdettweiler [2013-05-25 08:35:06] 609*2^1246240-1 is not prime. Res64: BB4BE63B2245DE35 Time : 0.0 sec. user=mdettweiler [2013-05-25 08:35:07] 735*2^1246240-1 is not prime. Res64: 4203EB23D5EE97E6 Time : 0.0 sec. user=mdettweiler [2013-05-25 08:35:07] 863*2^1246240-1 is not prime. Res64: E7D9873134B06F9E Time : 0.0 sec. user=mdettweiler [2013-05-25 08:35:07] 875*2^1246240-1 is not prime. Res64: F5BEC1A80A081F88 Time : 0.0 sec. user=mdettweiler [2013-05-25 08:52:49] 897*2^1246240-1 is not prime. Res64: AB171F3603281472 Time : 0.0 sec. user=mdettweiler [2013-05-25 08:52:49] 899*2^1246240-1 is not prime. Res64: 30EA5216D358A68C Time : 0.0 sec. user=mdettweiler [2013-05-25 08:53:10] 905*2^1246240-1 is not prime. Res64: 22158BC33F129406 Time : 0.0 sec. user=mdettweiler [2013-05-25 08:53:10] 909*2^1246240-1 is not prime. Res64: 199E1AE3B9DE1A53 Time : 0.0 sec. user=mdettweiler [2013-05-25 09:10:35] 915*2^1246240-1 is not prime. Res64: 9FAD760C9C198D3E Time : 0.0 sec. user=mdettweiler [2013-05-25 09:11:44] 965*2^1246240-1 is not prime. Res64: 3D43E1BF0A1C5033 Time : 0.0 sec. user=mdettweiler [2013-05-25 09:11:45] 995*2^1246240-1 is not prime. Res64: 6AF0CE9AAF01580A Time : 0.0 sec. user=mdettweiler [2013-05-25 09:29:53] 777*2^1246241-1 is not prime. Res64: 9104BF3C42B3CE8C Time : 0.0 sec. user=mdettweiler [2013-05-25 09:40:56] 927*2^1246240-1 is not prime. Res64: E2678624F1347AAE Time : 0.0 sec. user=mdettweiler [2013-05-25 09:58:32] 909*2^1246241-1 is not prime. Res64: 0ECAB25F85466FCA Time : 0.0 sec. user=mdettweiler [2013-05-25 09:58:33] 949*2^1246241-1 is not prime. Res64: 8ABD06E6A26E9881 Time : 0.0 sec. user=mdettweiler [2013-05-25 10:07:51] 861*2^1246241-1 is not prime. Res64: 49F830F9AB8CE245 Time : 0.0 sec. user=mdettweiler [2013-05-25 10:16:22] 657*2^1246242-1 is not prime. Res64: ACD2C080BBC8B6AA Time : 0.0 sec. user=mdettweiler [2013-05-25 10:16:22] 677*2^1246242-1 is not prime. Res64: EAF276195D1BC31C Time : 0.0 sec. user=mdettweiler [2013-05-25 10:34:06] 815*2^1246242-1 is not prime. Res64: 0A6CC33C68B8E405 Time : 0.0 sec. user=mdettweiler [2013-05-25 10:34:06] 833*2^1246242-1 is not prime. Res64: 9049613E38B22F76 Time : 0.0 sec. user=mdettweiler [2013-05-25 10:51:55] 609*2^1246243-1 is not prime. Res64: C975F695975DD230 Time : 0.0 sec. user=mdettweiler [2013-05-25 11:02:36] 691*2^1246243-1 is not prime. Res64: 28D72EBC2F7AB4A4 Time : 0.0 sec. user=mdettweiler [2013-05-25 11:26:59] 685*2^1246243-1 is not prime. Res64: 77D4246A7DB52C33 Time : 0.0 sec. user=mdettweiler [2013-05-25 11:38:10] 709*2^1246243-1 is not prime. Res64: A4AF1FA3CED3291D Time : 0.0 sec. user=mdettweiler [2013-05-25 11:44:38] 769*2^1246243-1 is not prime. Res64: 6D9D0685E1A43CE6 Time : 0.0 sec. user=mdettweiler [2013-05-25 11:44:38] 793*2^1246243-1 is not prime. Res64: 6444D6BBA86BA5F2 Time : 0.0 sec. user=mdettweiler [2013-05-25 11:56:06] 859*2^1246243-1 is not prime. Res64: 4FB6B93A387217C3 Time : 0.0 sec. user=mdettweiler [2013-05-25 12:02:29] 961*2^1246243-1 is not prime. Res64: 06132DCB16AD4592 Time : 0.0 sec. user=juhehe [2013-05-25 12:16:38] 923*2^1246232-1 is not prime. Res64: A25BAECB7A0B94F0 Time : 0.0 sec. user=mdettweiler [2013-05-25 12:21:37] 617*2^1246244-1 is not prime. Res64: 6EFFA0C98D28135B Time : 0.0 sec. user=mdettweiler [2013-05-25 12:25:27] 943*2^1246243-1 is not prime. Res64: 9730F724140BCE40 Time : 0.0 sec. user=mdettweiler [2013-05-25 12:43:12] 659*2^1246244-1 is not prime. Res64: 75B43521AB414EF0 Time : 0.0 sec. user=mdettweiler [2013-05-25 12:43:12] 683*2^1246244-1 is not prime. Res64: 5B988C5F09AC44C1 Time : 0.0 sec. user=mdettweiler [2013-05-25 13:00:50] 689*2^1246244-1 is not prime. Res64: 8C5B233D86DBF8BD Time : 0.0 sec. user=mdettweiler [2013-05-25 13:00:51] 767*2^1246244-1 is not prime. Res64: 99E1217813D24C0F Time : 0.0 sec. user=mdettweiler [2013-05-25 13:02:10] 843*2^1246244-1 is not prime. Res64: 4B88905FD7EF35FC Time : 0.0 sec. user=mdettweiler [2013-05-25 13:02:11] 953*2^1246244-1 is not prime. Res64: B669E0997E71A22B Time : 0.0 sec. user=mdettweiler [2013-05-25 13:19:28] 983*2^1246244-1 is not prime. Res64: 8895652349B51B16 Time : 0.0 sec. user=mdettweiler [2013-05-25 13:19:29] 607*2^1246245-1 is not prime. Res64: 3EBF0EB1BE1C4A80 Time : 0.0 sec. user=mdettweiler [2013-05-25 13:19:52] 699*2^1246245-1 is not prime. Res64: 89879CE148893432 Time : 0.0 sec. user=mdettweiler [2013-05-25 13:19:52] 717*2^1246245-1 is not prime. Res64: ABB48E03A66519C3 Time : 0.0 sec. user=mdettweiler [2013-05-25 13:37:26] 837*2^1246245-1 is not prime. Res64: D74EF6A30B7FC23E Time : 0.0 sec. user=mdettweiler [2013-05-25 13:37:26] 705*2^1246246-1 is not prime. Res64: CBD8114EAEDDE45D Time : 0.0 sec. user=mdettweiler [2013-05-25 13:37:45] 741*2^1246246-1 is not prime. Res64: 6B043E5A7C7DA756 Time : 0.0 sec. user=mdettweiler [2013-05-25 13:55:28] 801*2^1246246-1 is not prime. Res64: CB4D80A3EF3AB54F Time : 0.0 sec. user=mdettweiler [2013-05-25 13:55:29] 867*2^1246246-1 is not prime. Res64: 5653047884A114D9 Time : 0.0 sec. user=mdettweiler [2013-05-25 14:06:33] 777*2^1246246-1 is not prime. Res64: D24877F5967368BE Time : 0.0 sec. user=mdettweiler [2013-05-25 14:13:14] 941*2^1246246-1 is not prime. Res64: 7148EEF60C50B896 Time : 0.0 sec. user=mdettweiler [2013-05-25 14:13:14] 615*2^1246247-1 is not prime. Res64: 67D3B861147A3F99 Time : 0.0 sec. user=mdettweiler [2013-05-25 14:24:50] 619*2^1246247-1 is not prime. Res64: 0247C225866AB37A Time : 0.0 sec. user=mdettweiler [2013-05-25 14:30:52] 729*2^1246247-1 is not prime. Res64: 2C42CCCC8F2DEECF Time : 0.0 sec. user=mdettweiler [2013-05-25 14:31:10] 741*2^1246247-1 is not prime. Res64: 8A928DBBFBBA5A68 Time : 0.0 sec. user=mdettweiler [2013-05-25 15:06:21] 643*2^1246247-1 is not prime. Res64: C033EBE56A9B340A Time : 0.0 sec. user=mdettweiler [2013-05-25 15:11:17] 759*2^1246247-1 is not prime. Res64: C503070AE7B292CF Time : 0.0 sec. user=mdettweiler [2013-05-25 15:11:18] 829*2^1246247-1 is not prime. Res64: B35036440FFC21F7 Time : 0.0 sec. user=mdettweiler [2013-05-25 15:29:00] 859*2^1246247-1 is not prime. Res64: 8368C9FF2F075698 Time : 0.0 sec. user=mdettweiler [2013-05-25 15:29:00] 639*2^1246248-1 is not prime. Res64: 5CBBBF6C715ACA03 Time : 0.0 sec. user=mdettweiler [2013-05-25 15:46:53] 713*2^1246248-1 is not prime. Res64: 9827092063A34907 Time : 0.0 sec. user=mdettweiler [2013-05-25 15:51:08] 831*2^1246247-1 is not prime. Res64: 99E19838F0CC8BAE Time : 0.0 sec. user=mdettweiler [2013-05-25 16:23:41] 753*2^1246248-1 is not prime. Res64: A06B1434A4EA2D70 Time : 0.0 sec. user=mdettweiler [2013-05-25 16:30:07] 841*2^1246247-1 is not prime. Res64: B25C21D7F263C543 Time : 0.0 sec. user=mdettweiler [2013-05-25 16:41:22] 777*2^1246248-1 is not prime. Res64: 601D4EE90DD90FBF Time : 0.0 sec. user=mdettweiler [2013-05-25 16:41:22] 845*2^1246248-1 is not prime. Res64: F7A11F6EB2979F2D Time : 0.0 sec. user=mdettweiler [2013-05-25 16:47:49] 899*2^1246248-1 is not prime. Res64: 1A6966D05FEC8072 Time : 0.0 sec. user=mdettweiler [2013-05-25 16:47:49] 929*2^1246248-1 is not prime. Res64: E637234CCF4009E3 Time : 0.0 sec. user=mdettweiler [2013-05-25 16:59:54] 945*2^1246248-1 is not prime. Res64: 2BBB99283068CA15 Time : 0.0 sec. user=mdettweiler [2013-05-25 16:59:54] 977*2^1246248-1 is not prime. Res64: 8EAB7ACECF9665F6 Time : 0.0 sec. user=mdettweiler [2013-05-25 17:05:43] 681*2^1246249-1 is not prime. Res64: 76D3BDE44D38756F Time : 0.0 sec. user=mdettweiler [2013-05-25 17:17:33] 691*2^1246249-1 is not prime. Res64: 6E35BDBDDAA11AE6 Time : 0.0 sec. user=mdettweiler [2013-05-25 17:17:33] 741*2^1246249-1 is not prime. Res64: A1BB2B2F5F0D9104 Time : 0.0 sec. user=mdettweiler [2013-05-25 17:29:35] 687*2^1246249-1 is not prime. Res64: 168692FE0CEFFF2D Time : 0.0 sec. user=mdettweiler [2013-05-25 17:35:11] 819*2^1246249-1 is not prime. Res64: 05A084E5F3C7B739 Time : 0.0 sec. user=mdettweiler [2013-05-25 17:35:11] 831*2^1246249-1 is not prime. Res64: C60752C7400E134D Time : 0.0 sec. user=mdettweiler [2013-05-25 17:52:48] 847*2^1246249-1 is not prime. Res64: EDE145E68C99667F Time : 0.0 sec. user=mdettweiler [2013-05-25 17:52:49] 861*2^1246249-1 is not prime. Res64: 18F97CB692F6EB7F Time : 0.0 sec. user=mdettweiler [2013-05-25 18:10:35] 867*2^1246249-1 is not prime. Res64: 77706C58A8B7CF4C Time : 0.0 sec. user=mdettweiler [2013-05-25 18:14:02] 717*2^1246250-1 is not prime. Res64: 807F051C8770E4EA Time : 0.0 sec. user=mdettweiler [2013-05-25 18:36:08] 877*2^1246249-1 is not prime. Res64: 9769CF602692E453 Time : 0.0 sec. user=mdettweiler [2013-05-25 18:46:40] 767*2^1246250-1 is not prime. Res64: 7DAD48D8F2FBEC02 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:04:26] 833*2^1246250-1 is not prime. Res64: D24DBEDD13B08FA1 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:04:27] 875*2^1246250-1 is not prime. Res64: E51E6DC3B1E8C0D3 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:22:28] 887*2^1246250-1 is not prime. Res64: 304CE65544CF7FE8 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:22:28] 921*2^1246250-1 is not prime. Res64: 13FA458DEE1CC733 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:23:34] 995*2^1246250-1 is not prime. Res64: AD905BB058F32E47 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:23:34] 711*2^1246251-1 is not prime. Res64: 98A8461885BD31DA Time : 0.0 sec. user=mdettweiler [2013-05-25 19:40:06] 769*2^1246251-1 is not prime. Res64: DA6938100DAFC054 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:40:06] 795*2^1246251-1 is not prime. Res64: EF695A0DF4CF647E Time : 0.0 sec. user=mdettweiler [2013-05-25 19:41:22] 805*2^1246251-1 is not prime. Res64: 41FDAE7F47531153 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:53:37] 825*2^1246251-1 is not prime. Res64: 779EA508F3724CF2 Time : 0.0 sec. user=mdettweiler [2013-05-25 19:58:05] 835*2^1246251-1 is not prime. Res64: 016BCA6F21D9A0A8 Time : 0.0 sec. user=mdettweiler [2013-05-25 20:11:34] 895*2^1246251-1 is not prime. Res64: 55CD622FFE0FE680 Time : 0.0 sec. user=mdettweiler [2013-05-25 20:11:35] 903*2^1246251-1 is not prime. Res64: 4FA2AA0FC4063945 Time : 0.0 sec. user=mdettweiler [2013-05-25 20:30:01] 931*2^1246251-1 is not prime. Res64: 43181B052F04C7E2 Time : 0.0 sec. user=mdettweiler [2013-05-25 20:36:43] 861*2^1246251-1 is not prime. Res64: 3206382FAC9976E0 Time : 0.0 sec. user=mdettweiler [2013-05-25 21:08:38] 945*2^1246251-1 is not prime. Res64: 205969987931ADE7 Time : 0.0 sec. user=mdettweiler [2013-05-25 21:26:35] 961*2^1246251-1 is not prime. Res64: 08022254FCB8DD6A Time : 0.0 sec. user=mdettweiler [2013-05-25 21:31:37] 629*2^1246252-1 is not prime. Res64: 25C3628F4F3F165C Time : 0.0 sec. user=mdettweiler [2013-05-25 21:45:01] 609*2^1246252-1 is not prime. Res64: 810C3DD373162760 Time : 0.0 sec. user=mdettweiler [2013-05-25 22:03:13] 825*2^1246252-1 is not prime. Res64: 16B19630D91EF365 Time : 0.0 sec. user=mdettweiler [2013-05-25 22:09:18] 723*2^1246252-1 is not prime. Res64: 7A1984093A4F7DF7 Time : 0.0 sec. user=mdettweiler [2013-05-25 22:28:27] 863*2^1246252-1 is not prime. Res64: 24A00494481869A0 Time : 0.0 sec. user=mdettweiler [2013-05-25 22:41:32] 855*2^1246252-1 is not prime. Res64: A53BBEB2D71A669D Time : 0.0 sec. user=mdettweiler [2013-05-25 22:55:56] 869*2^1246252-1 is not prime. Res64: DC14407297C62BEA Time : 0.0 sec. user=mdettweiler [2013-05-25 22:59:14] 685*2^1246253-1 is not prime. Res64: CB2C7FD38DE62F19 Time : 0.0 sec. user=mdettweiler [2013-05-25 22:59:15] 697*2^1246253-1 is not prime. Res64: 5CE655E4E58C746D Time : 0.0 sec. user=mdettweiler [2013-05-25 23:17:23] 727*2^1246253-1 is not prime. Res64: DB3AC4A1F15225F4 Time : 0.0 sec. user=mdettweiler [2013-05-25 23:40:06] 747*2^1246253-1 is not prime. Res64: FE7BB442CDB5AB2A Time : 0.0 sec. user=mdettweiler [2013-05-25 23:40:27] 759*2^1246253-1 is not prime. Res64: 2F4DC2CED238E5C6 Time : 0.0 sec. user=mdettweiler [2013-05-25 23:40:27] 811*2^1246253-1 is not prime. Res64: 204B92DA01990192 Time : 0.0 sec. user=mdettweiler [2013-05-25 23:58:13] 621*2^1246254-1 is not prime. Res64: CD0736A728DE4D65 Time : 0.0 sec. user=mdettweiler [2013-05-25 23:58:14] 651*2^1246254-1 is not prime. Res64: 3A8D17419F12638E Time : 0.0 sec.