user=mdettweiler [2015-12-10 00:01:59] 655*2^1417229-1 is not prime. Res64: AE2D26939FBAD929 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:02:00] 685*2^1417229-1 is not prime. Res64: F2528B0DCEF28C31 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:11:27] 865*2^1417229-1 is not prime. Res64: 29BE44E61958349E Time : 0.0 sec. user=mdettweiler [2015-12-10 00:11:28] 681*2^1417230-1 is not prime. Res64: AEC4E7F99E7B4288 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:20:01] 741*2^1417230-1 is not prime. Res64: 56116BE1A561F530 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:20:01] 783*2^1417230-1 is not prime. Res64: B5A5BCDA056DDF76 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:29:32] 845*2^1417230-1 is not prime. Res64: 7F1A430AA79A280C Time : 0.0 sec. user=mdettweiler [2015-12-10 00:29:32] 957*2^1417230-1 is not prime. Res64: 4AE8B506B928C066 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:37:49] 965*2^1417230-1 is not prime. Res64: 617F979897996137 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:37:49] 971*2^1417230-1 is not prime. Res64: 755519B54B0D3F64 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:47:06] 625*2^1417231-1 is not prime. Res64: 6F9451E220DF7D93 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:47:07] 745*2^1417231-1 is not prime. Res64: 32717947839F5AC3 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:55:18] 759*2^1417231-1 is not prime. Res64: 074B6681C3ABD7F9 Time : 0.0 sec. user=mdettweiler [2015-12-10 00:55:18] 819*2^1417231-1 is not prime. Res64: D2F19DF4447E33CE Time : 0.0 sec. user=mdettweiler [2015-12-10 01:04:31] 829*2^1417231-1 is not prime. Res64: B2FAF6486772FC31 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:04:33] 883*2^1417231-1 is not prime. Res64: B57038CB266FB24F Time : 0.0 sec. user=mdettweiler [2015-12-10 01:12:42] 885*2^1417231-1 is not prime. Res64: 989BE8A62FD904C0 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:12:42] 933*2^1417231-1 is not prime. Res64: 16CFC9197205EDFA Time : 0.0 sec. user=mdettweiler [2015-12-10 01:22:11] 973*2^1417231-1 is not prime. Res64: 91346677CF02C7F1 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:22:11] 615*2^1417232-1 is not prime. Res64: C98A000649C69462 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:30:06] 623*2^1417232-1 is not prime. Res64: 81EFF9CBDF54360D Time : 0.0 sec. user=mdettweiler [2015-12-10 01:30:08] 857*2^1417232-1 is not prime. Res64: 24B2DE24733F6F01 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:39:35] 873*2^1417232-1 is not prime. Res64: D3F9FD3C2F79B285 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:39:36] 625*2^1417233-1 is not prime. Res64: B8648447B5939567 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:47:48] 705*2^1417233-1 is not prime. Res64: 00CFF660F2ECC0E1 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:47:48] 727*2^1417233-1 is not prime. Res64: E379ACFAEB85E156 Time : 0.0 sec. user=mdettweiler [2015-12-10 01:56:59] 759*2^1417233-1 is not prime. Res64: 13E975E13ABBDF4F Time : 0.0 sec. user=mdettweiler [2015-12-10 01:57:00] 807*2^1417233-1 is not prime. Res64: 9C851A68829DACA2 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:05:37] 885*2^1417233-1 is not prime. Res64: AE61A58CBE22AAF2 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:05:38] 895*2^1417233-1 is not prime. Res64: B5CE6D4EFA6AA8D5 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:14:25] 921*2^1417233-1 is not prime. Res64: E4D4ED4E263C0D3C Time : 0.0 sec. user=mdettweiler [2015-12-10 02:14:26] 605*2^1417234-1 is not prime. Res64: 7A3C52272E62655E Time : 0.0 sec. user=mdettweiler [2015-12-10 02:23:02] 681*2^1417234-1 is not prime. Res64: 84D3D0B1792C7562 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:23:02] 765*2^1417234-1 is not prime. Res64: 043780CDE29C5575 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:31:51] 791*2^1417234-1 is not prime. Res64: 9AA03FBECFDF6EF9 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:31:52] 825*2^1417234-1 is not prime. Res64: E4649F627A2BC48A Time : 0.0 sec. user=mdettweiler [2015-12-10 02:40:26] 887*2^1417234-1 is not prime. Res64: 0968FB2C1888C067 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:40:27] 917*2^1417234-1 is not prime. Res64: 6D6B02040F1B71A2 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:49:24] 619*2^1417235-1 is not prime. Res64: 70D3B399A5C5A9E6 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:49:24] 669*2^1417235-1 is not prime. Res64: A5AAA8EAEE3C7FC5 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:57:52] 759*2^1417235-1 is not prime. Res64: 228BDC2F320EF916 Time : 0.0 sec. user=mdettweiler [2015-12-10 02:57:52] 783*2^1417235-1 is not prime. Res64: 9C5CE4C836661493 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:06:49] 843*2^1417235-1 is not prime. Res64: 94E629CA279ADFF6 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:06:50] 963*2^1417235-1 is not prime. Res64: 3AC280CA895D36A3 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:15:17] 969*2^1417235-1 is not prime. Res64: 95876DFEDF082D02 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:15:17] 973*2^1417235-1 is not prime. Res64: 97C2DBF9A7D98AC8 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:24:19] 719*2^1417236-1 is not prime. Res64: 563A165F6FBC93AA Time : 0.0 sec. user=mdettweiler [2015-12-10 03:24:20] 837*2^1417236-1 is not prime. Res64: D5597B1AEBDADEC1 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:32:48] 899*2^1417236-1 is not prime. Res64: 6CC44E9B637C83C0 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:32:49] 969*2^1417236-1 is not prime. Res64: B1F685CC3EE18B78 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:41:45] 615*2^1417237-1 is not prime. Res64: 330D574B82A8EEC5 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:41:46] 649*2^1417237-1 is not prime. Res64: 40C4912F9DD3444D Time : 0.0 sec. user=mdettweiler [2015-12-10 03:50:22] 729*2^1417237-1 is not prime. Res64: B168B4B9B98666C6 Time : 0.0 sec. user=mdettweiler [2015-12-10 03:50:24] 747*2^1417237-1 is not prime. Res64: 24E8500C138CD44F Time : 0.0 sec. user=mdettweiler [2015-12-10 03:59:22] 769*2^1417237-1 is not prime. Res64: 071920C7F7358FEE Time : 0.0 sec. user=mdettweiler [2015-12-10 03:59:23] 799*2^1417237-1 is not prime. Res64: 5CF1DA3726751429 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:08:04] 825*2^1417237-1 is not prime. Res64: C9FCF9FAE4A08E23 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:08:04] 861*2^1417237-1 is not prime. Res64: 1362D95B1B2B7172 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:16:50] 867*2^1417237-1 is not prime. Res64: FACE03936E933568 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:16:50] 919*2^1417237-1 is not prime. Res64: 8073118FC6683C92 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:25:29] 955*2^1417237-1 is not prime. Res64: 3E0363914FC9FEE2 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:25:30] 657*2^1417238-1 is not prime. Res64: 7F5F966F57C0D052 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:34:14] 753*2^1417238-1 is not prime. Res64: 69DCF9BDF3E2A135 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:34:15] 755*2^1417238-1 is not prime. Res64: 403487CF3038B4A9 Time : 0.0 sec. user=mdettweiler [2015-12-10 04:42:54] 887*2^1417238-1 is not prime. Res64: 1FD90474306B6E2D Time : 0.0 sec. user=mdettweiler [2015-12-10 04:42:54] 893*2^1417238-1 is not prime. Res64: 82957D2212B9F08B Time : 0.0 sec. user=mdettweiler [2015-12-10 04:51:39] 923*2^1417238-1 is not prime. Res64: 4921A0D8251D093C Time : 0.0 sec. user=mdettweiler [2015-12-10 04:51:39] 971*2^1417238-1 is not prime. Res64: 4F5B5360488A38BC Time : 0.0 sec. user=mdettweiler [2015-12-10 05:00:19] 663*2^1417239-1 is not prime. Res64: 370810F13F637E0B Time : 0.0 sec. user=mdettweiler [2015-12-10 05:00:20] 703*2^1417239-1 is not prime. Res64: EC02C852298DF904 Time : 0.0 sec. user=mdettweiler [2015-12-10 05:09:05] 789*2^1417239-1 is not prime. Res64: EF18C1E6E87C156F Time : 0.0 sec. user=mdettweiler [2015-12-10 05:09:05] 879*2^1417239-1 is not prime. Res64: 564637F463123872 Time : 0.0 sec. user=mdettweiler [2015-12-10 05:17:46] 931*2^1417239-1 is not prime. Res64: 0E3F2D9492149C7B Time : 0.0 sec. user=mdettweiler [2015-12-10 05:17:47] 951*2^1417239-1 is not prime. Res64: DDF90D648C93211B Time : 0.0 sec. user=mdettweiler [2015-12-10 05:26:31] 973*2^1417239-1 is not prime. Res64: 88AF067929D839D4 Time : 0.0 sec. user=mdettweiler [2015-12-10 05:26:31] 603*2^1417240-1 is not prime. Res64: 82185C50FED66F6F Time : 0.0 sec. user=mdettweiler [2015-12-10 05:35:10] 803*2^1417240-1 is not prime. Res64: 3DED5A15048BBCF8 Time : 0.0 sec. user=mdettweiler [2015-12-10 05:35:10] 939*2^1417240-1 is not prime. Res64: E8918C7B8F06C876 Time : 0.0 sec. user=mdettweiler [2015-12-10 05:43:55] 975*2^1417240-1 is not prime. Res64: AC49B001488DFF6C Time : 0.0 sec. user=mdettweiler [2015-12-10 05:43:56] 999*2^1417240-1 is not prime. Res64: 1D0714CE3CA030F6 Time : 0.0 sec. user=mdettweiler [2015-12-10 05:52:33] 669*2^1417241-1 is not prime. Res64: DEBD6995F18A5DAB Time : 0.0 sec. user=mdettweiler [2015-12-10 05:52:34] 727*2^1417241-1 is not prime. Res64: CEC059E0A9B8BE00 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:01:19] 949*2^1417241-1 is not prime. Res64: 58F9E120827F7712 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:01:20] 997*2^1417241-1 is not prime. Res64: 4C7063AB498074C2 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:09:58] 665*2^1417242-1 is not prime. Res64: 3E1520CD5BA01D8C Time : 0.0 sec. user=mdettweiler [2015-12-10 06:09:59] 747*2^1417242-1 is not prime. Res64: B7EC622DAF3400CF Time : 0.0 sec. user=mdettweiler [2015-12-10 06:18:53] 803*2^1417242-1 is not prime. Res64: D749A0855F1CF99B Time : 0.0 sec. user=mdettweiler [2015-12-10 06:18:53] 815*2^1417242-1 is not prime. Res64: B03FCA198D3C4B11 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:27:22] 885*2^1417242-1 is not prime. Res64: 38C7BA142FA9C1C4 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:27:23] 917*2^1417242-1 is not prime. Res64: CAFFEEEA76FB672B Time : 0.0 sec. user=mdettweiler [2015-12-10 06:36:18] 923*2^1417242-1 is not prime. Res64: 78CFF8AE4815636B Time : 0.0 sec. user=mdettweiler [2015-12-10 06:36:18] 631*2^1417243-1 is not prime. Res64: 002E0519EF5CBDA9 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:44:46] 649*2^1417243-1 is not prime. Res64: F33FB16B7E2111FE Time : 0.0 sec. user=mdettweiler [2015-12-10 06:44:47] 783*2^1417243-1 is not prime. Res64: D25A22B4A28A7812 Time : 0.0 sec. user=mdettweiler [2015-12-10 06:53:42] 789*2^1417243-1 is not prime. Res64: 59190104228FF99F Time : 0.0 sec. user=mdettweiler [2015-12-10 06:53:42] 793*2^1417243-1 is not prime. Res64: BB47A8FC979B940B Time : 0.0 sec. user=mdettweiler [2015-12-10 07:02:11] 805*2^1417243-1 is not prime. Res64: 32BF17CC4FF0397C Time : 0.0 sec. user=mdettweiler [2015-12-10 07:02:11] 819*2^1417243-1 is not prime. Res64: 894C0E89FC34D2CE Time : 0.0 sec. user=mdettweiler [2015-12-10 07:11:06] 945*2^1417243-1 is not prime. Res64: 039F111791AF8D31 Time : 0.0 sec. user=mdettweiler [2015-12-10 07:11:07] 951*2^1417243-1 is not prime. Res64: EE7B5823D37901FE Time : 0.0 sec. user=mdettweiler [2015-12-10 07:19:36] 973*2^1417243-1 is not prime. Res64: B0FC4040BC61D20E Time : 0.0 sec. user=mdettweiler [2015-12-10 07:19:37] 663*2^1417244-1 is not prime. Res64: B9E968F147AFF556 Time : 0.0 sec. user=mdettweiler [2015-12-10 07:28:31] 755*2^1417244-1 is not prime. Res64: 16E5D3BC26742AA7 Time : 0.0 sec. user=mdettweiler [2015-12-10 07:28:32] 813*2^1417244-1 is not prime. Res64: C09026F0A391FDD0 Time : 0.0 sec. user=mdettweiler [2015-12-10 07:37:01] 827*2^1417244-1 is not prime. Res64: 77A15167CD72D6FD Time : 0.0 sec. user=mdettweiler [2015-12-10 07:37:01] 893*2^1417244-1 is not prime. Res64: C112180ECED8BEA6 Time : 0.0 sec. user=mdettweiler [2015-12-10 07:45:57] 899*2^1417244-1 is not prime. Res64: E24483D1CBF89B4B Time : 0.0 sec. user=mdettweiler [2015-12-10 07:45:58] 651*2^1417245-1 is not prime. Res64: 628DF8D8E15C3199 Time : 0.0 sec. user=mdettweiler [2015-12-10 07:54:25] 655*2^1417245-1 is not prime. Res64: 0B5B470F9E5354DD Time : 0.0 sec. user=mdettweiler [2015-12-10 07:54:25] 657*2^1417245-1 is not prime. Res64: F322F8D1BF372EEC Time : 0.0 sec. user=mdettweiler [2015-12-10 08:03:23] 691*2^1417245-1 is not prime. Res64: 34E0B681784D07B7 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:03:25] 861*2^1417245-1 is not prime. Res64: DF23F0DCD76D8D21 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:11:48] 891*2^1417245-1 is not prime. Res64: 53594A807A8B726A Time : 0.0 sec. user=mdettweiler [2015-12-10 08:11:49] 927*2^1417245-1 is not prime. Res64: A142988FF0A08CD3 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:20:59] 747*2^1417246-1 is not prime. Res64: B6D99E33E6488C18 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:20:59] 765*2^1417246-1 is not prime. Res64: 33B27D42977D07A4 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:29:13] 873*2^1417246-1 is not prime. Res64: CE8BC2F227A59371 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:29:13] 945*2^1417246-1 is not prime. Res64: A30D0A2A9A592ADC Time : 0.0 sec. user=mdettweiler [2015-12-10 08:38:28] 621*2^1417247-1 is not prime. Res64: 64F989588D31D3C4 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:38:29] 673*2^1417247-1 is not prime. Res64: 818A4775DE0E60B3 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:46:37] 715*2^1417247-1 is not prime. Res64: CDFD497F6D7EAF67 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:46:38] 841*2^1417247-1 is not prime. Res64: F12D57EEB2BC52E3 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:55:53] 883*2^1417247-1 is not prime. Res64: D6E92E08521FA0E6 Time : 0.0 sec. user=mdettweiler [2015-12-10 08:55:54] 981*2^1417247-1 is not prime. Res64: F83035E379D50C5C Time : 0.0 sec. user=mdettweiler [2015-12-10 09:04:02] 985*2^1417247-1 is not prime. Res64: 4F8EB2EA83D1F4A3 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:04:03] 683*2^1417248-1 is not prime. Res64: 12DC7F7BBE859B08 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:13:18] 735*2^1417248-1 is not prime. Res64: 0461A0086CA41A30 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:13:18] 753*2^1417248-1 is not prime. Res64: 512FFEA1F80BE3AA Time : 0.0 sec. user=mdettweiler [2015-12-10 09:21:29] 789*2^1417248-1 is not prime. Res64: A8771467F5013851 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:21:30] 601*2^1417249-1 is not prime. Res64: 346946D334017658 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:30:46] 639*2^1417249-1 is not prime. Res64: B652CAAB530096C6 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:30:46] 649*2^1417249-1 is not prime. Res64: 653EAF299406480D Time : 0.0 sec. user=mdettweiler [2015-12-10 09:38:53] 741*2^1417249-1 is not prime. Res64: 8511E1107EF01AA6 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:38:54] 807*2^1417249-1 is not prime. Res64: ED63E5E569F0376B Time : 0.0 sec. user=mdettweiler [2015-12-10 09:48:10] 847*2^1417249-1 is not prime. Res64: D87811C4E2FAEA20 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:48:11] 665*2^1417250-1 is not prime. Res64: CDBF19069C2AA44B Time : 0.0 sec. user=mdettweiler [2015-12-10 09:56:17] 935*2^1417250-1 is not prime. Res64: B0BE3E76DE5686D9 Time : 0.0 sec. user=mdettweiler [2015-12-10 09:56:18] 1001*2^1417250-1 is not prime. Res64: 7CF0BFB9C2B269DF Time : 0.0 sec. user=mdettweiler [2015-12-10 10:05:35] 625*2^1417251-1 is not prime. Res64: 0633C32B10CAB25D Time : 0.0 sec. user=mdettweiler [2015-12-10 10:05:36] 675*2^1417251-1 is not prime. Res64: 61A3EE0CBE1EDEBF Time : 0.0 sec. user=mdettweiler [2015-12-10 10:13:41] 723*2^1417251-1 is not prime. Res64: B4F30650F7BEDA24 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:13:41] 835*2^1417251-1 is not prime. Res64: 89C63767F587B312 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:23:09] 859*2^1417251-1 is not prime. Res64: D65D622EDAC0258F Time : 0.0 sec. user=mdettweiler [2015-12-10 10:23:10] 609*2^1417252-1 is not prime. Res64: 08A44096D6D95F19 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:31:05] 623*2^1417252-1 is not prime. Res64: BBB2B3C4F30A540E Time : 0.0 sec. user=mdettweiler [2015-12-10 10:31:05] 635*2^1417252-1 is not prime. Res64: EA0F53D418115729 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:40:33] 699*2^1417252-1 is not prime. Res64: F28D975DAAD8171F Time : 0.0 sec. user=mdettweiler [2015-12-10 10:40:33] 735*2^1417252-1 is not prime. Res64: 76E514124B677B34 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:48:31] 749*2^1417252-1 is not prime. Res64: 7473AE77B61D8AB0 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:48:31] 765*2^1417252-1 is not prime. Res64: 0829C86719F6C6D2 Time : 0.0 sec. user=mdettweiler [2015-12-10 10:57:57] 779*2^1417252-1 is not prime. Res64: 56763772FC0600CB Time : 0.0 sec. user=mdettweiler [2015-12-10 10:57:58] 843*2^1417252-1 is not prime. Res64: 1EC8E7FC861A01B5 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:05:55] 857*2^1417252-1 is not prime. Res64: 62C781C28AA5E8DE Time : 0.0 sec. user=mdettweiler [2015-12-10 11:05:57] 929*2^1417252-1 is not prime. Res64: E417806AAA3FD70F Time : 0.0 sec. user=mdettweiler [2015-12-10 11:15:22] 965*2^1417252-1 is not prime. Res64: 7BABC77CA8852F2A Time : 0.0 sec. user=mdettweiler [2015-12-10 11:15:22] 657*2^1417253-1 is not prime. Res64: 27AB990484E53B76 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:23:22] 729*2^1417253-1 is not prime. Res64: B25385C209766D62 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:23:23] 805*2^1417253-1 is not prime. Res64: 2F191F2A343CDE1B Time : 0.0 sec. user=mdettweiler [2015-12-10 11:32:47] 831*2^1417253-1 is not prime. Res64: A6B2D78039FF9CDB Time : 0.0 sec. user=mdettweiler [2015-12-10 11:32:47] 901*2^1417253-1 is not prime. Res64: 18C723628627228D Time : 0.0 sec. user=mdettweiler [2015-12-10 11:40:46] 955*2^1417253-1 is not prime. Res64: 883A37CA14DFA229 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:40:46] 773*2^1417254-1 is not prime. Res64: D1F04A6132E0ABF0 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:50:11] 791*2^1417254-1 is not prime. Res64: 7C919732DFB7AF3F Time : 0.0 sec. user=mdettweiler [2015-12-10 11:50:12] 833*2^1417254-1 is not prime. Res64: 6F058998908B9042 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:58:10] 851*2^1417254-1 is not prime. Res64: B145262BFAE20793 Time : 0.0 sec. user=mdettweiler [2015-12-10 11:58:10] 893*2^1417254-1 is not prime. Res64: F4A6C799C27AF5F0 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:07:37] 983*2^1417254-1 is not prime. Res64: 8A87277622C5E7D9 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:07:38] 1001*2^1417254-1 is not prime. Res64: 7225D89CAFDB4F9A Time : 0.0 sec. user=mdettweiler [2015-12-10 12:15:35] 625*2^1417255-1 is not prime. Res64: 76F019BC2B314055 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:15:35] 673*2^1417255-1 is not prime. Res64: 6F2C2AB1B286374F Time : 0.0 sec. user=mdettweiler [2015-12-10 12:25:21] 679*2^1417255-1 is not prime. Res64: CAA1E76153533C60 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:25:21] 871*2^1417255-1 is not prime. Res64: 8A32ABA8C985AB43 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:33:11] 943*2^1417255-1 is not prime. Res64: 53120C5292EC20C7 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:33:12] 999*2^1417255-1 is not prime. Res64: 84A61203ACCBCD0A Time : 0.0 sec. user=mdettweiler [2015-12-10 12:42:51] 633*2^1417256-1 is not prime. Res64: BA0C86A93E0B4CFD Time : 0.0 sec. user=mdettweiler [2015-12-10 12:42:52] 683*2^1417256-1 is not prime. Res64: CE809B834B3C92B0 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:50:39] 735*2^1417256-1 is not prime. Res64: B37920EC2BE188F6 Time : 0.0 sec. user=mdettweiler [2015-12-10 12:50:40] 897*2^1417256-1 is not prime. Res64: DD04607DF32CB004 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:00:19] 945*2^1417256-1 is not prime. Res64: A753C86A4EAEC94F Time : 0.0 sec. user=mdettweiler [2015-12-10 13:00:20] 957*2^1417256-1 is not prime. Res64: C301034FAD825353 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:08:06] 739*2^1417257-1 is not prime. Res64: 428D9350028CBFD9 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:08:07] 765*2^1417257-1 is not prime. Res64: 64C4BFE19603F6F4 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:17:48] 777*2^1417257-1 is not prime. Res64: BECB5241F65C13CC Time : 0.0 sec. user=mdettweiler [2015-12-10 13:17:49] 831*2^1417257-1 is not prime. Res64: 453839A5D0B06B2D Time : 0.0 sec. user=mdettweiler [2015-12-10 13:25:38] 997*2^1417257-1 is not prime. Res64: 03DCB7B173E43561 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:25:38] 657*2^1417258-1 is not prime. Res64: 17EBBDF0798FCBD6 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:35:17] 671*2^1417258-1 is not prime. Res64: E38C39D93E65BA50 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:35:17] 737*2^1417258-1 is not prime. Res64: 8C81D64A49543331 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:43:06] 855*2^1417258-1 is not prime. Res64: 5C0ACBB11CE7C130 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:43:06] 911*2^1417258-1 is not prime. Res64: 35EC7BD0D971FC60 Time : 0.0 sec. user=mdettweiler [2015-12-10 13:52:49] 971*2^1417258-1 is not prime. Res64: 18F31A9CEA46013C Time : 0.0 sec. user=mdettweiler [2015-12-10 13:52:49] 975*2^1417258-1 is not prime. Res64: 5D60084448E7832A Time : 0.0 sec. user=mdettweiler [2015-12-10 14:00:43] 981*2^1417258-1 is not prime. Res64: 207803D104BB5E00 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:00:43] 621*2^1417259-1 is not prime. Res64: 9893EB09616D0DDC Time : 0.0 sec. user=mdettweiler [2015-12-10 14:10:24] 633*2^1417259-1 is not prime. Res64: 14669F2639A28A41 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:10:24] 703*2^1417259-1 is not prime. Res64: 4B14C83B1B569113 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:18:14] 759*2^1417259-1 is not prime. Res64: B6FD02135AB66ECE Time : 0.0 sec. user=mdettweiler [2015-12-10 14:18:14] 789*2^1417259-1 is not prime. Res64: EC425FAC878ACF9F Time : 0.0 sec. user=mdettweiler [2015-12-10 14:27:48] 799*2^1417259-1 is not prime. Res64: 2BB6851883FDDE8D Time : 0.0 sec. user=mdettweiler [2015-12-10 14:27:49] 879*2^1417259-1 is not prime. Res64: 2AB82CAD14A247B4 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:35:39] 885*2^1417259-1 is not prime. Res64: 5B7D254C1736D491 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:35:39] 913*2^1417259-1 is not prime. Res64: 889D7B4BB90AEF79 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:45:12] 921*2^1417259-1 is not prime. Res64: 0305B31F64F5E99A Time : 0.0 sec. user=mdettweiler [2015-12-10 14:45:12] 973*2^1417259-1 is not prime. Res64: 0FF512476B4A0922 Time : 0.0 sec. user=mdettweiler [2015-12-10 14:53:03] 665*2^1417260-1 is not prime. Res64: EF20BC60E1B53EBB Time : 0.0 sec. user=mdettweiler [2015-12-10 14:53:03] 675*2^1417260-1 is not prime. Res64: 39F922E9D6670AF0 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:02:37] 759*2^1417260-1 is not prime. Res64: CFDFD23D18D9CA8C Time : 0.0 sec. user=mdettweiler [2015-12-10 15:02:38] 825*2^1417260-1 is not prime. Res64: 72686525664F61F5 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:10:28] 863*2^1417260-1 is not prime. Res64: 2B91369B35FB5D3F Time : 0.0 sec. user=mdettweiler [2015-12-10 15:10:29] 873*2^1417260-1 is not prime. Res64: 8F55633B080BB0AD Time : 0.0 sec. user=mdettweiler [2015-12-10 15:20:18] 899*2^1417260-1 is not prime. Res64: C56D5EB7C14AF5C0 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:20:19] 999*2^1417260-1 is not prime. Res64: 297894FC1BD926E1 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:28:00] 645*2^1417261-1 is not prime. Res64: AAAE2CBBB318760A Time : 0.0 sec. user=mdettweiler [2015-12-10 15:28:01] 681*2^1417261-1 is not prime. Res64: C2E2470954F59124 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:37:46] 717*2^1417261-1 is not prime. Res64: BF9588D4CABCC0F3 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:37:47] 817*2^1417261-1 is not prime. Res64: B360F41199667623 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:45:24] 847*2^1417261-1 is not prime. Res64: 8A69BF4E93613FE8 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:45:25] 889*2^1417261-1 is not prime. Res64: 5D0710A55ACC54B0 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:55:11] 901*2^1417261-1 is not prime. Res64: 11E19CDFC6957F26 Time : 0.0 sec. user=mdettweiler [2015-12-10 15:55:12] 999*2^1417261-1 is not prime. Res64: 84F5E88CF7C9C225 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:02:50] 665*2^1417262-1 is not prime. Res64: D834683EEBCAA695 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:02:51] 767*2^1417262-1 is not prime. Res64: 7709268699E28D69 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:12:36] 797*2^1417262-1 is not prime. Res64: 830AB5C3BC547212 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:12:37] 825*2^1417262-1 is not prime. Res64: 5A21BDC7BA151211 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:20:16] 827*2^1417262-1 is not prime. Res64: A35A4D38579EFECD Time : 0.0 sec. user=mdettweiler [2015-12-10 16:20:16] 885*2^1417262-1 is not prime. Res64: F69E5E58229DACA7 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:30:04] 887*2^1417262-1 is not prime. Res64: C7556E1C92F7B823 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:30:04] 897*2^1417262-1 is not prime. Res64: 05EBD0101043B3F3 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:37:42] 935*2^1417262-1 is not prime. Res64: EA23275C75D815FE Time : 0.0 sec. user=mdettweiler [2015-12-10 16:37:42] 945*2^1417262-1 is not prime. Res64: 2B85DED0DAB9CA98 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:47:28] 951*2^1417262-1 is not prime. Res64: BC8A9F948320186F Time : 0.0 sec. user=mdettweiler [2015-12-10 16:47:28] 987*2^1417262-1 is not prime. Res64: 85BE8C13FDF628C7 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:55:06] 763*2^1417263-1 is not prime. Res64: A7D3AE98E3AB90F9 Time : 0.0 sec. user=mdettweiler [2015-12-10 16:55:06] 775*2^1417263-1 is not prime. Res64: 42E4E90DEB618039 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:04:55] 781*2^1417263-1 is not prime. Res64: 7627B572D49FF6D9 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:04:56] 793*2^1417263-1 is not prime. Res64: CCDA4DC130B368E3 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:12:34] 823*2^1417263-1 is not prime. Res64: 96282F84C09D72DE Time : 0.0 sec. user=mdettweiler [2015-12-10 17:12:35] 849*2^1417263-1 is not prime. Res64: 2F0CE7A69D34624D Time : 0.0 sec. user=mdettweiler [2015-12-10 17:22:37] 873*2^1417263-1 is not prime. Res64: D8F3E6E4D335A262 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:22:38] 885*2^1417263-1 is not prime. Res64: 410F444A1F68369D Time : 0.0 sec. user=mdettweiler [2015-12-10 17:30:09] 933*2^1417263-1 is not prime. Res64: 6DB1AEF16AAD6AE1 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:30:09] 951*2^1417263-1 is not prime. Res64: 58D7874222017E45 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:40:22] 663*2^1417264-1 is not prime. Res64: 53DC95DFD56CE180 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:40:23] 687*2^1417264-1 is not prime. Res64: AA4012A29D197943 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:47:54] 927*2^1417264-1 is not prime. Res64: D62FBC7C108F68E0 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:47:54] 959*2^1417264-1 is not prime. Res64: DD50F96440A5A7F3 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:58:29] 649*2^1417265-1 is not prime. Res64: 097318DC5B70A880 Time : 0.0 sec. user=mdettweiler [2015-12-10 17:58:29] 729*2^1417265-1 is not prime. Res64: 2057BF95A08DEF67 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:05:56] 789*2^1417265-1 is not prime. Res64: 49D7A26962DF8FD6 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:05:57] 865*2^1417265-1 is not prime. Res64: 60F812B282CA3C86 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:15:55] 907*2^1417265-1 is not prime. Res64: 456288806193846E Time : 0.0 sec. user=mdettweiler [2015-12-10 18:15:55] 925*2^1417265-1 is not prime. Res64: C7C0E7770134A8E5 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:23:28] 955*2^1417265-1 is not prime. Res64: 7A878FA69FF345C3 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:23:29] 957*2^1417265-1 is not prime. Res64: 76F0262AFD280C64 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:33:20] 783*2^1417266-1 is not prime. Res64: F17ACD78CD2BC96A Time : 0.0 sec. user=mdettweiler [2015-12-10 18:33:21] 803*2^1417266-1 is not prime. Res64: 43C3E7C4B53366B6 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:40:54] 815*2^1417266-1 is not prime. Res64: 9E36983815A39BCF Time : 0.0 sec. user=mdettweiler [2015-12-10 18:40:55] 861*2^1417266-1 is not prime. Res64: 67FF8B4F245A03D6 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:50:46] 917*2^1417266-1 is not prime. Res64: 9FB31EA91F38250F Time : 0.0 sec. user=mdettweiler [2015-12-10 18:50:46] 963*2^1417266-1 is not prime. Res64: 054E7792111EC7F6 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:58:19] 971*2^1417266-1 is not prime. Res64: 1C174CCB8C2BE4E4 Time : 0.0 sec. user=mdettweiler [2015-12-10 18:58:19] 615*2^1417267-1 is not prime. Res64: F2627F4378C3C928 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:08:11] 735*2^1417267-1 is not prime. Res64: 2CFC3E4D8699C746 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:08:12] 775*2^1417267-1 is not prime. Res64: 802A74A1F632D53F Time : 0.0 sec. user=mdettweiler [2015-12-10 19:15:44] 909*2^1417267-1 is not prime. Res64: C13B71907FBBD6D6 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:15:44] 635*2^1417268-1 is not prime. Res64: 9FFA3ECC1C482204 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:25:36] 665*2^1417268-1 is not prime. Res64: 2521F2BE6F636623 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:25:37] 687*2^1417268-1 is not prime. Res64: 1EB56484FF6F2938 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:33:09] 709*2^1417269-1 is not prime. Res64: CE71C5B757F6288A Time : 0.0 sec. user=mdettweiler [2015-12-10 19:33:09] 747*2^1417269-1 is not prime. Res64: 6E2F354B9733197A Time : 0.0 sec. user=mdettweiler [2015-12-10 19:43:02] 769*2^1417269-1 is not prime. Res64: 88C2B1FDEDF57952 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:43:02] 861*2^1417269-1 is not prime. Res64: 3891A58CB555626B Time : 0.0 sec. user=mdettweiler [2015-12-10 19:50:34] 891*2^1417269-1 is not prime. Res64: C3CFEE4E1E90EDE3 Time : 0.0 sec. user=mdettweiler [2015-12-10 19:50:35] 949*2^1417269-1 is not prime. Res64: F6AAFBCFD24A9C78 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:00:27] 961*2^1417269-1 is not prime. Res64: 9E0B90CFD2101B52 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:00:28] 979*2^1417269-1 is not prime. Res64: 909FA914C68669CA Time : 0.0 sec. user=mdettweiler [2015-12-10 20:08:00] 991*2^1417269-1 is not prime. Res64: 47FCE04081566C99 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:08:00] 605*2^1417270-1 is not prime. Res64: AFA4E81EA02DA6E0 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:17:53] 635*2^1417270-1 is not prime. Res64: A73051B9DF20E4CC Time : 0.0 sec. user=mdettweiler [2015-12-10 20:17:54] 647*2^1417270-1 is not prime. Res64: 72FFD3B4083792C4 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:25:26] 885*2^1417270-1 is not prime. Res64: 861BB1062D87A9F8 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:25:27] 891*2^1417270-1 is not prime. Res64: 873F38C3BFF33B63 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:35:18] 917*2^1417270-1 is not prime. Res64: D9E01F7C3E0A3EC4 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:35:19] 939*2^1417271-1 is not prime. Res64: 3F940154EC171338 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:42:52] 979*2^1417271-1 is not prime. Res64: EB2564CC239285C3 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:42:52] 981*2^1417271-1 is not prime. Res64: 0888B3358E635EFD Time : 0.0 sec. user=mdettweiler [2015-12-10 20:52:43] 999*2^1417271-1 is not prime. Res64: FEBB7715A6420799 Time : 0.0 sec. user=mdettweiler [2015-12-10 20:52:44] 675*2^1417272-1 is not prime. Res64: 5EBE30B4037F7F56 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:00:16] 689*2^1417272-1 is not prime. Res64: C9298675BDEE86C8 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:00:16] 719*2^1417272-1 is not prime. Res64: 2BDA76D6B1F127C9 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:10:08] 725*2^1417272-1 is not prime. Res64: C3609D5F139E3BBB Time : 0.0 sec. user=mdettweiler [2015-12-10 21:10:08] 737*2^1417272-1 is not prime. Res64: 8E3F9B9C30FDBC1A Time : 0.0 sec. user=mdettweiler [2015-12-10 21:17:41] 863*2^1417272-1 is not prime. Res64: E8F1EBA5C0853A39 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:17:41] 875*2^1417272-1 is not prime. Res64: 9CA1D3F036C2A452 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:27:32] 607*2^1417273-1 is not prime. Res64: C5B939342CA71150 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:27:33] 609*2^1417273-1 is not prime. Res64: EFB2183308DA5E3E Time : 0.0 sec. user=mdettweiler [2015-12-10 21:35:08] 801*2^1417273-1 is not prime. Res64: 227495673A538621 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:35:09] 819*2^1417273-1 is not prime. Res64: B9E185CFE309168E Time : 0.0 sec. user=mdettweiler [2015-12-10 21:44:57] 867*2^1417273-1 is not prime. Res64: 72BCA09C9CC29A74 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:44:57] 939*2^1417273-1 is not prime. Res64: 35C4512889B5615E Time : 0.0 sec. user=mdettweiler [2015-12-10 21:52:34] 945*2^1417273-1 is not prime. Res64: 0DB87510547A51F2 Time : 0.0 sec. user=mdettweiler [2015-12-10 21:52:34] 981*2^1417273-1 is not prime. Res64: B67E4F46ED50434A Time : 0.0 sec. user=mdettweiler [2015-12-10 22:02:31] 605*2^1417274-1 is not prime. Res64: 9EA6188715238290 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:02:33] 657*2^1417274-1 is not prime. Res64: B231A6E1DB4B0DE4 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:10:18] 707*2^1417274-1 is not prime. Res64: D80ADFD3F9AC8E17 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:10:19] 711*2^1417274-1 is not prime. Res64: 5FA96C0D2D68AF22 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:20:23] 851*2^1417274-1 is not prime. Res64: A45D5D79FB78E399 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:20:23] 613*2^1417275-1 is not prime. Res64: CFBB737DCB9B902B Time : 0.0 sec. user=mdettweiler [2015-12-10 22:27:55] 943*2^1417275-1 is not prime. Res64: 411C2D6EFB2EFEAA Time : 0.0 sec. user=mdettweiler [2015-12-10 22:27:55] 985*2^1417275-1 is not prime. Res64: 84DBFE333037C3C5 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:37:54] 623*2^1417276-1 is not prime. Res64: FD573FE824784A9A Time : 0.0 sec. user=mdettweiler [2015-12-10 22:37:55] 699*2^1417276-1 is not prime. Res64: 5165F8546D99D9BE Time : 0.0 sec. user=mdettweiler [2015-12-10 22:45:27] 705*2^1417276-1 is not prime. Res64: 41FCAAC93482A43D Time : 0.0 sec. user=mdettweiler [2015-12-10 22:45:28] 855*2^1417276-1 is not prime. Res64: CB1E22A234C5F9B1 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:55:26] 857*2^1417276-1 is not prime. Res64: 07ECEE7FEE668219 Time : 0.0 sec. user=mdettweiler [2015-12-10 22:55:26] 933*2^1417276-1 is not prime. Res64: CC458A5B6D508852 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:03:02] 953*2^1417276-1 is not prime. Res64: C9CF810D65EFBAA1 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:03:05] 975*2^1417276-1 is not prime. Res64: 21279C81A11614E0 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:12:59] 715*2^1417277-1 is not prime. Res64: 4B325B120EB3C9FF Time : 0.0 sec. user=mdettweiler [2015-12-10 23:12:59] 759*2^1417277-1 is not prime. Res64: 7AA478C0DE96F4B4 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:21:07] 771*2^1417277-1 is not prime. Res64: C46F89E49E2EEEFF Time : 0.0 sec. user=mdettweiler [2015-12-10 23:21:08] 777*2^1417277-1 is not prime. Res64: 492555AE7EEA7731 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:32:04] 867*2^1417277-1 is not prime. Res64: 19E133173D3D92C7 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:32:04] 915*2^1417277-1 is not prime. Res64: DB12EC308F257F6D Time : 0.0 sec. user=mdettweiler [2015-12-10 23:39:45] 937*2^1417277-1 is not prime. Res64: 60DE26EAE9F942FC Time : 0.0 sec. user=mdettweiler [2015-12-10 23:39:46] 981*2^1417277-1 is not prime. Res64: 1134B999D20C33D6 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:49:42] 825*2^1417278-1 is not prime. Res64: 0C1386E51DCED884 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:49:42] 933*2^1417278-1 is not prime. Res64: 326074B570A40A19 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:58:02] 945*2^1417278-1 is not prime. Res64: 7F4623E911FAF2B8 Time : 0.0 sec. user=mdettweiler [2015-12-10 23:58:02] 977*2^1417278-1 is not prime. Res64: E1BF7C5C2ED75032 Time : 0.0 sec.