user=mdettweiler [2016-03-11 00:10:50] 915*2^1422697-1 is not prime. Res64: FF38D5AB96F659D7 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:10:51] 671*2^1422698-1 is not prime. Res64: 9E8040984BFC4345 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:10:58] 767*2^1422698-1 is not prime. Res64: EF71C0D87806EB6A Time : 0.0 sec. user=mdettweiler [2016-03-11 00:10:58] 791*2^1422698-1 is not prime. Res64: AD8C2007B2E94596 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:11:26] 923*2^1422698-1 is not prime. Res64: 8A244A4FC3834FBD Time : 0.0 sec. user=mdettweiler [2016-03-11 00:11:26] 609*2^1422699-1 is not prime. Res64: F432058BB48268C1 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:11:47] 845*2^1422698-1 is not prime. Res64: 38689A2A1791C14F Time : 0.0 sec. user=mdettweiler [2016-03-11 00:11:47] 861*2^1422698-1 is not prime. Res64: A937C5635C8D8926 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:29:29] 663*2^1422699-1 is not prime. Res64: 226B0EE9E6F61473 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:29:30] 679*2^1422699-1 is not prime. Res64: 99862C07979EDA3C Time : 0.0 sec. user=mdettweiler [2016-03-11 00:29:50] 619*2^1422699-1 is not prime. Res64: 44B343601D5BDFD8 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:29:51] 633*2^1422699-1 is not prime. Res64: 05879EAC12EC822B Time : 0.0 sec. user=mdettweiler [2016-03-11 00:30:06] 723*2^1422699-1 is not prime. Res64: E030C502242904D8 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:30:06] 741*2^1422699-1 is not prime. Res64: A39075EEF824E86F Time : 0.0 sec. user=mdettweiler [2016-03-11 00:30:23] 859*2^1422699-1 is not prime. Res64: E178BD9191EB4FEA Time : 0.0 sec. user=mdettweiler [2016-03-11 00:30:24] 891*2^1422699-1 is not prime. Res64: A95F7C72FEBB4912 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:47:18] 647*2^1422700-1 is not prime. Res64: C9AD6E1B926E8F2A Time : 0.0 sec. user=mdettweiler [2016-03-11 00:47:19] 677*2^1422700-1 is not prime. Res64: 83E385EA2D53250E Time : 0.0 sec. user=mdettweiler [2016-03-11 00:47:34] 693*2^1422700-1 is not prime. Res64: A2883503DC93E764 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:47:35] 717*2^1422700-1 is not prime. Res64: 12D7E4948EA57B41 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:47:48] 755*2^1422700-1 is not prime. Res64: E145E23BE3C918C0 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:47:48] 777*2^1422700-1 is not prime. Res64: 0482AF458B5F5CF4 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:48:15] 855*2^1422700-1 is not prime. Res64: 2CD08EAB186DA826 Time : 0.0 sec. user=mdettweiler [2016-03-11 00:48:16] 857*2^1422700-1 is not prime. Res64: 49BD7E4FE71718D4 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:05:00] 875*2^1422700-1 is not prime. Res64: 1FABC6104E323AB0 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:05:01] 927*2^1422700-1 is not prime. Res64: A22D9BE9F87B2F28 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:05:29] 649*2^1422701-1 is not prime. Res64: 4807D438904C6E55 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:05:30] 651*2^1422701-1 is not prime. Res64: 1DCCDD92B77DDF42 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:05:36] 697*2^1422701-1 is not prime. Res64: 45274CEE11B470FC Time : 0.0 sec. user=mdettweiler [2016-03-11 01:05:37] 799*2^1422701-1 is not prime. Res64: F5983F2C88E0C7CB Time : 0.0 sec. user=mdettweiler [2016-03-11 01:06:01] 829*2^1422701-1 is not prime. Res64: 32B793250E236E15 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:06:02] 861*2^1422701-1 is not prime. Res64: FEA5A0FE46FCEAE6 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:13] 925*2^1422701-1 is not prime. Res64: 5995AF299EACA16D Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:13] 931*2^1422701-1 is not prime. Res64: 3A3689461B7134D3 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:29] 627*2^1422702-1 is not prime. Res64: 62D3345724824CA1 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:30] 657*2^1422702-1 is not prime. Res64: 718B414E94CFE0B5 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:31] 717*2^1422702-1 is not prime. Res64: FB72A5C9798D31B3 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:32] 777*2^1422702-1 is not prime. Res64: D538D83D7FBA3B9C Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:58] 825*2^1422702-1 is not prime. Res64: B185EF2C3B9F27F2 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:23:58] 915*2^1422702-1 is not prime. Res64: BF02B23E30DD6F2C Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:03] 673*2^1422703-1 is not prime. Res64: DEDAC69B1355216C Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:03] 685*2^1422703-1 is not prime. Res64: 3C0B51DD4F229441 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:19] 765*2^1422703-1 is not prime. Res64: 8AB02B6FB4D69D63 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:19] 891*2^1422703-1 is not prime. Res64: 2A201D4813FC3C37 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:28] 895*2^1422703-1 is not prime. Res64: 8E7AEC593423F201 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:28] 617*2^1422704-1 is not prime. Res64: 1E7E15A1103EA3BB Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:47] 623*2^1422704-1 is not prime. Res64: 8DDDC25BEFA2E68A Time : 0.0 sec. user=mdettweiler [2016-03-11 01:41:47] 663*2^1422704-1 is not prime. Res64: F5D09A44EBB837EC Time : 0.0 sec. user=mdettweiler [2016-03-11 01:58:58] 873*2^1422704-1 is not prime. Res64: 2868743AD7216422 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:58:59] 893*2^1422704-1 is not prime. Res64: BC4CF6485612561B Time : 0.0 sec. user=mdettweiler [2016-03-11 01:59:13] 935*2^1422704-1 is not prime. Res64: 000D6342260720C9 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:59:14] 709*2^1422705-1 is not prime. Res64: F99752BFD4A66A76 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:59:14] 735*2^1422705-1 is not prime. Res64: D936D95B74680013 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:59:14] 741*2^1422705-1 is not prime. Res64: 91418649115AB958 Time : 0.0 sec. user=mdettweiler [2016-03-11 01:59:36] 759*2^1422705-1 is not prime. Res64: 90B8F99C7F350EFE Time : 0.0 sec. user=mdettweiler [2016-03-11 01:59:36] 777*2^1422705-1 is not prime. Res64: 33F4D780D5ABF6CC Time : 0.0 sec. user=mdettweiler [2016-03-11 02:16:53] 819*2^1422705-1 is not prime. Res64: FE268E34F08810F8 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:16:54] 861*2^1422705-1 is not prime. Res64: 41CD27560BBA4CDE Time : 0.0 sec. user=mdettweiler [2016-03-11 02:17:03] 705*2^1422706-1 is not prime. Res64: 8BB9F305E4C98E42 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:17:04] 755*2^1422706-1 is not prime. Res64: 25FB794E90C716E6 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:17:16] 975*2^1422705-1 is not prime. Res64: 04DD182502BD4C3A Time : 0.0 sec. user=mdettweiler [2016-03-11 02:17:17] 647*2^1422706-1 is not prime. Res64: AC20FD2B23BB800E Time : 0.0 sec. user=mdettweiler [2016-03-11 02:17:28] 773*2^1422706-1 is not prime. Res64: D08E47B1318A5585 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:17:30] 887*2^1422706-1 is not prime. Res64: B227391EA3C755BC Time : 0.0 sec. user=mdettweiler [2016-03-11 02:34:47] 911*2^1422706-1 is not prime. Res64: 016DD962B172406C Time : 0.0 sec. user=mdettweiler [2016-03-11 02:34:48] 799*2^1422707-1 is not prime. Res64: 1D0B1292C6F0ED36 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:34:59] 973*2^1422707-1 is not prime. Res64: 9099D493EF4E0004 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:35:00] 647*2^1422708-1 is not prime. Res64: 89D43E2B49C6EE15 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:35:03] 669*2^1422708-1 is not prime. Res64: 58BC53F0A0013165 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:35:04] 683*2^1422708-1 is not prime. Res64: 6E2B1407BE71366F Time : 0.0 sec. user=mdettweiler [2016-03-11 02:35:26] 735*2^1422708-1 is not prime. Res64: 680A6DC6F61747E1 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:35:26] 845*2^1422708-1 is not prime. Res64: 907D5DEDB2BBCC9F Time : 0.0 sec. user=mdettweiler [2016-03-11 02:53:50] 875*2^1422708-1 is not prime. Res64: C70A5EFBB71DD349 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:53:51] 835*2^1422709-1 is not prime. Res64: 519E70C2B145655F Time : 0.0 sec. user=mdettweiler [2016-03-11 02:53:52] 927*2^1422708-1 is not prime. Res64: 7C75313277EC820A Time : 0.0 sec. user=mdettweiler [2016-03-11 02:53:52] 931*2^1422709-1 is not prime. Res64: 3AEFDCD2DAD0FEE7 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:54:41] 685*2^1422709-1 is not prime. Res64: F77AE53B2FF52B49 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:54:42] 789*2^1422709-1 is not prime. Res64: CEF4892B5DEE7E5E Time : 0.0 sec. user=mdettweiler [2016-03-11 02:55:23] 665*2^1422710-1 is not prime. Res64: BE5E0F88BA7874E5 Time : 0.0 sec. user=mdettweiler [2016-03-11 02:55:24] 741*2^1422710-1 is not prime. Res64: 402DC60B161EF4B5 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:11:47] 851*2^1422710-1 is not prime. Res64: 8781DC98B07F404C Time : 0.0 sec. user=mdettweiler [2016-03-11 03:11:48] 917*2^1422710-1 is not prime. Res64: 04328D1441BE99D9 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:11:49] 953*2^1422710-1 is not prime. Res64: E086E25C69FDF45D Time : 0.0 sec. user=mdettweiler [2016-03-11 03:11:50] 977*2^1422710-1 is not prime. Res64: 75A42BE83C09EFFA Time : 0.0 sec. user=mdettweiler [2016-03-11 03:12:29] 793*2^1422711-1 is not prime. Res64: FCC1B73D7ABF64E0 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:12:30] 805*2^1422711-1 is not prime. Res64: F466EA14ADD92EBE Time : 0.0 sec. user=mdettweiler [2016-03-11 03:13:22] 861*2^1422711-1 is not prime. Res64: B4739C744E94E9FA Time : 0.0 sec. user=mdettweiler [2016-03-11 03:13:23] 895*2^1422711-1 is not prime. Res64: 9BEB570C1F384B2C Time : 0.0 sec. user=mdettweiler [2016-03-11 03:29:51] 699*2^1422712-1 is not prime. Res64: 7A13A1F69C98FC54 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:29:53] 843*2^1422712-1 is not prime. Res64: D8D54786264C769B Time : 0.0 sec. user=mdettweiler [2016-03-11 03:29:55] 921*2^1422711-1 is not prime. Res64: 37B000490FBE3318 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:29:56] 975*2^1422711-1 is not prime. Res64: 731168517902ED0A Time : 0.0 sec. user=mdettweiler [2016-03-11 03:30:27] 863*2^1422712-1 is not prime. Res64: 620C89868C3646F3 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:30:30] 933*2^1422712-1 is not prime. Res64: 533874DE90E07782 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:31:15] 965*2^1422712-1 is not prime. Res64: 5F92B1F75DFED390 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:31:17] 975*2^1422712-1 is not prime. Res64: 8D1C7D7A294A823F Time : 0.0 sec. user=mdettweiler [2016-03-11 03:47:37] 697*2^1422713-1 is not prime. Res64: 4DE25CBD55CEA20D Time : 0.0 sec. user=mdettweiler [2016-03-11 03:47:39] 775*2^1422713-1 is not prime. Res64: B2D05F33D3AD440B Time : 0.0 sec. user=mdettweiler [2016-03-11 03:47:40] 805*2^1422713-1 is not prime. Res64: 9EA32CAAEA0E7F4C Time : 0.0 sec. user=mdettweiler [2016-03-11 03:47:42] 829*2^1422713-1 is not prime. Res64: 5BAFD5606703F187 Time : 0.0 sec. user=mdettweiler [2016-03-11 03:48:13] 871*2^1422713-1 is not prime. Res64: C6C6BB76D4CEDDEC Time : 0.0 sec. user=mdettweiler [2016-03-11 03:48:14] 879*2^1422713-1 is not prime. Res64: 38CE651DF68714DF Time : 0.0 sec. user=mdettweiler [2016-03-11 04:05:21] 709*2^1422715-1 is not prime. Res64: 33207E3982F9C6D4 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:05:23] 921*2^1422714-1 is not prime. Res64: 2DA0D492AD274C7C Time : 0.0 sec. user=mdettweiler [2016-03-11 04:05:25] 715*2^1422715-1 is not prime. Res64: B74D0A79AA80BA18 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:05:26] 645*2^1422715-1 is not prime. Res64: AF3BF47ED4E0F298 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:05:49] 885*2^1422715-1 is not prime. Res64: 4B572546920796EB Time : 0.0 sec. user=mdettweiler [2016-03-11 04:05:51] 915*2^1422715-1 is not prime. Res64: DFFF81EF0534899A Time : 0.0 sec. user=mdettweiler [2016-03-11 04:23:29] 845*2^1422716-1 is not prime. Res64: CC7D254555163721 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:23:29] 927*2^1422716-1 is not prime. Res64: ADBE3FEBAE3FF7D6 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:23:29] 629*2^1422716-1 is not prime. Res64: B54F60EA9D0E11A6 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:23:30] 857*2^1422716-1 is not prime. Res64: A39CCAB19A34B1DC Time : 0.0 sec. user=mdettweiler [2016-03-11 04:23:30] 999*2^1422716-1 is not prime. Res64: 99472E882C1A9CDA Time : 0.0 sec. user=mdettweiler [2016-03-11 04:23:30] 707*2^1422716-1 is not prime. Res64: D8463AB07DE789EA Time : 0.0 sec. user=mdettweiler [2016-03-11 04:41:07] 601*2^1422717-1 is not prime. Res64: DC7ACAF2AC652D47 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:41:08] 621*2^1422717-1 is not prime. Res64: 4D45D4AC726EE611 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:41:09] 871*2^1422717-1 is not prime. Res64: E4459DA9C2CDB0EE Time : 0.0 sec. user=mdettweiler [2016-03-11 04:41:09] 717*2^1422717-1 is not prime. Res64: F071008D8BBCFA4B Time : 0.0 sec. user=mdettweiler [2016-03-11 04:41:10] 885*2^1422717-1 is not prime. Res64: 0D80DACFDF196819 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:41:10] 817*2^1422717-1 is not prime. Res64: 22A08ACD7B6C9277 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:58:46] 681*2^1422718-1 is not prime. Res64: BCB664369966B6FF Time : 0.0 sec. user=mdettweiler [2016-03-11 04:58:47] 743*2^1422718-1 is not prime. Res64: 7431C7E7C1086C75 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:58:47] 845*2^1422718-1 is not prime. Res64: 6C680AEC3E7C0AA0 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:58:48] 687*2^1422718-1 is not prime. Res64: 6D56D0DDDE0ADE0D Time : 0.0 sec. user=mdettweiler [2016-03-11 04:58:48] 831*2^1422718-1 is not prime. Res64: 6A3B25C2926779A9 Time : 0.0 sec. user=mdettweiler [2016-03-11 04:58:48] 867*2^1422718-1 is not prime. Res64: 5DBCD25D5CF4BB9F Time : 0.0 sec. user=mdettweiler [2016-03-11 05:16:07] 971*2^1422718-1 is not prime. Res64: B8DEA14BD342F212 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:16:08] 993*2^1422718-1 is not prime. Res64: F7E260DFB29A19AA Time : 0.0 sec. user=mdettweiler [2016-03-11 05:16:09] 981*2^1422718-1 is not prime. Res64: CEFB6294E8ABB164 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:16:09] 693*2^1422719-1 is not prime. Res64: F6EB0637B7BCD334 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:16:10] 945*2^1422718-1 is not prime. Res64: 0AE8D1D3D798A505 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:16:11] 957*2^1422718-1 is not prime. Res64: 0BD9CF0F02FEE5E1 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:33:43] 735*2^1422719-1 is not prime. Res64: 7A7537A2F721681A Time : 0.0 sec. user=mdettweiler [2016-03-11 05:33:44] 653*2^1422720-1 is not prime. Res64: D8FF109755783A2D Time : 0.0 sec. user=mdettweiler [2016-03-11 05:33:44] 913*2^1422719-1 is not prime. Res64: 6419109E09B30593 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:33:45] 717*2^1422720-1 is not prime. Res64: B4CB9293046D71EE Time : 0.0 sec. user=mdettweiler [2016-03-11 05:33:47] 789*2^1422720-1 is not prime. Res64: 36F7328ACD1B47F3 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:33:48] 887*2^1422720-1 is not prime. Res64: 17860CABC9DB8A2D Time : 0.0 sec. user=mdettweiler [2016-03-11 05:51:21] 905*2^1422720-1 is not prime. Res64: DC5FC4FDA86A5ADF Time : 0.0 sec. user=mdettweiler [2016-03-11 05:51:22] 929*2^1422720-1 is not prime. Res64: 5F6797997E4AE40F Time : 0.0 sec. user=mdettweiler [2016-03-11 05:51:22] 935*2^1422720-1 is not prime. Res64: C2E390A09A51BD1B Time : 0.0 sec. user=mdettweiler [2016-03-11 05:51:23] 945*2^1422720-1 is not prime. Res64: BCE1CF4F6300A723 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:51:26] 959*2^1422720-1 is not prime. Res64: 9508EEEC72B92378 Time : 0.0 sec. user=mdettweiler [2016-03-11 05:51:27] 983*2^1422720-1 is not prime. Res64: 45C4A5C2BA1662C2 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:09:02] 671*2^1422722-1 is not prime. Res64: F64B803E85A7051B Time : 0.0 sec. user=mdettweiler [2016-03-11 06:09:03] 797*2^1422722-1 is not prime. Res64: D992188843B64C63 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:09:03] 619*2^1422721-1 is not prime. Res64: 3DE0DCB0C17042B2 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:09:04] 847*2^1422721-1 is not prime. Res64: 82FDD26EB5C6D6DC Time : 0.0 sec. user=mdettweiler [2016-03-11 06:09:07] 827*2^1422722-1 is not prime. Res64: B31374E8CC990DDF Time : 0.0 sec. user=mdettweiler [2016-03-11 06:09:08] 867*2^1422722-1 is not prime. Res64: AF5B8140CD003F69 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:26:47] 649*2^1422723-1 is not prime. Res64: 728CCB89181CEED8 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:26:47] 935*2^1422722-1 is not prime. Res64: 7A6AD14A0813E682 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:26:48] 675*2^1422723-1 is not prime. Res64: 601CB8A2C39ECD46 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:26:48] 957*2^1422722-1 is not prime. Res64: C57951B67CE84FAA Time : 0.0 sec. user=mdettweiler [2016-03-11 06:26:48] 769*2^1422723-1 is not prime. Res64: 46ADC11EC496BDA7 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:26:49] 795*2^1422723-1 is not prime. Res64: E219A11C4B93B3BC Time : 0.0 sec. user=mdettweiler [2016-03-11 06:44:37] 615*2^1422724-1 is not prime. Res64: F40EA413C85ADC96 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:44:38] 639*2^1422724-1 is not prime. Res64: 413CD8346A77FEBF Time : 0.0 sec. user=mdettweiler [2016-03-11 06:44:39] 717*2^1422724-1 is not prime. Res64: AC571AF3328BD9C4 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:44:39] 873*2^1422724-1 is not prime. Res64: D475988703EC30F0 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:44:40] 869*2^1422724-1 is not prime. Res64: DD9008EAB7ACD095 Time : 0.0 sec. user=mdettweiler [2016-03-11 06:44:40] 897*2^1422724-1 is not prime. Res64: 6022F207254D03D4 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:02:37] 675*2^1422725-1 is not prime. Res64: 24D5A1115E5A1008 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:02:38] 837*2^1422725-1 is not prime. Res64: A846DBFD1DA97EE1 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:02:38] 789*2^1422725-1 is not prime. Res64: ADC79A6C60156CE6 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:02:39] 759*2^1422725-1 is not prime. Res64: DFC75CCD2B7BC6FF Time : 0.0 sec. user=mdettweiler [2016-03-11 07:02:40] 939*2^1422725-1 is not prime. Res64: 63EBDBC52FE675D0 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:02:41] 825*2^1422725-1 is not prime. Res64: CFF0E2A819C72A5A Time : 0.0 sec. user=mdettweiler [2016-03-11 07:21:00] 903*2^1422726-1 is not prime. Res64: 11F80F6B41B205C2 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:21:00] 981*2^1422725-1 is not prime. Res64: 4F2A42B12B7C5984 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:21:01] 777*2^1422726-1 is not prime. Res64: EECEABE904A73C59 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:21:01] 917*2^1422726-1 is not prime. Res64: C0CE164196A0D852 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:21:01] 985*2^1422725-1 is not prime. Res64: 2688B2B4236D4D77 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:21:02] 815*2^1422726-1 is not prime. Res64: F1FF536540327381 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:39:04] 925*2^1422727-1 is not prime. Res64: 6B5A2AA855CC691B Time : 0.0 sec. user=mdettweiler [2016-03-11 07:39:04] 843*2^1422728-1 is not prime. Res64: 060058DD164C7D1F Time : 0.0 sec. user=mdettweiler [2016-03-11 07:39:04] 675*2^1422727-1 is not prime. Res64: 81DDFC480F59750D Time : 0.0 sec. user=mdettweiler [2016-03-11 07:39:05] 797*2^1422728-1 is not prime. Res64: 5BD02C0B94B0E8F2 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:39:05] 927*2^1422728-1 is not prime. Res64: CE25F83A09693EA2 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:39:05] 849*2^1422727-1 is not prime. Res64: 225F575800D5F149 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:56:58] 711*2^1422729-1 is not prime. Res64: 6D3136B07C845ABF Time : 0.0 sec. user=mdettweiler [2016-03-11 07:56:59] 993*2^1422728-1 is not prime. Res64: 8D32A375FD7DA9AD Time : 0.0 sec. user=mdettweiler [2016-03-11 07:56:59] 685*2^1422729-1 is not prime. Res64: 86C8A1C309BCBCCC Time : 0.0 sec. user=mdettweiler [2016-03-11 07:56:59] 745*2^1422729-1 is not prime. Res64: 0E64DA0655C5DE20 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:56:59] 781*2^1422729-1 is not prime. Res64: E5294C13B0B63B29 Time : 0.0 sec. user=mdettweiler [2016-03-11 07:57:00] 807*2^1422729-1 is not prime. Res64: FD9BD3FE28D0EC39 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:14:49] 907*2^1422729-1 is not prime. Res64: 6F7A79474E9A7FAF Time : 0.0 sec. user=mdettweiler [2016-03-11 08:14:50] 605*2^1422730-1 is not prime. Res64: C4C2569023DC11A6 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:14:50] 997*2^1422729-1 is not prime. Res64: 693CB75A4F18E92B Time : 0.0 sec. user=mdettweiler [2016-03-11 08:14:51] 647*2^1422730-1 is not prime. Res64: 4BC5FCB02A4C4EFC Time : 0.0 sec. user=mdettweiler [2016-03-11 08:14:52] 811*2^1422729-1 is not prime. Res64: 5F135C30124B8750 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:14:53] 895*2^1422729-1 is not prime. Res64: 753E426AF897F72D Time : 0.0 sec. user=mdettweiler [2016-03-11 08:33:21] 831*2^1422730-1 is not prime. Res64: 5B66D384EAFD1B91 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:33:21] 867*2^1422730-1 is not prime. Res64: 055DEC3FEF2FAC9A Time : 0.0 sec. user=mdettweiler [2016-03-11 08:33:21] 681*2^1422730-1 is not prime. Res64: C2AE40625FE0DF15 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:33:21] 861*2^1422730-1 is not prime. Res64: 3B356977798B06DC Time : 0.0 sec. user=mdettweiler [2016-03-11 08:33:21] 933*2^1422730-1 is not prime. Res64: 99411C0008628970 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:33:21] 801*2^1422730-1 is not prime. Res64: 6671ABA367D7F901 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:51:44] 693*2^1422731-1 is not prime. Res64: 5C3BD70F10EC007B Time : 0.0 sec. user=mdettweiler [2016-03-11 08:51:44] 735*2^1422731-1 is not prime. Res64: 8B6453B4B7351FBC Time : 0.0 sec. user=mdettweiler [2016-03-11 08:51:45] 975*2^1422730-1 is not prime. Res64: 1F5A3D691E253CA5 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:51:45] 621*2^1422731-1 is not prime. Res64: E4D02E5A2B3B5CA9 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:51:47] 643*2^1422731-1 is not prime. Res64: 2546E51EDA9D0486 Time : 0.0 sec. user=mdettweiler [2016-03-11 08:51:48] 669*2^1422731-1 is not prime. Res64: B1078DC7E3CE40BB Time : 0.0 sec. user=mdettweiler [2016-03-11 09:10:00] 825*2^1422731-1 is not prime. Res64: 1529636815EDE42D Time : 0.0 sec. user=mdettweiler [2016-03-11 09:10:00] 939*2^1422731-1 is not prime. Res64: E5FCC33B170A2718 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:10:01] 991*2^1422731-1 is not prime. Res64: F5496EB532DEAD7F Time : 0.0 sec. user=mdettweiler [2016-03-11 09:10:01] 859*2^1422731-1 is not prime. Res64: 16B91D360B74232F Time : 0.0 sec. user=mdettweiler [2016-03-11 09:10:04] 665*2^1422732-1 is not prime. Res64: B40B5132DD97DC3B Time : 0.0 sec. user=mdettweiler [2016-03-11 09:10:04] 675*2^1422732-1 is not prime. Res64: 8E92CE3B5B8EBEA9 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:28:04] 723*2^1422732-1 is not prime. Res64: 5A48CACA5EA65487 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:28:05] 903*2^1422732-1 is not prime. Res64: 248992A1204378DB Time : 0.0 sec. user=mdettweiler [2016-03-11 09:28:05] 945*2^1422732-1 is not prime. Res64: C178DCC67CC73188 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:28:06] 909*2^1422732-1 is not prime. Res64: 2321CA7F84C70055 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:28:09] 689*2^1422732-1 is not prime. Res64: 672D984F9455F2C6 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:28:10] 809*2^1422732-1 is not prime. Res64: 45926E12D654F719 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:45:58] 987*2^1422733-1 is not prime. Res64: ED59A9871A65DB06 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:45:59] 999*2^1422733-1 is not prime. Res64: 3DA9D68CE75F82BD Time : 0.0 sec. user=mdettweiler [2016-03-11 09:46:06] 915*2^1422733-1 is not prime. Res64: AF1FA0178E1BF38A Time : 0.0 sec. user=mdettweiler [2016-03-11 09:46:07] 927*2^1422733-1 is not prime. Res64: 61BAEABD731D5265 Time : 0.0 sec. user=mdettweiler [2016-03-11 09:47:06] 721*2^1422733-1 is not prime. Res64: 49C37E9F8A0EC29B Time : 0.0 sec. user=mdettweiler [2016-03-11 09:47:06] 729*2^1422733-1 is not prime. Res64: 6BDB102E7AFD509D Time : 0.0 sec. user=mdettweiler [2016-03-11 10:03:42] 627*2^1422734-1 is not prime. Res64: 523706BE7D8780EB Time : 0.0 sec. user=mdettweiler [2016-03-11 10:03:43] 755*2^1422734-1 is not prime. Res64: 7BB3C5AFFD0293D3 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:03:51] 861*2^1422734-1 is not prime. Res64: 75E93F93606E6F94 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:03:55] 873*2^1422734-1 is not prime. Res64: F17C149CF88CB603 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:04:49] 875*2^1422734-1 is not prime. Res64: 05BAC82C61D6C4AE Time : 0.0 sec. user=mdettweiler [2016-03-11 10:04:50] 987*2^1422734-1 is not prime. Res64: 7ADBCD11C6AF2D25 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:21:42] 1001*2^1422734-1 is not prime. Res64: 1671D083401E9564 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:21:42] 601*2^1422735-1 is not prime. Res64: 0D56B66C3C23C886 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:21:45] 613*2^1422735-1 is not prime. Res64: 4BD8C15BE698CAF6 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:21:45] 693*2^1422735-1 is not prime. Res64: E0DC95C906C58B62 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:22:35] 705*2^1422735-1 is not prime. Res64: EEB42770C3B0162E Time : 0.0 sec. user=mdettweiler [2016-03-11 10:22:35] 739*2^1422735-1 is not prime. Res64: C1EFD10B029DA3BA Time : 0.0 sec. user=mdettweiler [2016-03-11 10:39:16] 861*2^1422735-1 is not prime. Res64: 6FF8DEC661AFC9D5 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:39:16] 629*2^1422736-1 is not prime. Res64: E76BB72FAF7DFBA5 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:39:22] 735*2^1422736-1 is not prime. Res64: 6A31D16BAD0AA4ED Time : 0.0 sec. user=mdettweiler [2016-03-11 10:39:22] 833*2^1422736-1 is not prime. Res64: D64CBC8608457631 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:40:10] 875*2^1422736-1 is not prime. Res64: BA23257D605B538E Time : 0.0 sec. user=mdettweiler [2016-03-11 10:40:11] 899*2^1422736-1 is not prime. Res64: 6FC155602CFA3823 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:56:52] 957*2^1422736-1 is not prime. Res64: 4D1F8474C51378C8 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:56:52] 993*2^1422736-1 is not prime. Res64: EF50315CC40F3C95 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:56:54] 615*2^1422737-1 is not prime. Res64: C9BA11909E2DEE8F Time : 0.0 sec. user=mdettweiler [2016-03-11 10:56:55] 759*2^1422737-1 is not prime. Res64: EFCF9B6721C04527 Time : 0.0 sec. user=mdettweiler [2016-03-11 10:57:44] 771*2^1422737-1 is not prime. Res64: EB88C054BDA4823A Time : 0.0 sec. user=mdettweiler [2016-03-11 10:57:44] 847*2^1422737-1 is not prime. Res64: 0F10CB611B43088E Time : 0.0 sec. user=mdettweiler [2016-03-11 11:14:24] 861*2^1422737-1 is not prime. Res64: 5678C320992F8944 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:14:25] 663*2^1422738-1 is not prime. Res64: 9909AFE7BDC3BC02 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:14:29] 681*2^1422738-1 is not prime. Res64: 7483F1CAC95C6B49 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:14:30] 767*2^1422738-1 is not prime. Res64: 831D24C31C2156C7 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:15:18] 815*2^1422738-1 is not prime. Res64: B1AC3C97B468B98C Time : 0.0 sec. user=mdettweiler [2016-03-11 11:15:18] 867*2^1422738-1 is not prime. Res64: 8623E3F3F1B2DBD4 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:31:59] 933*2^1422738-1 is not prime. Res64: B072BD951B31F84B Time : 0.0 sec. user=mdettweiler [2016-03-11 11:31:59] 941*2^1422738-1 is not prime. Res64: E8D01EF2E441905B Time : 0.0 sec. user=mdettweiler [2016-03-11 11:32:04] 603*2^1422739-1 is not prime. Res64: 9F3121BB43A7E88D Time : 0.0 sec. user=mdettweiler [2016-03-11 11:32:04] 639*2^1422739-1 is not prime. Res64: AFF4E578F4016C99 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:32:53] 663*2^1422739-1 is not prime. Res64: 3AB9D3E93F8B5182 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:32:53] 885*2^1422739-1 is not prime. Res64: F71FBA2A65CC2EB9 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:49:32] 919*2^1422739-1 is not prime. Res64: BE5B1D29E69C49E6 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:49:33] 969*2^1422739-1 is not prime. Res64: F85954A4323B7FA0 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:49:35] 635*2^1422740-1 is not prime. Res64: E08D031B0ADC17E9 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:49:35] 819*2^1422740-1 is not prime. Res64: 0E36EFE31525F82C Time : 0.0 sec. user=mdettweiler [2016-03-11 11:50:26] 995*2^1422740-1 is not prime. Res64: 80D106BD17845C83 Time : 0.0 sec. user=mdettweiler [2016-03-11 11:50:26] 609*2^1422741-1 is not prime. Res64: 6B02B011EC1EA669 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:07:05] 859*2^1422741-1 is not prime. Res64: 616EA4E211D04F0D Time : 0.0 sec. user=mdettweiler [2016-03-11 12:07:06] 651*2^1422742-1 is not prime. Res64: F326AD59CB4B6E67 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:07:07] 717*2^1422742-1 is not prime. Res64: 10DF6EDE457FA405 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:07:08] 737*2^1422742-1 is not prime. Res64: DF37AB252539C69F Time : 0.0 sec. user=mdettweiler [2016-03-11 12:07:59] 791*2^1422742-1 is not prime. Res64: 4180CAD2F183E976 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:07:59] 923*2^1422742-1 is not prime. Res64: 08D4A81C7C836724 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:24:43] 853*2^1422743-1 is not prime. Res64: B5950C2B9A0AF2F8 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:24:43] 789*2^1422743-1 is not prime. Res64: 858208F02ADCF09B Time : 0.0 sec. user=mdettweiler [2016-03-11 12:24:43] 985*2^1422743-1 is not prime. Res64: 09D621AC2E9664F9 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:24:43] 813*2^1422743-1 is not prime. Res64: 19144E0AA98AB275 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:25:31] 605*2^1422744-1 is not prime. Res64: FA74FE7781F8EDFA Time : 0.0 sec. user=mdettweiler [2016-03-11 12:25:32] 635*2^1422744-1 is not prime. Res64: D75FE59FF33DA3D6 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:42:16] 767*2^1422744-1 is not prime. Res64: A8DD5BDF24C65A87 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:42:16] 759*2^1422744-1 is not prime. Res64: 8E644A50C04AB3A2 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:42:16] 843*2^1422744-1 is not prime. Res64: 264A082AB306268B Time : 0.0 sec. user=mdettweiler [2016-03-11 12:42:16] 765*2^1422744-1 is not prime. Res64: 573D0B0043C3D10E Time : 0.0 sec. user=mdettweiler [2016-03-11 12:43:04] 903*2^1422744-1 is not prime. Res64: B4A22A83D3FCA55A Time : 0.0 sec. user=mdettweiler [2016-03-11 12:43:04] 983*2^1422744-1 is not prime. Res64: ACFF1DEA939AFE91 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:59:54] 649*2^1422745-1 is not prime. Res64: B129BD770DDD09AD Time : 0.0 sec. user=mdettweiler [2016-03-11 12:59:54] 819*2^1422745-1 is not prime. Res64: E1681AFA0FFF4382 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:59:55] 765*2^1422745-1 is not prime. Res64: F00EB10E0987C4C0 Time : 0.0 sec. user=mdettweiler [2016-03-11 12:59:55] 861*2^1422745-1 is not prime. Res64: 55B2283105FD3720 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:00:44] 885*2^1422745-1 is not prime. Res64: 5E8FA1F1CCE25119 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:00:44] 939*2^1422745-1 is not prime. Res64: 7001B83992370EC3 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:17:36] 705*2^1422746-1 is not prime. Res64: C8BDF4611B3576AD Time : 0.0 sec. user=mdettweiler [2016-03-11 13:17:37] 717*2^1422746-1 is not prime. Res64: 0678958180C5CE4B Time : 0.0 sec. user=mdettweiler [2016-03-11 13:17:37] 827*2^1422746-1 is not prime. Res64: 8CEEC7612935EF1C Time : 0.0 sec. user=mdettweiler [2016-03-11 13:17:37] 867*2^1422746-1 is not prime. Res64: 361E34C711D55EEF Time : 0.0 sec. user=mdettweiler [2016-03-11 13:18:27] 963*2^1422746-1 is not prime. Res64: 6FF2AB559A012067 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:18:28] 633*2^1422747-1 is not prime. Res64: 056EC89778F5E681 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:35:50] 781*2^1422747-1 is not prime. Res64: F513C24B4A65F198 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:35:50] 849*2^1422747-1 is not prime. Res64: 42363232F3470F1E Time : 0.0 sec. user=mdettweiler [2016-03-11 13:35:51] 735*2^1422747-1 is not prime. Res64: 155098799CDEAC40 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:35:52] 741*2^1422747-1 is not prime. Res64: 443521201E2C4831 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:36:38] 963*2^1422747-1 is not prime. Res64: F33961CFF80075CA Time : 0.0 sec. user=mdettweiler [2016-03-11 13:36:38] 975*2^1422747-1 is not prime. Res64: F926869D5CAB7D73 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:53:22] 657*2^1422748-1 is not prime. Res64: 44FE327D7B240F9A Time : 0.0 sec. user=mdettweiler [2016-03-11 13:53:22] 979*2^1422747-1 is not prime. Res64: 3D8DC6D7E6047C18 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:53:22] 689*2^1422748-1 is not prime. Res64: 76EF69FF7E9D51E8 Time : 0.0 sec. user=mdettweiler [2016-03-11 13:53:23] 985*2^1422747-1 is not prime. Res64: 2B5651045490396E Time : 0.0 sec. user=mdettweiler [2016-03-11 13:54:09] 749*2^1422748-1 is not prime. Res64: 258E71628A7858BE Time : 0.0 sec. user=mdettweiler [2016-03-11 13:54:09] 933*2^1422748-1 is not prime. Res64: DC6C2DA4D5D8C6FB Time : 0.0 sec. user=mdettweiler [2016-03-11 14:10:54] 675*2^1422749-1 is not prime. Res64: 088131698B7BE4BD Time : 0.0 sec. user=mdettweiler [2016-03-11 14:10:55] 691*2^1422749-1 is not prime. Res64: 02D4F4EB0F4F05D0 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:10:59] 601*2^1422749-1 is not prime. Res64: 332DCEAEC9891266 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:10:59] 631*2^1422749-1 is not prime. Res64: 72291896F4EAF059 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:11:40] 795*2^1422749-1 is not prime. Res64: 89DBABA1581762B8 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:11:41] 837*2^1422749-1 is not prime. Res64: 8C93C3B0BE9E8201 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:28:27] 951*2^1422749-1 is not prime. Res64: DB4FCA8BA97C1415 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:28:27] 969*2^1422749-1 is not prime. Res64: 43015E107505A6AB Time : 0.0 sec. user=mdettweiler [2016-03-11 14:28:29] 651*2^1422750-1 is not prime. Res64: 309F7770A5BD0F41 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:28:29] 707*2^1422750-1 is not prime. Res64: FFFF1D6AFBB9554B Time : 0.0 sec. user=mdettweiler [2016-03-11 14:29:10] 725*2^1422750-1 is not prime. Res64: 63C84CC22D72AB60 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:29:11] 773*2^1422750-1 is not prime. Res64: CA1E19E79CD1FB5B Time : 0.0 sec. user=mdettweiler [2016-03-11 14:45:58] 791*2^1422750-1 is not prime. Res64: 28A9CFDF519AF32A Time : 0.0 sec. user=mdettweiler [2016-03-11 14:45:58] 851*2^1422750-1 is not prime. Res64: 479B1A7F2C97FC41 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:46:04] 921*2^1422750-1 is not prime. Res64: CDA326F6DC2EF45C Time : 0.0 sec. user=mdettweiler [2016-03-11 14:46:04] 951*2^1422750-1 is not prime. Res64: B582288AB6FB4459 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:46:42] 615*2^1422751-1 is not prime. Res64: 33F0085B0A0A90A8 Time : 0.0 sec. user=mdettweiler [2016-03-11 14:46:43] 859*2^1422751-1 is not prime. Res64: 488A0266ED960065 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:03:36] 861*2^1422751-1 is not prime. Res64: A84E14B14FC067D3 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:03:37] 933*2^1422751-1 is not prime. Res64: 201E4BE6808504F6 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:03:42] 939*2^1422751-1 is not prime. Res64: 66221676915ACBB1 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:03:43] 665*2^1422752-1 is not prime. Res64: 2FAD36C9A91939DE Time : 0.0 sec. user=mdettweiler [2016-03-11 15:04:18] 687*2^1422752-1 is not prime. Res64: F4C6E7B3ACB9431F Time : 0.0 sec. user=mdettweiler [2016-03-11 15:04:19] 759*2^1422752-1 is not prime. Res64: F834BC4D5561BE92 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:21:20] 767*2^1422752-1 is not prime. Res64: 8EFB85B87E0D29A7 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:21:21] 855*2^1422752-1 is not prime. Res64: CFCFF73A12D468CC Time : 0.0 sec. user=mdettweiler [2016-03-11 15:21:22] 983*2^1422752-1 is not prime. Res64: 188781BFC18B9658 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:21:22] 609*2^1422753-1 is not prime. Res64: 8A1B44F329152F50 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:22:03] 649*2^1422753-1 is not prime. Res64: F6744A1F73C93E01 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:22:03] 747*2^1422753-1 is not prime. Res64: DC92A40E018044E2 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:38:56] 885*2^1422753-1 is not prime. Res64: 1E5E669EAA734609 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:38:57] 889*2^1422753-1 is not prime. Res64: 1E1B0D0DDA29DA53 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:38:59] 837*2^1422753-1 is not prime. Res64: 288B58D098000E38 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:39:00] 877*2^1422753-1 is not prime. Res64: D59D41B1C647958B Time : 0.0 sec. user=mdettweiler [2016-03-11 15:39:36] 951*2^1422753-1 is not prime. Res64: 4EED30DB1AECA40A Time : 0.0 sec. user=mdettweiler [2016-03-11 15:39:36] 605*2^1422754-1 is not prime. Res64: AAE10A17E0919CC6 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:56:29] 665*2^1422754-1 is not prime. Res64: 79A491F570CCBB3C Time : 0.0 sec. user=mdettweiler [2016-03-11 15:56:29] 741*2^1422754-1 is not prime. Res64: B2B8647B83FBB3CE Time : 0.0 sec. user=mdettweiler [2016-03-11 15:56:32] 773*2^1422754-1 is not prime. Res64: F816183B198993E8 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:56:32] 791*2^1422754-1 is not prime. Res64: 4BF11F91BF59069F Time : 0.0 sec. user=mdettweiler [2016-03-11 15:57:07] 813*2^1422754-1 is not prime. Res64: 48127EBF94E2CD14 Time : 0.0 sec. user=mdettweiler [2016-03-11 15:57:08] 861*2^1422754-1 is not prime. Res64: 545C4618680E4539 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:14:00] 971*2^1422754-1 is not prime. Res64: 5D15FB9D845C008F Time : 0.0 sec. user=mdettweiler [2016-03-11 16:14:01] 645*2^1422755-1 is not prime. Res64: 37D6F926433440CE Time : 0.0 sec. user=mdettweiler [2016-03-11 16:14:05] 735*2^1422755-1 is not prime. Res64: 46281FE3CB26AE22 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:14:05] 825*2^1422755-1 is not prime. Res64: 820572B5FCF57E8E Time : 0.0 sec. user=mdettweiler [2016-03-11 16:14:38] 909*2^1422755-1 is not prime. Res64: A689C7F7CD519FEC Time : 0.0 sec. user=mdettweiler [2016-03-11 16:14:39] 913*2^1422755-1 is not prime. Res64: 507D9F2D25C4589A Time : 0.0 sec. user=mdettweiler [2016-03-11 16:31:37] 981*2^1422755-1 is not prime. Res64: E1A6E7BDA828C790 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:31:37] 653*2^1422756-1 is not prime. Res64: B396BDDFE00F989D Time : 0.0 sec. user=mdettweiler [2016-03-11 16:32:04] 699*2^1422756-1 is not prime. Res64: 057EFBE99D4D30E1 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:32:05] 705*2^1422756-1 is not prime. Res64: D45B9BB28CF1EA91 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:32:12] 735*2^1422756-1 is not prime. Res64: 6821E8B84DD987D4 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:32:13] 803*2^1422756-1 is not prime. Res64: 06BAF947327DE540 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:49:16] 867*2^1422756-1 is not prime. Res64: 89F829944C7E64E7 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:49:16] 905*2^1422756-1 is not prime. Res64: 7F305C090C76C39A Time : 0.0 sec. user=mdettweiler [2016-03-11 16:49:50] 727*2^1422757-1 is not prime. Res64: 6DD4B968C6BB2211 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:49:50] 819*2^1422757-1 is not prime. Res64: 6DB6B4B668EFB74D Time : 0.0 sec. user=mdettweiler [2016-03-11 16:49:54] 609*2^1422757-1 is not prime. Res64: 1913EA7F349DC7A6 Time : 0.0 sec. user=mdettweiler [2016-03-11 16:49:54] 625*2^1422757-1 is not prime. Res64: 4904B29C87BFDF42 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:06:48] 829*2^1422757-1 is not prime. Res64: B3F00C6EF04E408E Time : 0.0 sec. user=mdettweiler [2016-03-11 17:06:49] 957*2^1422757-1 is not prime. Res64: F88D157F464C8E26 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:07:22] 961*2^1422757-1 is not prime. Res64: A2E0367769F9117A Time : 0.0 sec. user=mdettweiler [2016-03-11 17:07:22] 711*2^1422758-1 is not prime. Res64: 393CCA5746CD3078 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:07:26] 771*2^1422758-1 is not prime. Res64: 4477BEBC161C4A72 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:07:27] 977*2^1422758-1 is not prime. Res64: A4E6B8A975258997 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:24:24] 619*2^1422759-1 is not prime. Res64: B4BE17F0C34CBC41 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:24:24] 669*2^1422759-1 is not prime. Res64: 54E6065EFEC0F08C Time : 0.0 sec. user=mdettweiler [2016-03-11 17:24:54] 795*2^1422759-1 is not prime. Res64: BEF73A786BF4E75B Time : 0.0 sec. user=mdettweiler [2016-03-11 17:24:54] 831*2^1422759-1 is not prime. Res64: 4ED55B516D5AA172 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:24:58] 853*2^1422759-1 is not prime. Res64: B51E934AF464502B Time : 0.0 sec. user=mdettweiler [2016-03-11 17:24:59] 969*2^1422759-1 is not prime. Res64: 986208D35A0C81D9 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:42:00] 975*2^1422759-1 is not prime. Res64: 7C2C1EB315F6A411 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:42:00] 665*2^1422760-1 is not prime. Res64: E3953428E7F99693 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:42:26] 707*2^1422760-1 is not prime. Res64: 72DFFF4EF49D00EA Time : 0.0 sec. user=mdettweiler [2016-03-11 17:42:26] 735*2^1422760-1 is not prime. Res64: 08A5D6339B3B0C6C Time : 0.0 sec. user=mdettweiler [2016-03-11 17:42:30] 759*2^1422760-1 is not prime. Res64: 02033E5AD5F763D7 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:42:31] 797*2^1422760-1 is not prime. Res64: 92063BBE3190F0B2 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:59:36] 813*2^1422760-1 is not prime. Res64: 061CCEA9460848E3 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:59:37] 827*2^1422760-1 is not prime. Res64: 5CFF24B99893FFE1 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:59:56] 607*2^1422761-1 is not prime. Res64: 9F4C1541850BCD86 Time : 0.0 sec. user=mdettweiler [2016-03-11 17:59:56] 619*2^1422761-1 is not prime. Res64: E34A2D2BE7A4E200 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:00:01] 627*2^1422761-1 is not prime. Res64: BC620F43FEA834EE Time : 0.0 sec. user=mdettweiler [2016-03-11 18:00:02] 691*2^1422761-1 is not prime. Res64: F806C296D4CF1A46 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:17:11] 651*2^1422762-1 is not prime. Res64: 6D0BDBD1D05E4A87 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:17:12] 711*2^1422762-1 is not prime. Res64: 809DA2A5D0B78F95 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:17:27] 717*2^1422762-1 is not prime. Res64: 649D9A37E81FF3C4 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:17:27] 723*2^1422762-1 is not prime. Res64: D13CD1ADEDDBD94A Time : 0.0 sec. user=mdettweiler [2016-03-11 18:17:32] 951*2^1422762-1 is not prime. Res64: E6E2CD7043BD1523 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:17:33] 621*2^1422763-1 is not prime. Res64: 70917403D8472718 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:34:45] 625*2^1422763-1 is not prime. Res64: 7781C6FA27CA844B Time : 0.0 sec. user=mdettweiler [2016-03-11 18:34:45] 765*2^1422763-1 is not prime. Res64: 836A48CD9674ED40 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:34:59] 805*2^1422763-1 is not prime. Res64: 715495BBA8FBB3FC Time : 0.0 sec. user=mdettweiler [2016-03-11 18:34:59] 855*2^1422763-1 is not prime. Res64: 055A3E4759D995B2 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:35:04] 861*2^1422763-1 is not prime. Res64: 1B234DA65719579F Time : 0.0 sec. user=mdettweiler [2016-03-11 18:35:04] 913*2^1422763-1 is not prime. Res64: C2AC79F4E0288421 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:52:30] 615*2^1422764-1 is not prime. Res64: 9AE691C82A5F6B9D Time : 0.0 sec. user=mdettweiler [2016-03-11 18:52:30] 657*2^1422764-1 is not prime. Res64: 995C14FB9012D950 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:52:34] 677*2^1422764-1 is not prime. Res64: E1A12DF870190A3B Time : 0.0 sec. user=mdettweiler [2016-03-11 18:52:34] 803*2^1422764-1 is not prime. Res64: 8DE89D25DABB1674 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:52:39] 827*2^1422764-1 is not prime. Res64: 45DB362D1F279938 Time : 0.0 sec. user=mdettweiler [2016-03-11 18:52:39] 833*2^1422764-1 is not prime. Res64: 39B57809AA88411B Time : 0.0 sec. user=mdettweiler [2016-03-11 19:10:05] 843*2^1422764-1 is not prime. Res64: FB96F9EA366B7238 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:10:05] 935*2^1422764-1 is not prime. Res64: F658A17FA509CD06 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:10:06] 953*2^1422764-1 is not prime. Res64: DD3B8E973487092B Time : 0.0 sec. user=mdettweiler [2016-03-11 19:10:07] 669*2^1422765-1 is not prime. Res64: EA65880A6FAEF06A Time : 0.0 sec. user=mdettweiler [2016-03-11 19:10:12] 685*2^1422765-1 is not prime. Res64: E27FDCE72476C983 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:10:12] 805*2^1422765-1 is not prime. Res64: 521052E5FD157D83 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:27:39] 825*2^1422765-1 is not prime. Res64: 9F8998DBE84728EA Time : 0.0 sec. user=mdettweiler [2016-03-11 19:27:40] 895*2^1422765-1 is not prime. Res64: BE6455751F95F15B Time : 0.0 sec. user=mdettweiler [2016-03-11 19:27:40] 915*2^1422765-1 is not prime. Res64: 617A82E27FD0DAFD Time : 0.0 sec. user=mdettweiler [2016-03-11 19:27:41] 991*2^1422765-1 is not prime. Res64: 7539D6E3061C9787 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:27:44] 635*2^1422766-1 is not prime. Res64: DDEE5736012AE499 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:27:44] 645*2^1422766-1 is not prime. Res64: F5D7DE298EC8097A Time : 0.0 sec. user=mdettweiler [2016-03-11 19:45:13] 717*2^1422766-1 is not prime. Res64: 559770BC35C79E16 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:45:13] 1001*2^1422766-1 is not prime. Res64: 6489BB5E1ECB9198 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:45:13] 945*2^1422766-1 is not prime. Res64: 7F7F90E519996C76 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:45:13] 693*2^1422767-1 is not prime. Res64: 788C075CB967673E Time : 0.0 sec. user=mdettweiler [2016-03-11 19:45:17] 741*2^1422767-1 is not prime. Res64: E0D86A6722D171E2 Time : 0.0 sec. user=mdettweiler [2016-03-11 19:45:17] 775*2^1422767-1 is not prime. Res64: 6DE299A192A877A9 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:02:48] 985*2^1422767-1 is not prime. Res64: E0CF87637CF5FACB Time : 0.0 sec. user=mdettweiler [2016-03-11 20:02:49] 885*2^1422767-1 is not prime. Res64: F4A0D147F15A1452 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:02:50] 707*2^1422768-1 is not prime. Res64: BBB6164087C6E97F Time : 0.0 sec. user=mdettweiler [2016-03-11 20:02:51] 735*2^1422768-1 is not prime. Res64: 8A22C85B1B5C481F Time : 0.0 sec. user=mdettweiler [2016-03-11 20:02:52] 981*2^1422767-1 is not prime. Res64: 4F431F9BB20180FB Time : 0.0 sec. user=mdettweiler [2016-03-11 20:02:53] 797*2^1422768-1 is not prime. Res64: 5DBDD7A2C6A3EFA0 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:20:44] 933*2^1422768-1 is not prime. Res64: F2C7F2B667F131A3 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:20:44] 993*2^1422768-1 is not prime. Res64: 0295E9B7E7C24887 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:20:45] 615*2^1422769-1 is not prime. Res64: DE28C8E59FF90855 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:20:46] 687*2^1422769-1 is not prime. Res64: 69D75F91455F255F Time : 0.0 sec. user=mdettweiler [2016-03-11 20:20:47] 765*2^1422769-1 is not prime. Res64: 6A6AA7877C8ECA39 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:20:48] 799*2^1422769-1 is not prime. Res64: B9F7AB737FA7D1AF Time : 0.0 sec. user=mdettweiler [2016-03-11 20:38:20] 841*2^1422769-1 is not prime. Res64: 5D6A5A001E4C92B1 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:38:20] 955*2^1422769-1 is not prime. Res64: 3D95DB3504903307 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:38:20] 861*2^1422769-1 is not prime. Res64: BABAA2CF60305423 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:38:21] 987*2^1422769-1 is not prime. Res64: 49132EB3D8D17975 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:38:22] 897*2^1422769-1 is not prime. Res64: 16CCCA70A83A68EB Time : 0.0 sec. user=mdettweiler [2016-03-11 20:38:22] 931*2^1422769-1 is not prime. Res64: B917447502975A1D Time : 0.0 sec. user=mdettweiler [2016-03-11 20:55:53] 677*2^1422770-1 is not prime. Res64: 8355B43525FB4B1E Time : 0.0 sec. user=mdettweiler [2016-03-11 20:55:53] 711*2^1422770-1 is not prime. Res64: ADE3A761112842E5 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:55:54] 635*2^1422770-1 is not prime. Res64: DA7F20D407CB5E4B Time : 0.0 sec. user=mdettweiler [2016-03-11 20:55:55] 827*2^1422770-1 is not prime. Res64: 13589D8C5DE0F55C Time : 0.0 sec. user=mdettweiler [2016-03-11 20:55:55] 657*2^1422770-1 is not prime. Res64: 1E13D487021A6CF8 Time : 0.0 sec. user=mdettweiler [2016-03-11 20:55:55] 857*2^1422770-1 is not prime. Res64: 86C95CF1FD538510 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:13:28] 669*2^1422771-1 is not prime. Res64: 45AD90DA3BB60329 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:13:28] 639*2^1422771-1 is not prime. Res64: 193F1882CD926649 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:13:28] 643*2^1422771-1 is not prime. Res64: D5A16CC91F84DA6A Time : 0.0 sec. user=mdettweiler [2016-03-11 21:13:29] 735*2^1422771-1 is not prime. Res64: 5C9C148E5F94DB19 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:13:29] 981*2^1422770-1 is not prime. Res64: 7D19595EF9B48BC4 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:13:29] 609*2^1422771-1 is not prime. Res64: BF6FF3144622A879 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:31:01] 879*2^1422771-1 is not prime. Res64: 6B11FC92502B587D Time : 0.0 sec. user=mdettweiler [2016-03-11 21:31:01] 783*2^1422771-1 is not prime. Res64: 22096955B5B2A790 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:31:01] 895*2^1422771-1 is not prime. Res64: CB800D067782164C Time : 0.0 sec. user=mdettweiler [2016-03-11 21:31:02] 921*2^1422771-1 is not prime. Res64: 2929B37A4AFC446A Time : 0.0 sec. user=mdettweiler [2016-03-11 21:31:02] 647*2^1422772-1 is not prime. Res64: 726D142F24ACAABF Time : 0.0 sec. user=mdettweiler [2016-03-11 21:31:02] 779*2^1422772-1 is not prime. Res64: 9FB7BD158330AA31 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:48:34] 825*2^1422772-1 is not prime. Res64: 9DF989EC711D7098 Time : 0.0 sec. user=mdettweiler [2016-03-11 21:48:35] 855*2^1422772-1 is not prime. Res64: C16A45497182FDCC Time : 0.0 sec. user=mdettweiler [2016-03-11 21:48:36] 675*2^1422773-1 is not prime. Res64: 774F545F1AB372FC Time : 0.0 sec. user=mdettweiler [2016-03-11 21:48:36] 685*2^1422773-1 is not prime. Res64: F95C8F98D092962E Time : 0.0 sec. user=mdettweiler [2016-03-11 21:48:37] 999*2^1422772-1 is not prime. Res64: 3A78CE88F2EE9F3F Time : 0.0 sec. user=mdettweiler [2016-03-11 21:48:37] 615*2^1422773-1 is not prime. Res64: D00F22422035E5CB Time : 0.0 sec. user=mdettweiler [2016-03-11 22:06:30] 681*2^1422774-1 is not prime. Res64: 6942D3B9BC6626B1 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:06:31] 727*2^1422773-1 is not prime. Res64: F5E2BEEB5D20FDF3 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:06:32] 797*2^1422774-1 is not prime. Res64: 7271C7FF6CC74211 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:06:33] 915*2^1422773-1 is not prime. Res64: D098A4F562B47731 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:06:34] 891*2^1422774-1 is not prime. Res64: 027992F96075E520 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:06:35] 945*2^1422774-1 is not prime. Res64: 499CB20BB28D5A7F Time : 0.0 sec. user=mdettweiler [2016-03-11 22:25:04] 649*2^1422775-1 is not prime. Res64: 3058DCB3801C291B Time : 0.0 sec. user=mdettweiler [2016-03-11 22:25:04] 829*2^1422775-1 is not prime. Res64: 2AEE317B2EB26116 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:25:06] 609*2^1422775-1 is not prime. Res64: 855F72ACA7B69913 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:25:07] 793*2^1422775-1 is not prime. Res64: CDFF6D7CD9A1B913 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:25:07] 843*2^1422775-1 is not prime. Res64: B69E5FC24A24E56F Time : 0.0 sec. user=mdettweiler [2016-03-11 22:25:07] 849*2^1422775-1 is not prime. Res64: 67075DB3753BEA5C Time : 0.0 sec. user=mdettweiler [2016-03-11 22:42:38] 859*2^1422775-1 is not prime. Res64: F2CFE775D81169A4 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:42:39] 951*2^1422775-1 is not prime. Res64: 5232A2F99CA81436 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:42:40] 743*2^1422776-1 is not prime. Res64: CBF3338979D6F239 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:42:40] 759*2^1422776-1 is not prime. Res64: 6D73FD021E9CCF68 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:42:41] 827*2^1422776-1 is not prime. Res64: 0D471CE89A9DF1B0 Time : 0.0 sec. user=mdettweiler [2016-03-11 22:42:41] 855*2^1422776-1 is not prime. Res64: 3E1222956EABF25A Time : 0.0 sec. user=mdettweiler [2016-03-11 23:00:12] 727*2^1422777-1 is not prime. Res64: 26896BD1160F55B1 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:00:13] 875*2^1422776-1 is not prime. Res64: F8EE5F2774C2A39C Time : 0.0 sec. user=mdettweiler [2016-03-11 23:00:13] 735*2^1422777-1 is not prime. Res64: 7C1FCA6949049846 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:00:14] 691*2^1422777-1 is not prime. Res64: B5762034FF621142 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:00:14] 805*2^1422777-1 is not prime. Res64: CD4479309B42FE5E Time : 0.0 sec. user=mdettweiler [2016-03-11 23:00:15] 847*2^1422777-1 is not prime. Res64: F1E7C800301D616B Time : 0.0 sec. user=mdettweiler [2016-03-11 23:17:57] 849*2^1422777-1 is not prime. Res64: 2B03BFB5E6B53358 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:17:57] 773*2^1422778-1 is not prime. Res64: 1475AA479FE82B6D Time : 0.0 sec. user=mdettweiler [2016-03-11 23:17:57] 833*2^1422778-1 is not prime. Res64: 7DF30F10E631E3D0 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:17:58] 885*2^1422777-1 is not prime. Res64: 13D1C6453F1C1F21 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:17:59] 723*2^1422778-1 is not prime. Res64: F8E69B0B39643689 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:17:59] 743*2^1422778-1 is not prime. Res64: A15947EAEF1573F1 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:35:31] 609*2^1422779-1 is not prime. Res64: 992C5DB54A13E56E Time : 0.0 sec. user=mdettweiler [2016-03-11 23:35:31] 891*2^1422778-1 is not prime. Res64: DE5AE7F33ED74C2D Time : 0.0 sec. user=mdettweiler [2016-03-11 23:35:31] 759*2^1422779-1 is not prime. Res64: 435E3A9B7BDEE988 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:35:32] 615*2^1422779-1 is not prime. Res64: EAB34A9BE3709144 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:35:32] 905*2^1422778-1 is not prime. Res64: 6EEC836BE28B8569 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:35:32] 799*2^1422779-1 is not prime. Res64: 949AA24562C1B1E5 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:53:03] 909*2^1422779-1 is not prime. Res64: 5E960EE242CEF985 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:53:03] 719*2^1422780-1 is not prime. Res64: 11D4E07C1408BC41 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:53:04] 635*2^1422780-1 is not prime. Res64: 6A59D033B7B60F22 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:53:04] 993*2^1422779-1 is not prime. Res64: 429A869C0F36983E Time : 0.0 sec. user=mdettweiler [2016-03-11 23:53:04] 893*2^1422780-1 is not prime. Res64: A6F04C5D4EAA0C93 Time : 0.0 sec. user=mdettweiler [2016-03-11 23:53:04] 707*2^1422780-1 is not prime. Res64: 6D23C93C834875C7 Time : 0.0 sec.