user=mdettweiler [2012-08-11 00:08:07] 627*2^1226174-1 is not prime. Res64: 257246F7FCEF0E5C Time : 0.0 sec. user=mdettweiler [2012-08-11 00:11:05] 857*2^1226174-1 is not prime. Res64: 5CF12EA83A54746A Time : 0.0 sec. user=mdettweiler [2012-08-11 00:11:07] 741*2^1226174-1 is not prime. Res64: A8EECF9E4264767B Time : 0.0 sec. user=mdettweiler [2012-08-11 00:11:10] 915*2^1226174-1 is not prime. Res64: B818ECCF02851835 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:11:13] 773*2^1226174-1 is not prime. Res64: 6DB2892AE0E50F6F Time : 0.0 sec. user=vaughan [2012-08-11 00:19:21] 707*2^1226174-1 is not prime. Res64: 91F97AAC0D34F3BE Time : 0.0 sec. user=mdettweiler [2012-08-11 00:22:32] 711*2^1226174-1 is not prime. Res64: 0A3A598BB91DD60E Time : 0.0 sec. user=mdettweiler [2012-08-11 00:31:51] 723*2^1226175-1 is not prime. Res64: 953C2DA96B4AF164 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:31:51] 859*2^1226175-1 is not prime. Res64: 91796F1E5A388E55 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:31:51] 735*2^1226175-1 is not prime. Res64: D8C7C66F859F40D3 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:31:52] 871*2^1226175-1 is not prime. Res64: 879054ED2BFF91CB Time : 0.0 sec. user=gd_barnes [2012-08-11 00:32:25] 927*2^1226174-1 is not prime. Res64: B332D3585273DD91 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:42:17] 953*2^1226174-1 is not prime. Res64: 4DCED646B1ECFD30 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:52:35] 677*2^1226176-1 is not prime. Res64: A7C46516588FFF2F Time : 0.0 sec. user=mdettweiler [2012-08-11 00:52:36] 743*2^1226176-1 is not prime. Res64: 68FDA197DC9D7A33 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:52:38] 785*2^1226176-1 is not prime. Res64: E07DE505D3557D33 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:52:39] 803*2^1226176-1 is not prime. Res64: 9D4A931E83CB8122 Time : 0.0 sec. user=vaughan [2012-08-11 00:56:44] 985*2^1226175-1 is not prime. Res64: 55AC69AD777EFA48 Time : 0.0 sec. user=mdettweiler [2012-08-11 00:59:57] 657*2^1226176-1 is not prime. Res64: FD2B7D84D2AB66D4 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:13:14] 869*2^1226176-1 is not prime. Res64: F3E093ABDF587EF8 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:13:17] 927*2^1226176-1 is not prime. Res64: FC68F6D3436664F2 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:13:20] 939*2^1226176-1 is not prime. Res64: 8BA0B658C900AEDC Time : 0.0 sec. user=mdettweiler [2012-08-11 01:13:23] 989*2^1226176-1 is not prime. Res64: 167FC86A9A36B641 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:14:52] 849*2^1226176-1 is not prime. Res64: 3514A54AF2E0C843 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:34:01] 795*2^1226177-1 is not prime. Res64: 3331AE95AD61F064 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:34:01] 799*2^1226177-1 is not prime. Res64: 99E1AAA2AB658D0A Time : 0.0 sec. user=mdettweiler [2012-08-11 01:34:08] 949*2^1226177-1 is not prime. Res64: A1B1E53AB454292C Time : 0.0 sec. user=vaughan [2012-08-11 01:34:08] 993*2^1226176-1 is not prime. Res64: 74BCB572929C66FA Time : 0.0 sec. user=mdettweiler [2012-08-11 01:34:08] 985*2^1226177-1 is not prime. Res64: BECDCF8522640772 Time : 0.0 sec. user=gd_barnes [2012-08-11 01:35:38] 717*2^1226177-1 is not prime. Res64: 88AF866C1AFA4686 Time : 0.0 sec. user=gd_barnes [2012-08-11 01:44:08] 777*2^1226177-1 is not prime. Res64: 2F5E6C3AF0F55351 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:48:13] 641*2^1226178-1 is not prime. Res64: 37C4105E8ABC8169 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:54:39] 867*2^1226178-1 is not prime. Res64: 8F2A4A6422692C40 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:54:39] 923*2^1226178-1 is not prime. Res64: ADFE7B8CD4DA4C89 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:54:45] 663*2^1226179-1 is not prime. Res64: F34D2428954D0340 Time : 0.0 sec. user=mdettweiler [2012-08-11 01:54:46] 693*2^1226179-1 is not prime. Res64: DD2F74602CD401AD Time : 0.0 sec. user=vaughan [2012-08-11 02:11:30] 639*2^1226179-1 is not prime. Res64: 09F2A10256ACD112 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:15:16] 829*2^1226179-1 is not prime. Res64: 95E76B688D50495C Time : 0.0 sec. user=mdettweiler [2012-08-11 02:15:17] 861*2^1226179-1 is not prime. Res64: F770B0F0AB1A4861 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:15:22] 919*2^1226179-1 is not prime. Res64: B59AAAE805443FA0 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:15:23] 975*2^1226179-1 is not prime. Res64: EFA11F69327ABBEE Time : 0.0 sec. user=mdettweiler [2012-08-11 02:25:12] 705*2^1226179-1 is not prime. Res64: 8B91195869F648EF Time : 0.0 sec. user=mdettweiler [2012-08-11 02:25:14] 607*2^1226177-1 is not prime. Res64: E77687EF448A44A7 Time : 0.0 sec. user=gd_barnes [2012-08-11 02:31:12] 659*2^1226180-1 is not prime. Res64: 67007BB7B3BFA229 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:36:04] 835*2^1226181-1 is not prime. Res64: C44BB227C4EDB0C5 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:36:04] 661*2^1226181-1 is not prime. Res64: D51A44498EC5AC35 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:36:06] 795*2^1226181-1 is not prime. Res64: 2BD7A3E081D94CFC Time : 0.0 sec. user=mdettweiler [2012-08-11 02:36:06] 955*2^1226181-1 is not prime. Res64: 3446CD4C5BA994E4 Time : 0.0 sec. user=gd_barnes [2012-08-11 02:36:32] 707*2^1226180-1 is not prime. Res64: A63E8B53282CE36A Time : 0.0 sec. user=vaughan [2012-08-11 02:49:01] 607*2^1226181-1 is not prime. Res64: BB17854EADD98001 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:57:04] 777*2^1226182-1 is not prime. Res64: A47F117CC35E4BA3 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:57:05] 831*2^1226182-1 is not prime. Res64: B9DF40A3DC1CA712 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:57:07] 609*2^1226183-1 is not prime. Res64: F19A805A7B6DF316 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:57:08] 615*2^1226183-1 is not prime. Res64: 5AEFAE3F8141C790 Time : 0.0 sec. user=mdettweiler [2012-08-11 02:57:33] 997*2^1226181-1 is not prime. Res64: 9D56520327255480 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:00:23] 653*2^1226182-1 is not prime. Res64: E3010A1F6341069A Time : 0.0 sec. user=mdettweiler [2012-08-11 03:17:50] 705*2^1226183-1 is not prime. Res64: EF7B09A8B551124F Time : 0.0 sec. user=mdettweiler [2012-08-11 03:17:51] 823*2^1226183-1 is not prime. Res64: 7448AB2B593965E6 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:17:52] 753*2^1226183-1 is not prime. Res64: 5D1AB314123872C1 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:17:52] 853*2^1226183-1 is not prime. Res64: D0C99CC908B7B8CA Time : 0.0 sec. user=gd_barnes [2012-08-11 03:18:16] 661*2^1226183-1 is not prime. Res64: 617CAF067DF487FF Time : 0.0 sec. user=vaughan [2012-08-11 03:26:31] 703*2^1226183-1 is not prime. Res64: 1EF0A1B99F5401EA Time : 0.0 sec. user=gd_barnes [2012-08-11 03:31:04] 789*2^1226184-1 is not prime. Res64: 220E5CA57290C66C Time : 0.0 sec. user=mdettweiler [2012-08-11 03:31:05] 885*2^1226183-1 is not prime. Res64: 0479BE1B1E65238A Time : 0.0 sec. user=gd_barnes [2012-08-11 03:31:18] 753*2^1226184-1 is not prime. Res64: 61B178343C2CC2D5 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:33:54] 943*2^1226183-1 is not prime. Res64: 51D3567AB2446A50 Time : 0.0 sec. user=gd_barnes [2012-08-11 03:36:21] 973*2^1226183-1 is not prime. Res64: 7EACECE16C538A4B Time : 0.0 sec. user=mdettweiler [2012-08-11 03:38:39] 825*2^1226184-1 is not prime. Res64: B3E54F717A335C14 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:38:39] 651*2^1226185-1 is not prime. Res64: 61D28F37CE920063 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:38:40] 607*2^1226185-1 is not prime. Res64: FC038D76FBD5C269 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:38:42] 717*2^1226185-1 is not prime. Res64: 37C763B6F1CD4AB5 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:59:42] 615*2^1226186-1 is not prime. Res64: A4EF93A65E7A6B88 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:59:43] 657*2^1226186-1 is not prime. Res64: 1EEE756FADF3EC26 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:59:48] 735*2^1226186-1 is not prime. Res64: B3FEF5E9ECF1B613 Time : 0.0 sec. user=mdettweiler [2012-08-11 03:59:49] 801*2^1226186-1 is not prime. Res64: 912C46953B64872C Time : 0.0 sec. user=mdettweiler [2012-08-11 04:03:24] 897*2^1226185-1 is not prime. Res64: 0E6CD8B7E4544A90 Time : 0.0 sec. user=vaughan [2012-08-11 04:03:55] 885*2^1226185-1 is not prime. Res64: 2ED028EF05D41CB1 Time : 0.0 sec. user=mdettweiler [2012-08-11 04:08:51] 997*2^1226185-1 is not prime. Res64: E3A693C7110E6513 Time : 0.0 sec. user=mdettweiler [2012-08-11 04:20:25] 837*2^1226186-1 is not prime. Res64: 72539A69F8A5EFDD Time : 0.0 sec. user=mdettweiler [2012-08-11 04:20:26] 857*2^1226186-1 is not prime. Res64: E3E6E903AAAD930F Time : 0.0 sec. user=mdettweiler [2012-08-11 04:20:29] 873*2^1226186-1 is not prime. Res64: 785F922F5C2B89B8 Time : 0.0 sec. user=mdettweiler [2012-08-11 04:20:30] 917*2^1226186-1 is not prime. Res64: 1F84EB3DB3B8F6B1 Time : 0.0 sec. user=mdettweiler [2012-08-11 04:36:41] 957*2^1226186-1 is not prime. Res64: AD64929D66AA700C Time : 0.0 sec. user=mdettweiler [2012-08-11 04:41:15] 879*2^1226187-1 is not prime. Res64: D0A2B16F472D9D43 Time : 0.0 sec. user=mdettweiler [2012-08-11 04:41:17] 839*2^1226188-1 is not prime. Res64: 14E753739CB8173F Time : 0.0 sec. user=mdettweiler [2012-08-11 04:41:18] 955*2^1226187-1 is not prime. Res64: CD347A8979D5BE0F Time : 0.0 sec. user=mdettweiler [2012-08-11 04:41:18] 897*2^1226188-1 is not prime. Res64: 3C898A9E91737E8E Time : 0.0 sec. user=vaughan [2012-08-11 04:41:18] 981*2^1226186-1 is not prime. Res64: 663D2C2BA0DCA278 Time : 0.0 sec. user=mdettweiler [2012-08-11 04:42:09] 859*2^1226187-1 is not prime. Res64: 1B0681103A22A6F3 Time : 0.0 sec. user=gd_barnes [2012-08-11 04:43:55] 871*2^1226187-1 is not prime. Res64: 7AAEA3A596B03B2B Time : 0.0 sec. user=mdettweiler [2012-08-11 05:01:59] 957*2^1226188-1 is not prime. Res64: 0487A9BB5FE408D1 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:02:02] 969*2^1226188-1 is not prime. Res64: 2DEDB2E6AF027357 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:02:05] 999*2^1226188-1 is not prime. Res64: 3BA8DA2B211FA6E5 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:02:07] 615*2^1226189-1 is not prime. Res64: 17F6A501FC936B9A Time : 0.0 sec. user=mdettweiler [2012-08-11 05:10:52] 905*2^1226188-1 is not prime. Res64: 6EFD826B18EBEB57 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:15:59] 619*2^1226189-1 is not prime. Res64: 1379F9C2AF0718FC Time : 0.0 sec. user=vaughan [2012-08-11 05:18:44] 923*2^1226188-1 is not prime. Res64: 3715C58BC96D581E Time : 0.0 sec. user=mdettweiler [2012-08-11 05:23:20] 645*2^1226189-1 is not prime. Res64: 3ABA4FF998E0CF17 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:23:21] 699*2^1226189-1 is not prime. Res64: E7623510ADD832A3 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:23:21] 649*2^1226189-1 is not prime. Res64: F256C8DC075F8153 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:23:21] 747*2^1226189-1 is not prime. Res64: 934CD0A8BD7E39D7 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:43:57] 651*2^1226190-1 is not prime. Res64: 793000DF88D3E160 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:43:58] 873*2^1226190-1 is not prime. Res64: 0B619E6A996ECF84 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:43:59] 875*2^1226190-1 is not prime. Res64: 4992C81EC412A406 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:43:59] 945*2^1226190-1 is not prime. Res64: 70DA7F09440E9F78 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:44:31] 825*2^1226189-1 is not prime. Res64: F37EF07A1C00C4A2 Time : 0.0 sec. user=mdettweiler [2012-08-11 05:49:53] 867*2^1226189-1 is not prime. Res64: 84138BCCD64059D3 Time : 0.0 sec. user=vaughan [2012-08-11 05:56:07] 949*2^1226189-1 is not prime. Res64: BE195EFD4F56676A Time : 0.0 sec. user=mdettweiler [2012-08-11 06:04:37] 977*2^1226190-1 is not prime. Res64: 3CFB8B09497CEB6F Time : 0.0 sec. user=mdettweiler [2012-08-11 06:04:38] 751*2^1226191-1 is not prime. Res64: 984D4B1FCEF7BF57 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:04:44] 783*2^1226191-1 is not prime. Res64: FA261433FDC3BDC7 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:04:46] 873*2^1226191-1 is not prime. Res64: C40BD7A5779A6D3F Time : 0.0 sec. user=mdettweiler [2012-08-11 06:16:58] 885*2^1226191-1 is not prime. Res64: 38AF5F86F93B81F1 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:24:19] 609*2^1226192-1 is not prime. Res64: 68D80BAA517F31DC Time : 0.0 sec. user=mdettweiler [2012-08-11 06:25:26] 635*2^1226192-1 is not prime. Res64: EBC6E57B78A215FB Time : 0.0 sec. user=mdettweiler [2012-08-11 06:25:27] 675*2^1226192-1 is not prime. Res64: 9BEC53730E735F9C Time : 0.0 sec. user=mdettweiler [2012-08-11 06:25:31] 677*2^1226192-1 is not prime. Res64: 296C5FA6FC39BB9E Time : 0.0 sec. user=mdettweiler [2012-08-11 06:25:32] 827*2^1226192-1 is not prime. Res64: E4B467C45A5A89DB Time : 0.0 sec. user=vaughan [2012-08-11 06:33:43] 629*2^1226192-1 is not prime. Res64: 4AC0D8B9FD020A60 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:46:10] 615*2^1226193-1 is not prime. Res64: FF322165033FDF11 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:46:11] 691*2^1226193-1 is not prime. Res64: 5F4C6D46314C48F0 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:46:12] 739*2^1226193-1 is not prime. Res64: 0FD6B3B41CE73501 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:46:14] 751*2^1226193-1 is not prime. Res64: DAC94CB600CE24B5 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:51:47] 879*2^1226192-1 is not prime. Res64: 69DF26AFF55B1A09 Time : 0.0 sec. user=mdettweiler [2012-08-11 06:56:32] 995*2^1226192-1 is not prime. Res64: 7F56525160F1DEE2 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:06:53] 945*2^1226193-1 is not prime. Res64: 460B3C075F9C6B89 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:06:57] 951*2^1226193-1 is not prime. Res64: 8F17627E5AA1FAA4 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:07:00] 979*2^1226193-1 is not prime. Res64: 94FC68B619E90313 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:07:01] 951*2^1226194-1 is not prime. Res64: E4C4BF021E96A11A Time : 0.0 sec. user=vaughan [2012-08-11 07:11:10] 937*2^1226193-1 is not prime. Res64: 6A23D2DCC47F61BF Time : 0.0 sec. user=mdettweiler [2012-08-11 07:25:58] 993*2^1226194-1 is not prime. Res64: A982E1A85601A257 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:27:43] 655*2^1226195-1 is not prime. Res64: C3B4F108D0A32806 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:27:44] 825*2^1226195-1 is not prime. Res64: D1342D2F4957CE7C Time : 0.0 sec. user=mdettweiler [2012-08-11 07:27:49] 903*2^1226195-1 is not prime. Res64: 2D31064D1FBC6312 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:27:52] 979*2^1226195-1 is not prime. Res64: B3067D297219FEA4 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:31:25] 651*2^1226195-1 is not prime. Res64: 9513CDF213A670C9 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:48:26] 839*2^1226196-1 is not prime. Res64: 9BE8705A8215C54B Time : 0.0 sec. user=mdettweiler [2012-08-11 07:48:27] 845*2^1226196-1 is not prime. Res64: 6DD017EA1F71DBD2 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:48:33] 893*2^1226196-1 is not prime. Res64: CEB7A029D9AFB677 Time : 0.0 sec. user=mdettweiler [2012-08-11 07:48:34] 957*2^1226196-1 is not prime. Res64: B51CE921B198BE94 Time : 0.0 sec. user=vaughan [2012-08-11 07:48:40] 991*2^1226195-1 is not prime. Res64: A4EDD396F56884EC Time : 0.0 sec. user=mdettweiler [2012-08-11 07:58:32] 999*2^1226195-1 is not prime. Res64: 08E56AA3AD2B9DE4 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:06:06] 645*2^1226197-1 is not prime. Res64: 140968DA62F1486B Time : 0.0 sec. user=mdettweiler [2012-08-11 08:09:08] 831*2^1226197-1 is not prime. Res64: CF73B08B256E3EA2 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:09:10] 889*2^1226197-1 is not prime. Res64: B85740AC7AA3D723 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:09:16] 901*2^1226197-1 is not prime. Res64: A44D27AAD98624C2 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:09:17] 937*2^1226197-1 is not prime. Res64: FBFC8CE70F115991 Time : 0.0 sec. user=vaughan [2012-08-11 08:26:06] 975*2^1226197-1 is not prime. Res64: BF7A9BE16840EB66 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:29:52] 977*2^1226198-1 is not prime. Res64: F1BA082DEA2438AD Time : 0.0 sec. user=mdettweiler [2012-08-11 08:29:53] 669*2^1226199-1 is not prime. Res64: 1D0383BF6697B8A7 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:29:57] 723*2^1226199-1 is not prime. Res64: 766A352D6B52EF72 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:29:58] 831*2^1226199-1 is not prime. Res64: 14C5B68841B13C9D Time : 0.0 sec. user=mdettweiler [2012-08-11 08:31:27] 843*2^1226198-1 is not prime. Res64: 40CF70EC6128A11F Time : 0.0 sec. user=mdettweiler [2012-08-11 08:39:33] 885*2^1226198-1 is not prime. Res64: 549DB7CE932E6DE6 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:50:31] 645*2^1226200-1 is not prime. Res64: 79F5856AE446C24C Time : 0.0 sec. user=mdettweiler [2012-08-11 08:50:32] 677*2^1226200-1 is not prime. Res64: B784A519AE38199E Time : 0.0 sec. user=mdettweiler [2012-08-11 08:50:40] 695*2^1226200-1 is not prime. Res64: 84468D4DE721EAD3 Time : 0.0 sec. user=mdettweiler [2012-08-11 08:50:41] 717*2^1226200-1 is not prime. Res64: 5575F4FFE3CB4D1D Time : 0.0 sec. user=vaughan [2012-08-11 09:03:33] 973*2^1226199-1 is not prime. Res64: 7E1D5A4A60109D4F Time : 0.0 sec. user=mdettweiler [2012-08-11 09:04:11] 735*2^1226200-1 is not prime. Res64: FFFA190D8006DF25 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:11:13] 983*2^1226200-1 is not prime. Res64: A1EE266649B80FAF Time : 0.0 sec. user=mdettweiler [2012-08-11 09:11:15] 995*2^1226200-1 is not prime. Res64: FFDB24F362F1E8FA Time : 0.0 sec. user=mdettweiler [2012-08-11 09:11:19] 867*2^1226201-1 is not prime. Res64: 8EA4899A595367EA Time : 0.0 sec. user=mdettweiler [2012-08-11 09:11:22] 931*2^1226201-1 is not prime. Res64: DF93BE05F0A0CD5E Time : 0.0 sec. user=mdettweiler [2012-08-11 09:14:26] 843*2^1226200-1 is not prime. Res64: A04C28953B27D7D3 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:32:00] 921*2^1226202-1 is not prime. Res64: 8D2702C9ED1AE663 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:32:01] 963*2^1226202-1 is not prime. Res64: 0C5FF69F411AE483 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:32:07] 1001*2^1226202-1 is not prime. Res64: ED86F4B00229009C Time : 0.0 sec. user=mdettweiler [2012-08-11 09:32:08] 771*2^1226203-1 is not prime. Res64: 27A64D827E22B9A0 Time : 0.0 sec. user=gd_barnes [2012-08-11 09:32:48] 873*2^1226202-1 is not prime. Res64: D7B8E42DCE7C7481 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:36:22] 705*2^1226202-1 is not prime. Res64: 63297628776C5740 Time : 0.0 sec. user=gd_barnes [2012-08-11 09:38:20] 887*2^1226202-1 is not prime. Res64: DE2ACF39E5C94CDC Time : 0.0 sec. user=vaughan [2012-08-11 09:41:02] 945*2^1226201-1 is not prime. Res64: 31261B3ECA1ADFDB Time : 0.0 sec. user=mdettweiler [2012-08-11 09:49:01] 835*2^1226203-1 is not prime. Res64: 4C38CB6FD071A011 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:52:45] 859*2^1226203-1 is not prime. Res64: 509E7DA6E2872E25 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:52:46] 919*2^1226203-1 is not prime. Res64: 65CCCF86DFA75080 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:52:49] 993*2^1226203-1 is not prime. Res64: 1E06843B87E9F369 Time : 0.0 sec. user=mdettweiler [2012-08-11 09:52:50] 785*2^1226204-1 is not prime. Res64: 09FDFF0B944FBF53 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:10:41] 819*2^1226204-1 is not prime. Res64: D0A2E94BF4F7DB59 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:13:26] 959*2^1226204-1 is not prime. Res64: E1F123361A24FFAA Time : 0.0 sec. user=mdettweiler [2012-08-11 10:13:30] 717*2^1226205-1 is not prime. Res64: AC97934478D2C83D Time : 0.0 sec. user=mdettweiler [2012-08-11 10:13:31] 805*2^1226205-1 is not prime. Res64: 7C235964B3973113 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:13:35] 819*2^1226205-1 is not prime. Res64: 9927FC60E9646CF1 Time : 0.0 sec. user=vaughan [2012-08-11 10:18:24] 869*2^1226204-1 is not prime. Res64: 0086AF14A6A51569 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:22:00] 903*2^1226204-1 is not prime. Res64: 2A2A60E06663593A Time : 0.0 sec. user=mdettweiler [2012-08-11 10:34:19] 895*2^1226205-1 is not prime. Res64: 4F2F8AA3EA740FD9 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:34:20] 915*2^1226205-1 is not prime. Res64: 8B8EAA455A9C217E Time : 0.0 sec. user=mdettweiler [2012-08-11 10:34:34] 985*2^1226205-1 is not prime. Res64: 9EE5B421154ACB75 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:34:34] 991*2^1226205-1 is not prime. Res64: D646407F19B0B7D2 Time : 0.0 sec. user=gd_barnes [2012-08-11 10:41:25] 653*2^1226206-1 is not prime. Res64: 58C69B8BDCAD32EB Time : 0.0 sec. user=gd_barnes [2012-08-11 10:42:07] 837*2^1226205-1 is not prime. Res64: 6CCAAAE74563D1EA Time : 0.0 sec. user=mdettweiler [2012-08-11 10:44:24] 831*2^1226205-1 is not prime. Res64: 98267366FA633AD8 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:55:00] 705*2^1226206-1 is not prime. Res64: 6ABBD08988729E0F Time : 0.0 sec. user=mdettweiler [2012-08-11 10:55:01] 855*2^1226206-1 is not prime. Res64: CF12A1698B729F3E Time : 0.0 sec. user=mdettweiler [2012-08-11 10:55:13] 941*2^1226206-1 is not prime. Res64: C97FA95B5DDDD1EF Time : 0.0 sec. user=mdettweiler [2012-08-11 10:55:14] 971*2^1226206-1 is not prime. Res64: A0B0FE1A5388E4EC Time : 0.0 sec. user=vaughan [2012-08-11 10:55:46] 657*2^1226206-1 is not prime. Res64: 8FB34D2726331840 Time : 0.0 sec. user=mdettweiler [2012-08-11 10:56:11] 675*2^1226206-1 is not prime. Res64: 0760D359AD5D885E Time : 0.0 sec. user=mdettweiler [2012-08-11 11:15:44] 673*2^1226207-1 is not prime. Res64: C0CB90B2C5DC9373 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:15:45] 879*2^1226207-1 is not prime. Res64: 74722A258D0A5117 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:15:56] 963*2^1226207-1 is not prime. Res64: 6CD1B3E838F2A826 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:15:57] 981*2^1226207-1 is not prime. Res64: 30035CF8AB051539 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:19:41] 987*2^1226206-1 is not prime. Res64: 7F5995B736E44702 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:30:48] 669*2^1226208-1 is not prime. Res64: A703F6B9D02527ED Time : 0.0 sec. user=vaughan [2012-08-11 11:33:09] 657*2^1226208-1 is not prime. Res64: 2BA448DEACBA0EDE Time : 0.0 sec. user=mdettweiler [2012-08-11 11:36:30] 795*2^1226208-1 is not prime. Res64: 39C5C361EAEF63DD Time : 0.0 sec. user=mdettweiler [2012-08-11 11:36:31] 909*2^1226208-1 is not prime. Res64: FDF891AF81CD7714 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:36:37] 615*2^1226209-1 is not prime. Res64: A146112FF9BC7292 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:36:37] 637*2^1226209-1 is not prime. Res64: 71310C537F84B76F Time : 0.0 sec. user=mdettweiler [2012-08-11 11:54:10] 649*2^1226209-1 is not prime. Res64: 56973CF529270C04 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:57:09] 677*2^1226210-1 is not prime. Res64: 09446645D3C633E6 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:57:11] 735*2^1226210-1 is not prime. Res64: 63FF8EC278031987 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:57:18] 755*2^1226210-1 is not prime. Res64: 74AB9F2475102312 Time : 0.0 sec. user=mdettweiler [2012-08-11 11:57:19] 783*2^1226210-1 is not prime. Res64: 80B5BD6AA99B31E7 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:05:22] 679*2^1226209-1 is not prime. Res64: 3EFB76016C27387A Time : 0.0 sec. user=vaughan [2012-08-11 12:10:37] 799*2^1226209-1 is not prime. Res64: 9135C1B2B8F7EA97 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:17:51] 857*2^1226210-1 is not prime. Res64: A96758911CCE6C77 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:17:52] 941*2^1226210-1 is not prime. Res64: C43CB538D52B702F Time : 0.0 sec. user=mdettweiler [2012-08-11 12:17:56] 977*2^1226210-1 is not prime. Res64: E413280DD768B43B Time : 0.0 sec. user=mdettweiler [2012-08-11 12:17:57] 613*2^1226211-1 is not prime. Res64: 2A7D620D682043C4 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:28:39] 843*2^1226210-1 is not prime. Res64: DC1ED4FAEE7A84A0 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:38:33] 705*2^1226211-1 is not prime. Res64: 1657AFF9A1575438 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:38:33] 819*2^1226211-1 is not prime. Res64: BC0CC9C64B8D9FBC Time : 0.0 sec. user=mdettweiler [2012-08-11 12:38:36] 961*2^1226211-1 is not prime. Res64: 3992240FC7C9CF1B Time : 0.0 sec. user=mdettweiler [2012-08-11 12:38:37] 653*2^1226212-1 is not prime. Res64: A6B620F6BBCFC4B5 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:39:32] 615*2^1226211-1 is not prime. Res64: 270A2F2868A960CD Time : 0.0 sec. user=vaughan [2012-08-11 12:48:08] 639*2^1226211-1 is not prime. Res64: 898DC85ED566686E Time : 0.0 sec. user=mdettweiler [2012-08-11 12:59:17] 765*2^1226212-1 is not prime. Res64: A08CD4A1CD31A8BD Time : 0.0 sec. user=mdettweiler [2012-08-11 12:59:18] 827*2^1226212-1 is not prime. Res64: 6093450E959AA2F4 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:59:19] 857*2^1226212-1 is not prime. Res64: 96993CB231B48795 Time : 0.0 sec. user=mdettweiler [2012-08-11 12:59:20] 957*2^1226212-1 is not prime. Res64: 78EEBC8A06373D56 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:04:21] 689*2^1226212-1 is not prime. Res64: 5D448E2A5CBD11F5 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:12:38] 619*2^1226213-1 is not prime. Res64: D65A821B1A11AFFC Time : 0.0 sec. user=mdettweiler [2012-08-11 13:19:59] 727*2^1226213-1 is not prime. Res64: 77CD2B256410FA9C Time : 0.0 sec. user=mdettweiler [2012-08-11 13:20:01] 745*2^1226213-1 is not prime. Res64: 2BA60098044AA2BB Time : 0.0 sec. user=mdettweiler [2012-08-11 13:20:02] 811*2^1226213-1 is not prime. Res64: B85DEA08F5BD2585 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:20:06] 897*2^1226213-1 is not prime. Res64: 533F47A56CB25330 Time : 0.0 sec. user=vaughan [2012-08-11 13:25:32] 699*2^1226213-1 is not prime. Res64: 2A73CFEE076208F4 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:38:22] 641*2^1226214-1 is not prime. Res64: C87012E3ED2EC7E5 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:41:01] 725*2^1226214-1 is not prime. Res64: AAC846527497FCAA Time : 0.0 sec. user=mdettweiler [2012-08-11 13:41:03] 741*2^1226214-1 is not prime. Res64: 0A63BAAB952F0325 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:41:05] 873*2^1226214-1 is not prime. Res64: 42BB6C00F825256E Time : 0.0 sec. user=mdettweiler [2012-08-11 13:41:05] 885*2^1226214-1 is not prime. Res64: 7168C610F46E5F14 Time : 0.0 sec. user=mdettweiler [2012-08-11 13:49:46] 657*2^1226214-1 is not prime. Res64: 8739B3430BC04E87 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:02:09] 685*2^1226215-1 is not prime. Res64: E14F3CB4BF835FE2 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:02:10] 873*2^1226215-1 is not prime. Res64: C87BAFDCFF719D3B Time : 0.0 sec. user=mdettweiler [2012-08-11 14:02:18] 915*2^1226215-1 is not prime. Res64: 0697768BC535B38D Time : 0.0 sec. user=mdettweiler [2012-08-11 14:02:19] 969*2^1226215-1 is not prime. Res64: FBA478FC62A87E89 Time : 0.0 sec. user=vaughan [2012-08-11 14:02:54] 947*2^1226214-1 is not prime. Res64: D161139D415CB38B Time : 0.0 sec. user=mdettweiler [2012-08-11 14:11:19] 975*2^1226214-1 is not prime. Res64: B6CC19017F5B3977 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:23:13] 759*2^1226216-1 is not prime. Res64: 71972E2FAA965D3D Time : 0.0 sec. user=mdettweiler [2012-08-11 14:23:45] 777*2^1226216-1 is not prime. Res64: F726D6CDD6475B33 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:23:46] 927*2^1226216-1 is not prime. Res64: 9B5C3BA84FD51EDC Time : 0.0 sec. user=mdettweiler [2012-08-11 14:23:47] 999*2^1226216-1 is not prime. Res64: 4ECCF1A57B8B96E7 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:23:47] 759*2^1226217-1 is not prime. Res64: 0EF6B0169936DFCE Time : 0.0 sec. user=gd_barnes [2012-08-11 14:35:14] 623*2^1226218-1 is not prime. Res64: D2BBB5C2DAD02523 Time : 0.0 sec. user=gd_barnes [2012-08-11 14:35:36] 651*2^1226218-1 is not prime. Res64: 11476236E425BDA0 Time : 0.0 sec. user=gd_barnes [2012-08-11 14:35:49] 915*2^1226217-1 is not prime. Res64: 00A5F55CF3DDB916 Time : 0.0 sec. user=vaughan [2012-08-11 14:40:19] 805*2^1226217-1 is not prime. Res64: 762EEB287DFB6488 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:44:14] 713*2^1226218-1 is not prime. Res64: B90843A4F7D7ABA2 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:45:05] 987*2^1226218-1 is not prime. Res64: EB52C3BB877CD454 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:45:05] 663*2^1226219-1 is not prime. Res64: 8A5B352FF8C7F1D0 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:45:06] 995*2^1226218-1 is not prime. Res64: 25F3532077FD9FA0 Time : 0.0 sec. user=mdettweiler [2012-08-11 14:45:06] 789*2^1226219-1 is not prime. Res64: F91E78978FD644BE Time : 0.0 sec. user=gd_barnes [2012-08-11 14:48:19] 855*2^1226218-1 is not prime. Res64: 09EE72BE3C00957A Time : 0.0 sec. user=mdettweiler [2012-08-11 14:57:58] 857*2^1226218-1 is not prime. Res64: DB10C3BD9FFA4689 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:06:24] 753*2^1226220-1 is not prime. Res64: 7EB7E5921992EC1A Time : 0.0 sec. user=mdettweiler [2012-08-11 15:06:25] 899*2^1226220-1 is not prime. Res64: 462070B4E9BC9BE7 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:06:37] 905*2^1226220-1 is not prime. Res64: CAC769E66480C653 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:06:41] 965*2^1226220-1 is not prime. Res64: 38A37125B05FA4F0 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:17:12] 627*2^1226220-1 is not prime. Res64: 9A646DDF6EF83454 Time : 0.0 sec. user=vaughan [2012-08-11 15:17:41] 985*2^1226219-1 is not prime. Res64: F11FC8927C28A477 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:27:52] 717*2^1226221-1 is not prime. Res64: AF142BD8F5163E64 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:27:53] 741*2^1226221-1 is not prime. Res64: 48DBA0C4ED025224 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:28:09] 825*2^1226221-1 is not prime. Res64: 1DB95D18A5AC65A5 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:28:10] 979*2^1226221-1 is not prime. Res64: E5880DDA477C08CE Time : 0.0 sec. user=mdettweiler [2012-08-11 15:31:28] 983*2^1226220-1 is not prime. Res64: 0AF25648C4D0DEAD Time : 0.0 sec. user=gd_barnes [2012-08-11 15:37:22] 623*2^1226222-1 is not prime. Res64: 5CD41C6EAC1F4F76 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:49:10] 785*2^1226222-1 is not prime. Res64: AB7D6125BB5D062D Time : 0.0 sec. user=mdettweiler [2012-08-11 15:49:11] 825*2^1226222-1 is not prime. Res64: 206A1781D6546AF5 Time : 0.0 sec. user=mdettweiler [2012-08-11 15:49:33] 945*2^1226222-1 is not prime. Res64: E6BA188354CFF8EA Time : 0.0 sec. user=mdettweiler [2012-08-11 15:49:34] 609*2^1226223-1 is not prime. Res64: BE3AA279E0023AFC Time : 0.0 sec. user=mdettweiler [2012-08-11 15:51:03] 671*2^1226222-1 is not prime. Res64: 461E9CDDC3FD5BD2 Time : 0.0 sec. user=vaughan [2012-08-11 15:55:05] 693*2^1226222-1 is not prime. Res64: D1DB0FEC53693E40 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:05:23] 691*2^1226223-1 is not prime. Res64: 2DE2FD7D508B81D2 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:09:55] 709*2^1226223-1 is not prime. Res64: 39D80879BFE943E4 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:09:56] 879*2^1226223-1 is not prime. Res64: 8662E28C5FBF046B Time : 0.0 sec. user=mdettweiler [2012-08-11 16:10:16] 963*2^1226223-1 is not prime. Res64: BD920C5DCD7A9CD8 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:10:18] 609*2^1226224-1 is not prime. Res64: F81A384C49A59435 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:24:18] 675*2^1226224-1 is not prime. Res64: 2D15CF9978B7F6A6 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:30:41] 917*2^1226224-1 is not prime. Res64: F556FD649FD3863D Time : 0.0 sec. user=mdettweiler [2012-08-11 16:30:42] 837*2^1226225-1 is not prime. Res64: 693D27D31A5FEC94 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:31:08] 867*2^1226225-1 is not prime. Res64: FEF0E782A0BCE1ED Time : 0.0 sec. user=mdettweiler [2012-08-11 16:31:09] 925*2^1226225-1 is not prime. Res64: 0DA23231AA9E7C11 Time : 0.0 sec. user=vaughan [2012-08-11 16:32:51] 755*2^1226224-1 is not prime. Res64: 63705A25DB2F118C Time : 0.0 sec. user=mdettweiler [2012-08-11 16:43:46] 819*2^1226224-1 is not prime. Res64: 352FEF6B33CF87EA Time : 0.0 sec. user=mdettweiler [2012-08-11 16:51:25] 993*2^1226226-1 is not prime. Res64: C961F711BAECDE08 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:51:26] 649*2^1226227-1 is not prime. Res64: D46C9B02A09D1D9E Time : 0.0 sec. user=mdettweiler [2012-08-11 16:51:55] 651*2^1226227-1 is not prime. Res64: DF335F80274AF649 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:51:56] 759*2^1226227-1 is not prime. Res64: 7CB50DE8037E02C2 Time : 0.0 sec. user=mdettweiler [2012-08-11 16:56:45] 875*2^1226226-1 is not prime. Res64: 167EE6C18C3289E5 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:12:11] 945*2^1226227-1 is not prime. Res64: 65FBA8E196322CF6 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:12:14] 999*2^1226227-1 is not prime. Res64: F91DC7604D0B8987 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:12:53] 615*2^1226228-1 is not prime. Res64: B53F786CF3C595E0 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:12:55] 635*2^1226228-1 is not prime. Res64: CA2271C94B71AC3A Time : 0.0 sec. user=vaughan [2012-08-11 17:13:41] 861*2^1226227-1 is not prime. Res64: 502A4CEF2F0C8114 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:19:06] 885*2^1226227-1 is not prime. Res64: 5E727A83897427B2 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:29:29] 753*2^1226228-1 is not prime. Res64: 6710EE88C0DBE8D8 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:33:08] 995*2^1226228-1 is not prime. Res64: 3EB6A38724E20928 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:33:09] 999*2^1226228-1 is not prime. Res64: 36CC880D15D920FF Time : 0.0 sec. user=mdettweiler [2012-08-11 17:33:52] 625*2^1226229-1 is not prime. Res64: C669C64E27521CA9 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:33:53] 721*2^1226229-1 is not prime. Res64: 2C59F3237BC7FF9A Time : 0.0 sec. user=gd_barnes [2012-08-11 17:36:00] 869*2^1226228-1 is not prime. Res64: 00F6CC201D57CF70 Time : 0.0 sec. user=gd_barnes [2012-08-11 17:38:42] 825*2^1226228-1 is not prime. Res64: DA143721B334139C Time : 0.0 sec. user=gd_barnes [2012-08-11 17:41:42] 987*2^1226228-1 is not prime. Res64: CD53D0632E471BEB Time : 0.0 sec. user=vaughan [2012-08-11 17:51:06] 759*2^1226229-1 is not prime. Res64: 17EBD63A6A6C541E Time : 0.0 sec. user=mdettweiler [2012-08-11 17:53:20] 987*2^1226229-1 is not prime. Res64: FAB5B38D90BF0327 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:54:43] 611*2^1226230-1 is not prime. Res64: 3335B9BC4F823500 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:54:44] 623*2^1226230-1 is not prime. Res64: E1B2E73BB77CFDEB Time : 0.0 sec. user=mdettweiler [2012-08-11 17:55:28] 635*2^1226230-1 is not prime. Res64: 50E708D24A294AF1 Time : 0.0 sec. user=mdettweiler [2012-08-11 17:55:29] 665*2^1226230-1 is not prime. Res64: 3EE3006EE71738C0 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:03:52] 999*2^1226229-1 is not prime. Res64: 3A0B53FA524BE80B Time : 0.0 sec. user=mdettweiler [2012-08-11 18:16:27] 933*2^1226230-1 is not prime. Res64: 23743079C1214E7D Time : 0.0 sec. user=mdettweiler [2012-08-11 18:16:28] 965*2^1226230-1 is not prime. Res64: 2573B5515C44AF93 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:17:08] 975*2^1226230-1 is not prime. Res64: AC9240B4C88094DC Time : 0.0 sec. user=mdettweiler [2012-08-11 18:17:09] 987*2^1226230-1 is not prime. Res64: 7AA431229D023C8B Time : 0.0 sec. user=mdettweiler [2012-08-11 18:28:06] 765*2^1226230-1 is not prime. Res64: D965109B1E304FDC Time : 0.0 sec. user=vaughan [2012-08-11 18:28:27] 723*2^1226230-1 is not prime. Res64: C02C1DEEAB6EB0C2 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:37:30] 621*2^1226231-1 is not prime. Res64: EFF67967D78E0A97 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:37:31] 643*2^1226231-1 is not prime. Res64: 40A410E4141BEEDF Time : 0.0 sec. user=mdettweiler [2012-08-11 18:38:00] 619*2^1226231-1 is not prime. Res64: 03F545047DE910CA Time : 0.0 sec. user=mdettweiler [2012-08-11 18:38:08] 661*2^1226231-1 is not prime. Res64: DFA2F6A04EB841AD Time : 0.0 sec. user=mdettweiler [2012-08-11 18:38:09] 675*2^1226231-1 is not prime. Res64: 54A05134C5F0EC13 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:58:31] 859*2^1226231-1 is not prime. Res64: 4729DFB6F66D47F9 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:58:31] 949*2^1226231-1 is not prime. Res64: D0C5BD6863623B3B Time : 0.0 sec. user=mdettweiler [2012-08-11 18:59:08] 693*2^1226232-1 is not prime. Res64: 6AD7AF6D095B5AE9 Time : 0.0 sec. user=mdettweiler [2012-08-11 18:59:09] 713*2^1226232-1 is not prime. Res64: 8B6704BAF12EB13E Time : 0.0 sec. user=mdettweiler [2012-08-11 19:01:40] 685*2^1226231-1 is not prime. Res64: C473BE1642C3CBDD Time : 0.0 sec. user=vaughan [2012-08-11 19:05:49] 789*2^1226231-1 is not prime. Res64: 4A19D840BCE4A9C9 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:11:24] 615*2^1226232-1 is not prime. Res64: DE8EC3FC75EA107A Time : 0.0 sec. user=mdettweiler [2012-08-11 19:20:10] 753*2^1226232-1 is not prime. Res64: 8D532620290B98A5 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:20:11] 767*2^1226232-1 is not prime. Res64: 7FF1989759509E6D Time : 0.0 sec. user=mdettweiler [2012-08-11 19:20:55] 777*2^1226232-1 is not prime. Res64: 1B373ED69BEC5487 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:20:55] 879*2^1226232-1 is not prime. Res64: 29C2CC60F43F0B4A Time : 0.0 sec. user=mdettweiler [2012-08-11 19:34:48] 935*2^1226232-1 is not prime. Res64: D92CB7AED3C89012 Time : 0.0 sec. user=gd_barnes [2012-08-11 19:36:14] 651*2^1226233-1 is not prime. Res64: ED0F206F79019DD6 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:41:02] 827*2^1226234-1 is not prime. Res64: 966D14755DF522D3 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:41:04] 857*2^1226234-1 is not prime. Res64: 25EF850B1AD1885D Time : 0.0 sec. user=mdettweiler [2012-08-11 19:41:40] 875*2^1226234-1 is not prime. Res64: C42E20794AF51620 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:41:41] 633*2^1226235-1 is not prime. Res64: A7E2EE17F209FE4B Time : 0.0 sec. user=vaughan [2012-08-11 19:43:15] 609*2^1226233-1 is not prime. Res64: EEF09C5F8933EA86 Time : 0.0 sec. user=mdettweiler [2012-08-11 19:45:09] 861*2^1226233-1 is not prime. Res64: FF8127C10534B468 Time : 0.0 sec. user=mdettweiler [2012-08-11 20:01:47] 735*2^1226235-1 is not prime. Res64: 9714A425F3ABADF6 Time : 0.0 sec. user=mdettweiler [2012-08-11 20:01:49] 871*2^1226235-1 is not prime. Res64: 5973F378E3CBD90C Time : 0.0 sec. user=mdettweiler [2012-08-11 20:02:26] 903*2^1226235-1 is not prime. Res64: 0C8470AE57BE2FDB Time : 0.0 sec. user=mdettweiler [2012-08-11 20:02:27] 909*2^1226235-1 is not prime. Res64: 04F76584CF451BAD Time : 0.0 sec. user=mdettweiler [2012-08-11 20:10:00] 675*2^1226235-1 is not prime. Res64: BB7C36D17D2140EE Time : 0.0 sec. user=vaughan [2012-08-11 20:20:39] 961*2^1226235-1 is not prime. Res64: 8EFCF01D2BACE091 Time : 0.0 sec. user=mdettweiler [2012-08-11 20:22:43] 693*2^1226236-1 is not prime. Res64: AF3D22C4ED027C83 Time : 0.0 sec. user=mdettweiler [2012-08-11 20:22:44] 813*2^1226236-1 is not prime. Res64: B2D498BE5846691A Time : 0.0 sec. user=mdettweiler [2012-08-11 20:22:56] 675*2^1226236-1 is not prime. Res64: B3DAED527626048E Time : 0.0 sec. user=mdettweiler [2012-08-11 20:23:12] 825*2^1226236-1 is not prime. Res64: 6E7C38C42A9F504B Time : 0.0 sec. user=mdettweiler [2012-08-11 20:23:13] 855*2^1226236-1 is not prime. Res64: D6F7213CB484065C Time : 0.0 sec. user=mdettweiler [2012-08-11 20:44:01] 621*2^1226237-1 is not prime. Res64: 2867A354D0E53A2E Time : 0.0 sec. user=mdettweiler [2012-08-11 20:44:02] 627*2^1226237-1 is not prime. Res64: 016214260C7DA968 Time : 0.0 sec. user=mdettweiler [2012-08-11 20:44:43] 903*2^1226236-1 is not prime. Res64: 8E64D0533FCD2FB7 Time : 0.0 sec. user=mdettweiler [2012-08-11 20:54:08] 669*2^1226237-1 is not prime. Res64: B2F7609D500BB96C Time : 0.0 sec. user=mdettweiler [2012-08-11 20:54:09] 699*2^1226237-1 is not prime. Res64: 9FCE86E3A2D8B22E Time : 0.0 sec. user=mdettweiler [2012-08-11 20:56:46] 965*2^1226236-1 is not prime. Res64: 3E84A2D648A643A5 Time : 0.0 sec. user=vaughan [2012-08-11 20:58:22] 957*2^1226236-1 is not prime. Res64: 47D38735FE7B0CD7 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:04:51] 759*2^1226237-1 is not prime. Res64: 44506919FFECFD35 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:04:54] 825*2^1226237-1 is not prime. Res64: 3DB65582B0826E01 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:15:00] 861*2^1226237-1 is not prime. Res64: 31F0B23A5C7FB1A3 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:15:02] 931*2^1226237-1 is not prime. Res64: 3D11CD401097277C Time : 0.0 sec. user=mdettweiler [2012-08-11 21:17:36] 829*2^1226237-1 is not prime. Res64: A65148DCF49FD52F Time : 0.0 sec. user=mdettweiler [2012-08-11 21:26:10] 707*2^1226238-1 is not prime. Res64: 5AE6F5C829349BB7 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:26:11] 731*2^1226238-1 is not prime. Res64: E278EFA6053592F3 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:30:42] 663*2^1226238-1 is not prime. Res64: 3B5683EB017D4AFF Time : 0.0 sec. user=vaughan [2012-08-11 21:35:38] 681*2^1226238-1 is not prime. Res64: 2D1E19EEC776935C Time : 0.0 sec. user=mdettweiler [2012-08-11 21:36:12] 795*2^1226238-1 is not prime. Res64: E2501DDDF5FE591B Time : 0.0 sec. user=mdettweiler [2012-08-11 21:36:12] 951*2^1226238-1 is not prime. Res64: 74031CC3012BBB0F Time : 0.0 sec. user=mdettweiler [2012-08-11 21:47:20] 645*2^1226239-1 is not prime. Res64: 6BCE848E7F1AC3B4 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:47:20] 891*2^1226239-1 is not prime. Res64: 723962FBAF50E9BC Time : 0.0 sec. user=mdettweiler [2012-08-11 21:51:35] 621*2^1226239-1 is not prime. Res64: 7D9406918F2A78F6 Time : 0.0 sec. user=mdettweiler [2012-08-11 21:57:22] 725*2^1226240-1 is not prime. Res64: 269E0ACFCCB670DD Time : 0.0 sec. user=mdettweiler [2012-08-11 21:57:22] 803*2^1226240-1 is not prime. Res64: 585479FFE4CD660C Time : 0.0 sec. user=mdettweiler [2012-08-11 22:06:45] 973*2^1226239-1 is not prime. Res64: 0B772667E88E9458 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:08:34] 833*2^1226240-1 is not prime. Res64: 191877E8CC356543 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:08:36] 855*2^1226240-1 is not prime. Res64: 4D3F138625979536 Time : 0.0 sec. user=vaughan [2012-08-11 22:12:55] 677*2^1226240-1 is not prime. Res64: 319CED709E8968AA Time : 0.0 sec. user=mdettweiler [2012-08-11 22:18:27] 875*2^1226240-1 is not prime. Res64: 113D4A59F1D25EA3 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:18:28] 935*2^1226240-1 is not prime. Res64: FC871C953A733DB4 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:26:08] 857*2^1226240-1 is not prime. Res64: 5B818C0A514590E6 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:29:29] 609*2^1226241-1 is not prime. Res64: 983DADE5EF17D3FB Time : 0.0 sec. user=mdettweiler [2012-08-11 22:29:30] 657*2^1226241-1 is not prime. Res64: E42B89F0E6DED4F1 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:39:10] 829*2^1226241-1 is not prime. Res64: 1D9807FA6AB3C2D6 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:39:11] 889*2^1226241-1 is not prime. Res64: BD20FEC39CC8B92F Time : 0.0 sec. user=mdettweiler [2012-08-11 22:40:23] 995*2^1226240-1 is not prime. Res64: ECFB8C4D0C7C7A23 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:50:11] 991*2^1226241-1 is not prime. Res64: 2D52F1D884807181 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:50:12] 997*2^1226241-1 is not prime. Res64: FFFE6EAD96980A63 Time : 0.0 sec. user=vaughan [2012-08-11 22:50:18] 681*2^1226241-1 is not prime. Res64: CE58CF96648C8725 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:59:53] 611*2^1226242-1 is not prime. Res64: 53CD4809FBD6C6F0 Time : 0.0 sec. user=mdettweiler [2012-08-11 22:59:54] 755*2^1226242-1 is not prime. Res64: C4071935A0102920 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:01:27] 895*2^1226241-1 is not prime. Res64: 1F9ABC3B449BCE50 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:10:52] 843*2^1226242-1 is not prime. Res64: DC9CB212BED280F4 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:10:55] 669*2^1226243-1 is not prime. Res64: 21F378AF647AF32C Time : 0.0 sec. user=mdettweiler [2012-08-11 23:15:12] 815*2^1226242-1 is not prime. Res64: 99E9A01955714B5C Time : 0.0 sec. user=mdettweiler [2012-08-11 23:20:34] 795*2^1226244-1 is not prime. Res64: 775CDEA4F212D4CE Time : 0.0 sec. user=mdettweiler [2012-08-11 23:20:35] 609*2^1226245-1 is not prime. Res64: 80F60A02E0B79DB7 Time : 0.0 sec. user=vaughan [2012-08-11 23:27:32] 715*2^1226243-1 is not prime. Res64: 86219BB340933C40 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:31:37] 915*2^1226245-1 is not prime. Res64: 3976DACCC54FD706 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:31:38] 627*2^1226246-1 is not prime. Res64: A7266CEA54363583 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:35:55] 687*2^1226245-1 is not prime. Res64: 2FF78A8F5B9946C6 Time : 0.0 sec. user=gd_barnes [2012-08-11 23:37:38] 801*2^1226245-1 is not prime. Res64: 4D49CD9BE7CE8F6E Time : 0.0 sec. user=mdettweiler [2012-08-11 23:41:13] 683*2^1226246-1 is not prime. Res64: 1BB42E99384C4124 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:41:14] 743*2^1226246-1 is not prime. Res64: EEEB512556FF9820 Time : 0.0 sec. user=mdettweiler [2012-08-11 23:50:32] 663*2^1226246-1 is not prime. Res64: D0D3626E55D3862E Time : 0.0 sec. user=mdettweiler [2012-08-11 23:52:22] 921*2^1226246-1 is not prime. Res64: 8979E872DDB8F54E Time : 0.0 sec. user=mdettweiler [2012-08-11 23:52:23] 935*2^1226246-1 is not prime. Res64: 193387CFC04673BE Time : 0.0 sec.