user=mdettweiler [2013-02-28 00:01:23] 983*2^1241732-1 is not prime. Res64: AF9B9B58103C6770 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:01:24] 691*2^1241733-1 is not prime. Res64: 254CDBB0FE81EC33 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:09:46] 781*2^1241733-1 is not prime. Res64: 3D5FCB3872793A5A Time : 0.0 sec. user=mdettweiler [2013-02-28 00:09:47] 949*2^1241733-1 is not prime. Res64: 3060345C62AC1CD0 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:18:52] 605*2^1241734-1 is not prime. Res64: 6CCE7F09E4950259 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:18:53] 665*2^1241734-1 is not prime. Res64: 89FC512593C529BC Time : 0.0 sec. user=juhehe [2013-02-28 00:27:12] 619*2^1241731-1 is not prime. Res64: 5C87F26721364BDC Time : 0.0 sec. user=mdettweiler [2013-02-28 00:27:16] 993*2^1241734-1 is not prime. Res64: 515091C0FB08A374 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:27:17] 643*2^1241735-1 is not prime. Res64: D6AA10EE5CE386B9 Time : 0.0 sec. user=juhehe [2013-02-28 00:35:40] 873*2^1241732-1 is not prime. Res64: B97D1051714BFEA4 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:36:21] 741*2^1241735-1 is not prime. Res64: 6908C37BD9BA6899 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:36:22] 675*2^1241736-1 is not prime. Res64: 0C9523E75FA8375B Time : 0.0 sec. user=juhehe [2013-02-28 00:43:29] 965*2^1241734-1 is not prime. Res64: 5E19E095239004AD Time : 0.0 sec. user=mdettweiler [2013-02-28 00:44:45] 707*2^1241736-1 is not prime. Res64: E46F4D202B6CCEE0 Time : 0.0 sec. user=mdettweiler [2013-02-28 00:44:45] 735*2^1241736-1 is not prime. Res64: E5E2355780CFA8F0 Time : 0.0 sec. user=juhehe [2013-02-28 00:46:12] 693*2^1241735-1 is not prime. Res64: 47109C8C6A09186C Time : 0.0 sec. user=mdettweiler [2013-02-28 00:53:51] 879*2^1241736-1 is not prime. Res64: 3C9A7A07B9C30FFC Time : 0.0 sec. user=mdettweiler [2013-02-28 00:53:51] 893*2^1241736-1 is not prime. Res64: 968BF4C0887D504D Time : 0.0 sec. user=mdettweiler [2013-02-28 01:02:13] 685*2^1241737-1 is not prime. Res64: D77C50527754C388 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:02:15] 799*2^1241737-1 is not prime. Res64: BBF2666F9CE18CC2 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:11:20] 967*2^1241737-1 is not prime. Res64: D2D7692D2FF0A0F8 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:11:21] 985*2^1241737-1 is not prime. Res64: 8CBAFBB345E0617F Time : 0.0 sec. user=juhehe [2013-02-28 01:19:50] 927*2^1241736-1 is not prime. Res64: 4FD552F3BEB45788 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:20:04] 997*2^1241737-1 is not prime. Res64: E8FB8CD26FDBD6B2 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:20:05] 635*2^1241738-1 is not prime. Res64: EE6179362C364E81 Time : 0.0 sec. user=juhehe [2013-02-28 01:22:32] 931*2^1241737-1 is not prime. Res64: 505722209DA53568 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:28:52] 671*2^1241738-1 is not prime. Res64: 4561D805747CD538 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:28:53] 687*2^1241738-1 is not prime. Res64: 552250A20F9A46F4 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:37:37] 707*2^1241738-1 is not prime. Res64: 9D48A13E43D9296D Time : 0.0 sec. user=mdettweiler [2013-02-28 01:37:37] 711*2^1241738-1 is not prime. Res64: 17BBBB733CB19026 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:46:22] 957*2^1241738-1 is not prime. Res64: 7DDB5B7484CBB716 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:46:23] 633*2^1241739-1 is not prime. Res64: E5325D30527064E2 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:55:02] 891*2^1241739-1 is not prime. Res64: A09FBED185171AA6 Time : 0.0 sec. user=mdettweiler [2013-02-28 01:55:02] 955*2^1241739-1 is not prime. Res64: 7C0688B452523241 Time : 0.0 sec. user=juhehe [2013-02-28 01:59:48] 713*2^1241738-1 is not prime. Res64: 9A4B971906753617 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:03:52] 759*2^1241740-1 is not prime. Res64: 854C00974F3A1FF9 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:03:53] 827*2^1241740-1 is not prime. Res64: EDD4A3CB66618E93 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:12:26] 747*2^1241741-1 is not prime. Res64: 65E1BA49508E9274 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:12:28] 795*2^1241741-1 is not prime. Res64: 9645DF2020B2840A Time : 0.0 sec. user=mdettweiler [2013-02-28 02:21:17] 651*2^1241742-1 is not prime. Res64: A683AEFC0AE811DC Time : 0.0 sec. user=mdettweiler [2013-02-28 02:21:17] 657*2^1241742-1 is not prime. Res64: A8A3F17EB68EBD41 Time : 0.0 sec. user=juhehe [2013-02-28 02:28:21] 755*2^1241738-1 is not prime. Res64: 866C5198BF34DBAC Time : 0.0 sec. user=mdettweiler [2013-02-28 02:29:54] 709*2^1241743-1 is not prime. Res64: 246464402CBFBB5C Time : 0.0 sec. user=mdettweiler [2013-02-28 02:29:54] 789*2^1241743-1 is not prime. Res64: 540E79A158DFF3F4 Time : 0.0 sec. user=juhehe [2013-02-28 02:36:34] 639*2^1241739-1 is not prime. Res64: C0746198C28127D9 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:38:43] 691*2^1241745-1 is not prime. Res64: 78F4127201D33DD6 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:38:44] 739*2^1241745-1 is not prime. Res64: BD19CA53E8939629 Time : 0.0 sec. user=juhehe [2013-02-28 02:43:05] 951*2^1241741-1 is not prime. Res64: 106D17DB00231D37 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:47:19] 781*2^1241745-1 is not prime. Res64: AB9654727ECB4710 Time : 0.0 sec. user=mdettweiler [2013-02-28 02:47:21] 849*2^1241745-1 is not prime. Res64: F4DFEF6C4BF7216B Time : 0.0 sec. user=mdettweiler [2013-02-28 02:56:16] 979*2^1241745-1 is not prime. Res64: 679DB3DDD1B1ECCF Time : 0.0 sec. user=mdettweiler [2013-02-28 02:56:17] 647*2^1241746-1 is not prime. Res64: 847E52B36E3F0A3C Time : 0.0 sec. user=mdettweiler [2013-02-28 03:04:46] 705*2^1241746-1 is not prime. Res64: 53D7D6273E7D5094 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:04:47] 755*2^1241746-1 is not prime. Res64: 44793D053D5879E5 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:13:43] 813*2^1241746-1 is not prime. Res64: 3C1BCCA6A158B918 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:13:43] 911*2^1241746-1 is not prime. Res64: 0FC152B0CC2F016D Time : 0.0 sec. user=mdettweiler [2013-02-28 03:22:11] 759*2^1241747-1 is not prime. Res64: F721BA8CC075F55E Time : 0.0 sec. user=mdettweiler [2013-02-28 03:22:11] 657*2^1241748-1 is not prime. Res64: 4BC19FFD565E002B Time : 0.0 sec. user=juhehe [2013-02-28 03:26:18] 651*2^1241746-1 is not prime. Res64: 317AC1A890AECA86 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:31:10] 663*2^1241748-1 is not prime. Res64: B78F6C68C8C2A2BC Time : 0.0 sec. user=mdettweiler [2013-02-28 03:31:11] 695*2^1241748-1 is not prime. Res64: 838E25F107EB3C12 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:39:34] 773*2^1241748-1 is not prime. Res64: 3C059CD932609847 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:39:35] 777*2^1241748-1 is not prime. Res64: DB150C83790E655D Time : 0.0 sec. user=mdettweiler [2013-02-28 03:48:38] 933*2^1241748-1 is not prime. Res64: 2A0523EA481B2ED0 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:48:39] 609*2^1241749-1 is not prime. Res64: 9C116E2ADB101695 Time : 0.0 sec. user=mdettweiler [2013-02-28 03:56:59] 729*2^1241749-1 is not prime. Res64: 131338C892867F8E Time : 0.0 sec. user=mdettweiler [2013-02-28 03:56:59] 757*2^1241749-1 is not prime. Res64: 5BDC9D176706BCDC Time : 0.0 sec. user=mdettweiler [2013-02-28 04:06:04] 931*2^1241749-1 is not prime. Res64: E8F92B5C51082A80 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:06:05] 939*2^1241749-1 is not prime. Res64: 136F99CDA1C2490E Time : 0.0 sec. user=mdettweiler [2013-02-28 04:14:22] 961*2^1241749-1 is not prime. Res64: 2A664C5097545F84 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:14:23] 987*2^1241749-1 is not prime. Res64: 74CCE17F7C321E67 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:23:29] 663*2^1241750-1 is not prime. Res64: FCAE57C2E24EAF3C Time : 0.0 sec. user=mdettweiler [2013-02-28 04:23:30] 707*2^1241750-1 is not prime. Res64: F42B4FF222B5E87A Time : 0.0 sec. user=juhehe [2013-02-28 04:29:22] 927*2^1241748-1 is not prime. Res64: F07896CDC91BBBC0 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:31:48] 713*2^1241750-1 is not prime. Res64: 463C3AC0F5CB1DE6 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:31:50] 741*2^1241750-1 is not prime. Res64: B035BC3918672CE5 Time : 0.0 sec. user=juhehe [2013-02-28 04:37:59] 625*2^1241749-1 is not prime. Res64: 05A338457B86D9DB Time : 0.0 sec. user=mdettweiler [2013-02-28 04:40:54] 621*2^1241751-1 is not prime. Res64: 69104E1A40E415B6 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:40:55] 795*2^1241751-1 is not prime. Res64: A1491EB71A5FFE8C Time : 0.0 sec. user=mdettweiler [2013-02-28 04:49:15] 951*2^1241751-1 is not prime. Res64: 82297EEA2A16C515 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:49:16] 973*2^1241751-1 is not prime. Res64: 2DAAAA4865C107E1 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:58:24] 975*2^1241751-1 is not prime. Res64: 308311B5053DE552 Time : 0.0 sec. user=mdettweiler [2013-02-28 04:58:24] 991*2^1241751-1 is not prime. Res64: EFA2308488019735 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:06:41] 675*2^1241752-1 is not prime. Res64: 3D0FF0443D55B5EB Time : 0.0 sec. user=mdettweiler [2013-02-28 05:06:42] 735*2^1241752-1 is not prime. Res64: 3316F68E3651E51A Time : 0.0 sec. user=mdettweiler [2013-02-28 05:15:49] 759*2^1241752-1 is not prime. Res64: 7840AE839E93DDE0 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:15:50] 887*2^1241752-1 is not prime. Res64: C5BA7E7591184C27 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:24:06] 903*2^1241752-1 is not prime. Res64: 60A5AA234154A261 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:24:06] 675*2^1241753-1 is not prime. Res64: D04CF9EDD9707F2A Time : 0.0 sec. user=juhehe [2013-02-28 05:31:05] 657*2^1241752-1 is not prime. Res64: 97715235DCAF1B8E Time : 0.0 sec. user=mdettweiler [2013-02-28 05:33:17] 679*2^1241753-1 is not prime. Res64: 3B7E834E9DA9F8B1 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:33:18] 747*2^1241753-1 is not prime. Res64: 2FF9257D99F77E70 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:41:30] 837*2^1241753-1 is not prime. Res64: 7ED8CB2A62710022 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:41:31] 847*2^1241753-1 is not prime. Res64: 69C6A31B671E9335 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:50:42] 663*2^1241754-1 is not prime. Res64: DCEFB11A61776B86 Time : 0.0 sec. user=mdettweiler [2013-02-28 05:50:42] 975*2^1241754-1 is not prime. Res64: 2F5FF15A0D21B36C Time : 0.0 sec. user=mdettweiler [2013-02-28 05:58:54] 709*2^1241755-1 is not prime. Res64: FFC9FDEECAD6EF5D Time : 0.0 sec. user=mdettweiler [2013-02-28 05:58:54] 759*2^1241755-1 is not prime. Res64: 5A378A3613A42F1B Time : 0.0 sec. user=mdettweiler [2013-02-28 06:08:05] 765*2^1241755-1 is not prime. Res64: 11D37E5E7A7AF88E Time : 0.0 sec. user=mdettweiler [2013-02-28 06:08:06] 771*2^1241755-1 is not prime. Res64: C098B9C64880731F Time : 0.0 sec. user=mdettweiler [2013-02-28 06:16:19] 859*2^1241755-1 is not prime. Res64: F17BC8C103E06DD2 Time : 0.0 sec. user=mdettweiler [2013-02-28 06:16:20] 913*2^1241755-1 is not prime. Res64: D49251BE6A01CA5F Time : 0.0 sec. user=juhehe [2013-02-28 06:25:18] 783*2^1241703-1 is not prime. Res64: 57B53A1CBA040EED Time : 0.0 sec. user=mdettweiler [2013-02-28 06:25:32] 925*2^1241755-1 is not prime. Res64: B1E755DB2BC41422 Time : 0.0 sec. user=mdettweiler [2013-02-28 06:25:33] 699*2^1241756-1 is not prime. Res64: D8ADA24F320E7EC7 Time : 0.0 sec. user=juhehe [2013-02-28 06:31:10] 949*2^1241753-1 is not prime. Res64: 17D1CE5F58238759 Time : 0.0 sec. user=mdettweiler [2013-02-28 06:33:45] 843*2^1241756-1 is not prime. Res64: D559FD82A54790E2 Time : 0.0 sec. user=mdettweiler [2013-02-28 06:33:46] 621*2^1241757-1 is not prime. Res64: 0389A5E17C8AAFA3 Time : 0.0 sec. user=juhehe [2013-02-28 06:38:09] 603*2^1241755-1 is not prime. Res64: 0CBEF0A6FC5FA8C6 Time : 0.0 sec. user=mdettweiler [2013-02-28 06:42:56] 667*2^1241757-1 is not prime. Res64: 6A5FD5977EB5096D Time : 0.0 sec. user=mdettweiler [2013-02-28 06:42:57] 685*2^1241757-1 is not prime. Res64: A7BDEE54E560CCCB Time : 0.0 sec. user=mdettweiler [2013-02-28 06:51:10] 611*2^1241758-1 is not prime. Res64: 4A4CE604508D838C Time : 0.0 sec. user=mdettweiler [2013-02-28 06:51:10] 657*2^1241758-1 is not prime. Res64: 1723EEA44498B036 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:00:21] 827*2^1241758-1 is not prime. Res64: FCD8898B8E1A9AF1 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:00:22] 897*2^1241758-1 is not prime. Res64: 2691995085ED12D8 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:17:29] 981*2^1241758-1 is not prime. Res64: 9B3A412EB22795D0 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:17:30] 609*2^1241759-1 is not prime. Res64: 59DF8A4727A6398A Time : 0.0 sec. user=mdettweiler [2013-02-28 07:17:47] 619*2^1241759-1 is not prime. Res64: 9FEC4DFF9FDFB0AC Time : 0.0 sec. user=mdettweiler [2013-02-28 07:17:48] 643*2^1241759-1 is not prime. Res64: 41A410E23A186C06 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:34:58] 663*2^1241759-1 is not prime. Res64: 1B5DA5E341BEC039 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:34:59] 729*2^1241759-1 is not prime. Res64: 24DD0AC26D099DBE Time : 0.0 sec. user=mdettweiler [2013-02-28 07:35:12] 775*2^1241759-1 is not prime. Res64: DBC3C7B48C2EE57D Time : 0.0 sec. user=mdettweiler [2013-02-28 07:35:13] 813*2^1241759-1 is not prime. Res64: 364176F7AC8962D0 Time : 0.0 sec. user=juhehe [2013-02-28 07:36:17] 615*2^1241759-1 is not prime. Res64: 107FD2CD99F29083 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:52:23] 879*2^1241759-1 is not prime. Res64: 9B7E8B44BD7D0A06 Time : 0.0 sec. user=mdettweiler [2013-02-28 07:52:24] 885*2^1241759-1 is not prime. Res64: 8F39E672F74AB08C Time : 0.0 sec. user=mdettweiler [2013-02-28 07:52:36] 955*2^1241759-1 is not prime. Res64: A257ADFD4A3559CA Time : 0.0 sec. user=mdettweiler [2013-02-28 07:52:37] 717*2^1241760-1 is not prime. Res64: 877C091660105C11 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:10:11] 839*2^1241760-1 is not prime. Res64: 7EBF3AC238DC7592 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:10:14] 959*2^1241760-1 is not prime. Res64: E505FB5F50603E3F Time : 0.0 sec. user=mdettweiler [2013-02-28 08:10:43] 759*2^1241760-1 is not prime. Res64: E92B92ADE90AEAF0 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:10:44] 765*2^1241760-1 is not prime. Res64: 2C2FC9C83CD4358C Time : 0.0 sec. user=mdettweiler [2013-02-28 08:27:47] 741*2^1241761-1 is not prime. Res64: 4C32836C7EC3F851 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:27:48] 847*2^1241761-1 is not prime. Res64: 3C7638A7017DA44E Time : 0.0 sec. user=mdettweiler [2013-02-28 08:28:14] 895*2^1241761-1 is not prime. Res64: 522D951647D01B76 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:28:15] 951*2^1241761-1 is not prime. Res64: D5F3BCAF9E75AF02 Time : 0.0 sec. user=juhehe [2013-02-28 08:31:56] 825*2^1241759-1 is not prime. Res64: A17A20D5EE758366 Time : 0.0 sec. user=juhehe [2013-02-28 08:38:46] 725*2^1241760-1 is not prime. Res64: 5923A48CECFC6A93 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:45:13] 635*2^1241762-1 is not prime. Res64: D4469F711D70B35D Time : 0.0 sec. user=mdettweiler [2013-02-28 08:45:14] 675*2^1241762-1 is not prime. Res64: D4994B67BC6685DA Time : 0.0 sec. user=mdettweiler [2013-02-28 08:45:38] 713*2^1241762-1 is not prime. Res64: 38DCA717ADFF21D9 Time : 0.0 sec. user=mdettweiler [2013-02-28 08:45:39] 977*2^1241762-1 is not prime. Res64: 3538A98600DF72DF Time : 0.0 sec. user=juhehe [2013-02-28 08:59:56] 999*2^1241761-1 is not prime. Res64: 5A42AD0C09ADACB4 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:02:40] 619*2^1241763-1 is not prime. Res64: 088CCE8694061A99 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:02:41] 735*2^1241763-1 is not prime. Res64: BBAA4E6196F20196 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:03:03] 753*2^1241763-1 is not prime. Res64: 30CB2BC6ACE4CACA Time : 0.0 sec. user=mdettweiler [2013-02-28 09:03:04] 775*2^1241763-1 is not prime. Res64: A726FF9940535052 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:20:14] 829*2^1241763-1 is not prime. Res64: 76838772BB25B5B1 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:20:15] 853*2^1241763-1 is not prime. Res64: F1C710811B5B26E3 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:20:29] 629*2^1241764-1 is not prime. Res64: F148428DA682624D Time : 0.0 sec. user=mdettweiler [2013-02-28 09:20:30] 677*2^1241764-1 is not prime. Res64: CF3265D4F3BCC421 Time : 0.0 sec. user=juhehe [2013-02-28 09:28:22] 805*2^1241763-1 is not prime. Res64: 50DFC010E5758B35 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:37:41] 717*2^1241764-1 is not prime. Res64: 880CF1F213595EDE Time : 0.0 sec. user=mdettweiler [2013-02-28 09:37:42] 723*2^1241764-1 is not prime. Res64: 6932886AD6421488 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:37:54] 843*2^1241764-1 is not prime. Res64: 456E884EAD214F30 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:37:54] 855*2^1241764-1 is not prime. Res64: 7FDC4DAEA91271AE Time : 0.0 sec. user=mdettweiler [2013-02-28 09:55:09] 857*2^1241764-1 is not prime. Res64: 3958B335E1387605 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:55:10] 885*2^1241764-1 is not prime. Res64: 22A5D099AE1EC2D0 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:55:20] 989*2^1241764-1 is not prime. Res64: 172E331FC5611E36 Time : 0.0 sec. user=mdettweiler [2013-02-28 09:55:20] 651*2^1241765-1 is not prime. Res64: B5FE8396EEB0F92E Time : 0.0 sec. user=mdettweiler [2013-02-28 10:12:34] 655*2^1241765-1 is not prime. Res64: AC25FE8143C531F1 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:12:35] 697*2^1241765-1 is not prime. Res64: D8C5042F79F0039A Time : 0.0 sec. user=mdettweiler [2013-02-28 10:12:45] 717*2^1241765-1 is not prime. Res64: CE4CE8CA85692F89 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:12:46] 771*2^1241765-1 is not prime. Res64: BFA66AF542BA8D0D Time : 0.0 sec. user=mdettweiler [2013-02-28 10:30:04] 871*2^1241765-1 is not prime. Res64: 946CCB6C90A759C4 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:30:05] 885*2^1241765-1 is not prime. Res64: B0847C1FA54F164E Time : 0.0 sec. user=mdettweiler [2013-02-28 10:30:11] 907*2^1241765-1 is not prime. Res64: C34C53FF1943A4B3 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:30:11] 937*2^1241765-1 is not prime. Res64: 36CF8E6A88136FBB Time : 0.0 sec. user=juhehe [2013-02-28 10:40:06] 965*2^1241764-1 is not prime. Res64: EE75864B651A9BC9 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:47:32] 693*2^1241766-1 is not prime. Res64: 5B981448AFE95829 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:47:33] 705*2^1241766-1 is not prime. Res64: 294474A404B4478B Time : 0.0 sec. user=mdettweiler [2013-02-28 10:47:36] 711*2^1241766-1 is not prime. Res64: 6B60ADE5A63F7088 Time : 0.0 sec. user=mdettweiler [2013-02-28 10:47:37] 713*2^1241766-1 is not prime. Res64: D57E1421410994F3 Time : 0.0 sec. user=mdettweiler [2013-02-28 11:04:58] 891*2^1241766-1 is not prime. Res64: 79373782771E1F6D Time : 0.0 sec. user=mdettweiler [2013-02-28 11:04:58] 601*2^1241767-1 is not prime. Res64: 1660F44213A01BDF Time : 0.0 sec. user=mdettweiler [2013-02-28 11:05:11] 633*2^1241767-1 is not prime. Res64: A0C5CCFC30F942EC Time : 0.0 sec. user=mdettweiler [2013-02-28 11:05:12] 649*2^1241767-1 is not prime. Res64: 255AC2FF65A870DB Time : 0.0 sec. user=mdettweiler [2013-02-28 11:22:28] 775*2^1241767-1 is not prime. Res64: 91A496172C9D87DE Time : 0.0 sec. user=mdettweiler [2013-02-28 11:22:29] 819*2^1241767-1 is not prime. Res64: A2BE46FC289D36F7 Time : 0.0 sec. user=mdettweiler [2013-02-28 11:22:36] 891*2^1241767-1 is not prime. Res64: A4A3E06102644EED Time : 0.0 sec. user=mdettweiler [2013-02-28 11:22:37] 915*2^1241767-1 is not prime. Res64: 7E687CEE1A134588 Time : 0.0 sec. user=juhehe [2013-02-28 11:31:29] 949*2^1241765-1 is not prime. Res64: D23FEB092C3EEEDC Time : 0.0 sec. user=juhehe [2013-02-28 11:31:54] 705*2^1241767-1 is not prime. Res64: F7BD54DA0FB487BA Time : 0.0 sec. user=mdettweiler [2013-02-28 11:39:59] 951*2^1241767-1 is not prime. Res64: 6DB65AED61E65416 Time : 0.0 sec. user=mdettweiler [2013-02-28 11:39:59] 993*2^1241767-1 is not prime. Res64: EE7CF7335D6DE65B Time : 0.0 sec. user=mdettweiler [2013-02-28 11:40:07] 603*2^1241768-1 is not prime. Res64: 12520833B4B2FEF9 Time : 0.0 sec. user=mdettweiler [2013-02-28 11:40:07] 623*2^1241768-1 is not prime. Res64: 4AAFCE5DED7C3834 Time : 0.0 sec. user=mdettweiler [2013-02-28 11:57:48] 755*2^1241768-1 is not prime. Res64: 32845D00FA12C86D Time : 0.0 sec. user=mdettweiler [2013-02-28 11:57:49] 837*2^1241768-1 is not prime. Res64: 770F5961DA0190EC Time : 0.0 sec. user=mdettweiler [2013-02-28 11:57:55] 929*2^1241768-1 is not prime. Res64: 0644FBC8FC71FBDD Time : 0.0 sec. user=mdettweiler [2013-02-28 11:57:55] 627*2^1241769-1 is not prime. Res64: 8E76EEB66092849A Time : 0.0 sec. user=mdettweiler [2013-02-28 12:15:41] 681*2^1241769-1 is not prime. Res64: B857893E11CF8A41 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:15:42] 685*2^1241769-1 is not prime. Res64: 857D2ABB96104F7B Time : 0.0 sec. user=mdettweiler [2013-02-28 12:15:46] 769*2^1241769-1 is not prime. Res64: 7CEC0ABB3CE6C6BA Time : 0.0 sec. user=mdettweiler [2013-02-28 12:15:46] 781*2^1241769-1 is not prime. Res64: AE75FFB8715BDAF2 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:33:14] 889*2^1241769-1 is not prime. Res64: 81CC0EBC2AFD15A6 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:33:15] 645*2^1241770-1 is not prime. Res64: DE8D66E62A5A7D18 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:33:18] 647*2^1241770-1 is not prime. Res64: F4F5BD6B2B2E2B45 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:33:19] 651*2^1241770-1 is not prime. Res64: E8C8EFC566F678D9 Time : 0.0 sec. user=juhehe [2013-02-28 12:41:46] 659*2^1241768-1 is not prime. Res64: CE83ADB1CEA6C996 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:50:57] 717*2^1241770-1 is not prime. Res64: 44089A46CDB9EC39 Time : 0.0 sec. user=mdettweiler [2013-02-28 12:50:58] 843*2^1241770-1 is not prime. Res64: 18FF6CCAA174C49F Time : 0.0 sec. user=mdettweiler [2013-02-28 12:51:01] 867*2^1241770-1 is not prime. Res64: FE01BA7F08C883DB Time : 0.0 sec. user=mdettweiler [2013-02-28 12:51:01] 885*2^1241770-1 is not prime. Res64: 037CA9A3FAAB0618 Time : 0.0 sec. user=juhehe [2013-02-28 12:56:35] 835*2^1241769-1 is not prime. Res64: 911A191D735EF036 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:08:39] 715*2^1241771-1 is not prime. Res64: 23729F528E1F1BD3 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:08:41] 789*2^1241771-1 is not prime. Res64: E43C9F38275D9F99 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:08:42] 753*2^1241771-1 is not prime. Res64: 071DDF28493EB21F Time : 0.0 sec. user=mdettweiler [2013-02-28 13:08:44] 913*2^1241771-1 is not prime. Res64: BD00624B7826E4EB Time : 0.0 sec. user=mdettweiler [2013-02-28 13:26:31] 999*2^1241771-1 is not prime. Res64: D1D0552AA913DF79 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:26:32] 647*2^1241772-1 is not prime. Res64: 7CC30D856B9D8C4D Time : 0.0 sec. user=mdettweiler [2013-02-28 13:26:34] 693*2^1241772-1 is not prime. Res64: 08C0DDD48A1B789C Time : 0.0 sec. user=mdettweiler [2013-02-28 13:26:34] 699*2^1241772-1 is not prime. Res64: 4BC043FA11032943 Time : 0.0 sec. user=juhehe [2013-02-28 13:32:57] 713*2^1241770-1 is not prime. Res64: 0465B96C7F50B661 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:44:16] 759*2^1241772-1 is not prime. Res64: 36A6C8C959E65134 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:44:17] 819*2^1241772-1 is not prime. Res64: E5A220031CCEC2CF Time : 0.0 sec. user=mdettweiler [2013-02-28 13:44:17] 903*2^1241772-1 is not prime. Res64: 00A8B723F58FF2A2 Time : 0.0 sec. user=mdettweiler [2013-02-28 13:44:17] 945*2^1241772-1 is not prime. Res64: B4D0D79D09E801B3 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:02:55] 975*2^1241772-1 is not prime. Res64: 21C15B29E46CD0F3 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:02:55] 681*2^1241773-1 is not prime. Res64: 87E976619DBC2565 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:02:56] 831*2^1241773-1 is not prime. Res64: E1401D22F5F7696B Time : 0.0 sec. user=mdettweiler [2013-02-28 14:02:57] 627*2^1241774-1 is not prime. Res64: 02FB9DB7AA518638 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:21:37] 635*2^1241774-1 is not prime. Res64: 2A3A20664668E82F Time : 0.0 sec. user=mdettweiler [2013-02-28 14:21:38] 657*2^1241774-1 is not prime. Res64: 21AA259A3EFDC8C7 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:21:40] 753*2^1241774-1 is not prime. Res64: 62C12B2ED2D0FDB7 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:21:40] 813*2^1241774-1 is not prime. Res64: D78DB66C97149F59 Time : 0.0 sec. user=juhehe [2013-02-28 14:24:53] 935*2^1241774-1 is not prime. Res64: 74EDD35D1021BF14 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:39:20] 609*2^1241775-1 is not prime. Res64: 44058DCBB7822D87 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:39:20] 663*2^1241775-1 is not prime. Res64: 354EACC99B90B0BD Time : 0.0 sec. user=mdettweiler [2013-02-28 14:39:20] 691*2^1241775-1 is not prime. Res64: AE93000CFD529F06 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:39:21] 709*2^1241775-1 is not prime. Res64: 087D662155D10B33 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:57:00] 819*2^1241775-1 is not prime. Res64: 6D4EFB564AC67277 Time : 0.0 sec. user=mdettweiler [2013-02-28 14:57:00] 865*2^1241775-1 is not prime. Res64: 138AC2D55500211B Time : 0.0 sec. user=mdettweiler [2013-02-28 14:57:02] 891*2^1241775-1 is not prime. Res64: 6B6EB1A2A7777B6B Time : 0.0 sec. user=mdettweiler [2013-02-28 14:57:02] 755*2^1241776-1 is not prime. Res64: 6690D9305676F178 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:14:48] 825*2^1241776-1 is not prime. Res64: 81B08A390FB07313 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:14:49] 887*2^1241776-1 is not prime. Res64: A853CC165B90B391 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:14:49] 875*2^1241776-1 is not prime. Res64: 31C7F20F7DD20126 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:14:49] 927*2^1241776-1 is not prime. Res64: CB4F67B4572B81F8 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:32:28] 969*2^1241776-1 is not prime. Res64: EEB959C1B79E128B Time : 0.0 sec. user=mdettweiler [2013-02-28 15:32:28] 607*2^1241777-1 is not prime. Res64: B5499E2543A7E84E Time : 0.0 sec. user=mdettweiler [2013-02-28 15:32:28] 637*2^1241777-1 is not prime. Res64: C953785AC647E88E Time : 0.0 sec. user=mdettweiler [2013-02-28 15:32:29] 645*2^1241777-1 is not prime. Res64: F8F37A1A9E58CAD2 Time : 0.0 sec. user=juhehe [2013-02-28 15:34:07] 711*2^1241775-1 is not prime. Res64: E6ED99DFF6001C1A Time : 0.0 sec. user=juhehe [2013-02-28 15:40:51] 741*2^1241775-1 is not prime. Res64: 159E20C6E841801C Time : 0.0 sec. user=mdettweiler [2013-02-28 15:50:05] 867*2^1241777-1 is not prime. Res64: DAD3F71AEFD6D86D Time : 0.0 sec. user=mdettweiler [2013-02-28 15:50:06] 925*2^1241777-1 is not prime. Res64: 40B7E3EFACC5AB61 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:50:07] 937*2^1241777-1 is not prime. Res64: 7A234AFDF45227F3 Time : 0.0 sec. user=mdettweiler [2013-02-28 15:50:07] 605*2^1241778-1 is not prime. Res64: 7EF9CCE6844B63AC Time : 0.0 sec. user=mdettweiler [2013-02-28 16:07:41] 677*2^1241778-1 is not prime. Res64: A0A912D9EBA5825B Time : 0.0 sec. user=mdettweiler [2013-02-28 16:07:42] 711*2^1241778-1 is not prime. Res64: D6FC0DACED9C3161 Time : 0.0 sec. user=mdettweiler [2013-02-28 16:07:44] 755*2^1241778-1 is not prime. Res64: 4CC1585CFC2F310C Time : 0.0 sec. user=mdettweiler [2013-02-28 16:07:45] 765*2^1241778-1 is not prime. Res64: E16FCC97B45467CE Time : 0.0 sec. user=mdettweiler [2013-02-28 16:25:22] 773*2^1241778-1 is not prime. Res64: 2FD6E73A684307E8 Time : 0.0 sec. user=mdettweiler [2013-02-28 16:25:23] 801*2^1241778-1 is not prime. Res64: CC27D1194E75932E Time : 0.0 sec. user=mdettweiler [2013-02-28 16:25:23] 1001*2^1241778-1 is not prime. Res64: 76859A730AD769E1 Time : 0.0 sec. user=mdettweiler [2013-02-28 16:25:23] 741*2^1241779-1 is not prime. Res64: 902A26C8958FBF4A Time : 0.0 sec. user=mdettweiler [2013-02-28 16:43:01] 765*2^1241779-1 is not prime. Res64: E1F1C355D22F39FD Time : 0.0 sec. user=mdettweiler [2013-02-28 16:43:01] 873*2^1241779-1 is not prime. Res64: 48473235D226CC54 Time : 0.0 sec. user=mdettweiler [2013-02-28 16:43:01] 885*2^1241779-1 is not prime. Res64: 791F7FEA24DB6607 Time : 0.0 sec. user=mdettweiler [2013-02-28 16:43:01] 843*2^1241779-1 is not prime. Res64: 1116BEF03C1F9A26 Time : 0.0 sec. user=juhehe [2013-02-28 16:54:48] 745*2^1241779-1 is not prime. Res64: BC10A54B3C94FB2F Time : 0.0 sec. user=mdettweiler [2013-02-28 17:00:36] 675*2^1241780-1 is not prime. Res64: 2D5375F94C76C1C2 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:00:37] 677*2^1241780-1 is not prime. Res64: 91A38F2BE42AD3A6 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:00:37] 707*2^1241780-1 is not prime. Res64: A71B83B40AC62936 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:00:38] 753*2^1241780-1 is not prime. Res64: 1403701515E4F207 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:18:48] 759*2^1241780-1 is not prime. Res64: 01014040A2005AAE Time : 0.0 sec. user=mdettweiler [2013-02-28 17:18:49] 773*2^1241780-1 is not prime. Res64: 906BF96815FABB26 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:18:49] 789*2^1241780-1 is not prime. Res64: 7368BD3F531F59C9 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:18:50] 845*2^1241780-1 is not prime. Res64: 795DAF0D87BA7A1C Time : 0.0 sec. user=juhehe [2013-02-28 17:35:21] 647*2^1241780-1 is not prime. Res64: 388599FFD779C1CF Time : 0.0 sec. user=mdettweiler [2013-02-28 17:36:24] 929*2^1241780-1 is not prime. Res64: BABE203F1DAFA23C Time : 0.0 sec. user=mdettweiler [2013-02-28 17:36:24] 977*2^1241780-1 is not prime. Res64: 34684C641EC01A20 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:36:25] 983*2^1241780-1 is not prime. Res64: AEFA13DB4F155FC8 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:36:25] 999*2^1241780-1 is not prime. Res64: 65A44110A148BE5E Time : 0.0 sec. user=juhehe [2013-02-28 17:42:30] 659*2^1241780-1 is not prime. Res64: 6FAFDF20836EF0BD Time : 0.0 sec. user=mdettweiler [2013-02-28 17:54:26] 895*2^1241781-1 is not prime. Res64: 55CB0DD9B204A774 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:54:26] 615*2^1241781-1 is not prime. Res64: 8D8611C2A34CD7A2 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:54:26] 945*2^1241781-1 is not prime. Res64: 12B387B070B27365 Time : 0.0 sec. user=mdettweiler [2013-02-28 17:54:26] 777*2^1241781-1 is not prime. Res64: 2C4F744DAB57EA45 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:12:42] 961*2^1241781-1 is not prime. Res64: 17911BE591726B82 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:12:43] 677*2^1241782-1 is not prime. Res64: 7A3BDB96CE2C1E77 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:12:43] 635*2^1241782-1 is not prime. Res64: F678DA016E1FDF53 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:12:44] 713*2^1241782-1 is not prime. Res64: 0C64A44DF55E0D4E Time : 0.0 sec. user=mdettweiler [2013-02-28 18:31:00] 761*2^1241782-1 is not prime. Res64: 72B6D0FF453FF8F6 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:31:00] 813*2^1241782-1 is not prime. Res64: DB73B3968FAC07F4 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:31:01] 827*2^1241782-1 is not prime. Res64: 8502135AE0549F86 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:31:01] 887*2^1241782-1 is not prime. Res64: E374F8AB07265C71 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:49:15] 911*2^1241782-1 is not prime. Res64: EDA614DA3595910E Time : 0.0 sec. user=mdettweiler [2013-02-28 18:49:16] 917*2^1241782-1 is not prime. Res64: EB3DF76E2D0FC411 Time : 0.0 sec. user=mdettweiler [2013-02-28 18:49:16] 975*2^1241782-1 is not prime. Res64: 3FC22C2C4439FBDD Time : 0.0 sec. user=mdettweiler [2013-02-28 18:49:16] 669*2^1241783-1 is not prime. Res64: 63134E9A715735BE Time : 0.0 sec. user=mdettweiler [2013-02-28 19:07:05] 729*2^1241783-1 is not prime. Res64: 1CBB8E68F4E4F5B0 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:07:06] 939*2^1241783-1 is not prime. Res64: 0A664C1EB55B6A66 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:07:07] 861*2^1241783-1 is not prime. Res64: 803DD90F5EA88B07 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:07:08] 945*2^1241783-1 is not prime. Res64: 04C10DCCA896C2D4 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:24:47] 627*2^1241784-1 is not prime. Res64: 1A66BD54DBC0DB88 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:24:48] 693*2^1241784-1 is not prime. Res64: C00CFA5E7FC81CD8 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:24:49] 705*2^1241784-1 is not prime. Res64: EBE7EA055C9ACC60 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:24:50] 707*2^1241784-1 is not prime. Res64: 2F128A8E39403419 Time : 0.0 sec. user=juhehe [2013-02-28 19:36:13] 673*2^1241783-1 is not prime. Res64: 42061E0EEC227221 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:42:25] 857*2^1241784-1 is not prime. Res64: 4C56B0A0CE0E33DA Time : 0.0 sec. user=mdettweiler [2013-02-28 19:42:26] 957*2^1241784-1 is not prime. Res64: 3939B9678A61E198 Time : 0.0 sec. user=mdettweiler [2013-02-28 19:42:26] 959*2^1241784-1 is not prime. Res64: 0F8E101176CE4BDC Time : 0.0 sec. user=mdettweiler [2013-02-28 19:42:27] 729*2^1241785-1 is not prime. Res64: 76A06E9AEECD8495 Time : 0.0 sec. user=juhehe [2013-02-28 19:43:35] 685*2^1241783-1 is not prime. Res64: 0DE5FD642CF84F2E Time : 0.0 sec. user=mdettweiler [2013-02-28 20:00:02] 741*2^1241785-1 is not prime. Res64: 846621D888CD5E63 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:00:04] 937*2^1241785-1 is not prime. Res64: C04B60916FFE4247 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:00:04] 775*2^1241785-1 is not prime. Res64: 84796147ECD20AB5 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:00:05] 957*2^1241785-1 is not prime. Res64: B1023BA3E9F9E38E Time : 0.0 sec. user=mdettweiler [2013-02-28 20:18:14] 987*2^1241785-1 is not prime. Res64: 62621C3521FEFFD0 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:18:14] 617*2^1241786-1 is not prime. Res64: DF59238CD03691CC Time : 0.0 sec. user=mdettweiler [2013-02-28 20:18:15] 633*2^1241786-1 is not prime. Res64: DDC16BB6DDC61D94 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:18:16] 743*2^1241786-1 is not prime. Res64: C45BE9E00ED4814D Time : 0.0 sec. user=mdettweiler [2013-02-28 20:35:54] 767*2^1241786-1 is not prime. Res64: 67584203CB67E481 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:35:55] 783*2^1241786-1 is not prime. Res64: 9C45BD05FFD0BAED Time : 0.0 sec. user=mdettweiler [2013-02-28 20:35:55] 773*2^1241786-1 is not prime. Res64: 8BB1AD3A88F6BAEE Time : 0.0 sec. user=mdettweiler [2013-02-28 20:35:55] 935*2^1241786-1 is not prime. Res64: F7D85E80B5B2FFCF Time : 0.0 sec. user=mdettweiler [2013-02-28 20:53:31] 619*2^1241787-1 is not prime. Res64: D01338F18A435BF6 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:53:32] 685*2^1241787-1 is not prime. Res64: 71ADDFEAAED7DA26 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:53:32] 709*2^1241787-1 is not prime. Res64: 612BBC83A46F91D7 Time : 0.0 sec. user=mdettweiler [2013-02-28 20:53:33] 823*2^1241787-1 is not prime. Res64: 72715F2AB6450A0D Time : 0.0 sec. user=mdettweiler [2013-02-28 21:11:09] 931*2^1241787-1 is not prime. Res64: 07C3344F31428106 Time : 0.0 sec. user=mdettweiler [2013-02-28 21:11:10] 961*2^1241787-1 is not prime. Res64: 26776EDADD1DE22C Time : 0.0 sec. user=mdettweiler [2013-02-28 21:11:10] 629*2^1241788-1 is not prime. Res64: F9625163FB52AC71 Time : 0.0 sec. user=mdettweiler [2013-02-28 21:11:11] 635*2^1241788-1 is not prime. Res64: E13763A7E08FA979 Time : 0.0 sec. user=juhehe [2013-02-28 21:13:05] 957*2^1241786-1 is not prime. Res64: E5A7BD90A084489B Time : 0.0 sec. user=mdettweiler [2013-02-28 21:28:55] 665*2^1241788-1 is not prime. Res64: F406FD6256FA6AE8 Time : 0.0 sec. user=mdettweiler [2013-02-28 21:28:56] 695*2^1241788-1 is not prime. Res64: E11533BFEA45B694 Time : 0.0 sec. user=mdettweiler [2013-02-28 21:28:58] 813*2^1241788-1 is not prime. Res64: B578DD7050C3C5C1 Time : 0.0 sec. user=mdettweiler [2013-02-28 21:28:58] 827*2^1241788-1 is not prime. Res64: CFC8846F17140F65 Time : 0.0 sec. user=juhehe [2013-02-28 21:43:46] 981*2^1241786-1 is not prime. Res64: 2ED26F140F2B228E Time : 0.0 sec. user=juhehe [2013-02-28 21:44:06] 871*2^1241787-1 is not prime. Res64: CEFEC1E69E9B107E Time : 0.0 sec. user=mdettweiler [2013-02-28 21:46:37] 929*2^1241788-1 is not prime. Res64: F43699B31A36682D Time : 0.0 sec. user=mdettweiler [2013-02-28 21:46:38] 995*2^1241788-1 is not prime. Res64: 28E4769BF158A367 Time : 0.0 sec. user=mdettweiler [2013-02-28 21:46:38] 771*2^1241789-1 is not prime. Res64: AABCF87B264A2DCF Time : 0.0 sec. user=mdettweiler [2013-02-28 21:46:38] 795*2^1241789-1 is not prime. Res64: A99B65B9893EC70C Time : 0.0 sec. user=juhehe [2013-02-28 21:56:14] 905*2^1241788-1 is not prime. Res64: 091B5B4BCB67FA1D Time : 0.0 sec. user=mdettweiler [2013-02-28 22:04:21] 825*2^1241789-1 is not prime. Res64: CF0E0C1D2270917B Time : 0.0 sec. user=mdettweiler [2013-02-28 22:04:22] 939*2^1241789-1 is not prime. Res64: 9F980B79F223099A Time : 0.0 sec. user=mdettweiler [2013-02-28 22:04:23] 837*2^1241789-1 is not prime. Res64: E877EC19C87C1B26 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:04:24] 627*2^1241790-1 is not prime. Res64: 98D1E98511DB8020 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:22:05] 707*2^1241790-1 is not prime. Res64: 99902B7D756F38F5 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:22:05] 711*2^1241790-1 is not prime. Res64: 2F7EDEE206536D0D Time : 0.0 sec. user=mdettweiler [2013-02-28 22:22:06] 755*2^1241790-1 is not prime. Res64: 37CC0A7039696DBC Time : 0.0 sec. user=mdettweiler [2013-02-28 22:22:07] 917*2^1241790-1 is not prime. Res64: A45F925CD46EEB20 Time : 0.0 sec. user=juhehe [2013-02-28 22:39:33] 693*2^1241790-1 is not prime. Res64: 01F3693CC61F331E Time : 0.0 sec. user=mdettweiler [2013-02-28 22:39:47] 941*2^1241790-1 is not prime. Res64: CF5214F03D8D4458 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:39:47] 805*2^1241791-1 is not prime. Res64: EEA0836C34409B30 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:39:47] 789*2^1241791-1 is not prime. Res64: A43613DEBA690CFE Time : 0.0 sec. user=mdettweiler [2013-02-28 22:39:48] 811*2^1241791-1 is not prime. Res64: 3243FB76297B2566 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:57:32] 861*2^1241791-1 is not prime. Res64: 8B02FE307E0630F1 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:57:32] 891*2^1241791-1 is not prime. Res64: 6375C73366E8F024 Time : 0.0 sec. user=mdettweiler [2013-02-28 22:57:33] 901*2^1241791-1 is not prime. Res64: D9433F13B50704CA Time : 0.0 sec. user=mdettweiler [2013-02-28 22:57:33] 961*2^1241791-1 is not prime. Res64: D7C2DFE7CE40E783 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:15:49] 699*2^1241792-1 is not prime. Res64: BCECE3E6CD39C7E5 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:15:49] 725*2^1241792-1 is not prime. Res64: C2CD1ADA4E2D0783 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:16:09] 843*2^1241792-1 is not prime. Res64: 5459388963F1F201 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:16:09] 867*2^1241792-1 is not prime. Res64: AC2BCE346D80E940 Time : 0.0 sec. user=juhehe [2013-02-28 23:22:46] 855*2^1241791-1 is not prime. Res64: 1C5A76F6575E5F9E Time : 0.0 sec. user=mdettweiler [2013-02-28 23:34:40] 899*2^1241792-1 is not prime. Res64: AEF6379646D3855B Time : 0.0 sec. user=mdettweiler [2013-02-28 23:34:40] 909*2^1241792-1 is not prime. Res64: FD095623B4CB7C08 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:34:57] 657*2^1241793-1 is not prime. Res64: 0F94D78324D9A239 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:34:57] 699*2^1241793-1 is not prime. Res64: C2A0D7A0F5181698 Time : 0.0 sec. user=juhehe [2013-02-28 23:44:39] 603*2^1241792-1 is not prime. Res64: F13604DFD9DBA702 Time : 0.0 sec. user=juhehe [2013-02-28 23:45:03] 629*2^1241792-1 is not prime. Res64: A8BF66B102B39A94 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:52:16] 727*2^1241793-1 is not prime. Res64: 9477B9E05EB28969 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:52:17] 747*2^1241793-1 is not prime. Res64: 22D8ED00BF94AB88 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:52:30] 769*2^1241793-1 is not prime. Res64: B95BE0B151DF4A90 Time : 0.0 sec. user=mdettweiler [2013-02-28 23:52:31] 817*2^1241793-1 is not prime. Res64: 8DD67131DD206371 Time : 0.0 sec.