user=mdettweiler [2012-09-10 00:01:16] 951*2^1228438-1 is not prime. Res64: F8C1EC37A73F5C44 Time : 0.0 sec. user=mdettweiler [2012-09-10 00:01:17] 981*2^1228438-1 is not prime. Res64: CE3C8471B67921C5 Time : 0.0 sec. user=mdettweiler [2012-09-10 00:01:18] 987*2^1228438-1 is not prime. Res64: 10445F0BAD1718F0 Time : 0.0 sec. user=mdettweiler [2012-09-10 00:01:19] 615*2^1228439-1 is not prime. Res64: 4848943790EA8F8B Time : 0.0 sec. user=mdettweiler [2012-09-10 00:21:57] 711*2^1228439-1 is not prime. Res64: 601DE151C5790E8B Time : 0.0 sec. user=mdettweiler [2012-09-10 00:21:59] 813*2^1228439-1 is not prime. Res64: A90972E66353D77D Time : 0.0 sec. user=mdettweiler [2012-09-10 00:22:00] 825*2^1228439-1 is not prime. Res64: 82295E6B6E41018C Time : 0.0 sec. user=mdettweiler [2012-09-10 00:22:02] 859*2^1228439-1 is not prime. Res64: 0F3D06B22BD3F7C6 Time : 0.0 sec. user=vaughan [2012-09-10 00:26:32] 655*2^1228439-1 is not prime. Res64: 124BD61B71547B0C Time : 0.0 sec. user=mdettweiler [2012-09-10 00:43:20] 985*2^1228439-1 is not prime. Res64: A5A0B31DA38FB247 Time : 0.0 sec. user=mdettweiler [2012-09-10 00:43:22] 991*2^1228439-1 is not prime. Res64: C1545A7EC7D6F924 Time : 0.0 sec. user=mdettweiler [2012-09-10 00:43:23] 737*2^1228440-1 is not prime. Res64: 180200DFFB4E572D Time : 0.0 sec. user=mdettweiler [2012-09-10 00:43:24] 909*2^1228440-1 is not prime. Res64: 9EE8CF910D961873 Time : 0.0 sec. user=vaughan [2012-09-10 01:03:52] 983*2^1228440-1 is not prime. Res64: E3AF1D6C5DC754CD Time : 0.0 sec. user=mdettweiler [2012-09-10 01:03:56] 615*2^1228441-1 is not prime. Res64: E5718679442AC12D Time : 0.0 sec. user=mdettweiler [2012-09-10 01:03:58] 625*2^1228441-1 is not prime. Res64: 53ABE413279F19E4 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:03:58] 649*2^1228441-1 is not prime. Res64: 5AE46F7B1A566188 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:03:59] 769*2^1228441-1 is not prime. Res64: 1F69C8BF5A72DF10 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:24:36] 829*2^1228441-1 is not prime. Res64: B53FB39C4D7F3B79 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:24:37] 855*2^1228441-1 is not prime. Res64: 307A40E5CFCA28FF Time : 0.0 sec. user=mdettweiler [2012-09-10 01:24:38] 867*2^1228441-1 is not prime. Res64: CD161CD39204DF25 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:24:38] 939*2^1228441-1 is not prime. Res64: C7D73B440FA07BC1 Time : 0.0 sec. user=vaughan [2012-09-10 01:41:16] 771*2^1228441-1 is not prime. Res64: 689A133176DAA2B2 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:45:16] 617*2^1228442-1 is not prime. Res64: F134982BE79B84AB Time : 0.0 sec. user=mdettweiler [2012-09-10 01:45:17] 657*2^1228442-1 is not prime. Res64: 30F15BB6D6501728 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:45:17] 815*2^1228442-1 is not prime. Res64: 0D8128F6D6DFCF71 Time : 0.0 sec. user=mdettweiler [2012-09-10 01:45:19] 915*2^1228442-1 is not prime. Res64: D276D91C58704635 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:05:54] 685*2^1228443-1 is not prime. Res64: B5E405D2EF7BA8C7 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:05:56] 709*2^1228443-1 is not prime. Res64: 327CEC5A7AD4E5F9 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:05:58] 741*2^1228443-1 is not prime. Res64: 8320DCBC157E08EC Time : 0.0 sec. user=mdettweiler [2012-09-10 02:06:02] 765*2^1228443-1 is not prime. Res64: ED212651256EBA9F Time : 0.0 sec. user=mdettweiler [2012-09-10 02:26:42] 871*2^1228443-1 is not prime. Res64: 0A36D6FD9BDEDF6E Time : 0.0 sec. user=mdettweiler [2012-09-10 02:26:43] 609*2^1228444-1 is not prime. Res64: 6F29E2354BB62016 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:26:50] 617*2^1228444-1 is not prime. Res64: A93FB8575118B9A3 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:26:51] 717*2^1228444-1 is not prime. Res64: A90835428B9F3A88 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:47:24] 827*2^1228444-1 is not prime. Res64: 227DA3A8DADD33C0 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:47:25] 855*2^1228444-1 is not prime. Res64: FE1A5C01FA4A7D92 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:47:28] 923*2^1228444-1 is not prime. Res64: 4B334EDD74237937 Time : 0.0 sec. user=mdettweiler [2012-09-10 02:47:29] 927*2^1228444-1 is not prime. Res64: 4573D20109642A18 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:08:11] 655*2^1228445-1 is not prime. Res64: A9CFCB8F412F1BA4 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:08:13] 727*2^1228445-1 is not prime. Res64: 73E4924486D9BF84 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:08:15] 787*2^1228445-1 is not prime. Res64: 295E9C438599353C Time : 0.0 sec. user=mdettweiler [2012-09-10 03:08:16] 795*2^1228445-1 is not prime. Res64: 691E54A6456A92B2 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:28:57] 801*2^1228445-1 is not prime. Res64: 70D5D6D06F0B3291 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:28:58] 825*2^1228445-1 is not prime. Res64: 06ED15311BE991D1 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:29:01] 907*2^1228445-1 is not prime. Res64: B0BBAE915515AB5C Time : 0.0 sec. user=mdettweiler [2012-09-10 03:29:02] 955*2^1228445-1 is not prime. Res64: 7B493D4AD22D7DD5 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:49:37] 695*2^1228446-1 is not prime. Res64: EACD7A9B046E7CA2 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:49:39] 821*2^1228446-1 is not prime. Res64: F5E19C1AF2621AAD Time : 0.0 sec. user=mdettweiler [2012-09-10 03:49:40] 917*2^1228446-1 is not prime. Res64: CB0CBBF9B096C205 Time : 0.0 sec. user=mdettweiler [2012-09-10 03:49:41] 941*2^1228446-1 is not prime. Res64: 596E67016E54F251 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:10:26] 625*2^1228447-1 is not prime. Res64: 31BE0AB0E9DAF5B8 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:10:26] 673*2^1228447-1 is not prime. Res64: E8EFC13452731379 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:10:29] 685*2^1228447-1 is not prime. Res64: 8552DAEA59A9D225 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:10:30] 859*2^1228447-1 is not prime. Res64: 492F46515112ED24 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:31:08] 873*2^1228447-1 is not prime. Res64: EAE5CCF88B942CA1 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:31:11] 975*2^1228447-1 is not prime. Res64: D8FAE413CA646C40 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:31:13] 985*2^1228447-1 is not prime. Res64: 95764F47B464DBCE Time : 0.0 sec. user=mdettweiler [2012-09-10 04:31:15] 665*2^1228448-1 is not prime. Res64: 00C5925122588804 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:51:57] 669*2^1228448-1 is not prime. Res64: 2A85DA4A1A9C8929 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:51:59] 755*2^1228448-1 is not prime. Res64: 548E768F23B10248 Time : 0.0 sec. user=mdettweiler [2012-09-10 04:52:00] 773*2^1228448-1 is not prime. Res64: 74CB8A0B11AE6FDF Time : 0.0 sec. user=mdettweiler [2012-09-10 04:52:01] 819*2^1228448-1 is not prime. Res64: 0EC94ECE523F9C12 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:12:37] 843*2^1228448-1 is not prime. Res64: 33FE0D32712AF414 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:12:38] 741*2^1228449-1 is not prime. Res64: 2DE79E1185B6F02F Time : 0.0 sec. user=mdettweiler [2012-09-10 05:12:39] 893*2^1228448-1 is not prime. Res64: 4F7D36813B541F7E Time : 0.0 sec. user=mdettweiler [2012-09-10 05:12:40] 747*2^1228449-1 is not prime. Res64: 9AB19C45BD75F615 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:33:25] 759*2^1228449-1 is not prime. Res64: 4D838799B22ACAE3 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:33:27] 795*2^1228449-1 is not prime. Res64: D0ED9384BB112B4C Time : 0.0 sec. user=mdettweiler [2012-09-10 05:33:31] 817*2^1228449-1 is not prime. Res64: 5749720199E57539 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:33:32] 861*2^1228449-1 is not prime. Res64: 40F97A257275A581 Time : 0.0 sec. user=gd_barnes [2012-09-10 05:47:50] 945*2^1228449-1 is not prime. Res64: DA48015418784DD9 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:54:06] 717*2^1228450-1 is not prime. Res64: 30451199AE23639C Time : 0.0 sec. user=mdettweiler [2012-09-10 05:54:07] 731*2^1228450-1 is not prime. Res64: 2B6698EB7F94873F Time : 0.0 sec. user=mdettweiler [2012-09-10 05:54:08] 827*2^1228450-1 is not prime. Res64: D75EFABD377E6D38 Time : 0.0 sec. user=mdettweiler [2012-09-10 05:54:09] 951*2^1228450-1 is not prime. Res64: 7F9E051BC05BD53A Time : 0.0 sec. user=mdettweiler [2012-09-10 06:14:42] 633*2^1228452-1 is not prime. Res64: 20FB30F68DCC4084 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:14:45] 647*2^1228452-1 is not prime. Res64: 1E138669FD4F9F09 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:14:45] 1001*2^1228450-1 is not prime. Res64: AFB5BB54E46028B9 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:14:46] 741*2^1228451-1 is not prime. Res64: 3E525B4446FD1606 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:35:28] 689*2^1228452-1 is not prime. Res64: 7B379DEC081E9588 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:35:30] 759*2^1228452-1 is not prime. Res64: 265BFB8BAF3192EB Time : 0.0 sec. user=mdettweiler [2012-09-10 06:35:35] 639*2^1228453-1 is not prime. Res64: 9499EB9F687A1FBC Time : 0.0 sec. user=mdettweiler [2012-09-10 06:35:38] 805*2^1228453-1 is not prime. Res64: 8BFE56840B536368 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:56:29] 861*2^1228453-1 is not prime. Res64: DD966A28A889432C Time : 0.0 sec. user=mdettweiler [2012-09-10 06:56:30] 877*2^1228453-1 is not prime. Res64: E235D93BD1AE904F Time : 0.0 sec. user=mdettweiler [2012-09-10 06:56:31] 897*2^1228453-1 is not prime. Res64: 7215C229100766C6 Time : 0.0 sec. user=mdettweiler [2012-09-10 06:56:32] 605*2^1228454-1 is not prime. Res64: C5779E1F055B5EF9 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:17:07] 671*2^1228454-1 is not prime. Res64: CF5ECFD4E3685464 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:17:08] 945*2^1228454-1 is not prime. Res64: 274432B48D89CDF1 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:17:09] 857*2^1228454-1 is not prime. Res64: B55252EE568DB0B0 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:17:09] 965*2^1228454-1 is not prime. Res64: 9808B57894888310 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:37:56] 993*2^1228454-1 is not prime. Res64: 7AB9E3E53DBB8F13 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:37:57] 693*2^1228455-1 is not prime. Res64: 92F9C4CD8DDAD27F Time : 0.0 sec. user=mdettweiler [2012-09-10 07:37:59] 751*2^1228455-1 is not prime. Res64: 508D298DCDEF6406 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:38:00] 963*2^1228455-1 is not prime. Res64: 987D9BA162FD9C49 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:58:33] 973*2^1228455-1 is not prime. Res64: 270DD5F8387B2339 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:58:34] 747*2^1228456-1 is not prime. Res64: 0AA40062D304B80A Time : 0.0 sec. user=mdettweiler [2012-09-10 07:58:34] 873*2^1228456-1 is not prime. Res64: 7A46FAAAC1C7B2C3 Time : 0.0 sec. user=mdettweiler [2012-09-10 07:58:36] 903*2^1228456-1 is not prime. Res64: A34F9F3C8B79ADDE Time : 0.0 sec. user=mdettweiler [2012-09-10 08:19:12] 909*2^1228456-1 is not prime. Res64: 4DA5B54081969ED6 Time : 0.0 sec. user=mdettweiler [2012-09-10 08:19:14] 627*2^1228457-1 is not prime. Res64: 05FFD6973CE48FCB Time : 0.0 sec. user=mdettweiler [2012-09-10 08:19:15] 729*2^1228457-1 is not prime. Res64: 7536E77CA99EC4AC Time : 0.0 sec. user=mdettweiler [2012-09-10 08:19:18] 795*2^1228457-1 is not prime. Res64: 20273A2448871EA7 Time : 0.0 sec. user=mdettweiler [2012-09-10 08:39:52] 865*2^1228457-1 is not prime. Res64: FB9F39D9F9AAA6BD Time : 0.0 sec. user=mdettweiler [2012-09-10 08:39:53] 867*2^1228457-1 is not prime. Res64: 8CC091B80CC5EAC5 Time : 0.0 sec. user=mdettweiler [2012-09-10 08:39:56] 915*2^1228457-1 is not prime. Res64: 0251EBA7A1925B4D Time : 0.0 sec. user=mdettweiler [2012-09-10 08:39:57] 925*2^1228457-1 is not prime. Res64: 87CB19F0A012FF1C Time : 0.0 sec. user=gd_barnes [2012-09-10 08:49:19] 799*2^1228457-1 is not prime. Res64: 08345052BF5EEAA8 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:00:29] 833*2^1228458-1 is not prime. Res64: F2DD0E43243DA734 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:00:30] 997*2^1228457-1 is not prime. Res64: DF9A17D06FAB86DC Time : 0.0 sec. user=mdettweiler [2012-09-10 09:00:31] 601*2^1228459-1 is not prime. Res64: 9DDCBF725143A3FA Time : 0.0 sec. user=mdettweiler [2012-09-10 09:00:31] 663*2^1228458-1 is not prime. Res64: 4A26688ECF53D570 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:21:17] 649*2^1228459-1 is not prime. Res64: 1CBE249045A6E5DD Time : 0.0 sec. user=mdettweiler [2012-09-10 09:21:18] 663*2^1228459-1 is not prime. Res64: B8A2C31DC012D4E5 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:21:20] 709*2^1228459-1 is not prime. Res64: BCBE5E742D9D9539 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:21:21] 759*2^1228459-1 is not prime. Res64: 3C8F919D242029E3 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:41:58] 891*2^1228459-1 is not prime. Res64: 9F140F23CFC93EC5 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:41:59] 895*2^1228459-1 is not prime. Res64: 7E31842669A03C19 Time : 0.0 sec. user=mdettweiler [2012-09-10 09:42:01] 969*2^1228459-1 is not prime. Res64: E66071A951EBB34C Time : 0.0 sec. user=mdettweiler [2012-09-10 09:42:02] 753*2^1228460-1 is not prime. Res64: A78044668508C879 Time : 0.0 sec. user=gd_barnes [2012-09-10 09:46:45] 859*2^1228459-1 is not prime. Res64: 8562A0D4D4A10A2E Time : 0.0 sec. user=mdettweiler [2012-09-10 10:02:37] 839*2^1228460-1 is not prime. Res64: CE8091E92CD2A476 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:02:38] 879*2^1228460-1 is not prime. Res64: 8990A9E4767E3638 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:02:39] 875*2^1228460-1 is not prime. Res64: DDB8FFB98ED49F8C Time : 0.0 sec. user=mdettweiler [2012-09-10 10:02:39] 899*2^1228460-1 is not prime. Res64: 1A0660FB959C70F3 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:23:30] 929*2^1228460-1 is not prime. Res64: AF98408A0C332367 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:23:30] 639*2^1228461-1 is not prime. Res64: 300C5E643C87A4F5 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:23:32] 717*2^1228461-1 is not prime. Res64: 9D3804E7DDF14F3A Time : 0.0 sec. user=mdettweiler [2012-09-10 10:23:33] 745*2^1228461-1 is not prime. Res64: 3B6364938B6D793F Time : 0.0 sec. user=mdettweiler [2012-09-10 10:44:07] 817*2^1228461-1 is not prime. Res64: A02F07BD8A862CAD Time : 0.0 sec. user=mdettweiler [2012-09-10 10:44:08] 991*2^1228461-1 is not prime. Res64: D6A7A034A19BD020 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:44:09] 651*2^1228462-1 is not prime. Res64: 45ECE62D0EF676F5 Time : 0.0 sec. user=mdettweiler [2012-09-10 10:44:10] 675*2^1228462-1 is not prime. Res64: EC12F161B05C04EF Time : 0.0 sec. user=mdettweiler [2012-09-10 11:04:44] 717*2^1228462-1 is not prime. Res64: FC0B0801017CC7CF Time : 0.0 sec. user=mdettweiler [2012-09-10 11:04:46] 873*2^1228462-1 is not prime. Res64: FFD6853616E212BE Time : 0.0 sec. user=mdettweiler [2012-09-10 11:04:46] 761*2^1228462-1 is not prime. Res64: 2E9252EF77234B42 Time : 0.0 sec. user=mdettweiler [2012-09-10 11:04:47] 881*2^1228462-1 is not prime. Res64: 9B7DC38E101265DB Time : 0.0 sec. user=mdettweiler [2012-09-10 11:25:23] 957*2^1228462-1 is not prime. Res64: B9E31459DE46C554 Time : 0.0 sec. user=mdettweiler [2012-09-10 11:25:24] 633*2^1228463-1 is not prime. Res64: 9D28AACE82E3E8CD Time : 0.0 sec. user=mdettweiler [2012-09-10 11:25:26] 669*2^1228463-1 is not prime. Res64: 566C1DE2B49F8732 Time : 0.0 sec. user=mdettweiler [2012-09-10 11:25:27] 739*2^1228463-1 is not prime. Res64: 3C914B2AA3952E09 Time : 0.0 sec. user=mdettweiler [2012-09-10 11:45:56] 745*2^1228463-1 is not prime. Res64: E218AF07C402EA7F Time : 0.0 sec. user=mdettweiler [2012-09-10 11:45:57] 859*2^1228463-1 is not prime. Res64: F0B455082DEDB9F9 Time : 0.0 sec. user=mdettweiler [2012-09-10 11:45:58] 943*2^1228463-1 is not prime. Res64: 3D365A5D1A2F7E0B Time : 0.0 sec. user=mdettweiler [2012-09-10 11:45:59] 675*2^1228464-1 is not prime. Res64: FBFCE60B044F25B0 Time : 0.0 sec. user=mdettweiler [2012-09-10 12:06:36] 683*2^1228464-1 is not prime. Res64: 7D31AB3BF9C3ED1C Time : 0.0 sec. user=mdettweiler [2012-09-10 12:06:37] 707*2^1228464-1 is not prime. Res64: 2D64C07760A45A9F Time : 0.0 sec. user=mdettweiler [2012-09-10 12:06:39] 747*2^1228464-1 is not prime. Res64: DCB8587CBA00FB8C Time : 0.0 sec. user=mdettweiler [2012-09-10 12:06:40] 773*2^1228464-1 is not prime. Res64: 1E114CED74A13CA9 Time : 0.0 sec. user=mdettweiler [2012-09-10 12:27:17] 789*2^1228464-1 is not prime. Res64: A2976AFDB246A2FF Time : 0.0 sec. user=mdettweiler [2012-09-10 12:27:17] 699*2^1228465-1 is not prime. Res64: 7F91442EB010E0BF Time : 0.0 sec. user=mdettweiler [2012-09-10 12:27:19] 741*2^1228465-1 is not prime. Res64: 7875C749FAD97B91 Time : 0.0 sec. user=mdettweiler [2012-09-10 12:27:20] 635*2^1228466-1 is not prime. Res64: 1DB0A96FC47BA1A3 Time : 0.0 sec. user=mdettweiler [2012-09-10 12:48:03] 677*2^1228466-1 is not prime. Res64: 24018E0E0005936F Time : 0.0 sec. user=mdettweiler [2012-09-10 12:48:04] 783*2^1228466-1 is not prime. Res64: 266F68568A79F201 Time : 0.0 sec. user=mdettweiler [2012-09-10 12:48:06] 825*2^1228466-1 is not prime. Res64: B26D64DC622E403F Time : 0.0 sec. user=mdettweiler [2012-09-10 12:48:07] 875*2^1228466-1 is not prime. Res64: C82D488C4FFE6079 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:08:48] 945*2^1228466-1 is not prime. Res64: 1FA8711A835C7A2B Time : 0.0 sec. user=mdettweiler [2012-09-10 13:08:49] 685*2^1228467-1 is not prime. Res64: 7D466B6310064777 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:08:50] 621*2^1228467-1 is not prime. Res64: 67DF05CFE3356594 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:08:51] 765*2^1228467-1 is not prime. Res64: 01071144CFE596B5 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:30:24] 769*2^1228467-1 is not prime. Res64: F070AD8B0D25B200 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:30:27] 895*2^1228467-1 is not prime. Res64: 56FA43041347F905 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:30:28] 871*2^1228467-1 is not prime. Res64: 2DDDCDF9D5AD568E Time : 0.0 sec. user=mdettweiler [2012-09-10 13:30:29] 951*2^1228467-1 is not prime. Res64: E47F9730DC3479B9 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:52:11] 979*2^1228467-1 is not prime. Res64: 408ED0DAD180B9D2 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:52:12] 743*2^1228468-1 is not prime. Res64: 061F6BF09AA8D054 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:52:14] 869*2^1228468-1 is not prime. Res64: E1B641F732D9E527 Time : 0.0 sec. user=mdettweiler [2012-09-10 13:52:14] 875*2^1228468-1 is not prime. Res64: 6A6E0FFAF4BF2AED Time : 0.0 sec. user=mdettweiler [2012-09-10 14:13:23] 887*2^1228468-1 is not prime. Res64: 949896EE025D1591 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:13:24] 989*2^1228468-1 is not prime. Res64: 5233C456CE36B46D Time : 0.0 sec. user=mdettweiler [2012-09-10 14:13:25] 927*2^1228468-1 is not prime. Res64: 89082D98B3BED0A5 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:13:27] 619*2^1228469-1 is not prime. Res64: A05B0A44AB906E91 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:34:50] 711*2^1228469-1 is not prime. Res64: 70209F4A13940B10 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:34:50] 627*2^1228469-1 is not prime. Res64: C0178A00B728074E Time : 0.0 sec. user=mdettweiler [2012-09-10 14:34:51] 735*2^1228469-1 is not prime. Res64: 6A96302BD658F7A4 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:34:51] 697*2^1228469-1 is not prime. Res64: 0C596755645FADB9 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:55:55] 761*2^1228470-1 is not prime. Res64: 5309718C6DB6F274 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:55:56] 797*2^1228470-1 is not prime. Res64: 5F42CD337B17C2E6 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:55:56] 867*2^1228470-1 is not prime. Res64: 803B51712BBF11F7 Time : 0.0 sec. user=mdettweiler [2012-09-10 14:55:56] 609*2^1228471-1 is not prime. Res64: 5010AA18D754B435 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:17:04] 619*2^1228471-1 is not prime. Res64: C45BBBE758CCEF28 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:17:05] 645*2^1228471-1 is not prime. Res64: EB4CBEBE3216856B Time : 0.0 sec. user=mdettweiler [2012-09-10 15:17:08] 723*2^1228471-1 is not prime. Res64: B6D73FA86E66A9AF Time : 0.0 sec. user=mdettweiler [2012-09-10 15:17:08] 783*2^1228471-1 is not prime. Res64: 416D155B6D675EA3 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:38:14] 873*2^1228471-1 is not prime. Res64: 32BBEEB39CCBD1C9 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:38:15] 943*2^1228471-1 is not prime. Res64: BD3E88338DFD7AF9 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:38:16] 829*2^1228471-1 is not prime. Res64: B0CFD3AC4182E647 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:38:16] 859*2^1228471-1 is not prime. Res64: 0F7A754FBE645274 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:59:29] 635*2^1228472-1 is not prime. Res64: 6A935C65B87B4782 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:59:30] 669*2^1228472-1 is not prime. Res64: A86F08FB6C85899B Time : 0.0 sec. user=mdettweiler [2012-09-10 15:59:30] 725*2^1228472-1 is not prime. Res64: D0A14FD44372F427 Time : 0.0 sec. user=mdettweiler [2012-09-10 15:59:31] 977*2^1228472-1 is not prime. Res64: 0C9BB8F0862871DA Time : 0.0 sec. user=mdettweiler [2012-09-10 16:20:39] 983*2^1228472-1 is not prime. Res64: 39834A5CD0E24D98 Time : 0.0 sec. user=mdettweiler [2012-09-10 16:20:40] 649*2^1228473-1 is not prime. Res64: 9EE46504A8B7B6B6 Time : 0.0 sec. user=mdettweiler [2012-09-10 16:20:40] 675*2^1228473-1 is not prime. Res64: 8E8A8685F3BDA1E2 Time : 0.0 sec. user=mdettweiler [2012-09-10 16:20:40] 705*2^1228473-1 is not prime. Res64: F9114D53CB5DAC55 Time : 0.0 sec. user=mdettweiler [2012-09-10 16:41:47] 945*2^1228473-1 is not prime. Res64: 1EC5201879C7509D Time : 0.0 sec. user=mdettweiler [2012-09-10 16:41:48] 633*2^1228474-1 is not prime. Res64: B6203A4C87D5D4AF Time : 0.0 sec. user=mdettweiler [2012-09-10 16:41:48] 665*2^1228474-1 is not prime. Res64: 8832237F801D8C64 Time : 0.0 sec. user=mdettweiler [2012-09-10 16:41:49] 671*2^1228474-1 is not prime. Res64: F8DC2F091E175BAD Time : 0.0 sec. user=mdettweiler [2012-09-10 17:02:55] 675*2^1228474-1 is not prime. Res64: 1903886203C7BE37 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:02:56] 923*2^1228474-1 is not prime. Res64: 03F36C909A07F361 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:02:56] 833*2^1228474-1 is not prime. Res64: 27F575DAB0013FF9 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:02:56] 663*2^1228475-1 is not prime. Res64: AB7FF7B8D5126E77 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:24:07] 669*2^1228475-1 is not prime. Res64: 34EA7282075A27B5 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:24:08] 693*2^1228475-1 is not prime. Res64: 2CE810D5D44C2CA4 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:24:10] 735*2^1228475-1 is not prime. Res64: B7CD82094FCFD9EC Time : 0.0 sec. user=mdettweiler [2012-09-10 17:24:10] 943*2^1228475-1 is not prime. Res64: 547A1B7D49D022DF Time : 0.0 sec. user=mdettweiler [2012-09-10 17:45:15] 949*2^1228475-1 is not prime. Res64: B51CD3570DA6896E Time : 0.0 sec. user=mdettweiler [2012-09-10 17:45:16] 969*2^1228475-1 is not prime. Res64: 89A461838C9575D3 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:45:17] 985*2^1228475-1 is not prime. Res64: 44A7B79DBE9979F7 Time : 0.0 sec. user=mdettweiler [2012-09-10 17:45:17] 693*2^1228476-1 is not prime. Res64: CF956FC6182C29A9 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:06:19] 705*2^1228476-1 is not prime. Res64: C9F02B6114A862C0 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:06:21] 777*2^1228476-1 is not prime. Res64: DCBDC8E58B80A9A7 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:06:23] 887*2^1228476-1 is not prime. Res64: E6B166F97FC80457 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:06:26] 927*2^1228476-1 is not prime. Res64: 8BE3CBF6BFDDAE7D Time : 0.0 sec. user=mdettweiler [2012-09-10 18:27:54] 999*2^1228476-1 is not prime. Res64: 869FA866B4563E52 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:27:54] 685*2^1228477-1 is not prime. Res64: 3A64D8C7AC7FCCDA Time : 0.0 sec. user=mdettweiler [2012-09-10 18:27:56] 687*2^1228477-1 is not prime. Res64: B109D0105FB325D6 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:27:57] 747*2^1228477-1 is not prime. Res64: 599943C0B19D8B31 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:49:02] 751*2^1228477-1 is not prime. Res64: 946CC800909D3A20 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:49:02] 945*2^1228477-1 is not prime. Res64: 38B8CC3F05F39BBF Time : 0.0 sec. user=mdettweiler [2012-09-10 18:49:02] 769*2^1228477-1 is not prime. Res64: 1C05FB890DA85B72 Time : 0.0 sec. user=mdettweiler [2012-09-10 18:49:02] 713*2^1228478-1 is not prime. Res64: 930EE83BD06F086E Time : 0.0 sec. user=mdettweiler [2012-09-10 19:10:09] 791*2^1228478-1 is not prime. Res64: 4B692CAC6019E001 Time : 0.0 sec. user=mdettweiler [2012-09-10 19:10:10] 845*2^1228478-1 is not prime. Res64: 2E947AE0F0EC5C37 Time : 0.0 sec. user=mdettweiler [2012-09-10 19:10:11] 827*2^1228478-1 is not prime. Res64: 4EC45CF89BCE63F3 Time : 0.0 sec. user=mdettweiler [2012-09-10 19:10:13] 857*2^1228478-1 is not prime. Res64: 448912BB88868705 Time : 0.0 sec. user=mdettweiler [2012-09-10 19:31:13] 963*2^1228478-1 is not prime. Res64: B05295CBCE45AD8B Time : 0.0 sec. user=mdettweiler [2012-09-10 19:31:13] 789*2^1228479-1 is not prime. Res64: F332E40A5477933B Time : 0.0 sec. user=mdettweiler [2012-09-10 19:31:15] 823*2^1228479-1 is not prime. Res64: 32D97008F9456809 Time : 0.0 sec. user=mdettweiler [2012-09-10 19:31:15] 879*2^1228479-1 is not prime. Res64: ADEDACF85A6AA63D Time : 0.0 sec. user=mdettweiler [2012-09-10 19:52:04] 895*2^1228479-1 is not prime. Res64: 82A0F45BE36E7CA0 Time : 0.0 sec. user=mdettweiler [2012-09-10 19:52:05] 909*2^1228479-1 is not prime. Res64: 0AF06176062114ED Time : 0.0 sec. user=mdettweiler [2012-09-10 19:52:06] 931*2^1228479-1 is not prime. Res64: AE2C8C0A1B34264B Time : 0.0 sec. user=mdettweiler [2012-09-10 19:52:07] 615*2^1228480-1 is not prime. Res64: C730EE5370F8A109 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:12:57] 635*2^1228480-1 is not prime. Res64: C0A7FFA8327EA8DF Time : 0.0 sec. user=mdettweiler [2012-09-10 20:12:59] 663*2^1228480-1 is not prime. Res64: 04F5C6B973874440 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:13:03] 717*2^1228480-1 is not prime. Res64: 7B8585856821F686 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:13:05] 839*2^1228480-1 is not prime. Res64: B4E24E6FCADD0578 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:33:57] 927*2^1228480-1 is not prime. Res64: 0C49BEF69A21E59B Time : 0.0 sec. user=mdettweiler [2012-09-10 20:33:58] 631*2^1228481-1 is not prime. Res64: 0B442EA91EF1BE38 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:34:03] 697*2^1228481-1 is not prime. Res64: B522B7E1CB241648 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:34:04] 711*2^1228481-1 is not prime. Res64: F152C9CC00E9902F Time : 0.0 sec. user=mdettweiler [2012-09-10 20:54:51] 861*2^1228481-1 is not prime. Res64: 27A790A4067C60FA Time : 0.0 sec. user=mdettweiler [2012-09-10 20:54:51] 901*2^1228481-1 is not prime. Res64: 641EDDC48B443BC8 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:54:53] 633*2^1228482-1 is not prime. Res64: E7D5072D4165FD57 Time : 0.0 sec. user=mdettweiler [2012-09-10 20:54:53] 635*2^1228482-1 is not prime. Res64: 153DB1706B49FCD5 Time : 0.0 sec. user=mdettweiler [2012-09-10 21:15:40] 893*2^1228482-1 is not prime. Res64: E09C9FA848A99465 Time : 0.0 sec. user=mdettweiler [2012-09-10 21:15:41] 947*2^1228482-1 is not prime. Res64: 5ABD95F306DD0B11 Time : 0.0 sec. user=mdettweiler [2012-09-10 21:15:43] 803*2^1228482-1 is not prime. Res64: DD105947686EBBDA Time : 0.0 sec. user=mdettweiler [2012-09-10 21:15:45] 843*2^1228482-1 is not prime. Res64: 1155BBFFE6E0FE28 Time : 0.0 sec. user=mdettweiler [2012-09-10 21:36:31] 975*2^1228482-1 is not prime. Res64: BEAC02927F7C48AB Time : 0.0 sec. user=mdettweiler [2012-09-10 21:36:31] 633*2^1228483-1 is not prime. Res64: 76E3DD741DE0DC1E Time : 0.0 sec. user=mdettweiler [2012-09-10 21:36:34] 673*2^1228483-1 is not prime. Res64: 4AC6207558E45AFD Time : 0.0 sec. user=mdettweiler [2012-09-10 21:36:34] 685*2^1228483-1 is not prime. Res64: FAA7C1EDC8254A09 Time : 0.0 sec. user=mdettweiler [2012-09-10 21:57:18] 741*2^1228483-1 is not prime. Res64: 1EF9BF3E42FA3C6A Time : 0.0 sec. user=mdettweiler [2012-09-10 21:57:18] 769*2^1228483-1 is not prime. Res64: 864F7F189651B015 Time : 0.0 sec. user=mdettweiler [2012-09-10 21:57:20] 793*2^1228483-1 is not prime. Res64: 5191C58018EA0BFC Time : 0.0 sec. user=mdettweiler [2012-09-10 21:57:20] 811*2^1228483-1 is not prime. Res64: E57DFC94FCEDA9E0 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:18:12] 707*2^1228484-1 is not prime. Res64: 0D147484E1BBA731 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:18:12] 859*2^1228483-1 is not prime. Res64: B705F94F5E2B0544 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:18:13] 869*2^1228484-1 is not prime. Res64: 4CE3E81A63A5EF68 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:18:13] 945*2^1228483-1 is not prime. Res64: DC515BAF639FA435 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:39:06] 875*2^1228484-1 is not prime. Res64: 32B66980CBE8D5BA Time : 0.0 sec. user=mdettweiler [2012-09-10 22:39:06] 927*2^1228484-1 is not prime. Res64: 15C925F788CC7C80 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:39:08] 987*2^1228484-1 is not prime. Res64: 4AF42A0D5433A589 Time : 0.0 sec. user=mdettweiler [2012-09-10 22:39:09] 655*2^1228485-1 is not prime. Res64: 9459646BCBABEC9A Time : 0.0 sec. user=mdettweiler [2012-09-10 23:00:19] 951*2^1228485-1 is not prime. Res64: EED8BC8373EE3DA8 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:00:20] 999*2^1228485-1 is not prime. Res64: B4E7702040C2A9E6 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:00:21] 847*2^1228485-1 is not prime. Res64: E10C32272A406080 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:00:22] 861*2^1228485-1 is not prime. Res64: 2EDBB32F7CB728D5 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:20:53] 743*2^1228486-1 is not prime. Res64: 586637686B4F224A Time : 0.0 sec. user=mdettweiler [2012-09-10 23:20:54] 945*2^1228486-1 is not prime. Res64: 7E7A9BAD3606D210 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:20:54] 965*2^1228486-1 is not prime. Res64: 956954E2B429E441 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:20:55] 971*2^1228486-1 is not prime. Res64: EB90E35C298E7BC3 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:41:27] 983*2^1228486-1 is not prime. Res64: 0592AB29446F00FD Time : 0.0 sec. user=mdettweiler [2012-09-10 23:41:27] 601*2^1228487-1 is not prime. Res64: 2BF6E7E41115D21C Time : 0.0 sec. user=mdettweiler [2012-09-10 23:41:29] 609*2^1228487-1 is not prime. Res64: 4FF30CF0307A3F03 Time : 0.0 sec. user=mdettweiler [2012-09-10 23:41:29] 619*2^1228487-1 is not prime. Res64: F27F24273726FC7A Time : 0.0 sec.