user=mdettweiler [2016-12-07 00:06:07] 915*2^1447953-1 is not prime. Res64: 1C52BC451D088021 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:08] 951*2^1447953-1 is not prime. Res64: 51504C70B636B22B Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:11] 617*2^1447954-1 is not prime. Res64: 1E7C48AF1C6E0871 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:12] 677*2^1447954-1 is not prime. Res64: 29F2C79036E58A96 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:14] 891*2^1447954-1 is not prime. Res64: 719108D5AB65F58A Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:16] 825*2^1447954-1 is not prime. Res64: 307BF3B3AFC5B49F Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:17] 951*2^1447954-1 is not prime. Res64: 3282D1CF875531DF Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:18] 651*2^1447955-1 is not prime. Res64: 3EA6AE951614D20C Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:20] 685*2^1447955-1 is not prime. Res64: CD96B2AED0A3CECE Time : 0.0 sec. user=mdettweiler [2016-12-07 00:06:21] 825*2^1447955-1 is not prime. Res64: 32C42B04E9E26BDD Time : 0.0 sec. user=mdettweiler [2016-12-07 00:14:36] 909*2^1447955-1 is not prime. Res64: DA6F12FA62928CEC Time : 0.0 sec. user=mdettweiler [2016-12-07 00:14:37] 921*2^1447955-1 is not prime. Res64: 6A9ED7FFB5EBBDC8 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:14:37] 945*2^1447956-1 is not prime. Res64: 9AF25B87E5DE61C5 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:14:37] 975*2^1447956-1 is not prime. Res64: B4499875B6ABE425 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:14:38] 983*2^1447956-1 is not prime. Res64: 10B6735794A4E570 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:44] 729*2^1447957-1 is not prime. Res64: 61DC8781E9FA496F Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:45] 765*2^1447957-1 is not prime. Res64: 0F5A065CD1FEC9C9 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:45] 849*2^1447957-1 is not prime. Res64: 5CEC404B17C975FC Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:46] 711*2^1447958-1 is not prime. Res64: 244B4BC8E5372B12 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:46] 815*2^1447958-1 is not prime. Res64: 0007DE161E898899 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:48] 875*2^1447958-1 is not prime. Res64: 7641B3FEE49D5308 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:48] 945*2^1447958-1 is not prime. Res64: F7BC1EAC7966D813 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:48] 669*2^1447959-1 is not prime. Res64: D085FAD90DB9BE75 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:49] 703*2^1447959-1 is not prime. Res64: 89E49BC5DEFF72D4 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:50:49] 741*2^1447959-1 is not prime. Res64: 6F510E307BF658A2 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:58:58] 825*2^1447959-1 is not prime. Res64: 1967EA34BF6B9C92 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:58:58] 853*2^1447959-1 is not prime. Res64: 170C9F6B908CD4FC Time : 0.0 sec. user=mdettweiler [2016-12-07 00:58:59] 919*2^1447959-1 is not prime. Res64: C17D5748194D45AB Time : 0.0 sec. user=mdettweiler [2016-12-07 00:58:59] 949*2^1447959-1 is not prime. Res64: 53FED4D57EF4F866 Time : 0.0 sec. user=mdettweiler [2016-12-07 00:58:59] 991*2^1447959-1 is not prime. Res64: D9F325F4AF83EBD3 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:29] 609*2^1447960-1 is not prime. Res64: 3B58F470DFC97D97 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:30] 713*2^1447960-1 is not prime. Res64: 396460FCC5D33A8E Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:30] 825*2^1447960-1 is not prime. Res64: FA0738072AE61E06 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:31] 839*2^1447960-1 is not prime. Res64: C8C0AC17AC55D539 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:31] 873*2^1447960-1 is not prime. Res64: 61F13FD468E5FFA8 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:35] 995*2^1447960-1 is not prime. Res64: 072102506BE31DFD Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:35] 615*2^1447961-1 is not prime. Res64: 0F23640BC9C07647 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:36] 631*2^1447961-1 is not prime. Res64: 9E7E65640AE3EF37 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:36] 685*2^1447961-1 is not prime. Res64: B93969E31C708AB7 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:35:36] 747*2^1447961-1 is not prime. Res64: E52CA857B72CB9EC Time : 0.0 sec. user=mdettweiler [2016-12-07 01:43:41] 769*2^1447961-1 is not prime. Res64: 80A2A4B7171DD691 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:43:42] 777*2^1447961-1 is not prime. Res64: CB83B9A741DDECC2 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:43:43] 867*2^1447961-1 is not prime. Res64: 3429452C89670545 Time : 0.0 sec. user=mdettweiler [2016-12-07 01:43:44] 931*2^1447961-1 is not prime. Res64: 7011EA9107520D1B Time : 0.0 sec. user=mdettweiler [2016-12-07 01:43:45] 627*2^1447962-1 is not prime. Res64: AB89CCB4022FFE44 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:49] 941*2^1447962-1 is not prime. Res64: AEAF30C3C8E27C42 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:50] 951*2^1447962-1 is not prime. Res64: F99856A1A6E39844 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:50] 811*2^1447963-1 is not prime. Res64: AA4032839349EAF0 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:51] 849*2^1447963-1 is not prime. Res64: F65C51049C00E744 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:51] 945*2^1447963-1 is not prime. Res64: 363ABF857A797A55 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:52] 951*2^1447963-1 is not prime. Res64: 8F4132E779ED8B9A Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:52] 961*2^1447963-1 is not prime. Res64: 016C3897CB6F06D2 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:53] 609*2^1447964-1 is not prime. Res64: 1F0F167F52A252E1 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:53] 623*2^1447964-1 is not prime. Res64: DF2A416CF4BC04E8 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:19:53] 629*2^1447964-1 is not prime. Res64: 2B9F507C1F132C21 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:28:04] 677*2^1447964-1 is not prime. Res64: 74E803661CD1B6D8 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:28:05] 743*2^1447964-1 is not prime. Res64: 0C293190689943F2 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:28:05] 843*2^1447964-1 is not prime. Res64: 821D73F313E4C075 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:28:06] 903*2^1447964-1 is not prime. Res64: 8A4CAAD1E607CBC7 Time : 0.0 sec. user=mdettweiler [2016-12-07 02:28:06] 993*2^1447964-1 is not prime. Res64: A6E70699C7FFB335 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:04:11] 655*2^1447965-1 is not prime. Res64: 368A680FA812A121 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:04:13] 859*2^1447965-1 is not prime. Res64: 0D4D794D361D5DC1 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:04:16] 685*2^1447965-1 is not prime. Res64: C42A1BB0777EEE20 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:04:20] 781*2^1447965-1 is not prime. Res64: E42CD7560C7BEDFA Time : 0.0 sec. user=mdettweiler [2016-12-07 03:04:32] 895*2^1447965-1 is not prime. Res64: 1B62935AD3B8B382 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:12:38] 705*2^1447966-1 is not prime. Res64: 06D17D9F72770F6D Time : 0.0 sec. user=mdettweiler [2016-12-07 03:12:40] 821*2^1447966-1 is not prime. Res64: 0BEB5B870C13264E Time : 0.0 sec. user=mdettweiler [2016-12-07 03:12:42] 843*2^1447966-1 is not prime. Res64: C086149F93990EAE Time : 0.0 sec. user=mdettweiler [2016-12-07 03:12:43] 887*2^1447966-1 is not prime. Res64: 932283245FFE3800 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:12:45] 945*2^1447966-1 is not prime. Res64: 51F0642F41D727CD Time : 0.0 sec. user=mdettweiler [2016-12-07 03:58:37] 615*2^1447967-1 is not prime. Res64: 798E3AE2DF2F4F31 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:58:39] 759*2^1447967-1 is not prime. Res64: F812100564458E1A Time : 0.0 sec. user=mdettweiler [2016-12-07 03:58:40] 813*2^1447967-1 is not prime. Res64: A7208E5B152BA949 Time : 0.0 sec. user=mdettweiler [2016-12-07 03:58:41] 861*2^1447967-1 is not prime. Res64: 67506E50D4800ABE Time : 0.0 sec. user=mdettweiler [2016-12-07 03:58:42] 913*2^1447967-1 is not prime. Res64: 0319C9BC6CCAE0A9 Time : 0.0 sec. user=mdettweiler [2016-12-07 04:44:16] 963*2^1447967-1 is not prime. Res64: 09837AD7A0D1E5D7 Time : 0.0 sec. user=mdettweiler [2016-12-07 04:44:16] 985*2^1447967-1 is not prime. Res64: 38B457CA577354FA Time : 0.0 sec. user=mdettweiler [2016-12-07 04:44:17] 635*2^1447968-1 is not prime. Res64: 3C6710BC93ADD8E8 Time : 0.0 sec. user=mdettweiler [2016-12-07 04:44:17] 753*2^1447968-1 is not prime. Res64: 9AC0A3FD1E8AFBA9 Time : 0.0 sec. user=mdettweiler [2016-12-07 04:44:18] 765*2^1447968-1 is not prime. Res64: 3040171E4C17B8BA Time : 0.0 sec. user=mdettweiler [2016-12-07 05:29:40] 825*2^1447968-1 is not prime. Res64: 6411E562A7B6CA43 Time : 0.0 sec. user=mdettweiler [2016-12-07 05:29:40] 837*2^1447968-1 is not prime. Res64: 1DA4815BB1E2D641 Time : 0.0 sec. user=mdettweiler [2016-12-07 05:29:40] 845*2^1447968-1 is not prime. Res64: 0718FB918E7944CC Time : 0.0 sec. user=mdettweiler [2016-12-07 05:29:41] 905*2^1447968-1 is not prime. Res64: 12A0A13575D692E9 Time : 0.0 sec. user=mdettweiler [2016-12-07 05:29:41] 909*2^1447968-1 is not prime. Res64: 832FA24081CAB842 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:15:03] 959*2^1447968-1 is not prime. Res64: 81C64D556A25282A Time : 0.0 sec. user=mdettweiler [2016-12-07 06:15:04] 601*2^1447969-1 is not prime. Res64: 84E5F44388B803F8 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:15:04] 609*2^1447969-1 is not prime. Res64: ACC01D4EC50A0C45 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:15:05] 679*2^1447969-1 is not prime. Res64: 1728DF998A3E1483 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:15:05] 681*2^1447969-1 is not prime. Res64: FC082D1D956D6AF3 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:47:12] 921*2^1447965-1 is not prime. Res64: 155EAA987C73D537 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:47:13] 985*2^1447965-1 is not prime. Res64: 6BBED3127E08C6F5 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:47:13] 653*2^1447966-1 is not prime. Res64: 5CCC3FBE65891B2D Time : 0.0 sec. user=mdettweiler [2016-12-07 06:53:02] 817*2^1447965-1 is not prime. Res64: A4AC4C726FB4B702 Time : 0.0 sec. user=mdettweiler [2016-12-07 06:53:02] 819*2^1447965-1 is not prime. Res64: 857DCEC3F5001C0E Time : 0.0 sec. user=mdettweiler [2016-12-07 07:00:13] 685*2^1447969-1 is not prime. Res64: 17BA180114078A91 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:00:14] 771*2^1447969-1 is not prime. Res64: 828D33C9E9F1288C Time : 0.0 sec. user=mdettweiler [2016-12-07 07:00:15] 847*2^1447969-1 is not prime. Res64: 1A89AF234696A545 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:00:17] 885*2^1447969-1 is not prime. Res64: FC80D11CB9A6CC3D Time : 0.0 sec. user=mdettweiler [2016-12-07 07:00:18] 919*2^1447969-1 is not prime. Res64: FFCEF32844903ECF Time : 0.0 sec. user=mdettweiler [2016-12-07 07:31:32] 797*2^1447970-1 is not prime. Res64: 175C39734ED4A42C Time : 0.0 sec. user=mdettweiler [2016-12-07 07:31:32] 861*2^1447970-1 is not prime. Res64: 6AD8334531DCC8D7 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:31:33] 885*2^1447970-1 is not prime. Res64: 3057F0E061404C9F Time : 0.0 sec. user=mdettweiler [2016-12-07 07:31:33] 893*2^1447970-1 is not prime. Res64: B04B56720F77A20F Time : 0.0 sec. user=mdettweiler [2016-12-07 07:31:34] 911*2^1447970-1 is not prime. Res64: DCD947ADFF3FE4E1 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:37:17] 613*2^1447971-1 is not prime. Res64: A19156B29BC4D0EA Time : 0.0 sec. user=mdettweiler [2016-12-07 07:37:17] 625*2^1447971-1 is not prime. Res64: 01B4A6DC1F7EA506 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:37:18] 639*2^1447971-1 is not prime. Res64: E7831A900F313A81 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:37:18] 651*2^1447971-1 is not prime. Res64: AC6BABBB83091B0D Time : 0.0 sec. user=mdettweiler [2016-12-07 07:37:19] 735*2^1447971-1 is not prime. Res64: 998967057C51F5B1 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:44:34] 775*2^1447971-1 is not prime. Res64: 941B4B5E97C3C6ED Time : 0.0 sec. user=mdettweiler [2016-12-07 07:44:34] 849*2^1447971-1 is not prime. Res64: 29EA5BEA48BF1CA4 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:44:35] 871*2^1447971-1 is not prime. Res64: 4932FE7222B32F13 Time : 0.0 sec. user=mdettweiler [2016-12-07 07:44:35] 873*2^1447971-1 is not prime. Res64: 78A80E41CE201A0E Time : 0.0 sec. user=mdettweiler [2016-12-07 07:44:35] 903*2^1447971-1 is not prime. Res64: 5363CD3CB4F954C7 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:15:50] 677*2^1447972-1 is not prime. Res64: E93C415F20EA095D Time : 0.0 sec. user=mdettweiler [2016-12-07 08:15:51] 735*2^1447972-1 is not prime. Res64: 1D8D233FE317DF90 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:15:51] 803*2^1447972-1 is not prime. Res64: 05B2233899EC49D2 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:15:51] 863*2^1447972-1 is not prime. Res64: C55CB6C27BECD4EE Time : 0.0 sec. user=mdettweiler [2016-12-07 08:15:52] 887*2^1447972-1 is not prime. Res64: F6B84C17C3F00214 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:21:34] 899*2^1447972-1 is not prime. Res64: 6DDFA57655297981 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:21:35] 939*2^1447972-1 is not prime. Res64: 18878ABB779E1E8A Time : 0.0 sec. user=mdettweiler [2016-12-07 08:21:36] 771*2^1447973-1 is not prime. Res64: 2D5ABC4F7971D5DC Time : 0.0 sec. user=mdettweiler [2016-12-07 08:21:36] 795*2^1447973-1 is not prime. Res64: 7BFCC12F8BA58566 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:21:37] 861*2^1447973-1 is not prime. Res64: 21A0FAE6B4A36B37 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:28:52] 915*2^1447973-1 is not prime. Res64: E39D89CCD55BB350 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:28:52] 693*2^1447974-1 is not prime. Res64: AA2A112EF04F3253 Time : 0.0 sec. user=mdettweiler [2016-12-07 08:28:53] 707*2^1447974-1 is not prime. Res64: 6152F7704C270A2C Time : 0.0 sec. user=mdettweiler [2016-12-07 08:28:53] 791*2^1447974-1 is not prime. Res64: FE65954FB1AA4F6E Time : 0.0 sec. user=mdettweiler [2016-12-07 08:28:53] 881*2^1447974-1 is not prime. Res64: 80A50A140F313605 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:00:07] 975*2^1447974-1 is not prime. Res64: 4A719993273CAA55 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:00:08] 651*2^1447975-1 is not prime. Res64: E54CD7D83986C838 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:00:08] 741*2^1447975-1 is not prime. Res64: CBF0B6947D8724AC Time : 0.0 sec. user=mdettweiler [2016-12-07 09:00:09] 843*2^1447975-1 is not prime. Res64: 8E241ABA5B8B1757 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:00:09] 961*2^1447975-1 is not prime. Res64: 95B9DF83DBDF8D34 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:05:51] 969*2^1447975-1 is not prime. Res64: AAA9265B51A65C87 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:05:52] 629*2^1447976-1 is not prime. Res64: FEFD0DEA66259284 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:05:53] 747*2^1447976-1 is not prime. Res64: 8CCDCD74F87AFD24 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:05:54] 777*2^1447976-1 is not prime. Res64: B76B69B579523D5E Time : 0.0 sec. user=mdettweiler [2016-12-07 09:05:54] 825*2^1447976-1 is not prime. Res64: 928869BE39327F14 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:13:09] 833*2^1447976-1 is not prime. Res64: 90A8E01AC8911FB2 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:13:10] 935*2^1447976-1 is not prime. Res64: 1C95D7FFF50FA5EC Time : 0.0 sec. user=mdettweiler [2016-12-07 09:13:10] 609*2^1447977-1 is not prime. Res64: 2304676B52715AA9 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:13:10] 667*2^1447977-1 is not prime. Res64: 8C265A1123EA009A Time : 0.0 sec. user=mdettweiler [2016-12-07 09:13:11] 741*2^1447977-1 is not prime. Res64: 0449DA9CF56363F8 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:44:26] 747*2^1447977-1 is not prime. Res64: 77CE537367679F03 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:44:26] 849*2^1447977-1 is not prime. Res64: FC5CD955E4A32475 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:44:26] 885*2^1447977-1 is not prime. Res64: E91312B192CEF556 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:44:27] 621*2^1447978-1 is not prime. Res64: A541D071730A12E6 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:44:27] 723*2^1447978-1 is not prime. Res64: 671A841F7F86425F Time : 0.0 sec. user=mdettweiler [2016-12-07 09:50:17] 765*2^1447978-1 is not prime. Res64: 1C8B7A1EA720F158 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:50:17] 905*2^1447978-1 is not prime. Res64: 67B5E2E041635041 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:50:17] 995*2^1447978-1 is not prime. Res64: 5449D5F2C6404A73 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:50:18] 799*2^1447979-1 is not prime. Res64: 9D619B65CF13065C Time : 0.0 sec. user=mdettweiler [2016-12-07 09:50:18] 895*2^1447979-1 is not prime. Res64: 5407D78B6C203854 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:57:27] 627*2^1447980-1 is not prime. Res64: BE67DDBD0A6C481B Time : 0.0 sec. user=mdettweiler [2016-12-07 09:57:27] 783*2^1447980-1 is not prime. Res64: 39796707C59E0070 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:57:27] 843*2^1447980-1 is not prime. Res64: 2DCCD442B4E4A922 Time : 0.0 sec. user=mdettweiler [2016-12-07 09:57:28] 875*2^1447980-1 is not prime. Res64: 98607DF90C4D63EC Time : 0.0 sec. user=mdettweiler [2016-12-07 09:57:28] 899*2^1447980-1 is not prime. Res64: 0E4C12C19AD2C1DC Time : 0.0 sec. user=mdettweiler [2016-12-07 10:28:45] 957*2^1447981-1 is not prime. Res64: 516F53F6A38039EC Time : 0.0 sec. user=mdettweiler [2016-12-07 10:28:46] 987*2^1447981-1 is not prime. Res64: 3C34962799C9CA68 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:28:46] 627*2^1447982-1 is not prime. Res64: B3ED14EE04DA86D2 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:28:47] 651*2^1447982-1 is not prime. Res64: 6EB4237394C54F3E Time : 0.0 sec. user=mdettweiler [2016-12-07 10:28:47] 713*2^1447982-1 is not prime. Res64: 798BD365F371077D Time : 0.0 sec. user=mdettweiler [2016-12-07 10:34:37] 731*2^1447982-1 is not prime. Res64: DEC0288AFEE597B3 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:34:37] 797*2^1447982-1 is not prime. Res64: 84981824A3BC184A Time : 0.0 sec. user=mdettweiler [2016-12-07 10:34:38] 827*2^1447982-1 is not prime. Res64: D7C4BB8A617BEB30 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:34:38] 885*2^1447982-1 is not prime. Res64: FA6EE9FA56D3AFD7 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:34:39] 893*2^1447982-1 is not prime. Res64: 5A30C1328E8D63F3 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:41:48] 963*2^1447982-1 is not prime. Res64: 6ED1D6DA076191AE Time : 0.0 sec. user=mdettweiler [2016-12-07 10:41:49] 675*2^1447983-1 is not prime. Res64: 2B4A8E873D6D8D59 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:41:49] 879*2^1447983-1 is not prime. Res64: BBDCCF672B51A23D Time : 0.0 sec. user=mdettweiler [2016-12-07 10:41:49] 961*2^1447983-1 is not prime. Res64: 81C48D81F7DE1504 Time : 0.0 sec. user=mdettweiler [2016-12-07 10:41:50] 675*2^1447984-1 is not prime. Res64: 4EBA60184B7E8453 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:13:06] 707*2^1447984-1 is not prime. Res64: D7E97C1BAEDB29C9 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:13:10] 785*2^1447984-1 is not prime. Res64: 8D674FE555B58F3E Time : 0.0 sec. user=mdettweiler [2016-12-07 11:13:13] 887*2^1447984-1 is not prime. Res64: F37197D82222BE49 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:13:16] 983*2^1447984-1 is not prime. Res64: B8F59083F9773A33 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:13:19] 699*2^1447985-1 is not prime. Res64: 95F0D070787D5112 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:18:59] 705*2^1447985-1 is not prime. Res64: 0537B33EF0D2D441 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:18:59] 781*2^1447985-1 is not prime. Res64: 03D1965C8E39C037 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:18:59] 811*2^1447985-1 is not prime. Res64: FD66D4F3F3BA14DA Time : 0.0 sec. user=mdettweiler [2016-12-07 11:19:00] 871*2^1447985-1 is not prime. Res64: 9EB1D7185E750528 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:19:00] 885*2^1447985-1 is not prime. Res64: F80045C86F1C07F4 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:26:08] 889*2^1447985-1 is not prime. Res64: 40BA1FEA817E16B1 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:26:08] 957*2^1447985-1 is not prime. Res64: 14B9E6CB52668158 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:26:08] 641*2^1447986-1 is not prime. Res64: 905B75ECFB9F98B4 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:26:09] 747*2^1447986-1 is not prime. Res64: 490844E501F0C935 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:26:09] 815*2^1447986-1 is not prime. Res64: 0BDBD72576BA4BBE Time : 0.0 sec. user=mdettweiler [2016-12-07 11:58:11] 833*2^1447986-1 is not prime. Res64: 71223217D23AB14D Time : 0.0 sec. user=mdettweiler [2016-12-07 11:58:12] 851*2^1447986-1 is not prime. Res64: E6F65A2BD418E863 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:58:12] 873*2^1447986-1 is not prime. Res64: 59743BDA0C25D270 Time : 0.0 sec. user=mdettweiler [2016-12-07 11:58:12] 893*2^1447986-1 is not prime. Res64: A6FE32111FDAC8FA Time : 0.0 sec. user=mdettweiler [2016-12-07 11:58:12] 903*2^1447986-1 is not prime. Res64: 9C94A776CC14DB82 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:03:34] 917*2^1447986-1 is not prime. Res64: 5560DBF6408111A5 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:03:35] 947*2^1447986-1 is not prime. Res64: 218F8C045B8EB6B8 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:03:36] 685*2^1447987-1 is not prime. Res64: 61E5D96ADA792DDA Time : 0.0 sec. user=mdettweiler [2016-12-07 12:03:36] 715*2^1447987-1 is not prime. Res64: EC7AE1C3698B9D92 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:03:37] 741*2^1447987-1 is not prime. Res64: BB8C9A28C110E68E Time : 0.0 sec. user=mdettweiler [2016-12-07 12:11:16] 751*2^1447987-1 is not prime. Res64: F64DB3DB02D31D49 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:11:17] 793*2^1447987-1 is not prime. Res64: 1AB62F33D24309FC Time : 0.0 sec. user=mdettweiler [2016-12-07 12:11:17] 843*2^1447987-1 is not prime. Res64: 9C513863CBFF45D6 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:11:18] 891*2^1447987-1 is not prime. Res64: 8E04836908C36932 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:11:18] 973*2^1447987-1 is not prime. Res64: 1C1C289F31A1DF4B Time : 0.0 sec. user=mdettweiler [2016-12-07 12:44:30] 975*2^1447987-1 is not prime. Res64: 83513902F3A4DFC0 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:44:30] 993*2^1447987-1 is not prime. Res64: B6CB1D348125FB51 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:44:31] 603*2^1447988-1 is not prime. Res64: 3AADAFF22E85FAF0 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:44:31] 699*2^1447988-1 is not prime. Res64: E5B883E6731251DF Time : 0.0 sec. user=mdettweiler [2016-12-07 12:44:31] 837*2^1447988-1 is not prime. Res64: 4C3D2EA95FEEE465 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:50:08] 963*2^1447988-1 is not prime. Res64: 5726DA9FC612AEE8 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:50:09] 987*2^1447988-1 is not prime. Res64: 00ACF4A6F830879E Time : 0.0 sec. user=mdettweiler [2016-12-07 12:50:09] 615*2^1447989-1 is not prime. Res64: A6C170C3AD6349A7 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:50:09] 649*2^1447989-1 is not prime. Res64: D35A2511A1DB367A Time : 0.0 sec. user=mdettweiler [2016-12-07 12:50:09] 709*2^1447989-1 is not prime. Res64: 35DEF1D4FAD2BC3C Time : 0.0 sec. user=mdettweiler [2016-12-07 12:57:12] 727*2^1447989-1 is not prime. Res64: 740B5F6311E3608A Time : 0.0 sec. user=mdettweiler [2016-12-07 12:57:12] 741*2^1447989-1 is not prime. Res64: 19AFA4496113FB26 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:57:12] 837*2^1447989-1 is not prime. Res64: 06A86FFFF7ACBEF5 Time : 0.0 sec. user=mdettweiler [2016-12-07 12:57:13] 861*2^1447989-1 is not prime. Res64: 921435CB1DD9F9FD Time : 0.0 sec. user=mdettweiler [2016-12-07 12:57:13] 895*2^1447989-1 is not prime. Res64: 85D9ADEB6F0573EE Time : 0.0 sec. user=mdettweiler [2016-12-07 13:29:39] 949*2^1447989-1 is not prime. Res64: 429537D3C0EC6CD1 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:29:39] 951*2^1447989-1 is not prime. Res64: 4D6A5DD70C95C566 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:29:39] 605*2^1447990-1 is not prime. Res64: 9CBC556675A87B3F Time : 0.0 sec. user=mdettweiler [2016-12-07 13:29:40] 611*2^1447990-1 is not prime. Res64: B7DEC779F4654370 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:29:40] 647*2^1447990-1 is not prime. Res64: C0E8B3BC7CB78D9D Time : 0.0 sec. user=mdettweiler [2016-12-07 13:41:56] 755*2^1447990-1 is not prime. Res64: 4DAE39482F75453B Time : 0.0 sec. user=mdettweiler [2016-12-07 13:41:57] 813*2^1447990-1 is not prime. Res64: C800C2518484324C Time : 0.0 sec. user=mdettweiler [2016-12-07 13:41:57] 833*2^1447990-1 is not prime. Res64: FEAAD8825A574FD8 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:41:57] 843*2^1447990-1 is not prime. Res64: 26506508FBB8BB58 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:41:58] 863*2^1447990-1 is not prime. Res64: 3ECE206B603F9086 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:50:47] 867*2^1447990-1 is not prime. Res64: D9C5E135131440C0 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:50:47] 885*2^1447990-1 is not prime. Res64: 5D22689074E6BE7E Time : 0.0 sec. user=mdettweiler [2016-12-07 13:50:48] 965*2^1447990-1 is not prime. Res64: A31CC8D1097B1E3C Time : 0.0 sec. user=mdettweiler [2016-12-07 13:50:48] 1001*2^1447990-1 is not prime. Res64: 9311BED76F0EE215 Time : 0.0 sec. user=mdettweiler [2016-12-07 13:50:48] 693*2^1447991-1 is not prime. Res64: B17C5F8BFCF7135E Time : 0.0 sec. user=mdettweiler [2016-12-07 14:17:30] 753*2^1447991-1 is not prime. Res64: CA1E754E828F7BF9 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:17:30] 813*2^1447991-1 is not prime. Res64: 62D580A060E7237D Time : 0.0 sec. user=mdettweiler [2016-12-07 14:17:30] 841*2^1447991-1 is not prime. Res64: 88B0C951A926A761 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:17:31] 949*2^1447991-1 is not prime. Res64: 4D2C4705081B527F Time : 0.0 sec. user=mdettweiler [2016-12-07 14:17:31] 713*2^1447992-1 is not prime. Res64: 07B8E4AD55836ECD Time : 0.0 sec. user=mdettweiler [2016-12-07 14:26:10] 719*2^1447992-1 is not prime. Res64: 52DEAE6FAF2961DD Time : 0.0 sec. user=mdettweiler [2016-12-07 14:26:10] 767*2^1447992-1 is not prime. Res64: E13CF398FFFAC3F6 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:26:11] 983*2^1447992-1 is not prime. Res64: E377C166AEBD0C63 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:26:11] 679*2^1447993-1 is not prime. Res64: 833B549B333922B0 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:26:11] 681*2^1447993-1 is not prime. Res64: DD6AA62F453682F3 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:35:01] 687*2^1447993-1 is not prime. Res64: E651AA255517575D Time : 0.0 sec. user=mdettweiler [2016-12-07 14:35:01] 705*2^1447993-1 is not prime. Res64: ADD0A1A682ED04D9 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:35:01] 849*2^1447993-1 is not prime. Res64: B981CCC3C372F1C4 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:35:02] 967*2^1447993-1 is not prime. Res64: C5FE9B280D6897F9 Time : 0.0 sec. user=mdettweiler [2016-12-07 14:35:02] 815*2^1447994-1 is not prime. Res64: D5C9DA673BE4E4BD Time : 0.0 sec. user=mdettweiler [2016-12-07 15:01:43] 875*2^1447994-1 is not prime. Res64: 69EAF013CEE1643A Time : 0.0 sec. user=mdettweiler [2016-12-07 15:01:44] 705*2^1447995-1 is not prime. Res64: 7A1336717B236647 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:01:45] 783*2^1447995-1 is not prime. Res64: 4BFFAD57765F962D Time : 0.0 sec. user=mdettweiler [2016-12-07 15:01:46] 859*2^1447995-1 is not prime. Res64: 23C572C6FD0A9860 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:01:47] 963*2^1447995-1 is not prime. Res64: BDF5E1F1164877FE Time : 0.0 sec. user=mdettweiler [2016-12-07 15:10:24] 755*2^1447996-1 is not prime. Res64: 612A8658B50110E0 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:10:26] 807*2^1447996-1 is not prime. Res64: 861AD008487FA0C3 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:10:28] 905*2^1447996-1 is not prime. Res64: 5623303237BF3833 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:10:29] 923*2^1447996-1 is not prime. Res64: E9F55B62A545494A Time : 0.0 sec. user=mdettweiler [2016-12-07 15:10:31] 717*2^1447997-1 is not prime. Res64: C4C5F51593AADBBC Time : 0.0 sec. user=mdettweiler [2016-12-07 15:19:14] 741*2^1447997-1 is not prime. Res64: A8A09789DA232820 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:19:15] 759*2^1447997-1 is not prime. Res64: 46C60078C5C00853 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:19:16] 847*2^1447997-1 is not prime. Res64: 045C1EA90420E12D Time : 0.0 sec. user=mdettweiler [2016-12-07 15:19:17] 901*2^1447997-1 is not prime. Res64: F7F78AD8FF09D6B5 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:19:17] 949*2^1447997-1 is not prime. Res64: BCCD585479D7636B Time : 0.0 sec. user=mdettweiler [2016-12-07 15:46:12] 611*2^1447998-1 is not prime. Res64: 130DBF096264D850 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:46:12] 755*2^1447998-1 is not prime. Res64: 87E722738C4AE94A Time : 0.0 sec. user=mdettweiler [2016-12-07 15:46:13] 797*2^1447998-1 is not prime. Res64: 765C8F2CD0EA433B Time : 0.0 sec. user=mdettweiler [2016-12-07 15:46:13] 927*2^1447998-1 is not prime. Res64: 95D91BEF6E4A2F73 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:46:13] 625*2^1447999-1 is not prime. Res64: B79C21978C891906 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:54:57] 679*2^1447999-1 is not prime. Res64: 866D43BFD00A5C8A Time : 0.0 sec. user=mdettweiler [2016-12-07 15:54:57] 703*2^1447999-1 is not prime. Res64: 3ED38141047B51F3 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:54:58] 645*2^1448000-1 is not prime. Res64: D6ED22581357570D Time : 0.0 sec. user=mdettweiler [2016-12-07 15:54:58] 669*2^1448000-1 is not prime. Res64: 894F106841D9EEA3 Time : 0.0 sec. user=mdettweiler [2016-12-07 15:54:58] 675*2^1448000-1 is not prime. Res64: 17E96070EE7AF911 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:03:34] 755*2^1448000-1 is not prime. Res64: 6B4B3A67D437ADF5 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:03:36] 819*2^1448000-1 is not prime. Res64: AC93E2526978A456 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:03:37] 857*2^1448000-1 is not prime. Res64: 3BC23337D0ECA114 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:03:38] 983*2^1448000-1 is not prime. Res64: 631F2C16AE505019 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:03:39] 649*2^1448001-1 is not prime. Res64: 3CE6602893DD5A42 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:30:48] 691*2^1448001-1 is not prime. Res64: 76795699B02D1416 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:30:48] 741*2^1448001-1 is not prime. Res64: 20163AFC04FB2D96 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:30:48] 829*2^1448001-1 is not prime. Res64: 1DBB565E23D8817E Time : 0.0 sec. user=mdettweiler [2016-12-07 16:30:49] 889*2^1448001-1 is not prime. Res64: ED86A1066E52CDBA Time : 0.0 sec. user=mdettweiler [2016-12-07 16:30:49] 765*2^1448002-1 is not prime. Res64: FB78C21537CEC426 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:39:45] 801*2^1448002-1 is not prime. Res64: EDCAB58F604EA136 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:39:45] 815*2^1448002-1 is not prime. Res64: 4D576277FCF28459 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:39:45] 923*2^1448002-1 is not prime. Res64: A0C17CBAF07BED5C Time : 0.0 sec. user=mdettweiler [2016-12-07 16:39:46] 945*2^1448002-1 is not prime. Res64: A647E10AE7DEDA42 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:39:46] 669*2^1448003-1 is not prime. Res64: 79AB61ABC4B1C18B Time : 0.0 sec. user=mdettweiler [2016-12-07 16:48:47] 703*2^1448003-1 is not prime. Res64: 9BD13FC906006E8E Time : 0.0 sec. user=mdettweiler [2016-12-07 16:48:47] 705*2^1448003-1 is not prime. Res64: D8170B7874D747A8 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:48:48] 889*2^1448003-1 is not prime. Res64: 48ED732E8B085395 Time : 0.0 sec. user=mdettweiler [2016-12-07 16:48:48] 915*2^1448003-1 is not prime. Res64: 91C14484A7A887DD Time : 0.0 sec. user=mdettweiler [2016-12-07 16:48:48] 943*2^1448003-1 is not prime. Res64: DB415E52AED55D1C Time : 0.0 sec. user=mdettweiler [2016-12-07 17:17:44] 985*2^1448003-1 is not prime. Res64: CBD07FFFFFA8C875 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:17:44] 627*2^1448004-1 is not prime. Res64: 86D223094F225038 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:17:45] 657*2^1448004-1 is not prime. Res64: CCBD95296545EFB8 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:17:45] 693*2^1448004-1 is not prime. Res64: 96C38BED805EBA7E Time : 0.0 sec. user=mdettweiler [2016-12-07 17:17:46] 783*2^1448004-1 is not prime. Res64: BF03BFCED98D996A Time : 0.0 sec. user=mdettweiler [2016-12-07 17:26:58] 887*2^1448004-1 is not prime. Res64: 9E68F0380B442BF3 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:26:59] 903*2^1448004-1 is not prime. Res64: 394270637056B512 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:26:59] 909*2^1448004-1 is not prime. Res64: AFB3531A662BEFCF Time : 0.0 sec. user=mdettweiler [2016-12-07 17:26:59] 959*2^1448004-1 is not prime. Res64: 1AB7EA4D880677D3 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:27:00] 969*2^1448004-1 is not prime. Res64: F89ABF640E0115B3 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:35:41] 649*2^1448005-1 is not prime. Res64: 4981D0DB5F0C1EA9 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:35:42] 651*2^1448005-1 is not prime. Res64: 1BB54AFC67FD02DA Time : 0.0 sec. user=mdettweiler [2016-12-07 17:35:43] 771*2^1448005-1 is not prime. Res64: 8543D65F41682CD7 Time : 0.0 sec. user=mdettweiler [2016-12-07 17:35:44] 663*2^1448006-1 is not prime. Res64: 664D2163C3C7A03C Time : 0.0 sec. user=mdettweiler [2016-12-07 17:35:46] 705*2^1448006-1 is not prime. Res64: 1CADEED2EA2D7C4B Time : 0.0 sec. user=mdettweiler [2016-12-07 18:02:30] 717*2^1448006-1 is not prime. Res64: 205593FBA74BDBD0 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:02:31] 813*2^1448006-1 is not prime. Res64: E4EAE6A50DD9E347 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:02:32] 873*2^1448006-1 is not prime. Res64: CF0F4AB6538C8464 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:02:32] 935*2^1448006-1 is not prime. Res64: FB0E1D9CC1A2CCE7 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:02:33] 941*2^1448006-1 is not prime. Res64: 6728560F6EDDAE4E Time : 0.0 sec. user=mdettweiler [2016-12-07 18:11:19] 793*2^1448007-1 is not prime. Res64: 9B7EA9190665549A Time : 0.0 sec. user=mdettweiler [2016-12-07 18:11:20] 805*2^1448007-1 is not prime. Res64: 9B0508DACD8FD160 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:11:20] 865*2^1448007-1 is not prime. Res64: 88D950FF17755095 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:11:20] 873*2^1448007-1 is not prime. Res64: 843EDB46644D88EB Time : 0.0 sec. user=mdettweiler [2016-12-07 18:11:21] 931*2^1448007-1 is not prime. Res64: 625E39AB37030AF5 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:20:11] 687*2^1448008-1 is not prime. Res64: 0514F82BC61493C1 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:20:11] 695*2^1448008-1 is not prime. Res64: 8A1D965A78027E9C Time : 0.0 sec. user=mdettweiler [2016-12-07 18:20:12] 705*2^1448008-1 is not prime. Res64: CC9BC3D0E369483E Time : 0.0 sec. user=mdettweiler [2016-12-07 18:20:12] 843*2^1448008-1 is not prime. Res64: EB2C4D38F2A4C203 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:20:12] 855*2^1448008-1 is not prime. Res64: BBD144B094B8C32D Time : 0.0 sec. user=mdettweiler [2016-12-07 18:48:08] 887*2^1448008-1 is not prime. Res64: 2C7E6D756F8E997B Time : 0.0 sec. user=mdettweiler [2016-12-07 18:48:08] 927*2^1448008-1 is not prime. Res64: 1AC64A06E456272A Time : 0.0 sec. user=mdettweiler [2016-12-07 18:48:09] 969*2^1448008-1 is not prime. Res64: 4192D0832406B1EB Time : 0.0 sec. user=mdettweiler [2016-12-07 18:48:09] 727*2^1448009-1 is not prime. Res64: FF3B8D947CA980E4 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:48:09] 885*2^1448009-1 is not prime. Res64: 6CB8B3B0FE7E92D9 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:56:50] 985*2^1448009-1 is not prime. Res64: 823C5CF391F85410 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:56:50] 825*2^1448010-1 is not prime. Res64: 6D4329928747F0D7 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:56:51] 921*2^1448010-1 is not prime. Res64: 8B065F2556644092 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:56:51] 945*2^1448010-1 is not prime. Res64: 9487BACB801FDE17 Time : 0.0 sec. user=mdettweiler [2016-12-07 18:56:51] 619*2^1448011-1 is not prime. Res64: 0B74793897A35D33 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:05:41] 673*2^1448011-1 is not prime. Res64: A7C84D168CCA12E1 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:05:43] 735*2^1448011-1 is not prime. Res64: EAAE4C28444D8EAA Time : 0.0 sec. user=mdettweiler [2016-12-07 19:05:44] 805*2^1448011-1 is not prime. Res64: 8AA9851F9AEB1ECC Time : 0.0 sec. user=mdettweiler [2016-12-07 19:05:45] 849*2^1448011-1 is not prime. Res64: B9DAD5457305D869 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:05:46] 951*2^1448011-1 is not prime. Res64: 95EC4DB2C615EC02 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:33:16] 961*2^1448011-1 is not prime. Res64: E466D1B9A3610793 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:33:16] 657*2^1448012-1 is not prime. Res64: E8515339AB6584B9 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:33:17] 725*2^1448012-1 is not prime. Res64: 2EF9D58CC131380D Time : 0.0 sec. user=mdettweiler [2016-12-07 19:33:17] 797*2^1448012-1 is not prime. Res64: 81B304CFE2DE76A0 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:33:17] 819*2^1448012-1 is not prime. Res64: 77CBE75A141A087E Time : 0.0 sec. user=mdettweiler [2016-12-07 19:42:17] 867*2^1448012-1 is not prime. Res64: BE1D0F780E5B4EBE Time : 0.0 sec. user=mdettweiler [2016-12-07 19:42:17] 873*2^1448012-1 is not prime. Res64: 91AAFF85C1657836 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:42:17] 893*2^1448012-1 is not prime. Res64: 23A2A3B12344C95E Time : 0.0 sec. user=mdettweiler [2016-12-07 19:42:18] 963*2^1448012-1 is not prime. Res64: 7D9C49D34296C2A7 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:42:18] 627*2^1448013-1 is not prime. Res64: E592F3B9AA7EB444 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:51:44] 751*2^1448013-1 is not prime. Res64: EA9E47BFA7904FB5 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:51:44] 765*2^1448013-1 is not prime. Res64: 08FB424ABA485661 Time : 0.0 sec. user=mdettweiler [2016-12-07 19:51:44] 885*2^1448013-1 is not prime. Res64: 2832A6109F22EC9A Time : 0.0 sec. user=mdettweiler [2016-12-07 19:51:44] 949*2^1448013-1 is not prime. Res64: 3301F41A95AE954D Time : 0.0 sec. user=mdettweiler [2016-12-07 19:51:45] 991*2^1448013-1 is not prime. Res64: 6C82727E23CDC782 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:19:07] 635*2^1448014-1 is not prime. Res64: 55740AB3AD1BC6F6 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:19:08] 645*2^1448014-1 is not prime. Res64: 84700203CD23352B Time : 0.0 sec. user=mdettweiler [2016-12-07 20:19:08] 707*2^1448014-1 is not prime. Res64: 6B755EC7A1295875 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:19:08] 783*2^1448014-1 is not prime. Res64: DD0568841BB9F6FD Time : 0.0 sec. user=mdettweiler [2016-12-07 20:19:09] 791*2^1448014-1 is not prime. Res64: 0CA30BB115548525 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:28:14] 891*2^1448014-1 is not prime. Res64: 4F7B4A499F8D4A2C Time : 0.0 sec. user=mdettweiler [2016-12-07 20:28:14] 983*2^1448014-1 is not prime. Res64: FC66B64378907E55 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:28:15] 601*2^1448015-1 is not prime. Res64: DC2B1BFCD9A2A0D0 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:28:16] 619*2^1448015-1 is not prime. Res64: F7223378081679CC Time : 0.0 sec. user=mdettweiler [2016-12-07 20:28:17] 789*2^1448015-1 is not prime. Res64: B960CF2CB752752C Time : 0.0 sec. user=mdettweiler [2016-12-07 20:37:38] 861*2^1448015-1 is not prime. Res64: A865879AF0F4F619 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:37:38] 871*2^1448015-1 is not prime. Res64: 83C42E620D10BAD8 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:37:39] 913*2^1448015-1 is not prime. Res64: 88A8ED9DE78EFEBA Time : 0.0 sec. user=mdettweiler [2016-12-07 20:37:39] 979*2^1448015-1 is not prime. Res64: 57D8768E67CE7C17 Time : 0.0 sec. user=mdettweiler [2016-12-07 20:37:39] 629*2^1448016-1 is not prime. Res64: 11F78996859C824D Time : 0.0 sec. user=mdettweiler [2016-12-07 21:04:16] 635*2^1448016-1 is not prime. Res64: 8E534B32202847EF Time : 0.0 sec. user=mdettweiler [2016-12-07 21:04:17] 675*2^1448016-1 is not prime. Res64: CAF6C74E086C553E Time : 0.0 sec. user=mdettweiler [2016-12-07 21:04:18] 845*2^1448016-1 is not prime. Res64: A274CBFAA39AE7D7 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:04:19] 893*2^1448016-1 is not prime. Res64: F737866A972D0A58 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:04:20] 903*2^1448016-1 is not prime. Res64: BB0F2CA2D589B2A3 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:13:01] 727*2^1448017-1 is not prime. Res64: F506A1176EF6F550 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:13:02] 747*2^1448017-1 is not prime. Res64: FB9FB1280277C698 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:13:02] 885*2^1448017-1 is not prime. Res64: 43DCAF5B97A02282 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:13:03] 909*2^1448017-1 is not prime. Res64: ECCEE68168CC13F0 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:13:03] 915*2^1448017-1 is not prime. Res64: 90ABCD08EB668CCC Time : 0.0 sec. user=mdettweiler [2016-12-07 21:22:05] 633*2^1448018-1 is not prime. Res64: 0E28EC3C6048295C Time : 0.0 sec. user=mdettweiler [2016-12-07 21:22:05] 641*2^1448018-1 is not prime. Res64: A9EF56F7E346874D Time : 0.0 sec. user=mdettweiler [2016-12-07 21:22:06] 683*2^1448018-1 is not prime. Res64: 6F3C3F673B8C0236 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:22:07] 767*2^1448018-1 is not prime. Res64: C8FEB553D3293382 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:22:07] 833*2^1448018-1 is not prime. Res64: 9D053B055B11311C Time : 0.0 sec. user=mdettweiler [2016-12-07 21:48:44] 857*2^1448018-1 is not prime. Res64: 8B7F97930746D196 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:48:44] 935*2^1448018-1 is not prime. Res64: 8609E6424900E72D Time : 0.0 sec. user=mdettweiler [2016-12-07 21:48:45] 995*2^1448018-1 is not prime. Res64: 9E10529DF144263D Time : 0.0 sec. user=mdettweiler [2016-12-07 21:48:45] 601*2^1448019-1 is not prime. Res64: DECF2FD57A2E043D Time : 0.0 sec. user=mdettweiler [2016-12-07 21:48:45] 769*2^1448019-1 is not prime. Res64: 8CBA92A03BD17BD4 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:57:21] 931*2^1448019-1 is not prime. Res64: A64B5D26FE16531E Time : 0.0 sec. user=mdettweiler [2016-12-07 21:57:22] 999*2^1448019-1 is not prime. Res64: 2E390821349A93FC Time : 0.0 sec. user=mdettweiler [2016-12-07 21:57:22] 773*2^1448020-1 is not prime. Res64: D217FA286EE6D531 Time : 0.0 sec. user=mdettweiler [2016-12-07 21:57:22] 819*2^1448020-1 is not prime. Res64: 07E513CD78DA9DFE Time : 0.0 sec. user=mdettweiler [2016-12-07 21:57:23] 825*2^1448020-1 is not prime. Res64: 07FA61DB432D6B0F Time : 0.0 sec. user=mdettweiler [2016-12-07 22:06:34] 839*2^1448020-1 is not prime. Res64: 3B1E2A96A95453CA Time : 0.0 sec. user=mdettweiler [2016-12-07 22:06:36] 873*2^1448020-1 is not prime. Res64: 5E701A78DCC5D547 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:06:37] 899*2^1448020-1 is not prime. Res64: D23061F02CBFD9B2 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:06:38] 915*2^1448020-1 is not prime. Res64: 056DFB91883E9121 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:06:39] 965*2^1448020-1 is not prime. Res64: B39FC8438E6C9A92 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:33:04] 715*2^1448021-1 is not prime. Res64: A81628CBE0ED389F Time : 0.0 sec. user=mdettweiler [2016-12-07 22:33:05] 801*2^1448021-1 is not prime. Res64: 1A0A8C3A989BD77B Time : 0.0 sec. user=mdettweiler [2016-12-07 22:33:05] 837*2^1448021-1 is not prime. Res64: 5087475C07442DD6 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:33:06] 867*2^1448021-1 is not prime. Res64: D4C806B1C6941682 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:33:06] 937*2^1448021-1 is not prime. Res64: 78C838E6C3519A6E Time : 0.0 sec. user=mdettweiler [2016-12-07 22:41:46] 955*2^1448021-1 is not prime. Res64: 993BF1130D27EEA7 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:41:47] 651*2^1448022-1 is not prime. Res64: 2F2AC218D79E342E Time : 0.0 sec. user=mdettweiler [2016-12-07 22:41:48] 821*2^1448022-1 is not prime. Res64: 1C78BDCC0CDC3919 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:41:49] 833*2^1448022-1 is not prime. Res64: 625E247B657E5E4B Time : 0.0 sec. user=mdettweiler [2016-12-07 22:41:50] 885*2^1448022-1 is not prime. Res64: FC2B42C85A69F269 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:51:04] 609*2^1448023-1 is not prime. Res64: B84656D771B9AAB6 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:51:05] 663*2^1448023-1 is not prime. Res64: 7E85A5BB57221197 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:51:06] 729*2^1448023-1 is not prime. Res64: E642632B4F4593F6 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:51:06] 741*2^1448023-1 is not prime. Res64: 84B6A9381265B276 Time : 0.0 sec. user=mdettweiler [2016-12-07 22:51:07] 745*2^1448023-1 is not prime. Res64: 3920CF1641EFE23C Time : 0.0 sec. user=mdettweiler [2016-12-07 23:17:31] 783*2^1448023-1 is not prime. Res64: 44E11CD1E9F153F6 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:17:31] 789*2^1448023-1 is not prime. Res64: 08A72E7A4DB51057 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:17:32] 943*2^1448023-1 is not prime. Res64: C64822F415ED944D Time : 0.0 sec. user=mdettweiler [2016-12-07 23:17:32] 985*2^1448023-1 is not prime. Res64: 76D862978A47B9FF Time : 0.0 sec. user=mdettweiler [2016-12-07 23:17:32] 609*2^1448024-1 is not prime. Res64: 4A05D3242A223363 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:26:14] 623*2^1448024-1 is not prime. Res64: B68851583BA69404 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:26:14] 689*2^1448024-1 is not prime. Res64: 3BFF40DDC0A413E9 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:26:15] 743*2^1448024-1 is not prime. Res64: 42B90E6E09890DAF Time : 0.0 sec. user=mdettweiler [2016-12-07 23:26:15] 813*2^1448024-1 is not prime. Res64: D07B83066728F974 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:26:15] 983*2^1448024-1 is not prime. Res64: 5FBBE90F184778B0 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:35:32] 993*2^1448024-1 is not prime. Res64: CEB980417296FA8F Time : 0.0 sec. user=mdettweiler [2016-12-07 23:35:32] 995*2^1448024-1 is not prime. Res64: 4E6DD0515A84FB27 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:35:33] 649*2^1448025-1 is not prime. Res64: A08B694922872F23 Time : 0.0 sec. user=mdettweiler [2016-12-07 23:35:33] 685*2^1448025-1 is not prime. Res64: E08F48972C00620C Time : 0.0 sec. user=mdettweiler [2016-12-07 23:35:33] 741*2^1448025-1 is not prime. Res64: C3551B6826A9443B Time : 0.0 sec.