user=mdettweiler [2016-05-13 00:01:49] 861*2^1428986-1 is not prime. Res64: E40726106F45DBB8 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:01:49] 873*2^1428986-1 is not prime. Res64: FB7038184ECFA1A1 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:01:50] 921*2^1428986-1 is not prime. Res64: 3AFF3C4BEF10C945 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:01:50] 895*2^1428987-1 is not prime. Res64: F4E8D9E3B9236F5A Time : 0.0 sec. user=mdettweiler [2016-05-13 00:01:50] 903*2^1428987-1 is not prime. Res64: B94DCDBC29E9EF2B Time : 0.0 sec. user=mdettweiler [2016-05-13 00:21:35] 909*2^1428987-1 is not prime. Res64: 320CF896B3CACCD5 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:21:36] 949*2^1428987-1 is not prime. Res64: 01F071B05811BC46 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:21:36] 635*2^1428988-1 is not prime. Res64: 8152F29036A4725F Time : 0.0 sec. user=mdettweiler [2016-05-13 00:21:37] 927*2^1428988-1 is not prime. Res64: 77A902360D8E9E85 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:21:37] 987*2^1428988-1 is not prime. Res64: AED3E7A8FCA06F2B Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:09] 699*2^1428989-1 is not prime. Res64: 5E874C869C19A84B Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:09] 721*2^1428989-1 is not prime. Res64: 52E786CC01C43199 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:09] 795*2^1428989-1 is not prime. Res64: 83D867BE19EF728C Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:10] 811*2^1428989-1 is not prime. Res64: 1503C1265B0E3E42 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:10] 897*2^1428989-1 is not prime. Res64: 3ABF47BBFA3410B9 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:17] 611*2^1428990-1 is not prime. Res64: 0CE4AD622CB0F2EC Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:17] 653*2^1428990-1 is not prime. Res64: 7E9A71550867E6F0 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:17] 777*2^1428990-1 is not prime. Res64: 8E81B1C31759E677 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:18] 791*2^1428990-1 is not prime. Res64: 137D096E2A46B702 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:38:18] 861*2^1428990-1 is not prime. Res64: 092DEAEDDD5F7356 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:46:41] 927*2^1428990-1 is not prime. Res64: 3023BD64E9D1D9C2 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:46:41] 625*2^1428991-1 is not prime. Res64: F1E636C88835A3EF Time : 0.0 sec. user=mdettweiler [2016-05-13 00:46:42] 663*2^1428991-1 is not prime. Res64: EBE389152121057C Time : 0.0 sec. user=mdettweiler [2016-05-13 00:46:44] 709*2^1428991-1 is not prime. Res64: D694B252E63D72A2 Time : 0.0 sec. user=mdettweiler [2016-05-13 00:46:44] 805*2^1428991-1 is not prime. Res64: A98322CEFBCA58FA Time : 0.0 sec. user=mdettweiler [2016-05-13 01:06:44] 849*2^1428991-1 is not prime. Res64: CA28629B81998D90 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:06:45] 975*2^1428991-1 is not prime. Res64: 4DF7B2EA8E128CAE Time : 0.0 sec. user=mdettweiler [2016-05-13 01:06:46] 669*2^1428992-1 is not prime. Res64: 3B1F847BA43B7DBE Time : 0.0 sec. user=mdettweiler [2016-05-13 01:06:46] 677*2^1428992-1 is not prime. Res64: 30F3489AEBE7D05F Time : 0.0 sec. user=mdettweiler [2016-05-13 01:06:47] 785*2^1428992-1 is not prime. Res64: 54766FB84EDC21DA Time : 0.0 sec. user=mdettweiler [2016-05-13 01:22:54] 909*2^1428992-1 is not prime. Res64: E318201BE07BB5BC Time : 0.0 sec. user=mdettweiler [2016-05-13 01:22:55] 983*2^1428992-1 is not prime. Res64: 2663E1FA1B20A86A Time : 0.0 sec. user=mdettweiler [2016-05-13 01:22:55] 649*2^1428993-1 is not prime. Res64: 3F8EABD767F40330 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:22:56] 651*2^1428993-1 is not prime. Res64: 2608303D807F9D33 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:22:56] 811*2^1428993-1 is not prime. Res64: BC5162E6CF920F6D Time : 0.0 sec. user=mdettweiler [2016-05-13 01:23:04] 885*2^1428993-1 is not prime. Res64: 7461A019C81726A6 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:23:05] 633*2^1428994-1 is not prime. Res64: DDE789F97C794C94 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:23:05] 663*2^1428994-1 is not prime. Res64: 0D0DA4EC34DAE692 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:23:05] 675*2^1428994-1 is not prime. Res64: EA44D57485CFD81C Time : 0.0 sec. user=mdettweiler [2016-05-13 01:23:06] 717*2^1428994-1 is not prime. Res64: FC3BD33F782E3076 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:31:29] 825*2^1428994-1 is not prime. Res64: 98D5139A849D69EE Time : 0.0 sec. user=mdettweiler [2016-05-13 01:31:30] 945*2^1428994-1 is not prime. Res64: 9254B5FBA9D64A6A Time : 0.0 sec. user=mdettweiler [2016-05-13 01:31:31] 645*2^1428995-1 is not prime. Res64: D81EE7EE1D6A4A3F Time : 0.0 sec. user=mdettweiler [2016-05-13 01:31:31] 685*2^1428995-1 is not prime. Res64: BBA15A801D0D2707 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:31:32] 705*2^1428995-1 is not prime. Res64: 9AF8C006FA0FE174 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:51:42] 741*2^1428995-1 is not prime. Res64: 4322CFF65949CDCA Time : 0.0 sec. user=mdettweiler [2016-05-13 01:51:42] 841*2^1428995-1 is not prime. Res64: 65B34CD3B0C7129A Time : 0.0 sec. user=mdettweiler [2016-05-13 01:51:42] 859*2^1428995-1 is not prime. Res64: 9CD2F0E1708B3F26 Time : 0.0 sec. user=mdettweiler [2016-05-13 01:51:43] 861*2^1428995-1 is not prime. Res64: 1B4401F29748360D Time : 0.0 sec. user=mdettweiler [2016-05-13 01:51:43] 627*2^1428996-1 is not prime. Res64: 4751D0E5FC1B7BDE Time : 0.0 sec. user=mdettweiler [2016-05-13 02:08:34] 803*2^1428996-1 is not prime. Res64: 08E19496CF1C74C3 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:08:35] 825*2^1428996-1 is not prime. Res64: 4C6F53CEC54B9EE1 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:08:35] 839*2^1428996-1 is not prime. Res64: 3E08020DB7098962 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:08:35] 927*2^1428996-1 is not prime. Res64: 1EB319DF00D1D92B Time : 0.0 sec. user=mdettweiler [2016-05-13 02:08:36] 969*2^1428996-1 is not prime. Res64: 23E788EB44169D19 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:09:21] 657*2^1428996-1 is not prime. Res64: 3B60EE3264CEAC63 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:09:22] 683*2^1428996-1 is not prime. Res64: B834C39F06C38CA8 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:09:23] 705*2^1428996-1 is not prime. Res64: BB74F1EEEEA62AE5 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:09:23] 707*2^1428996-1 is not prime. Res64: B65624C20FCC8E8D Time : 0.0 sec. user=mdettweiler [2016-05-13 02:09:23] 783*2^1428996-1 is not prime. Res64: 4512C260CAC6EABD Time : 0.0 sec. user=mdettweiler [2016-05-13 02:18:03] 983*2^1428996-1 is not prime. Res64: BFF54A0C5ED09D25 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:18:03] 645*2^1428997-1 is not prime. Res64: 01BC8DBC2A3C6863 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:18:04] 661*2^1428997-1 is not prime. Res64: D64BA7013AD35DA9 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:18:04] 765*2^1428997-1 is not prime. Res64: 4B4BD4F9852F4C48 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:18:05] 829*2^1428997-1 is not prime. Res64: 90BF4B2F1787972E Time : 0.0 sec. user=mdettweiler [2016-05-13 02:37:16] 927*2^1428997-1 is not prime. Res64: DC75464039744C92 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:37:17] 979*2^1428997-1 is not prime. Res64: 6AF589B2C956F2E1 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:37:18] 663*2^1428998-1 is not prime. Res64: 58B99247E88CD6D2 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:37:19] 887*2^1428998-1 is not prime. Res64: 20F9E0554FD23C2D Time : 0.0 sec. user=mdettweiler [2016-05-13 02:37:20] 915*2^1428998-1 is not prime. Res64: DDB4CB641E708E11 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:53:39] 963*2^1428998-1 is not prime. Res64: ADAC109238F2AF8B Time : 0.0 sec. user=mdettweiler [2016-05-13 02:53:40] 971*2^1428998-1 is not prime. Res64: 1A9D9CA551821A47 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:53:40] 993*2^1428998-1 is not prime. Res64: 0FCC427F7E9D3D37 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:53:41] 619*2^1428999-1 is not prime. Res64: 321345F6F1C07A63 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:53:41] 705*2^1428999-1 is not prime. Res64: 0A42EFE849899F0F Time : 0.0 sec. user=mdettweiler [2016-05-13 02:54:22] 735*2^1428999-1 is not prime. Res64: 6BB8DE6D37FCD761 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:54:22] 861*2^1428999-1 is not prime. Res64: 96D50E2F3CCD62A2 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:54:23] 895*2^1428999-1 is not prime. Res64: 7EE2AB7DCE246CDD Time : 0.0 sec. user=mdettweiler [2016-05-13 02:54:23] 955*2^1428999-1 is not prime. Res64: B79CD6FE33C8F490 Time : 0.0 sec. user=mdettweiler [2016-05-13 02:54:24] 961*2^1428999-1 is not prime. Res64: 23FE8412158C0004 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:02:56] 957*2^1429000-1 is not prime. Res64: 5BF69B5E4ABA0B2F Time : 0.0 sec. user=mdettweiler [2016-05-13 03:02:57] 615*2^1429001-1 is not prime. Res64: C13E555ADC002EF8 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:02:58] 619*2^1429001-1 is not prime. Res64: 2E18C2C5BDB0EDE2 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:02:59] 697*2^1429001-1 is not prime. Res64: D4B50587F833E4C3 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:03:00] 745*2^1429001-1 is not prime. Res64: 3EBED3AD9175B0E1 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:22:12] 747*2^1429001-1 is not prime. Res64: E4E822522968829A Time : 0.0 sec. user=mdettweiler [2016-05-13 03:22:12] 789*2^1429001-1 is not prime. Res64: 6DBBE4886EEAA819 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:22:13] 861*2^1429001-1 is not prime. Res64: DE93B88091DBD621 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:22:13] 867*2^1429001-1 is not prime. Res64: D4E4CFEEA5702201 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:22:13] 955*2^1429001-1 is not prime. Res64: 5ABA0695A551DA9D Time : 0.0 sec. user=mdettweiler [2016-05-13 03:38:40] 967*2^1429001-1 is not prime. Res64: 2446A54113134729 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:38:42] 621*2^1429002-1 is not prime. Res64: 5762380386230498 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:38:42] 683*2^1429002-1 is not prime. Res64: 7EAF95F5F434C1CF Time : 0.0 sec. user=mdettweiler [2016-05-13 03:38:43] 725*2^1429002-1 is not prime. Res64: 75096C1A0363BFF8 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:38:44] 777*2^1429002-1 is not prime. Res64: 1E7CB66B7C3832DE Time : 0.0 sec. user=mdettweiler [2016-05-13 03:39:26] 791*2^1429002-1 is not prime. Res64: C0B4A2F2267698CC Time : 0.0 sec. user=mdettweiler [2016-05-13 03:39:27] 921*2^1429002-1 is not prime. Res64: 596E1D799BB78CF0 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:39:28] 957*2^1429002-1 is not prime. Res64: B20116985623BCDA Time : 0.0 sec. user=mdettweiler [2016-05-13 03:39:28] 615*2^1429003-1 is not prime. Res64: BB4213712EB30F92 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:39:29] 693*2^1429003-1 is not prime. Res64: 7722E44DAFF29F83 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:48:04] 985*2^1429003-1 is not prime. Res64: DAB154C2418BCF5D Time : 0.0 sec. user=mdettweiler [2016-05-13 03:48:05] 725*2^1429004-1 is not prime. Res64: B4195AE64F927953 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:48:06] 795*2^1429004-1 is not prime. Res64: 00E82D9F7BC45D25 Time : 0.0 sec. user=mdettweiler [2016-05-13 03:48:06] 873*2^1429004-1 is not prime. Res64: C49875D6FE14D0DA Time : 0.0 sec. user=mdettweiler [2016-05-13 03:48:07] 875*2^1429004-1 is not prime. Res64: 4ED584D0F43EEC62 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:06:56] 995*2^1429004-1 is not prime. Res64: 8BC4A83B2976E822 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:06:57] 951*2^1429005-1 is not prime. Res64: E931BB14455EEFA7 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:06:57] 955*2^1429005-1 is not prime. Res64: 222616ECC4FC5123 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:06:58] 651*2^1429006-1 is not prime. Res64: 65338E3BBBF8BA52 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:06:59] 653*2^1429006-1 is not prime. Res64: 7030DB33926CD351 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:23:56] 657*2^1429006-1 is not prime. Res64: 11CE354ECEF1460F Time : 0.0 sec. user=mdettweiler [2016-05-13 04:23:57] 663*2^1429006-1 is not prime. Res64: 3901027A9BA6A727 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:23:57] 755*2^1429006-1 is not prime. Res64: FAADD78B0A489BB6 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:23:57] 857*2^1429006-1 is not prime. Res64: 8A728535B5E35527 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:23:58] 947*2^1429006-1 is not prime. Res64: 8D1E9B4AF386FDA2 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:24:28] 983*2^1429006-1 is not prime. Res64: 4F1E9E24DBB54E3B Time : 0.0 sec. user=mdettweiler [2016-05-13 04:24:28] 987*2^1429006-1 is not prime. Res64: CC8C598FB8D40974 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:24:29] 609*2^1429007-1 is not prime. Res64: 34852C9D926089F0 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:24:29] 643*2^1429007-1 is not prime. Res64: 35707243508FCBD8 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:24:29] 655*2^1429007-1 is not prime. Res64: 5CAC31C2B3DE258A Time : 0.0 sec. user=mdettweiler [2016-05-13 04:33:06] 663*2^1429007-1 is not prime. Res64: 586C54AFE36E5C12 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:33:06] 711*2^1429007-1 is not prime. Res64: 42E9B1B08C30BDF7 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:33:07] 729*2^1429007-1 is not prime. Res64: 59E980033DB831BD Time : 0.0 sec. user=mdettweiler [2016-05-13 04:33:07] 913*2^1429007-1 is not prime. Res64: AA978A597B673369 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:33:08] 949*2^1429007-1 is not prime. Res64: AF9FCF6AB0FEEE14 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:51:47] 985*2^1429007-1 is not prime. Res64: 455D084A9272F4B0 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:51:48] 725*2^1429008-1 is not prime. Res64: 7B79C9F77FFEDE09 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:51:48] 773*2^1429008-1 is not prime. Res64: 67EE26C06B4E955A Time : 0.0 sec. user=mdettweiler [2016-05-13 04:51:48] 797*2^1429008-1 is not prime. Res64: 0D3FE5E9A610DF55 Time : 0.0 sec. user=mdettweiler [2016-05-13 04:51:49] 837*2^1429008-1 is not prime. Res64: 229B2C9E3BE2C9BD Time : 0.0 sec. user=mdettweiler [2016-05-13 05:08:56] 637*2^1429009-1 is not prime. Res64: 98FD2A836EB0665B Time : 0.0 sec. user=mdettweiler [2016-05-13 05:08:57] 751*2^1429009-1 is not prime. Res64: 2705314AC60B524C Time : 0.0 sec. user=mdettweiler [2016-05-13 05:08:57] 817*2^1429009-1 is not prime. Res64: A78F4576A6CF90FF Time : 0.0 sec. user=mdettweiler [2016-05-13 05:08:58] 819*2^1429009-1 is not prime. Res64: F744258A1BCE21F4 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:08:58] 847*2^1429009-1 is not prime. Res64: 5C490D37F7649274 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:09:19] 951*2^1429009-1 is not prime. Res64: 4E0FA4754ED06672 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:09:19] 623*2^1429010-1 is not prime. Res64: EB468C2F73353B32 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:09:20] 741*2^1429010-1 is not prime. Res64: C293FC24C8EE6857 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:09:20] 743*2^1429010-1 is not prime. Res64: DB28ED4FB179B4C4 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:09:21] 831*2^1429010-1 is not prime. Res64: F3DDDD146D9748EF Time : 0.0 sec. user=mdettweiler [2016-05-13 05:18:10] 861*2^1429010-1 is not prime. Res64: FB0A1F0F135879E8 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:18:10] 613*2^1429011-1 is not prime. Res64: 8D22D870BE14CC13 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:18:11] 703*2^1429011-1 is not prime. Res64: A679909CAC11AA25 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:18:11] 769*2^1429011-1 is not prime. Res64: 1BC180310875C2E4 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:18:12] 795*2^1429011-1 is not prime. Res64: 5C4CD55398FBE2FC Time : 0.0 sec. user=mdettweiler [2016-05-13 05:36:42] 859*2^1429011-1 is not prime. Res64: 7670E160BC8A327A Time : 0.0 sec. user=mdettweiler [2016-05-13 05:36:42] 879*2^1429011-1 is not prime. Res64: B41EC37C8BC008C1 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:36:42] 961*2^1429011-1 is not prime. Res64: 4E9CEBCEDCFDDFE5 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:36:43] 609*2^1429012-1 is not prime. Res64: 4FDA5CF9D7183E79 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:36:43] 657*2^1429012-1 is not prime. Res64: 71D1D56B7DDD63EA Time : 0.0 sec. user=mdettweiler [2016-05-13 05:53:58] 675*2^1429012-1 is not prime. Res64: E739A2DE60B9A9F8 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:53:59] 677*2^1429012-1 is not prime. Res64: CD8661CC102A3F2D Time : 0.0 sec. user=mdettweiler [2016-05-13 05:53:59] 699*2^1429012-1 is not prime. Res64: 6565BE83044C2BF6 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:53:59] 705*2^1429012-1 is not prime. Res64: 152D48BC5EC82791 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:54:00] 759*2^1429012-1 is not prime. Res64: 4628C19DA1D0C1F1 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:54:11] 833*2^1429012-1 is not prime. Res64: 54428472BE5EF258 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:54:12] 929*2^1429012-1 is not prime. Res64: D4D3EA23F9AA2EE5 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:54:12] 939*2^1429012-1 is not prime. Res64: 421D5B298D450587 Time : 0.0 sec. user=mdettweiler [2016-05-13 05:54:12] 965*2^1429012-1 is not prime. Res64: FC96D9BA50D944DF Time : 0.0 sec. user=mdettweiler [2016-05-13 05:54:13] 721*2^1429013-1 is not prime. Res64: 0D7A009BC009DC95 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:03:06] 747*2^1429013-1 is not prime. Res64: 35BF540F892219A3 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:03:07] 819*2^1429013-1 is not prime. Res64: 38933CCF01EF66D0 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:03:07] 861*2^1429013-1 is not prime. Res64: 04ECA16A9113D065 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:03:08] 885*2^1429013-1 is not prime. Res64: 89397B9CBAEA3497 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:03:08] 711*2^1429014-1 is not prime. Res64: 6AB618F8445E7ABA Time : 0.0 sec. user=mdettweiler [2016-05-13 06:21:31] 791*2^1429014-1 is not prime. Res64: 7A1815FFA6060763 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:21:32] 807*2^1429014-1 is not prime. Res64: 2DB66C05B61387E2 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:21:34] 851*2^1429014-1 is not prime. Res64: FE6E913C8F514D1B Time : 0.0 sec. user=mdettweiler [2016-05-13 06:21:34] 793*2^1429015-1 is not prime. Res64: AA4DF1A41353B350 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:21:34] 855*2^1429015-1 is not prime. Res64: DB016D9B287B3D8F Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:04] 873*2^1429015-1 is not prime. Res64: 85237266FCC1C965 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:04] 909*2^1429015-1 is not prime. Res64: 4C42D7FDC652D171 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:05] 717*2^1429016-1 is not prime. Res64: A76FEE4AA7952098 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:07] 735*2^1429016-1 is not prime. Res64: C3A808936450A4F5 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:07] 813*2^1429016-1 is not prime. Res64: 8B3CCB7D979081AF Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:21] 815*2^1429016-1 is not prime. Res64: 6BF2BD4730FF577E Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:22] 845*2^1429016-1 is not prime. Res64: 8DD9683F8960382B Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:22] 945*2^1429016-1 is not prime. Res64: 1B79876BDFFEAB64 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:23] 765*2^1429017-1 is not prime. Res64: F57B3B388C3634CE Time : 0.0 sec. user=mdettweiler [2016-05-13 06:39:23] 829*2^1429017-1 is not prime. Res64: 79D50829D2B237D7 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:48:05] 847*2^1429017-1 is not prime. Res64: 9EDB5F9E329F99B9 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:48:06] 871*2^1429017-1 is not prime. Res64: AC5AB2FE4E353109 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:48:06] 915*2^1429017-1 is not prime. Res64: E0FB8ACEBF03E797 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:48:07] 979*2^1429017-1 is not prime. Res64: F3F5D7382A310805 Time : 0.0 sec. user=mdettweiler [2016-05-13 06:48:07] 657*2^1429018-1 is not prime. Res64: BE89360B22D89EFC Time : 0.0 sec. user=mdettweiler [2016-05-13 07:06:48] 755*2^1429018-1 is not prime. Res64: 68D3777FFAAD5F23 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:06:49] 603*2^1429019-1 is not prime. Res64: DF7E60407C435739 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:06:50] 669*2^1429019-1 is not prime. Res64: 5A192FE423F70E1E Time : 0.0 sec. user=mdettweiler [2016-05-13 07:06:51] 685*2^1429019-1 is not prime. Res64: 9A51836203FAE623 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:06:52] 771*2^1429019-1 is not prime. Res64: B0839894AFC37922 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:23:46] 879*2^1429019-1 is not prime. Res64: 0AE95ACAFBE00265 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:23:46] 885*2^1429019-1 is not prime. Res64: 80C9B9C0942086C7 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:23:47] 777*2^1429020-1 is not prime. Res64: FE12F9CB712748E3 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:23:47] 857*2^1429020-1 is not prime. Res64: 7E4AE7A1178A8C7C Time : 0.0 sec. user=mdettweiler [2016-05-13 07:23:48] 879*2^1429020-1 is not prime. Res64: 4F7E32A29CD534A1 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:24:07] 923*2^1429020-1 is not prime. Res64: E60D9B21A7F36BEF Time : 0.0 sec. user=mdettweiler [2016-05-13 07:24:07] 933*2^1429020-1 is not prime. Res64: D29CF7918C352680 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:24:07] 957*2^1429020-1 is not prime. Res64: E170CB5DA6407243 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:24:08] 965*2^1429020-1 is not prime. Res64: EDA77F064DFD5CB8 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:24:08] 987*2^1429020-1 is not prime. Res64: 2EE29D3C146E160E Time : 0.0 sec. user=mdettweiler [2016-05-13 07:32:57] 999*2^1429020-1 is not prime. Res64: 1BF41213BD6883BF Time : 0.0 sec. user=mdettweiler [2016-05-13 07:32:57] 681*2^1429021-1 is not prime. Res64: 6AF76D7373198D0E Time : 0.0 sec. user=mdettweiler [2016-05-13 07:32:57] 745*2^1429021-1 is not prime. Res64: 889207E9DAE092ED Time : 0.0 sec. user=mdettweiler [2016-05-13 07:32:58] 835*2^1429021-1 is not prime. Res64: 7B80F19684785DEE Time : 0.0 sec. user=mdettweiler [2016-05-13 07:32:58] 871*2^1429021-1 is not prime. Res64: CE62A6230B043AF6 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:51:47] 931*2^1429021-1 is not prime. Res64: AE1C6131E837E2E8 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:51:47] 939*2^1429021-1 is not prime. Res64: F29B1BF5A8CA64B4 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:51:47] 997*2^1429021-1 is not prime. Res64: CC9A1B9CB74ABC81 Time : 0.0 sec. user=mdettweiler [2016-05-13 07:51:48] 999*2^1429021-1 is not prime. Res64: DB0DF2764A055D4C Time : 0.0 sec. user=mdettweiler [2016-05-13 07:51:48] 617*2^1429022-1 is not prime. Res64: 5E96EAB6CBEF863E Time : 0.0 sec. user=mdettweiler [2016-05-13 08:08:50] 635*2^1429022-1 is not prime. Res64: B4F1C9E6A1910DF0 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:08:50] 713*2^1429022-1 is not prime. Res64: 11C533716BD6F7A6 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:08:51] 801*2^1429022-1 is not prime. Res64: ACAC08AB2C86978F Time : 0.0 sec. user=mdettweiler [2016-05-13 08:08:51] 833*2^1429022-1 is not prime. Res64: CE9D49A8AEF95ABF Time : 0.0 sec. user=mdettweiler [2016-05-13 08:08:51] 987*2^1429022-1 is not prime. Res64: AF0D2E895AFA55CB Time : 0.0 sec. user=mdettweiler [2016-05-13 08:09:03] 609*2^1429023-1 is not prime. Res64: EACBBA5B45A9033B Time : 0.0 sec. user=mdettweiler [2016-05-13 08:09:03] 661*2^1429023-1 is not prime. Res64: 6F0F2F9FB3853EFB Time : 0.0 sec. user=mdettweiler [2016-05-13 08:09:04] 691*2^1429023-1 is not prime. Res64: 98C0F60CAE250803 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:09:04] 693*2^1429023-1 is not prime. Res64: B0DB988C3C8558A6 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:09:05] 735*2^1429023-1 is not prime. Res64: F928D0BABF446823 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:17:56] 751*2^1429023-1 is not prime. Res64: 554AB393BD4AA058 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:17:56] 763*2^1429023-1 is not prime. Res64: 3539E5A6EAFDEA3A Time : 0.0 sec. user=mdettweiler [2016-05-13 08:17:57] 783*2^1429023-1 is not prime. Res64: 04B72E12E4CC05AA Time : 0.0 sec. user=mdettweiler [2016-05-13 08:17:57] 871*2^1429023-1 is not prime. Res64: 250CD1E125CCC512 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:17:58] 921*2^1429023-1 is not prime. Res64: 2E1DCBF8FCEBB945 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:36:54] 945*2^1429023-1 is not prime. Res64: 82196712F4527DA6 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:36:55] 969*2^1429023-1 is not prime. Res64: 1CBDFDD3913414EC Time : 0.0 sec. user=mdettweiler [2016-05-13 08:36:55] 985*2^1429023-1 is not prime. Res64: 9D3F0F3CAD49C5F7 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:36:55] 605*2^1429024-1 is not prime. Res64: CFB5EF2D5B29C739 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:36:56] 623*2^1429024-1 is not prime. Res64: D905C30348ED5E9C Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:04] 743*2^1429024-1 is not prime. Res64: 7EBF5E5A8B4A6DE0 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:04] 857*2^1429024-1 is not prime. Res64: EB14BD9AF5F9BA5B Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:05] 863*2^1429024-1 is not prime. Res64: 111BA3BBF1F64F3C Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:05] 989*2^1429024-1 is not prime. Res64: D0B84DAE48F404A2 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:05] 601*2^1429025-1 is not prime. Res64: ED0D4BF5F3568589 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:20] 789*2^1429025-1 is not prime. Res64: B16DA9AAB5936833 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:21] 837*2^1429025-1 is not prime. Res64: 8D81754F83B0181B Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:21] 937*2^1429025-1 is not prime. Res64: 71E5AE016FB52A0E Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:21] 783*2^1429026-1 is not prime. Res64: 318A8C452E182382 Time : 0.0 sec. user=mdettweiler [2016-05-13 08:54:22] 867*2^1429026-1 is not prime. Res64: 5A9C165F646574B6 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:02:58] 963*2^1429026-1 is not prime. Res64: BB2938A3B4B0ED40 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:02:59] 615*2^1429027-1 is not prime. Res64: CF598AA13EBF7698 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:03:00] 663*2^1429027-1 is not prime. Res64: 3262055593B2F033 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:03:01] 805*2^1429027-1 is not prime. Res64: 55C3441F0DC9ABFB Time : 0.0 sec. user=mdettweiler [2016-05-13 09:03:02] 861*2^1429027-1 is not prime. Res64: F99A082708788A2B Time : 0.0 sec. user=mdettweiler [2016-05-13 09:21:40] 871*2^1429027-1 is not prime. Res64: 3680729D0A04D44F Time : 0.0 sec. user=mdettweiler [2016-05-13 09:21:40] 931*2^1429027-1 is not prime. Res64: 99D37B0A1C63B1EA Time : 0.0 sec. user=mdettweiler [2016-05-13 09:21:41] 979*2^1429027-1 is not prime. Res64: A846D3064F25616F Time : 0.0 sec. user=mdettweiler [2016-05-13 09:21:41] 999*2^1429027-1 is not prime. Res64: 05BCA3A5024304A9 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:21:42] 615*2^1429028-1 is not prime. Res64: 0F8C92D00679AB60 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:38:56] 669*2^1429028-1 is not prime. Res64: 56D1C9D977CBA7B7 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:38:56] 687*2^1429028-1 is not prime. Res64: FC360EA4442BF539 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:38:57] 797*2^1429028-1 is not prime. Res64: 8054066EF3C7EF1E Time : 0.0 sec. user=mdettweiler [2016-05-13 09:38:57] 845*2^1429028-1 is not prime. Res64: 8508E0294400BA5A Time : 0.0 sec. user=mdettweiler [2016-05-13 09:38:57] 869*2^1429028-1 is not prime. Res64: 89C4FE1B558C8AC1 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:39:19] 953*2^1429028-1 is not prime. Res64: 3BDBC42D09A8CCDC Time : 0.0 sec. user=mdettweiler [2016-05-13 09:39:19] 657*2^1429029-1 is not prime. Res64: 74BFADD62FCF985C Time : 0.0 sec. user=mdettweiler [2016-05-13 09:39:20] 787*2^1429029-1 is not prime. Res64: B1CCE664CC45FE81 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:39:20] 825*2^1429029-1 is not prime. Res64: E02FD0AAF04FF51E Time : 0.0 sec. user=mdettweiler [2016-05-13 09:39:20] 647*2^1429030-1 is not prime. Res64: CB3E5191F8CA03C1 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:48:04] 663*2^1429030-1 is not prime. Res64: B3581AD145039F61 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:48:04] 695*2^1429030-1 is not prime. Res64: 33266D406520A20F Time : 0.0 sec. user=mdettweiler [2016-05-13 09:48:05] 755*2^1429030-1 is not prime. Res64: 38DF127406B21D6F Time : 0.0 sec. user=mdettweiler [2016-05-13 09:48:05] 777*2^1429030-1 is not prime. Res64: 0857EAEC1636F733 Time : 0.0 sec. user=mdettweiler [2016-05-13 09:48:06] 783*2^1429030-1 is not prime. Res64: DA40E7A303DFC8F9 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:06:32] 867*2^1429030-1 is not prime. Res64: E6803F2397ABB6ED Time : 0.0 sec. user=mdettweiler [2016-05-13 10:06:33] 873*2^1429030-1 is not prime. Res64: B1F11E1005EF0AAA Time : 0.0 sec. user=mdettweiler [2016-05-13 10:06:33] 933*2^1429030-1 is not prime. Res64: 47EC61A1FD14E52B Time : 0.0 sec. user=mdettweiler [2016-05-13 10:06:34] 945*2^1429030-1 is not prime. Res64: AD67AC861B52CF94 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:06:34] 741*2^1429031-1 is not prime. Res64: C725865F5773816A Time : 0.0 sec. user=mdettweiler [2016-05-13 10:23:44] 759*2^1429031-1 is not prime. Res64: 74A84C3F49FDE22D Time : 0.0 sec. user=mdettweiler [2016-05-13 10:23:44] 605*2^1429032-1 is not prime. Res64: C2B47602F35EDEC0 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:23:44] 633*2^1429032-1 is not prime. Res64: 151353C9D4E5C2B6 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:23:45] 669*2^1429032-1 is not prime. Res64: 123465CA9A106B94 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:23:45] 695*2^1429032-1 is not prime. Res64: 6572C12337C0F3B5 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:24:03] 719*2^1429032-1 is not prime. Res64: 74F07BBBA7AB4C6B Time : 0.0 sec. user=mdettweiler [2016-05-13 10:24:03] 797*2^1429032-1 is not prime. Res64: 81509C92A5FC91DB Time : 0.0 sec. user=mdettweiler [2016-05-13 10:24:04] 873*2^1429032-1 is not prime. Res64: 01553525A555FA53 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:24:06] 983*2^1429032-1 is not prime. Res64: 31A1691BD188FAE3 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:24:07] 867*2^1429033-1 is not prime. Res64: 9E267C9D86130B87 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:32:59] 937*2^1429033-1 is not prime. Res64: 623C2CCA944DFDF8 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:33:00] 999*2^1429033-1 is not prime. Res64: 3DE49A3B573E633D Time : 0.0 sec. user=mdettweiler [2016-05-13 10:33:00] 633*2^1429034-1 is not prime. Res64: 2433FE661D1C6767 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:33:00] 675*2^1429034-1 is not prime. Res64: E2FBF987246F2142 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:33:01] 705*2^1429034-1 is not prime. Res64: 19C6454B87D88B88 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:51:23] 731*2^1429034-1 is not prime. Res64: 3D0D839366CED2B2 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:51:23] 741*2^1429034-1 is not prime. Res64: 4A7E976A91EE5223 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:51:23] 743*2^1429034-1 is not prime. Res64: C635B19D5F4207F8 Time : 0.0 sec. user=mdettweiler [2016-05-13 10:51:24] 875*2^1429034-1 is not prime. Res64: 883886039EFF393A Time : 0.0 sec. user=mdettweiler [2016-05-13 10:51:24] 887*2^1429034-1 is not prime. Res64: D3C36A413E9510B8 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:08:41] 915*2^1429034-1 is not prime. Res64: 810262D584DED93C Time : 0.0 sec. user=mdettweiler [2016-05-13 11:08:41] 917*2^1429034-1 is not prime. Res64: 4DD2B84241071732 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:08:42] 921*2^1429034-1 is not prime. Res64: E3E2737E31846CCE Time : 0.0 sec. user=mdettweiler [2016-05-13 11:08:42] 1001*2^1429034-1 is not prime. Res64: D497F1357D5D038C Time : 0.0 sec. user=mdettweiler [2016-05-13 11:08:43] 651*2^1429035-1 is not prime. Res64: E407593BA7788CBD Time : 0.0 sec. user=mdettweiler [2016-05-13 11:09:10] 705*2^1429035-1 is not prime. Res64: AEAC920116944D02 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:09:11] 709*2^1429035-1 is not prime. Res64: 3F40E6274FE1BB3F Time : 0.0 sec. user=mdettweiler [2016-05-13 11:09:11] 849*2^1429035-1 is not prime. Res64: 3EA0A00A0807ACE5 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:09:11] 853*2^1429035-1 is not prime. Res64: 9FC5540C81502DCB Time : 0.0 sec. user=mdettweiler [2016-05-13 11:09:12] 949*2^1429035-1 is not prime. Res64: E1A89A1212D92FF3 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:17:44] 951*2^1429035-1 is not prime. Res64: 0875DC0F52C9F5A9 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:17:45] 955*2^1429035-1 is not prime. Res64: BED0817A2393351A Time : 0.0 sec. user=mdettweiler [2016-05-13 11:17:45] 623*2^1429036-1 is not prime. Res64: 4F966E5233D55CA4 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:17:45] 647*2^1429036-1 is not prime. Res64: 4BA2F1DF437ED757 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:17:46] 723*2^1429036-1 is not prime. Res64: 29658B82A86EA595 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:36:11] 869*2^1429036-1 is not prime. Res64: C2E7248845E459C6 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:36:11] 923*2^1429036-1 is not prime. Res64: 2175A7E48A5E961A Time : 0.0 sec. user=mdettweiler [2016-05-13 11:36:11] 727*2^1429037-1 is not prime. Res64: 7B88F76399060BF4 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:36:12] 759*2^1429037-1 is not prime. Res64: 3A084581CF8354CC Time : 0.0 sec. user=mdettweiler [2016-05-13 11:36:12] 831*2^1429037-1 is not prime. Res64: E2C78A0578AAD7F9 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:32] 981*2^1429037-1 is not prime. Res64: 8CEAF59C3796EEB9 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:32] 671*2^1429038-1 is not prime. Res64: F33E73C4E1658AE7 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:33] 755*2^1429038-1 is not prime. Res64: 20938FFCF44C3815 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:33] 891*2^1429038-1 is not prime. Res64: E30B699F833DF45E Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:34] 945*2^1429038-1 is not prime. Res64: 7A4D74DDA6F6390C Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:54] 963*2^1429038-1 is not prime. Res64: 7BDDBA1994C15B1A Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:55] 971*2^1429038-1 is not prime. Res64: 24CE69D8219FE547 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:55] 993*2^1429038-1 is not prime. Res64: 4FE1CE68EE17C8B6 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:55] 645*2^1429039-1 is not prime. Res64: 361D4D942FC6E806 Time : 0.0 sec. user=mdettweiler [2016-05-13 11:53:57] 705*2^1429039-1 is not prime. Res64: 3FFB79C6107F1D72 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:02:37] 723*2^1429039-1 is not prime. Res64: F10C72E54BF40DE0 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:02:38] 769*2^1429039-1 is not prime. Res64: 9C7E06AD44D8651B Time : 0.0 sec. user=mdettweiler [2016-05-13 12:02:39] 889*2^1429039-1 is not prime. Res64: 668062E80BBA206B Time : 0.0 sec. user=mdettweiler [2016-05-13 12:02:40] 961*2^1429039-1 is not prime. Res64: D69B137D4167076A Time : 0.0 sec. user=mdettweiler [2016-05-13 12:02:40] 603*2^1429040-1 is not prime. Res64: ADBE3B98E83F0827 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:21:09] 633*2^1429040-1 is not prime. Res64: A43D91A107FC0B8F Time : 0.0 sec. user=mdettweiler [2016-05-13 12:21:11] 659*2^1429040-1 is not prime. Res64: 96FCEB757FFBC418 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:21:11] 713*2^1429040-1 is not prime. Res64: FB56814A86126859 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:21:11] 833*2^1429040-1 is not prime. Res64: 9C6492F158030D2D Time : 0.0 sec. user=mdettweiler [2016-05-13 12:21:12] 935*2^1429040-1 is not prime. Res64: 8D734A27CCBF298D Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:30] 957*2^1429040-1 is not prime. Res64: 3D36016049DA7D67 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:31] 963*2^1429040-1 is not prime. Res64: 9C6E4843FC9209CB Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:31] 607*2^1429041-1 is not prime. Res64: A28C9D0CDC5BCBFD Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:32] 609*2^1429041-1 is not prime. Res64: AE8DD6C6097D75D8 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:32] 651*2^1429041-1 is not prime. Res64: 9A5D7AA4D222FB5F Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:54] 681*2^1429041-1 is not prime. Res64: 2079B8B7E9AB793A Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:54] 685*2^1429041-1 is not prime. Res64: A67178DBF86B2AC5 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:55] 739*2^1429041-1 is not prime. Res64: 61509F3F25F5F5BF Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:55] 745*2^1429041-1 is not prime. Res64: C4B89B4AA61E3265 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:38:56] 795*2^1429041-1 is not prime. Res64: 93A37D70C07F3E52 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:47:35] 921*2^1429041-1 is not prime. Res64: 7D9C2E18DC30C54B Time : 0.0 sec. user=mdettweiler [2016-05-13 12:47:36] 937*2^1429041-1 is not prime. Res64: CEA19B6E041CFAE1 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:47:36] 999*2^1429041-1 is not prime. Res64: F8C31C502D6CE385 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:47:36] 645*2^1429042-1 is not prime. Res64: D12EE0DE30DBB8E7 Time : 0.0 sec. user=mdettweiler [2016-05-13 12:47:37] 657*2^1429042-1 is not prime. Res64: 69E30B8610E704CE Time : 0.0 sec. user=mdettweiler [2016-05-13 13:06:07] 705*2^1429042-1 is not prime. Res64: C425B9B8FCD4F765 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:06:09] 743*2^1429042-1 is not prime. Res64: 32E824B465105482 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:06:10] 765*2^1429042-1 is not prime. Res64: DE6D13456AE6CADF Time : 0.0 sec. user=mdettweiler [2016-05-13 13:06:11] 813*2^1429042-1 is not prime. Res64: 3BCDA6317F2B7407 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:06:13] 873*2^1429042-1 is not prime. Res64: B3428C8E683C46E9 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:23:37] 885*2^1429042-1 is not prime. Res64: 44D761DA37127B84 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:23:37] 619*2^1429043-1 is not prime. Res64: 12F88C0746134C4D Time : 0.0 sec. user=mdettweiler [2016-05-13 13:23:38] 675*2^1429043-1 is not prime. Res64: A380894C0B8F2208 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:23:38] 685*2^1429043-1 is not prime. Res64: 65F233F26AE27B2C Time : 0.0 sec. user=mdettweiler [2016-05-13 13:23:38] 693*2^1429043-1 is not prime. Res64: A0DACF3360298688 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:24:32] 703*2^1429043-1 is not prime. Res64: 72E3089EB04F6FF0 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:24:32] 741*2^1429043-1 is not prime. Res64: 02A700E98C327A28 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:24:33] 813*2^1429043-1 is not prime. Res64: 6D6A287BD7D809D1 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:24:33] 885*2^1429043-1 is not prime. Res64: E3018ECE96D15297 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:24:33] 675*2^1429044-1 is not prime. Res64: 39025370E1CCB4D0 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:32:51] 683*2^1429044-1 is not prime. Res64: 2FA97584E2079D42 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:32:52] 707*2^1429044-1 is not prime. Res64: 0CAA959361D8C3C7 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:32:52] 723*2^1429044-1 is not prime. Res64: C41A6DAC68F76023 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:32:52] 993*2^1429044-1 is not prime. Res64: 28AB9855C235EEFF Time : 0.0 sec. user=mdettweiler [2016-05-13 13:32:53] 871*2^1429045-1 is not prime. Res64: 5458495260BE9F72 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:51:15] 603*2^1429046-1 is not prime. Res64: 0F0FBA8AC64FEF70 Time : 0.0 sec. user=mdettweiler [2016-05-13 13:51:15] 623*2^1429046-1 is not prime. Res64: A2880A10FF2A6B0B Time : 0.0 sec. user=mdettweiler [2016-05-13 13:51:16] 677*2^1429046-1 is not prime. Res64: A1FBDFD60957EB9F Time : 0.0 sec. user=mdettweiler [2016-05-13 13:51:16] 773*2^1429046-1 is not prime. Res64: 8F2F1BDAC7498A3A Time : 0.0 sec. user=mdettweiler [2016-05-13 13:51:17] 633*2^1429047-1 is not prime. Res64: 329F3F008B80E789 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:08:21] 651*2^1429047-1 is not prime. Res64: 45750596670664C6 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:08:22] 669*2^1429047-1 is not prime. Res64: 24E491F7FDE840D5 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:08:23] 675*2^1429047-1 is not prime. Res64: 0B853EB7B22106CF Time : 0.0 sec. user=mdettweiler [2016-05-13 14:08:25] 765*2^1429047-1 is not prime. Res64: DD9459D904F26691 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:08:26] 819*2^1429047-1 is not prime. Res64: 79FCD72336504F1D Time : 0.0 sec. user=mdettweiler [2016-05-13 14:09:28] 859*2^1429047-1 is not prime. Res64: 9EDD937DA2F869F4 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:09:29] 955*2^1429047-1 is not prime. Res64: 2C40D136BD200FF3 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:09:30] 665*2^1429048-1 is not prime. Res64: 949C6B7BD4791D89 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:09:31] 755*2^1429048-1 is not prime. Res64: 9B7477A9F2B49908 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:09:32] 863*2^1429048-1 is not prime. Res64: 91A89953BEE7F197 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:17:55] 957*2^1429048-1 is not prime. Res64: 5EB3BD2BFDCCB9D8 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:17:55] 627*2^1429049-1 is not prime. Res64: CA7C392C26901265 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:17:56] 657*2^1429049-1 is not prime. Res64: 9D94817CAF373937 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:17:56] 697*2^1429049-1 is not prime. Res64: CB7566D474565FBE Time : 0.0 sec. user=mdettweiler [2016-05-13 14:17:57] 787*2^1429049-1 is not prime. Res64: 3781E9EF8E6DF2AD Time : 0.0 sec. user=mdettweiler [2016-05-13 14:36:21] 847*2^1429049-1 is not prime. Res64: A297377CA699D6B5 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:36:21] 647*2^1429050-1 is not prime. Res64: 4B464D37CF2AAA7E Time : 0.0 sec. user=mdettweiler [2016-05-13 14:36:21] 651*2^1429050-1 is not prime. Res64: 4262AE4F1E74B56B Time : 0.0 sec. user=mdettweiler [2016-05-13 14:36:22] 713*2^1429050-1 is not prime. Res64: 67DD2B362EBC9DC7 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:36:22] 723*2^1429050-1 is not prime. Res64: 5E21CDA27FD9B12E Time : 0.0 sec. user=mdettweiler [2016-05-13 14:53:53] 801*2^1429050-1 is not prime. Res64: 9D346791CB753E24 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:53:54] 833*2^1429050-1 is not prime. Res64: 6096E760BC7C2131 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:53:54] 971*2^1429050-1 is not prime. Res64: 793E980B2FC77C11 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:53:54] 601*2^1429051-1 is not prime. Res64: C8D0CD5EC502D1FB Time : 0.0 sec. user=mdettweiler [2016-05-13 14:53:55] 625*2^1429051-1 is not prime. Res64: FE8BEE4F42D3CB58 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:55:12] 723*2^1429051-1 is not prime. Res64: DDDA253D658D9EF4 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:55:12] 751*2^1429051-1 is not prime. Res64: D2AAEDA3B74DFE7F Time : 0.0 sec. user=mdettweiler [2016-05-13 14:55:12] 769*2^1429051-1 is not prime. Res64: C67F61997DF1E57B Time : 0.0 sec. user=mdettweiler [2016-05-13 14:55:13] 775*2^1429051-1 is not prime. Res64: 4D3A1EE01404D0C3 Time : 0.0 sec. user=mdettweiler [2016-05-13 14:55:13] 805*2^1429051-1 is not prime. Res64: E16E1B4857C06F71 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:03:06] 861*2^1429051-1 is not prime. Res64: 3B50D1715F6B0037 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:03:07] 609*2^1429052-1 is not prime. Res64: A23E573565B8AE0D Time : 0.0 sec. user=mdettweiler [2016-05-13 15:03:07] 693*2^1429052-1 is not prime. Res64: BCB71BBDE6FBBD50 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:03:08] 873*2^1429052-1 is not prime. Res64: EE584996BAC10B21 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:03:09] 885*2^1429052-1 is not prime. Res64: 5312BA996533F07E Time : 0.0 sec. user=mdettweiler [2016-05-13 15:21:29] 899*2^1429052-1 is not prime. Res64: D2ACC94EDE8B1706 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:21:29] 607*2^1429053-1 is not prime. Res64: ADF1ACE27F73BDA2 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:21:30] 727*2^1429053-1 is not prime. Res64: 91A7D3DF6B781762 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:21:30] 735*2^1429053-1 is not prime. Res64: 1197B35F936E69B1 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:21:31] 747*2^1429053-1 is not prime. Res64: 73B57F8B84A61F92 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:38:45] 849*2^1429053-1 is not prime. Res64: A8F3391E9983E9B8 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:38:46] 889*2^1429053-1 is not prime. Res64: D8C4E102748137D0 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:38:46] 611*2^1429054-1 is not prime. Res64: 3F20F4C85C62E6F5 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:38:46] 635*2^1429054-1 is not prime. Res64: 9327D44598161A5C Time : 0.0 sec. user=mdettweiler [2016-05-13 15:38:47] 717*2^1429054-1 is not prime. Res64: F69ECD347D33A2E6 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:40:04] 731*2^1429054-1 is not prime. Res64: ED82B553D4E6B79C Time : 0.0 sec. user=mdettweiler [2016-05-13 15:40:04] 815*2^1429054-1 is not prime. Res64: EF9AE3678956A1E0 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:40:05] 827*2^1429054-1 is not prime. Res64: 244DD75F05961F49 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:40:05] 857*2^1429054-1 is not prime. Res64: EFCEFF0D2FF184E5 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:40:05] 881*2^1429054-1 is not prime. Res64: B24383022C172624 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:47:55] 945*2^1429054-1 is not prime. Res64: 0750357CDE082852 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:47:55] 975*2^1429054-1 is not prime. Res64: 9BE9DBD7122E2BAA Time : 0.0 sec. user=mdettweiler [2016-05-13 15:47:55] 673*2^1429055-1 is not prime. Res64: 5064D12025240DED Time : 0.0 sec. user=mdettweiler [2016-05-13 15:47:56] 635*2^1429056-1 is not prime. Res64: 6663422AA8009D84 Time : 0.0 sec. user=mdettweiler [2016-05-13 15:47:56] 699*2^1429056-1 is not prime. Res64: 14259A12D85DA839 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:06:38] 737*2^1429056-1 is not prime. Res64: 8650C3F66262944D Time : 0.0 sec. user=mdettweiler [2016-05-13 16:06:39] 767*2^1429056-1 is not prime. Res64: 35AA7C89E28B5BC5 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:06:40] 845*2^1429056-1 is not prime. Res64: 671937BEC802F0A0 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:06:41] 975*2^1429056-1 is not prime. Res64: 2C31479B8C5CB061 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:06:42] 651*2^1429057-1 is not prime. Res64: 3CF05573126B5012 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:23:50] 729*2^1429057-1 is not prime. Res64: E2AB7366D6C87ACE Time : 0.0 sec. user=mdettweiler [2016-05-13 16:23:51] 835*2^1429057-1 is not prime. Res64: 8CEF4CF374FF6FBB Time : 0.0 sec. user=mdettweiler [2016-05-13 16:23:51] 909*2^1429057-1 is not prime. Res64: 7E02FE9185FF2F2B Time : 0.0 sec. user=mdettweiler [2016-05-13 16:23:52] 931*2^1429057-1 is not prime. Res64: 5B968997EB1DA0C3 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:23:53] 797*2^1429058-1 is not prime. Res64: 44B1E4368F779809 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:25:16] 833*2^1429058-1 is not prime. Res64: 71D66195BDE5FF21 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:25:16] 885*2^1429058-1 is not prime. Res64: F5BFAF8B37088F49 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:25:17] 945*2^1429058-1 is not prime. Res64: 40C8BE2BA339F2A5 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:25:17] 675*2^1429059-1 is not prime. Res64: FE8311AECD745338 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:25:18] 751*2^1429059-1 is not prime. Res64: 1ECC5BA60D63DB56 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:33:02] 769*2^1429059-1 is not prime. Res64: 60FD00656C69C63B Time : 0.0 sec. user=mdettweiler [2016-05-13 16:33:03] 789*2^1429059-1 is not prime. Res64: 3757C3C9829C346B Time : 0.0 sec. user=mdettweiler [2016-05-13 16:33:03] 793*2^1429059-1 is not prime. Res64: 725DD4A8E3327A93 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:33:03] 795*2^1429059-1 is not prime. Res64: B566FAC185BAFC94 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:33:04] 825*2^1429059-1 is not prime. Res64: C9DBF32ACA554401 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:51:56] 975*2^1429059-1 is not prime. Res64: 9373E63527B865EF Time : 0.0 sec. user=mdettweiler [2016-05-13 16:51:56] 991*2^1429059-1 is not prime. Res64: ED5F6E37BEDB718A Time : 0.0 sec. user=mdettweiler [2016-05-13 16:51:56] 677*2^1429060-1 is not prime. Res64: D065D19B3B9BB72D Time : 0.0 sec. user=mdettweiler [2016-05-13 16:51:57] 765*2^1429060-1 is not prime. Res64: 17E4A55AE9E9C2F9 Time : 0.0 sec. user=mdettweiler [2016-05-13 16:51:57] 827*2^1429060-1 is not prime. Res64: 59008CB08C32153F Time : 0.0 sec. user=mdettweiler [2016-05-13 17:08:53] 843*2^1429060-1 is not prime. Res64: B9777A0874454F06 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:08:54] 873*2^1429060-1 is not prime. Res64: D4B3780DF7B772A3 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:08:55] 933*2^1429060-1 is not prime. Res64: 36486191D9093D69 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:08:55] 939*2^1429060-1 is not prime. Res64: B80250022DA59CEC Time : 0.0 sec. user=mdettweiler [2016-05-13 17:08:56] 657*2^1429061-1 is not prime. Res64: 90628D3064E80339 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:10:18] 735*2^1429061-1 is not prime. Res64: 821D5D890CEA66F7 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:10:18] 741*2^1429061-1 is not prime. Res64: FAFDE6C4DFA361BE Time : 0.0 sec. user=mdettweiler [2016-05-13 17:10:19] 757*2^1429061-1 is not prime. Res64: C87F66B38755EBD2 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:10:19] 795*2^1429061-1 is not prime. Res64: A664B37B894F677E Time : 0.0 sec. user=mdettweiler [2016-05-13 17:10:20] 859*2^1429061-1 is not prime. Res64: 201C5CC33678837E Time : 0.0 sec. user=mdettweiler [2016-05-13 17:17:57] 889*2^1429061-1 is not prime. Res64: C38A4357BDDF67E8 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:17:58] 931*2^1429061-1 is not prime. Res64: 105B109FD81BFB1D Time : 0.0 sec. user=mdettweiler [2016-05-13 17:17:58] 939*2^1429061-1 is not prime. Res64: B4DF53D224A0D7DD Time : 0.0 sec. user=mdettweiler [2016-05-13 17:17:58] 955*2^1429061-1 is not prime. Res64: D627E43236739AB0 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:17:59] 979*2^1429061-1 is not prime. Res64: 04CDE74F308C6D18 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:37:09] 635*2^1429062-1 is not prime. Res64: D95086C8880A2640 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:37:10] 651*2^1429062-1 is not prime. Res64: 536885AD6DDCE3A9 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:37:10] 713*2^1429062-1 is not prime. Res64: 1BD7CA8507A11C4B Time : 0.0 sec. user=mdettweiler [2016-05-13 17:37:11] 717*2^1429062-1 is not prime. Res64: 8FA8F4D96E5B1FC4 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:37:11] 801*2^1429062-1 is not prime. Res64: 73FBD0DBA0E484E2 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:53:54] 815*2^1429062-1 is not prime. Res64: 0051C06107FBE992 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:53:55] 603*2^1429063-1 is not prime. Res64: 2EB9B00DB9B49A05 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:53:55] 639*2^1429063-1 is not prime. Res64: 8E1CD912E09B53D4 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:53:56] 703*2^1429063-1 is not prime. Res64: DAA5318B0B4CB78B Time : 0.0 sec. user=mdettweiler [2016-05-13 17:53:56] 705*2^1429063-1 is not prime. Res64: E31AF9EB8003326F Time : 0.0 sec. user=mdettweiler [2016-05-13 17:55:25] 853*2^1429063-1 is not prime. Res64: FAB9ABA17A72A1B0 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:55:25] 933*2^1429063-1 is not prime. Res64: F2FB08F5720BD567 Time : 0.0 sec. user=mdettweiler [2016-05-13 17:55:26] 609*2^1429064-1 is not prime. Res64: 5C3367EA8214EECB Time : 0.0 sec. user=mdettweiler [2016-05-13 17:55:26] 747*2^1429064-1 is not prime. Res64: 38FBC2D6729A427F Time : 0.0 sec. user=mdettweiler [2016-05-13 17:55:27] 855*2^1429064-1 is not prime. Res64: 21894BDEB1B1AE76 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:02:53] 897*2^1429064-1 is not prime. Res64: 63FC6C6E4D3D1806 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:02:54] 969*2^1429064-1 is not prime. Res64: D0795271668EAD62 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:02:55] 983*2^1429064-1 is not prime. Res64: B14AC43F0213A402 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:02:56] 777*2^1429065-1 is not prime. Res64: 07FAF2946C247996 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:02:57] 831*2^1429065-1 is not prime. Res64: 718978159771274E Time : 0.0 sec. user=mdettweiler [2016-05-13 18:22:43] 837*2^1429065-1 is not prime. Res64: A88995A331842A4F Time : 0.0 sec. user=mdettweiler [2016-05-13 18:22:44] 871*2^1429065-1 is not prime. Res64: A715E5F2A85F1A76 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:22:44] 969*2^1429065-1 is not prime. Res64: 4289A72253EEBB3A Time : 0.0 sec. user=mdettweiler [2016-05-13 18:22:44] 985*2^1429065-1 is not prime. Res64: 6254B0ECCE8743EB Time : 0.0 sec. user=mdettweiler [2016-05-13 18:22:45] 999*2^1429065-1 is not prime. Res64: 4189E374699C3963 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:39:26] 671*2^1429066-1 is not prime. Res64: 67F1EBD27E887E7C Time : 0.0 sec. user=mdettweiler [2016-05-13 18:39:27] 765*2^1429066-1 is not prime. Res64: 8A41B3D8406E3B9E Time : 0.0 sec. user=mdettweiler [2016-05-13 18:39:27] 773*2^1429066-1 is not prime. Res64: 78B34355DB8C9243 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:39:27] 857*2^1429066-1 is not prime. Res64: A5D319CF7961FC49 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:39:28] 923*2^1429066-1 is not prime. Res64: C1D6A165C66628AB Time : 0.0 sec. user=mdettweiler [2016-05-13 18:40:58] 981*2^1429066-1 is not prime. Res64: 76A835FE561CD41B Time : 0.0 sec. user=mdettweiler [2016-05-13 18:40:58] 615*2^1429067-1 is not prime. Res64: 984AF216687213E7 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:40:58] 643*2^1429067-1 is not prime. Res64: E56B119BA866A0C4 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:40:59] 799*2^1429067-1 is not prime. Res64: 6DE7F3D0720805BA Time : 0.0 sec. user=mdettweiler [2016-05-13 18:40:59] 825*2^1429067-1 is not prime. Res64: EFAABB762E3F23C8 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:48:33] 963*2^1429067-1 is not prime. Res64: 5D56C2416139ABAA Time : 0.0 sec. user=mdettweiler [2016-05-13 18:48:33] 993*2^1429067-1 is not prime. Res64: D1420629A516AB54 Time : 0.0 sec. user=mdettweiler [2016-05-13 18:48:34] 737*2^1429068-1 is not prime. Res64: 736930F019F2799E Time : 0.0 sec. user=mdettweiler [2016-05-13 18:48:34] 783*2^1429068-1 is not prime. Res64: D417C86A3E5B2CCF Time : 0.0 sec. user=mdettweiler [2016-05-13 18:48:34] 825*2^1429068-1 is not prime. Res64: 540A8524FCFA9B7C Time : 0.0 sec. user=mdettweiler [2016-05-13 19:07:49] 875*2^1429068-1 is not prime. Res64: B6ABE402323DAF8F Time : 0.0 sec. user=mdettweiler [2016-05-13 19:07:50] 959*2^1429068-1 is not prime. Res64: F8D1689C037C661E Time : 0.0 sec. user=mdettweiler [2016-05-13 19:07:50] 609*2^1429069-1 is not prime. Res64: D05B3CCE6BDC5567 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:07:51] 775*2^1429069-1 is not prime. Res64: 780AC8D2303B2587 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:07:51] 801*2^1429069-1 is not prime. Res64: E60A7C58ED297D4A Time : 0.0 sec. user=mdettweiler [2016-05-13 19:24:13] 831*2^1429069-1 is not prime. Res64: E063C367D84F3064 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:24:14] 885*2^1429069-1 is not prime. Res64: DBCD94A91C99AEDB Time : 0.0 sec. user=mdettweiler [2016-05-13 19:24:14] 939*2^1429069-1 is not prime. Res64: 8A514B43AA04FFC6 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:24:15] 627*2^1429070-1 is not prime. Res64: 233B6141F27D4476 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:24:15] 797*2^1429070-1 is not prime. Res64: 1E01B5B38FC8DA4B Time : 0.0 sec. user=mdettweiler [2016-05-13 19:25:46] 971*2^1429070-1 is not prime. Res64: 02CFF3DC6C0B0BF3 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:25:47] 977*2^1429070-1 is not prime. Res64: D59900EABA36C7C3 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:25:47] 643*2^1429071-1 is not prime. Res64: 65C9CC770C78A212 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:25:48] 649*2^1429071-1 is not prime. Res64: D59BE26FA2F0A60C Time : 0.0 sec. user=mdettweiler [2016-05-13 19:25:48] 669*2^1429071-1 is not prime. Res64: B43A7ED12EC7D7EB Time : 0.0 sec. user=mdettweiler [2016-05-13 19:33:58] 723*2^1429071-1 is not prime. Res64: F05FF3F07A6CC279 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:33:58] 805*2^1429071-1 is not prime. Res64: 4D3FB0C4C09FD3E8 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:33:58] 713*2^1429072-1 is not prime. Res64: 8BFE011872625637 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:33:59] 779*2^1429072-1 is not prime. Res64: 4EB5EB8DB177304E Time : 0.0 sec. user=mdettweiler [2016-05-13 19:33:59] 785*2^1429072-1 is not prime. Res64: 746A1A0654CAB60E Time : 0.0 sec. user=mdettweiler [2016-05-13 19:53:23] 797*2^1429072-1 is not prime. Res64: 0E3F96DD8F5665C4 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:53:23] 813*2^1429072-1 is not prime. Res64: ECA1DBB930BFBDB5 Time : 0.0 sec. user=mdettweiler [2016-05-13 19:53:24] 819*2^1429072-1 is not prime. Res64: EB28EEABD282A6BF Time : 0.0 sec. user=mdettweiler [2016-05-13 19:53:24] 849*2^1429072-1 is not prime. Res64: CE54FB04020CF17F Time : 0.0 sec. user=mdettweiler [2016-05-13 19:53:25] 855*2^1429072-1 is not prime. Res64: 4B81A77805D5AC90 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:09:46] 999*2^1429072-1 is not prime. Res64: 53D0DBBFC6F109BD Time : 0.0 sec. user=mdettweiler [2016-05-13 20:09:47] 697*2^1429073-1 is not prime. Res64: 4276BF9CAD674566 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:09:47] 837*2^1429073-1 is not prime. Res64: 9115D6E617054FA9 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:09:48] 897*2^1429073-1 is not prime. Res64: C4BC942965F0034B Time : 0.0 sec. user=mdettweiler [2016-05-13 20:09:48] 915*2^1429073-1 is not prime. Res64: CCFBF434575D1B89 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:11:22] 967*2^1429073-1 is not prime. Res64: 5BF5123A27064772 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:11:23] 969*2^1429073-1 is not prime. Res64: C975852118ED62CF Time : 0.0 sec. user=mdettweiler [2016-05-13 20:11:23] 611*2^1429074-1 is not prime. Res64: 827F7214A3BB92E2 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:11:24] 635*2^1429074-1 is not prime. Res64: 998FA8F71EF624BB Time : 0.0 sec. user=mdettweiler [2016-05-13 20:11:24] 765*2^1429074-1 is not prime. Res64: 8DA3BC59F473C5D9 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:19:16] 881*2^1429074-1 is not prime. Res64: 832A938AD478D2BA Time : 0.0 sec. user=mdettweiler [2016-05-13 20:19:17] 893*2^1429074-1 is not prime. Res64: 80261D661EE724E9 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:19:17] 733*2^1429075-1 is not prime. Res64: 773812D44BFCCC4D Time : 0.0 sec. user=mdettweiler [2016-05-13 20:19:18] 741*2^1429075-1 is not prime. Res64: 159897FA3F5C6104 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:19:18] 871*2^1429075-1 is not prime. Res64: 90AD812D09F81D7E Time : 0.0 sec. user=mdettweiler [2016-05-13 20:38:33] 951*2^1429075-1 is not prime. Res64: 8F61A6E82D7A9E7D Time : 0.0 sec. user=mdettweiler [2016-05-13 20:38:34] 999*2^1429075-1 is not prime. Res64: 39405DE9D25188EB Time : 0.0 sec. user=mdettweiler [2016-05-13 20:38:34] 659*2^1429076-1 is not prime. Res64: A848EEEEF923A4B0 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:38:35] 719*2^1429076-1 is not prime. Res64: ECE3234E2E63E32A Time : 0.0 sec. user=mdettweiler [2016-05-13 20:38:35] 773*2^1429076-1 is not prime. Res64: 3872D07385C4F8E8 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:55:04] 869*2^1429076-1 is not prime. Res64: 433B7C036C2771B3 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:55:05] 999*2^1429076-1 is not prime. Res64: B614AC0A1242278F Time : 0.0 sec. user=mdettweiler [2016-05-13 20:55:05] 625*2^1429077-1 is not prime. Res64: 8B4EF71908553831 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:55:06] 711*2^1429077-1 is not prime. Res64: EC7F8DF765DA43D6 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:55:06] 901*2^1429077-1 is not prime. Res64: 3BEA58D649AE4A87 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:56:44] 623*2^1429078-1 is not prime. Res64: 77F331EC5C555778 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:56:45] 705*2^1429078-1 is not prime. Res64: E033853A620584BB Time : 0.0 sec. user=mdettweiler [2016-05-13 20:56:45] 707*2^1429078-1 is not prime. Res64: 247234B36CA21F37 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:56:46] 911*2^1429078-1 is not prime. Res64: F6782CC44FDA1D27 Time : 0.0 sec. user=mdettweiler [2016-05-13 20:56:46] 951*2^1429078-1 is not prime. Res64: A90450B9B761D437 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:04:31] 685*2^1429079-1 is not prime. Res64: AAEE5D712F461EEB Time : 0.0 sec. user=mdettweiler [2016-05-13 21:04:32] 711*2^1429079-1 is not prime. Res64: FF29120CB69ADDDC Time : 0.0 sec. user=mdettweiler [2016-05-13 21:04:33] 745*2^1429079-1 is not prime. Res64: C93000C2B4511A63 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:04:35] 825*2^1429079-1 is not prime. Res64: 26D22D1C0AAEC0EB Time : 0.0 sec. user=mdettweiler [2016-05-13 21:04:36] 885*2^1429079-1 is not prime. Res64: FDDC0EB4D5277EA5 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:23:47] 747*2^1429080-1 is not prime. Res64: AD3D90A832D41871 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:23:47] 765*2^1429080-1 is not prime. Res64: 620BFC6582BE0566 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:23:48] 797*2^1429080-1 is not prime. Res64: 57E187927B0B6836 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:23:48] 839*2^1429080-1 is not prime. Res64: 20B9D6AC8B50394E Time : 0.0 sec. user=mdettweiler [2016-05-13 21:23:49] 863*2^1429080-1 is not prime. Res64: BC6ED33650A92A49 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:40:16] 873*2^1429080-1 is not prime. Res64: 79F4D5BFF32A5DC3 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:40:17] 909*2^1429080-1 is not prime. Res64: A85EEC5A0CE837F6 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:40:17] 975*2^1429080-1 is not prime. Res64: C5B717817FE664D2 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:40:18] 607*2^1429081-1 is not prime. Res64: 0ECE34195A3E6620 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:40:18] 625*2^1429081-1 is not prime. Res64: D3EA8226D72F404B Time : 0.0 sec. user=mdettweiler [2016-05-13 21:41:30] 741*2^1429081-1 is not prime. Res64: F8BF0E9681E22A9C Time : 0.0 sec. user=mdettweiler [2016-05-13 21:41:31] 847*2^1429081-1 is not prime. Res64: 9E1A3953632143B4 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:41:31] 877*2^1429081-1 is not prime. Res64: FC7DBD4E718171E1 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:41:32] 951*2^1429081-1 is not prime. Res64: DAB4541D3E5BB34D Time : 0.0 sec. user=mdettweiler [2016-05-13 21:41:32] 987*2^1429081-1 is not prime. Res64: 9274C59E8E37F62F Time : 0.0 sec. user=mdettweiler [2016-05-13 21:49:44] 735*2^1429082-1 is not prime. Res64: C1129CDD6C63C1A4 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:49:45] 885*2^1429082-1 is not prime. Res64: E8DC297014E6E1A2 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:49:45] 887*2^1429082-1 is not prime. Res64: DB71E83D4311FD25 Time : 0.0 sec. user=mdettweiler [2016-05-13 21:49:46] 953*2^1429082-1 is not prime. Res64: 4BAB8F149F883EFC Time : 0.0 sec. user=mdettweiler [2016-05-13 21:49:46] 615*2^1429083-1 is not prime. Res64: DC619CA680305FC1 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:08:39] 789*2^1429083-1 is not prime. Res64: 339B46AA945540C7 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:08:39] 901*2^1429083-1 is not prime. Res64: 024A6A2CDE91E703 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:08:40] 921*2^1429083-1 is not prime. Res64: 1AADD663EF215C41 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:08:40] 945*2^1429083-1 is not prime. Res64: 33F7ECCB97BB2132 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:08:41] 961*2^1429083-1 is not prime. Res64: CFCBB85759D5F76C Time : 0.0 sec. user=mdettweiler [2016-05-13 22:25:06] 605*2^1429084-1 is not prime. Res64: FF664502FB5520C1 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:25:07] 635*2^1429084-1 is not prime. Res64: 213CEB482FFEB7BB Time : 0.0 sec. user=mdettweiler [2016-05-13 22:25:07] 665*2^1429084-1 is not prime. Res64: F90CAA987825066E Time : 0.0 sec. user=mdettweiler [2016-05-13 22:25:07] 785*2^1429084-1 is not prime. Res64: AFF1BEBC2FE3938D Time : 0.0 sec. user=mdettweiler [2016-05-13 22:25:08] 855*2^1429084-1 is not prime. Res64: EAC0A54212537760 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:26:12] 675*2^1429085-1 is not prime. Res64: 2EB73D3B3B5FB6C3 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:26:12] 691*2^1429085-1 is not prime. Res64: 54BB942E6288811A Time : 0.0 sec. user=mdettweiler [2016-05-13 22:26:13] 721*2^1429085-1 is not prime. Res64: 0B4C84023548C906 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:26:13] 759*2^1429085-1 is not prime. Res64: 182AA89CD7147F15 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:26:13] 781*2^1429085-1 is not prime. Res64: E75671451237DDE4 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:34:32] 811*2^1429085-1 is not prime. Res64: 2010F71D0BD71310 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:34:32] 837*2^1429085-1 is not prime. Res64: A12B8712DFF83986 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:34:32] 611*2^1429086-1 is not prime. Res64: F5B792C15173272E Time : 0.0 sec. user=mdettweiler [2016-05-13 22:34:33] 711*2^1429086-1 is not prime. Res64: 49DB8CEB4BA16349 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:34:33] 737*2^1429086-1 is not prime. Res64: 31A9BA352D3A92D5 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:53:44] 821*2^1429086-1 is not prime. Res64: 04AEE2E5C7363A83 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:53:44] 891*2^1429086-1 is not prime. Res64: 91F9920F81663F33 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:53:44] 975*2^1429086-1 is not prime. Res64: 0B5860952494C8F5 Time : 0.0 sec. user=mdettweiler [2016-05-13 22:53:45] 625*2^1429087-1 is not prime. Res64: B23460C2D32F2E7A Time : 0.0 sec. user=mdettweiler [2016-05-13 22:53:45] 649*2^1429087-1 is not prime. Res64: B456B6A6C67A0748 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:10:34] 685*2^1429087-1 is not prime. Res64: C2C25872FE57E999 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:10:35] 973*2^1429087-1 is not prime. Res64: 7AE950AB11C49643 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:10:35] 993*2^1429087-1 is not prime. Res64: DC0D5755BA2B0486 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:10:36] 617*2^1429088-1 is not prime. Res64: 7AD044168613E8C5 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:10:36] 735*2^1429088-1 is not prime. Res64: A431063DD68F3D84 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:11:41] 777*2^1429088-1 is not prime. Res64: C96D08C1C0C41E9F Time : 0.0 sec. user=mdettweiler [2016-05-13 23:11:42] 813*2^1429088-1 is not prime. Res64: BFAC822191AA0DAB Time : 0.0 sec. user=mdettweiler [2016-05-13 23:11:42] 879*2^1429088-1 is not prime. Res64: 3A8AB71F90EA6C29 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:11:43] 831*2^1429089-1 is not prime. Res64: EB74CE09CDE3D553 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:11:43] 979*2^1429089-1 is not prime. Res64: 4577CF3B1D1DC29C Time : 0.0 sec. user=mdettweiler [2016-05-13 23:19:57] 743*2^1429090-1 is not prime. Res64: A767A171AC2EE928 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:19:57] 791*2^1429090-1 is not prime. Res64: 53E3221C4F9F97BB Time : 0.0 sec. user=mdettweiler [2016-05-13 23:19:58] 833*2^1429090-1 is not prime. Res64: 8539E6642BEBCD73 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:19:58] 867*2^1429090-1 is not prime. Res64: E3B68A5D35765C2F Time : 0.0 sec. user=mdettweiler [2016-05-13 23:19:58] 873*2^1429090-1 is not prime. Res64: F6238F6221776BE2 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:39:15] 945*2^1429090-1 is not prime. Res64: CB9AE6AC3D019D26 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:39:16] 679*2^1429091-1 is not prime. Res64: 7DCFBD2806464098 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:39:16] 741*2^1429091-1 is not prime. Res64: DF9DA52347679EAE Time : 0.0 sec. user=mdettweiler [2016-05-13 23:39:17] 783*2^1429091-1 is not prime. Res64: B956EE1241286681 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:39:17] 871*2^1429091-1 is not prime. Res64: 57A874645BAC2B76 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:56:10] 931*2^1429091-1 is not prime. Res64: 9C4BEA550E132D10 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:56:10] 939*2^1429091-1 is not prime. Res64: EDC1177DF89E2839 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:56:11] 949*2^1429091-1 is not prime. Res64: 61772B28A28BD4B0 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:56:11] 993*2^1429091-1 is not prime. Res64: 146C315133F88546 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:56:13] 605*2^1429092-1 is not prime. Res64: C53C8868FEC68155 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:57:06] 623*2^1429092-1 is not prime. Res64: CF4DCDF3CFEE3CD4 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:57:07] 749*2^1429092-1 is not prime. Res64: 108532AEA513943F Time : 0.0 sec. user=mdettweiler [2016-05-13 23:57:07] 779*2^1429092-1 is not prime. Res64: E647710A73E53728 Time : 0.0 sec. user=mdettweiler [2016-05-13 23:57:08] 825*2^1429092-1 is not prime. Res64: E0F417C40C01BD4B Time : 0.0 sec. user=mdettweiler [2016-05-13 23:57:08] 965*2^1429092-1 is not prime. Res64: CE9AC4C988A43550 Time : 0.0 sec.