user=mdettweiler [2015-08-26 00:01:14] 771*2^1407335-1 is not prime. Res64: 45D666F7346C8DF0 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:01:14] 789*2^1407335-1 is not prime. Res64: 2ABBD34E17D81BDE Time : 0.0 sec. user=mdettweiler [2015-08-26 00:01:44] 831*2^1407335-1 is not prime. Res64: B823DEFF4F27104A Time : 0.0 sec. user=mdettweiler [2015-08-26 00:01:44] 841*2^1407335-1 is not prime. Res64: ECB0DFB07305A23E Time : 0.0 sec. user=mdettweiler [2015-08-26 00:02:32] 859*2^1407335-1 is not prime. Res64: D6DF2C9FCF77D794 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:02:34] 949*2^1407335-1 is not prime. Res64: A40E83EBBCEE1A7A Time : 0.0 sec. user=mdettweiler [2015-08-26 00:17:36] 973*2^1407335-1 is not prime. Res64: 7F43A97E30D0DDD9 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:17:36] 669*2^1407336-1 is not prime. Res64: 8ED438459B17C106 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:18:57] 725*2^1407336-1 is not prime. Res64: 20EC30F0AF2C03A3 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:18:57] 825*2^1407336-1 is not prime. Res64: 63979E52EA584726 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:19:20] 857*2^1407336-1 is not prime. Res64: E6935FE170C529F6 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:19:20] 945*2^1407336-1 is not prime. Res64: 3F44EE22F4B0276F Time : 0.0 sec. user=mdettweiler [2015-08-26 00:20:16] 717*2^1407337-1 is not prime. Res64: 452DE51D1709D7C7 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:20:16] 805*2^1407337-1 is not prime. Res64: 37B8B6EA2D4EF6C8 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:35:19] 847*2^1407337-1 is not prime. Res64: 8D7575C8BD04EF56 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:35:20] 919*2^1407337-1 is not prime. Res64: 1D7BC8715C579579 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:36:42] 939*2^1407337-1 is not prime. Res64: 4BBA5D5133987629 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:36:42] 683*2^1407338-1 is not prime. Res64: 89E14BC321843F05 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:37:02] 711*2^1407338-1 is not prime. Res64: E9AABD82225D21CE Time : 0.0 sec. user=mdettweiler [2015-08-26 00:37:02] 713*2^1407338-1 is not prime. Res64: E93561FB97C1E041 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:38:04] 773*2^1407338-1 is not prime. Res64: AC539AF12D5A9FCC Time : 0.0 sec. user=mdettweiler [2015-08-26 00:38:05] 813*2^1407338-1 is not prime. Res64: 85F7AC88559B42DB Time : 0.0 sec. user=mdettweiler [2015-08-26 00:53:22] 845*2^1407338-1 is not prime. Res64: FCF35FC17762BD23 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:53:22] 867*2^1407338-1 is not prime. Res64: 26DC71CB9D9DC2BA Time : 0.0 sec. user=mdettweiler [2015-08-26 00:55:19] 663*2^1407339-1 is not prime. Res64: DBDD51C9E63D5897 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:55:19] 711*2^1407339-1 is not prime. Res64: 10A3870994A3F4D3 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:55:20] 941*2^1407338-1 is not prime. Res64: CA3453E3AC0190C6 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:55:20] 613*2^1407339-1 is not prime. Res64: 71B6333FAD3A2496 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:56:57] 745*2^1407339-1 is not prime. Res64: C9804C9B026517D6 Time : 0.0 sec. user=mdettweiler [2015-08-26 00:56:58] 903*2^1407339-1 is not prime. Res64: 12E11872C5EC3903 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:11:59] 605*2^1407340-1 is not prime. Res64: DDF062122686CCC7 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:11:59] 623*2^1407340-1 is not prime. Res64: AE20AF206A55A394 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:13:21] 899*2^1407340-1 is not prime. Res64: 3F5A2E7B62CA6452 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:13:21] 909*2^1407340-1 is not prime. Res64: 61A237F4521213F3 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:13:49] 785*2^1407340-1 is not prime. Res64: EFB1BB71DA8E0298 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:13:49] 813*2^1407340-1 is not prime. Res64: E52F2B83A6FF06DF Time : 0.0 sec. user=mdettweiler [2015-08-26 01:15:06] 915*2^1407340-1 is not prime. Res64: 55D84288A25919F7 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:15:07] 645*2^1407341-1 is not prime. Res64: 3362000F2ADCEC75 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:29:34] 711*2^1407341-1 is not prime. Res64: 0ABF8374542F8A96 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:29:35] 745*2^1407341-1 is not prime. Res64: 6E8C47B17836BE05 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:30:58] 819*2^1407341-1 is not prime. Res64: 9919AD87516152E6 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:30:59] 997*2^1407341-1 is not prime. Res64: 1264D06D2869DE96 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:31:28] 647*2^1407342-1 is not prime. Res64: E7A4F3E928B1DF45 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:31:29] 731*2^1407342-1 is not prime. Res64: 6C671F86DF2448FF Time : 0.0 sec. user=mdettweiler [2015-08-26 01:32:42] 873*2^1407342-1 is not prime. Res64: 90B7E19ECDDB0B43 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:32:42] 917*2^1407342-1 is not prime. Res64: E14E21976598A798 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:47:20] 1001*2^1407342-1 is not prime. Res64: 5AE8111F77A47024 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:47:21] 649*2^1407343-1 is not prime. Res64: 436CDADDE061BD98 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:48:46] 679*2^1407343-1 is not prime. Res64: CC2B3C7C48AFFC2A Time : 0.0 sec. user=mdettweiler [2015-08-26 01:48:46] 775*2^1407343-1 is not prime. Res64: C6CBB7CFF170AEFE Time : 0.0 sec. user=mdettweiler [2015-08-26 01:49:14] 789*2^1407343-1 is not prime. Res64: EBF49484AE3620F6 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:49:14] 891*2^1407343-1 is not prime. Res64: 8C97C1700471ADE7 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:50:26] 901*2^1407343-1 is not prime. Res64: 13171810256719F2 Time : 0.0 sec. user=mdettweiler [2015-08-26 01:50:26] 915*2^1407343-1 is not prime. Res64: A76789C69840FDB1 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:05:04] 933*2^1407343-1 is not prime. Res64: 01B97FB5D84A94C2 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:05:05] 961*2^1407343-1 is not prime. Res64: DECFC7AAC1AB079F Time : 0.0 sec. user=mdettweiler [2015-08-26 02:06:32] 615*2^1407344-1 is not prime. Res64: 22725B590EBD1D0E Time : 0.0 sec. user=mdettweiler [2015-08-26 02:06:34] 677*2^1407344-1 is not prime. Res64: FF350ABA70FC6498 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:06:48] 773*2^1407344-1 is not prime. Res64: 4171729C3E91FAFF Time : 0.0 sec. user=mdettweiler [2015-08-26 02:06:49] 785*2^1407344-1 is not prime. Res64: E3DBAE041ABF03E2 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:08:05] 843*2^1407344-1 is not prime. Res64: 9038A8B861CFCAC1 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:08:05] 873*2^1407344-1 is not prime. Res64: 948E18A3A5630B99 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:23:05] 915*2^1407344-1 is not prime. Res64: 4463BDE0E98952AD Time : 0.0 sec. user=mdettweiler [2015-08-26 02:23:05] 969*2^1407344-1 is not prime. Res64: D7F34AA0606ADC76 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:24:21] 691*2^1407345-1 is not prime. Res64: 3086136DC044A2C6 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:24:21] 765*2^1407345-1 is not prime. Res64: 364DB778C20EE50A Time : 0.0 sec. user=mdettweiler [2015-08-26 02:24:32] 817*2^1407345-1 is not prime. Res64: B26E9B91591D3291 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:24:32] 895*2^1407345-1 is not prime. Res64: C106AE7185382562 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:25:50] 979*2^1407345-1 is not prime. Res64: 17C4398F3946AEDF Time : 0.0 sec. user=mdettweiler [2015-08-26 02:25:50] 603*2^1407346-1 is not prime. Res64: FC67DE80789EF168 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:40:46] 713*2^1407346-1 is not prime. Res64: C5461163F8898E0E Time : 0.0 sec. user=mdettweiler [2015-08-26 02:40:47] 717*2^1407346-1 is not prime. Res64: 03B97391CA6BB429 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:42:03] 911*2^1407346-1 is not prime. Res64: ACC6A716DDD5B7C5 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:42:04] 615*2^1407347-1 is not prime. Res64: F2AA65D293F5C964 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:42:18] 673*2^1407347-1 is not prime. Res64: 7F538AF1EFC5A3FF Time : 0.0 sec. user=mdettweiler [2015-08-26 02:42:18] 703*2^1407347-1 is not prime. Res64: FE74ED5BB5CA49DF Time : 0.0 sec. user=mdettweiler [2015-08-26 02:43:26] 715*2^1407347-1 is not prime. Res64: F3403CBBD4A30C87 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:43:26] 801*2^1407347-1 is not prime. Res64: 4FF79A4C00E58226 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:58:24] 843*2^1407347-1 is not prime. Res64: 932B17F1CE5BFDF2 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:58:24] 885*2^1407347-1 is not prime. Res64: 2D18C255F653ADA4 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:59:42] 903*2^1407347-1 is not prime. Res64: 8C05898B275DC4CA Time : 0.0 sec. user=mdettweiler [2015-08-26 02:59:43] 915*2^1407347-1 is not prime. Res64: 3839E04E4AB409CB Time : 0.0 sec. user=mdettweiler [2015-08-26 02:59:54] 683*2^1407348-1 is not prime. Res64: 6798CF1591F4CEF5 Time : 0.0 sec. user=mdettweiler [2015-08-26 02:59:55] 695*2^1407348-1 is not prime. Res64: 8F4EF800810FCA40 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:01:21] 699*2^1407348-1 is not prime. Res64: 60502E584C676FA6 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:01:22] 705*2^1407348-1 is not prime. Res64: B1D81A2BFE9D3208 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:16:05] 773*2^1407348-1 is not prime. Res64: ABB2C1BC30D7A3F1 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:16:06] 795*2^1407348-1 is not prime. Res64: 8FA06E66F1ECA743 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:17:24] 819*2^1407348-1 is not prime. Res64: A2CC443C9FDB31D1 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:17:25] 977*2^1407348-1 is not prime. Res64: 74A85041FAEFECAD Time : 0.0 sec. user=mdettweiler [2015-08-26 03:17:35] 801*2^1407349-1 is not prime. Res64: 96B91D2B0617A0B1 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:17:36] 957*2^1407349-1 is not prime. Res64: 2636BBC1EB247C55 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:19:10] 961*2^1407349-1 is not prime. Res64: 3BFED58EF7935D6B Time : 0.0 sec. user=mdettweiler [2015-08-26 03:19:11] 671*2^1407350-1 is not prime. Res64: 9EC7A094F76CC4A4 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:35:16] 791*2^1407350-1 is not prime. Res64: 546B36383BBCF8A3 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:35:18] 965*2^1407350-1 is not prime. Res64: B51B52929E85E1C5 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:35:35] 615*2^1407351-1 is not prime. Res64: EFC9B464A91E000E Time : 0.0 sec. user=mdettweiler [2015-08-26 03:35:36] 873*2^1407351-1 is not prime. Res64: AC8FD2D9E5141407 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:35:50] 895*2^1407351-1 is not prime. Res64: E94388BE139267E9 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:35:51] 609*2^1407352-1 is not prime. Res64: AC27E55BECB04223 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:37:42] 635*2^1407352-1 is not prime. Res64: 0AFB03154CF4AF3E Time : 0.0 sec. user=mdettweiler [2015-08-26 03:37:44] 665*2^1407352-1 is not prime. Res64: B0BF6CA375FF1213 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:53:13] 695*2^1407352-1 is not prime. Res64: 82043839DF56A96F Time : 0.0 sec. user=mdettweiler [2015-08-26 03:53:15] 825*2^1407352-1 is not prime. Res64: E81D596C18150F45 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:53:16] 989*2^1407352-1 is not prime. Res64: 913E4F53F7195F35 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:53:17] 967*2^1407353-1 is not prime. Res64: ECE112B75B7765E3 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:53:30] 979*2^1407353-1 is not prime. Res64: CD5FC07F8A0CDB13 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:53:30] 671*2^1407354-1 is not prime. Res64: 186B709B6FADE2A4 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:55:28] 711*2^1407354-1 is not prime. Res64: 57424CB63CCB6BE4 Time : 0.0 sec. user=mdettweiler [2015-08-26 03:55:28] 767*2^1407354-1 is not prime. Res64: 9DDA430B0913E2F5 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:11:06] 903*2^1407354-1 is not prime. Res64: C1C343F67A9879DB Time : 0.0 sec. user=mdettweiler [2015-08-26 04:11:08] 1001*2^1407354-1 is not prime. Res64: F7D54E1EE8049EA2 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:11:13] 601*2^1407355-1 is not prime. Res64: AA31B0F87ABAFAAB Time : 0.0 sec. user=mdettweiler [2015-08-26 04:11:14] 603*2^1407355-1 is not prime. Res64: EC60C11D360234A6 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:11:25] 691*2^1407355-1 is not prime. Res64: AA2092DEA50F8171 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:11:26] 723*2^1407355-1 is not prime. Res64: 52CE7302974D194E Time : 0.0 sec. user=mdettweiler [2015-08-26 04:13:18] 735*2^1407355-1 is not prime. Res64: B8994C9E2F598FF2 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:13:19] 873*2^1407355-1 is not prime. Res64: B9A33510E55360CA Time : 0.0 sec. user=mdettweiler [2015-08-26 04:29:05] 603*2^1407356-1 is not prime. Res64: B0704C54D8F40475 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:29:05] 617*2^1407356-1 is not prime. Res64: EBF4697C4351BA88 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:29:08] 629*2^1407356-1 is not prime. Res64: 6AAEB2F64B098334 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:29:08] 717*2^1407356-1 is not prime. Res64: 8776052A3E542A1B Time : 0.0 sec. user=mdettweiler [2015-08-26 04:29:12] 725*2^1407356-1 is not prime. Res64: F55B99D7D447DD7F Time : 0.0 sec. user=mdettweiler [2015-08-26 04:29:12] 845*2^1407356-1 is not prime. Res64: 0E9E516B18F6CA14 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:31:03] 857*2^1407356-1 is not prime. Res64: AA74EC42059D0B05 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:31:03] 909*2^1407356-1 is not prime. Res64: 8EE34FE811093B78 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:46:45] 957*2^1407356-1 is not prime. Res64: 90EF34C9AF77658F Time : 0.0 sec. user=mdettweiler [2015-08-26 04:46:46] 639*2^1407357-1 is not prime. Res64: 853D13A9774E659A Time : 0.0 sec. user=mdettweiler [2015-08-26 04:46:46] 825*2^1407357-1 is not prime. Res64: 3EC660BC12B217E0 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:46:47] 605*2^1407358-1 is not prime. Res64: DE73EC9494002B3B Time : 0.0 sec. user=mdettweiler [2015-08-26 04:46:59] 711*2^1407357-1 is not prime. Res64: E0053A9073217329 Time : 0.0 sec. user=mdettweiler [2015-08-26 04:46:59] 805*2^1407357-1 is not prime. Res64: 69F66E9ECEF9225F Time : 0.0 sec. user=mdettweiler [2015-08-26 04:48:40] 635*2^1407358-1 is not prime. Res64: B1D80BA53E98EADC Time : 0.0 sec. user=mdettweiler [2015-08-26 04:48:40] 651*2^1407358-1 is not prime. Res64: 64AA6920C4136362 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:04:28] 791*2^1407358-1 is not prime. Res64: 68478CBB9BE2388A Time : 0.0 sec. user=mdettweiler [2015-08-26 05:04:29] 857*2^1407358-1 is not prime. Res64: 089F212E00543841 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:04:30] 681*2^1407358-1 is not prime. Res64: FAA883AD578D9E17 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:04:32] 707*2^1407358-1 is not prime. Res64: 5839D9DD2FB7D749 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:04:41] 615*2^1407359-1 is not prime. Res64: CA2DF7EFE1D99564 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:04:43] 645*2^1407359-1 is not prime. Res64: 49422B89CAEC8D90 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:06:22] 655*2^1407359-1 is not prime. Res64: B94EA3C376800A8B Time : 0.0 sec. user=mdettweiler [2015-08-26 05:06:24] 913*2^1407359-1 is not prime. Res64: 9CD86C2FE8AEAB69 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:22:33] 893*2^1407360-1 is not prime. Res64: 28B133C5D6B2129C Time : 0.0 sec. user=mdettweiler [2015-08-26 05:22:34] 927*2^1407360-1 is not prime. Res64: BF88CE0AB6697811 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:22:40] 943*2^1407359-1 is not prime. Res64: 50292B6E5467EEDE Time : 0.0 sec. user=mdettweiler [2015-08-26 05:22:41] 689*2^1407360-1 is not prime. Res64: 3BE6D1B3FF409269 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:22:43] 929*2^1407360-1 is not prime. Res64: 0DDC14081AF1B0DC Time : 0.0 sec. user=mdettweiler [2015-08-26 05:22:43] 975*2^1407360-1 is not prime. Res64: AD4D19DCA9A3C892 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:24:03] 691*2^1407361-1 is not prime. Res64: DB586AC8F3BEC9FB Time : 0.0 sec. user=mdettweiler [2015-08-26 05:24:03] 769*2^1407361-1 is not prime. Res64: BD5CA7B97164E21D Time : 0.0 sec. user=mdettweiler [2015-08-26 05:40:10] 775*2^1407361-1 is not prime. Res64: 62AABBD9F7AECFC8 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:40:10] 847*2^1407361-1 is not prime. Res64: EC1B6FDBE8A66865 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:40:16] 889*2^1407361-1 is not prime. Res64: 15EFBC8B2EDFC38B Time : 0.0 sec. user=mdettweiler [2015-08-26 05:40:17] 955*2^1407361-1 is not prime. Res64: 758B55DF8A2290D5 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:40:17] 705*2^1407362-1 is not prime. Res64: 2A4FE7848B74E93A Time : 0.0 sec. user=mdettweiler [2015-08-26 05:40:18] 731*2^1407362-1 is not prime. Res64: 189B6175B92FAD62 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:41:45] 813*2^1407362-1 is not prime. Res64: 3DC7F48FA028D974 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:41:45] 837*2^1407362-1 is not prime. Res64: 2547E106C42AADCB Time : 0.0 sec. user=mdettweiler [2015-08-26 05:57:53] 843*2^1407362-1 is not prime. Res64: 72C361D0DF13EADD Time : 0.0 sec. user=mdettweiler [2015-08-26 05:57:53] 873*2^1407362-1 is not prime. Res64: 65C5CA7B0249435F Time : 0.0 sec. user=mdettweiler [2015-08-26 05:57:57] 735*2^1407363-1 is not prime. Res64: 859CBBADDB761AD5 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:57:57] 873*2^1407363-1 is not prime. Res64: 23425220A97F353C Time : 0.0 sec. user=mdettweiler [2015-08-26 05:58:04] 935*2^1407362-1 is not prime. Res64: 4B4CAACE8447D819 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:58:05] 995*2^1407362-1 is not prime. Res64: D6A2D377ACF65B9C Time : 0.0 sec. user=mdettweiler [2015-08-26 05:59:21] 913*2^1407363-1 is not prime. Res64: 29DCC7A7E0FEA596 Time : 0.0 sec. user=mdettweiler [2015-08-26 05:59:22] 961*2^1407363-1 is not prime. Res64: 03B7671687565F76 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:15:33] 609*2^1407364-1 is not prime. Res64: A02652561FCDF224 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:15:34] 965*2^1407364-1 is not prime. Res64: 9573462409575630 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:15:41] 619*2^1407365-1 is not prime. Res64: 1D9B5F115749796F Time : 0.0 sec. user=mdettweiler [2015-08-26 06:15:42] 727*2^1407365-1 is not prime. Res64: 1C294C294725A995 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:15:53] 777*2^1407365-1 is not prime. Res64: 58F13048D05E5577 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:15:54] 855*2^1407365-1 is not prime. Res64: C723C132F6ABBA76 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:17:07] 859*2^1407365-1 is not prime. Res64: 87BA9D269A806ADA Time : 0.0 sec. user=mdettweiler [2015-08-26 06:17:08] 949*2^1407365-1 is not prime. Res64: 9B280D9B4D430810 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:33:18] 991*2^1407365-1 is not prime. Res64: C1EE46A5A9056334 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:33:19] 635*2^1407366-1 is not prime. Res64: B75C891AE82574EF Time : 0.0 sec. user=mdettweiler [2015-08-26 06:33:32] 693*2^1407366-1 is not prime. Res64: 2370F8287F6785BA Time : 0.0 sec. user=mdettweiler [2015-08-26 06:33:32] 713*2^1407366-1 is not prime. Res64: 9CEA30167CB4EADA Time : 0.0 sec. user=mdettweiler [2015-08-26 06:33:46] 717*2^1407366-1 is not prime. Res64: 083AE1ECCAE71C4C Time : 0.0 sec. user=mdettweiler [2015-08-26 06:33:46] 893*2^1407366-1 is not prime. Res64: BEC5BB441B1AB5A9 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:34:58] 941*2^1407366-1 is not prime. Res64: 7606F1A3AEE45B2C Time : 0.0 sec. user=mdettweiler [2015-08-26 06:34:58] 971*2^1407366-1 is not prime. Res64: 731EB4FE1A51D9A6 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:51:05] 615*2^1407367-1 is not prime. Res64: 2C30D6E6A6C7344F Time : 0.0 sec. user=mdettweiler [2015-08-26 06:51:05] 693*2^1407367-1 is not prime. Res64: 9332D387DAAFE095 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:51:16] 889*2^1407367-1 is not prime. Res64: 2028E26DE9B1C41F Time : 0.0 sec. user=mdettweiler [2015-08-26 06:51:17] 985*2^1407367-1 is not prime. Res64: 12276A1E2017C995 Time : 0.0 sec. user=mdettweiler [2015-08-26 06:51:29] 665*2^1407368-1 is not prime. Res64: 2AD842127985D82F Time : 0.0 sec. user=mdettweiler [2015-08-26 06:51:29] 677*2^1407368-1 is not prime. Res64: 5F057BAC63DF610C Time : 0.0 sec. user=mdettweiler [2015-08-26 06:52:31] 797*2^1407368-1 is not prime. Res64: E0DDABED6EFC5F3D Time : 0.0 sec. user=mdettweiler [2015-08-26 06:52:32] 815*2^1407368-1 is not prime. Res64: 03DCA9C13C27A751 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:08:42] 869*2^1407368-1 is not prime. Res64: 096DEFB49DB9A65A Time : 0.0 sec. user=mdettweiler [2015-08-26 07:08:42] 923*2^1407368-1 is not prime. Res64: 2B3A35218DD5A86D Time : 0.0 sec. user=mdettweiler [2015-08-26 07:08:59] 945*2^1407368-1 is not prime. Res64: E40A0D97A87C8127 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:09:00] 957*2^1407368-1 is not prime. Res64: 8C3FD90E6CE6331A Time : 0.0 sec. user=mdettweiler [2015-08-26 07:09:08] 963*2^1407368-1 is not prime. Res64: FC8FF97F30767336 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:09:08] 995*2^1407368-1 is not prime. Res64: 9B973F319DB6D234 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:10:14] 625*2^1407369-1 is not prime. Res64: 24C587E0310C7558 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:10:14] 627*2^1407369-1 is not prime. Res64: 5D9F6306068332E2 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:26:33] 661*2^1407369-1 is not prime. Res64: 2D22B6F29A44A894 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:26:33] 787*2^1407369-1 is not prime. Res64: 1F414F39F5E86270 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:26:42] 811*2^1407369-1 is not prime. Res64: F8A7EFF259594704 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:26:42] 865*2^1407369-1 is not prime. Res64: 88B14F169047DE1E Time : 0.0 sec. user=mdettweiler [2015-08-26 07:26:51] 687*2^1407370-1 is not prime. Res64: D4F5E655BCD84F58 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:26:52] 803*2^1407370-1 is not prime. Res64: 19FAD4A9B3424310 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:28:06] 831*2^1407370-1 is not prime. Res64: D459D3E92B1A2230 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:28:07] 887*2^1407370-1 is not prime. Res64: D8C10625BF6308EC Time : 0.0 sec. user=mdettweiler [2015-08-26 07:44:08] 995*2^1407370-1 is not prime. Res64: B8A9F97E29DC5C4C Time : 0.0 sec. user=mdettweiler [2015-08-26 07:44:09] 645*2^1407371-1 is not prime. Res64: 00447E0EFB8F4159 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:44:22] 675*2^1407371-1 is not prime. Res64: D61A6BC1ECB8C5BA Time : 0.0 sec. user=mdettweiler [2015-08-26 07:44:22] 753*2^1407371-1 is not prime. Res64: 621C2F8863045D06 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:44:30] 871*2^1407371-1 is not prime. Res64: 2858B29DC0CB5A52 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:44:30] 895*2^1407371-1 is not prime. Res64: A2D8B760A2B0C303 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:45:44] 955*2^1407371-1 is not prime. Res64: 5C64281BCF8818D6 Time : 0.0 sec. user=mdettweiler [2015-08-26 07:45:45] 979*2^1407371-1 is not prime. Res64: 59D39EF72CBE7DEF Time : 0.0 sec. user=mdettweiler [2015-08-26 08:01:50] 675*2^1407372-1 is not prime. Res64: B46860FA9924E4CF Time : 0.0 sec. user=mdettweiler [2015-08-26 08:01:52] 797*2^1407372-1 is not prime. Res64: 81A5819E8A312A9A Time : 0.0 sec. user=mdettweiler [2015-08-26 08:02:00] 837*2^1407372-1 is not prime. Res64: 7E0EB8FE8EC49D9D Time : 0.0 sec. user=mdettweiler [2015-08-26 08:02:01] 867*2^1407372-1 is not prime. Res64: 647FA7EFB7F37511 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:02:16] 873*2^1407372-1 is not prime. Res64: E3ACA359B0A956DB Time : 0.0 sec. user=mdettweiler [2015-08-26 08:02:16] 903*2^1407372-1 is not prime. Res64: C6496F2DABBB1C18 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:03:23] 977*2^1407372-1 is not prime. Res64: 100087A75B627603 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:03:24] 983*2^1407372-1 is not prime. Res64: 04CEF5C929CB4F18 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:19:50] 621*2^1407373-1 is not prime. Res64: 0856A1146B714B18 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:19:50] 639*2^1407373-1 is not prime. Res64: E81F9A0013AC3722 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:19:57] 835*2^1407373-1 is not prime. Res64: 14B222721CAA37C8 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:19:57] 895*2^1407373-1 is not prime. Res64: 673BCEC440BF7E4A Time : 0.0 sec. user=mdettweiler [2015-08-26 08:20:11] 897*2^1407373-1 is not prime. Res64: ECF5957E38240102 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:20:11] 951*2^1407373-1 is not prime. Res64: 457117A8238DC7CE Time : 0.0 sec. user=mdettweiler [2015-08-26 08:21:12] 623*2^1407374-1 is not prime. Res64: CE1DE039949CDE81 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:21:12] 677*2^1407374-1 is not prime. Res64: 012CFA6589817770 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:37:31] 831*2^1407374-1 is not prime. Res64: 2FD506E7601C59D0 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:37:32] 945*2^1407374-1 is not prime. Res64: 4262991A38FEFB3E Time : 0.0 sec. user=mdettweiler [2015-08-26 08:37:36] 717*2^1407374-1 is not prime. Res64: F944A73B00A1670B Time : 0.0 sec. user=mdettweiler [2015-08-26 08:37:37] 797*2^1407374-1 is not prime. Res64: C27086A6B262926D Time : 0.0 sec. user=mdettweiler [2015-08-26 08:37:55] 613*2^1407375-1 is not prime. Res64: C558B4D07027BB65 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:37:56] 663*2^1407375-1 is not prime. Res64: 3462701A9A659803 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:38:54] 675*2^1407375-1 is not prime. Res64: 1019CB5C09EA25C7 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:38:54] 693*2^1407375-1 is not prime. Res64: 111FBF7969FA1E6D Time : 0.0 sec. user=mdettweiler [2015-08-26 08:55:11] 735*2^1407375-1 is not prime. Res64: 4C7FD4A3773FFC49 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:55:11] 819*2^1407375-1 is not prime. Res64: EFDACC90644F6C59 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:55:12] 849*2^1407375-1 is not prime. Res64: 559F56AF6CE9B367 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:55:12] 991*2^1407375-1 is not prime. Res64: 556B72B27DF22674 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:55:34] 903*2^1407376-1 is not prime. Res64: 7F1494295A4ACBC2 Time : 0.0 sec. user=mdettweiler [2015-08-26 08:55:35] 615*2^1407377-1 is not prime. Res64: C13ADF76FC5BFEFE Time : 0.0 sec. user=mdettweiler [2015-08-26 08:56:34] 645*2^1407377-1 is not prime. Res64: 35161F9F23FD00EB Time : 0.0 sec. user=mdettweiler [2015-08-26 08:56:35] 691*2^1407377-1 is not prime. Res64: 67347B1C8BD51563 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:12:56] 829*2^1407377-1 is not prime. Res64: AEF31A3FEDB07423 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:12:56] 967*2^1407377-1 is not prime. Res64: 64D8178DC7E08F40 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:13:02] 799*2^1407377-1 is not prime. Res64: A14D8D371CC37DA6 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:13:03] 801*2^1407377-1 is not prime. Res64: FDD1F98AE23DC2B6 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:13:19] 985*2^1407377-1 is not prime. Res64: C84B9847504D282B Time : 0.0 sec. user=mdettweiler [2015-08-26 09:13:20] 635*2^1407378-1 is not prime. Res64: C906FDB7B985F8B8 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:14:12] 821*2^1407378-1 is not prime. Res64: 198FDFDD6FBD6FB5 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:14:13] 837*2^1407378-1 is not prime. Res64: 083E4C904937858C Time : 0.0 sec. user=mdettweiler [2015-08-26 09:30:37] 971*2^1407378-1 is not prime. Res64: 33ED14FC435660D6 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:30:37] 993*2^1407378-1 is not prime. Res64: E97F357DFBBE96DB Time : 0.0 sec. user=mdettweiler [2015-08-26 09:30:45] 631*2^1407379-1 is not prime. Res64: D037641F3C79A1CB Time : 0.0 sec. user=mdettweiler [2015-08-26 09:30:45] 685*2^1407379-1 is not prime. Res64: 887EDC9D85F5B760 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:31:06] 789*2^1407379-1 is not prime. Res64: 26FC13D01CDE8A2F Time : 0.0 sec. user=mdettweiler [2015-08-26 09:31:06] 873*2^1407379-1 is not prime. Res64: 543A2D7F5EDE1122 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:31:52] 885*2^1407379-1 is not prime. Res64: 0CEE7A68301BF6B5 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:31:53] 973*2^1407379-1 is not prime. Res64: A9550AAFD4569B14 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:48:16] 773*2^1407380-1 is not prime. Res64: DEB04D9BDF22E2AD Time : 0.0 sec. user=mdettweiler [2015-08-26 09:48:16] 855*2^1407380-1 is not prime. Res64: 32C7077F13C10D0D Time : 0.0 sec. user=mdettweiler [2015-08-26 09:48:30] 897*2^1407380-1 is not prime. Res64: B415D6BBD106DC25 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:48:30] 923*2^1407380-1 is not prime. Res64: FD333BB57139FFAE Time : 0.0 sec. user=mdettweiler [2015-08-26 09:48:52] 977*2^1407380-1 is not prime. Res64: 79AB32DC5011EE85 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:48:52] 999*2^1407380-1 is not prime. Res64: 6E89C9DF77BD0271 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:49:39] 615*2^1407381-1 is not prime. Res64: 34830C3E5618D459 Time : 0.0 sec. user=mdettweiler [2015-08-26 09:49:39] 621*2^1407381-1 is not prime. Res64: 626C37769005E64E Time : 0.0 sec. user=mdettweiler [2015-08-26 10:05:54] 649*2^1407381-1 is not prime. Res64: FF809DA92E7B10FA Time : 0.0 sec. user=mdettweiler [2015-08-26 10:05:55] 661*2^1407381-1 is not prime. Res64: 9985CFD112B36562 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:06:02] 717*2^1407381-1 is not prime. Res64: 7E1A15B13FC27195 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:06:05] 889*2^1407381-1 is not prime. Res64: 036A52E9407D6E76 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:06:32] 907*2^1407381-1 is not prime. Res64: F390E5B427E7B946 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:06:33] 927*2^1407381-1 is not prime. Res64: BC76008D2379E910 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:07:15] 949*2^1407381-1 is not prime. Res64: 2E96492F06678EBF Time : 0.0 sec. user=mdettweiler [2015-08-26 10:07:16] 961*2^1407381-1 is not prime. Res64: 19A6473B66E428CF Time : 0.0 sec. user=mdettweiler [2015-08-26 10:24:01] 999*2^1407381-1 is not prime. Res64: 49B3A457F91D5BFD Time : 0.0 sec. user=mdettweiler [2015-08-26 10:24:02] 603*2^1407382-1 is not prime. Res64: 98FCDD4E7D270EE4 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:24:04] 645*2^1407382-1 is not prime. Res64: 2822AD2B13DBE2C9 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:24:05] 665*2^1407382-1 is not prime. Res64: F59347B7124E38EE Time : 0.0 sec. user=mdettweiler [2015-08-26 10:24:19] 737*2^1407382-1 is not prime. Res64: B166330D4902AC19 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:24:20] 747*2^1407382-1 is not prime. Res64: 38F6630E6906A918 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:25:02] 827*2^1407382-1 is not prime. Res64: 69A8F5D09C6D2A55 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:25:02] 945*2^1407382-1 is not prime. Res64: E7D7AACFC24F2282 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:41:46] 825*2^1407383-1 is not prime. Res64: 48AB5B82E92A5E5C Time : 0.0 sec. user=mdettweiler [2015-08-26 10:41:46] 993*2^1407383-1 is not prime. Res64: D08CBAD39B50F5E3 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:42:00] 1001*2^1407382-1 is not prime. Res64: 6622A004F133E6F1 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:42:00] 609*2^1407383-1 is not prime. Res64: 015EFEA746CBC61A Time : 0.0 sec. user=mdettweiler [2015-08-26 10:42:12] 623*2^1407384-1 is not prime. Res64: 5D3D687AC3F0D508 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:42:12] 665*2^1407384-1 is not prime. Res64: 187D52BBFBAC2F4D Time : 0.0 sec. user=mdettweiler [2015-08-26 10:42:48] 825*2^1407384-1 is not prime. Res64: ADC8FCE8D3F7E84A Time : 0.0 sec. user=mdettweiler [2015-08-26 10:42:48] 887*2^1407384-1 is not prime. Res64: 591C4A03B281C20C Time : 0.0 sec. user=mdettweiler [2015-08-26 10:59:19] 929*2^1407384-1 is not prime. Res64: A095AA5BC315486D Time : 0.0 sec. user=mdettweiler [2015-08-26 10:59:19] 947*2^1407384-1 is not prime. Res64: 1239CA1EBC798BAF Time : 0.0 sec. user=mdettweiler [2015-08-26 10:59:39] 625*2^1407385-1 is not prime. Res64: 86EEC027927C01CF Time : 0.0 sec. user=mdettweiler [2015-08-26 10:59:40] 649*2^1407385-1 is not prime. Res64: E42FE9C032A9F884 Time : 0.0 sec. user=mdettweiler [2015-08-26 10:59:56] 877*2^1407385-1 is not prime. Res64: 002699A9617F924E Time : 0.0 sec. user=mdettweiler [2015-08-26 10:59:56] 999*2^1407385-1 is not prime. Res64: 498ED99D333655F5 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:00:24] 707*2^1407386-1 is not prime. Res64: 3A965FEF9BAF83C4 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:00:25] 741*2^1407386-1 is not prime. Res64: F7D2025EF35EA6B3 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:16:58] 861*2^1407386-1 is not prime. Res64: BFBE9CC7C50DC5C9 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:16:58] 923*2^1407386-1 is not prime. Res64: 04854037136D0469 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:17:19] 941*2^1407386-1 is not prime. Res64: 8992A082E88216A6 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:17:20] 1001*2^1407386-1 is not prime. Res64: D6734F44DBF800EF Time : 0.0 sec. user=mdettweiler [2015-08-26 11:17:50] 621*2^1407387-1 is not prime. Res64: 35BB11BA6C535BDD Time : 0.0 sec. user=mdettweiler [2015-08-26 11:17:50] 703*2^1407387-1 is not prime. Res64: 433C0281FA4D158D Time : 0.0 sec. user=mdettweiler [2015-08-26 11:18:05] 825*2^1407387-1 is not prime. Res64: 4AF5C69959E80730 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:18:06] 859*2^1407387-1 is not prime. Res64: 089895B8A0459B19 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:34:44] 979*2^1407387-1 is not prime. Res64: BE6100E6764AE1D1 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:34:45] 603*2^1407388-1 is not prime. Res64: 0EB23C5F846672B5 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:35:11] 629*2^1407388-1 is not prime. Res64: EC2E9C66462ABCDB Time : 0.0 sec. user=mdettweiler [2015-08-26 11:35:11] 797*2^1407388-1 is not prime. Res64: 3D287FCE895801DB Time : 0.0 sec. user=mdettweiler [2015-08-26 11:35:34] 875*2^1407388-1 is not prime. Res64: DBDD413778BDEBA1 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:35:34] 923*2^1407388-1 is not prime. Res64: 9AE0C25B987B87CF Time : 0.0 sec. user=mdettweiler [2015-08-26 11:35:52] 957*2^1407388-1 is not prime. Res64: A65B1E58D1929C1A Time : 0.0 sec. user=mdettweiler [2015-08-26 11:35:53] 987*2^1407388-1 is not prime. Res64: BE78F8721B4731DE Time : 0.0 sec. user=mdettweiler [2015-08-26 11:52:26] 621*2^1407389-1 is not prime. Res64: AED5B1E920898F5E Time : 0.0 sec. user=mdettweiler [2015-08-26 11:52:26] 691*2^1407389-1 is not prime. Res64: 636458286D3A6918 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:52:57] 697*2^1407389-1 is not prime. Res64: C6DFA9592D0ED903 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:52:57] 729*2^1407389-1 is not prime. Res64: 49D2AF26C0BAB6D5 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:53:15] 745*2^1407389-1 is not prime. Res64: EFE6ED912A52CA31 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:53:15] 879*2^1407389-1 is not prime. Res64: 6B8A961441C1433E Time : 0.0 sec. user=mdettweiler [2015-08-26 11:53:35] 615*2^1407390-1 is not prime. Res64: 50F96EF1FA79BC79 Time : 0.0 sec. user=mdettweiler [2015-08-26 11:53:35] 647*2^1407390-1 is not prime. Res64: 47B0E29DEF2F1D87 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:10:13] 681*2^1407390-1 is not prime. Res64: D7DA3670252ECA48 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:10:13] 797*2^1407390-1 is not prime. Res64: 1301CB31A13E1656 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:10:41] 851*2^1407390-1 is not prime. Res64: 1D2D313067541C25 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:10:41] 921*2^1407390-1 is not prime. Res64: EEC0089AA963BAC8 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:10:56] 941*2^1407390-1 is not prime. Res64: 59EF2352B8A6C41D Time : 0.0 sec. user=mdettweiler [2015-08-26 12:10:56] 601*2^1407391-1 is not prime. Res64: 7104050078A9A5A9 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:11:18] 619*2^1407391-1 is not prime. Res64: 1422434A2229DD06 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:11:19] 723*2^1407391-1 is not prime. Res64: 63F44F090990BA77 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:28:10] 783*2^1407391-1 is not prime. Res64: 2B638AB3B90F28AE Time : 0.0 sec. user=mdettweiler [2015-08-26 12:28:10] 605*2^1407392-1 is not prime. Res64: 89E137B5258D08EE Time : 0.0 sec. user=mdettweiler [2015-08-26 12:28:28] 683*2^1407392-1 is not prime. Res64: A3FB4710C17CA892 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:28:28] 699*2^1407392-1 is not prime. Res64: D0926E918DAE12A7 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:28:47] 819*2^1407392-1 is not prime. Res64: E212F0F461433587 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:28:47] 893*2^1407392-1 is not prime. Res64: 7BF2EF700DC815F9 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:29:11] 657*2^1407393-1 is not prime. Res64: DC22339483024666 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:29:12] 675*2^1407393-1 is not prime. Res64: 2F599B0FE8F0DBA8 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:45:58] 705*2^1407393-1 is not prime. Res64: 280C001FD71CA99F Time : 0.0 sec. user=mdettweiler [2015-08-26 12:45:58] 895*2^1407393-1 is not prime. Res64: CA3DDB2C8627D5CF Time : 0.0 sec. user=mdettweiler [2015-08-26 12:46:12] 955*2^1407393-1 is not prime. Res64: 7E51F81EECE8A819 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:46:12] 701*2^1407394-1 is not prime. Res64: 6BF2B32B9A53FD2C Time : 0.0 sec. user=mdettweiler [2015-08-26 12:46:40] 717*2^1407394-1 is not prime. Res64: AB75BD29ED02B1F2 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:46:40] 915*2^1407394-1 is not prime. Res64: 66AD0F5BAB020EBD Time : 0.0 sec. user=mdettweiler [2015-08-26 12:47:06] 1001*2^1407394-1 is not prime. Res64: E8785A0B246D98E2 Time : 0.0 sec. user=mdettweiler [2015-08-26 12:47:06] 705*2^1407395-1 is not prime. Res64: 14A6F04C5EAFFAE8 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:04:38] 883*2^1407395-1 is not prime. Res64: 1C7F430698769130 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:04:39] 909*2^1407395-1 is not prime. Res64: 40988516EC829711 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:05:28] 915*2^1407395-1 is not prime. Res64: 726F10ADA542A615 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:05:29] 717*2^1407396-1 is not prime. Res64: A1169D14B773C6D9 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:05:42] 789*2^1407396-1 is not prime. Res64: 97E288843A3E6C1D Time : 0.0 sec. user=mdettweiler [2015-08-26 13:05:43] 927*2^1407396-1 is not prime. Res64: ADF5730ACB42AC80 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:07:10] 607*2^1407397-1 is not prime. Res64: A1F8ACBB37167CAC Time : 0.0 sec. user=mdettweiler [2015-08-26 13:07:10] 651*2^1407397-1 is not prime. Res64: 0C8E5EC8570171A4 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:26:41] 667*2^1407397-1 is not prime. Res64: 750B6F327664DBA5 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:26:42] 675*2^1407397-1 is not prime. Res64: 37672EF675184272 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:27:26] 799*2^1407397-1 is not prime. Res64: E488D175381F2689 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:27:27] 801*2^1407397-1 is not prime. Res64: 502FC401C66089CB Time : 0.0 sec. user=mdettweiler [2015-08-26 13:28:42] 889*2^1407397-1 is not prime. Res64: D47D27B48EA35AFB Time : 0.0 sec. user=mdettweiler [2015-08-26 13:28:43] 671*2^1407398-1 is not prime. Res64: 21C0DF7C4ECB6AFF Time : 0.0 sec. user=mdettweiler [2015-08-26 13:29:17] 677*2^1407398-1 is not prime. Res64: 389F6F1AFC67C5F4 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:29:18] 887*2^1407398-1 is not prime. Res64: BC7C7E65B1971818 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:45:41] 893*2^1407398-1 is not prime. Res64: 04302199AE085857 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:45:42] 915*2^1407398-1 is not prime. Res64: 3C78D64EBAD85754 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:46:18] 995*2^1407398-1 is not prime. Res64: EC6877EF22C4A967 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:46:19] 691*2^1407399-1 is not prime. Res64: 3C099E18CBC33853 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:47:08] 721*2^1407399-1 is not prime. Res64: CBEEC7375A344511 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:47:09] 931*2^1407399-1 is not prime. Res64: C4FAEF4603F01389 Time : 0.0 sec. user=mdettweiler [2015-08-26 13:47:44] 635*2^1407400-1 is not prime. Res64: C5749AC69AF9D4AD Time : 0.0 sec. user=mdettweiler [2015-08-26 13:47:45] 653*2^1407400-1 is not prime. Res64: DEB73C6076974624 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:03:42] 665*2^1407400-1 is not prime. Res64: 7BD6AF281A206390 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:03:43] 675*2^1407400-1 is not prime. Res64: F0A75228877FB407 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:04:18] 677*2^1407400-1 is not prime. Res64: 0C98154F461425CB Time : 0.0 sec. user=mdettweiler [2015-08-26 14:04:18] 743*2^1407400-1 is not prime. Res64: D4A34125200F64B9 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:05:09] 863*2^1407400-1 is not prime. Res64: 62962099EAD3C363 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:05:10] 899*2^1407400-1 is not prime. Res64: 655552F36F243738 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:05:43] 927*2^1407400-1 is not prime. Res64: DD84561A86319A51 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:05:44] 983*2^1407400-1 is not prime. Res64: 81B9DD0251200A50 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:21:42] 619*2^1407401-1 is not prime. Res64: C0D1F0DD56B73AA7 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:21:42] 651*2^1407401-1 is not prime. Res64: 580BCAA49D4F2A90 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:22:12] 675*2^1407401-1 is not prime. Res64: B708513732DB47CF Time : 0.0 sec. user=mdettweiler [2015-08-26 14:22:13] 789*2^1407401-1 is not prime. Res64: 745F3A7384B4C83C Time : 0.0 sec. user=mdettweiler [2015-08-26 14:23:03] 939*2^1407401-1 is not prime. Res64: D34324D73B1A927D Time : 0.0 sec. user=mdettweiler [2015-08-26 14:23:04] 945*2^1407401-1 is not prime. Res64: 565648E1146CA97F Time : 0.0 sec. user=mdettweiler [2015-08-26 14:23:44] 987*2^1407401-1 is not prime. Res64: C4C0338E37039C78 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:23:44] 611*2^1407402-1 is not prime. Res64: 5D724C6E48191F5D Time : 0.0 sec. user=mdettweiler [2015-08-26 14:39:31] 735*2^1407402-1 is not prime. Res64: 5C86CDAF6D6BE002 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:39:32] 741*2^1407402-1 is not prime. Res64: FDBE22BB5A870060 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:40:15] 801*2^1407402-1 is not prime. Res64: 076D0FD4653E80F3 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:40:16] 615*2^1407403-1 is not prime. Res64: D6CDD384F24F3203 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:40:56] 639*2^1407403-1 is not prime. Res64: 49C4B1F2C3FFE4CD Time : 0.0 sec. user=mdettweiler [2015-08-26 14:40:57] 663*2^1407403-1 is not prime. Res64: 39F07149788A5332 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:41:40] 617*2^1407404-1 is not prime. Res64: 8BABA3668E629ACF Time : 0.0 sec. user=mdettweiler [2015-08-26 14:41:40] 725*2^1407404-1 is not prime. Res64: 114C86D82D98EAAB Time : 0.0 sec. user=mdettweiler [2015-08-26 14:57:28] 813*2^1407404-1 is not prime. Res64: 76B729DF9015ECC7 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:57:28] 885*2^1407404-1 is not prime. Res64: 3F1E16265DA4C395 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:57:54] 945*2^1407404-1 is not prime. Res64: 29E6F538E878E561 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:57:54] 959*2^1407404-1 is not prime. Res64: 5D0D6A9E3F72786B Time : 0.0 sec. user=mdettweiler [2015-08-26 14:58:53] 919*2^1407405-1 is not prime. Res64: 81FA65ECBAD2ED51 Time : 0.0 sec. user=mdettweiler [2015-08-26 14:58:54] 949*2^1407405-1 is not prime. Res64: C49A51645928E19F Time : 0.0 sec. user=mdettweiler [2015-08-26 14:59:33] 651*2^1407406-1 is not prime. Res64: 43A3EB5DC0D2E67C Time : 0.0 sec. user=mdettweiler [2015-08-26 14:59:34] 755*2^1407406-1 is not prime. Res64: 7BE102E424A41347 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:15:21] 777*2^1407406-1 is not prime. Res64: 3559105C7A20562E Time : 0.0 sec. user=mdettweiler [2015-08-26 15:15:22] 801*2^1407406-1 is not prime. Res64: 2F4E2FCF8BC60751 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:15:55] 815*2^1407406-1 is not prime. Res64: EAAA365B3AB46909 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:15:55] 855*2^1407406-1 is not prime. Res64: A1FBD50467E8F195 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:16:48] 873*2^1407406-1 is not prime. Res64: F5DCF2DB66DD5CCF Time : 0.0 sec. user=mdettweiler [2015-08-26 15:16:48] 917*2^1407406-1 is not prime. Res64: 364B6139308EAF83 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:17:22] 601*2^1407407-1 is not prime. Res64: AB1E18DA16E217C2 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:17:23] 759*2^1407407-1 is not prime. Res64: 666FE3C38BC6D05C Time : 0.0 sec. user=mdettweiler [2015-08-26 15:33:07] 831*2^1407407-1 is not prime. Res64: 26B5E8F1204D9144 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:33:07] 865*2^1407407-1 is not prime. Res64: 32839AB8DD106C2C Time : 0.0 sec. user=mdettweiler [2015-08-26 15:34:03] 931*2^1407407-1 is not prime. Res64: 26AC653DC195FF87 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:34:03] 939*2^1407407-1 is not prime. Res64: 7B32A4A654BDBE6E Time : 0.0 sec. user=mdettweiler [2015-08-26 15:34:31] 979*2^1407407-1 is not prime. Res64: 9C8228026D67A84C Time : 0.0 sec. user=mdettweiler [2015-08-26 15:34:32] 605*2^1407408-1 is not prime. Res64: FAB6B284AD6D7668 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:35:07] 707*2^1407408-1 is not prime. Res64: 1560DF0E6358CE82 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:35:08] 713*2^1407408-1 is not prime. Res64: BE9E735B97F3D850 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:51:05] 789*2^1407408-1 is not prime. Res64: EAE2AB946AC8FED5 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:51:06] 839*2^1407408-1 is not prime. Res64: 762DA6F6A6BB5D1C Time : 0.0 sec. user=mdettweiler [2015-08-26 15:51:46] 849*2^1407408-1 is not prime. Res64: 3C8CE067A3902B1E Time : 0.0 sec. user=mdettweiler [2015-08-26 15:51:47] 879*2^1407408-1 is not prime. Res64: C995717093C7E141 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:52:28] 909*2^1407408-1 is not prime. Res64: CA76D3C4C598A3A3 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:52:28] 915*2^1407408-1 is not prime. Res64: AA37DBD9432797B3 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:53:03] 945*2^1407408-1 is not prime. Res64: B78E8A28AE171734 Time : 0.0 sec. user=mdettweiler [2015-08-26 15:53:03] 705*2^1407409-1 is not prime. Res64: 5F4734ADA2726C61 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:08:50] 747*2^1407409-1 is not prime. Res64: 312209C4D8B181BD Time : 0.0 sec. user=mdettweiler [2015-08-26 16:08:52] 897*2^1407409-1 is not prime. Res64: 1DA959E8AFE9BC35 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:09:42] 909*2^1407409-1 is not prime. Res64: 01D238AB6FF4F6D1 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:09:44] 623*2^1407410-1 is not prime. Res64: 6B8DAED1F60DC936 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:10:18] 645*2^1407410-1 is not prime. Res64: 167EE62282E9B576 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:10:21] 735*2^1407410-1 is not prime. Res64: C2B389F8EEC913F4 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:10:56] 741*2^1407410-1 is not prime. Res64: 9056F1CE8689400D Time : 0.0 sec. user=mdettweiler [2015-08-26 16:10:58] 783*2^1407410-1 is not prime. Res64: 1A00DEC81E93ADA3 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:27:49] 791*2^1407410-1 is not prime. Res64: 149B87929E17BDB3 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:27:49] 797*2^1407410-1 is not prime. Res64: FC9A63717FDF4E2E Time : 0.0 sec. user=mdettweiler [2015-08-26 16:27:49] 825*2^1407410-1 is not prime. Res64: 210047A0E6E49F0D Time : 0.0 sec. user=mdettweiler [2015-08-26 16:27:50] 845*2^1407410-1 is not prime. Res64: F90B8F31D93AC8A4 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:28:28] 867*2^1407410-1 is not prime. Res64: 4D048BD7DFCFD019 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:28:28] 745*2^1407411-1 is not prime. Res64: E51CB75A1C52D9F3 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:29:02] 819*2^1407411-1 is not prime. Res64: 029C3E49A6715FD0 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:29:02] 903*2^1407411-1 is not prime. Res64: 1F28861868C150FF Time : 0.0 sec. user=mdettweiler [2015-08-26 16:45:28] 717*2^1407412-1 is not prime. Res64: 8366320F6E95B889 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:45:28] 735*2^1407412-1 is not prime. Res64: 7AE29BE25E4E5211 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:45:45] 603*2^1407412-1 is not prime. Res64: AE10804F0773A36E Time : 0.0 sec. user=mdettweiler [2015-08-26 16:45:45] 675*2^1407412-1 is not prime. Res64: FF0BBC480D60D045 Time : 0.0 sec. user=mdettweiler [2015-08-26 16:46:23] 785*2^1407412-1 is not prime. Res64: 6DA23207165C338A Time : 0.0 sec. user=mdettweiler [2015-08-26 16:46:23] 897*2^1407412-1 is not prime. Res64: 0A0E271FFD431ACD Time : 0.0 sec. user=mdettweiler [2015-08-26 16:47:06] 939*2^1407412-1 is not prime. Res64: 96A95A9F9F888B9E Time : 0.0 sec. user=mdettweiler [2015-08-26 16:47:06] 947*2^1407412-1 is not prime. Res64: 33BDDA45FB49C0B3 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:03:15] 999*2^1407412-1 is not prime. Res64: 68B84DF842C42E4F Time : 0.0 sec. user=mdettweiler [2015-08-26 17:03:15] 607*2^1407413-1 is not prime. Res64: 5BBB2A24269E54E3 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:03:33] 801*2^1407413-1 is not prime. Res64: D83C717D52574146 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:03:34] 811*2^1407413-1 is not prime. Res64: 6D6265047AD381AF Time : 0.0 sec. user=mdettweiler [2015-08-26 17:04:11] 819*2^1407413-1 is not prime. Res64: C4CEB4776D3D871A Time : 0.0 sec. user=mdettweiler [2015-08-26 17:04:12] 871*2^1407413-1 is not prime. Res64: 1F653109578CAA38 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:04:58] 925*2^1407413-1 is not prime. Res64: 6F0670B26FA46021 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:04:59] 657*2^1407414-1 is not prime. Res64: F39E26EA56C88D1A Time : 0.0 sec. user=mdettweiler [2015-08-26 17:20:59] 665*2^1407414-1 is not prime. Res64: 674677D1B0A0D708 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:20:59] 737*2^1407414-1 is not prime. Res64: FDA7E556FFD7EAEB Time : 0.0 sec. user=mdettweiler [2015-08-26 17:21:16] 755*2^1407414-1 is not prime. Res64: B3F7810A4C302359 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:21:17] 887*2^1407414-1 is not prime. Res64: 27F9BD6068FB8043 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:22:05] 941*2^1407414-1 is not prime. Res64: CC42E86A2C2D237C Time : 0.0 sec. user=mdettweiler [2015-08-26 17:22:05] 975*2^1407414-1 is not prime. Res64: 905CADEB58DCC148 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:22:42] 685*2^1407415-1 is not prime. Res64: A9521E6122719D48 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:22:43] 759*2^1407415-1 is not prime. Res64: ED6E9D7078B205FE Time : 0.0 sec. user=mdettweiler [2015-08-26 17:38:39] 843*2^1407415-1 is not prime. Res64: 7ECE114F87A7BE6F Time : 0.0 sec. user=mdettweiler [2015-08-26 17:38:40] 861*2^1407415-1 is not prime. Res64: 62CA59680AD93B46 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:38:53] 939*2^1407415-1 is not prime. Res64: C0A103EDDE97843B Time : 0.0 sec. user=mdettweiler [2015-08-26 17:38:54] 777*2^1407416-1 is not prime. Res64: 1767DC2B78164344 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:39:46] 845*2^1407416-1 is not prime. Res64: CA5D7566BBF6CF71 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:39:46] 923*2^1407416-1 is not prime. Res64: C7DF6F3001B25562 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:40:16] 927*2^1407416-1 is not prime. Res64: 38996991E0E94F17 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:40:17] 607*2^1407417-1 is not prime. Res64: 599960957D3A31D0 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:56:13] 699*2^1407417-1 is not prime. Res64: 262A753C66D74243 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:56:13] 747*2^1407417-1 is not prime. Res64: C9426EC0BEC941FC Time : 0.0 sec. user=mdettweiler [2015-08-26 17:56:32] 861*2^1407417-1 is not prime. Res64: 547CC92465203180 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:56:32] 681*2^1407418-1 is not prime. Res64: 61A4D20C53D94B70 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:57:29] 755*2^1407418-1 is not prime. Res64: 2813F1223A09064D Time : 0.0 sec. user=mdettweiler [2015-08-26 17:57:29] 827*2^1407418-1 is not prime. Res64: A19486E29194F9A1 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:57:53] 843*2^1407418-1 is not prime. Res64: 5D326A3633CAABC5 Time : 0.0 sec. user=mdettweiler [2015-08-26 17:57:53] 981*2^1407418-1 is not prime. Res64: C3EEB9224D5FCE47 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:13:53] 621*2^1407419-1 is not prime. Res64: CFE250213B69DF20 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:13:54] 789*2^1407419-1 is not prime. Res64: AAAD4FC5268B86F3 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:14:15] 799*2^1407419-1 is not prime. Res64: 8B986061A6F76BBD Time : 0.0 sec. user=mdettweiler [2015-08-26 18:14:15] 801*2^1407419-1 is not prime. Res64: 0B66FA8C3CCC40EA Time : 0.0 sec. user=mdettweiler [2015-08-26 18:15:16] 879*2^1407419-1 is not prime. Res64: 8321CDE37CDDFBAA Time : 0.0 sec. user=mdettweiler [2015-08-26 18:15:17] 885*2^1407419-1 is not prime. Res64: 16839620429DCB9F Time : 0.0 sec. user=mdettweiler [2015-08-26 18:15:31] 969*2^1407419-1 is not prime. Res64: 85086541E95DF93F Time : 0.0 sec. user=mdettweiler [2015-08-26 18:15:32] 773*2^1407420-1 is not prime. Res64: BD51A5A68FFF7889 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:31:41] 777*2^1407420-1 is not prime. Res64: 0C4BBB285A3B9CA3 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:31:42] 915*2^1407420-1 is not prime. Res64: 296F381401C04915 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:31:54] 607*2^1407421-1 is not prime. Res64: D81C6D5D14DFBD63 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:31:55] 615*2^1407421-1 is not prime. Res64: 45AD4B18850B5777 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:33:01] 651*2^1407421-1 is not prime. Res64: 556E6C3ED81F9814 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:33:01] 717*2^1407421-1 is not prime. Res64: 6B250F13BD20DF51 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:33:13] 867*2^1407421-1 is not prime. Res64: 26071FFF626C6681 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:33:13] 889*2^1407421-1 is not prime. Res64: EF61A69848FD1F14 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:49:20] 705*2^1407422-1 is not prime. Res64: D7261C184E77BABD Time : 0.0 sec. user=mdettweiler [2015-08-26 18:49:20] 767*2^1407422-1 is not prime. Res64: 6122971677686E00 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:49:39] 813*2^1407422-1 is not prime. Res64: 97EBDEFCEE746062 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:49:40] 857*2^1407422-1 is not prime. Res64: 47F1B1C6E6FB69B2 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:50:43] 893*2^1407422-1 is not prime. Res64: 8581F18971864AC5 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:50:43] 609*2^1407423-1 is not prime. Res64: BD7CEAE1EE87895C Time : 0.0 sec. user=mdettweiler [2015-08-26 18:51:00] 675*2^1407423-1 is not prime. Res64: 9F7BAE905C333F61 Time : 0.0 sec. user=mdettweiler [2015-08-26 18:51:00] 693*2^1407423-1 is not prime. Res64: 56AD4C63D3F484AC Time : 0.0 sec. user=mdettweiler [2015-08-26 19:07:31] 705*2^1407423-1 is not prime. Res64: 5E02047BEBDD8DA4 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:07:32] 739*2^1407423-1 is not prime. Res64: 0AA68423B1D0385A Time : 0.0 sec. user=mdettweiler [2015-08-26 19:08:02] 751*2^1407423-1 is not prime. Res64: 3CF46D29FD159046 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:08:02] 781*2^1407423-1 is not prime. Res64: 37D11C9D9F32E87C Time : 0.0 sec. user=mdettweiler [2015-08-26 19:09:05] 853*2^1407423-1 is not prime. Res64: 668F867DCDDDD77D Time : 0.0 sec. user=mdettweiler [2015-08-26 19:09:06] 895*2^1407423-1 is not prime. Res64: 633AB436E93C3726 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:09:13] 921*2^1407423-1 is not prime. Res64: 0AB9B3C6F4CBAE77 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:09:13] 955*2^1407423-1 is not prime. Res64: 15C07432A4604492 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:25:42] 963*2^1407423-1 is not prime. Res64: 0689533775EFA9AC Time : 0.0 sec. user=mdettweiler [2015-08-26 19:25:43] 609*2^1407424-1 is not prime. Res64: F967B1CCF7DCF856 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:25:46] 693*2^1407424-1 is not prime. Res64: 7DDFAB9F9F31BF26 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:25:46] 807*2^1407424-1 is not prime. Res64: 54BEFE18ECAE74D4 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:26:56] 909*2^1407424-1 is not prime. Res64: 6E0305A4D8A644F7 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:26:57] 929*2^1407424-1 is not prime. Res64: 0CBB5C6B471368B9 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:27:03] 965*2^1407424-1 is not prime. Res64: F966228573509FC0 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:27:04] 607*2^1407425-1 is not prime. Res64: 1937EDCE7BBEE081 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:43:40] 705*2^1407425-1 is not prime. Res64: BDB716D95984D078 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:43:40] 847*2^1407425-1 is not prime. Res64: F2AE680D7D4904F4 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:43:42] 885*2^1407425-1 is not prime. Res64: AF05B36F6BBEFA98 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:43:43] 611*2^1407426-1 is not prime. Res64: 862728F2434C56F2 Time : 0.0 sec. user=mdettweiler [2015-08-26 19:44:44] 635*2^1407426-1 is not prime. Res64: AE375CF10E7C7EBC Time : 0.0 sec. user=mdettweiler [2015-08-26 19:44:45] 807*2^1407426-1 is not prime. Res64: 9F428761E38D73FD Time : 0.0 sec. user=mdettweiler [2015-08-26 19:45:02] 903*2^1407426-1 is not prime. Res64: 281D44C2316171DD Time : 0.0 sec. user=mdettweiler [2015-08-26 19:45:02] 733*2^1407427-1 is not prime. Res64: 757A194037D7B2A4 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:01:51] 741*2^1407427-1 is not prime. Res64: BEDAA611FF8150AC Time : 0.0 sec. user=mdettweiler [2015-08-26 20:01:53] 765*2^1407427-1 is not prime. Res64: 2B1C37A6F5C2CED1 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:01:55] 885*2^1407427-1 is not prime. Res64: DF4FE829AB64F095 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:01:56] 915*2^1407427-1 is not prime. Res64: A4B3642B8713D0E2 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:02:56] 973*2^1407427-1 is not prime. Res64: F693EF1391D3D42D Time : 0.0 sec. user=mdettweiler [2015-08-26 20:02:56] 985*2^1407427-1 is not prime. Res64: C7729DB4C92B923A Time : 0.0 sec. user=mdettweiler [2015-08-26 20:03:40] 629*2^1407428-1 is not prime. Res64: 3749A21FA892E362 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:03:42] 633*2^1407428-1 is not prime. Res64: 0A6D01F210B32AB9 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:20:58] 759*2^1407428-1 is not prime. Res64: BC242E108E93358E Time : 0.0 sec. user=mdettweiler [2015-08-26 20:20:59] 899*2^1407428-1 is not prime. Res64: 97BF21076F46D7B8 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:21:16] 647*2^1407428-1 is not prime. Res64: 1D03FEB8032B83F0 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:21:17] 749*2^1407428-1 is not prime. Res64: 330FFE685B4488F7 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:22:26] 727*2^1407429-1 is not prime. Res64: EE8817DFD9998F0C Time : 0.0 sec. user=mdettweiler [2015-08-26 20:22:27] 741*2^1407429-1 is not prime. Res64: B800EB97AA6E71FF Time : 0.0 sec. user=mdettweiler [2015-08-26 20:22:28] 765*2^1407429-1 is not prime. Res64: B6280ADBF4898400 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:22:28] 781*2^1407429-1 is not prime. Res64: FB779BEB66A35A17 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:40:00] 787*2^1407429-1 is not prime. Res64: 8842C65D11E82AFC Time : 0.0 sec. user=mdettweiler [2015-08-26 20:40:00] 795*2^1407429-1 is not prime. Res64: 919880E805CDCE59 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:40:24] 635*2^1407430-1 is not prime. Res64: 406C3D78DC7A5640 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:40:25] 645*2^1407430-1 is not prime. Res64: 325A1EB8333B8BD8 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:41:12] 645*2^1407431-1 is not prime. Res64: 6B436CF39C80978E Time : 0.0 sec. user=mdettweiler [2015-08-26 20:41:12] 673*2^1407431-1 is not prime. Res64: 12524C0EC7A3C0C0 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:41:37] 773*2^1407430-1 is not prime. Res64: 39CC7CEF451A886B Time : 0.0 sec. user=mdettweiler [2015-08-26 20:41:37] 861*2^1407430-1 is not prime. Res64: 4D9A05863155447A Time : 0.0 sec. user=mdettweiler [2015-08-26 20:59:24] 841*2^1407431-1 is not prime. Res64: 37DC23B55F500312 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:59:25] 859*2^1407431-1 is not prime. Res64: 36645C6E8E93D064 Time : 0.0 sec. user=mdettweiler [2015-08-26 20:59:52] 883*2^1407431-1 is not prime. Res64: A8594DCEACB257FB Time : 0.0 sec. user=mdettweiler [2015-08-26 20:59:52] 885*2^1407431-1 is not prime. Res64: 4F5A071A5C14109F Time : 0.0 sec. user=mdettweiler [2015-08-26 21:00:30] 973*2^1407431-1 is not prime. Res64: 7D93B7D43AFF4E33 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:00:30] 999*2^1407431-1 is not prime. Res64: 997C948CCB8B5BE8 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:01:11] 675*2^1407432-1 is not prime. Res64: DC6103E20DF12094 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:01:13] 683*2^1407432-1 is not prime. Res64: 14FB32E218713681 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:18:25] 857*2^1407432-1 is not prime. Res64: 877B2A1324D4B5A5 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:18:26] 873*2^1407432-1 is not prime. Res64: 22A4FAB071B5F031 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:18:36] 803*2^1407432-1 is not prime. Res64: 9FBC463134957F96 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:18:37] 819*2^1407432-1 is not prime. Res64: 695BF176E899FA75 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:19:34] 729*2^1407433-1 is not prime. Res64: 2D578E00247D53B4 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:19:34] 775*2^1407433-1 is not prime. Res64: 24D4467BB824CB60 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:19:39] 915*2^1407432-1 is not prime. Res64: 345D78FBF1C61C16 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:19:39] 681*2^1407433-1 is not prime. Res64: 91E0D47FF7117965 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:36:33] 855*2^1407433-1 is not prime. Res64: 3FD64273F889FCC4 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:36:34] 885*2^1407433-1 is not prime. Res64: 74253566966E385B Time : 0.0 sec. user=mdettweiler [2015-08-26 21:36:45] 633*2^1407434-1 is not prime. Res64: DFD86821838A80A6 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:36:45] 635*2^1407434-1 is not prime. Res64: 753E0BDE64F4D38E Time : 0.0 sec. user=mdettweiler [2015-08-26 21:37:41] 657*2^1407434-1 is not prime. Res64: C706919DF3ECED64 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:37:41] 827*2^1407434-1 is not prime. Res64: 17837EE93F4696B6 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:37:46] 935*2^1407434-1 is not prime. Res64: EEA52104F6967ABA Time : 0.0 sec. user=mdettweiler [2015-08-26 21:37:47] 953*2^1407434-1 is not prime. Res64: 2A4FC7AC6B56FC66 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:54:49] 643*2^1407435-1 is not prime. Res64: 76FFCC1BD70F3C81 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:54:50] 723*2^1407435-1 is not prime. Res64: BFE3B7DB570F15EE Time : 0.0 sec. user=mdettweiler [2015-08-26 21:55:01] 895*2^1407435-1 is not prime. Res64: 14B3BAF58D40D5E5 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:55:01] 955*2^1407435-1 is not prime. Res64: 2EF6FAB2EEDEC2C0 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:56:09] 717*2^1407436-1 is not prime. Res64: 0FDB701A81DEF899 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:56:09] 755*2^1407436-1 is not prime. Res64: 841CCE32232B363C Time : 0.0 sec. user=mdettweiler [2015-08-26 21:56:21] 777*2^1407436-1 is not prime. Res64: B906B79FCA8595E2 Time : 0.0 sec. user=mdettweiler [2015-08-26 21:56:22] 843*2^1407436-1 is not prime. Res64: ED120D45877E5865 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:13:57] 645*2^1407437-1 is not prime. Res64: 19FBF50097D8DCEC Time : 0.0 sec. user=mdettweiler [2015-08-26 22:13:58] 729*2^1407437-1 is not prime. Res64: 940CBCA0E141C184 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:14:19] 873*2^1407436-1 is not prime. Res64: 70F831439001555F Time : 0.0 sec. user=mdettweiler [2015-08-26 22:14:20] 969*2^1407436-1 is not prime. Res64: 9B987B13E9782512 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:15:05] 757*2^1407437-1 is not prime. Res64: 717EABAFC79526E5 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:15:06] 931*2^1407437-1 is not prime. Res64: 6F0F39BCC237F798 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:15:22] 641*2^1407438-1 is not prime. Res64: FF01152DAA78702D Time : 0.0 sec. user=mdettweiler [2015-08-26 22:15:23] 671*2^1407438-1 is not prime. Res64: B90BA79CD02C6CF8 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:32:27] 713*2^1407438-1 is not prime. Res64: 66B0424D0B1F7890 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:32:27] 747*2^1407438-1 is not prime. Res64: CEB4FFDFD6B97A42 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:32:53] 867*2^1407438-1 is not prime. Res64: 63F1A3CF7A1F6A59 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:32:54] 885*2^1407438-1 is not prime. Res64: C51FFD7310236407 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:33:35] 927*2^1407438-1 is not prime. Res64: 0B7595FE0A2B3D38 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:33:35] 963*2^1407438-1 is not prime. Res64: 2A92BEBF9CA86E52 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:33:36] 601*2^1407439-1 is not prime. Res64: B08EDAD4C1F122A1 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:33:37] 709*2^1407439-1 is not prime. Res64: 9C89FDA234FE0486 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:50:56] 745*2^1407439-1 is not prime. Res64: 9EB24DE01D2FE5D6 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:50:56] 763*2^1407439-1 is not prime. Res64: 3F317BEAAC2A2C89 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:51:17] 841*2^1407439-1 is not prime. Res64: 92941A4B6BC0B6FE Time : 0.0 sec. user=mdettweiler [2015-08-26 22:51:17] 925*2^1407439-1 is not prime. Res64: 5A0A708BB95E6DA1 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:52:00] 969*2^1407439-1 is not prime. Res64: 51716424AC54D83A Time : 0.0 sec. user=mdettweiler [2015-08-26 22:52:00] 699*2^1407440-1 is not prime. Res64: 633EBDDED7D2AA31 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:52:09] 743*2^1407440-1 is not prime. Res64: 5DB52441D922E776 Time : 0.0 sec. user=mdettweiler [2015-08-26 22:52:10] 753*2^1407440-1 is not prime. Res64: 28725550E3E000D1 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:08:44] 759*2^1407440-1 is not prime. Res64: AF08028E4225E77E Time : 0.0 sec. user=mdettweiler [2015-08-26 23:08:44] 795*2^1407440-1 is not prime. Res64: 18AD6E7FDC04813C Time : 0.0 sec. user=mdettweiler [2015-08-26 23:09:03] 977*2^1407440-1 is not prime. Res64: 7602612D87BD151C Time : 0.0 sec. user=mdettweiler [2015-08-26 23:09:03] 685*2^1407441-1 is not prime. Res64: 9EBF866F4508716D Time : 0.0 sec. user=mdettweiler [2015-08-26 23:09:38] 741*2^1407441-1 is not prime. Res64: BF6BD1156487F9B2 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:09:38] 751*2^1407441-1 is not prime. Res64: 4F650B42CEE420EF Time : 0.0 sec. user=mdettweiler [2015-08-26 23:09:51] 997*2^1407441-1 is not prime. Res64: 5212CEAC522417DB Time : 0.0 sec. user=mdettweiler [2015-08-26 23:09:52] 635*2^1407442-1 is not prime. Res64: DDC8495B5E4AFDAE Time : 0.0 sec. user=mdettweiler [2015-08-26 23:26:25] 651*2^1407442-1 is not prime. Res64: 85EBE1D22BA85A19 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:26:26] 665*2^1407442-1 is not prime. Res64: 3A77331EFEBB45CF Time : 0.0 sec. user=mdettweiler [2015-08-26 23:26:37] 675*2^1407442-1 is not prime. Res64: 11D633D481502B8E Time : 0.0 sec. user=mdettweiler [2015-08-26 23:26:37] 885*2^1407442-1 is not prime. Res64: C158F80D171EB189 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:27:14] 917*2^1407442-1 is not prime. Res64: F210E75BC8E1D005 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:27:14] 1001*2^1407442-1 is not prime. Res64: DA69CDD0AA33B41F Time : 0.0 sec. user=mdettweiler [2015-08-26 23:27:28] 631*2^1407443-1 is not prime. Res64: E4FED29E3BD823CD Time : 0.0 sec. user=mdettweiler [2015-08-26 23:27:29] 633*2^1407443-1 is not prime. Res64: 38412AB5CA11FCA1 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:44:05] 771*2^1407443-1 is not prime. Res64: A0D8A306F3E38AF1 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:44:05] 895*2^1407443-1 is not prime. Res64: 9E15D342757B66FE Time : 0.0 sec. user=mdettweiler [2015-08-26 23:44:12] 963*2^1407443-1 is not prime. Res64: 9D63F348695F607F Time : 0.0 sec. user=mdettweiler [2015-08-26 23:44:12] 675*2^1407444-1 is not prime. Res64: 598869FEABD7D4C2 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:44:49] 689*2^1407444-1 is not prime. Res64: 0B9344A48E24FE3C Time : 0.0 sec. user=mdettweiler [2015-08-26 23:44:50] 737*2^1407444-1 is not prime. Res64: 7E40C1B479473971 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:45:07] 753*2^1407444-1 is not prime. Res64: D730410B60A87496 Time : 0.0 sec. user=mdettweiler [2015-08-26 23:45:08] 843*2^1407444-1 is not prime. Res64: ECAB6E2FAB17C7D3 Time : 0.0 sec.