user=mdettweiler [2012-12-06 00:10:55] 831*2^1236903-1 is not prime. Res64: 7FA8ED3A78314F8D Time : 0.0 sec. user=mdettweiler [2012-12-06 00:10:58] 615*2^1236904-1 is not prime. Res64: C293E26A9DA86C8C Time : 0.0 sec. user=mdettweiler [2012-12-06 00:10:59] 873*2^1236903-1 is not prime. Res64: 4CA8D8CF2BA726AA Time : 0.0 sec. user=mdettweiler [2012-12-06 00:11:00] 617*2^1236904-1 is not prime. Res64: 9DBE2742E54E22F9 Time : 0.0 sec. user=mdettweiler [2012-12-06 00:28:26] 675*2^1236904-1 is not prime. Res64: 5AD7070CA598F70F Time : 0.0 sec. user=mdettweiler [2012-12-06 00:28:27] 705*2^1236904-1 is not prime. Res64: 66CC1542E1045405 Time : 0.0 sec. user=mdettweiler [2012-12-06 00:28:30] 825*2^1236904-1 is not prime. Res64: AF9D13F52CEF25C7 Time : 0.0 sec. user=mdettweiler [2012-12-06 00:28:31] 833*2^1236904-1 is not prime. Res64: 37397B13C70B2B09 Time : 0.0 sec. user=mdettweiler [2012-12-06 00:45:49] 849*2^1236904-1 is not prime. Res64: 3A1E99D12A481C76 Time : 0.0 sec. user=mdettweiler [2012-12-06 00:45:49] 863*2^1236904-1 is not prime. Res64: 9D6A4663F5226FE1 Time : 0.0 sec. user=mdettweiler [2012-12-06 00:45:50] 969*2^1236904-1 is not prime. Res64: 2074FCD9F63DF9EC Time : 0.0 sec. user=mdettweiler [2012-12-06 00:45:50] 675*2^1236905-1 is not prime. Res64: 1A8D83D92A4CA8E7 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:03:07] 699*2^1236905-1 is not prime. Res64: 6727C0567EA6801E Time : 0.0 sec. user=mdettweiler [2012-12-06 01:03:09] 729*2^1236905-1 is not prime. Res64: F5544FA54936EFC7 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:03:10] 771*2^1236905-1 is not prime. Res64: 58A06CBA281104A3 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:03:11] 789*2^1236905-1 is not prime. Res64: 58091D248D5DC6A6 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:20:31] 795*2^1236905-1 is not prime. Res64: 2305460648E0CBD5 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:20:32] 677*2^1236906-1 is not prime. Res64: A2CBE4F276DDC51C Time : 0.0 sec. user=mdettweiler [2012-12-06 01:20:32] 725*2^1236906-1 is not prime. Res64: F05509AA165F4916 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:20:33] 803*2^1236906-1 is not prime. Res64: A14EF027B4497C11 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:37:53] 867*2^1236906-1 is not prime. Res64: 720420013D638A07 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:37:53] 619*2^1236907-1 is not prime. Res64: E52C018EFDBD57A8 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:37:53] 609*2^1236907-1 is not prime. Res64: EB5691A8BC610AA3 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:37:53] 625*2^1236907-1 is not prime. Res64: C4B12512194A513F Time : 0.0 sec. user=mdettweiler [2012-12-06 01:55:11] 775*2^1236907-1 is not prime. Res64: CA1A6279CAC5E5B5 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:55:11] 693*2^1236907-1 is not prime. Res64: AA992E25080A8AD9 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:55:12] 819*2^1236907-1 is not prime. Res64: 70E1F572563E2311 Time : 0.0 sec. user=mdettweiler [2012-12-06 01:55:12] 733*2^1236907-1 is not prime. Res64: A239ABD44FA55C0A Time : 0.0 sec. user=mdettweiler [2012-12-06 02:12:30] 843*2^1236907-1 is not prime. Res64: 7651E63D90C03D3F Time : 0.0 sec. user=mdettweiler [2012-12-06 02:12:31] 663*2^1236908-1 is not prime. Res64: B658387ECEAD84BB Time : 0.0 sec. user=mdettweiler [2012-12-06 02:12:32] 925*2^1236907-1 is not prime. Res64: F2872558B65130B4 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:12:32] 707*2^1236908-1 is not prime. Res64: BCDE8A805D2452D6 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:30:09] 725*2^1236908-1 is not prime. Res64: 9777196DCD565367 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:30:11] 755*2^1236908-1 is not prime. Res64: 253A4A25287E1BBB Time : 0.0 sec. user=mdettweiler [2012-12-06 02:30:11] 855*2^1236908-1 is not prime. Res64: 8B3E1CDA5D0D19CD Time : 0.0 sec. user=mdettweiler [2012-12-06 02:30:12] 915*2^1236908-1 is not prime. Res64: 5070BA90451B9378 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:47:30] 987*2^1236908-1 is not prime. Res64: 1C66C9CBE9E198C4 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:47:32] 621*2^1236909-1 is not prime. Res64: 737F527044D720B0 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:47:35] 625*2^1236909-1 is not prime. Res64: ACE883B03C2B55B6 Time : 0.0 sec. user=mdettweiler [2012-12-06 02:47:39] 609*2^1236909-1 is not prime. Res64: 3871F0F8A27FCA95 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:05:14] 709*2^1236909-1 is not prime. Res64: 27C4A79B9B7464F1 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:05:15] 727*2^1236909-1 is not prime. Res64: DA6BB1654EC51B08 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:05:18] 741*2^1236909-1 is not prime. Res64: 05DCC84458812F09 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:05:20] 769*2^1236909-1 is not prime. Res64: 9C420E0878C3EE5A Time : 0.0 sec. user=mdettweiler [2012-12-06 03:22:47] 865*2^1236909-1 is not prime. Res64: C5ED9A51257B0D67 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:40:31] 927*2^1236909-1 is not prime. Res64: 917950D4F1CD9CBB Time : 0.0 sec. user=mdettweiler [2012-12-06 03:41:05] 783*2^1236910-1 is not prime. Res64: CA715B487C70964F Time : 0.0 sec. user=mdettweiler [2012-12-06 03:50:41] 945*2^1236909-1 is not prime. Res64: 32AE6F285BFE4DF7 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:50:42] 713*2^1236910-1 is not prime. Res64: 2572AC1023519826 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:58:18] 791*2^1236910-1 is not prime. Res64: 9C016FEB3B41F439 Time : 0.0 sec. user=mdettweiler [2012-12-06 03:58:18] 891*2^1236910-1 is not prime. Res64: EDC8ABCF1E47F285 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:08:02] 945*2^1236910-1 is not prime. Res64: A622F8D016F15D9B Time : 0.0 sec. user=mdettweiler [2012-12-06 04:08:07] 965*2^1236910-1 is not prime. Res64: F20212E70A033592 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:15:36] 715*2^1236911-1 is not prime. Res64: B61BCE79CF59FB56 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:15:37] 805*2^1236911-1 is not prime. Res64: 032903A66ACC8F90 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:25:57] 909*2^1236911-1 is not prime. Res64: 22FA7D57B9C61399 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:25:58] 629*2^1236912-1 is not prime. Res64: F8CD0720669DBB4C Time : 0.0 sec. user=mdettweiler [2012-12-06 04:32:59] 719*2^1236912-1 is not prime. Res64: 44AB2110BA831A6B Time : 0.0 sec. user=mdettweiler [2012-12-06 04:33:02] 767*2^1236912-1 is not prime. Res64: 226BBC76677032E9 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:43:17] 875*2^1236912-1 is not prime. Res64: 9A4B502AD4058912 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:43:18] 945*2^1236912-1 is not prime. Res64: BA42072F7A0BB7B1 Time : 0.0 sec. user=mdettweiler [2012-12-06 04:45:57] 727*2^1236913-1 is not prime. Res64: 0539F507F6F9F96E Time : 0.0 sec. user=mdettweiler [2012-12-06 04:50:25] 977*2^1236912-1 is not prime. Res64: 4530E5E94DAA840C Time : 0.0 sec. user=mdettweiler [2012-12-06 04:50:26] 983*2^1236912-1 is not prime. Res64: 99865C6951C1FED8 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:00:53] 919*2^1236913-1 is not prime. Res64: 755841425B645CBA Time : 0.0 sec. user=mdettweiler [2012-12-06 05:00:54] 999*2^1236913-1 is not prime. Res64: 43989F95B618BE51 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:07:43] 747*2^1236914-1 is not prime. Res64: 513003683FFB6745 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:07:45] 851*2^1236914-1 is not prime. Res64: 8C1D2C5814C3DB40 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:18:13] 917*2^1236914-1 is not prime. Res64: EE31CE6D1AE01313 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:18:13] 953*2^1236914-1 is not prime. Res64: C22F920A099877FD Time : 0.0 sec. user=mdettweiler [2012-12-06 05:25:15] 651*2^1236915-1 is not prime. Res64: 8E8BE6FA682F03C8 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:25:15] 711*2^1236915-1 is not prime. Res64: F8F0E3A330C102A0 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:35:34] 849*2^1236915-1 is not prime. Res64: 8720F0A9515A458C Time : 0.0 sec. user=mdettweiler [2012-12-06 05:35:34] 871*2^1236915-1 is not prime. Res64: 1DE2BA0BB396FCD8 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:42:33] 903*2^1236915-1 is not prime. Res64: 4F051867DC38817B Time : 0.0 sec. user=mdettweiler [2012-12-06 05:42:33] 921*2^1236915-1 is not prime. Res64: 1A077D34A26F7B09 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:52:52] 615*2^1236916-1 is not prime. Res64: 66004EAE5B7B2EC1 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:52:53] 629*2^1236916-1 is not prime. Res64: 5FFC0F4B1DC10AE6 Time : 0.0 sec. user=mdettweiler [2012-12-06 05:59:51] 647*2^1236916-1 is not prime. Res64: A62451BB7D6D1DBB Time : 0.0 sec. user=mdettweiler [2012-12-06 05:59:51] 677*2^1236916-1 is not prime. Res64: 632565D64C79557F Time : 0.0 sec. user=mdettweiler [2012-12-06 06:10:11] 735*2^1236916-1 is not prime. Res64: B25F72B892B43F3F Time : 0.0 sec. user=mdettweiler [2012-12-06 06:10:12] 759*2^1236916-1 is not prime. Res64: 390778D1D92D087A Time : 0.0 sec. user=mdettweiler [2012-12-06 06:17:09] 777*2^1236916-1 is not prime. Res64: 030CE37BA387E5A8 Time : 0.0 sec. user=mdettweiler [2012-12-06 06:17:10] 933*2^1236916-1 is not prime. Res64: BACAB52F3B236489 Time : 0.0 sec. user=mdettweiler [2012-12-06 06:27:36] 939*2^1236916-1 is not prime. Res64: 4649687AEDAAD4EB Time : 0.0 sec. user=mdettweiler [2012-12-06 06:27:36] 655*2^1236917-1 is not prime. Res64: FC0109889A0785D6 Time : 0.0 sec. user=mdettweiler [2012-12-06 06:34:30] 825*2^1236917-1 is not prime. Res64: D8C60F5FD043B5BB Time : 0.0 sec. user=mdettweiler [2012-12-06 06:34:31] 861*2^1236917-1 is not prime. Res64: FE570348E18E503E Time : 0.0 sec. user=mdettweiler [2012-12-06 06:44:53] 879*2^1236917-1 is not prime. Res64: 814DD955461668DC Time : 0.0 sec. user=mdettweiler [2012-12-06 06:44:54] 957*2^1236917-1 is not prime. Res64: 29DE93B1BA7A5FE4 Time : 0.0 sec. user=mdettweiler [2012-12-06 06:51:49] 611*2^1236918-1 is not prime. Res64: 583B6DA941033386 Time : 0.0 sec. user=mdettweiler [2012-12-06 06:51:49] 651*2^1236918-1 is not prime. Res64: E898D1807942D96C Time : 0.0 sec. user=mdettweiler [2012-12-06 07:02:11] 677*2^1236918-1 is not prime. Res64: E53E1253C1B4EF2A Time : 0.0 sec. user=mdettweiler [2012-12-06 07:02:13] 683*2^1236918-1 is not prime. Res64: 0CF1A2EB1D33DCD8 Time : 0.0 sec. user=mdettweiler [2012-12-06 07:09:06] 713*2^1236918-1 is not prime. Res64: 7FD5AE4B69D71EEC Time : 0.0 sec. user=mdettweiler [2012-12-06 07:09:07] 731*2^1236918-1 is not prime. Res64: F7C90910DEF45E2E Time : 0.0 sec. user=mdettweiler [2012-12-06 07:19:47] 777*2^1236918-1 is not prime. Res64: 8E9AEBF9474EF13E Time : 0.0 sec. user=mdettweiler [2012-12-06 07:19:48] 887*2^1236918-1 is not prime. Res64: EE5C6074AA0F7C13 Time : 0.0 sec. user=mdettweiler [2012-12-06 07:26:25] 977*2^1236918-1 is not prime. Res64: 84C1FACE5457575C Time : 0.0 sec. user=mdettweiler [2012-12-06 07:26:25] 993*2^1236918-1 is not prime. Res64: F538A58994A058AB Time : 0.0 sec. user=mdettweiler [2012-12-06 07:37:07] 679*2^1236919-1 is not prime. Res64: BACBB0337E470C95 Time : 0.0 sec. user=mdettweiler [2012-12-06 07:37:08] 681*2^1236919-1 is not prime. Res64: 96574D8A7064A474 Time : 0.0 sec. user=mdettweiler [2012-12-06 07:43:43] 943*2^1236919-1 is not prime. Res64: 61A6A49E41920A32 Time : 0.0 sec. user=mdettweiler [2012-12-06 07:43:44] 973*2^1236919-1 is not prime. Res64: D6FB393E65A4A3AF Time : 0.0 sec. user=mdettweiler [2012-12-06 07:54:25] 993*2^1236919-1 is not prime. Res64: 6E2659667E346D43 Time : 0.0 sec. user=mdettweiler [2012-12-06 07:54:26] 669*2^1236920-1 is not prime. Res64: EE9F405B4C017BFF Time : 0.0 sec. user=mdettweiler [2012-12-06 08:01:02] 699*2^1236920-1 is not prime. Res64: 75B19BAAC77E42A0 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:01:03] 713*2^1236920-1 is not prime. Res64: 5656BCB8C91BC381 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:11:44] 725*2^1236920-1 is not prime. Res64: A0F0C089D45E17D1 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:11:46] 845*2^1236920-1 is not prime. Res64: 0D06EC1A4ADFBB50 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:18:31] 893*2^1236920-1 is not prime. Res64: 78D411F9167BB4F9 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:18:31] 929*2^1236920-1 is not prime. Res64: A4783F432D084534 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:29:23] 999*2^1236920-1 is not prime. Res64: D763FBD418DBC395 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:29:24] 609*2^1236921-1 is not prime. Res64: 67520AD75D30F1A7 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:35:49] 651*2^1236921-1 is not prime. Res64: E8CAE23E29CA1B22 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:35:50] 669*2^1236921-1 is not prime. Res64: A8B9E807C57033AB Time : 0.0 sec. user=mdettweiler [2012-12-06 08:46:42] 709*2^1236921-1 is not prime. Res64: 0040AEEE09517EEC Time : 0.0 sec. user=mdettweiler [2012-12-06 08:46:42] 727*2^1236921-1 is not prime. Res64: A3EC7194C6D33336 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:53:08] 603*2^1236922-1 is not prime. Res64: B2CDB3E326F19809 Time : 0.0 sec. user=mdettweiler [2012-12-06 08:53:08] 617*2^1236922-1 is not prime. Res64: FD5FA455CBF8AC74 Time : 0.0 sec. user=mdettweiler [2012-12-06 09:03:59] 657*2^1236922-1 is not prime. Res64: FAEC48285CC812FC Time : 0.0 sec. user=mdettweiler [2012-12-06 09:04:00] 665*2^1236922-1 is not prime. Res64: AB0AD4FA41753A1E Time : 0.0 sec. user=mdettweiler [2012-12-06 09:10:26] 675*2^1236922-1 is not prime. Res64: 328156104953F76C Time : 0.0 sec. user=mdettweiler [2012-12-06 09:10:28] 677*2^1236922-1 is not prime. Res64: B0D532327C4195AD Time : 0.0 sec. user=mdettweiler [2012-12-06 09:21:20] 695*2^1236922-1 is not prime. Res64: 061616091331BB2D Time : 0.0 sec. user=mdettweiler [2012-12-06 09:21:21] 833*2^1236922-1 is not prime. Res64: CE5378C74CAAD52D Time : 0.0 sec. user=mdettweiler [2012-12-06 09:27:59] 911*2^1236922-1 is not prime. Res64: 1CA337BDB9AD2B13 Time : 0.0 sec. user=mdettweiler [2012-12-06 09:27:59] 945*2^1236922-1 is not prime. Res64: C10BAC9349BB4994 Time : 0.0 sec. user=mdettweiler [2012-12-06 09:38:39] 983*2^1236922-1 is not prime. Res64: 20D9D2288B189EB3 Time : 0.0 sec. user=mdettweiler [2012-12-06 09:38:40] 1001*2^1236922-1 is not prime. Res64: DDB8AF50697AC744 Time : 0.0 sec. user=mdettweiler [2012-12-06 09:45:16] 615*2^1236923-1 is not prime. Res64: 8D9690FE62D7EA89 Time : 0.0 sec. user=mdettweiler [2012-12-06 09:45:17] 669*2^1236923-1 is not prime. Res64: DC17C52B81B0AAFE Time : 0.0 sec. user=mdettweiler [2012-12-06 09:55:57] 693*2^1236923-1 is not prime. Res64: 8C5911782682EBED Time : 0.0 sec. user=mdettweiler [2012-12-06 09:55:57] 775*2^1236923-1 is not prime. Res64: 2A0CFED261BBC598 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:02:34] 801*2^1236923-1 is not prime. Res64: 4C0B0BB8FDACCA96 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:02:35] 913*2^1236923-1 is not prime. Res64: 5BAA4D9B90221B5E Time : 0.0 sec. user=mdettweiler [2012-12-06 10:13:14] 915*2^1236923-1 is not prime. Res64: 94A93D9CA0C74C29 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:13:16] 945*2^1236923-1 is not prime. Res64: DB2D8CD1E9D0FDEC Time : 0.0 sec. user=mdettweiler [2012-12-06 10:19:58] 969*2^1236923-1 is not prime. Res64: 8A1F2B0BD35476C5 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:19:59] 675*2^1236924-1 is not prime. Res64: 6E33440732AAF934 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:30:46] 689*2^1236924-1 is not prime. Res64: 380D935079580A79 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:30:47] 753*2^1236924-1 is not prime. Res64: 66807CD230A8A3C5 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:37:16] 773*2^1236924-1 is not prime. Res64: AB9F00B090895026 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:37:17] 945*2^1236924-1 is not prime. Res64: 8EC3EF7F1E2529B7 Time : 0.0 sec. user=mdettweiler [2012-12-06 10:48:04] 619*2^1236925-1 is not prime. Res64: 628387588CFACA0D Time : 0.0 sec. user=mdettweiler [2012-12-06 10:48:04] 741*2^1236925-1 is not prime. Res64: 2DE39C892B11879D Time : 0.0 sec. user=mdettweiler [2012-12-06 10:54:35] 817*2^1236925-1 is not prime. Res64: 84062A3161E0E3DD Time : 0.0 sec. user=mdettweiler [2012-12-06 10:54:35] 867*2^1236925-1 is not prime. Res64: 5F9DA16A5F682D89 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:05:23] 885*2^1236925-1 is not prime. Res64: 9B0287097F95DAC9 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:05:24] 915*2^1236925-1 is not prime. Res64: 64FBA54DD1DE5F36 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:11:53] 937*2^1236925-1 is not prime. Res64: DEC4DBF7D2CFB395 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:11:58] 961*2^1236925-1 is not prime. Res64: D5D762D139F3D95A Time : 0.0 sec. user=mdettweiler [2012-12-06 11:22:43] 663*2^1236926-1 is not prime. Res64: 1E1BA7A61B31C197 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:22:43] 707*2^1236926-1 is not prime. Res64: F9B7C75DFE4E23B4 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:32:02] 1001*2^1236926-1 is not prime. Res64: 568D7549B790E348 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:32:03] 609*2^1236927-1 is not prime. Res64: 0D93F9F2CA835264 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:40:00] 649*2^1236927-1 is not prime. Res64: 0EBDF670B192E7A8 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:40:01] 931*2^1236927-1 is not prime. Res64: 82C421C0FFD51A56 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:49:20] 623*2^1236928-1 is not prime. Res64: 3A799DBCE3C47182 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:49:21] 629*2^1236928-1 is not prime. Res64: F7F7235893EF1E41 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:57:17] 677*2^1236928-1 is not prime. Res64: 9D23EF530C11BDE0 Time : 0.0 sec. user=mdettweiler [2012-12-06 11:57:18] 765*2^1236928-1 is not prime. Res64: 8E1C93A26D9B7F7B Time : 0.0 sec. user=mdettweiler [2012-12-06 12:06:39] 797*2^1236928-1 is not prime. Res64: 526A40056E1F64A8 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:06:41] 927*2^1236928-1 is not prime. Res64: 1ABCA2EC54BBC5DC Time : 0.0 sec. user=mdettweiler [2012-12-06 12:14:36] 631*2^1236929-1 is not prime. Res64: 6468D3E80516CDEC Time : 0.0 sec. user=mdettweiler [2012-12-06 12:14:39] 729*2^1236929-1 is not prime. Res64: F70E0AA35B08C78B Time : 0.0 sec. user=mdettweiler [2012-12-06 12:24:01] 907*2^1236929-1 is not prime. Res64: 9F8463B756D91638 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:24:02] 945*2^1236929-1 is not prime. Res64: FD658D3B109028F4 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:32:07] 949*2^1236929-1 is not prime. Res64: 5C912C111DA3D5DD Time : 0.0 sec. user=mdettweiler [2012-12-06 12:32:08] 969*2^1236929-1 is not prime. Res64: CBDCCEA577640416 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:41:22] 725*2^1236930-1 is not prime. Res64: AF6CAF4E5EA92FB2 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:41:23] 735*2^1236930-1 is not prime. Res64: 6E2CB0A5C2AE7672 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:49:35] 803*2^1236930-1 is not prime. Res64: 0B3876E38731AF41 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:49:35] 843*2^1236930-1 is not prime. Res64: DE4A7CD0CC691E98 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:59:22] 845*2^1236930-1 is not prime. Res64: 887D26B59DD17ED9 Time : 0.0 sec. user=mdettweiler [2012-12-06 12:59:22] 873*2^1236930-1 is not prime. Res64: 361B76136C69C6EC Time : 0.0 sec. user=mdettweiler [2012-12-06 13:08:16] 639*2^1236931-1 is not prime. Res64: D658255F7B614A8D Time : 0.0 sec. user=mdettweiler [2012-12-06 13:08:16] 855*2^1236931-1 is not prime. Res64: 7994CAC6C85F9CE1 Time : 0.0 sec. user=mdettweiler [2012-12-06 13:17:31] 837*2^1236932-1 is not prime. Res64: D6DE83FD1D67447D Time : 0.0 sec. user=mdettweiler [2012-12-06 13:17:32] 855*2^1236932-1 is not prime. Res64: DFABF7116A859B62 Time : 0.0 sec. user=mdettweiler [2012-12-06 13:25:44] 747*2^1236933-1 is not prime. Res64: 62711922DF5E385B Time : 0.0 sec. user=mdettweiler [2012-12-06 13:25:45] 861*2^1236933-1 is not prime. Res64: 54AEF7E9E710C62E Time : 0.0 sec. user=mdettweiler [2012-12-06 13:35:04] 867*2^1236933-1 is not prime. Res64: AF39789C652D8D69 Time : 0.0 sec. user=mdettweiler [2012-12-06 13:35:04] 623*2^1236934-1 is not prime. Res64: 7F061114F7FBB052 Time : 0.0 sec. user=mdettweiler [2012-12-06 13:43:54] 645*2^1236934-1 is not prime. Res64: BE539C78A13202D6 Time : 0.0 sec. user=mdettweiler [2012-12-06 13:43:54] 723*2^1236934-1 is not prime. Res64: 3A41D68F6A9FFDEF Time : 0.0 sec. user=mdettweiler [2012-12-06 13:53:13] 887*2^1236934-1 is not prime. Res64: 013433D68B58D1B2 Time : 0.0 sec. user=mdettweiler [2012-12-06 13:53:13] 923*2^1236934-1 is not prime. Res64: 5F459EBF1498DEF3 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:01:20] 619*2^1236935-1 is not prime. Res64: 6BF466F7EDAC1803 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:01:21] 963*2^1236935-1 is not prime. Res64: 8E7CC8728FD23DBB Time : 0.0 sec. user=mdettweiler [2012-12-06 14:10:33] 803*2^1236936-1 is not prime. Res64: CC72DAC4B8FCB4B2 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:10:34] 845*2^1236936-1 is not prime. Res64: 59DF820A92E118E2 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:18:53] 615*2^1236937-1 is not prime. Res64: BE9AB8B2FB3C4C5D Time : 0.0 sec. user=mdettweiler [2012-12-06 14:18:54] 649*2^1236937-1 is not prime. Res64: 67886C3230BC4163 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:28:01] 691*2^1236937-1 is not prime. Res64: E849A947F2246DF5 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:28:02] 641*2^1236938-1 is not prime. Res64: 8F0A687CF5350095 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:36:15] 707*2^1236938-1 is not prime. Res64: 522FCC7E0116AE63 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:36:15] 791*2^1236938-1 is not prime. Res64: E47F5CD7B4DC78A7 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:45:22] 813*2^1236938-1 is not prime. Res64: E81CB6E8C428DC28 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:45:23] 867*2^1236938-1 is not prime. Res64: D7DC5C087E534810 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:53:36] 893*2^1236938-1 is not prime. Res64: 7AB4710D2C933718 Time : 0.0 sec. user=mdettweiler [2012-12-06 14:53:36] 911*2^1236938-1 is not prime. Res64: 404864980C91AC3E Time : 0.0 sec. user=mdettweiler [2012-12-06 15:02:42] 923*2^1236938-1 is not prime. Res64: DF579FA272F16B85 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:02:43] 935*2^1236938-1 is not prime. Res64: 5687E9A0FB379A85 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:10:56] 977*2^1236938-1 is not prime. Res64: 467524D954FB85A1 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:10:58] 955*2^1236939-1 is not prime. Res64: 8ED475DF6BC48D67 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:20:04] 969*2^1236939-1 is not prime. Res64: 76BDE515E107EC19 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:20:05] 975*2^1236939-1 is not prime. Res64: 6AD94F5AA78A06A9 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:28:30] 603*2^1236940-1 is not prime. Res64: 595830D63E4D959C Time : 0.0 sec. user=mdettweiler [2012-12-06 15:28:30] 629*2^1236940-1 is not prime. Res64: 1C9792D8D3E7B20E Time : 0.0 sec. user=mdettweiler [2012-12-06 15:37:25] 717*2^1236940-1 is not prime. Res64: 2AB585004589F023 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:37:26] 743*2^1236940-1 is not prime. Res64: 45277581BCDF61F7 Time : 0.0 sec. user=mdettweiler [2012-12-06 15:45:50] 857*2^1236940-1 is not prime. Res64: 26E67A47CC5CA5DF Time : 0.0 sec. user=mdettweiler [2012-12-06 15:45:50] 899*2^1236940-1 is not prime. Res64: A33AAB4648CB877D Time : 0.0 sec. user=mdettweiler [2012-12-06 15:55:01] 929*2^1236940-1 is not prime. Res64: FD4BB62103ED5B0F Time : 0.0 sec. user=mdettweiler [2012-12-06 15:55:02] 957*2^1236940-1 is not prime. Res64: B7D09FD6DA32A842 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:03:40] 983*2^1236940-1 is not prime. Res64: B6BCCE3986721309 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:03:43] 619*2^1236941-1 is not prime. Res64: 10B6F9E1D34D5437 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:12:49] 711*2^1236941-1 is not prime. Res64: B496994B77016421 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:12:53] 717*2^1236941-1 is not prime. Res64: E71928501D05D2EE Time : 0.0 sec. user=mdettweiler [2012-12-06 16:21:35] 825*2^1236941-1 is not prime. Res64: 66E0C43F7A9A31E9 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:21:36] 931*2^1236941-1 is not prime. Res64: C4C0C0CC65FEF140 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:31:03] 981*2^1236941-1 is not prime. Res64: 929B122EF2ABD3A5 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:31:03] 651*2^1236942-1 is not prime. Res64: 69C6041258385671 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:39:06] 681*2^1236942-1 is not prime. Res64: E1E2FE2742A68704 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:39:08] 713*2^1236942-1 is not prime. Res64: E9DEE2E2F461FCFF Time : 0.0 sec. user=mdettweiler [2012-12-06 16:48:28] 801*2^1236942-1 is not prime. Res64: 0638786778595612 Time : 0.0 sec. user=mdettweiler [2012-12-06 16:48:29] 945*2^1236942-1 is not prime. Res64: 06DBC42A1A9CBB4A Time : 0.0 sec. user=mdettweiler [2012-12-06 16:56:46] 965*2^1236942-1 is not prime. Res64: 935E19365940641D Time : 0.0 sec. user=mdettweiler [2012-12-06 16:56:46] 977*2^1236942-1 is not prime. Res64: E03014A567228023 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:05:54] 615*2^1236943-1 is not prime. Res64: 518444E75FD4B5F3 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:05:59] 693*2^1236943-1 is not prime. Res64: 06D8D5AD8AB99C65 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:14:14] 763*2^1236943-1 is not prime. Res64: DAA767F2E5DEDAD4 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:14:16] 771*2^1236943-1 is not prime. Res64: 4F792606410A7F1A Time : 0.0 sec. user=mdettweiler [2012-12-06 17:23:43] 861*2^1236943-1 is not prime. Res64: 49F5544213C24A21 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:23:44] 623*2^1236944-1 is not prime. Res64: 5C641EF8B131119E Time : 0.0 sec. user=mdettweiler [2012-12-06 17:31:50] 843*2^1236944-1 is not prime. Res64: CA924F032F50E2C8 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:31:51] 903*2^1236944-1 is not prime. Res64: 20863AA3DEEC4DF6 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:41:09] 959*2^1236944-1 is not prime. Res64: 448AD344B2609189 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:41:11] 995*2^1236944-1 is not prime. Res64: 17AB74145AFAD0AB Time : 0.0 sec. user=mdettweiler [2012-12-06 17:49:20] 691*2^1236945-1 is not prime. Res64: F6E2B1624D8CDAB3 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:49:21] 817*2^1236945-1 is not prime. Res64: 566C95506BB46EC8 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:58:37] 919*2^1236945-1 is not prime. Res64: 9AE68F4FB9E2C8B9 Time : 0.0 sec. user=mdettweiler [2012-12-06 17:58:39] 955*2^1236945-1 is not prime. Res64: 750682CAAD6D251E Time : 0.0 sec. user=mdettweiler [2012-12-06 18:06:47] 651*2^1236946-1 is not prime. Res64: 0D8AC56076A2DB41 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:06:49] 663*2^1236946-1 is not prime. Res64: 5AA9179B43DC4FBD Time : 0.0 sec. user=mdettweiler [2012-12-06 18:16:19] 695*2^1236946-1 is not prime. Res64: 1E584C71A6140F28 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:16:20] 737*2^1236946-1 is not prime. Res64: 2DBA99542EA96C35 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:24:25] 765*2^1236946-1 is not prime. Res64: 156DCA080B674AD5 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:24:25] 833*2^1236946-1 is not prime. Res64: 422552DFABFBE381 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:33:49] 857*2^1236946-1 is not prime. Res64: 3511B0B68396DEAE Time : 0.0 sec. user=mdettweiler [2012-12-06 18:33:49] 917*2^1236946-1 is not prime. Res64: A5950C3F83411BF8 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:41:55] 941*2^1236946-1 is not prime. Res64: 253231DF04AFD035 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:41:55] 987*2^1236946-1 is not prime. Res64: 05B0EF8953C91533 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:51:16] 993*2^1236946-1 is not prime. Res64: 854C8B1CCAAC54CA Time : 0.0 sec. user=mdettweiler [2012-12-06 18:51:16] 1001*2^1236946-1 is not prime. Res64: E90FDC26D0CF21DE Time : 0.0 sec. user=mdettweiler [2012-12-06 18:59:21] 621*2^1236947-1 is not prime. Res64: C4AD7F238B7E2854 Time : 0.0 sec. user=mdettweiler [2012-12-06 18:59:22] 633*2^1236947-1 is not prime. Res64: 2EC0F6B045A24C58 Time : 0.0 sec. user=mdettweiler [2012-12-06 19:08:39] 685*2^1236947-1 is not prime. Res64: FEB734151C550CE2 Time : 0.0 sec. user=mdettweiler [2012-12-06 19:08:41] 753*2^1236947-1 is not prime. Res64: 2D90EDF27515327C Time : 0.0 sec. user=mdettweiler [2012-12-06 19:16:44] 909*2^1236947-1 is not prime. Res64: B7EEEF8C4001C71A Time : 0.0 sec. user=mdettweiler [2012-12-06 19:16:44] 949*2^1236947-1 is not prime. Res64: 5E89B0ED3DE42BFD Time : 0.0 sec. user=mdettweiler [2012-12-06 19:26:05] 981*2^1236947-1 is not prime. Res64: C7C8660EB7F46E5A Time : 0.0 sec. user=mdettweiler [2012-12-06 19:26:05] 783*2^1236948-1 is not prime. Res64: 8F1ABFDC2B825312 Time : 0.0 sec. user=mdettweiler [2012-12-06 19:34:05] 843*2^1236948-1 is not prime. Res64: 52F4E87908F59D3E Time : 0.0 sec. user=mdettweiler [2012-12-06 19:34:05] 915*2^1236948-1 is not prime. Res64: 14BD42F49839B835 Time : 0.0 sec. user=mdettweiler [2012-12-06 19:43:26] 933*2^1236948-1 is not prime. Res64: 0B817A85CCA5C237 Time : 0.0 sec. user=mdettweiler [2012-12-06 19:43:26] 945*2^1236948-1 is not prime. Res64: 5623BA40FC54381B Time : 0.0 sec. user=mdettweiler [2012-12-06 19:51:25] 649*2^1236949-1 is not prime. Res64: 26EFD8F396F196D6 Time : 0.0 sec. user=mdettweiler [2012-12-06 19:51:25] 667*2^1236949-1 is not prime. Res64: 6A8C1EE87F7F7988 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:00:46] 769*2^1236949-1 is not prime. Res64: 53B2974B978EB7E4 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:00:47] 817*2^1236949-1 is not prime. Res64: 6EB141BB3E0BB712 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:09:05] 939*2^1236949-1 is not prime. Res64: EEED0333F0320212 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:09:06] 675*2^1236950-1 is not prime. Res64: 670B6CCF785BECB0 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:18:43] 761*2^1236950-1 is not prime. Res64: D74B97D47422D0BC Time : 0.0 sec. user=mdettweiler [2012-12-06 20:18:43] 797*2^1236950-1 is not prime. Res64: F7FFE24A71740D0F Time : 0.0 sec. user=mdettweiler [2012-12-06 20:26:35] 801*2^1236950-1 is not prime. Res64: 8BEC0BB280F1182B Time : 0.0 sec. user=mdettweiler [2012-12-06 20:26:36] 833*2^1236950-1 is not prime. Res64: 4CCFE59E6C49E3AC Time : 0.0 sec. user=mdettweiler [2012-12-06 20:36:03] 977*2^1236950-1 is not prime. Res64: 28DE15EC42E87013 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:36:03] 981*2^1236950-1 is not prime. Res64: FF39EC21B265DBE1 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:43:54] 649*2^1236951-1 is not prime. Res64: 60CAC6BD8EFEF409 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:43:54] 723*2^1236951-1 is not prime. Res64: FB0044C40D28D604 Time : 0.0 sec. user=mdettweiler [2012-12-06 20:53:22] 735*2^1236951-1 is not prime. Res64: 1F9B0FB79A47372C Time : 0.0 sec. user=mdettweiler [2012-12-06 20:53:22] 745*2^1236951-1 is not prime. Res64: 625B977C8BD444F3 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:01:13] 871*2^1236951-1 is not prime. Res64: F390C80618F7D902 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:01:14] 895*2^1236951-1 is not prime. Res64: 8226DEF1031BD277 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:10:43] 943*2^1236951-1 is not prime. Res64: 527D8357087AA249 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:10:44] 665*2^1236952-1 is not prime. Res64: 9DEAAEA951D69A7C Time : 0.0 sec. user=mdettweiler [2012-12-06 21:18:49] 699*2^1236952-1 is not prime. Res64: 694C01BCD9E6B7A8 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:18:50] 989*2^1236952-1 is not prime. Res64: 8C22689A4563350F Time : 0.0 sec. user=mdettweiler [2012-12-06 21:28:07] 657*2^1236953-1 is not prime. Res64: 687CCD321CD6805B Time : 0.0 sec. user=mdettweiler [2012-12-06 21:28:08] 795*2^1236953-1 is not prime. Res64: 6FCF21812F4FA7E2 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:36:11] 811*2^1236953-1 is not prime. Res64: 372C243D33ADE977 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:36:11] 861*2^1236953-1 is not prime. Res64: 151954F58729E31F Time : 0.0 sec. user=mdettweiler [2012-12-06 21:45:27] 867*2^1236953-1 is not prime. Res64: 9B4F3C2DB5EE32AF Time : 0.0 sec. user=mdettweiler [2012-12-06 21:45:28] 955*2^1236953-1 is not prime. Res64: D9E21E20A1E424F8 Time : 0.0 sec. user=mdettweiler [2012-12-06 21:53:33] 791*2^1236954-1 is not prime. Res64: 671006A39B182D2B Time : 0.0 sec. user=mdettweiler [2012-12-06 21:53:33] 815*2^1236954-1 is not prime. Res64: B26E898B4F74B443 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:02:49] 945*2^1236954-1 is not prime. Res64: 50E5EE3F4A69BC11 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:02:50] 947*2^1236954-1 is not prime. Res64: C9266EC9DB86E8EB Time : 0.0 sec. user=mdettweiler [2012-12-06 22:10:55] 715*2^1236955-1 is not prime. Res64: CD9300895A210892 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:10:59] 723*2^1236955-1 is not prime. Res64: B87656D075B44003 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:20:17] 771*2^1236955-1 is not prime. Res64: 41DE199A9358C8B5 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:20:18] 859*2^1236955-1 is not prime. Res64: C5EFCCD80135DDC2 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:29:09] 873*2^1236955-1 is not prime. Res64: 97D359586150442C Time : 0.0 sec. user=mdettweiler [2012-12-06 22:29:10] 885*2^1236955-1 is not prime. Res64: 02AC4835C4DC0F7C Time : 0.0 sec. user=mdettweiler [2012-12-06 22:37:39] 951*2^1236955-1 is not prime. Res64: 41568C0EAE819200 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:37:39] 969*2^1236955-1 is not prime. Res64: 075FF81C9F5B9470 Time : 0.0 sec. user=mdettweiler [2012-12-06 22:46:28] 629*2^1236956-1 is not prime. Res64: 3A8DDCDFD7EF30BD Time : 0.0 sec. user=mdettweiler [2012-12-06 22:46:29] 717*2^1236956-1 is not prime. Res64: 7E869F918E8FD6AE Time : 0.0 sec. user=mdettweiler [2012-12-06 22:55:07] 803*2^1236956-1 is not prime. Res64: 8659C87C89B9B82C Time : 0.0 sec. user=mdettweiler [2012-12-06 22:55:08] 893*2^1236956-1 is not prime. Res64: 540F8083C89C5B7E Time : 0.0 sec. user=mdettweiler [2012-12-06 23:04:02] 945*2^1236956-1 is not prime. Res64: 6868891F6DE2C9B5 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:04:03] 963*2^1236956-1 is not prime. Res64: 04535466BF6CB92A Time : 0.0 sec. user=mdettweiler [2012-12-06 23:12:30] 607*2^1236957-1 is not prime. Res64: E10E1662C63948A3 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:12:32] 651*2^1236957-1 is not prime. Res64: 37C0B170EA12C7B7 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:21:26] 717*2^1236957-1 is not prime. Res64: 4A0B786AE9F79BE7 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:21:26] 751*2^1236957-1 is not prime. Res64: 904F817FE0335F6F Time : 0.0 sec. user=mdettweiler [2012-12-06 23:30:05] 889*2^1236957-1 is not prime. Res64: 4CA2C4B5B2A4C312 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:30:06] 927*2^1236957-1 is not prime. Res64: CF0B412B5359C39C Time : 0.0 sec. user=mdettweiler [2012-12-06 23:38:46] 937*2^1236957-1 is not prime. Res64: 5F93089379E5723A Time : 0.0 sec. user=mdettweiler [2012-12-06 23:38:46] 603*2^1236958-1 is not prime. Res64: AA0FD8E63251625B Time : 0.0 sec. user=mdettweiler [2012-12-06 23:47:26] 611*2^1236958-1 is not prime. Res64: 2108D806DCE45577 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:47:27] 623*2^1236958-1 is not prime. Res64: D9603D1932F7462A Time : 0.0 sec. user=mdettweiler [2012-12-06 23:56:05] 651*2^1236958-1 is not prime. Res64: CCA6632E82F105A0 Time : 0.0 sec. user=mdettweiler [2012-12-06 23:56:06] 713*2^1236958-1 is not prime. Res64: DC7CEF3AAAA0F1C4 Time : 0.0 sec.