user=mdettweiler [2016-10-29 00:07:51] 781*2^1444257-1 is not prime. Res64: E82A248E0ED75280 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:07:52] 819*2^1444257-1 is not prime. Res64: 7213D9766051F315 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:07:53] 937*2^1444257-1 is not prime. Res64: AC3B582A3C82051D Time : 0.0 sec. user=mdettweiler [2016-10-29 00:07:54] 623*2^1444258-1 is not prime. Res64: 1C865CE658869083 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:07:54] 657*2^1444258-1 is not prime. Res64: C1013BFD0A0D4006 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:16:07] 755*2^1444258-1 is not prime. Res64: 4274FDE736BE71FB Time : 0.0 sec. user=mdettweiler [2016-10-29 00:16:08] 773*2^1444258-1 is not prime. Res64: B1D3A2B1391E182D Time : 0.0 sec. user=mdettweiler [2016-10-29 00:16:08] 791*2^1444258-1 is not prime. Res64: FDD28FB8DCE3E811 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:16:09] 987*2^1444258-1 is not prime. Res64: 41F2DBCC6EC303EB Time : 0.0 sec. user=mdettweiler [2016-10-29 00:16:10] 993*2^1444258-1 is not prime. Res64: 8663C442134B6EBE Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:27] 631*2^1444259-1 is not prime. Res64: 8F573B72A732F661 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:28] 633*2^1444259-1 is not prime. Res64: 4289DF1E65E2F5D2 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:28] 705*2^1444259-1 is not prime. Res64: AD49CF20F92DA42E Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:28] 711*2^1444259-1 is not prime. Res64: C0C10BC9AB9F1C2F Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:29] 843*2^1444259-1 is not prime. Res64: E5BB9B8DCBCE4650 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:30] 669*2^1444260-1 is not prime. Res64: D60B35A248D46632 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:30] 845*2^1444260-1 is not prime. Res64: E7C57F54E33538F9 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:30] 879*2^1444260-1 is not prime. Res64: 268F39B683A83D83 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:31] 999*2^1444260-1 is not prime. Res64: 1E5129A43F784487 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:33:31] 607*2^1444261-1 is not prime. Res64: 2714E5B555A6013D Time : 0.0 sec. user=mdettweiler [2016-10-29 00:52:51] 999*2^1444261-1 is not prime. Res64: 0F5736D17831D000 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:52:52] 617*2^1444262-1 is not prime. Res64: D100AA33171F9592 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:52:52] 645*2^1444262-1 is not prime. Res64: 0E4E14CEC93C0992 Time : 0.0 sec. user=mdettweiler [2016-10-29 00:52:52] 657*2^1444262-1 is not prime. Res64: 6447EEA5275ABA0C Time : 0.0 sec. user=mdettweiler [2016-10-29 00:52:53] 665*2^1444262-1 is not prime. Res64: FB7B05640AD7E11A Time : 0.0 sec. user=mdettweiler [2016-10-29 01:01:10] 785*2^1444262-1 is not prime. Res64: F05D13EC65840005 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:01:12] 875*2^1444262-1 is not prime. Res64: 7FCAAF67FA23185F Time : 0.0 sec. user=mdettweiler [2016-10-29 01:01:12] 885*2^1444262-1 is not prime. Res64: D8B1E20778CA61ED Time : 0.0 sec. user=mdettweiler [2016-10-29 01:01:13] 915*2^1444262-1 is not prime. Res64: 93FA08EAD9892BCF Time : 0.0 sec. user=mdettweiler [2016-10-29 01:01:13] 921*2^1444262-1 is not prime. Res64: 5BD6C2EC49285649 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:19] 885*2^1444263-1 is not prime. Res64: FD4F4CB0F64FCCA4 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:20] 665*2^1444264-1 is not prime. Res64: 481717847513BB62 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:21] 705*2^1444264-1 is not prime. Res64: 69BEB7D927F08FDE Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:22] 909*2^1444264-1 is not prime. Res64: F6F44FA3F367F7EC Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:23] 989*2^1444264-1 is not prime. Res64: 1B51D980634A73F9 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:26] 935*2^1444262-1 is not prime. Res64: E0B34733370079E8 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:28] 1001*2^1444262-1 is not prime. Res64: E89979825F0C33F6 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:29] 781*2^1444263-1 is not prime. Res64: DFDE7FBFFB7B4645 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:29] 805*2^1444263-1 is not prime. Res64: 33F9EC787948E22A Time : 0.0 sec. user=mdettweiler [2016-10-29 01:18:30] 859*2^1444263-1 is not prime. Res64: 7E6F2FE73AD5DD00 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:37:39] 607*2^1444265-1 is not prime. Res64: 14D644743FA93058 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:37:39] 651*2^1444265-1 is not prime. Res64: 339D196D49472D5E Time : 0.0 sec. user=mdettweiler [2016-10-29 01:37:39] 699*2^1444265-1 is not prime. Res64: 2F11076DA2B9C280 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:37:39] 771*2^1444265-1 is not prime. Res64: 6E0A7CBD1ADE2B87 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:37:40] 841*2^1444265-1 is not prime. Res64: 593A8D949FBF0D74 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:46:09] 925*2^1444265-1 is not prime. Res64: 50548AE880FDEB74 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:46:09] 657*2^1444266-1 is not prime. Res64: 59633FCBBD9759C8 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:46:10] 695*2^1444266-1 is not prime. Res64: 2369D598D0E02D86 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:46:10] 765*2^1444266-1 is not prime. Res64: F193785DA7D24878 Time : 0.0 sec. user=mdettweiler [2016-10-29 01:46:10] 923*2^1444266-1 is not prime. Res64: 8BF82C4BAC47BB0E Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:23] 861*2^1444267-1 is not prime. Res64: 6B60CF804BFBAD3B Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:23] 1001*2^1444266-1 is not prime. Res64: 5CDDC324EF33EC0D Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:24] 629*2^1444268-1 is not prime. Res64: 88012CF5F3C021A9 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:25] 601*2^1444267-1 is not prime. Res64: ADCA305B24D0CBC8 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:25] 663*2^1444268-1 is not prime. Res64: 25ADE3CB11FCD186 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:26] 609*2^1444267-1 is not prime. Res64: 0293CA5DD4F621D2 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:26] 677*2^1444268-1 is not prime. Res64: 10CC4A521984202F Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:27] 769*2^1444267-1 is not prime. Res64: 5C264EF5210909E6 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:27] 735*2^1444268-1 is not prime. Res64: 27CA6901E5B9F1C4 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:03:28] 841*2^1444267-1 is not prime. Res64: CF78DE7D810AB610 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:22:33] 839*2^1444268-1 is not prime. Res64: BDC2057380041396 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:22:34] 869*2^1444268-1 is not prime. Res64: 3EC2F57027C8EB2E Time : 0.0 sec. user=mdettweiler [2016-10-29 02:22:35] 969*2^1444268-1 is not prime. Res64: 080418759B7B20C1 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:22:36] 999*2^1444268-1 is not prime. Res64: 0DCBB2A17D66E1A8 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:22:36] 781*2^1444269-1 is not prime. Res64: 56BDB2BC594A7936 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:32:06] 907*2^1444269-1 is not prime. Res64: 266CF4F15AFD1E92 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:32:06] 921*2^1444269-1 is not prime. Res64: 061176D62AFD6050 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:32:07] 651*2^1444270-1 is not prime. Res64: 927E4D868BB63752 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:32:07] 653*2^1444270-1 is not prime. Res64: 037287B39CC719F9 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:32:07] 657*2^1444270-1 is not prime. Res64: 428FFDA4562F7FB7 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:22] 917*2^1444270-1 is not prime. Res64: DBC2E100F9E71E33 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:22] 965*2^1444270-1 is not prime. Res64: A7AE7E60BC261F98 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:22] 663*2^1444271-1 is not prime. Res64: C2D6375925B2AB6F Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:24] 871*2^1444271-1 is not prime. Res64: 8B5A8A1AB99EF312 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:24] 879*2^1444271-1 is not prime. Res64: 48AC06AEDFFADEC2 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:25] 687*2^1444270-1 is not prime. Res64: 3672D1CBB108C798 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:25] 713*2^1444270-1 is not prime. Res64: D2D41945ABA39EE5 Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:26] 741*2^1444270-1 is not prime. Res64: 376BB81FA9FED41E Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:27] 765*2^1444270-1 is not prime. Res64: 8A4AF2D09120EAEA Time : 0.0 sec. user=mdettweiler [2016-10-29 02:49:28] 827*2^1444270-1 is not prime. Res64: 6D2318EB307AEB0B Time : 0.0 sec. user=mdettweiler [2016-10-29 03:08:12] 909*2^1444271-1 is not prime. Res64: CC07E1ABC7C37A25 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:08:13] 945*2^1444271-1 is not prime. Res64: 3D0D4E3541DE1DAE Time : 0.0 sec. user=mdettweiler [2016-10-29 03:08:13] 759*2^1444272-1 is not prime. Res64: 18D49D8D16734E6F Time : 0.0 sec. user=mdettweiler [2016-10-29 03:08:13] 767*2^1444272-1 is not prime. Res64: 01D717DD29873BD4 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:08:13] 863*2^1444272-1 is not prime. Res64: 27A3B9DBCAF9268D Time : 0.0 sec. user=mdettweiler [2016-10-29 03:17:09] 947*2^1444272-1 is not prime. Res64: 71FC90A8BEB274FF Time : 0.0 sec. user=mdettweiler [2016-10-29 03:17:09] 983*2^1444272-1 is not prime. Res64: 847954C441BEC24A Time : 0.0 sec. user=mdettweiler [2016-10-29 03:17:10] 751*2^1444273-1 is not prime. Res64: 617C051C84D1249F Time : 0.0 sec. user=mdettweiler [2016-10-29 03:17:10] 811*2^1444273-1 is not prime. Res64: DB65D08AD9E467AF Time : 0.0 sec. user=mdettweiler [2016-10-29 03:17:10] 819*2^1444273-1 is not prime. Res64: 2DC020D9E2F44D78 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:13] 831*2^1444273-1 is not prime. Res64: E1DAF94BC9DFDF10 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:16] 835*2^1444273-1 is not prime. Res64: 435870AD64324AEF Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:17] 897*2^1444273-1 is not prime. Res64: 82882CE409002E65 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:19] 951*2^1444273-1 is not prime. Res64: 5833BCBCBF2665F2 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:20] 705*2^1444274-1 is not prime. Res64: 8C4267E0FA404B8C Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:22] 743*2^1444274-1 is not prime. Res64: D22FE8B71A611551 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:26] 767*2^1444274-1 is not prime. Res64: D4B64E074BA725F5 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:32] 797*2^1444274-1 is not prime. Res64: 739ED66A50FE740F Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:33] 813*2^1444274-1 is not prime. Res64: 5CB792E850FE8344 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:34:35] 861*2^1444274-1 is not prime. Res64: 36476854CE189C6D Time : 0.0 sec. user=mdettweiler [2016-10-29 03:53:09] 885*2^1444274-1 is not prime. Res64: 1A5FC18E83F39728 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:53:10] 633*2^1444275-1 is not prime. Res64: C3BF2AF67C83A979 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:53:11] 649*2^1444275-1 is not prime. Res64: 161046AB2AD49EDA Time : 0.0 sec. user=mdettweiler [2016-10-29 03:53:11] 669*2^1444275-1 is not prime. Res64: B9DD5360408EBA69 Time : 0.0 sec. user=mdettweiler [2016-10-29 03:53:12] 765*2^1444275-1 is not prime. Res64: A84E63C799A6531A Time : 0.0 sec. user=mdettweiler [2016-10-29 04:01:57] 849*2^1444275-1 is not prime. Res64: 8FCA77F86720F53E Time : 0.0 sec. user=mdettweiler [2016-10-29 04:01:58] 909*2^1444275-1 is not prime. Res64: 3D1DDE0B247596C9 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:01:59] 979*2^1444275-1 is not prime. Res64: C702F8E41A0979BD Time : 0.0 sec. user=mdettweiler [2016-10-29 04:02:00] 647*2^1444276-1 is not prime. Res64: 94750C601DDED151 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:02:00] 695*2^1444276-1 is not prime. Res64: CA03FBE23827F2B5 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:14] 773*2^1444276-1 is not prime. Res64: F36663FB9FEFFC43 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:15] 779*2^1444276-1 is not prime. Res64: 59C7218FEABAC715 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:15] 785*2^1444276-1 is not prime. Res64: 523DB4C5B2E60D9E Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:16] 839*2^1444276-1 is not prime. Res64: 6678427166FF5D86 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:16] 927*2^1444276-1 is not prime. Res64: A1B49D29A0F14DAE Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:20] 933*2^1444276-1 is not prime. Res64: 59EFCD5F20E3BE40 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:21] 939*2^1444276-1 is not prime. Res64: 5A15B1865CBFD0A8 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:21] 631*2^1444277-1 is not prime. Res64: 7F9E1BE5D0C4C050 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:21] 649*2^1444277-1 is not prime. Res64: 6A56400452247621 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:19:22] 655*2^1444277-1 is not prime. Res64: 6040B33AA0F16BE6 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:38:05] 795*2^1444277-1 is not prime. Res64: 555F7F911B597A7B Time : 0.0 sec. user=mdettweiler [2016-10-29 04:38:05] 621*2^1444278-1 is not prime. Res64: FA41C33024A94D66 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:38:05] 665*2^1444278-1 is not prime. Res64: 749E35120295BD21 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:38:06] 945*2^1444278-1 is not prime. Res64: 6143B83B935A9130 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:38:06] 951*2^1444278-1 is not prime. Res64: 8992D51875906DB2 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:46:51] 741*2^1444279-1 is not prime. Res64: 6E893928DD95B0A5 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:46:51] 855*2^1444279-1 is not prime. Res64: 6636A3BD94E9D135 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:46:51] 969*2^1444279-1 is not prime. Res64: 269374E81F49EA27 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:46:51] 609*2^1444280-1 is not prime. Res64: 52623FEA860D4757 Time : 0.0 sec. user=mdettweiler [2016-10-29 04:46:52] 615*2^1444280-1 is not prime. Res64: 67A0F8FF494CB8CB Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:02] 635*2^1444280-1 is not prime. Res64: 87E6EF836133C7FA Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:03] 927*2^1444280-1 is not prime. Res64: B635BB25E302539D Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:04] 963*2^1444280-1 is not prime. Res64: 369BE91E16ADBD81 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:05] 983*2^1444280-1 is not prime. Res64: F3D35358282EAE95 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:06] 999*2^1444280-1 is not prime. Res64: 8E408252FDF2EEEE Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:07] 657*2^1444281-1 is not prime. Res64: B378A80342208E52 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:08] 661*2^1444281-1 is not prime. Res64: 43EF8B62BB5E5EED Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:10] 669*2^1444281-1 is not prime. Res64: 08AA55667D53D46D Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:12] 679*2^1444281-1 is not prime. Res64: 6E88095E7BA2A59D Time : 0.0 sec. user=mdettweiler [2016-10-29 05:04:13] 717*2^1444281-1 is not prime. Res64: ECE59708DFC20CD6 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:22:50] 735*2^1444281-1 is not prime. Res64: FEDDD37907C243DD Time : 0.0 sec. user=mdettweiler [2016-10-29 05:22:50] 861*2^1444281-1 is not prime. Res64: 771C8A2AFBFCEF5C Time : 0.0 sec. user=mdettweiler [2016-10-29 05:22:51] 871*2^1444281-1 is not prime. Res64: 4E44C39A09CE45F8 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:22:51] 889*2^1444281-1 is not prime. Res64: E0944863F469A112 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:22:51] 975*2^1444281-1 is not prime. Res64: 9DBC08A6B8842BB5 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:31:48] 671*2^1444282-1 is not prime. Res64: 18E9E477BE210410 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:31:48] 741*2^1444282-1 is not prime. Res64: F2F19C69D0932B29 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:31:48] 843*2^1444282-1 is not prime. Res64: A5DAAD84C02E6D2B Time : 0.0 sec. user=mdettweiler [2016-10-29 05:31:48] 873*2^1444282-1 is not prime. Res64: 10513C78E81B1D3D Time : 0.0 sec. user=mdettweiler [2016-10-29 05:31:48] 987*2^1444282-1 is not prime. Res64: AC535C903D45736A Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:08] 679*2^1444283-1 is not prime. Res64: 6C203FB0BA0229FB Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:08] 703*2^1444283-1 is not prime. Res64: 00B0220F13CC683C Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:09] 735*2^1444283-1 is not prime. Res64: 610E0D5813B69DA7 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:09] 771*2^1444283-1 is not prime. Res64: C46384DEB346521D Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:09] 775*2^1444283-1 is not prime. Res64: 46A58920C22B7CDF Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:16] 825*2^1444283-1 is not prime. Res64: DFCC3F8B4DD8B5F3 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:17] 871*2^1444283-1 is not prime. Res64: 68E9F7D03E0A343D Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:17] 901*2^1444283-1 is not prime. Res64: BE395C29231750D1 Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:17] 605*2^1444284-1 is not prime. Res64: A1EE3E18FBBA462F Time : 0.0 sec. user=mdettweiler [2016-10-29 05:49:17] 623*2^1444284-1 is not prime. Res64: 2FE724002981211A Time : 0.0 sec. user=mdettweiler [2016-10-29 06:07:39] 765*2^1444284-1 is not prime. Res64: 132BF58F966EADD4 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:07:39] 843*2^1444284-1 is not prime. Res64: F356097914051F6D Time : 0.0 sec. user=mdettweiler [2016-10-29 06:07:40] 857*2^1444284-1 is not prime. Res64: 1E0EA06811890E10 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:07:40] 777*2^1444285-1 is not prime. Res64: B88432B3B3D429AF Time : 0.0 sec. user=mdettweiler [2016-10-29 06:07:40] 955*2^1444285-1 is not prime. Res64: 8E5509F459BAF781 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:16:36] 961*2^1444285-1 is not prime. Res64: E2F4EDC743F7BC4E Time : 0.0 sec. user=mdettweiler [2016-10-29 06:16:37] 741*2^1444286-1 is not prime. Res64: D013BA15D20F9575 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:16:37] 747*2^1444286-1 is not prime. Res64: F7BEB888740E8189 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:16:37] 761*2^1444286-1 is not prime. Res64: 69C4B1BA6AA7F8C3 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:16:37] 957*2^1444286-1 is not prime. Res64: 474F8D61D82F3A7C Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:00] 861*2^1444287-1 is not prime. Res64: 66E912009F0EDDFB Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:00] 873*2^1444287-1 is not prime. Res64: BE221899B0748A8D Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:00] 885*2^1444287-1 is not prime. Res64: D26404B215A64F1C Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:00] 891*2^1444287-1 is not prime. Res64: FFA85DAA934E5679 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:01] 971*2^1444286-1 is not prime. Res64: 1E37F46CF7D70006 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:01] 773*2^1444288-1 is not prime. Res64: 4B619929F9B66AB7 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:01] 675*2^1444287-1 is not prime. Res64: 93FCA0D95B7780E1 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:01] 741*2^1444287-1 is not prime. Res64: D81B3A7A4BE4020C Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:01] 775*2^1444287-1 is not prime. Res64: 31EC730817B74445 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:34:01] 781*2^1444287-1 is not prime. Res64: CF52E10044C1EB25 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:52:38] 825*2^1444288-1 is not prime. Res64: C5B623F29F21CF28 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:52:38] 915*2^1444288-1 is not prime. Res64: 9AC8C9F558D18C5B Time : 0.0 sec. user=mdettweiler [2016-10-29 06:52:39] 927*2^1444288-1 is not prime. Res64: 8177296F0C24F712 Time : 0.0 sec. user=mdettweiler [2016-10-29 06:52:39] 995*2^1444288-1 is not prime. Res64: 017AFE616255615C Time : 0.0 sec. user=mdettweiler [2016-10-29 06:52:39] 631*2^1444289-1 is not prime. Res64: B1B468DA113F2688 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:01:34] 867*2^1444289-1 is not prime. Res64: 5D3383E883100F6F Time : 0.0 sec. user=mdettweiler [2016-10-29 07:01:35] 897*2^1444289-1 is not prime. Res64: 1057D7AA7ECA9BA9 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:01:35] 957*2^1444289-1 is not prime. Res64: 6F98E60EDBBE232B Time : 0.0 sec. user=mdettweiler [2016-10-29 07:01:36] 979*2^1444289-1 is not prime. Res64: D5D0C4D622AB4037 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:01:37] 985*2^1444289-1 is not prime. Res64: 714DC96113531CF8 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:18:38] 641*2^1444290-1 is not prime. Res64: BDC294C86B8463A4 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:18:38] 833*2^1444290-1 is not prime. Res64: 8ADE323679ACC7D7 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:18:39] 843*2^1444290-1 is not prime. Res64: 658894FB57DC0A17 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:18:39] 861*2^1444290-1 is not prime. Res64: 30014884C8807747 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:18:39] 915*2^1444290-1 is not prime. Res64: F8E4A4247C51CA6F Time : 0.0 sec. user=mdettweiler [2016-10-29 07:19:02] 679*2^1444291-1 is not prime. Res64: 9C21BC381E5F62F2 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:19:03] 759*2^1444291-1 is not prime. Res64: E58C19ECDF80DD3B Time : 0.0 sec. user=mdettweiler [2016-10-29 07:19:03] 901*2^1444291-1 is not prime. Res64: FF9311D16B6E45B7 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:19:03] 939*2^1444291-1 is not prime. Res64: C3D70698F86769D3 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:19:03] 605*2^1444292-1 is not prime. Res64: 1F50E76BCD544309 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:37:44] 609*2^1444292-1 is not prime. Res64: 201016530C387A6D Time : 0.0 sec. user=mdettweiler [2016-10-29 07:37:45] 699*2^1444292-1 is not prime. Res64: 4E4E83BF85C6E890 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:37:45] 749*2^1444292-1 is not prime. Res64: 58A438FD32B240BA Time : 0.0 sec. user=mdettweiler [2016-10-29 07:37:45] 759*2^1444292-1 is not prime. Res64: 7D33C30130C224CE Time : 0.0 sec. user=mdettweiler [2016-10-29 07:37:45] 691*2^1444293-1 is not prime. Res64: 3B2779C0A765DD30 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:46:33] 735*2^1444293-1 is not prime. Res64: 294991CE4251D211 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:46:33] 781*2^1444293-1 is not prime. Res64: C5877FD967840CD0 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:46:33] 829*2^1444293-1 is not prime. Res64: 24729A7EB92FD312 Time : 0.0 sec. user=mdettweiler [2016-10-29 07:46:34] 859*2^1444293-1 is not prime. Res64: 5F5BAFE468552D7F Time : 0.0 sec. user=mdettweiler [2016-10-29 07:46:34] 895*2^1444293-1 is not prime. Res64: B0B870AA9743B98E Time : 0.0 sec. user=mdettweiler [2016-10-29 08:03:36] 663*2^1444294-1 is not prime. Res64: 39D8B87D7A0C7AA2 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:03:38] 705*2^1444294-1 is not prime. Res64: 63CA8FF8A0BF2D2A Time : 0.0 sec. user=mdettweiler [2016-10-29 08:03:38] 723*2^1444294-1 is not prime. Res64: 1FD89F3BC8CDDEEA Time : 0.0 sec. user=mdettweiler [2016-10-29 08:03:39] 825*2^1444294-1 is not prime. Res64: FD4B27271187AB53 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:03:39] 947*2^1444294-1 is not prime. Res64: BA802023F383E05E Time : 0.0 sec. user=mdettweiler [2016-10-29 08:04:10] 645*2^1444295-1 is not prime. Res64: 1C454D07ADEFD0A0 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:04:11] 663*2^1444295-1 is not prime. Res64: B8C6047711972C20 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:04:11] 673*2^1444295-1 is not prime. Res64: 6E7322DF15713C78 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:04:12] 735*2^1444295-1 is not prime. Res64: 3D8122441643BBEC Time : 0.0 sec. user=mdettweiler [2016-10-29 08:04:13] 771*2^1444295-1 is not prime. Res64: F0DCA57AC88F6CBB Time : 0.0 sec. user=mdettweiler [2016-10-29 08:22:45] 775*2^1444295-1 is not prime. Res64: F2132D44D22462BF Time : 0.0 sec. user=mdettweiler [2016-10-29 08:22:45] 885*2^1444295-1 is not prime. Res64: 83506E431EAD5DB8 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:22:45] 915*2^1444295-1 is not prime. Res64: C35257ED96D7D321 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:22:46] 627*2^1444296-1 is not prime. Res64: A69DB1C4247AED09 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:22:46] 837*2^1444296-1 is not prime. Res64: 4921C272154FFE43 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:31:29] 893*2^1444296-1 is not prime. Res64: 3C61382A92E7D4BC Time : 0.0 sec. user=mdettweiler [2016-10-29 08:31:30] 983*2^1444296-1 is not prime. Res64: 4FA9F32979F1E9FF Time : 0.0 sec. user=mdettweiler [2016-10-29 08:31:30] 999*2^1444296-1 is not prime. Res64: DC7632E3F8044DAF Time : 0.0 sec. user=mdettweiler [2016-10-29 08:31:30] 649*2^1444297-1 is not prime. Res64: CEA9F12A91B0B879 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:31:30] 687*2^1444297-1 is not prime. Res64: 339693ADEA43A64B Time : 0.0 sec. user=mdettweiler [2016-10-29 08:48:48] 729*2^1444297-1 is not prime. Res64: E3D6C7F7A4F3A863 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:48:49] 841*2^1444297-1 is not prime. Res64: F25A54A03E804E01 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:48:49] 871*2^1444297-1 is not prime. Res64: 4D56A380506B5F99 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:48:49] 897*2^1444297-1 is not prime. Res64: E1B879098A3E544C Time : 0.0 sec. user=mdettweiler [2016-10-29 08:48:50] 979*2^1444297-1 is not prime. Res64: 5BECE0935663C480 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:49:08] 999*2^1444297-1 is not prime. Res64: B33F99C98767FFCB Time : 0.0 sec. user=mdettweiler [2016-10-29 08:49:08] 635*2^1444298-1 is not prime. Res64: 3B38CA989532E3C0 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:49:09] 641*2^1444298-1 is not prime. Res64: 40AAFBCDC62305C7 Time : 0.0 sec. user=mdettweiler [2016-10-29 08:49:09] 705*2^1444298-1 is not prime. Res64: DCB9BB497916AF7D Time : 0.0 sec. user=mdettweiler [2016-10-29 08:49:09] 731*2^1444298-1 is not prime. Res64: 8D5FB55683275EF9 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:07:43] 743*2^1444298-1 is not prime. Res64: 231D6D1FA677901D Time : 0.0 sec. user=mdettweiler [2016-10-29 09:07:46] 767*2^1444298-1 is not prime. Res64: 45FB90CD49416DBB Time : 0.0 sec. user=mdettweiler [2016-10-29 09:07:49] 1001*2^1444298-1 is not prime. Res64: E4BE521FA7D5402F Time : 0.0 sec. user=mdettweiler [2016-10-29 09:07:51] 613*2^1444299-1 is not prime. Res64: 261C528404A81034 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:07:53] 619*2^1444299-1 is not prime. Res64: 1B6C2E574166A8EF Time : 0.0 sec. user=mdettweiler [2016-10-29 09:16:33] 721*2^1444299-1 is not prime. Res64: BC4664134719B725 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:16:33] 873*2^1444299-1 is not prime. Res64: EC565F5D5E158B35 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:16:34] 931*2^1444299-1 is not prime. Res64: 8FC33926F2F80AF3 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:16:34] 951*2^1444299-1 is not prime. Res64: B73FB9ABE0CDFC5F Time : 0.0 sec. user=mdettweiler [2016-10-29 09:16:34] 961*2^1444299-1 is not prime. Res64: 0A71C024C963DC7D Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:29] 975*2^1444299-1 is not prime. Res64: E7A685CDC6EE92E7 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:30] 635*2^1444300-1 is not prime. Res64: A2113A30E67FAF08 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:30] 675*2^1444300-1 is not prime. Res64: B50889D617545CA7 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:30] 755*2^1444300-1 is not prime. Res64: C2D86C6D7891031B Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:30] 797*2^1444300-1 is not prime. Res64: 95DA29A2F6582588 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:56] 839*2^1444300-1 is not prime. Res64: 17791B1A907B6452 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:56] 939*2^1444300-1 is not prime. Res64: F20D467F580CB213 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:57] 965*2^1444300-1 is not prime. Res64: ABDE2D0966066C14 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:57] 697*2^1444301-1 is not prime. Res64: 9441252DD751B462 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:33:57] 711*2^1444301-1 is not prime. Res64: 5A57977F4C6AF2DF Time : 0.0 sec. user=mdettweiler [2016-10-29 09:52:59] 837*2^1444301-1 is not prime. Res64: 5F7E45F73E210010 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:52:59] 965*2^1444302-1 is not prime. Res64: 2788D51F54477920 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:52:59] 1001*2^1444302-1 is not prime. Res64: 5467CCC39AF95E65 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:52:59] 639*2^1444303-1 is not prime. Res64: 381DD859F8AB22A8 Time : 0.0 sec. user=mdettweiler [2016-10-29 09:53:00] 673*2^1444303-1 is not prime. Res64: 3D58221F30A0F60E Time : 0.0 sec. user=mdettweiler [2016-10-29 10:01:20] 679*2^1444303-1 is not prime. Res64: 2DDF66DAEC95D8C0 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:01:21] 765*2^1444303-1 is not prime. Res64: 3C8887778A8D2156 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:01:24] 849*2^1444303-1 is not prime. Res64: 7BF5640D985BC4FA Time : 0.0 sec. user=mdettweiler [2016-10-29 10:01:25] 951*2^1444303-1 is not prime. Res64: 6A25D256DB21B12D Time : 0.0 sec. user=mdettweiler [2016-10-29 10:01:26] 629*2^1444304-1 is not prime. Res64: 19266F913DC91CCC Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:21] 635*2^1444304-1 is not prime. Res64: A85F0CB8C6C78201 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:21] 659*2^1444304-1 is not prime. Res64: BB69FAEBE0E4794C Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:22] 813*2^1444304-1 is not prime. Res64: 418D445734A5B05A Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:22] 833*2^1444304-1 is not prime. Res64: 2C5ECD64AEB58123 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:22] 875*2^1444304-1 is not prime. Res64: AEDC2E337A2A73DE Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:42] 927*2^1444304-1 is not prime. Res64: 2C742B108B9AC61F Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:42] 945*2^1444304-1 is not prime. Res64: 050B329F56B9D6EF Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:43] 819*2^1444305-1 is not prime. Res64: A7D04339B8998A23 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:43] 891*2^1444305-1 is not prime. Res64: A4AD6851DEE28F64 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:18:43] 979*2^1444305-1 is not prime. Res64: C0772016251BF676 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:37:57] 677*2^1444306-1 is not prime. Res64: 71A474ED94499A40 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:37:57] 713*2^1444306-1 is not prime. Res64: 52F554975BB1E086 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:37:57] 723*2^1444306-1 is not prime. Res64: EA6A8CA809D7D536 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:37:58] 855*2^1444306-1 is not prime. Res64: C9A48DCA12738AFA Time : 0.0 sec. user=mdettweiler [2016-10-29 10:37:58] 891*2^1444306-1 is not prime. Res64: BD43C4F39F81598C Time : 0.0 sec. user=mdettweiler [2016-10-29 10:46:45] 933*2^1444306-1 is not prime. Res64: 1A04F3AF66C6D492 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:46:45] 693*2^1444307-1 is not prime. Res64: 138A811F2D8DD741 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:46:46] 781*2^1444307-1 is not prime. Res64: 286BF2F257221DDD Time : 0.0 sec. user=mdettweiler [2016-10-29 10:46:46] 841*2^1444307-1 is not prime. Res64: 86F5C2DB8BBB06F7 Time : 0.0 sec. user=mdettweiler [2016-10-29 10:46:46] 979*2^1444307-1 is not prime. Res64: 710BC95A7BB16A25 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:17] 635*2^1444308-1 is not prime. Res64: 86CCF35173E77F74 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:18] 689*2^1444308-1 is not prime. Res64: C98EDAB7066165EA Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:18] 725*2^1444308-1 is not prime. Res64: 8F9AD70BCF4494F5 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:19] 749*2^1444308-1 is not prime. Res64: 0318FA88C41F9FD9 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:19] 845*2^1444308-1 is not prime. Res64: FE2C1C6D9FDA15C8 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:43] 929*2^1444308-1 is not prime. Res64: 130FD66B28EE1713 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:43] 615*2^1444309-1 is not prime. Res64: F34FB1966F9BFC5E Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:44] 619*2^1444309-1 is not prime. Res64: 736F39FD640A66CC Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:44] 621*2^1444309-1 is not prime. Res64: A719E316424FD34F Time : 0.0 sec. user=mdettweiler [2016-10-29 11:03:45] 667*2^1444309-1 is not prime. Res64: B378A22457C17689 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:22:47] 675*2^1444309-1 is not prime. Res64: E9DAFF9B2D15FD56 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:22:48] 721*2^1444309-1 is not prime. Res64: 71F65600B4D58E4D Time : 0.0 sec. user=mdettweiler [2016-10-29 11:22:48] 747*2^1444309-1 is not prime. Res64: 2968A56696CA899B Time : 0.0 sec. user=mdettweiler [2016-10-29 11:22:48] 771*2^1444309-1 is not prime. Res64: 81EA376A370AD13E Time : 0.0 sec. user=mdettweiler [2016-10-29 11:22:48] 919*2^1444309-1 is not prime. Res64: ACC61AA88D7CB95F Time : 0.0 sec. user=mdettweiler [2016-10-29 11:31:36] 931*2^1444309-1 is not prime. Res64: E37B0A8FE4D5698B Time : 0.0 sec. user=mdettweiler [2016-10-29 11:31:36] 645*2^1444310-1 is not prime. Res64: 8BA6EAEAF0C344DF Time : 0.0 sec. user=mdettweiler [2016-10-29 11:31:36] 825*2^1444310-1 is not prime. Res64: 5779C4EDE7BC1724 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:31:37] 833*2^1444310-1 is not prime. Res64: 850BDCF07771EE39 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:31:37] 953*2^1444310-1 is not prime. Res64: 4237E68045244FA5 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:08] 973*2^1444311-1 is not prime. Res64: 0C269FAAD70702FA Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:08] 639*2^1444312-1 is not prime. Res64: 5A1CA291D22183A6 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:09] 723*2^1444312-1 is not prime. Res64: 4920901C74173E8F Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:09] 803*2^1444312-1 is not prime. Res64: B26D81E48F3F2828 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:09] 899*2^1444312-1 is not prime. Res64: 6695306FFA05B84C Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:39] 631*2^1444313-1 is not prime. Res64: 1B23B9BE5047F5F4 Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:40] 729*2^1444313-1 is not prime. Res64: 04416DE5BBFCC0FE Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:40] 745*2^1444313-1 is not prime. Res64: BCD6049EABC4849E Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:40] 867*2^1444313-1 is not prime. Res64: 3B9A151D2DB31A5F Time : 0.0 sec. user=mdettweiler [2016-10-29 11:48:40] 901*2^1444313-1 is not prime. Res64: 3FAD87B90222A99A Time : 0.0 sec. user=mdettweiler [2016-10-29 12:07:48] 985*2^1444313-1 is not prime. Res64: B61E1D96A6FBCC0B Time : 0.0 sec. user=mdettweiler [2016-10-29 12:07:50] 987*2^1444313-1 is not prime. Res64: 8E74FE9BF3634EA7 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:07:52] 681*2^1444314-1 is not prime. Res64: C0BB0938892FEB09 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:07:56] 707*2^1444314-1 is not prime. Res64: AA15A7B3CC0F5C53 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:07:59] 717*2^1444314-1 is not prime. Res64: A3E7EE5CE2AB11CE Time : 0.0 sec. user=mdettweiler [2016-10-29 12:16:24] 731*2^1444314-1 is not prime. Res64: D714AA3300197BD6 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:16:25] 755*2^1444314-1 is not prime. Res64: 85FC0B1B3DDED006 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:16:25] 765*2^1444314-1 is not prime. Res64: E983B672F5954229 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:16:25] 875*2^1444314-1 is not prime. Res64: 03CEF4FADE4B7A9A Time : 0.0 sec. user=mdettweiler [2016-10-29 12:16:25] 885*2^1444314-1 is not prime. Res64: 3CCFB14944967E45 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:01] 905*2^1444314-1 is not prime. Res64: AE63C2ECBD821DF7 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:01] 945*2^1444314-1 is not prime. Res64: 53F665BBB4FB5CB0 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:01] 971*2^1444314-1 is not prime. Res64: 0F75074046D95D23 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:01] 631*2^1444315-1 is not prime. Res64: 71BCF20E1248B40E Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:02] 633*2^1444315-1 is not prime. Res64: BC2A8C74DD55E7D1 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:39] 675*2^1444315-1 is not prime. Res64: E2893EA3B7E77595 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:39] 873*2^1444315-1 is not prime. Res64: 02B13A366E0D970E Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:39] 891*2^1444315-1 is not prime. Res64: 5D39EB57D777EC5F Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:39] 969*2^1444315-1 is not prime. Res64: CAB06794B2600001 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:33:39] 999*2^1444315-1 is not prime. Res64: AD94F51EC45BCBF6 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:53:11] 699*2^1444316-1 is not prime. Res64: 8B16E70EDCE51414 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:53:12] 717*2^1444316-1 is not prime. Res64: B49627701F3FF90A Time : 0.0 sec. user=mdettweiler [2016-10-29 12:53:12] 767*2^1444316-1 is not prime. Res64: 5333AA40AA929A84 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:53:12] 785*2^1444316-1 is not prime. Res64: 3284BB78071F5D79 Time : 0.0 sec. user=mdettweiler [2016-10-29 12:53:12] 843*2^1444316-1 is not prime. Res64: D6A372BB900F301C Time : 0.0 sec. user=mdettweiler [2016-10-29 13:01:19] 953*2^1444316-1 is not prime. Res64: 6B3B43CA5E3175A6 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:01:20] 993*2^1444316-1 is not prime. Res64: 8006C37101D8FBD6 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:01:21] 615*2^1444317-1 is not prime. Res64: 63F2C3D699A21648 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:01:22] 885*2^1444317-1 is not prime. Res64: 37A46A08DADCD29C Time : 0.0 sec. user=mdettweiler [2016-10-29 13:01:23] 895*2^1444317-1 is not prime. Res64: D876558C2591A31E Time : 0.0 sec. user=mdettweiler [2016-10-29 13:18:46] 647*2^1444318-1 is not prime. Res64: 3AC2FE7EE12327BB Time : 0.0 sec. user=mdettweiler [2016-10-29 13:18:46] 663*2^1444318-1 is not prime. Res64: 59810F568EA9EBF7 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:18:47] 681*2^1444318-1 is not prime. Res64: 116138D65B078CA9 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:18:47] 737*2^1444318-1 is not prime. Res64: B83D0CB240C796A5 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:18:47] 801*2^1444318-1 is not prime. Res64: 873F0F98E3102F0C Time : 0.0 sec. user=mdettweiler [2016-10-29 13:19:03] 891*2^1444318-1 is not prime. Res64: F79BD44E703A789A Time : 0.0 sec. user=mdettweiler [2016-10-29 13:19:03] 911*2^1444318-1 is not prime. Res64: B20975576237F93C Time : 0.0 sec. user=mdettweiler [2016-10-29 13:19:04] 915*2^1444318-1 is not prime. Res64: 483C0FD50A990D17 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:19:04] 933*2^1444318-1 is not prime. Res64: AA588365C20C075C Time : 0.0 sec. user=mdettweiler [2016-10-29 13:19:04] 941*2^1444318-1 is not prime. Res64: DEBE6134F50FDC87 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:38:29] 661*2^1444319-1 is not prime. Res64: D498C849DC4F654A Time : 0.0 sec. user=mdettweiler [2016-10-29 13:38:29] 771*2^1444319-1 is not prime. Res64: 21CF2B536FBB2621 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:38:30] 855*2^1444319-1 is not prime. Res64: 74322625A48C0FDC Time : 0.0 sec. user=mdettweiler [2016-10-29 13:38:30] 803*2^1444320-1 is not prime. Res64: 85269B267348D77C Time : 0.0 sec. user=mdettweiler [2016-10-29 13:38:30] 929*2^1444320-1 is not prime. Res64: 93BE7AF31C507723 Time : 0.0 sec. user=mdettweiler [2016-10-29 13:47:20] 607*2^1444321-1 is not prime. Res64: 1EA73F01E310FC5B Time : 0.0 sec. user=mdettweiler [2016-10-29 13:47:20] 651*2^1444321-1 is not prime. Res64: 0F73365CD57CA15B Time : 0.0 sec. user=mdettweiler [2016-10-29 13:47:21] 687*2^1444321-1 is not prime. Res64: D94F0BE19C863E7D Time : 0.0 sec. user=mdettweiler [2016-10-29 13:47:21] 741*2^1444321-1 is not prime. Res64: 83B516D9CED7E22E Time : 0.0 sec. user=mdettweiler [2016-10-29 13:47:21] 775*2^1444321-1 is not prime. Res64: 4EEAC2B09609A0AE Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:32] 615*2^1444322-1 is not prime. Res64: C9CEA13CFA1148DD Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:33] 741*2^1444322-1 is not prime. Res64: 9E549C151115CF69 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:33] 755*2^1444322-1 is not prime. Res64: E43F19451484EFC8 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:34] 827*2^1444322-1 is not prime. Res64: D9B39F24EDEBBC45 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:34] 831*2^1444322-1 is not prime. Res64: 60E7388131832A6A Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:46] 945*2^1444322-1 is not prime. Res64: 59B8EEC710D21101 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:47] 621*2^1444323-1 is not prime. Res64: 646A31C3AA74B3F7 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:47] 709*2^1444323-1 is not prime. Res64: 713FD9F559729604 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:48] 723*2^1444323-1 is not prime. Res64: 1E227B6742EE3C02 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:03:48] 825*2^1444323-1 is not prime. Res64: BECE639DA4AAE590 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:23:44] 699*2^1444324-1 is not prime. Res64: 46D7EAA463D64871 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:23:44] 863*2^1444324-1 is not prime. Res64: E7DF0A7CAAF3DF69 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:23:44] 875*2^1444324-1 is not prime. Res64: DF8254F53F0F12A1 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:23:45] 655*2^1444325-1 is not prime. Res64: 845BAF062C695739 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:23:45] 691*2^1444325-1 is not prime. Res64: A12C7E381BEF3D18 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:33:04] 795*2^1444325-1 is not prime. Res64: 9C284C69D8AF32B3 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:33:04] 811*2^1444325-1 is not prime. Res64: B87702F542C567B1 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:33:05] 847*2^1444325-1 is not prime. Res64: EDC991EC6D5138F1 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:33:05] 927*2^1444325-1 is not prime. Res64: 90A59D04EDB59CB3 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:33:05] 641*2^1444326-1 is not prime. Res64: AAD00AAA8474716B Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:01] 693*2^1444327-1 is not prime. Res64: 3D496F7D994F7C41 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:01] 703*2^1444327-1 is not prime. Res64: 28B61B398850A508 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:02] 831*2^1444327-1 is not prime. Res64: D03B8E1A28B44994 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:02] 843*2^1444327-1 is not prime. Res64: 5FCA965280A76473 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:02] 975*2^1444327-1 is not prime. Res64: 03B0E1B31828A9AD Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:38] 755*2^1444326-1 is not prime. Res64: 354537FF8634276A Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:39] 891*2^1444326-1 is not prime. Res64: 39631E48EC260D80 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:39] 917*2^1444326-1 is not prime. Res64: 281E75ABBCAE757B Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:39] 615*2^1444327-1 is not prime. Res64: 8E2F542821699280 Time : 0.0 sec. user=mdettweiler [2016-10-29 14:51:39] 621*2^1444327-1 is not prime. Res64: 43AD4EBB89FB1FF9 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:10:59] 689*2^1444328-1 is not prime. Res64: A6CBF4B0D570DB36 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:11:02] 813*2^1444328-1 is not prime. Res64: 86A56AFF854C72BA Time : 0.0 sec. user=mdettweiler [2016-10-29 15:11:08] 843*2^1444328-1 is not prime. Res64: 892FA90CB0EDF066 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:11:09] 855*2^1444328-1 is not prime. Res64: 80B6CE141BA7C3C8 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:11:10] 899*2^1444328-1 is not prime. Res64: 69176A0FDB33418A Time : 0.0 sec. user=mdettweiler [2016-10-29 15:20:42] 681*2^1444329-1 is not prime. Res64: 47D67A2F7FFC2120 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:20:42] 811*2^1444329-1 is not prime. Res64: 255B7CDA35ACEBAB Time : 0.0 sec. user=mdettweiler [2016-10-29 15:20:42] 829*2^1444329-1 is not prime. Res64: 2D336DD96999746D Time : 0.0 sec. user=mdettweiler [2016-10-29 15:20:42] 847*2^1444329-1 is not prime. Res64: 86D69FE25C794822 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:20:42] 861*2^1444329-1 is not prime. Res64: FEF52119A079B181 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:49] 889*2^1444329-1 is not prime. Res64: 2EAE58E8A88105BC Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:49] 951*2^1444329-1 is not prime. Res64: A9A3FE127938F5F4 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:49] 969*2^1444329-1 is not prime. Res64: 8C2683AC72667534 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:50] 633*2^1444330-1 is not prime. Res64: 166D87BE453B32D3 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:50] 653*2^1444330-1 is not prime. Res64: 6C058F23C41836AC Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:55] 657*2^1444330-1 is not prime. Res64: B2C8E21276C1E08D Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:55] 665*2^1444330-1 is not prime. Res64: 124CC03CDF31592D Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:55] 791*2^1444330-1 is not prime. Res64: 0B1C52E2236B3815 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:55] 825*2^1444330-1 is not prime. Res64: 75BB2811D24DED56 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:37:56] 833*2^1444330-1 is not prime. Res64: 9DBB9EA5DBA072F6 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:57:36] 857*2^1444330-1 is not prime. Res64: B952AEE8BD8B0AB5 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:57:36] 887*2^1444330-1 is not prime. Res64: 5E30521B30097318 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:57:36] 911*2^1444330-1 is not prime. Res64: 0CD803B6A3F4C8F5 Time : 0.0 sec. user=mdettweiler [2016-10-29 15:57:37] 941*2^1444330-1 is not prime. Res64: 6CF1D055EB680FEB Time : 0.0 sec. user=mdettweiler [2016-10-29 15:57:37] 615*2^1444331-1 is not prime. Res64: F272CEE5B741C55C Time : 0.0 sec. user=mdettweiler [2016-10-29 16:06:43] 669*2^1444331-1 is not prime. Res64: 4EE1DE79704CFB9E Time : 0.0 sec. user=mdettweiler [2016-10-29 16:06:45] 673*2^1444331-1 is not prime. Res64: C98C4A7A79D7DD7F Time : 0.0 sec. user=mdettweiler [2016-10-29 16:06:47] 759*2^1444331-1 is not prime. Res64: 1EAB420E1C4EC7CD Time : 0.0 sec. user=mdettweiler [2016-10-29 16:06:48] 939*2^1444331-1 is not prime. Res64: B90B56C4166DFB6C Time : 0.0 sec. user=mdettweiler [2016-10-29 16:06:49] 955*2^1444331-1 is not prime. Res64: 21257951B1520D8B Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:46] 969*2^1444331-1 is not prime. Res64: 8951F094F5B2DEAB Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:46] 837*2^1444332-1 is not prime. Res64: 8832E256AB1C63FA Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:46] 857*2^1444332-1 is not prime. Res64: 225E90A7FCB3598B Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:47] 933*2^1444332-1 is not prime. Res64: 144CC036FE5581F7 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:47] 615*2^1444333-1 is not prime. Res64: 2CDBAEB902DB0608 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:51] 639*2^1444333-1 is not prime. Res64: FF115CFFA029A5EC Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:51] 651*2^1444333-1 is not prime. Res64: 4A8E48846F1480AF Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:52] 721*2^1444333-1 is not prime. Res64: 4143C408DD6BB1D5 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:52] 747*2^1444333-1 is not prime. Res64: 31B124A9A9F1A899 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:22:52] 805*2^1444333-1 is not prime. Res64: 0A2F392A544510B2 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:42:33] 861*2^1444333-1 is not prime. Res64: 1D41668FF752A67C Time : 0.0 sec. user=mdettweiler [2016-10-29 16:42:33] 885*2^1444333-1 is not prime. Res64: D1FE5BDBAD97AAB0 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:42:34] 927*2^1444333-1 is not prime. Res64: 943D46A2A04D6EDD Time : 0.0 sec. user=mdettweiler [2016-10-29 16:42:34] 937*2^1444333-1 is not prime. Res64: D39A09E596CCE1A1 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:42:34] 939*2^1444333-1 is not prime. Res64: 4939980C2E433B7E Time : 0.0 sec. user=mdettweiler [2016-10-29 16:51:48] 955*2^1444333-1 is not prime. Res64: D66CBFA925FD5F1F Time : 0.0 sec. user=mdettweiler [2016-10-29 16:51:48] 623*2^1444334-1 is not prime. Res64: 189093A7E1BE587C Time : 0.0 sec. user=mdettweiler [2016-10-29 16:51:48] 663*2^1444334-1 is not prime. Res64: 9FBC3E79D7B6678A Time : 0.0 sec. user=mdettweiler [2016-10-29 16:51:49] 753*2^1444334-1 is not prime. Res64: 169C10A938A045D2 Time : 0.0 sec. user=mdettweiler [2016-10-29 16:51:49] 897*2^1444334-1 is not prime. Res64: F79942C8ADF572A7 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:41] 875*2^1444336-1 is not prime. Res64: C5FF1AEB2646DAC1 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:41] 971*2^1444334-1 is not prime. Res64: 476D14AE5D2FE88A Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:44] 933*2^1444336-1 is not prime. Res64: 94F957185F5BF69C Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:45] 619*2^1444335-1 is not prime. Res64: 0DB330FF277E6B26 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:46] 989*2^1444336-1 is not prime. Res64: B362900355507602 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:47] 861*2^1444335-1 is not prime. Res64: DD0EA20CA1FAE077 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:48] 601*2^1444337-1 is not prime. Res64: 0ECB5C721AC076A1 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:50] 969*2^1444335-1 is not prime. Res64: 0803E011A2084437 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:07:51] 715*2^1444337-1 is not prime. Res64: 4D6FFC6C140F88A1 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:08:00] 825*2^1444336-1 is not prime. Res64: 49363699C354E5EA Time : 0.0 sec. user=mdettweiler [2016-10-29 17:27:26] 717*2^1444337-1 is not prime. Res64: E020A89369B1445F Time : 0.0 sec. user=mdettweiler [2016-10-29 17:27:26] 777*2^1444337-1 is not prime. Res64: C8A8B0A1A184F81B Time : 0.0 sec. user=mdettweiler [2016-10-29 17:27:27] 931*2^1444337-1 is not prime. Res64: AA96DA0B38303B87 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:27:27] 949*2^1444337-1 is not prime. Res64: F797CAAB19DA9FA4 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:27:27] 611*2^1444338-1 is not prime. Res64: 56F20E5DDDE70455 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:36:42] 735*2^1444338-1 is not prime. Res64: 52E7DFB7A7348EA9 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:36:42] 773*2^1444338-1 is not prime. Res64: DD34E28653C1239D Time : 0.0 sec. user=mdettweiler [2016-10-29 17:36:42] 891*2^1444338-1 is not prime. Res64: 3248A7628EA0B7C2 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:36:43] 921*2^1444338-1 is not prime. Res64: A7FFB98C4CCAEB2B Time : 0.0 sec. user=mdettweiler [2016-10-29 17:36:43] 619*2^1444339-1 is not prime. Res64: 62A20B83EEF330FA Time : 0.0 sec. user=mdettweiler [2016-10-29 17:52:57] 625*2^1444339-1 is not prime. Res64: BFCC0F4002DCD1E4 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:52:57] 691*2^1444339-1 is not prime. Res64: 6BFC0F3BED5FDC1D Time : 0.0 sec. user=mdettweiler [2016-10-29 17:52:57] 705*2^1444339-1 is not prime. Res64: 3D375F297A06B7B3 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:52:57] 771*2^1444339-1 is not prime. Res64: 518139578AF7642E Time : 0.0 sec. user=mdettweiler [2016-10-29 17:52:57] 775*2^1444339-1 is not prime. Res64: A31FD51B11D11703 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:53:09] 801*2^1444339-1 is not prime. Res64: 00959616BA8443B1 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:53:10] 859*2^1444339-1 is not prime. Res64: 866D069B75F7BCFE Time : 0.0 sec. user=mdettweiler [2016-10-29 17:53:10] 885*2^1444339-1 is not prime. Res64: 561138A42A2BF8C9 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:53:10] 895*2^1444339-1 is not prime. Res64: B4940C888377D5B0 Time : 0.0 sec. user=mdettweiler [2016-10-29 17:53:10] 909*2^1444339-1 is not prime. Res64: 29B8B828586E7B7D Time : 0.0 sec. user=mdettweiler [2016-10-29 18:12:17] 961*2^1444339-1 is not prime. Res64: 6F2975A464B3A4A3 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:12:18] 985*2^1444339-1 is not prime. Res64: CDCD67BBE6D23F7D Time : 0.0 sec. user=mdettweiler [2016-10-29 18:12:18] 633*2^1444340-1 is not prime. Res64: 80955983E4F6BCCF Time : 0.0 sec. user=mdettweiler [2016-10-29 18:12:18] 665*2^1444340-1 is not prime. Res64: 491198F5DE636472 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:12:18] 725*2^1444340-1 is not prime. Res64: 868BEA6EECFA09E5 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:21:32] 893*2^1444340-1 is not prime. Res64: D4625C5E034F6142 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:21:32] 621*2^1444341-1 is not prime. Res64: AFBE1AF5B72077F9 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:21:32] 669*2^1444341-1 is not prime. Res64: 2260DA67E1FF5823 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:21:32] 679*2^1444341-1 is not prime. Res64: 562DF2FF858953F1 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:21:33] 825*2^1444341-1 is not prime. Res64: 5053B48EE109E63D Time : 0.0 sec. user=mdettweiler [2016-10-29 18:37:43] 849*2^1444341-1 is not prime. Res64: F26F98FB747D36FA Time : 0.0 sec. user=mdettweiler [2016-10-29 18:37:43] 873*2^1444342-1 is not prime. Res64: E918A4B16DF45ECC Time : 0.0 sec. user=mdettweiler [2016-10-29 18:37:43] 675*2^1444343-1 is not prime. Res64: 20B4E031FC5148F6 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:37:44] 705*2^1444343-1 is not prime. Res64: 5CD8DCAA5BA3C558 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:37:44] 735*2^1444343-1 is not prime. Res64: D9E16C7A84175F84 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:38:00] 921*2^1444343-1 is not prime. Res64: 96C9EE2C228010A9 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:38:00] 993*2^1444343-1 is not prime. Res64: 6ADF5B9F43EA2043 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:38:00] 725*2^1444344-1 is not prime. Res64: 4B541437F8DBCF6A Time : 0.0 sec. user=mdettweiler [2016-10-29 18:38:00] 843*2^1444344-1 is not prime. Res64: 3BC505981A70BC24 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:38:01] 729*2^1444345-1 is not prime. Res64: F728AC7B84D8CF3E Time : 0.0 sec. user=mdettweiler [2016-10-29 18:57:59] 789*2^1444345-1 is not prime. Res64: A0CD7F295AA9F61E Time : 0.0 sec. user=mdettweiler [2016-10-29 18:57:59] 811*2^1444345-1 is not prime. Res64: E3B87F3A9A36D3AE Time : 0.0 sec. user=mdettweiler [2016-10-29 18:58:00] 925*2^1444345-1 is not prime. Res64: 0FD6D44D53346489 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:58:00] 997*2^1444345-1 is not prime. Res64: 85E48F0BDC70FAA1 Time : 0.0 sec. user=mdettweiler [2016-10-29 18:58:00] 657*2^1444346-1 is not prime. Res64: FE22B0318163E906 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:07:26] 707*2^1444346-1 is not prime. Res64: 559186DDCA45C15D Time : 0.0 sec. user=mdettweiler [2016-10-29 19:07:28] 831*2^1444346-1 is not prime. Res64: 65FC334DE7D4D699 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:07:31] 625*2^1444347-1 is not prime. Res64: F513C8E3B2125C0C Time : 0.0 sec. user=mdettweiler [2016-10-29 19:07:32] 651*2^1444347-1 is not prime. Res64: 3A5B7A22F3485AF5 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:07:34] 793*2^1444347-1 is not prime. Res64: 7AF6DD4D1F60331C Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:20] 801*2^1444347-1 is not prime. Res64: C0E648415E7A4547 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:20] 985*2^1444347-1 is not prime. Res64: ADB4EE1D85A60E88 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:21] 991*2^1444347-1 is not prime. Res64: 8B7FAE0540E45684 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:21] 677*2^1444348-1 is not prime. Res64: BD517F82C83DCCE1 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:21] 689*2^1444348-1 is not prime. Res64: D92FDD1D8A26FA37 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:51] 735*2^1444348-1 is not prime. Res64: 33C9FFC76A58A9E7 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:51] 783*2^1444348-1 is not prime. Res64: 031320EAD60E6E23 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:51] 855*2^1444348-1 is not prime. Res64: C9E9886E503FD8CF Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:51] 923*2^1444348-1 is not prime. Res64: 0AF3E09E7F9C4821 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:25:51] 975*2^1444348-1 is not prime. Res64: 9BF9AE92A1A8D12D Time : 0.0 sec. user=mdettweiler [2016-10-29 19:45:10] 987*2^1444348-1 is not prime. Res64: 2B289A91B33096C7 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:45:10] 631*2^1444349-1 is not prime. Res64: 78C831B314EF7B93 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:45:11] 657*2^1444349-1 is not prime. Res64: 750BF6BA908FFD86 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:45:11] 711*2^1444349-1 is not prime. Res64: 25014072C73C7C41 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:45:11] 735*2^1444349-1 is not prime. Res64: 3F4D0BCA98459E17 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:55:04] 787*2^1444349-1 is not prime. Res64: 6009F12C2321F48B Time : 0.0 sec. user=mdettweiler [2016-10-29 19:55:05] 795*2^1444349-1 is not prime. Res64: C084EE4E054F5E59 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:55:05] 855*2^1444349-1 is not prime. Res64: 9731C69C3AEA5207 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:55:05] 949*2^1444349-1 is not prime. Res64: 5E16A282DE8C0519 Time : 0.0 sec. user=mdettweiler [2016-10-29 19:55:05] 967*2^1444349-1 is not prime. Res64: 18DFFF207A034DC7 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:19] 985*2^1444349-1 is not prime. Res64: A38D62AF59C88EFD Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:19] 611*2^1444350-1 is not prime. Res64: 8F5EB697DE581C54 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:19] 635*2^1444350-1 is not prime. Res64: 809003942D6F2613 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:20] 657*2^1444350-1 is not prime. Res64: 9D4D6E4790F458FF Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:20] 665*2^1444350-1 is not prime. Res64: 5BBFA4AAB78CEEAD Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:38] 723*2^1444350-1 is not prime. Res64: FB3748160F2BE2CF Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:38] 761*2^1444350-1 is not prime. Res64: 4BC75F7834B85D8C Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:38] 783*2^1444350-1 is not prime. Res64: 55314AEB3BFB0E79 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:38] 645*2^1444351-1 is not prime. Res64: 07792150576190E9 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:11:39] 703*2^1444351-1 is not prime. Res64: F784A692C86E6C93 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:31:43] 769*2^1444351-1 is not prime. Res64: EE945F4D70A216FA Time : 0.0 sec. user=mdettweiler [2016-10-29 20:31:43] 943*2^1444351-1 is not prime. Res64: 343E28D3BCF5999B Time : 0.0 sec. user=mdettweiler [2016-10-29 20:31:44] 693*2^1444352-1 is not prime. Res64: 09E833A743CBD1DD Time : 0.0 sec. user=mdettweiler [2016-10-29 20:31:44] 713*2^1444352-1 is not prime. Res64: 10377102162D65A5 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:31:44] 777*2^1444352-1 is not prime. Res64: 58EE575B1A82D0AD Time : 0.0 sec. user=mdettweiler [2016-10-29 20:40:48] 825*2^1444352-1 is not prime. Res64: 9F0EFB76A85FBF00 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:40:48] 917*2^1444352-1 is not prime. Res64: AAE5997B9111BAE4 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:40:48] 983*2^1444352-1 is not prime. Res64: 7D974FCD8A05F085 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:40:48] 615*2^1444353-1 is not prime. Res64: 6CD00D09990E5069 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:40:49] 649*2^1444353-1 is not prime. Res64: A3E3587769BEABA3 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:41] 969*2^1444353-1 is not prime. Res64: 9BA0634BDEDD2691 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:41] 985*2^1444353-1 is not prime. Res64: C3D786D5D7C68295 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:41] 605*2^1444354-1 is not prime. Res64: FEFC57AA3DEF3B7C Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:41] 611*2^1444354-1 is not prime. Res64: 3A9492FCF33CD98B Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:42] 617*2^1444354-1 is not prime. Res64: 375F7852F3E04218 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:43] 657*2^1444353-1 is not prime. Res64: 8DB1977AA4DFC48E Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:43] 721*2^1444353-1 is not prime. Res64: BE91E3E38318D4C6 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:43] 745*2^1444353-1 is not prime. Res64: 31B275DB3ECCCE65 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:43] 789*2^1444353-1 is not prime. Res64: 259CE55E9E528708 Time : 0.0 sec. user=mdettweiler [2016-10-29 20:57:43] 847*2^1444353-1 is not prime. Res64: 89904963462D820C Time : 0.0 sec. user=mdettweiler [2016-10-29 21:17:12] 621*2^1444354-1 is not prime. Res64: 55017F1A6B811041 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:17:12] 635*2^1444354-1 is not prime. Res64: 86A8A7593E122C9D Time : 0.0 sec. user=mdettweiler [2016-10-29 21:17:12] 671*2^1444354-1 is not prime. Res64: 69182605E1F3A696 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:17:13] 887*2^1444354-1 is not prime. Res64: A45C879E478210DE Time : 0.0 sec. user=mdettweiler [2016-10-29 21:17:13] 951*2^1444354-1 is not prime. Res64: BA46CFACE72BEB03 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:26:43] 903*2^1444355-1 is not prime. Res64: 25606B9C4DDD7A06 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:26:43] 627*2^1444356-1 is not prime. Res64: 6DC46B051D609E91 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:26:43] 657*2^1444356-1 is not prime. Res64: F71D1BC96DB00A15 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:26:44] 669*2^1444356-1 is not prime. Res64: 72257EAA2875513F Time : 0.0 sec. user=mdettweiler [2016-10-29 21:26:44] 737*2^1444356-1 is not prime. Res64: F61214F33301BC38 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:14] 987*2^1444356-1 is not prime. Res64: EE1A57407AAB4A28 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:14] 607*2^1444357-1 is not prime. Res64: 3C817AF3F83F124E Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:15] 699*2^1444357-1 is not prime. Res64: 8D5D0E490C511581 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:15] 819*2^1444357-1 is not prime. Res64: 4FFF9D5AD7578469 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:15] 867*2^1444357-1 is not prime. Res64: 30FD9EF0D24D20AD Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:22] 779*2^1444356-1 is not prime. Res64: A041CC5E9988D54C Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:22] 887*2^1444356-1 is not prime. Res64: 4C2EC16608D28DB2 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:23] 945*2^1444356-1 is not prime. Res64: 7E29C2F939855F81 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:23] 957*2^1444356-1 is not prime. Res64: 3AF90CB2100D2234 Time : 0.0 sec. user=mdettweiler [2016-10-29 21:43:23] 969*2^1444356-1 is not prime. Res64: 06E7978A29C70BB9 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:02:45] 889*2^1444357-1 is not prime. Res64: E4D4859FE6EA6040 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:02:46] 901*2^1444357-1 is not prime. Res64: 174F4BCEA28E6C2F Time : 0.0 sec. user=mdettweiler [2016-10-29 22:02:47] 931*2^1444357-1 is not prime. Res64: C2CA6AB6426F8D3D Time : 0.0 sec. user=mdettweiler [2016-10-29 22:02:49] 753*2^1444358-1 is not prime. Res64: E1514EE04CD37DBA Time : 0.0 sec. user=mdettweiler [2016-10-29 22:02:50] 897*2^1444358-1 is not prime. Res64: 794EE7489EB28975 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:12:13] 911*2^1444358-1 is not prime. Res64: 253768FC5ACF1165 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:12:14] 625*2^1444359-1 is not prime. Res64: 8EAAC5CB81D64A76 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:12:15] 685*2^1444359-1 is not prime. Res64: A7EB56FAF7F80C69 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:12:15] 691*2^1444359-1 is not prime. Res64: 6B5905DD7DDB8817 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:12:16] 723*2^1444359-1 is not prime. Res64: 024D5E9E8258BD14 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:27] 891*2^1444359-1 is not prime. Res64: 213C1810259AB62C Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:27] 975*2^1444359-1 is not prime. Res64: 12C0746DE73360C3 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:28] 629*2^1444360-1 is not prime. Res64: E91D016345A5CDF6 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:28] 665*2^1444360-1 is not prime. Res64: FE3448048CF53025 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:28] 765*2^1444360-1 is not prime. Res64: FAA9F32553AAA88E Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:33] 983*2^1444360-1 is not prime. Res64: E53F007B2C118130 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:33] 601*2^1444361-1 is not prime. Res64: 76A4F3B132A69E9E Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:34] 627*2^1444361-1 is not prime. Res64: 54850B07F45E8394 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:34] 711*2^1444361-1 is not prime. Res64: F32F223F00B0D05B Time : 0.0 sec. user=mdettweiler [2016-10-29 22:28:34] 735*2^1444361-1 is not prime. Res64: 5EA0754D45B267BA Time : 0.0 sec. user=mdettweiler [2016-10-29 22:49:23] 747*2^1444361-1 is not prime. Res64: 7352CEA46BE0A684 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:49:23] 811*2^1444361-1 is not prime. Res64: CF45904BC3EB896B Time : 0.0 sec. user=mdettweiler [2016-10-29 22:49:24] 937*2^1444361-1 is not prime. Res64: 75FBBE9B6AEB93BD Time : 0.0 sec. user=mdettweiler [2016-10-29 22:49:24] 955*2^1444361-1 is not prime. Res64: 931F188F3CC69A22 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:49:24] 981*2^1444361-1 is not prime. Res64: 58152E958C2753EF Time : 0.0 sec. user=mdettweiler [2016-10-29 22:58:53] 755*2^1444362-1 is not prime. Res64: 9643D71ECF25A283 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:58:53] 893*2^1444362-1 is not prime. Res64: 2C702ECB44841396 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:58:53] 951*2^1444362-1 is not prime. Res64: A26A16102618C4CD Time : 0.0 sec. user=mdettweiler [2016-10-29 22:58:54] 963*2^1444362-1 is not prime. Res64: CA740C4E79AFA681 Time : 0.0 sec. user=mdettweiler [2016-10-29 22:58:54] 609*2^1444363-1 is not prime. Res64: 3818FFE2FA55F43E Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:07] 943*2^1444363-1 is not prime. Res64: 2CCC300AB1EFE127 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:07] 753*2^1444364-1 is not prime. Res64: B577361CCE6F8034 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:07] 755*2^1444364-1 is not prime. Res64: 553B145D8CF5E3F8 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:07] 825*2^1444364-1 is not prime. Res64: 4B0B792CE6B8AAF1 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:08] 897*2^1444364-1 is not prime. Res64: 42854FC9011052A5 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:09] 615*2^1444363-1 is not prime. Res64: 5C9C1D0D170E34D9 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:09] 621*2^1444363-1 is not prime. Res64: CEC962028C7A456D Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:09] 663*2^1444363-1 is not prime. Res64: 8EFC2B24BDA9937F Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:09] 723*2^1444363-1 is not prime. Res64: CDEB52FA86972BAD Time : 0.0 sec. user=mdettweiler [2016-10-29 23:16:10] 829*2^1444363-1 is not prime. Res64: FB0C2F98E75244A6 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:37:09] 909*2^1444364-1 is not prime. Res64: 790D7BA911E3D4C9 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:37:09] 601*2^1444365-1 is not prime. Res64: 43FDF285576C6348 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:37:09] 609*2^1444365-1 is not prime. Res64: BB087B588B17D4CB Time : 0.0 sec. user=mdettweiler [2016-10-29 23:37:09] 649*2^1444365-1 is not prime. Res64: EC4DE4373D971A96 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:37:10] 679*2^1444365-1 is not prime. Res64: 1A10EB983F1B0EA0 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:46:52] 699*2^1444365-1 is not prime. Res64: 7DEF6305ABFE84D3 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:46:52] 717*2^1444365-1 is not prime. Res64: C52C345922E3C84F Time : 0.0 sec. user=mdettweiler [2016-10-29 23:46:52] 927*2^1444365-1 is not prime. Res64: C55A00895100E296 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:46:53] 647*2^1444366-1 is not prime. Res64: 4800BF643F6FB017 Time : 0.0 sec. user=mdettweiler [2016-10-29 23:46:53] 887*2^1444366-1 is not prime. Res64: EBE1973CCBB062FC Time : 0.0 sec.