user=mdettweiler [2012-11-11 00:08:31] 765*2^1234212-1 is not prime. Res64: 92560F231482EC8A Time : 0.0 sec. user=mdettweiler [2012-11-11 00:08:33] 609*2^1234213-1 is not prime. Res64: 0CF6B26E51EA834C Time : 0.0 sec. user=mdettweiler [2012-11-11 00:32:59] 639*2^1234213-1 is not prime. Res64: 5DE34B230A75B7DA Time : 0.0 sec. user=mdettweiler [2012-11-11 00:33:04] 675*2^1234213-1 is not prime. Res64: DBE806452F01E213 Time : 0.0 sec. user=mdettweiler [2012-11-11 00:37:57] 771*2^1234213-1 is not prime. Res64: 07F75709C6D1E307 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:52:36] 801*2^1234213-1 is not prime. Res64: 41AC96F320722CE2 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:53:04] 831*2^1234213-1 is not prime. Res64: 2CF92D24DBDFE05F Time : 0.0 sec. user=mdettweiler [2012-11-11 00:54:07] 641*2^1234214-1 is not prime. Res64: F09CF0354368318F Time : 0.0 sec. user=mdettweiler [2012-11-11 00:54:08] 687*2^1234214-1 is not prime. Res64: C7CB7F0A0C6FDAA7 Time : 0.0 sec. user=gd_barnes [2012-11-11 00:55:20] 747*2^1234213-1 is not prime. Res64: 2C02C75A799711A7 Time : 0.0 sec. user=mdettweiler [2012-11-11 00:58:39] 687*2^1234213-1 is not prime. Res64: B2D9FBFBC6F35527 Time : 0.0 sec. user=mdettweiler [2012-11-11 00:58:40] 721*2^1234213-1 is not prime. Res64: D52909DF7903C431 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:00:17] 867*2^1234213-1 is not prime. Res64: 6AAC51C5ADDDBCB5 Time : 0.0 sec. user=mdettweiler [2012-11-11 01:15:19] 827*2^1234214-1 is not prime. Res64: 1021BD5237C491EC Time : 0.0 sec. user=mdettweiler [2012-11-11 01:15:23] 917*2^1234214-1 is not prime. Res64: D882E5CB8C564DE3 Time : 0.0 sec. user=mdettweiler [2012-11-11 01:19:30] 953*2^1234214-1 is not prime. Res64: 9EEE8F03E0A19074 Time : 0.0 sec. user=mdettweiler [2012-11-11 01:19:30] 971*2^1234214-1 is not prime. Res64: 6D60011B57D5C642 Time : 0.0 sec. user=mdettweiler [2012-11-11 01:36:33] 993*2^1234214-1 is not prime. Res64: 8FD6E937A77E20DF Time : 0.0 sec. user=mdettweiler [2012-11-11 01:36:34] 639*2^1234215-1 is not prime. Res64: 3438FF444717A4F3 Time : 0.0 sec. user=mdettweiler [2012-11-11 01:40:22] 829*2^1234215-1 is not prime. Res64: AE0339257683E1BE Time : 0.0 sec. user=mdettweiler [2012-11-11 01:40:22] 909*2^1234215-1 is not prime. Res64: 47960501883361E3 Time : 0.0 sec. user=gd_barnes [2012-11-11 01:54:03] 859*2^1234213-1 is not prime. Res64: 71161CD985335C3D Time : 0.0 sec. user=mdettweiler [2012-11-11 01:57:25] 913*2^1234215-1 is not prime. Res64: 15970C182B29A6D4 Time : 0.0 sec. user=mdettweiler [2012-11-11 01:57:25] 843*2^1234216-1 is not prime. Res64: 2FE2F75EFC864565 Time : 0.0 sec. user=mdettweiler [2012-11-11 02:01:13] 965*2^1234216-1 is not prime. Res64: A4C9DDC4F7971703 Time : 0.0 sec. user=mdettweiler [2012-11-11 02:01:14] 975*2^1234216-1 is not prime. Res64: AC4FAE58626198AC Time : 0.0 sec. user=mdettweiler [2012-11-11 02:18:16] 729*2^1234217-1 is not prime. Res64: FDCB199FA45083C7 Time : 0.0 sec. user=mdettweiler [2012-11-11 02:18:22] 769*2^1234217-1 is not prime. Res64: CD0996DEF63AAD6B Time : 0.0 sec. user=mdettweiler [2012-11-11 02:22:03] 781*2^1234217-1 is not prime. Res64: CBA43215BFE520A9 Time : 0.0 sec. user=mdettweiler [2012-11-11 02:22:04] 799*2^1234217-1 is not prime. Res64: 3F1A557F82AD986C Time : 0.0 sec. user=mdettweiler [2012-11-11 02:41:20] 937*2^1234217-1 is not prime. Res64: 562AFD3B8DAADC9F Time : 0.0 sec. user=mdettweiler [2012-11-11 02:41:23] 955*2^1234217-1 is not prime. Res64: F6B047388F2D0FEF Time : 0.0 sec. user=mdettweiler [2012-11-11 02:42:57] 611*2^1234218-1 is not prime. Res64: EA12478772A8C4E3 Time : 0.0 sec. user=mdettweiler [2012-11-11 02:43:00] 711*2^1234218-1 is not prime. Res64: 08D2BD2D1396D464 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:02:35] 731*2^1234218-1 is not prime. Res64: 8E7D13EAFE15FFC0 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:02:39] 747*2^1234218-1 is not prime. Res64: 6E9C2CA8C72473B6 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:04:00] 803*2^1234218-1 is not prime. Res64: 4DC66342CCE4DF2A Time : 0.0 sec. user=mdettweiler [2012-11-11 03:04:02] 885*2^1234218-1 is not prime. Res64: 1F06DFC0CA156574 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:23:56] 971*2^1234218-1 is not prime. Res64: 26D9985606C946B8 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:23:56] 733*2^1234219-1 is not prime. Res64: 8BCADE75630824FE Time : 0.0 sec. user=mdettweiler [2012-11-11 03:24:56] 973*2^1234219-1 is not prime. Res64: 0F4055CFB30D09F5 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:24:57] 665*2^1234220-1 is not prime. Res64: FE8ADE6E124811CA Time : 0.0 sec. user=mdettweiler [2012-11-11 03:44:46] 725*2^1234220-1 is not prime. Res64: 360391DB2143123A Time : 0.0 sec. user=mdettweiler [2012-11-11 03:44:48] 813*2^1234220-1 is not prime. Res64: CAC34045349F419A Time : 0.0 sec. user=mdettweiler [2012-11-11 03:45:45] 657*2^1234221-1 is not prime. Res64: AB28F84FF6896054 Time : 0.0 sec. user=mdettweiler [2012-11-11 03:45:48] 735*2^1234221-1 is not prime. Res64: 606F310891B11A66 Time : 0.0 sec. user=mdettweiler [2012-11-11 04:05:52] 789*2^1234221-1 is not prime. Res64: B583254ECBFE61BD Time : 0.0 sec. user=mdettweiler [2012-11-11 04:05:55] 907*2^1234221-1 is not prime. Res64: BEFC5C8A176EF1AF Time : 0.0 sec. user=mdettweiler [2012-11-11 04:06:40] 961*2^1234221-1 is not prime. Res64: ADB2BAFDD2D4B5E6 Time : 0.0 sec. user=mdettweiler [2012-11-11 04:06:41] 999*2^1234221-1 is not prime. Res64: 224F72E39C4CACDC Time : 0.0 sec. user=mdettweiler [2012-11-11 04:27:22] 611*2^1234222-1 is not prime. Res64: 5F1A28321C71C2BF Time : 0.0 sec. user=mdettweiler [2012-11-11 04:27:22] 671*2^1234222-1 is not prime. Res64: 7ED3CD0EF005A69C Time : 0.0 sec. user=mdettweiler [2012-11-11 04:27:45] 681*2^1234222-1 is not prime. Res64: A775722D8FEA8AAC Time : 0.0 sec. user=mdettweiler [2012-11-11 04:27:46] 695*2^1234222-1 is not prime. Res64: F62D2CD06894A7FD Time : 0.0 sec. user=mdettweiler [2012-11-11 04:48:13] 741*2^1234222-1 is not prime. Res64: 0956B4C438BAF74B Time : 0.0 sec. user=mdettweiler [2012-11-11 04:48:14] 827*2^1234222-1 is not prime. Res64: F51DAB8002BAFFC2 Time : 0.0 sec. user=mdettweiler [2012-11-11 04:48:33] 873*2^1234222-1 is not prime. Res64: 1C28C4795F93EC56 Time : 0.0 sec. user=mdettweiler [2012-11-11 04:48:34] 983*2^1234222-1 is not prime. Res64: 2B6CE03BEFBAD222 Time : 0.0 sec. user=mdettweiler [2012-11-11 04:51:11] 609*2^1234223-1 is not prime. Res64: F20AE97ACE25EA26 Time : 0.0 sec. user=mdettweiler [2012-11-11 04:51:19] 669*2^1234223-1 is not prime. Res64: A29645E49FAFF016 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:09:06] 763*2^1234223-1 is not prime. Res64: 2A2F05A172EBE032 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:09:08] 789*2^1234223-1 is not prime. Res64: 335CF697DF38006C Time : 0.0 sec. user=mdettweiler [2012-11-11 05:09:20] 913*2^1234223-1 is not prime. Res64: 89BACF44C0BF1A50 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:09:22] 973*2^1234223-1 is not prime. Res64: 73BA723F3626DDC0 Time : 0.0 sec. user=gd_barnes [2012-11-11 05:11:06] 703*2^1234223-1 is not prime. Res64: DE8D669D789DFFCE Time : 0.0 sec. user=mdettweiler [2012-11-11 05:30:31] 665*2^1234224-1 is not prime. Res64: B3A454D6BB236B2B Time : 0.0 sec. user=mdettweiler [2012-11-11 05:30:33] 667*2^1234225-1 is not prime. Res64: 6FEC3030DD765C45 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:30:34] 717*2^1234224-1 is not prime. Res64: 8F6F46253E1F9691 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:30:34] 717*2^1234225-1 is not prime. Res64: EECA45AA0E7EC594 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:51:39] 765*2^1234225-1 is not prime. Res64: 09F5F53837459742 Time : 0.0 sec. user=mdettweiler [2012-11-11 05:51:39] 615*2^1234226-1 is not prime. Res64: 58D844D53195F8DD Time : 0.0 sec. user=mdettweiler [2012-11-11 05:51:39] 855*2^1234225-1 is not prime. Res64: C3C74BFC85BE785C Time : 0.0 sec. user=mdettweiler [2012-11-11 05:51:40] 713*2^1234226-1 is not prime. Res64: 97AAD43C551CC07D Time : 0.0 sec. user=mdettweiler [2012-11-11 06:12:26] 741*2^1234226-1 is not prime. Res64: 738D6FDD1FB74299 Time : 0.0 sec. user=mdettweiler [2012-11-11 06:12:26] 755*2^1234226-1 is not prime. Res64: 70A1861A3CD3C61A Time : 0.0 sec. user=mdettweiler [2012-11-11 06:12:27] 767*2^1234226-1 is not prime. Res64: 709D59F0585811BE Time : 0.0 sec. user=mdettweiler [2012-11-11 06:12:28] 833*2^1234226-1 is not prime. Res64: DD5871112EEE3DCB Time : 0.0 sec. user=mdettweiler [2012-11-11 06:33:20] 837*2^1234226-1 is not prime. Res64: 32955ED111F51D64 Time : 0.0 sec. user=mdettweiler [2012-11-11 06:33:20] 691*2^1234227-1 is not prime. Res64: 3D38EA19D7AEA58E Time : 0.0 sec. user=mdettweiler [2012-11-11 06:33:23] 709*2^1234227-1 is not prime. Res64: F96305D41A06AE2A Time : 0.0 sec. user=mdettweiler [2012-11-11 06:33:23] 735*2^1234227-1 is not prime. Res64: 1F2C83389AA42554 Time : 0.0 sec. user=mdettweiler [2012-11-11 06:54:06] 751*2^1234227-1 is not prime. Res64: B9354DD6BF2EAA75 Time : 0.0 sec. user=mdettweiler [2012-11-11 06:54:06] 781*2^1234227-1 is not prime. Res64: E08ECE4E72BD5A62 Time : 0.0 sec. user=mdettweiler [2012-11-11 06:54:08] 805*2^1234227-1 is not prime. Res64: 58D3E28F7AAA1C5D Time : 0.0 sec. user=mdettweiler [2012-11-11 06:54:08] 903*2^1234227-1 is not prime. Res64: E6A1BCB6A9C30C3F Time : 0.0 sec. user=mdettweiler [2012-11-11 07:14:51] 931*2^1234227-1 is not prime. Res64: CD12E299ADEF0C41 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:14:53] 951*2^1234227-1 is not prime. Res64: 939005915B8DC797 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:14:54] 955*2^1234227-1 is not prime. Res64: 8E07F48A03ED7662 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:14:55] 605*2^1234228-1 is not prime. Res64: FD8905023170F522 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:35:46] 657*2^1234228-1 is not prime. Res64: F2AF30B626D70C27 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:35:46] 677*2^1234228-1 is not prime. Res64: 6ABBD59EE2B78B08 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:35:47] 707*2^1234228-1 is not prime. Res64: 58AD98ED0D7C8CEC Time : 0.0 sec. user=mdettweiler [2012-11-11 07:35:48] 777*2^1234228-1 is not prime. Res64: F79B51BCB89F05C8 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:56:30] 915*2^1234228-1 is not prime. Res64: 7E0F8052C0F77937 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:56:30] 923*2^1234228-1 is not prime. Res64: 292DD9833F188577 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:56:31] 783*2^1234228-1 is not prime. Res64: 2CF0526E85265698 Time : 0.0 sec. user=mdettweiler [2012-11-11 07:56:31] 875*2^1234228-1 is not prime. Res64: 7AA50F623C675307 Time : 0.0 sec. user=mdettweiler [2012-11-11 08:17:14] 959*2^1234228-1 is not prime. Res64: 02F2F196C740E0AA Time : 0.0 sec. user=mdettweiler [2012-11-11 08:17:18] 759*2^1234229-1 is not prime. Res64: 028DE5E4C275864A Time : 0.0 sec. user=mdettweiler [2012-11-11 08:17:20] 735*2^1234229-1 is not prime. Res64: 171304D1D2F1A787 Time : 0.0 sec. user=mdettweiler [2012-11-11 08:17:29] 769*2^1234229-1 is not prime. Res64: 9F7167C244FB9D5F Time : 0.0 sec. user=mdettweiler [2012-11-11 08:38:28] 829*2^1234229-1 is not prime. Res64: 148769DC141AB652 Time : 0.0 sec. user=mdettweiler [2012-11-11 08:38:28] 987*2^1234229-1 is not prime. Res64: F4FFB0AC45A1A72E Time : 0.0 sec. user=mdettweiler [2012-11-11 08:59:09] 725*2^1234230-1 is not prime. Res64: 8C24721441C8F858 Time : 0.0 sec. user=mdettweiler [2012-11-11 08:59:09] 893*2^1234230-1 is not prime. Res64: F3564169F988AA32 Time : 0.0 sec. user=mdettweiler [2012-11-11 09:19:05] 971*2^1234230-1 is not prime. Res64: B06E821C2487F2B0 Time : 0.0 sec. user=mdettweiler [2012-11-11 09:19:06] 709*2^1234231-1 is not prime. Res64: C78DFAC64CA87E3E Time : 0.0 sec. user=mdettweiler [2012-11-11 09:19:51] 783*2^1234231-1 is not prime. Res64: 42C5124D1B94C609 Time : 0.0 sec. user=mdettweiler [2012-11-11 09:19:52] 841*2^1234231-1 is not prime. Res64: F2BF8A80AA9EBFC6 Time : 0.0 sec. user=mdettweiler [2012-11-11 09:40:03] 913*2^1234231-1 is not prime. Res64: 46D94ECFF4EAFF5F Time : 0.0 sec. user=mdettweiler [2012-11-11 09:40:03] 665*2^1234232-1 is not prime. Res64: 20E079EF0EF769C6 Time : 0.0 sec. user=mdettweiler [2012-11-11 09:40:38] 689*2^1234232-1 is not prime. Res64: 4C49A9008ADBF0C6 Time : 0.0 sec. user=mdettweiler [2012-11-11 09:40:38] 717*2^1234232-1 is not prime. Res64: 6D5341BBFFB96B56 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:00:47] 819*2^1234232-1 is not prime. Res64: 4D4A5E5158E10CAA Time : 0.0 sec. user=mdettweiler [2012-11-11 10:00:48] 827*2^1234232-1 is not prime. Res64: E6AD6F2BCEF21355 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:01:20] 843*2^1234232-1 is not prime. Res64: C9A43C4007A7854F Time : 0.0 sec. user=mdettweiler [2012-11-11 10:01:21] 915*2^1234232-1 is not prime. Res64: 68E2C500190A9CF8 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:21:45] 751*2^1234233-1 is not prime. Res64: B4426E044498F6E0 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:21:46] 787*2^1234233-1 is not prime. Res64: 1391822C1EB7FFE9 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:22:06] 901*2^1234233-1 is not prime. Res64: 3EE9BD2622EA8093 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:22:07] 677*2^1234234-1 is not prime. Res64: E26EE99C386A741A Time : 0.0 sec. user=mdettweiler [2012-11-11 10:42:37] 681*2^1234234-1 is not prime. Res64: 0DADAE292AD5C273 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:42:37] 885*2^1234234-1 is not prime. Res64: 073E6005925DF50C Time : 0.0 sec. user=mdettweiler [2012-11-11 10:42:52] 715*2^1234235-1 is not prime. Res64: 37A24AF86BEA6191 Time : 0.0 sec. user=mdettweiler [2012-11-11 10:42:53] 741*2^1234235-1 is not prime. Res64: BB358B680CA4C90E Time : 0.0 sec. user=mdettweiler [2012-11-11 11:03:24] 885*2^1234235-1 is not prime. Res64: 171BC05C3BED083A Time : 0.0 sec. user=mdettweiler [2012-11-11 11:03:26] 669*2^1234236-1 is not prime. Res64: 15F01A84FFDF5440 Time : 0.0 sec. user=mdettweiler [2012-11-11 11:03:39] 707*2^1234236-1 is not prime. Res64: 3BD96F6BFBCFC399 Time : 0.0 sec. user=mdettweiler [2012-11-11 11:03:41] 759*2^1234236-1 is not prime. Res64: 6E5134D28B1A9729 Time : 0.0 sec. user=juhehe [2012-11-11 11:07:12] 749*2^1234196-1 is not prime. Res64: 08E7DE5D42FCE5B0 Time : 0.0 sec. user=juhehe [2012-11-11 11:14:13] 819*2^1234235-1 is not prime. Res64: 4BBEB201E1F565DE Time : 0.0 sec. user=mdettweiler [2012-11-11 11:24:21] 845*2^1234236-1 is not prime. Res64: E86130F0D3CAFE6B Time : 0.0 sec. user=mdettweiler [2012-11-11 11:24:22] 947*2^1234236-1 is not prime. Res64: F056D2B312EDB4D5 Time : 0.0 sec. user=mdettweiler [2012-11-11 11:24:31] 619*2^1234237-1 is not prime. Res64: E4CED1C12F91512D Time : 0.0 sec. user=mdettweiler [2012-11-11 11:24:32] 667*2^1234237-1 is not prime. Res64: 9707866D0A3F5867 Time : 0.0 sec. user=mdettweiler [2012-11-11 11:45:10] 771*2^1234237-1 is not prime. Res64: DC40E664B8D92B74 Time : 0.0 sec. user=mdettweiler [2012-11-11 11:45:11] 801*2^1234237-1 is not prime. Res64: 924C5FAB57A9A325 Time : 0.0 sec. user=mdettweiler [2012-11-11 11:45:20] 939*2^1234237-1 is not prime. Res64: 3B3AD1D9EC8C9BED Time : 0.0 sec. user=mdettweiler [2012-11-11 11:45:20] 961*2^1234237-1 is not prime. Res64: 4C67D5A133E10A8B Time : 0.0 sec. user=juhehe [2012-11-11 11:53:05] 699*2^1234237-1 is not prime. Res64: 230D9A2071E7B51F Time : 0.0 sec. user=mdettweiler [2012-11-11 12:05:59] 985*2^1234237-1 is not prime. Res64: C87BE517317031C8 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:06:01] 627*2^1234238-1 is not prime. Res64: 2164CD563A36B0D5 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:06:08] 635*2^1234238-1 is not prime. Res64: F811061823305DAF Time : 0.0 sec. user=mdettweiler [2012-11-11 12:06:10] 683*2^1234238-1 is not prime. Res64: D4B6725E7E26FFA7 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:27:06] 951*2^1234238-1 is not prime. Res64: FD01F0FD5068BC04 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:27:07] 953*2^1234238-1 is not prime. Res64: 91BF67BE3A40E3A9 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:27:08] 971*2^1234238-1 is not prime. Res64: 85CBF49D2C3B8160 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:27:09] 609*2^1234239-1 is not prime. Res64: 3BB0BFBC8DA87D59 Time : 0.0 sec. user=juhehe [2012-11-11 12:39:18] 921*2^1234238-1 is not prime. Res64: 80C44DEC71CF0CFD Time : 0.0 sec. user=mdettweiler [2012-11-11 12:48:08] 649*2^1234239-1 is not prime. Res64: 5DD71C335804574D Time : 0.0 sec. user=mdettweiler [2012-11-11 12:48:09] 691*2^1234239-1 is not prime. Res64: 800BDDC4B10EE853 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:48:10] 723*2^1234239-1 is not prime. Res64: 4979F0E9ABDD7C74 Time : 0.0 sec. user=mdettweiler [2012-11-11 12:48:10] 895*2^1234239-1 is not prime. Res64: 17348F4C193DF499 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:09:03] 743*2^1234240-1 is not prime. Res64: 91646E1102BF0BA7 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:09:04] 797*2^1234240-1 is not prime. Res64: 0ACD5DEE5E651910 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:09:04] 785*2^1234240-1 is not prime. Res64: 5FAFA1CBC8B58DD2 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:09:04] 845*2^1234240-1 is not prime. Res64: 9D5A5B4995797292 Time : 0.0 sec. user=juhehe [2012-11-11 13:25:53] 913*2^1234239-1 is not prime. Res64: 10DA57124A3CE9B2 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:29:58] 983*2^1234240-1 is not prime. Res64: F126A840DB4F347C Time : 0.0 sec. user=mdettweiler [2012-11-11 13:29:59] 999*2^1234240-1 is not prime. Res64: 1AE05CCC7C8B3A2D Time : 0.0 sec. user=mdettweiler [2012-11-11 13:30:00] 727*2^1234241-1 is not prime. Res64: E7E232F2D1C35085 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:30:01] 777*2^1234241-1 is not prime. Res64: 1B6E839E60F22448 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:50:52] 865*2^1234241-1 is not prime. Res64: F435BACCFFFC094E Time : 0.0 sec. user=mdettweiler [2012-11-11 13:50:53] 949*2^1234241-1 is not prime. Res64: 5B0D990231CF3816 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:50:55] 955*2^1234241-1 is not prime. Res64: E78C916B77F6F4A8 Time : 0.0 sec. user=mdettweiler [2012-11-11 13:50:56] 611*2^1234242-1 is not prime. Res64: A0F81A5535AE3CF1 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:11:45] 705*2^1234242-1 is not prime. Res64: 2495A0C31F3FEE10 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:11:48] 725*2^1234242-1 is not prime. Res64: 804C438918195731 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:11:52] 755*2^1234242-1 is not prime. Res64: 818F5CB3238EA247 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:11:53] 917*2^1234242-1 is not prime. Res64: 2999D7A5D6B13206 Time : 0.0 sec. user=juhehe [2012-11-11 14:13:50] 855*2^1234241-1 is not prime. Res64: 7A6FC2522F4BFF78 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:32:44] 963*2^1234242-1 is not prime. Res64: 45034E23324096CA Time : 0.0 sec. user=mdettweiler [2012-11-11 14:32:45] 619*2^1234243-1 is not prime. Res64: 99E3517079FCCDD9 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:32:48] 663*2^1234243-1 is not prime. Res64: 6D78F9A5E709F94E Time : 0.0 sec. user=mdettweiler [2012-11-11 14:32:49] 703*2^1234243-1 is not prime. Res64: CB114135040CC85E Time : 0.0 sec. user=mdettweiler [2012-11-11 14:54:33] 961*2^1234243-1 is not prime. Res64: CDCD311738E2508A Time : 0.0 sec. user=mdettweiler [2012-11-11 14:54:33] 741*2^1234243-1 is not prime. Res64: A5210D7518A0E924 Time : 0.0 sec. user=mdettweiler [2012-11-11 14:54:33] 719*2^1234244-1 is not prime. Res64: 58D1AF44186E2D4E Time : 0.0 sec. user=mdettweiler [2012-11-11 14:54:33] 783*2^1234243-1 is not prime. Res64: D46063AF236E5AA4 Time : 0.0 sec. user=juhehe [2012-11-11 15:01:59] 709*2^1234243-1 is not prime. Res64: 5F13A367A443FC28 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:15:23] 903*2^1234244-1 is not prime. Res64: EA4CEF5E67C708A6 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:15:24] 929*2^1234244-1 is not prime. Res64: 838C228ACB819980 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:15:24] 945*2^1234244-1 is not prime. Res64: EDA5ADA8FF23E71F Time : 0.0 sec. user=mdettweiler [2012-11-11 15:15:25] 751*2^1234245-1 is not prime. Res64: 28CC5F40CDB64240 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:36:39] 921*2^1234245-1 is not prime. Res64: DD828827CF430D25 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:36:39] 737*2^1234246-1 is not prime. Res64: ADC03F9E8EBBF940 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:36:42] 621*2^1234247-1 is not prime. Res64: AD6AF39D15B3B3F3 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:36:43] 645*2^1234247-1 is not prime. Res64: 8D0BCAEB16DA80D5 Time : 0.0 sec. user=juhehe [2012-11-11 15:50:38] 891*2^1234245-1 is not prime. Res64: B8C4A544341D5984 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:58:53] 931*2^1234247-1 is not prime. Res64: 8460C677C2203FA4 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:58:53] 689*2^1234248-1 is not prime. Res64: 9FDBA3D6FDE1E7DD Time : 0.0 sec. user=mdettweiler [2012-11-11 15:58:59] 711*2^1234247-1 is not prime. Res64: 521C866946E20115 Time : 0.0 sec. user=mdettweiler [2012-11-11 15:59:00] 843*2^1234247-1 is not prime. Res64: 69D8A36E9018FC70 Time : 0.0 sec. user=mdettweiler [2012-11-11 16:20:41] 723*2^1234248-1 is not prime. Res64: DC4C6EC885F8BCD9 Time : 0.0 sec. user=mdettweiler [2012-11-11 16:20:42] 753*2^1234248-1 is not prime. Res64: 0E463B966203405F Time : 0.0 sec. user=mdettweiler [2012-11-11 16:20:49] 839*2^1234248-1 is not prime. Res64: 4FFDC7573541D994 Time : 0.0 sec. user=mdettweiler [2012-11-11 16:20:50] 919*2^1234249-1 is not prime. Res64: 38DFE3F2AE4B2BE4 Time : 0.0 sec. user=juhehe [2012-11-11 16:37:31] 705*2^1234248-1 is not prime. Res64: 9C68C3A7F1891452 Time : 0.0 sec. user=mdettweiler [2012-11-11 16:42:14] 951*2^1234249-1 is not prime. Res64: 49118B6B7D5E117C Time : 0.0 sec. user=mdettweiler [2012-11-11 16:42:15] 615*2^1234250-1 is not prime. Res64: A8A5525F01A14539 Time : 0.0 sec. user=mdettweiler [2012-11-11 16:42:15] 827*2^1234250-1 is not prime. Res64: E387BAF0BBFCBDEF Time : 0.0 sec. user=mdettweiler [2012-11-11 16:42:16] 857*2^1234250-1 is not prime. Res64: 6083525364AF25CA Time : 0.0 sec. user=mdettweiler [2012-11-11 17:03:20] 893*2^1234250-1 is not prime. Res64: 4378F738C3647AE3 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:03:20] 927*2^1234250-1 is not prime. Res64: B387A27D9981791E Time : 0.0 sec. user=mdettweiler [2012-11-11 17:03:21] 911*2^1234250-1 is not prime. Res64: 618DF296BF45E936 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:03:22] 977*2^1234250-1 is not prime. Res64: 78BEF09B71B3349B Time : 0.0 sec. user=juhehe [2012-11-11 17:20:50] 867*2^1234250-1 is not prime. Res64: F8E2EFB6AEE47A9B Time : 0.0 sec. user=mdettweiler [2012-11-11 17:24:39] 651*2^1234251-1 is not prime. Res64: F52FC7793C560143 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:24:40] 649*2^1234251-1 is not prime. Res64: 99D38BB5781CECC9 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:24:40] 685*2^1234251-1 is not prime. Res64: 695A92B7B533066A Time : 0.0 sec. user=mdettweiler [2012-11-11 17:24:40] 945*2^1234251-1 is not prime. Res64: 7B17636CC9E44324 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:45:46] 723*2^1234252-1 is not prime. Res64: 79770CED72A60021 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:45:46] 759*2^1234252-1 is not prime. Res64: 8E04C489D9885715 Time : 0.0 sec. user=mdettweiler [2012-11-11 17:45:49] 803*2^1234252-1 is not prime. Res64: A7A9FD3A41D5CE3C Time : 0.0 sec. user=mdettweiler [2012-11-11 17:45:49] 843*2^1234252-1 is not prime. Res64: 811A69A2DAE6050D Time : 0.0 sec. user=juhehe [2012-11-11 18:02:07] 961*2^1234251-1 is not prime. Res64: C99217376097E114 Time : 0.0 sec. user=mdettweiler [2012-11-11 18:06:50] 855*2^1234252-1 is not prime. Res64: 797B59307B1C8BDA Time : 0.0 sec. user=mdettweiler [2012-11-11 18:06:53] 631*2^1234253-1 is not prime. Res64: FEA10CB24FB1CDFB Time : 0.0 sec. user=mdettweiler [2012-11-11 18:06:54] 975*2^1234252-1 is not prime. Res64: 240AA7AD260D051C Time : 0.0 sec. user=mdettweiler [2012-11-11 18:06:55] 649*2^1234253-1 is not prime. Res64: 278FD657BBC13B9E Time : 0.0 sec. user=mdettweiler [2012-11-11 18:28:14] 697*2^1234253-1 is not prime. Res64: F6CC898C0A121422 Time : 0.0 sec. user=mdettweiler [2012-11-11 18:28:16] 715*2^1234253-1 is not prime. Res64: 5D1FA2D9A58BC7DE Time : 0.0 sec. user=mdettweiler [2012-11-11 18:28:17] 699*2^1234253-1 is not prime. Res64: 0D5293A63AE5EB9D Time : 0.0 sec. user=mdettweiler [2012-11-11 18:28:18] 727*2^1234253-1 is not prime. Res64: 7A2DFB6B5799033F Time : 0.0 sec. user=juhehe [2012-11-11 18:41:23] 685*2^1234253-1 is not prime. Res64: FA7F53FF71AB6112 Time : 0.0 sec. user=mdettweiler [2012-11-11 18:49:44] 611*2^1234254-1 is not prime. Res64: 7E31AFEEB3DF4C19 Time : 0.0 sec. user=mdettweiler [2012-11-11 18:49:46] 621*2^1234254-1 is not prime. Res64: C8D17DF7849914CD Time : 0.0 sec. user=mdettweiler [2012-11-11 18:49:49] 657*2^1234254-1 is not prime. Res64: F324501D240DCD58 Time : 0.0 sec. user=mdettweiler [2012-11-11 18:49:51] 707*2^1234254-1 is not prime. Res64: 82AA1A1A06C1C7B7 Time : 0.0 sec. user=juhehe [2012-11-11 19:01:54] 735*2^1234253-1 is not prime. Res64: 5C4B7FBB73B9E971 Time : 0.0 sec. user=mdettweiler [2012-11-11 19:11:07] 833*2^1234254-1 is not prime. Res64: 8030D624F875E50B Time : 0.0 sec. user=mdettweiler [2012-11-11 19:11:13] 951*2^1234254-1 is not prime. Res64: 36959FC5BACD29E1 Time : 0.0 sec. user=mdettweiler [2012-11-11 19:11:15] 993*2^1234254-1 is not prime. Res64: 644F15D761F1BF5B Time : 0.0 sec. user=mdettweiler [2012-11-11 19:11:19] 1001*2^1234254-1 is not prime. Res64: 7FEECC1B494B1E5D Time : 0.0 sec. user=juhehe [2012-11-11 19:19:42] 765*2^1234254-1 is not prime. Res64: 2E0FBED384CCA045 Time : 0.0 sec. user=mdettweiler [2012-11-11 19:33:33] 673*2^1234255-1 is not prime. Res64: 39B6FEF61294BEAB Time : 0.0 sec. user=mdettweiler [2012-11-11 19:40:09] 841*2^1234255-1 is not prime. Res64: 17D9E24F9F03677F Time : 0.0 sec. user=juhehe [2012-11-11 19:41:22] 601*2^1234255-1 is not prime. Res64: 2CB2D503EEF8B0CF Time : 0.0 sec. user=mdettweiler [2012-11-11 19:45:10] 609*2^1234255-1 is not prime. Res64: 7BC90131F00815D6 Time : 0.0 sec. user=mdettweiler [2012-11-11 19:45:11] 679*2^1234255-1 is not prime. Res64: B4D8DF3870B9742E Time : 0.0 sec. user=gd_barnes [2012-11-11 19:57:48] 831*2^1234255-1 is not prime. Res64: 15448F49E30685AA Time : 0.0 sec. user=gd_barnes [2012-11-11 19:59:48] 969*2^1234255-1 is not prime. Res64: CAAA5A020759F647 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:00:22] 813*2^1234256-1 is not prime. Res64: 0F91D95D068445A0 Time : 0.0 sec. user=juhehe [2012-11-11 20:00:33] 685*2^1234255-1 is not prime. Res64: B90D0E07E11B77EE Time : 0.0 sec. user=gd_barnes [2012-11-11 20:00:45] 853*2^1234255-1 is not prime. Res64: F3850CA7411C70EC Time : 0.0 sec. user=gd_barnes [2012-11-11 20:03:47] 939*2^1234255-1 is not prime. Res64: 0A66D0A0CD56A2B0 Time : 0.0 sec. user=gd_barnes [2012-11-11 20:04:39] 773*2^1234256-1 is not prime. Res64: FD807DAC8CF5B11E Time : 0.0 sec. user=mdettweiler [2012-11-11 20:06:36] 893*2^1234256-1 is not prime. Res64: D5705F7820973677 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:06:37] 747*2^1234257-1 is not prime. Res64: 57822E23892D3FC2 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:06:38] 923*2^1234256-1 is not prime. Res64: 58FB716E509AA5F2 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:06:39] 781*2^1234257-1 is not prime. Res64: C96E1E1E3F27AF97 Time : 0.0 sec. user=juhehe [2012-11-11 20:21:29] 875*2^1234256-1 is not prime. Res64: 09EF078AEC0432E4 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:28:21] 795*2^1234257-1 is not prime. Res64: 738D7BC27B099C47 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:28:23] 829*2^1234257-1 is not prime. Res64: CEA2C90030C95522 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:28:26] 955*2^1234257-1 is not prime. Res64: 76E2E64A38266845 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:28:28] 985*2^1234257-1 is not prime. Res64: 640D1403A03CE6CF Time : 0.0 sec. user=mdettweiler [2012-11-11 20:49:57] 611*2^1234258-1 is not prime. Res64: 8F8224E605C8FE08 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:49:58] 617*2^1234258-1 is not prime. Res64: D1F8A47B5F0C7B74 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:50:03] 681*2^1234258-1 is not prime. Res64: 2646F079D22E2D24 Time : 0.0 sec. user=mdettweiler [2012-11-11 20:50:05] 755*2^1234258-1 is not prime. Res64: AF69D2C1D19F28FB Time : 0.0 sec. user=mdettweiler [2012-11-11 21:11:52] 933*2^1234258-1 is not prime. Res64: 7085EE5A143007F0 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:11:56] 941*2^1234258-1 is not prime. Res64: E7A2DE68457B8795 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:12:00] 619*2^1234259-1 is not prime. Res64: E38C4120B9E22876 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:12:03] 883*2^1234259-1 is not prime. Res64: 3A84A419984B64E8 Time : 0.0 sec. user=juhehe [2012-11-11 21:19:21] 861*2^1234258-1 is not prime. Res64: E0832A883E30B8B0 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:33:46] 991*2^1234259-1 is not prime. Res64: 517B10045A408C05 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:33:47] 635*2^1234260-1 is not prime. Res64: 3DC8DFA07BB897F5 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:33:48] 695*2^1234260-1 is not prime. Res64: 6D2D7DD4C4C15938 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:33:49] 735*2^1234260-1 is not prime. Res64: 422D5850FFD81AEC Time : 0.0 sec. user=juhehe [2012-11-11 21:36:53] 969*2^1234259-1 is not prime. Res64: 0F54370EEAA2B91E Time : 0.0 sec. user=mdettweiler [2012-11-11 21:55:00] 795*2^1234260-1 is not prime. Res64: AF90343795E25D7F Time : 0.0 sec. user=mdettweiler [2012-11-11 21:55:00] 843*2^1234260-1 is not prime. Res64: 17BC216C6C13CB12 Time : 0.0 sec. user=mdettweiler [2012-11-11 21:55:01] 819*2^1234260-1 is not prime. Res64: AE5B86344E8BBB2F Time : 0.0 sec. user=mdettweiler [2012-11-11 21:55:01] 905*2^1234260-1 is not prime. Res64: D8BA7DC6284C5947 Time : 0.0 sec. user=juhehe [2012-11-11 21:59:03] 767*2^1234260-1 is not prime. Res64: B5069C5A3804169C Time : 0.0 sec. user=mdettweiler [2012-11-11 22:15:56] 741*2^1234261-1 is not prime. Res64: F2604D51D8D455D0 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:15:58] 855*2^1234261-1 is not prime. Res64: 08011CECBA8D4C89 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:15:59] 771*2^1234261-1 is not prime. Res64: AD7031BD748E8F5D Time : 0.0 sec. user=mdettweiler [2012-11-11 22:16:02] 861*2^1234261-1 is not prime. Res64: 39D6784852D4FE84 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:37:19] 939*2^1234261-1 is not prime. Res64: 87EAAEB3C03A77FF Time : 0.0 sec. user=mdettweiler [2012-11-11 22:37:20] 951*2^1234261-1 is not prime. Res64: 23449C8448EA6F65 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:37:25] 705*2^1234262-1 is not prime. Res64: E2399D1933F945CE Time : 0.0 sec. user=mdettweiler [2012-11-11 22:37:27] 743*2^1234262-1 is not prime. Res64: EBC48BD5285851E0 Time : 0.0 sec. user=juhehe [2012-11-11 22:37:34] 931*2^1234261-1 is not prime. Res64: AC562E932B942FB6 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:58:18] 797*2^1234262-1 is not prime. Res64: 30019C5B77576FD0 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:58:18] 815*2^1234262-1 is not prime. Res64: EBDE74BDD873714C Time : 0.0 sec. user=mdettweiler [2012-11-11 22:58:23] 833*2^1234262-1 is not prime. Res64: DF4A66904F0AB456 Time : 0.0 sec. user=mdettweiler [2012-11-11 22:58:23] 893*2^1234262-1 is not prime. Res64: B11E11F6C567A8D6 Time : 0.0 sec. user=juhehe [2012-11-11 23:14:52] 903*2^1234262-1 is not prime. Res64: 48145DAF67D06E15 Time : 0.0 sec. user=mdettweiler [2012-11-11 23:19:28] 613*2^1234263-1 is not prime. Res64: DF5DF0903E63AD23 Time : 0.0 sec. user=mdettweiler [2012-11-11 23:19:28] 679*2^1234263-1 is not prime. Res64: 0E56A8B8B8F5C909 Time : 0.0 sec. user=mdettweiler [2012-11-11 23:19:36] 765*2^1234263-1 is not prime. Res64: D38F5A52A8DC1A0F Time : 0.0 sec. user=mdettweiler [2012-11-11 23:19:36] 819*2^1234263-1 is not prime. Res64: D26C00E58666D57C Time : 0.0 sec. user=juhehe [2012-11-11 23:27:09] 1001*2^1234262-1 is not prime. Res64: 6B796B5BFBCDF23E Time : 0.0 sec. user=mdettweiler [2012-11-11 23:40:40] 871*2^1234263-1 is not prime. Res64: F2A4A0384BE4A709 Time : 0.0 sec. user=mdettweiler [2012-11-11 23:40:40] 933*2^1234263-1 is not prime. Res64: F697096990EE3D85 Time : 0.0 sec. user=mdettweiler [2012-11-11 23:40:47] 863*2^1234264-1 is not prime. Res64: AB568FCB4DA2D279 Time : 0.0 sec. user=mdettweiler [2012-11-11 23:40:47] 903*2^1234264-1 is not prime. Res64: 45A61050410EC0B0 Time : 0.0 sec. user=juhehe [2012-11-11 23:51:58] 861*2^1234263-1 is not prime. Res64: E797FBBB57BED0D7 Time : 0.0 sec.