user=Beyond [2013-08-09 00:02:06] 925*2^1250177-1 is not prime. Res64: 5728B8807FA07117 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:02:10] 633*2^1250178-1 is not prime. Res64: C9A509FACD4C2362 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:02:12] 705*2^1250178-1 is not prime. Res64: A50C9587BCE5B8F7 Time : 0.0 sec. user=Beyond [2013-08-09 00:04:38] 621*2^1250178-1 is not prime. Res64: E3DB5B92C3EDD800 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:13:03] 735*2^1250178-1 is not prime. Res64: A8DFA31F5196EEFC Time : 0.0 sec. user=mdettweiler [2013-08-09 00:13:05] 797*2^1250178-1 is not prime. Res64: 59625861C8BBFC99 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:13:36] 843*2^1250178-1 is not prime. Res64: A1B5BCDFB0537FCE Time : 0.0 sec. user=mdettweiler [2013-08-09 00:13:37] 861*2^1250178-1 is not prime. Res64: 0FF6803F62196AF2 Time : 0.0 sec. user=Beyond [2013-08-09 00:17:48] 621*2^1250179-1 is not prime. Res64: 7B1CAA0483205788 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:20:17] 861*2^1250179-1 is not prime. Res64: D4BDE0CCA74E28B8 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:20:18] 919*2^1250179-1 is not prime. Res64: 2B426AD4AE6B89D3 Time : 0.0 sec. user=Beyond [2013-08-09 00:21:55] 1001*2^1250178-1 is not prime. Res64: BCD46AF1EA0AC975 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:24:02] 969*2^1250179-1 is not prime. Res64: AFB9436576065932 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:24:02] 985*2^1250179-1 is not prime. Res64: 042AE372C01CEFA9 Time : 0.0 sec. user=Beyond [2013-08-09 00:29:00] 939*2^1250179-1 is not prime. Res64: FBB3669E23F598EA Time : 0.0 sec. user=Beyond [2013-08-09 00:31:42] 999*2^1250179-1 is not prime. Res64: 85FB34520A5056F3 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:33:04] 669*2^1250180-1 is not prime. Res64: C6747F9A9769892A Time : 0.0 sec. user=mdettweiler [2013-08-09 00:33:05] 753*2^1250180-1 is not prime. Res64: 223A78F53CD1E106 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:33:28] 855*2^1250180-1 is not prime. Res64: F05F240DF8C34C2E Time : 0.0 sec. user=mdettweiler [2013-08-09 00:33:28] 601*2^1250181-1 is not prime. Res64: 54DEC5A4039373D7 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:40:12] 685*2^1250181-1 is not prime. Res64: AC1DBC2049947DE0 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:40:12] 727*2^1250181-1 is not prime. Res64: D48B258A61AA2676 Time : 0.0 sec. user=Beyond [2013-08-09 00:40:32] 609*2^1250181-1 is not prime. Res64: C48E905FA957699E Time : 0.0 sec. user=mdettweiler [2013-08-09 00:43:53] 837*2^1250181-1 is not prime. Res64: 9DD13E6955462709 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:43:53] 885*2^1250181-1 is not prime. Res64: 147CC2652479E4BF Time : 0.0 sec. user=Beyond [2013-08-09 00:44:42] 795*2^1250181-1 is not prime. Res64: D904AC5F55BD1245 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:53:22] 735*2^1250183-1 is not prime. Res64: 163B8D01F12B1C64 Time : 0.0 sec. user=mdettweiler [2013-08-09 00:53:22] 879*2^1250183-1 is not prime. Res64: 90E6D7668E308ABE Time : 0.0 sec. user=mdettweiler [2013-08-09 00:53:51] 815*2^1250182-1 is not prime. Res64: 9D92858BB3EFF56F Time : 0.0 sec. user=mdettweiler [2013-08-09 00:53:51] 917*2^1250182-1 is not prime. Res64: E6BF69616AD100D3 Time : 0.0 sec. user=Beyond [2013-08-09 00:54:28] 677*2^1250182-1 is not prime. Res64: E00D4AA3C471BC06 Time : 0.0 sec. user=Beyond [2013-08-09 00:56:01] 975*2^1250181-1 is not prime. Res64: 2472908679FA031F Time : 0.0 sec. user=mdettweiler [2013-08-09 01:01:06] 943*2^1250183-1 is not prime. Res64: 10EA02C083A54726 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:01:07] 623*2^1250184-1 is not prime. Res64: 056ABE6EF03BAFE1 Time : 0.0 sec. user=Beyond [2013-08-09 01:03:24] 747*2^1250184-1 is not prime. Res64: 749BE3C7AAE587A7 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:03:50] 789*2^1250184-1 is not prime. Res64: 3E5FBDFC75128F10 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:03:51] 875*2^1250184-1 is not prime. Res64: 9798E0878F5E7303 Time : 0.0 sec. user=Beyond [2013-08-09 01:07:25] 899*2^1250184-1 is not prime. Res64: 8B792A8F41940D32 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:13:14] 649*2^1250185-1 is not prime. Res64: 91AEDDD5B71B8B3D Time : 0.0 sec. user=mdettweiler [2013-08-09 01:13:14] 675*2^1250185-1 is not prime. Res64: 92847163AACAA688 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:13:42] 855*2^1250185-1 is not prime. Res64: 7AE456698A7F8001 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:13:42] 861*2^1250185-1 is not prime. Res64: 008141855F43E3B4 Time : 0.0 sec. user=Beyond [2013-08-09 01:17:19] 867*2^1250185-1 is not prime. Res64: 48002CF7CC6B05C6 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:21:06] 627*2^1250186-1 is not prime. Res64: D87F4B305E90A562 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:21:06] 671*2^1250186-1 is not prime. Res64: D4202E2404021E88 Time : 0.0 sec. user=Beyond [2013-08-09 01:22:59] 975*2^1250185-1 is not prime. Res64: 8F5063882D676B29 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:23:43] 851*2^1250186-1 is not prime. Res64: 83F0AA9963640F06 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:23:43] 875*2^1250186-1 is not prime. Res64: B3BFAFA04D4D0BC5 Time : 0.0 sec. user=Beyond [2013-08-09 01:26:20] 707*2^1250186-1 is not prime. Res64: 66B82B3284685002 Time : 0.0 sec. user=Beyond [2013-08-09 01:30:17] 893*2^1250186-1 is not prime. Res64: 0D7113F0B17C1B64 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:33:14] 601*2^1250187-1 is not prime. Res64: F1A0026B49ED02B2 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:33:14] 805*2^1250187-1 is not prime. Res64: 43DC6B0C7D559C75 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:33:37] 829*2^1250187-1 is not prime. Res64: 26628132D4AC502F Time : 0.0 sec. user=mdettweiler [2013-08-09 01:33:37] 891*2^1250187-1 is not prime. Res64: B9C99DE2FC40808F Time : 0.0 sec. user=Beyond [2013-08-09 01:40:11] 909*2^1250187-1 is not prime. Res64: E7C612C05E88E5F0 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:41:55] 951*2^1250187-1 is not prime. Res64: 4923A1219F4D5198 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:41:56] 605*2^1250188-1 is not prime. Res64: 72ECC70EFBACA0A4 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:43:36] 665*2^1250188-1 is not prime. Res64: A8F96615AF26608C Time : 0.0 sec. user=mdettweiler [2013-08-09 01:43:36] 875*2^1250188-1 is not prime. Res64: F2A06A1A449B1613 Time : 0.0 sec. user=Beyond [2013-08-09 01:45:48] 623*2^1250188-1 is not prime. Res64: C477A4B31B12F8C3 Time : 0.0 sec. user=Beyond [2013-08-09 01:49:11] 909*2^1250188-1 is not prime. Res64: 2FFEB036E0AD94A4 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:55:02] 969*2^1250188-1 is not prime. Res64: CAED22ECFDAFC242 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:55:02] 975*2^1250188-1 is not prime. Res64: 9D77B4F86E451BC3 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:55:25] 987*2^1250188-1 is not prime. Res64: ECE2DFD5C2683390 Time : 0.0 sec. user=mdettweiler [2013-08-09 01:55:25] 989*2^1250188-1 is not prime. Res64: 3C130E5CCB97632C Time : 0.0 sec. user=Beyond [2013-08-09 01:57:21] 929*2^1250188-1 is not prime. Res64: 846930D9E9D03405 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:01:49] 621*2^1250189-1 is not prime. Res64: 84B26708BFA6C6C0 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:01:50] 631*2^1250189-1 is not prime. Res64: BD72B8501C1388FF Time : 0.0 sec. user=Beyond [2013-08-09 02:03:00] 601*2^1250189-1 is not prime. Res64: 2AE46A0ABC78F0A1 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:03:30] 675*2^1250189-1 is not prime. Res64: 7529DBF055199C35 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:03:30] 795*2^1250189-1 is not prime. Res64: B65317A107970C99 Time : 0.0 sec. user=Beyond [2013-08-09 02:08:43] 799*2^1250189-1 is not prime. Res64: 0724A0BB4CF4E76F Time : 0.0 sec. user=Beyond [2013-08-09 02:12:03] 825*2^1250189-1 is not prime. Res64: EC23400A7F36CF78 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:16:00] 897*2^1250189-1 is not prime. Res64: CF6826F1E4DE045B Time : 0.0 sec. user=mdettweiler [2013-08-09 02:16:00] 931*2^1250189-1 is not prime. Res64: 1F0C0D13345196D9 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:16:46] 991*2^1250189-1 is not prime. Res64: 5E601B7FA0777C19 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:16:46] 657*2^1250190-1 is not prime. Res64: 9DC7C1C749E77B3B Time : 0.0 sec. user=Beyond [2013-08-09 02:20:20] 693*2^1250190-1 is not prime. Res64: EB7E11017E6E6D6B Time : 0.0 sec. user=mdettweiler [2013-08-09 02:23:34] 1001*2^1250190-1 is not prime. Res64: 1FE01389D7AFE2F9 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:23:34] 609*2^1250191-1 is not prime. Res64: 4643CC6A7D944D60 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:23:46] 645*2^1250191-1 is not prime. Res64: 74F3E6F22CACEFEF Time : 0.0 sec. user=mdettweiler [2013-08-09 02:23:46] 811*2^1250191-1 is not prime. Res64: DC38A43C9E974C00 Time : 0.0 sec. user=Beyond [2013-08-09 02:25:57] 619*2^1250191-1 is not prime. Res64: B878A8EBBF52A13F Time : 0.0 sec. user=Beyond [2013-08-09 02:31:42] 829*2^1250191-1 is not prime. Res64: D5CC9CAD739BE868 Time : 0.0 sec. user=Beyond [2013-08-09 02:35:01] 843*2^1250191-1 is not prime. Res64: 000CF99BE2F328C1 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:35:57] 873*2^1250191-1 is not prime. Res64: 447C11E6B76A6290 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:35:58] 885*2^1250191-1 is not prime. Res64: 43D9863CC610E279 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:36:47] 617*2^1250192-1 is not prime. Res64: 3F7842B0E896F72F Time : 0.0 sec. user=mdettweiler [2013-08-09 02:36:47] 767*2^1250192-1 is not prime. Res64: 0BC8413CEB1DF552 Time : 0.0 sec. user=Beyond [2013-08-09 02:43:14] 819*2^1250192-1 is not prime. Res64: 2798EC1E6130AB7E Time : 0.0 sec. user=mdettweiler [2013-08-09 02:43:32] 827*2^1250192-1 is not prime. Res64: 873E93F31ABB04CE Time : 0.0 sec. user=mdettweiler [2013-08-09 02:43:33] 843*2^1250192-1 is not prime. Res64: 0FFA61F1C95EF99B Time : 0.0 sec. user=mdettweiler [2013-08-09 02:43:42] 607*2^1250193-1 is not prime. Res64: 96F73B692D720BF3 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:43:43] 811*2^1250193-1 is not prime. Res64: 47BF5461E02E9247 Time : 0.0 sec. user=Beyond [2013-08-09 02:48:49] 849*2^1250193-1 is not prime. Res64: C6C15EFF9BAF8329 Time : 0.0 sec. user=Beyond [2013-08-09 02:54:31] 901*2^1250193-1 is not prime. Res64: 91FAF93868CA07F0 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:56:45] 621*2^1250194-1 is not prime. Res64: 117D42FAE99AF469 Time : 0.0 sec. user=mdettweiler [2013-08-09 02:56:45] 657*2^1250194-1 is not prime. Res64: E8293C60A62F642F Time : 0.0 sec. user=mdettweiler [2013-08-09 02:57:47] 937*2^1250193-1 is not prime. Res64: F44F75533E9E54AA Time : 0.0 sec. user=mdettweiler [2013-08-09 02:57:47] 955*2^1250193-1 is not prime. Res64: C0A34D2B7B6EB71B Time : 0.0 sec. user=Beyond [2013-08-09 03:02:04] 915*2^1250193-1 is not prime. Res64: 4327EB3535718E2D Time : 0.0 sec. user=mdettweiler [2013-08-09 03:04:31] 827*2^1250194-1 is not prime. Res64: 2531DC941B62F0D4 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:04:32] 915*2^1250194-1 is not prime. Res64: 00F1C88DF58C9FF7 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:05:49] 945*2^1250194-1 is not prime. Res64: ACDC38B945EDE996 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:05:49] 951*2^1250194-1 is not prime. Res64: B7CD3EAC9ED53C67 Time : 0.0 sec. user=Beyond [2013-08-09 03:06:12] 705*2^1250194-1 is not prime. Res64: 73079029469161C4 Time : 0.0 sec. user=Beyond [2013-08-09 03:15:49] 993*2^1250194-1 is not prime. Res64: EBE39CC5E8B2929E Time : 0.0 sec. user=mdettweiler [2013-08-09 03:16:42] 735*2^1250195-1 is not prime. Res64: B06512184F33C327 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:16:42] 775*2^1250195-1 is not prime. Res64: 99986B0B83A9A2D1 Time : 0.0 sec. user=Beyond [2013-08-09 03:17:17] 715*2^1250195-1 is not prime. Res64: A55D8A403FA5922F Time : 0.0 sec. user=mdettweiler [2013-08-09 03:17:41] 799*2^1250195-1 is not prime. Res64: 1538485204B081D3 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:17:41] 805*2^1250195-1 is not prime. Res64: E27366D5AD47BDC3 Time : 0.0 sec. user=Beyond [2013-08-09 03:25:00] 825*2^1250195-1 is not prime. Res64: 5A2EB1A8AA8F5435 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:25:23] 861*2^1250195-1 is not prime. Res64: 899DB34C46997219 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:25:23] 913*2^1250195-1 is not prime. Res64: 152794C696C1C934 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:27:41] 949*2^1250195-1 is not prime. Res64: 0FFFEEA3AB06CD86 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:27:42] 981*2^1250195-1 is not prime. Res64: 800632CDBD1056A9 Time : 0.0 sec. user=Beyond [2013-08-09 03:29:01] 633*2^1250196-1 is not prime. Res64: A61FCFD1C77E11D6 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:36:41] 625*2^1250197-1 is not prime. Res64: B004330E11383E7A Time : 0.0 sec. user=mdettweiler [2013-08-09 03:36:41] 771*2^1250197-1 is not prime. Res64: EC06E54095F7624A Time : 0.0 sec. user=mdettweiler [2013-08-09 03:37:39] 707*2^1250198-1 is not prime. Res64: 4E417293A7ADD833 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:37:39] 731*2^1250198-1 is not prime. Res64: 8492722FAC824B89 Time : 0.0 sec. user=Beyond [2013-08-09 03:38:33] 607*2^1250197-1 is not prime. Res64: 463C412E3133D4F4 Time : 0.0 sec. user=Beyond [2013-08-09 03:44:19] 957*2^1250197-1 is not prime. Res64: 50E7798EADC0029F Time : 0.0 sec. user=mdettweiler [2013-08-09 03:46:14] 971*2^1250198-1 is not prime. Res64: A989F2A3C052D841 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:46:14] 601*2^1250199-1 is not prime. Res64: 34B7E7AC156E1085 Time : 0.0 sec. user=Beyond [2013-08-09 03:47:43] 867*2^1250198-1 is not prime. Res64: 754E8AD7550C4B93 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:48:36] 663*2^1250199-1 is not prime. Res64: 51D866E5523A9555 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:48:37] 979*2^1250199-1 is not prime. Res64: 173B839EB970F488 Time : 0.0 sec. user=Beyond [2013-08-09 03:56:03] 999*2^1250199-1 is not prime. Res64: 9706D31B2F94D3C2 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:56:38] 665*2^1250200-1 is not prime. Res64: 26E9A8083B9BC28A Time : 0.0 sec. user=mdettweiler [2013-08-09 03:56:38] 695*2^1250200-1 is not prime. Res64: F8B65F62EBAEC749 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:57:37] 785*2^1250200-1 is not prime. Res64: AFF14ADD3F048DB6 Time : 0.0 sec. user=mdettweiler [2013-08-09 03:57:37] 887*2^1250200-1 is not prime. Res64: 35FD85AA5530B57F Time : 0.0 sec. user=Beyond [2013-08-09 04:01:22] 897*2^1250200-1 is not prime. Res64: 068C8CA3828B4D08 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:07:07] 997*2^1250201-1 is not prime. Res64: C6E56E53EC42871F Time : 0.0 sec. user=mdettweiler [2013-08-09 04:07:07] 647*2^1250202-1 is not prime. Res64: B00F10B7DEF802E1 Time : 0.0 sec. user=Beyond [2013-08-09 04:07:12] 715*2^1250201-1 is not prime. Res64: D8F9775546F4F725 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:08:22] 801*2^1250202-1 is not prime. Res64: C191483ECF8FCB5F Time : 0.0 sec. user=mdettweiler [2013-08-09 04:08:23] 875*2^1250202-1 is not prime. Res64: 4B8C575864949FD8 Time : 0.0 sec. user=Beyond [2013-08-09 04:10:44] 765*2^1250202-1 is not prime. Res64: 65D5437F5723E233 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:16:28] 633*2^1250203-1 is not prime. Res64: 31A930A33A811E1A Time : 0.0 sec. user=mdettweiler [2013-08-09 04:16:28] 663*2^1250203-1 is not prime. Res64: 4DC5F84B92CB403F Time : 0.0 sec. user=mdettweiler [2013-08-09 04:17:31] 819*2^1250203-1 is not prime. Res64: CC57B3C3978783EA Time : 0.0 sec. user=mdettweiler [2013-08-09 04:17:31] 873*2^1250203-1 is not prime. Res64: 0CE143468661C1A3 Time : 0.0 sec. user=Beyond [2013-08-09 04:19:05] 893*2^1250202-1 is not prime. Res64: F31F0A69CDA93948 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:27:10] 609*2^1250204-1 is not prime. Res64: 4B94DE914497512D Time : 0.0 sec. user=mdettweiler [2013-08-09 04:27:10] 677*2^1250204-1 is not prime. Res64: 7C70D5C476AB3704 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:28:19] 749*2^1250204-1 is not prime. Res64: A559446D9CCAF129 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:28:19] 759*2^1250204-1 is not prime. Res64: 4691D3E568CD1A85 Time : 0.0 sec. user=Beyond [2013-08-09 04:28:34] 945*2^1250203-1 is not prime. Res64: 67CB7D6189252A4E Time : 0.0 sec. user=Beyond [2013-08-09 04:29:58] 743*2^1250204-1 is not prime. Res64: 3E320264ACF1177C Time : 0.0 sec. user=Beyond [2013-08-09 04:33:35] 893*2^1250204-1 is not prime. Res64: 2A7CCE28788980B1 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:37:27] 983*2^1250204-1 is not prime. Res64: 5C7A8371BDF0DABF Time : 0.0 sec. user=mdettweiler [2013-08-09 04:37:27] 679*2^1250205-1 is not prime. Res64: 039793616097AEAE Time : 0.0 sec. user=mdettweiler [2013-08-09 04:37:30] 699*2^1250205-1 is not prime. Res64: 9E08CB9FA9B66ACA Time : 0.0 sec. user=mdettweiler [2013-08-09 04:37:30] 709*2^1250205-1 is not prime. Res64: 174C994DA2E995E9 Time : 0.0 sec. user=Beyond [2013-08-09 04:41:51] 861*2^1250205-1 is not prime. Res64: 3B92A130475C4B93 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:48:05] 871*2^1250205-1 is not prime. Res64: 414A6F30DBE69573 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:48:05] 951*2^1250205-1 is not prime. Res64: 76934AA23025A6B7 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:48:14] 603*2^1250206-1 is not prime. Res64: 5A62118BD12EBC27 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:48:14] 647*2^1250206-1 is not prime. Res64: 9DE25559DCDBB5D6 Time : 0.0 sec. user=Beyond [2013-08-09 04:51:17] 657*2^1250206-1 is not prime. Res64: D8BABF9A1FDB3347 Time : 0.0 sec. user=Beyond [2013-08-09 04:56:58] 917*2^1250206-1 is not prime. Res64: 64A6714E78F3975D Time : 0.0 sec. user=mdettweiler [2013-08-09 04:57:21] 649*2^1250207-1 is not prime. Res64: 02A563B6AF57C89F Time : 0.0 sec. user=mdettweiler [2013-08-09 04:57:22] 739*2^1250207-1 is not prime. Res64: CB936BE3211CD0E8 Time : 0.0 sec. user=mdettweiler [2013-08-09 04:58:24] 983*2^1250206-1 is not prime. Res64: A8E8DFEF6DF8334C Time : 0.0 sec. user=mdettweiler [2013-08-09 04:58:25] 615*2^1250207-1 is not prime. Res64: B7DADAABDEF1DB7C Time : 0.0 sec. user=Beyond [2013-08-09 05:00:38] 945*2^1250206-1 is not prime. Res64: 20E36DF2ED4B4936 Time : 0.0 sec. user=Beyond [2013-08-09 05:04:35] 843*2^1250207-1 is not prime. Res64: 7386CF20757A8F8E Time : 0.0 sec. user=mdettweiler [2013-08-09 05:08:08] 605*2^1250208-1 is not prime. Res64: 2B0FF1391E9F94B6 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:08:09] 633*2^1250208-1 is not prime. Res64: E908B853EDEE92DF Time : 0.0 sec. user=mdettweiler [2013-08-09 05:09:02] 901*2^1250207-1 is not prime. Res64: 3D9749183A0C7B59 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:09:03] 955*2^1250207-1 is not prime. Res64: B82571BA45852321 Time : 0.0 sec. user=Beyond [2013-08-09 05:14:03] 705*2^1250208-1 is not prime. Res64: FD89E070AD1907FA Time : 0.0 sec. user=mdettweiler [2013-08-09 05:17:17] 803*2^1250208-1 is not prime. Res64: 0594016270124CEA Time : 0.0 sec. user=mdettweiler [2013-08-09 05:17:17] 809*2^1250208-1 is not prime. Res64: 41CF06501E2D0659 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:19:21] 839*2^1250208-1 is not prime. Res64: 7C71900A5B725E66 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:19:21] 959*2^1250208-1 is not prime. Res64: DCF79E043372ED87 Time : 0.0 sec. user=Beyond [2013-08-09 05:19:47] 737*2^1250208-1 is not prime. Res64: 79C819822B3A774C Time : 0.0 sec. user=Beyond [2013-08-09 05:27:24] 609*2^1250209-1 is not prime. Res64: AE1E073F5695C91B Time : 0.0 sec. user=Beyond [2013-08-09 05:27:37] 993*2^1250208-1 is not prime. Res64: A4FB02D7E0CF451D Time : 0.0 sec. user=mdettweiler [2013-08-09 05:28:07] 699*2^1250209-1 is not prime. Res64: E98C2A38644F41DB Time : 0.0 sec. user=mdettweiler [2013-08-09 05:28:08] 747*2^1250209-1 is not prime. Res64: 162F6DE7EE903DD6 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:29:04] 769*2^1250209-1 is not prime. Res64: 99B641E4C996D751 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:29:04] 771*2^1250209-1 is not prime. Res64: 88E93E4463C57AF5 Time : 0.0 sec. user=Beyond [2013-08-09 05:36:43] 835*2^1250209-1 is not prime. Res64: AB378160347A63BE Time : 0.0 sec. user=mdettweiler [2013-08-09 05:38:12] 909*2^1250209-1 is not prime. Res64: C650D06A788CF031 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:38:13] 997*2^1250209-1 is not prime. Res64: 63C525F20506EF56 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:39:19] 797*2^1250210-1 is not prime. Res64: 28387A852632BDD2 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:39:20] 857*2^1250210-1 is not prime. Res64: 3C5398A8B1D9BDC3 Time : 0.0 sec. user=Beyond [2013-08-09 05:46:45] 945*2^1250210-1 is not prime. Res64: D38BBE85F81C3D08 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:48:04] 723*2^1250211-1 is not prime. Res64: 84939FE672F19C78 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:48:04] 793*2^1250211-1 is not prime. Res64: 6C842E4326AE38FD Time : 0.0 sec. user=mdettweiler [2013-08-09 05:49:55] 873*2^1250211-1 is not prime. Res64: A627B982855637C5 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:49:55] 969*2^1250211-1 is not prime. Res64: 156069BF1385E4B4 Time : 0.0 sec. user=Beyond [2013-08-09 05:50:24] 649*2^1250211-1 is not prime. Res64: 4A56859A3DE632FF Time : 0.0 sec. user=Beyond [2013-08-09 05:54:16] 995*2^1250210-1 is not prime. Res64: 6B7AE4E2D69D5307 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:58:05] 693*2^1250212-1 is not prime. Res64: 98FAA573F0443B39 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:58:05] 749*2^1250212-1 is not prime. Res64: 639106F183F6AAD7 Time : 0.0 sec. user=Beyond [2013-08-09 05:59:21] 657*2^1250212-1 is not prime. Res64: CC504DB5C5C6E092 Time : 0.0 sec. user=mdettweiler [2013-08-09 05:59:22] 797*2^1250212-1 is not prime. Res64: 8486FFDA5CAAB5FB Time : 0.0 sec. user=mdettweiler [2013-08-09 05:59:22] 813*2^1250212-1 is not prime. Res64: 3118147B7DC7A6BB Time : 0.0 sec. user=mdettweiler [2013-08-09 06:09:53] 615*2^1250213-1 is not prime. Res64: DEBFF66534C16185 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:09:53] 685*2^1250213-1 is not prime. Res64: EA67A4C5CADA35B3 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:10:02] 983*2^1250212-1 is not prime. Res64: 19212DED7398DDF9 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:10:03] 987*2^1250212-1 is not prime. Res64: AEC1D53D1C772880 Time : 0.0 sec. user=Beyond [2013-08-09 06:13:06] 735*2^1250213-1 is not prime. Res64: E03AADC184C7AC72 Time : 0.0 sec. user=Beyond [2013-08-09 06:13:49] 939*2^1250212-1 is not prime. Res64: 8A31DDD188B9C334 Time : 0.0 sec. user=Beyond [2013-08-09 06:17:04] 757*2^1250213-1 is not prime. Res64: 1B335B4EA3905E8B Time : 0.0 sec. user=mdettweiler [2013-08-09 06:18:59] 885*2^1250213-1 is not prime. Res64: 91CD100DF0253937 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:18:59] 937*2^1250213-1 is not prime. Res64: 9287A7F9EC5ADEF0 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:21:18] 979*2^1250213-1 is not prime. Res64: 754243D61C3AEAC6 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:21:18] 921*2^1250214-1 is not prime. Res64: 5D93959BE7B49AF6 Time : 0.0 sec. user=Beyond [2013-08-09 06:26:21] 969*2^1250213-1 is not prime. Res64: 98EB9B1B5E2ED0B6 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:30:00] 673*2^1250215-1 is not prime. Res64: 5446534C248E72EC Time : 0.0 sec. user=mdettweiler [2013-08-09 06:30:00] 709*2^1250215-1 is not prime. Res64: 07748BBBABC301CA Time : 0.0 sec. user=mdettweiler [2013-08-09 06:30:58] 941*2^1250214-1 is not prime. Res64: BDB0F9D79B64FEE6 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:30:59] 609*2^1250215-1 is not prime. Res64: 465F2EA1823C871F Time : 0.0 sec. user=Beyond [2013-08-09 06:35:58] 771*2^1250215-1 is not prime. Res64: 4D075937824A9DE7 Time : 0.0 sec. user=Beyond [2013-08-09 06:36:39] 793*2^1250215-1 is not prime. Res64: 3BF4489A95913C09 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:39:54] 873*2^1250215-1 is not prime. Res64: D6472E4BD9716E84 Time : 0.0 sec. user=Beyond [2013-08-09 06:39:55] 831*2^1250215-1 is not prime. Res64: E5C2B5BFFA442F9B Time : 0.0 sec. user=mdettweiler [2013-08-09 06:39:55] 939*2^1250215-1 is not prime. Res64: C10437191F069DDA Time : 0.0 sec. user=mdettweiler [2013-08-09 06:42:19] 951*2^1250215-1 is not prime. Res64: 8FC9343AB38E578D Time : 0.0 sec. user=mdettweiler [2013-08-09 06:42:19] 609*2^1250216-1 is not prime. Res64: AE724B4927313B6E Time : 0.0 sec. user=Beyond [2013-08-09 06:49:19] 693*2^1250216-1 is not prime. Res64: ED3C57E17287D4BE Time : 0.0 sec. user=mdettweiler [2013-08-09 06:49:59] 717*2^1250216-1 is not prime. Res64: 9740226D9CEE78C7 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:50:00] 725*2^1250216-1 is not prime. Res64: C8E860653A2399C7 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:51:57] 923*2^1250216-1 is not prime. Res64: B9E9B7D52DC65369 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:51:57] 609*2^1250217-1 is not prime. Res64: 7E7FC5E6C7BC9E5B Time : 0.0 sec. user=Beyond [2013-08-09 06:58:51] 661*2^1250217-1 is not prime. Res64: EE5ECDCE8C4AA42E Time : 0.0 sec. user=Beyond [2013-08-09 06:59:34] 711*2^1250217-1 is not prime. Res64: 7E8F9A01772E6D81 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:59:51] 739*2^1250217-1 is not prime. Res64: AE61D4AA30D4A738 Time : 0.0 sec. user=mdettweiler [2013-08-09 06:59:52] 849*2^1250217-1 is not prime. Res64: 3B05E085717DF982 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:02:19] 611*2^1250218-1 is not prime. Res64: FBAE11C71BDB6C62 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:02:20] 677*2^1250218-1 is not prime. Res64: 6012C56FEDBD9687 Time : 0.0 sec. user=Beyond [2013-08-09 07:02:49] 889*2^1250217-1 is not prime. Res64: 189AAF29AED6B229 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:09:59] 737*2^1250218-1 is not prime. Res64: 554170FE6141FC9A Time : 0.0 sec. user=mdettweiler [2013-08-09 07:09:59] 813*2^1250218-1 is not prime. Res64: 3230B1A6660D9620 Time : 0.0 sec. user=Beyond [2013-08-09 07:12:21] 687*2^1250218-1 is not prime. Res64: 3CE07FC1DF03E29B Time : 0.0 sec. user=mdettweiler [2013-08-09 07:12:58] 843*2^1250218-1 is not prime. Res64: D9DC430295856D99 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:12:58] 993*2^1250218-1 is not prime. Res64: CCB9B270D335B76C Time : 0.0 sec. user=mdettweiler [2013-08-09 07:19:50] 645*2^1250219-1 is not prime. Res64: 01E7B509629BB795 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:19:51] 675*2^1250219-1 is not prime. Res64: 2E58D502A90E4F61 Time : 0.0 sec. user=Beyond [2013-08-09 07:21:44] 621*2^1250219-1 is not prime. Res64: 56018FC9CCAE9A32 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:22:22] 753*2^1250219-1 is not prime. Res64: 81AD8BFD13DDE8A8 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:22:22] 799*2^1250219-1 is not prime. Res64: 6C56DF5F11D49B6D Time : 0.0 sec. user=Beyond [2013-08-09 07:22:31] 643*2^1250219-1 is not prime. Res64: E336BE834433EFEC Time : 0.0 sec. user=Beyond [2013-08-09 07:25:44] 895*2^1250219-1 is not prime. Res64: 377FB7A6AD0D9628 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:30:54] 991*2^1250219-1 is not prime. Res64: C40CD77A12CE13D2 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:30:54] 627*2^1250220-1 is not prime. Res64: A0592B335542D313 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:32:53] 797*2^1250220-1 is not prime. Res64: 7D77204D31E46AE9 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:32:54] 839*2^1250220-1 is not prime. Res64: 2542424F541DA49D Time : 0.0 sec. user=Beyond [2013-08-09 07:35:20] 765*2^1250220-1 is not prime. Res64: 343AAB502F98A6AA Time : 0.0 sec. user=mdettweiler [2013-08-09 07:39:54] 857*2^1250220-1 is not prime. Res64: C592BEEF228C0246 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:39:54] 863*2^1250220-1 is not prime. Res64: 0B2DB3E427B373F0 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:42:22] 691*2^1250221-1 is not prime. Res64: 0E09D87C7FE8A20E Time : 0.0 sec. user=mdettweiler [2013-08-09 07:42:23] 751*2^1250221-1 is not prime. Res64: CFD626F435BFF137 Time : 0.0 sec. user=Beyond [2013-08-09 07:44:39] 645*2^1250221-1 is not prime. Res64: 7F6B4E7EE66FAF9C Time : 0.0 sec. user=Beyond [2013-08-09 07:45:26] 771*2^1250221-1 is not prime. Res64: 5B6B93D1C2EF3CCF Time : 0.0 sec. user=Beyond [2013-08-09 07:48:39] 799*2^1250221-1 is not prime. Res64: 0EA989F8ED54FDD2 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:52:50] 931*2^1250221-1 is not prime. Res64: 02B58C75A4187635 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:52:50] 939*2^1250221-1 is not prime. Res64: 8F1E90D72BF172A5 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:53:49] 997*2^1250221-1 is not prime. Res64: F05CBA92C9A48CF5 Time : 0.0 sec. user=mdettweiler [2013-08-09 07:53:50] 867*2^1250222-1 is not prime. Res64: B2FB2DC2C7ECB507 Time : 0.0 sec. user=Beyond [2013-08-09 07:58:16] 911*2^1250222-1 is not prime. Res64: 7A19683D1A8DE8F9 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:00:49] 977*2^1250222-1 is not prime. Res64: CF664F79179ED6B6 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:00:50] 625*2^1250223-1 is not prime. Res64: 86080A4195A8A802 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:02:17] 649*2^1250223-1 is not prime. Res64: E163F6B263C05815 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:02:18] 679*2^1250223-1 is not prime. Res64: D18C2736F357FFEE Time : 0.0 sec. user=Beyond [2013-08-09 08:07:34] 693*2^1250223-1 is not prime. Res64: F88491F57F9902A0 Time : 0.0 sec. user=Beyond [2013-08-09 08:08:20] 721*2^1250223-1 is not prime. Res64: 03E61AD51526532A Time : 0.0 sec. user=Beyond [2013-08-09 08:11:36] 741*2^1250223-1 is not prime. Res64: 9EA8FDCA13379C03 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:12:42] 781*2^1250223-1 is not prime. Res64: 8AEC64E7706E570B Time : 0.0 sec. user=mdettweiler [2013-08-09 08:12:42] 783*2^1250223-1 is not prime. Res64: A01C9D600CB7B208 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:13:40] 789*2^1250223-1 is not prime. Res64: FB2D82373B3DD460 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:13:41] 795*2^1250223-1 is not prime. Res64: 5DFFCBBEFF700DEC Time : 0.0 sec. user=Beyond [2013-08-09 08:21:11] 805*2^1250223-1 is not prime. Res64: F1F17D9AA4DC5187 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:21:47] 829*2^1250223-1 is not prime. Res64: 974761CDEBFA06B3 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:21:47] 945*2^1250223-1 is not prime. Res64: D59AF2E43DBF8B60 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:22:15] 609*2^1250224-1 is not prime. Res64: 1BD23C8F5F48F149 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:22:15] 665*2^1250224-1 is not prime. Res64: 66DD9CA8A58D140D Time : 0.0 sec. user=Beyond [2013-08-09 08:30:34] 719*2^1250224-1 is not prime. Res64: EE609221DB3B7355 Time : 0.0 sec. user=Beyond [2013-08-09 08:31:12] 827*2^1250224-1 is not prime. Res64: 0660A7B6FDAD79BC Time : 0.0 sec. user=mdettweiler [2013-08-09 08:33:40] 899*2^1250224-1 is not prime. Res64: 4057FB72D926CB14 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:33:40] 947*2^1250224-1 is not prime. Res64: 836606A761CBE181 Time : 0.0 sec. user=Beyond [2013-08-09 08:34:26] 843*2^1250224-1 is not prime. Res64: A4AFAC870194E0B0 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:35:39] 965*2^1250224-1 is not prime. Res64: 1D482011F0816803 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:35:39] 975*2^1250224-1 is not prime. Res64: 413E96E2587F6F8C Time : 0.0 sec. user=mdettweiler [2013-08-09 08:42:16] 729*2^1250225-1 is not prime. Res64: EAE58A983FECA87F Time : 0.0 sec. user=mdettweiler [2013-08-09 08:42:17] 759*2^1250225-1 is not prime. Res64: ACA9820308D1F9FF Time : 0.0 sec. user=mdettweiler [2013-08-09 08:42:49] 993*2^1250224-1 is not prime. Res64: 5418106D3FCBBBCC Time : 0.0 sec. user=mdettweiler [2013-08-09 08:42:49] 651*2^1250225-1 is not prime. Res64: 1E8EB763FE144250 Time : 0.0 sec. user=Beyond [2013-08-09 08:48:06] 989*2^1250224-1 is not prime. Res64: 6E13F50259889D0F Time : 0.0 sec. user=Beyond [2013-08-09 08:53:17] 795*2^1250225-1 is not prime. Res64: D359DEFE0BF1E967 Time : 0.0 sec. user=mdettweiler [2013-08-09 08:55:35] 937*2^1250225-1 is not prime. Res64: ECDFA625531EE2AD Time : 0.0 sec. user=mdettweiler [2013-08-09 08:55:35] 955*2^1250225-1 is not prime. Res64: 62DFCE1C7F07C11E Time : 0.0 sec. user=mdettweiler [2013-08-09 08:55:45] 695*2^1250226-1 is not prime. Res64: 1F8C4D03EBC9B75B Time : 0.0 sec. user=mdettweiler [2013-08-09 08:55:45] 815*2^1250226-1 is not prime. Res64: 0154D5696C35B865 Time : 0.0 sec. user=Beyond [2013-08-09 08:57:06] 683*2^1250226-1 is not prime. Res64: 868A1B1A2CDF9E3F Time : 0.0 sec. user=Beyond [2013-08-09 08:58:04] 925*2^1250225-1 is not prime. Res64: D9CA518B2F676B7C Time : 0.0 sec. user=mdettweiler [2013-08-09 09:02:20] 601*2^1250227-1 is not prime. Res64: 2F4A67B6CA4D8B0E Time : 0.0 sec. user=mdettweiler [2013-08-09 09:02:21] 639*2^1250227-1 is not prime. Res64: BB74B62E9DFD1478 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:02:43] 685*2^1250227-1 is not prime. Res64: 39F1EFB9DE31EE2F Time : 0.0 sec. user=mdettweiler [2013-08-09 09:02:43] 889*2^1250227-1 is not prime. Res64: 53F43D4EE7AFA237 Time : 0.0 sec. user=Beyond [2013-08-09 09:14:57] 951*2^1250227-1 is not prime. Res64: 6F840467C2E4D5F5 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:15:26] 825*2^1250228-1 is not prime. Res64: 9B9718F8CFA6E984 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:15:27] 867*2^1250228-1 is not prime. Res64: 47B740F86AA30931 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:15:47] 625*2^1250229-1 is not prime. Res64: E57EC3E2AE027FF9 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:15:47] 681*2^1250229-1 is not prime. Res64: C81526B829725F25 Time : 0.0 sec. user=Beyond [2013-08-09 09:19:32] 895*2^1250229-1 is not prime. Res64: 25DD03A7D5C249F8 Time : 0.0 sec. user=Beyond [2013-08-09 09:20:17] 999*2^1250227-1 is not prime. Res64: 5BDB84F9947EA63E Time : 0.0 sec. user=mdettweiler [2013-08-09 09:22:14] 687*2^1250230-1 is not prime. Res64: 7B7461440A404D9E Time : 0.0 sec. user=mdettweiler [2013-08-09 09:22:14] 707*2^1250230-1 is not prime. Res64: FFED4C4C0EF013F1 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:22:40] 723*2^1250230-1 is not prime. Res64: DDBA26C1433966BD Time : 0.0 sec. user=mdettweiler [2013-08-09 09:22:41] 855*2^1250230-1 is not prime. Res64: A07DAE9E710FE7A9 Time : 0.0 sec. user=Beyond [2013-08-09 09:25:05] 951*2^1250229-1 is not prime. Res64: 385C63968ED4112E Time : 0.0 sec. user=mdettweiler [2013-08-09 09:35:46] 679*2^1250231-1 is not prime. Res64: B1DC6002EF228231 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:35:46] 705*2^1250231-1 is not prime. Res64: 9D2C0FDCF21346BC Time : 0.0 sec. user=mdettweiler [2013-08-09 09:37:18] 945*2^1250230-1 is not prime. Res64: 82CAAB194532DC05 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:37:19] 987*2^1250230-1 is not prime. Res64: 0EA4D3A08CC61BB3 Time : 0.0 sec. user=Beyond [2013-08-09 09:41:54] 933*2^1250230-1 is not prime. Res64: AF3C8EFD445B36AF Time : 0.0 sec. user=Beyond [2013-08-09 09:42:13] 805*2^1250231-1 is not prime. Res64: E3EEC94DCED82B81 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:42:38] 819*2^1250232-1 is not prime. Res64: 44E36637AD0EFB4C Time : 0.0 sec. user=mdettweiler [2013-08-09 09:42:39] 863*2^1250232-1 is not prime. Res64: 53C70DF8FDB33BE3 Time : 0.0 sec. user=Beyond [2013-08-09 09:42:56] 813*2^1250231-1 is not prime. Res64: 189B05C49C3D72BB Time : 0.0 sec. user=mdettweiler [2013-08-09 09:43:07] 949*2^1250231-1 is not prime. Res64: D3DF740871A7D1C7 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:43:07] 699*2^1250232-1 is not prime. Res64: 1F2B3EDA58108980 Time : 0.0 sec. user=Beyond [2013-08-09 09:52:02] 933*2^1250232-1 is not prime. Res64: 96AD45EC85ED4F6A Time : 0.0 sec. user=mdettweiler [2013-08-09 09:56:43] 945*2^1250232-1 is not prime. Res64: 7B78A960F4F181F5 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:56:43] 625*2^1250233-1 is not prime. Res64: 8E52D4B58F5CE954 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:57:22] 651*2^1250233-1 is not prime. Res64: 647BF337919ED5F3 Time : 0.0 sec. user=mdettweiler [2013-08-09 09:57:22] 747*2^1250233-1 is not prime. Res64: 755F2F77FE07014B Time : 0.0 sec. user=mdettweiler [2013-08-09 10:03:12] 605*2^1250234-1 is not prime. Res64: 9E105920B3CBCB06 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:03:13] 743*2^1250234-1 is not prime. Res64: 564E8C911BE009F1 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:03:43] 819*2^1250233-1 is not prime. Res64: B4D1F2220DB0B5F3 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:03:44] 937*2^1250233-1 is not prime. Res64: D9AFB17784328288 Time : 0.0 sec. user=Beyond [2013-08-09 10:04:38] 751*2^1250233-1 is not prime. Res64: 2373431C297E38D7 Time : 0.0 sec. user=Beyond [2013-08-09 10:05:00] 805*2^1250233-1 is not prime. Res64: BCEA21E6877E4FBD Time : 0.0 sec. user=Beyond [2013-08-09 10:09:51] 945*2^1250233-1 is not prime. Res64: F535E8E61780E498 Time : 0.0 sec. user=Beyond [2013-08-09 10:14:51] 827*2^1250234-1 is not prime. Res64: AF2F09C2999179E2 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:18:02] 833*2^1250234-1 is not prime. Res64: A06B599B21F51FCB Time : 0.0 sec. user=mdettweiler [2013-08-09 10:18:02] 921*2^1250234-1 is not prime. Res64: BDF949A360AE6A6B Time : 0.0 sec. user=mdettweiler [2013-08-09 10:19:34] 953*2^1250234-1 is not prime. Res64: 4A19875C503BAC54 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:19:34] 1001*2^1250234-1 is not prime. Res64: 94B99107727EBD48 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:23:25] 613*2^1250235-1 is not prime. Res64: E67D331D45795E4E Time : 0.0 sec. user=mdettweiler [2013-08-09 10:23:25] 709*2^1250235-1 is not prime. Res64: 3624CF2182784C58 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:25:11] 805*2^1250235-1 is not prime. Res64: 60BA57A49EB1E474 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:25:12] 943*2^1250235-1 is not prime. Res64: E962CA7281898124 Time : 0.0 sec. user=Beyond [2013-08-09 10:27:43] 647*2^1250236-1 is not prime. Res64: D61FC8DDB45DBACD Time : 0.0 sec. user=Beyond [2013-08-09 10:31:42] 961*2^1250235-1 is not prime. Res64: F7A6AB2FF373E4E0 Time : 0.0 sec. user=Beyond [2013-08-09 10:32:40] 653*2^1250236-1 is not prime. Res64: 0ECA0AFC9D92E3A0 Time : 0.0 sec. user=Beyond [2013-08-09 10:37:38] 677*2^1250236-1 is not prime. Res64: 29168A4B7CB2E79C Time : 0.0 sec. user=mdettweiler [2013-08-09 10:38:43] 803*2^1250236-1 is not prime. Res64: 80B22C23C9784A3E Time : 0.0 sec. user=mdettweiler [2013-08-09 10:38:44] 873*2^1250236-1 is not prime. Res64: EBC1041149596509 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:39:57] 903*2^1250236-1 is not prime. Res64: 430C1728418D164D Time : 0.0 sec. user=mdettweiler [2013-08-09 10:39:57] 909*2^1250236-1 is not prime. Res64: 971F44792BEA8025 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:45:47] 933*2^1250236-1 is not prime. Res64: 3CFF1209A9990563 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:45:47] 957*2^1250236-1 is not prime. Res64: 3C5446ABB6ECAD2F Time : 0.0 sec. user=mdettweiler [2013-08-09 10:47:27] 975*2^1250236-1 is not prime. Res64: F72F4AE1EB459C92 Time : 0.0 sec. user=mdettweiler [2013-08-09 10:47:27] 987*2^1250236-1 is not prime. Res64: 4484A12258549B04 Time : 0.0 sec. user=Beyond [2013-08-09 10:54:25] 621*2^1250237-1 is not prime. Res64: BD8FFAD7E4439A29 Time : 0.0 sec. user=Beyond [2013-08-09 10:54:44] 989*2^1250236-1 is not prime. Res64: 3BDF07002BA66E5F Time : 0.0 sec. user=Beyond [2013-08-09 10:55:33] 631*2^1250237-1 is not prime. Res64: 92AE29C76F7384CD Time : 0.0 sec. user=mdettweiler [2013-08-09 10:58:53] 825*2^1250237-1 is not prime. Res64: 4BADC2152624484D Time : 0.0 sec. user=mdettweiler [2013-08-09 10:58:53] 837*2^1250237-1 is not prime. Res64: 9F8E1611A5ABD607 Time : 0.0 sec. user=Beyond [2013-08-09 11:00:26] 697*2^1250237-1 is not prime. Res64: ABB7CB1BE7DA1B5C Time : 0.0 sec. user=mdettweiler [2013-08-09 11:01:04] 861*2^1250237-1 is not prime. Res64: C29E8FFF08792A16 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:01:05] 915*2^1250237-1 is not prime. Res64: 980F70509570DA02 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:07:32] 627*2^1250238-1 is not prime. Res64: D07D5B36CE319BB7 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:07:34] 705*2^1250238-1 is not prime. Res64: D89C9EAFF37F0464 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:07:43] 955*2^1250237-1 is not prime. Res64: BAB13AF47C0F6AC6 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:07:44] 967*2^1250237-1 is not prime. Res64: 7203352D7D0F4190 Time : 0.0 sec. user=Beyond [2013-08-09 11:17:22] 773*2^1250238-1 is not prime. Res64: B64BD9E38A690A79 Time : 0.0 sec. user=Beyond [2013-08-09 11:17:37] 777*2^1250238-1 is not prime. Res64: 894FA55EF7411E2F Time : 0.0 sec. user=Beyond [2013-08-09 11:18:32] 821*2^1250238-1 is not prime. Res64: 8CB1437852238F70 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:19:59] 971*2^1250238-1 is not prime. Res64: 70A13DF9A3264B7B Time : 0.0 sec. user=mdettweiler [2013-08-09 11:19:59] 609*2^1250239-1 is not prime. Res64: 06901262EAB67422 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:21:07] 729*2^1250239-1 is not prime. Res64: 89475BAE63DE2AF8 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:21:07] 769*2^1250239-1 is not prime. Res64: AD4371950AA1C459 Time : 0.0 sec. user=Beyond [2013-08-09 11:23:18] 681*2^1250239-1 is not prime. Res64: B821BDDD2C3BA57C Time : 0.0 sec. user=mdettweiler [2013-08-09 11:27:50] 635*2^1250240-1 is not prime. Res64: B2759238DCE4A562 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:27:51] 675*2^1250240-1 is not prime. Res64: D2944E0C04AE292B Time : 0.0 sec. user=mdettweiler [2013-08-09 11:28:38] 859*2^1250239-1 is not prime. Res64: 337CD598B38CBF87 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:28:39] 919*2^1250239-1 is not prime. Res64: DEEE235672CC4AB2 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:40:03] 845*2^1250240-1 is not prime. Res64: BF9AECD7A8A701CF Time : 0.0 sec. user=mdettweiler [2013-08-09 11:40:04] 879*2^1250240-1 is not prime. Res64: E590BE8919A31132 Time : 0.0 sec. user=Beyond [2013-08-09 11:40:14] 729*2^1250240-1 is not prime. Res64: E923CC910075FE92 Time : 0.0 sec. user=Beyond [2013-08-09 11:40:27] 777*2^1250240-1 is not prime. Res64: 8CAA2C8189ABFCB9 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:41:11] 897*2^1250240-1 is not prime. Res64: D9CA09A1A1C4EBC2 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:41:12] 899*2^1250240-1 is not prime. Res64: 8AFE7FD7AFDDC212 Time : 0.0 sec. user=Beyond [2013-08-09 11:41:22] 813*2^1250240-1 is not prime. Res64: 03E7E90EB08F07F9 Time : 0.0 sec. user=mdettweiler [2013-08-09 11:48:46] 625*2^1250241-1 is not prime. Res64: 2FB8526D41A50FAC Time : 0.0 sec. user=mdettweiler [2013-08-09 11:48:46] 735*2^1250241-1 is not prime. Res64: 6E47F07E4EABEC4F Time : 0.0 sec. user=mdettweiler [2013-08-09 11:48:51] 999*2^1250240-1 is not prime. Res64: B39842B2D1D26E0A Time : 0.0 sec. user=mdettweiler [2013-08-09 11:48:51] 609*2^1250241-1 is not prime. Res64: BA1F6379DD892B26 Time : 0.0 sec. user=Beyond [2013-08-09 11:50:18] 915*2^1250240-1 is not prime. Res64: 9013EA28704AA0F0 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:01:07] 795*2^1250241-1 is not prime. Res64: 321BE975F846E62F Time : 0.0 sec. user=mdettweiler [2013-08-09 12:01:08] 979*2^1250241-1 is not prime. Res64: EA958553F674DDAD Time : 0.0 sec. user=mdettweiler [2013-08-09 12:01:20] 723*2^1250242-1 is not prime. Res64: 154DF332B71955F3 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:01:21] 743*2^1250242-1 is not prime. Res64: 4EDAAB43B9B1E97C Time : 0.0 sec. user=Beyond [2013-08-09 12:03:05] 645*2^1250242-1 is not prime. Res64: 41E7D7E25D0B051E Time : 0.0 sec. user=Beyond [2013-08-09 12:03:21] 671*2^1250242-1 is not prime. Res64: 013FEB212C977FA9 Time : 0.0 sec. user=Beyond [2013-08-09 12:04:16] 755*2^1250242-1 is not prime. Res64: 1F13C106DE4BB634 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:08:50] 777*2^1250242-1 is not prime. Res64: C9185D3E6E7513AA Time : 0.0 sec. user=mdettweiler [2013-08-09 12:08:52] 833*2^1250242-1 is not prime. Res64: 042D974C73002321 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:09:58] 867*2^1250242-1 is not prime. Res64: CE181822E3D5FB47 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:09:59] 1001*2^1250242-1 is not prime. Res64: 1E00E94A8A7B0629 Time : 0.0 sec. user=Beyond [2013-08-09 12:13:10] 603*2^1250243-1 is not prime. Res64: 1A162C7BF1C3C829 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:21:39] 633*2^1250243-1 is not prime. Res64: B7FCA30BD69D6846 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:21:39] 643*2^1250243-1 is not prime. Res64: AC7596C63562413A Time : 0.0 sec. user=mdettweiler [2013-08-09 12:21:41] 741*2^1250243-1 is not prime. Res64: 400486FB12C9B1AC Time : 0.0 sec. user=mdettweiler [2013-08-09 12:21:41] 745*2^1250243-1 is not prime. Res64: 3413D285D7FF3D98 Time : 0.0 sec. user=Beyond [2013-08-09 12:25:50] 811*2^1250243-1 is not prime. Res64: 032FF845897B356A Time : 0.0 sec. user=Beyond [2013-08-09 12:26:04] 829*2^1250243-1 is not prime. Res64: A80E9F8BA45C3F7E Time : 0.0 sec. user=mdettweiler [2013-08-09 12:29:07] 657*2^1250244-1 is not prime. Res64: 43D13877866CECE3 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:29:07] 773*2^1250244-1 is not prime. Res64: F48917DAB9E7870C Time : 0.0 sec. user=mdettweiler [2013-08-09 12:30:18] 765*2^1250245-1 is not prime. Res64: 0C0603AA83ADB19B Time : 0.0 sec. user=mdettweiler [2013-08-09 12:30:19] 849*2^1250245-1 is not prime. Res64: BE5C84CD2AF51C72 Time : 0.0 sec. user=Beyond [2013-08-09 12:31:15] 993*2^1250243-1 is not prime. Res64: 41EEEFC4D291DB96 Time : 0.0 sec. user=Beyond [2013-08-09 12:40:11] 925*2^1250245-1 is not prime. Res64: 8457D9842A75B9C4 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:41:59] 615*2^1250246-1 is not prime. Res64: F4C2BC2AF83BE484 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:42:00] 741*2^1250246-1 is not prime. Res64: DCC7355D7989BC97 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:44:04] 997*2^1250245-1 is not prime. Res64: 710FA8C07020BB1C Time : 0.0 sec. user=mdettweiler [2013-08-09 12:44:04] 999*2^1250245-1 is not prime. Res64: 2FF1983BBCEDB54A Time : 0.0 sec. user=mdettweiler [2013-08-09 12:49:26] 693*2^1250247-1 is not prime. Res64: C45C8CE370F0D0E2 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:49:27] 795*2^1250247-1 is not prime. Res64: 14B89DF1F10CCDF4 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:50:34] 819*2^1250247-1 is not prime. Res64: 3EE686EAD8B6F1D4 Time : 0.0 sec. user=mdettweiler [2013-08-09 12:50:34] 861*2^1250247-1 is not prime. Res64: A0B756F9AAFE8E5D Time : 0.0 sec. user=Beyond [2013-08-09 12:52:40] 935*2^1250246-1 is not prime. Res64: 84A3DD203F4AD448 Time : 0.0 sec. user=Beyond [2013-08-09 12:53:05] 1001*2^1250246-1 is not prime. Res64: F0A032361B7A48A2 Time : 0.0 sec. user=Beyond [2013-08-09 12:53:47] 895*2^1250247-1 is not prime. Res64: 2E803EFB9FC698B0 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:02:23] 845*2^1250248-1 is not prime. Res64: BBCCACBCB1D5A76E Time : 0.0 sec. user=mdettweiler [2013-08-09 13:02:24] 855*2^1250248-1 is not prime. Res64: AD7841047F4B2900 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:05:22] 909*2^1250248-1 is not prime. Res64: F2B93AE4BC3A1B20 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:05:22] 999*2^1250248-1 is not prime. Res64: 778CEDEF330EB1ED Time : 0.0 sec. user=Beyond [2013-08-09 13:06:55] 949*2^1250247-1 is not prime. Res64: DEBF4CD0E2C77F62 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:09:40] 627*2^1250249-1 is not prime. Res64: C6716127124B9FA4 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:09:41] 711*2^1250249-1 is not prime. Res64: C9F3AA7204FD67F9 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:11:53] 951*2^1250249-1 is not prime. Res64: CCB4FBE1DF199A4A Time : 0.0 sec. user=mdettweiler [2013-08-09 13:11:53] 635*2^1250250-1 is not prime. Res64: BC8E3862AF79975B Time : 0.0 sec. user=Beyond [2013-08-09 13:14:47] 653*2^1250250-1 is not prime. Res64: B492250ED06B7380 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:23:05] 707*2^1250250-1 is not prime. Res64: F6F48D19C52B430C Time : 0.0 sec. user=mdettweiler [2013-08-09 13:23:05] 711*2^1250250-1 is not prime. Res64: E541B2C205A8858A Time : 0.0 sec. user=mdettweiler [2013-08-09 13:25:38] 851*2^1250250-1 is not prime. Res64: 075BA7C6F49598B1 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:25:38] 615*2^1250251-1 is not prime. Res64: 755E12F2E48BC478 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:30:05] 649*2^1250251-1 is not prime. Res64: 3B62174D0B06B702 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:30:05] 693*2^1250251-1 is not prime. Res64: 158AE0303E4E5E80 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:32:22] 793*2^1250251-1 is not prime. Res64: 222C0E0B2C813638 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:32:22] 829*2^1250251-1 is not prime. Res64: C46FE0BD96AE5152 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:43:25] 605*2^1250252-1 is not prime. Res64: A69824AEEDFB73D9 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:43:25] 615*2^1250252-1 is not prime. Res64: C1DFB6072951966E Time : 0.0 sec. user=mdettweiler [2013-08-09 13:46:04] 635*2^1250252-1 is not prime. Res64: 6C7D8F958D040D97 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:46:04] 767*2^1250252-1 is not prime. Res64: FE5B2B3E76961FF8 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:50:35] 855*2^1250252-1 is not prime. Res64: 6B0C7FD22AA9E06A Time : 0.0 sec. user=mdettweiler [2013-08-09 13:50:36] 897*2^1250252-1 is not prime. Res64: 7F8BBC94CA8884D3 Time : 0.0 sec. user=mdettweiler [2013-08-09 13:53:56] 903*2^1250252-1 is not prime. Res64: 17932C252AD9E23F Time : 0.0 sec. user=mdettweiler [2013-08-09 13:53:57] 999*2^1250252-1 is not prime. Res64: 964BD078D8DFBAA1 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:04:03] 625*2^1250253-1 is not prime. Res64: 282311B14A98F24F Time : 0.0 sec. user=mdettweiler [2013-08-09 14:04:04] 649*2^1250253-1 is not prime. Res64: 8735749EA759042E Time : 0.0 sec. user=mdettweiler [2013-08-09 14:07:52] 867*2^1250253-1 is not prime. Res64: C46E21884D81D2B9 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:07:53] 991*2^1250253-1 is not prime. Res64: A347832D16857AA2 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:11:15] 785*2^1250254-1 is not prime. Res64: C0E72CB4BBA22AFD Time : 0.0 sec. user=mdettweiler [2013-08-09 14:11:16] 825*2^1250254-1 is not prime. Res64: 59BC336E72F6387B Time : 0.0 sec. user=mdettweiler [2013-08-09 14:15:26] 885*2^1250254-1 is not prime. Res64: FC559DC8B9EF5FBB Time : 0.0 sec. user=mdettweiler [2013-08-09 14:15:27] 923*2^1250254-1 is not prime. Res64: 5C5F145931D38B0C Time : 0.0 sec. user=mdettweiler [2013-08-09 14:25:21] 971*2^1250254-1 is not prime. Res64: A1A0307ED874B8ED Time : 0.0 sec. user=mdettweiler [2013-08-09 14:25:21] 643*2^1250255-1 is not prime. Res64: C75492DBFB4885E6 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:28:32] 693*2^1250255-1 is not prime. Res64: EC7DF4F4062F87DA Time : 0.0 sec. user=mdettweiler [2013-08-09 14:28:32] 705*2^1250255-1 is not prime. Res64: 397048462115F9E8 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:32:00] 759*2^1250255-1 is not prime. Res64: 0363DC295289C0AD Time : 0.0 sec. user=mdettweiler [2013-08-09 14:32:00] 841*2^1250255-1 is not prime. Res64: AA77F9959D08E98A Time : 0.0 sec. user=mdettweiler [2013-08-09 14:36:48] 859*2^1250255-1 is not prime. Res64: FBB2EB7117DBE426 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:36:48] 943*2^1250255-1 is not prime. Res64: 97D2E2D4AF9AD567 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:46:37] 969*2^1250255-1 is not prime. Res64: 8F671F341AB31E81 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:46:37] 657*2^1250256-1 is not prime. Res64: 77B8D8A1D1CC19EC Time : 0.0 sec. user=mdettweiler [2013-08-09 14:49:01] 719*2^1250256-1 is not prime. Res64: 7F62F0B71ADE47A0 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:49:01] 747*2^1250256-1 is not prime. Res64: 9F72D6300BE07BF3 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:52:13] 759*2^1250256-1 is not prime. Res64: E320627A2DD77C57 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:52:13] 815*2^1250256-1 is not prime. Res64: 961F85C084D339E6 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:57:11] 825*2^1250256-1 is not prime. Res64: 8BBFC10CF253E846 Time : 0.0 sec. user=mdettweiler [2013-08-09 14:57:12] 903*2^1250256-1 is not prime. Res64: 574BD79E9D5C1B5E Time : 0.0 sec. user=mdettweiler [2013-08-09 15:08:26] 975*2^1250256-1 is not prime. Res64: 99F0D36CC961B72E Time : 0.0 sec. user=mdettweiler [2013-08-09 15:08:27] 649*2^1250257-1 is not prime. Res64: 9EE57168E5B9A059 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:09:18] 717*2^1250257-1 is not prime. Res64: 425A65BB5CD0BD84 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:09:19] 765*2^1250257-1 is not prime. Res64: ED56AE673443608C Time : 0.0 sec. user=mdettweiler [2013-08-09 15:13:50] 777*2^1250257-1 is not prime. Res64: 346FBDF352DA1860 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:13:50] 945*2^1250257-1 is not prime. Res64: 5E4AD8B6ADE2E888 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:18:36] 731*2^1250258-1 is not prime. Res64: 158D889B9723ADC9 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:18:36] 743*2^1250258-1 is not prime. Res64: D1440C489B38C70B Time : 0.0 sec. user=mdettweiler [2013-08-09 15:29:35] 601*2^1250259-1 is not prime. Res64: D5E58CD79DB01BC4 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:29:35] 609*2^1250259-1 is not prime. Res64: 8D4262B18ED6106E Time : 0.0 sec. user=mdettweiler [2013-08-09 15:29:43] 815*2^1250258-1 is not prime. Res64: F87CE01A9A1D2F93 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:29:43] 1001*2^1250258-1 is not prime. Res64: 40D7289467C332DD Time : 0.0 sec. user=mdettweiler [2013-08-09 15:34:13] 723*2^1250259-1 is not prime. Res64: BAC1A0760B6F1757 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:34:13] 735*2^1250259-1 is not prime. Res64: 131033FF28C76990 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:38:51] 745*2^1250259-1 is not prime. Res64: 7CAF8B280ED4C3BA Time : 0.0 sec. user=mdettweiler [2013-08-09 15:38:51] 751*2^1250259-1 is not prime. Res64: 8363AABC696CFFF9 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:49:52] 903*2^1250259-1 is not prime. Res64: 77A2D88990C170D1 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:49:52] 609*2^1250260-1 is not prime. Res64: 350818A3D5799417 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:49:54] 775*2^1250259-1 is not prime. Res64: 81C720D71F630917 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:49:54] 895*2^1250259-1 is not prime. Res64: 0E00BF558C972752 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:54:27] 635*2^1250260-1 is not prime. Res64: FAFA79285D4C7E63 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:54:27] 665*2^1250260-1 is not prime. Res64: D59EFFF460A9388D Time : 0.0 sec. user=mdettweiler [2013-08-09 15:59:07] 719*2^1250260-1 is not prime. Res64: 2917DCC945A90FB3 Time : 0.0 sec. user=mdettweiler [2013-08-09 15:59:07] 785*2^1250260-1 is not prime. Res64: FB6033A44191CAA6 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:10:04] 813*2^1250260-1 is not prime. Res64: 4484EED7D4473A5E Time : 0.0 sec. user=mdettweiler [2013-08-09 16:10:05] 839*2^1250260-1 is not prime. Res64: 4A6BF2CF79FF96F7 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:11:03] 843*2^1250260-1 is not prime. Res64: D6D165F069655326 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:11:03] 929*2^1250260-1 is not prime. Res64: 7721ACC9761C7416 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:14:39] 717*2^1250261-1 is not prime. Res64: A034D76845E9A1AE Time : 0.0 sec. user=mdettweiler [2013-08-09 16:14:40] 829*2^1250261-1 is not prime. Res64: D7685B34333E8668 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:20:16] 991*2^1250261-1 is not prime. Res64: 495405354DFBD39E Time : 0.0 sec. user=mdettweiler [2013-08-09 16:20:17] 671*2^1250262-1 is not prime. Res64: A162BB8CC51AC5BD Time : 0.0 sec. user=mdettweiler [2013-08-09 16:31:44] 807*2^1250262-1 is not prime. Res64: 2BCDC53F27E7F5FA Time : 0.0 sec. user=mdettweiler [2013-08-09 16:31:45] 917*2^1250262-1 is not prime. Res64: A66DDAA2302EFBA6 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:32:46] 975*2^1250262-1 is not prime. Res64: 5BD3DE21EF211604 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:32:47] 681*2^1250263-1 is not prime. Res64: 76364016F52C8B7C Time : 0.0 sec. user=mdettweiler [2013-08-09 16:35:30] 783*2^1250263-1 is not prime. Res64: 27D49A67F92E0508 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:35:31] 873*2^1250263-1 is not prime. Res64: 06948B9212572D88 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:42:10] 891*2^1250263-1 is not prime. Res64: 8C736D413615C1BC Time : 0.0 sec. user=mdettweiler [2013-08-09 16:42:10] 901*2^1250263-1 is not prime. Res64: 233AF583EDDD83C9 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:53:16] 985*2^1250263-1 is not prime. Res64: 4BE247BAEAC2C16D Time : 0.0 sec. user=mdettweiler [2013-08-09 16:53:17] 605*2^1250264-1 is not prime. Res64: 71CB6A580E08458B Time : 0.0 sec. user=mdettweiler [2013-08-09 16:54:22] 635*2^1250264-1 is not prime. Res64: 74858A74F7FB46B4 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:54:23] 957*2^1250264-1 is not prime. Res64: 1CED8D3D07551253 Time : 0.0 sec. user=mdettweiler [2013-08-09 16:56:01] 627*2^1250265-1 is not prime. Res64: E6644249E44396FA Time : 0.0 sec. user=mdettweiler [2013-08-09 16:56:01] 675*2^1250265-1 is not prime. Res64: 37FF7AFACA34BD06 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:02:43] 699*2^1250265-1 is not prime. Res64: 4C54A77EBBBA0F35 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:02:44] 811*2^1250265-1 is not prime. Res64: 54A2CFA19DE6BAD2 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:13:54] 885*2^1250265-1 is not prime. Res64: 57DC864A9902547B Time : 0.0 sec. user=mdettweiler [2013-08-09 17:13:54] 909*2^1250265-1 is not prime. Res64: E42ADF129D2C42E7 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:15:06] 737*2^1250266-1 is not prime. Res64: 3C54D2CBE4057C86 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:15:06] 783*2^1250266-1 is not prime. Res64: 0484657DF635E736 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:16:39] 803*2^1250266-1 is not prime. Res64: 13F8AC3D47453063 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:16:40] 857*2^1250266-1 is not prime. Res64: A3D6EFA60F4A3825 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:24:15] 867*2^1250266-1 is not prime. Res64: F7217EDF2B4689CA Time : 0.0 sec. user=mdettweiler [2013-08-09 17:24:16] 971*2^1250266-1 is not prime. Res64: E2EA1427F42E1EAA Time : 0.0 sec. user=mdettweiler [2013-08-09 17:34:25] 619*2^1250267-1 is not prime. Res64: 6AE7DE64320EF18E Time : 0.0 sec. user=mdettweiler [2013-08-09 17:34:25] 663*2^1250267-1 is not prime. Res64: E09263C0AB4BDB31 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:35:29] 703*2^1250267-1 is not prime. Res64: 160A725C391B7DF6 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:35:30] 759*2^1250267-1 is not prime. Res64: C7EF2689FEE582E6 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:37:02] 781*2^1250267-1 is not prime. Res64: 193FE324A449CCEC Time : 0.0 sec. user=mdettweiler [2013-08-09 17:37:03] 841*2^1250267-1 is not prime. Res64: FBC31AE85BF6959F Time : 0.0 sec. user=mdettweiler [2013-08-09 17:45:35] 895*2^1250267-1 is not prime. Res64: CA2BAE03C1016A95 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:45:35] 945*2^1250267-1 is not prime. Res64: 14EBA2DC8523D2E3 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:55:47] 737*2^1250268-1 is not prime. Res64: 5F7892DE3C2B7D67 Time : 0.0 sec. user=mdettweiler [2013-08-09 17:55:47] 867*2^1250268-1 is not prime. Res64: 933B8F229A6FF59D Time : 0.0 sec. user=mdettweiler [2013-08-09 17:55:52] 979*2^1250267-1 is not prime. Res64: F8E84DDFE4C51E8F Time : 0.0 sec. user=mdettweiler [2013-08-09 17:55:53] 705*2^1250268-1 is not prime. Res64: 56818E04A7C07D3F Time : 0.0 sec. user=mdettweiler [2013-08-09 17:58:16] 975*2^1250268-1 is not prime. Res64: BD12761590013F0D Time : 0.0 sec. user=mdettweiler [2013-08-09 17:58:16] 757*2^1250269-1 is not prime. Res64: 3EEAE32E71830958 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:05:58] 799*2^1250269-1 is not prime. Res64: 13B0AC3C6494F7BB Time : 0.0 sec. user=mdettweiler [2013-08-09 18:05:59] 831*2^1250269-1 is not prime. Res64: 02272516B8933688 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:16:13] 877*2^1250269-1 is not prime. Res64: 476BC0247C55C6B0 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:16:13] 885*2^1250269-1 is not prime. Res64: 74B0858F83C142A7 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:17:12] 951*2^1250269-1 is not prime. Res64: 43CB1233926EFEE0 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:17:12] 773*2^1250270-1 is not prime. Res64: AD1E0937F1E43642 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:18:29] 791*2^1250270-1 is not prime. Res64: B3A6BF3C2D575942 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:18:29] 893*2^1250270-1 is not prime. Res64: 59BAE7F6D9FB45AF Time : 0.0 sec. user=mdettweiler [2013-08-09 18:28:14] 921*2^1250270-1 is not prime. Res64: C6A3CE7BF7327247 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:28:15] 935*2^1250270-1 is not prime. Res64: 4BA098D0495C38B0 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:37:28] 941*2^1250270-1 is not prime. Res64: A80C0C78F6C32594 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:37:28] 685*2^1250271-1 is not prime. Res64: 49469ED3C2616ED5 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:38:25] 895*2^1250271-1 is not prime. Res64: A43283C2E8A1FCA2 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:38:26] 969*2^1250271-1 is not prime. Res64: EF48A5F3C06602BF Time : 0.0 sec. user=mdettweiler [2013-08-09 18:38:42] 639*2^1250272-1 is not prime. Res64: 2E4A3772C4D16014 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:38:43] 677*2^1250272-1 is not prime. Res64: 98136CA197679694 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:48:30] 705*2^1250272-1 is not prime. Res64: 71CA7E6336290889 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:48:30] 765*2^1250272-1 is not prime. Res64: 5B404BF491EF032C Time : 0.0 sec. user=mdettweiler [2013-08-09 18:57:49] 855*2^1250272-1 is not prime. Res64: E588F4FA59E9BE24 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:57:49] 619*2^1250273-1 is not prime. Res64: 2259BCC573D5E6EA Time : 0.0 sec. user=mdettweiler [2013-08-09 18:58:40] 691*2^1250273-1 is not prime. Res64: EA9B79A6F2624103 Time : 0.0 sec. user=mdettweiler [2013-08-09 18:58:40] 741*2^1250273-1 is not prime. Res64: A23270316495D0BF Time : 0.0 sec. user=mdettweiler [2013-08-09 19:00:00] 889*2^1250273-1 is not prime. Res64: ACE0A54458AAB835 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:00:00] 955*2^1250273-1 is not prime. Res64: 5906A0B1B270F736 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:09:47] 981*2^1250273-1 is not prime. Res64: 896C7F6C27522743 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:09:47] 651*2^1250274-1 is not prime. Res64: 22A5AFD47FD86C2D Time : 0.0 sec. user=mdettweiler [2013-08-09 19:18:11] 731*2^1250274-1 is not prime. Res64: 95C3D90F90420211 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:18:11] 803*2^1250274-1 is not prime. Res64: EC23E740D03D7CEB Time : 0.0 sec. user=mdettweiler [2013-08-09 19:18:58] 815*2^1250274-1 is not prime. Res64: 8CF764BF611857AC Time : 0.0 sec. user=mdettweiler [2013-08-09 19:18:59] 825*2^1250274-1 is not prime. Res64: E079A565A5795CEE Time : 0.0 sec. user=mdettweiler [2013-08-09 19:20:01] 833*2^1250274-1 is not prime. Res64: 6469CD36D6787047 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:20:01] 837*2^1250274-1 is not prime. Res64: 7AA5CA8636652242 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:31:37] 905*2^1250274-1 is not prime. Res64: C1C434AB5A67F655 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:31:37] 917*2^1250274-1 is not prime. Res64: 77726AF4EB2366F8 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:39:51] 693*2^1250275-1 is not prime. Res64: 972FF4E3317CD22C Time : 0.0 sec. user=mdettweiler [2013-08-09 19:39:52] 909*2^1250275-1 is not prime. Res64: 880F564EB23B7184 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:40:06] 975*2^1250274-1 is not prime. Res64: CA488A85E3780AB6 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:40:06] 619*2^1250275-1 is not prime. Res64: 3F459C6FBD8A7D34 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:41:59] 973*2^1250275-1 is not prime. Res64: B5FAEBA8B64146C8 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:42:00] 615*2^1250276-1 is not prime. Res64: 119A007EA7261368 Time : 0.0 sec. user=mdettweiler [2013-08-09 19:52:30] 629*2^1250276-1 is not prime. Res64: 1F582944B4788B8A Time : 0.0 sec. user=mdettweiler [2013-08-09 19:52:30] 699*2^1250276-1 is not prime. Res64: 8F15ECDE5059268B Time : 0.0 sec. user=mdettweiler [2013-08-09 20:00:19] 785*2^1250276-1 is not prime. Res64: EEF7C01AA9546895 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:00:20] 839*2^1250276-1 is not prime. Res64: 695FDF8B8724392E Time : 0.0 sec. user=mdettweiler [2013-08-09 20:00:30] 717*2^1250276-1 is not prime. Res64: 79077C453FA53F4A Time : 0.0 sec. user=mdettweiler [2013-08-09 20:00:31] 759*2^1250276-1 is not prime. Res64: 461F55EFB918EB74 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:02:15] 893*2^1250276-1 is not prime. Res64: 17C2425061CE74B1 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:02:16] 899*2^1250276-1 is not prime. Res64: 2B5BB32B9F47C16D Time : 0.0 sec. user=mdettweiler [2013-08-09 20:13:59] 983*2^1250276-1 is not prime. Res64: 5F6D1BCEFB36E925 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:14:00] 691*2^1250277-1 is not prime. Res64: 87DB9203A2B5FD4D Time : 0.0 sec. user=mdettweiler [2013-08-09 20:21:19] 781*2^1250277-1 is not prime. Res64: B071BC251DD8FD17 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:21:20] 871*2^1250277-1 is not prime. Res64: 1E90A97999354EB3 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:22:35] 885*2^1250277-1 is not prime. Res64: 25CEB7476E06F3CD Time : 0.0 sec. user=mdettweiler [2013-08-09 20:22:35] 961*2^1250277-1 is not prime. Res64: 29675608B1E87B47 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:24:03] 979*2^1250277-1 is not prime. Res64: B167CC158C3143B0 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:24:03] 617*2^1250278-1 is not prime. Res64: FD7F9EE51BB28AC3 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:34:19] 647*2^1250278-1 is not prime. Res64: 1056034EB829B2E5 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:34:20] 681*2^1250278-1 is not prime. Res64: 422485F3EBC02B37 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:41:25] 705*2^1250278-1 is not prime. Res64: D221D783BA4ACE52 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:41:26] 791*2^1250278-1 is not prime. Res64: 8E07418545A82C22 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:44:34] 923*2^1250278-1 is not prime. Res64: F888E3EB474DA6FE Time : 0.0 sec. user=mdettweiler [2013-08-09 20:44:35] 933*2^1250278-1 is not prime. Res64: 1D1B262AFCBF13D0 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:45:05] 945*2^1250278-1 is not prime. Res64: 9DD591AEE8147FCF Time : 0.0 sec. user=mdettweiler [2013-08-09 20:45:06] 619*2^1250279-1 is not prime. Res64: F4225B1BC2807A82 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:54:09] 645*2^1250279-1 is not prime. Res64: DAEC03D64BA93468 Time : 0.0 sec. user=mdettweiler [2013-08-09 20:54:09] 679*2^1250279-1 is not prime. Res64: 5782758A269C8378 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:01:10] 685*2^1250279-1 is not prime. Res64: 360C0082E1604D7C Time : 0.0 sec. user=mdettweiler [2013-08-09 21:01:11] 753*2^1250279-1 is not prime. Res64: 19A30C2409C7EB4E Time : 0.0 sec. user=mdettweiler [2013-08-09 21:04:15] 855*2^1250279-1 is not prime. Res64: D2DD217B1064D7DF Time : 0.0 sec. user=mdettweiler [2013-08-09 21:04:17] 885*2^1250279-1 is not prime. Res64: F4BBA53CC32296BA Time : 0.0 sec. user=mdettweiler [2013-08-09 21:04:46] 797*2^1250280-1 is not prime. Res64: 80683F9DDDA13C7A Time : 0.0 sec. user=mdettweiler [2013-08-09 21:04:47] 825*2^1250280-1 is not prime. Res64: 47AC107D051B440E Time : 0.0 sec. user=mdettweiler [2013-08-09 21:13:52] 615*2^1250281-1 is not prime. Res64: 8A69F37672D79EC6 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:13:52] 745*2^1250281-1 is not prime. Res64: 21CC678BEA9160D9 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:20:58] 777*2^1250281-1 is not prime. Res64: 1505E4177F4D6740 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:20:58] 871*2^1250281-1 is not prime. Res64: 8C79C9467F9AE4A2 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:23:58] 603*2^1250282-1 is not prime. Res64: 1BF2239B68813129 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:23:59] 633*2^1250282-1 is not prime. Res64: 280DA9F6C70B1311 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:24:31] 747*2^1250282-1 is not prime. Res64: 61282F0214F0BC4F Time : 0.0 sec. user=mdettweiler [2013-08-09 21:24:31] 813*2^1250282-1 is not prime. Res64: 4EE1BDA6DC17748B Time : 0.0 sec. user=mdettweiler [2013-08-09 21:33:38] 837*2^1250282-1 is not prime. Res64: 6FF8811990527852 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:33:39] 867*2^1250282-1 is not prime. Res64: F393CAB5D4F35D80 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:40:50] 609*2^1250283-1 is not prime. Res64: 6ADFDB07C065724A Time : 0.0 sec. user=mdettweiler [2013-08-09 21:40:50] 663*2^1250283-1 is not prime. Res64: 582231045B51ED94 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:44:13] 609*2^1250284-1 is not prime. Res64: 1C83B7A79D684506 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:44:14] 749*2^1250284-1 is not prime. Res64: C9D779603D493D03 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:44:45] 675*2^1250283-1 is not prime. Res64: E626B1B616D6D164 Time : 0.0 sec. user=mdettweiler [2013-08-09 21:44:45] 961*2^1250283-1 is not prime. Res64: 1310D0B791D52BEA Time : 0.0 sec. user=mdettweiler [2013-08-09 21:53:24] 717*2^1250285-1 is not prime. Res64: CC8593C3E88107BF Time : 0.0 sec. user=mdettweiler [2013-08-09 21:53:24] 759*2^1250285-1 is not prime. Res64: E9B953AC88E16FD1 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:00:36] 805*2^1250285-1 is not prime. Res64: A52A806C4B5978E8 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:00:37] 811*2^1250285-1 is not prime. Res64: F087F4D3DDEFC1A9 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:03:59] 825*2^1250285-1 is not prime. Res64: EBBE99BBECDBD5ED Time : 0.0 sec. user=mdettweiler [2013-08-09 22:04:00] 627*2^1250286-1 is not prime. Res64: 1D76FF2A493810C0 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:04:32] 635*2^1250286-1 is not prime. Res64: D5E0D085E57C74E6 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:04:33] 683*2^1250286-1 is not prime. Res64: 28E32D6398F848D1 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:13:10] 851*2^1250286-1 is not prime. Res64: 93BE014F31227767 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:13:10] 615*2^1250287-1 is not prime. Res64: 9E7219EBDB29B072 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:20:16] 763*2^1250287-1 is not prime. Res64: 464538998384F59C Time : 0.0 sec. user=mdettweiler [2013-08-09 22:20:17] 805*2^1250287-1 is not prime. Res64: 149DAF3EAF4332EB Time : 0.0 sec. user=mdettweiler [2013-08-09 22:23:45] 841*2^1250287-1 is not prime. Res64: 4BBFD03D660E1E39 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:23:45] 843*2^1250287-1 is not prime. Res64: 8A23ED8837FF97D5 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:24:16] 603*2^1250288-1 is not prime. Res64: 014FE050449EE05D Time : 0.0 sec. user=mdettweiler [2013-08-09 22:24:17] 657*2^1250288-1 is not prime. Res64: 9E86D436DE191437 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:32:53] 669*2^1250288-1 is not prime. Res64: A806F7C8307795DB Time : 0.0 sec. user=mdettweiler [2013-08-09 22:32:53] 819*2^1250288-1 is not prime. Res64: FFF8F0C0850421AA Time : 0.0 sec. user=mdettweiler [2013-08-09 22:39:54] 839*2^1250288-1 is not prime. Res64: C97F4BB35DD44A37 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:39:54] 843*2^1250288-1 is not prime. Res64: 647BAFEF0AE292CF Time : 0.0 sec. user=mdettweiler [2013-08-09 22:43:23] 869*2^1250288-1 is not prime. Res64: DADC9480F910A1F5 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:43:23] 691*2^1250289-1 is not prime. Res64: A8C10651F0D1400D Time : 0.0 sec. user=mdettweiler [2013-08-09 22:43:54] 747*2^1250289-1 is not prime. Res64: 0845D76957B4B19C Time : 0.0 sec. user=mdettweiler [2013-08-09 22:43:54] 907*2^1250289-1 is not prime. Res64: 544CAEB6B17BF99B Time : 0.0 sec. user=mdettweiler [2013-08-09 22:54:30] 945*2^1250289-1 is not prime. Res64: 2ADB22D2B834C3FA Time : 0.0 sec. user=mdettweiler [2013-08-09 22:54:31] 969*2^1250289-1 is not prime. Res64: E8A40921511B9DD7 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:59:33] 681*2^1250290-1 is not prime. Res64: A951E53A89861D15 Time : 0.0 sec. user=mdettweiler [2013-08-09 22:59:34] 821*2^1250290-1 is not prime. Res64: ADF213C1E571B52B Time : 0.0 sec. user=mdettweiler [2013-08-09 23:03:05] 833*2^1250290-1 is not prime. Res64: 1D8AC8D625311F38 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:03:07] 867*2^1250290-1 is not prime. Res64: F1D7218A5F406079 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:04:34] 911*2^1250290-1 is not prime. Res64: 3BC5EE91E8F9916D Time : 0.0 sec. user=mdettweiler [2013-08-09 23:04:34] 971*2^1250290-1 is not prime. Res64: FA26AFE38F888B94 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:14:17] 675*2^1250291-1 is not prime. Res64: 9FB7E8793CBC1629 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:14:17] 715*2^1250291-1 is not prime. Res64: D3B2D6BDD0AD5B35 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:19:21] 783*2^1250291-1 is not prime. Res64: 6026B8027AC57600 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:19:21] 813*2^1250291-1 is not prime. Res64: 0518EABF9878C1E8 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:22:52] 695*2^1250292-1 is not prime. Res64: 27596139779360AC Time : 0.0 sec. user=mdettweiler [2013-08-09 23:22:53] 721*2^1250293-1 is not prime. Res64: 8FA0450E1BCD4ACC Time : 0.0 sec. user=mdettweiler [2013-08-09 23:24:21] 855*2^1250293-1 is not prime. Res64: 7C0721BFA8763130 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:24:21] 877*2^1250293-1 is not prime. Res64: 06425B35BB367127 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:36:00] 919*2^1250293-1 is not prime. Res64: AE3089DA01ECEC4F Time : 0.0 sec. user=mdettweiler [2013-08-09 23:36:01] 937*2^1250293-1 is not prime. Res64: 76837C49BD690719 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:39:17] 645*2^1250294-1 is not prime. Res64: EFC2BE6C95D02164 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:39:18] 677*2^1250294-1 is not prime. Res64: 7C089E81CEF91735 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:42:42] 683*2^1250294-1 is not prime. Res64: 07637AEFF36CBBC9 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:42:43] 731*2^1250294-1 is not prime. Res64: 9C96F6CE1F2D1E13 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:44:19] 755*2^1250294-1 is not prime. Res64: A44E566D402FDF24 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:44:19] 813*2^1250294-1 is not prime. Res64: 603DC0FA5F25BD6B Time : 0.0 sec. user=mdettweiler [2013-08-09 23:56:39] 897*2^1250294-1 is not prime. Res64: 673F991409860DB5 Time : 0.0 sec. user=mdettweiler [2013-08-09 23:56:39] 945*2^1250294-1 is not prime. Res64: 608606170E78051D Time : 0.0 sec. user=mdettweiler [2013-08-10 00:00:49] 953*2^1250294-1 is not prime. Res64: 81AD315E8FE99DED Time : 0.0 sec. user=mdettweiler [2013-08-10 00:00:50] 987*2^1250294-1 is not prime. Res64: A6418E6A333E1D8C Time : 0.0 sec.