user=mdettweiler [2016-06-25 00:06:02] 925*2^1433455-1 is not prime. Res64: 250C581E7A9997D3 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:06:03] 969*2^1433455-1 is not prime. Res64: 12E680610A490D38 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:06:05] 985*2^1433455-1 is not prime. Res64: 9CF310DA4C11CD62 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:06:06] 609*2^1433456-1 is not prime. Res64: 3AFEC06F382C8A3D Time : 0.0 sec. user=mdettweiler [2016-06-25 00:06:07] 675*2^1433456-1 is not prime. Res64: E8E071F6DC4ADCEE Time : 0.0 sec. user=mdettweiler [2016-06-25 00:07:04] 845*2^1433456-1 is not prime. Res64: 84CF5E0E5A876348 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:07:05] 969*2^1433456-1 is not prime. Res64: 191AAB9491EE9592 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:07:06] 983*2^1433456-1 is not prime. Res64: D192FCE8D50F197B Time : 0.0 sec. user=mdettweiler [2016-06-25 00:07:07] 627*2^1433457-1 is not prime. Res64: 10784904A50C6776 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:07:08] 639*2^1433457-1 is not prime. Res64: 60DF81E3D44B20B2 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:18:16] 681*2^1433457-1 is not prime. Res64: EE8C2E88EB9E9733 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:18:21] 685*2^1433457-1 is not prime. Res64: E9F42603C344E4E2 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:18:25] 727*2^1433457-1 is not prime. Res64: B13EC9D6CCCC3AD6 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:18:29] 735*2^1433457-1 is not prime. Res64: 2E157D857FE4B2E9 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:18:33] 769*2^1433457-1 is not prime. Res64: F1D90E0F824609EC Time : 0.0 sec. user=mdettweiler [2016-06-25 00:26:40] 837*2^1433457-1 is not prime. Res64: 47B8ACEEDB82FBB4 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:26:40] 919*2^1433457-1 is not prime. Res64: AF85C6D7AB9502A3 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:26:46] 605*2^1433458-1 is not prime. Res64: 8D015816E3035C37 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:26:52] 737*2^1433458-1 is not prime. Res64: 319B3A4C05D502D0 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:26:58] 765*2^1433458-1 is not prime. Res64: 66CA118C37E99EC5 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:50:43] 777*2^1433458-1 is not prime. Res64: F55E949C2B28C5B0 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:50:44] 833*2^1433458-1 is not prime. Res64: 9AFB13CAA98957C2 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:50:50] 843*2^1433458-1 is not prime. Res64: 1CC39B6DE5CF425F Time : 0.0 sec. user=mdettweiler [2016-06-25 00:50:56] 825*2^1433459-1 is not prime. Res64: 8E40DE63C976ABFA Time : 0.0 sec. user=mdettweiler [2016-06-25 00:51:02] 859*2^1433459-1 is not prime. Res64: CCBBA65D10108F30 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:51:33] 861*2^1433459-1 is not prime. Res64: 252576B8EC633716 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:51:40] 949*2^1433459-1 is not prime. Res64: 7A64D2C61D758626 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:51:46] 723*2^1433460-1 is not prime. Res64: F3AB7D2EE2103CB1 Time : 0.0 sec. user=mdettweiler [2016-06-25 00:51:52] 737*2^1433460-1 is not prime. Res64: 147A9043F029688B Time : 0.0 sec. user=mdettweiler [2016-06-25 00:51:58] 753*2^1433460-1 is not prime. Res64: 1B5ED4001E9188A6 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:03:00] 777*2^1433460-1 is not prime. Res64: F120D7E271F6F1B3 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:03:04] 803*2^1433460-1 is not prime. Res64: 7B212CBA1074EEAA Time : 0.0 sec. user=mdettweiler [2016-06-25 01:03:08] 875*2^1433460-1 is not prime. Res64: 67F61CEB78CF5187 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:03:13] 879*2^1433460-1 is not prime. Res64: EAE9148180FEAAFF Time : 0.0 sec. user=mdettweiler [2016-06-25 01:03:17] 691*2^1433461-1 is not prime. Res64: 231CA603EB3E36CA Time : 0.0 sec. user=mdettweiler [2016-06-25 01:11:38] 741*2^1433461-1 is not prime. Res64: AC84E08CD8F4AAF9 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:11:39] 757*2^1433461-1 is not prime. Res64: 873A04AB154E869A Time : 0.0 sec. user=mdettweiler [2016-06-25 01:11:39] 789*2^1433461-1 is not prime. Res64: 601E761E00FD5CAC Time : 0.0 sec. user=mdettweiler [2016-06-25 01:11:40] 937*2^1433461-1 is not prime. Res64: 158E98E803586DF1 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:11:40] 939*2^1433461-1 is not prime. Res64: 25F152778D8FC0A7 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:35:44] 997*2^1433461-1 is not prime. Res64: 9BA5E85F657F0ED1 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:35:48] 683*2^1433462-1 is not prime. Res64: E9607AC0C048396E Time : 0.0 sec. user=mdettweiler [2016-06-25 01:35:52] 771*2^1433462-1 is not prime. Res64: FD60854BFB011951 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:35:56] 903*2^1433462-1 is not prime. Res64: 3357AADB154DD6CC Time : 0.0 sec. user=mdettweiler [2016-06-25 01:36:00] 663*2^1433463-1 is not prime. Res64: 4A789D77D3E581BE Time : 0.0 sec. user=mdettweiler [2016-06-25 01:36:31] 775*2^1433463-1 is not prime. Res64: 399B2279A5D9F9E1 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:36:37] 781*2^1433463-1 is not prime. Res64: DD4B8113C5AE4AFC Time : 0.0 sec. user=mdettweiler [2016-06-25 01:36:43] 819*2^1433463-1 is not prime. Res64: 02D05525D347E4A5 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:36:49] 831*2^1433463-1 is not prime. Res64: 3386096FB15F05D3 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:36:53] 933*2^1433463-1 is not prime. Res64: BD87F3D27C3C9877 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:47:52] 945*2^1433463-1 is not prime. Res64: B7D9A826E8BF3719 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:47:52] 617*2^1433464-1 is not prime. Res64: E1D3C92391492E98 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:47:53] 755*2^1433464-1 is not prime. Res64: 3ABF1EFB98190BA2 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:47:53] 917*2^1433464-1 is not prime. Res64: EC61A442A049AF0A Time : 0.0 sec. user=mdettweiler [2016-06-25 01:47:54] 675*2^1433465-1 is not prime. Res64: A745259C5C6340BF Time : 0.0 sec. user=mdettweiler [2016-06-25 01:56:10] 741*2^1433465-1 is not prime. Res64: DCDEC1B07A8B8FB8 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:56:10] 759*2^1433465-1 is not prime. Res64: 2F06AA7E5B6DE2A6 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:56:10] 837*2^1433465-1 is not prime. Res64: 5522D96809DC92B3 Time : 0.0 sec. user=mdettweiler [2016-06-25 01:56:11] 889*2^1433465-1 is not prime. Res64: D52A2BE61CF9E8EB Time : 0.0 sec. user=mdettweiler [2016-06-25 01:56:11] 955*2^1433465-1 is not prime. Res64: B6DD839FB72AAE4E Time : 0.0 sec. user=mdettweiler [2016-06-25 02:21:31] 987*2^1433465-1 is not prime. Res64: B419F1C8B594B249 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:21:32] 635*2^1433466-1 is not prime. Res64: 9AB2B06169CEC37B Time : 0.0 sec. user=mdettweiler [2016-06-25 02:21:32] 677*2^1433466-1 is not prime. Res64: 420E78C60B3B66E5 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:21:32] 683*2^1433466-1 is not prime. Res64: 789B313BC5B24A44 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:21:33] 707*2^1433466-1 is not prime. Res64: 9A70495DB51292C7 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:22:58] 825*2^1433466-1 is not prime. Res64: 7E621D8353F8A4F4 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:22:59] 843*2^1433466-1 is not prime. Res64: 9C17A246C3FD74F0 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:22:59] 963*2^1433466-1 is not prime. Res64: 7726E55796DF8FEE Time : 0.0 sec. user=mdettweiler [2016-06-25 02:22:59] 625*2^1433467-1 is not prime. Res64: 7F43FF53BB8515B0 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:23:00] 645*2^1433467-1 is not prime. Res64: 360A156F19539029 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:33:16] 681*2^1433467-1 is not prime. Res64: 6CF2C0C06163F878 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:33:17] 699*2^1433467-1 is not prime. Res64: C43884216F6E60BA Time : 0.0 sec. user=mdettweiler [2016-06-25 02:33:18] 793*2^1433467-1 is not prime. Res64: 5897BF23F8F1347B Time : 0.0 sec. user=mdettweiler [2016-06-25 02:33:18] 635*2^1433468-1 is not prime. Res64: DC4BF09B33427F1E Time : 0.0 sec. user=mdettweiler [2016-06-25 02:33:19] 669*2^1433468-1 is not prime. Res64: 06E5E5432C40C0A8 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:41:35] 687*2^1433468-1 is not prime. Res64: 48E7EA6500E67FB4 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:41:41] 789*2^1433468-1 is not prime. Res64: EA2FEF6A65F247AC Time : 0.0 sec. user=mdettweiler [2016-06-25 02:41:47] 839*2^1433468-1 is not prime. Res64: BC3B406D1D3995DC Time : 0.0 sec. user=mdettweiler [2016-06-25 02:41:52] 869*2^1433468-1 is not prime. Res64: 319DCF4F3F191340 Time : 0.0 sec. user=mdettweiler [2016-06-25 02:41:53] 957*2^1433468-1 is not prime. Res64: DA3223C6C35EF3BC Time : 0.0 sec. user=mdettweiler [2016-06-25 03:06:01] 907*2^1433469-1 is not prime. Res64: 25E918DDFB0D460E Time : 0.0 sec. user=mdettweiler [2016-06-25 03:06:02] 951*2^1433469-1 is not prime. Res64: A37C53F2E57F9A95 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:06:03] 987*2^1433469-1 is not prime. Res64: 0A835329EF61D0E7 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:06:04] 991*2^1433469-1 is not prime. Res64: B652E607DF2A008A Time : 0.0 sec. user=mdettweiler [2016-06-25 03:06:06] 605*2^1433470-1 is not prime. Res64: 03E14EC0E2CA9B48 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:07:24] 611*2^1433470-1 is not prime. Res64: 674F6174CCEB8E9E Time : 0.0 sec. user=mdettweiler [2016-06-25 03:07:25] 675*2^1433470-1 is not prime. Res64: FF0CE02C54464E4C Time : 0.0 sec. user=mdettweiler [2016-06-25 03:07:25] 713*2^1433470-1 is not prime. Res64: 38DE3180FFA393A6 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:07:25] 867*2^1433470-1 is not prime. Res64: D6AA0E397755BEA4 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:07:26] 873*2^1433470-1 is not prime. Res64: AF173CB18DED0FD8 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:17:56] 885*2^1433470-1 is not prime. Res64: 94F4BC92480F33CD Time : 0.0 sec. user=mdettweiler [2016-06-25 03:17:57] 951*2^1433470-1 is not prime. Res64: D4979BA5D62CB8B4 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:18:03] 987*2^1433470-1 is not prime. Res64: C152F34EE3EF6593 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:18:09] 603*2^1433471-1 is not prime. Res64: 0F3F2066226E704E Time : 0.0 sec. user=mdettweiler [2016-06-25 03:18:16] 609*2^1433471-1 is not prime. Res64: 73054C02C8E20505 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:26:24] 859*2^1433471-1 is not prime. Res64: 529EAB61731D4755 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:26:29] 865*2^1433471-1 is not prime. Res64: 7A0B64EFEF117A67 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:26:34] 895*2^1433471-1 is not prime. Res64: 7B0E2E4ABADB4F31 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:26:38] 955*2^1433471-1 is not prime. Res64: 0F6A38DEA967D98F Time : 0.0 sec. user=mdettweiler [2016-06-25 03:26:43] 725*2^1433472-1 is not prime. Res64: E46DD9F8E12EB7E3 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:50:49] 737*2^1433472-1 is not prime. Res64: 4DE4EDF254460CD2 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:50:57] 843*2^1433472-1 is not prime. Res64: CB57243A7A99BC13 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:51:03] 873*2^1433472-1 is not prime. Res64: 1840D704BF29211B Time : 0.0 sec. user=mdettweiler [2016-06-25 03:51:10] 875*2^1433472-1 is not prime. Res64: 39DA6E8974558E0C Time : 0.0 sec. user=mdettweiler [2016-06-25 03:51:14] 879*2^1433472-1 is not prime. Res64: 425CAF2FE832382D Time : 0.0 sec. user=mdettweiler [2016-06-25 03:51:57] 917*2^1433472-1 is not prime. Res64: 05D725B7BB3C51EB Time : 0.0 sec. user=mdettweiler [2016-06-25 03:52:01] 947*2^1433472-1 is not prime. Res64: 3D97845C673E30F3 Time : 0.0 sec. user=mdettweiler [2016-06-25 03:52:05] 977*2^1433472-1 is not prime. Res64: F32D0332B1A1743F Time : 0.0 sec. user=mdettweiler [2016-06-25 03:52:09] 609*2^1433473-1 is not prime. Res64: 58DDAD2614626E8E Time : 0.0 sec. user=mdettweiler [2016-06-25 03:52:14] 741*2^1433473-1 is not prime. Res64: EB49B595C13FA90D Time : 0.0 sec. user=mdettweiler [2016-06-25 04:02:56] 771*2^1433473-1 is not prime. Res64: A77AD744A130E97F Time : 0.0 sec. user=mdettweiler [2016-06-25 04:03:04] 805*2^1433473-1 is not prime. Res64: C8C2376EE19A120F Time : 0.0 sec. user=mdettweiler [2016-06-25 04:03:12] 811*2^1433473-1 is not prime. Res64: ED309318E9C5B048 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:03:19] 847*2^1433473-1 is not prime. Res64: 1504B49D9ACF2CB2 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:03:27] 937*2^1433473-1 is not prime. Res64: EED9E77DD8A9A7A4 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:11:34] 967*2^1433473-1 is not prime. Res64: E8D69700FC73595F Time : 0.0 sec. user=mdettweiler [2016-06-25 04:11:34] 999*2^1433473-1 is not prime. Res64: 3C6260ACF4C3424A Time : 0.0 sec. user=mdettweiler [2016-06-25 04:11:34] 651*2^1433474-1 is not prime. Res64: E37917070928BD5A Time : 0.0 sec. user=mdettweiler [2016-06-25 04:11:35] 705*2^1433474-1 is not prime. Res64: 40D6753EEB8FBFB1 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:11:35] 741*2^1433474-1 is not prime. Res64: A594E5A999BB5C0F Time : 0.0 sec. user=mdettweiler [2016-06-25 04:35:53] 797*2^1433474-1 is not prime. Res64: 88EA1DD5FE6FBF74 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:35:59] 833*2^1433474-1 is not prime. Res64: 4B07FA1DAAEC8C6F Time : 0.0 sec. user=mdettweiler [2016-06-25 04:36:06] 875*2^1433474-1 is not prime. Res64: F9EF9F445DC07E3A Time : 0.0 sec. user=mdettweiler [2016-06-25 04:36:12] 887*2^1433474-1 is not prime. Res64: 1BC4F0B7E761460E Time : 0.0 sec. user=mdettweiler [2016-06-25 04:36:18] 923*2^1433474-1 is not prime. Res64: 31DEA4878BC68A53 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:36:55] 619*2^1433475-1 is not prime. Res64: 0223A1ECC44B9E11 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:37:00] 679*2^1433475-1 is not prime. Res64: 9CDE7A78F595EF71 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:37:04] 781*2^1433475-1 is not prime. Res64: 324D4B423D3DB85A Time : 0.0 sec. user=mdettweiler [2016-06-25 04:37:08] 793*2^1433475-1 is not prime. Res64: A698AF924D948EC3 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:37:13] 819*2^1433475-1 is not prime. Res64: C2906E41742B3840 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:48:13] 895*2^1433475-1 is not prime. Res64: 5487E2A2087056EF Time : 0.0 sec. user=mdettweiler [2016-06-25 04:48:13] 951*2^1433475-1 is not prime. Res64: 9CB803EE0B5C4BE9 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:48:13] 961*2^1433475-1 is not prime. Res64: 9DB232447DFE3DD5 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:48:14] 629*2^1433476-1 is not prime. Res64: 7D07D1BFAD352DB0 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:48:14] 647*2^1433476-1 is not prime. Res64: 18C7FE6F5C5CF19A Time : 0.0 sec. user=mdettweiler [2016-06-25 04:56:04] 689*2^1433476-1 is not prime. Res64: 89174216C34F498E Time : 0.0 sec. user=mdettweiler [2016-06-25 04:56:05] 743*2^1433476-1 is not prime. Res64: 1FA0BA467C7C964C Time : 0.0 sec. user=mdettweiler [2016-06-25 04:56:05] 773*2^1433476-1 is not prime. Res64: E62AF3958C5E5E39 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:56:05] 803*2^1433476-1 is not prime. Res64: 5197100929D75BD5 Time : 0.0 sec. user=mdettweiler [2016-06-25 04:56:06] 825*2^1433476-1 is not prime. Res64: E4C637DD013C610A Time : 0.0 sec. user=mdettweiler [2016-06-25 05:20:50] 989*2^1433476-1 is not prime. Res64: 6E131070FB711997 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:20:50] 615*2^1433477-1 is not prime. Res64: A8F2BA431E564DF5 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:20:51] 675*2^1433477-1 is not prime. Res64: 14D0989B11A635C3 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:20:51] 825*2^1433477-1 is not prime. Res64: E81013A9B56C75EF Time : 0.0 sec. user=mdettweiler [2016-06-25 05:20:52] 871*2^1433477-1 is not prime. Res64: F616F236A3F8CA22 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:21:32] 915*2^1433477-1 is not prime. Res64: 0304F7408BDA7787 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:21:32] 925*2^1433477-1 is not prime. Res64: 389143D80F4506B9 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:21:33] 991*2^1433477-1 is not prime. Res64: 12FEA0FBDD3C71C1 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:21:33] 681*2^1433478-1 is not prime. Res64: 4D272DDB7A9BE6B3 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:21:33] 863*2^1433478-1 is not prime. Res64: 21A850E010B503F3 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:32:41] 875*2^1433478-1 is not prime. Res64: D3E06249EADD3695 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:32:41] 887*2^1433478-1 is not prime. Res64: 78AFD925892CB933 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:32:42] 603*2^1433479-1 is not prime. Res64: 845CE44C67749386 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:32:42] 705*2^1433479-1 is not prime. Res64: 659A9C6815589CA0 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:32:42] 741*2^1433479-1 is not prime. Res64: DD91A9645D7E8929 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:40:36] 793*2^1433479-1 is not prime. Res64: 8616AAB15575B583 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:40:41] 859*2^1433479-1 is not prime. Res64: 97F0F5A3A3739B04 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:40:48] 861*2^1433479-1 is not prime. Res64: D5D9EC77DB9727D1 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:40:54] 951*2^1433479-1 is not prime. Res64: F71FD761C70DCDA1 Time : 0.0 sec. user=mdettweiler [2016-06-25 05:41:01] 665*2^1433480-1 is not prime. Res64: DCB412E5EFE30359 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:05:38] 759*2^1433480-1 is not prime. Res64: 11ED09CE93EAA1F6 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:05:39] 893*2^1433480-1 is not prime. Res64: 801C3CE0D4C02E1D Time : 0.0 sec. user=mdettweiler [2016-06-25 06:05:40] 935*2^1433480-1 is not prime. Res64: FA7D048110F73014 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:05:41] 661*2^1433481-1 is not prime. Res64: BC36F1C270C7BE85 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:05:42] 735*2^1433481-1 is not prime. Res64: 62F9E68D28C0C602 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:06:03] 861*2^1433481-1 is not prime. Res64: 04D20ED5E4EA6E4F Time : 0.0 sec. user=mdettweiler [2016-06-25 06:06:03] 907*2^1433481-1 is not prime. Res64: 7586F97F6186F2CE Time : 0.0 sec. user=mdettweiler [2016-06-25 06:06:04] 921*2^1433481-1 is not prime. Res64: 7EE1161394D3F7B2 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:06:05] 949*2^1433481-1 is not prime. Res64: 3DE754A5A1A18B92 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:06:06] 611*2^1433482-1 is not prime. Res64: 605E7F97695D07AC Time : 0.0 sec. user=mdettweiler [2016-06-25 06:17:02] 645*2^1433482-1 is not prime. Res64: BE63A491B708B85A Time : 0.0 sec. user=mdettweiler [2016-06-25 06:17:12] 657*2^1433482-1 is not prime. Res64: 5381537231875A07 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:17:22] 671*2^1433482-1 is not prime. Res64: 9A39ECCBA0A9E0DD Time : 0.0 sec. user=mdettweiler [2016-06-25 06:25:39] 713*2^1433482-1 is not prime. Res64: E9D25A88D64CEA37 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:25:43] 717*2^1433482-1 is not prime. Res64: 1836EA494BCE1D52 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:25:48] 765*2^1433482-1 is not prime. Res64: A550A2DC6E38F173 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:25:52] 777*2^1433482-1 is not prime. Res64: 8C9EE236813C60F4 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:25:56] 885*2^1433482-1 is not prime. Res64: ED418C17E17B8A5E Time : 0.0 sec. user=mdettweiler [2016-06-25 06:50:49] 915*2^1433482-1 is not prime. Res64: C73770BAF67A7B92 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:50:53] 945*2^1433482-1 is not prime. Res64: 09DFE410ECA47346 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:50:57] 987*2^1433482-1 is not prime. Res64: 26B79D0B9F30C159 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:01] 633*2^1433483-1 is not prime. Res64: 74797FACD0CF75D6 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:05] 643*2^1433483-1 is not prime. Res64: C058C1F395CADA9B Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:09] 669*2^1433483-1 is not prime. Res64: 0FAB3848D01B977E Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:13] 783*2^1433483-1 is not prime. Res64: 03AEF50E24601EC0 Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:16] 861*2^1433483-1 is not prime. Res64: 85B24F6A474176AB Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:17] 879*2^1433483-1 is not prime. Res64: A08B63339FEEEA6C Time : 0.0 sec. user=mdettweiler [2016-06-25 06:51:21] 889*2^1433483-1 is not prime. Res64: FB6D99F5CBEEC767 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:11:08] 963*2^1433483-1 is not prime. Res64: A2D096133D3EA57F Time : 0.0 sec. user=mdettweiler [2016-06-25 07:11:09] 985*2^1433483-1 is not prime. Res64: E7092C2968B70271 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:11:09] 665*2^1433484-1 is not prime. Res64: B4852E70C9AEA8B0 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:11:09] 737*2^1433484-1 is not prime. Res64: 7004D698C8BD3DB5 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:11:10] 923*2^1433484-1 is not prime. Res64: 46F9E9C780EF83DB Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:18] 927*2^1433484-1 is not prime. Res64: 005BFEBCA3275377 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:18] 975*2^1433484-1 is not prime. Res64: 692AF13468629178 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:24] 619*2^1433485-1 is not prime. Res64: 9A5DE1DD94BC312B Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:31] 777*2^1433485-1 is not prime. Res64: 0BA4D30CA4F89BFE Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:31] 699*2^1433485-1 is not prime. Res64: DA58713DAD483E61 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:37] 819*2^1433485-1 is not prime. Res64: FC6250C6939A9D29 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:37] 721*2^1433485-1 is not prime. Res64: 4521A700356375C5 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:44] 831*2^1433485-1 is not prime. Res64: DD4597AA3DAAA4C2 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:49] 861*2^1433485-1 is not prime. Res64: 50DEDC84A30C4B6F Time : 0.0 sec. user=mdettweiler [2016-06-25 07:36:55] 871*2^1433485-1 is not prime. Res64: 78E7E5A56083998A Time : 0.0 sec. user=mdettweiler [2016-06-25 07:56:16] 895*2^1433485-1 is not prime. Res64: 7A9893E079866237 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:56:16] 985*2^1433485-1 is not prime. Res64: CFB528114A85E060 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:56:17] 987*2^1433485-1 is not prime. Res64: 81D265A19AD586DB Time : 0.0 sec. user=mdettweiler [2016-06-25 07:56:17] 705*2^1433486-1 is not prime. Res64: 1FB659A7AFC87936 Time : 0.0 sec. user=mdettweiler [2016-06-25 07:56:17] 747*2^1433486-1 is not prime. Res64: 57D2341BC78CBD9F Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:41] 767*2^1433486-1 is not prime. Res64: ECB679FDE64781F6 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:41] 831*2^1433486-1 is not prime. Res64: 9C3DE337BB92C2E8 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:42] 851*2^1433486-1 is not prime. Res64: 76D6F64D63ABDEA7 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:43] 987*2^1433486-1 is not prime. Res64: BD7EAEB6B33C0344 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:43] 609*2^1433487-1 is not prime. Res64: B3CD88AF9B7ED861 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:58] 621*2^1433487-1 is not prime. Res64: 9F6CBED139567BB5 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:59] 711*2^1433487-1 is not prime. Res64: 23DFEB93E81BAC2C Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:59] 781*2^1433487-1 is not prime. Res64: 274997755B68EA22 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:21:59] 961*2^1433487-1 is not prime. Res64: A3E91D6E855CD950 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:22:00] 605*2^1433488-1 is not prime. Res64: B04BF428140D02CA Time : 0.0 sec. user=mdettweiler [2016-06-25 08:41:31] 645*2^1433488-1 is not prime. Res64: ACC4B08240191B20 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:41:35] 765*2^1433488-1 is not prime. Res64: F7F6C454E2781A60 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:41:39] 773*2^1433488-1 is not prime. Res64: A36333DE6C77F8E0 Time : 0.0 sec. user=mdettweiler [2016-06-25 08:41:43] 887*2^1433488-1 is not prime. Res64: 9122A1EE7C2AED1A Time : 0.0 sec. user=mdettweiler [2016-06-25 08:41:44] 923*2^1433488-1 is not prime. Res64: 4A5D60B6B6F9BB47 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:06] 959*2^1433488-1 is not prime. Res64: 42E71E26BEC4267A Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:07] 995*2^1433488-1 is not prime. Res64: 4E82A00DDC345BF5 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:07] 615*2^1433489-1 is not prime. Res64: 3424A431C6808144 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:08] 717*2^1433490-1 is not prime. Res64: 9D49CAB7C9B2D1B0 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:08] 685*2^1433489-1 is not prime. Res64: 4F1A66C8E2B32DBB Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:08] 891*2^1433490-1 is not prime. Res64: D3D668084CAEB411 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:08] 781*2^1433489-1 is not prime. Res64: 5E64620F57D8C2D6 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:09] 941*2^1433490-1 is not prime. Res64: CBB747B3734A6004 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:09] 619*2^1433491-1 is not prime. Res64: B738ED8F04B28F5D Time : 0.0 sec. user=mdettweiler [2016-06-25 09:07:10] 639*2^1433491-1 is not prime. Res64: 5F58C9F7F61C3BAF Time : 0.0 sec. user=mdettweiler [2016-06-25 09:11:12] 677*2^1433482-1 is not prime. Res64: A5230F4D6A022722 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:11:17] 701*2^1433482-1 is not prime. Res64: DDEF02276CEE7989 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:26:40] 673*2^1433491-1 is not prime. Res64: 3468921A3D9E87A1 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:26:40] 693*2^1433491-1 is not prime. Res64: 02FA5BC14C7DCEC0 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:26:41] 789*2^1433491-1 is not prime. Res64: 20DC03B17B888111 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:26:41] 603*2^1433492-1 is not prime. Res64: 996D552E4326A4DF Time : 0.0 sec. user=mdettweiler [2016-06-25 09:26:41] 623*2^1433492-1 is not prime. Res64: D1E5E6DE9A2530BE Time : 0.0 sec. user=mdettweiler [2016-06-25 09:51:54] 669*2^1433492-1 is not prime. Res64: 2252A17A7C3F108C Time : 0.0 sec. user=mdettweiler [2016-06-25 09:51:58] 843*2^1433492-1 is not prime. Res64: 9E4E2B0447E31FB5 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:51:58] 649*2^1433493-1 is not prime. Res64: 9EC84535E25E99FA Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:02] 885*2^1433492-1 is not prime. Res64: B0396EA01340B2E5 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:02] 679*2^1433493-1 is not prime. Res64: 4FCDA82D90DAC356 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:06] 995*2^1433492-1 is not prime. Res64: 612067F15D0ACDD6 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:06] 681*2^1433493-1 is not prime. Res64: 837B784306549535 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:10] 805*2^1433493-1 is not prime. Res64: B57E7B0759BAEC65 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:10] 609*2^1433493-1 is not prime. Res64: 7F4ABC1A664A344B Time : 0.0 sec. user=mdettweiler [2016-06-25 09:52:14] 817*2^1433493-1 is not prime. Res64: 06752D26B30CA371 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:55:58] 859*2^1433493-1 is not prime. Res64: EF997DE19E6BFC6E Time : 0.0 sec. user=mdettweiler [2016-06-25 09:56:02] 999*2^1433493-1 is not prime. Res64: 907A20E1661C4989 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:56:06] 611*2^1433494-1 is not prime. Res64: E52E6E963FD7F5DB Time : 0.0 sec. user=mdettweiler [2016-06-25 09:56:11] 623*2^1433494-1 is not prime. Res64: 53512B823F2E37B5 Time : 0.0 sec. user=mdettweiler [2016-06-25 09:56:15] 635*2^1433494-1 is not prime. Res64: AC3B6FF4299A0A9D Time : 0.0 sec. user=mdettweiler [2016-06-25 10:11:26] 645*2^1433494-1 is not prime. Res64: 92872CFD0D5CEF45 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:11:27] 705*2^1433494-1 is not prime. Res64: 821DD5A779E53462 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:11:27] 825*2^1433494-1 is not prime. Res64: 0C58B5C7A293B547 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:11:28] 885*2^1433494-1 is not prime. Res64: 218E000EC7938215 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:11:28] 915*2^1433494-1 is not prime. Res64: 715E028777BD3998 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:42] 693*2^1433495-1 is not prime. Res64: F6708A3767E8570A Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:42] 819*2^1433495-1 is not prime. Res64: B6C697E2089EB00B Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:42] 915*2^1433495-1 is not prime. Res64: E48A1AD6C5E477C9 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:43] 939*2^1433495-1 is not prime. Res64: 8805A8A87D260448 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:43] 949*2^1433495-1 is not prime. Res64: EB256DB03019C394 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:48] 917*2^1433494-1 is not prime. Res64: 49844B2497CABAD4 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:49] 923*2^1433494-1 is not prime. Res64: C4307553F42D57F7 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:49] 941*2^1433494-1 is not prime. Res64: A8A2F11EE2BA604E Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:50] 951*2^1433494-1 is not prime. Res64: 33B3F48DAFE1DC6F Time : 0.0 sec. user=mdettweiler [2016-06-25 10:36:50] 993*2^1433494-1 is not prime. Res64: E16E4B618036A587 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:40:54] 705*2^1433496-1 is not prime. Res64: CF361DD86E2F3FD5 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:40:54] 837*2^1433496-1 is not prime. Res64: 100A49D620437B86 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:40:55] 839*2^1433496-1 is not prime. Res64: C3C880752B0C0B78 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:40:55] 845*2^1433496-1 is not prime. Res64: 2584C14C03C5FFBC Time : 0.0 sec. user=mdettweiler [2016-06-25 10:40:55] 619*2^1433497-1 is not prime. Res64: F033F4A5258B7B3E Time : 0.0 sec. user=mdettweiler [2016-06-25 10:56:26] 639*2^1433497-1 is not prime. Res64: 80A19E77B0480DAB Time : 0.0 sec. user=mdettweiler [2016-06-25 10:56:32] 649*2^1433497-1 is not prime. Res64: C9C8A1DD26078602 Time : 0.0 sec. user=mdettweiler [2016-06-25 10:56:38] 841*2^1433497-1 is not prime. Res64: FE50164C12DEC87B Time : 0.0 sec. user=mdettweiler [2016-06-25 10:56:44] 885*2^1433497-1 is not prime. Res64: A42C2F780447067C Time : 0.0 sec. user=mdettweiler [2016-06-25 10:56:45] 939*2^1433497-1 is not prime. Res64: 378CF36AF52F5B72 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:17] 603*2^1433498-1 is not prime. Res64: EECB35027D5CC456 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:17] 633*2^1433498-1 is not prime. Res64: 8538384924A9792B Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:18] 755*2^1433498-1 is not prime. Res64: 9FFFF6A0245423B3 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:18] 801*2^1433498-1 is not prime. Res64: C71D4469414E4C6E Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:18] 831*2^1433498-1 is not prime. Res64: 6DBA72554BEBADE2 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:25] 857*2^1433498-1 is not prime. Res64: 4FB3493719691071 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:25] 911*2^1433498-1 is not prime. Res64: EC1EC75EFA0D85D8 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:26] 963*2^1433498-1 is not prime. Res64: B79C453B4A80F005 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:26] 993*2^1433498-1 is not prime. Res64: C1D33BE17EECE73C Time : 0.0 sec. user=mdettweiler [2016-06-25 11:21:27] 613*2^1433499-1 is not prime. Res64: 261646AABB6E56BF Time : 0.0 sec. user=mdettweiler [2016-06-25 11:25:37] 705*2^1433499-1 is not prime. Res64: 93E5B8ADCB1C1675 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:25:37] 745*2^1433499-1 is not prime. Res64: 1DBA8FFB35EE3D88 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:25:38] 795*2^1433499-1 is not prime. Res64: 6EAD59506CE8B1A8 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:25:38] 755*2^1433500-1 is not prime. Res64: E07D31BFB02A5169 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:25:38] 819*2^1433500-1 is not prime. Res64: 240C1A6F194A4A42 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:41:24] 839*2^1433500-1 is not prime. Res64: 4C672C9CC1733B5C Time : 0.0 sec. user=mdettweiler [2016-06-25 11:41:28] 843*2^1433500-1 is not prime. Res64: 63EEBF8FC26F69D8 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:41:32] 873*2^1433500-1 is not prime. Res64: 714B6E8A88F8BC13 Time : 0.0 sec. user=mdettweiler [2016-06-25 11:41:36] 899*2^1433500-1 is not prime. Res64: 9C39A904DA9C4AFB Time : 0.0 sec. user=mdettweiler [2016-06-25 11:41:40] 959*2^1433500-1 is not prime. Res64: ACB51E210D0B5FCE Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:50] 697*2^1433501-1 is not prime. Res64: 2CF2FBCCFB3DB888 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:52] 917*2^1433502-1 is not prime. Res64: 97DA9991C5C18974 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:53] 871*2^1433501-1 is not prime. Res64: 91C5557D738A279D Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:54] 977*2^1433502-1 is not prime. Res64: 35F0BA97F66B49CB Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:55] 967*2^1433501-1 is not prime. Res64: CAD72DF5FDD54500 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:55] 705*2^1433503-1 is not prime. Res64: 5C141128F0EBD6F2 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:56] 717*2^1433502-1 is not prime. Res64: 0858F98511CE7AAA Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:56] 723*2^1433503-1 is not prime. Res64: DDB5DF7E6600F394 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:57] 885*2^1433502-1 is not prime. Res64: 736F66E102C4E0C4 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:05:58] 729*2^1433503-1 is not prime. Res64: 5668170EA4071717 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:10:03] 763*2^1433503-1 is not prime. Res64: CE9F16A9AA9125D0 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:10:07] 771*2^1433503-1 is not prime. Res64: BD434BDEA940903D Time : 0.0 sec. user=mdettweiler [2016-06-25 12:10:11] 813*2^1433503-1 is not prime. Res64: 507DA482870B7FB5 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:10:15] 853*2^1433503-1 is not prime. Res64: 8728461998F8CF42 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:10:19] 859*2^1433503-1 is not prime. Res64: 1BE27C1B0968EF24 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:26:53] 919*2^1433503-1 is not prime. Res64: 1282DC1E7AF8D0A8 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:26:54] 951*2^1433503-1 is not prime. Res64: C565EBE5A40D85D2 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:26:54] 605*2^1433504-1 is not prime. Res64: 014C74B21FDF08B8 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:26:54] 659*2^1433504-1 is not prime. Res64: 284C7D6DB04C1D1C Time : 0.0 sec. user=mdettweiler [2016-06-25 12:26:55] 759*2^1433504-1 is not prime. Res64: C45BF6995898AE24 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:56:11] 997*2^1433505-1 is not prime. Res64: 3E9C15615CD45F87 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:56:15] 635*2^1433506-1 is not prime. Res64: F95B59D5199B509A Time : 0.0 sec. user=mdettweiler [2016-06-25 12:56:19] 735*2^1433506-1 is not prime. Res64: 1A0D268C97311D9B Time : 0.0 sec. user=mdettweiler [2016-06-25 12:56:23] 615*2^1433507-1 is not prime. Res64: 8A5E4485F36928F5 Time : 0.0 sec. user=mdettweiler [2016-06-25 12:56:27] 645*2^1433507-1 is not prime. Res64: EEC42B911611226B Time : 0.0 sec. user=mdettweiler [2016-06-25 13:01:51] 843*2^1433504-1 is not prime. Res64: 9B927D749ABC9550 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:01:52] 855*2^1433504-1 is not prime. Res64: 1746F20DB470DD01 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:01:53] 903*2^1433504-1 is not prime. Res64: 630FF99C059C11D4 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:01:55] 607*2^1433505-1 is not prime. Res64: 0B360AF8D128BAEF Time : 0.0 sec. user=mdettweiler [2016-06-25 13:01:56] 649*2^1433505-1 is not prime. Res64: 31A24E2A38B349FE Time : 0.0 sec. user=mdettweiler [2016-06-25 13:14:17] 685*2^1433507-1 is not prime. Res64: 003BB182C08F44EB Time : 0.0 sec. user=mdettweiler [2016-06-25 13:14:17] 703*2^1433507-1 is not prime. Res64: 554DDCB8343041A1 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:14:18] 909*2^1433507-1 is not prime. Res64: 88E3D6580CF81089 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:14:18] 931*2^1433507-1 is not prime. Res64: CF62CC88E90B0E23 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:14:18] 949*2^1433507-1 is not prime. Res64: F8C8018DFB581912 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:16:49] 679*2^1433505-1 is not prime. Res64: C6FEC7F132D6E01C Time : 0.0 sec. user=mdettweiler [2016-06-25 13:16:49] 705*2^1433505-1 is not prime. Res64: 9824B9D13ADCC151 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:16:50] 811*2^1433505-1 is not prime. Res64: 079B666B9018488E Time : 0.0 sec. user=mdettweiler [2016-06-25 13:16:50] 877*2^1433505-1 is not prime. Res64: D9B8B9B66A4FED3C Time : 0.0 sec. user=mdettweiler [2016-06-25 13:16:50] 895*2^1433505-1 is not prime. Res64: A07DC372C519C3EE Time : 0.0 sec. user=mdettweiler [2016-06-25 13:44:47] 963*2^1433507-1 is not prime. Res64: 9DEFAFF212394C44 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:44:47] 981*2^1433507-1 is not prime. Res64: 9823B5A3920A3458 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:44:48] 767*2^1433508-1 is not prime. Res64: FA63261F6A3CCD40 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:44:48] 993*2^1433508-1 is not prime. Res64: 0F64929CB03D2F9F Time : 0.0 sec. user=mdettweiler [2016-06-25 13:44:48] 765*2^1433509-1 is not prime. Res64: 6E7482E2B697E30D Time : 0.0 sec. user=mdettweiler [2016-06-25 13:49:28] 771*2^1433509-1 is not prime. Res64: FCB99B09CA0E0483 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:49:28] 801*2^1433509-1 is not prime. Res64: 27E857E20E1EF365 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:49:28] 817*2^1433509-1 is not prime. Res64: 2C12CAD7E390787E Time : 0.0 sec. user=mdettweiler [2016-06-25 13:49:29] 825*2^1433509-1 is not prime. Res64: E0B1B9E5F8DDC3B5 Time : 0.0 sec. user=mdettweiler [2016-06-25 13:49:29] 939*2^1433509-1 is not prime. Res64: 0D98A1C2115BDC17 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:00:09] 999*2^1433509-1 is not prime. Res64: 888CC6E06122546F Time : 0.0 sec. user=mdettweiler [2016-06-25 14:00:15] 755*2^1433510-1 is not prime. Res64: FA7784B48742646D Time : 0.0 sec. user=mdettweiler [2016-06-25 14:00:22] 827*2^1433510-1 is not prime. Res64: 25C2E77130C8A54F Time : 0.0 sec. user=mdettweiler [2016-06-25 14:00:28] 857*2^1433510-1 is not prime. Res64: 7AEE3AB27A096ED8 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:00:35] 911*2^1433510-1 is not prime. Res64: FCEC1F30D4E963E3 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:02:42] 921*2^1433510-1 is not prime. Res64: E8494558689AE695 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:02:48] 923*2^1433510-1 is not prime. Res64: 2EF0912E42CFFC4A Time : 0.0 sec. user=mdettweiler [2016-06-25 14:02:53] 613*2^1433511-1 is not prime. Res64: A7D8D4B362675816 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:02:58] 675*2^1433511-1 is not prime. Res64: C89853404D5E7A44 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:03:04] 685*2^1433511-1 is not prime. Res64: 73C859002AF70634 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:29:24] 705*2^1433511-1 is not prime. Res64: D0FE7EB0418CC39F Time : 0.0 sec. user=mdettweiler [2016-06-25 14:29:30] 735*2^1433511-1 is not prime. Res64: 351E4075A4CB3A6C Time : 0.0 sec. user=mdettweiler [2016-06-25 14:29:35] 751*2^1433511-1 is not prime. Res64: 6912F5CF06EBE35B Time : 0.0 sec. user=mdettweiler [2016-06-25 14:29:41] 783*2^1433511-1 is not prime. Res64: 6852EAB5ACA60232 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:29:47] 795*2^1433511-1 is not prime. Res64: 33199A645BAE451D Time : 0.0 sec. user=mdettweiler [2016-06-25 14:34:04] 879*2^1433511-1 is not prime. Res64: 27AD350591482F8D Time : 0.0 sec. user=mdettweiler [2016-06-25 14:34:04] 969*2^1433511-1 is not prime. Res64: 30261C6B589EB334 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:34:11] 975*2^1433511-1 is not prime. Res64: 9170E552E0E58F30 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:34:18] 999*2^1433511-1 is not prime. Res64: 3BE8747F1C7E6400 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:34:25] 603*2^1433512-1 is not prime. Res64: 543C4600EC2A802D Time : 0.0 sec. user=mdettweiler [2016-06-25 14:45:25] 675*2^1433512-1 is not prime. Res64: 9D1B34AA89B37CA8 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:45:29] 743*2^1433512-1 is not prime. Res64: 98E0563FBE26616E Time : 0.0 sec. user=mdettweiler [2016-06-25 14:45:33] 855*2^1433512-1 is not prime. Res64: 58A583874BF08FA0 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:45:38] 957*2^1433512-1 is not prime. Res64: A2C583DEE6B0C092 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:45:42] 975*2^1433512-1 is not prime. Res64: 61BFB45EED51EE11 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:47:49] 631*2^1433513-1 is not prime. Res64: 3D7E0A133E03BA74 Time : 0.0 sec. user=mdettweiler [2016-06-25 14:47:49] 747*2^1433513-1 is not prime. Res64: 95B62BF5DF26035E Time : 0.0 sec. user=mdettweiler [2016-06-25 14:47:49] 861*2^1433513-1 is not prime. Res64: D674D17CE9CA331A Time : 0.0 sec. user=mdettweiler [2016-06-25 14:47:50] 937*2^1433513-1 is not prime. Res64: CB0E2C337F5B6E3F Time : 0.0 sec. user=mdettweiler [2016-06-25 14:47:50] 611*2^1433514-1 is not prime. Res64: 72895FC8C0A1C6C5 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:14:17] 627*2^1433514-1 is not prime. Res64: 2B94886E4EB81BC0 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:14:21] 651*2^1433514-1 is not prime. Res64: 8938AFC1E41C4DEC Time : 0.0 sec. user=mdettweiler [2016-06-25 15:14:22] 663*2^1433514-1 is not prime. Res64: 73250992B3DF2DFA Time : 0.0 sec. user=mdettweiler [2016-06-25 15:14:26] 723*2^1433514-1 is not prime. Res64: 5B158ACEA300CF3B Time : 0.0 sec. user=mdettweiler [2016-06-25 15:14:30] 755*2^1433514-1 is not prime. Res64: 838096EFCD485D10 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:18:56] 791*2^1433514-1 is not prime. Res64: 7B5C47ACB6AD7C0E Time : 0.0 sec. user=mdettweiler [2016-06-25 15:19:03] 875*2^1433514-1 is not prime. Res64: 79A994B3E1EDE07F Time : 0.0 sec. user=mdettweiler [2016-06-25 15:19:03] 983*2^1433514-1 is not prime. Res64: 47F7F7BF0CB25344 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:19:09] 601*2^1433515-1 is not prime. Res64: C9AE0B4E00C24EB4 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:19:16] 633*2^1433515-1 is not prime. Res64: 6610CFAD0226CCC4 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:30:18] 691*2^1433515-1 is not prime. Res64: 073DF82A4C587970 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:30:18] 635*2^1433516-1 is not prime. Res64: DFF2CBC455758F35 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:30:18] 659*2^1433516-1 is not prime. Res64: 9F2EA47BCB3B49E2 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:30:19] 663*2^1433516-1 is not prime. Res64: 06A665BC869117EB Time : 0.0 sec. user=mdettweiler [2016-06-25 15:30:19] 725*2^1433516-1 is not prime. Res64: FC86938D1BAC9CE6 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:32:22] 749*2^1433516-1 is not prime. Res64: 217FDA96BDE58F2F Time : 0.0 sec. user=mdettweiler [2016-06-25 15:32:23] 923*2^1433516-1 is not prime. Res64: CD6E405D13F8536B Time : 0.0 sec. user=mdettweiler [2016-06-25 15:32:23] 935*2^1433516-1 is not prime. Res64: 4961F80719617935 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:32:24] 953*2^1433516-1 is not prime. Res64: 46F2DF5EFD8980B6 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:32:24] 727*2^1433517-1 is not prime. Res64: DC047A474F8F0F73 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:59:14] 741*2^1433517-1 is not prime. Res64: 3104D337C6BE566C Time : 0.0 sec. user=mdettweiler [2016-06-25 15:59:18] 817*2^1433517-1 is not prime. Res64: CC0B81DB94031F44 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:59:22] 829*2^1433517-1 is not prime. Res64: C30184FD30E8BC21 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:59:26] 895*2^1433517-1 is not prime. Res64: 078599938E4BB3D1 Time : 0.0 sec. user=mdettweiler [2016-06-25 15:59:30] 949*2^1433517-1 is not prime. Res64: 89FEA0DB9A84E5B1 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:03:55] 985*2^1433517-1 is not prime. Res64: 287B16858E63487A Time : 0.0 sec. user=mdettweiler [2016-06-25 16:03:56] 605*2^1433518-1 is not prime. Res64: 4D2344FE059EC589 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:03:57] 815*2^1433518-1 is not prime. Res64: 9FB9A895F7FF1182 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:03:58] 825*2^1433518-1 is not prime. Res64: DC1C8606A0769740 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:03:59] 933*2^1433518-1 is not prime. Res64: D0AFBCF76FD67ABA Time : 0.0 sec. user=mdettweiler [2016-06-25 16:14:50] 601*2^1433519-1 is not prime. Res64: 3AA81060676E5626 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:14:50] 693*2^1433519-1 is not prime. Res64: EED5480681483CD7 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:14:51] 703*2^1433519-1 is not prime. Res64: D63FB0197C35D170 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:14:51] 741*2^1433519-1 is not prime. Res64: 21E9098C916E1B87 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:14:51] 759*2^1433519-1 is not prime. Res64: 01A554561AEC1E17 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:16:57] 921*2^1433519-1 is not prime. Res64: DB1AE860334D2E5B Time : 0.0 sec. user=mdettweiler [2016-06-25 16:16:57] 955*2^1433519-1 is not prime. Res64: F2A7607458BAE693 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:16:57] 999*2^1433519-1 is not prime. Res64: C9D57AA832003B5A Time : 0.0 sec. user=mdettweiler [2016-06-25 16:16:58] 653*2^1433520-1 is not prime. Res64: 3C0C60CC87E17855 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:16:58] 665*2^1433520-1 is not prime. Res64: D931446BC6A7AFC3 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:44:04] 789*2^1433520-1 is not prime. Res64: 257691E3B8A28415 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:44:04] 825*2^1433520-1 is not prime. Res64: 252F65B74AE5D52D Time : 0.0 sec. user=mdettweiler [2016-06-25 16:44:04] 843*2^1433520-1 is not prime. Res64: 2BF7A0A4F9400D07 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:44:05] 615*2^1433521-1 is not prime. Res64: 2C842E791D82FA32 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:44:05] 687*2^1433521-1 is not prime. Res64: DE7D039DB7A40CD3 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:48:28] 717*2^1433521-1 is not prime. Res64: 9102C9C66609B98E Time : 0.0 sec. user=mdettweiler [2016-06-25 16:48:29] 745*2^1433521-1 is not prime. Res64: 76339DCC19D5A74F Time : 0.0 sec. user=mdettweiler [2016-06-25 16:48:29] 645*2^1433522-1 is not prime. Res64: 89DE7933F6555629 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:48:29] 665*2^1433522-1 is not prime. Res64: 79DD704B01180157 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:48:30] 735*2^1433522-1 is not prime. Res64: 92ADF2F968F2152E Time : 0.0 sec. user=mdettweiler [2016-06-25 16:59:21] 833*2^1433522-1 is not prime. Res64: 488AD082D11D44EE Time : 0.0 sec. user=mdettweiler [2016-06-25 16:59:22] 941*2^1433522-1 is not prime. Res64: B37E050820E5D6FB Time : 0.0 sec. user=mdettweiler [2016-06-25 16:59:28] 945*2^1433522-1 is not prime. Res64: 66F65E707802966C Time : 0.0 sec. user=mdettweiler [2016-06-25 16:59:29] 977*2^1433522-1 is not prime. Res64: 0ACEEC3E16E57791 Time : 0.0 sec. user=mdettweiler [2016-06-25 16:59:35] 1001*2^1433522-1 is not prime. Res64: A02E7D04056949AB Time : 0.0 sec. user=mdettweiler [2016-06-25 17:01:28] 649*2^1433523-1 is not prime. Res64: 0133C460928F1EBA Time : 0.0 sec. user=mdettweiler [2016-06-25 17:01:33] 685*2^1433523-1 is not prime. Res64: E5ABADBD3833DC27 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:01:37] 735*2^1433523-1 is not prime. Res64: 25B450D4D3B47029 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:01:42] 823*2^1433523-1 is not prime. Res64: FEC3E8F2BF94F24F Time : 0.0 sec. user=mdettweiler [2016-06-25 17:01:43] 891*2^1433523-1 is not prime. Res64: 306CF204C6C2EA51 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:28:39] 955*2^1433523-1 is not prime. Res64: BEE2F804C39B5091 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:28:40] 963*2^1433523-1 is not prime. Res64: BC39058EBFF811A0 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:28:40] 615*2^1433524-1 is not prime. Res64: 7A85482713CD6E5A Time : 0.0 sec. user=mdettweiler [2016-06-25 17:28:40] 695*2^1433524-1 is not prime. Res64: 2B4B66DCB95EF61C Time : 0.0 sec. user=mdettweiler [2016-06-25 17:28:41] 705*2^1433524-1 is not prime. Res64: 435D9F31B59493FA Time : 0.0 sec. user=mdettweiler [2016-06-25 17:33:05] 707*2^1433524-1 is not prime. Res64: 3A50E46BC55791FA Time : 0.0 sec. user=mdettweiler [2016-06-25 17:33:12] 743*2^1433524-1 is not prime. Res64: EA4EB270526C66B4 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:33:19] 873*2^1433524-1 is not prime. Res64: C8D5A8EEBB2AFAF9 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:33:19] 995*2^1433524-1 is not prime. Res64: 4235AC782D10059D Time : 0.0 sec. user=mdettweiler [2016-06-25 17:33:26] 715*2^1433525-1 is not prime. Res64: 266D0EE8B34C9E20 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:44:21] 907*2^1433525-1 is not prime. Res64: 859DCC1F6C01BBFE Time : 0.0 sec. user=mdettweiler [2016-06-25 17:44:25] 981*2^1433525-1 is not prime. Res64: 240EFFCF42A8435B Time : 0.0 sec. user=mdettweiler [2016-06-25 17:44:29] 987*2^1433525-1 is not prime. Res64: 5C447CBE33D46B97 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:44:33] 693*2^1433526-1 is not prime. Res64: 72D89F2BD1C425C9 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:44:37] 707*2^1433526-1 is not prime. Res64: 6806251C30EB94CA Time : 0.0 sec. user=mdettweiler [2016-06-25 17:46:21] 723*2^1433526-1 is not prime. Res64: 452774BD63FC3283 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:46:25] 821*2^1433526-1 is not prime. Res64: 51E085F12236D7EE Time : 0.0 sec. user=mdettweiler [2016-06-25 17:46:29] 875*2^1433526-1 is not prime. Res64: 6C40D0338EFA77D3 Time : 0.0 sec. user=mdettweiler [2016-06-25 17:46:33] 919*2^1433527-1 is not prime. Res64: B5F6799F7199126E Time : 0.0 sec. user=mdettweiler [2016-06-25 17:46:34] 925*2^1433527-1 is not prime. Res64: B9FCF8F3FE21565C Time : 0.0 sec. user=mdettweiler [2016-06-25 18:13:36] 999*2^1433527-1 is not prime. Res64: ABD51086DF7419AD Time : 0.0 sec. user=mdettweiler [2016-06-25 18:13:40] 657*2^1433528-1 is not prime. Res64: DF492BA8B807661C Time : 0.0 sec. user=mdettweiler [2016-06-25 18:13:44] 683*2^1433528-1 is not prime. Res64: 7AE32795139D821C Time : 0.0 sec. user=mdettweiler [2016-06-25 18:13:48] 699*2^1433528-1 is not prime. Res64: CF6A0D8D661021CC Time : 0.0 sec. user=mdettweiler [2016-06-25 18:13:52] 743*2^1433528-1 is not prime. Res64: F08233BAF3EFDF92 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:18:12] 869*2^1433528-1 is not prime. Res64: 127741388A823EED Time : 0.0 sec. user=mdettweiler [2016-06-25 18:18:18] 915*2^1433528-1 is not prime. Res64: 6AEF7C842B141B6D Time : 0.0 sec. user=mdettweiler [2016-06-25 18:18:24] 935*2^1433528-1 is not prime. Res64: 3707E5E93C15ACF4 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:18:31] 963*2^1433528-1 is not prime. Res64: 8FEDDD8506A8CBDD Time : 0.0 sec. user=mdettweiler [2016-06-25 18:18:38] 609*2^1433529-1 is not prime. Res64: 680F72918CDF7265 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:29:20] 691*2^1433529-1 is not prime. Res64: 17E49774F8A45A4D Time : 0.0 sec. user=mdettweiler [2016-06-25 18:29:20] 837*2^1433529-1 is not prime. Res64: 81603F6054284110 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:29:20] 909*2^1433529-1 is not prime. Res64: 0FE8C935D8CC4509 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:29:21] 975*2^1433529-1 is not prime. Res64: 24EA5AC9B2912F0F Time : 0.0 sec. user=mdettweiler [2016-06-25 18:29:21] 645*2^1433530-1 is not prime. Res64: 960534A9CC20B310 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:31:06] 813*2^1433530-1 is not prime. Res64: F4AFFE8848CA2F6E Time : 0.0 sec. user=mdettweiler [2016-06-25 18:31:07] 833*2^1433530-1 is not prime. Res64: 9298DEB2606605A3 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:31:07] 873*2^1433530-1 is not prime. Res64: 6E0011B586AE618F Time : 0.0 sec. user=mdettweiler [2016-06-25 18:31:08] 923*2^1433530-1 is not prime. Res64: 11F87B4ABE5E496D Time : 0.0 sec. user=mdettweiler [2016-06-25 18:31:08] 933*2^1433530-1 is not prime. Res64: 21C2B87C749A25F3 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:58:18] 957*2^1433530-1 is not prime. Res64: E620F5F7102ECE96 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:58:24] 619*2^1433531-1 is not prime. Res64: 435CF49458BFA865 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:58:31] 651*2^1433531-1 is not prime. Res64: A8ABE404CD490BA0 Time : 0.0 sec. user=mdettweiler [2016-06-25 18:58:37] 663*2^1433531-1 is not prime. Res64: 89AC2B6DE68A430F Time : 0.0 sec. user=mdettweiler [2016-06-25 18:58:43] 705*2^1433531-1 is not prime. Res64: 22E2880259127018 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:03:09] 735*2^1433531-1 is not prime. Res64: C6F51A4CC716DC86 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:03:11] 789*2^1433531-1 is not prime. Res64: 6E7DD9B4CB9E4262 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:03:12] 889*2^1433531-1 is not prime. Res64: C477542F169DE607 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:03:13] 999*2^1433531-1 is not prime. Res64: 3A3E750830C2A8DC Time : 0.0 sec. user=mdettweiler [2016-06-25 19:03:14] 627*2^1433532-1 is not prime. Res64: DCDB395CF010B90A Time : 0.0 sec. user=mdettweiler [2016-06-25 19:13:43] 695*2^1433532-1 is not prime. Res64: 91BF5B82DF7EF96E Time : 0.0 sec. user=mdettweiler [2016-06-25 19:13:44] 923*2^1433532-1 is not prime. Res64: 66F732374CC412AC Time : 0.0 sec. user=mdettweiler [2016-06-25 19:13:44] 751*2^1433533-1 is not prime. Res64: 83ABFD30CFCB0DE5 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:13:45] 757*2^1433533-1 is not prime. Res64: DEE9BB74D0A477E8 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:13:45] 937*2^1433533-1 is not prime. Res64: 3442673FAA0CFD05 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:15:39] 635*2^1433534-1 is not prime. Res64: 153F2F21DB916C62 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:15:40] 641*2^1433534-1 is not prime. Res64: DD9A5187B3063F9D Time : 0.0 sec. user=mdettweiler [2016-06-25 19:15:40] 753*2^1433534-1 is not prime. Res64: B2A2947E0E9249A1 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:15:41] 767*2^1433534-1 is not prime. Res64: CFB880983F1EC4ED Time : 0.0 sec. user=mdettweiler [2016-06-25 19:15:41] 915*2^1433534-1 is not prime. Res64: F8A9FF66F78A775B Time : 0.0 sec. user=mdettweiler [2016-06-25 19:43:39] 675*2^1433535-1 is not prime. Res64: EF34887B20877CCA Time : 0.0 sec. user=mdettweiler [2016-06-25 19:43:40] 693*2^1433535-1 is not prime. Res64: 656438E7170F9FD5 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:43:40] 705*2^1433535-1 is not prime. Res64: 6C493385F5D81E49 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:43:40] 913*2^1433535-1 is not prime. Res64: F0C277DC0FF9F266 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:43:41] 603*2^1433536-1 is not prime. Res64: 6DC6C67F1C0F070B Time : 0.0 sec. user=mdettweiler [2016-06-25 19:47:53] 657*2^1433536-1 is not prime. Res64: E65BE7364E1E7E37 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:47:54] 873*2^1433536-1 is not prime. Res64: 2BE6AE5C76A478BD Time : 0.0 sec. user=mdettweiler [2016-06-25 19:47:54] 965*2^1433536-1 is not prime. Res64: F0879EE4A8931BF3 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:47:54] 649*2^1433537-1 is not prime. Res64: 5C60236336A91490 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:47:55] 747*2^1433537-1 is not prime. Res64: D26AEFB4B12FC084 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:58:19] 771*2^1433537-1 is not prime. Res64: 3D26AF0CE92B02B4 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:58:23] 777*2^1433537-1 is not prime. Res64: BF6D8FD628C9FB75 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:58:27] 829*2^1433537-1 is not prime. Res64: 51193C53148B7060 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:58:31] 889*2^1433537-1 is not prime. Res64: B62A5C7A31990119 Time : 0.0 sec. user=mdettweiler [2016-06-25 19:58:35] 985*2^1433537-1 is not prime. Res64: 2F73A442E04C6E38 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:00:16] 611*2^1433538-1 is not prime. Res64: 78806917B6DE4A7E Time : 0.0 sec. user=mdettweiler [2016-06-25 20:00:20] 695*2^1433538-1 is not prime. Res64: 87475AA7402A0AFD Time : 0.0 sec. user=mdettweiler [2016-06-25 20:00:24] 767*2^1433538-1 is not prime. Res64: 9852B60A4B7D9A5F Time : 0.0 sec. user=mdettweiler [2016-06-25 20:00:28] 777*2^1433538-1 is not prime. Res64: 4A4B5C9B218850DF Time : 0.0 sec. user=mdettweiler [2016-06-25 20:00:32] 801*2^1433538-1 is not prime. Res64: 5F5371990E4903C5 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:28:18] 615*2^1433539-1 is not prime. Res64: DE1C288E9CC50DA3 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:28:22] 619*2^1433539-1 is not prime. Res64: 5B15E5BC7C753109 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:28:26] 639*2^1433539-1 is not prime. Res64: 966114712CD4A3DF Time : 0.0 sec. user=mdettweiler [2016-06-25 20:28:30] 685*2^1433539-1 is not prime. Res64: 62FE81EB3671EADC Time : 0.0 sec. user=mdettweiler [2016-06-25 20:28:34] 811*2^1433539-1 is not prime. Res64: 8C8DAE265ECDE4AB Time : 0.0 sec. user=mdettweiler [2016-06-25 20:32:21] 885*2^1433539-1 is not prime. Res64: 3E971D02257C9409 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:32:28] 975*2^1433539-1 is not prime. Res64: 39D9E72B05FC4D54 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:32:34] 647*2^1433540-1 is not prime. Res64: 998A45ABE10B53D9 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:32:40] 669*2^1433540-1 is not prime. Res64: C39B606C128A5AFA Time : 0.0 sec. user=mdettweiler [2016-06-25 20:32:47] 753*2^1433540-1 is not prime. Res64: 854C47216BDC65C4 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:43:18] 795*2^1433540-1 is not prime. Res64: A704B94679889742 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:43:24] 843*2^1433540-1 is not prime. Res64: 8E5912AEC1C3D5E5 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:43:25] 995*2^1433540-1 is not prime. Res64: 53A4BA13FD709DBC Time : 0.0 sec. user=mdettweiler [2016-06-25 20:43:31] 607*2^1433541-1 is not prime. Res64: EFC6AAC143E7B78F Time : 0.0 sec. user=mdettweiler [2016-06-25 20:43:37] 609*2^1433541-1 is not prime. Res64: 2226443DB860F6A6 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:45:22] 745*2^1433541-1 is not prime. Res64: 11A70DB8F6738F4B Time : 0.0 sec. user=mdettweiler [2016-06-25 20:45:29] 817*2^1433541-1 is not prime. Res64: A492C8DEEAD75ED0 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:45:35] 847*2^1433541-1 is not prime. Res64: ECFAFB6FCF855DD2 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:45:35] 895*2^1433541-1 is not prime. Res64: 5FEB767808825237 Time : 0.0 sec. user=mdettweiler [2016-06-25 20:45:41] 921*2^1433541-1 is not prime. Res64: 49D7F33392CA5EFF Time : 0.0 sec. user=mdettweiler [2016-06-25 21:13:06] 987*2^1433541-1 is not prime. Res64: 2942FB6C66F84A38 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:13:12] 623*2^1433542-1 is not prime. Res64: 177965BE4B08E2AA Time : 0.0 sec. user=mdettweiler [2016-06-25 21:13:18] 657*2^1433542-1 is not prime. Res64: 4C8953F87AE1C085 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:13:23] 677*2^1433542-1 is not prime. Res64: 43D33E4679499E3B Time : 0.0 sec. user=mdettweiler [2016-06-25 21:13:23] 755*2^1433542-1 is not prime. Res64: E789C529BCCAD7BE Time : 0.0 sec. user=mdettweiler [2016-06-25 21:17:25] 825*2^1433542-1 is not prime. Res64: 09BD5CB5C114E75E Time : 0.0 sec. user=mdettweiler [2016-06-25 21:17:31] 867*2^1433542-1 is not prime. Res64: 2C09BD638109B912 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:17:32] 885*2^1433542-1 is not prime. Res64: 22FBDCA13B734F49 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:17:38] 947*2^1433542-1 is not prime. Res64: D89465B00A121DC7 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:17:44] 1001*2^1433542-1 is not prime. Res64: F164F28B3A65094F Time : 0.0 sec. user=mdettweiler [2016-06-25 21:28:22] 693*2^1433543-1 is not prime. Res64: 3C84A679DB08E7D2 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:28:23] 715*2^1433543-1 is not prime. Res64: 52DF656EEECF200D Time : 0.0 sec. user=mdettweiler [2016-06-25 21:28:23] 859*2^1433543-1 is not prime. Res64: 8B8ED2920D38AAE9 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:28:24] 879*2^1433543-1 is not prime. Res64: D2AC485269455378 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:28:24] 949*2^1433543-1 is not prime. Res64: 134351620147D3A7 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:30:40] 693*2^1433544-1 is not prime. Res64: 28D96A9E18DA63CA Time : 0.0 sec. user=mdettweiler [2016-06-25 21:30:40] 737*2^1433544-1 is not prime. Res64: 9B34AF3636EDE637 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:30:40] 825*2^1433544-1 is not prime. Res64: B0515DB3E34BF0A1 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:30:41] 863*2^1433544-1 is not prime. Res64: 44B705D8E7036025 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:30:41] 915*2^1433544-1 is not prime. Res64: AB2AA514BD004688 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:58:11] 927*2^1433544-1 is not prime. Res64: 4A9B3E88A21E235E Time : 0.0 sec. user=mdettweiler [2016-06-25 21:58:17] 983*2^1433544-1 is not prime. Res64: 894D2918C289CBE2 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:58:23] 607*2^1433545-1 is not prime. Res64: ED7E0F54CDD9FD31 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:58:29] 717*2^1433545-1 is not prime. Res64: ABB50C2C46193834 Time : 0.0 sec. user=mdettweiler [2016-06-25 21:58:36] 847*2^1433545-1 is not prime. Res64: AB02E1BA15DA8570 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:02:49] 861*2^1433545-1 is not prime. Res64: 802D1D8BBB3207A7 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:02:50] 871*2^1433545-1 is not prime. Res64: AF9976B54E6000C8 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:02:51] 897*2^1433545-1 is not prime. Res64: 793AB29C58F91519 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:02:52] 909*2^1433545-1 is not prime. Res64: 6F2AE3ECF65B7BF0 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:02:54] 939*2^1433545-1 is not prime. Res64: 6E44C7201D1D74CE Time : 0.0 sec. user=mdettweiler [2016-06-25 22:13:00] 773*2^1433546-1 is not prime. Res64: 5135C18D5F2D0DDD Time : 0.0 sec. user=mdettweiler [2016-06-25 22:13:01] 825*2^1433546-1 is not prime. Res64: 2D546230FAD3980E Time : 0.0 sec. user=mdettweiler [2016-06-25 22:13:01] 833*2^1433546-1 is not prime. Res64: 56FDAD0A5E55C6F0 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:13:01] 941*2^1433546-1 is not prime. Res64: 5513AC8465C1A252 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:13:02] 983*2^1433546-1 is not prime. Res64: 6C7E83749EE68589 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:15:24] 819*2^1433547-1 is not prime. Res64: 0E553CE14059F280 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:15:25] 843*2^1433547-1 is not prime. Res64: 1297CA23F6C5FA70 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:15:25] 927*2^1433548-1 is not prime. Res64: EF55B6B909C3B2C5 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:15:25] 957*2^1433548-1 is not prime. Res64: ABB831D32CD33C35 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:15:26] 999*2^1433548-1 is not prime. Res64: 229CF57BAE7F515D Time : 0.0 sec. user=mdettweiler [2016-06-25 22:43:21] 645*2^1433549-1 is not prime. Res64: DAA2B235FD6F5D1D Time : 0.0 sec. user=mdettweiler [2016-06-25 22:43:21] 675*2^1433549-1 is not prime. Res64: 130C75421D67EC1D Time : 0.0 sec. user=mdettweiler [2016-06-25 22:43:22] 741*2^1433549-1 is not prime. Res64: 6BD69A579C4EBC18 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:43:22] 799*2^1433549-1 is not prime. Res64: FED75A7B8AB69112 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:43:23] 847*2^1433549-1 is not prime. Res64: 3C4394181FEFCFF9 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:47:31] 879*2^1433549-1 is not prime. Res64: 8E1EF42E86A11398 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:47:31] 889*2^1433549-1 is not prime. Res64: 5B992D082BFDC66F Time : 0.0 sec. user=mdettweiler [2016-06-25 22:47:32] 665*2^1433550-1 is not prime. Res64: CCFA8EE49218A1A2 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:47:32] 717*2^1433550-1 is not prime. Res64: 2539BE543E1485C7 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:47:32] 845*2^1433550-1 is not prime. Res64: 9E860787FF9DF093 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:57:52] 873*2^1433550-1 is not prime. Res64: 8725F1A2679EC29D Time : 0.0 sec. user=mdettweiler [2016-06-25 22:57:52] 887*2^1433550-1 is not prime. Res64: 9A428FE26ED32043 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:57:58] 917*2^1433550-1 is not prime. Res64: 9DE2B1AD93EAA0E1 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:57:59] 927*2^1433550-1 is not prime. Res64: AD2DC3F597851E76 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:58:05] 977*2^1433550-1 is not prime. Res64: 7715CF2FF1911283 Time : 0.0 sec. user=mdettweiler [2016-06-25 22:59:54] 675*2^1433551-1 is not prime. Res64: D77BF7F1CE67AD59 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:00:01] 819*2^1433551-1 is not prime. Res64: 474384D01170F242 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:00:01] 885*2^1433551-1 is not prime. Res64: 0956FD857A08F43B Time : 0.0 sec. user=mdettweiler [2016-06-25 23:00:07] 895*2^1433551-1 is not prime. Res64: 12B6BE916A833C5C Time : 0.0 sec. user=mdettweiler [2016-06-25 23:00:14] 913*2^1433551-1 is not prime. Res64: BBD9AF0BD2714586 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:27:47] 933*2^1433551-1 is not prime. Res64: 1AF9A33E02FC7039 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:27:47] 969*2^1433551-1 is not prime. Res64: 8003C36D50CE8F31 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:27:48] 979*2^1433551-1 is not prime. Res64: 986C39B3AFC41666 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:27:48] 635*2^1433552-1 is not prime. Res64: 616C8248A472942B Time : 0.0 sec. user=mdettweiler [2016-06-25 23:27:48] 657*2^1433552-1 is not prime. Res64: D206A8CE8C2EC487 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:32:16] 785*2^1433552-1 is not prime. Res64: 21A45F42670BD0CB Time : 0.0 sec. user=mdettweiler [2016-06-25 23:44:09] 781*2^1433553-1 is not prime. Res64: 11D734C477CA688E Time : 0.0 sec. user=mdettweiler [2016-06-25 23:44:13] 789*2^1433553-1 is not prime. Res64: 6C77F7A248227637 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:44:17] 915*2^1433553-1 is not prime. Res64: D132A203A6EC425D Time : 0.0 sec. user=mdettweiler [2016-06-25 23:44:21] 999*2^1433553-1 is not prime. Res64: 02CF2457B6FBA97E Time : 0.0 sec. user=mdettweiler [2016-06-25 23:44:25] 611*2^1433554-1 is not prime. Res64: 10591FD433954CA8 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:47:14] 677*2^1433554-1 is not prime. Res64: 943CC2CB0EBEA8CC Time : 0.0 sec. user=mdettweiler [2016-06-25 23:47:14] 803*2^1433554-1 is not prime. Res64: 5A0E69272C24FE54 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:47:20] 945*2^1433554-1 is not prime. Res64: 6F312598C5FCFAFF Time : 0.0 sec. user=mdettweiler [2016-06-25 23:47:26] 685*2^1433555-1 is not prime. Res64: A9B7C0F179F31837 Time : 0.0 sec. user=mdettweiler [2016-06-25 23:47:32] 741*2^1433555-1 is not prime. Res64: 927EBE64C9ABF77E Time : 0.0 sec.