user=mdettweiler [2016-04-12 00:31:04] 919*2^1425973-1 is not prime. Res64: FB33858A8231CCBF Time : 0.0 sec. user=mdettweiler [2016-04-12 00:31:04] 675*2^1425974-1 is not prime. Res64: 2C6F0F4C4E1611E6 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:31:04] 693*2^1425974-1 is not prime. Res64: 56D2B0D15383D1BE Time : 0.0 sec. user=mdettweiler [2016-04-12 00:31:05] 741*2^1425974-1 is not prime. Res64: 75AFF6A510F73A89 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:31:05] 935*2^1425974-1 is not prime. Res64: 1F2750CBA608EE51 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:42:02] 873*2^1425975-1 is not prime. Res64: 42958849F8C8E469 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:42:02] 979*2^1425975-1 is not prime. Res64: 8DB1DB0321E4E78F Time : 0.0 sec. user=mdettweiler [2016-04-12 00:42:02] 639*2^1425976-1 is not prime. Res64: AB6D05E25FE4FAB3 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:42:02] 645*2^1425976-1 is not prime. Res64: FFAF4E697E68576A Time : 0.0 sec. user=mdettweiler [2016-04-12 00:42:03] 785*2^1425976-1 is not prime. Res64: 4DFE280F65D42285 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:46:40] 849*2^1425976-1 is not prime. Res64: 0F81B1EB6902432E Time : 0.0 sec. user=mdettweiler [2016-04-12 00:46:40] 873*2^1425976-1 is not prime. Res64: 671FBCFFDA0E99AE Time : 0.0 sec. user=mdettweiler [2016-04-12 00:46:41] 909*2^1425976-1 is not prime. Res64: 1C17BA83F9D354E8 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:46:41] 947*2^1425976-1 is not prime. Res64: 70E55AC143372564 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:46:41] 983*2^1425976-1 is not prime. Res64: 6DA7CD2EC6FD1EAA Time : 0.0 sec. user=mdettweiler [2016-04-12 00:47:33] 619*2^1425977-1 is not prime. Res64: FE4530FFE632DD9C Time : 0.0 sec. user=mdettweiler [2016-04-12 00:47:33] 865*2^1425977-1 is not prime. Res64: B3571311E8379DE7 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:47:33] 871*2^1425977-1 is not prime. Res64: 8A599F49045C0BBD Time : 0.0 sec. user=mdettweiler [2016-04-12 00:47:34] 967*2^1425977-1 is not prime. Res64: 268E596A8764AAB0 Time : 0.0 sec. user=mdettweiler [2016-04-12 00:47:34] 985*2^1425977-1 is not prime. Res64: 1516BE798525BCEB Time : 0.0 sec. user=mdettweiler [2016-04-12 01:16:23] 711*2^1425978-1 is not prime. Res64: 68DA4F71B38572B9 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:16:24] 755*2^1425978-1 is not prime. Res64: 00D42B6CDC81B5D0 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:16:24] 923*2^1425978-1 is not prime. Res64: B1141306E40EDC57 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:16:24] 645*2^1425979-1 is not prime. Res64: CE78A781A09A540F Time : 0.0 sec. user=mdettweiler [2016-04-12 01:16:24] 769*2^1425979-1 is not prime. Res64: 562E2274E366EFF9 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:27:15] 855*2^1425979-1 is not prime. Res64: 54C917B908948C62 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:27:16] 883*2^1425979-1 is not prime. Res64: 78894D2A7A10F556 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:27:17] 885*2^1425979-1 is not prime. Res64: 985E2122BE6EBA53 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:27:18] 609*2^1425980-1 is not prime. Res64: A81E1FA5AC48EDEA Time : 0.0 sec. user=mdettweiler [2016-04-12 01:27:19] 767*2^1425980-1 is not prime. Res64: 72E4AA6755E5A433 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:31:53] 827*2^1425980-1 is not prime. Res64: 5D2922A1AE7D239C Time : 0.0 sec. user=mdettweiler [2016-04-12 01:31:54] 923*2^1425980-1 is not prime. Res64: 7B9B23576CEFC21D Time : 0.0 sec. user=mdettweiler [2016-04-12 01:31:55] 651*2^1425981-1 is not prime. Res64: 4A9E735F1320B990 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:31:56] 717*2^1425981-1 is not prime. Res64: A2AB0B5B8D8E2E9A Time : 0.0 sec. user=mdettweiler [2016-04-12 01:31:58] 751*2^1425981-1 is not prime. Res64: 9463FF1D2A4213B1 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:33:07] 847*2^1425981-1 is not prime. Res64: D2E231B39EBCD8BC Time : 0.0 sec. user=mdettweiler [2016-04-12 01:33:08] 975*2^1425981-1 is not prime. Res64: 5D9B77CC18C5EB4D Time : 0.0 sec. user=mdettweiler [2016-04-12 01:33:10] 731*2^1425982-1 is not prime. Res64: 0336CDD5C30209C7 Time : 0.0 sec. user=mdettweiler [2016-04-12 01:33:11] 791*2^1425982-1 is not prime. Res64: D5CC6517E77A84FD Time : 0.0 sec. user=mdettweiler [2016-04-12 01:33:13] 897*2^1425982-1 is not prime. Res64: EE1C9670B6FB52F6 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:01:37] 923*2^1425982-1 is not prime. Res64: 81F0C4F98FAD2C66 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:01:38] 945*2^1425982-1 is not prime. Res64: C7869EC9319DBAEC Time : 0.0 sec. user=mdettweiler [2016-04-12 02:01:39] 995*2^1425982-1 is not prime. Res64: 1AE45F2CEF907BBB Time : 0.0 sec. user=mdettweiler [2016-04-12 02:01:40] 615*2^1425983-1 is not prime. Res64: 6C5F0431FE01592F Time : 0.0 sec. user=mdettweiler [2016-04-12 02:01:40] 685*2^1425983-1 is not prime. Res64: DF06A5FCEF883177 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:12:46] 705*2^1425983-1 is not prime. Res64: F9ECC1E6C6A50B99 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:12:47] 729*2^1425983-1 is not prime. Res64: 4916D16D5054BC76 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:12:47] 775*2^1425983-1 is not prime. Res64: B6379161DDD6F1AE Time : 0.0 sec. user=mdettweiler [2016-04-12 02:12:47] 955*2^1425983-1 is not prime. Res64: 47A8DC4FBE0B928C Time : 0.0 sec. user=mdettweiler [2016-04-12 02:12:48] 609*2^1425984-1 is not prime. Res64: A257C27A69BE73A2 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:17:43] 615*2^1425984-1 is not prime. Res64: 4384E09D7735C12A Time : 0.0 sec. user=mdettweiler [2016-04-12 02:17:44] 707*2^1425984-1 is not prime. Res64: C05B7522DE7DA7F0 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:17:44] 725*2^1425984-1 is not prime. Res64: 4949A29E8B6CC65B Time : 0.0 sec. user=mdettweiler [2016-04-12 02:17:44] 737*2^1425984-1 is not prime. Res64: 43A214191FC00F4E Time : 0.0 sec. user=mdettweiler [2016-04-12 02:17:44] 765*2^1425984-1 is not prime. Res64: EF1D8F148ED2A290 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:18:42] 843*2^1425984-1 is not prime. Res64: FB39D73DD13DD957 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:18:42] 875*2^1425984-1 is not prime. Res64: A33B6EBC570B284C Time : 0.0 sec. user=mdettweiler [2016-04-12 02:18:42] 927*2^1425984-1 is not prime. Res64: FBE87A4AD3992004 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:18:42] 993*2^1425984-1 is not prime. Res64: BC04E482B58D6D32 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:18:43] 789*2^1425985-1 is not prime. Res64: 12F66ED63B9F0870 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:47:19] 811*2^1425985-1 is not prime. Res64: F689C189E0D2238F Time : 0.0 sec. user=mdettweiler [2016-04-12 02:47:19] 861*2^1425985-1 is not prime. Res64: 5EBE2851B3E10B79 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:47:20] 897*2^1425985-1 is not prime. Res64: 3DAE9C0B882D36BE Time : 0.0 sec. user=mdettweiler [2016-04-12 02:47:20] 955*2^1425985-1 is not prime. Res64: 874092CB9FBEEFD8 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:47:20] 651*2^1425986-1 is not prime. Res64: 64DCD49260E04FFE Time : 0.0 sec. user=mdettweiler [2016-04-12 02:58:32] 657*2^1425986-1 is not prime. Res64: E8CEF39FC91C10FC Time : 0.0 sec. user=mdettweiler [2016-04-12 02:58:33] 705*2^1425986-1 is not prime. Res64: 5F4C5C80750DD4AB Time : 0.0 sec. user=mdettweiler [2016-04-12 02:58:33] 717*2^1425986-1 is not prime. Res64: BC38CFA154639104 Time : 0.0 sec. user=mdettweiler [2016-04-12 02:58:33] 743*2^1425986-1 is not prime. Res64: 2A09D87B9539B32C Time : 0.0 sec. user=mdettweiler [2016-04-12 02:58:34] 755*2^1425986-1 is not prime. Res64: 0D4860473374D827 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:03:33] 851*2^1425986-1 is not prime. Res64: 734B2C29BBD4007A Time : 0.0 sec. user=mdettweiler [2016-04-12 03:03:35] 735*2^1425987-1 is not prime. Res64: 551C7C3AD68BFCD4 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:03:36] 751*2^1425987-1 is not prime. Res64: 3A32353DBE044E41 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:03:36] 795*2^1425987-1 is not prime. Res64: 3F90F4894E7523D9 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:03:37] 805*2^1425987-1 is not prime. Res64: DD6B5A192F45C2CE Time : 0.0 sec. user=mdettweiler [2016-04-12 03:04:21] 829*2^1425987-1 is not prime. Res64: D8C380E6D54C609A Time : 0.0 sec. user=mdettweiler [2016-04-12 03:04:22] 871*2^1425987-1 is not prime. Res64: 26C2597CB3119A91 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:04:23] 891*2^1425987-1 is not prime. Res64: C7842C561C795103 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:04:24] 961*2^1425987-1 is not prime. Res64: 31E0E7D22A63D2F4 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:04:24] 623*2^1425988-1 is not prime. Res64: 54C22F321B15415F Time : 0.0 sec. user=mdettweiler [2016-04-12 03:32:27] 639*2^1425988-1 is not prime. Res64: E801DC687AC8E083 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:32:28] 695*2^1425988-1 is not prime. Res64: A962E84761038465 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:32:29] 765*2^1425988-1 is not prime. Res64: 8633363847031330 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:32:29] 773*2^1425988-1 is not prime. Res64: 2626CC3E7D890AA2 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:32:30] 819*2^1425988-1 is not prime. Res64: 9A3036DFCD428CC5 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:43:42] 855*2^1425988-1 is not prime. Res64: 3825FFD6A625B835 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:43:43] 875*2^1425988-1 is not prime. Res64: 719B617D8786EFFE Time : 0.0 sec. user=mdettweiler [2016-04-12 03:43:44] 995*2^1425988-1 is not prime. Res64: F5B24B6E93AEBC46 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:43:44] 741*2^1425989-1 is not prime. Res64: FE539EF14D5ACE33 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:43:45] 745*2^1425989-1 is not prime. Res64: 84D2F2675326B305 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:48:53] 889*2^1425989-1 is not prime. Res64: 1365414A9697CBC3 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:48:55] 651*2^1425990-1 is not prime. Res64: 0A3BD9E3CA453538 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:48:55] 677*2^1425990-1 is not prime. Res64: E81374D9D30D9CDE Time : 0.0 sec. user=mdettweiler [2016-04-12 03:48:56] 681*2^1425990-1 is not prime. Res64: FF4ECEA1B46E1C6C Time : 0.0 sec. user=mdettweiler [2016-04-12 03:48:57] 717*2^1425990-1 is not prime. Res64: 36884AACE16EBB6D Time : 0.0 sec. user=mdettweiler [2016-04-12 03:49:27] 725*2^1425990-1 is not prime. Res64: 48F2DC9AB94C836B Time : 0.0 sec. user=mdettweiler [2016-04-12 03:49:28] 797*2^1425990-1 is not prime. Res64: 3B48C22EAD1496A0 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:49:28] 825*2^1425990-1 is not prime. Res64: 6CF2BB4E539F686D Time : 0.0 sec. user=mdettweiler [2016-04-12 03:49:28] 893*2^1425990-1 is not prime. Res64: 2B2494ABFF401E10 Time : 0.0 sec. user=mdettweiler [2016-04-12 03:49:29] 927*2^1425990-1 is not prime. Res64: 1DA538E50B6786E3 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:17:35] 861*2^1425991-1 is not prime. Res64: E68B445F1C291715 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:17:35] 895*2^1425991-1 is not prime. Res64: 95794209FF8AB63D Time : 0.0 sec. user=mdettweiler [2016-04-12 04:17:35] 943*2^1425991-1 is not prime. Res64: 2720544269BABE37 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:17:36] 609*2^1425992-1 is not prime. Res64: 00533A6BAF4C40A8 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:17:36] 735*2^1425992-1 is not prime. Res64: 03C2020FC010638D Time : 0.0 sec. user=mdettweiler [2016-04-12 04:29:07] 785*2^1425992-1 is not prime. Res64: 5B13B6FC0AB498B7 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:29:08] 803*2^1425992-1 is not prime. Res64: F6435642776842E7 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:29:08] 855*2^1425992-1 is not prime. Res64: 0B280E749D638870 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:29:08] 873*2^1425992-1 is not prime. Res64: EA4E113D702CE29F Time : 0.0 sec. user=mdettweiler [2016-04-12 04:29:08] 929*2^1425992-1 is not prime. Res64: 52A36AA08A00A8FA Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:09] 615*2^1425993-1 is not prime. Res64: 76FCF5E52DCA9B26 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:09] 625*2^1425993-1 is not prime. Res64: FA5E8655DB0F711F Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:09] 747*2^1425993-1 is not prime. Res64: 903DD4E4177BFD24 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:09] 765*2^1425993-1 is not prime. Res64: 90D463CA859FC523 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:10] 769*2^1425993-1 is not prime. Res64: 0E679ADDD6A8785C Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:59] 805*2^1425993-1 is not prime. Res64: E077939C3AFC1718 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:34:59] 803*2^1425994-1 is not prime. Res64: 2CAD390D5C30690B Time : 0.0 sec. user=mdettweiler [2016-04-12 04:35:00] 645*2^1425995-1 is not prime. Res64: F96F4FE5ADC31E59 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:35:00] 673*2^1425995-1 is not prime. Res64: 2139686C0A9B5423 Time : 0.0 sec. user=mdettweiler [2016-04-12 04:35:00] 693*2^1425995-1 is not prime. Res64: 607129D3F3FE608F Time : 0.0 sec. user=mdettweiler [2016-04-12 05:03:53] 733*2^1425995-1 is not prime. Res64: 313282B78CDB45E5 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:03:54] 735*2^1425995-1 is not prime. Res64: 68B71198FFADF146 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:03:55] 855*2^1425995-1 is not prime. Res64: BA8B0E5D50F098D8 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:03:56] 915*2^1425995-1 is not prime. Res64: 314B3E178BCE5222 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:03:56] 635*2^1425996-1 is not prime. Res64: F0E7244B64B3C00D Time : 0.0 sec. user=mdettweiler [2016-04-12 05:15:34] 669*2^1425996-1 is not prime. Res64: FC4FD55B86D17C4B Time : 0.0 sec. user=mdettweiler [2016-04-12 05:15:35] 699*2^1425996-1 is not prime. Res64: 927900F372AD97A4 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:15:35] 717*2^1425996-1 is not prime. Res64: F523EC20B3BF8AEB Time : 0.0 sec. user=mdettweiler [2016-04-12 05:15:35] 843*2^1425996-1 is not prime. Res64: E5C5304179B5821D Time : 0.0 sec. user=mdettweiler [2016-04-12 05:15:35] 857*2^1425996-1 is not prime. Res64: 9E620ED880404329 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:20:22] 879*2^1425996-1 is not prime. Res64: 65E32964AF26457A Time : 0.0 sec. user=mdettweiler [2016-04-12 05:20:22] 903*2^1425996-1 is not prime. Res64: 6A0F87986DD1BB9E Time : 0.0 sec. user=mdettweiler [2016-04-12 05:20:22] 975*2^1425996-1 is not prime. Res64: 74C7A53F58C919F4 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:20:22] 999*2^1425996-1 is not prime. Res64: EF4584E7FCE7B35B Time : 0.0 sec. user=mdettweiler [2016-04-12 05:20:23] 651*2^1425997-1 is not prime. Res64: 79B7E7076C1806B1 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:21:33] 661*2^1425997-1 is not prime. Res64: 3E62AC4F8F9A5DD8 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:21:34] 825*2^1425997-1 is not prime. Res64: A141306786C47E15 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:21:34] 847*2^1425997-1 is not prime. Res64: 8A2FA2F891A10392 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:21:34] 861*2^1425997-1 is not prime. Res64: 98B2AEDD3F607F9D Time : 0.0 sec. user=mdettweiler [2016-04-12 05:21:34] 931*2^1425997-1 is not prime. Res64: BBB957A0AF8395B4 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:49:40] 663*2^1425998-1 is not prime. Res64: 21631BC0E8D1B24D Time : 0.0 sec. user=mdettweiler [2016-04-12 05:49:40] 665*2^1425998-1 is not prime. Res64: E5E838D849BDE8B8 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:49:40] 791*2^1425998-1 is not prime. Res64: BD12A385A068D239 Time : 0.0 sec. user=mdettweiler [2016-04-12 05:49:41] 801*2^1425998-1 is not prime. Res64: A4C628359D86BD4E Time : 0.0 sec. user=mdettweiler [2016-04-12 05:49:41] 813*2^1425998-1 is not prime. Res64: 796D46D6D39877F4 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:00:57] 815*2^1425998-1 is not prime. Res64: E21418BB7F1F5058 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:00:58] 971*2^1425998-1 is not prime. Res64: B4B685E8F21B6733 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:00:58] 625*2^1425999-1 is not prime. Res64: 2FC565337CC987B4 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:00:59] 663*2^1425999-1 is not prime. Res64: 1930832ACBAD3006 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:00:59] 691*2^1425999-1 is not prime. Res64: D9C872FAC3268913 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:05:48] 711*2^1425999-1 is not prime. Res64: 7A4913C4C9899B02 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:05:49] 741*2^1425999-1 is not prime. Res64: CC7DE1DFC13E9C39 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:05:50] 793*2^1425999-1 is not prime. Res64: B2A970285E166585 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:05:51] 885*2^1425999-1 is not prime. Res64: AD086A6CC827791E Time : 0.0 sec. user=mdettweiler [2016-04-12 06:05:51] 949*2^1425999-1 is not prime. Res64: 3EFBDA24CD883E60 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:06:44] 653*2^1426000-1 is not prime. Res64: BC9AE52A5CB782F6 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:06:45] 693*2^1426000-1 is not prime. Res64: 0308F198A9B36E30 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:06:45] 723*2^1426000-1 is not prime. Res64: 0F10E318EDBA10E2 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:06:45] 897*2^1426000-1 is not prime. Res64: FC0F4263BFFED076 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:06:46] 939*2^1426000-1 is not prime. Res64: 653B5C8379762139 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:34:53] 615*2^1426001-1 is not prime. Res64: EF7524F26884C232 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:34:53] 669*2^1426001-1 is not prime. Res64: 3187E2852095AEB7 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:34:54] 861*2^1426001-1 is not prime. Res64: E8B8CC02CF504EFF Time : 0.0 sec. user=mdettweiler [2016-04-12 06:34:54] 889*2^1426001-1 is not prime. Res64: F961E3677F58E2CD Time : 0.0 sec. user=mdettweiler [2016-04-12 06:34:54] 909*2^1426001-1 is not prime. Res64: 59D1170C24D488CA Time : 0.0 sec. user=mdettweiler [2016-04-12 06:46:23] 747*2^1426002-1 is not prime. Res64: 80374056BE24AC84 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:46:23] 815*2^1426002-1 is not prime. Res64: 5EE5BDE5952AE9AF Time : 0.0 sec. user=mdettweiler [2016-04-12 06:46:24] 875*2^1426002-1 is not prime. Res64: D05F4B5ED108928E Time : 0.0 sec. user=mdettweiler [2016-04-12 06:46:24] 963*2^1426002-1 is not prime. Res64: 393EDCFD1AF87704 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:46:24] 705*2^1426003-1 is not prime. Res64: C4C5D7AE4592337B Time : 0.0 sec. user=mdettweiler [2016-04-12 06:51:06] 741*2^1426003-1 is not prime. Res64: ED3931026E6728A0 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:51:06] 819*2^1426003-1 is not prime. Res64: 7C6A801EFBAB1946 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:51:06] 835*2^1426003-1 is not prime. Res64: DA9846729471B2A1 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:51:06] 605*2^1426004-1 is not prime. Res64: 1FF6ADD451DEB002 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:51:07] 617*2^1426004-1 is not prime. Res64: 3DB230D9821DC4EC Time : 0.0 sec. user=mdettweiler [2016-04-12 06:52:15] 773*2^1426004-1 is not prime. Res64: F2AE7D212593036C Time : 0.0 sec. user=mdettweiler [2016-04-12 06:52:15] 795*2^1426004-1 is not prime. Res64: B5E8BF998A2593D3 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:52:15] 855*2^1426004-1 is not prime. Res64: 4353191B6671EE16 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:52:15] 893*2^1426004-1 is not prime. Res64: 23194FD2454BFA08 Time : 0.0 sec. user=mdettweiler [2016-04-12 06:52:15] 995*2^1426004-1 is not prime. Res64: D4B38DA436346940 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:19:47] 847*2^1426005-1 is not prime. Res64: F477069AC1D68611 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:19:48] 885*2^1426005-1 is not prime. Res64: 02109E70595AF9C4 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:19:48] 999*2^1426005-1 is not prime. Res64: EEA38FCFEDF2136C Time : 0.0 sec. user=mdettweiler [2016-04-12 07:19:48] 705*2^1426006-1 is not prime. Res64: CF795AC2D0713014 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:19:49] 773*2^1426006-1 is not prime. Res64: E384E5ECD136E577 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:31:41] 777*2^1426006-1 is not prime. Res64: 85BE3CAEF2991851 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:31:41] 815*2^1426006-1 is not prime. Res64: 814538B7A96273CE Time : 0.0 sec. user=mdettweiler [2016-04-12 07:31:42] 821*2^1426006-1 is not prime. Res64: 65851985825D0541 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:31:42] 975*2^1426006-1 is not prime. Res64: 35E21196011BEFA5 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:31:42] 615*2^1426007-1 is not prime. Res64: 037E9EF8CE6AA35C Time : 0.0 sec. user=mdettweiler [2016-04-12 07:36:19] 759*2^1426007-1 is not prime. Res64: BEC3D17E10D717FD Time : 0.0 sec. user=mdettweiler [2016-04-12 07:36:19] 775*2^1426007-1 is not prime. Res64: 9D363F61081AA717 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:36:19] 819*2^1426007-1 is not prime. Res64: 5168F4D124A3CC1A Time : 0.0 sec. user=mdettweiler [2016-04-12 07:36:20] 879*2^1426007-1 is not prime. Res64: 85F0A520255B60F6 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:36:20] 939*2^1426007-1 is not prime. Res64: 404E078CF4B263C5 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:37:31] 973*2^1426007-1 is not prime. Res64: 6F29FFA06F9B426B Time : 0.0 sec. user=mdettweiler [2016-04-12 07:37:31] 705*2^1426008-1 is not prime. Res64: 5A4E884C298CEF47 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:37:31] 737*2^1426008-1 is not prime. Res64: 4A87F847B826028C Time : 0.0 sec. user=mdettweiler [2016-04-12 07:37:31] 789*2^1426008-1 is not prime. Res64: 79199DE8EDE49157 Time : 0.0 sec. user=mdettweiler [2016-04-12 07:37:32] 795*2^1426008-1 is not prime. Res64: 6C7FBD5EB8CDFB4F Time : 0.0 sec. user=mdettweiler [2016-04-12 08:04:56] 899*2^1426008-1 is not prime. Res64: 427D31C29DAF28E5 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:04:57] 945*2^1426008-1 is not prime. Res64: F52065427AA3CB32 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:04:58] 975*2^1426008-1 is not prime. Res64: 75E5CD9529CE6DD4 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:05:00] 993*2^1426008-1 is not prime. Res64: 74FC26EADA14756B Time : 0.0 sec. user=mdettweiler [2016-04-12 08:05:01] 667*2^1426009-1 is not prime. Res64: 35F50DB4DE5C1A59 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:17:11] 699*2^1426009-1 is not prime. Res64: AD9C0296F728784E Time : 0.0 sec. user=mdettweiler [2016-04-12 08:17:11] 741*2^1426009-1 is not prime. Res64: F04E0FD3D2853ABF Time : 0.0 sec. user=mdettweiler [2016-04-12 08:17:11] 775*2^1426009-1 is not prime. Res64: D09C64E1D89CC17A Time : 0.0 sec. user=mdettweiler [2016-04-12 08:17:12] 847*2^1426009-1 is not prime. Res64: 40DAC025973C5D51 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:17:12] 867*2^1426009-1 is not prime. Res64: 8E00909517CBE516 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:21:45] 885*2^1426009-1 is not prime. Res64: F4EC9E7A5D3C96FD Time : 0.0 sec. user=mdettweiler [2016-04-12 08:21:45] 895*2^1426009-1 is not prime. Res64: 7129215BA6DE7477 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:21:45] 975*2^1426009-1 is not prime. Res64: D65E846290AAD1E9 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:21:45] 665*2^1426010-1 is not prime. Res64: E90976EE7EB665BD Time : 0.0 sec. user=mdettweiler [2016-04-12 08:21:46] 675*2^1426010-1 is not prime. Res64: 0521A0AF1C408571 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:23:00] 707*2^1426010-1 is not prime. Res64: 8E2EB51DCF9E42B7 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:23:01] 767*2^1426010-1 is not prime. Res64: 022893EF2AF9B12E Time : 0.0 sec. user=mdettweiler [2016-04-12 08:23:01] 971*2^1426010-1 is not prime. Res64: E2791DDB8BD14E98 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:23:01] 601*2^1426011-1 is not prime. Res64: 35E36CFD4A5CFB5D Time : 0.0 sec. user=mdettweiler [2016-04-12 08:23:01] 643*2^1426011-1 is not prime. Res64: 93F0B4D890CAFB26 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:50:19] 685*2^1426011-1 is not prime. Res64: 49CB5DCD15B923D7 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:50:19] 709*2^1426011-1 is not prime. Res64: 3FEB2A09CC589D24 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:50:19] 783*2^1426011-1 is not prime. Res64: 3B7D741E3FF00B10 Time : 0.0 sec. user=mdettweiler [2016-04-12 08:50:20] 801*2^1426011-1 is not prime. Res64: EA7D742BF36BF2BC Time : 0.0 sec. user=mdettweiler [2016-04-12 08:50:20] 829*2^1426011-1 is not prime. Res64: 6B5E745FB1D3E56C Time : 0.0 sec. user=mdettweiler [2016-04-12 09:02:25] 931*2^1426011-1 is not prime. Res64: DCDB8F1A1F8BEACB Time : 0.0 sec. user=mdettweiler [2016-04-12 09:02:26] 955*2^1426011-1 is not prime. Res64: 4D6519A5455DD7A0 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:02:27] 961*2^1426011-1 is not prime. Res64: 5F4CBCA9F51A0172 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:02:28] 623*2^1426012-1 is not prime. Res64: 96A7D38EC200D54E Time : 0.0 sec. user=mdettweiler [2016-04-12 09:02:28] 653*2^1426012-1 is not prime. Res64: 613911B9266E7F20 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:06:56] 749*2^1426012-1 is not prime. Res64: 8D43586B738FCE3F Time : 0.0 sec. user=mdettweiler [2016-04-12 09:06:57] 785*2^1426012-1 is not prime. Res64: D841973DDEF2A148 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:06:58] 803*2^1426012-1 is not prime. Res64: 4F573D3CCAD65F60 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:06:59] 939*2^1426012-1 is not prime. Res64: 6C7DE97A43311194 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:07:00] 691*2^1426013-1 is not prime. Res64: 2245A63A9C1D6D27 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:08:08] 729*2^1426013-1 is not prime. Res64: 36B42914274B9B1F Time : 0.0 sec. user=mdettweiler [2016-04-12 09:08:08] 771*2^1426013-1 is not prime. Res64: D8134EC212F8CB53 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:08:09] 811*2^1426013-1 is not prime. Res64: 89D66F5B3D8D174A Time : 0.0 sec. user=mdettweiler [2016-04-12 09:08:09] 829*2^1426013-1 is not prime. Res64: B27E4212095DD79D Time : 0.0 sec. user=mdettweiler [2016-04-12 09:08:09] 927*2^1426013-1 is not prime. Res64: 558372C876992194 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:35:37] 939*2^1426013-1 is not prime. Res64: D44AC05BB7CDFF50 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:35:37] 969*2^1426013-1 is not prime. Res64: 2C5142C20910E02F Time : 0.0 sec. user=mdettweiler [2016-04-12 09:35:38] 621*2^1426014-1 is not prime. Res64: 570CB5D79A019C7E Time : 0.0 sec. user=mdettweiler [2016-04-12 09:35:38] 671*2^1426014-1 is not prime. Res64: 8677BF1147F05967 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:35:38] 693*2^1426014-1 is not prime. Res64: 648069442564A5E1 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:48:00] 851*2^1426014-1 is not prime. Res64: 0A465DF7B5AD8699 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:48:00] 873*2^1426014-1 is not prime. Res64: 2C5EBA1B3B004672 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:48:00] 917*2^1426014-1 is not prime. Res64: 30095D9E900F1770 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:48:00] 941*2^1426014-1 is not prime. Res64: D9F609641562D633 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:48:01] 945*2^1426014-1 is not prime. Res64: 613875F85A7093BB Time : 0.0 sec. user=mdettweiler [2016-04-12 09:52:25] 947*2^1426014-1 is not prime. Res64: 78E12E3E94D2F242 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:52:25] 975*2^1426014-1 is not prime. Res64: 4072B6B7519B4AB6 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:52:25] 993*2^1426014-1 is not prime. Res64: E3EC51DEF6555525 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:52:26] 633*2^1426015-1 is not prime. Res64: B43D283E7FABA8BA Time : 0.0 sec. user=mdettweiler [2016-04-12 09:52:26] 709*2^1426015-1 is not prime. Res64: D58D38052FABE993 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:53:30] 741*2^1426015-1 is not prime. Res64: 45C34148D9A4684C Time : 0.0 sec. user=mdettweiler [2016-04-12 09:53:30] 805*2^1426015-1 is not prime. Res64: E5BEE1CD241DFDFB Time : 0.0 sec. user=mdettweiler [2016-04-12 09:53:30] 831*2^1426015-1 is not prime. Res64: 249F3AA16DF61AAE Time : 0.0 sec. user=mdettweiler [2016-04-12 09:53:31] 925*2^1426015-1 is not prime. Res64: F6028E62AE7D3F14 Time : 0.0 sec. user=mdettweiler [2016-04-12 09:53:31] 617*2^1426016-1 is not prime. Res64: E7EE8FB22ECECF66 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:20:42] 623*2^1426016-1 is not prime. Res64: 4C6BC77C8EC384CB Time : 0.0 sec. user=mdettweiler [2016-04-12 10:20:43] 633*2^1426016-1 is not prime. Res64: E931ECC5EFD705B2 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:20:43] 677*2^1426016-1 is not prime. Res64: 0536B466F8ECBF5C Time : 0.0 sec. user=mdettweiler [2016-04-12 10:20:43] 725*2^1426016-1 is not prime. Res64: 75BC212C45ACEFE7 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:20:44] 813*2^1426016-1 is not prime. Res64: C0059DFE5CDEDA2D Time : 0.0 sec. user=mdettweiler [2016-04-12 10:33:20] 935*2^1426016-1 is not prime. Res64: B3B65E8DDB812011 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:33:21] 957*2^1426016-1 is not prime. Res64: 391C448DA759FDC2 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:33:21] 747*2^1426017-1 is not prime. Res64: 109185E68F69C980 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:33:21] 861*2^1426017-1 is not prime. Res64: FADA0BE00320D715 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:33:21] 915*2^1426017-1 is not prime. Res64: A7762DD822D05A6C Time : 0.0 sec. user=mdettweiler [2016-04-12 10:37:41] 997*2^1426017-1 is not prime. Res64: AFB742C429BFBF76 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:37:42] 621*2^1426018-1 is not prime. Res64: 9DC17C3FDB33627A Time : 0.0 sec. user=mdettweiler [2016-04-12 10:37:42] 635*2^1426018-1 is not prime. Res64: E140C269115CE69B Time : 0.0 sec. user=mdettweiler [2016-04-12 10:37:42] 647*2^1426018-1 is not prime. Res64: 96A86647DFB467BC Time : 0.0 sec. user=mdettweiler [2016-04-12 10:37:42] 705*2^1426018-1 is not prime. Res64: A1B77CD27E71A233 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:38:53] 723*2^1426018-1 is not prime. Res64: FC40BF57CF68DC31 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:38:53] 765*2^1426018-1 is not prime. Res64: 155936A9603ECDF4 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:38:54] 773*2^1426018-1 is not prime. Res64: B64577683AFAC397 Time : 0.0 sec. user=mdettweiler [2016-04-12 10:38:54] 843*2^1426018-1 is not prime. Res64: 06183519BA70808E Time : 0.0 sec. user=mdettweiler [2016-04-12 10:38:54] 993*2^1426018-1 is not prime. Res64: 7056D57F92D323B8 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:05:56] 615*2^1426019-1 is not prime. Res64: AC979D1B42CE1AD5 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:05:57] 631*2^1426019-1 is not prime. Res64: A796648D9EF75737 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:05:58] 675*2^1426019-1 is not prime. Res64: F6C021C31EC6BD8E Time : 0.0 sec. user=mdettweiler [2016-04-12 11:05:59] 703*2^1426019-1 is not prime. Res64: 24759AAFFC5BF7AE Time : 0.0 sec. user=mdettweiler [2016-04-12 11:06:00] 741*2^1426019-1 is not prime. Res64: DC461E493D718EFB Time : 0.0 sec. user=mdettweiler [2016-04-12 11:18:25] 883*2^1426019-1 is not prime. Res64: 124396A28656C64B Time : 0.0 sec. user=mdettweiler [2016-04-12 11:18:25] 629*2^1426020-1 is not prime. Res64: 88211E1DA7C38D74 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:18:26] 725*2^1426020-1 is not prime. Res64: CE6D2FD018A69627 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:18:26] 767*2^1426020-1 is not prime. Res64: 720476549C3D28F1 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:18:26] 875*2^1426020-1 is not prime. Res64: B48B9719304BF9C6 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:22:42] 929*2^1426020-1 is not prime. Res64: 701B7E592670A7D7 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:22:43] 607*2^1426021-1 is not prime. Res64: 680AF091E0470117 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:22:43] 681*2^1426021-1 is not prime. Res64: 2AF20FFE26714C76 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:22:43] 715*2^1426021-1 is not prime. Res64: E631B7F4D2B3EABB Time : 0.0 sec. user=mdettweiler [2016-04-12 11:22:43] 717*2^1426021-1 is not prime. Res64: 7F5F08452691D586 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:23:58] 727*2^1426021-1 is not prime. Res64: B8F37E2684D372DA Time : 0.0 sec. user=mdettweiler [2016-04-12 11:23:58] 741*2^1426021-1 is not prime. Res64: FD6AE21677D091E1 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:23:58] 855*2^1426021-1 is not prime. Res64: 97E2FB10100750AC Time : 0.0 sec. user=mdettweiler [2016-04-12 11:23:59] 961*2^1426021-1 is not prime. Res64: 00D3967D2A1CBCAD Time : 0.0 sec. user=mdettweiler [2016-04-12 11:23:59] 967*2^1426021-1 is not prime. Res64: F30EA095A19FBBD2 Time : 0.0 sec. user=mdettweiler [2016-04-12 11:51:19] 675*2^1426022-1 is not prime. Res64: FC9434355772DA5F Time : 0.0 sec. user=mdettweiler [2016-04-12 11:51:19] 683*2^1426022-1 is not prime. Res64: 1D44DF25F4AD8E9C Time : 0.0 sec. user=mdettweiler [2016-04-12 11:51:19] 761*2^1426022-1 is not prime. Res64: AC81807232CBE20E Time : 0.0 sec. user=mdettweiler [2016-04-12 11:51:19] 771*2^1426022-1 is not prime. Res64: BAE5312557E05EAE Time : 0.0 sec. user=mdettweiler [2016-04-12 11:51:20] 921*2^1426022-1 is not prime. Res64: FE03D2B909689E3B Time : 0.0 sec. user=mdettweiler [2016-04-12 12:03:41] 923*2^1426022-1 is not prime. Res64: F418A7FD804E0431 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:03:42] 945*2^1426022-1 is not prime. Res64: 3701AD57498B16C0 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:03:43] 663*2^1426023-1 is not prime. Res64: B3395C0CF7FC10F3 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:03:44] 709*2^1426023-1 is not prime. Res64: BCE61424C8CADF21 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:03:45] 789*2^1426023-1 is not prime. Res64: 424F8F769D23AD19 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:08:00] 819*2^1426023-1 is not prime. Res64: 6574AC92AD515487 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:08:00] 829*2^1426023-1 is not prime. Res64: 661E348F80D5DB24 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:08:00] 859*2^1426023-1 is not prime. Res64: C799C5E23FB416AE Time : 0.0 sec. user=mdettweiler [2016-04-12 12:08:00] 901*2^1426023-1 is not prime. Res64: 22E45E80AF0B5CE7 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:08:01] 951*2^1426023-1 is not prime. Res64: 19C975AFDFC80FE4 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:09:21] 723*2^1426024-1 is not prime. Res64: EA3E44CBF37BEAE7 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:09:22] 813*2^1426024-1 is not prime. Res64: C78BC997DDF6E75C Time : 0.0 sec. user=mdettweiler [2016-04-12 12:09:22] 857*2^1426024-1 is not prime. Res64: CA0FD7FA8701CB60 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:09:22] 699*2^1426025-1 is not prime. Res64: 3547C087560D376A Time : 0.0 sec. user=mdettweiler [2016-04-12 12:09:23] 909*2^1426025-1 is not prime. Res64: 03D51C8AE999758F Time : 0.0 sec. user=mdettweiler [2016-04-12 12:37:28] 969*2^1426025-1 is not prime. Res64: 0D2BF1BB278962B1 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:37:28] 633*2^1426026-1 is not prime. Res64: 16E553C294B80815 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:37:28] 717*2^1426026-1 is not prime. Res64: 9B130C6937E9BE05 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:37:28] 741*2^1426026-1 is not prime. Res64: BA727C90A78444B7 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:37:29] 765*2^1426026-1 is not prime. Res64: 626D381877A614C8 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:50:11] 777*2^1426026-1 is not prime. Res64: 5E4FB0D0DF3E2E77 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:50:11] 893*2^1426026-1 is not prime. Res64: 59B35861A1997959 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:50:11] 615*2^1426027-1 is not prime. Res64: 616B2468B5479943 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:50:11] 619*2^1426027-1 is not prime. Res64: AD628D58361E8428 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:50:12] 633*2^1426027-1 is not prime. Res64: 21CCACC3544F3CBF Time : 0.0 sec. user=mdettweiler [2016-04-12 12:54:05] 691*2^1426027-1 is not prime. Res64: F4CBBC425B6524C4 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:54:05] 861*2^1426027-1 is not prime. Res64: 8ACA872516A7B122 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:54:06] 889*2^1426027-1 is not prime. Res64: 5C985F7FB77ECE9A Time : 0.0 sec. user=mdettweiler [2016-04-12 12:54:06] 931*2^1426027-1 is not prime. Res64: DB5A6E16A663C902 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:54:06] 985*2^1426027-1 is not prime. Res64: 7DCB815C4E558EBD Time : 0.0 sec. user=mdettweiler [2016-04-12 12:55:33] 657*2^1426028-1 is not prime. Res64: 7529B3DBDE571D6A Time : 0.0 sec. user=mdettweiler [2016-04-12 12:55:33] 843*2^1426028-1 is not prime. Res64: 59082BA10999A0F8 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:55:33] 879*2^1426028-1 is not prime. Res64: 173A50DF583E6FCD Time : 0.0 sec. user=mdettweiler [2016-04-12 12:55:34] 929*2^1426028-1 is not prime. Res64: B9C3D6C6E7B18269 Time : 0.0 sec. user=mdettweiler [2016-04-12 12:55:34] 615*2^1426029-1 is not prime. Res64: 75D49235F3EE5D37 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:23:26] 789*2^1426029-1 is not prime. Res64: 835BA3AD196F1681 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:23:27] 817*2^1426029-1 is not prime. Res64: 8F2BD654BAEBDD08 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:23:27] 645*2^1426030-1 is not prime. Res64: C7D606348E9FB572 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:23:27] 665*2^1426030-1 is not prime. Res64: CF6D45CFE9F6CE9F Time : 0.0 sec. user=mdettweiler [2016-04-12 13:23:28] 731*2^1426030-1 is not prime. Res64: C9050D0EBF4D45C5 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:37:29] 785*2^1426030-1 is not prime. Res64: 6C4F45E635EA04EC Time : 0.0 sec. user=mdettweiler [2016-04-12 13:37:30] 857*2^1426030-1 is not prime. Res64: 34C1C6682EDD3F7B Time : 0.0 sec. user=mdettweiler [2016-04-12 13:37:30] 861*2^1426030-1 is not prime. Res64: D0540D47C35B3EED Time : 0.0 sec. user=mdettweiler [2016-04-12 13:37:30] 941*2^1426030-1 is not prime. Res64: EFD31D23EBEEB834 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:37:31] 975*2^1426030-1 is not prime. Res64: EBBA2D2D92A96C43 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:41:24] 615*2^1426031-1 is not prime. Res64: 474D889283569671 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:41:24] 735*2^1426031-1 is not prime. Res64: 291487B18998735C Time : 0.0 sec. user=mdettweiler [2016-04-12 13:41:24] 753*2^1426031-1 is not prime. Res64: FD8EF5719A204AD7 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:41:25] 759*2^1426031-1 is not prime. Res64: 35B56BA6A98E902B Time : 0.0 sec. user=mdettweiler [2016-04-12 13:41:25] 665*2^1426032-1 is not prime. Res64: 63C347354AE04429 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:42:47] 669*2^1426032-1 is not prime. Res64: CEB76B5068E272C0 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:42:48] 765*2^1426032-1 is not prime. Res64: 9B25AB7CEC63C539 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:42:48] 767*2^1426032-1 is not prime. Res64: 5A4D8F423EBFD85B Time : 0.0 sec. user=mdettweiler [2016-04-12 13:42:48] 819*2^1426032-1 is not prime. Res64: 61F156D1669851B0 Time : 0.0 sec. user=mdettweiler [2016-04-12 13:42:48] 863*2^1426032-1 is not prime. Res64: 8176EE88C27FA341 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:12:54] 899*2^1426032-1 is not prime. Res64: F262F8A491438433 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:12:54] 945*2^1426032-1 is not prime. Res64: BE93D52A7403A4ED Time : 0.0 sec. user=mdettweiler [2016-04-12 14:12:54] 609*2^1426033-1 is not prime. Res64: D5C78D9601E31A0F Time : 0.0 sec. user=mdettweiler [2016-04-12 14:12:55] 769*2^1426033-1 is not prime. Res64: AF5619994AF643C0 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:12:55] 937*2^1426033-1 is not prime. Res64: FE6EFEABEC0ACA4A Time : 0.0 sec. user=mdettweiler [2016-04-12 14:26:10] 957*2^1426033-1 is not prime. Res64: C75F9BC6F14F0D76 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:26:10] 985*2^1426033-1 is not prime. Res64: D2413BD89A651DDB Time : 0.0 sec. user=mdettweiler [2016-04-12 14:26:10] 641*2^1426034-1 is not prime. Res64: 5DB0F085CDC1F3B4 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:26:10] 645*2^1426034-1 is not prime. Res64: B417F3A40E1922B8 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:26:11] 675*2^1426034-1 is not prime. Res64: FADF38643BB739D6 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:29:52] 813*2^1426034-1 is not prime. Res64: E60DE22768FDDB9C Time : 0.0 sec. user=mdettweiler [2016-04-12 14:29:52] 857*2^1426034-1 is not prime. Res64: 92939EC1A2D1B76C Time : 0.0 sec. user=mdettweiler [2016-04-12 14:29:52] 861*2^1426034-1 is not prime. Res64: 3B21EB07929AB43C Time : 0.0 sec. user=mdettweiler [2016-04-12 14:29:53] 885*2^1426034-1 is not prime. Res64: 2F7CAD619FDD7425 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:29:53] 971*2^1426034-1 is not prime. Res64: BC84295F660FC1DC Time : 0.0 sec. user=mdettweiler [2016-04-12 14:31:47] 709*2^1426035-1 is not prime. Res64: D6B9FA3B5E70687A Time : 0.0 sec. user=mdettweiler [2016-04-12 14:31:47] 765*2^1426035-1 is not prime. Res64: 6ECEBDB2C18AB13E Time : 0.0 sec. user=mdettweiler [2016-04-12 14:31:48] 789*2^1426035-1 is not prime. Res64: A403081BD0D8E6F3 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:31:48] 819*2^1426035-1 is not prime. Res64: 52CA29D6446BEF73 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:31:48] 963*2^1426035-1 is not prime. Res64: E927823C823378DD Time : 0.0 sec. user=mdettweiler [2016-04-12 14:59:27] 969*2^1426035-1 is not prime. Res64: B4D5328F86F4E023 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:59:27] 617*2^1426036-1 is not prime. Res64: 37D4C2C268FC55AE Time : 0.0 sec. user=mdettweiler [2016-04-12 14:59:28] 735*2^1426036-1 is not prime. Res64: 91EAA1FEABE968A8 Time : 0.0 sec. user=mdettweiler [2016-04-12 14:59:28] 743*2^1426036-1 is not prime. Res64: 7A89361A7DAEB08A Time : 0.0 sec. user=mdettweiler [2016-04-12 14:59:28] 803*2^1426036-1 is not prime. Res64: 372E4C1D01242782 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:12:31] 983*2^1426036-1 is not prime. Res64: 185DD04411A00B67 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:12:31] 615*2^1426037-1 is not prime. Res64: 4F6C1C195F0379EA Time : 0.0 sec. user=mdettweiler [2016-04-12 15:12:31] 717*2^1426037-1 is not prime. Res64: A91B52C90599A4DD Time : 0.0 sec. user=mdettweiler [2016-04-12 15:12:32] 759*2^1426037-1 is not prime. Res64: 98F2614001008E2B Time : 0.0 sec. user=mdettweiler [2016-04-12 15:12:32] 771*2^1426037-1 is not prime. Res64: E6DBF76929B771C8 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:16:14] 927*2^1426037-1 is not prime. Res64: C4E3882E054638EB Time : 0.0 sec. user=mdettweiler [2016-04-12 15:16:15] 957*2^1426037-1 is not prime. Res64: 49D58F41F21A35B7 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:16:15] 731*2^1426038-1 is not prime. Res64: 2A69ABFC30906125 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:16:15] 797*2^1426038-1 is not prime. Res64: B69C7C57D0C81E99 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:16:16] 815*2^1426038-1 is not prime. Res64: E07839918A71501E Time : 0.0 sec. user=mdettweiler [2016-04-12 15:18:18] 601*2^1426039-1 is not prime. Res64: DA8DA25B139EDE66 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:18:18] 615*2^1426039-1 is not prime. Res64: 4BBC048F7986902E Time : 0.0 sec. user=mdettweiler [2016-04-12 15:18:18] 633*2^1426039-1 is not prime. Res64: 688C2B5F14FC7048 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:18:18] 649*2^1426039-1 is not prime. Res64: D76A16667E5DF3CE Time : 0.0 sec. user=mdettweiler [2016-04-12 15:18:19] 681*2^1426039-1 is not prime. Res64: 91E79027B7AD4EFA Time : 0.0 sec. user=mdettweiler [2016-04-12 15:45:28] 729*2^1426039-1 is not prime. Res64: 5082C87814B6792B Time : 0.0 sec. user=mdettweiler [2016-04-12 15:45:28] 829*2^1426039-1 is not prime. Res64: DB1439850064E182 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:45:28] 931*2^1426039-1 is not prime. Res64: D2568F1B923088D1 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:45:29] 985*2^1426039-1 is not prime. Res64: 0E68F6C5793D6C1A Time : 0.0 sec. user=mdettweiler [2016-04-12 15:45:29] 735*2^1426040-1 is not prime. Res64: 8EFA74B67C820A13 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:58:51] 743*2^1426040-1 is not prime. Res64: 409E9A04CAA31EE2 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:58:51] 759*2^1426040-1 is not prime. Res64: 864F752330C9C451 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:58:51] 855*2^1426040-1 is not prime. Res64: 0CABE729965113A9 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:58:51] 935*2^1426040-1 is not prime. Res64: F1BB177DD3E16277 Time : 0.0 sec. user=mdettweiler [2016-04-12 15:58:52] 977*2^1426040-1 is not prime. Res64: 46D1D35235D8733C Time : 0.0 sec. user=mdettweiler [2016-04-12 16:02:16] 999*2^1426040-1 is not prime. Res64: 563D159712C475F3 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:02:16] 685*2^1426041-1 is not prime. Res64: FE1C02FDD08A256D Time : 0.0 sec. user=mdettweiler [2016-04-12 16:02:17] 741*2^1426041-1 is not prime. Res64: 44D2A547E62BB29E Time : 0.0 sec. user=mdettweiler [2016-04-12 16:02:18] 611*2^1426042-1 is not prime. Res64: C5013D0F399334C8 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:02:18] 645*2^1426042-1 is not prime. Res64: 99E94DEF6B73C22B Time : 0.0 sec. user=mdettweiler [2016-04-12 16:04:10] 713*2^1426042-1 is not prime. Res64: A552C383F5E5CFB9 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:04:11] 737*2^1426042-1 is not prime. Res64: BD90EB607831D002 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:04:12] 741*2^1426042-1 is not prime. Res64: 45ACB96AA78AF3A0 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:04:13] 813*2^1426042-1 is not prime. Res64: A5BC8F750ADF7433 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:04:13] 843*2^1426042-1 is not prime. Res64: CAECE8E808089E4A Time : 0.0 sec. user=mdettweiler [2016-04-12 16:30:29] 881*2^1426042-1 is not prime. Res64: 47047DD543E80B04 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:30:29] 951*2^1426042-1 is not prime. Res64: 7C94ABE5BFA6DE25 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:30:30] 663*2^1426043-1 is not prime. Res64: 2FF0859B36AC2F34 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:30:30] 699*2^1426043-1 is not prime. Res64: B0352362270DBB9B Time : 0.0 sec. user=mdettweiler [2016-04-12 16:30:30] 805*2^1426043-1 is not prime. Res64: D23A24749EABD3A6 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:43:57] 889*2^1426043-1 is not prime. Res64: BFBCB60F757A593C Time : 0.0 sec. user=mdettweiler [2016-04-12 16:43:57] 993*2^1426043-1 is not prime. Res64: 79227A4A547A0DD4 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:43:57] 719*2^1426044-1 is not prime. Res64: 1005FA73B56337F9 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:43:58] 837*2^1426044-1 is not prime. Res64: BCFEE490CA3387F0 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:43:58] 905*2^1426044-1 is not prime. Res64: EF66B87303B35910 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:47:24] 959*2^1426044-1 is not prime. Res64: FF8B278C87C2D627 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:47:24] 969*2^1426044-1 is not prime. Res64: 6CB992648090B80B Time : 0.0 sec. user=mdettweiler [2016-04-12 16:47:24] 983*2^1426044-1 is not prime. Res64: CA4312265696DA16 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:47:24] 987*2^1426044-1 is not prime. Res64: 2278B3CD55843756 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:47:25] 993*2^1426044-1 is not prime. Res64: D18F3E21F3B7A537 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:49:25] 607*2^1426045-1 is not prime. Res64: D2F9411C2F0E7A8B Time : 0.0 sec. user=mdettweiler [2016-04-12 16:49:26] 661*2^1426045-1 is not prime. Res64: 69C302D80895D5F6 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:49:26] 691*2^1426045-1 is not prime. Res64: 9EEB1B648F513131 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:49:26] 675*2^1426046-1 is not prime. Res64: E4E334B1F91E4CB9 Time : 0.0 sec. user=mdettweiler [2016-04-12 16:49:26] 705*2^1426046-1 is not prime. Res64: A9CE8B2893C0F011 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:15:27] 743*2^1426046-1 is not prime. Res64: 316CE581E3503279 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:15:27] 813*2^1426046-1 is not prime. Res64: 140142041168B0CA Time : 0.0 sec. user=mdettweiler [2016-04-12 17:15:28] 619*2^1426047-1 is not prime. Res64: 18C7460A96676777 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:15:28] 651*2^1426047-1 is not prime. Res64: B7DDEB7E34E50263 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:15:28] 909*2^1426047-1 is not prime. Res64: 37B73DF982A028F8 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:29:03] 933*2^1426047-1 is not prime. Res64: D7EB8249A4471A84 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:29:03] 735*2^1426048-1 is not prime. Res64: 50DCE841CB5E7B06 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:29:03] 755*2^1426048-1 is not prime. Res64: 761D7FE6C6B95179 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:29:04] 825*2^1426048-1 is not prime. Res64: DA0BA2C4FE49DCA8 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:29:04] 923*2^1426048-1 is not prime. Res64: 542E1D77B9780F6E Time : 0.0 sec. user=mdettweiler [2016-04-12 17:32:39] 947*2^1426048-1 is not prime. Res64: 9EEAB866B2C1B397 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:32:39] 619*2^1426049-1 is not prime. Res64: 427D6212AFB20C31 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:32:39] 691*2^1426049-1 is not prime. Res64: 86A05FFE95075CB6 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:32:40] 697*2^1426049-1 is not prime. Res64: 61E579126D796AA2 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:32:40] 699*2^1426049-1 is not prime. Res64: 73DB2573BA704274 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:35:02] 747*2^1426049-1 is not prime. Res64: 644962D6C4E74E71 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:35:03] 799*2^1426049-1 is not prime. Res64: 77CA3240B150D908 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:35:03] 837*2^1426049-1 is not prime. Res64: 3D93D40DF347FE70 Time : 0.0 sec. user=mdettweiler [2016-04-12 17:35:03] 955*2^1426049-1 is not prime. Res64: 99F21E9D5B8268FF Time : 0.0 sec. user=mdettweiler [2016-04-12 17:35:03] 611*2^1426050-1 is not prime. Res64: 2649969F6D4700C5 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:00:23] 641*2^1426050-1 is not prime. Res64: 94D40F0FE33DC927 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:00:24] 713*2^1426050-1 is not prime. Res64: 5FFD85DDC37808E0 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:00:25] 773*2^1426050-1 is not prime. Res64: 2D73F6A8DA603811 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:00:25] 821*2^1426050-1 is not prime. Res64: 82F43471D4C215A1 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:00:26] 885*2^1426050-1 is not prime. Res64: 1388488BE27D981E Time : 0.0 sec. user=mdettweiler [2016-04-12 18:14:15] 891*2^1426050-1 is not prime. Res64: 5F41F052B64A9973 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:14:15] 915*2^1426050-1 is not prime. Res64: FB44EC5C09959DC5 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:14:16] 923*2^1426050-1 is not prime. Res64: 0793CBD423876885 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:14:16] 609*2^1426051-1 is not prime. Res64: 356F4B357D72F5E1 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:14:16] 615*2^1426051-1 is not prime. Res64: 046A90F061F10962 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:18:05] 649*2^1426051-1 is not prime. Res64: E820AE63FBB4A52E Time : 0.0 sec. user=mdettweiler [2016-04-12 18:18:05] 651*2^1426051-1 is not prime. Res64: 6BAB17F7D8EEB11A Time : 0.0 sec. user=mdettweiler [2016-04-12 18:18:05] 819*2^1426051-1 is not prime. Res64: 9D831AF398D023BA Time : 0.0 sec. user=mdettweiler [2016-04-12 18:18:05] 615*2^1426052-1 is not prime. Res64: 7CA958CCBBC90561 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:18:06] 665*2^1426052-1 is not prime. Res64: F320E5670E00DF0D Time : 0.0 sec. user=mdettweiler [2016-04-12 18:20:20] 677*2^1426052-1 is not prime. Res64: A3C1B855AF7161C4 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:20:20] 819*2^1426052-1 is not prime. Res64: 63431A55DA4F616E Time : 0.0 sec. user=mdettweiler [2016-04-12 18:20:21] 875*2^1426052-1 is not prime. Res64: 7E31E64270B55191 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:20:21] 959*2^1426052-1 is not prime. Res64: 42DB557AA02C7B83 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:20:21] 751*2^1426053-1 is not prime. Res64: 77EF63725E873D81 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:45:41] 795*2^1426053-1 is not prime. Res64: 8328E68707C8CDDE Time : 0.0 sec. user=mdettweiler [2016-04-12 18:45:42] 805*2^1426053-1 is not prime. Res64: 033380C23E568287 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:45:42] 987*2^1426053-1 is not prime. Res64: EB3EB2B4ABD68671 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:45:42] 663*2^1426054-1 is not prime. Res64: FB1819B70D74E4CA Time : 0.0 sec. user=mdettweiler [2016-04-12 18:45:42] 681*2^1426054-1 is not prime. Res64: BF7B019DD3A80689 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:59:44] 755*2^1426054-1 is not prime. Res64: 4B0E4C494C7CD1DB Time : 0.0 sec. user=mdettweiler [2016-04-12 18:59:44] 815*2^1426054-1 is not prime. Res64: C5DF7D652FEABD20 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:59:44] 891*2^1426054-1 is not prime. Res64: 61652D9EE202BE3A Time : 0.0 sec. user=mdettweiler [2016-04-12 18:59:44] 619*2^1426055-1 is not prime. Res64: 2E2F1D85437D0821 Time : 0.0 sec. user=mdettweiler [2016-04-12 18:59:45] 693*2^1426055-1 is not prime. Res64: 835ED858315CCEA4 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:03:32] 627*2^1426056-1 is not prime. Res64: CC0D0C40CD7690E0 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:03:34] 779*2^1426056-1 is not prime. Res64: 7D20F100EC2AA292 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:03:35] 857*2^1426056-1 is not prime. Res64: 4C8388FEE86B83EE Time : 0.0 sec. user=mdettweiler [2016-04-12 19:03:35] 601*2^1426057-1 is not prime. Res64: F4D5EDC94AD45E70 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:03:36] 687*2^1426057-1 is not prime. Res64: 4FFD61FA17DC518C Time : 0.0 sec. user=mdettweiler [2016-04-12 19:05:56] 731*2^1426058-1 is not prime. Res64: 10C24B72C8D30ED2 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:05:57] 747*2^1426058-1 is not prime. Res64: D83720C97F290FD8 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:05:58] 813*2^1426058-1 is not prime. Res64: AA4C76BF6F3D83B8 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:05:58] 953*2^1426058-1 is not prime. Res64: 9636A3BA43411BEB Time : 0.0 sec. user=mdettweiler [2016-04-12 19:05:59] 971*2^1426058-1 is not prime. Res64: 2490161DE5E75E16 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:31:03] 825*2^1426059-1 is not prime. Res64: 6DBBFC9C1F956DB1 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:31:04] 903*2^1426059-1 is not prime. Res64: F1581941210C8F56 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:31:04] 991*2^1426059-1 is not prime. Res64: C5A1CAEC8E044E70 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:31:04] 603*2^1426060-1 is not prime. Res64: C6EF413111ADEFA1 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:31:05] 665*2^1426060-1 is not prime. Res64: F4B9ACE5C0485F5C Time : 0.0 sec. user=mdettweiler [2016-04-12 19:45:20] 677*2^1426060-1 is not prime. Res64: 5779885F415044A2 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:45:21] 699*2^1426060-1 is not prime. Res64: 47599B7F95387898 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:45:21] 765*2^1426060-1 is not prime. Res64: CADA11E01268FCEF Time : 0.0 sec. user=mdettweiler [2016-04-12 19:45:21] 773*2^1426060-1 is not prime. Res64: D250E686300F241A Time : 0.0 sec. user=mdettweiler [2016-04-12 19:45:22] 843*2^1426060-1 is not prime. Res64: E17AA9C4AA44A666 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:49:22] 929*2^1426060-1 is not prime. Res64: E982B7176D086B59 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:49:22] 933*2^1426060-1 is not prime. Res64: 93FD7363A1FF5B16 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:49:23] 939*2^1426060-1 is not prime. Res64: FFC8EB7106AC940C Time : 0.0 sec. user=mdettweiler [2016-04-12 19:49:23] 711*2^1426061-1 is not prime. Res64: 2628A11B9CC3AB66 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:49:24] 735*2^1426061-1 is not prime. Res64: 2E73C87B261B5C24 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:51:49] 801*2^1426061-1 is not prime. Res64: 1FD7A0C2D582DE13 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:51:49] 837*2^1426061-1 is not prime. Res64: C74B7D466B1ED16E Time : 0.0 sec. user=mdettweiler [2016-04-12 19:51:50] 925*2^1426061-1 is not prime. Res64: A698DF02AEB99698 Time : 0.0 sec. user=mdettweiler [2016-04-12 19:51:50] 937*2^1426061-1 is not prime. Res64: EC2AE5290BB0627E Time : 0.0 sec. user=mdettweiler [2016-04-12 19:51:50] 987*2^1426061-1 is not prime. Res64: B6285144D2B23B7A Time : 0.0 sec. user=mdettweiler [2016-04-12 20:16:18] 647*2^1426062-1 is not prime. Res64: D33A9E41D6DCBD9F Time : 0.0 sec. user=mdettweiler [2016-04-12 20:16:19] 711*2^1426062-1 is not prime. Res64: CCEEA7FDA4D95D74 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:16:19] 725*2^1426062-1 is not prime. Res64: C660DC04438406CF Time : 0.0 sec. user=mdettweiler [2016-04-12 20:16:20] 917*2^1426062-1 is not prime. Res64: 99F803B52158A18A Time : 0.0 sec. user=mdettweiler [2016-04-12 20:16:20] 977*2^1426062-1 is not prime. Res64: A15AD0F05D7CCE48 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:30:30] 1001*2^1426062-1 is not prime. Res64: 047CE6C5596B11EE Time : 0.0 sec. user=mdettweiler [2016-04-12 20:30:31] 793*2^1426063-1 is not prime. Res64: F564AD50B18D7842 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:30:32] 859*2^1426063-1 is not prime. Res64: A252ABA2541E657F Time : 0.0 sec. user=mdettweiler [2016-04-12 20:30:32] 939*2^1426063-1 is not prime. Res64: 1AB24730D8B4D86B Time : 0.0 sec. user=mdettweiler [2016-04-12 20:30:32] 615*2^1426064-1 is not prime. Res64: 939903F0EB5DC00E Time : 0.0 sec. user=mdettweiler [2016-04-12 20:34:34] 617*2^1426064-1 is not prime. Res64: 68E337A363212F65 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:34:34] 635*2^1426064-1 is not prime. Res64: 4E153C75DA6A396C Time : 0.0 sec. user=mdettweiler [2016-04-12 20:34:34] 663*2^1426064-1 is not prime. Res64: 95524660F618BC31 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:34:34] 675*2^1426064-1 is not prime. Res64: B2150F5C9C1C28DF Time : 0.0 sec. user=mdettweiler [2016-04-12 20:34:35] 825*2^1426064-1 is not prime. Res64: 4445BA9EDD36DF23 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:37:06] 875*2^1426064-1 is not prime. Res64: C2B18F1504E33EA5 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:37:06] 969*2^1426064-1 is not prime. Res64: E1C887050E7388E1 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:37:07] 651*2^1426065-1 is not prime. Res64: D8BB2011AEF72E79 Time : 0.0 sec. user=mdettweiler [2016-04-12 20:37:07] 709*2^1426065-1 is not prime. Res64: AF1FDA72D6BF691C Time : 0.0 sec. user=mdettweiler [2016-04-12 20:37:07] 735*2^1426065-1 is not prime. Res64: 71258B483DC70330 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:01:27] 741*2^1426065-1 is not prime. Res64: 003160AA6CE92955 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:01:28] 885*2^1426065-1 is not prime. Res64: CE22A4E7930C9010 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:01:28] 937*2^1426065-1 is not prime. Res64: BA956AD197644F2E Time : 0.0 sec. user=mdettweiler [2016-04-12 21:01:29] 951*2^1426065-1 is not prime. Res64: 3792903CCDEA7C0F Time : 0.0 sec. user=mdettweiler [2016-04-12 21:01:30] 955*2^1426065-1 is not prime. Res64: FEFA605CFE66704E Time : 0.0 sec. user=mdettweiler [2016-04-12 21:15:42] 975*2^1426065-1 is not prime. Res64: 2F5049ECAB313775 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:15:43] 635*2^1426066-1 is not prime. Res64: 61D5952F20CCCD5D Time : 0.0 sec. user=mdettweiler [2016-04-12 21:15:43] 675*2^1426066-1 is not prime. Res64: 06AB876139D5A540 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:15:43] 785*2^1426066-1 is not prime. Res64: 0E3007D641C3EDC4 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:15:44] 815*2^1426066-1 is not prime. Res64: DF03EB23FF5F0E3A Time : 0.0 sec. user=mdettweiler [2016-04-12 21:19:31] 971*2^1426066-1 is not prime. Res64: 8DF62E524ADCCF23 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:19:32] 987*2^1426066-1 is not prime. Res64: A1DFE4587C7167BC Time : 0.0 sec. user=mdettweiler [2016-04-12 21:19:32] 643*2^1426067-1 is not prime. Res64: 78303318DCE3A1CC Time : 0.0 sec. user=mdettweiler [2016-04-12 21:19:32] 645*2^1426067-1 is not prime. Res64: 08F9CA60F147FCBE Time : 0.0 sec. user=mdettweiler [2016-04-12 21:19:33] 759*2^1426067-1 is not prime. Res64: D87AF643C9E57C9E Time : 0.0 sec. user=mdettweiler [2016-04-12 21:22:12] 801*2^1426067-1 is not prime. Res64: 9DBF09074184F35D Time : 0.0 sec. user=mdettweiler [2016-04-12 21:22:13] 945*2^1426067-1 is not prime. Res64: 5E4C18FCFEA22E1B Time : 0.0 sec. user=mdettweiler [2016-04-12 21:22:13] 963*2^1426067-1 is not prime. Res64: BACAB259842DD29E Time : 0.0 sec. user=mdettweiler [2016-04-12 21:22:13] 605*2^1426068-1 is not prime. Res64: 9B82B98519DD2717 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:22:14] 635*2^1426068-1 is not prime. Res64: 01045FA3E107B67E Time : 0.0 sec. user=mdettweiler [2016-04-12 21:46:48] 809*2^1426068-1 is not prime. Res64: 72A5F058280ADE06 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:46:48] 819*2^1426068-1 is not prime. Res64: 0DE457F43DF2E633 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:46:48] 935*2^1426068-1 is not prime. Res64: 72AE7A01C95E4418 Time : 0.0 sec. user=mdettweiler [2016-04-12 21:46:49] 957*2^1426068-1 is not prime. Res64: 48EC4FDC3DE622EF Time : 0.0 sec. user=mdettweiler [2016-04-12 21:46:49] 661*2^1426069-1 is not prime. Res64: F16B75352C044778 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:00:46] 679*2^1426069-1 is not prime. Res64: 765FEC32E9AD22D6 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:00:47] 957*2^1426069-1 is not prime. Res64: FA8D14AC6B055089 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:00:48] 645*2^1426070-1 is not prime. Res64: C53DD717493FF9DE Time : 0.0 sec. user=mdettweiler [2016-04-12 22:00:49] 827*2^1426070-1 is not prime. Res64: 16F1E004C46E81A6 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:00:49] 911*2^1426070-1 is not prime. Res64: E9EC587726379614 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:04:43] 709*2^1426071-1 is not prime. Res64: 62046211FB2B1480 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:04:44] 741*2^1426071-1 is not prime. Res64: D4183BE5BBA076E1 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:04:44] 859*2^1426071-1 is not prime. Res64: ED51930A36557071 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:04:45] 879*2^1426071-1 is not prime. Res64: FDC177FF899A051E Time : 0.0 sec. user=mdettweiler [2016-04-12 22:04:45] 885*2^1426071-1 is not prime. Res64: 63E83A30AE8AA15F Time : 0.0 sec. user=mdettweiler [2016-04-12 22:07:22] 743*2^1426072-1 is not prime. Res64: 7310661149A71081 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:07:23] 857*2^1426072-1 is not prime. Res64: E0EA348694D81129 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:07:23] 875*2^1426072-1 is not prime. Res64: E5243CEFA020A5BC Time : 0.0 sec. user=mdettweiler [2016-04-12 22:07:23] 939*2^1426072-1 is not prime. Res64: 6A5D9D47DDF2216E Time : 0.0 sec. user=mdettweiler [2016-04-12 22:07:24] 983*2^1426072-1 is not prime. Res64: 07021F19242C8F82 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:31:50] 699*2^1426073-1 is not prime. Res64: 5B25D8F8BB6C0C05 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:31:50] 951*2^1426073-1 is not prime. Res64: 31B30BA529DD499F Time : 0.0 sec. user=mdettweiler [2016-04-12 22:31:50] 717*2^1426074-1 is not prime. Res64: 98E4447F170BE73A Time : 0.0 sec. user=mdettweiler [2016-04-12 22:31:50] 767*2^1426074-1 is not prime. Res64: C8EAC438250F7373 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:31:51] 975*2^1426074-1 is not prime. Res64: 46F8FED50FC84AC8 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:46:17] 679*2^1426075-1 is not prime. Res64: E34ABA88C7CB988E Time : 0.0 sec. user=mdettweiler [2016-04-12 22:46:17] 843*2^1426075-1 is not prime. Res64: C2477E223491A058 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:46:18] 871*2^1426075-1 is not prime. Res64: BE7611E81BB157F0 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:46:18] 873*2^1426075-1 is not prime. Res64: E3816AE32550B9B8 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:46:18] 969*2^1426075-1 is not prime. Res64: 44675DBB548F39DD Time : 0.0 sec. user=mdettweiler [2016-04-12 22:50:00] 845*2^1426076-1 is not prime. Res64: 40E6AA029AA4B352 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:50:00] 857*2^1426076-1 is not prime. Res64: FBCE39605C40C8F8 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:50:00] 927*2^1426076-1 is not prime. Res64: B583ACBD932BED50 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:50:00] 935*2^1426076-1 is not prime. Res64: D22DC9DDDD9453E4 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:50:01] 651*2^1426077-1 is not prime. Res64: EB0D253C42A39C43 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:53:23] 901*2^1426077-1 is not prime. Res64: D7E576EA1E3627DD Time : 0.0 sec. user=mdettweiler [2016-04-12 22:53:23] 961*2^1426077-1 is not prime. Res64: FD1348A4AA33B845 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:53:23] 999*2^1426077-1 is not prime. Res64: 375938413DF2163A Time : 0.0 sec. user=mdettweiler [2016-04-12 22:53:23] 647*2^1426078-1 is not prime. Res64: BD7B3AD1525CA9F1 Time : 0.0 sec. user=mdettweiler [2016-04-12 22:53:24] 705*2^1426078-1 is not prime. Res64: 6794373A32CFFD0D Time : 0.0 sec. user=mdettweiler [2016-04-12 23:17:50] 857*2^1426078-1 is not prime. Res64: CF531B7370269CB6 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:17:51] 867*2^1426078-1 is not prime. Res64: 7F361024BEDDCAD6 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:17:51] 911*2^1426078-1 is not prime. Res64: 3E6243BF033BDA96 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:17:51] 615*2^1426079-1 is not prime. Res64: 6FB287A3A62373B9 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:17:52] 661*2^1426079-1 is not prime. Res64: DF918AAD4AB638ED Time : 0.0 sec. user=mdettweiler [2016-04-12 23:32:36] 711*2^1426079-1 is not prime. Res64: BFFF64CC69F3AC36 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:32:37] 735*2^1426079-1 is not prime. Res64: 1CFEDEBEE9C8AA95 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:32:37] 741*2^1426079-1 is not prime. Res64: 3F1670A89CFB19E6 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:32:37] 771*2^1426079-1 is not prime. Res64: 1E4ED159FB6181DD Time : 0.0 sec. user=mdettweiler [2016-04-12 23:32:37] 885*2^1426079-1 is not prime. Res64: 75669A0B163A5A32 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:35:57] 909*2^1426079-1 is not prime. Res64: 5F50E5D7F5232786 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:35:57] 921*2^1426079-1 is not prime. Res64: 86DA087328CA8893 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:35:57] 979*2^1426079-1 is not prime. Res64: AF3044703A811BB1 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:35:57] 633*2^1426080-1 is not prime. Res64: EB63E06BE66BDD73 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:35:58] 693*2^1426080-1 is not prime. Res64: A54444FD62DADF4D Time : 0.0 sec. user=mdettweiler [2016-04-12 23:39:12] 839*2^1426080-1 is not prime. Res64: BB02EA40FA50EFB1 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:39:12] 905*2^1426080-1 is not prime. Res64: 2DE70AA9263F8FA3 Time : 0.0 sec. user=mdettweiler [2016-04-12 23:39:13] 601*2^1426081-1 is not prime. Res64: 1869854873C82CAE Time : 0.0 sec. user=mdettweiler [2016-04-12 23:39:13] 615*2^1426081-1 is not prime. Res64: C8C9AEBDF105A0BA Time : 0.0 sec. user=mdettweiler [2016-04-12 23:39:13] 679*2^1426081-1 is not prime. Res64: D95F175B8C70529F Time : 0.0 sec.