user=mdettweiler [2012-12-16 00:07:42] 751*2^1237479-1 is not prime. Res64: BDD532325DD08717 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:07:44] 853*2^1237479-1 is not prime. Res64: EF680D3EF402348D Time : 0.0 sec. user=mdettweiler [2012-12-16 00:16:45] 879*2^1237479-1 is not prime. Res64: 02A57C07AF3AD3D2 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:16:46] 723*2^1237480-1 is not prime. Res64: D6EAB7CFBEAA5660 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:25:09] 819*2^1237480-1 is not prime. Res64: 1BC745AF647C71A4 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:25:10] 863*2^1237480-1 is not prime. Res64: 3F37E4D3B8B65EE5 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:34:07] 933*2^1237480-1 is not prime. Res64: 42281616B9B73AA5 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:34:08] 989*2^1237480-1 is not prime. Res64: 68C12138FF9B3E12 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:42:28] 649*2^1237481-1 is not prime. Res64: 7E1A5EE7613DCA18 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:42:28] 727*2^1237481-1 is not prime. Res64: 251CE9AB4BD379FA Time : 0.0 sec. user=mdettweiler [2012-12-16 00:51:26] 741*2^1237481-1 is not prime. Res64: 3886AC802E4AFABB Time : 0.0 sec. user=mdettweiler [2012-12-16 00:51:26] 861*2^1237481-1 is not prime. Res64: 19B87E7C574068DA Time : 0.0 sec. user=mdettweiler [2012-12-16 00:59:46] 909*2^1237481-1 is not prime. Res64: 7E4BD1590C585ED5 Time : 0.0 sec. user=mdettweiler [2012-12-16 00:59:46] 987*2^1237481-1 is not prime. Res64: 95DCDB45FFB9ECBB Time : 0.0 sec. user=mdettweiler [2012-12-16 01:08:45] 621*2^1237482-1 is not prime. Res64: D628E8F127F0981F Time : 0.0 sec. user=mdettweiler [2012-12-16 01:08:46] 705*2^1237482-1 is not prime. Res64: 996A276305A62216 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:17:04] 867*2^1237482-1 is not prime. Res64: 14297B6831A30ED1 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:17:06] 903*2^1237482-1 is not prime. Res64: CB5CEBB97AC5DFF7 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:26:10] 941*2^1237482-1 is not prime. Res64: 39B5D00C5804F975 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:26:11] 945*2^1237482-1 is not prime. Res64: 5BF3C0D84E9A228C Time : 0.0 sec. user=mdettweiler [2012-12-16 01:34:26] 983*2^1237482-1 is not prime. Res64: 1FEAFF870B2C0415 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:34:26] 735*2^1237483-1 is not prime. Res64: D41C88D20E04C755 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:43:29] 775*2^1237483-1 is not prime. Res64: 1AB06AF1D8786D5E Time : 0.0 sec. user=mdettweiler [2012-12-16 01:43:29] 861*2^1237483-1 is not prime. Res64: 48ADACCD05B3B0E3 Time : 0.0 sec. user=mdettweiler [2012-12-16 01:51:45] 939*2^1237483-1 is not prime. Res64: 7174E1699A6A17BD Time : 0.0 sec. user=mdettweiler [2012-12-16 01:51:45] 999*2^1237483-1 is not prime. Res64: 4903BA59E88EAB41 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:00:48] 659*2^1237484-1 is not prime. Res64: AEB1A6DFD467116D Time : 0.0 sec. user=mdettweiler [2012-12-16 02:00:49] 663*2^1237484-1 is not prime. Res64: 7393E7C2258349CF Time : 0.0 sec. user=mdettweiler [2012-12-16 02:09:03] 819*2^1237484-1 is not prime. Res64: 6F9877F1AC4E5B81 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:09:06] 959*2^1237484-1 is not prime. Res64: 41770AD1758A6E16 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:18:15] 627*2^1237485-1 is not prime. Res64: 636E7167F5396486 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:18:16] 655*2^1237485-1 is not prime. Res64: B38A7A75B15A93AC Time : 0.0 sec. user=mdettweiler [2012-12-16 02:26:39] 679*2^1237485-1 is not prime. Res64: D7B06513C0517C20 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:26:40] 741*2^1237485-1 is not prime. Res64: 143A345FF8BD0C5C Time : 0.0 sec. user=mdettweiler [2012-12-16 02:35:35] 895*2^1237485-1 is not prime. Res64: 06E4C8DFDF984481 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:35:37] 975*2^1237485-1 is not prime. Res64: 2928662F3066FC3E Time : 0.0 sec. user=mdettweiler [2012-12-16 02:44:02] 623*2^1237486-1 is not prime. Res64: 7EEAD0E9B1413E41 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:44:03] 765*2^1237486-1 is not prime. Res64: AE0837526539265A Time : 0.0 sec. user=mdettweiler [2012-12-16 02:53:05] 855*2^1237486-1 is not prime. Res64: 62259FD1C265EC04 Time : 0.0 sec. user=mdettweiler [2012-12-16 02:53:06] 857*2^1237486-1 is not prime. Res64: 0E96E7C3FAE31470 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:01:27] 923*2^1237486-1 is not prime. Res64: 6FD38AAD2FB66A73 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:01:29] 983*2^1237486-1 is not prime. Res64: 0315378DA96A395D Time : 0.0 sec. user=mdettweiler [2012-12-16 03:10:30] 619*2^1237487-1 is not prime. Res64: 0EC59650C805D0D7 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:10:31] 663*2^1237487-1 is not prime. Res64: C5E2142072B94CC9 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:19:18] 693*2^1237487-1 is not prime. Res64: BF27D539F4E5D3C7 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:19:19] 711*2^1237487-1 is not prime. Res64: 9156EFA73ACCF1C4 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:27:52] 629*2^1237488-1 is not prime. Res64: 73F7C65CBE280AFC Time : 0.0 sec. user=mdettweiler [2012-12-16 03:27:53] 635*2^1237488-1 is not prime. Res64: 660A19208B8B4A8A Time : 0.0 sec. user=mdettweiler [2012-12-16 03:36:40] 773*2^1237488-1 is not prime. Res64: 51360A14E0EBBB3F Time : 0.0 sec. user=mdettweiler [2012-12-16 03:36:41] 789*2^1237488-1 is not prime. Res64: 8D1A69EC37E426C3 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:45:14] 825*2^1237488-1 is not prime. Res64: 7B5088B274F11BE0 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:45:15] 867*2^1237488-1 is not prime. Res64: B0F9FE5A9DBDF4DC Time : 0.0 sec. user=mdettweiler [2012-12-16 03:54:10] 893*2^1237488-1 is not prime. Res64: 49440221F6C35678 Time : 0.0 sec. user=mdettweiler [2012-12-16 03:54:10] 625*2^1237489-1 is not prime. Res64: D27BBFB2C84A1E40 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:02:36] 685*2^1237489-1 is not prime. Res64: 68C6864DA60A787B Time : 0.0 sec. user=mdettweiler [2012-12-16 04:02:38] 867*2^1237489-1 is not prime. Res64: 3B994E9A0CC170F0 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:11:30] 951*2^1237489-1 is not prime. Res64: 30D37F9E1A2B819F Time : 0.0 sec. user=mdettweiler [2012-12-16 04:11:31] 645*2^1237490-1 is not prime. Res64: A7EAF4BFE9931E38 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:20:21] 657*2^1237490-1 is not prime. Res64: 3A4BE3CBF6B394D8 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:20:22] 801*2^1237490-1 is not prime. Res64: 7B6A4B0112E1A105 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:28:52] 827*2^1237490-1 is not prime. Res64: 756D143FF63831A3 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:28:52] 833*2^1237490-1 is not prime. Res64: 83A4482AF15E4784 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:37:42] 845*2^1237490-1 is not prime. Res64: 7CEDDE29051B4C49 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:37:43] 875*2^1237490-1 is not prime. Res64: 604E2426CF4ED8C6 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:46:09] 917*2^1237490-1 is not prime. Res64: 173ED2FDA079EA14 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:46:10] 995*2^1237490-1 is not prime. Res64: 8ABB32589A089F14 Time : 0.0 sec. user=mdettweiler [2012-12-16 04:55:25] 741*2^1237491-1 is not prime. Res64: A422EE33233C25CB Time : 0.0 sec. user=mdettweiler [2012-12-16 04:55:25] 751*2^1237491-1 is not prime. Res64: 0D3EF0A4365FA233 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:03:28] 901*2^1237491-1 is not prime. Res64: AFC675CBED5B24BC Time : 0.0 sec. user=mdettweiler [2012-12-16 05:03:29] 961*2^1237491-1 is not prime. Res64: C04A36EE1C33EB2F Time : 0.0 sec. user=mdettweiler [2012-12-16 05:12:46] 999*2^1237491-1 is not prime. Res64: 0746AC7B18F6D154 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:12:49] 635*2^1237492-1 is not prime. Res64: D2C5516E5109D035 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:20:57] 777*2^1237492-1 is not prime. Res64: BA376521FC42413E Time : 0.0 sec. user=mdettweiler [2012-12-16 05:20:57] 819*2^1237492-1 is not prime. Res64: 1405EA24A461EDC7 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:30:23] 899*2^1237492-1 is not prime. Res64: 2F4FB06304473053 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:30:24] 915*2^1237492-1 is not prime. Res64: 5554F56AC0DF9EEE Time : 0.0 sec. user=mdettweiler [2012-12-16 05:38:15] 965*2^1237492-1 is not prime. Res64: 7F1FC3795D56C14D Time : 0.0 sec. user=mdettweiler [2012-12-16 05:38:16] 607*2^1237493-1 is not prime. Res64: 747ACC2ED5EBB8C2 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:47:42] 615*2^1237493-1 is not prime. Res64: B351464E53D9F302 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:47:43] 631*2^1237493-1 is not prime. Res64: F31F259969A3D4C0 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:55:34] 747*2^1237493-1 is not prime. Res64: CE182BE5A0AA6E18 Time : 0.0 sec. user=mdettweiler [2012-12-16 05:55:34] 775*2^1237493-1 is not prime. Res64: FE47BE895A13D203 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:05:02] 801*2^1237493-1 is not prime. Res64: F00306369B57D2C4 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:05:02] 859*2^1237493-1 is not prime. Res64: D79E888135B85555 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:12:52] 861*2^1237493-1 is not prime. Res64: 3D84C388E1A8DA85 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:12:53] 871*2^1237493-1 is not prime. Res64: 8E5B27072784F95F Time : 0.0 sec. user=mdettweiler [2012-12-16 06:22:25] 925*2^1237493-1 is not prime. Res64: C40A123583B2B4A6 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:22:26] 795*2^1237494-1 is not prime. Res64: EE6C24D8F26B0531 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:30:11] 825*2^1237494-1 is not prime. Res64: FF83277ECB3BCD85 Time : 0.0 sec. user=mdettweiler [2012-12-16 06:30:12] 941*2^1237494-1 is not prime. Res64: BBC14B28A0A4EB7E Time : 0.0 sec. user=mdettweiler [2012-12-16 06:39:44] 993*2^1237494-1 is not prime. Res64: 823238BF912506AC Time : 0.0 sec. user=mdettweiler [2012-12-16 06:39:44] 651*2^1237495-1 is not prime. Res64: 94DD11F7A9BBBBCB Time : 0.0 sec. user=mdettweiler [2012-12-16 06:47:30] 679*2^1237495-1 is not prime. Res64: 8AF9198B4D55DF4A Time : 0.0 sec. user=mdettweiler [2012-12-16 06:47:30] 685*2^1237495-1 is not prime. Res64: 248B7E70B02DDA5F Time : 0.0 sec. user=mdettweiler [2012-12-16 06:57:02] 741*2^1237495-1 is not prime. Res64: 6B96C24B2847C97D Time : 0.0 sec. user=mdettweiler [2012-12-16 06:57:03] 855*2^1237495-1 is not prime. Res64: E3B963D1227DA8D8 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:04:48] 861*2^1237495-1 is not prime. Res64: 41DA180C28DACB09 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:04:49] 873*2^1237495-1 is not prime. Res64: 63D00B44B191EA3A Time : 0.0 sec. user=mdettweiler [2012-12-16 07:14:20] 969*2^1237495-1 is not prime. Res64: 49CD16CE7FBDF418 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:14:21] 999*2^1237495-1 is not prime. Res64: 1AD13A347AB45D5D Time : 0.0 sec. user=mdettweiler [2012-12-16 07:22:08] 633*2^1237496-1 is not prime. Res64: 6C535076D0A19CE0 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:22:09] 669*2^1237496-1 is not prime. Res64: 629BA1DF9ACD5BB4 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:31:41] 717*2^1237496-1 is not prime. Res64: B5E857998A267241 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:31:41] 759*2^1237496-1 is not prime. Res64: 5BEDB3C5A3033497 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:39:29] 789*2^1237496-1 is not prime. Res64: EE24547FA990030A Time : 0.0 sec. user=mdettweiler [2012-12-16 07:39:29] 873*2^1237496-1 is not prime. Res64: 19A931F0339A6DE9 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:49:00] 903*2^1237496-1 is not prime. Res64: B7742899B2CE06EE Time : 0.0 sec. user=mdettweiler [2012-12-16 07:49:00] 963*2^1237496-1 is not prime. Res64: 83C2C9349220AC10 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:56:48] 649*2^1237497-1 is not prime. Res64: 46C70E8DCA6DC2B5 Time : 0.0 sec. user=mdettweiler [2012-12-16 07:56:48] 747*2^1237497-1 is not prime. Res64: E547365051174EEC Time : 0.0 sec. user=mdettweiler [2012-12-16 08:06:18] 847*2^1237497-1 is not prime. Res64: 06EE1CE6B7BDAC3A Time : 0.0 sec. user=mdettweiler [2012-12-16 08:06:19] 861*2^1237497-1 is not prime. Res64: 17B7EE395006D016 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:14:06] 617*2^1237498-1 is not prime. Res64: E73DEC6AC790887D Time : 0.0 sec. user=mdettweiler [2012-12-16 08:14:08] 645*2^1237498-1 is not prime. Res64: A28DBF62D47DBCF7 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:23:40] 677*2^1237498-1 is not prime. Res64: A09B4BF74858397E Time : 0.0 sec. user=mdettweiler [2012-12-16 08:23:40] 743*2^1237498-1 is not prime. Res64: 4AED18E366AE7D9C Time : 0.0 sec. user=mdettweiler [2012-12-16 08:31:31] 915*2^1237498-1 is not prime. Res64: 698743C090192EB0 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:31:32] 923*2^1237498-1 is not prime. Res64: C065405FCE2CE924 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:40:59] 655*2^1237499-1 is not prime. Res64: 913ED6C6BB9C0772 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:40:59] 675*2^1237499-1 is not prime. Res64: 700E7F015F984D65 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:48:50] 703*2^1237499-1 is not prime. Res64: C6885FC89DB30F25 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:48:51] 813*2^1237499-1 is not prime. Res64: E59EA9E276CB0AF5 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:58:17] 931*2^1237499-1 is not prime. Res64: AD9E0255C7FB1C24 Time : 0.0 sec. user=mdettweiler [2012-12-16 08:58:18] 627*2^1237500-1 is not prime. Res64: 24243CB8BE02D98B Time : 0.0 sec. user=mdettweiler [2012-12-16 09:06:09] 707*2^1237500-1 is not prime. Res64: B09BE99B9ABA0DA0 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:06:11] 717*2^1237500-1 is not prime. Res64: E30C3BD55A8D7DDE Time : 0.0 sec. user=mdettweiler [2012-12-16 09:15:36] 863*2^1237500-1 is not prime. Res64: 1744BB601F344DD2 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:15:36] 867*2^1237500-1 is not prime. Res64: 13E21C1B4D695A75 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:23:38] 909*2^1237500-1 is not prime. Res64: 313A9082D6C21292 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:23:38] 929*2^1237500-1 is not prime. Res64: E4D288631282FB98 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:32:56] 933*2^1237500-1 is not prime. Res64: 50DF591B91748D9F Time : 0.0 sec. user=mdettweiler [2012-12-16 09:32:57] 999*2^1237500-1 is not prime. Res64: F916B0B563BDE20E Time : 0.0 sec. user=mdettweiler [2012-12-16 09:40:57] 615*2^1237501-1 is not prime. Res64: 2E34BDA07E117B65 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:40:57] 681*2^1237501-1 is not prime. Res64: 2AA56CBFE0C6BC87 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:50:18] 687*2^1237501-1 is not prime. Res64: EF494C061D62C751 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:50:18] 691*2^1237501-1 is not prime. Res64: 423286604549F7A8 Time : 0.0 sec. user=mdettweiler [2012-12-16 09:58:15] 775*2^1237501-1 is not prime. Res64: 2BD0856F79BABC6A Time : 0.0 sec. user=mdettweiler [2012-12-16 09:58:16] 811*2^1237501-1 is not prime. Res64: E889633D4B866B70 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:07:37] 849*2^1237501-1 is not prime. Res64: 84D334E854BA2EA9 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:07:39] 939*2^1237501-1 is not prime. Res64: F8B41E8B9D7D360E Time : 0.0 sec. user=mdettweiler [2012-12-16 10:15:33] 951*2^1237501-1 is not prime. Res64: 8D3415F83ABC68AD Time : 0.0 sec. user=mdettweiler [2012-12-16 10:15:34] 705*2^1237502-1 is not prime. Res64: 7A2F715A69A30746 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:25:11] 767*2^1237502-1 is not prime. Res64: BD681991F8C54C51 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:25:12] 923*2^1237502-1 is not prime. Res64: F8F6FBA20A07948A Time : 0.0 sec. user=mdettweiler [2012-12-16 10:32:53] 609*2^1237503-1 is not prime. Res64: 2DCF38BB7E9726F4 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:32:54] 705*2^1237503-1 is not prime. Res64: 44E5BC73FD876DAD Time : 0.0 sec. user=mdettweiler [2012-12-16 10:42:30] 919*2^1237503-1 is not prime. Res64: 72D005C85E143BBC Time : 0.0 sec. user=mdettweiler [2012-12-16 10:42:30] 605*2^1237504-1 is not prime. Res64: 947B94D10060713C Time : 0.0 sec. user=mdettweiler [2012-12-16 10:50:14] 857*2^1237330-1 is not prime. Res64: 788900389C6EC8A4 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:50:14] 635*2^1237504-1 is not prime. Res64: F82C4604CF317B14 Time : 0.0 sec. user=mdettweiler [2012-12-16 10:59:49] 755*2^1237504-1 is not prime. Res64: EAA20F28098120AA Time : 0.0 sec. user=mdettweiler [2012-12-16 10:59:49] 759*2^1237504-1 is not prime. Res64: D36D2776AC44049E Time : 0.0 sec. user=mdettweiler [2012-12-16 11:07:32] 843*2^1237504-1 is not prime. Res64: A10D17B80704B093 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:07:34] 995*2^1237504-1 is not prime. Res64: E05760EE50E23AD3 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:17:07] 699*2^1237505-1 is not prime. Res64: E25C49477DA9FE63 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:17:08] 759*2^1237505-1 is not prime. Res64: 706ADC86FDE4493F Time : 0.0 sec. user=mdettweiler [2012-12-16 11:25:00] 771*2^1237505-1 is not prime. Res64: 75836A9726113ED4 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:25:01] 861*2^1237505-1 is not prime. Res64: E808FF02D08EAC95 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:34:31] 867*2^1237505-1 is not prime. Res64: 6ED24BCB06CCDDEF Time : 0.0 sec. user=mdettweiler [2012-12-16 11:34:32] 925*2^1237505-1 is not prime. Res64: AAF224DF6EE9B2FF Time : 0.0 sec. user=mdettweiler [2012-12-16 11:42:18] 979*2^1237505-1 is not prime. Res64: 51A98BF2E147EEAA Time : 0.0 sec. user=mdettweiler [2012-12-16 11:42:19] 971*2^1237506-1 is not prime. Res64: CD47160AC63D7C2F Time : 0.0 sec. user=mdettweiler [2012-12-16 11:51:50] 741*2^1237507-1 is not prime. Res64: EACBEF1BEF53C061 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:51:51] 891*2^1237507-1 is not prime. Res64: 60613D31550B2D34 Time : 0.0 sec. user=mdettweiler [2012-12-16 11:59:36] 931*2^1237507-1 is not prime. Res64: 4D1D3E3B853C909C Time : 0.0 sec. user=mdettweiler [2012-12-16 11:59:37] 951*2^1237507-1 is not prime. Res64: A5A28BCB9C7A51F2 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:09:09] 879*2^1237508-1 is not prime. Res64: A6612F0AF4F5EA26 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:09:14] 741*2^1237509-1 is not prime. Res64: 7E335714CA0AF83F Time : 0.0 sec. user=mdettweiler [2012-12-16 12:16:55] 829*2^1237509-1 is not prime. Res64: 0410481F5FB2E620 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:16:56] 889*2^1237509-1 is not prime. Res64: 854B5AC04F65BF7D Time : 0.0 sec. user=mdettweiler [2012-12-16 12:27:03] 611*2^1237510-1 is not prime. Res64: 96F234BCF0D50135 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:27:04] 645*2^1237510-1 is not prime. Res64: BD093A3962F99505 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:34:22] 677*2^1237510-1 is not prime. Res64: E65AC4D0091C5E04 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:34:24] 755*2^1237510-1 is not prime. Res64: 7C6FBEDDBC9DDE18 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:44:22] 765*2^1237510-1 is not prime. Res64: EB76ECB24AC3145D Time : 0.0 sec. user=mdettweiler [2012-12-16 12:44:23] 857*2^1237510-1 is not prime. Res64: 4D928722C022F852 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:51:43] 933*2^1237510-1 is not prime. Res64: 3C253221BE74B849 Time : 0.0 sec. user=mdettweiler [2012-12-16 12:51:44] 619*2^1237511-1 is not prime. Res64: 0B88EF51E81C02A3 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:01:43] 705*2^1237511-1 is not prime. Res64: 94C058B6D4B221C9 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:01:46] 753*2^1237511-1 is not prime. Res64: 0DA03CA6F4E7D720 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:09:01] 819*2^1237511-1 is not prime. Res64: A185C5F5F181AEE6 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:09:06] 883*2^1237511-1 is not prime. Res64: C98A02C14A4C88ED Time : 0.0 sec. user=mdettweiler [2012-12-16 13:19:33] 885*2^1237511-1 is not prime. Res64: 3258C77EA925A3F5 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:19:34] 605*2^1237512-1 is not prime. Res64: A08CF342D9AB22A1 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:26:47] 665*2^1237512-1 is not prime. Res64: 9E2EFEA43FD4916F Time : 0.0 sec. user=mdettweiler [2012-12-16 13:26:48] 737*2^1237512-1 is not prime. Res64: B0A1F3C08FD514BE Time : 0.0 sec. user=mdettweiler [2012-12-16 13:36:55] 797*2^1237512-1 is not prime. Res64: 7B307A406B6E8E48 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:36:55] 815*2^1237512-1 is not prime. Res64: 26EEA70E0C5945EF Time : 0.0 sec. user=mdettweiler [2012-12-16 13:44:08] 849*2^1237512-1 is not prime. Res64: 23553C2FDABA9153 Time : 0.0 sec. user=mdettweiler [2012-12-16 13:44:08] 625*2^1237513-1 is not prime. Res64: DA684E87FB87719E Time : 0.0 sec. user=mdettweiler [2012-12-16 13:54:15] 705*2^1237513-1 is not prime. Res64: 2373EAFC15A671BF Time : 0.0 sec. user=mdettweiler [2012-12-16 13:54:15] 747*2^1237513-1 is not prime. Res64: CC8AEDB7F72131E7 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:01:29] 861*2^1237513-1 is not prime. Res64: B80F3ACC53FF834C Time : 0.0 sec. user=mdettweiler [2012-12-16 14:01:30] 623*2^1237514-1 is not prime. Res64: 0DB06E9F668C36C1 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:11:37] 665*2^1237514-1 is not prime. Res64: 2200FE82567DD667 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:11:39] 741*2^1237514-1 is not prime. Res64: 70FE42823A66729A Time : 0.0 sec. user=mdettweiler [2012-12-16 14:19:04] 767*2^1237514-1 is not prime. Res64: 7D15BDB367B22C95 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:19:04] 915*2^1237514-1 is not prime. Res64: 9EA36A8F02CF2D9B Time : 0.0 sec. user=mdettweiler [2012-12-16 14:29:14] 987*2^1237514-1 is not prime. Res64: 2DC46E08DCCD898D Time : 0.0 sec. user=mdettweiler [2012-12-16 14:29:15] 649*2^1237515-1 is not prime. Res64: DCCC2334294EEE43 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:36:25] 663*2^1237515-1 is not prime. Res64: D7DD16645D92F463 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:36:25] 723*2^1237515-1 is not prime. Res64: 4C740644CB373CE9 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:46:34] 801*2^1237515-1 is not prime. Res64: 6214B58408680E28 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:46:35] 829*2^1237515-1 is not prime. Res64: 9F24D3AF7446AEB1 Time : 0.0 sec. user=mdettweiler [2012-12-16 14:53:45] 853*2^1237515-1 is not prime. Res64: 89CBBDD57D4DE5EC Time : 0.0 sec. user=mdettweiler [2012-12-16 14:53:46] 895*2^1237515-1 is not prime. Res64: DE0A0B0C03166567 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:03:55] 903*2^1237515-1 is not prime. Res64: 674F1DCA0831D6EC Time : 0.0 sec. user=mdettweiler [2012-12-16 15:03:57] 913*2^1237515-1 is not prime. Res64: 5F943D44C80148E3 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:11:05] 963*2^1237515-1 is not prime. Res64: 1D5F2B66989CB425 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:11:06] 657*2^1237516-1 is not prime. Res64: C68144CE06E0C2B8 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:21:23] 675*2^1237516-1 is not prime. Res64: EB6605242568C4F0 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:21:23] 843*2^1237516-1 is not prime. Res64: 9405CDB9578BB145 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:28:30] 983*2^1237516-1 is not prime. Res64: A47DB8F43ED8EE1D Time : 0.0 sec. user=mdettweiler [2012-12-16 15:28:31] 989*2^1237516-1 is not prime. Res64: 5F689DA1E54104C6 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:38:41] 631*2^1237517-1 is not prime. Res64: FC7DB6F8E99ACA54 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:38:42] 859*2^1237517-1 is not prime. Res64: 2CC33C057CEB5CAE Time : 0.0 sec. user=mdettweiler [2012-12-16 15:45:49] 865*2^1237517-1 is not prime. Res64: 2D991970806A6995 Time : 0.0 sec. user=mdettweiler [2012-12-16 15:45:50] 889*2^1237517-1 is not prime. Res64: E706D27F804A6BEE Time : 0.0 sec. user=mdettweiler [2012-12-16 15:56:01] 635*2^1237518-1 is not prime. Res64: 7378088F8215C8CD Time : 0.0 sec. user=mdettweiler [2012-12-16 15:56:02] 641*2^1237518-1 is not prime. Res64: 2D42FF1E63ADFEEE Time : 0.0 sec. user=mdettweiler [2012-12-16 16:03:11] 765*2^1237518-1 is not prime. Res64: E24B90375A548009 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:03:12] 767*2^1237518-1 is not prime. Res64: 0324DC05F2B01990 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:13:25] 825*2^1237518-1 is not prime. Res64: D933110254AE0743 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:13:26] 663*2^1237519-1 is not prime. Res64: 8B7CDB5E785AF2B9 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:20:49] 729*2^1237519-1 is not prime. Res64: 20F7C108DFB82B49 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:20:49] 763*2^1237519-1 is not prime. Res64: 818E9CF9E6F3C9F4 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:31:21] 793*2^1237519-1 is not prime. Res64: 2083CCD4D01124DA Time : 0.0 sec. user=mdettweiler [2012-12-16 16:31:21] 855*2^1237519-1 is not prime. Res64: 48497671819163F7 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:38:49] 873*2^1237519-1 is not prime. Res64: 005C36B132551287 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:38:49] 603*2^1237520-1 is not prime. Res64: A65D0A96799D50CB Time : 0.0 sec. user=mdettweiler [2012-12-16 16:49:19] 635*2^1237520-1 is not prime. Res64: 1ADD7E9761CB8A4B Time : 0.0 sec. user=mdettweiler [2012-12-16 16:49:20] 665*2^1237520-1 is not prime. Res64: 8045AD398301058E Time : 0.0 sec. user=mdettweiler [2012-12-16 16:56:46] 753*2^1237520-1 is not prime. Res64: 4452F7613A42AD15 Time : 0.0 sec. user=mdettweiler [2012-12-16 16:56:46] 819*2^1237520-1 is not prime. Res64: 81F632F0FFEFE146 Time : 0.0 sec. user=mdettweiler [2012-12-16 17:06:58] 957*2^1237520-1 is not prime. Res64: 2110C3E19B348E7C Time : 0.0 sec. user=mdettweiler [2012-12-16 17:07:01] 907*2^1237521-1 is not prime. Res64: C0F94F6925823A8C Time : 0.0 sec. user=mdettweiler [2012-12-16 17:14:10] 979*2^1237521-1 is not prime. Res64: 91EAE1734F6278FB Time : 0.0 sec. user=mdettweiler [2012-12-16 17:14:12] 603*2^1237522-1 is not prime. Res64: 7B30D1DEA656B712 Time : 0.0 sec. user=mdettweiler [2012-12-16 17:24:59] 621*2^1237522-1 is not prime. Res64: 5E4FEAB9E273B01A Time : 0.0 sec. user=mdettweiler [2012-12-16 17:25:00] 705*2^1237522-1 is not prime. Res64: A7C220B7EC3DE33B Time : 0.0 sec. user=mdettweiler [2012-12-16 17:31:43] 717*2^1237522-1 is not prime. Res64: B19B52D5526EF277 Time : 0.0 sec. user=mdettweiler [2012-12-16 17:31:44] 831*2^1237522-1 is not prime. Res64: D12D66773E60A7B8 Time : 0.0 sec. user=mdettweiler [2012-12-16 17:42:30] 843*2^1237522-1 is not prime. Res64: 3F2BA5A7C47BCE3E Time : 0.0 sec. user=mdettweiler [2012-12-16 17:42:31] 945*2^1237522-1 is not prime. Res64: A8D32BACF658FB9B Time : 0.0 sec. user=mdettweiler [2012-12-16 17:49:15] 1001*2^1237522-1 is not prime. Res64: 57066D51E0F0991A Time : 0.0 sec. user=mdettweiler [2012-12-16 17:49:15] 603*2^1237523-1 is not prime. Res64: 444B229DC74A7453 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:00:02] 693*2^1237523-1 is not prime. Res64: 1BC806435F466234 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:00:02] 705*2^1237523-1 is not prime. Res64: 30510EC7EE15C476 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:06:48] 823*2^1237523-1 is not prime. Res64: 51590A00FDB5E4A6 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:06:49] 921*2^1237523-1 is not prime. Res64: D7AD9E3B5CE8E018 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:17:34] 969*2^1237523-1 is not prime. Res64: 0FE483A6E8D541C1 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:17:35] 615*2^1237524-1 is not prime. Res64: 8EE0ECD1846BE974 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:24:15] 689*2^1237524-1 is not prime. Res64: 9567AE0146BA6217 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:24:16] 843*2^1237524-1 is not prime. Res64: 6B3665E13BBF0EF3 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:34:54] 969*2^1237524-1 is not prime. Res64: E8E1C03AAE883206 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:34:55] 729*2^1237525-1 is not prime. Res64: D2DB86D5FD3E7533 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:41:36] 757*2^1237525-1 is not prime. Res64: BE266D1A6043B118 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:41:36] 897*2^1237525-1 is not prime. Res64: 9FE8C7A62441FC36 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:52:19] 999*2^1237525-1 is not prime. Res64: 1FD2DE614040888E Time : 0.0 sec. user=mdettweiler [2012-12-16 18:52:20] 675*2^1237526-1 is not prime. Res64: 95061A63A407D510 Time : 0.0 sec. user=mdettweiler [2012-12-16 18:58:59] 713*2^1237526-1 is not prime. Res64: 3FC02E26CEC4776B Time : 0.0 sec. user=mdettweiler [2012-12-16 18:59:00] 801*2^1237526-1 is not prime. Res64: A5E53D32FC1CD72A Time : 0.0 sec. user=mdettweiler [2012-12-16 19:09:47] 813*2^1237526-1 is not prime. Res64: C85B0E706B780543 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:09:50] 843*2^1237526-1 is not prime. Res64: E2A25070889B48C4 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:16:27] 903*2^1237526-1 is not prime. Res64: C9EBFA94F6974D35 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:16:28] 935*2^1237526-1 is not prime. Res64: 1DE94D17F82B30DF Time : 0.0 sec. user=mdettweiler [2012-12-16 19:27:31] 669*2^1237527-1 is not prime. Res64: 0476CECA5451A691 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:27:31] 859*2^1237527-1 is not prime. Res64: 10952149CF08A6F1 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:33:59] 973*2^1237527-1 is not prime. Res64: A4A797170EBDE172 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:34:00] 975*2^1237527-1 is not prime. Res64: 89082B7346E28499 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:44:59] 657*2^1237528-1 is not prime. Res64: 8FF64F8DE1E23720 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:44:59] 707*2^1237528-1 is not prime. Res64: 61D82AC8B13B229F Time : 0.0 sec. user=mdettweiler [2012-12-16 19:51:26] 743*2^1237528-1 is not prime. Res64: D32DBA81C2E63750 Time : 0.0 sec. user=mdettweiler [2012-12-16 19:51:26] 755*2^1237528-1 is not prime. Res64: 961ED16C35C2EAAA Time : 0.0 sec. user=mdettweiler [2012-12-16 20:02:20] 777*2^1237528-1 is not prime. Res64: 9129C47CD58AC504 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:02:22] 923*2^1237528-1 is not prime. Res64: EB91B9FB2623E3A0 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:08:45] 999*2^1237528-1 is not prime. Res64: C493D92546DE8595 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:08:49] 939*2^1237529-1 is not prime. Res64: 0EC3727F3D36A94C Time : 0.0 sec. user=mdettweiler [2012-12-16 20:19:49] 949*2^1237529-1 is not prime. Res64: 1CD476E130F02C87 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:19:49] 987*2^1237529-1 is not prime. Res64: 09D98B380E2AE134 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:26:18] 665*2^1237530-1 is not prime. Res64: 66673C29A01BC89D Time : 0.0 sec. user=mdettweiler [2012-12-16 20:26:19] 741*2^1237530-1 is not prime. Res64: F11E7C1682B15529 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:37:09] 791*2^1237530-1 is not prime. Res64: 8FB75A96AEFB1018 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:37:09] 797*2^1237530-1 is not prime. Res64: 3FC3A43E39542B41 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:43:37] 833*2^1237530-1 is not prime. Res64: 94338D464B87E646 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:43:38] 887*2^1237530-1 is not prime. Res64: F4FA41115BBE03B3 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:54:28] 619*2^1237531-1 is not prime. Res64: E5F92A583D326112 Time : 0.0 sec. user=mdettweiler [2012-12-16 20:54:29] 715*2^1237531-1 is not prime. Res64: E24D895B4980644D Time : 0.0 sec. user=mdettweiler [2012-12-16 21:00:57] 759*2^1237531-1 is not prime. Res64: 3FAE9D8413AC61AB Time : 0.0 sec. user=mdettweiler [2012-12-16 21:00:58] 769*2^1237531-1 is not prime. Res64: D0F43AE50BF5B349 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:11:48] 771*2^1237531-1 is not prime. Res64: 22E9DDDEE1028070 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:11:49] 603*2^1237532-1 is not prime. Res64: B3E08F41DE578123 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:18:17] 609*2^1237532-1 is not prime. Res64: 1C4E822F26964E53 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:18:18] 615*2^1237532-1 is not prime. Res64: 09E9132F49D2C655 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:29:16] 633*2^1237532-1 is not prime. Res64: 031C6FEFB56A4BA1 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:29:17] 635*2^1237532-1 is not prime. Res64: 62686395D4CBFF08 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:35:37] 665*2^1237532-1 is not prime. Res64: B9B0B99A1625D16F Time : 0.0 sec. user=mdettweiler [2012-12-16 21:35:37] 753*2^1237532-1 is not prime. Res64: 57DE04781EB5E9FB Time : 0.0 sec. user=mdettweiler [2012-12-16 21:46:36] 777*2^1237532-1 is not prime. Res64: C64A96D89C3144AB Time : 0.0 sec. user=mdettweiler [2012-12-16 21:46:37] 963*2^1237532-1 is not prime. Res64: 47A2671E6B6D3798 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:53:00] 995*2^1237532-1 is not prime. Res64: A4B92CB185A08ED1 Time : 0.0 sec. user=mdettweiler [2012-12-16 21:53:01] 759*2^1237533-1 is not prime. Res64: F099E2CE60E18150 Time : 0.0 sec. user=mdettweiler [2012-12-16 22:04:26] 645*2^1237534-1 is not prime. Res64: 0C2DC1C682DA0AE4 Time : 0.0 sec. user=mdettweiler [2012-12-16 22:04:28] 741*2^1237534-1 is not prime. Res64: 878C083CBBD53C58 Time : 0.0 sec. user=mdettweiler [2012-12-16 22:22:41] 861*2^1237534-1 is not prime. Res64: 51B6E9A1E4FC30B5 Time : 0.0 sec. user=mdettweiler [2012-12-16 22:22:42] 983*2^1237534-1 is not prime. Res64: 89B8598AB6CB174B Time : 0.0 sec. user=mdettweiler [2012-12-16 22:28:06] 791*2^1237534-1 is not prime. Res64: C48B8946A146553F Time : 0.0 sec. user=mdettweiler [2012-12-16 22:28:07] 833*2^1237534-1 is not prime. Res64: C10DA8BB404F55BC Time : 0.0 sec. user=mdettweiler [2012-12-16 22:40:02] 655*2^1237535-1 is not prime. Res64: 0615B9AFD0A107DC Time : 0.0 sec. user=mdettweiler [2012-12-16 22:40:03] 739*2^1237535-1 is not prime. Res64: 70119D62BABCCC3F Time : 0.0 sec. user=mdettweiler [2012-12-16 22:45:26] 741*2^1237535-1 is not prime. Res64: 0F8E83FE7B943C07 Time : 0.0 sec. user=mdettweiler [2012-12-16 22:45:27] 829*2^1237535-1 is not prime. Res64: EBA65FF3ED8CE30A Time : 0.0 sec. user=mdettweiler [2012-12-16 22:57:42] 841*2^1237535-1 is not prime. Res64: 6102DA4D8592270F Time : 0.0 sec. user=mdettweiler [2012-12-16 22:57:42] 855*2^1237535-1 is not prime. Res64: CDCC51FBD3929128 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:03:12] 969*2^1237535-1 is not prime. Res64: CF7FE1982645BA20 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:03:15] 627*2^1237536-1 is not prime. Res64: B7290656B57B8B36 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:15:15] 725*2^1237536-1 is not prime. Res64: A93C13A60602C839 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:15:16] 735*2^1237536-1 is not prime. Res64: 7A9B5F11384518E1 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:20:40] 747*2^1237536-1 is not prime. Res64: 562AFF697591D308 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:20:41] 839*2^1237536-1 is not prime. Res64: B6E269BB3B844C5E Time : 0.0 sec. user=mdettweiler [2012-12-16 23:32:40] 845*2^1237536-1 is not prime. Res64: ADC8B137E801DD91 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:32:41] 945*2^1237536-1 is not prime. Res64: B24E1C8315C2AFC0 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:38:04] 947*2^1237536-1 is not prime. Res64: 5EE62538E1A2AF15 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:38:04] 897*2^1237537-1 is not prime. Res64: 70718ACF441D60ED Time : 0.0 sec. user=mdettweiler [2012-12-16 23:50:06] 931*2^1237537-1 is not prime. Res64: 7B408308538BD995 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:50:07] 957*2^1237537-1 is not prime. Res64: 2CF90FA96001D94D Time : 0.0 sec. user=mdettweiler [2012-12-16 23:55:26] 967*2^1237537-1 is not prime. Res64: 0B160A7B409C2B42 Time : 0.0 sec. user=mdettweiler [2012-12-16 23:55:27] 857*2^1237538-1 is not prime. Res64: 4C7A4B2582548C3E Time : 0.0 sec.