user=mdettweiler [2013-07-12 00:08:03] 771*2^1247618-1 is not prime. Res64: CE1A771B0D20637F Time : 0.0 sec. user=mdettweiler [2013-07-12 00:08:04] 833*2^1247618-1 is not prime. Res64: 258251E1C3EF1C4F Time : 0.0 sec. user=mdettweiler [2013-07-12 00:25:11] 857*2^1247618-1 is not prime. Res64: EE9518FF2E198171 Time : 0.0 sec. user=mdettweiler [2013-07-12 00:25:12] 927*2^1247618-1 is not prime. Res64: 2D6C748DD4006217 Time : 0.0 sec. user=mdettweiler [2013-07-12 00:43:02] 935*2^1247618-1 is not prime. Res64: C43994EF67C6BF18 Time : 0.0 sec. user=mdettweiler [2013-07-12 00:43:02] 957*2^1247618-1 is not prime. Res64: E0ECD4C90AB87A15 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:00:04] 621*2^1247619-1 is not prime. Res64: C9DEEDA60FF83581 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:00:05] 703*2^1247619-1 is not prime. Res64: FCB2DAEFB101DDE6 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:17:08] 885*2^1247619-1 is not prime. Res64: D47B69114EA4D914 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:17:09] 891*2^1247619-1 is not prime. Res64: D6D3ACA125B3A1D7 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:35:03] 975*2^1247619-1 is not prime. Res64: FE371CDA843AA0C8 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:35:03] 605*2^1247620-1 is not prime. Res64: CF9D706501D9DE73 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:52:04] 693*2^1247620-1 is not prime. Res64: E0B64A91D466BBB2 Time : 0.0 sec. user=mdettweiler [2013-07-12 01:52:04] 735*2^1247620-1 is not prime. Res64: 001F03CA28DC60C4 Time : 0.0 sec. user=mdettweiler [2013-07-12 02:09:06] 743*2^1247620-1 is not prime. Res64: 63092D01EC01942F Time : 0.0 sec. user=mdettweiler [2013-07-12 02:09:07] 819*2^1247620-1 is not prime. Res64: 6469A16B9C9CF205 Time : 0.0 sec. user=mdettweiler [2013-07-12 02:26:12] 845*2^1247620-1 is not prime. Res64: F26B8BDFDB03C862 Time : 0.0 sec. user=mdettweiler [2013-07-12 02:26:12] 627*2^1247621-1 is not prime. Res64: 0924B85541C451D2 Time : 0.0 sec. user=mdettweiler [2013-07-12 02:43:15] 711*2^1247621-1 is not prime. Res64: DE36F6E808029319 Time : 0.0 sec. user=mdettweiler [2013-07-12 02:43:17] 781*2^1247621-1 is not prime. Res64: EBEBD1D574BA1524 Time : 0.0 sec. user=mdettweiler [2013-07-12 03:00:36] 805*2^1247621-1 is not prime. Res64: 51CF380A34DB625B Time : 0.0 sec. user=mdettweiler [2013-07-12 03:00:38] 865*2^1247621-1 is not prime. Res64: 5279EB21E2ECE785 Time : 0.0 sec. user=mdettweiler [2013-07-12 03:17:46] 651*2^1247622-1 is not prime. Res64: E5D19389BA887536 Time : 0.0 sec. user=mdettweiler [2013-07-12 03:17:46] 723*2^1247622-1 is not prime. Res64: 78FAD0EE3A9DC7F7 Time : 0.0 sec. user=mdettweiler [2013-07-12 03:34:49] 867*2^1247622-1 is not prime. Res64: FEDD7CBBC87359CB Time : 0.0 sec. user=mdettweiler [2013-07-12 03:34:50] 603*2^1247623-1 is not prime. Res64: 42880E39BAA92FC2 Time : 0.0 sec. user=mdettweiler [2013-07-12 03:51:55] 625*2^1247623-1 is not prime. Res64: 8D2C3BFB2B44290F Time : 0.0 sec. user=mdettweiler [2013-07-12 03:51:55] 681*2^1247623-1 is not prime. Res64: 63A6AD1EC0B1DCD8 Time : 0.0 sec. user=mdettweiler [2013-07-12 04:08:58] 705*2^1247623-1 is not prime. Res64: 6FD35DDCA5C1C524 Time : 0.0 sec. user=mdettweiler [2013-07-12 04:08:59] 735*2^1247623-1 is not prime. Res64: EAE81A9EE1A7F00D Time : 0.0 sec. user=mdettweiler [2013-07-12 04:26:05] 783*2^1247623-1 is not prime. Res64: 98D845AD74101484 Time : 0.0 sec. user=mdettweiler [2013-07-12 04:26:06] 915*2^1247623-1 is not prime. Res64: DF425543DE33C878 Time : 0.0 sec. user=mdettweiler [2013-07-12 04:43:08] 747*2^1247624-1 is not prime. Res64: CFEB287D30F660AB Time : 0.0 sec. user=mdettweiler [2013-07-12 04:43:09] 827*2^1247624-1 is not prime. Res64: 43A061EB68C55D59 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:00:12] 843*2^1247624-1 is not prime. Res64: 2EE08EA4EDB03E71 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:00:13] 923*2^1247624-1 is not prime. Res64: 9890BD1341B10C49 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:18:03] 993*2^1247624-1 is not prime. Res64: 841993F4AC11AB2B Time : 0.0 sec. user=mdettweiler [2013-07-12 05:18:04] 625*2^1247625-1 is not prime. Res64: 5FAFD7ABA0BFE1D5 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:35:07] 675*2^1247625-1 is not prime. Res64: 41124DCB2390E245 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:35:08] 679*2^1247625-1 is not prime. Res64: 90DA8EB0630FC253 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:52:09] 787*2^1247625-1 is not prime. Res64: C50AF27845CB9055 Time : 0.0 sec. user=mdettweiler [2013-07-12 05:52:10] 847*2^1247625-1 is not prime. Res64: 7A414DCBFAC358F5 Time : 0.0 sec. user=mdettweiler [2013-07-12 06:09:16] 849*2^1247625-1 is not prime. Res64: 4D7BD46F99F6D5F3 Time : 0.0 sec. user=mdettweiler [2013-07-12 06:09:16] 861*2^1247625-1 is not prime. Res64: B3A551052BA2B3BA Time : 0.0 sec. user=mdettweiler [2013-07-12 06:26:49] 909*2^1247625-1 is not prime. Res64: 120F5664E4D627E2 Time : 0.0 sec. user=mdettweiler [2013-07-12 06:26:49] 695*2^1247626-1 is not prime. Res64: E46D79BA65DC7CD0 Time : 0.0 sec. user=mdettweiler [2013-07-12 06:44:07] 701*2^1247626-1 is not prime. Res64: F33764EFE83D4392 Time : 0.0 sec. user=mdettweiler [2013-07-12 06:44:07] 741*2^1247626-1 is not prime. Res64: 7D2239691A141D2E Time : 0.0 sec. user=mdettweiler [2013-07-12 07:01:27] 765*2^1247626-1 is not prime. Res64: 9C1AABD0E809CAE6 Time : 0.0 sec. user=mdettweiler [2013-07-12 07:01:28] 855*2^1247626-1 is not prime. Res64: 4A421ABA4E8A0717 Time : 0.0 sec. user=mdettweiler [2013-07-12 07:18:55] 861*2^1247626-1 is not prime. Res64: BAC3EAE72846F78B Time : 0.0 sec. user=mdettweiler [2013-07-12 07:18:56] 615*2^1247627-1 is not prime. Res64: 8AC83043CE79C15B Time : 0.0 sec. user=mdettweiler [2013-07-12 07:36:34] 621*2^1247627-1 is not prime. Res64: 6BA011A9521FCDF2 Time : 0.0 sec. user=mdettweiler [2013-07-12 07:36:34] 655*2^1247627-1 is not prime. Res64: 8CA31BA53F450C80 Time : 0.0 sec. user=mdettweiler [2013-07-12 07:54:24] 685*2^1247627-1 is not prime. Res64: 7FEA699E34E6F2CD Time : 0.0 sec. user=mdettweiler [2013-07-12 07:54:24] 705*2^1247627-1 is not prime. Res64: 52E8DCCD8D362FD4 Time : 0.0 sec. user=mdettweiler [2013-07-12 08:12:00] 799*2^1247627-1 is not prime. Res64: 6BA400FCAAE9BD17 Time : 0.0 sec. user=mdettweiler [2013-07-12 08:12:01] 859*2^1247627-1 is not prime. Res64: 2931D599A09EE056 Time : 0.0 sec. user=mdettweiler [2013-07-12 08:30:32] 991*2^1247627-1 is not prime. Res64: 9E31B88F7CE41FE1 Time : 0.0 sec. user=mdettweiler [2013-07-12 08:30:32] 707*2^1247628-1 is not prime. Res64: 10599B6FE22632D3 Time : 0.0 sec. user=mdettweiler [2013-07-12 08:47:53] 725*2^1247628-1 is not prime. Res64: 5D0544CE7F6062DF Time : 0.0 sec. user=mdettweiler [2013-07-12 08:47:53] 923*2^1247628-1 is not prime. Res64: 84B99E4CEFA93320 Time : 0.0 sec. user=mdettweiler [2013-07-12 09:05:07] 601*2^1247629-1 is not prime. Res64: AF714DF3ED3D05CF Time : 0.0 sec. user=mdettweiler [2013-07-12 09:05:08] 661*2^1247629-1 is not prime. Res64: 50D4B1881B897788 Time : 0.0 sec. user=juhehe [2013-07-12 09:16:50] 729*2^1247629-1 is not prime. Res64: E64D3E9ADDAE2E1C Time : 0.0 sec. user=mdettweiler [2013-07-12 09:22:28] 741*2^1247629-1 is not prime. Res64: 37E9C80B4FB61CC7 Time : 0.0 sec. user=mdettweiler [2013-07-12 09:22:29] 757*2^1247629-1 is not prime. Res64: F6C5F365DC1DC2B3 Time : 0.0 sec. user=juhehe [2013-07-12 09:38:29] 759*2^1247629-1 is not prime. Res64: 640AF9552A8CF570 Time : 0.0 sec. user=mdettweiler [2013-07-12 09:39:40] 775*2^1247629-1 is not prime. Res64: D1A3E7BA63143F55 Time : 0.0 sec. user=mdettweiler [2013-07-12 09:39:41] 847*2^1247629-1 is not prime. Res64: 2192A4633480555F Time : 0.0 sec. user=mdettweiler [2013-07-12 09:56:52] 895*2^1247629-1 is not prime. Res64: AE1AF591ACAC640F Time : 0.0 sec. user=mdettweiler [2013-07-12 09:56:52] 919*2^1247629-1 is not prime. Res64: 8A0289287B0D438F Time : 0.0 sec. user=juhehe [2013-07-12 10:03:30] 877*2^1247629-1 is not prime. Res64: E60E9BDE86452B0A Time : 0.0 sec. user=mdettweiler [2013-07-12 10:15:39] 955*2^1247629-1 is not prime. Res64: F8471E759F745893 Time : 0.0 sec. user=mdettweiler [2013-07-12 10:15:40] 979*2^1247629-1 is not prime. Res64: 766BE5E35328D2EF Time : 0.0 sec. user=juhehe [2013-07-12 10:24:58] 645*2^1247630-1 is not prime. Res64: 946643C551EA9D45 Time : 0.0 sec. user=mdettweiler [2013-07-12 10:32:51] 785*2^1247630-1 is not prime. Res64: C571F5EA37FEB717 Time : 0.0 sec. user=mdettweiler [2013-07-12 10:32:52] 813*2^1247630-1 is not prime. Res64: E05E320BFBB6DCDC Time : 0.0 sec. user=juhehe [2013-07-12 10:50:00] 897*2^1247630-1 is not prime. Res64: F8F328327B4CF2FB Time : 0.0 sec. user=mdettweiler [2013-07-12 10:50:02] 941*2^1247630-1 is not prime. Res64: F8275144D48E57ED Time : 0.0 sec. user=mdettweiler [2013-07-12 10:50:03] 953*2^1247630-1 is not prime. Res64: D02210422F73714E Time : 0.0 sec. user=mdettweiler [2013-07-12 11:07:14] 705*2^1247631-1 is not prime. Res64: 0F90C9E570A73974 Time : 0.0 sec. user=mdettweiler [2013-07-12 11:07:15] 805*2^1247631-1 is not prime. Res64: DED2671674FF7AB8 Time : 0.0 sec. user=juhehe [2013-07-12 11:15:00] 971*2^1247630-1 is not prime. Res64: C0447C7F1F7FD661 Time : 0.0 sec. user=mdettweiler [2013-07-12 11:24:53] 865*2^1247631-1 is not prime. Res64: 6A59FC4DD3881026 Time : 0.0 sec. user=mdettweiler [2013-07-12 11:24:54] 949*2^1247631-1 is not prime. Res64: BD760B838BC8BA6A Time : 0.0 sec. user=mdettweiler [2013-07-12 11:43:41] 969*2^1247631-1 is not prime. Res64: EA5368E62CFD4B4B Time : 0.0 sec. user=mdettweiler [2013-07-12 11:43:41] 657*2^1247632-1 is not prime. Res64: A6D231566456F319 Time : 0.0 sec. user=mdettweiler [2013-07-12 12:00:55] 665*2^1247632-1 is not prime. Res64: 6C6674043CC09349 Time : 0.0 sec. user=mdettweiler [2013-07-12 12:00:56] 735*2^1247632-1 is not prime. Res64: 499AB8B8BBB7F99A Time : 0.0 sec. user=mdettweiler [2013-07-12 12:18:08] 785*2^1247632-1 is not prime. Res64: B8309F4F058BC542 Time : 0.0 sec. user=mdettweiler [2013-07-12 12:18:09] 825*2^1247632-1 is not prime. Res64: E05A8FA31F67CE78 Time : 0.0 sec. user=mdettweiler [2013-07-12 12:35:20] 833*2^1247632-1 is not prime. Res64: 35DB54D6791E5DC4 Time : 0.0 sec. user=mdettweiler [2013-07-12 12:35:20] 855*2^1247632-1 is not prime. Res64: A1941750FEFFF8D0 Time : 0.0 sec. user=mdettweiler [2013-07-12 12:52:43] 869*2^1247632-1 is not prime. Res64: B467A8F68220AFBD Time : 0.0 sec. user=mdettweiler [2013-07-12 12:52:43] 923*2^1247632-1 is not prime. Res64: 46182B5698D95627 Time : 0.0 sec. user=mdettweiler [2013-07-12 13:10:07] 607*2^1247633-1 is not prime. Res64: A489892125E07EA3 Time : 0.0 sec. user=mdettweiler [2013-07-12 13:10:08] 631*2^1247633-1 is not prime. Res64: B2DF653B91C94B55 Time : 0.0 sec. user=mdettweiler [2013-07-12 13:27:32] 657*2^1247633-1 is not prime. Res64: ADCF0DDE01659BEF Time : 0.0 sec. user=mdettweiler [2013-07-12 13:27:33] 669*2^1247633-1 is not prime. Res64: AD2B5A80B20A599B Time : 0.0 sec. user=mdettweiler [2013-07-12 13:44:52] 675*2^1247633-1 is not prime. Res64: E4E949C6CDA1AAC9 Time : 0.0 sec. user=mdettweiler [2013-07-12 13:44:52] 861*2^1247633-1 is not prime. Res64: C3DAB46ABBC02C10 Time : 0.0 sec. user=mdettweiler [2013-07-12 14:03:53] 967*2^1247633-1 is not prime. Res64: 0CA56DD72E58BD32 Time : 0.0 sec. user=mdettweiler [2013-07-12 14:03:53] 969*2^1247633-1 is not prime. Res64: 3DEC6831E808274A Time : 0.0 sec. user=mdettweiler [2013-07-12 14:21:22] 635*2^1247634-1 is not prime. Res64: F6E47203DA2B2A1D Time : 0.0 sec. user=mdettweiler [2013-07-12 14:21:22] 671*2^1247634-1 is not prime. Res64: D100688B876F28F6 Time : 0.0 sec. user=mdettweiler [2013-07-12 14:38:46] 803*2^1247634-1 is not prime. Res64: 0DD8314EA9297BD2 Time : 0.0 sec. user=mdettweiler [2013-07-12 14:38:46] 861*2^1247634-1 is not prime. Res64: D247DD8C885CF78E Time : 0.0 sec. user=mdettweiler [2013-07-12 14:56:18] 903*2^1247634-1 is not prime. Res64: 7155B3BE13A86BF3 Time : 0.0 sec. user=mdettweiler [2013-07-12 14:56:18] 633*2^1247635-1 is not prime. Res64: D4ED9E730AB3CC13 Time : 0.0 sec. user=juhehe [2013-07-12 15:10:00] 685*2^1247635-1 is not prime. Res64: 48EDCD3E942EC474 Time : 0.0 sec. user=mdettweiler [2013-07-12 15:13:44] 699*2^1247635-1 is not prime. Res64: 1B7ADF5BCF74B264 Time : 0.0 sec. user=mdettweiler [2013-07-12 15:13:45] 741*2^1247635-1 is not prime. Res64: A2CEE9C60B21069D Time : 0.0 sec. user=mdettweiler [2013-07-12 15:31:15] 871*2^1247635-1 is not prime. Res64: D35E542635D39F74 Time : 0.0 sec. user=mdettweiler [2013-07-12 15:31:15] 889*2^1247635-1 is not prime. Res64: C91DD40A717E25A1 Time : 0.0 sec. user=mdettweiler [2013-07-12 15:48:47] 623*2^1247636-1 is not prime. Res64: 22463DB9D9B47C92 Time : 0.0 sec. user=mdettweiler [2013-07-12 15:48:48] 683*2^1247636-1 is not prime. Res64: 0A7965CF2FF4B097 Time : 0.0 sec. user=mdettweiler [2013-07-12 16:06:18] 909*2^1247636-1 is not prime. Res64: 1842D0456DB4E9DB Time : 0.0 sec. user=mdettweiler [2013-07-12 16:06:19] 945*2^1247636-1 is not prime. Res64: 2B786A29FFFA8F4C Time : 0.0 sec. user=mdettweiler [2013-07-12 16:25:29] 957*2^1247636-1 is not prime. Res64: D4B0CE1F58746B55 Time : 0.0 sec. user=mdettweiler [2013-07-12 16:25:30] 969*2^1247636-1 is not prime. Res64: 004726E9B7D721A9 Time : 0.0 sec. user=mdettweiler [2013-07-12 16:43:18] 983*2^1247636-1 is not prime. Res64: 75324ACE349ECAB3 Time : 0.0 sec. user=mdettweiler [2013-07-12 16:43:19] 727*2^1247637-1 is not prime. Res64: A31799D1B1EF1C4A Time : 0.0 sec. user=mdettweiler [2013-07-12 17:00:20] 747*2^1247637-1 is not prime. Res64: 48D6408725EABD03 Time : 0.0 sec. user=mdettweiler [2013-07-12 17:00:21] 825*2^1247637-1 is not prime. Res64: 90C0BE78C05260E5 Time : 0.0 sec. user=mdettweiler [2013-07-12 17:18:15] 979*2^1247637-1 is not prime. Res64: 5D87A65D9898F7EF Time : 0.0 sec. user=mdettweiler [2013-07-12 17:18:16] 621*2^1247638-1 is not prime. Res64: 96CE3C09435C07D6 Time : 0.0 sec. user=mdettweiler [2013-07-12 17:35:18] 681*2^1247638-1 is not prime. Res64: E6468992AFDF3A08 Time : 0.0 sec. user=mdettweiler [2013-07-12 17:35:18] 743*2^1247638-1 is not prime. Res64: F181B2E55FC98234 Time : 0.0 sec. user=mdettweiler [2013-07-12 17:53:08] 915*2^1247638-1 is not prime. Res64: 7077DCB3D4CE3035 Time : 0.0 sec. user=mdettweiler [2013-07-12 17:53:08] 1001*2^1247638-1 is not prime. Res64: 029DA894B7E5EE96 Time : 0.0 sec. user=mdettweiler [2013-07-12 18:10:09] 693*2^1247639-1 is not prime. Res64: 5771E711DE217CC8 Time : 0.0 sec. user=mdettweiler [2013-07-12 18:10:10] 853*2^1247639-1 is not prime. Res64: E1A7CA2D309E0100 Time : 0.0 sec. user=mdettweiler [2013-07-12 18:27:15] 939*2^1247639-1 is not prime. Res64: 2FA2293A6AEC02F9 Time : 0.0 sec. user=mdettweiler [2013-07-12 18:27:16] 795*2^1247640-1 is not prime. Res64: 5F1B0538AC4FFFE9 Time : 0.0 sec. user=mdettweiler [2013-07-12 18:44:18] 797*2^1247640-1 is not prime. Res64: 34CFA7C2788C840A Time : 0.0 sec. user=mdettweiler [2013-07-12 18:44:18] 875*2^1247640-1 is not prime. Res64: F3F03D19F45B707F Time : 0.0 sec. user=mdettweiler [2013-07-12 19:02:49] 975*2^1247640-1 is not prime. Res64: A1878C6B01AE1F3D Time : 0.0 sec. user=mdettweiler [2013-07-12 19:02:50] 645*2^1247641-1 is not prime. Res64: 9D4BC72F2554432D Time : 0.0 sec. user=juhehe [2013-07-12 19:13:00] 927*2^1247640-1 is not prime. Res64: 6EC42747082ED345 Time : 0.0 sec. user=mdettweiler [2013-07-12 19:21:11] 675*2^1247641-1 is not prime. Res64: 396FA06F3507BF0F Time : 0.0 sec. user=mdettweiler [2013-07-12 19:21:11] 691*2^1247641-1 is not prime. Res64: 2A949EB1C35EAF49 Time : 0.0 sec. user=mdettweiler [2013-07-12 19:39:11] 777*2^1247641-1 is not prime. Res64: 77D918825E4B8577 Time : 0.0 sec. user=mdettweiler [2013-07-12 19:39:11] 799*2^1247641-1 is not prime. Res64: E63AA0886F7BB716 Time : 0.0 sec. user=mdettweiler [2013-07-12 19:57:06] 867*2^1247641-1 is not prime. Res64: 088919ACC066A926 Time : 0.0 sec. user=mdettweiler [2013-07-12 19:57:06] 937*2^1247641-1 is not prime. Res64: 2F1117DEC59E33DC Time : 0.0 sec. user=mdettweiler [2013-07-12 20:15:52] 955*2^1247641-1 is not prime. Res64: 6E9429AB09438F7A Time : 0.0 sec. user=mdettweiler [2013-07-12 20:15:53] 675*2^1247642-1 is not prime. Res64: 043728AF2A9F1B93 Time : 0.0 sec. user=mdettweiler [2013-07-12 20:33:54] 747*2^1247642-1 is not prime. Res64: 016D70E824E20A1B Time : 0.0 sec. user=mdettweiler [2013-07-12 20:33:54] 755*2^1247642-1 is not prime. Res64: 027005B4235AA30E Time : 0.0 sec. user=vaughan [2013-07-12 20:35:32] 731*2^1247642-1 is not prime. Res64: 12BCCDD8B9DBB6D8 Time : 0.0 sec. user=mdettweiler [2013-07-12 20:51:34] 797*2^1247642-1 is not prime. Res64: 4D9CBDA13776B9E5 Time : 0.0 sec. user=mdettweiler [2013-07-12 20:51:35] 825*2^1247642-1 is not prime. Res64: 49110ADC318FDD9D Time : 0.0 sec. user=mdettweiler [2013-07-12 21:09:55] 903*2^1247642-1 is not prime. Res64: 88C721E13B2C67D6 Time : 0.0 sec. user=mdettweiler [2013-07-12 21:09:56] 963*2^1247642-1 is not prime. Res64: A2A69AA0F68915F2 Time : 0.0 sec. user=vaughan [2013-07-12 21:18:22] 885*2^1247642-1 is not prime. Res64: AA82E5DFF1C85A46 Time : 0.0 sec. user=mdettweiler [2013-07-12 21:27:33] 871*2^1247643-1 is not prime. Res64: DC391219754B78D7 Time : 0.0 sec. user=mdettweiler [2013-07-12 21:27:33] 945*2^1247643-1 is not prime. Res64: 40EBC39D80ED634C Time : 0.0 sec. user=mdettweiler [2013-07-12 21:45:06] 695*2^1247644-1 is not prime. Res64: 68B07F4BCDD81AAB Time : 0.0 sec. user=mdettweiler [2013-07-12 21:45:07] 723*2^1247644-1 is not prime. Res64: 78D098C77D560328 Time : 0.0 sec. user=vaughan [2013-07-12 21:56:18] 657*2^1247644-1 is not prime. Res64: E8C98CE1DFCD57AF Time : 0.0 sec. user=mdettweiler [2013-07-12 22:02:43] 813*2^1247644-1 is not prime. Res64: 874F1BA683207E78 Time : 0.0 sec. user=mdettweiler [2013-07-12 22:02:44] 875*2^1247644-1 is not prime. Res64: 35B346976D3895DA Time : 0.0 sec. user=mdettweiler [2013-07-12 22:21:17] 939*2^1247644-1 is not prime. Res64: BF2E3DDF4222C5BB Time : 0.0 sec. user=mdettweiler [2013-07-12 22:21:17] 965*2^1247644-1 is not prime. Res64: ED4BF37C26953099 Time : 0.0 sec. user=mdettweiler [2013-07-12 22:39:05] 669*2^1247645-1 is not prime. Res64: 995C7DD2D7BC549A Time : 0.0 sec. user=mdettweiler [2013-07-12 22:39:05] 685*2^1247645-1 is not prime. Res64: DB0B2103B7D0B766 Time : 0.0 sec. user=vaughan [2013-07-12 22:39:13] 905*2^1247644-1 is not prime. Res64: C37369FFFA64AAE9 Time : 0.0 sec. user=mdettweiler [2013-07-12 22:56:07] 735*2^1247645-1 is not prime. Res64: AC2D757014C7E941 Time : 0.0 sec. user=mdettweiler [2013-07-12 22:56:08] 777*2^1247645-1 is not prime. Res64: 84A9BEF800906553 Time : 0.0 sec. user=mdettweiler [2013-07-12 23:14:00] 819*2^1247645-1 is not prime. Res64: AF6A36A779406541 Time : 0.0 sec. user=mdettweiler [2013-07-12 23:14:00] 815*2^1247646-1 is not prime. Res64: 425489F8673818BC Time : 0.0 sec. user=vaughan [2013-07-12 23:17:12] 805*2^1247645-1 is not prime. Res64: 909F873A5002BA6A Time : 0.0 sec. user=mdettweiler [2013-07-12 23:31:31] 903*2^1247646-1 is not prime. Res64: 046F243128D0603D Time : 0.0 sec. user=mdettweiler [2013-07-12 23:31:32] 917*2^1247646-1 is not prime. Res64: B79DC9286C103215 Time : 0.0 sec. user=mdettweiler [2013-07-12 23:49:27] 1001*2^1247646-1 is not prime. Res64: 4C8160043E646545 Time : 0.0 sec. user=mdettweiler [2013-07-12 23:49:28] 813*2^1247647-1 is not prime. Res64: 9E0A8E5D9AD72EB7 Time : 0.0 sec. user=vaughan [2013-07-13 00:00:03] 975*2^1247646-1 is not prime. Res64: 96E2805C6F6977BB Time : 0.0 sec.