user=mdettweiler [2016-05-20 00:10:59] 913*2^1429731-1 is not prime. Res64: F546C63D718F9AA4 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:11:00] 961*2^1429731-1 is not prime. Res64: 4247528E2314F840 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:11:01] 973*2^1429731-1 is not prime. Res64: 73B1CFCFF8F84199 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:11:01] 653*2^1429732-1 is not prime. Res64: 936C83E5A58532DC Time : 0.0 sec. user=mdettweiler [2016-05-20 00:11:02] 687*2^1429732-1 is not prime. Res64: A11890703C9A7E7F Time : 0.0 sec. user=mdettweiler [2016-05-20 00:24:11] 689*2^1429732-1 is not prime. Res64: 84CA72410FB357EA Time : 0.0 sec. user=mdettweiler [2016-05-20 00:24:11] 719*2^1429732-1 is not prime. Res64: C9E88C1D195A880D Time : 0.0 sec. user=mdettweiler [2016-05-20 00:24:12] 863*2^1429732-1 is not prime. Res64: 5151945C3AC1C522 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:24:12] 897*2^1429732-1 is not prime. Res64: 954DCF38B9CE8275 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:24:12] 627*2^1429733-1 is not prime. Res64: FB5E605B059DF027 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:37:19] 669*2^1429733-1 is not prime. Res64: 840220381EDE47E5 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:37:20] 697*2^1429733-1 is not prime. Res64: D2A8AB2383B5EEC7 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:37:20] 727*2^1429733-1 is not prime. Res64: 5E4F0613EC197C4D Time : 0.0 sec. user=mdettweiler [2016-05-20 00:37:20] 745*2^1429733-1 is not prime. Res64: 940F56E3F5CA9BA9 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:37:21] 781*2^1429733-1 is not prime. Res64: D2108FB8C927B0E5 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:38:06] 829*2^1429733-1 is not prime. Res64: 1B523AAD2A2FA7A7 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:38:07] 915*2^1429733-1 is not prime. Res64: 8E103D7E0E757C71 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:38:07] 605*2^1429734-1 is not prime. Res64: AED39D5310B2BC4A Time : 0.0 sec. user=mdettweiler [2016-05-20 00:38:08] 705*2^1429734-1 is not prime. Res64: 004DF3B40F0064C3 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:38:08] 773*2^1429734-1 is not prime. Res64: EFF2DFEEAE0FAB0C Time : 0.0 sec. user=mdettweiler [2016-05-20 00:56:02] 791*2^1429734-1 is not prime. Res64: 644C8A8BE3D8B53F Time : 0.0 sec. user=mdettweiler [2016-05-20 00:56:03] 833*2^1429734-1 is not prime. Res64: DC955EF479612E95 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:56:03] 875*2^1429734-1 is not prime. Res64: 2B3F4EAD8D81C812 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:56:03] 891*2^1429734-1 is not prime. Res64: E677554A8CA6D811 Time : 0.0 sec. user=mdettweiler [2016-05-20 00:56:04] 917*2^1429734-1 is not prime. Res64: D1137B9F2CFF8B38 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:09:11] 921*2^1429734-1 is not prime. Res64: 98C7C019C45ACDDD Time : 0.0 sec. user=mdettweiler [2016-05-20 01:09:12] 609*2^1429735-1 is not prime. Res64: BA4DC2FEA370963C Time : 0.0 sec. user=mdettweiler [2016-05-20 01:09:13] 673*2^1429735-1 is not prime. Res64: 3902D227A8176D40 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:09:14] 771*2^1429735-1 is not prime. Res64: E4E33A927AE91EC6 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:09:15] 855*2^1429735-1 is not prime. Res64: B8B6CCA121A229D0 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:22:27] 859*2^1429735-1 is not prime. Res64: 39AAEC1F4D0A7032 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:22:27] 999*2^1429735-1 is not prime. Res64: B775576EDD9C15F7 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:22:27] 615*2^1429736-1 is not prime. Res64: 867E83893AF956B3 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:22:28] 657*2^1429736-1 is not prime. Res64: 04CB8AFC276ADBB1 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:22:28] 659*2^1429736-1 is not prime. Res64: B7892C971B830E04 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:23:06] 663*2^1429736-1 is not prime. Res64: A10BF8048FF00426 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:23:06] 677*2^1429736-1 is not prime. Res64: 39217586ACBBBD88 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:23:07] 789*2^1429736-1 is not prime. Res64: B06E56147CF9932C Time : 0.0 sec. user=mdettweiler [2016-05-20 01:23:07] 825*2^1429736-1 is not prime. Res64: F1C4A0D49E756604 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:23:07] 827*2^1429736-1 is not prime. Res64: 704C792F6B9B1971 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:41:13] 899*2^1429736-1 is not prime. Res64: 969EC271F7C365ED Time : 0.0 sec. user=mdettweiler [2016-05-20 01:41:14] 945*2^1429736-1 is not prime. Res64: 5F410C0435A9215C Time : 0.0 sec. user=mdettweiler [2016-05-20 01:41:14] 969*2^1429736-1 is not prime. Res64: BF313905D8E1F7E0 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:41:14] 999*2^1429736-1 is not prime. Res64: B5649DE1A1869FBF Time : 0.0 sec. user=mdettweiler [2016-05-20 01:41:15] 675*2^1429737-1 is not prime. Res64: 9C974BE91191703D Time : 0.0 sec. user=mdettweiler [2016-05-20 01:54:22] 691*2^1429737-1 is not prime. Res64: 025625C7BDE227E2 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:54:23] 727*2^1429737-1 is not prime. Res64: EF515A10F10F1A62 Time : 0.0 sec. user=mdettweiler [2016-05-20 01:54:24] 741*2^1429737-1 is not prime. Res64: A44A17DBECDD341E Time : 0.0 sec. user=mdettweiler [2016-05-20 01:54:24] 829*2^1429737-1 is not prime. Res64: 97BDDD21242393BA Time : 0.0 sec. user=mdettweiler [2016-05-20 01:54:25] 975*2^1429737-1 is not prime. Res64: 5CDDD67C605C79FA Time : 0.0 sec. user=mdettweiler [2016-05-20 02:07:58] 933*2^1429738-1 is not prime. Res64: 02EFCEBF98CCFF87 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:07:58] 951*2^1429738-1 is not prime. Res64: 7187C985744F379C Time : 0.0 sec. user=mdettweiler [2016-05-20 02:07:59] 987*2^1429738-1 is not prime. Res64: 7348DD8624A01A7B Time : 0.0 sec. user=mdettweiler [2016-05-20 02:07:59] 621*2^1429739-1 is not prime. Res64: 53F1500D36DDF5A4 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:07:59] 775*2^1429739-1 is not prime. Res64: 7110B564DEEE029D Time : 0.0 sec. user=mdettweiler [2016-05-20 02:08:46] 811*2^1429739-1 is not prime. Res64: 845C7CB88E57A4E9 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:08:46] 979*2^1429739-1 is not prime. Res64: DE087F24AC807BC9 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:08:46] 999*2^1429739-1 is not prime. Res64: 018627AFFFF37FAB Time : 0.0 sec. user=mdettweiler [2016-05-20 02:08:47] 957*2^1429740-1 is not prime. Res64: 392BB6AE6AE59BEF Time : 0.0 sec. user=mdettweiler [2016-05-20 02:08:47] 987*2^1429740-1 is not prime. Res64: 13C697270D113182 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:27:22] 999*2^1429740-1 is not prime. Res64: 04847340D2717344 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:27:23] 715*2^1429741-1 is not prime. Res64: F5E2EB83D0D0BEA1 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:27:23] 811*2^1429741-1 is not prime. Res64: AEAAFD2A3811E464 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:27:24] 829*2^1429741-1 is not prime. Res64: 55094459BC415406 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:27:24] 849*2^1429741-1 is not prime. Res64: 09A9FC91AF0E8665 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:41:39] 955*2^1429741-1 is not prime. Res64: 051B6966353D9DE7 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:41:39] 615*2^1429742-1 is not prime. Res64: 526AE03A8410CADF Time : 0.0 sec. user=mdettweiler [2016-05-20 02:41:40] 677*2^1429742-1 is not prime. Res64: A80985D9202569DA Time : 0.0 sec. user=mdettweiler [2016-05-20 02:41:40] 743*2^1429742-1 is not prime. Res64: B15A7CC6765951AB Time : 0.0 sec. user=mdettweiler [2016-05-20 02:41:41] 825*2^1429742-1 is not prime. Res64: B8845C212BAEBC62 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:09] 893*2^1429742-1 is not prime. Res64: D9D727944A76FBE5 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:09] 897*2^1429742-1 is not prime. Res64: 7A6C07DB1982BBD4 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:09] 923*2^1429742-1 is not prime. Res64: 1EED10BDD4BEF6B5 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:10] 963*2^1429742-1 is not prime. Res64: E90ADF5B734640C4 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:10] 705*2^1429743-1 is not prime. Res64: 6C8FFBC5809CF9A2 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:43] 723*2^1429743-1 is not prime. Res64: 5E764E3E53693241 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:44] 789*2^1429743-1 is not prime. Res64: C0EF00941D27E7A9 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:44] 823*2^1429743-1 is not prime. Res64: 9FFB08BDC2CD6398 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:45] 831*2^1429743-1 is not prime. Res64: 1B0460BE0CF36D95 Time : 0.0 sec. user=mdettweiler [2016-05-20 02:53:45] 895*2^1429743-1 is not prime. Res64: F5CEF1CE41D51510 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:12:31] 919*2^1429743-1 is not prime. Res64: 3C89B13945AA9D2D Time : 0.0 sec. user=mdettweiler [2016-05-20 03:12:32] 705*2^1429744-1 is not prime. Res64: E2568EB5BF6D8EB8 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:12:32] 707*2^1429744-1 is not prime. Res64: 1C5B03BF02346B2D Time : 0.0 sec. user=mdettweiler [2016-05-20 03:12:33] 723*2^1429744-1 is not prime. Res64: 7A36A1951DA17919 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:12:33] 833*2^1429744-1 is not prime. Res64: 7760E8F46D25CDA3 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:26:41] 873*2^1429744-1 is not prime. Res64: F9C5FB3116314D52 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:26:42] 887*2^1429744-1 is not prime. Res64: E0BE37E8677462B5 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:26:43] 909*2^1429744-1 is not prime. Res64: 6614485B3BEF5CA0 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:26:44] 917*2^1429744-1 is not prime. Res64: C02622928A4218A2 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:26:44] 983*2^1429744-1 is not prime. Res64: FD897F9A933D9E6B Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:06] 727*2^1429745-1 is not prime. Res64: 5EAEBDDCEF40D2EB Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:08] 789*2^1429745-1 is not prime. Res64: 36C3DDFCDB99B9A7 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:09] 907*2^1429745-1 is not prime. Res64: EC6D73CFC53F118B Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:10] 635*2^1429746-1 is not prime. Res64: 51FC333458C030BF Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:11] 741*2^1429746-1 is not prime. Res64: 291DC2C2AFCD48B9 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:34] 755*2^1429746-1 is not prime. Res64: B829711D8F76458E Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:35] 873*2^1429746-1 is not prime. Res64: 6DD94DB68790D46F Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:36] 921*2^1429746-1 is not prime. Res64: 1C5F77A0CC7C2341 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:38] 649*2^1429747-1 is not prime. Res64: 1B93FCEFE594B9D3 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:38:39] 663*2^1429747-1 is not prime. Res64: 190E65FB7D0D0602 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:57:40] 975*2^1429747-1 is not prime. Res64: FC27FAD30FB29974 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:57:42] 985*2^1429747-1 is not prime. Res64: A44856C1A49B6FE2 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:57:44] 623*2^1429748-1 is not prime. Res64: EA67E3DABB076E65 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:57:46] 855*2^1429748-1 is not prime. Res64: 21F6CDF0E7FFE1E1 Time : 0.0 sec. user=mdettweiler [2016-05-20 03:57:47] 897*2^1429748-1 is not prime. Res64: D6144008F617BA9C Time : 0.0 sec. user=mdettweiler [2016-05-20 04:11:34] 977*2^1429748-1 is not prime. Res64: BFAD30532E138FF4 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:11:35] 987*2^1429748-1 is not prime. Res64: F82D3EA06B3E92B1 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:11:35] 995*2^1429748-1 is not prime. Res64: F08CABD043F8F1D7 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:11:36] 621*2^1429749-1 is not prime. Res64: F7C70DEC8A67190F Time : 0.0 sec. user=mdettweiler [2016-05-20 04:11:36] 639*2^1429749-1 is not prime. Res64: E67B539B93CA2903 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:26] 735*2^1429749-1 is not prime. Res64: 47F3F449BACB8534 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:27] 741*2^1429749-1 is not prime. Res64: 76F221C5259C39AE Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:27] 787*2^1429749-1 is not prime. Res64: 747C8FACAFE3DE8A Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:27] 867*2^1429749-1 is not prime. Res64: F0B07E02B7BBF963 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:28] 657*2^1429750-1 is not prime. Res64: E68CA943641DA5B1 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:38] 713*2^1429750-1 is not prime. Res64: F65726DFF55B83B1 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:38] 723*2^1429750-1 is not prime. Res64: 79EE01872A2C33B6 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:38] 827*2^1429750-1 is not prime. Res64: 6F7D96F91864EDB8 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:39] 619*2^1429751-1 is not prime. Res64: 59EC87CF6DC9468A Time : 0.0 sec. user=mdettweiler [2016-05-20 04:23:39] 711*2^1429751-1 is not prime. Res64: A3D9045394E73C51 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:42:56] 745*2^1429751-1 is not prime. Res64: 146D3D7859093746 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:42:56] 775*2^1429751-1 is not prime. Res64: 77FCABFB9C23F017 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:42:57] 783*2^1429751-1 is not prime. Res64: 27659F1DFD8A93FE Time : 0.0 sec. user=mdettweiler [2016-05-20 04:42:57] 823*2^1429751-1 is not prime. Res64: 5A54EB7B1DCB8EB2 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:42:57] 843*2^1429751-1 is not prime. Res64: 72AED3145BB137AC Time : 0.0 sec. user=mdettweiler [2016-05-20 04:57:20] 949*2^1429751-1 is not prime. Res64: 4C8DDFECFCC327EB Time : 0.0 sec. user=mdettweiler [2016-05-20 04:57:20] 635*2^1429752-1 is not prime. Res64: D59EBAC45A1D6A69 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:57:21] 725*2^1429752-1 is not prime. Res64: F5E566BB240BF181 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:57:21] 759*2^1429752-1 is not prime. Res64: E880BBD960F239F5 Time : 0.0 sec. user=mdettweiler [2016-05-20 04:57:22] 797*2^1429752-1 is not prime. Res64: A2C29B89590DE3C5 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:06] 623*2^1429754-1 is not prime. Res64: 0849181E104C3B04 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:06] 785*2^1429754-1 is not prime. Res64: 3804079A8D2EA5B1 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:07] 837*2^1429754-1 is not prime. Res64: E677069024179C2B Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:07] 875*2^1429754-1 is not prime. Res64: 78BB11C34D9F1FAF Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:08] 927*2^1429754-1 is not prime. Res64: 2C97378B6D1F2067 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:30] 809*2^1429752-1 is not prime. Res64: 07EC3AA6F75D2D46 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:31] 909*2^1429752-1 is not prime. Res64: 5A91BF6EC37415AD Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:31] 649*2^1429753-1 is not prime. Res64: 96C1CC843B8695BD Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:32] 945*2^1429753-1 is not prime. Res64: 86996588E3A5D57D Time : 0.0 sec. user=mdettweiler [2016-05-20 05:09:32] 615*2^1429754-1 is not prime. Res64: 7AAD20CFD175C182 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:28:41] 609*2^1429755-1 is not prime. Res64: 3F75A230A5E2C9CD Time : 0.0 sec. user=mdettweiler [2016-05-20 05:28:41] 613*2^1429755-1 is not prime. Res64: 39103267DDCD7C28 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:28:42] 651*2^1429755-1 is not prime. Res64: E9DE041E981C0722 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:28:42] 709*2^1429755-1 is not prime. Res64: EE6DEA902231810B Time : 0.0 sec. user=mdettweiler [2016-05-20 05:28:42] 873*2^1429755-1 is not prime. Res64: DD63872C2C0238E3 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:42:34] 949*2^1429755-1 is not prime. Res64: 9450426E147D5B07 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:42:34] 963*2^1429755-1 is not prime. Res64: 166C3C3A46760CF8 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:42:35] 969*2^1429755-1 is not prime. Res64: 0113D1C550CE6F26 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:42:35] 675*2^1429756-1 is not prime. Res64: 495A214DA22479C9 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:42:36] 825*2^1429756-1 is not prime. Res64: 4DD90EF49CBEBE3F Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:17] 843*2^1429756-1 is not prime. Res64: 12F8AA4EC30BF67F Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:17] 845*2^1429756-1 is not prime. Res64: 04B93D0803D77C21 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:17] 873*2^1429756-1 is not prime. Res64: 6CD06AD82D65FB4C Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:18] 887*2^1429756-1 is not prime. Res64: 45307F90E2B645AA Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:18] 899*2^1429756-1 is not prime. Res64: 155BAF854B74F33D Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:50] 741*2^1429757-1 is not prime. Res64: CFE1163CF680CFDA Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:50] 801*2^1429757-1 is not prime. Res64: E7C632672E843F05 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:51] 847*2^1429757-1 is not prime. Res64: 1FAA41CC96534872 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:51] 871*2^1429757-1 is not prime. Res64: 2CE1B8A45F1085B6 Time : 0.0 sec. user=mdettweiler [2016-05-20 05:54:52] 931*2^1429757-1 is not prime. Res64: E582E5C2525F1EB5 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:13:47] 937*2^1429757-1 is not prime. Res64: 78476682F7D4F7FF Time : 0.0 sec. user=mdettweiler [2016-05-20 06:13:48] 955*2^1429757-1 is not prime. Res64: 02F009ED14C0C968 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:13:48] 967*2^1429757-1 is not prime. Res64: C3028A653724F03C Time : 0.0 sec. user=mdettweiler [2016-05-20 06:13:49] 711*2^1429758-1 is not prime. Res64: 2FDCD6331FEFC74A Time : 0.0 sec. user=mdettweiler [2016-05-20 06:13:50] 765*2^1429758-1 is not prime. Res64: DD31DB6620DEBE65 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:27:44] 893*2^1429758-1 is not prime. Res64: D92CEAEC6060CE99 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:27:45] 977*2^1429758-1 is not prime. Res64: D9AB4D583E705E0E Time : 0.0 sec. user=mdettweiler [2016-05-20 06:27:46] 601*2^1429759-1 is not prime. Res64: 7863945A8F481EA9 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:27:46] 609*2^1429759-1 is not prime. Res64: 4719BFBC69487C26 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:27:47] 685*2^1429759-1 is not prime. Res64: 107597C4F47D9B97 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:39:29] 723*2^1429759-1 is not prime. Res64: 2A45BB2D7B624BED Time : 0.0 sec. user=mdettweiler [2016-05-20 06:39:29] 891*2^1429759-1 is not prime. Res64: 00DEA91244C39BC2 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:39:29] 993*2^1429759-1 is not prime. Res64: E2140FD9FA5C8A59 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:39:30] 629*2^1429760-1 is not prime. Res64: F2ABE13E1C4AFB29 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:39:30] 633*2^1429760-1 is not prime. Res64: 617AA79320FF19D9 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:40:07] 713*2^1429760-1 is not prime. Res64: 0EF8ABF2E1B94B85 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:40:07] 735*2^1429760-1 is not prime. Res64: 3B51876D1D7DA49C Time : 0.0 sec. user=mdettweiler [2016-05-20 06:40:08] 795*2^1429760-1 is not prime. Res64: 2944A574EA3071FE Time : 0.0 sec. user=mdettweiler [2016-05-20 06:40:08] 813*2^1429760-1 is not prime. Res64: E1B7AC859D6DD016 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:40:09] 923*2^1429760-1 is not prime. Res64: 3137C03FC7D8EC80 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:58:53] 929*2^1429760-1 is not prime. Res64: 9B282504F08048DF Time : 0.0 sec. user=mdettweiler [2016-05-20 06:58:54] 625*2^1429761-1 is not prime. Res64: EB4E6F730F46D2ED Time : 0.0 sec. user=mdettweiler [2016-05-20 06:58:54] 651*2^1429761-1 is not prime. Res64: 9BC67DC421FC71B3 Time : 0.0 sec. user=mdettweiler [2016-05-20 06:58:54] 691*2^1429761-1 is not prime. Res64: 1EAFF3B43996021D Time : 0.0 sec. user=mdettweiler [2016-05-20 06:58:55] 781*2^1429761-1 is not prime. Res64: F19DDFDA284F89C9 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:12:48] 805*2^1429761-1 is not prime. Res64: 14C9735A22BAA7F7 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:12:49] 901*2^1429761-1 is not prime. Res64: 9AF887ABF53228CC Time : 0.0 sec. user=mdettweiler [2016-05-20 07:12:50] 951*2^1429761-1 is not prime. Res64: CF658D0D75218922 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:12:51] 617*2^1429762-1 is not prime. Res64: B7CE9D0EDFD82BFC Time : 0.0 sec. user=mdettweiler [2016-05-20 07:12:52] 621*2^1429762-1 is not prime. Res64: C4EE17E9A74BBE8C Time : 0.0 sec. user=mdettweiler [2016-05-20 07:24:42] 645*2^1429762-1 is not prime. Res64: 937C224F66C22723 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:24:42] 651*2^1429762-1 is not prime. Res64: BD1AAD5261CFE845 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:24:43] 701*2^1429762-1 is not prime. Res64: 7DE3EDCCD7481C8D Time : 0.0 sec. user=mdettweiler [2016-05-20 07:24:43] 713*2^1429762-1 is not prime. Res64: 276AAAC5CB1B60F7 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:24:44] 737*2^1429762-1 is not prime. Res64: 1857E0A4CDF0E1BD Time : 0.0 sec. user=mdettweiler [2016-05-20 07:25:07] 755*2^1429762-1 is not prime. Res64: 4FD7B7C06BA2B40A Time : 0.0 sec. user=mdettweiler [2016-05-20 07:25:08] 791*2^1429762-1 is not prime. Res64: 642B61FCB63E5DAB Time : 0.0 sec. user=mdettweiler [2016-05-20 07:25:08] 857*2^1429762-1 is not prime. Res64: 50D0CE26F1AFB2D2 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:25:08] 891*2^1429762-1 is not prime. Res64: D0F69CA20D394B84 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:25:09] 983*2^1429762-1 is not prime. Res64: C65A7C0D8CA868C9 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:44:03] 995*2^1429762-1 is not prime. Res64: 5EA75E66388426A1 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:44:03] 609*2^1429763-1 is not prime. Res64: 79EA449931F30802 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:44:03] 621*2^1429763-1 is not prime. Res64: B19E848A87AA1018 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:44:04] 633*2^1429763-1 is not prime. Res64: 551734046564818D Time : 0.0 sec. user=mdettweiler [2016-05-20 07:44:04] 663*2^1429763-1 is not prime. Res64: 7CDF6B4E770391D3 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:58:13] 783*2^1429763-1 is not prime. Res64: B86760E9CDFCB2C1 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:58:13] 813*2^1429763-1 is not prime. Res64: 26BCBED011D2EF07 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:58:14] 861*2^1429763-1 is not prime. Res64: 2920F246E98C3925 Time : 0.0 sec. user=mdettweiler [2016-05-20 07:58:14] 939*2^1429763-1 is not prime. Res64: 5CBB49A33E89C7EF Time : 0.0 sec. user=mdettweiler [2016-05-20 07:58:15] 693*2^1429764-1 is not prime. Res64: 0CE17BD1CBF28A46 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:09:57] 783*2^1429764-1 is not prime. Res64: 9F8886F7C7017D24 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:09:58] 863*2^1429764-1 is not prime. Res64: A46893116D9DBE82 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:09:58] 959*2^1429764-1 is not prime. Res64: 2C07513D2E7C5FFA Time : 0.0 sec. user=mdettweiler [2016-05-20 08:09:58] 601*2^1429765-1 is not prime. Res64: 35A3B477DB154867 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:09:59] 799*2^1429765-1 is not prime. Res64: 80193FF70E015D52 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:10:14] 825*2^1429765-1 is not prime. Res64: 7534D96885036BC9 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:10:14] 895*2^1429765-1 is not prime. Res64: A2FE7B05256BB512 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:10:15] 957*2^1429765-1 is not prime. Res64: EFA12469EEBF1713 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:10:15] 985*2^1429765-1 is not prime. Res64: BE04EFBB9BEEDE33 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:10:16] 997*2^1429765-1 is not prime. Res64: 0175ED5EBB8CAAF6 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:29:09] 677*2^1429766-1 is not prime. Res64: 6036670E298C68D0 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:29:09] 705*2^1429766-1 is not prime. Res64: C17EC756779A25D3 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:29:10] 755*2^1429766-1 is not prime. Res64: 445530F8854D28F2 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:29:10] 761*2^1429766-1 is not prime. Res64: 4CBE5681C4CFDC7F Time : 0.0 sec. user=mdettweiler [2016-05-20 08:29:10] 773*2^1429766-1 is not prime. Res64: 8D7B6727C773DEB6 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:43:35] 795*2^1429766-1 is not prime. Res64: 4CD49B9D3B9F5D49 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:43:36] 801*2^1429766-1 is not prime. Res64: 0139F26E54CC2F1E Time : 0.0 sec. user=mdettweiler [2016-05-20 08:43:36] 827*2^1429766-1 is not prime. Res64: C83A482840268646 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:43:36] 903*2^1429766-1 is not prime. Res64: 31EE8DED59E123BE Time : 0.0 sec. user=mdettweiler [2016-05-20 08:43:37] 965*2^1429766-1 is not prime. Res64: BB7EB7696436A4E6 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:55:53] 993*2^1429766-1 is not prime. Res64: B669E4B6D4CD6E2D Time : 0.0 sec. user=mdettweiler [2016-05-20 08:55:54] 741*2^1429767-1 is not prime. Res64: 564DB0C6AFC0B0BF Time : 0.0 sec. user=mdettweiler [2016-05-20 08:55:54] 885*2^1429767-1 is not prime. Res64: 140352E729FF54D8 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:55:55] 913*2^1429767-1 is not prime. Res64: 65D2E54F61121D16 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:55:55] 963*2^1429767-1 is not prime. Res64: E4812CDF384F66C2 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:56:05] 603*2^1429768-1 is not prime. Res64: DC742BFB14079E6F Time : 0.0 sec. user=mdettweiler [2016-05-20 08:56:05] 639*2^1429768-1 is not prime. Res64: 299D7A460E9A6BDF Time : 0.0 sec. user=mdettweiler [2016-05-20 08:56:05] 699*2^1429768-1 is not prime. Res64: F75F9510D259DC91 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:56:06] 735*2^1429768-1 is not prime. Res64: EAD249B70E8E5769 Time : 0.0 sec. user=mdettweiler [2016-05-20 08:56:06] 765*2^1429768-1 is not prime. Res64: 1F2F7B3982DF71A9 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:15:23] 843*2^1429768-1 is not prime. Res64: F438532E44ED2251 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:15:24] 915*2^1429768-1 is not prime. Res64: 9E047824D80424AB Time : 0.0 sec. user=mdettweiler [2016-05-20 09:15:24] 627*2^1429769-1 is not prime. Res64: E0552B37A6A39A53 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:15:24] 699*2^1429769-1 is not prime. Res64: 4FA20AA80AF218A8 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:15:25] 711*2^1429769-1 is not prime. Res64: 9693361215F90397 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:30:47] 889*2^1429769-1 is not prime. Res64: A5FA569CC41565D9 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:30:47] 991*2^1429769-1 is not prime. Res64: 55EE5F1D6E9D7FD4 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:30:47] 681*2^1429770-1 is not prime. Res64: 112D8A1DD0E8ADA3 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:30:48] 861*2^1429770-1 is not prime. Res64: 48E2D3E25333BFE7 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:30:48] 873*2^1429770-1 is not prime. Res64: 89D62C402047E439 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:42:47] 885*2^1429770-1 is not prime. Res64: 27D69CC6521EF435 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:42:48] 893*2^1429770-1 is not prime. Res64: 9725399CCA650FEB Time : 0.0 sec. user=mdettweiler [2016-05-20 09:42:48] 709*2^1429771-1 is not prime. Res64: 7F12F156EF2172C9 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:42:48] 715*2^1429771-1 is not prime. Res64: 1BB10B2580DC4E19 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:42:48] 813*2^1429771-1 is not prime. Res64: C80832C4D72B1BED Time : 0.0 sec. user=mdettweiler [2016-05-20 09:43:12] 861*2^1429771-1 is not prime. Res64: AF6D970887253AA1 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:43:12] 873*2^1429771-1 is not prime. Res64: 2C27632CD2993AB5 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:43:13] 687*2^1429772-1 is not prime. Res64: D44216BDD9D43094 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:43:13] 797*2^1429772-1 is not prime. Res64: 50C1B2C194B4FE12 Time : 0.0 sec. user=mdettweiler [2016-05-20 09:43:13] 885*2^1429772-1 is not prime. Res64: B017B68D071401E3 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:02:29] 929*2^1429772-1 is not prime. Res64: 57D3F93872AEDA2E Time : 0.0 sec. user=mdettweiler [2016-05-20 10:02:29] 625*2^1429773-1 is not prime. Res64: AD3EE09F6FB89B08 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:02:30] 699*2^1429773-1 is not prime. Res64: CCE60FC96BA35EFA Time : 0.0 sec. user=mdettweiler [2016-05-20 10:02:30] 861*2^1429773-1 is not prime. Res64: E934FD8D22F72F74 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:02:31] 885*2^1429773-1 is not prime. Res64: 8091A30DFF67043A Time : 0.0 sec. user=mdettweiler [2016-05-20 10:17:25] 611*2^1429774-1 is not prime. Res64: E0CDB4E071798AFB Time : 0.0 sec. user=mdettweiler [2016-05-20 10:17:25] 785*2^1429774-1 is not prime. Res64: 08F50CD8165B5AE6 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:17:26] 815*2^1429774-1 is not prime. Res64: E9B52D137E870132 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:17:26] 951*2^1429774-1 is not prime. Res64: 37E98A1C55ED1B9B Time : 0.0 sec. user=mdettweiler [2016-05-20 10:17:27] 981*2^1429774-1 is not prime. Res64: B2C9CEE082D3A8CA Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:08] 969*2^1429775-1 is not prime. Res64: C045C6041CC7BE5D Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:08] 693*2^1429776-1 is not prime. Res64: 7A801CD59CA10FAF Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:08] 765*2^1429776-1 is not prime. Res64: C8CBC6BF1960748C Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:09] 803*2^1429776-1 is not prime. Res64: 558CCE039A1B9539 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:09] 809*2^1429776-1 is not prime. Res64: 74A2D5E1D9472700 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:35] 857*2^1429776-1 is not prime. Res64: 51206ACFB3CD7703 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:35] 887*2^1429776-1 is not prime. Res64: 3F8C56BACDD3ECC1 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:35] 601*2^1429777-1 is not prime. Res64: 467B2FEDF7856165 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:36] 619*2^1429777-1 is not prime. Res64: 51DAEE6E22C5A457 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:29:36] 625*2^1429777-1 is not prime. Res64: B29E3CCDCA6ED867 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:48:52] 661*2^1429777-1 is not prime. Res64: EC6E088253174415 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:48:52] 829*2^1429777-1 is not prime. Res64: 28AE08B201218084 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:48:52] 939*2^1429777-1 is not prime. Res64: 085463A0180F2DD8 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:48:53] 633*2^1429778-1 is not prime. Res64: 1FE610A838C6B044 Time : 0.0 sec. user=mdettweiler [2016-05-20 10:48:53] 635*2^1429778-1 is not prime. Res64: 9A2391E9CA000F8A Time : 0.0 sec. user=mdettweiler [2016-05-20 11:04:15] 641*2^1429778-1 is not prime. Res64: 507D35E7D7E38A0A Time : 0.0 sec. user=mdettweiler [2016-05-20 11:04:16] 645*2^1429778-1 is not prime. Res64: 4A94CA2BBF9B6509 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:04:17] 665*2^1429778-1 is not prime. Res64: 0B1CB26CF761C7F0 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:04:19] 711*2^1429778-1 is not prime. Res64: 9782CDF47697314B Time : 0.0 sec. user=mdettweiler [2016-05-20 11:04:21] 747*2^1429778-1 is not prime. Res64: CC6D11C25ACCE424 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:51] 709*2^1429779-1 is not prime. Res64: D09E7CFEDC0683CB Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:52] 789*2^1429779-1 is not prime. Res64: 53AB6B55C8DFC749 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:52] 801*2^1429779-1 is not prime. Res64: ED8E70186E2F9425 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:52] 859*2^1429779-1 is not prime. Res64: 334AF1C868DD3D63 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:53] 873*2^1429779-1 is not prime. Res64: 72B27107DE7FAD8B Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:54] 773*2^1429778-1 is not prime. Res64: DE190653ED0CCCCE Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:54] 827*2^1429778-1 is not prime. Res64: 40B38FDAC5772DC4 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:55] 935*2^1429778-1 is not prime. Res64: 268003E467911F67 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:55] 951*2^1429778-1 is not prime. Res64: C2B3BCF68FA3ACDB Time : 0.0 sec. user=mdettweiler [2016-05-20 11:15:56] 609*2^1429779-1 is not prime. Res64: FEBE665A19CF3FC2 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:35:26] 891*2^1429779-1 is not prime. Res64: 4327E4C501534401 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:35:26] 895*2^1429779-1 is not prime. Res64: C7315A06A4E2BC3C Time : 0.0 sec. user=mdettweiler [2016-05-20 11:35:27] 903*2^1429779-1 is not prime. Res64: 80C587EA4E7AF0D6 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:35:27] 999*2^1429779-1 is not prime. Res64: 7EC55B5D390A6918 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:35:28] 603*2^1429780-1 is not prime. Res64: B828C5C1B7AC9D87 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:50:43] 653*2^1429780-1 is not prime. Res64: B9B8185B7F28B0AD Time : 0.0 sec. user=mdettweiler [2016-05-20 11:50:43] 665*2^1429780-1 is not prime. Res64: 72CAC0F8176CD4A9 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:50:44] 719*2^1429780-1 is not prime. Res64: A28F51EE8B7B1B2A Time : 0.0 sec. user=mdettweiler [2016-05-20 11:50:44] 759*2^1429780-1 is not prime. Res64: B2B8EE9F1BD45CD9 Time : 0.0 sec. user=mdettweiler [2016-05-20 11:50:45] 777*2^1429780-1 is not prime. Res64: AC7CC9641BCA7111 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:44] 797*2^1429780-1 is not prime. Res64: 011649DA5FB27CA0 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:45] 929*2^1429780-1 is not prime. Res64: 0FAAAFDF3307DB33 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:46] 965*2^1429780-1 is not prime. Res64: 2CA6D28066DD2FAB Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:47] 645*2^1429781-1 is not prime. Res64: 1F645E21F19AC140 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:47] 747*2^1429781-1 is not prime. Res64: 77D7D5314243781B Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:58] 789*2^1429781-1 is not prime. Res64: 537583BBDB5EB045 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:59] 901*2^1429781-1 is not prime. Res64: FB736D7FC056BCF0 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:01:59] 621*2^1429782-1 is not prime. Res64: CD99BDB5052ABFA4 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:02:00] 875*2^1429782-1 is not prime. Res64: 7C6766A62C6DDB4A Time : 0.0 sec. user=mdettweiler [2016-05-20 12:02:00] 941*2^1429782-1 is not prime. Res64: 1CEA28795A9E66B6 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:20:31] 945*2^1429782-1 is not prime. Res64: 8EFCB3FEF8BC4F2E Time : 0.0 sec. user=mdettweiler [2016-05-20 12:20:32] 977*2^1429782-1 is not prime. Res64: B9E766C2DF036BFE Time : 0.0 sec. user=mdettweiler [2016-05-20 12:20:32] 685*2^1429783-1 is not prime. Res64: A844A7CD1528043D Time : 0.0 sec. user=mdettweiler [2016-05-20 12:20:33] 871*2^1429783-1 is not prime. Res64: E1C708FFB847C533 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:20:34] 919*2^1429783-1 is not prime. Res64: E26F1C64C3856FE3 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:35:48] 999*2^1429783-1 is not prime. Res64: 2EF31574AD474820 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:35:48] 773*2^1429784-1 is not prime. Res64: A777F767A12F5547 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:35:49] 803*2^1429784-1 is not prime. Res64: 846AE406A66B06F2 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:35:49] 827*2^1429784-1 is not prime. Res64: AF98E5EDB40E8B39 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:35:50] 843*2^1429784-1 is not prime. Res64: 2959A47AA571047F Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:09] 857*2^1429784-1 is not prime. Res64: E29F1D455D7C795D Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:10] 831*2^1429785-1 is not prime. Res64: E46CEF58939C616A Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:10] 889*2^1429785-1 is not prime. Res64: 86616AB69E3CDC11 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:11] 921*2^1429785-1 is not prime. Res64: F77EFEC29EBD8A6B Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:11] 985*2^1429785-1 is not prime. Res64: EC8F69C4C94608A8 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:12] 997*2^1429785-1 is not prime. Res64: ECBFA95654197B37 Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:12] 695*2^1429786-1 is not prime. Res64: 2011C7B8D93762FF Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:13] 741*2^1429786-1 is not prime. Res64: 5B9824B06D00602B Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:13] 755*2^1429786-1 is not prime. Res64: 56090830228E4D7B Time : 0.0 sec. user=mdettweiler [2016-05-20 12:47:13] 777*2^1429786-1 is not prime. Res64: 7C080E8D476D4BC2 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:06:05] 857*2^1429786-1 is not prime. Res64: 0E916CB9E681368B Time : 0.0 sec. user=mdettweiler [2016-05-20 13:06:07] 861*2^1429786-1 is not prime. Res64: 422C9F8046854272 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:06:09] 957*2^1429786-1 is not prime. Res64: 9431763CB48FDD1C Time : 0.0 sec. user=mdettweiler [2016-05-20 13:06:12] 643*2^1429787-1 is not prime. Res64: 8EEB50E9D93DE779 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:06:14] 645*2^1429787-1 is not prime. Res64: AFBDC4BAAE4FF391 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:21:27] 673*2^1429787-1 is not prime. Res64: B093B549A1131F39 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:21:28] 801*2^1429787-1 is not prime. Res64: E8329220B9DB13EE Time : 0.0 sec. user=mdettweiler [2016-05-20 13:21:28] 909*2^1429787-1 is not prime. Res64: 484264FCB69D9769 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:21:29] 773*2^1429788-1 is not prime. Res64: 840BA3C4D0149E6E Time : 0.0 sec. user=mdettweiler [2016-05-20 13:21:29] 795*2^1429788-1 is not prime. Res64: B962D063918243B9 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:29] 825*2^1429788-1 is not prime. Res64: 41C18C2852083C68 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:30] 759*2^1429789-1 is not prime. Res64: FDD265AEF207BB2B Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:30] 789*2^1429789-1 is not prime. Res64: 16B314FB1291A5D3 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:30] 609*2^1429789-1 is not prime. Res64: 278339CCEBEB1DA8 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:31] 955*2^1429789-1 is not prime. Res64: 3473023235B7278F Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:31] 685*2^1429789-1 is not prime. Res64: 46CF4FB1FB7CFAC5 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:31] 961*2^1429789-1 is not prime. Res64: C662B14168515AB7 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:31] 699*2^1429789-1 is not prime. Res64: C7455FD020D5E9D8 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:32] 603*2^1429790-1 is not prime. Res64: C323B046A1F8F45A Time : 0.0 sec. user=mdettweiler [2016-05-20 13:32:32] 729*2^1429789-1 is not prime. Res64: 906DC65DED14DC36 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:51:28] 615*2^1429790-1 is not prime. Res64: CC0A9D8927F04CBD Time : 0.0 sec. user=mdettweiler [2016-05-20 13:51:28] 651*2^1429790-1 is not prime. Res64: 48E7D63AF40E549A Time : 0.0 sec. user=mdettweiler [2016-05-20 13:51:29] 665*2^1429790-1 is not prime. Res64: 2170EE95286A6385 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:51:29] 717*2^1429790-1 is not prime. Res64: EC25F14E540390C2 Time : 0.0 sec. user=mdettweiler [2016-05-20 13:51:29] 825*2^1429790-1 is not prime. Res64: 9E515997E8543A0D Time : 0.0 sec. user=mdettweiler [2016-05-20 14:06:13] 827*2^1429790-1 is not prime. Res64: DC16CF00FC15FAED Time : 0.0 sec. user=mdettweiler [2016-05-20 14:06:14] 851*2^1429790-1 is not prime. Res64: 0C641602C6FFBD98 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:06:15] 885*2^1429790-1 is not prime. Res64: 59D996CAFD65A24A Time : 0.0 sec. user=mdettweiler [2016-05-20 14:06:16] 1001*2^1429790-1 is not prime. Res64: B1296471AED68089 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:06:17] 685*2^1429791-1 is not prime. Res64: 5E08F39BB4233168 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:16] 861*2^1429791-1 is not prime. Res64: 9FF3B4D64D6A6BC1 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:16] 665*2^1429792-1 is not prime. Res64: E5B933521511A50E Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:17] 719*2^1429792-1 is not prime. Res64: 13C91844D5AF638C Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:17] 747*2^1429792-1 is not prime. Res64: B54554D63F15783A Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:17] 819*2^1429792-1 is not prime. Res64: DE57BD5EBC86D294 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:44] 887*2^1429792-1 is not prime. Res64: 2C78966A7EB14470 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:45] 903*2^1429792-1 is not prime. Res64: 480444D5B5D5B771 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:45] 965*2^1429792-1 is not prime. Res64: 059CAC466F2FDEB5 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:45] 649*2^1429793-1 is not prime. Res64: EB893633733F4465 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:17:46] 669*2^1429793-1 is not prime. Res64: 59CE1A017D0C3342 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:36:20] 697*2^1429793-1 is not prime. Res64: 2AC9DA348F2A8D0E Time : 0.0 sec. user=mdettweiler [2016-05-20 14:36:21] 795*2^1429793-1 is not prime. Res64: B3496A5B2BCF23AF Time : 0.0 sec. user=mdettweiler [2016-05-20 14:36:21] 861*2^1429793-1 is not prime. Res64: 24845D1DF0BB91CF Time : 0.0 sec. user=mdettweiler [2016-05-20 14:36:21] 955*2^1429793-1 is not prime. Res64: 2DCBA3479D0193CA Time : 0.0 sec. user=mdettweiler [2016-05-20 14:36:22] 605*2^1429794-1 is not prime. Res64: 40FAB63C28965DDC Time : 0.0 sec. user=mdettweiler [2016-05-20 14:51:13] 651*2^1429794-1 is not prime. Res64: AF3BED5AF34B7959 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:51:14] 767*2^1429794-1 is not prime. Res64: 9508B4B32BFB4931 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:51:14] 803*2^1429794-1 is not prime. Res64: 921F6A5FB3560360 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:51:15] 947*2^1429794-1 is not prime. Res64: 9875A296A90C2E23 Time : 0.0 sec. user=mdettweiler [2016-05-20 14:51:15] 971*2^1429794-1 is not prime. Res64: FF4581072D605585 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:04] 619*2^1429795-1 is not prime. Res64: 79BE2DD38A1B5DEC Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:05] 631*2^1429795-1 is not prime. Res64: FF0BAD583BA7B023 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:06] 663*2^1429795-1 is not prime. Res64: DBD4C4C5469B636A Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:07] 693*2^1429795-1 is not prime. Res64: 9A38BF41BB3E847B Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:07] 775*2^1429795-1 is not prime. Res64: E5CD7E3FF715730E Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:23] 819*2^1429795-1 is not prime. Res64: B6D8AA3E05E74B77 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:24] 853*2^1429795-1 is not prime. Res64: 897FA36E0C4E220E Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:25] 615*2^1429796-1 is not prime. Res64: C91D2D583ED63A63 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:25] 623*2^1429796-1 is not prime. Res64: 74ED4CC136E04506 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:02:26] 647*2^1429796-1 is not prime. Res64: 85CD9CC10ADC5CCD Time : 0.0 sec. user=mdettweiler [2016-05-20 15:21:14] 659*2^1429796-1 is not prime. Res64: 7DBC035B04BAB36A Time : 0.0 sec. user=mdettweiler [2016-05-20 15:21:14] 719*2^1429796-1 is not prime. Res64: 005F754F11F4A3C5 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:21:15] 735*2^1429796-1 is not prime. Res64: CC39A2A6FEBC8D18 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:21:15] 767*2^1429796-1 is not prime. Res64: 4D2E012AE1D2FB5C Time : 0.0 sec. user=mdettweiler [2016-05-20 15:21:15] 837*2^1429796-1 is not prime. Res64: D8796D833D2DA937 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:35:57] 873*2^1429796-1 is not prime. Res64: 3875E68DE6BDFB97 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:35:57] 999*2^1429796-1 is not prime. Res64: 9646B6AA415F19A5 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:35:58] 765*2^1429797-1 is not prime. Res64: 93F6BD8852320B3A Time : 0.0 sec. user=mdettweiler [2016-05-20 15:35:58] 805*2^1429797-1 is not prime. Res64: 44D8A092623F9C6D Time : 0.0 sec. user=mdettweiler [2016-05-20 15:35:59] 819*2^1429797-1 is not prime. Res64: 4DF77C5DC15EC919 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:46:58] 825*2^1429797-1 is not prime. Res64: 2F320802739EA936 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:46:59] 901*2^1429797-1 is not prime. Res64: 5472E03FA6AAFBDC Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:00] 919*2^1429797-1 is not prime. Res64: 4F3357FAD67D9F1C Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:00] 611*2^1429798-1 is not prime. Res64: 134336D87F1DE365 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:01] 621*2^1429798-1 is not prime. Res64: D5666F38F7873BEC Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:06] 623*2^1429798-1 is not prime. Res64: 44CA3AE6DDDF3D3A Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:07] 681*2^1429798-1 is not prime. Res64: 8D533165B2AC083A Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:08] 713*2^1429798-1 is not prime. Res64: 4D4DFCAE80F17766 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:09] 827*2^1429798-1 is not prime. Res64: 56D3DAC70059DE82 Time : 0.0 sec. user=mdettweiler [2016-05-20 15:47:09] 845*2^1429798-1 is not prime. Res64: DFC0BC22DC5A18F7 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:06:09] 855*2^1429798-1 is not prime. Res64: 25B74AEDF0C4AE6A Time : 0.0 sec. user=mdettweiler [2016-05-20 16:06:11] 915*2^1429798-1 is not prime. Res64: B676FB59AE30F30A Time : 0.0 sec. user=mdettweiler [2016-05-20 16:06:13] 923*2^1429798-1 is not prime. Res64: 2F4446DF31D87BCD Time : 0.0 sec. user=mdettweiler [2016-05-20 16:06:14] 1001*2^1429798-1 is not prime. Res64: 95A09373809336FD Time : 0.0 sec. user=mdettweiler [2016-05-20 16:06:15] 685*2^1429799-1 is not prime. Res64: 1B53EEB2AD91DC3B Time : 0.0 sec. user=mdettweiler [2016-05-20 16:20:46] 693*2^1429800-1 is not prime. Res64: 96453E8593A38EC5 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:20:47] 839*2^1429800-1 is not prime. Res64: 8A11AD57A87F2E2B Time : 0.0 sec. user=mdettweiler [2016-05-20 16:20:47] 843*2^1429800-1 is not prime. Res64: F3C7CC1F80682F98 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:20:48] 845*2^1429800-1 is not prime. Res64: E11B3E8FE2EAAF52 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:20:48] 867*2^1429800-1 is not prime. Res64: 3855C16F23EE9447 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:47] 873*2^1429800-1 is not prime. Res64: C92E42589C2F5830 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:48] 687*2^1429801-1 is not prime. Res64: F5207FBBA4ED8806 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:48] 717*2^1429801-1 is not prime. Res64: 8EC952D2CA1FEE4B Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:48] 747*2^1429801-1 is not prime. Res64: 33106F81FBF9AE54 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:49] 799*2^1429801-1 is not prime. Res64: 35EDFEEDB5F52960 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:57] 939*2^1429801-1 is not prime. Res64: 574C89423C6A9FE0 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:58] 615*2^1429802-1 is not prime. Res64: CA98B97D95A2F019 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:58] 627*2^1429802-1 is not prime. Res64: 08DC24FADD937B4D Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:59] 705*2^1429802-1 is not prime. Res64: A8BCED32A9510038 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:31:59] 771*2^1429802-1 is not prime. Res64: 7B4F7AB4F6F70212 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:51:31] 791*2^1429802-1 is not prime. Res64: 98929E51283F84B0 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:51:32] 893*2^1429802-1 is not prime. Res64: 4F4569AD72CD7AFB Time : 0.0 sec. user=mdettweiler [2016-05-20 16:51:32] 613*2^1429803-1 is not prime. Res64: F2A932177B325CBF Time : 0.0 sec. user=mdettweiler [2016-05-20 16:51:32] 663*2^1429803-1 is not prime. Res64: 1AB4A58F5E72EDC3 Time : 0.0 sec. user=mdettweiler [2016-05-20 16:51:33] 735*2^1429803-1 is not prime. Res64: 89162B08E77F94A7 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:05:39] 943*2^1429803-1 is not prime. Res64: CEBFB9470289B6CE Time : 0.0 sec. user=mdettweiler [2016-05-20 17:05:41] 985*2^1429803-1 is not prime. Res64: 80C4FFD7D292AA4C Time : 0.0 sec. user=mdettweiler [2016-05-20 17:05:42] 609*2^1429804-1 is not prime. Res64: F002E9C10853A7EE Time : 0.0 sec. user=mdettweiler [2016-05-20 17:05:43] 813*2^1429804-1 is not prime. Res64: 2F8F9A23932FDBEF Time : 0.0 sec. user=mdettweiler [2016-05-20 17:05:44] 819*2^1429804-1 is not prime. Res64: 20E0014BBB5C14B5 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:06] 729*2^1429805-1 is not prime. Res64: E66DF27C236AD6CA Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:07] 811*2^1429805-1 is not prime. Res64: A13ADCB5C66F2183 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:07] 861*2^1429805-1 is not prime. Res64: CF020BC46072CAAD Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:08] 915*2^1429805-1 is not prime. Res64: 7AEDF0C03CF1B85C Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:08] 717*2^1429806-1 is not prime. Res64: 9C93C3133E6B6F2C Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:25] 825*2^1429804-1 is not prime. Res64: CBFDC9B975A10F4A Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:25] 869*2^1429804-1 is not prime. Res64: C58D6278C8A3D4B1 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:26] 899*2^1429804-1 is not prime. Res64: DDB27149268CB117 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:27] 923*2^1429804-1 is not prime. Res64: D925229A196AEA25 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:17:27] 987*2^1429804-1 is not prime. Res64: 9CF0BED5DEB10408 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:36:47] 815*2^1429806-1 is not prime. Res64: F37255147F03D554 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:36:47] 893*2^1429806-1 is not prime. Res64: A55AD04DC3845E0C Time : 0.0 sec. user=mdettweiler [2016-05-20 17:36:48] 945*2^1429806-1 is not prime. Res64: C66B1C6FD1185DE1 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:36:48] 983*2^1429806-1 is not prime. Res64: F4BBF3442BFFB4D4 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:36:48] 1001*2^1429806-1 is not prime. Res64: 18611529665D17AD Time : 0.0 sec. user=mdettweiler [2016-05-20 17:51:00] 633*2^1429807-1 is not prime. Res64: 8392E2CCDFD0623D Time : 0.0 sec. user=mdettweiler [2016-05-20 17:51:00] 675*2^1429807-1 is not prime. Res64: 464A5282FCE72E7C Time : 0.0 sec. user=mdettweiler [2016-05-20 17:51:00] 715*2^1429807-1 is not prime. Res64: 25AC08BB05B68254 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:51:01] 759*2^1429807-1 is not prime. Res64: 458232E0A76CD880 Time : 0.0 sec. user=mdettweiler [2016-05-20 17:51:01] 775*2^1429807-1 is not prime. Res64: 54C02D38A4C95235 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:05] 793*2^1429807-1 is not prime. Res64: 6EE3183458582426 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:06] 841*2^1429807-1 is not prime. Res64: CB67D8F40FA7D21F Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:07] 861*2^1429807-1 is not prime. Res64: DC3ABF2DCC90B34D Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:07] 909*2^1429807-1 is not prime. Res64: C1709C5C71FF8724 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:08] 933*2^1429807-1 is not prime. Res64: 489190F91289F6E6 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:15] 979*2^1429807-1 is not prime. Res64: B804D65559967E4D Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:17] 677*2^1429808-1 is not prime. Res64: 05D83FC37F67D7B8 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:18] 713*2^1429808-1 is not prime. Res64: B51221DA5C1A645B Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:18] 767*2^1429808-1 is not prime. Res64: F9430F9840D2C026 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:02:19] 803*2^1429808-1 is not prime. Res64: 7246E3E5F86087AB Time : 0.0 sec. user=mdettweiler [2016-05-20 18:23:12] 855*2^1429808-1 is not prime. Res64: B7E5D103979E592B Time : 0.0 sec. user=mdettweiler [2016-05-20 18:23:13] 879*2^1429808-1 is not prime. Res64: B83A2E8B14EC502C Time : 0.0 sec. user=mdettweiler [2016-05-20 18:23:13] 963*2^1429808-1 is not prime. Res64: CECDFB7218BE09FC Time : 0.0 sec. user=mdettweiler [2016-05-20 18:23:13] 625*2^1429809-1 is not prime. Res64: 131D557740011EAF Time : 0.0 sec. user=mdettweiler [2016-05-20 18:23:14] 649*2^1429809-1 is not prime. Res64: 99DE6D80178B88F6 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:39:09] 691*2^1429809-1 is not prime. Res64: FF468464F294E232 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:39:09] 741*2^1429809-1 is not prime. Res64: FFC5FA62BF64B321 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:39:10] 807*2^1429809-1 is not prime. Res64: 89079761F6051E66 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:39:10] 991*2^1429809-1 is not prime. Res64: 42632C9E5907EC83 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:39:10] 663*2^1429810-1 is not prime. Res64: 739E21E6FCB74676 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:23] 717*2^1429810-1 is not prime. Res64: 06F63DADE361CBEC Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:23] 941*2^1429810-1 is not prime. Res64: 47B2894FD13020E2 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:24] 643*2^1429811-1 is not prime. Res64: 84310E455957F786 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:24] 673*2^1429811-1 is not prime. Res64: C5D74BA9DE00170A Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:24] 685*2^1429811-1 is not prime. Res64: E5EF1C2D27F44F2B Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:25] 735*2^1429811-1 is not prime. Res64: E247B9E77BF503C1 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:25] 745*2^1429811-1 is not prime. Res64: 492D145BB8C26978 Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:25] 859*2^1429811-1 is not prime. Res64: D5C92B35EF37F4AC Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:26] 913*2^1429811-1 is not prime. Res64: A58A0E7340F1A93F Time : 0.0 sec. user=mdettweiler [2016-05-20 18:50:26] 921*2^1429811-1 is not prime. Res64: 34C0D0EFC5ED7535 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:09:36] 683*2^1429812-1 is not prime. Res64: E90333F799EEA131 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:09:37] 689*2^1429812-1 is not prime. Res64: B07263333059C597 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:09:38] 779*2^1429812-1 is not prime. Res64: B1A149FCEA2401DF Time : 0.0 sec. user=mdettweiler [2016-05-20 19:09:39] 819*2^1429812-1 is not prime. Res64: 2B7C7820D649B47B Time : 0.0 sec. user=mdettweiler [2016-05-20 19:09:40] 879*2^1429812-1 is not prime. Res64: 384F472094C96593 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:24:11] 915*2^1429812-1 is not prime. Res64: 8B3F54BBC1ACCC89 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:24:12] 965*2^1429812-1 is not prime. Res64: 91B95C2521C878A5 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:24:12] 769*2^1429813-1 is not prime. Res64: DE11D8FBD0AE2BBD Time : 0.0 sec. user=mdettweiler [2016-05-20 19:24:12] 819*2^1429813-1 is not prime. Res64: 4DCE47B8B1ABB3F4 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:24:13] 847*2^1429813-1 is not prime. Res64: 30E9B74601ED6381 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:13] 849*2^1429813-1 is not prime. Res64: 2A26FA68B81A07E1 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:14] 867*2^1429813-1 is not prime. Res64: D63AE6A1A4073AAB Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:14] 951*2^1429813-1 is not prime. Res64: FAC6B9893BDBFF56 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:14] 683*2^1429814-1 is not prime. Res64: 569AE1CDB90E4A20 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:15] 705*2^1429814-1 is not prime. Res64: 9D3BDC778B8E8586 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:24] 755*2^1429814-1 is not prime. Res64: F304B3048CDBA3F4 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:24] 873*2^1429814-1 is not prime. Res64: C0752619C95808B5 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:25] 625*2^1429815-1 is not prime. Res64: 0EA0AB933F559F6E Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:25] 675*2^1429815-1 is not prime. Res64: 57973F763E883ECB Time : 0.0 sec. user=mdettweiler [2016-05-20 19:35:25] 691*2^1429815-1 is not prime. Res64: 3F8229E567FF0AFE Time : 0.0 sec. user=mdettweiler [2016-05-20 19:54:45] 819*2^1429815-1 is not prime. Res64: 1E66C4EA0F4BBC2B Time : 0.0 sec. user=mdettweiler [2016-05-20 19:54:45] 825*2^1429815-1 is not prime. Res64: 80AC00D01601762F Time : 0.0 sec. user=mdettweiler [2016-05-20 19:54:46] 831*2^1429815-1 is not prime. Res64: F9073003FA27462B Time : 0.0 sec. user=mdettweiler [2016-05-20 19:54:46] 933*2^1429815-1 is not prime. Res64: 8EAB5FBF3DC172F2 Time : 0.0 sec. user=mdettweiler [2016-05-20 19:54:47] 991*2^1429815-1 is not prime. Res64: 89E00E90E8F6B50F Time : 0.0 sec. user=mdettweiler [2016-05-20 20:09:08] 629*2^1429816-1 is not prime. Res64: 02B6CD37A8FA330F Time : 0.0 sec. user=mdettweiler [2016-05-20 20:09:09] 677*2^1429816-1 is not prime. Res64: AE1999B34C987187 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:09:09] 773*2^1429816-1 is not prime. Res64: F37FBB3D28191C6F Time : 0.0 sec. user=mdettweiler [2016-05-20 20:09:10] 813*2^1429816-1 is not prime. Res64: 6A588B5CB4ADDC35 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:09:10] 855*2^1429816-1 is not prime. Res64: D47166BFCB516949 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:09] 869*2^1429816-1 is not prime. Res64: 62BA752C94A8E756 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:10] 691*2^1429817-1 is not prime. Res64: 58F30ACF288BE197 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:10] 699*2^1429817-1 is not prime. Res64: 7123409B2452B12A Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:11] 727*2^1429817-1 is not prime. Res64: 670ED4127F6116C9 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:11] 735*2^1429817-1 is not prime. Res64: CFFD2870A174A0B8 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:22] 909*2^1429817-1 is not prime. Res64: DE9E28CE07FFB57E Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:22] 967*2^1429817-1 is not prime. Res64: 755A53568071CEC0 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:23] 615*2^1429818-1 is not prime. Res64: 64943154D25D5E05 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:23] 621*2^1429818-1 is not prime. Res64: 8C1259855C09989A Time : 0.0 sec. user=mdettweiler [2016-05-20 20:20:24] 663*2^1429818-1 is not prime. Res64: C42476474ABC3E9B Time : 0.0 sec. user=mdettweiler [2016-05-20 20:39:43] 797*2^1429818-1 is not prime. Res64: E087356DB0277C72 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:39:43] 843*2^1429818-1 is not prime. Res64: 3F91B254A17E52C3 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:39:44] 881*2^1429818-1 is not prime. Res64: FD0ECEEF5C09E809 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:39:44] 951*2^1429818-1 is not prime. Res64: 429E20F9F604E5DF Time : 0.0 sec. user=mdettweiler [2016-05-20 20:39:45] 621*2^1429819-1 is not prime. Res64: 8553170696C1BB34 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:54:20] 829*2^1429819-1 is not prime. Res64: 4EB5F89E84FC4ADD Time : 0.0 sec. user=mdettweiler [2016-05-20 20:54:20] 873*2^1429819-1 is not prime. Res64: CB4C0CDA55D40E55 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:54:21] 919*2^1429819-1 is not prime. Res64: 52A74038D648F30C Time : 0.0 sec. user=mdettweiler [2016-05-20 20:54:21] 609*2^1429820-1 is not prime. Res64: 23EB797D16D8AB19 Time : 0.0 sec. user=mdettweiler [2016-05-20 20:54:22] 615*2^1429820-1 is not prime. Res64: 04F0831C9E74645E Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:26] 677*2^1429820-1 is not prime. Res64: 534AC56F531C7688 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:28] 707*2^1429820-1 is not prime. Res64: 2BD76E84B3DAD8B1 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:29] 879*2^1429820-1 is not prime. Res64: A48CCFD499A7C0F2 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:29] 621*2^1429821-1 is not prime. Res64: 3C139B6A507859BF Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:30] 899*2^1429820-1 is not prime. Res64: 99FDCC278874E1AB Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:31] 657*2^1429821-1 is not prime. Res64: 627C401A92077F63 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:32] 923*2^1429820-1 is not prime. Res64: 7FCD1CAEFAB71870 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:32] 685*2^1429821-1 is not prime. Res64: 6283A53D06DF7B98 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:34] 789*2^1429821-1 is not prime. Res64: EACA78B373AAB5EA Time : 0.0 sec. user=mdettweiler [2016-05-20 21:05:35] 901*2^1429821-1 is not prime. Res64: ECB640A4D0F480D6 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:25:10] 975*2^1429821-1 is not prime. Res64: D974036CA6A94A2C Time : 0.0 sec. user=mdettweiler [2016-05-20 21:25:10] 623*2^1429822-1 is not prime. Res64: 9C32C5A3EC0FD185 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:25:11] 695*2^1429822-1 is not prime. Res64: 35D76DF97167EF97 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:25:11] 737*2^1429822-1 is not prime. Res64: C86973A110F7BF91 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:25:12] 827*2^1429822-1 is not prime. Res64: EDF0D819231E157C Time : 0.0 sec. user=mdettweiler [2016-05-20 21:40:42] 857*2^1429822-1 is not prime. Res64: A63DAA2D38FB57C3 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:40:43] 975*2^1429822-1 is not prime. Res64: B4A6651B5A205C54 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:40:43] 783*2^1429823-1 is not prime. Res64: 284BAF3E78CFE183 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:40:44] 811*2^1429823-1 is not prime. Res64: 96943B178EBC956E Time : 0.0 sec. user=mdettweiler [2016-05-20 21:40:44] 819*2^1429823-1 is not prime. Res64: 543A64D1A9434AAF Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:12] 859*2^1429823-1 is not prime. Res64: DD21A58B938F73ED Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:12] 913*2^1429823-1 is not prime. Res64: AEDC12F8DB6A131A Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:12] 657*2^1429824-1 is not prime. Res64: 69BB4B4723469E18 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:13] 753*2^1429824-1 is not prime. Res64: 0B8267EC247EB2D9 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:13] 715*2^1429825-1 is not prime. Res64: 42F5E63EF65DEA4B Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:20] 751*2^1429825-1 is not prime. Res64: 72185B45B4E78353 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:20] 855*2^1429825-1 is not prime. Res64: 83773A5B1E3CAAFB Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:20] 951*2^1429825-1 is not prime. Res64: 1D0911F9C46115EF Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:21] 617*2^1429826-1 is not prime. Res64: 2634320E5DC44E67 Time : 0.0 sec. user=mdettweiler [2016-05-20 21:52:21] 623*2^1429826-1 is not prime. Res64: 907E5C9C17FAD430 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:12:41] 651*2^1429826-1 is not prime. Res64: 935A8C42102A62FF Time : 0.0 sec. user=mdettweiler [2016-05-20 22:12:42] 773*2^1429826-1 is not prime. Res64: 08BE3E63AD9676C1 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:12:43] 981*2^1429826-1 is not prime. Res64: A45915FA0348B5C2 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:12:43] 609*2^1429827-1 is not prime. Res64: DD349667B1BA6326 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:12:43] 909*2^1429827-1 is not prime. Res64: 1125A1609DFD0A1D Time : 0.0 sec. user=mdettweiler [2016-05-20 22:28:30] 617*2^1429828-1 is not prime. Res64: 87D9814A128B154D Time : 0.0 sec. user=mdettweiler [2016-05-20 22:28:31] 639*2^1429828-1 is not prime. Res64: F6372072ECD45968 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:28:32] 689*2^1429828-1 is not prime. Res64: 6DB54600E206AEE5 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:28:33] 803*2^1429828-1 is not prime. Res64: 91DBAD5CDD0BFEAF Time : 0.0 sec. user=mdettweiler [2016-05-20 22:28:33] 845*2^1429828-1 is not prime. Res64: A1F0784F4FC00B95 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:45] 915*2^1429828-1 is not prime. Res64: 55D50420572715C0 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:45] 947*2^1429828-1 is not prime. Res64: 04DB65AF84294C4E Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:45] 711*2^1429829-1 is not prime. Res64: E74B21976537F018 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:46] 789*2^1429829-1 is not prime. Res64: 72FFFF299C81ECEC Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:46] 831*2^1429829-1 is not prime. Res64: 751C9BFCE8A4D391 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:53] 861*2^1429829-1 is not prime. Res64: 957C866A7A128F4B Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:53] 681*2^1429830-1 is not prime. Res64: 85935DEEA25831CD Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:53] 821*2^1429830-1 is not prime. Res64: 5BA4521343FAD985 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:54] 863*2^1429830-1 is not prime. Res64: EBA36E000766F9C5 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:39:54] 933*2^1429830-1 is not prime. Res64: 3EA716DFD43CA6CF Time : 0.0 sec. user=mdettweiler [2016-05-20 22:59:59] 945*2^1429830-1 is not prime. Res64: 064DF99709D43DE5 Time : 0.0 sec. user=mdettweiler [2016-05-20 22:59:59] 965*2^1429830-1 is not prime. Res64: AD12D891A2BA4A5A Time : 0.0 sec. user=mdettweiler [2016-05-20 22:59:59] 977*2^1429830-1 is not prime. Res64: B016557B70496013 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:00:00] 735*2^1429831-1 is not prime. Res64: D4E22FF9D45273F6 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:00:00] 763*2^1429831-1 is not prime. Res64: 59D628C87CF23F60 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:15:06] 871*2^1429831-1 is not prime. Res64: 8D4BA35DE3217C6B Time : 0.0 sec. user=mdettweiler [2016-05-20 23:15:07] 993*2^1429831-1 is not prime. Res64: 6FEDB4DB77402479 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:15:07] 999*2^1429831-1 is not prime. Res64: 68AB6C61F06C7004 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:15:07] 633*2^1429832-1 is not prime. Res64: A397278C2A3A9819 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:15:08] 635*2^1429832-1 is not prime. Res64: EE0E3157372CB1AA Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:04] 915*2^1429832-1 is not prime. Res64: B8250BED63158960 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:05] 923*2^1429832-1 is not prime. Res64: 21DD7137AD06A13B Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:05] 705*2^1429833-1 is not prime. Res64: E54B447758CDE97D Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:05] 811*2^1429833-1 is not prime. Res64: A75FF4FE866D8315 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:06] 969*2^1429833-1 is not prime. Res64: C3A16E6E8800EA8B Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:10] 693*2^1429832-1 is not prime. Res64: D0E4D85ADC364F9E Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:10] 797*2^1429832-1 is not prime. Res64: E740EA1768C95BF5 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:11] 827*2^1429832-1 is not prime. Res64: 792A1EFA6474FD01 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:11] 873*2^1429832-1 is not prime. Res64: 7C5D263E41BFFE42 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:26:12] 903*2^1429832-1 is not prime. Res64: 6C49D449F5468608 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:45:06] 675*2^1429834-1 is not prime. Res64: 1D134D5907ADE00C Time : 0.0 sec. user=mdettweiler [2016-05-20 23:45:06] 705*2^1429834-1 is not prime. Res64: 129E00B757FAF184 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:45:06] 735*2^1429835-1 is not prime. Res64: D15EFEBA2D94ABB1 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:45:07] 853*2^1429835-1 is not prime. Res64: 06C00865C1DA09C1 Time : 0.0 sec. user=mdettweiler [2016-05-20 23:45:07] 861*2^1429835-1 is not prime. Res64: DC05F75C1890E369 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:00:16] 871*2^1429835-1 is not prime. Res64: 5EEE05D81DFC8178 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:00:17] 949*2^1429835-1 is not prime. Res64: 00F1A973C335A97A Time : 0.0 sec. user=mdettweiler [2016-05-21 00:00:17] 999*2^1429835-1 is not prime. Res64: 807DBD364ACCF153 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:00:18] 647*2^1429836-1 is not prime. Res64: BC825EAB2FE19DAE Time : 0.0 sec. user=mdettweiler [2016-05-21 00:00:18] 653*2^1429836-1 is not prime. Res64: B4FA5D6D5FF7A4B5 Time : 0.0 sec.