user=mdettweiler [2015-05-02 00:17:31] 999*2^1398171-1 is not prime. Res64: DC457F2BD5981C08 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:17:31] 603*2^1398172-1 is not prime. Res64: CCD5A3C7A3827BE9 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:18:00] 615*2^1398172-1 is not prime. Res64: 2EF9BF24E1660D2D Time : 0.0 sec. user=mdettweiler [2015-05-02 00:18:01] 639*2^1398172-1 is not prime. Res64: 6E9E41748CDC7975 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:18:05] 693*2^1398172-1 is not prime. Res64: 4736560412BFF77F Time : 0.0 sec. user=mdettweiler [2015-05-02 00:18:06] 777*2^1398172-1 is not prime. Res64: 185B4CEB96E33D6E Time : 0.0 sec. user=mdettweiler [2015-05-02 00:18:15] 855*2^1398172-1 is not prime. Res64: 9EF3B30CEDE35C42 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:18:15] 863*2^1398172-1 is not prime. Res64: 814408E1CDB042E8 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:34:59] 607*2^1398173-1 is not prime. Res64: C17AA8D92C0B71DE Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:00] 615*2^1398173-1 is not prime. Res64: D569E487CDCFB53C Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:22] 619*2^1398173-1 is not prime. Res64: FBB2B332E0977E4E Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:23] 685*2^1398173-1 is not prime. Res64: 49192A5A274DD2EB Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:29] 757*2^1398173-1 is not prime. Res64: 8BB4BFCC7FAC6777 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:29] 925*2^1398173-1 is not prime. Res64: 166EA27EB6834A45 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:44] 979*2^1398173-1 is not prime. Res64: 8233B8749773F0DC Time : 0.0 sec. user=mdettweiler [2015-05-02 00:35:44] 627*2^1398174-1 is not prime. Res64: E2F3044BAA6868F2 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:52:21] 635*2^1398174-1 is not prime. Res64: 6DE74A7992864D00 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:52:22] 663*2^1398174-1 is not prime. Res64: F3EAA47CE1A61EBF Time : 0.0 sec. user=mdettweiler [2015-05-02 00:52:46] 765*2^1398174-1 is not prime. Res64: 9EE2AA4801E0FAAA Time : 0.0 sec. user=mdettweiler [2015-05-02 00:52:46] 851*2^1398174-1 is not prime. Res64: 36122A84C61BE99B Time : 0.0 sec. user=mdettweiler [2015-05-02 00:52:55] 875*2^1398174-1 is not prime. Res64: 2A2C593E5E346D6B Time : 0.0 sec. user=mdettweiler [2015-05-02 00:52:55] 941*2^1398174-1 is not prime. Res64: A3D2A5BD18E1C059 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:53:19] 651*2^1398175-1 is not prime. Res64: 3094B1C18B8F1191 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:53:20] 715*2^1398175-1 is not prime. Res64: 863A5653CCA15C83 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:09:46] 735*2^1398175-1 is not prime. Res64: 05D07D2333A35B42 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:09:47] 819*2^1398175-1 is not prime. Res64: E113341E79914E01 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:10:19] 939*2^1398175-1 is not prime. Res64: B79D9B35E6F81357 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:10:19] 675*2^1398176-1 is not prime. Res64: 2ABF7B8D962C8C17 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:10:20] 755*2^1398176-1 is not prime. Res64: 9F0E0C17418E16E0 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:10:20] 855*2^1398176-1 is not prime. Res64: 790B2D4A39EF1A63 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:10:47] 935*2^1398176-1 is not prime. Res64: 9909931F7B523E6C Time : 0.0 sec. user=mdettweiler [2015-05-02 01:10:47] 625*2^1398177-1 is not prime. Res64: 01981CD7FF013200 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:27:11] 681*2^1398177-1 is not prime. Res64: 556CF802FDD52573 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:27:12] 741*2^1398177-1 is not prime. Res64: EFA4DAB4F3888698 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:27:49] 901*2^1398177-1 is not prime. Res64: C846F897698C426B Time : 0.0 sec. user=mdettweiler [2015-05-02 01:27:50] 819*2^1398177-1 is not prime. Res64: BD3C422BB6E532ED Time : 0.0 sec. user=mdettweiler [2015-05-02 01:27:50] 677*2^1398178-1 is not prime. Res64: E40AB7255DA7BB82 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:27:51] 885*2^1398177-1 is not prime. Res64: A271480BE6BDFE27 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:28:16] 815*2^1398178-1 is not prime. Res64: F279C5039E11EE69 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:28:17] 825*2^1398178-1 is not prime. Res64: B8257D19625A2BAC Time : 0.0 sec. user=mdettweiler [2015-05-02 01:44:54] 923*2^1398178-1 is not prime. Res64: 50F0270CC903747E Time : 0.0 sec. user=mdettweiler [2015-05-02 01:44:54] 951*2^1398178-1 is not prime. Res64: E6BC2CB5661826FF Time : 0.0 sec. user=mdettweiler [2015-05-02 01:45:18] 735*2^1398179-1 is not prime. Res64: EB5C5311806B9755 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:45:18] 771*2^1398179-1 is not prime. Res64: 3B373FB0A6A7EC74 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:45:22] 987*2^1398178-1 is not prime. Res64: 574BBB2662C81BA8 Time : 0.0 sec. user=mdettweiler [2015-05-02 01:45:22] 645*2^1398179-1 is not prime. Res64: 59D0B3047160B9AC Time : 0.0 sec. user=mdettweiler [2015-05-02 01:45:43] 823*2^1398179-1 is not prime. Res64: 9A6E235CD7C63E6B Time : 0.0 sec. user=mdettweiler [2015-05-02 01:45:44] 829*2^1398179-1 is not prime. Res64: 80921D8A7AA21C0B Time : 0.0 sec. user=mdettweiler [2015-05-02 02:02:17] 633*2^1398180-1 is not prime. Res64: 6B8B8B917D8A726A Time : 0.0 sec. user=mdettweiler [2015-05-02 02:02:18] 669*2^1398180-1 is not prime. Res64: 56B2D6C857E4E30E Time : 0.0 sec. user=mdettweiler [2015-05-02 02:02:42] 717*2^1398180-1 is not prime. Res64: 0D32104447CAC5A4 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:02:43] 873*2^1398180-1 is not prime. Res64: F9D11004D3631B6C Time : 0.0 sec. user=mdettweiler [2015-05-02 02:02:44] 899*2^1398180-1 is not prime. Res64: 1B22A8A2F6C38937 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:02:45] 959*2^1398180-1 is not prime. Res64: 77A1DCF57C743DBD Time : 0.0 sec. user=mdettweiler [2015-05-02 02:03:14] 975*2^1398180-1 is not prime. Res64: A4F0BF848BB356F9 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:03:15] 983*2^1398180-1 is not prime. Res64: ADBD2FA7E6F0017F Time : 0.0 sec. user=mdettweiler [2015-05-02 02:20:31] 753*2^1398182-1 is not prime. Res64: 94ACD2C00B0A32C5 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:20:32] 911*2^1398182-1 is not prime. Res64: A901D17CE6F0CCAE Time : 0.0 sec. user=mdettweiler [2015-05-02 02:20:34] 615*2^1398181-1 is not prime. Res64: 2D6084005CB1FC03 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:20:35] 855*2^1398181-1 is not prime. Res64: F01E08B64A30073C Time : 0.0 sec. user=mdettweiler [2015-05-02 02:20:39] 999*2^1398181-1 is not prime. Res64: 5778A18A91C2C6E2 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:20:40] 677*2^1398182-1 is not prime. Res64: 5907D87F64922975 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:21:11] 613*2^1398183-1 is not prime. Res64: CECEE3EF7F55BB59 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:21:11] 615*2^1398183-1 is not prime. Res64: 6D05AABA096C209D Time : 0.0 sec. user=mdettweiler [2015-05-02 02:38:22] 675*2^1398184-1 is not prime. Res64: A523CC009EB36C15 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:38:22] 765*2^1398184-1 is not prime. Res64: C0BD4A69C3A739CF Time : 0.0 sec. user=mdettweiler [2015-05-02 02:38:22] 619*2^1398183-1 is not prime. Res64: D9E5C0AA2F4CBE14 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:38:23] 819*2^1398183-1 is not prime. Res64: D9F022DC9CD016BE Time : 0.0 sec. user=mdettweiler [2015-05-02 02:38:24] 853*2^1398183-1 is not prime. Res64: 09A943EAABFA30A0 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:38:25] 609*2^1398184-1 is not prime. Res64: 6C9643D894326BEC Time : 0.0 sec. user=mdettweiler [2015-05-02 02:39:10] 825*2^1398184-1 is not prime. Res64: 70DDA2D31CDA8512 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:39:10] 857*2^1398184-1 is not prime. Res64: F74DAAD86AC051C7 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:55:48] 909*2^1398184-1 is not prime. Res64: 90C0D241C7603B66 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:55:48] 917*2^1398184-1 is not prime. Res64: 25FA94F5E7B1AB3F Time : 0.0 sec. user=mdettweiler [2015-05-02 02:55:49] 607*2^1398185-1 is not prime. Res64: 46D47C2338B6397B Time : 0.0 sec. user=mdettweiler [2015-05-02 02:55:49] 649*2^1398185-1 is not prime. Res64: 4FC0812DED14B5C3 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:55:50] 903*2^1398184-1 is not prime. Res64: D507CA03A83F2EA8 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:55:50] 905*2^1398184-1 is not prime. Res64: 473BFCD93AB0F869 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:56:33] 865*2^1398185-1 is not prime. Res64: 8CF29E19BC3E9A66 Time : 0.0 sec. user=mdettweiler [2015-05-02 02:56:33] 897*2^1398185-1 is not prime. Res64: 4ACEA9726B7DD9AD Time : 0.0 sec. user=mdettweiler [2015-05-02 03:13:20] 633*2^1398187-1 is not prime. Res64: C763C38FE6D005B9 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:13:21] 703*2^1398187-1 is not prime. Res64: AEB1641AF7F13452 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:13:25] 975*2^1398186-1 is not prime. Res64: 8EB941574840485F Time : 0.0 sec. user=mdettweiler [2015-05-02 03:13:25] 609*2^1398187-1 is not prime. Res64: BD866D604552EBA6 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:13:30] 843*2^1398186-1 is not prime. Res64: 199B7B1595EB8199 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:13:30] 851*2^1398186-1 is not prime. Res64: FC79EC8DA15082FB Time : 0.0 sec. user=mdettweiler [2015-05-02 03:14:07] 835*2^1398187-1 is not prime. Res64: 5E73E84872657C29 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:14:08] 861*2^1398187-1 is not prime. Res64: 872B116E1FB2954C Time : 0.0 sec. user=mdettweiler [2015-05-02 03:30:53] 975*2^1398187-1 is not prime. Res64: 1856A6CC72C58281 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:30:53] 753*2^1398188-1 is not prime. Res64: 050F7F4B362E1718 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:30:54] 657*2^1398188-1 is not prime. Res64: 9E635A3861CD9194 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:30:55] 755*2^1398188-1 is not prime. Res64: 477513EA31AE1F66 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:31:01] 773*2^1398188-1 is not prime. Res64: B28697AC64E4EE4A Time : 0.0 sec. user=mdettweiler [2015-05-02 03:31:02] 929*2^1398188-1 is not prime. Res64: 6F539D2FDF8D2202 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:31:33] 935*2^1398188-1 is not prime. Res64: 72D3B8FD135EEE3D Time : 0.0 sec. user=mdettweiler [2015-05-02 03:31:34] 945*2^1398188-1 is not prime. Res64: EDAA603672C1CB6E Time : 0.0 sec. user=mdettweiler [2015-05-02 03:48:44] 969*2^1398188-1 is not prime. Res64: 5CCEDC7C24D140F4 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:48:44] 709*2^1398189-1 is not prime. Res64: AB349136069E192F Time : 0.0 sec. user=mdettweiler [2015-05-02 03:48:49] 995*2^1398188-1 is not prime. Res64: 652D65B4EEFC7225 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:48:50] 711*2^1398189-1 is not prime. Res64: 436CC4C09E585BEB Time : 0.0 sec. user=mdettweiler [2015-05-02 03:48:56] 795*2^1398189-1 is not prime. Res64: EF7BB13BB5B37EF4 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:48:57] 835*2^1398189-1 is not prime. Res64: EC3D3D6F2092659A Time : 0.0 sec. user=mdettweiler [2015-05-02 03:49:18] 861*2^1398189-1 is not prime. Res64: 9D0F355312A29CB2 Time : 0.0 sec. user=mdettweiler [2015-05-02 03:49:18] 865*2^1398189-1 is not prime. Res64: 8E1E095FEF1C777A Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:26] 951*2^1398189-1 is not prime. Res64: 8F0500A7E9FE224A Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:26] 681*2^1398190-1 is not prime. Res64: 854F205B999DDEFE Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:29] 665*2^1398190-1 is not prime. Res64: 335951E4E0E9E34A Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:30] 827*2^1398190-1 is not prime. Res64: FE818091608F227A Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:31] 761*2^1398190-1 is not prime. Res64: 6511F1DCC7F4E599 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:31] 821*2^1398190-1 is not prime. Res64: 05540DA8887978CF Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:48] 855*2^1398190-1 is not prime. Res64: 8319C3B51DFD758A Time : 0.0 sec. user=mdettweiler [2015-05-02 04:06:49] 987*2^1398190-1 is not prime. Res64: CBDB29EA96C20380 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:03] 855*2^1398191-1 is not prime. Res64: C5510159AEF395DA Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:03] 999*2^1398191-1 is not prime. Res64: 24D058EF6C0F3779 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:04] 669*2^1398192-1 is not prime. Res64: 4DAE3EE5568B186A Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:04] 683*2^1398192-1 is not prime. Res64: FC70ECC7792DFDEC Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:08] 711*2^1398191-1 is not prime. Res64: 2C2C43170FE1CDF1 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:08] 759*2^1398191-1 is not prime. Res64: 8E1297A4609BB316 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:18] 699*2^1398192-1 is not prime. Res64: 613F770A5A0D9A89 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:24:19] 765*2^1398192-1 is not prime. Res64: B6C7563A2247E66F Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:29] 609*2^1398193-1 is not prime. Res64: DF6B67E980150D7C Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:29] 727*2^1398193-1 is not prime. Res64: D1A07C9C76EC6D99 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:30] 767*2^1398192-1 is not prime. Res64: 55A8E1C0208D07D3 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:30] 975*2^1398192-1 is not prime. Res64: 61661001972B685C Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:31] 769*2^1398193-1 is not prime. Res64: 233E0609D7BBBC14 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:31] 805*2^1398193-1 is not prime. Res64: 8F12BDBE7AE510A3 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:42] 811*2^1398193-1 is not prime. Res64: F61E8FBBF87BAE09 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:41:42] 945*2^1398193-1 is not prime. Res64: 0BB874640288CD86 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:58:59] 873*2^1398194-1 is not prime. Res64: E5ED4413AB41E1A3 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:58:59] 875*2^1398194-1 is not prime. Res64: C3757027A2D50F24 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:58:59] 687*2^1398194-1 is not prime. Res64: 00A283FB21A61BA4 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:59:00] 731*2^1398194-1 is not prime. Res64: 480736EF1199FDEE Time : 0.0 sec. user=mdettweiler [2015-05-02 04:59:03] 945*2^1398194-1 is not prime. Res64: 8D4DA43358E37126 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:59:04] 971*2^1398194-1 is not prime. Res64: D5C67AB24D710FEB Time : 0.0 sec. user=mdettweiler [2015-05-02 04:59:12] 601*2^1398195-1 is not prime. Res64: BF7531732B874EC5 Time : 0.0 sec. user=mdettweiler [2015-05-02 04:59:12] 609*2^1398195-1 is not prime. Res64: AEFE81CC5A4AC91D Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:37] 669*2^1398195-1 is not prime. Res64: 5E4225D9671397E4 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:37] 709*2^1398195-1 is not prime. Res64: 70B1CAFEF6F5754E Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:38] 613*2^1398195-1 is not prime. Res64: 7F4B2A8BE1DC3D79 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:39] 651*2^1398195-1 is not prime. Res64: CEE8CA941865AF57 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:48] 805*2^1398195-1 is not prime. Res64: 819D5E4C38A27109 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:48] 819*2^1398195-1 is not prime. Res64: 2B52FBB4C05E93BE Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:49] 781*2^1398195-1 is not prime. Res64: 6A6FDEE9F5663D77 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:16:49] 801*2^1398195-1 is not prime. Res64: C7B15D6BEC7FDBF0 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:33:59] 909*2^1398195-1 is not prime. Res64: 6EDE1D56F20B3D01 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:00] 615*2^1398196-1 is not prime. Res64: CEF0B93800A77230 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:01] 689*2^1398196-1 is not prime. Res64: E8E9A7B2E97CCA86 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:02] 705*2^1398196-1 is not prime. Res64: 713913B2EEEAEC97 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:12] 735*2^1398196-1 is not prime. Res64: E7EDF219272B293C Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:13] 803*2^1398196-1 is not prime. Res64: FA11610675E22028 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:13] 873*2^1398196-1 is not prime. Res64: 9A859DB4706CDA0C Time : 0.0 sec. user=mdettweiler [2015-05-02 05:34:14] 903*2^1398196-1 is not prime. Res64: 1193929FF937CB5F Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:25] 867*2^1398197-1 is not prime. Res64: 5F74C25AD0A751A0 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:26] 927*2^1398197-1 is not prime. Res64: 5DE33BB1703815BE Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:28] 999*2^1398196-1 is not prime. Res64: B1D0F19360A4D5CA Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:28] 837*2^1398197-1 is not prime. Res64: ACAAB68B203F979A Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:36] 985*2^1398197-1 is not prime. Res64: F15078DF2B08C668 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:36] 671*2^1398198-1 is not prime. Res64: 2300F30BCBEC9475 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:41] 677*2^1398198-1 is not prime. Res64: 0F3AA751C3E24B58 Time : 0.0 sec. user=mdettweiler [2015-05-02 05:51:41] 755*2^1398198-1 is not prime. Res64: 8AE42F1808D2A59D Time : 0.0 sec. user=mdettweiler [2015-05-02 06:08:50] 791*2^1398198-1 is not prime. Res64: 4906006DA81C656C Time : 0.0 sec. user=mdettweiler [2015-05-02 06:08:51] 941*2^1398198-1 is not prime. Res64: 84896EEB1C01843C Time : 0.0 sec. user=mdettweiler [2015-05-02 06:08:51] 875*2^1398198-1 is not prime. Res64: A084F62B581405BE Time : 0.0 sec. user=mdettweiler [2015-05-02 06:08:51] 615*2^1398199-1 is not prime. Res64: 97A06C48784C3860 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:08:59] 679*2^1398199-1 is not prime. Res64: 23677C3933171E92 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:09:00] 723*2^1398199-1 is not prime. Res64: 4BAC4DE47D11032B Time : 0.0 sec. user=mdettweiler [2015-05-02 06:09:08] 763*2^1398199-1 is not prime. Res64: 80D323706B3BCB78 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:09:08] 843*2^1398199-1 is not prime. Res64: 1ECA274434383C99 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:16] 609*2^1398200-1 is not prime. Res64: BFE4735C12143B86 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:17] 665*2^1398200-1 is not prime. Res64: 49415FF696EFA36E Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:20] 931*2^1398199-1 is not prime. Res64: AF7EC62AB897E4C7 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:20] 939*2^1398199-1 is not prime. Res64: 5A333DE4EB79E481 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:24] 675*2^1398200-1 is not prime. Res64: 4CFEC1E5F102A74D Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:25] 767*2^1398200-1 is not prime. Res64: 6B4568329FC8B6FA Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:35] 879*2^1398200-1 is not prime. Res64: F919B95FCE4EF098 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:26:35] 615*2^1398201-1 is not prime. Res64: 5926312157C80941 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:43:41] 661*2^1398201-1 is not prime. Res64: F1216CD821AE490F Time : 0.0 sec. user=mdettweiler [2015-05-02 06:43:42] 909*2^1398201-1 is not prime. Res64: 637912C47F5CC623 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:43:45] 975*2^1398201-1 is not prime. Res64: D83E1FA7B4F0CD17 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:43:45] 987*2^1398201-1 is not prime. Res64: BE74F6EF3B6DC3C0 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:43:50] 997*2^1398201-1 is not prime. Res64: 21442CB5563E5361 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:43:51] 651*2^1398202-1 is not prime. Res64: 8B969BB968DB8DCE Time : 0.0 sec. user=mdettweiler [2015-05-02 06:44:00] 765*2^1398202-1 is not prime. Res64: 656FA53D65041266 Time : 0.0 sec. user=mdettweiler [2015-05-02 06:44:00] 873*2^1398202-1 is not prime. Res64: 33781F33BBEE30AC Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:08] 885*2^1398202-1 is not prime. Res64: 20328F1FCD98652E Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:08] 891*2^1398202-1 is not prime. Res64: 11907517196D72F0 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:11] 917*2^1398202-1 is not prime. Res64: 26BC5423AFB8845B Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:12] 957*2^1398202-1 is not prime. Res64: 620E3CAC74577467 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:23] 679*2^1398203-1 is not prime. Res64: 6791F390CA648EA6 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:24] 739*2^1398203-1 is not prime. Res64: D77A10E5C14D7A99 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:35] 859*2^1398203-1 is not prime. Res64: FB141E17E562D2A2 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:01:35] 915*2^1398203-1 is not prime. Res64: FDCFD12760B4429E Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:03] 943*2^1398203-1 is not prime. Res64: 60ACABAEC7ECBB7B Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:03] 985*2^1398203-1 is not prime. Res64: 430AD2048B046C41 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:07] 629*2^1398204-1 is not prime. Res64: D159615AE608D3F5 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:07] 795*2^1398204-1 is not prime. Res64: 16FF966556D0F42A Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:11] 963*2^1398203-1 is not prime. Res64: 6DAB674179660515 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:11] 981*2^1398203-1 is not prime. Res64: 7FBA01BC7D8AC6F3 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:12] 645*2^1398205-1 is not prime. Res64: 19CEC85D5B8C8840 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:19:12] 861*2^1398205-1 is not prime. Res64: 7D57F7C37704B1D6 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:24] 867*2^1398205-1 is not prime. Res64: 857518E9D352A1B6 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:24] 955*2^1398205-1 is not prime. Res64: D178CE238D2301D2 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:29] 713*2^1398206-1 is not prime. Res64: CA85AA342E07E86B Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:29] 873*2^1398206-1 is not prime. Res64: B7C24A848CABA7B9 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:50] 875*2^1398206-1 is not prime. Res64: 75BECE25EDB2FB46 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:50] 703*2^1398207-1 is not prime. Res64: 66905BD0AFEA72CB Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:50] 911*2^1398206-1 is not prime. Res64: E5A15B6C95F88597 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:36:50] 751*2^1398207-1 is not prime. Res64: 8E8F832CB48BF19F Time : 0.0 sec. user=mdettweiler [2015-05-02 07:53:47] 825*2^1398207-1 is not prime. Res64: 9B1974204EF465A4 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:53:47] 663*2^1398208-1 is not prime. Res64: E1BFF28C5C006EE0 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:53:50] 797*2^1398208-1 is not prime. Res64: 46E51F2B59C8272C Time : 0.0 sec. user=mdettweiler [2015-05-02 07:53:51] 741*2^1398209-1 is not prime. Res64: 78224CB131565F7B Time : 0.0 sec. user=mdettweiler [2015-05-02 07:54:14] 633*2^1398210-1 is not prime. Res64: 02432608501C1C19 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:54:14] 641*2^1398210-1 is not prime. Res64: EFBE879FEE4EAE73 Time : 0.0 sec. user=mdettweiler [2015-05-02 07:54:16] 997*2^1398209-1 is not prime. Res64: FC8FC870BDCDCA7D Time : 0.0 sec. user=mdettweiler [2015-05-02 07:54:17] 611*2^1398210-1 is not prime. Res64: 92082DEFEB485E0A Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:13] 651*2^1398210-1 is not prime. Res64: AAA0C6BC2368C9D6 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:13] 725*2^1398210-1 is not prime. Res64: 62202CAA15B3BC1F Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:17] 833*2^1398210-1 is not prime. Res64: E60946D329220D0F Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:18] 845*2^1398210-1 is not prime. Res64: E26F58A6D569211D Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:37] 867*2^1398210-1 is not prime. Res64: 59C21445C65FC186 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:38] 887*2^1398210-1 is not prime. Res64: 7E1EC543C0A3DBE3 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:44] 941*2^1398210-1 is not prime. Res64: BA5BA89368D1B2FD Time : 0.0 sec. user=mdettweiler [2015-05-02 08:11:44] 977*2^1398210-1 is not prime. Res64: 73B308A81485B76F Time : 0.0 sec. user=mdettweiler [2015-05-02 08:28:39] 603*2^1398211-1 is not prime. Res64: 0AFD8BF797010D78 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:28:40] 615*2^1398211-1 is not prime. Res64: 5950C21F30DEF6B3 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:28:44] 663*2^1398211-1 is not prime. Res64: 77A1FCBD30D0AF1F Time : 0.0 sec. user=mdettweiler [2015-05-02 08:28:44] 681*2^1398211-1 is not prime. Res64: 8553E60C09EAF65E Time : 0.0 sec. user=mdettweiler [2015-05-02 08:29:20] 691*2^1398211-1 is not prime. Res64: 4B7BD720B40AFC54 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:29:20] 751*2^1398211-1 is not prime. Res64: 735967465E4617A0 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:29:24] 769*2^1398211-1 is not prime. Res64: 0EFBEBCA3EF8FFD0 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:29:24] 635*2^1398212-1 is not prime. Res64: 832EB3BC567C4434 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:01] 699*2^1398212-1 is not prime. Res64: 583795DB55BCBA98 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:01] 749*2^1398212-1 is not prime. Res64: 059DA8BD0AB0A7AC Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:10] 797*2^1398212-1 is not prime. Res64: 547037EEE2119665 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:10] 879*2^1398212-1 is not prime. Res64: 9B7AD6600A23FA3B Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:47] 625*2^1398213-1 is not prime. Res64: 089B7E02D7195CA7 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:47] 669*2^1398213-1 is not prime. Res64: 4ECE73F1598D1D4A Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:48] 963*2^1398212-1 is not prime. Res64: F9FA470C819D2048 Time : 0.0 sec. user=mdettweiler [2015-05-02 08:46:49] 987*2^1398212-1 is not prime. Res64: 075879D2A7567D1E Time : 0.0 sec. user=mdettweiler [2015-05-02 09:03:25] 741*2^1398213-1 is not prime. Res64: 93CC0ADCCBF8AF67 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:03:26] 745*2^1398213-1 is not prime. Res64: 04E78EC6B2687A0C Time : 0.0 sec. user=mdettweiler [2015-05-02 09:03:40] 895*2^1398213-1 is not prime. Res64: AE9CE86AD7AB2057 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:03:42] 623*2^1398214-1 is not prime. Res64: 5AC72706E7DCD40C Time : 0.0 sec. user=mdettweiler [2015-05-02 09:04:16] 705*2^1398214-1 is not prime. Res64: 31562B1278E27474 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:04:17] 723*2^1398214-1 is not prime. Res64: 09937F14D03D9DE1 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:04:23] 903*2^1398214-1 is not prime. Res64: CC31FB44BBD2AFAB Time : 0.0 sec. user=mdettweiler [2015-05-02 09:04:26] 917*2^1398214-1 is not prime. Res64: ADE94256E9F9FD55 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:21:24] 923*2^1398214-1 is not prime. Res64: 19777FC236FCF225 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:21:24] 975*2^1398214-1 is not prime. Res64: 9C2E1ED567CCC696 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:21:27] 939*2^1398215-1 is not prime. Res64: 89B5189324948AB3 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:21:28] 991*2^1398215-1 is not prime. Res64: 55DB782462CD4627 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:22:00] 999*2^1398215-1 is not prime. Res64: 11AB1064EFE2AC8F Time : 0.0 sec. user=mdettweiler [2015-05-02 09:22:00] 609*2^1398216-1 is not prime. Res64: 0D100BBCEED98E41 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:22:07] 627*2^1398216-1 is not prime. Res64: 9344B9EF6C077381 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:22:08] 669*2^1398216-1 is not prime. Res64: 493BE9A762BD135B Time : 0.0 sec. user=mdettweiler [2015-05-02 09:38:48] 789*2^1398216-1 is not prime. Res64: 37E35ABCD73CEA1F Time : 0.0 sec. user=mdettweiler [2015-05-02 09:38:49] 803*2^1398216-1 is not prime. Res64: DB205BA96542B2A2 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:38:58] 695*2^1398216-1 is not prime. Res64: 3AFECB335E495EA6 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:38:59] 723*2^1398216-1 is not prime. Res64: CE70F8A8F67F6982 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:39:30] 945*2^1398216-1 is not prime. Res64: AA322B51786B6B81 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:39:30] 999*2^1398216-1 is not prime. Res64: D75E31B7D1D8E3CC Time : 0.0 sec. user=mdettweiler [2015-05-02 09:39:38] 615*2^1398217-1 is not prime. Res64: D2BF99BC8CE7E499 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:39:38] 661*2^1398217-1 is not prime. Res64: 414A74F04717B7F9 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:56:15] 691*2^1398217-1 is not prime. Res64: 8A8D0BA3E88C32DF Time : 0.0 sec. user=mdettweiler [2015-05-02 09:56:16] 747*2^1398217-1 is not prime. Res64: 97ADBF89C7AC5F19 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:56:19] 771*2^1398217-1 is not prime. Res64: AAA4072764F82F79 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:56:19] 603*2^1398218-1 is not prime. Res64: 6C05216340D482E8 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:56:54] 627*2^1398218-1 is not prime. Res64: A9F84381091F6097 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:56:54] 633*2^1398218-1 is not prime. Res64: 7CD53E514F7B2217 Time : 0.0 sec. user=mdettweiler [2015-05-02 09:57:07] 707*2^1398218-1 is not prime. Res64: AFA42B64270BEF3A Time : 0.0 sec. user=mdettweiler [2015-05-02 09:57:07] 791*2^1398218-1 is not prime. Res64: C9898AA4109D6889 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:13:43] 801*2^1398218-1 is not prime. Res64: 647F4F92A7A4C6E1 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:13:43] 837*2^1398218-1 is not prime. Res64: B9FEC73ECDA1A60F Time : 0.0 sec. user=mdettweiler [2015-05-02 10:13:44] 887*2^1398218-1 is not prime. Res64: 346E12134454E8DC Time : 0.0 sec. user=mdettweiler [2015-05-02 10:13:44] 957*2^1398218-1 is not prime. Res64: E3459B8179A3B3C6 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:14:24] 615*2^1398219-1 is not prime. Res64: ACE348BAF5C0C916 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:14:24] 639*2^1398219-1 is not prime. Res64: 8DFE3B1D9906F5D8 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:14:32] 951*2^1398219-1 is not prime. Res64: 5C4EA6D9C84EAF09 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:14:32] 961*2^1398219-1 is not prime. Res64: C5A53E93C03C572D Time : 0.0 sec. user=mdettweiler [2015-05-02 10:31:15] 629*2^1398220-1 is not prime. Res64: C29A0E76D33C9235 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:31:15] 693*2^1398220-1 is not prime. Res64: EE235CE5B53A9422 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:31:23] 717*2^1398220-1 is not prime. Res64: E9DA4A6B72997071 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:31:23] 777*2^1398220-1 is not prime. Res64: 4DADD9C72D582B93 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:31:55] 909*2^1398220-1 is not prime. Res64: 68CBE13C6EA56D63 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:31:56] 939*2^1398220-1 is not prime. Res64: FE96240C171DD3C7 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:32:10] 621*2^1398221-1 is not prime. Res64: 675B66F66708C2BA Time : 0.0 sec. user=mdettweiler [2015-05-02 10:32:10] 631*2^1398221-1 is not prime. Res64: 802CAC2C3AC78CF3 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:48:46] 669*2^1398221-1 is not prime. Res64: E5357802DCE844F6 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:48:47] 675*2^1398221-1 is not prime. Res64: AFC3DE72EF1B165F Time : 0.0 sec. user=mdettweiler [2015-05-02 10:48:47] 747*2^1398221-1 is not prime. Res64: C187DA1F8A77C034 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:48:47] 931*2^1398221-1 is not prime. Res64: 64E9B7F37D7A1E8F Time : 0.0 sec. user=mdettweiler [2015-05-02 10:49:26] 937*2^1398221-1 is not prime. Res64: F125785C26F838A2 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:49:27] 939*2^1398221-1 is not prime. Res64: E60AD8A44E276800 Time : 0.0 sec. user=mdettweiler [2015-05-02 10:49:43] 635*2^1398222-1 is not prime. Res64: FAA4E9E56A95472A Time : 0.0 sec. user=mdettweiler [2015-05-02 10:49:44] 737*2^1398222-1 is not prime. Res64: ABDAEC647303EC85 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:06:19] 755*2^1398222-1 is not prime. Res64: C3DF5E78FD132A33 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:06:19] 825*2^1398222-1 is not prime. Res64: CB3FBB6C324932E1 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:06:20] 891*2^1398222-1 is not prime. Res64: 4EBF77CF3F1AC3FE Time : 0.0 sec. user=mdettweiler [2015-05-02 11:06:20] 619*2^1398223-1 is not prime. Res64: B4E05513FF2FEB4B Time : 0.0 sec. user=mdettweiler [2015-05-02 11:06:59] 679*2^1398223-1 is not prime. Res64: 009A1340BF4A04C2 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:06:59] 769*2^1398223-1 is not prime. Res64: DF798F428BE6587D Time : 0.0 sec. user=mdettweiler [2015-05-02 11:07:12] 813*2^1398223-1 is not prime. Res64: BC38FDA56318B2BD Time : 0.0 sec. user=mdettweiler [2015-05-02 11:07:13] 993*2^1398223-1 is not prime. Res64: D6DFE411D09333F7 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:23:51] 753*2^1398224-1 is not prime. Res64: FA8602B8BF092278 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:23:52] 767*2^1398224-1 is not prime. Res64: EE43FC9631E5BDEB Time : 0.0 sec. user=mdettweiler [2015-05-02 11:24:00] 795*2^1398224-1 is not prime. Res64: C2DF218E1313824C Time : 0.0 sec. user=mdettweiler [2015-05-02 11:24:00] 813*2^1398224-1 is not prime. Res64: 19C8865634D863F2 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:24:32] 915*2^1398224-1 is not prime. Res64: EC04C465B35470CC Time : 0.0 sec. user=mdettweiler [2015-05-02 11:24:32] 705*2^1398225-1 is not prime. Res64: D648EEE9598AA931 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:24:51] 727*2^1398225-1 is not prime. Res64: D71D70A16BEF965C Time : 0.0 sec. user=mdettweiler [2015-05-02 11:24:52] 777*2^1398225-1 is not prime. Res64: F0EB0931DCACB9A1 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:41:25] 847*2^1398225-1 is not prime. Res64: 983334B4A9EBDDFD Time : 0.0 sec. user=mdettweiler [2015-05-02 11:41:25] 895*2^1398225-1 is not prime. Res64: 066D5AF11B117A00 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:41:27] 991*2^1398225-1 is not prime. Res64: 76719EFF7D9B3526 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:41:28] 783*2^1398226-1 is not prime. Res64: 45BE5C529BC80654 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:41:56] 855*2^1398226-1 is not prime. Res64: A2530836D142FD86 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:41:56] 941*2^1398226-1 is not prime. Res64: 9181686261ECA790 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:42:20] 799*2^1398227-1 is not prime. Res64: 3F2CF9D3C0BA6BDD Time : 0.0 sec. user=mdettweiler [2015-05-02 11:42:21] 825*2^1398227-1 is not prime. Res64: 0CA6338356B23410 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:58:50] 901*2^1398227-1 is not prime. Res64: 69807D418D641203 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:58:51] 705*2^1398228-1 is not prime. Res64: F8C15A382F1643D4 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:58:54] 735*2^1398228-1 is not prime. Res64: 65471FD40B63726E Time : 0.0 sec. user=mdettweiler [2015-05-02 11:58:54] 759*2^1398228-1 is not prime. Res64: E9D1E07870F9081B Time : 0.0 sec. user=mdettweiler [2015-05-02 11:59:23] 795*2^1398228-1 is not prime. Res64: 297C5F6F786066DA Time : 0.0 sec. user=mdettweiler [2015-05-02 11:59:23] 843*2^1398228-1 is not prime. Res64: 9CE59FBF0C116FE2 Time : 0.0 sec. user=mdettweiler [2015-05-02 11:59:52] 879*2^1398228-1 is not prime. Res64: 1490F801F160FDDD Time : 0.0 sec. user=mdettweiler [2015-05-02 11:59:52] 905*2^1398228-1 is not prime. Res64: 4C9335B022386773 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:16:16] 929*2^1398228-1 is not prime. Res64: 51F92F0E67272DA1 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:16:16] 947*2^1398228-1 is not prime. Res64: 3F1E8A766590451B Time : 0.0 sec. user=mdettweiler [2015-05-02 12:16:19] 969*2^1398228-1 is not prime. Res64: 55DBDB92C27EDFC9 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:16:20] 819*2^1398229-1 is not prime. Res64: F513ED409D65DA5F Time : 0.0 sec. user=mdettweiler [2015-05-02 12:16:46] 847*2^1398229-1 is not prime. Res64: B142EA7CAAB1F8C4 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:16:47] 979*2^1398229-1 is not prime. Res64: B73D293F7971F707 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:17:19] 999*2^1398229-1 is not prime. Res64: 92AB044AD1BD2CF1 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:17:19] 851*2^1398230-1 is not prime. Res64: FBF0C99EBA4E4C74 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:33:47] 957*2^1398230-1 is not prime. Res64: 559526F3E9CCCF6A Time : 0.0 sec. user=mdettweiler [2015-05-02 12:33:47] 601*2^1398231-1 is not prime. Res64: A998BBD776C7747B Time : 0.0 sec. user=mdettweiler [2015-05-02 12:33:47] 875*2^1398230-1 is not prime. Res64: 4C24248DB73F623B Time : 0.0 sec. user=mdettweiler [2015-05-02 12:33:48] 921*2^1398230-1 is not prime. Res64: 42489113F904B02B Time : 0.0 sec. user=mdettweiler [2015-05-02 12:34:12] 859*2^1398231-1 is not prime. Res64: DD43537C3D530158 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:34:12] 885*2^1398231-1 is not prime. Res64: FCC2C05B2726FC2F Time : 0.0 sec. user=mdettweiler [2015-05-02 12:34:43] 933*2^1398231-1 is not prime. Res64: 83223C24F244D42E Time : 0.0 sec. user=mdettweiler [2015-05-02 12:34:44] 629*2^1398232-1 is not prime. Res64: 68B4465F0DE6A8AC Time : 0.0 sec. user=mdettweiler [2015-05-02 12:51:14] 899*2^1398232-1 is not prime. Res64: 4A25D8170DD7D603 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:51:14] 743*2^1398232-1 is not prime. Res64: AA3F5AF458BC8312 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:51:14] 939*2^1398232-1 is not prime. Res64: 1AD16E9243E1AC52 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:51:14] 863*2^1398232-1 is not prime. Res64: 291743DEAB426907 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:51:44] 619*2^1398233-1 is not prime. Res64: D78B852236B8CA4B Time : 0.0 sec. user=mdettweiler [2015-05-02 12:51:44] 649*2^1398233-1 is not prime. Res64: 52A46AF6DD2483A2 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:52:11] 657*2^1398233-1 is not prime. Res64: E7876BC483E610F0 Time : 0.0 sec. user=mdettweiler [2015-05-02 12:52:11] 715*2^1398233-1 is not prime. Res64: 6FC13EE26527EEA4 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:08:46] 795*2^1398233-1 is not prime. Res64: EC0CCB4264E8E332 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:08:46] 819*2^1398233-1 is not prime. Res64: 0F7125853E4D8E58 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:08:46] 741*2^1398233-1 is not prime. Res64: 09E1E4AC342F7F87 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:08:47] 775*2^1398233-1 is not prime. Res64: CDE1E4672F258F37 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:09:13] 861*2^1398233-1 is not prime. Res64: 571ADAB841598188 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:09:13] 885*2^1398233-1 is not prime. Res64: E1304D60F08AD0FE Time : 0.0 sec. user=mdettweiler [2015-05-02 13:09:40] 889*2^1398233-1 is not prime. Res64: 9336502899B5B9DF Time : 0.0 sec. user=mdettweiler [2015-05-02 13:09:40] 611*2^1398234-1 is not prime. Res64: DB1163B6F0D2B086 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:26:15] 707*2^1398234-1 is not prime. Res64: E63D661E11282CBF Time : 0.0 sec. user=mdettweiler [2015-05-02 13:26:16] 875*2^1398234-1 is not prime. Res64: 7787BAE3462A4B71 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:26:20] 725*2^1398234-1 is not prime. Res64: B3E14739A406480C Time : 0.0 sec. user=mdettweiler [2015-05-02 13:26:20] 873*2^1398234-1 is not prime. Res64: 909737CDF4E5DBCB Time : 0.0 sec. user=mdettweiler [2015-05-02 13:26:56] 885*2^1398234-1 is not prime. Res64: 9903E4D6D33930B9 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:26:56] 923*2^1398234-1 is not prime. Res64: 44F2ABA87C993888 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:27:02] 645*2^1398235-1 is not prime. Res64: 3E32E17BA6A6F66F Time : 0.0 sec. user=mdettweiler [2015-05-02 13:27:03] 679*2^1398235-1 is not prime. Res64: 30F044B39F53C8C2 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:43:39] 691*2^1398235-1 is not prime. Res64: 3253F2D11C9D28C4 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:43:40] 841*2^1398235-1 is not prime. Res64: 9D6AB9EB8DEF9B24 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:43:48] 859*2^1398235-1 is not prime. Res64: 7851D756D6E96E41 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:43:48] 895*2^1398235-1 is not prime. Res64: 456FA769F057B4AF Time : 0.0 sec. user=mdettweiler [2015-05-02 13:44:24] 961*2^1398235-1 is not prime. Res64: 4C69083951A50131 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:44:24] 735*2^1398236-1 is not prime. Res64: ADB92C28A324581B Time : 0.0 sec. user=mdettweiler [2015-05-02 13:44:31] 777*2^1398236-1 is not prime. Res64: F8B2F1BCDD5A4043 Time : 0.0 sec. user=mdettweiler [2015-05-02 13:44:32] 837*2^1398236-1 is not prime. Res64: CDBB2A44F4F1FF62 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:01:08] 899*2^1398236-1 is not prime. Res64: 6856BDBEA1705F2A Time : 0.0 sec. user=mdettweiler [2015-05-02 14:01:09] 903*2^1398236-1 is not prime. Res64: 2DEF94049F6AD68E Time : 0.0 sec. user=mdettweiler [2015-05-02 14:01:14] 945*2^1398236-1 is not prime. Res64: 4A89DCD4CCB5153A Time : 0.0 sec. user=mdettweiler [2015-05-02 14:01:15] 983*2^1398236-1 is not prime. Res64: CE2D693E17FB5625 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:01:49] 621*2^1398237-1 is not prime. Res64: 8AADE4E430D0BA66 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:01:49] 891*2^1398237-1 is not prime. Res64: 78F36ECD0017CFED Time : 0.0 sec. user=mdettweiler [2015-05-02 14:02:00] 731*2^1398238-1 is not prime. Res64: 78C122CC476F9B48 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:02:01] 887*2^1398238-1 is not prime. Res64: 96C261813393C9F5 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:18:48] 915*2^1398238-1 is not prime. Res64: 5E85FC5B5A7BDDE1 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:18:48] 923*2^1398238-1 is not prime. Res64: AECADD217D7F301A Time : 0.0 sec. user=mdettweiler [2015-05-02 14:18:52] 971*2^1398238-1 is not prime. Res64: 6C92D7DA3A05ED2B Time : 0.0 sec. user=mdettweiler [2015-05-02 14:18:52] 759*2^1398239-1 is not prime. Res64: 887448AFADC8381A Time : 0.0 sec. user=mdettweiler [2015-05-02 14:19:18] 799*2^1398239-1 is not prime. Res64: 1DF63EA915049C4D Time : 0.0 sec. user=mdettweiler [2015-05-02 14:19:18] 865*2^1398239-1 is not prime. Res64: 1741394AEBB56BA4 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:19:25] 615*2^1398240-1 is not prime. Res64: EA992D601DA76035 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:19:26] 689*2^1398240-1 is not prime. Res64: F00D60B44E34D909 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:22] 747*2^1398240-1 is not prime. Res64: C84F699AC355DCF0 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:22] 839*2^1398240-1 is not prime. Res64: 2711540669D96CDB Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:22] 707*2^1398240-1 is not prime. Res64: 006E81CF3F72422F Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:23] 717*2^1398240-1 is not prime. Res64: 020B76C11EF43AA5 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:44] 879*2^1398240-1 is not prime. Res64: 6D02B8AD0F074A8F Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:45] 887*2^1398240-1 is not prime. Res64: F17F1969A75F62AC Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:53] 899*2^1398240-1 is not prime. Res64: AF223A28B1168AB3 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:36:54] 615*2^1398241-1 is not prime. Res64: 9A9CF3100D104A03 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:53:46] 649*2^1398241-1 is not prime. Res64: 2D28AE6CB73D7170 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:53:47] 769*2^1398241-1 is not prime. Res64: 2B0E3BC944418D9D Time : 0.0 sec. user=mdettweiler [2015-05-02 14:53:47] 829*2^1398241-1 is not prime. Res64: 7229781B4B9258AE Time : 0.0 sec. user=mdettweiler [2015-05-02 14:53:47] 835*2^1398241-1 is not prime. Res64: DF06C0B8E222B288 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:54:09] 849*2^1398241-1 is not prime. Res64: 9A542CFD8CE52B82 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:54:09] 755*2^1398242-1 is not prime. Res64: C94FC051CBEAAD44 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:54:20] 903*2^1398242-1 is not prime. Res64: 7A087CFD75433127 Time : 0.0 sec. user=mdettweiler [2015-05-02 14:54:20] 983*2^1398242-1 is not prime. Res64: FF3131F2172D995D Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:10] 995*2^1398242-1 is not prime. Res64: 35C80F5397F75269 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:11] 879*2^1398243-1 is not prime. Res64: AA53FA86111D623E Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:17] 699*2^1398243-1 is not prime. Res64: 7B228B212E53860B Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:17] 819*2^1398243-1 is not prime. Res64: 348BEB584BD32984 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:33] 949*2^1398243-1 is not prime. Res64: DBAC8A3B626E7424 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:34] 687*2^1398244-1 is not prime. Res64: A6AFAF70BB9DA527 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:48] 717*2^1398244-1 is not prime. Res64: 7EA39A7F950CEADE Time : 0.0 sec. user=mdettweiler [2015-05-02 15:11:48] 759*2^1398244-1 is not prime. Res64: 215E104829E8C47F Time : 0.0 sec. user=mdettweiler [2015-05-02 15:28:37] 885*2^1398244-1 is not prime. Res64: 8F82A1E429562D84 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:28:38] 929*2^1398244-1 is not prime. Res64: 4CFD9EB02F19E1CA Time : 0.0 sec. user=mdettweiler [2015-05-02 15:28:40] 773*2^1398244-1 is not prime. Res64: 4AF2D9CC581BEC9C Time : 0.0 sec. user=mdettweiler [2015-05-02 15:28:40] 833*2^1398244-1 is not prime. Res64: DBA93CBA1B06C68B Time : 0.0 sec. user=mdettweiler [2015-05-02 15:28:55] 959*2^1398244-1 is not prime. Res64: BFC3AA777519043C Time : 0.0 sec. user=mdettweiler [2015-05-02 15:28:55] 993*2^1398244-1 is not prime. Res64: 9FD5389B4CD0CD0F Time : 0.0 sec. user=mdettweiler [2015-05-02 15:29:07] 995*2^1398244-1 is not prime. Res64: 38C91CADA07AC7F2 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:29:07] 727*2^1398245-1 is not prime. Res64: A07C093EC0BC2132 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:02] 757*2^1398245-1 is not prime. Res64: B7F2E97EF99CDC66 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:02] 795*2^1398245-1 is not prime. Res64: 29D431FA8AA4BA32 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:04] 837*2^1398245-1 is not prime. Res64: 2FC57B773990C70D Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:04] 847*2^1398245-1 is not prime. Res64: 70230A78E18BE0D5 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:21] 641*2^1398246-1 is not prime. Res64: 1FF95D13B950A659 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:21] 711*2^1398246-1 is not prime. Res64: 2748EB62951DC817 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:34] 795*2^1398246-1 is not prime. Res64: F86427F7A2853520 Time : 0.0 sec. user=mdettweiler [2015-05-02 15:46:34] 639*2^1398247-1 is not prime. Res64: 1B4962909ACA1810 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:03:28] 819*2^1398247-1 is not prime. Res64: 97368A985BFDDD37 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:03:29] 873*2^1398247-1 is not prime. Res64: 3238E2CCD00529D3 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:03:33] 961*2^1398247-1 is not prime. Res64: F5F05A9E027B4EE8 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:03:34] 975*2^1398247-1 is not prime. Res64: 26B434E3CD2129E6 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:03:50] 629*2^1398248-1 is not prime. Res64: 56C2CFA0DC71B60B Time : 0.0 sec. user=mdettweiler [2015-05-02 16:03:51] 645*2^1398248-1 is not prime. Res64: 40251C9F63B96019 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:04:03] 657*2^1398248-1 is not prime. Res64: F809A854EF32C92D Time : 0.0 sec. user=mdettweiler [2015-05-02 16:04:05] 875*2^1398248-1 is not prime. Res64: 5A5D1683978F373C Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:28] 811*2^1398249-1 is not prime. Res64: 6234F4716FDED950 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:28] 897*2^1398248-1 is not prime. Res64: BA59A7087E4A2CC7 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:29] 865*2^1398249-1 is not prime. Res64: CED9638749578AF7 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:29] 959*2^1398248-1 is not prime. Res64: 91DA96CD97CBB807 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:33] 649*2^1398249-1 is not prime. Res64: 5F8B446AD6FDE762 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:33] 741*2^1398249-1 is not prime. Res64: 56FFB923A21AF21D Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:34] 889*2^1398249-1 is not prime. Res64: 66DF9B7820707D1A Time : 0.0 sec. user=mdettweiler [2015-05-02 16:21:34] 633*2^1398250-1 is not prime. Res64: 47D13E956718692C Time : 0.0 sec. user=mdettweiler [2015-05-02 16:38:56] 701*2^1398250-1 is not prime. Res64: 2AB232A08400439A Time : 0.0 sec. user=mdettweiler [2015-05-02 16:38:56] 945*2^1398250-1 is not prime. Res64: F11256719F22F14C Time : 0.0 sec. user=mdettweiler [2015-05-02 16:38:56] 783*2^1398250-1 is not prime. Res64: 9884962587DCC551 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:38:57] 735*2^1398251-1 is not prime. Res64: A986E081559FC113 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:39:01] 775*2^1398251-1 is not prime. Res64: 5644769CA8AD6E10 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:39:01] 889*2^1398251-1 is not prime. Res64: 1F64FDE45F12FB9A Time : 0.0 sec. user=mdettweiler [2015-05-02 16:39:09] 791*2^1398250-1 is not prime. Res64: 3C8A277A6BF4CC72 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:39:10] 855*2^1398250-1 is not prime. Res64: B76AF6CAD3F6CBFC Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:22] 689*2^1398252-1 is not prime. Res64: B4B0F5BC4037D766 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:22] 753*2^1398252-1 is not prime. Res64: DB6E89859D619EA4 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:30] 863*2^1398252-1 is not prime. Res64: 023EEB1E870E1B08 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:30] 921*2^1398251-1 is not prime. Res64: 3E7DF8C3FA5EDF22 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:30] 899*2^1398252-1 is not prime. Res64: 608DFDAD9BCD3418 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:30] 635*2^1398252-1 is not prime. Res64: A787172EB264C191 Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:43] 903*2^1398252-1 is not prime. Res64: 9ED5E67A8A1420AD Time : 0.0 sec. user=mdettweiler [2015-05-02 16:56:44] 923*2^1398252-1 is not prime. Res64: 3CF6017D5738287A Time : 0.0 sec. user=mdettweiler [2015-05-02 17:13:47] 999*2^1398252-1 is not prime. Res64: 21C76722C9F47188 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:13:48] 757*2^1398253-1 is not prime. Res64: E18F9D4E3AFCC2B4 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:13:53] 817*2^1398253-1 is not prime. Res64: 5459F7D88B2943F1 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:13:54] 877*2^1398253-1 is not prime. Res64: 2B83D7B68E6364B7 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:14:01] 919*2^1398253-1 is not prime. Res64: 70FE2105C0A9B239 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:14:01] 955*2^1398253-1 is not prime. Res64: 943D7919E52A9D86 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:14:11] 623*2^1398254-1 is not prime. Res64: F2650347F79ADCB5 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:14:12] 641*2^1398254-1 is not prime. Res64: 2BCAC8C9CF973141 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:21] 657*2^1398254-1 is not prime. Res64: F0942BA3619C31C9 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:21] 677*2^1398254-1 is not prime. Res64: 6AE96F87D0E4E4B4 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:21] 731*2^1398254-1 is not prime. Res64: 7716DC0D93A1DCCB Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:22] 851*2^1398254-1 is not prime. Res64: A772D9069C6AA366 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:27] 927*2^1398254-1 is not prime. Res64: 85DDCD461C037B76 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:27] 685*2^1398255-1 is not prime. Res64: CA75F0E97B981DB9 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:38] 741*2^1398255-1 is not prime. Res64: 61AF2861EF36CEE6 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:31:39] 765*2^1398255-1 is not prime. Res64: 363C52CDC78E04AA Time : 0.0 sec. user=mdettweiler [2015-05-02 17:48:44] 781*2^1398255-1 is not prime. Res64: D8E9EC018D636E7A Time : 0.0 sec. user=mdettweiler [2015-05-02 17:48:45] 783*2^1398255-1 is not prime. Res64: FD60F6A70CA6B7BB Time : 0.0 sec. user=mdettweiler [2015-05-02 17:48:47] 963*2^1398255-1 is not prime. Res64: F4F0756998FE56AD Time : 0.0 sec. user=mdettweiler [2015-05-02 17:48:47] 695*2^1398256-1 is not prime. Res64: 5D181EEC21B7FF2B Time : 0.0 sec. user=mdettweiler [2015-05-02 17:48:50] 805*2^1398255-1 is not prime. Res64: 08E295A6C47F19B8 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:48:50] 891*2^1398255-1 is not prime. Res64: 7D92FD833CFD88D6 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:49:03] 759*2^1398257-1 is not prime. Res64: 13D6B6785451D3D7 Time : 0.0 sec. user=mdettweiler [2015-05-02 17:49:03] 829*2^1398257-1 is not prime. Res64: 184B78D652925BCC Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:09] 847*2^1398257-1 is not prime. Res64: 72254D3A37BCC6CB Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:10] 915*2^1398257-1 is not prime. Res64: 59003D6E277C026C Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:10] 931*2^1398257-1 is not prime. Res64: 1BBDA25B6D678663 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:10] 967*2^1398257-1 is not prime. Res64: 9C86C087C7F28CD2 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:13] 633*2^1398258-1 is not prime. Res64: AC6660D7793357B4 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:14] 635*2^1398258-1 is not prime. Res64: 7935FC9216C1C0CC Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:27] 663*2^1398258-1 is not prime. Res64: 66DAC7ABED691549 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:06:28] 755*2^1398258-1 is not prime. Res64: 452D588E580E0BD6 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:38] 975*2^1398258-1 is not prime. Res64: 3FE965B1C605B2A3 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:38] 705*2^1398259-1 is not prime. Res64: A4B6751534915701 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:48] 765*2^1398258-1 is not prime. Res64: F1578AEDF49B93B1 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:48] 791*2^1398258-1 is not prime. Res64: 18185B3ED76E74E5 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:50] 767*2^1398260-1 is not prime. Res64: 990D2262AA5110E6 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:50] 969*2^1398259-1 is not prime. Res64: 2428CD71EC4195B2 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:50] 661*2^1398261-1 is not prime. Res64: 9B687411875FF86F Time : 0.0 sec. user=mdettweiler [2015-05-02 18:23:50] 635*2^1398260-1 is not prime. Res64: C67DEBFC460AB767 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:00] 691*2^1398261-1 is not prime. Res64: 458DE7F381AD8755 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:01] 745*2^1398261-1 is not prime. Res64: 31487D694EF5E40E Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:12] 979*2^1398261-1 is not prime. Res64: 555E6289EB599482 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:12] 621*2^1398262-1 is not prime. Res64: 288A4290FD8FA787 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:13] 889*2^1398261-1 is not prime. Res64: 990F08EEE98AAFA2 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:14] 901*2^1398261-1 is not prime. Res64: D91BCD9106DA0E50 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:17] 751*2^1398261-1 is not prime. Res64: 3EC2FA77B802CA94 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:41:17] 877*2^1398261-1 is not prime. Res64: EA80F7F48194887F Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:22] 651*2^1398262-1 is not prime. Res64: 05C4C38A3004BC10 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:22] 713*2^1398262-1 is not prime. Res64: 86020478E772C330 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:32] 731*2^1398262-1 is not prime. Res64: 2CC769792DCC95A0 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:32] 761*2^1398262-1 is not prime. Res64: 9C6B291376C66BF8 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:37] 983*2^1398262-1 is not prime. Res64: 0BDC2EDDEF876DA5 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:37] 715*2^1398263-1 is not prime. Res64: D3B6F697A93D7539 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:38] 857*2^1398262-1 is not prime. Res64: D5D38357C47666D3 Time : 0.0 sec. user=mdettweiler [2015-05-02 18:58:38] 945*2^1398262-1 is not prime. Res64: 3E231C9AD53E44B0 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:15:45] 739*2^1398263-1 is not prime. Res64: D8A91311A933A335 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:15:45] 753*2^1398263-1 is not prime. Res64: CBE44AA1F5DE365B Time : 0.0 sec. user=mdettweiler [2015-05-02 19:15:54] 825*2^1398263-1 is not prime. Res64: 4006A11C602E88F1 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:15:55] 939*2^1398263-1 is not prime. Res64: AC49CE8B83E4540A Time : 0.0 sec. user=mdettweiler [2015-05-02 19:16:02] 629*2^1398264-1 is not prime. Res64: A2C895B224437E25 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:16:02] 635*2^1398264-1 is not prime. Res64: FEEB5188E8047943 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:16:03] 753*2^1398264-1 is not prime. Res64: E25663E036BE9C18 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:16:03] 825*2^1398264-1 is not prime. Res64: 153F2DBF6FD6B318 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:15] 873*2^1398264-1 is not prime. Res64: 3E5E03090BD84AF0 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:16] 887*2^1398264-1 is not prime. Res64: 517595051190D24A Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:21] 893*2^1398264-1 is not prime. Res64: E59A69497F7D4E1D Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:21] 903*2^1398264-1 is not prime. Res64: CCFBC942363EA8DA Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:27] 625*2^1398265-1 is not prime. Res64: 3118B0A581D1B86E Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:27] 741*2^1398265-1 is not prime. Res64: BCA3602306728CBE Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:27] 751*2^1398265-1 is not prime. Res64: 0B5235ADE4B333D1 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:33:28] 819*2^1398265-1 is not prime. Res64: 47DD51402391843B Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:38] 831*2^1398265-1 is not prime. Res64: 7C9D2DB7A07A6E93 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:38] 841*2^1398265-1 is not prime. Res64: 6872AB2DD5731857 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:52] 675*2^1398266-1 is not prime. Res64: CF2A6BB7D73E7E34 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:52] 683*2^1398266-1 is not prime. Res64: C4719B19D33B2D03 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:54] 831*2^1398266-1 is not prime. Res64: 9235D365E21561CD Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:54] 903*2^1398266-1 is not prime. Res64: F29BA0F58C161E56 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:54] 773*2^1398266-1 is not prime. Res64: 186F9BB9E3E84829 Time : 0.0 sec. user=mdettweiler [2015-05-02 19:50:55] 801*2^1398266-1 is not prime. Res64: 40B8ECAD6534FADF Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:11] 963*2^1398266-1 is not prime. Res64: E0B4D9EFFAFB36AC Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:12] 615*2^1398267-1 is not prime. Res64: B53681E692AA1261 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:14] 795*2^1398267-1 is not prime. Res64: B79CA6B8EA078425 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:14] 849*2^1398267-1 is not prime. Res64: D6071056435CB907 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:17] 859*2^1398267-1 is not prime. Res64: 122779DADB31DB8B Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:17] 901*2^1398267-1 is not prime. Res64: 046A41BF0DE94FC4 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:19] 639*2^1398267-1 is not prime. Res64: FFB8527C97ED8FF1 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:08:19] 741*2^1398267-1 is not prime. Res64: ECC5A055C541DC9C Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:41] 729*2^1398269-1 is not prime. Res64: 34C85278DB1E01D7 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:41] 975*2^1398268-1 is not prime. Res64: A32B49D0464A307D Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:41] 867*2^1398269-1 is not prime. Res64: EF162B4ABB2BC828 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:41] 621*2^1398269-1 is not prime. Res64: A5209F4261AE3BAD Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:46] 855*2^1398268-1 is not prime. Res64: D7C755A66F0F247D Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:46] 957*2^1398268-1 is not prime. Res64: 95DCC61F7E5DEC3A Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:50] 605*2^1398268-1 is not prime. Res64: BFB52B642AAB5F6B Time : 0.0 sec. user=mdettweiler [2015-05-02 20:25:50] 707*2^1398268-1 is not prime. Res64: BC4CDD841DACE30A Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:09] 987*2^1398269-1 is not prime. Res64: EAAE80E2ADA110CC Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:10] 821*2^1398270-1 is not prime. Res64: EF80E776339C366C Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:10] 641*2^1398270-1 is not prime. Res64: AB4B4F61468CBDD9 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:10] 851*2^1398270-1 is not prime. Res64: 8F11CE9FC56BC575 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:12] 873*2^1398270-1 is not prime. Res64: 6474E4246BD05D93 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:12] 927*2^1398270-1 is not prime. Res64: 8963CA40E7737AEB Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:16] 725*2^1398270-1 is not prime. Res64: 883A33971BFC0BE3 Time : 0.0 sec. user=mdettweiler [2015-05-02 20:43:16] 783*2^1398270-1 is not prime. Res64: 1E85EFE6B1421A8F Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:32] 685*2^1398271-1 is not prime. Res64: CEB72FB6491613E8 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:33] 751*2^1398271-1 is not prime. Res64: 7F8E44318BA1AE64 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:39] 783*2^1398271-1 is not prime. Res64: 42E0CFB883293D0C Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:40] 615*2^1398271-1 is not prime. Res64: 48FAB9F29331B59D Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:40] 871*2^1398271-1 is not prime. Res64: 91FCC3DB67B58D71 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:41] 651*2^1398271-1 is not prime. Res64: 94D46D010DF53B86 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:42] 933*2^1398271-1 is not prime. Res64: 8AD8F61A3CEC3FE0 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:00:43] 961*2^1398271-1 is not prime. Res64: C85D1D27321FBEC9 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:25] 677*2^1398272-1 is not prime. Res64: AF4E7EAC0CE6FDCC Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:26] 897*2^1398272-1 is not prime. Res64: E32F728F0F998434 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:27] 615*2^1398272-1 is not prime. Res64: F71B540DCEFC6DE3 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:28] 915*2^1398272-1 is not prime. Res64: DE35EAC0A5295A2C Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:29] 629*2^1398272-1 is not prime. Res64: 5819F2039A996288 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:29] 657*2^1398273-1 is not prime. Res64: 64B539DA19148567 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:29] 657*2^1398272-1 is not prime. Res64: 0E5889CB15B3D51C Time : 0.0 sec. user=mdettweiler [2015-05-02 21:18:30] 705*2^1398273-1 is not prime. Res64: 5E57C92250B4B2D0 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:53] 701*2^1398274-1 is not prime. Res64: 02001DDABBD428CA Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:53] 827*2^1398274-1 is not prime. Res64: 45C8307D92AA09DB Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:55] 987*2^1398274-1 is not prime. Res64: 32F4A28133CF3999 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:55] 741*2^1398275-1 is not prime. Res64: 83BC659C569D0764 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:58] 605*2^1398274-1 is not prime. Res64: C14009F35E636A04 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:58] 675*2^1398274-1 is not prime. Res64: D8C9D6E32EA5B839 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:58] 789*2^1398273-1 is not prime. Res64: 1156AB53F7D65394 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:35:59] 955*2^1398273-1 is not prime. Res64: 2A1D238173B7971C Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:19] 623*2^1398276-1 is not prime. Res64: 4DF7E4AB764BBCC3 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:19] 707*2^1398276-1 is not prime. Res64: 63FA31D222E5D68E Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:24] 921*2^1398275-1 is not prime. Res64: 05D33316BA1AB1C4 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:24] 999*2^1398275-1 is not prime. Res64: 00B2A82D4782032F Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:26] 871*2^1398275-1 is not prime. Res64: 065E37256A56A871 Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:26] 913*2^1398275-1 is not prime. Res64: B6B931684C48896F Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:29] 717*2^1398276-1 is not prime. Res64: 25D62E718C65B96C Time : 0.0 sec. user=mdettweiler [2015-05-02 21:53:29] 843*2^1398276-1 is not prime. Res64: 107ED050F074971B Time : 0.0 sec. user=mdettweiler [2015-05-02 22:10:49] 947*2^1398276-1 is not prime. Res64: 808A0092FD921B35 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:10:49] 969*2^1398276-1 is not prime. Res64: 5929D397A8015F63 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:10:53] 699*2^1398277-1 is not prime. Res64: 8F1F1490EE56D9A1 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:10:54] 715*2^1398277-1 is not prime. Res64: 5D9A96AED41B1314 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:10:54] 829*2^1398277-1 is not prime. Res64: 13DF2939C5930C2C Time : 0.0 sec. user=mdettweiler [2015-05-02 22:10:55] 849*2^1398277-1 is not prime. Res64: 3271CB5667935178 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:11:00] 889*2^1398277-1 is not prime. Res64: 59E4D2AAC22B39C3 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:11:00] 937*2^1398277-1 is not prime. Res64: EFC59B776B5F0013 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:18] 743*2^1398278-1 is not prime. Res64: BA4489E4F575B858 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:18] 771*2^1398278-1 is not prime. Res64: F77AB8F1DBEEC452 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:18] 813*2^1398278-1 is not prime. Res64: 397E2E272C773E48 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:19] 815*2^1398278-1 is not prime. Res64: E4750E5DF395406B Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:22] 935*2^1398278-1 is not prime. Res64: 6B42863B3DF5E718 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:23] 951*2^1398278-1 is not prime. Res64: E5B224CB5C6B8620 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:28] 613*2^1398279-1 is not prime. Res64: 214A8F3058ECA0B4 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:28:28] 615*2^1398279-1 is not prime. Res64: 5DF80902C6CBB33D Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:44] 669*2^1398279-1 is not prime. Res64: 3AF8E08FBC5DABA5 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:44] 705*2^1398279-1 is not prime. Res64: 2F389557B27CDA42 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:50] 711*2^1398279-1 is not prime. Res64: 42B2EC544B8C0D51 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:50] 775*2^1398279-1 is not prime. Res64: 67877CE97C62182C Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:52] 861*2^1398279-1 is not prime. Res64: E966F4ABBB757F43 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:52] 873*2^1398279-1 is not prime. Res64: 6D91AA82D578C87B Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:54] 931*2^1398279-1 is not prime. Res64: D5FA9FEF86DC3A38 Time : 0.0 sec. user=mdettweiler [2015-05-02 22:45:54] 961*2^1398279-1 is not prime. Res64: FAEA8C102A65A93E Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:16] 635*2^1398280-1 is not prime. Res64: E35F062DC470EB5E Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:17] 731*2^1398282-1 is not prime. Res64: 9CC29DB52FBDDFEE Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:18] 773*2^1398280-1 is not prime. Res64: 9481EF6A11DB4FC0 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:19] 741*2^1398282-1 is not prime. Res64: 5EA64CFEAA585ACF Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:19] 917*2^1398280-1 is not prime. Res64: 373F2751A583ED49 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:20] 705*2^1398281-1 is not prime. Res64: FB4789E56CAF133F Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:21] 697*2^1398281-1 is not prime. Res64: DE2F045F2731CE91 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:03:22] 635*2^1398282-1 is not prime. Res64: F09EC7100FFFAE26 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:16] 747*2^1398282-1 is not prime. Res64: 546B7AE15AA000A0 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:16] 767*2^1398282-1 is not prime. Res64: AC530ADE60751B2F Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:22] 801*2^1398282-1 is not prime. Res64: 41A9A8016A700435 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:22] 621*2^1398283-1 is not prime. Res64: 8950687CC0FCF3D0 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:22] 633*2^1398283-1 is not prime. Res64: DA0FA7E46E35F72A Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:23] 741*2^1398283-1 is not prime. Res64: F555DFADA69922AD Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:26] 811*2^1398283-1 is not prime. Res64: 7E8764154A96C70B Time : 0.0 sec. user=mdettweiler [2015-05-02 23:21:26] 819*2^1398283-1 is not prime. Res64: 7F218F58F8D4A6D5 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:38:51] 657*2^1398284-1 is not prime. Res64: 82DBAFD15CC5E3BE Time : 0.0 sec. user=mdettweiler [2015-05-02 23:38:51] 943*2^1398283-1 is not prime. Res64: 5FD42E72C3197668 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:38:51] 665*2^1398284-1 is not prime. Res64: 82E7EDFB549A0B68 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:38:51] 635*2^1398284-1 is not prime. Res64: 871190CBAD5D2AE7 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:38:57] 983*2^1398284-1 is not prime. Res64: AF2ECA827B94F421 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:38:57] 609*2^1398285-1 is not prime. Res64: ACD59422A6BD167C Time : 0.0 sec. user=mdettweiler [2015-05-02 23:39:00] 753*2^1398284-1 is not prime. Res64: C1EA383FD9D32EA2 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:39:01] 935*2^1398284-1 is not prime. Res64: CF6BA63129C50487 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:20] 647*2^1398286-1 is not prime. Res64: 5BC119319DD3A577 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:20] 755*2^1398286-1 is not prime. Res64: 52251629B319CC97 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:21] 985*2^1398285-1 is not prime. Res64: D4E35B4616EAD74B Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:21] 997*2^1398285-1 is not prime. Res64: BD1AE41828F935A2 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:27] 825*2^1398286-1 is not prime. Res64: BCDD74FD8CCDB50E Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:28] 643*2^1398287-1 is not prime. Res64: 14B6DB01284E5A17 Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:28] 639*2^1398285-1 is not prime. Res64: E24C1C48E27AC7FD Time : 0.0 sec. user=mdettweiler [2015-05-02 23:56:28] 657*2^1398285-1 is not prime. Res64: D7B10086B6E72448 Time : 0.0 sec.