user=mdettweiler [2013-06-18 00:18:39] 973*2^1247003-1 is not prime. Res64: 911D336B645A7B60 Time : 0.0 sec. user=mdettweiler [2013-06-18 00:24:03] 789*2^1247003-1 is not prime. Res64: CB18C9A43B80420B Time : 0.0 sec. user=vaughan [2013-06-18 00:28:56] 913*2^1247003-1 is not prime. Res64: 4CEB16DDE9774EB1 Time : 0.0 sec. user=mdettweiler [2013-06-18 00:41:45] 623*2^1247004-1 is not prime. Res64: C2BF06E22F20FB4C Time : 0.0 sec. user=mdettweiler [2013-06-18 01:01:06] 993*2^1247003-1 is not prime. Res64: ACCC0438C0E35D7F Time : 0.0 sec. user=mdettweiler [2013-06-18 01:20:53] 635*2^1247004-1 is not prime. Res64: 4FFFB5A8D67FEFE1 Time : 0.0 sec. user=mdettweiler [2013-06-18 01:38:22] 929*2^1247004-1 is not prime. Res64: 9FAB989FCB446317 Time : 0.0 sec. user=mdettweiler [2013-06-18 01:38:23] 721*2^1247005-1 is not prime. Res64: 76AEDB58CADD5C9B Time : 0.0 sec. user=mdettweiler [2013-06-18 01:40:52] 727*2^1247005-1 is not prime. Res64: C52681E09743F689 Time : 0.0 sec. user=mdettweiler [2013-06-18 01:40:53] 919*2^1247005-1 is not prime. Res64: F19CA6A5733CFED1 Time : 0.0 sec. user=vaughan [2013-06-18 01:48:03] 717*2^1247004-1 is not prime. Res64: F4D363BF91E77589 Time : 0.0 sec. user=mdettweiler [2013-06-18 01:56:19] 617*2^1247006-1 is not prime. Res64: 8C3F6E08B8828A88 Time : 0.0 sec. user=mdettweiler [2013-06-18 01:58:50] 851*2^1247006-1 is not prime. Res64: 533D189A677C72C9 Time : 0.0 sec. user=mdettweiler [2013-06-18 02:24:47] 705*2^1247006-1 is not prime. Res64: D0A49DDCE56AA078 Time : 0.0 sec. user=vaughan [2013-06-18 02:32:56] 941*2^1247006-1 is not prime. Res64: BC98EE2E846CD0E0 Time : 0.0 sec. user=mdettweiler [2013-06-18 02:35:05] 923*2^1247006-1 is not prime. Res64: 3FBF2BF6A13A739A Time : 0.0 sec. user=mdettweiler [2013-06-18 02:43:04] 1001*2^1247006-1 is not prime. Res64: 0F13DF89A6825FEB Time : 0.0 sec. user=mdettweiler [2013-06-18 02:43:06] 609*2^1247007-1 is not prime. Res64: 3377651ADFEC4D96 Time : 0.0 sec. user=mdettweiler [2013-06-18 02:52:50] 633*2^1247007-1 is not prime. Res64: CAF2DFEF3E582EBF Time : 0.0 sec. user=mdettweiler [2013-06-18 02:52:51] 735*2^1247007-1 is not prime. Res64: ECDDFAE7637941EA Time : 0.0 sec. user=mdettweiler [2013-06-18 03:00:35] 741*2^1247007-1 is not prime. Res64: 37294DF5B021B639 Time : 0.0 sec. user=mdettweiler [2013-06-18 03:00:37] 949*2^1247007-1 is not prime. Res64: 6E6F4DE7C5CA56E0 Time : 0.0 sec. user=mdettweiler [2013-06-18 03:11:07] 973*2^1247007-1 is not prime. Res64: CBCEB40C8BC8C880 Time : 0.0 sec. user=mdettweiler [2013-06-18 03:11:08] 743*2^1247008-1 is not prime. Res64: 54C407EF2DB8E4B5 Time : 0.0 sec. user=vaughan [2013-06-18 03:12:55] 619*2^1247007-1 is not prime. Res64: F15225C97A8DED7C Time : 0.0 sec. user=mdettweiler [2013-06-18 03:19:23] 797*2^1247008-1 is not prime. Res64: 6DB9187439292E78 Time : 0.0 sec. user=mdettweiler [2013-06-18 03:29:07] 759*2^1247009-1 is not prime. Res64: 817DD253E3015EBE Time : 0.0 sec. user=mdettweiler [2013-06-18 03:41:32] 795*2^1247009-1 is not prime. Res64: FBC4AED352480EC8 Time : 0.0 sec. user=vaughan [2013-06-18 03:52:25] 847*2^1247009-1 is not prime. Res64: 2231786480D4546B Time : 0.0 sec. user=mdettweiler [2013-06-18 03:58:08] 993*2^1247008-1 is not prime. Res64: 29A49924FCDA915F Time : 0.0 sec. user=mdettweiler [2013-06-18 03:59:17] 907*2^1247009-1 is not prime. Res64: CE869891939C7A04 Time : 0.0 sec. user=mdettweiler [2013-06-18 04:15:35] 867*2^1247010-1 is not prime. Res64: 1B1B042CC96984AC Time : 0.0 sec. user=mdettweiler [2013-06-18 04:15:35] 769*2^1247011-1 is not prime. Res64: 517303FD20A33097 Time : 0.0 sec. user=vaughan [2013-06-18 04:31:49] 843*2^1247010-1 is not prime. Res64: 951FF367B04E2303 Time : 0.0 sec. user=mdettweiler [2013-06-18 04:33:02] 855*2^1247011-1 is not prime. Res64: E45621EAA208068B Time : 0.0 sec. user=mdettweiler [2013-06-18 04:33:04] 961*2^1247011-1 is not prime. Res64: 47507FAC2E87BA6D Time : 0.0 sec. user=mdettweiler [2013-06-18 04:36:25] 725*2^1247010-1 is not prime. Res64: B42774E76F08B1E0 Time : 0.0 sec. user=mdettweiler [2013-06-18 04:50:45] 903*2^1247012-1 is not prime. Res64: 57F7BED226531DDE Time : 0.0 sec. user=vaughan [2013-06-18 05:11:31] 855*2^1247012-1 is not prime. Res64: D3C883BCA4677888 Time : 0.0 sec. user=mdettweiler [2013-06-18 05:29:10] 909*2^1247012-1 is not prime. Res64: D77912FECADDE9FD Time : 0.0 sec. user=mdettweiler [2013-06-18 05:30:36] 649*2^1247013-1 is not prime. Res64: 76A3AB09F963AA99 Time : 0.0 sec. user=mdettweiler [2013-06-18 05:46:38] 789*2^1247013-1 is not prime. Res64: 54A62DB97717D7DC Time : 0.0 sec. user=mdettweiler [2013-06-18 05:46:38] 811*2^1247013-1 is not prime. Res64: F4B85C7A29BDBFB2 Time : 0.0 sec. user=vaughan [2013-06-18 05:51:14] 621*2^1247013-1 is not prime. Res64: 13BD2AA3B942C8A1 Time : 0.0 sec. user=mdettweiler [2013-06-18 05:52:36] 787*2^1247013-1 is not prime. Res64: A501E71C9F88BF08 Time : 0.0 sec. user=mdettweiler [2013-06-18 06:05:12] 945*2^1247013-1 is not prime. Res64: 6AEE3E0ABC0832F4 Time : 0.0 sec. user=mdettweiler [2013-06-18 06:05:13] 999*2^1247013-1 is not prime. Res64: 5715433748212EBC Time : 0.0 sec. user=mdettweiler [2013-06-18 06:10:06] 791*2^1247014-1 is not prime. Res64: DA763230696249D5 Time : 0.0 sec. user=mdettweiler [2013-06-18 06:10:07] 857*2^1247014-1 is not prime. Res64: 9F375158726F741E Time : 0.0 sec. user=mdettweiler [2013-06-18 06:23:50] 923*2^1247014-1 is not prime. Res64: 0BCAB032AA1F395B Time : 0.0 sec. user=mdettweiler [2013-06-18 06:28:57] 993*2^1247014-1 is not prime. Res64: E17E351578BCC01E Time : 0.0 sec. user=vaughan [2013-06-18 06:30:42] 687*2^1247014-1 is not prime. Res64: EBB940FF5B27E5CE Time : 0.0 sec. user=mdettweiler [2013-06-18 06:47:45] 975*2^1247014-1 is not prime. Res64: 8CB3F84174128F5A Time : 0.0 sec. user=mdettweiler [2013-06-18 06:55:48] 619*2^1247015-1 is not prime. Res64: 2200B7FC007E01B3 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:05:12] 741*2^1247015-1 is not prime. Res64: 7F4EA460FD10DBEA Time : 0.0 sec. user=mdettweiler [2013-06-18 07:05:13] 819*2^1247015-1 is not prime. Res64: A6B84151CB2BB9A8 Time : 0.0 sec. user=vaughan [2013-06-18 07:10:21] 661*2^1247015-1 is not prime. Res64: 050D5831634B2BFF Time : 0.0 sec. user=mdettweiler [2013-06-18 07:13:32] 861*2^1247015-1 is not prime. Res64: 195BEED45509A3D3 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:13:33] 885*2^1247015-1 is not prime. Res64: 9583E93E18E5CD15 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:23:44] 981*2^1247015-1 is not prime. Res64: 2212F350ACB1EF0D Time : 0.0 sec. user=mdettweiler [2013-06-18 07:23:44] 635*2^1247016-1 is not prime. Res64: 490707BDE1BA1CF9 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:31:18] 809*2^1247016-1 is not prime. Res64: 6018057777EB77A7 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:31:18] 903*2^1247016-1 is not prime. Res64: FB6116883C55DD82 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:42:17] 975*2^1247016-1 is not prime. Res64: 9FF34E206FE2871D Time : 0.0 sec. user=mdettweiler [2013-06-18 07:48:50] 685*2^1247017-1 is not prime. Res64: 5E3E39E43BED7951 Time : 0.0 sec. user=mdettweiler [2013-06-18 07:48:51] 769*2^1247017-1 is not prime. Res64: 97CC336E5684ECFB Time : 0.0 sec. user=vaughan [2013-06-18 07:50:15] 737*2^1247016-1 is not prime. Res64: 20D3421756010A1B Time : 0.0 sec. user=mdettweiler [2013-06-18 08:06:21] 847*2^1247017-1 is not prime. Res64: D17F923C1156D640 Time : 0.0 sec. user=mdettweiler [2013-06-18 08:06:22] 773*2^1247018-1 is not prime. Res64: 8D384FAF0D3342FE Time : 0.0 sec. user=mdettweiler [2013-06-18 08:19:19] 637*2^1247017-1 is not prime. Res64: 502F4D32CC5A04D3 Time : 0.0 sec. user=mdettweiler [2013-06-18 08:24:08] 837*2^1247018-1 is not prime. Res64: 0A9324322058FCBE Time : 0.0 sec. user=mdettweiler [2013-06-18 08:24:09] 953*2^1247018-1 is not prime. Res64: BDABFDF1AA0285DA Time : 0.0 sec. user=mdettweiler [2013-06-18 08:37:08] 649*2^1247019-1 is not prime. Res64: 2EF8FEC1EA8B1CE4 Time : 0.0 sec. user=mdettweiler [2013-06-18 08:41:52] 859*2^1247019-1 is not prime. Res64: 652E33484E045FC9 Time : 0.0 sec. user=mdettweiler [2013-06-18 08:41:53] 931*2^1247019-1 is not prime. Res64: B3BA3250D0D1C84A Time : 0.0 sec. user=mdettweiler [2013-06-18 09:00:27] 985*2^1247019-1 is not prime. Res64: 40E34F1ABE2B67BC Time : 0.0 sec. user=mdettweiler [2013-06-18 09:00:28] 615*2^1247020-1 is not prime. Res64: 9E5039916F6517B4 Time : 0.0 sec. user=mdettweiler [2013-06-18 09:11:36] 663*2^1247019-1 is not prime. Res64: 82578DE8DA90CF95 Time : 0.0 sec. user=vaughan [2013-06-18 09:14:34] 975*2^1247019-1 is not prime. Res64: B3643693C7307A29 Time : 0.0 sec. user=mdettweiler [2013-06-18 09:18:14] 635*2^1247020-1 is not prime. Res64: 2911BFE747C414A2 Time : 0.0 sec. user=mdettweiler [2013-06-18 09:29:10] 927*2^1247020-1 is not prime. Res64: 47685A902C36F216 Time : 0.0 sec. user=mdettweiler [2013-06-18 09:29:10] 631*2^1247021-1 is not prime. Res64: 99CC390931113B15 Time : 0.0 sec. user=mdettweiler [2013-06-18 09:47:03] 925*2^1247021-1 is not prime. Res64: 2261EEC58D5C24D0 Time : 0.0 sec. user=mdettweiler [2013-06-18 09:47:04] 657*2^1247022-1 is not prime. Res64: 3A8B4E0D90C5A6DD Time : 0.0 sec. user=mdettweiler [2013-06-18 09:47:07] 665*2^1247020-1 is not prime. Res64: BC3DB1F43ABEB150 Time : 0.0 sec. user=vaughan [2013-06-18 09:54:27] 825*2^1247021-1 is not prime. Res64: 5745756DAC10E820 Time : 0.0 sec. user=mdettweiler [2013-06-18 10:05:05] 945*2^1247022-1 is not prime. Res64: 610933ABBE288E34 Time : 0.0 sec. user=mdettweiler [2013-06-18 10:05:05] 825*2^1247022-1 is not prime. Res64: 05FC1A1057B138EE Time : 0.0 sec. user=mdettweiler [2013-06-18 10:24:10] 957*2^1247022-1 is not prime. Res64: 3BAAED9B700966DE Time : 0.0 sec. user=mdettweiler [2013-06-18 10:34:04] 921*2^1247022-1 is not prime. Res64: ADD806EF1F0015DA Time : 0.0 sec. user=mdettweiler [2013-06-18 10:52:46] 983*2^1247022-1 is not prime. Res64: 735FEA9504745F90 Time : 0.0 sec. user=mdettweiler [2013-06-18 11:16:41] 661*2^1247023-1 is not prime. Res64: 929EAA7C6B083786 Time : 0.0 sec. user=vaughan [2013-06-18 11:18:55] 977*2^1247022-1 is not prime. Res64: 8099600C3C49921C Time : 0.0 sec. user=mdettweiler [2013-06-18 11:19:47] 679*2^1247023-1 is not prime. Res64: B0C1E7342D494B1E Time : 0.0 sec. user=mdettweiler [2013-06-18 11:19:47] 709*2^1247023-1 is not prime. Res64: 62A107C169F06089 Time : 0.0 sec. user=mdettweiler [2013-06-18 11:34:53] 769*2^1247023-1 is not prime. Res64: 055C497D54E14AB8 Time : 0.0 sec. user=mdettweiler [2013-06-18 11:37:38] 885*2^1247023-1 is not prime. Res64: 7A16E4A68B1AFA1D Time : 0.0 sec. user=mdettweiler [2013-06-18 11:37:38] 615*2^1247024-1 is not prime. Res64: 372972A432C1E026 Time : 0.0 sec. user=mdettweiler [2013-06-18 11:55:24] 635*2^1247024-1 is not prime. Res64: 7E98E58823447E2B Time : 0.0 sec. user=mdettweiler [2013-06-18 12:10:29] 829*2^1247023-1 is not prime. Res64: 03998BDFD003E9AE Time : 0.0 sec. user=mdettweiler [2013-06-18 12:23:29] 657*2^1247024-1 is not prime. Res64: C3AD0F0B1FAF7C36 Time : 0.0 sec. user=mdettweiler [2013-06-18 12:28:13] 909*2^1247024-1 is not prime. Res64: 451CC10C3D1657C1 Time : 0.0 sec. user=vaughan [2013-06-18 12:37:51] 857*2^1247024-1 is not prime. Res64: F875AFBB02EA20D7 Time : 0.0 sec. user=mdettweiler [2013-06-18 13:03:56] 995*2^1247024-1 is not prime. Res64: AA0829034976A60F Time : 0.0 sec. user=mdettweiler [2013-06-18 13:04:14] 679*2^1247025-1 is not prime. Res64: 2C47C934E7F29B39 Time : 0.0 sec. user=mdettweiler [2013-06-18 13:08:50] 929*2^1247024-1 is not prime. Res64: 235331DFE2E25DF6 Time : 0.0 sec. user=vaughan [2013-06-18 13:17:39] 699*2^1247025-1 is not prime. Res64: 39F0CB5598CD242C Time : 0.0 sec. user=mdettweiler [2013-06-18 13:44:52] 777*2^1247025-1 is not prime. Res64: 5F42DE6575D6C1FF Time : 0.0 sec. user=mdettweiler [2013-06-18 13:44:52] 617*2^1247026-1 is not prime. Res64: DDA0CB853FAD4476 Time : 0.0 sec. user=mdettweiler [2013-06-18 13:49:57] 651*2^1247026-1 is not prime. Res64: BCF398A337546935 Time : 0.0 sec. user=mdettweiler [2013-06-18 13:49:58] 663*2^1247026-1 is not prime. Res64: 94FD86DA579BEE56 Time : 0.0 sec. user=vaughan [2013-06-18 13:57:30] 727*2^1247025-1 is not prime. Res64: 7880A3F27CF6F57E Time : 0.0 sec. user=mdettweiler [2013-06-18 14:03:22] 765*2^1247026-1 is not prime. Res64: 7E618140FB10612A Time : 0.0 sec. user=mdettweiler [2013-06-18 14:03:23] 917*2^1247026-1 is not prime. Res64: F220BEF014769A65 Time : 0.0 sec. user=mdettweiler [2013-06-18 14:09:49] 993*2^1247026-1 is not prime. Res64: BE39BD2489C90EE7 Time : 0.0 sec. user=mdettweiler [2013-06-18 14:24:12] 963*2^1247027-1 is not prime. Res64: 5C29AFF72BC9FFAF Time : 0.0 sec. user=mdettweiler [2013-06-18 14:24:12] 981*2^1247027-1 is not prime. Res64: A5CD0531BC25D7F0 Time : 0.0 sec. user=vaughan [2013-06-18 14:37:15] 799*2^1247027-1 is not prime. Res64: 00C28BAF6E55203E Time : 0.0 sec. user=mdettweiler [2013-06-18 14:43:40] 615*2^1247028-1 is not prime. Res64: 3B20463CB588358B Time : 0.0 sec. user=mdettweiler [2013-06-18 14:43:40] 629*2^1247028-1 is not prime. Res64: EEA8723FF2209750 Time : 0.0 sec. user=mdettweiler [2013-06-18 14:54:44] 741*2^1247027-1 is not prime. Res64: 2B1534FDC999BE1E Time : 0.0 sec. user=mdettweiler [2013-06-18 15:02:14] 839*2^1247028-1 is not prime. Res64: 1BE2B43AA9BBDF1C Time : 0.0 sec. user=mdettweiler [2013-06-18 15:12:42] 625*2^1247029-1 is not prime. Res64: 8A3BB65BB758D136 Time : 0.0 sec. user=mdettweiler [2013-06-18 15:40:23] 639*2^1247029-1 is not prime. Res64: 06691E3B4C76D0DA Time : 0.0 sec. user=mdettweiler [2013-06-18 15:41:31] 845*2^1247028-1 is not prime. Res64: 405EF88DCA27273A Time : 0.0 sec. user=vaughan [2013-06-18 15:56:27] 667*2^1247029-1 is not prime. Res64: 24FE8E4287542908 Time : 0.0 sec. user=mdettweiler [2013-06-18 16:26:42] 729*2^1247029-1 is not prime. Res64: E1FB40955DC61DE9 Time : 0.0 sec. user=mdettweiler [2013-06-18 16:26:43] 747*2^1247029-1 is not prime. Res64: 552119C1ACB4A1D7 Time : 0.0 sec. user=mdettweiler [2013-06-18 16:37:20] 759*2^1247029-1 is not prime. Res64: D508C74323575941 Time : 0.0 sec. user=mdettweiler [2013-06-18 16:37:20] 771*2^1247029-1 is not prime. Res64: B627356E26DFDFA2 Time : 0.0 sec. user=mdettweiler [2013-06-18 16:44:19] 801*2^1247029-1 is not prime. Res64: 0B1FD08E234A0A2F Time : 0.0 sec. user=mdettweiler [2013-06-18 16:44:20] 811*2^1247029-1 is not prime. Res64: 75684FA009262DFB Time : 0.0 sec. user=mdettweiler [2013-06-18 16:54:57] 605*2^1247030-1 is not prime. Res64: 0B6CA9ED01616FC7 Time : 0.0 sec. user=mdettweiler [2013-06-18 16:54:57] 675*2^1247030-1 is not prime. Res64: 9691CF2CF3C5F6A9 Time : 0.0 sec. user=mdettweiler [2013-06-18 17:02:12] 707*2^1247030-1 is not prime. Res64: 60387BC464513A2D Time : 0.0 sec. user=mdettweiler [2013-06-18 17:02:13] 755*2^1247030-1 is not prime. Res64: 0F255E61140DFA9B Time : 0.0 sec. user=mdettweiler [2013-06-18 17:12:31] 761*2^1247030-1 is not prime. Res64: D0B45BC3A3ACD8C0 Time : 0.0 sec. user=mdettweiler [2013-06-18 17:12:32] 785*2^1247030-1 is not prime. Res64: B4415B07FF6442A2 Time : 0.0 sec. user=mdettweiler [2013-06-18 17:19:54] 885*2^1247030-1 is not prime. Res64: 5EBB090AAFAB701F Time : 0.0 sec. user=mdettweiler [2013-06-18 17:19:54] 723*2^1247031-1 is not prime. Res64: 9A0603995F9108F8 Time : 0.0 sec. user=vaughan [2013-06-18 17:20:59] 997*2^1247029-1 is not prime. Res64: FC53CC7D62D0D1A4 Time : 0.0 sec. user=mdettweiler [2013-06-18 17:30:22] 901*2^1247031-1 is not prime. Res64: 4D596A4D7F17C36D Time : 0.0 sec. user=mdettweiler [2013-06-18 17:38:19] 991*2^1247031-1 is not prime. Res64: 2CEA61ABA22BE27B Time : 0.0 sec. user=mdettweiler [2013-06-18 17:38:20] 615*2^1247032-1 is not prime. Res64: 8B79CDE4111E571B Time : 0.0 sec. user=mdettweiler [2013-06-18 17:55:09] 951*2^1247031-1 is not prime. Res64: 685A79EE0BAB25B7 Time : 0.0 sec. user=mdettweiler [2013-06-18 17:55:56] 719*2^1247032-1 is not prime. Res64: 42CB05252D708149 Time : 0.0 sec. user=mdettweiler [2013-06-18 17:56:13] 797*2^1247032-1 is not prime. Res64: 9205D2099F1ED7ED Time : 0.0 sec. user=vaughan [2013-06-18 18:00:19] 645*2^1247032-1 is not prime. Res64: 21E4537A6AE33089 Time : 0.0 sec. user=mdettweiler [2013-06-18 18:12:54] 827*2^1247032-1 is not prime. Res64: 8843CEB7DF50D39B Time : 0.0 sec. user=mdettweiler [2013-06-18 18:34:18] 741*2^1247033-1 is not prime. Res64: 6D835B27B05827D8 Time : 0.0 sec. user=mdettweiler [2013-06-18 18:34:19] 885*2^1247033-1 is not prime. Res64: 4E0D953171B19F21 Time : 0.0 sec. user=mdettweiler [2013-06-18 18:39:36] 849*2^1247032-1 is not prime. Res64: 9D7A59CD07DCBC3C Time : 0.0 sec. user=vaughan [2013-06-18 18:44:46] 939*2^1247032-1 is not prime. Res64: C9B223B71DEF5FE6 Time : 0.0 sec. user=mdettweiler [2013-06-18 18:51:54] 707*2^1247034-1 is not prime. Res64: 908CA707D924D7F3 Time : 0.0 sec. user=mdettweiler [2013-06-18 18:51:55] 837*2^1247034-1 is not prime. Res64: BD2F016266C2CD92 Time : 0.0 sec. user=mdettweiler [2013-06-18 18:57:33] 923*2^1247034-1 is not prime. Res64: F003D1DAC4BD02EB Time : 0.0 sec. user=mdettweiler [2013-06-18 19:09:42] 751*2^1247035-1 is not prime. Res64: 3D7E34F6A765314A Time : 0.0 sec. user=mdettweiler [2013-06-18 19:09:42] 759*2^1247035-1 is not prime. Res64: F80DACA98E0A2287 Time : 0.0 sec. user=vaughan [2013-06-18 19:23:54] 741*2^1247035-1 is not prime. Res64: FD1F35886B0D9518 Time : 0.0 sec. user=mdettweiler [2013-06-18 19:28:36] 783*2^1247035-1 is not prime. Res64: C907D5D6C0510030 Time : 0.0 sec. user=mdettweiler [2013-06-18 19:31:02] 927*2^1247034-1 is not prime. Res64: BB61FD2D1BD6543C Time : 0.0 sec. user=mdettweiler [2013-06-18 19:54:10] 973*2^1247035-1 is not prime. Res64: 95D62360E2511433 Time : 0.0 sec. user=mdettweiler [2013-06-18 20:12:06] 699*2^1247036-1 is not prime. Res64: F36CBE180FD1E435 Time : 0.0 sec. user=mdettweiler [2013-06-18 20:12:06] 875*2^1247036-1 is not prime. Res64: 298B812171D15D75 Time : 0.0 sec. user=mdettweiler [2013-06-18 20:18:07] 893*2^1247036-1 is not prime. Res64: CCE05F8316760637 Time : 0.0 sec. user=mdettweiler [2013-06-18 20:18:07] 993*2^1247036-1 is not prime. Res64: 41F90ECEF552AC9B Time : 0.0 sec. user=mdettweiler [2013-06-18 20:29:57] 795*2^1247037-1 is not prime. Res64: BDD9C9ACFFBAA10E Time : 0.0 sec. user=mdettweiler [2013-06-18 20:29:57] 623*2^1247038-1 is not prime. Res64: 33739DA911D4D951 Time : 0.0 sec. user=mdettweiler [2013-06-18 20:35:57] 647*2^1247038-1 is not prime. Res64: 416B9B51624149AB Time : 0.0 sec. user=vaughan [2013-06-18 20:41:52] 675*2^1247037-1 is not prime. Res64: 3E5FC035EEBE825D Time : 0.0 sec. user=mdettweiler [2013-06-18 20:47:26] 743*2^1247038-1 is not prime. Res64: 8E11C6128375BF8F Time : 0.0 sec. user=mdettweiler [2013-06-18 20:47:26] 861*2^1247038-1 is not prime. Res64: D7C3C4CA8D68C187 Time : 0.0 sec. user=mdettweiler [2013-06-18 21:03:00] 705*2^1247038-1 is not prime. Res64: 160465A3FD37086A Time : 0.0 sec. user=mdettweiler [2013-06-18 21:05:32] 951*2^1247038-1 is not prime. Res64: 4A9E10C4F46DAAB3 Time : 0.0 sec. user=mdettweiler [2013-06-18 21:21:24] 759*2^1247039-1 is not prime. Res64: 25EC68A0E738030A Time : 0.0 sec. user=vaughan [2013-06-18 21:26:20] 891*2^1247038-1 is not prime. Res64: E43057170C6A02BF Time : 0.0 sec. user=mdettweiler [2013-06-18 21:34:32] 669*2^1247039-1 is not prime. Res64: A0A08945D03CEFCE Time : 0.0 sec. user=mdettweiler [2013-06-18 21:39:44] 763*2^1247039-1 is not prime. Res64: 024A179742E4FAE5 Time : 0.0 sec. user=mdettweiler [2013-06-18 21:58:30] 843*2^1247039-1 is not prime. Res64: 93D4B475420E9151 Time : 0.0 sec. user=mdettweiler [2013-06-18 21:58:30] 979*2^1247039-1 is not prime. Res64: 7BB2D6C507BECFE1 Time : 0.0 sec. user=vaughan [2013-06-18 22:05:47] 831*2^1247039-1 is not prime. Res64: 82111FE1F4A4F276 Time : 0.0 sec. user=mdettweiler [2013-06-18 22:17:23] 993*2^1247039-1 is not prime. Res64: 21C81670E16E9283 Time : 0.0 sec. user=mdettweiler [2013-06-18 22:29:41] 797*2^1247040-1 is not prime. Res64: F393E416D786E092 Time : 0.0 sec. user=mdettweiler [2013-06-18 22:55:21] 633*2^1247040-1 is not prime. Res64: CF309574B24316FB Time : 0.0 sec. user=mdettweiler [2013-06-18 23:06:36] 893*2^1247040-1 is not prime. Res64: 1B90CDD82988405B Time : 0.0 sec. user=mdettweiler [2013-06-18 23:13:05] 929*2^1247040-1 is not prime. Res64: 9295CEE795680632 Time : 0.0 sec. user=mdettweiler [2013-06-18 23:13:05] 687*2^1247041-1 is not prime. Res64: F082359D837FA6DE Time : 0.0 sec. user=vaughan [2013-06-18 23:29:03] 927*2^1247040-1 is not prime. Res64: BCF8845A56C90233 Time : 0.0 sec. user=mdettweiler [2013-06-18 23:30:56] 705*2^1247041-1 is not prime. Res64: D49472AD529488CB Time : 0.0 sec. user=mdettweiler [2013-06-18 23:30:57] 747*2^1247041-1 is not prime. Res64: 810FFCBC25E2119C Time : 0.0 sec. user=mdettweiler [2013-06-18 23:48:27] 807*2^1247041-1 is not prime. Res64: C8338D078CDF5168 Time : 0.0 sec. user=mdettweiler [2013-06-18 23:48:28] 847*2^1247041-1 is not prime. Res64: A3321DA02470B8F2 Time : 0.0 sec.