user=mdettweiler [2013-03-21 00:03:37] 895*2^1243095-1 is not prime. Res64: 849B9FCDAF8570A2 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:03:38] 963*2^1243095-1 is not prime. Res64: A26A6751955174C3 Time : 0.0 sec. user=juhehe [2013-03-21 00:04:52] 649*2^1243093-1 is not prime. Res64: 42350E317C770A8B Time : 0.0 sec. user=mdettweiler [2013-03-21 00:12:10] 677*2^1243096-1 is not prime. Res64: 76CD82EEEC9ABA2D Time : 0.0 sec. user=mdettweiler [2013-03-21 00:12:11] 743*2^1243096-1 is not prime. Res64: 561CA68B5018715E Time : 0.0 sec. user=vaughan [2013-03-21 00:19:23] 793*2^1243095-1 is not prime. Res64: 141E3DBFD5B53C6A Time : 0.0 sec. user=mdettweiler [2013-03-21 00:21:06] 765*2^1243096-1 is not prime. Res64: D6C2BAC91C7FFEC1 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:21:06] 803*2^1243096-1 is not prime. Res64: E083F96094143D34 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:29:35] 825*2^1243096-1 is not prime. Res64: 50845AFE3D9678EE Time : 0.0 sec. user=mdettweiler [2013-03-21 00:29:35] 849*2^1243096-1 is not prime. Res64: EB50130CD1259AC2 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:38:31] 669*2^1243097-1 is not prime. Res64: D05824C93D0C99E0 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:38:31] 777*2^1243097-1 is not prime. Res64: CCC55F7D790DA24F Time : 0.0 sec. user=mdettweiler [2013-03-21 00:47:00] 829*2^1243097-1 is not prime. Res64: D2DB2221952A2644 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:47:00] 949*2^1243097-1 is not prime. Res64: 214B426439232213 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:55:56] 635*2^1243098-1 is not prime. Res64: 6F6F1184DEC39545 Time : 0.0 sec. user=mdettweiler [2013-03-21 00:55:56] 657*2^1243098-1 is not prime. Res64: 203500AF7D3DA896 Time : 0.0 sec. user=vaughan [2013-03-21 00:57:35] 933*2^1243096-1 is not prime. Res64: 9107EEBD10B9CD41 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:04:25] 671*2^1243098-1 is not prime. Res64: 7F1ECD79D399F5E8 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:04:26] 707*2^1243098-1 is not prime. Res64: 0BFBB8A0603DD7F0 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:13:21] 755*2^1243098-1 is not prime. Res64: C3CCE7D5184F28A3 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:13:22] 843*2^1243098-1 is not prime. Res64: 1DD87004ADDDCF6B Time : 0.0 sec. user=mdettweiler [2013-03-21 01:21:53] 861*2^1243099-1 is not prime. Res64: 92A141E11876E6D7 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:21:53] 973*2^1243099-1 is not prime. Res64: 44A7E5FD3A030AD5 Time : 0.0 sec. user=juhehe [2013-03-21 01:22:17] 903*2^1243096-1 is not prime. Res64: 46E259480153098F Time : 0.0 sec. user=mdettweiler [2013-03-21 01:30:46] 767*2^1243100-1 is not prime. Res64: 7B4D262BFF8874CE Time : 0.0 sec. user=mdettweiler [2013-03-21 01:30:47] 777*2^1243100-1 is not prime. Res64: 9C18BB15158B5C27 Time : 0.0 sec. user=vaughan [2013-03-21 01:35:45] 841*2^1243099-1 is not prime. Res64: C4E43B4F7401E0BE Time : 0.0 sec. user=mdettweiler [2013-03-21 01:39:18] 839*2^1243100-1 is not prime. Res64: 6D963AA9C1FD5FC2 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:39:18] 875*2^1243100-1 is not prime. Res64: 54C22E99AEF6B80C Time : 0.0 sec. user=mdettweiler [2013-03-21 01:48:11] 995*2^1243100-1 is not prime. Res64: 6675F5751B4A5389 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:48:12] 741*2^1243101-1 is not prime. Res64: E7727716727DE893 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:56:43] 987*2^1243101-1 is not prime. Res64: F9F3AECDB75CA697 Time : 0.0 sec. user=mdettweiler [2013-03-21 01:56:43] 681*2^1243102-1 is not prime. Res64: 954F846F9C81312E Time : 0.0 sec. user=mdettweiler [2013-03-21 02:05:36] 705*2^1243102-1 is not prime. Res64: 75DB151D04AE53EE Time : 0.0 sec. user=mdettweiler [2013-03-21 02:05:37] 755*2^1243102-1 is not prime. Res64: 7B4B0F64CD4EB8C1 Time : 0.0 sec. user=vaughan [2013-03-21 02:13:57] 927*2^1243101-1 is not prime. Res64: 78F36DC975D33A59 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:14:08] 801*2^1243102-1 is not prime. Res64: 85FE7CCD9994B080 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:14:08] 843*2^1243102-1 is not prime. Res64: D161827890602710 Time : 0.0 sec. user=juhehe [2013-03-21 02:18:38] 999*2^1243099-1 is not prime. Res64: 0F7B50DE5CB5CABF Time : 0.0 sec. user=mdettweiler [2013-03-21 02:23:03] 887*2^1243102-1 is not prime. Res64: 3CD06030DF0B0AFC Time : 0.0 sec. user=mdettweiler [2013-03-21 02:23:03] 915*2^1243102-1 is not prime. Res64: 2B376F242E933A97 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:31:32] 987*2^1243102-1 is not prime. Res64: 6A97192D7A40312A Time : 0.0 sec. user=mdettweiler [2013-03-21 02:31:33] 995*2^1243102-1 is not prime. Res64: 0C7AA1515A06832E Time : 0.0 sec. user=mdettweiler [2013-03-21 02:40:28] 643*2^1243103-1 is not prime. Res64: 76759A7F1A97BBF5 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:40:30] 715*2^1243103-1 is not prime. Res64: 9F55A1FD6F7C3069 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:48:58] 735*2^1243103-1 is not prime. Res64: C3F1F85E8150C070 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:48:59] 759*2^1243103-1 is not prime. Res64: 3777BB4288E15D25 Time : 0.0 sec. user=vaughan [2013-03-21 02:52:07] 945*2^1243102-1 is not prime. Res64: F13D59AB3DB92D61 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:58:03] 813*2^1243103-1 is not prime. Res64: E711A8BB91D71B79 Time : 0.0 sec. user=mdettweiler [2013-03-21 02:58:03] 861*2^1243103-1 is not prime. Res64: 6463D7F7B25E76B7 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:06:27] 949*2^1243103-1 is not prime. Res64: 8970EF3964A5627D Time : 0.0 sec. user=mdettweiler [2013-03-21 03:06:28] 615*2^1243104-1 is not prime. Res64: 9D57EB5F1774440C Time : 0.0 sec. user=mdettweiler [2013-03-21 03:15:28] 693*2^1243104-1 is not prime. Res64: D8D2B63D67C7F765 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:15:28] 767*2^1243104-1 is not prime. Res64: 82327CB8DD49AECF Time : 0.0 sec. user=mdettweiler [2013-03-21 03:23:57] 899*2^1243104-1 is not prime. Res64: FC31DFAEF3069C7A Time : 0.0 sec. user=mdettweiler [2013-03-21 03:23:58] 927*2^1243104-1 is not prime. Res64: 061AACD60719273F Time : 0.0 sec. user=juhehe [2013-03-21 03:28:22] 721*2^1243103-1 is not prime. Res64: 48530405B97065BE Time : 0.0 sec. user=vaughan [2013-03-21 03:30:21] 675*2^1243104-1 is not prime. Res64: C8673F338D8C1D62 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:32:54] 947*2^1243104-1 is not prime. Res64: 854042748CFD92CE Time : 0.0 sec. user=mdettweiler [2013-03-21 03:32:55] 675*2^1243105-1 is not prime. Res64: EBE469906EC7F6D0 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:41:22] 721*2^1243105-1 is not prime. Res64: B71B8861DDEB1E9F Time : 0.0 sec. user=mdettweiler [2013-03-21 03:41:22] 789*2^1243105-1 is not prime. Res64: 7CC0105FA34FF9F5 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:50:21] 847*2^1243105-1 is not prime. Res64: 5D4B9E73B8EE1061 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:50:21] 877*2^1243105-1 is not prime. Res64: 16BFD543710B8D05 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:58:48] 615*2^1243106-1 is not prime. Res64: 572EDCA60D983388 Time : 0.0 sec. user=mdettweiler [2013-03-21 03:58:49] 627*2^1243106-1 is not prime. Res64: 3EAFBF1995C3EE70 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:07:46] 651*2^1243106-1 is not prime. Res64: A82EFD6FACB0FB81 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:07:47] 657*2^1243106-1 is not prime. Res64: 17A155E3592DB9BF Time : 0.0 sec. user=vaughan [2013-03-21 04:08:34] 819*2^1243105-1 is not prime. Res64: F64665075712BDCA Time : 0.0 sec. user=mdettweiler [2013-03-21 04:16:14] 767*2^1243106-1 is not prime. Res64: D76D9662A112D4AC Time : 0.0 sec. user=mdettweiler [2013-03-21 04:16:15] 971*2^1243106-1 is not prime. Res64: 2B66DFA490C37726 Time : 0.0 sec. user=juhehe [2013-03-21 04:24:28] 687*2^1243105-1 is not prime. Res64: 8108EAED611BD051 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:25:13] 633*2^1243107-1 is not prime. Res64: F5CF9F5EA1050AF2 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:25:13] 931*2^1243107-1 is not prime. Res64: EAD7B48BD01867CA Time : 0.0 sec. user=mdettweiler [2013-03-21 04:33:39] 677*2^1243108-1 is not prime. Res64: EEA1D75F80CC663B Time : 0.0 sec. user=mdettweiler [2013-03-21 04:33:41] 723*2^1243108-1 is not prime. Res64: 705A04542E48DA3F Time : 0.0 sec. user=mdettweiler [2013-03-21 04:42:38] 827*2^1243108-1 is not prime. Res64: 81A3A50D7E5832F5 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:42:38] 897*2^1243108-1 is not prime. Res64: 72A12A6B827B7306 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:51:08] 627*2^1243109-1 is not prime. Res64: 80A4BAB0C3DF8E02 Time : 0.0 sec. user=mdettweiler [2013-03-21 04:51:08] 631*2^1243109-1 is not prime. Res64: C22CC23CFBFAA9E4 Time : 0.0 sec. user=vaughan [2013-03-21 04:51:51] 975*2^1243107-1 is not prime. Res64: 9BF24460B35AE058 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:00:02] 741*2^1243109-1 is not prime. Res64: 85156F35B54896E6 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:00:03] 745*2^1243109-1 is not prime. Res64: F696DDC8816359A7 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:08:33] 811*2^1243109-1 is not prime. Res64: A585AFC19E6C0AA1 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:08:34] 925*2^1243109-1 is not prime. Res64: B7B5BF41FC5E33E9 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:17:29] 725*2^1243110-1 is not prime. Res64: 78AF08C8DF1FF0D8 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:17:30] 821*2^1243110-1 is not prime. Res64: B8334C28E1D374B5 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:26:00] 681*2^1243111-1 is not prime. Res64: 8FAAFBF6F6EB4260 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:26:00] 709*2^1243111-1 is not prime. Res64: 8A75D224D2B1785E Time : 0.0 sec. user=vaughan [2013-03-21 05:30:04] 677*2^1243110-1 is not prime. Res64: 265A7A360EFA8C3B Time : 0.0 sec. user=juhehe [2013-03-21 05:34:49] 927*2^1243108-1 is not prime. Res64: 8C71A73C59966D6B Time : 0.0 sec. user=mdettweiler [2013-03-21 05:34:54] 715*2^1243111-1 is not prime. Res64: 8F54204D4D32CB31 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:34:55] 889*2^1243111-1 is not prime. Res64: C8FAAFE3BEC30976 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:43:25] 961*2^1243111-1 is not prime. Res64: DCC103C6DA68E2AC Time : 0.0 sec. user=mdettweiler [2013-03-21 05:43:25] 969*2^1243111-1 is not prime. Res64: FE7CE69FBDF48FAC Time : 0.0 sec. user=mdettweiler [2013-03-21 05:52:19] 617*2^1243112-1 is not prime. Res64: 51C05960E609BC23 Time : 0.0 sec. user=mdettweiler [2013-03-21 05:52:20] 633*2^1243112-1 is not prime. Res64: 78A9E4ED49A3E248 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:00:49] 665*2^1243112-1 is not prime. Res64: 5E4A241D62BCDB99 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:00:51] 693*2^1243112-1 is not prime. Res64: 687145F34B429ADB Time : 0.0 sec. user=mdettweiler [2013-03-21 06:09:45] 735*2^1243112-1 is not prime. Res64: 35FD50BAC112781A Time : 0.0 sec. user=mdettweiler [2013-03-21 06:09:46] 843*2^1243112-1 is not prime. Res64: 68156EE7B8833C98 Time : 0.0 sec. user=vaughan [2013-03-21 06:13:21] 999*2^1243111-1 is not prime. Res64: 74D770A461A3AE51 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:18:18] 873*2^1243112-1 is not prime. Res64: D2FC716DDB08EF0D Time : 0.0 sec. user=mdettweiler [2013-03-21 06:18:19] 875*2^1243112-1 is not prime. Res64: C018D6D2B7DDA387 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:27:12] 999*2^1243112-1 is not prime. Res64: 905B81697AFC2167 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:27:12] 669*2^1243113-1 is not prime. Res64: E0FA8A8E5BE3A087 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:35:43] 817*2^1243113-1 is not prime. Res64: 125E945F2FA37E69 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:35:44] 951*2^1243113-1 is not prime. Res64: 2157BB8D9E62C4B9 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:44:36] 987*2^1243113-1 is not prime. Res64: A93342BB02771A00 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:44:37] 605*2^1243114-1 is not prime. Res64: 8BBA980B3B5E52EB Time : 0.0 sec. user=vaughan [2013-03-21 06:51:32] 781*2^1243113-1 is not prime. Res64: AA4596CF7BB52234 Time : 0.0 sec. user=mdettweiler [2013-03-21 06:53:09] 665*2^1243114-1 is not prime. Res64: FE0F6A077B92E77E Time : 0.0 sec. user=mdettweiler [2013-03-21 06:53:09] 609*2^1243115-1 is not prime. Res64: A26F4ABE46079EA6 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:02:02] 693*2^1243115-1 is not prime. Res64: 901D041926CB893D Time : 0.0 sec. user=mdettweiler [2013-03-21 07:02:02] 739*2^1243115-1 is not prime. Res64: C40D9F2EF6DE4FF1 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:10:33] 859*2^1243115-1 is not prime. Res64: 588476F965CB9362 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:10:34] 871*2^1243115-1 is not prime. Res64: 2F933F7BDE9475F6 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:19:27] 939*2^1243115-1 is not prime. Res64: 7E23FDB7721DF0BE Time : 0.0 sec. user=mdettweiler [2013-03-21 07:19:27] 969*2^1243115-1 is not prime. Res64: A0241CA1C2A5F26B Time : 0.0 sec. user=mdettweiler [2013-03-21 07:27:59] 623*2^1243116-1 is not prime. Res64: 89693EFA87A38036 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:27:59] 669*2^1243116-1 is not prime. Res64: 17A7392A8AC022E5 Time : 0.0 sec. user=vaughan [2013-03-21 07:29:45] 789*2^1243115-1 is not prime. Res64: 9FA5F34CF3BA4582 Time : 0.0 sec. user=juhehe [2013-03-21 07:33:06] 651*2^1243114-1 is not prime. Res64: 4409F6EB5D4EE245 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:36:52] 705*2^1243116-1 is not prime. Res64: 0E4EE7502387E078 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:36:53] 777*2^1243116-1 is not prime. Res64: 1FACA5E51F5CDE98 Time : 0.0 sec. user=juhehe [2013-03-21 07:40:38] 645*2^1243115-1 is not prime. Res64: 683824B94278B3A0 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:45:23] 783*2^1243116-1 is not prime. Res64: 99152F43DBE28636 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:45:24] 789*2^1243116-1 is not prime. Res64: 498BDAD221D07ED4 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:54:18] 605*2^1243118-1 is not prime. Res64: 9C00ABE107423A41 Time : 0.0 sec. user=mdettweiler [2013-03-21 07:54:18] 671*2^1243118-1 is not prime. Res64: 8E7732BB8DEE00D9 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:02:49] 687*2^1243118-1 is not prime. Res64: 2347F00E6DF1D868 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:02:50] 711*2^1243118-1 is not prime. Res64: 555F017A02F55086 Time : 0.0 sec. user=vaughan [2013-03-21 08:07:59] 603*2^1243118-1 is not prime. Res64: 076C29ADE77CA438 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:11:43] 773*2^1243118-1 is not prime. Res64: D6E6063F2686C61A Time : 0.0 sec. user=mdettweiler [2013-03-21 08:11:43] 875*2^1243118-1 is not prime. Res64: E00A1F4FF0D2072E Time : 0.0 sec. user=mdettweiler [2013-03-21 08:20:16] 897*2^1243118-1 is not prime. Res64: 9CB0CF108682195A Time : 0.0 sec. user=mdettweiler [2013-03-21 08:20:17] 911*2^1243118-1 is not prime. Res64: 5C88B1945C97EA82 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:29:08] 609*2^1243119-1 is not prime. Res64: A6172325E3B99C4D Time : 0.0 sec. user=mdettweiler [2013-03-21 08:29:09] 615*2^1243119-1 is not prime. Res64: F039E9FD256C0825 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:37:42] 709*2^1243119-1 is not prime. Res64: F3FF070D2F192E6F Time : 0.0 sec. user=mdettweiler [2013-03-21 08:37:42] 741*2^1243119-1 is not prime. Res64: AA61BBD82A1E8FC7 Time : 0.0 sec. user=vaughan [2013-03-21 08:46:09] 923*2^1243118-1 is not prime. Res64: B19387027DC7852B Time : 0.0 sec. user=mdettweiler [2013-03-21 08:46:34] 859*2^1243119-1 is not prime. Res64: 955D95A17422E799 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:46:34] 895*2^1243119-1 is not prime. Res64: BFB3B0672FF36A1B Time : 0.0 sec. user=mdettweiler [2013-03-21 08:55:07] 717*2^1243120-1 is not prime. Res64: 38AF11D459A03CF8 Time : 0.0 sec. user=mdettweiler [2013-03-21 08:55:07] 863*2^1243120-1 is not prime. Res64: C24EE97389B0E0F1 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:04:00] 627*2^1243121-1 is not prime. Res64: DA1A046624082F59 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:04:01] 631*2^1243121-1 is not prime. Res64: 0B6498006892F0C5 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:12:31] 657*2^1243121-1 is not prime. Res64: A41B334A092BAE37 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:12:32] 711*2^1243121-1 is not prime. Res64: 17AC799E0064A52C Time : 0.0 sec. user=mdettweiler [2013-03-21 09:21:26] 715*2^1243121-1 is not prime. Res64: E59A74BE08762541 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:21:27] 987*2^1243121-1 is not prime. Res64: 2ADE5D4D3D6F9B9B Time : 0.0 sec. user=vaughan [2013-03-21 09:29:25] 999*2^1243120-1 is not prime. Res64: 2C5F8A632FD54CF9 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:29:59] 821*2^1243122-1 is not prime. Res64: F54642D0B8A31F9C Time : 0.0 sec. user=mdettweiler [2013-03-21 09:29:59] 843*2^1243122-1 is not prime. Res64: 16B2974F3BB19DA1 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:38:54] 915*2^1243122-1 is not prime. Res64: CAB668D4F82BF4D3 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:38:55] 977*2^1243122-1 is not prime. Res64: EA3BB996964524CC Time : 0.0 sec. user=juhehe [2013-03-21 09:39:14] 603*2^1243120-1 is not prime. Res64: 2F0E7F5B4BFE9F59 Time : 0.0 sec. user=juhehe [2013-03-21 09:46:44] 923*2^1243120-1 is not prime. Res64: 3F01CB9E7BAE20CD Time : 0.0 sec. user=mdettweiler [2013-03-21 09:47:28] 883*2^1243123-1 is not prime. Res64: E800126B2D4F3625 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:47:28] 999*2^1243123-1 is not prime. Res64: D191FA478EFE4651 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:56:41] 605*2^1243124-1 is not prime. Res64: B3ADBC49197F9775 Time : 0.0 sec. user=mdettweiler [2013-03-21 09:56:42] 615*2^1243124-1 is not prime. Res64: 6F8B4D4A66E485D9 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:05:22] 689*2^1243124-1 is not prime. Res64: 14EDE0291BF44841 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:05:24] 819*2^1243124-1 is not prime. Res64: C51A9580C635F213 Time : 0.0 sec. user=vaughan [2013-03-21 10:07:37] 805*2^1243123-1 is not prime. Res64: F204C73B3020C41D Time : 0.0 sec. user=mdettweiler [2013-03-21 10:14:24] 957*2^1243124-1 is not prime. Res64: C9B7D606DBFB7BEC Time : 0.0 sec. user=mdettweiler [2013-03-21 10:14:25] 983*2^1243124-1 is not prime. Res64: BF72F1D994F85C09 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:23:31] 679*2^1243125-1 is not prime. Res64: 65ABA6CB6D5D90ED Time : 0.0 sec. user=mdettweiler [2013-03-21 10:23:32] 699*2^1243125-1 is not prime. Res64: 95827E66C23FE5ED Time : 0.0 sec. user=mdettweiler [2013-03-21 10:32:44] 787*2^1243125-1 is not prime. Res64: AD5C2EFEB9DFE44A Time : 0.0 sec. user=mdettweiler [2013-03-21 10:32:44] 805*2^1243125-1 is not prime. Res64: 4120C0C2752DF742 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:41:42] 927*2^1243125-1 is not prime. Res64: 415B0EABBF483C48 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:41:43] 603*2^1243126-1 is not prime. Res64: 3682D3753E29D4E4 Time : 0.0 sec. user=vaughan [2013-03-21 10:45:52] 777*2^1243125-1 is not prime. Res64: 80548E16C0A61495 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:50:47] 677*2^1243126-1 is not prime. Res64: 7B68102A2715B2F4 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:50:47] 737*2^1243126-1 is not prime. Res64: 156B2793AE21AB24 Time : 0.0 sec. user=mdettweiler [2013-03-21 10:59:14] 873*2^1243126-1 is not prime. Res64: 02BC3C0C85424ECD Time : 0.0 sec. user=mdettweiler [2013-03-21 10:59:15] 897*2^1243126-1 is not prime. Res64: F0F36869E774C8CB Time : 0.0 sec. user=mdettweiler [2013-03-21 11:08:15] 987*2^1243126-1 is not prime. Res64: 946A3C095DFD3D5E Time : 0.0 sec. user=mdettweiler [2013-03-21 11:08:15] 619*2^1243127-1 is not prime. Res64: 71EA473E93220324 Time : 0.0 sec. user=mdettweiler [2013-03-21 11:16:41] 669*2^1243127-1 is not prime. Res64: F336E84DE781F03C Time : 0.0 sec. user=mdettweiler [2013-03-21 11:16:42] 675*2^1243127-1 is not prime. Res64: 1511CB9122DC235E Time : 0.0 sec. user=vaughan [2013-03-21 11:24:02] 917*2^1243126-1 is not prime. Res64: 554EB92DA16E3827 Time : 0.0 sec. user=mdettweiler [2013-03-21 11:25:43] 805*2^1243127-1 is not prime. Res64: 21F692EECC67379E Time : 0.0 sec. user=mdettweiler [2013-03-21 11:25:43] 823*2^1243127-1 is not prime. Res64: D2F52E9BB337278D Time : 0.0 sec. user=mdettweiler [2013-03-21 11:34:09] 859*2^1243127-1 is not prime. Res64: 8FEFF53EA15C405C Time : 0.0 sec. user=mdettweiler [2013-03-21 11:34:10] 991*2^1243127-1 is not prime. Res64: 5B5B42F259860448 Time : 0.0 sec. user=mdettweiler [2013-03-21 11:43:10] 773*2^1243128-1 is not prime. Res64: 5FCBDC32516ABFC5 Time : 0.0 sec. user=mdettweiler [2013-03-21 11:43:11] 777*2^1243128-1 is not prime. Res64: 5BAC17389C558C38 Time : 0.0 sec. user=juhehe [2013-03-21 11:45:36] 867*2^1243126-1 is not prime. Res64: 976AC88EFE5F4961 Time : 0.0 sec. user=mdettweiler [2013-03-21 11:51:37] 819*2^1243128-1 is not prime. Res64: 16D704B1AEE37C4D Time : 0.0 sec. user=mdettweiler [2013-03-21 11:51:38] 905*2^1243128-1 is not prime. Res64: B3EC8F32D31E0962 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:00:39] 909*2^1243128-1 is not prime. Res64: 357FD12531DB6515 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:00:40] 923*2^1243128-1 is not prime. Res64: 2C82CD87987FC1D3 Time : 0.0 sec. user=juhehe [2013-03-21 12:01:12] 971*2^1243126-1 is not prime. Res64: 2F607B76C0D5E829 Time : 0.0 sec. user=vaughan [2013-03-21 12:02:15] 705*2^1243128-1 is not prime. Res64: 87C70C8EB5C1D7E0 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:09:05] 929*2^1243128-1 is not prime. Res64: 94DAC5E6F56A2851 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:09:06] 977*2^1243128-1 is not prime. Res64: AC6920D7063EF32D Time : 0.0 sec. user=mdettweiler [2013-03-21 12:18:08] 999*2^1243128-1 is not prime. Res64: 0C50F0583565E900 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:18:09] 615*2^1243129-1 is not prime. Res64: 5701BC3725BE2E64 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:26:35] 775*2^1243129-1 is not prime. Res64: D24AA40300741EF5 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:26:35] 807*2^1243129-1 is not prime. Res64: D65DC768C8FC0AC9 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:35:37] 831*2^1243129-1 is not prime. Res64: DB9D01513C95434D Time : 0.0 sec. user=mdettweiler [2013-03-21 12:35:37] 877*2^1243129-1 is not prime. Res64: 385C0F85D9BA9730 Time : 0.0 sec. user=vaughan [2013-03-21 12:40:28] 649*2^1243129-1 is not prime. Res64: DE37595AC96353A3 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:44:02] 895*2^1243129-1 is not prime. Res64: 8E15711472A59EB8 Time : 0.0 sec. user=mdettweiler [2013-03-21 12:44:03] 979*2^1243129-1 is not prime. Res64: BA6A2E9F7BE7AF2D Time : 0.0 sec. user=mdettweiler [2013-03-21 12:53:04] 657*2^1243130-1 is not prime. Res64: CF56035E0E38C4BA Time : 0.0 sec. user=mdettweiler [2013-03-21 12:53:05] 791*2^1243130-1 is not prime. Res64: 4A850782982229CB Time : 0.0 sec. user=mdettweiler [2013-03-21 13:01:32] 885*2^1243130-1 is not prime. Res64: 274860975D5B38FB Time : 0.0 sec. user=mdettweiler [2013-03-21 13:01:33] 917*2^1243130-1 is not prime. Res64: BE43E976EFAFE4B6 Time : 0.0 sec. user=mdettweiler [2013-03-21 13:10:33] 923*2^1243130-1 is not prime. Res64: 01109DC580BA2DF9 Time : 0.0 sec. user=mdettweiler [2013-03-21 13:10:33] 951*2^1243130-1 is not prime. Res64: 8DA79CE3BA2CE93E Time : 0.0 sec. user=vaughan [2013-03-21 13:18:37] 867*2^1243130-1 is not prime. Res64: 3D347E46DE772852 Time : 0.0 sec. user=mdettweiler [2013-03-21 13:19:03] 957*2^1243130-1 is not prime. Res64: 3111E2B1284EC27A Time : 0.0 sec. user=mdettweiler [2013-03-21 13:19:04] 613*2^1243131-1 is not prime. Res64: 0481F6495135B07A Time : 0.0 sec. user=mdettweiler [2013-03-21 13:28:02] 741*2^1243131-1 is not prime. Res64: 966C7F4D3FACAF96 Time : 0.0 sec. user=mdettweiler [2013-03-21 13:28:02] 745*2^1243131-1 is not prime. Res64: 8EA6FDFB0143EF9A Time : 0.0 sec. user=mdettweiler [2013-03-21 13:36:30] 871*2^1243131-1 is not prime. Res64: 34E8533457CDE27F Time : 0.0 sec. user=mdettweiler [2013-03-21 13:36:31] 955*2^1243131-1 is not prime. Res64: E1FA836B7CB31E2F Time : 0.0 sec. user=mdettweiler [2013-03-21 13:45:29] 975*2^1243131-1 is not prime. Res64: EA6C9C3029DE243B Time : 0.0 sec. user=mdettweiler [2013-03-21 13:45:30] 677*2^1243132-1 is not prime. Res64: 8A31609B29894EAD Time : 0.0 sec. user=juhehe [2013-03-21 13:52:18] 921*2^1243130-1 is not prime. Res64: AF09A2CDC4F6B924 Time : 0.0 sec. user=mdettweiler [2013-03-21 13:53:58] 687*2^1243132-1 is not prime. Res64: A8346D8948A17F62 Time : 0.0 sec. user=mdettweiler [2013-03-21 13:53:58] 689*2^1243132-1 is not prime. Res64: E85D29174A37958A Time : 0.0 sec. user=vaughan [2013-03-21 13:56:49] 793*2^1243131-1 is not prime. Res64: 9263FE90F4B64A2E Time : 0.0 sec. user=mdettweiler [2013-03-21 14:02:58] 755*2^1243132-1 is not prime. Res64: 45049A89655AB541 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:02:59] 929*2^1243132-1 is not prime. Res64: D94198CCE157A764 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:11:27] 975*2^1243132-1 is not prime. Res64: 800891A3142EA166 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:11:27] 619*2^1243133-1 is not prime. Res64: 88A1C7EDCA07B972 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:20:27] 831*2^1243133-1 is not prime. Res64: B88BD14F99137D47 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:20:28] 837*2^1243133-1 is not prime. Res64: 79968AC0993E0565 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:28:55] 871*2^1243133-1 is not prime. Res64: 004AE0EC9884B586 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:28:55] 901*2^1243133-1 is not prime. Res64: 70A3DBA6F4878B5F Time : 0.0 sec. user=vaughan [2013-03-21 14:35:03] 747*2^1243133-1 is not prime. Res64: 137F158A82A13E0D Time : 0.0 sec. user=mdettweiler [2013-03-21 14:37:55] 925*2^1243133-1 is not prime. Res64: 90FAA744E77B6F6A Time : 0.0 sec. user=mdettweiler [2013-03-21 14:37:56] 615*2^1243134-1 is not prime. Res64: AF22BB4934C3C9AB Time : 0.0 sec. user=mdettweiler [2013-03-21 14:46:23] 621*2^1243134-1 is not prime. Res64: EE1EA7F71998C30A Time : 0.0 sec. user=mdettweiler [2013-03-21 14:46:23] 671*2^1243134-1 is not prime. Res64: 0F43604EA8B83871 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:55:24] 747*2^1243134-1 is not prime. Res64: A7FB1AFC41937554 Time : 0.0 sec. user=mdettweiler [2013-03-21 14:55:24] 773*2^1243134-1 is not prime. Res64: 551830BDE0DF5C74 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:03:55] 791*2^1243134-1 is not prime. Res64: E26D7198638F07D3 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:03:56] 873*2^1243134-1 is not prime. Res64: 4C67FB829D0A3A99 Time : 0.0 sec. user=juhehe [2013-03-21 15:09:51] 847*2^1243133-1 is not prime. Res64: 91939D44C528BA69 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:13:00] 735*2^1243135-1 is not prime. Res64: ED3EF61CBFFFAD2B Time : 0.0 sec. user=mdettweiler [2013-03-21 15:13:01] 793*2^1243135-1 is not prime. Res64: EFC82348046C7A87 Time : 0.0 sec. user=vaughan [2013-03-21 15:13:17] 717*2^1243134-1 is not prime. Res64: 0AA972DD8680B502 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:21:36] 873*2^1243135-1 is not prime. Res64: ACB625570F49C5A3 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:21:36] 659*2^1243136-1 is not prime. Res64: 23FB3FB25B5B14CF Time : 0.0 sec. user=mdettweiler [2013-03-21 15:31:08] 717*2^1243136-1 is not prime. Res64: B2BFE743B508ED41 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:31:08] 747*2^1243136-1 is not prime. Res64: 5812971F8A98C815 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:40:11] 869*2^1243136-1 is not prime. Res64: F7AC2B4D983CB225 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:40:11] 607*2^1243137-1 is not prime. Res64: ED279FB00390D0C2 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:49:29] 627*2^1243137-1 is not prime. Res64: 63C106EE06F0C1C6 Time : 0.0 sec. user=mdettweiler [2013-03-21 15:49:29] 699*2^1243137-1 is not prime. Res64: 2CA9426DB5C04304 Time : 0.0 sec. user=vaughan [2013-03-21 15:51:30] 833*2^1243136-1 is not prime. Res64: F3EF2E4CEF905F6E Time : 0.0 sec. user=mdettweiler [2013-03-21 15:58:30] 741*2^1243137-1 is not prime. Res64: 733C5F1B573C8AAF Time : 0.0 sec. user=mdettweiler [2013-03-21 15:58:30] 781*2^1243137-1 is not prime. Res64: C74275760521CB9B Time : 0.0 sec. user=juhehe [2013-03-21 15:58:48] 705*2^1243135-1 is not prime. Res64: 7B5D32656A847BDB Time : 0.0 sec. user=mdettweiler [2013-03-21 16:07:46] 847*2^1243137-1 is not prime. Res64: CB76EFCD14463301 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:07:47] 849*2^1243137-1 is not prime. Res64: 3D423FDB0F26EE10 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:16:47] 909*2^1243137-1 is not prime. Res64: CF177F34E6E8642D Time : 0.0 sec. user=mdettweiler [2013-03-21 16:16:47] 979*2^1243137-1 is not prime. Res64: 3723892C10DFD4E9 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:26:06] 611*2^1243138-1 is not prime. Res64: 768C03DAE733295F Time : 0.0 sec. user=mdettweiler [2013-03-21 16:26:07] 687*2^1243138-1 is not prime. Res64: 04D580D5D7FC3D35 Time : 0.0 sec. user=vaughan [2013-03-21 16:29:43] 889*2^1243137-1 is not prime. Res64: 19A932F735D3C63A Time : 0.0 sec. user=mdettweiler [2013-03-21 16:35:08] 801*2^1243138-1 is not prime. Res64: 38A1B34F2AAE1142 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:35:09] 821*2^1243138-1 is not prime. Res64: 0E739802664287B8 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:44:05] 831*2^1243138-1 is not prime. Res64: 632F69095989B5F3 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:44:05] 601*2^1243139-1 is not prime. Res64: 36124CE4B3BBBC51 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:52:47] 663*2^1243139-1 is not prime. Res64: DB90B35733D7A960 Time : 0.0 sec. user=mdettweiler [2013-03-21 16:52:48] 675*2^1243139-1 is not prime. Res64: 818E6A90E0696DD1 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:01:44] 705*2^1243139-1 is not prime. Res64: 3226C068407B9352 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:01:45] 885*2^1243139-1 is not prime. Res64: D0D563D8711D8952 Time : 0.0 sec. user=vaughan [2013-03-21 17:07:56] 615*2^1243139-1 is not prime. Res64: D5608D7F951028B0 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:10:27] 647*2^1243140-1 is not prime. Res64: E9EFD1CA3F651721 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:10:27] 777*2^1243140-1 is not prime. Res64: EE67FAFC18EA02CD Time : 0.0 sec. user=juhehe [2013-03-21 17:16:21] 777*2^1243138-1 is not prime. Res64: 6C2814C300B7E86C Time : 0.0 sec. user=mdettweiler [2013-03-21 17:19:25] 819*2^1243140-1 is not prime. Res64: 443FA8598601D777 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:19:26] 845*2^1243140-1 is not prime. Res64: A9686A67D2707A36 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:28:10] 945*2^1243140-1 is not prime. Res64: 132DD66D658D4281 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:28:10] 959*2^1243140-1 is not prime. Res64: 24EEDEA891664DDB Time : 0.0 sec. user=mdettweiler [2013-03-21 17:37:07] 777*2^1243141-1 is not prime. Res64: F4CA3E1CDB7A749E Time : 0.0 sec. user=mdettweiler [2013-03-21 17:37:08] 859*2^1243141-1 is not prime. Res64: AC4892C9AD5BCCE6 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:45:49] 861*2^1243141-1 is not prime. Res64: 62F89E4E6D08B195 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:45:49] 925*2^1243141-1 is not prime. Res64: 567FE0E28A4E7551 Time : 0.0 sec. user=vaughan [2013-03-21 17:46:10] 893*2^1243140-1 is not prime. Res64: 061242F2FA3FBBF9 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:54:45] 945*2^1243141-1 is not prime. Res64: 8F1FAAE5AC61DD04 Time : 0.0 sec. user=mdettweiler [2013-03-21 17:54:46] 645*2^1243142-1 is not prime. Res64: E0EDBE3E712FBF36 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:03:26] 693*2^1243142-1 is not prime. Res64: 04AD1C3740C68A55 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:03:27] 791*2^1243142-1 is not prime. Res64: AA7CA8BAE95F086E Time : 0.0 sec. user=juhehe [2013-03-21 18:04:53] 783*2^1243140-1 is not prime. Res64: DB38F7219B7AE067 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:12:24] 965*2^1243142-1 is not prime. Res64: 060A2DA13FCE4472 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:12:24] 649*2^1243143-1 is not prime. Res64: 0BE34652328570D0 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:21:08] 735*2^1243143-1 is not prime. Res64: 5B19B8782F2E664C Time : 0.0 sec. user=mdettweiler [2013-03-21 18:21:08] 795*2^1243143-1 is not prime. Res64: AE40D9A1273B9338 Time : 0.0 sec. user=vaughan [2013-03-21 18:24:21] 797*2^1243142-1 is not prime. Res64: 6FBC62E336383949 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:30:02] 853*2^1243143-1 is not prime. Res64: 1D0EF90A3AB32F57 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:30:03] 861*2^1243143-1 is not prime. Res64: D3F1FFBB28EEC66A Time : 0.0 sec. user=mdettweiler [2013-03-21 18:38:43] 963*2^1243143-1 is not prime. Res64: 6B83C67A7CD4F72D Time : 0.0 sec. user=mdettweiler [2013-03-21 18:38:44] 629*2^1243144-1 is not prime. Res64: EF738242EE20F7E6 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:47:39] 785*2^1243144-1 is not prime. Res64: 1AB4F1148834AF91 Time : 0.0 sec. user=mdettweiler [2013-03-21 18:47:40] 923*2^1243144-1 is not prime. Res64: C10ACE6D4516C33C Time : 0.0 sec. user=mdettweiler [2013-03-21 18:56:29] 989*2^1243144-1 is not prime. Res64: 0CFB2A9C931DCA0E Time : 0.0 sec. user=mdettweiler [2013-03-21 18:56:29] 995*2^1243144-1 is not prime. Res64: CFD26A49967762FC Time : 0.0 sec. user=vaughan [2013-03-21 19:02:32] 695*2^1243144-1 is not prime. Res64: 3DCFBAA478E3000B Time : 0.0 sec. user=mdettweiler [2013-03-21 19:06:09] 691*2^1243145-1 is not prime. Res64: 944209249C7E7E66 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:06:10] 841*2^1243145-1 is not prime. Res64: DDCAD58BDD52E9B2 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:14:49] 855*2^1243145-1 is not prime. Res64: CD3AB908E2E11E0B Time : 0.0 sec. user=mdettweiler [2013-03-21 19:14:49] 991*2^1243145-1 is not prime. Res64: 277A94DBF16E37A0 Time : 0.0 sec. user=juhehe [2013-03-21 19:22:51] 895*2^1243143-1 is not prime. Res64: A002D0CD46B5BFB8 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:23:40] 741*2^1243146-1 is not prime. Res64: 729B1D75037C6256 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:23:41] 807*2^1243146-1 is not prime. Res64: 4C656D3B7556C86F Time : 0.0 sec. user=mdettweiler [2013-03-21 19:32:19] 887*2^1243146-1 is not prime. Res64: 329992F07385AF07 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:32:20] 975*2^1243146-1 is not prime. Res64: 62560CD98BBC8240 Time : 0.0 sec. user=vaughan [2013-03-21 19:40:44] 705*2^1243146-1 is not prime. Res64: 6D65AF48E92C2701 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:41:09] 993*2^1243146-1 is not prime. Res64: B726EC7CB0E39FE4 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:41:10] 673*2^1243147-1 is not prime. Res64: 2C0DFED3B2E3956B Time : 0.0 sec. user=mdettweiler [2013-03-21 19:49:48] 769*2^1243147-1 is not prime. Res64: 64945C050A13503D Time : 0.0 sec. user=mdettweiler [2013-03-21 19:49:49] 775*2^1243147-1 is not prime. Res64: 68E45D804FD9C847 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:58:38] 623*2^1243148-1 is not prime. Res64: 9C60AAB5B38A6560 Time : 0.0 sec. user=mdettweiler [2013-03-21 19:58:39] 663*2^1243148-1 is not prime. Res64: 41AC49EE0F2DA9E3 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:07:17] 759*2^1243148-1 is not prime. Res64: 56AFD072DA8F7BDE Time : 0.0 sec. user=mdettweiler [2013-03-21 20:07:19] 885*2^1243148-1 is not prime. Res64: F3ACE5EE75CC8028 Time : 0.0 sec. user=juhehe [2013-03-21 20:11:51] 873*2^1243146-1 is not prime. Res64: EC7DFB6C1340E401 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:16:08] 923*2^1243148-1 is not prime. Res64: 09B972A2D5600343 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:16:09] 927*2^1243148-1 is not prime. Res64: 5CB9DAA99034DCD4 Time : 0.0 sec. user=vaughan [2013-03-21 20:18:55] 813*2^1243147-1 is not prime. Res64: 78898ECC0F81ADB1 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:24:53] 999*2^1243148-1 is not prime. Res64: FA7563A20E0F1037 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:24:53] 627*2^1243149-1 is not prime. Res64: C346322E8CABF093 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:33:38] 657*2^1243149-1 is not prime. Res64: AB1ADD7B42999624 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:33:39] 685*2^1243149-1 is not prime. Res64: D3752B1F63280472 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:42:22] 861*2^1243149-1 is not prime. Res64: 0E2170C652AF8E70 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:42:23] 961*2^1243149-1 is not prime. Res64: A3F50E230DD55D3E Time : 0.0 sec. user=mdettweiler [2013-03-21 20:51:14] 653*2^1243150-1 is not prime. Res64: 7253569858CBC625 Time : 0.0 sec. user=mdettweiler [2013-03-21 20:51:15] 665*2^1243150-1 is not prime. Res64: 9A423F4A4101E451 Time : 0.0 sec. user=vaughan [2013-03-21 20:57:07] 721*2^1243149-1 is not prime. Res64: CD127C341F69C456 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:00:11] 785*2^1243150-1 is not prime. Res64: EDAEC289DA51EFA8 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:00:12] 951*2^1243150-1 is not prime. Res64: 988CB3C5465F83FB Time : 0.0 sec. user=mdettweiler [2013-03-21 21:08:58] 615*2^1243151-1 is not prime. Res64: A3F8B2095CF31C4B Time : 0.0 sec. user=mdettweiler [2013-03-21 21:08:59] 621*2^1243151-1 is not prime. Res64: 7BD5215EA6F49453 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:17:50] 685*2^1243151-1 is not prime. Res64: 17468759BC532663 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:17:50] 715*2^1243151-1 is not prime. Res64: E5FDE85DFD02C97A Time : 0.0 sec. user=mdettweiler [2013-03-21 21:26:41] 741*2^1243151-1 is not prime. Res64: 3ED53C26AC8F1D44 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:26:42] 753*2^1243151-1 is not prime. Res64: BC623C3C28B63875 Time : 0.0 sec. user=juhehe [2013-03-21 21:29:17] 795*2^1243149-1 is not prime. Res64: 0FE7A6C2FCF46811 Time : 0.0 sec. user=vaughan [2013-03-21 21:35:18] 673*2^1243151-1 is not prime. Res64: CF753E8AC78E7E02 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:35:25] 949*2^1243151-1 is not prime. Res64: 317F574320594279 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:35:25] 689*2^1243152-1 is not prime. Res64: 6DAF4858BFF5A420 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:44:22] 693*2^1243152-1 is not prime. Res64: DAADAF8009B74162 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:44:22] 695*2^1243152-1 is not prime. Res64: 9535066C42613C06 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:53:12] 923*2^1243152-1 is not prime. Res64: F8C0CBBEEA062994 Time : 0.0 sec. user=mdettweiler [2013-03-21 21:53:12] 945*2^1243152-1 is not prime. Res64: 943A2C3CC4B67C70 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:01:58] 957*2^1243152-1 is not prime. Res64: 849A0C0FC096A4B9 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:01:58] 607*2^1243153-1 is not prime. Res64: BAE02864B19201AA Time : 0.0 sec. user=mdettweiler [2013-03-21 22:10:47] 721*2^1243153-1 is not prime. Res64: 61C5877063071EB2 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:10:48] 747*2^1243153-1 is not prime. Res64: E537457EA7726782 Time : 0.0 sec. user=vaughan [2013-03-21 22:13:29] 753*2^1243152-1 is not prime. Res64: DB83944BC869E66E Time : 0.0 sec. user=juhehe [2013-03-21 22:18:06] 841*2^1243151-1 is not prime. Res64: 951B2F5E93A33679 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:19:47] 769*2^1243153-1 is not prime. Res64: E93C823D0EEF5E5A Time : 0.0 sec. user=mdettweiler [2013-03-21 22:19:47] 819*2^1243153-1 is not prime. Res64: 9A2873508BD8AEA7 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:28:20] 885*2^1243153-1 is not prime. Res64: DABD1F4232770C04 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:28:21] 897*2^1243153-1 is not prime. Res64: E0B9988225AE486D Time : 0.0 sec. user=mdettweiler [2013-03-21 22:37:17] 919*2^1243153-1 is not prime. Res64: 0B67E052759227BA Time : 0.0 sec. user=mdettweiler [2013-03-21 22:37:17] 615*2^1243154-1 is not prime. Res64: 972C67CA588515EB Time : 0.0 sec. user=mdettweiler [2013-03-21 22:45:50] 617*2^1243154-1 is not prime. Res64: 3180563AEABA91AE Time : 0.0 sec. user=mdettweiler [2013-03-21 22:45:50] 641*2^1243154-1 is not prime. Res64: C02B46C6E9E24B3E Time : 0.0 sec. user=vaughan [2013-03-21 22:51:40] 915*2^1243153-1 is not prime. Res64: 677743BACD8194C2 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:54:46] 677*2^1243154-1 is not prime. Res64: 102D2691244071E2 Time : 0.0 sec. user=mdettweiler [2013-03-21 22:54:46] 683*2^1243154-1 is not prime. Res64: 0847D07B9CCB5837 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:03:19] 687*2^1243154-1 is not prime. Res64: 1788C84C8776968C Time : 0.0 sec. user=mdettweiler [2013-03-21 23:03:20] 815*2^1243154-1 is not prime. Res64: 8CF21B4699D2D3C6 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:12:16] 663*2^1243155-1 is not prime. Res64: 2BF54AB694073B94 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:12:17] 795*2^1243155-1 is not prime. Res64: 7427A3FB13E19FDD Time : 0.0 sec. user=mdettweiler [2013-03-21 23:20:54] 873*2^1243155-1 is not prime. Res64: 8C07A762565CEF77 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:20:54] 783*2^1243156-1 is not prime. Res64: 0061EE68697BAFC2 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:29:49] 869*2^1243156-1 is not prime. Res64: 06EF3E5211BD1274 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:29:49] 873*2^1243156-1 is not prime. Res64: C72F3C17B2DB9389 Time : 0.0 sec. user=vaughan [2013-03-21 23:29:53] 625*2^1243155-1 is not prime. Res64: 541CC47F5800E3E7 Time : 0.0 sec. user=juhehe [2013-03-21 23:35:41] 665*2^1243154-1 is not prime. Res64: 9DA552769DE85D0A Time : 0.0 sec. user=mdettweiler [2013-03-21 23:38:23] 859*2^1243157-1 is not prime. Res64: 5B9F16D733F80F9D Time : 0.0 sec. user=mdettweiler [2013-03-21 23:38:24] 861*2^1243157-1 is not prime. Res64: A748E77CCBA2876E Time : 0.0 sec. user=mdettweiler [2013-03-21 23:47:17] 801*2^1243158-1 is not prime. Res64: AD36F194961FABF4 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:47:17] 915*2^1243158-1 is not prime. Res64: 8C9FCA95D6491596 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:55:52] 977*2^1243158-1 is not prime. Res64: 6041761C5BB7A7D4 Time : 0.0 sec. user=mdettweiler [2013-03-21 23:55:53] 771*2^1243159-1 is not prime. Res64: F7CC0A591F5D3663 Time : 0.0 sec.