user=mdettweiler [2012-01-12 00:02:00] 953*2^1000790-1 is not prime. Res64: 0DC2569B01F25F1B Time : 0.0 sec. user=mdettweiler [2012-01-12 00:03:57] 725*2^1000782-1 is not prime. Res64: 012EB087AACD9ED8 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:04:06] 767*2^1000782-1 is not prime. Res64: 5F2D8BB41C1CE56C Time : 0.0 sec. user=mdettweiler [2012-01-12 00:04:18] 885*2^1000787-1 is not prime. Res64: 737B0C325E16294E Time : 0.0 sec. user=mdettweiler [2012-01-12 00:05:30] 669*2^1000788-1 is not prime. Res64: AD0A2592F5402617 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:05:31] 759*2^1000788-1 is not prime. Res64: F32D5CED3B4F377C Time : 0.0 sec. user=mdettweiler [2012-01-12 00:05:37] 639*2^1000791-1 is not prime. Res64: 36C9AD980C96F33E Time : 0.0 sec. user=mdettweiler [2012-01-12 00:09:37] 951*2^1000791-1 is not prime. Res64: F1E7E23E447A2353 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:10:04] 641*2^1000790-1 is not prime. Res64: 0F78AB411282D0D3 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:10:05] 657*2^1000790-1 is not prime. Res64: 96F7797A44F0FBF0 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:12:59] 791*2^1000790-1 is not prime. Res64: C91447373FDEEFC5 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:13:00] 887*2^1000790-1 is not prime. Res64: ACFB2930FB464295 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:13:15] 933*2^1000792-1 is not prime. Res64: 247B5D4364E7B8F9 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:19:03] 965*2^1000792-1 is not prime. Res64: 28D90CADD969CE1F Time : 0.0 sec. user=mdettweiler [2012-01-12 00:21:25] 837*2^1000793-1 is not prime. Res64: 5A12C03ED77BAC3C Time : 0.0 sec. user=mdettweiler [2012-01-12 00:26:35] 847*2^1000793-1 is not prime. Res64: 7A403DEDB60E4624 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:28:08] 603*2^1000792-1 is not prime. Res64: 9A33940E955374C8 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:28:08] 899*2^1000792-1 is not prime. Res64: 6C937C808D32FB51 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:31:17] 935*2^1000784-1 is not prime. Res64: 38704279AC99009C Time : 0.0 sec. user=mdettweiler [2012-01-12 00:31:17] 675*2^1000785-1 is not prime. Res64: 88DE3A590037D25D Time : 0.0 sec. user=mdettweiler [2012-01-12 00:31:52] 897*2^1000793-1 is not prime. Res64: 08FA1BC9858B4A80 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:32:14] 619*2^1000793-1 is not prime. Res64: D5DD757D20547ECB Time : 0.0 sec. user=mdettweiler [2012-01-12 00:32:14] 771*2^1000793-1 is not prime. Res64: F18504A009F59464 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:34:15] 901*2^1000793-1 is not prime. Res64: 3E900C3372609EA9 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:35:08] 781*2^1000793-1 is not prime. Res64: 133266E8F32752A5 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:35:08] 789*2^1000793-1 is not prime. Res64: 2D2ADB57321F68AC Time : 0.0 sec. user=mdettweiler [2012-01-12 00:37:22] 635*2^1000788-1 is not prime. Res64: 3A52F96FE6B58913 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:39:32] 861*2^1000794-1 is not prime. Res64: 834F3AF6F7717FD9 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:41:50] 645*2^1000795-1 is not prime. Res64: 609F0742EC6D9DFF Time : 0.0 sec. user=mdettweiler [2012-01-12 00:47:10] 759*2^1000796-1 is not prime. Res64: EDDFD47099059E76 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:49:25] 813*2^1000796-1 is not prime. Res64: 7C6FBFB52E033AB5 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:52:44] 967*2^1000793-1 is not prime. Res64: A985DDB2E674A0EB Time : 0.0 sec. user=mdettweiler [2012-01-12 00:52:45] 755*2^1000794-1 is not prime. Res64: B4F5D0780257B2C7 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:54:13] 885*2^1000794-1 is not prime. Res64: 958AC9F98A5206E4 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:54:13] 893*2^1000794-1 is not prime. Res64: 78AC35BB3B4E0EF4 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:54:48] 825*2^1000796-1 is not prime. Res64: C77E5AC3BEF92125 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:57:02] 903*2^1000796-1 is not prime. Res64: 4A6DD84C012B73A2 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:57:08] 675*2^1000795-1 is not prime. Res64: A64405599E954E32 Time : 0.0 sec. user=mdettweiler [2012-01-12 00:57:08] 885*2^1000795-1 is not prime. Res64: B5F44B7977337ACB Time : 0.0 sec. user=mdettweiler [2012-01-12 00:59:13] 913*2^1000795-1 is not prime. Res64: FB8645356D8BEE8F Time : 0.0 sec. user=mdettweiler [2012-01-12 00:59:13] 915*2^1000795-1 is not prime. Res64: 546079CA53CB454B Time : 0.0 sec. user=mdettweiler [2012-01-12 01:03:19] 769*2^1000797-1 is not prime. Res64: FF25E833FD248D7A Time : 0.0 sec. user=mdettweiler [2012-01-12 01:05:32] 777*2^1000797-1 is not prime. Res64: C3E9AC97A26853BB Time : 0.0 sec. user=mdettweiler [2012-01-12 01:09:01] 799*2^1000789-1 is not prime. Res64: 0F7EE5BB57D1F37D Time : 0.0 sec. user=mdettweiler [2012-01-12 01:09:03] 831*2^1000789-1 is not prime. Res64: EDD179214347A6B7 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:10:54] 617*2^1000798-1 is not prime. Res64: 63E7F8594500FA63 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:13:08] 765*2^1000798-1 is not prime. Res64: 6DB981A3118379F8 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:13:36] 601*2^1000791-1 is not prime. Res64: 1EA346EFF7A99E78 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:13:37] 615*2^1000791-1 is not prime. Res64: D11438D215BAB8A0 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:16:22] 945*2^1000796-1 is not prime. Res64: D63FAE91F3CD72B4 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:16:23] 953*2^1000796-1 is not prime. Res64: F35B54B799524037 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:18:30] 911*2^1000798-1 is not prime. Res64: 1AB1DF03F5F44B17 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:18:33] 957*2^1000796-1 is not prime. Res64: 27DBE56340F1D38B Time : 0.0 sec. user=mdettweiler [2012-01-12 01:18:33] 741*2^1000797-1 is not prime. Res64: 0A245FD728889256 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:19:01] 781*2^1000797-1 is not prime. Res64: 7E9B185C45F176DA Time : 0.0 sec. user=mdettweiler [2012-01-12 01:19:01] 831*2^1000797-1 is not prime. Res64: 973CE61B355FEC79 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:20:44] 601*2^1000799-1 is not prime. Res64: 4CF3EF7C6E2B6291 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:21:07] 889*2^1000797-1 is not prime. Res64: 846C97885E2D7FC7 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:21:07] 927*2^1000797-1 is not prime. Res64: 7228FF2B71A21851 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:26:06] 825*2^1000799-1 is not prime. Res64: 3930D364D9608E62 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:28:21] 759*2^1000800-1 is not prime. Res64: 2B3E36D0F9BAC630 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:33:42] 945*2^1000800-1 is not prime. Res64: 183EDB52E1466D6F Time : 0.0 sec. user=mdettweiler [2012-01-12 01:37:42] 957*2^1000800-1 is not prime. Res64: A8969D1A7B552514 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:38:06] 789*2^1000799-1 is not prime. Res64: 36EB28B16CDCDB65 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:38:07] 811*2^1000799-1 is not prime. Res64: B80AA02996327F68 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:42:31] 929*2^1000800-1 is not prime. Res64: 3BF25029EF700954 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:42:31] 933*2^1000800-1 is not prime. Res64: 63FB2FA6461A5568 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:42:37] 909*2^1000799-1 is not prime. Res64: 752C76DD73A36DDD Time : 0.0 sec. user=mdettweiler [2012-01-12 01:42:37] 991*2^1000799-1 is not prime. Res64: 9C4F49CE5673D8D2 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:43:04] 959*2^1000800-1 is not prime. Res64: B691BAE010952856 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:43:18] 999*2^1000799-1 is not prime. Res64: 9E5D8DEB6AEEBA6C Time : 0.0 sec. user=mdettweiler [2012-01-12 01:43:18] 735*2^1000800-1 is not prime. Res64: 10A0FBD8B1D3A17F Time : 0.0 sec. user=mdettweiler [2012-01-12 01:45:19] 645*2^1000801-1 is not prime. Res64: FC96C6ABE575FF3F Time : 0.0 sec. user=mdettweiler [2012-01-12 01:50:43] 633*2^1000802-1 is not prime. Res64: 9D929BEB8CA72557 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:52:17] 765*2^1000794-1 is not prime. Res64: 4BA8962125045020 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:52:17] 833*2^1000794-1 is not prime. Res64: A14D358056E186E5 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:52:56] 867*2^1000802-1 is not prime. Res64: 8DBCD790CD639764 Time : 0.0 sec. user=mdettweiler [2012-01-12 01:58:18] 941*2^1000802-1 is not prime. Res64: F7EFF4F7161A2BCE Time : 0.0 sec. user=mdettweiler [2012-01-12 02:00:18] 681*2^1000801-1 is not prime. Res64: E318095D0CA5F170 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:00:20] 705*2^1000801-1 is not prime. Res64: 369166BFA814847D Time : 0.0 sec. user=mdettweiler [2012-01-12 02:00:33] 705*2^1000803-1 is not prime. Res64: 956D5AB195CDFD98 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:04:58] 877*2^1000801-1 is not prime. Res64: 555B0DB751E32503 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:04:59] 925*2^1000801-1 is not prime. Res64: 3C434D8EA8FA3358 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:05:31] 743*2^1000802-1 is not prime. Res64: 390F2C89969397B1 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:05:31] 747*2^1000802-1 is not prime. Res64: 714EEA6DE616A3CC Time : 0.0 sec. user=mdettweiler [2012-01-12 02:06:51] 957*2^1000801-1 is not prime. Res64: 75F3222CC42C8C86 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:06:51] 623*2^1000802-1 is not prime. Res64: A92642BE312A8B83 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:29:57] 677*2^1000804-1 is not prime. Res64: F6C4EBD32CA23B3C Time : 0.0 sec. user=mdettweiler [2012-01-12 02:29:57] 693*2^1000804-1 is not prime. Res64: DA72D3F9889028FE Time : 0.0 sec. user=mdettweiler [2012-01-12 02:30:06] 805*2^1000803-1 is not prime. Res64: 2751F74D223545F2 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:30:07] 707*2^1000804-1 is not prime. Res64: 7D650DFFB7EE6B43 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:30:07] 635*2^1000804-1 is not prime. Res64: 70F6356585C76953 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:30:07] 773*2^1000804-1 is not prime. Res64: 9F2BD6A97E5DEFE8 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:42:00] 959*2^1000804-1 is not prime. Res64: E321E441C5691ADD Time : 0.0 sec. user=mdettweiler [2012-01-12 02:42:00] 619*2^1000805-1 is not prime. Res64: 949AB48A89A41CC7 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:49:39] 627*2^1000805-1 is not prime. Res64: 7C020DFDE907C465 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:49:40] 697*2^1000805-1 is not prime. Res64: 49E18487EDFE3D0B Time : 0.0 sec. user=mdettweiler [2012-01-12 02:49:49] 727*2^1000805-1 is not prime. Res64: E8B80F41C2B56E67 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:49:49] 897*2^1000805-1 is not prime. Res64: 3664D6F4699327E5 Time : 0.0 sec. user=mdettweiler [2012-01-12 02:52:16] 927*2^1000805-1 is not prime. Res64: 8FEF6EFEBABA40BF Time : 0.0 sec. user=mdettweiler [2012-01-12 02:52:16] 955*2^1000805-1 is not prime. Res64: 00F886B176244D61 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:01:52] 683*2^1000806-1 is not prime. Res64: A642F12B95F1C861 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:01:53] 663*2^1000807-1 is not prime. Res64: E9698DDED0664308 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:09:22] 675*2^1000807-1 is not prime. Res64: 26A7BFF7E9A87696 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:09:23] 703*2^1000807-1 is not prime. Res64: 2E4003890579175F Time : 0.0 sec. user=mdettweiler [2012-01-12 03:09:42] 735*2^1000807-1 is not prime. Res64: E21F19DE1B72DF3C Time : 0.0 sec. user=mdettweiler [2012-01-12 03:09:43] 829*2^1000807-1 is not prime. Res64: FED9A5056EA99858 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:14:10] 951*2^1000807-1 is not prime. Res64: E0B308E711C32CBE Time : 0.0 sec. user=mdettweiler [2012-01-12 03:14:11] 635*2^1000808-1 is not prime. Res64: A2B57E3CB1E3463B Time : 0.0 sec. user=mdettweiler [2012-01-12 03:21:31] 767*2^1000808-1 is not prime. Res64: D8F72045F3218D17 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:21:32] 819*2^1000808-1 is not prime. Res64: 801E3098388E632A Time : 0.0 sec. user=mdettweiler [2012-01-12 03:29:01] 845*2^1000808-1 is not prime. Res64: 48EE4785CBF9252B Time : 0.0 sec. user=mdettweiler [2012-01-12 03:29:02] 855*2^1000808-1 is not prime. Res64: FC3C40F127F7C617 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:29:21] 867*2^1000808-1 is not prime. Res64: 54BEDD2AD79FC01A Time : 0.0 sec. user=mdettweiler [2012-01-12 03:29:21] 869*2^1000808-1 is not prime. Res64: 4A9FCC295C617E7A Time : 0.0 sec. user=mdettweiler [2012-01-12 03:38:16] 969*2^1000808-1 is not prime. Res64: 003740A761715933 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:38:17] 993*2^1000808-1 is not prime. Res64: 9F4D349227DC8F14 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:41:10] 669*2^1000809-1 is not prime. Res64: 686A87159B094322 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:41:11] 789*2^1000809-1 is not prime. Res64: 0781786CF20971BE Time : 0.0 sec. user=mdettweiler [2012-01-12 03:49:00] 653*2^1000810-1 is not prime. Res64: 0104C6F63EF4DC97 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:49:01] 687*2^1000810-1 is not prime. Res64: C63F5868448682AC Time : 0.0 sec. user=mdettweiler [2012-01-12 03:50:54] 889*2^1000809-1 is not prime. Res64: 3561D787686CFD5E Time : 0.0 sec. user=mdettweiler [2012-01-12 03:50:54] 999*2^1000809-1 is not prime. Res64: 930AAD789287BC98 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:57:56] 695*2^1000810-1 is not prime. Res64: 1177CF9A2AB7C089 Time : 0.0 sec. user=mdettweiler [2012-01-12 03:57:57] 717*2^1000810-1 is not prime. Res64: 452BA44296B7C479 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:00:46] 735*2^1000810-1 is not prime. Res64: 380952FAB1FB8D7E Time : 0.0 sec. user=mdettweiler [2012-01-12 04:00:48] 861*2^1000810-1 is not prime. Res64: 7DE47CDA449A8F2F Time : 0.0 sec. user=mdettweiler [2012-01-12 04:10:55] 887*2^1000810-1 is not prime. Res64: D9150C5B6550AE32 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:10:56] 957*2^1000810-1 is not prime. Res64: 03D7FC3E26427036 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:12:45] 995*2^1000810-1 is not prime. Res64: 27B9AD0EC2EF2050 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:12:46] 615*2^1000811-1 is not prime. Res64: 6944B6AD3E805FCF Time : 0.0 sec. user=mdettweiler [2012-01-12 04:17:33] 643*2^1000811-1 is not prime. Res64: A228D5CC47991B3D Time : 0.0 sec. user=mdettweiler [2012-01-12 04:17:34] 775*2^1000811-1 is not prime. Res64: 0ACD80FD98B933B4 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:20:24] 605*2^1000812-1 is not prime. Res64: C0A6B24DE757E085 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:20:25] 749*2^1000812-1 is not prime. Res64: 2A4077A20BFE9436 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:30:32] 779*2^1000812-1 is not prime. Res64: 489B1D13CF85C1A1 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:30:33] 825*2^1000812-1 is not prime. Res64: A8DE8AE28207DA89 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:34:37] 887*2^1000812-1 is not prime. Res64: 7AEC54F5524F367B Time : 0.0 sec. user=mdettweiler [2012-01-12 04:34:38] 983*2^1000812-1 is not prime. Res64: D47BB57511BCE3B0 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:39:27] 885*2^1000813-1 is not prime. Res64: D52BB77805AB0C9E Time : 0.0 sec. user=mdettweiler [2012-01-12 04:39:28] 951*2^1000813-1 is not prime. Res64: DD52566E381ECFB5 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:40:04] 813*2^1000814-1 is not prime. Res64: 3424D8333CCEF05B Time : 0.0 sec. user=mdettweiler [2012-01-12 04:40:04] 873*2^1000814-1 is not prime. Res64: 88AA194971B5B64B Time : 0.0 sec. user=mdettweiler [2012-01-12 04:52:26] 903*2^1000814-1 is not prime. Res64: AEE641BC5AC9C09F Time : 0.0 sec. user=mdettweiler [2012-01-12 04:52:27] 951*2^1000814-1 is not prime. Res64: 5CA31A21EBD21F8E Time : 0.0 sec. user=mdettweiler [2012-01-12 04:56:30] 981*2^1000814-1 is not prime. Res64: 9DCABC3A67272CB2 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:56:31] 625*2^1000815-1 is not prime. Res64: AD9D2F8F11DFA34B Time : 0.0 sec. user=mdettweiler [2012-01-12 04:59:05] 723*2^1000815-1 is not prime. Res64: BD0A1B6DC807A8D9 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:59:05] 795*2^1000815-1 is not prime. Res64: 0D25C0A733EC3B71 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:59:45] 805*2^1000815-1 is not prime. Res64: D2635F516BD81E34 Time : 0.0 sec. user=mdettweiler [2012-01-12 04:59:46] 823*2^1000815-1 is not prime. Res64: 890E254AE5AA6CE2 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:14:20] 913*2^1000815-1 is not prime. Res64: D1AD2E7F1008E42D Time : 0.0 sec. user=mdettweiler [2012-01-12 05:14:24] 961*2^1000815-1 is not prime. Res64: 3053EB4999FABBE1 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:16:07] 695*2^1000816-1 is not prime. Res64: 44BB0105077626FA Time : 0.0 sec. user=mdettweiler [2012-01-12 05:16:07] 705*2^1000816-1 is not prime. Res64: B942BBE95F183551 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:18:40] 719*2^1000816-1 is not prime. Res64: 66F452C2FE7415A1 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:18:41] 803*2^1000816-1 is not prime. Res64: 77B4053928514F7B Time : 0.0 sec. user=mdettweiler [2012-01-12 05:19:20] 833*2^1000816-1 is not prime. Res64: 20C9CE7C1030635B Time : 0.0 sec. user=mdettweiler [2012-01-12 05:19:20] 615*2^1000817-1 is not prime. Res64: 4631E896F3BBF154 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:34:04] 619*2^1000817-1 is not prime. Res64: 7D2D273A71C9E531 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:34:04] 711*2^1000817-1 is not prime. Res64: 0C138A5168049EAC Time : 0.0 sec. user=mdettweiler [2012-01-12 05:35:44] 885*2^1000817-1 is not prime. Res64: 109F736DF15973CF Time : 0.0 sec. user=mdettweiler [2012-01-12 05:35:45] 915*2^1000817-1 is not prime. Res64: FC6680DF26F90D2C Time : 0.0 sec. user=mdettweiler [2012-01-12 05:38:14] 773*2^1000818-1 is not prime. Res64: AC8159A9368F76A5 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:38:14] 821*2^1000818-1 is not prime. Res64: B2F71A9BB15C8696 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:38:58] 891*2^1000818-1 is not prime. Res64: 2B87DA1CA3FDC357 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:38:58] 921*2^1000818-1 is not prime. Res64: 7990447A21FC2A41 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:55:58] 933*2^1000818-1 is not prime. Res64: AF7E79D4995CBA48 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:55:59] 957*2^1000818-1 is not prime. Res64: 17B3070FDCFC4A36 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:57:39] 993*2^1000818-1 is not prime. Res64: FD1BF747FD14AC3D Time : 0.0 sec. user=mdettweiler [2012-01-12 05:57:39] 601*2^1000819-1 is not prime. Res64: 06136254ACBB3C71 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:58:39] 635*2^1000820-1 is not prime. Res64: 0B82BAA457A60299 Time : 0.0 sec. user=mdettweiler [2012-01-12 05:58:39] 659*2^1000820-1 is not prime. Res64: 0A9FA001EDCD6799 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:00:06] 741*2^1000819-1 is not prime. Res64: 27CC2A28E072D45B Time : 0.0 sec. user=mdettweiler [2012-01-12 06:00:10] 973*2^1000819-1 is not prime. Res64: 640EAC689F8A23A5 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:15:36] 687*2^1000820-1 is not prime. Res64: DA92B8283657F676 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:15:38] 845*2^1000820-1 is not prime. Res64: 9B79116DAACEE4CC Time : 0.0 sec. user=mdettweiler [2012-01-12 06:18:13] 711*2^1000821-1 is not prime. Res64: 4FA75AD9B81622E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:18:14] 795*2^1000821-1 is not prime. Res64: E6198D760201C82D Time : 0.0 sec. user=mdettweiler [2012-01-12 06:19:30] 875*2^1000820-1 is not prime. Res64: 5E05249C570D9CF6 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:19:30] 983*2^1000820-1 is not prime. Res64: 9CB26BCFFA5C7805 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:19:48] 861*2^1000821-1 is not prime. Res64: EA7A2C1C48EC3863 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:19:49] 885*2^1000821-1 is not prime. Res64: B817B5D759DAE64B Time : 0.0 sec. user=mdettweiler [2012-01-12 06:35:21] 901*2^1000821-1 is not prime. Res64: AD1DAC0CE5FA8E15 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:35:21] 927*2^1000821-1 is not prime. Res64: 1B3A1EBCAF9B306C Time : 0.0 sec. user=mdettweiler [2012-01-12 06:39:11] 713*2^1000822-1 is not prime. Res64: C3E54A6BB1BAED5C Time : 0.0 sec. user=mdettweiler [2012-01-12 06:39:12] 731*2^1000822-1 is not prime. Res64: 01E756491AE3B28F Time : 0.0 sec. user=mdettweiler [2012-01-12 06:39:26] 765*2^1000822-1 is not prime. Res64: 07FA70543B45FF3F Time : 0.0 sec. user=mdettweiler [2012-01-12 06:39:27] 801*2^1000822-1 is not prime. Res64: EDBAA0D8E8BA592F Time : 0.0 sec. user=mdettweiler [2012-01-12 06:40:02] 949*2^1000821-1 is not prime. Res64: 26E25BE72DF3A755 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:40:03] 979*2^1000821-1 is not prime. Res64: 506EFCCBC1454F3E Time : 0.0 sec. user=mdettweiler [2012-01-12 06:55:02] 827*2^1000822-1 is not prime. Res64: EAF2CDC74365BC46 Time : 0.0 sec. user=mdettweiler [2012-01-12 06:55:03] 915*2^1000822-1 is not prime. Res64: E90ECD8268D65DFA Time : 0.0 sec. user=mdettweiler [2012-01-12 06:59:06] 759*2^1000823-1 is not prime. Res64: 6B48613F514938EB Time : 0.0 sec. user=mdettweiler [2012-01-12 06:59:06] 771*2^1000823-1 is not prime. Res64: D8BD0463E6B8DF9C Time : 0.0 sec. user=mdettweiler [2012-01-12 06:59:36] 775*2^1000823-1 is not prime. Res64: E3D71A30A4430BCD Time : 0.0 sec. user=mdettweiler [2012-01-12 06:59:37] 879*2^1000823-1 is not prime. Res64: 45DD5DF3A39A7795 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:01:04] 951*2^1000822-1 is not prime. Res64: 45F1D4146DF8F02B Time : 0.0 sec. user=mdettweiler [2012-01-12 07:01:05] 735*2^1000823-1 is not prime. Res64: 4EF70F6576117875 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:14:39] 943*2^1000823-1 is not prime. Res64: C8782A6CD3B47B74 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:14:41] 609*2^1000824-1 is not prime. Res64: 3C4327E1D9FE08EB Time : 0.0 sec. user=mdettweiler [2012-01-12 07:18:44] 693*2^1000824-1 is not prime. Res64: 05FD23CF6B030BA3 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:18:45] 837*2^1000824-1 is not prime. Res64: 118DA482FF532420 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:20:47] 649*2^1000825-1 is not prime. Res64: 1C26A5B4FAA290E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:20:48] 685*2^1000825-1 is not prime. Res64: 8C7267F983EDDD61 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:21:24] 929*2^1000824-1 is not prime. Res64: 03707BBECBCAE30B Time : 0.0 sec. user=mdettweiler [2012-01-12 07:21:25] 975*2^1000824-1 is not prime. Res64: 9793D4C02E30B247 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:24:37] 981*2^1000802-1 is not prime. Res64: AC77DE95FF9CE446 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:24:37] 987*2^1000802-1 is not prime. Res64: 66E0546014ECCB31 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:24:49] 679*2^1000799-1 is not prime. Res64: 50C68ABFC118F059 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:24:49] 759*2^1000799-1 is not prime. Res64: 9C6E9286D2F89BBF Time : 0.0 sec. user=mdettweiler [2012-01-12 07:24:51] 863*2^1000798-1 is not prime. Res64: D12DCD369F1E3A85 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:24:51] 891*2^1000798-1 is not prime. Res64: E0A0720EAFC34357 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:27:22] 741*2^1000803-1 is not prime. Res64: 86C5CF336992D5B0 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:34:14] 811*2^1000825-1 is not prime. Res64: 9AD7F228B63D4F87 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:34:15] 831*2^1000825-1 is not prime. Res64: 897A5FFAD705362E Time : 0.0 sec. user=mdettweiler [2012-01-12 07:34:40] 603*2^1000828-1 is not prime. Res64: 3D83F4023A1267A2 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:38:19] 867*2^1000825-1 is not prime. Res64: 7B7612C81089807E Time : 0.0 sec. user=mdettweiler [2012-01-12 07:38:20] 633*2^1000826-1 is not prime. Res64: A5766DC12F0BD413 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:40:22] 671*2^1000826-1 is not prime. Res64: 337B6B2B164DEE7C Time : 0.0 sec. user=mdettweiler [2012-01-12 07:40:22] 713*2^1000826-1 is not prime. Res64: B74C02C1BAED6760 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:40:59] 717*2^1000826-1 is not prime. Res64: 90C21435D5A18BF1 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:40:59] 831*2^1000826-1 is not prime. Res64: 69A964901FCEAEBB Time : 0.0 sec. user=mdettweiler [2012-01-12 07:41:59] 635*2^1000828-1 is not prime. Res64: 3A4E014DE652C3C9 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:49:19] 927*2^1000829-1 is not prime. Res64: 565B0A54DA3D053D Time : 0.0 sec. user=mdettweiler [2012-01-12 07:53:51] 615*2^1000828-1 is not prime. Res64: 4A407EE601AE52F2 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:53:51] 623*2^1000828-1 is not prime. Res64: C5D455D410872CD8 Time : 0.0 sec. user=mdettweiler [2012-01-12 07:56:38] 677*2^1000830-1 is not prime. Res64: 537AF638F68DEB6E Time : 0.0 sec. user=mdettweiler [2012-01-12 07:59:27] 665*2^1000804-1 is not prime. Res64: ABBD766A1F7690D6 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:00:08] 687*2^1000828-1 is not prime. Res64: 4EA10B4B386C93F7 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:00:09] 957*2^1000828-1 is not prime. Res64: E9A1D47F4137115D Time : 0.0 sec. user=mdettweiler [2012-01-12 08:00:40] 735*2^1000829-1 is not prime. Res64: 6543048E0D823732 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:00:46] 759*2^1000829-1 is not prime. Res64: 88E7C213B0726041 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:02:18] 975*2^1000828-1 is not prime. Res64: CD0CABB6EA58AE71 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:02:19] 699*2^1000829-1 is not prime. Res64: 63CF7FBFA7209364 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:04:11] 873*2^1000830-1 is not prime. Res64: 3622304749FEF3B7 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:07:03] 875*2^1000830-1 is not prime. Res64: F4D6F1A44CCF3D17 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:11:49] 663*2^1000831-1 is not prime. Res64: B5E9CA3C3808CBBB Time : 0.0 sec. user=mdettweiler [2012-01-12 08:13:39] 777*2^1000830-1 is not prime. Res64: 779DBAF84A91E305 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:13:40] 825*2^1000830-1 is not prime. Res64: 475BDF9806866F36 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:14:44] 769*2^1000831-1 is not prime. Res64: 8EC8590C8DBE5340 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:19:26] 871*2^1000831-1 is not prime. Res64: 6EB7F9FC88CEADFF Time : 0.0 sec. user=mdettweiler [2012-01-12 08:19:59] 927*2^1000830-1 is not prime. Res64: 8178DFF1B7B46761 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:19:59] 933*2^1000830-1 is not prime. Res64: 2854CC220B0FD35B Time : 0.0 sec. user=mdettweiler [2012-01-12 08:22:14] 603*2^1000831-1 is not prime. Res64: D70C5FA7ADB77B38 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:22:14] 625*2^1000831-1 is not prime. Res64: E748767EBD71AF0F Time : 0.0 sec. user=mdettweiler [2012-01-12 08:22:21] 693*2^1000832-1 is not prime. Res64: BEE036E0FCDB2AEE Time : 0.0 sec. user=mdettweiler [2012-01-12 08:27:02] 743*2^1000832-1 is not prime. Res64: 0CB85263D85CD836 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:29:55] 817*2^1000833-1 is not prime. Res64: CEF6B86290EB6C58 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:33:28] 889*2^1000831-1 is not prime. Res64: 3A93610F4997CC59 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:33:29] 677*2^1000832-1 is not prime. Res64: 9509A1E76AC23374 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:34:37] 889*2^1000833-1 is not prime. Res64: 2E069A8FE44B3670 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:37:31] 675*2^1000834-1 is not prime. Res64: 99492EBBBF8019CE Time : 0.0 sec. user=mdettweiler [2012-01-12 08:39:43] 753*2^1000832-1 is not prime. Res64: B47F3A0BAECBFDD5 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:39:44] 681*2^1000833-1 is not prime. Res64: F9BCB8F627ABB0CB Time : 0.0 sec. user=mdettweiler [2012-01-12 08:42:01] 705*2^1000833-1 is not prime. Res64: 321BB8B6FDD2F1F2 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:42:02] 795*2^1000833-1 is not prime. Res64: 008DD326D65732BB Time : 0.0 sec. user=mdettweiler [2012-01-12 08:42:12] 655*2^1000835-1 is not prime. Res64: BDFC8505C34E1116 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:43:56] 801*2^1000827-1 is not prime. Res64: F50879CC3D0C3772 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:43:56] 825*2^1000827-1 is not prime. Res64: 48B036B572B5A96C Time : 0.0 sec. user=mdettweiler [2012-01-12 08:44:03] 923*2^1000826-1 is not prime. Res64: 2606A5F66A7FB923 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:44:03] 669*2^1000827-1 is not prime. Res64: 9569A3530345A802 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:45:08] 775*2^1000835-1 is not prime. Res64: 8649770D9A45F6A5 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:45:17] 765*2^1000827-1 is not prime. Res64: 2D4DC3A4ED20C26E Time : 0.0 sec. user=mdettweiler [2012-01-12 08:45:18] 769*2^1000827-1 is not prime. Res64: B8D21751A8FD7A2F Time : 0.0 sec. user=mdettweiler [2012-01-12 08:49:34] 755*2^1000834-1 is not prime. Res64: 55C47CFB8FB6D798 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:49:35] 825*2^1000834-1 is not prime. Res64: 578C828F0EEB3138 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:49:48] 705*2^1000836-1 is not prime. Res64: 96D9378FB098BBAD Time : 0.0 sec. user=mdettweiler [2012-01-12 08:52:43] 783*2^1000836-1 is not prime. Res64: 6202ED96E1C879E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:52:54] 901*2^1000827-1 is not prime. Res64: D341741EAB312967 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:52:55] 991*2^1000827-1 is not prime. Res64: 0789D128D3994FE9 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:53:03] 833*2^1000834-1 is not prime. Res64: 23C18215D71CDA06 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:53:03] 643*2^1000835-1 is not prime. Res64: 937B563FB83EBFDD Time : 0.0 sec. user=mdettweiler [2012-01-12 08:57:24] 905*2^1000836-1 is not prime. Res64: F8E2A36F2C41FED8 Time : 0.0 sec. user=mdettweiler [2012-01-12 08:59:20] 841*2^1000835-1 is not prime. Res64: 93EC5E37CB3E9F6E Time : 0.0 sec. user=mdettweiler [2012-01-12 08:59:21] 903*2^1000835-1 is not prime. Res64: 4452B7930A232DA9 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:00:20] 625*2^1000837-1 is not prime. Res64: 0DC255C76774A1E6 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:01:40] 623*2^1000836-1 is not prime. Res64: E2920022F613CBB9 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:01:45] 657*2^1000836-1 is not prime. Res64: 03BB7644A0FE6354 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:05:03] 871*2^1000837-1 is not prime. Res64: 68F3203C5BD21F43 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:09:10] 893*2^1000836-1 is not prime. Res64: 4EC1FC039E512460 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:09:11] 903*2^1000836-1 is not prime. Res64: 04EA1B5CB1C87086 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:10:17] 955*2^1000837-1 is not prime. Res64: 382F67651407F5E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:12:37] 819*2^1000837-1 is not prime. Res64: 13770AF218E3D9F0 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:12:37] 859*2^1000837-1 is not prime. Res64: 75572CEE117579ED Time : 0.0 sec. user=mdettweiler [2012-01-12 09:13:03] 813*2^1000838-1 is not prime. Res64: 321396FE4CA9A63E Time : 0.0 sec. user=mdettweiler [2012-01-12 09:17:55] 915*2^1000838-1 is not prime. Res64: DAD52C238EE8EDDD Time : 0.0 sec. user=mdettweiler [2012-01-12 09:18:55] 885*2^1000837-1 is not prime. Res64: A2BF51108DEEAE5A Time : 0.0 sec. user=mdettweiler [2012-01-12 09:18:55] 919*2^1000837-1 is not prime. Res64: 83D42A1B54D16217 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:20:42] 635*2^1000840-1 is not prime. Res64: EEBFAE2FA6001E91 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:21:38] 663*2^1000838-1 is not prime. Res64: 5EF4230AB01D2085 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:21:38] 711*2^1000838-1 is not prime. Res64: 5068A2CA821A68B2 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:25:31] 765*2^1000840-1 is not prime. Res64: 2FBC5A914E237C70 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:28:18] 927*2^1000840-1 is not prime. Res64: 6FE37FEA16D05D1A Time : 0.0 sec. user=mdettweiler [2012-01-12 09:28:49] 893*2^1000838-1 is not prime. Res64: 6FA26D2BBBA29BAD Time : 0.0 sec. user=mdettweiler [2012-01-12 09:28:49] 897*2^1000838-1 is not prime. Res64: BE50F5C2A2A8ECD1 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:32:19] 945*2^1000838-1 is not prime. Res64: 2F0B75A149E3B431 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:32:19] 625*2^1000839-1 is not prime. Res64: AAD3FCA79053F817 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:34:54] 955*2^1000841-1 is not prime. Res64: 1FB5E261A657A71D Time : 0.0 sec. user=mdettweiler [2012-01-12 09:35:53] 611*2^1000842-1 is not prime. Res64: 8F82D3D228E000E0 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:38:33] 833*2^1000840-1 is not prime. Res64: 645A03A522141BA9 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:38:33] 887*2^1000840-1 is not prime. Res64: F7947769CBF7CEC5 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:41:16] 939*2^1000840-1 is not prime. Res64: ABEFACF86D7F1BE9 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:41:17] 619*2^1000841-1 is not prime. Res64: F4783D5115DF9BE9 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:42:31] 903*2^1000842-1 is not prime. Res64: 83A3899EBF8E5274 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:43:31] 945*2^1000842-1 is not prime. Res64: 2F6DCF996738D937 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:48:26] 735*2^1000842-1 is not prime. Res64: A8D430740D8DEA66 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:48:27] 837*2^1000842-1 is not prime. Res64: 7BD711F4F24018C4 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:50:07] 883*2^1000843-1 is not prime. Res64: 47C6E80B7509AED0 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:51:06] 919*2^1000843-1 is not prime. Res64: DC58A5588E4E1447 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:52:01] 873*2^1000842-1 is not prime. Res64: A56405D0C9A92EF3 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:52:01] 887*2^1000842-1 is not prime. Res64: ABF5B97D2C6F1F6D Time : 0.0 sec. user=mdettweiler [2012-01-12 09:58:43] 609*2^1000844-1 is not prime. Res64: 4069CB1F5F1365A8 Time : 0.0 sec. user=mdettweiler [2012-01-12 09:59:30] 999*2^1000843-1 is not prime. Res64: D70EA681F8B72C04 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:00:22] 983*2^1000842-1 is not prime. Res64: F44CFBFC91F317AC Time : 0.0 sec. user=mdettweiler [2012-01-12 10:00:23] 673*2^1000843-1 is not prime. Res64: C4E2BDC57E5E8C88 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:00:50] 735*2^1000843-1 is not prime. Res64: 6CE42906CD3D75A3 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:00:55] 849*2^1000843-1 is not prime. Res64: 3C16EE0B9E5CCFDE Time : 0.0 sec. user=mdettweiler [2012-01-12 10:04:16] 717*2^1000836-1 is not prime. Res64: 9D315E03522ABA30 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:04:17] 737*2^1000836-1 is not prime. Res64: B0802760EE157B16 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:04:35] 759*2^1000836-1 is not prime. Res64: 857153AABFAA7906 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:04:36] 779*2^1000836-1 is not prime. Res64: 514BE0DD3053E5B2 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:06:19] 875*2^1000844-1 is not prime. Res64: 751C843FDE067768 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:07:05] 655*2^1000845-1 is not prime. Res64: 41E3CEF7245B30F9 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:07:11] 843*2^1000836-1 is not prime. Res64: 5BF00614847132E7 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:07:12] 857*2^1000836-1 is not prime. Res64: 50AD4D802D1E9F4F Time : 0.0 sec. user=mdettweiler [2012-01-12 10:10:22] 943*2^1000843-1 is not prime. Res64: 562509B17124A8FE Time : 0.0 sec. user=mdettweiler [2012-01-12 10:10:23] 985*2^1000843-1 is not prime. Res64: 0BD7B33C9B0A2CAA Time : 0.0 sec. user=mdettweiler [2012-01-12 10:11:37] 615*2^1000844-1 is not prime. Res64: AD548FCA2EBD3118 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:11:39] 843*2^1000844-1 is not prime. Res64: 1219DF3429DE2432 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:13:38] 645*2^1000837-1 is not prime. Res64: 2B56FAFAA117227A Time : 0.0 sec. user=mdettweiler [2012-01-12 10:13:40] 651*2^1000837-1 is not prime. Res64: 64E49F1FA9B3F57A Time : 0.0 sec. user=mdettweiler [2012-01-12 10:13:58] 761*2^1000846-1 is not prime. Res64: D99E6332952B0B9F Time : 0.0 sec. user=mdettweiler [2012-01-12 10:14:45] 887*2^1000846-1 is not prime. Res64: 57A653490B351CC0 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:20:02] 667*2^1000845-1 is not prime. Res64: 818E7B86DC334E65 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:20:03] 817*2^1000845-1 is not prime. Res64: 509E1B1F8D94C12A Time : 0.0 sec. user=mdettweiler [2012-01-12 10:21:38] 705*2^1000847-1 is not prime. Res64: CC634097D98760EE Time : 0.0 sec. user=mdettweiler [2012-01-12 10:22:24] 715*2^1000847-1 is not prime. Res64: 1FE2DF8A9A173BB9 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:22:51] 895*2^1000845-1 is not prime. Res64: D4051068015AE1F3 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:22:51] 961*2^1000845-1 is not prime. Res64: 3A885B7921F1FABD Time : 0.0 sec. user=mdettweiler [2012-01-12 10:29:16] 889*2^1000847-1 is not prime. Res64: B5712422662D1409 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:30:02] 895*2^1000847-1 is not prime. Res64: 0FBC36A29E02CB81 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:34:37] 971*2^1000846-1 is not prime. Res64: 0F4609268F166DFF Time : 0.0 sec. user=mdettweiler [2012-01-12 10:34:37] 983*2^1000846-1 is not prime. Res64: CE19AB3D06DAC010 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:36:01] 987*2^1000846-1 is not prime. Res64: C86F97471AD6607E Time : 0.0 sec. user=mdettweiler [2012-01-12 10:36:02] 1001*2^1000846-1 is not prime. Res64: 68C2FA82D4491092 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:36:53] 635*2^1000848-1 is not prime. Res64: D4173901354224B8 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:37:41] 669*2^1000848-1 is not prime. Res64: AC3A7A50C270E4A0 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:39:47] 805*2^1000847-1 is not prime. Res64: 4ADFFFC4730F4716 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:39:47] 823*2^1000847-1 is not prime. Res64: 7F81F90EAEACB353 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:44:31] 837*2^1000848-1 is not prime. Res64: E7651456037359A2 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:45:19] 887*2^1000848-1 is not prime. Res64: 7AC54E5983E96662 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:47:07] 985*2^1000847-1 is not prime. Res64: 484852F95A6722C0 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:47:08] 991*2^1000847-1 is not prime. Res64: 3753E483D19298B8 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:52:08] 751*2^1000849-1 is not prime. Res64: F5E259C2B47A5D63 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:52:55] 771*2^1000849-1 is not prime. Res64: F7EB5D070975E225 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:54:18] 683*2^1000848-1 is not prime. Res64: 2D3C5F1DF7FF1714 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:54:19] 707*2^1000848-1 is not prime. Res64: 508178908D6BB80B Time : 0.0 sec. user=mdettweiler [2012-01-12 10:55:45] 725*2^1000848-1 is not prime. Res64: 1537B994D197A5DD Time : 0.0 sec. user=mdettweiler [2012-01-12 10:55:46] 753*2^1000848-1 is not prime. Res64: AD5F7CCFE22C0F98 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:59:31] 929*2^1000848-1 is not prime. Res64: FCF3637AEC66CDA8 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:59:31] 681*2^1000849-1 is not prime. Res64: 6150D425D40BB876 Time : 0.0 sec. user=mdettweiler [2012-01-12 10:59:44] 867*2^1000849-1 is not prime. Res64: B83365FA01E07DD3 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:00:33] 931*2^1000849-1 is not prime. Res64: 3033A1EB701C6D5D Time : 0.0 sec. user=mdettweiler [2012-01-12 11:06:49] 847*2^1000849-1 is not prime. Res64: 2E5864C9C26050C2 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:06:50] 855*2^1000849-1 is not prime. Res64: 0E50F93926BE9CD3 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:07:22] 921*2^1000850-1 is not prime. Res64: 239F9AFE6EC40911 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:08:11] 703*2^1000851-1 is not prime. Res64: 6EAECB3A0EDBDC8A Time : 0.0 sec. user=mdettweiler [2012-01-12 11:13:57] 945*2^1000849-1 is not prime. Res64: 1EC2F69E2AC162D3 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:13:59] 797*2^1000850-1 is not prime. Res64: 7A99AB40AAC52A49 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:15:24] 857*2^1000850-1 is not prime. Res64: 4777C6D14C56C218 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:15:25] 875*2^1000850-1 is not prime. Res64: F4F9C98222E982C8 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:16:47] 969*2^1000851-1 is not prime. Res64: 891690B19C6BA602 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:17:34] 979*2^1000851-1 is not prime. Res64: D69A1104822F1382 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:19:09] 885*2^1000850-1 is not prime. Res64: 3BF81F0B65537B7D Time : 0.0 sec. user=mdettweiler [2012-01-12 11:19:09] 917*2^1000850-1 is not prime. Res64: 18F498FA08D6DD47 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:24:24] 779*2^1000852-1 is not prime. Res64: 07BC5CAE83FAC714 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:25:12] 899*2^1000852-1 is not prime. Res64: D0A2C90B69001803 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:26:30] 789*2^1000851-1 is not prime. Res64: 3F8D64200953C6BF Time : 0.0 sec. user=mdettweiler [2012-01-12 11:26:31] 909*2^1000851-1 is not prime. Res64: 58C497641F76CC60 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:27:34] 675*2^1000846-1 is not prime. Res64: 536E7F840018E22A Time : 0.0 sec. user=mdettweiler [2012-01-12 11:27:34] 741*2^1000846-1 is not prime. Res64: 5F3832972FBAF058 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:30:42] 897*2^1000846-1 is not prime. Res64: 0459BCB21A5EB296 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:30:42] 911*2^1000846-1 is not prime. Res64: CEE77194310904FB Time : 0.0 sec. user=mdettweiler [2012-01-12 11:31:59] 939*2^1000852-1 is not prime. Res64: 05F77FDCE7F51DE9 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:33:39] 623*2^1000852-1 is not prime. Res64: 2906431953F5968F Time : 0.0 sec. user=mdettweiler [2012-01-12 11:33:39] 635*2^1000852-1 is not prime. Res64: 6953B50D63454C19 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:34:33] 959*2^1000852-1 is not prime. Res64: EF6EA540EDEA2879 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:34:53] 999*2^1000845-1 is not prime. Res64: 5C56D9AFE2921844 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:34:53] 657*2^1000846-1 is not prime. Res64: 9B262ED9F5FAADC2 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:35:09] 687*2^1000852-1 is not prime. Res64: 2ACCA693EF59D2F1 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:35:09] 717*2^1000852-1 is not prime. Res64: BEE15FACD9EC3699 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:35:30] 693*2^1000847-1 is not prime. Res64: DA3C26429476C968 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:35:30] 703*2^1000847-1 is not prime. Res64: 57C94D63A7D5BDAE Time : 0.0 sec. user=mdettweiler [2012-01-12 11:38:53] 903*2^1000852-1 is not prime. Res64: DEF4715BAD62829B Time : 0.0 sec. user=mdettweiler [2012-01-12 11:38:53] 915*2^1000852-1 is not prime. Res64: C4C9B6AD99E9D44E Time : 0.0 sec. user=mdettweiler [2012-01-12 11:39:35] 747*2^1000854-1 is not prime. Res64: F37DF12014136A45 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:42:10] 807*2^1000854-1 is not prime. Res64: DBAB106E4318AEBA Time : 0.0 sec. user=mdettweiler [2012-01-12 11:46:15] 745*2^1000853-1 is not prime. Res64: A90470B41A3ABB32 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:46:16] 847*2^1000853-1 is not prime. Res64: C198EDF98419ACC9 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:47:12] 893*2^1000856-1 is not prime. Res64: A1B259291ACEA271 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:49:47] 741*2^1000857-1 is not prime. Res64: 331622388860DA0A Time : 0.0 sec. user=mdettweiler [2012-01-12 11:53:19] 755*2^1000854-1 is not prime. Res64: 093AA6CD80182ECE Time : 0.0 sec. user=mdettweiler [2012-01-12 11:53:19] 791*2^1000854-1 is not prime. Res64: 09003C0306843D52 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:54:46] 933*2^1000855-1 is not prime. Res64: D5615E98FBA513E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:54:46] 609*2^1000856-1 is not prime. Res64: BA81B38685239001 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:54:47] 645*2^1000858-1 is not prime. Res64: 896E7392F09DC572 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:57:22] 681*2^1000858-1 is not prime. Res64: 8A63861EBBBB16E6 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:58:36] 717*2^1000856-1 is not prime. Res64: 080726A106E575D1 Time : 0.0 sec. user=mdettweiler [2012-01-12 11:58:37] 855*2^1000856-1 is not prime. Res64: ECE5538029E26AF7 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:02:23] 631*2^1000859-1 is not prime. Res64: D50D466459011B30 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:04:56] 675*2^1000859-1 is not prime. Res64: 56A69F2F8FAAB51E Time : 0.0 sec. user=mdettweiler [2012-01-12 12:05:56] 835*2^1000857-1 is not prime. Res64: C8067C6265E2F6E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:05:57] 623*2^1000858-1 is not prime. Res64: 2E2F8D3ED5D30C6C Time : 0.0 sec. user=mdettweiler [2012-01-12 12:10:00] 813*2^1000859-1 is not prime. Res64: 855CD0DFB7816B89 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:13:02] 705*2^1000858-1 is not prime. Res64: F1FE63B65CA6665B Time : 0.0 sec. user=mdettweiler [2012-01-12 12:13:03] 801*2^1000858-1 is not prime. Res64: 3AC2FBAD1207E688 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:14:22] 993*2^1000859-1 is not prime. Res64: D63F90389A381BF4 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:16:40] 857*2^1000858-1 is not prime. Res64: B262BA7B3D965250 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:16:41] 957*2^1000858-1 is not prime. Res64: 81997FC8C822D165 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:17:37] 797*2^1000860-1 is not prime. Res64: D2AC65DD4ECFF92E Time : 0.0 sec. user=mdettweiler [2012-01-12 12:18:19] 705*2^1000859-1 is not prime. Res64: A1E90858D9A72210 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:18:19] 775*2^1000859-1 is not prime. Res64: 65530B10ABC57DB8 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:22:01] 607*2^1000861-1 is not prime. Res64: 6940A278831C6540 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:25:15] 835*2^1000861-1 is not prime. Res64: C20CE31EA5D19808 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:25:40] 779*2^1000860-1 is not prime. Res64: 4DC3A61C4C08FB06 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:25:41] 783*2^1000860-1 is not prime. Res64: 810DADD0AEB39B04 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:29:40] 623*2^1000862-1 is not prime. Res64: C5E8F1D421C43EB8 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:32:53] 755*2^1000862-1 is not prime. Res64: B524B43CFDD90D1D Time : 0.0 sec. user=mdettweiler [2012-01-12 12:32:59] 819*2^1000860-1 is not prime. Res64: D4FA4E2FEF8829E2 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:32:59] 899*2^1000860-1 is not prime. Res64: 5B8EB09B9C42E49B Time : 0.0 sec. user=mdettweiler [2012-01-12 12:36:28] 741*2^1000861-1 is not prime. Res64: D23618BD1F240361 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:36:28] 819*2^1000861-1 is not prime. Res64: 91A7404E80EECBFE Time : 0.0 sec. user=mdettweiler [2012-01-12 12:37:17] 873*2^1000862-1 is not prime. Res64: 2B63F0BB343D2A79 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:40:30] 935*2^1000862-1 is not prime. Res64: F0D0CA8237C2CDD1 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:40:33] 867*2^1000861-1 is not prime. Res64: F159EF285EF96A6C Time : 0.0 sec. user=mdettweiler [2012-01-12 12:40:34] 999*2^1000861-1 is not prime. Res64: B01E94736EEDC112 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:44:52] 885*2^1000863-1 is not prime. Res64: 9E2A362BBE459B1D Time : 0.0 sec. user=mdettweiler [2012-01-12 12:45:44] 801*2^1000862-1 is not prime. Res64: 132FA84DAAC8CE54 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:45:44] 813*2^1000862-1 is not prime. Res64: 295AFFF10FE032D9 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:47:54] 861*2^1000853-1 is not prime. Res64: 8E1A7BF735CAD7F0 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:47:54] 897*2^1000853-1 is not prime. Res64: ACA6B014B812A8C4 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:48:06] 895*2^1000863-1 is not prime. Res64: 52E747CF9938BB66 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:51:19] 611*2^1000854-1 is not prime. Res64: 530A951CBD831F99 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:51:19] 707*2^1000854-1 is not prime. Res64: 0E1A526901DF906F Time : 0.0 sec. user=mdettweiler [2012-01-12 12:52:31] 813*2^1000864-1 is not prime. Res64: FE338B20F73D4F5A Time : 0.0 sec. user=mdettweiler [2012-01-12 12:53:02] 625*2^1000863-1 is not prime. Res64: 463C79D243E5437E Time : 0.0 sec. user=mdettweiler [2012-01-12 12:53:02] 663*2^1000863-1 is not prime. Res64: 24DA317A59EF6332 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:55:39] 617*2^1000856-1 is not prime. Res64: FA2B70C8D81594C3 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:55:39] 693*2^1000856-1 is not prime. Res64: 302E577D143049AB Time : 0.0 sec. user=mdettweiler [2012-01-12 12:55:44] 795*2^1000865-1 is not prime. Res64: DA182E2A33C097AE Time : 0.0 sec. user=mdettweiler [2012-01-12 12:55:50] 619*2^1000855-1 is not prime. Res64: 3904DA268B30815B Time : 0.0 sec. user=mdettweiler [2012-01-12 12:55:50] 861*2^1000855-1 is not prime. Res64: C9AE6D2DE43899D2 Time : 0.0 sec. user=mdettweiler [2012-01-12 12:56:23] 751*2^1000863-1 is not prime. Res64: 8EBF716081A1DCDB Time : 0.0 sec. user=mdettweiler [2012-01-12 12:56:24] 781*2^1000863-1 is not prime. Res64: 214038A9B13615BB Time : 0.0 sec. user=mdettweiler [2012-01-12 13:00:06] 641*2^1000866-1 is not prime. Res64: D4AF21810375F055 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:02:36] 961*2^1000863-1 is not prime. Res64: 433F7C29C63F533E Time : 0.0 sec. user=mdettweiler [2012-01-12 13:02:38] 773*2^1000864-1 is not prime. Res64: A60D1B847E823320 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:03:18] 741*2^1000866-1 is not prime. Res64: 069360C66A117B00 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:05:27] 887*2^1000864-1 is not prime. Res64: F22B4EE8256A9A71 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:05:28] 711*2^1000865-1 is not prime. Res64: 3DB29705DEBD2A95 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:07:46] 733*2^1000867-1 is not prime. Res64: AB0FB4D1EED821A6 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:10:55] 743*2^1000868-1 is not prime. Res64: 6963E14FA11F0911 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:12:44] 677*2^1000866-1 is not prime. Res64: 358F82B7380604C8 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:12:50] 695*2^1000866-1 is not prime. Res64: F92DC79CA271D452 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:16:06] 631*2^1000867-1 is not prime. Res64: 73AC1F120BE3869E Time : 0.0 sec. user=mdettweiler [2012-01-12 13:16:07] 649*2^1000867-1 is not prime. Res64: A44FDE833A023D32 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:17:14] 957*2^1000868-1 is not prime. Res64: 6DE99098157900F3 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:20:20] 995*2^1000868-1 is not prime. Res64: CB816A4B917BB25A Time : 0.0 sec. user=mdettweiler [2012-01-12 13:24:37] 931*2^1000867-1 is not prime. Res64: 84DB866A255C9F23 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:24:37] 951*2^1000867-1 is not prime. Res64: A9165F25DF691EF9 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:24:53] 945*2^1000869-1 is not prime. Res64: FC4771FB2FBAD5A1 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:25:10] 825*2^1000868-1 is not prime. Res64: D7DF7D08E4372AFE Time : 0.0 sec. user=mdettweiler [2012-01-12 13:25:11] 837*2^1000868-1 is not prime. Res64: BB6EE36A3502215F Time : 0.0 sec. user=mdettweiler [2012-01-12 13:29:44] 987*2^1000869-1 is not prime. Res64: 911162DD4397A6FA Time : 0.0 sec. user=mdettweiler [2012-01-12 13:32:30] 611*2^1000870-1 is not prime. Res64: E079D7D4CDB4F0D9 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:32:36] 639*2^1000869-1 is not prime. Res64: CCB72B2C46A48A27 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:32:36] 835*2^1000869-1 is not prime. Res64: 4D88640B041A6C10 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:35:53] 885*2^1000869-1 is not prime. Res64: 7999DD7A556DA4AE Time : 0.0 sec. user=mdettweiler [2012-01-12 13:35:54] 891*2^1000869-1 is not prime. Res64: A143F9C0A748185B Time : 0.0 sec. user=mdettweiler [2012-01-12 13:37:20] 615*2^1000871-1 is not prime. Res64: 4B92A1B945E279D8 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:40:07] 741*2^1000871-1 is not prime. Res64: 32C3FDEDEF304E86 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:44:55] 889*2^1000871-1 is not prime. Res64: E692FF872133F5C1 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:46:34] 997*2^1000869-1 is not prime. Res64: 302AF41697E52F15 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:46:34] 603*2^1000870-1 is not prime. Res64: F55AE27D240EDBB2 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:47:08] 915*2^1000870-1 is not prime. Res64: 72E2803DFF917E7F Time : 0.0 sec. user=mdettweiler [2012-01-12 13:47:08] 965*2^1000870-1 is not prime. Res64: 8D66FFFF57871143 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:47:40] 921*2^1000871-1 is not prime. Res64: B6B8797DFE913484 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:52:20] 759*2^1000871-1 is not prime. Res64: B306BC1F207D8EB1 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:52:20] 811*2^1000871-1 is not prime. Res64: B6DA0D4DB4107C46 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:52:32] 693*2^1000872-1 is not prime. Res64: 4B68D13BEAF42D22 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:55:19] 917*2^1000872-1 is not prime. Res64: 65169ADB2E637FE0 Time : 0.0 sec. user=mdettweiler [2012-01-12 13:55:33] 813*2^1000871-1 is not prime. Res64: 7CF7CB20A91AE5AA Time : 0.0 sec. user=mdettweiler [2012-01-12 13:55:34] 865*2^1000871-1 is not prime. Res64: 8E94A8F35308929A Time : 0.0 sec. user=mdettweiler [2012-01-12 14:00:06] 769*2^1000873-1 is not prime. Res64: 8093763D11E5ED1C Time : 0.0 sec. user=mdettweiler [2012-01-12 14:02:50] 829*2^1000873-1 is not prime. Res64: EE74C657E2FFA79A Time : 0.0 sec. user=mdettweiler [2012-01-12 14:02:53] 937*2^1000865-1 is not prime. Res64: 156436A3B89C9377 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:02:53] 633*2^1000866-1 is not prime. Res64: C59475D5D170FA5E Time : 0.0 sec. user=mdettweiler [2012-01-12 14:07:31] 699*2^1000872-1 is not prime. Res64: D7380FE068418FBE Time : 0.0 sec. user=mdettweiler [2012-01-12 14:07:32] 737*2^1000872-1 is not prime. Res64: E6C791CC26A8938A Time : 0.0 sec. user=mdettweiler [2012-01-12 14:07:50] 875*2^1000874-1 is not prime. Res64: 33DED71DA21E1CAF Time : 0.0 sec. user=mdettweiler [2012-01-12 14:08:29] 767*2^1000872-1 is not prime. Res64: 7BB357B92B33B36A Time : 0.0 sec. user=mdettweiler [2012-01-12 14:08:30] 843*2^1000872-1 is not prime. Res64: 3F1F68353A79E575 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:10:31] 945*2^1000874-1 is not prime. Res64: AA7B18B12DB785F7 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:12:47] 873*2^1000866-1 is not prime. Res64: FB2DA40EC1BC261E Time : 0.0 sec. user=mdettweiler [2012-01-12 14:13:35] 691*2^1000873-1 is not prime. Res64: 3F2CB3DCDC86C33F Time : 0.0 sec. user=mdettweiler [2012-01-12 14:13:35] 705*2^1000873-1 is not prime. Res64: 805D69DAB818B507 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:15:27] 859*2^1000875-1 is not prime. Res64: 7235BA9EFC76A9FA Time : 0.0 sec. user=mdettweiler [2012-01-12 14:17:06] 683*2^1000874-1 is not prime. Res64: EFA1AB5EAB281184 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:17:07] 711*2^1000874-1 is not prime. Res64: 184FEC6EB53AD4D3 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:18:07] 707*2^1000876-1 is not prime. Res64: 24F306B4B4A35959 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:21:53] 963*2^1000866-1 is not prime. Res64: D584A4379C32F7DA Time : 0.0 sec. user=mdettweiler [2012-01-12 14:23:05] 833*2^1000876-1 is not prime. Res64: 4DBD203A0E0E1FA7 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:25:45] 939*2^1000876-1 is not prime. Res64: 9999C291DD0D911C Time : 0.0 sec. user=mdettweiler [2012-01-12 14:27:39] 805*2^1000875-1 is not prime. Res64: BBB737EFB8DF28F3 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:27:39] 823*2^1000875-1 is not prime. Res64: 0597CECA78468BD1 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:30:43] 699*2^1000877-1 is not prime. Res64: BBD0F6F7ABB10D1E Time : 0.0 sec. user=mdettweiler [2012-01-12 14:31:10] 951*2^1000875-1 is not prime. Res64: 595A7368055877A1 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:31:11] 657*2^1000876-1 is not prime. Res64: A4D6F3B2E11C4C5F Time : 0.0 sec. user=mdettweiler [2012-01-12 14:33:23] 727*2^1000877-1 is not prime. Res64: B67881F498E149FE Time : 0.0 sec. user=mdettweiler [2012-01-12 14:33:57] 743*2^1000876-1 is not prime. Res64: CCC199DD721041E6 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:33:58] 783*2^1000876-1 is not prime. Res64: 62EFF77C9169F515 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:37:18] 873*2^1000876-1 is not prime. Res64: E761DD196A4D98E2 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:37:19] 897*2^1000876-1 is not prime. Res64: 6AD29D54B1125728 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:38:19] 777*2^1000877-1 is not prime. Res64: 4D3DCD391567A711 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:40:59] 885*2^1000877-1 is not prime. Res64: B0DD0A4999DE0038 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:45:58] 603*2^1000879-1 is not prime. Res64: F84FEF00CDF0FDFC Time : 0.0 sec. user=mdettweiler [2012-01-12 14:47:47] 729*2^1000877-1 is not prime. Res64: 1984947A9FBD57FE Time : 0.0 sec. user=mdettweiler [2012-01-12 14:47:48] 759*2^1000877-1 is not prime. Res64: CF645DA44C1ED5E9 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:48:37] 649*2^1000879-1 is not prime. Res64: 5A3D1B70A6D2DE10 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:51:09] 781*2^1000877-1 is not prime. Res64: AB7CEEC2DEADEA14 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:51:09] 831*2^1000877-1 is not prime. Res64: C296F52C3AB46380 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:53:40] 771*2^1000879-1 is not prime. Res64: 401E2C9F902CA713 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:56:15] 629*2^1000880-1 is not prime. Res64: CECB78F4AFF7BA39 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:56:15] 967*2^1000877-1 is not prime. Res64: E2C46933CB47FF1F Time : 0.0 sec. user=mdettweiler [2012-01-12 14:56:16] 635*2^1000878-1 is not prime. Res64: E5318998613C8AE1 Time : 0.0 sec. user=mdettweiler [2012-01-12 14:57:18] 755*2^1000878-1 is not prime. Res64: 989F8A947316D3BD Time : 0.0 sec. user=mdettweiler [2012-01-12 14:57:18] 927*2^1000878-1 is not prime. Res64: 431DA6D1790C85B9 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:01:19] 767*2^1000880-1 is not prime. Res64: 289BA3890971F462 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:03:52] 773*2^1000880-1 is not prime. Res64: A482E61F55F0565C Time : 0.0 sec. user=mdettweiler [2012-01-12 15:09:00] 897*2^1000880-1 is not prime. Res64: 9ED4A755E9B72017 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:11:06] 699*2^1000880-1 is not prime. Res64: 7E5322B2F2A4176A Time : 0.0 sec. user=mdettweiler [2012-01-12 15:11:08] 759*2^1000880-1 is not prime. Res64: FB22985199CC3AE6 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:12:20] 969*2^1000879-1 is not prime. Res64: 716AA3ADC4870DB1 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:12:21] 999*2^1000879-1 is not prime. Res64: 30EE041CB35AD09D Time : 0.0 sec. user=mdettweiler [2012-01-12 15:13:17] 995*2^1000880-1 is not prime. Res64: 46A1C71BDABA27D9 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:16:20] 819*2^1000880-1 is not prime. Res64: D1FCF8CDBA311019 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:16:20] 839*2^1000880-1 is not prime. Res64: 24497B361C22D0E3 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:16:38] 649*2^1000881-1 is not prime. Res64: 775752E7DEBB9ECB Time : 0.0 sec. user=mdettweiler [2012-01-12 15:17:25] 845*2^1000880-1 is not prime. Res64: A0453D8B18FDEBC6 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:17:25] 879*2^1000880-1 is not prime. Res64: FD7E52C0246F488B Time : 0.0 sec. user=mdettweiler [2012-01-12 15:20:54] 803*2^1000882-1 is not prime. Res64: F3A00B0318997BAD Time : 0.0 sec. user=mdettweiler [2012-01-12 15:24:17] 917*2^1000882-1 is not prime. Res64: C04997D4F692BE67 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:28:31] 663*2^1000883-1 is not prime. Res64: 8A8B4CBFAEBC8472 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:31:43] 727*2^1000881-1 is not prime. Res64: BA8DF80F1FCEFF82 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:31:44] 865*2^1000881-1 is not prime. Res64: 5C70B5ADF0C3A71E Time : 0.0 sec. user=mdettweiler [2012-01-12 15:31:52] 753*2^1000883-1 is not prime. Res64: 7738A48D5E39D318 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:32:36] 885*2^1000881-1 is not prime. Res64: DC1D1F442F4A2E8D Time : 0.0 sec. user=mdettweiler [2012-01-12 15:32:36] 611*2^1000882-1 is not prime. Res64: 99A9E25568E4AE5C Time : 0.0 sec. user=mdettweiler [2012-01-12 15:36:09] 781*2^1000883-1 is not prime. Res64: 98F19A4D6476FB46 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:36:46] 815*2^1000882-1 is not prime. Res64: FD78738D744AEE42 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:36:46] 833*2^1000882-1 is not prime. Res64: 9F29ADF5B3DDF0E0 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:39:27] 895*2^1000883-1 is not prime. Res64: 416EAF40058D1FFE Time : 0.0 sec. user=mdettweiler [2012-01-12 15:40:20] 1001*2^1000882-1 is not prime. Res64: 3EBB3BD1F2DE6D88 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:40:21] 633*2^1000883-1 is not prime. Res64: 817CD81410CA0707 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:43:46] 609*2^1000884-1 is not prime. Res64: D87B8BD3CF178C41 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:47:06] 717*2^1000884-1 is not prime. Res64: 1361B8ABD88441E1 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:52:59] 805*2^1000883-1 is not prime. Res64: B49AD5750AD7779D Time : 0.0 sec. user=mdettweiler [2012-01-12 15:53:00] 879*2^1000883-1 is not prime. Res64: B2DD42DF91C6457B Time : 0.0 sec. user=mdettweiler [2012-01-12 15:53:07] 965*2^1000884-1 is not prime. Res64: 97E445C57E4FC9B3 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:53:41] 943*2^1000883-1 is not prime. Res64: B62F7C7CC6B6A783 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:53:41] 605*2^1000884-1 is not prime. Res64: 6D9D494A719C2EA2 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:54:41] 649*2^1000885-1 is not prime. Res64: 24046420CC6452A1 Time : 0.0 sec. user=mdettweiler [2012-01-12 15:57:58] 665*2^1000884-1 is not prime. Res64: CC9D3DD92C02F71E Time : 0.0 sec. user=mdettweiler [2012-01-12 15:57:58] 675*2^1000884-1 is not prime. Res64: 4B2AD59C372B5A4B Time : 0.0 sec. user=mdettweiler [2012-01-12 16:00:43] 679*2^1000885-1 is not prime. Res64: 3141DA6096E9188A Time : 0.0 sec. user=mdettweiler [2012-01-12 16:01:28] 765*2^1000884-1 is not prime. Res64: F19727D2C8AC2D87 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:01:28] 803*2^1000884-1 is not prime. Res64: 0099C3909004A864 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:02:13] 765*2^1000885-1 is not prime. Res64: 5AAC03D9978942F1 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:08:25] 825*2^1000886-1 is not prime. Res64: 0A19EB7E7DC84511 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:11:29] 1001*2^1000886-1 is not prime. Res64: FC62B0D7DE138FB8 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:13:29] 651*2^1000885-1 is not prime. Res64: D71D40BD89A1B65A Time : 0.0 sec. user=mdettweiler [2012-01-12 16:13:30] 661*2^1000885-1 is not prime. Res64: 0017EACEBDEA399A Time : 0.0 sec. user=mdettweiler [2012-01-12 16:14:15] 727*2^1000885-1 is not prime. Res64: 8199C1E4692F1A85 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:14:15] 729*2^1000885-1 is not prime. Res64: 0B638CB73133A2CC Time : 0.0 sec. user=mdettweiler [2012-01-12 16:16:02] 619*2^1000887-1 is not prime. Res64: C1081BD254D5D393 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:18:22] 927*2^1000885-1 is not prime. Res64: 2DAF780545AB7434 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:18:22] 755*2^1000886-1 is not prime. Res64: 01D1F9B824295F57 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:19:05] 643*2^1000887-1 is not prime. Res64: D20B1A7C12E190BB Time : 0.0 sec. user=mdettweiler [2012-01-12 16:23:37] 665*2^1000888-1 is not prime. Res64: 09FB408F99F69BC8 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:24:22] 941*2^1000886-1 is not prime. Res64: 1263776D10306109 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:24:23] 957*2^1000886-1 is not prime. Res64: E07AD6EF28AA3B6C Time : 0.0 sec. user=mdettweiler [2012-01-12 16:26:40] 675*2^1000889-1 is not prime. Res64: E29E496900676D9E Time : 0.0 sec. user=mdettweiler [2012-01-12 16:31:17] 691*2^1000889-1 is not prime. Res64: 71D7F933E0FD445A Time : 0.0 sec. user=mdettweiler [2012-01-12 16:34:17] 681*2^1000890-1 is not prime. Res64: B76394FC37754BB7 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:34:43] 661*2^1000887-1 is not prime. Res64: A3E509E6AEFEE12F Time : 0.0 sec. user=mdettweiler [2012-01-12 16:34:43] 775*2^1000887-1 is not prime. Res64: 316CDF63821B85BB Time : 0.0 sec. user=mdettweiler [2012-01-12 16:35:30] 849*2^1000887-1 is not prime. Res64: 4192F48016EA80BF Time : 0.0 sec. user=mdettweiler [2012-01-12 16:35:30] 865*2^1000887-1 is not prime. Res64: 9EF6543561322B02 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:38:53] 717*2^1000890-1 is not prime. Res64: DCC2E58E1A96D402 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:41:53] 725*2^1000890-1 is not prime. Res64: 4A43556B52608E1E Time : 0.0 sec. user=mdettweiler [2012-01-12 16:42:20] 849*2^1000888-1 is not prime. Res64: 36255EF25C255512 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:42:20] 989*2^1000888-1 is not prime. Res64: 6A407B161EDBDC4B Time : 0.0 sec. user=mdettweiler [2012-01-12 16:45:55] 831*2^1000889-1 is not prime. Res64: AAAF8BF14E1DBD1D Time : 0.0 sec. user=mdettweiler [2012-01-12 16:45:55] 641*2^1000890-1 is not prime. Res64: ACC8754C249A5ED2 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:46:28] 601*2^1000891-1 is not prime. Res64: FBFABA73CD49F7B1 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:48:25] 759*2^1000865-1 is not prime. Res64: 77AC9D6DE062E62A Time : 0.0 sec. user=mdettweiler [2012-01-12 16:48:25] 777*2^1000865-1 is not prime. Res64: 8D55E9356F6AF321 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:49:30] 693*2^1000891-1 is not prime. Res64: EEB5F6BD29BEECB4 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:54:35] 711*2^1000866-1 is not prime. Res64: B2DD59776268CA34 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:54:35] 713*2^1000866-1 is not prime. Res64: E03F9DD1E617F839 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:55:51] 999*2^1000891-1 is not prime. Res64: 01A323CED8803E80 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:56:58] 735*2^1000890-1 is not prime. Res64: 115FBE41192C7EAB Time : 0.0 sec. user=mdettweiler [2012-01-12 16:56:58] 741*2^1000890-1 is not prime. Res64: FE870379221EC5A8 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:57:06] 909*2^1000892-1 is not prime. Res64: D4C793F62CC03654 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:59:26] 795*2^1000875-1 is not prime. Res64: FD449AEC0F4C29D5 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:59:26] 801*2^1000875-1 is not prime. Res64: BAE92628341FD663 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:59:58] 861*2^1000890-1 is not prime. Res64: 32036A992BF5E767 Time : 0.0 sec. user=mdettweiler [2012-01-12 16:59:58] 971*2^1000890-1 is not prime. Res64: 9615503E4948170B Time : 0.0 sec. user=mdettweiler [2012-01-12 17:03:27] 945*2^1000892-1 is not prime. Res64: 6457E41ABF6BC73F Time : 0.0 sec. user=mdettweiler [2012-01-12 17:04:28] 741*2^1000891-1 is not prime. Res64: EBC4B3BD183AC562 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:04:29] 859*2^1000891-1 is not prime. Res64: 28BBA719A1A609B4 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:04:41] 657*2^1000893-1 is not prime. Res64: E5F3F5B2E9AAB8EB Time : 0.0 sec. user=mdettweiler [2012-01-12 17:07:50] 861*2^1000891-1 is not prime. Res64: DB9139AE8CC8BF4C Time : 0.0 sec. user=mdettweiler [2012-01-12 17:07:50] 871*2^1000891-1 is not prime. Res64: 9D85DEFA9D5454B9 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:11:01] 895*2^1000893-1 is not prime. Res64: 955CCFA0FA2E4F4F Time : 0.0 sec. user=mdettweiler [2012-01-12 17:12:17] 791*2^1000894-1 is not prime. Res64: D405A303C636C07A Time : 0.0 sec. user=mdettweiler [2012-01-12 17:18:15] 989*2^1000876-1 is not prime. Res64: 1D3F6763FFFEC2E6 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:18:15] 691*2^1000877-1 is not prime. Res64: 9A1FC1EED7AE02F4 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:19:54] 645*2^1000895-1 is not prime. Res64: 1B8F87C798485CEF Time : 0.0 sec. user=mdettweiler [2012-01-12 17:20:21] 965*2^1000894-1 is not prime. Res64: 852B7CFA94869C55 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:20:27] 959*2^1000892-1 is not prime. Res64: DCB3B1C0C751854E Time : 0.0 sec. user=mdettweiler [2012-01-12 17:20:27] 609*2^1000893-1 is not prime. Res64: 24399CE7C72A078E Time : 0.0 sec. user=mdettweiler [2012-01-12 17:21:07] 787*2^1000893-1 is not prime. Res64: C7BEE4D27E3272EF Time : 0.0 sec. user=mdettweiler [2012-01-12 17:21:07] 871*2^1000893-1 is not prime. Res64: 74A2BEC081CAA164 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:27:29] 831*2^1000895-1 is not prime. Res64: 62199F18E6FE86F9 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:27:56] 615*2^1000896-1 is not prime. Res64: A6D2D6419E23B3AA Time : 0.0 sec. user=mdettweiler [2012-01-12 17:28:00] 937*2^1000893-1 is not prime. Res64: 88DB704E19D0D433 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:28:01] 979*2^1000893-1 is not prime. Res64: 1BA6EA69917198D5 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:28:53] 833*2^1000894-1 is not prime. Res64: 4467E73E13835DFA Time : 0.0 sec. user=mdettweiler [2012-01-12 17:28:53] 903*2^1000894-1 is not prime. Res64: 70D84F88041027E8 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:35:03] 601*2^1000897-1 is not prime. Res64: 69A72D0A787EC467 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:35:30] 861*2^1000897-1 is not prime. Res64: F43CF1532FAD0B77 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:40:53] 635*2^1000896-1 is not prime. Res64: FEDCC7709F08F3AA Time : 0.0 sec. user=mdettweiler [2012-01-12 17:40:54] 707*2^1000896-1 is not prime. Res64: 4D638ABD34E65A88 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:41:33] 789*2^1000896-1 is not prime. Res64: 6E0107012FEE49DC Time : 0.0 sec. user=mdettweiler [2012-01-12 17:41:34] 933*2^1000896-1 is not prime. Res64: ABFAFF3BC9C72D21 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:42:37] 773*2^1000898-1 is not prime. Res64: AB6346FFDAD60297 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:43:05] 827*2^1000898-1 is not prime. Res64: A0D7495DDD73CBAB Time : 0.0 sec. user=mdettweiler [2012-01-12 17:48:51] 641*2^1000898-1 is not prime. Res64: 730D80866BDCF749 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:48:51] 705*2^1000898-1 is not prime. Res64: 8042DD645E98B9FD Time : 0.0 sec. user=mdettweiler [2012-01-12 17:50:14] 751*2^1000899-1 is not prime. Res64: 846C451310856566 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:50:24] 931*2^1000897-1 is not prime. Res64: 73892A43367C1218 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:50:24] 955*2^1000897-1 is not prime. Res64: 1B62DE6EEFA30ADA Time : 0.0 sec. user=mdettweiler [2012-01-12 17:50:42] 789*2^1000899-1 is not prime. Res64: 070D853BBD300CC6 Time : 0.0 sec. user=mdettweiler [2012-01-12 17:59:35] 985*2^1000899-1 is not prime. Res64: EFB85B833D9F9ACD Time : 0.0 sec. user=mdettweiler [2012-01-12 18:00:02] 989*2^1000900-1 is not prime. Res64: 9BCA38490A75390F Time : 0.0 sec. user=mdettweiler [2012-01-12 18:00:43] 867*2^1000898-1 is not prime. Res64: 8EDA117A240BD4AA Time : 0.0 sec. user=mdettweiler [2012-01-12 18:00:44] 921*2^1000898-1 is not prime. Res64: 58C2171A4180FA36 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:01:14] 609*2^1000899-1 is not prime. Res64: 10054802A6B2E145 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:01:15] 735*2^1000899-1 is not prime. Res64: FAD3CAC062C4E1FD Time : 0.0 sec. user=mdettweiler [2012-01-12 18:07:10] 631*2^1000901-1 is not prime. Res64: A767844B4AA4EF07 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:07:38] 801*2^1000901-1 is not prime. Res64: 1D0D0F16A6F6ABA9 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:10:01] 693*2^1000892-1 is not prime. Res64: 88603206B832E5E3 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:10:02] 827*2^1000892-1 is not prime. Res64: 264DCC090C6E6F46 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:10:10] 855*2^1000900-1 is not prime. Res64: 33CC5D0E3FA54B61 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:10:10] 873*2^1000900-1 is not prime. Res64: 6993207E73763672 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:10:55] 943*2^1000899-1 is not prime. Res64: E3887E0AAB9D72C5 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:10:56] 955*2^1000899-1 is not prime. Res64: 3AA5AC8D81169423 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:14:46] 681*2^1000902-1 is not prime. Res64: 4A65E62BCE92F8C6 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:15:13] 747*2^1000902-1 is not prime. Res64: 7C3C65E9C6582A92 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:16:19] 929*2^1000892-1 is not prime. Res64: E2798FF42A7C42B0 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:16:20] 935*2^1000892-1 is not prime. Res64: 766EF7FAA972916A Time : 0.0 sec. user=mdettweiler [2012-01-12 18:18:47] 669*2^1000893-1 is not prime. Res64: 2B4ECD6239ACE407 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:18:47] 747*2^1000893-1 is not prime. Res64: 712A815BA08CEA10 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:20:34] 861*2^1000901-1 is not prime. Res64: A461A4694CE17D45 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:20:34] 885*2^1000901-1 is not prime. Res64: AC84C140B4361379 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:22:20] 741*2^1000905-1 is not prime. Res64: 61A2CF78CAE2C6D8 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:22:50] 861*2^1000905-1 is not prime. Res64: 727C64889C750C3E Time : 0.0 sec. user=mdettweiler [2012-01-12 18:23:25] 957*2^1000901-1 is not prime. Res64: F93A75CC532149B6 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:23:25] 611*2^1000902-1 is not prime. Res64: 966D718F09171072 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:29:53] 905*2^1000906-1 is not prime. Res64: 69D9EA957AB3D853 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:30:22] 643*2^1000907-1 is not prime. Res64: 3CB36A2E145F8613 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:30:42] 813*2^1000903-1 is not prime. Res64: 53517354550EDF27 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:30:42] 767*2^1000904-1 is not prime. Res64: 2CC0CE3F77D6AF16 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:32:12] 893*2^1000902-1 is not prime. Res64: 8A3F024F9C269F88 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:32:12] 965*2^1000902-1 is not prime. Res64: 40C21DD94946F46F Time : 0.0 sec. user=mdettweiler [2012-01-12 18:37:27] 913*2^1000907-1 is not prime. Res64: 7E1D1FA653A0A49D Time : 0.0 sec. user=mdettweiler [2012-01-12 18:39:42] 949*2^1000907-1 is not prime. Res64: B2610F3E3A6A8F08 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:40:21] 635*2^1000906-1 is not prime. Res64: 7D256639884AE1ED Time : 0.0 sec. user=mdettweiler [2012-01-12 18:40:21] 675*2^1000906-1 is not prime. Res64: 2A811A938820A9B1 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:40:41] 753*2^1000895-1 is not prime. Res64: A4B0777EE548A0EA Time : 0.0 sec. user=mdettweiler [2012-01-12 18:40:41] 775*2^1000895-1 is not prime. Res64: D67B95151105BC8E Time : 0.0 sec. user=mdettweiler [2012-01-12 18:43:13] 799*2^1000907-1 is not prime. Res64: AFE691E72E7BCF47 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:43:13] 843*2^1000907-1 is not prime. Res64: 371508E3842EC0FF Time : 0.0 sec. user=mdettweiler [2012-01-12 18:45:04] 801*2^1000909-1 is not prime. Res64: EE67D1669A3CFE97 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:47:18] 811*2^1000909-1 is not prime. Res64: E0DF8187C7263893 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:50:23] 737*2^1000908-1 is not prime. Res64: 8EE0E4756F0B6728 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:50:23] 819*2^1000908-1 is not prime. Res64: 3AF63EF374A43CAA Time : 0.0 sec. user=mdettweiler [2012-01-12 18:51:55] 929*2^1000908-1 is not prime. Res64: 473FE077E3AD37B5 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:51:56] 615*2^1000909-1 is not prime. Res64: 7BF0FCBFB685B3AC Time : 0.0 sec. user=mdettweiler [2012-01-12 18:52:39] 711*2^1000911-1 is not prime. Res64: 6CD7C8693FE71956 Time : 0.0 sec. user=mdettweiler [2012-01-12 18:54:53] 769*2^1000911-1 is not prime. Res64: 5D851A038B75DAFA Time : 0.0 sec. user=mdettweiler [2012-01-12 19:00:14] 765*2^1000912-1 is not prime. Res64: C84C733BE291CAE1 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:01:15] 605*2^1000910-1 is not prime. Res64: 1E11AB60A078DE56 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:01:17] 665*2^1000910-1 is not prime. Res64: 13989A4DB9085CF4 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:02:26] 777*2^1000912-1 is not prime. Res64: 5D2DF300CEEFB863 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:04:16] 887*2^1000910-1 is not prime. Res64: 346B3A6A02781382 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:04:16] 935*2^1000910-1 is not prime. Res64: F3848478CDD7AA7D Time : 0.0 sec. user=mdettweiler [2012-01-12 19:07:49] 869*2^1000912-1 is not prime. Res64: A78631C05BF9B2D8 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:10:02] 619*2^1000913-1 is not prime. Res64: FF0EED918AE016CC Time : 0.0 sec. user=mdettweiler [2012-01-12 19:12:14] 781*2^1000911-1 is not prime. Res64: 805C96BC036A50F4 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:12:15] 603*2^1000912-1 is not prime. Res64: B17505F6C3CFB2D2 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:13:08] 657*2^1000912-1 is not prime. Res64: 2C4984BD538EBF89 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:13:10] 735*2^1000912-1 is not prime. Res64: AD1DF7AA4DE47C0A Time : 0.0 sec. user=mdettweiler [2012-01-12 19:15:28] 735*2^1000913-1 is not prime. Res64: B9744CB25F258EFF Time : 0.0 sec. user=mdettweiler [2012-01-12 19:17:40] 831*2^1000913-1 is not prime. Res64: 6A6991EEFB282C8F Time : 0.0 sec. user=mdettweiler [2012-01-12 19:21:43] 873*2^1000912-1 is not prime. Res64: 8B658C3DDBD0571D Time : 0.0 sec. user=mdettweiler [2012-01-12 19:21:44] 923*2^1000912-1 is not prime. Res64: B4463D4808DC6C8F Time : 0.0 sec. user=mdettweiler [2012-01-12 19:24:47] 979*2^1000913-1 is not prime. Res64: 7AD46D1981BC674F Time : 0.0 sec. user=mdettweiler [2012-01-12 19:24:48] 721*2^1000913-1 is not prime. Res64: 5E203CAC2B67342C Time : 0.0 sec. user=mdettweiler [2012-01-12 19:24:48] 727*2^1000913-1 is not prime. Res64: 8581C7F465F9CDC3 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:26:59] 981*2^1000913-1 is not prime. Res64: 175CD5AAD3D7B1F8 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:32:20] 663*2^1000915-1 is not prime. Res64: CB1227A3ED73CD93 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:32:21] 791*2^1000902-1 is not prime. Res64: 66671BCED249E5CF Time : 0.0 sec. user=mdettweiler [2012-01-12 19:32:22] 821*2^1000902-1 is not prime. Res64: CE8CB597B8B5C208 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:32:47] 871*2^1000913-1 is not prime. Res64: 103386DDEC7D980B Time : 0.0 sec. user=mdettweiler [2012-01-12 19:32:48] 925*2^1000913-1 is not prime. Res64: 61D8BB0A9FD09273 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:34:31] 913*2^1000915-1 is not prime. Res64: 86A375BE062768DA Time : 0.0 sec. user=mdettweiler [2012-01-12 19:36:23] 945*2^1000913-1 is not prime. Res64: 76B1FCAE23AC89CB Time : 0.0 sec. user=mdettweiler [2012-01-12 19:36:23] 967*2^1000913-1 is not prime. Res64: 601F67C8E4874B04 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:39:54] 919*2^1000915-1 is not prime. Res64: B7BBCDD5CDA43287 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:42:02] 603*2^1000906-1 is not prime. Res64: 8C18AAC68ABA2E4D Time : 0.0 sec. user=mdettweiler [2012-01-12 19:42:02] 623*2^1000906-1 is not prime. Res64: D9B9F19965379E5B Time : 0.0 sec. user=mdettweiler [2012-01-12 19:42:05] 625*2^1000917-1 is not prime. Res64: 6DBAE4457BCD15B9 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:42:41] 723*2^1000914-1 is not prime. Res64: 7CC170E6F44FA523 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:42:41] 731*2^1000914-1 is not prime. Res64: 640328821A022B70 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:45:29] 705*2^1000915-1 is not prime. Res64: 98CD34DECEF4C41C Time : 0.0 sec. user=mdettweiler [2012-01-12 19:45:29] 789*2^1000915-1 is not prime. Res64: DF71EACFCDCE1B34 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:47:29] 795*2^1000917-1 is not prime. Res64: 92061ACFA5A5F76B Time : 0.0 sec. user=mdettweiler [2012-01-12 19:47:52] 915*2^1000905-1 is not prime. Res64: 5284377F4DA2A3CD Time : 0.0 sec. user=mdettweiler [2012-01-12 19:47:53] 997*2^1000905-1 is not prime. Res64: 3EFBC37205BCA36D Time : 0.0 sec. user=mdettweiler [2012-01-12 19:49:40] 761*2^1000918-1 is not prime. Res64: ED0681B0053DD6D7 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:53:25] 903*2^1000916-1 is not prime. Res64: CC2A3965FB0F4DD9 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:53:25] 923*2^1000916-1 is not prime. Res64: 00AEE5779FD80EEA Time : 0.0 sec. user=mdettweiler [2012-01-12 19:55:01] 735*2^1000919-1 is not prime. Res64: C8F71C67C9E47E2D Time : 0.0 sec. user=mdettweiler [2012-01-12 19:56:49] 655*2^1000917-1 is not prime. Res64: F10FF8687DA97A3C Time : 0.0 sec. user=mdettweiler [2012-01-12 19:56:49] 751*2^1000917-1 is not prime. Res64: C38539038AE8A508 Time : 0.0 sec. user=mdettweiler [2012-01-12 19:57:13] 895*2^1000919-1 is not prime. Res64: 75E409AF5A481AF8 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:02:35] 795*2^1000920-1 is not prime. Res64: A41C6B0B12FCE79E Time : 0.0 sec. user=mdettweiler [2012-01-12 20:02:58] 855*2^1000918-1 is not prime. Res64: FBEDC6FED6FEDB44 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:02:59] 923*2^1000918-1 is not prime. Res64: 7250F0142B5F7E10 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:04:34] 741*2^1000910-1 is not prime. Res64: D8174DBD3EFFC4D0 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:04:35] 813*2^1000910-1 is not prime. Res64: B7EA185BAD6F283D Time : 0.0 sec. user=mdettweiler [2012-01-12 20:04:46] 637*2^1000921-1 is not prime. Res64: 03C34830F77CD9C7 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:10:08] 705*2^1000921-1 is not prime. Res64: 043E14A1CEC86058 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:10:10] 987*2^1000918-1 is not prime. Res64: 38F4ABBBF2199D06 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:10:12] 1001*2^1000918-1 is not prime. Res64: 228BA82DE0457D58 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:12:17] 937*2^1000921-1 is not prime. Res64: 6FAC532F65F05AEF Time : 0.0 sec. user=mdettweiler [2012-01-12 20:13:35] 943*2^1000919-1 is not prime. Res64: 03DE9013A2EFC8F2 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:13:35] 725*2^1000920-1 is not prime. Res64: F2C83D0407729F09 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:16:41] 909*2^1000920-1 is not prime. Res64: 4A9E613871EE349B Time : 0.0 sec. user=mdettweiler [2012-01-12 20:16:42] 927*2^1000920-1 is not prime. Res64: 9F976741A49A6620 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:17:48] 603*2^1000922-1 is not prime. Res64: DDC021CD93CAFE81 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:19:56] 743*2^1000922-1 is not prime. Res64: A58EBD9134EEDABD Time : 0.0 sec. user=mdettweiler [2012-01-12 20:23:12] 771*2^1000921-1 is not prime. Res64: 1655D7EBEEBCEDA3 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:23:12] 789*2^1000921-1 is not prime. Res64: 8796DDD67CD15460 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:25:23] 923*2^1000922-1 is not prime. Res64: 84630B299DA8750C Time : 0.0 sec. user=mdettweiler [2012-01-12 20:27:30] 613*2^1000923-1 is not prime. Res64: 559D8C035C380FC0 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:30:18] 633*2^1000922-1 is not prime. Res64: 48679EB1611C9384 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:30:18] 731*2^1000922-1 is not prime. Res64: F943DD5B1476F8D9 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:32:59] 805*2^1000923-1 is not prime. Res64: 1C434750F125BA67 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:33:42] 843*2^1000922-1 is not prime. Res64: C82A4A99EF049DA0 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:33:42] 873*2^1000922-1 is not prime. Res64: 7A941E496B95A366 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:35:06] 819*2^1000923-1 is not prime. Res64: 15B07C5DE29EAA0A Time : 0.0 sec. user=mdettweiler [2012-01-12 20:36:46] 893*2^1000922-1 is not prime. Res64: 9F51C2BFB6EFF0EA Time : 0.0 sec. user=mdettweiler [2012-01-12 20:36:46] 911*2^1000922-1 is not prime. Res64: CED394CB0E7B40E4 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:42:17] 963*2^1000923-1 is not prime. Res64: D73009BB8E82C249 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:42:38] 825*2^1000924-1 is not prime. Res64: 55376216A9F622ED Time : 0.0 sec. user=mdettweiler [2012-01-12 20:43:27] 685*2^1000923-1 is not prime. Res64: B3320E16D965BDE6 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:43:27] 795*2^1000923-1 is not prime. Res64: F281848D8F26A730 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:49:49] 875*2^1000924-1 is not prime. Res64: 4A05B772CE19C5D5 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:50:10] 915*2^1000924-1 is not prime. Res64: E532FD47191D3D85 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:50:37] 835*2^1000923-1 is not prime. Res64: 5C8AC94D289F0FCA Time : 0.0 sec. user=mdettweiler [2012-01-12 20:50:37] 873*2^1000923-1 is not prime. Res64: 65629853067F8A8C Time : 0.0 sec. user=mdettweiler [2012-01-12 20:54:09] 635*2^1000924-1 is not prime. Res64: 9380C9FEC00EDE61 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:54:10] 675*2^1000924-1 is not prime. Res64: 5A4A8FC057EF07C6 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:55:34] 675*2^1000916-1 is not prime. Res64: 97FCAF7C6379E129 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:55:35] 873*2^1000916-1 is not prime. Res64: 35DBF34111BEB93E Time : 0.0 sec. user=mdettweiler [2012-01-12 20:57:19] 857*2^1000924-1 is not prime. Res64: 34F4FBA942F24F73 Time : 0.0 sec. user=mdettweiler [2012-01-12 20:57:19] 869*2^1000924-1 is not prime. Res64: 8AD4B05D2C96D2AF Time : 0.0 sec. user=mdettweiler [2012-01-12 20:57:21] 685*2^1000925-1 is not prime. Res64: 256F9E4A956A8E2A Time : 0.0 sec. user=mdettweiler [2012-01-12 20:57:41] 729*2^1000925-1 is not prime. Res64: 717DD15280DFCBE3 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:04:55] 741*2^1000926-1 is not prime. Res64: 2EA481199C91E850 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:05:18] 867*2^1000926-1 is not prime. Res64: C5189E7F977EDD7A Time : 0.0 sec. user=mdettweiler [2012-01-12 21:05:58] 983*2^1000924-1 is not prime. Res64: B4F30F1A08684960 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:05:59] 645*2^1000925-1 is not prime. Res64: 17BEE8123C5B5A1A Time : 0.0 sec. user=mdettweiler [2012-01-12 21:07:38] 603*2^1000918-1 is not prime. Res64: D1067B7EF8F96F64 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:07:39] 645*2^1000918-1 is not prime. Res64: F92ECDD1C80528FB Time : 0.0 sec. user=mdettweiler [2012-01-12 21:10:04] 799*2^1000919-1 is not prime. Res64: E96104F4F0A41DEF Time : 0.0 sec. user=mdettweiler [2012-01-12 21:10:04] 861*2^1000919-1 is not prime. Res64: 7B426F8973B6A9BD Time : 0.0 sec. user=mdettweiler [2012-01-12 21:10:47] 757*2^1000925-1 is not prime. Res64: 6E5BED97E020DB44 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:10:48] 801*2^1000925-1 is not prime. Res64: FA0D5B4CBD572097 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:12:54] 917*2^1000926-1 is not prime. Res64: 26496FE328CB9E88 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:13:12] 921*2^1000926-1 is not prime. Res64: 56FAB496A19FEAEB Time : 0.0 sec. user=mdettweiler [2012-01-12 21:14:08] 907*2^1000925-1 is not prime. Res64: B99B3A920D214E5D Time : 0.0 sec. user=mdettweiler [2012-01-12 21:14:09] 939*2^1000925-1 is not prime. Res64: BA5F87C5333CC012 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:17:11] 707*2^1000926-1 is not prime. Res64: 7B5AF941011321B8 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:17:11] 717*2^1000926-1 is not prime. Res64: D84E1CC8B6B099B3 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:20:28] 833*2^1000928-1 is not prime. Res64: CA631F811CA56650 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:22:33] 963*2^1000928-1 is not prime. Res64: 554E4459323043B7 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:28:17] 847*2^1000921-1 is not prime. Res64: 8B24D558F5D56C26 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:28:17] 889*2^1000921-1 is not prime. Res64: 8896FC149BE02987 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:28:36] 945*2^1000929-1 is not prime. Res64: 01FA140AE6836D75 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:30:21] 983*2^1000926-1 is not prime. Res64: 61E388CFF230F8BA Time : 0.0 sec. user=mdettweiler [2012-01-12 21:30:21] 993*2^1000926-1 is not prime. Res64: 1517AB5E7E61A91A Time : 0.0 sec. user=mdettweiler [2012-01-12 21:30:41] 699*2^1000928-1 is not prime. Res64: 4C2986027D84F983 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:30:42] 813*2^1000928-1 is not prime. Res64: 8EEBDC9A6961328E Time : 0.0 sec. user=mdettweiler [2012-01-12 21:32:13] 951*2^1000929-1 is not prime. Res64: 4F966B5296702DEB Time : 0.0 sec. user=mdettweiler [2012-01-12 21:36:08] 969*2^1000928-1 is not prime. Res64: A6F93C49897C0310 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:36:09] 657*2^1000929-1 is not prime. Res64: 16CA1B8CA638460B Time : 0.0 sec. user=mdettweiler [2012-01-12 21:36:58] 675*2^1000929-1 is not prime. Res64: CF736116F33C4063 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:36:58] 751*2^1000929-1 is not prime. Res64: B7EC0444ADB84364 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:38:23] 949*2^1000931-1 is not prime. Res64: 7E1A8BA69C36AF05 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:40:06] 837*2^1000932-1 is not prime. Res64: A26B60F02E26BDDC Time : 0.0 sec. user=mdettweiler [2012-01-12 21:46:01] 747*2^1000933-1 is not prime. Res64: E1543206A4C3397B Time : 0.0 sec. user=mdettweiler [2012-01-12 21:47:42] 855*2^1000933-1 is not prime. Res64: 5AFCA9FCC0782239 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:50:25] 779*2^1000932-1 is not prime. Res64: 30F3C9AAF00BD1B3 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:50:25] 825*2^1000932-1 is not prime. Res64: 2489E5B13FF64174 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:52:20] 979*2^1000931-1 is not prime. Res64: B7F014C05264DDCF Time : 0.0 sec. user=mdettweiler [2012-01-12 21:52:20] 629*2^1000932-1 is not prime. Res64: AACA348EFBD037F6 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:53:40] 895*2^1000933-1 is not prime. Res64: 5D910BAD9036666D Time : 0.0 sec. user=mdettweiler [2012-01-12 21:55:50] 867*2^1000932-1 is not prime. Res64: 06A0B3C7406841C7 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:55:50] 681*2^1000933-1 is not prime. Res64: 707E894E69197873 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:56:42] 687*2^1000933-1 is not prime. Res64: A80B97100BE52949 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:56:42] 729*2^1000933-1 is not prime. Res64: 7B364978921D6BB9 Time : 0.0 sec. user=mdettweiler [2012-01-12 21:57:12] 961*2^1000933-1 is not prime. Res64: F7E5FE5C15A08BD2 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:01:20] 797*2^1000934-1 is not prime. Res64: A9499CA7E250AE63 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:04:49] 735*2^1000935-1 is not prime. Res64: C78362693C7388F0 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:08:59] 751*2^1000935-1 is not prime. Res64: 2E18D06DC6EC4826 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:10:11] 615*2^1000934-1 is not prime. Res64: 177D184B0B8D7AF1 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:10:12] 665*2^1000934-1 is not prime. Res64: 612EE734763AE13F Time : 0.0 sec. user=mdettweiler [2012-01-12 22:12:07] 741*2^1000934-1 is not prime. Res64: 049B6F1534433DB8 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:12:08] 743*2^1000934-1 is not prime. Res64: 27F7FB3AFC4EEF95 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:12:30] 921*2^1000935-1 is not prime. Res64: 586111105C12D56F Time : 0.0 sec. user=mdettweiler [2012-01-12 22:15:37] 813*2^1000934-1 is not prime. Res64: 8187A762DD6C7247 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:15:44] 945*2^1000934-1 is not prime. Res64: A70CEFBF40079AB3 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:16:26] 691*2^1000935-1 is not prime. Res64: 44E03166FFE14921 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:16:27] 693*2^1000935-1 is not prime. Res64: 7D35EE8E7DD03696 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:18:30] 973*2^1000935-1 is not prime. Res64: BCBF83178872BA4F Time : 0.0 sec. user=mdettweiler [2012-01-12 22:22:00] 999*2^1000936-1 is not prime. Res64: 4690ECE43799513E Time : 0.0 sec. user=mdettweiler [2012-01-12 22:23:27] 641*2^1000926-1 is not prime. Res64: B41ADF615F9D116F Time : 0.0 sec. user=mdettweiler [2012-01-12 22:23:27] 657*2^1000926-1 is not prime. Res64: F698F7E6683C914E Time : 0.0 sec. user=mdettweiler [2012-01-12 22:26:09] 747*2^1000938-1 is not prime. Res64: 889CC484BD71D4B0 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:29:40] 861*2^1000938-1 is not prime. Res64: 031312CB2789F4C6 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:29:57] 735*2^1000936-1 is not prime. Res64: CAB5514998DEFC97 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:29:58] 773*2^1000936-1 is not prime. Res64: 79DD0CB86B641B62 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:31:57] 813*2^1000936-1 is not prime. Res64: 418B1794007C71A1 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:31:57] 899*2^1000936-1 is not prime. Res64: 865A54D5329FAA93 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:33:50] 913*2^1000939-1 is not prime. Res64: 9619772F216C413E Time : 0.0 sec. user=mdettweiler [2012-01-12 22:35:37] 735*2^1000937-1 is not prime. Res64: 343CDD142FF573FD Time : 0.0 sec. user=mdettweiler [2012-01-12 22:35:37] 759*2^1000937-1 is not prime. Res64: 39B725A3A54B0A02 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:36:10] 819*2^1000937-1 is not prime. Res64: 92038D225627E174 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:36:11] 683*2^1000938-1 is not prime. Res64: 5A8C844BB9D49ED5 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:36:33] 623*2^1000928-1 is not prime. Res64: 996BA21FBAB3A27D Time : 0.0 sec. user=mdettweiler [2012-01-12 22:36:34] 635*2^1000928-1 is not prime. Res64: 82F2401EC23E8A4B Time : 0.0 sec. user=mdettweiler [2012-01-12 22:39:09] 993*2^1000939-1 is not prime. Res64: B7D06FEC0DBDC763 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:41:30] 759*2^1000940-1 is not prime. Res64: 07EFBEDD62E4C398 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:46:28] 685*2^1000927-1 is not prime. Res64: F761BCE33CD40A67 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:46:28] 973*2^1000927-1 is not prime. Res64: C0644CF3EBB5D372 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:46:48] 627*2^1000941-1 is not prime. Res64: 3AD55E4471F59652 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:49:09] 657*2^1000941-1 is not prime. Res64: 2A1C118ED37B07B5 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:49:42] 609*2^1000940-1 is not prime. Res64: 4CD3C631C635043C Time : 0.0 sec. user=mdettweiler [2012-01-12 22:49:42] 647*2^1000940-1 is not prime. Res64: 23FD659AAABE5981 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:51:40] 675*2^1000940-1 is not prime. Res64: D65ED1A1317D855D Time : 0.0 sec. user=mdettweiler [2012-01-12 22:51:40] 707*2^1000940-1 is not prime. Res64: E83D5A2D730C28DE Time : 0.0 sec. user=mdettweiler [2012-01-12 22:53:58] 803*2^1000930-1 is not prime. Res64: 67772EFFEDE9F6D5 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:53:58] 891*2^1000930-1 is not prime. Res64: F57B34895B1D83F8 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:54:28] 747*2^1000941-1 is not prime. Res64: 5336BD542C611D63 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:55:22] 777*2^1000940-1 is not prime. Res64: D1994CEE6FF2180D Time : 0.0 sec. user=mdettweiler [2012-01-12 22:55:22] 855*2^1000940-1 is not prime. Res64: C3C3AA7565220853 Time : 0.0 sec. user=mdettweiler [2012-01-12 22:55:53] 879*2^1000940-1 is not prime. Res64: A3623344F97FD6DB Time : 0.0 sec. user=mdettweiler [2012-01-12 22:55:54] 893*2^1000940-1 is not prime. Res64: 182B8B11BA68DE9D Time : 0.0 sec. user=mdettweiler [2012-01-12 22:56:48] 777*2^1000941-1 is not prime. Res64: 3F7F74918DE9D661 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:03:58] 975*2^1000941-1 is not prime. Res64: 79D47B876093C185 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:04:27] 891*2^1000942-1 is not prime. Res64: 9EECE04774D06ADB Time : 0.0 sec. user=mdettweiler [2012-01-12 23:09:19] 781*2^1000941-1 is not prime. Res64: 2DACFF7256E85E75 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:09:20] 789*2^1000941-1 is not prime. Res64: D8AB41BDD2ACC1EE Time : 0.0 sec. user=mdettweiler [2012-01-12 23:11:18] 847*2^1000941-1 is not prime. Res64: 6E462B08B8C061A8 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:11:20] 921*2^1000941-1 is not prime. Res64: 2663629D601F6DBE Time : 0.0 sec. user=mdettweiler [2012-01-12 23:11:38] 917*2^1000942-1 is not prime. Res64: 0713B99CCEDC573E Time : 0.0 sec. user=mdettweiler [2012-01-12 23:13:57] 981*2^1000942-1 is not prime. Res64: 7A8E9A26ACFC0481 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:14:57] 617*2^1000942-1 is not prime. Res64: EF1E04468D6D325D Time : 0.0 sec. user=mdettweiler [2012-01-12 23:14:57] 743*2^1000942-1 is not prime. Res64: 5D6E7DCEFFC86AAC Time : 0.0 sec. user=mdettweiler [2012-01-12 23:15:33] 755*2^1000942-1 is not prime. Res64: 5EFDE6614784ACF0 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:15:34] 873*2^1000942-1 is not prime. Res64: 833838394AAE6F4E Time : 0.0 sec. user=mdettweiler [2012-01-12 23:21:09] 981*2^1000943-1 is not prime. Res64: A00A40F77D509539 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:21:36] 717*2^1000944-1 is not prime. Res64: 6C88F9DCC04C148A Time : 0.0 sec. user=mdettweiler [2012-01-12 23:21:38] 923*2^1000940-1 is not prime. Res64: 78D018B041C4B30C Time : 0.0 sec. user=mdettweiler [2012-01-12 23:21:41] 675*2^1000939-1 is not prime. Res64: 2C5C6B8F88D56440 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:29:15] 609*2^1000945-1 is not prime. Res64: 45C0528971403FCC Time : 0.0 sec. user=mdettweiler [2012-01-12 23:30:37] 993*2^1000944-1 is not prime. Res64: 5AFA30D7050A417F Time : 0.0 sec. user=mdettweiler [2012-01-12 23:31:01] 771*2^1000943-1 is not prime. Res64: 5233928FC9FB0096 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:31:02] 783*2^1000943-1 is not prime. Res64: 73BB2EFC2AE0AA99 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:31:17] 1001*2^1000942-1 is not prime. Res64: DA2665A7E3FE111E Time : 0.0 sec. user=mdettweiler [2012-01-12 23:31:18] 753*2^1000943-1 is not prime. Res64: 1447A6C885EFC22E Time : 0.0 sec. user=mdettweiler [2012-01-12 23:34:37] 767*2^1000944-1 is not prime. Res64: ED53B0D74CE4B41B Time : 0.0 sec. user=mdettweiler [2012-01-12 23:34:38] 893*2^1000944-1 is not prime. Res64: 20BB4038F185271B Time : 0.0 sec. user=mdettweiler [2012-01-12 23:37:39] 841*2^1000945-1 is not prime. Res64: 0CC81CB529DD46F8 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:38:58] 861*2^1000945-1 is not prime. Res64: 712ECA35A88BEF55 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:39:43] 969*2^1000944-1 is not prime. Res64: 9E055F9005A8FF35 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:39:44] 983*2^1000944-1 is not prime. Res64: 44A166087190DA58 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:45:14] 675*2^1000947-1 is not prime. Res64: 527952974635016C Time : 0.0 sec. user=mdettweiler [2012-01-12 23:46:33] 685*2^1000947-1 is not prime. Res64: 15EE3E9BF99B7DFB Time : 0.0 sec. user=mdettweiler [2012-01-12 23:50:44] 871*2^1000945-1 is not prime. Res64: DD77D65E0782D463 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:50:44] 897*2^1000945-1 is not prime. Res64: BCE718007689F7A4 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:53:13] 955*2^1000945-1 is not prime. Res64: 7EFAEACD1CF04C35 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:53:13] 635*2^1000946-1 is not prime. Res64: 0442A083E9B31624 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:54:16] 671*2^1000946-1 is not prime. Res64: AF9C4111B446B988 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:54:17] 815*2^1000946-1 is not prime. Res64: F27A6FED236C000A Time : 0.0 sec. user=mdettweiler [2012-01-12 23:54:41] 979*2^1000947-1 is not prime. Res64: 82E146AD8A3C6726 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:55:59] 999*2^1000947-1 is not prime. Res64: 14FF9B946C55702D Time : 0.0 sec. user=mdettweiler [2012-01-12 23:59:25] 705*2^1000947-1 is not prime. Res64: E49D7BDBBEDECAB3 Time : 0.0 sec. user=mdettweiler [2012-01-12 23:59:25] 885*2^1000947-1 is not prime. Res64: C0863853BB9AF99D Time : 0.0 sec.