user=mdettweiler [2016-10-05 00:01:47] 931*2^1441727-1 is not prime. Res64: D03D9B7C5AB0C6DD Time : 0.0 sec. user=mdettweiler [2016-10-05 00:01:47] 991*2^1441727-1 is not prime. Res64: 8DB8FE62E89DC4FF Time : 0.0 sec. user=mdettweiler [2016-10-05 00:01:47] 789*2^1441728-1 is not prime. Res64: A3F9E4B2A6F21974 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:01:48] 797*2^1441728-1 is not prime. Res64: F885C1FA6B0A0044 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:01:48] 899*2^1441728-1 is not prime. Res64: 8C79B745536A0A41 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:17:07] 705*2^1441729-1 is not prime. Res64: 8783A9B482969073 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:17:08] 765*2^1441729-1 is not prime. Res64: 182548DDF12E2B21 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:17:09] 801*2^1441729-1 is not prime. Res64: 77C531BD2301EEB2 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:17:09] 955*2^1441729-1 is not prime. Res64: 97FC895C79021E14 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:17:10] 975*2^1441729-1 is not prime. Res64: 62D28EFDBC653186 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:18:21] 999*2^1441729-1 is not prime. Res64: 6FB56207B208F859 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:18:21] 665*2^1441730-1 is not prime. Res64: 8D29C6054BB59519 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:18:22] 831*2^1441730-1 is not prime. Res64: BDB1422C635ECED6 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:18:22] 691*2^1441731-1 is not prime. Res64: 2165CF62611B6822 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:18:22] 723*2^1441731-1 is not prime. Res64: 41A10FFE63BC4BFE Time : 0.0 sec. user=mdettweiler [2016-10-05 00:19:06] 929*2^1441728-1 is not prime. Res64: C2FC88FCD75225C3 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:19:06] 935*2^1441728-1 is not prime. Res64: 4CBFB7A0A3562FF5 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:19:07] 969*2^1441728-1 is not prime. Res64: 1E3C767C599989A4 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:19:07] 679*2^1441729-1 is not prime. Res64: E8E73AA6F12E5A95 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:19:07] 681*2^1441729-1 is not prime. Res64: D5DD5BD1015FCF2F Time : 0.0 sec. user=mdettweiler [2016-10-05 00:48:46] 793*2^1441731-1 is not prime. Res64: 51188D34E9E05783 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:48:47] 975*2^1441731-1 is not prime. Res64: 11C062A0DE18CD47 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:48:48] 603*2^1441732-1 is not prime. Res64: F3A2F8C8CB21CE33 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:48:48] 675*2^1441732-1 is not prime. Res64: 9CA5648E1FDFB7B6 Time : 0.0 sec. user=mdettweiler [2016-10-05 00:48:50] 723*2^1441732-1 is not prime. Res64: 80780E6D6F30FDDB Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:16] 743*2^1441732-1 is not prime. Res64: 21C48F99235F0F62 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:17] 909*2^1441732-1 is not prime. Res64: 70E8C86D7E88F187 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:20] 627*2^1441733-1 is not prime. Res64: 380B4AFF93449CA3 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:21] 675*2^1441733-1 is not prime. Res64: F8D4AEE48F001611 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:25] 741*2^1441733-1 is not prime. Res64: A409CC8FFFFC72BE Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:54] 811*2^1441733-1 is not prime. Res64: E5F49816CCA9F672 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:55] 837*2^1441733-1 is not prime. Res64: 360BA960D8EA806E Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:56] 847*2^1441733-1 is not prime. Res64: 62DA1676BDE706CD Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:57] 951*2^1441733-1 is not prime. Res64: 4D85F1782AB642AC Time : 0.0 sec. user=mdettweiler [2016-10-05 01:04:59] 621*2^1441734-1 is not prime. Res64: DB07305A81CC4896 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:05:16] 641*2^1441734-1 is not prime. Res64: 17BFDBEE06075D04 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:05:17] 711*2^1441734-1 is not prime. Res64: BA42B90562DB0A6D Time : 0.0 sec. user=mdettweiler [2016-10-05 01:05:19] 747*2^1441734-1 is not prime. Res64: 796012B7B0D5A7E7 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:05:21] 851*2^1441734-1 is not prime. Res64: F75BFED6E116E7AF Time : 0.0 sec. user=mdettweiler [2016-10-05 01:05:22] 849*2^1441735-1 is not prime. Res64: BA17143C3601873B Time : 0.0 sec. user=mdettweiler [2016-10-05 01:34:49] 609*2^1441736-1 is not prime. Res64: 6223A0812F7025DC Time : 0.0 sec. user=mdettweiler [2016-10-05 01:34:49] 633*2^1441736-1 is not prime. Res64: 11B46D28D7D2E261 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:34:49] 825*2^1441736-1 is not prime. Res64: 5EBC63BC3DC62B23 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:34:50] 845*2^1441736-1 is not prime. Res64: D407DDF7B8880C7D Time : 0.0 sec. user=mdettweiler [2016-10-05 01:34:50] 873*2^1441736-1 is not prime. Res64: 3FAA93A321AE8FC4 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:23] 681*2^1441737-1 is not prime. Res64: 3D025FE84E0E9D56 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:23] 889*2^1441737-1 is not prime. Res64: 0B48DB82AE6065C8 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:23] 909*2^1441737-1 is not prime. Res64: FC3DB248D2A98FA0 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:24] 991*2^1441737-1 is not prime. Res64: 1FF722500D8D4D73 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:24] 997*2^1441737-1 is not prime. Res64: 07D82E239442E313 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:41] 687*2^1441738-1 is not prime. Res64: 61909C9ECF4A490A Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:41] 755*2^1441738-1 is not prime. Res64: 12E999EF34564F31 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:42] 831*2^1441738-1 is not prime. Res64: A24586D5EC2F82CA Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:42] 861*2^1441738-1 is not prime. Res64: DC0A12D6668FF96D Time : 0.0 sec. user=mdettweiler [2016-10-05 01:50:43] 881*2^1441738-1 is not prime. Res64: AE36834453E982AF Time : 0.0 sec. user=mdettweiler [2016-10-05 01:51:01] 951*2^1441738-1 is not prime. Res64: 7C87C806D9C47BAE Time : 0.0 sec. user=mdettweiler [2016-10-05 01:51:02] 993*2^1441738-1 is not prime. Res64: E2C3F0221B42A351 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:51:02] 631*2^1441739-1 is not prime. Res64: E02AC5F9B1FFF944 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:51:02] 645*2^1441739-1 is not prime. Res64: 74F67634003A9234 Time : 0.0 sec. user=mdettweiler [2016-10-05 01:51:03] 655*2^1441739-1 is not prime. Res64: 1AD693ADD8C2B904 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:20:37] 789*2^1441739-1 is not prime. Res64: CBD8A1B69BBCD008 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:20:37] 843*2^1441739-1 is not prime. Res64: 0F3326D35824FB87 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:20:37] 885*2^1441739-1 is not prime. Res64: 3D330CDAEF3B849C Time : 0.0 sec. user=mdettweiler [2016-10-05 02:20:38] 689*2^1441740-1 is not prime. Res64: 8B35698E3A32DBC8 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:20:38] 809*2^1441740-1 is not prime. Res64: 183323DE8F475888 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:00] 999*2^1441741-1 is not prime. Res64: E53FE37A3F2C0301 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:01] 603*2^1441742-1 is not prime. Res64: D7301EBB3B60912B Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:01] 819*2^1441740-1 is not prime. Res64: 88CC886605420560 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:01] 933*2^1441740-1 is not prime. Res64: 8D0BBE09BCB1F400 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:01] 741*2^1441742-1 is not prime. Res64: 3ADB4A1430A9DA29 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:02] 965*2^1441740-1 is not prime. Res64: 2A19EADC6DDB55B0 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:02] 743*2^1441742-1 is not prime. Res64: FFFEA72600892138 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:02] 717*2^1441741-1 is not prime. Res64: C78A5DB4E722BD4D Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:02] 755*2^1441742-1 is not prime. Res64: 31526490A156B3E2 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:03] 805*2^1441741-1 is not prime. Res64: CF99544FB51E7FF0 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:39] 801*2^1441742-1 is not prime. Res64: 32DBE0C5AE21EE2D Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:39] 815*2^1441742-1 is not prime. Res64: 16B34AE6539C16E6 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:40] 875*2^1441742-1 is not prime. Res64: 2B9697B705112808 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:40] 951*2^1441742-1 is not prime. Res64: 5C01F1CD4B8CC6F9 Time : 0.0 sec. user=mdettweiler [2016-10-05 02:36:41] 977*2^1441742-1 is not prime. Res64: 3B40044997F9DCF4 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:06:32] 639*2^1441743-1 is not prime. Res64: A0DF112ECEE74529 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:06:33] 643*2^1441743-1 is not prime. Res64: DBCC9201EDC712FE Time : 0.0 sec. user=mdettweiler [2016-10-05 03:06:35] 679*2^1441743-1 is not prime. Res64: AD441AFB9DC7BB0D Time : 0.0 sec. user=mdettweiler [2016-10-05 03:06:36] 693*2^1441743-1 is not prime. Res64: 4D3703A3A5F3FD37 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:06:37] 859*2^1441743-1 is not prime. Res64: AC6124C1BA6E8256 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:53] 891*2^1441743-1 is not prime. Res64: 686A9AD97CD92DAC Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:54] 765*2^1441744-1 is not prime. Res64: 12680A836B79B47B Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:54] 949*2^1441743-1 is not prime. Res64: B3EE58EAF4485034 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:55] 849*2^1441744-1 is not prime. Res64: 072FE6A8D63DFCE1 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:55] 961*2^1441743-1 is not prime. Res64: 03FA96F4480BDF60 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:56] 985*2^1441743-1 is not prime. Res64: 190FA8727301843C Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:56] 863*2^1441744-1 is not prime. Res64: DEDADCF720C29F95 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:57] 717*2^1441744-1 is not prime. Res64: 982190B340605CD0 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:58] 875*2^1441744-1 is not prime. Res64: 83E61F9F5ACCC3AA Time : 0.0 sec. user=mdettweiler [2016-10-05 03:21:59] 909*2^1441744-1 is not prime. Res64: F1C4494E1B0B993B Time : 0.0 sec. user=mdettweiler [2016-10-05 03:22:33] 993*2^1441744-1 is not prime. Res64: 2BB4357F9CC417EA Time : 0.0 sec. user=mdettweiler [2016-10-05 03:22:34] 699*2^1441745-1 is not prime. Res64: 95EEE386145A07B3 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:22:34] 715*2^1441745-1 is not prime. Res64: A8CB09C80E9BFF38 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:22:35] 771*2^1441745-1 is not prime. Res64: 99BCCB72FBBF13F6 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:22:36] 787*2^1441745-1 is not prime. Res64: 0D5610EF62BE8F12 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:52:43] 861*2^1441745-1 is not prime. Res64: B54592BEADC89449 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:52:46] 765*2^1441746-1 is not prime. Res64: 7DDA5414FEC4FA68 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:52:48] 941*2^1441746-1 is not prime. Res64: 89840F186B2E5F04 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:52:51] 603*2^1441747-1 is not prime. Res64: B666FE9842F8C5F9 Time : 0.0 sec. user=mdettweiler [2016-10-05 03:52:53] 639*2^1441747-1 is not prime. Res64: 58E8482AB7123677 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:37] 951*2^1441747-1 is not prime. Res64: E86A2FCCB198E1AE Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:41] 973*2^1441747-1 is not prime. Res64: CB155F430AC59236 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:44] 691*2^1441747-1 is not prime. Res64: D2C6DE889C17BA62 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:44] 999*2^1441747-1 is not prime. Res64: EF6D5CE376921313 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:47] 693*2^1441747-1 is not prime. Res64: A39761E3E1DEF1D1 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:49] 615*2^1441748-1 is not prime. Res64: 3AADFDE620058F5B Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:51] 617*2^1441748-1 is not prime. Res64: A8F5A418886DADEA Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:54] 889*2^1441747-1 is not prime. Res64: E1AA64F08412722A Time : 0.0 sec. user=mdettweiler [2016-10-05 04:07:59] 919*2^1441747-1 is not prime. Res64: 1C9B7E50F5DAEFB7 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:08:07] 925*2^1441747-1 is not prime. Res64: FFE53C759224097B Time : 0.0 sec. user=mdettweiler [2016-10-05 04:08:27] 687*2^1441748-1 is not prime. Res64: 2BAAB0359DD0F632 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:39:20] 681*2^1441749-1 is not prime. Res64: 9D4491C1B8A2B4A8 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:39:20] 759*2^1441749-1 is not prime. Res64: 78296F041A99BB50 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:39:21] 861*2^1441749-1 is not prime. Res64: 6716527C2F1F49F6 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:39:21] 895*2^1441749-1 is not prime. Res64: B6CA70011DF22CB4 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:39:21] 921*2^1441749-1 is not prime. Res64: 18C958C6E5AE176E Time : 0.0 sec. user=mdettweiler [2016-10-05 04:54:30] 927*2^1441749-1 is not prime. Res64: E7E709ADB4F98342 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:54:31] 623*2^1441750-1 is not prime. Res64: 4240BAE308B0635E Time : 0.0 sec. user=mdettweiler [2016-10-05 04:54:31] 645*2^1441750-1 is not prime. Res64: BC57377EFB799503 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:54:31] 651*2^1441750-1 is not prime. Res64: B3D547BC707E083F Time : 0.0 sec. user=mdettweiler [2016-10-05 04:54:32] 713*2^1441750-1 is not prime. Res64: 1BCEE19D6C23D2FF Time : 0.0 sec. user=mdettweiler [2016-10-05 04:55:03] 723*2^1441750-1 is not prime. Res64: D9C396C197A4DE33 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:55:03] 911*2^1441750-1 is not prime. Res64: DDC291370733F528 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:55:04] 915*2^1441750-1 is not prime. Res64: CA5D4932C80F4932 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:55:04] 971*2^1441750-1 is not prime. Res64: 5CD080749A413ED7 Time : 0.0 sec. user=mdettweiler [2016-10-05 04:55:04] 987*2^1441750-1 is not prime. Res64: A2EA6D6E9F81545E Time : 0.0 sec. user=mdettweiler [2016-10-05 05:26:01] 645*2^1441751-1 is not prime. Res64: 80BF847953770922 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:26:01] 669*2^1441751-1 is not prime. Res64: 707B69575F8FBED8 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:26:02] 703*2^1441751-1 is not prime. Res64: E48524F03B02F587 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:26:02] 735*2^1441751-1 is not prime. Res64: 1B486B403A555565 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:26:02] 783*2^1441751-1 is not prime. Res64: 9BBF82D4C4A4EB98 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:40:46] 993*2^1441751-1 is not prime. Res64: 684C912800908FEA Time : 0.0 sec. user=mdettweiler [2016-10-05 05:40:48] 999*2^1441751-1 is not prime. Res64: C5D7F91F19C75008 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:40:48] 725*2^1441752-1 is not prime. Res64: 27BFA7221E20B187 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:40:49] 899*2^1441752-1 is not prime. Res64: E61BFA50D305E803 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:40:49] 947*2^1441752-1 is not prime. Res64: F953E2584C362FB2 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:41:41] 609*2^1441753-1 is not prime. Res64: 7614810AE10D1CB0 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:41:42] 771*2^1441753-1 is not prime. Res64: 030FA4C9A344610E Time : 0.0 sec. user=mdettweiler [2016-10-05 05:41:42] 861*2^1441753-1 is not prime. Res64: 86440D32C905CBB6 Time : 0.0 sec. user=mdettweiler [2016-10-05 05:41:43] 831*2^1441754-1 is not prime. Res64: 18636D929E9EB68F Time : 0.0 sec. user=mdettweiler [2016-10-05 05:41:44] 851*2^1441754-1 is not prime. Res64: 94E3669CFD82D6FA Time : 0.0 sec. user=mdettweiler [2016-10-05 06:12:23] 887*2^1441754-1 is not prime. Res64: EA40DAB2E8337AB0 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:12:26] 921*2^1441754-1 is not prime. Res64: A4DDD517380DBA57 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:12:27] 923*2^1441754-1 is not prime. Res64: B3A69C6700AC54B7 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:12:29] 927*2^1441754-1 is not prime. Res64: 8058B01E9CBEC6A2 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:12:30] 643*2^1441755-1 is not prime. Res64: 715ABD2389AB9693 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:27:05] 651*2^1441755-1 is not prime. Res64: 009931AD1B0EE9E3 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:27:06] 739*2^1441755-1 is not prime. Res64: 64D9C84C98D9FF1C Time : 0.0 sec. user=mdettweiler [2016-10-05 06:27:06] 999*2^1441755-1 is not prime. Res64: D958E9BD09340C2A Time : 0.0 sec. user=mdettweiler [2016-10-05 06:27:06] 647*2^1441756-1 is not prime. Res64: C142972B859646F3 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:27:07] 749*2^1441756-1 is not prime. Res64: 1EA8944E9A775CBF Time : 0.0 sec. user=mdettweiler [2016-10-05 06:28:05] 759*2^1441756-1 is not prime. Res64: DCB211BEE7477E23 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:28:06] 839*2^1441756-1 is not prime. Res64: 23E74B17B59CE2D7 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:28:06] 873*2^1441756-1 is not prime. Res64: 0281FEC3215CAB81 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:28:06] 999*2^1441756-1 is not prime. Res64: B86C2C926945B31E Time : 0.0 sec. user=mdettweiler [2016-10-05 06:28:07] 645*2^1441757-1 is not prime. Res64: 6D88D4D406939CB9 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:59:15] 727*2^1441757-1 is not prime. Res64: C246E5D975B1FF3B Time : 0.0 sec. user=mdettweiler [2016-10-05 06:59:15] 729*2^1441757-1 is not prime. Res64: 9A9C3D4CD32563DC Time : 0.0 sec. user=mdettweiler [2016-10-05 06:59:16] 795*2^1441757-1 is not prime. Res64: 1626F94A26481AC0 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:59:16] 847*2^1441757-1 is not prime. Res64: 5CC906E442F0D336 Time : 0.0 sec. user=mdettweiler [2016-10-05 06:59:16] 861*2^1441757-1 is not prime. Res64: 5900A33EFBBAD8B5 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:05:15] 699*2^1441748-1 is not prime. Res64: BD641B32E48170D6 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:05:16] 867*2^1441748-1 is not prime. Res64: 323184F1DC9231EB Time : 0.0 sec. user=mdettweiler [2016-10-05 07:05:17] 915*2^1441748-1 is not prime. Res64: 943068A129B6B77C Time : 0.0 sec. user=mdettweiler [2016-10-05 07:05:19] 963*2^1441748-1 is not prime. Res64: 3F3727A0367437F7 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:13:18] 949*2^1441757-1 is not prime. Res64: 8607433741C801DF Time : 0.0 sec. user=mdettweiler [2016-10-05 07:13:19] 611*2^1441758-1 is not prime. Res64: 326DEA4450320889 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:13:20] 635*2^1441758-1 is not prime. Res64: 1701F409B1EDB2DE Time : 0.0 sec. user=mdettweiler [2016-10-05 07:13:20] 641*2^1441758-1 is not prime. Res64: 664C6ACDE1698227 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:13:21] 647*2^1441758-1 is not prime. Res64: E1E85E1ECF0F4CBF Time : 0.0 sec. user=mdettweiler [2016-10-05 07:14:36] 707*2^1441758-1 is not prime. Res64: 5C3505AA110BF0F0 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:14:37] 773*2^1441758-1 is not prime. Res64: 04C7E144A4BB15F8 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:14:38] 777*2^1441758-1 is not prime. Res64: 0FFBF9191B22B66B Time : 0.0 sec. user=mdettweiler [2016-10-05 07:14:39] 795*2^1441758-1 is not prime. Res64: 37FEB10500F2A04A Time : 0.0 sec. user=mdettweiler [2016-10-05 07:14:40] 815*2^1441758-1 is not prime. Res64: 9642C3E0F078241C Time : 0.0 sec. user=mdettweiler [2016-10-05 07:44:48] 745*2^1441759-1 is not prime. Res64: DE728C403C9F3BD2 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:44:48] 751*2^1441759-1 is not prime. Res64: 94C255ACCFE2B646 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:44:49] 771*2^1441759-1 is not prime. Res64: 161598F272E883D0 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:44:49] 813*2^1441759-1 is not prime. Res64: 5A47427965B7CB90 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:44:49] 831*2^1441759-1 is not prime. Res64: F93219722F367AD6 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:50:54] 931*2^1441759-1 is not prime. Res64: B660008C2AB6B8D1 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:50:54] 675*2^1441760-1 is not prime. Res64: 1E7B91665E7D21C8 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:50:55] 699*2^1441760-1 is not prime. Res64: AA477F1B1CEF65EF Time : 0.0 sec. user=mdettweiler [2016-10-05 07:50:55] 773*2^1441760-1 is not prime. Res64: C9A29EEA7EDFA984 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:50:55] 813*2^1441760-1 is not prime. Res64: 6301BFF546B6E072 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:59:03] 839*2^1441760-1 is not prime. Res64: 27A1DB82DA816139 Time : 0.0 sec. user=mdettweiler [2016-10-05 07:59:03] 857*2^1441760-1 is not prime. Res64: AF1404414C041AFE Time : 0.0 sec. user=mdettweiler [2016-10-05 07:59:03] 879*2^1441760-1 is not prime. Res64: F3BC2C40F32A3F4B Time : 0.0 sec. user=mdettweiler [2016-10-05 07:59:04] 927*2^1441760-1 is not prime. Res64: EA136DCF3951871E Time : 0.0 sec. user=mdettweiler [2016-10-05 07:59:04] 977*2^1441760-1 is not prime. Res64: 714164AA69B8CFBF Time : 0.0 sec. user=mdettweiler [2016-10-05 08:00:17] 709*2^1441761-1 is not prime. Res64: 0923FEF8EC369CC2 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:00:18] 747*2^1441761-1 is not prime. Res64: 535D2EBB9ABC5496 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:00:18] 871*2^1441761-1 is not prime. Res64: E3B8B292B57728BE Time : 0.0 sec. user=mdettweiler [2016-10-05 08:00:19] 909*2^1441761-1 is not prime. Res64: 4FCFBDAD3A7FA95E Time : 0.0 sec. user=mdettweiler [2016-10-05 08:00:20] 937*2^1441761-1 is not prime. Res64: C2254ABA7BC6B8F8 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:30:18] 705*2^1441762-1 is not prime. Res64: 66EDD174E704BAB9 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:30:18] 713*2^1441762-1 is not prime. Res64: 24E9FD9558EF4542 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:30:19] 717*2^1441762-1 is not prime. Res64: 549DE3D50D5AB841 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:30:19] 735*2^1441762-1 is not prime. Res64: 957ECA47FDE078D6 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:30:19] 747*2^1441762-1 is not prime. Res64: 2ADB9670EB0BF531 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:36:12] 815*2^1441762-1 is not prime. Res64: 99024597B5E86A1C Time : 0.0 sec. user=mdettweiler [2016-10-05 08:36:13] 915*2^1441762-1 is not prime. Res64: 507860EA2A0F4D58 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:36:13] 619*2^1441763-1 is not prime. Res64: 09BA69D1F976270C Time : 0.0 sec. user=mdettweiler [2016-10-05 08:36:13] 679*2^1441763-1 is not prime. Res64: CFBA55331AAC84BC Time : 0.0 sec. user=mdettweiler [2016-10-05 08:36:14] 693*2^1441763-1 is not prime. Res64: BA9DC9DD9A051CE0 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:44:22] 861*2^1441763-1 is not prime. Res64: E02B60799CC498D8 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:44:23] 889*2^1441763-1 is not prime. Res64: 15139FE32DB06F9E Time : 0.0 sec. user=mdettweiler [2016-10-05 08:44:23] 973*2^1441763-1 is not prime. Res64: CF87585EAA7F57A5 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:44:24] 705*2^1441764-1 is not prime. Res64: D3D08D219C2E0061 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:44:24] 767*2^1441764-1 is not prime. Res64: 2970222631015882 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:45:41] 929*2^1441764-1 is not prime. Res64: F9286E3CAE078B30 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:45:42] 609*2^1441765-1 is not prime. Res64: 76184B326E59E4F9 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:45:42] 819*2^1441765-1 is not prime. Res64: 6F6F17CF2E6330A1 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:45:42] 849*2^1441765-1 is not prime. Res64: 4B38B643DF099AC9 Time : 0.0 sec. user=mdettweiler [2016-10-05 08:45:43] 623*2^1441766-1 is not prime. Res64: 78BB9D1B5CD03E0C Time : 0.0 sec. user=mdettweiler [2016-10-05 09:15:43] 675*2^1441766-1 is not prime. Res64: 89B6369D1EA6A824 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:15:44] 801*2^1441766-1 is not prime. Res64: B5BA40476722F4C2 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:15:44] 861*2^1441766-1 is not prime. Res64: AF810B62BF3AE1F3 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:15:45] 921*2^1441766-1 is not prime. Res64: 94E1BBAF6A1B4143 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:15:45] 923*2^1441766-1 is not prime. Res64: C025E27D5A35672A Time : 0.0 sec. user=mdettweiler [2016-10-05 09:21:34] 1001*2^1441766-1 is not prime. Res64: 02651E6AE9F908A9 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:21:34] 703*2^1441767-1 is not prime. Res64: 23C0D3A2E4A61FC3 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:21:35] 775*2^1441767-1 is not prime. Res64: 713BEFFE7C2223E6 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:21:35] 781*2^1441767-1 is not prime. Res64: 0C32896AC9F1FF3E Time : 0.0 sec. user=mdettweiler [2016-10-05 09:21:35] 795*2^1441767-1 is not prime. Res64: 4EDE1ACB961B2C12 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:29:41] 979*2^1441767-1 is not prime. Res64: 67E1B1A987B36C15 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:29:41] 743*2^1441768-1 is not prime. Res64: 2E774168AF9682A8 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:29:42] 797*2^1441768-1 is not prime. Res64: F016E3907DB5A9C9 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:29:42] 957*2^1441768-1 is not prime. Res64: 8152818D3273D329 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:29:42] 995*2^1441768-1 is not prime. Res64: 49B91869D293D0D3 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:31:00] 999*2^1441768-1 is not prime. Res64: 3AE9F8B31AA056E2 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:31:01] 711*2^1441769-1 is not prime. Res64: AB13DF51330C5EB2 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:31:02] 811*2^1441769-1 is not prime. Res64: 27A28D9C5343BB81 Time : 0.0 sec. user=mdettweiler [2016-10-05 09:31:02] 867*2^1441769-1 is not prime. Res64: ABC86E98206D711E Time : 0.0 sec. user=mdettweiler [2016-10-05 09:31:03] 879*2^1441769-1 is not prime. Res64: D48B4A718ECD4274 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:01:02] 949*2^1441769-1 is not prime. Res64: 897A6BEA65EF1DE2 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:01:04] 967*2^1441769-1 is not prime. Res64: E440FECF5D6B52E3 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:01:05] 723*2^1441770-1 is not prime. Res64: 60289A4DD3CC419A Time : 0.0 sec. user=mdettweiler [2016-10-05 10:01:06] 803*2^1441770-1 is not prime. Res64: B76DB2BBDC3B1AAC Time : 0.0 sec. user=mdettweiler [2016-10-05 10:01:07] 851*2^1441770-1 is not prime. Res64: 0C4518505BC73E59 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:06:58] 873*2^1441770-1 is not prime. Res64: E949747FD57E9A27 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:06:59] 951*2^1441770-1 is not prime. Res64: A09F415641B626A8 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:07:00] 609*2^1441771-1 is not prime. Res64: 331F7CD7A1F09FBF Time : 0.0 sec. user=mdettweiler [2016-10-05 10:07:01] 673*2^1441771-1 is not prime. Res64: 2278B18E2AAF055D Time : 0.0 sec. user=mdettweiler [2016-10-05 10:07:02] 693*2^1441771-1 is not prime. Res64: 821D898CD803AC8A Time : 0.0 sec. user=mdettweiler [2016-10-05 10:15:08] 741*2^1441771-1 is not prime. Res64: 1B07F39D372496A3 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:15:10] 745*2^1441771-1 is not prime. Res64: 8BC909DE9B635FBD Time : 0.0 sec. user=mdettweiler [2016-10-05 10:15:11] 759*2^1441771-1 is not prime. Res64: E55840CB4F3AAD61 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:15:12] 871*2^1441771-1 is not prime. Res64: A358DE42187F7254 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:15:13] 993*2^1441771-1 is not prime. Res64: B0834CD43D4C48B2 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:16:18] 603*2^1441772-1 is not prime. Res64: 95DA2FAD41703635 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:16:19] 615*2^1441772-1 is not prime. Res64: 41FA119DBB91D1BC Time : 0.0 sec. user=mdettweiler [2016-10-05 10:16:20] 647*2^1441772-1 is not prime. Res64: E882AEBB72D49D8E Time : 0.0 sec. user=mdettweiler [2016-10-05 10:16:20] 693*2^1441772-1 is not prime. Res64: B3E4ECA64CC411AE Time : 0.0 sec. user=mdettweiler [2016-10-05 10:16:21] 855*2^1441772-1 is not prime. Res64: AD34BE91F0AF2ECB Time : 0.0 sec. user=mdettweiler [2016-10-05 10:46:33] 923*2^1441772-1 is not prime. Res64: 45E3664D7483B049 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:46:33] 615*2^1441773-1 is not prime. Res64: 435F1F2795A0E1E4 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:46:34] 625*2^1441773-1 is not prime. Res64: 826309CF604B7E7E Time : 0.0 sec. user=mdettweiler [2016-10-05 10:46:34] 639*2^1441773-1 is not prime. Res64: 357460BD1637DC00 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:46:34] 691*2^1441773-1 is not prime. Res64: 40B8FF2562D69874 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:52:33] 769*2^1441773-1 is not prime. Res64: 7EF4B574364B8222 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:52:33] 817*2^1441773-1 is not prime. Res64: 9CF5B0CF206DBFEF Time : 0.0 sec. user=mdettweiler [2016-10-05 10:52:33] 867*2^1441773-1 is not prime. Res64: 52DE7558B1DBED8F Time : 0.0 sec. user=mdettweiler [2016-10-05 10:52:34] 999*2^1441773-1 is not prime. Res64: DA6589BF24B87EB1 Time : 0.0 sec. user=mdettweiler [2016-10-05 10:52:34] 645*2^1441774-1 is not prime. Res64: AC6765E6DD1C0514 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:00:38] 791*2^1441774-1 is not prime. Res64: 57E0657CDAA4583C Time : 0.0 sec. user=mdettweiler [2016-10-05 11:00:38] 857*2^1441774-1 is not prime. Res64: 81C70A38F253BE7C Time : 0.0 sec. user=mdettweiler [2016-10-05 11:00:39] 915*2^1441774-1 is not prime. Res64: 7B4F80F6C27AC25A Time : 0.0 sec. user=mdettweiler [2016-10-05 11:00:40] 917*2^1441774-1 is not prime. Res64: 2AA36E52A038CCA5 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:00:41] 945*2^1441774-1 is not prime. Res64: 12718EFAF01752CD Time : 0.0 sec. user=mdettweiler [2016-10-05 11:01:43] 957*2^1441774-1 is not prime. Res64: F5A7D476BEDEA56E Time : 0.0 sec. user=mdettweiler [2016-10-05 11:01:44] 975*2^1441774-1 is not prime. Res64: C8CC2473710A7088 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:01:45] 981*2^1441774-1 is not prime. Res64: F385250A69DA51DB Time : 0.0 sec. user=mdettweiler [2016-10-05 11:01:45] 1001*2^1441774-1 is not prime. Res64: 18D4E708C6DFAFDD Time : 0.0 sec. user=mdettweiler [2016-10-05 11:01:46] 609*2^1441775-1 is not prime. Res64: FE27FC39F1104AE3 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:31:49] 721*2^1441775-1 is not prime. Res64: 795CF4E8FACB4E9D Time : 0.0 sec. user=mdettweiler [2016-10-05 11:31:50] 783*2^1441775-1 is not prime. Res64: 0C0EA1B772DCFC83 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:31:50] 885*2^1441775-1 is not prime. Res64: B785CAE4340B69C0 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:31:51] 913*2^1441775-1 is not prime. Res64: 179794BA48244EFF Time : 0.0 sec. user=mdettweiler [2016-10-05 11:31:51] 985*2^1441775-1 is not prime. Res64: 585573315C3A10A5 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:37:50] 629*2^1441776-1 is not prime. Res64: 028B0220CD43CE07 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:37:50] 707*2^1441776-1 is not prime. Res64: 1E35FBC51AD4BBD0 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:37:51] 839*2^1441776-1 is not prime. Res64: 154DBC9B78E65095 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:37:51] 857*2^1441776-1 is not prime. Res64: D116CE5EA80DB4C0 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:37:51] 969*2^1441776-1 is not prime. Res64: 4C2BF14418546CFA Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:00] 649*2^1441777-1 is not prime. Res64: 0A3C8FE8840D2A4A Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:01] 717*2^1441777-1 is not prime. Res64: C60ED299BC9A7A46 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:01] 747*2^1441777-1 is not prime. Res64: 2E2531064E8B0E07 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:01] 751*2^1441777-1 is not prime. Res64: B48D0CA4F1FC935F Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:02] 759*2^1441777-1 is not prime. Res64: A7CFB26D5D673737 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:57] 799*2^1441777-1 is not prime. Res64: F7DA9AA0E6D36F72 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:58] 985*2^1441777-1 is not prime. Res64: 91F0FD403297C8EB Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:58] 997*2^1441777-1 is not prime. Res64: E7FC4EA599547401 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:58] 999*2^1441777-1 is not prime. Res64: A64222F7E1A5DA75 Time : 0.0 sec. user=mdettweiler [2016-10-05 11:46:59] 801*2^1441778-1 is not prime. Res64: 585DD1EF25515EE1 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:17:12] 837*2^1441778-1 is not prime. Res64: 421F8BD1D64ABDF5 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:17:12] 857*2^1441778-1 is not prime. Res64: 3AB9C6E23A1CCE5D Time : 0.0 sec. user=mdettweiler [2016-10-05 12:17:13] 861*2^1441778-1 is not prime. Res64: 93598367C7A18D37 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:17:13] 867*2^1441778-1 is not prime. Res64: A7E6682400508ED2 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:17:13] 963*2^1441778-1 is not prime. Res64: CAB33306D6AD32AE Time : 0.0 sec. user=mdettweiler [2016-10-05 12:23:07] 1001*2^1441778-1 is not prime. Res64: EBA7929699A0FD76 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:23:08] 685*2^1441779-1 is not prime. Res64: 14B240ED22FD24A3 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:23:08] 691*2^1441779-1 is not prime. Res64: 3820DBB88817164A Time : 0.0 sec. user=mdettweiler [2016-10-05 12:23:09] 709*2^1441779-1 is not prime. Res64: EEABD1278A77FDB8 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:23:09] 795*2^1441779-1 is not prime. Res64: 724404093C8742C7 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:31:57] 891*2^1441779-1 is not prime. Res64: 896776E0A51F3033 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:31:57] 943*2^1441779-1 is not prime. Res64: 37295D14279F25A4 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:31:58] 665*2^1441780-1 is not prime. Res64: D22E386B413113AB Time : 0.0 sec. user=mdettweiler [2016-10-05 12:31:59] 765*2^1441780-1 is not prime. Res64: 51FEA83191BC7967 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:31:59] 873*2^1441780-1 is not prime. Res64: 6498F00B8FE3BD7B Time : 0.0 sec. user=mdettweiler [2016-10-05 12:32:23] 875*2^1441780-1 is not prime. Res64: 5DCB63BBE68E37BD Time : 0.0 sec. user=mdettweiler [2016-10-05 12:32:24] 939*2^1441780-1 is not prime. Res64: 81FD11409D1DC993 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:32:26] 621*2^1441781-1 is not prime. Res64: D0A3C38BA5C4FA89 Time : 0.0 sec. user=mdettweiler [2016-10-05 12:32:27] 649*2^1441781-1 is not prime. Res64: 7E654B19709A08FF Time : 0.0 sec. user=mdettweiler [2016-10-05 12:32:30] 747*2^1441781-1 is not prime. Res64: D154830B6FC49A4A Time : 0.0 sec. user=mdettweiler [2016-10-05 13:04:03] 799*2^1441781-1 is not prime. Res64: 8309055E468A120A Time : 0.0 sec. user=mdettweiler [2016-10-05 13:04:04] 855*2^1441781-1 is not prime. Res64: C877ADD391977DDE Time : 0.0 sec. user=mdettweiler [2016-10-05 13:04:06] 861*2^1441781-1 is not prime. Res64: CACB6C9B693FC1FB Time : 0.0 sec. user=mdettweiler [2016-10-05 13:04:08] 885*2^1441781-1 is not prime. Res64: 062865B19A198A07 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:04:09] 693*2^1441782-1 is not prime. Res64: 69CE33809608C3D4 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:09:34] 711*2^1441782-1 is not prime. Res64: A50F9178D5DD3489 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:09:35] 765*2^1441782-1 is not prime. Res64: F9AE3865C6CD2544 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:09:35] 797*2^1441782-1 is not prime. Res64: 203C64666387750F Time : 0.0 sec. user=mdettweiler [2016-10-05 13:09:35] 801*2^1441782-1 is not prime. Res64: 99DF16A00CB2D29F Time : 0.0 sec. user=mdettweiler [2016-10-05 13:09:36] 873*2^1441782-1 is not prime. Res64: C772D2778EA04FA2 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:18:39] 903*2^1441782-1 is not prime. Res64: DDE1A6FFCC8D7763 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:18:40] 693*2^1441783-1 is not prime. Res64: 700777F3E02690B4 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:18:40] 853*2^1441783-1 is not prime. Res64: FAC92D0ECAAE3E95 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:18:41] 617*2^1441784-1 is not prime. Res64: E92620A8142F2D42 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:18:42] 683*2^1441784-1 is not prime. Res64: C8D69137E862AF9E Time : 0.0 sec. user=mdettweiler [2016-10-05 13:19:20] 843*2^1441784-1 is not prime. Res64: 9C4F963D12D5FCA2 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:19:21] 875*2^1441784-1 is not prime. Res64: F44A505F2C07AF6C Time : 0.0 sec. user=mdettweiler [2016-10-05 13:19:21] 995*2^1441784-1 is not prime. Res64: 95FED787ED57415D Time : 0.0 sec. user=mdettweiler [2016-10-05 13:19:22] 625*2^1441785-1 is not prime. Res64: F428E05E8E58CBCA Time : 0.0 sec. user=mdettweiler [2016-10-05 13:19:22] 627*2^1441785-1 is not prime. Res64: 392F97FF2F46D4F7 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:49:42] 705*2^1441785-1 is not prime. Res64: 148C624229E8E80B Time : 0.0 sec. user=mdettweiler [2016-10-05 13:49:43] 787*2^1441785-1 is not prime. Res64: D56CEDC19CC5D477 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:49:43] 789*2^1441785-1 is not prime. Res64: 3CCFA6BD899379CF Time : 0.0 sec. user=mdettweiler [2016-10-05 13:49:43] 877*2^1441785-1 is not prime. Res64: 50C1187D5940033B Time : 0.0 sec. user=mdettweiler [2016-10-05 13:49:44] 937*2^1441785-1 is not prime. Res64: 3DCDB973DB868B23 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:55:06] 949*2^1441785-1 is not prime. Res64: B7C276A107C274A9 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:55:06] 737*2^1441786-1 is not prime. Res64: 7F703B8B514BF14A Time : 0.0 sec. user=mdettweiler [2016-10-05 13:55:07] 741*2^1441786-1 is not prime. Res64: 73F184A4D4370B2F Time : 0.0 sec. user=mdettweiler [2016-10-05 13:55:07] 783*2^1441786-1 is not prime. Res64: 5D0A1D28218AC1A5 Time : 0.0 sec. user=mdettweiler [2016-10-05 13:55:07] 903*2^1441786-1 is not prime. Res64: 2602918F248A6BF8 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:09] 603*2^1441787-1 is not prime. Res64: 3519BEFA1B2A5C0E Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:10] 645*2^1441787-1 is not prime. Res64: F79855BD6716750D Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:11] 841*2^1441787-1 is not prime. Res64: A5AA155BE7FB7B16 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:12] 981*2^1441787-1 is not prime. Res64: 4634EC618025B517 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:13] 629*2^1441788-1 is not prime. Res64: 650F2763798E1674 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:48] 797*2^1441788-1 is not prime. Res64: 607307B589A34B56 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:50] 843*2^1441788-1 is not prime. Res64: 1A6E70DD3B8ED14C Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:51] 845*2^1441788-1 is not prime. Res64: 71BB7C3D8CF8051D Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:52] 621*2^1441789-1 is not prime. Res64: 8D4557A557026546 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:04:53] 741*2^1441789-1 is not prime. Res64: 44C5C4BA8F14BB41 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:35:02] 829*2^1441789-1 is not prime. Res64: 3A38796AA5A19B3E Time : 0.0 sec. user=mdettweiler [2016-10-05 14:35:02] 651*2^1441790-1 is not prime. Res64: 639BA9BC01C711DE Time : 0.0 sec. user=mdettweiler [2016-10-05 14:35:03] 665*2^1441790-1 is not prime. Res64: FBB24EE23BC399CA Time : 0.0 sec. user=mdettweiler [2016-10-05 14:35:03] 731*2^1441790-1 is not prime. Res64: E196AB04B9FC23C4 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:35:03] 813*2^1441790-1 is not prime. Res64: 99621BB85E9396C7 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:40:18] 957*2^1441790-1 is not prime. Res64: 1A1739A84C763AE1 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:40:18] 977*2^1441790-1 is not prime. Res64: 8728BAF9AC783DB9 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:40:18] 651*2^1441791-1 is not prime. Res64: 002B7D27D7C4DD3F Time : 0.0 sec. user=mdettweiler [2016-10-05 14:40:19] 769*2^1441791-1 is not prime. Res64: CA4454EC44BE22A5 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:40:19] 829*2^1441791-1 is not prime. Res64: 38AF88C30CD5D8DE Time : 0.0 sec. user=mdettweiler [2016-10-05 14:49:33] 865*2^1441791-1 is not prime. Res64: C41E2EB8880BE9CB Time : 0.0 sec. user=mdettweiler [2016-10-05 14:49:34] 895*2^1441791-1 is not prime. Res64: 43DCA313E4D76B25 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:49:34] 629*2^1441792-1 is not prime. Res64: 08B005D699BF21A0 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:49:34] 717*2^1441792-1 is not prime. Res64: 3152A0A110A479B9 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:49:35] 723*2^1441792-1 is not prime. Res64: 29BE11C23FFEAB57 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:50:09] 825*2^1441792-1 is not prime. Res64: 9D49E3F298D90FA8 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:50:10] 903*2^1441792-1 is not prime. Res64: D8D81AA58BD3E6AA Time : 0.0 sec. user=mdettweiler [2016-10-05 14:50:10] 781*2^1441793-1 is not prime. Res64: A8035FF41CE36C22 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:50:10] 879*2^1441793-1 is not prime. Res64: 4CC7C9D4B3BEE0C5 Time : 0.0 sec. user=mdettweiler [2016-10-05 14:50:11] 991*2^1441793-1 is not prime. Res64: 6BB42FD8CDC92701 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:20:26] 621*2^1441794-1 is not prime. Res64: 02698DDCE23F684A Time : 0.0 sec. user=mdettweiler [2016-10-05 15:20:27] 633*2^1441794-1 is not prime. Res64: 8DC333D92EC59082 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:20:27] 741*2^1441794-1 is not prime. Res64: EEBA31F0F1A0CB0B Time : 0.0 sec. user=mdettweiler [2016-10-05 15:20:27] 755*2^1441794-1 is not prime. Res64: F11F90EDA34FBF53 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:20:28] 885*2^1441794-1 is not prime. Res64: A7EB9321F333323E Time : 0.0 sec. user=mdettweiler [2016-10-05 15:25:46] 983*2^1441794-1 is not prime. Res64: 45F36AAAD3EDCFF4 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:25:46] 1001*2^1441794-1 is not prime. Res64: 76BAC25C523DF183 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:25:47] 631*2^1441795-1 is not prime. Res64: 1E25A0D7CC92C587 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:25:47] 685*2^1441795-1 is not prime. Res64: ABA4FB64B8ACC1BC Time : 0.0 sec. user=mdettweiler [2016-10-05 15:25:47] 705*2^1441795-1 is not prime. Res64: 222D3785D831D207 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:34:57] 709*2^1441795-1 is not prime. Res64: B84A1553A90BDBCE Time : 0.0 sec. user=mdettweiler [2016-10-05 15:34:58] 829*2^1441795-1 is not prime. Res64: 640BBFA619332510 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:34:58] 855*2^1441795-1 is not prime. Res64: A7A42CA851E8ACF4 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:34:59] 623*2^1441796-1 is not prime. Res64: 29553DD55AAA8F93 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:35:00] 693*2^1441796-1 is not prime. Res64: 6428C12FEE20FC42 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:35:31] 813*2^1441796-1 is not prime. Res64: E39FF981CC35CB59 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:35:32] 897*2^1441796-1 is not prime. Res64: 0268516BE9BB33E0 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:35:32] 983*2^1441796-1 is not prime. Res64: 667B90273735DD96 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:35:33] 699*2^1441797-1 is not prime. Res64: BB089FB4DE43C214 Time : 0.0 sec. user=mdettweiler [2016-10-05 15:35:34] 709*2^1441797-1 is not prime. Res64: 44724F8B7BE598EF Time : 0.0 sec. user=mdettweiler [2016-10-05 16:06:19] 727*2^1441797-1 is not prime. Res64: 1F4490348A076959 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:06:22] 735*2^1441797-1 is not prime. Res64: 7C6C7A7DC3F8AD6A Time : 0.0 sec. user=mdettweiler [2016-10-05 16:06:23] 741*2^1441797-1 is not prime. Res64: E63D3A4BED41CDEF Time : 0.0 sec. user=mdettweiler [2016-10-05 16:06:24] 895*2^1441797-1 is not prime. Res64: 11A991810239F395 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:06:25] 949*2^1441797-1 is not prime. Res64: 11D0A9100D0A7B3F Time : 0.0 sec. user=mdettweiler [2016-10-05 16:11:26] 657*2^1441798-1 is not prime. Res64: 20598F1E42644E2D Time : 0.0 sec. user=mdettweiler [2016-10-05 16:11:27] 777*2^1441798-1 is not prime. Res64: F47C761636E56D9D Time : 0.0 sec. user=mdettweiler [2016-10-05 16:11:27] 801*2^1441798-1 is not prime. Res64: E68330980DF63DE3 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:11:28] 649*2^1441799-1 is not prime. Res64: 7D4BD12007E727C0 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:11:28] 655*2^1441799-1 is not prime. Res64: 5EAD9D1A1B88E847 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:20:22] 669*2^1441799-1 is not prime. Res64: C360F25C2266620C Time : 0.0 sec. user=mdettweiler [2016-10-05 16:20:23] 685*2^1441799-1 is not prime. Res64: 55949CB2197BD00A Time : 0.0 sec. user=mdettweiler [2016-10-05 16:20:24] 711*2^1441799-1 is not prime. Res64: 759C59A85FC095F4 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:20:25] 735*2^1441799-1 is not prime. Res64: B8FF01AF9540868A Time : 0.0 sec. user=mdettweiler [2016-10-05 16:20:25] 789*2^1441799-1 is not prime. Res64: C78A07ECBBDB0992 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:21:08] 829*2^1441799-1 is not prime. Res64: 378CCF72510409A1 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:21:09] 615*2^1441800-1 is not prime. Res64: 1A69E8E62DFC051B Time : 0.0 sec. user=mdettweiler [2016-10-05 16:21:10] 735*2^1441800-1 is not prime. Res64: 502CC99B61080F30 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:21:10] 825*2^1441800-1 is not prime. Res64: 337F1F0778B36BDA Time : 0.0 sec. user=mdettweiler [2016-10-05 16:21:11] 909*2^1441800-1 is not prime. Res64: 9AE77664193B9A92 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:51:51] 983*2^1441800-1 is not prime. Res64: 312B5E9B79D4D56A Time : 0.0 sec. user=mdettweiler [2016-10-05 16:51:51] 609*2^1441801-1 is not prime. Res64: E2F713AB0A6C0E56 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:51:52] 615*2^1441801-1 is not prime. Res64: 1962EAE803FF9AD9 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:51:52] 775*2^1441801-1 is not prime. Res64: 7C4881732AE79630 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:51:52] 951*2^1441801-1 is not prime. Res64: 670F1D5B7D25E4E2 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:56:32] 957*2^1441801-1 is not prime. Res64: FD52A148CAFBCF90 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:56:32] 633*2^1441802-1 is not prime. Res64: B657BC35652722A5 Time : 0.0 sec. user=mdettweiler [2016-10-05 16:56:33] 675*2^1441802-1 is not prime. Res64: ADCC17CD8207032E Time : 0.0 sec. user=mdettweiler [2016-10-05 16:56:33] 701*2^1441802-1 is not prime. Res64: 7473DBD6B852B12E Time : 0.0 sec. user=mdettweiler [2016-10-05 16:56:34] 705*2^1441802-1 is not prime. Res64: 14CBC0A1ADA98DBB Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:53] 983*2^1441802-1 is not prime. Res64: 54A12746EAC6C6AB Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:54] 705*2^1441803-1 is not prime. Res64: B17CFE5E3553363D Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:54] 739*2^1441803-1 is not prime. Res64: 28666F511DB790F8 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:54] 871*2^1441803-1 is not prime. Res64: 72F69C69D0885834 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:55] 963*2^1441803-1 is not prime. Res64: E94EDF1A99E32DA1 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:58] 815*2^1441802-1 is not prime. Res64: 307FDE94B04BE583 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:07:59] 825*2^1441802-1 is not prime. Res64: D2637E666FBF07AC Time : 0.0 sec. user=mdettweiler [2016-10-05 17:08:00] 831*2^1441802-1 is not prime. Res64: 7B61B819B8AFC0D4 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:08:00] 885*2^1441802-1 is not prime. Res64: 552D5C44F0B1D134 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:08:01] 941*2^1441802-1 is not prime. Res64: C24C2FAEB8377A68 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:38:31] 985*2^1441803-1 is not prime. Res64: 84AE89FCEC520801 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:38:32] 609*2^1441804-1 is not prime. Res64: 21A32ED9613D5984 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:38:32] 693*2^1441804-1 is not prime. Res64: 404CCCB28C518F2B Time : 0.0 sec. user=mdettweiler [2016-10-05 17:38:32] 719*2^1441804-1 is not prime. Res64: 10DE83E3EF31CA59 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:38:33] 723*2^1441804-1 is not prime. Res64: 8C2EF10907F2DB39 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:43:35] 783*2^1441804-1 is not prime. Res64: 2AC394D56F67E40F Time : 0.0 sec. user=mdettweiler [2016-10-05 17:43:35] 869*2^1441804-1 is not prime. Res64: 2A3C06F39B2D6E0B Time : 0.0 sec. user=mdettweiler [2016-10-05 17:43:36] 875*2^1441804-1 is not prime. Res64: F5EF2283262EDBFA Time : 0.0 sec. user=mdettweiler [2016-10-05 17:43:36] 915*2^1441804-1 is not prime. Res64: D0C1FE763873BE30 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:43:37] 959*2^1441804-1 is not prime. Res64: 1643EE0C84BDE50E Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:15] 611*2^1441806-1 is not prime. Res64: 02421FCBD88A5042 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:16] 635*2^1441806-1 is not prime. Res64: 0654F6AD357DF78A Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:16] 641*2^1441806-1 is not prime. Res64: A1DDED5EB9333360 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:16] 705*2^1441806-1 is not prime. Res64: 8CAEB70A8DA0DFBC Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:17] 713*2^1441806-1 is not prime. Res64: F9B02A3E9B644EB6 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:29] 989*2^1441804-1 is not prime. Res64: B576DB0C5FC9A270 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:30] 729*2^1441805-1 is not prime. Res64: 17B8C8F707C9749C Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:30] 777*2^1441805-1 is not prime. Res64: 7581346E180C593E Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:30] 907*2^1441805-1 is not prime. Res64: 9DF46125118B3EF2 Time : 0.0 sec. user=mdettweiler [2016-10-05 17:53:31] 987*2^1441805-1 is not prime. Res64: DE6C88771A271859 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:23:58] 807*2^1441806-1 is not prime. Res64: D4078857B16A57F1 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:23:59] 821*2^1441806-1 is not prime. Res64: 46144E08B0184F55 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:23:59] 851*2^1441806-1 is not prime. Res64: 289ED2297188BB1C Time : 0.0 sec. user=mdettweiler [2016-10-05 18:23:59] 861*2^1441806-1 is not prime. Res64: C4579994709B380D Time : 0.0 sec. user=mdettweiler [2016-10-05 18:24:00] 887*2^1441806-1 is not prime. Res64: 386209C97287C28E Time : 0.0 sec. user=mdettweiler [2016-10-05 18:29:14] 993*2^1441806-1 is not prime. Res64: 3B7AF523C229DBC1 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:29:15] 681*2^1441807-1 is not prime. Res64: A5A0507494B5E609 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:29:15] 859*2^1441807-1 is not prime. Res64: F12F56F3F7416CEC Time : 0.0 sec. user=mdettweiler [2016-10-05 18:29:16] 883*2^1441807-1 is not prime. Res64: A31CE7DCB345A9EB Time : 0.0 sec. user=mdettweiler [2016-10-05 18:29:16] 915*2^1441807-1 is not prime. Res64: 75876A74A0C98314 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:38:46] 839*2^1441808-1 is not prime. Res64: 38C201BD3E57BA4B Time : 0.0 sec. user=mdettweiler [2016-10-05 18:38:47] 843*2^1441808-1 is not prime. Res64: 420907FE2E16A0E9 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:38:48] 845*2^1441808-1 is not prime. Res64: C5CC6FF6F5F0DC18 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:38:48] 909*2^1441808-1 is not prime. Res64: CAE98968AAE77541 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:38:49] 935*2^1441808-1 is not prime. Res64: 5FC6CAEEA68E8111 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:39:08] 919*2^1441807-1 is not prime. Res64: D9747C5E11CBA51D Time : 0.0 sec. user=mdettweiler [2016-10-05 18:39:09] 993*2^1441807-1 is not prime. Res64: F6FDCA68933F78BB Time : 0.0 sec. user=mdettweiler [2016-10-05 18:39:10] 669*2^1441808-1 is not prime. Res64: C375D7E949EE79E2 Time : 0.0 sec. user=mdettweiler [2016-10-05 18:39:12] 725*2^1441808-1 is not prime. Res64: 5D225273A73EA1CA Time : 0.0 sec. user=mdettweiler [2016-10-05 18:39:12] 753*2^1441808-1 is not prime. Res64: E8D7EF1B70DC7700 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:09:27] 625*2^1441809-1 is not prime. Res64: A6BD1D2F07507F76 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:09:28] 627*2^1441809-1 is not prime. Res64: F43D07516B74B02F Time : 0.0 sec. user=mdettweiler [2016-10-05 19:09:28] 741*2^1441809-1 is not prime. Res64: 2F5DF7B4A72639AB Time : 0.0 sec. user=mdettweiler [2016-10-05 19:09:29] 807*2^1441809-1 is not prime. Res64: 6647612EC8549904 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:09:29] 829*2^1441809-1 is not prime. Res64: B8EB205D1999CB87 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:14:41] 889*2^1441809-1 is not prime. Res64: 53DF93D281AC6743 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:14:42] 633*2^1441810-1 is not prime. Res64: 08F1BA57BF55B04A Time : 0.0 sec. user=mdettweiler [2016-10-05 19:14:42] 653*2^1441810-1 is not prime. Res64: 04744C81969020FB Time : 0.0 sec. user=mdettweiler [2016-10-05 19:14:43] 713*2^1441810-1 is not prime. Res64: 4AD584E695A3C15B Time : 0.0 sec. user=mdettweiler [2016-10-05 19:14:43] 723*2^1441810-1 is not prime. Res64: B048FC50D851EB15 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:29] 785*2^1441810-1 is not prime. Res64: 555647773DE1EA42 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:29] 791*2^1441810-1 is not prime. Res64: 9C6443B955C2BD6A Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:30] 813*2^1441810-1 is not prime. Res64: 0AF3C7D3E2B88690 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:30] 833*2^1441810-1 is not prime. Res64: 8897B3FC66C13A58 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:31] 843*2^1441810-1 is not prime. Res64: 915A40705FD09944 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:37] 887*2^1441810-1 is not prime. Res64: 14E908A1360208D4 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:38] 945*2^1441810-1 is not prime. Res64: DB93EE4BED5E910A Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:38] 951*2^1441810-1 is not prime. Res64: B91971C376E28B90 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:39] 1001*2^1441810-1 is not prime. Res64: 07FB8F8AB886EA9B Time : 0.0 sec. user=mdettweiler [2016-10-05 19:24:39] 621*2^1441811-1 is not prime. Res64: 59C86B0DA2AB19FB Time : 0.0 sec. user=mdettweiler [2016-10-05 19:54:58] 909*2^1441811-1 is not prime. Res64: A86A35B449B5F2F4 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:54:58] 605*2^1441812-1 is not prime. Res64: 9083412F94F57D69 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:54:59] 635*2^1441812-1 is not prime. Res64: ACECFA5030EA4D7A Time : 0.0 sec. user=mdettweiler [2016-10-05 19:54:59] 647*2^1441812-1 is not prime. Res64: F1581C7124BBBB63 Time : 0.0 sec. user=mdettweiler [2016-10-05 19:54:59] 689*2^1441812-1 is not prime. Res64: 5B720307280436E2 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:00:02] 749*2^1441812-1 is not prime. Res64: 302BCE1F5109252B Time : 0.0 sec. user=mdettweiler [2016-10-05 20:00:03] 753*2^1441812-1 is not prime. Res64: AF7A55F35063A805 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:00:03] 915*2^1441812-1 is not prime. Res64: E44F918F6FFB80C4 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:00:04] 977*2^1441812-1 is not prime. Res64: 5EDCB3D18BC4105F Time : 0.0 sec. user=mdettweiler [2016-10-05 20:00:06] 999*2^1441812-1 is not prime. Res64: C33060D77470F5E5 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:09:36] 691*2^1441813-1 is not prime. Res64: 8D75BFE7C4283652 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:09:36] 847*2^1441813-1 is not prime. Res64: AC404D18C6617FCB Time : 0.0 sec. user=mdettweiler [2016-10-05 20:09:37] 961*2^1441813-1 is not prime. Res64: B1DA238805CE2EAB Time : 0.0 sec. user=mdettweiler [2016-10-05 20:09:37] 617*2^1441814-1 is not prime. Res64: FFA51D851DA30992 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:09:38] 693*2^1441814-1 is not prime. Res64: 88C4FF2EE79E2F84 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:10:11] 705*2^1441814-1 is not prime. Res64: FE3D4BDDA1A0DD70 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:10:11] 711*2^1441814-1 is not prime. Res64: 880CA6A30E2CAA80 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:10:12] 731*2^1441814-1 is not prime. Res64: F75EA66E0ED154E4 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:10:12] 915*2^1441814-1 is not prime. Res64: B5DB059A1D9F67DB Time : 0.0 sec. user=mdettweiler [2016-10-05 20:10:12] 995*2^1441814-1 is not prime. Res64: 40EDB6796FB75F29 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:41:15] 619*2^1441815-1 is not prime. Res64: 8994D522C2ABED09 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:41:15] 685*2^1441815-1 is not prime. Res64: C296366F5CA154D1 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:41:15] 793*2^1441815-1 is not prime. Res64: ADEB77AEFAA710E1 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:41:16] 823*2^1441815-1 is not prime. Res64: CFB3000C8EFCB05B Time : 0.0 sec. user=mdettweiler [2016-10-05 20:41:16] 831*2^1441815-1 is not prime. Res64: C4CF75AAEA80981C Time : 0.0 sec. user=mdettweiler [2016-10-05 20:45:42] 961*2^1441815-1 is not prime. Res64: B9D47A832114F968 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:45:43] 609*2^1441816-1 is not prime. Res64: 8A7010FBD2D707AA Time : 0.0 sec. user=mdettweiler [2016-10-05 20:45:43] 617*2^1441816-1 is not prime. Res64: A7DA8F274307D740 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:45:43] 623*2^1441816-1 is not prime. Res64: 60593F3D0BF00DDE Time : 0.0 sec. user=mdettweiler [2016-10-05 20:45:44] 845*2^1441816-1 is not prime. Res64: AAC3AF224A275052 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:55:04] 909*2^1441816-1 is not prime. Res64: 0CC04FEF234133BA Time : 0.0 sec. user=mdettweiler [2016-10-05 20:55:04] 917*2^1441816-1 is not prime. Res64: 77A848F5B28D9A52 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:55:05] 927*2^1441816-1 is not prime. Res64: 7B4AF0EBA23C461D Time : 0.0 sec. user=mdettweiler [2016-10-05 20:55:05] 965*2^1441816-1 is not prime. Res64: 2746AEAE420C7642 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:55:05] 975*2^1441816-1 is not prime. Res64: 282A6D67DFC133CC Time : 0.0 sec. user=mdettweiler [2016-10-05 20:56:10] 669*2^1441817-1 is not prime. Res64: D6B89921D5FF1DC7 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:56:10] 685*2^1441817-1 is not prime. Res64: 7F931FFD548A50B0 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:56:11] 837*2^1441817-1 is not prime. Res64: E77D6D999EA53C35 Time : 0.0 sec. user=mdettweiler [2016-10-05 20:56:11] 901*2^1441817-1 is not prime. Res64: 699CC6C58E2C0BAC Time : 0.0 sec. user=mdettweiler [2016-10-05 20:56:11] 915*2^1441817-1 is not prime. Res64: 1BD3E14E04544AD7 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:27:19] 939*2^1441817-1 is not prime. Res64: E321F51415BD9CFE Time : 0.0 sec. user=mdettweiler [2016-10-05 21:27:20] 985*2^1441817-1 is not prime. Res64: 7DF9C0A92488D320 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:27:20] 713*2^1441818-1 is not prime. Res64: 5122F7787DD2ABF7 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:27:21] 801*2^1441818-1 is not prime. Res64: 60AD1A9ED42F6112 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:27:21] 803*2^1441818-1 is not prime. Res64: 9071B7DD598A112F Time : 0.0 sec. user=mdettweiler [2016-10-05 21:31:39] 815*2^1441818-1 is not prime. Res64: EAFAFED010BC043B Time : 0.0 sec. user=mdettweiler [2016-10-05 21:31:39] 905*2^1441818-1 is not prime. Res64: A681CB3B4F8468E7 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:31:40] 963*2^1441818-1 is not prime. Res64: C25E4209DF030A3B Time : 0.0 sec. user=mdettweiler [2016-10-05 21:31:40] 971*2^1441818-1 is not prime. Res64: 6143A3E31228BBC5 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:31:41] 709*2^1441819-1 is not prime. Res64: EC3CFA58F4C3E869 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:40:47] 733*2^1441819-1 is not prime. Res64: 5199BB87526DA754 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:40:47] 741*2^1441819-1 is not prime. Res64: B0C337589F773D17 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:40:47] 759*2^1441819-1 is not prime. Res64: 764D47DEB40301D4 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:40:48] 793*2^1441819-1 is not prime. Res64: 7C0330A995BDF7B2 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:40:48] 829*2^1441819-1 is not prime. Res64: F6E86BC05E29F2B1 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:41:59] 885*2^1441819-1 is not prime. Res64: 85DBA0831E5908FF Time : 0.0 sec. user=mdettweiler [2016-10-05 21:42:00] 889*2^1441819-1 is not prime. Res64: 15900BA7EA2FCE87 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:42:00] 909*2^1441819-1 is not prime. Res64: 32590C619E00D147 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:42:01] 969*2^1441819-1 is not prime. Res64: 4704AC1C95D35B55 Time : 0.0 sec. user=mdettweiler [2016-10-05 21:42:01] 729*2^1441820-1 is not prime. Res64: C503C1336A11131D Time : 0.0 sec. user=mdettweiler [2016-10-05 22:13:38] 735*2^1441820-1 is not prime. Res64: 78F8B113D0632550 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:13:38] 767*2^1441820-1 is not prime. Res64: 24E1B10EB3A9274B Time : 0.0 sec. user=mdettweiler [2016-10-05 22:13:39] 923*2^1441820-1 is not prime. Res64: 8D46E5B123D16923 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:13:39] 621*2^1441821-1 is not prime. Res64: 4871F2C0A0D3BB6E Time : 0.0 sec. user=mdettweiler [2016-10-05 22:13:40] 657*2^1441821-1 is not prime. Res64: 698F2CA06128B913 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:18:24] 709*2^1441821-1 is not prime. Res64: C5CADA862CC8AF91 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:18:25] 795*2^1441821-1 is not prime. Res64: 8E870D063E317B74 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:18:26] 849*2^1441821-1 is not prime. Res64: 9B91ED97C11B9949 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:18:27] 861*2^1441821-1 is not prime. Res64: 057F47E465A532D8 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:18:29] 979*2^1441821-1 is not prime. Res64: 4948959216CAE454 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:26:53] 621*2^1441822-1 is not prime. Res64: AFAC42B42BB78790 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:26:53] 791*2^1441822-1 is not prime. Res64: F3F5AFD82662B8CB Time : 0.0 sec. user=mdettweiler [2016-10-05 22:26:54] 815*2^1441822-1 is not prime. Res64: 9107902772109FC0 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:26:54] 825*2^1441822-1 is not prime. Res64: A67A578C3BC0BDB0 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:26:54] 887*2^1441822-1 is not prime. Res64: 8051F661290CF0B5 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:27:54] 983*2^1441822-1 is not prime. Res64: 020B79E0F39ED7DC Time : 0.0 sec. user=mdettweiler [2016-10-05 22:27:55] 721*2^1441823-1 is not prime. Res64: 55C32B79E98A215C Time : 0.0 sec. user=mdettweiler [2016-10-05 22:27:55] 729*2^1441823-1 is not prime. Res64: 7FBD39C09BE4CE88 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:27:55] 775*2^1441823-1 is not prime. Res64: 2BB439CADE363172 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:27:56] 853*2^1441823-1 is not prime. Res64: 1660F5B676F4757D Time : 0.0 sec. user=mdettweiler [2016-10-05 22:59:21] 913*2^1441823-1 is not prime. Res64: 04B171BB0BFA5BB8 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:59:21] 949*2^1441823-1 is not prime. Res64: C4C3F520408A1A13 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:59:21] 969*2^1441823-1 is not prime. Res64: E5AD70B62A8E65F1 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:59:22] 973*2^1441823-1 is not prime. Res64: CC26EF3832A81712 Time : 0.0 sec. user=mdettweiler [2016-10-05 22:59:22] 689*2^1441824-1 is not prime. Res64: A20AF00B1F36BF22 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:04:03] 759*2^1441824-1 is not prime. Res64: 69B3B3E287DA8747 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:04:04] 893*2^1441824-1 is not prime. Res64: 47E48F93BD7A5CDF Time : 0.0 sec. user=mdettweiler [2016-10-05 23:04:05] 917*2^1441824-1 is not prime. Res64: D7C14FF613F57496 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:04:06] 969*2^1441824-1 is not prime. Res64: C79BE0507443AA39 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:04:07] 685*2^1441825-1 is not prime. Res64: 4AE6E99AC3520756 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:12:41] 721*2^1441825-1 is not prime. Res64: 1D2CEBC4DD5CF7A4 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:12:41] 789*2^1441825-1 is not prime. Res64: 09904F8FCC5D1EF5 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:12:42] 877*2^1441825-1 is not prime. Res64: 31A705878451E301 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:12:42] 895*2^1441825-1 is not prime. Res64: 9C965A21DFC78709 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:12:43] 897*2^1441825-1 is not prime. Res64: C2F39A83BFC4683C Time : 0.0 sec. user=mdettweiler [2016-10-05 23:13:28] 677*2^1441826-1 is not prime. Res64: 710CCE66541FEAE0 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:13:28] 705*2^1441826-1 is not prime. Res64: 53945F877B27F68C Time : 0.0 sec. user=mdettweiler [2016-10-05 23:13:29] 747*2^1441826-1 is not prime. Res64: 4325F23452777654 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:13:29] 767*2^1441826-1 is not prime. Res64: CABE6D0626AEFE39 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:13:30] 993*2^1441826-1 is not prime. Res64: 809CD2A1412AB57C Time : 0.0 sec. user=mdettweiler [2016-10-05 23:44:58] 619*2^1441827-1 is not prime. Res64: 9A757C12217F14E9 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:44:59] 801*2^1441827-1 is not prime. Res64: 073F2F03245D7445 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:44:59] 825*2^1441827-1 is not prime. Res64: BDB8A4F2F2132A94 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:45:00] 879*2^1441827-1 is not prime. Res64: E04232B8C4C442A3 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:45:00] 885*2^1441827-1 is not prime. Res64: 31AB15E1B8405363 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:49:44] 951*2^1441827-1 is not prime. Res64: BD282075590C7A44 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:49:45] 955*2^1441827-1 is not prime. Res64: 18AEA3D4A49A7B45 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:49:45] 963*2^1441827-1 is not prime. Res64: DA6E031333AC54AD Time : 0.0 sec. user=mdettweiler [2016-10-05 23:49:46] 973*2^1441827-1 is not prime. Res64: DEAD3F5A813AD2B2 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:49:46] 639*2^1441828-1 is not prime. Res64: 5DAD3844F55F9A80 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:58:34] 819*2^1441828-1 is not prime. Res64: 9160BEF0ED182EFD Time : 0.0 sec. user=mdettweiler [2016-10-05 23:58:35] 869*2^1441828-1 is not prime. Res64: ED2627C04ABDF11F Time : 0.0 sec. user=mdettweiler [2016-10-05 23:58:35] 957*2^1441828-1 is not prime. Res64: 803C54147A8A0861 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:58:35] 989*2^1441828-1 is not prime. Res64: A3D53DEA143522F4 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:58:36] 619*2^1441829-1 is not prime. Res64: DFB71F4B0D34C416 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:58:59] 645*2^1441829-1 is not prime. Res64: B1533A9848BE8CD7 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:59:00] 711*2^1441829-1 is not prime. Res64: 529297E5079B6ADB Time : 0.0 sec. user=mdettweiler [2016-10-05 23:59:00] 727*2^1441829-1 is not prime. Res64: 108A2902DB7B11CB Time : 0.0 sec. user=mdettweiler [2016-10-05 23:59:00] 729*2^1441829-1 is not prime. Res64: E9B025711577BDB4 Time : 0.0 sec. user=mdettweiler [2016-10-05 23:59:01] 781*2^1441829-1 is not prime. Res64: 8A0BE022B33B635B Time : 0.0 sec.