user=mdettweiler [2016-05-15 00:09:23] 609*2^1429201-1 is not prime. Res64: 53A75425E431105B Time : 0.0 sec. user=mdettweiler [2016-05-15 00:09:24] 679*2^1429201-1 is not prime. Res64: 1C96BB892C265E1C Time : 0.0 sec. user=mdettweiler [2016-05-15 00:09:24] 745*2^1429201-1 is not prime. Res64: 056F148F7356FD92 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:09:25] 777*2^1429201-1 is not prime. Res64: 4B02669A7271616D Time : 0.0 sec. user=mdettweiler [2016-05-15 00:09:25] 855*2^1429201-1 is not prime. Res64: DB2CA253AE98337A Time : 0.0 sec. user=mdettweiler [2016-05-15 00:10:50] 889*2^1429201-1 is not prime. Res64: 4758529207A743DD Time : 0.0 sec. user=mdettweiler [2016-05-15 00:10:50] 945*2^1429201-1 is not prime. Res64: C56F9AB2FD2FF6E9 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:10:50] 603*2^1429202-1 is not prime. Res64: D80E581C752C56B7 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:10:51] 701*2^1429202-1 is not prime. Res64: FAD0935CDEC037CB Time : 0.0 sec. user=mdettweiler [2016-05-15 00:10:51] 753*2^1429202-1 is not prime. Res64: AC3F029892A2A384 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:18:09] 755*2^1429202-1 is not prime. Res64: 98CB752FCAC0223B Time : 0.0 sec. user=mdettweiler [2016-05-15 00:18:10] 837*2^1429202-1 is not prime. Res64: 8C9187631B9F2BB1 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:18:10] 983*2^1429202-1 is not prime. Res64: 76E6580965FE9CFA Time : 0.0 sec. user=mdettweiler [2016-05-15 00:18:11] 1001*2^1429202-1 is not prime. Res64: 3A8A02EC49A7E0FD Time : 0.0 sec. user=mdettweiler [2016-05-15 00:18:11] 625*2^1429203-1 is not prime. Res64: 8D8629D97DAD1BD2 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:39:38] 663*2^1429203-1 is not prime. Res64: 71A47E831FE0D41A Time : 0.0 sec. user=mdettweiler [2016-05-15 00:39:39] 765*2^1429203-1 is not prime. Res64: 700976056945431C Time : 0.0 sec. user=mdettweiler [2016-05-15 00:39:39] 805*2^1429203-1 is not prime. Res64: 2F64419575281F9F Time : 0.0 sec. user=mdettweiler [2016-05-15 00:39:39] 823*2^1429203-1 is not prime. Res64: 895D5BE83CA4A646 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:39:40] 963*2^1429203-1 is not prime. Res64: 9492EFF6FB56756F Time : 0.0 sec. user=mdettweiler [2016-05-15 00:55:41] 615*2^1429204-1 is not prime. Res64: 0D9744ED57E3784F Time : 0.0 sec. user=mdettweiler [2016-05-15 00:55:42] 675*2^1429204-1 is not prime. Res64: E44680C8832EA529 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:55:42] 693*2^1429204-1 is not prime. Res64: AC6CC66291517CA9 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:55:42] 803*2^1429204-1 is not prime. Res64: CB3B90E61B252815 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:55:43] 843*2^1429204-1 is not prime. Res64: 25D9D04CE2B94234 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:56:57] 897*2^1429204-1 is not prime. Res64: F800E6D754CF8F1B Time : 0.0 sec. user=mdettweiler [2016-05-15 00:56:58] 909*2^1429204-1 is not prime. Res64: 07AE11A6B1DF2F94 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:56:58] 965*2^1429204-1 is not prime. Res64: C930973D0C6AF42D Time : 0.0 sec. user=mdettweiler [2016-05-15 00:56:58] 983*2^1429204-1 is not prime. Res64: BFAB7A48F891E4C5 Time : 0.0 sec. user=mdettweiler [2016-05-15 00:56:59] 627*2^1429205-1 is not prime. Res64: B2854C78594182E8 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:04:31] 697*2^1429205-1 is not prime. Res64: 9B590EDF57004CC3 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:04:32] 771*2^1429205-1 is not prime. Res64: 43EEF2B578187FF5 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:04:33] 787*2^1429205-1 is not prime. Res64: C89F61539BE5E3FB Time : 0.0 sec. user=mdettweiler [2016-05-15 01:04:33] 789*2^1429205-1 is not prime. Res64: 93696E731DB95D77 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:04:34] 837*2^1429205-1 is not prime. Res64: 59EFC28C1FBFF50F Time : 0.0 sec. user=mdettweiler [2016-05-15 01:25:44] 847*2^1429205-1 is not prime. Res64: F66BDEDE6BFF1DFF Time : 0.0 sec. user=mdettweiler [2016-05-15 01:25:46] 861*2^1429205-1 is not prime. Res64: FB22AA34AA84C5E1 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:25:47] 871*2^1429205-1 is not prime. Res64: 9052CA30231B6C52 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:25:49] 937*2^1429205-1 is not prime. Res64: 9155836C600F2671 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:25:49] 981*2^1429205-1 is not prime. Res64: A3CC50E39FF85CB1 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:41:31] 683*2^1429206-1 is not prime. Res64: 74D67B4823281DAE Time : 0.0 sec. user=mdettweiler [2016-05-15 01:41:32] 707*2^1429206-1 is not prime. Res64: F1797E770FA4FB30 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:41:32] 761*2^1429206-1 is not prime. Res64: 7B31576DD6DB302E Time : 0.0 sec. user=mdettweiler [2016-05-15 01:41:33] 801*2^1429206-1 is not prime. Res64: 59E9454BADF2EEF4 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:41:33] 843*2^1429206-1 is not prime. Res64: E97B4830EF969741 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:42:35] 891*2^1429206-1 is not prime. Res64: 59A8090F40F255D4 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:42:36] 903*2^1429206-1 is not prime. Res64: 8598C8FC6253ED6A Time : 0.0 sec. user=mdettweiler [2016-05-15 01:42:36] 933*2^1429206-1 is not prime. Res64: 074BAC2DF2A315B4 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:42:37] 975*2^1429206-1 is not prime. Res64: 12697401DE682C80 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:42:38] 645*2^1429207-1 is not prime. Res64: 7DF70D846DA9E427 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:50:26] 663*2^1429207-1 is not prime. Res64: 70D788E7C45784C5 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:50:27] 759*2^1429207-1 is not prime. Res64: 9F4DAB168C7D36E1 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:50:27] 829*2^1429207-1 is not prime. Res64: 647B9C4CE3C3F861 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:50:27] 871*2^1429207-1 is not prime. Res64: 48BF3DFBDA07A2D0 Time : 0.0 sec. user=mdettweiler [2016-05-15 01:50:28] 883*2^1429207-1 is not prime. Res64: CFC0FA5917A61C70 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:12:32] 961*2^1429207-1 is not prime. Res64: C756F96755B10270 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:12:33] 747*2^1429208-1 is not prime. Res64: 68C2DBB861CC4C80 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:12:33] 773*2^1429208-1 is not prime. Res64: 5650A7E0A8260E58 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:12:33] 797*2^1429208-1 is not prime. Res64: 07222387D6812F18 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:12:34] 625*2^1429209-1 is not prime. Res64: 170AD81F9AE3A7E8 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:22] 661*2^1429209-1 is not prime. Res64: BE324B949AB55508 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:23] 675*2^1429209-1 is not prime. Res64: F6A3BCBB0B1B7A14 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:23] 745*2^1429209-1 is not prime. Res64: A8AA3CE0375A34A5 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:24] 781*2^1429209-1 is not prime. Res64: 1D141108D949AD99 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:24] 969*2^1429209-1 is not prime. Res64: 81443382C762332F Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:58] 975*2^1429209-1 is not prime. Res64: EB5AAF32D006F54D Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:58] 657*2^1429210-1 is not prime. Res64: 3B482EFEFC4B63BD Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:59] 681*2^1429210-1 is not prime. Res64: CD520A82D0364E4A Time : 0.0 sec. user=mdettweiler [2016-05-15 02:28:59] 707*2^1429210-1 is not prime. Res64: 14A1AAAAA76695C2 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:29:00] 855*2^1429210-1 is not prime. Res64: A2C4C2C4120A9F33 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:37:00] 861*2^1429210-1 is not prime. Res64: 292813C8550681D6 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:37:00] 911*2^1429210-1 is not prime. Res64: E1266E003F029CB1 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:37:01] 917*2^1429210-1 is not prime. Res64: 1E79B63CFCCCEA28 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:37:01] 685*2^1429211-1 is not prime. Res64: F337A404AC4855A5 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:37:01] 705*2^1429211-1 is not prime. Res64: 57123917692840E4 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:57:37] 979*2^1429211-1 is not prime. Res64: 2542721A256CCC9B Time : 0.0 sec. user=mdettweiler [2016-05-15 02:57:37] 605*2^1429212-1 is not prime. Res64: 7AC80C9BADAA87A7 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:57:38] 665*2^1429212-1 is not prime. Res64: 2DC3853A3C529577 Time : 0.0 sec. user=mdettweiler [2016-05-15 02:57:38] 723*2^1429212-1 is not prime. Res64: 081FF19A1A4E790C Time : 0.0 sec. user=mdettweiler [2016-05-15 02:57:38] 753*2^1429212-1 is not prime. Res64: 93DE16264591084A Time : 0.0 sec. user=mdettweiler [2016-05-15 03:13:24] 825*2^1429212-1 is not prime. Res64: 9B6FF690643EB268 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:13:25] 857*2^1429212-1 is not prime. Res64: F458A64505BB3D90 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:13:25] 721*2^1429213-1 is not prime. Res64: 9F47DF71998EFCD5 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:13:26] 831*2^1429213-1 is not prime. Res64: B9C1D418B52CCE23 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:13:26] 939*2^1429213-1 is not prime. Res64: DE828FD40E37EE1C Time : 0.0 sec. user=mdettweiler [2016-05-15 03:14:04] 705*2^1429214-1 is not prime. Res64: F36913D34E5B4953 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:14:04] 785*2^1429214-1 is not prime. Res64: 03362FA9FE272885 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:14:05] 851*2^1429214-1 is not prime. Res64: 610A010AD93EE97B Time : 0.0 sec. user=mdettweiler [2016-05-15 03:14:05] 861*2^1429214-1 is not prime. Res64: 5621E894F36143A3 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:14:06] 651*2^1429215-1 is not prime. Res64: 5286279DE362FFAE Time : 0.0 sec. user=mdettweiler [2016-05-15 03:22:18] 763*2^1429215-1 is not prime. Res64: A7F2431258F9E529 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:22:18] 793*2^1429215-1 is not prime. Res64: 948E1F46B1D3B1B5 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:22:19] 849*2^1429215-1 is not prime. Res64: 0A4D94CDA901500D Time : 0.0 sec. user=mdettweiler [2016-05-15 03:22:19] 861*2^1429215-1 is not prime. Res64: 2D72415331D7FFAD Time : 0.0 sec. user=mdettweiler [2016-05-15 03:22:20] 645*2^1429216-1 is not prime. Res64: 10C34E733FDCD331 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:42:25] 717*2^1429216-1 is not prime. Res64: 2CA88BB364808459 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:42:29] 785*2^1429216-1 is not prime. Res64: 18E5629F386FB933 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:42:31] 833*2^1429216-1 is not prime. Res64: 8FD3D4799016705E Time : 0.0 sec. user=mdettweiler [2016-05-15 03:42:35] 857*2^1429216-1 is not prime. Res64: 73D9E76F68A777E8 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:42:36] 975*2^1429216-1 is not prime. Res64: B37F55654F533030 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:19] 615*2^1429217-1 is not prime. Res64: BD041F8AF4388073 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:22] 649*2^1429217-1 is not prime. Res64: F7F36D93F02326C0 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:23] 675*2^1429217-1 is not prime. Res64: 7AE4D813D226CC89 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:23] 715*2^1429217-1 is not prime. Res64: FA2CCCBD1596D748 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:24] 937*2^1429217-1 is not prime. Res64: 237B31FC3E950285 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:47] 981*2^1429217-1 is not prime. Res64: B5303E6D369A0703 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:47] 671*2^1429218-1 is not prime. Res64: 698BB3DC7D479736 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:48] 713*2^1429218-1 is not prime. Res64: B67816D53DA2A9A3 Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:48] 747*2^1429218-1 is not prime. Res64: 5E270B23E665A02B Time : 0.0 sec. user=mdettweiler [2016-05-15 03:58:48] 765*2^1429218-1 is not prime. Res64: CB85EFC1962F2CE5 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:07:24] 777*2^1429218-1 is not prime. Res64: 04C7EB2EC545A281 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:07:26] 825*2^1429218-1 is not prime. Res64: 07D5125E9952CA82 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:07:27] 891*2^1429218-1 is not prime. Res64: 19906F05706DBEF9 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:07:28] 933*2^1429218-1 is not prime. Res64: 08B3BFA62B5B7914 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:07:29] 971*2^1429218-1 is not prime. Res64: 0FF5F37DCA73879F Time : 0.0 sec. user=mdettweiler [2016-05-15 04:29:03] 615*2^1429219-1 is not prime. Res64: 53ADA47BFB7F2657 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:29:03] 649*2^1429219-1 is not prime. Res64: 595CD37F23565351 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:29:04] 709*2^1429219-1 is not prime. Res64: 8EDD72C7549C9284 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:29:04] 733*2^1429219-1 is not prime. Res64: B9799B072F2471CB Time : 0.0 sec. user=mdettweiler [2016-05-15 04:29:04] 765*2^1429219-1 is not prime. Res64: 638292590420302C Time : 0.0 sec. user=mdettweiler [2016-05-15 04:44:18] 793*2^1429219-1 is not prime. Res64: AA42D432433BACD4 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:44:19] 873*2^1429219-1 is not prime. Res64: 9E165E7A330E48C2 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:44:19] 951*2^1429219-1 is not prime. Res64: 97760076B053314A Time : 0.0 sec. user=mdettweiler [2016-05-15 04:44:19] 665*2^1429220-1 is not prime. Res64: B1D8E964073EA582 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:44:20] 833*2^1429220-1 is not prime. Res64: 92C27D589927363B Time : 0.0 sec. user=mdettweiler [2016-05-15 04:45:04] 855*2^1429220-1 is not prime. Res64: A426349D804BF2F9 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:45:04] 893*2^1429220-1 is not prime. Res64: 324FDD9777AEFCBC Time : 0.0 sec. user=mdettweiler [2016-05-15 04:45:04] 929*2^1429220-1 is not prime. Res64: DAF201EA2338AF0B Time : 0.0 sec. user=mdettweiler [2016-05-15 04:45:05] 945*2^1429220-1 is not prime. Res64: 4E24D5D285FD4F5B Time : 0.0 sec. user=mdettweiler [2016-05-15 04:45:05] 657*2^1429221-1 is not prime. Res64: D29B531A859B965C Time : 0.0 sec. user=mdettweiler [2016-05-15 04:53:43] 817*2^1429221-1 is not prime. Res64: 65531DA70B8411ED Time : 0.0 sec. user=mdettweiler [2016-05-15 04:53:44] 645*2^1429222-1 is not prime. Res64: 71E6AC0237DDDB7A Time : 0.0 sec. user=mdettweiler [2016-05-15 04:53:44] 761*2^1429222-1 is not prime. Res64: 1DBEA8395328096B Time : 0.0 sec. user=mdettweiler [2016-05-15 04:53:44] 765*2^1429222-1 is not prime. Res64: FAF386CA148CB156 Time : 0.0 sec. user=mdettweiler [2016-05-15 04:53:45] 791*2^1429222-1 is not prime. Res64: 58310480E423E018 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:14:22] 745*2^1429223-1 is not prime. Res64: 90DEE54CCCCAA353 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:14:23] 943*2^1429223-1 is not prime. Res64: EE584FAE4558B6EA Time : 0.0 sec. user=mdettweiler [2016-05-15 05:14:23] 963*2^1429223-1 is not prime. Res64: B131CBEDCB68DBE9 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:14:24] 663*2^1429224-1 is not prime. Res64: 907CAD58E68CE5C4 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:14:24] 689*2^1429224-1 is not prime. Res64: D92A350870C1DA61 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:22] 863*2^1429224-1 is not prime. Res64: 9D5B16DC3FD62A88 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:23] 685*2^1429225-1 is not prime. Res64: E95871D9C798E835 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:23] 751*2^1429225-1 is not prime. Res64: 3EE31F743D7383DA Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:24] 789*2^1429225-1 is not prime. Res64: 83DE736112CDAD07 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:25] 811*2^1429225-1 is not prime. Res64: D2A6FD66A4BC94A4 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:57] 841*2^1429225-1 is not prime. Res64: CC197091F6B10C3A Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:58] 705*2^1429226-1 is not prime. Res64: 829F76CD3D7E82D0 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:58] 713*2^1429226-1 is not prime. Res64: E8AD1B364C091E5E Time : 0.0 sec. user=mdettweiler [2016-05-15 05:29:59] 773*2^1429226-1 is not prime. Res64: 8A28692C186051A5 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:30:00] 831*2^1429226-1 is not prime. Res64: F05774C013532CC0 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:38:23] 917*2^1429226-1 is not prime. Res64: 41DA4681CF580E68 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:38:24] 921*2^1429226-1 is not prime. Res64: E84D51D6C482298F Time : 0.0 sec. user=mdettweiler [2016-05-15 05:38:24] 923*2^1429226-1 is not prime. Res64: D579BEA3E9CD6EC3 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:38:25] 615*2^1429227-1 is not prime. Res64: C9C09A1E66103B1A Time : 0.0 sec. user=mdettweiler [2016-05-15 05:38:25] 703*2^1429227-1 is not prime. Res64: 99F77B4BB9205D6A Time : 0.0 sec. user=mdettweiler [2016-05-15 05:59:11] 739*2^1429227-1 is not prime. Res64: E58656034ED2005F Time : 0.0 sec. user=mdettweiler [2016-05-15 05:59:11] 795*2^1429227-1 is not prime. Res64: F370693D52020523 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:59:11] 829*2^1429227-1 is not prime. Res64: 9BFE869FE7453ACB Time : 0.0 sec. user=mdettweiler [2016-05-15 05:59:12] 909*2^1429227-1 is not prime. Res64: 73BFCC86891D8FC1 Time : 0.0 sec. user=mdettweiler [2016-05-15 05:59:12] 963*2^1429227-1 is not prime. Res64: 6CDB6852419BFED1 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:12] 975*2^1429227-1 is not prime. Res64: F7F96547C2821991 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:13] 999*2^1429227-1 is not prime. Res64: A38AAF921F977229 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:13] 677*2^1429228-1 is not prime. Res64: 56DF46C5B028569F Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:14] 777*2^1429228-1 is not prime. Res64: D08E3DC387ECE41A Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:14] 923*2^1429228-1 is not prime. Res64: 867AC80E60DBD73E Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:55] 615*2^1429229-1 is not prime. Res64: 0C0B9B96433CB95A Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:56] 621*2^1429229-1 is not prime. Res64: 9BB078C66509517B Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:56] 627*2^1429229-1 is not prime. Res64: 14CBD9823BD30663 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:56] 649*2^1429229-1 is not prime. Res64: 023ABFA04B5BC5FD Time : 0.0 sec. user=mdettweiler [2016-05-15 06:14:57] 657*2^1429229-1 is not prime. Res64: 3A4A4D89B8951712 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:23:30] 927*2^1429229-1 is not prime. Res64: F130C7E49F4DCEA2 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:23:30] 985*2^1429229-1 is not prime. Res64: 44D08216981CDB9A Time : 0.0 sec. user=mdettweiler [2016-05-15 06:23:30] 611*2^1429230-1 is not prime. Res64: 2D870290BDF508BA Time : 0.0 sec. user=mdettweiler [2016-05-15 06:23:30] 627*2^1429230-1 is not prime. Res64: 69CAD8FEC193E10B Time : 0.0 sec. user=mdettweiler [2016-05-15 06:23:31] 695*2^1429230-1 is not prime. Res64: 1CADA67AEB08996D Time : 0.0 sec. user=mdettweiler [2016-05-15 06:44:21] 707*2^1429230-1 is not prime. Res64: 784139986B700ED1 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:44:22] 711*2^1429230-1 is not prime. Res64: 75B762C64795FE31 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:44:22] 741*2^1429230-1 is not prime. Res64: A7877AEC91D2D88E Time : 0.0 sec. user=mdettweiler [2016-05-15 06:44:23] 755*2^1429230-1 is not prime. Res64: 9C9AD994DEEC8CD6 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:44:23] 761*2^1429230-1 is not prime. Res64: 5F3E40AEE3512FCB Time : 0.0 sec. user=mdettweiler [2016-05-15 06:59:29] 791*2^1429230-1 is not prime. Res64: 50F34E22C5246AF9 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:59:29] 825*2^1429230-1 is not prime. Res64: 9A06BC75C674A53C Time : 0.0 sec. user=mdettweiler [2016-05-15 06:59:29] 863*2^1429230-1 is not prime. Res64: D00636BED2B19E7B Time : 0.0 sec. user=mdettweiler [2016-05-15 06:59:30] 933*2^1429230-1 is not prime. Res64: D6B8711905EF3FA8 Time : 0.0 sec. user=mdettweiler [2016-05-15 06:59:30] 963*2^1429230-1 is not prime. Res64: C7F6CA7080956A49 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:00:08] 703*2^1429231-1 is not prime. Res64: D9C0E6A198627CF6 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:00:08] 723*2^1429231-1 is not prime. Res64: AE21F921F3B6939E Time : 0.0 sec. user=mdettweiler [2016-05-15 07:00:09] 769*2^1429231-1 is not prime. Res64: 151624225CA248B0 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:00:09] 783*2^1429231-1 is not prime. Res64: F9D7F1EBB4672B5E Time : 0.0 sec. user=mdettweiler [2016-05-15 07:00:09] 805*2^1429231-1 is not prime. Res64: 7D7ECCB52BA94B45 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:08:26] 855*2^1429231-1 is not prime. Res64: C22847D180B7562F Time : 0.0 sec. user=mdettweiler [2016-05-15 07:08:27] 931*2^1429231-1 is not prime. Res64: 1699ABD56A13CB4F Time : 0.0 sec. user=mdettweiler [2016-05-15 07:08:27] 635*2^1429232-1 is not prime. Res64: 5C0C61B0BCD37640 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:08:28] 753*2^1429232-1 is not prime. Res64: A0849EA57BC9B25B Time : 0.0 sec. user=mdettweiler [2016-05-15 07:08:28] 899*2^1429232-1 is not prime. Res64: 44EEC2FCB323A436 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:29:19] 977*2^1429232-1 is not prime. Res64: 3D9C95139E38C0DE Time : 0.0 sec. user=mdettweiler [2016-05-15 07:29:20] 781*2^1429233-1 is not prime. Res64: FB6A940EBF686EEA Time : 0.0 sec. user=mdettweiler [2016-05-15 07:29:20] 829*2^1429233-1 is not prime. Res64: 49FE3DACFA2BD680 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:29:20] 849*2^1429233-1 is not prime. Res64: ECF1A4F3EF9E5E85 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:29:21] 867*2^1429233-1 is not prime. Res64: D58032F041B2A37F Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:12] 979*2^1429233-1 is not prime. Res64: E2C86AE6F926799A Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:12] 605*2^1429234-1 is not prime. Res64: 0DEEEE5FAE2C091F Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:13] 677*2^1429234-1 is not prime. Res64: 09026F1BB8F9486A Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:13] 681*2^1429234-1 is not prime. Res64: 88274694EAB4D514 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:13] 687*2^1429234-1 is not prime. Res64: 904D39751DF210FB Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:55] 695*2^1429234-1 is not prime. Res64: 88C4FB0120D2D767 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:56] 903*2^1429234-1 is not prime. Res64: EE9BF428895BEC6C Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:56] 915*2^1429234-1 is not prime. Res64: 4E34E0E3D07AB209 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:56] 917*2^1429234-1 is not prime. Res64: 2AA0C4DA6E54E200 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:44:57] 923*2^1429234-1 is not prime. Res64: BD1CF198CAEC736D Time : 0.0 sec. user=mdettweiler [2016-05-15 07:53:20] 941*2^1429234-1 is not prime. Res64: 091A55F59D29EF80 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:53:20] 971*2^1429234-1 is not prime. Res64: 2D2DCC7BD22475D3 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:53:20] 993*2^1429234-1 is not prime. Res64: BF9E5AFD63DE0DF3 Time : 0.0 sec. user=mdettweiler [2016-05-15 07:53:21] 633*2^1429235-1 is not prime. Res64: 62DF354B7524F8CF Time : 0.0 sec. user=mdettweiler [2016-05-15 07:53:21] 673*2^1429235-1 is not prime. Res64: 3E35B75590C0634E Time : 0.0 sec. user=mdettweiler [2016-05-15 08:13:55] 735*2^1429235-1 is not prime. Res64: 4BA8458AC1237320 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:13:55] 871*2^1429235-1 is not prime. Res64: 7F40251C179A115F Time : 0.0 sec. user=mdettweiler [2016-05-15 08:13:56] 963*2^1429235-1 is not prime. Res64: C955B7535F273976 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:13:56] 969*2^1429235-1 is not prime. Res64: 8A59068F12C5E9B5 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:13:57] 979*2^1429235-1 is not prime. Res64: 2CE0A75A81392455 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:28:56] 991*2^1429235-1 is not prime. Res64: FCD95838A7203A10 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:28:56] 657*2^1429236-1 is not prime. Res64: 74E9DF2F54588D12 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:28:57] 779*2^1429236-1 is not prime. Res64: CADF559969C30A5D Time : 0.0 sec. user=mdettweiler [2016-05-15 08:28:57] 607*2^1429237-1 is not prime. Res64: 460BB226E746660A Time : 0.0 sec. user=mdettweiler [2016-05-15 08:28:57] 687*2^1429237-1 is not prime. Res64: 8A309455D6175977 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:29:43] 859*2^1429237-1 is not prime. Res64: ED8CF7D8500AF8E6 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:29:44] 945*2^1429237-1 is not prime. Res64: F501BFBCDFBA09B4 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:29:44] 955*2^1429237-1 is not prime. Res64: 8F16D6311810C39D Time : 0.0 sec. user=mdettweiler [2016-05-15 08:29:44] 961*2^1429237-1 is not prime. Res64: 4117A79902E4451F Time : 0.0 sec. user=mdettweiler [2016-05-15 08:29:45] 603*2^1429238-1 is not prime. Res64: CFF6AE21E82E680E Time : 0.0 sec. user=mdettweiler [2016-05-15 08:38:02] 825*2^1429238-1 is not prime. Res64: 62709544C87B3997 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:38:02] 923*2^1429238-1 is not prime. Res64: 4867EC32D865044B Time : 0.0 sec. user=mdettweiler [2016-05-15 08:38:02] 935*2^1429238-1 is not prime. Res64: E5094B08FDD54069 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:38:03] 615*2^1429239-1 is not prime. Res64: F304D2B6202B7666 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:38:03] 621*2^1429239-1 is not prime. Res64: 8685920F2166E168 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:58:51] 741*2^1429239-1 is not prime. Res64: 2D54C2E39935A8F7 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:58:52] 795*2^1429239-1 is not prime. Res64: 0889A54D1DA57CE0 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:58:52] 825*2^1429239-1 is not prime. Res64: E3063DF53ABFE083 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:58:53] 843*2^1429239-1 is not prime. Res64: 251D34EFB4468D60 Time : 0.0 sec. user=mdettweiler [2016-05-15 08:58:53] 931*2^1429239-1 is not prime. Res64: A880009764547748 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:13:59] 973*2^1429239-1 is not prime. Res64: CA4A3724900B9AD8 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:13:59] 975*2^1429239-1 is not prime. Res64: BC8B9272DBB7116D Time : 0.0 sec. user=mdettweiler [2016-05-15 09:13:59] 979*2^1429239-1 is not prime. Res64: 7AC55660BA7BB0F9 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:00] 635*2^1429240-1 is not prime. Res64: 18CB5320B166CADE Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:00] 653*2^1429240-1 is not prime. Res64: 95530324689D2AF3 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:26] 833*2^1429240-1 is not prime. Res64: 1D563AF9197D82FD Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:26] 855*2^1429240-1 is not prime. Res64: 1128E5CD625C801B Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:26] 905*2^1429240-1 is not prime. Res64: AE85A1C632E06F45 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:27] 909*2^1429240-1 is not prime. Res64: 53D1A530BAE84569 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:14:27] 917*2^1429240-1 is not prime. Res64: ADB4850F956A1F95 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:23:00] 923*2^1429240-1 is not prime. Res64: 3E35F3FDD9424347 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:23:00] 885*2^1429241-1 is not prime. Res64: 4E0212F18753AE87 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:23:00] 907*2^1429241-1 is not prime. Res64: B9FF7746DD432D65 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:23:01] 949*2^1429241-1 is not prime. Res64: 8E4254EC59D5EB16 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:23:01] 981*2^1429241-1 is not prime. Res64: 17E2BA51F5FFF5B5 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:43:54] 711*2^1429242-1 is not prime. Res64: 2ED0C02F39F4642E Time : 0.0 sec. user=mdettweiler [2016-05-15 09:43:54] 735*2^1429242-1 is not prime. Res64: F7F780A3C21D664E Time : 0.0 sec. user=mdettweiler [2016-05-15 09:43:55] 755*2^1429242-1 is not prime. Res64: F1365E9B53AE52C9 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:43:55] 887*2^1429242-1 is not prime. Res64: 63391630CDCEAAC5 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:43:55] 893*2^1429242-1 is not prime. Res64: 3C8BA9FAC7CAD06C Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:31] 945*2^1429242-1 is not prime. Res64: 1A31849BF42BA25A Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:31] 947*2^1429242-1 is not prime. Res64: 583912B377F3EFF2 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:32] 649*2^1429243-1 is not prime. Res64: 74203DACABB91FFB Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:32] 691*2^1429243-1 is not prime. Res64: C612F65D6F330B91 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:32] 829*2^1429243-1 is not prime. Res64: 57B27B9811A29FE8 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:56] 849*2^1429243-1 is not prime. Res64: DEC60BF65650D9B4 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:56] 961*2^1429243-1 is not prime. Res64: 6E56B624E9F60932 Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:56] 993*2^1429243-1 is not prime. Res64: 3686C78E88C119CD Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:56] 623*2^1429244-1 is not prime. Res64: FB539CC8A068CA2A Time : 0.0 sec. user=mdettweiler [2016-05-15 09:59:57] 629*2^1429244-1 is not prime. Res64: BADA89B973925D49 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:08:30] 683*2^1429244-1 is not prime. Res64: B4E2BF22FB0C1153 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:08:34] 819*2^1429244-1 is not prime. Res64: 6AE639CAB1777861 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:08:35] 959*2^1429244-1 is not prime. Res64: 3DD9C6A4BDA6EBE9 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:08:37] 987*2^1429244-1 is not prime. Res64: 649CBDDA6F5F110C Time : 0.0 sec. user=mdettweiler [2016-05-15 10:08:38] 825*2^1429245-1 is not prime. Res64: D7A209492B87E8D4 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:30:48] 885*2^1429245-1 is not prime. Res64: 5A97F1F4C3F3A7B2 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:30:48] 951*2^1429245-1 is not prime. Res64: C30A849EE6CF1393 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:30:49] 651*2^1429246-1 is not prime. Res64: 777A5309A2CFB47F Time : 0.0 sec. user=mdettweiler [2016-05-15 10:30:49] 671*2^1429246-1 is not prime. Res64: 254A021FA4372DC6 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:30:49] 857*2^1429246-1 is not prime. Res64: 26C0DC90D47FD679 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:46:58] 911*2^1429246-1 is not prime. Res64: CC21350F4438C48C Time : 0.0 sec. user=mdettweiler [2016-05-15 10:46:58] 923*2^1429246-1 is not prime. Res64: 470F05BAB458EFA3 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:46:59] 673*2^1429247-1 is not prime. Res64: 61EF6C52C087A6B3 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:46:59] 993*2^1429247-1 is not prime. Res64: 6BC132644E77F9B6 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:46:59] 633*2^1429248-1 is not prime. Res64: 18DDA640CBB9E736 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:47:22] 663*2^1429248-1 is not prime. Res64: 35A1FFB219116F3A Time : 0.0 sec. user=mdettweiler [2016-05-15 10:47:22] 735*2^1429248-1 is not prime. Res64: 76484227D38085CE Time : 0.0 sec. user=mdettweiler [2016-05-15 10:47:23] 795*2^1429248-1 is not prime. Res64: C1BD3EFF9C15EEB8 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:47:23] 815*2^1429248-1 is not prime. Res64: AAC54D575DB8A163 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:47:23] 849*2^1429248-1 is not prime. Res64: 042C24B16793E13E Time : 0.0 sec. user=mdettweiler [2016-05-15 10:56:18] 875*2^1429248-1 is not prime. Res64: D666745FEAFD6607 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:56:19] 899*2^1429248-1 is not prime. Res64: CFCFCEDA05DB3E17 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:56:19] 999*2^1429248-1 is not prime. Res64: 4E207C5602C55F0C Time : 0.0 sec. user=mdettweiler [2016-05-15 10:56:19] 615*2^1429249-1 is not prime. Res64: FD2DA0305AE91E16 Time : 0.0 sec. user=mdettweiler [2016-05-15 10:56:20] 799*2^1429249-1 is not prime. Res64: 3B079F807130A0A1 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:19:19] 847*2^1429249-1 is not prime. Res64: 64CAA37909F8A1E3 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:19:19] 909*2^1429249-1 is not prime. Res64: 6F1726363827022A Time : 0.0 sec. user=mdettweiler [2016-05-15 11:19:19] 701*2^1429250-1 is not prime. Res64: 9ED0B6F5807D02CD Time : 0.0 sec. user=mdettweiler [2016-05-15 11:19:20] 735*2^1429250-1 is not prime. Res64: 19C30475A0D57F42 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:19:20] 755*2^1429250-1 is not prime. Res64: 41487F791EF375D1 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:34:56] 783*2^1429250-1 is not prime. Res64: D47A578589EB86EA Time : 0.0 sec. user=mdettweiler [2016-05-15 11:34:56] 827*2^1429250-1 is not prime. Res64: 223B039AE74DA2A2 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:34:57] 951*2^1429250-1 is not prime. Res64: 8566DE74F7AC9847 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:34:57] 709*2^1429251-1 is not prime. Res64: 5D749B5EC5892E4B Time : 0.0 sec. user=mdettweiler [2016-05-15 11:34:57] 735*2^1429251-1 is not prime. Res64: B69D2A78D1D142CB Time : 0.0 sec. user=mdettweiler [2016-05-15 11:36:08] 741*2^1429251-1 is not prime. Res64: 21DBD7BAFD0898BE Time : 0.0 sec. user=mdettweiler [2016-05-15 11:36:09] 801*2^1429251-1 is not prime. Res64: A57B8577197434F5 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:36:09] 891*2^1429251-1 is not prime. Res64: F589C5C589EDE6EF Time : 0.0 sec. user=mdettweiler [2016-05-15 11:36:10] 951*2^1429251-1 is not prime. Res64: F820B2E92ED9341A Time : 0.0 sec. user=mdettweiler [2016-05-15 11:36:10] 975*2^1429251-1 is not prime. Res64: B91A3B745166B27E Time : 0.0 sec. user=mdettweiler [2016-05-15 11:43:37] 687*2^1429252-1 is not prime. Res64: A1B4C0C495794690 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:43:38] 855*2^1429252-1 is not prime. Res64: 4ED48C7B0B5E27CC Time : 0.0 sec. user=mdettweiler [2016-05-15 11:43:38] 899*2^1429252-1 is not prime. Res64: 6877DF6006D298F7 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:43:38] 947*2^1429252-1 is not prime. Res64: 6B3718F2EDC14CE8 Time : 0.0 sec. user=mdettweiler [2016-05-15 11:43:39] 989*2^1429252-1 is not prime. Res64: F3B7B7854699E4D1 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:05:00] 721*2^1429253-1 is not prime. Res64: FD4749665B1416B4 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:05:04] 735*2^1429253-1 is not prime. Res64: 82CF68ADF8412A12 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:05:07] 861*2^1429253-1 is not prime. Res64: 5B316424E84BACA2 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:05:09] 987*2^1429253-1 is not prime. Res64: B17E5A74A1912661 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:05:12] 635*2^1429254-1 is not prime. Res64: 776704BF777DE40F Time : 0.0 sec. user=mdettweiler [2016-05-15 12:19:48] 681*2^1429254-1 is not prime. Res64: D2B529CAF293FB9B Time : 0.0 sec. user=mdettweiler [2016-05-15 12:19:49] 747*2^1429254-1 is not prime. Res64: FD4E28EB1003DCA4 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:19:49] 797*2^1429254-1 is not prime. Res64: 65A13306424C6E36 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:19:49] 807*2^1429254-1 is not prime. Res64: 1FCF4AE521B2C5E9 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:19:50] 825*2^1429254-1 is not prime. Res64: 402ED08E1384570C Time : 0.0 sec. user=mdettweiler [2016-05-15 12:21:06] 915*2^1429254-1 is not prime. Res64: 104B02169B5F0C38 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:21:06] 661*2^1429255-1 is not prime. Res64: D5F2F59CFCB3DEC2 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:21:07] 715*2^1429255-1 is not prime. Res64: 5E427548C02B3DBC Time : 0.0 sec. user=mdettweiler [2016-05-15 12:21:07] 793*2^1429255-1 is not prime. Res64: 86278F402D239B90 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:21:08] 819*2^1429255-1 is not prime. Res64: F0C04033A8678A1D Time : 0.0 sec. user=mdettweiler [2016-05-15 12:28:24] 885*2^1429255-1 is not prime. Res64: EEFC69EC175A27B5 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:28:25] 895*2^1429255-1 is not prime. Res64: 0DA92A00063A3F3E Time : 0.0 sec. user=mdettweiler [2016-05-15 12:28:25] 915*2^1429255-1 is not prime. Res64: 21EC1CB5A5C4FB8F Time : 0.0 sec. user=mdettweiler [2016-05-15 12:28:25] 925*2^1429255-1 is not prime. Res64: E8AA96A1EB52DBD5 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:28:26] 961*2^1429255-1 is not prime. Res64: 70975F68EACCE50C Time : 0.0 sec. user=mdettweiler [2016-05-15 12:50:14] 973*2^1429255-1 is not prime. Res64: 650C86CC734E1ADD Time : 0.0 sec. user=mdettweiler [2016-05-15 12:50:14] 825*2^1429256-1 is not prime. Res64: D0DCFE62CDFC1BB4 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:50:15] 839*2^1429256-1 is not prime. Res64: A4A154041BD2BBF2 Time : 0.0 sec. user=mdettweiler [2016-05-15 12:50:15] 903*2^1429256-1 is not prime. Res64: EE3008BEAA8F85CD Time : 0.0 sec. user=mdettweiler [2016-05-15 12:50:15] 957*2^1429256-1 is not prime. Res64: 5F3DFB6DB470E050 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:04:49] 727*2^1429257-1 is not prime. Res64: CF04135AA48333B9 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:04:51] 909*2^1429257-1 is not prime. Res64: AF077EABC7BE8BC1 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:04:53] 949*2^1429257-1 is not prime. Res64: 2661F3339B04BE98 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:04:54] 991*2^1429257-1 is not prime. Res64: B7746DD30D071664 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:04:55] 605*2^1429258-1 is not prime. Res64: 301C0FB7545F6341 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:06:17] 677*2^1429258-1 is not prime. Res64: 6343E16B8ED54EF1 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:06:18] 755*2^1429258-1 is not prime. Res64: F0C8BF9070D9D764 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:06:19] 603*2^1429259-1 is not prime. Res64: 9AFB921ABA07FFE1 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:06:20] 685*2^1429259-1 is not prime. Res64: A86E9691A996A54B Time : 0.0 sec. user=mdettweiler [2016-05-15 13:06:21] 799*2^1429259-1 is not prime. Res64: 4291CAA0341F3E96 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:13:17] 859*2^1429259-1 is not prime. Res64: 361D77A9DB8491C1 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:13:17] 861*2^1429259-1 is not prime. Res64: B4041E259037F5BF Time : 0.0 sec. user=mdettweiler [2016-05-15 13:13:18] 647*2^1429260-1 is not prime. Res64: 897A964B70F2AC7D Time : 0.0 sec. user=mdettweiler [2016-05-15 13:13:18] 725*2^1429260-1 is not prime. Res64: 799F494A4E6BD3FD Time : 0.0 sec. user=mdettweiler [2016-05-15 13:13:19] 737*2^1429260-1 is not prime. Res64: 1AFDD33DE0AC1713 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:35:12] 765*2^1429260-1 is not prime. Res64: D9F122551E8C640E Time : 0.0 sec. user=mdettweiler [2016-05-15 13:35:13] 789*2^1429260-1 is not prime. Res64: FBD64A82F233DE06 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:35:13] 893*2^1429260-1 is not prime. Res64: 038ACE15A7C28AC0 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:35:14] 685*2^1429261-1 is not prime. Res64: B59EA8F0A8C2335C Time : 0.0 sec. user=mdettweiler [2016-05-15 13:35:14] 741*2^1429261-1 is not prime. Res64: 144F2659EA8587D7 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:50:04] 847*2^1429261-1 is not prime. Res64: 1D15F024FBB65631 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:50:04] 937*2^1429261-1 is not prime. Res64: 780032B4E144FF7C Time : 0.0 sec. user=mdettweiler [2016-05-15 13:50:04] 951*2^1429261-1 is not prime. Res64: 44E5ED69AF215735 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:50:05] 651*2^1429262-1 is not prime. Res64: E64B00C016FB070B Time : 0.0 sec. user=mdettweiler [2016-05-15 13:50:05] 713*2^1429262-1 is not prime. Res64: 6F847712A78655AD Time : 0.0 sec. user=mdettweiler [2016-05-15 13:51:31] 813*2^1429262-1 is not prime. Res64: A359A13339502E57 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:51:32] 843*2^1429262-1 is not prime. Res64: 83FC092A9C8FA0B5 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:51:32] 639*2^1429263-1 is not prime. Res64: 8844B61371BB9B80 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:51:32] 693*2^1429263-1 is not prime. Res64: 077898CCF8A21C1E Time : 0.0 sec. user=mdettweiler [2016-05-15 13:51:33] 735*2^1429263-1 is not prime. Res64: 531D75271DEB0147 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:58:12] 741*2^1429263-1 is not prime. Res64: EF52FB0F9B6E79F2 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:58:12] 781*2^1429263-1 is not prime. Res64: EE6BB4D2B96DD591 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:58:13] 961*2^1429263-1 is not prime. Res64: A407536BCEED1188 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:58:13] 991*2^1429263-1 is not prime. Res64: B4EB9E00F7BEC579 Time : 0.0 sec. user=mdettweiler [2016-05-15 13:58:13] 623*2^1429264-1 is not prime. Res64: 62EDAA3762F3183B Time : 0.0 sec. user=mdettweiler [2016-05-15 14:19:56] 899*2^1429264-1 is not prime. Res64: 35276F12B877D8F1 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:19:57] 993*2^1429264-1 is not prime. Res64: 51FA65F3D9F3DE5B Time : 0.0 sec. user=mdettweiler [2016-05-15 14:19:57] 651*2^1429265-1 is not prime. Res64: B7F491A95BBC57C2 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:19:57] 675*2^1429265-1 is not prime. Res64: B03A0BBAAFE92CF5 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:19:58] 741*2^1429265-1 is not prime. Res64: 0A9AF930A28020AD Time : 0.0 sec. user=mdettweiler [2016-05-15 14:34:56] 855*2^1429265-1 is not prime. Res64: 0B07F451A5D78D93 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:34:56] 867*2^1429265-1 is not prime. Res64: C0D0EC2FBE1BAFD4 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:34:56] 871*2^1429265-1 is not prime. Res64: 96B2189A29CC52A4 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:34:57] 951*2^1429265-1 is not prime. Res64: 4B8AC9EF166B49CE Time : 0.0 sec. user=mdettweiler [2016-05-15 14:34:57] 969*2^1429265-1 is not prime. Res64: 2886E05745011B3B Time : 0.0 sec. user=mdettweiler [2016-05-15 14:36:17] 677*2^1429266-1 is not prime. Res64: 31E1E0F4DEA67DC1 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:36:17] 683*2^1429266-1 is not prime. Res64: 0A6DDF89ABAFDAEA Time : 0.0 sec. user=mdettweiler [2016-05-15 14:36:18] 705*2^1429266-1 is not prime. Res64: 21D9F086E13BD899 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:36:18] 725*2^1429266-1 is not prime. Res64: 5D92A130F224A7BF Time : 0.0 sec. user=mdettweiler [2016-05-15 14:36:19] 741*2^1429266-1 is not prime. Res64: 6451B9705336130B Time : 0.0 sec. user=mdettweiler [2016-05-15 14:43:04] 833*2^1429266-1 is not prime. Res64: 7507DA687C40AB1D Time : 0.0 sec. user=mdettweiler [2016-05-15 14:43:05] 905*2^1429266-1 is not prime. Res64: B9A36C49FA618CDF Time : 0.0 sec. user=mdettweiler [2016-05-15 14:43:05] 685*2^1429267-1 is not prime. Res64: ADEBEBBBE36D240B Time : 0.0 sec. user=mdettweiler [2016-05-15 14:43:05] 699*2^1429267-1 is not prime. Res64: 9A708CD18BB7D1F5 Time : 0.0 sec. user=mdettweiler [2016-05-15 14:43:06] 769*2^1429267-1 is not prime. Res64: FDB3FA328592D679 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:04:55] 885*2^1429267-1 is not prime. Res64: 63E7C46290F18B5C Time : 0.0 sec. user=mdettweiler [2016-05-15 15:04:56] 915*2^1429267-1 is not prime. Res64: 66CF30CD6C6BF5B6 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:04:57] 931*2^1429267-1 is not prime. Res64: 1A331C72D8DED66C Time : 0.0 sec. user=mdettweiler [2016-05-15 15:04:58] 985*2^1429267-1 is not prime. Res64: 721C5C6B21E65EA8 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:04:59] 617*2^1429268-1 is not prime. Res64: 6205950F99B22426 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:19:55] 797*2^1429268-1 is not prime. Res64: 438DABBCA9D98109 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:19:56] 813*2^1429268-1 is not prime. Res64: 900855CFCE8CCCC6 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:19:56] 839*2^1429268-1 is not prime. Res64: 26189B66BE999C7F Time : 0.0 sec. user=mdettweiler [2016-05-15 15:19:57] 897*2^1429268-1 is not prime. Res64: AFCA2FE8B4688BE9 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:19:57] 609*2^1429269-1 is not prime. Res64: 67C8A029449D8037 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:21:10] 747*2^1429269-1 is not prime. Res64: 27D11005A12F3AC0 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:21:11] 781*2^1429269-1 is not prime. Res64: 7677B40F006A8546 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:21:11] 861*2^1429269-1 is not prime. Res64: 5CB1E421FCF90D04 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:21:12] 895*2^1429269-1 is not prime. Res64: 79EFAA523408136D Time : 0.0 sec. user=mdettweiler [2016-05-15 15:21:12] 663*2^1429270-1 is not prime. Res64: 8B445C4EE757D2B0 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:28:08] 665*2^1429270-1 is not prime. Res64: 0F697705990BB513 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:28:09] 723*2^1429270-1 is not prime. Res64: F774570EA9817F38 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:28:10] 765*2^1429270-1 is not prime. Res64: 61D2027378A6798D Time : 0.0 sec. user=mdettweiler [2016-05-15 15:28:11] 813*2^1429270-1 is not prime. Res64: 3E8B76FE3F238247 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:28:11] 843*2^1429270-1 is not prime. Res64: 3DAF79122415380F Time : 0.0 sec. user=mdettweiler [2016-05-15 15:50:08] 857*2^1429270-1 is not prime. Res64: F1D729FC7086982C Time : 0.0 sec. user=mdettweiler [2016-05-15 15:50:08] 887*2^1429270-1 is not prime. Res64: 8AA37BEE0CA3441C Time : 0.0 sec. user=mdettweiler [2016-05-15 15:50:09] 615*2^1429271-1 is not prime. Res64: BE8800ECCCF17CFC Time : 0.0 sec. user=mdettweiler [2016-05-15 15:50:09] 685*2^1429271-1 is not prime. Res64: 1F74C9A5E8D4F5F3 Time : 0.0 sec. user=mdettweiler [2016-05-15 15:50:10] 763*2^1429271-1 is not prime. Res64: 49E9BAB2A71A81C0 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:05:01] 889*2^1429271-1 is not prime. Res64: 5A1570AA56F7DBDD Time : 0.0 sec. user=mdettweiler [2016-05-15 16:05:03] 909*2^1429271-1 is not prime. Res64: 0F29738110D401E7 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:05:04] 955*2^1429271-1 is not prime. Res64: 5BC6B216BE495A40 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:05:05] 969*2^1429271-1 is not prime. Res64: 6D0DBB03033A6C30 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:05:06] 683*2^1429272-1 is not prime. Res64: 287DBF9DB07C2E56 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:06:19] 699*2^1429272-1 is not prime. Res64: 67F79349B9D9A8D4 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:06:21] 737*2^1429272-1 is not prime. Res64: 8046BEE6A61F1B64 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:06:23] 797*2^1429272-1 is not prime. Res64: 3A7E17982CB79744 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:06:24] 915*2^1429272-1 is not prime. Res64: 5CABF153D472E44D Time : 0.0 sec. user=mdettweiler [2016-05-15 16:06:27] 615*2^1429273-1 is not prime. Res64: 2A130A0EC3A9B441 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:13:28] 639*2^1429273-1 is not prime. Res64: 248E754F6E1C285C Time : 0.0 sec. user=mdettweiler [2016-05-15 16:13:29] 775*2^1429273-1 is not prime. Res64: BC736B3ABD3B44F2 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:13:30] 801*2^1429273-1 is not prime. Res64: ABBF3C4159A85B74 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:13:31] 835*2^1429273-1 is not prime. Res64: 9D785B180BD2E0B2 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:13:31] 847*2^1429273-1 is not prime. Res64: 427B0A33ED42E6F0 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:35:07] 895*2^1429273-1 is not prime. Res64: F706603A0287F413 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:35:07] 957*2^1429273-1 is not prime. Res64: BE8DE37B847E99CA Time : 0.0 sec. user=mdettweiler [2016-05-15 16:35:07] 985*2^1429273-1 is not prime. Res64: 394562A59966E0E2 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:35:08] 665*2^1429274-1 is not prime. Res64: 8D0A6F4A05CADA92 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:35:08] 705*2^1429274-1 is not prime. Res64: 102D4E290CBE8DCA Time : 0.0 sec. user=mdettweiler [2016-05-15 16:52:09] 743*2^1429274-1 is not prime. Res64: B3A0434E63C14239 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:52:09] 837*2^1429274-1 is not prime. Res64: D1E860532616FEFA Time : 0.0 sec. user=mdettweiler [2016-05-15 16:52:09] 887*2^1429274-1 is not prime. Res64: EE71B58C44388EC3 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:52:10] 983*2^1429274-1 is not prime. Res64: 68ACEE95F2A7E14A Time : 0.0 sec. user=mdettweiler [2016-05-15 16:52:10] 891*2^1429275-1 is not prime. Res64: EAEC8ABE93D3122B Time : 0.0 sec. user=mdettweiler [2016-05-15 16:53:30] 961*2^1429275-1 is not prime. Res64: 0782A80F75341791 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:53:30] 603*2^1429276-1 is not prime. Res64: 2BD5265B0390E247 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:53:31] 653*2^1429276-1 is not prime. Res64: E3F70151DAB4D9F5 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:53:31] 705*2^1429276-1 is not prime. Res64: A62108CB152DF605 Time : 0.0 sec. user=mdettweiler [2016-05-15 16:53:32] 717*2^1429276-1 is not prime. Res64: CF8EA761C496F066 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:00:28] 743*2^1429276-1 is not prime. Res64: A16A7B8E5B5E4778 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:00:29] 887*2^1429276-1 is not prime. Res64: 99AC72AC70E4B3DD Time : 0.0 sec. user=mdettweiler [2016-05-15 17:00:30] 905*2^1429276-1 is not prime. Res64: 6B956D23A5387307 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:00:31] 909*2^1429276-1 is not prime. Res64: 9E89C3CE3A64878E Time : 0.0 sec. user=mdettweiler [2016-05-15 17:00:32] 607*2^1429277-1 is not prime. Res64: 2AE5A277F33DA149 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:23:48] 669*2^1429277-1 is not prime. Res64: E1205568ABA4B8DE Time : 0.0 sec. user=mdettweiler [2016-05-15 17:23:49] 729*2^1429277-1 is not prime. Res64: 9D3127D6E5DBA555 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:23:50] 829*2^1429277-1 is not prime. Res64: AD54AA865055CF85 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:23:50] 837*2^1429277-1 is not prime. Res64: F370D8E408C58BE7 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:23:51] 925*2^1429277-1 is not prime. Res64: B208FE181EFB0898 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:38:49] 937*2^1429277-1 is not prime. Res64: 0D62F496869284FF Time : 0.0 sec. user=mdettweiler [2016-05-15 17:38:49] 939*2^1429277-1 is not prime. Res64: 180A5326E992EF24 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:38:50] 681*2^1429278-1 is not prime. Res64: AB24F06CAD3A54CC Time : 0.0 sec. user=mdettweiler [2016-05-15 17:38:50] 693*2^1429278-1 is not prime. Res64: 8933770242D23F47 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:38:50] 707*2^1429278-1 is not prime. Res64: 3AD63AD82E1B7875 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:40:38] 755*2^1429278-1 is not prime. Res64: F96054C4A3C9B8FB Time : 0.0 sec. user=mdettweiler [2016-05-15 17:40:38] 767*2^1429278-1 is not prime. Res64: F00CF1B466322851 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:40:38] 921*2^1429278-1 is not prime. Res64: A39E47C4E1EB1749 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:40:39] 963*2^1429278-1 is not prime. Res64: 910551CEA5492590 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:40:39] 975*2^1429278-1 is not prime. Res64: 4173FD64567E7671 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:47:08] 993*2^1429278-1 is not prime. Res64: 69620F777A8E8D48 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:47:08] 793*2^1429279-1 is not prime. Res64: DF1C9F53EB5401D3 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:47:09] 843*2^1429279-1 is not prime. Res64: A9D6441A58859448 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:47:09] 859*2^1429279-1 is not prime. Res64: 2FC7C68A4EF64F13 Time : 0.0 sec. user=mdettweiler [2016-05-15 17:47:09] 913*2^1429279-1 is not prime. Res64: 991466662F030EC9 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:10:30] 925*2^1429279-1 is not prime. Res64: 28490D574608623B Time : 0.0 sec. user=mdettweiler [2016-05-15 18:10:31] 933*2^1429279-1 is not prime. Res64: 1E5E670EE3F70869 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:10:32] 975*2^1429279-1 is not prime. Res64: AC005422F907B2D4 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:10:33] 979*2^1429279-1 is not prime. Res64: 9A83AAFFA9AF1647 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:10:34] 665*2^1429280-1 is not prime. Res64: A3665B8354924E59 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:27:01] 669*2^1429280-1 is not prime. Res64: E47A4DE7CDA71437 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:27:02] 717*2^1429280-1 is not prime. Res64: 4E2DD72C1FED232E Time : 0.0 sec. user=mdettweiler [2016-05-15 18:27:02] 735*2^1429280-1 is not prime. Res64: E9DF2ED842B4C1D3 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:27:02] 753*2^1429280-1 is not prime. Res64: 4100C1C2882FCEBF Time : 0.0 sec. user=mdettweiler [2016-05-15 18:27:03] 759*2^1429280-1 is not prime. Res64: 84366CC0DF861A33 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:28:57] 767*2^1429280-1 is not prime. Res64: A387B96743E97E84 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:28:57] 797*2^1429280-1 is not prime. Res64: 235A3413ED2F4A4E Time : 0.0 sec. user=mdettweiler [2016-05-15 18:28:58] 803*2^1429280-1 is not prime. Res64: ED946D8404A56516 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:28:58] 819*2^1429280-1 is not prime. Res64: 621FD90BAF332C74 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:28:58] 685*2^1429281-1 is not prime. Res64: 6BFC61CBEEA73373 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:35:55] 819*2^1429281-1 is not prime. Res64: B0F463EB7AFCA838 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:35:55] 849*2^1429281-1 is not prime. Res64: D8D4DD23B056AF19 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:35:56] 907*2^1429281-1 is not prime. Res64: 88A2FE7A9E0CF4C1 Time : 0.0 sec. user=mdettweiler [2016-05-15 18:35:56] 681*2^1429282-1 is not prime. Res64: 14A1D12CEC0B803C Time : 0.0 sec. user=mdettweiler [2016-05-15 18:35:56] 717*2^1429282-1 is not prime. Res64: 154A2D25CA0706E9 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:03:10] 765*2^1429282-1 is not prime. Res64: 95186B49F2530DD1 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:03:11] 777*2^1429282-1 is not prime. Res64: 280B429630F975E4 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:03:12] 945*2^1429282-1 is not prime. Res64: AC3B53849D04E812 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:03:13] 957*2^1429282-1 is not prime. Res64: 625F6F5E7C651FEF Time : 0.0 sec. user=mdettweiler [2016-05-15 19:03:14] 615*2^1429283-1 is not prime. Res64: 211BB3FB7B9155C2 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:20:37] 703*2^1429283-1 is not prime. Res64: AD6324B82DAB7BE7 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:20:38] 753*2^1429283-1 is not prime. Res64: 7B7D806EB3CFA901 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:20:38] 775*2^1429283-1 is not prime. Res64: 2524C22D233172EC Time : 0.0 sec. user=mdettweiler [2016-05-15 19:20:38] 943*2^1429283-1 is not prime. Res64: 637106A95848110C Time : 0.0 sec. user=mdettweiler [2016-05-15 19:20:39] 985*2^1429283-1 is not prime. Res64: 06B32C177D561A2C Time : 0.0 sec. user=mdettweiler [2016-05-15 19:22:35] 605*2^1429284-1 is not prime. Res64: 33DA97C33E813445 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:22:36] 657*2^1429284-1 is not prime. Res64: EB5088547FE224BA Time : 0.0 sec. user=mdettweiler [2016-05-15 19:22:36] 693*2^1429284-1 is not prime. Res64: A18BF22CA7EC5FD3 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:22:36] 765*2^1429284-1 is not prime. Res64: 567A704DF5CEBCB0 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:22:37] 809*2^1429284-1 is not prime. Res64: 01353E670F793152 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:28:48] 863*2^1429284-1 is not prime. Res64: D6C165C20D92A6F6 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:28:49] 893*2^1429284-1 is not prime. Res64: DFCD7AC2FCB8CAA2 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:28:49] 929*2^1429284-1 is not prime. Res64: 8F9C3B4A94E3477B Time : 0.0 sec. user=mdettweiler [2016-05-15 19:28:49] 625*2^1429285-1 is not prime. Res64: 3D0C3324224A19B4 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:28:49] 649*2^1429285-1 is not prime. Res64: 38E3B2C517B92FE5 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:53:56] 687*2^1429285-1 is not prime. Res64: 0A51E3173CB5D9B2 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:53:56] 895*2^1429285-1 is not prime. Res64: A96B4E7356BB3DE8 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:53:57] 919*2^1429285-1 is not prime. Res64: C2E685F843E0501F Time : 0.0 sec. user=mdettweiler [2016-05-15 19:53:57] 987*2^1429285-1 is not prime. Res64: 097F46EFEEAFC965 Time : 0.0 sec. user=mdettweiler [2016-05-15 19:53:57] 999*2^1429285-1 is not prime. Res64: A86B6D50C55279CF Time : 0.0 sec. user=mdettweiler [2016-05-15 20:10:40] 641*2^1429286-1 is not prime. Res64: B715BBE56ADF26A4 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:10:42] 645*2^1429286-1 is not prime. Res64: 39A3EDE756E9F599 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:10:44] 663*2^1429286-1 is not prime. Res64: 72AD8F9B7286304C Time : 0.0 sec. user=mdettweiler [2016-05-15 20:10:46] 773*2^1429286-1 is not prime. Res64: EE9BD5D263A857D6 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:10:47] 831*2^1429286-1 is not prime. Res64: BBFA0D4A08D0123B Time : 0.0 sec. user=mdettweiler [2016-05-15 20:13:21] 843*2^1429286-1 is not prime. Res64: 2B6D6B96307A37BC Time : 0.0 sec. user=mdettweiler [2016-05-15 20:13:22] 981*2^1429286-1 is not prime. Res64: 2EF3E788C00B945B Time : 0.0 sec. user=mdettweiler [2016-05-15 20:13:23] 649*2^1429287-1 is not prime. Res64: 676B95FA22527597 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:13:23] 735*2^1429287-1 is not prime. Res64: 84B2F2C1D368174F Time : 0.0 sec. user=mdettweiler [2016-05-15 20:13:24] 805*2^1429287-1 is not prime. Res64: 1D99B13C631B9CC9 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:20:39] 861*2^1429287-1 is not prime. Res64: 26A058F18AF24BB3 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:20:39] 975*2^1429287-1 is not prime. Res64: 58EE9E3830F433E5 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:20:40] 999*2^1429287-1 is not prime. Res64: 2DAB9E21166BA6D8 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:20:40] 765*2^1429288-1 is not prime. Res64: DEA8187585C38F82 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:20:40] 875*2^1429288-1 is not prime. Res64: 285FAC00714DADCE Time : 0.0 sec. user=mdettweiler [2016-05-15 20:46:18] 957*2^1429288-1 is not prime. Res64: 49E18441F08461C1 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:46:18] 959*2^1429288-1 is not prime. Res64: 13FE75C2193455EF Time : 0.0 sec. user=mdettweiler [2016-05-15 20:46:19] 789*2^1429289-1 is not prime. Res64: 50E461068B7AF7D1 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:46:19] 831*2^1429289-1 is not prime. Res64: 63C0D7D3C8DD0F29 Time : 0.0 sec. user=mdettweiler [2016-05-15 20:46:19] 867*2^1429289-1 is not prime. Res64: 346178932929C584 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:03:06] 889*2^1429289-1 is not prime. Res64: C337E62F348FFA9F Time : 0.0 sec. user=mdettweiler [2016-05-15 21:03:08] 909*2^1429289-1 is not prime. Res64: B369E933CFD7816E Time : 0.0 sec. user=mdettweiler [2016-05-15 21:03:10] 969*2^1429289-1 is not prime. Res64: 3AA782151278FD0E Time : 0.0 sec. user=mdettweiler [2016-05-15 21:03:12] 651*2^1429290-1 is not prime. Res64: F3F6060495B0ECFB Time : 0.0 sec. user=mdettweiler [2016-05-15 21:03:15] 765*2^1429290-1 is not prime. Res64: 73A1AA28C8EDD724 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:06:15] 803*2^1429290-1 is not prime. Res64: A4D56506BFC99A3A Time : 0.0 sec. user=mdettweiler [2016-05-15 21:06:16] 825*2^1429290-1 is not prime. Res64: 446E06A06FFC43C1 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:06:20] 851*2^1429290-1 is not prime. Res64: F8D55B2F8F9180DE Time : 0.0 sec. user=mdettweiler [2016-05-15 21:06:23] 893*2^1429290-1 is not prime. Res64: 8D10078D1ACF11F5 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:06:25] 843*2^1429291-1 is not prime. Res64: 588D375FB3FC0410 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:12:40] 871*2^1429291-1 is not prime. Res64: 44C3B44550ED7D3F Time : 0.0 sec. user=mdettweiler [2016-05-15 21:12:41] 635*2^1429292-1 is not prime. Res64: 3DA7BC0C7B30ECC9 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:12:41] 665*2^1429292-1 is not prime. Res64: E0401601207C600B Time : 0.0 sec. user=mdettweiler [2016-05-15 21:12:42] 677*2^1429292-1 is not prime. Res64: 1711B27641E13929 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:12:42] 717*2^1429292-1 is not prime. Res64: 3AA76F69FACBBBE0 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:34:30] 873*2^1429292-1 is not prime. Res64: 9EC80E79CE1A59C9 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:34:30] 915*2^1429292-1 is not prime. Res64: 07D0DC334BA742F9 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:34:31] 923*2^1429292-1 is not prime. Res64: 2424005E5B10D9D4 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:34:31] 929*2^1429292-1 is not prime. Res64: 0786A69573BC5158 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:34:32] 935*2^1429292-1 is not prime. Res64: EF9F6155A1F49365 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:49:55] 987*2^1429292-1 is not prime. Res64: 05931800C90BE0E2 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:49:55] 625*2^1429293-1 is not prime. Res64: 44D776612AA79B31 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:49:56] 805*2^1429293-1 is not prime. Res64: 1889DEAED39C33E9 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:49:56] 819*2^1429293-1 is not prime. Res64: 78EEC62905E16AAE Time : 0.0 sec. user=mdettweiler [2016-05-15 21:49:57] 895*2^1429293-1 is not prime. Res64: 829E61261EBE161F Time : 0.0 sec. user=mdettweiler [2016-05-15 21:52:15] 955*2^1429293-1 is not prime. Res64: BF2855DA0B1827EA Time : 0.0 sec. user=mdettweiler [2016-05-15 21:52:16] 961*2^1429293-1 is not prime. Res64: 5F0FF4A70D0E2444 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:52:16] 969*2^1429293-1 is not prime. Res64: C598956D555E0F74 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:52:16] 979*2^1429293-1 is not prime. Res64: 750DEFB3C61FC318 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:52:17] 657*2^1429294-1 is not prime. Res64: 25BCD85393104728 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:57:51] 707*2^1429294-1 is not prime. Res64: 4EB5598BDBDA6490 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:57:51] 731*2^1429294-1 is not prime. Res64: C79099DD4D8CEBF4 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:57:52] 791*2^1429294-1 is not prime. Res64: 41ACB1BDC6277430 Time : 0.0 sec. user=mdettweiler [2016-05-15 21:57:52] 863*2^1429294-1 is not prime. Res64: 6D822FADFBD2552C Time : 0.0 sec. user=mdettweiler [2016-05-15 21:57:53] 903*2^1429294-1 is not prime. Res64: 79CDFD726EDF746A Time : 0.0 sec. user=mdettweiler [2016-05-15 22:19:23] 957*2^1429294-1 is not prime. Res64: 14739D7D7430E275 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:19:24] 643*2^1429295-1 is not prime. Res64: 624B389382A8FEA0 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:19:24] 789*2^1429295-1 is not prime. Res64: 59417E921245F085 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:19:24] 939*2^1429295-1 is not prime. Res64: D9FFC0EF13B9B4AE Time : 0.0 sec. user=mdettweiler [2016-05-15 22:19:25] 969*2^1429295-1 is not prime. Res64: 1BBBA0AF3D2EE495 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:35:12] 669*2^1429296-1 is not prime. Res64: BF29BF69BDACB4C6 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:35:13] 725*2^1429296-1 is not prime. Res64: 01A6FFA2E7217AD0 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:35:13] 843*2^1429296-1 is not prime. Res64: F21D39CD0B9D2AB0 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:35:14] 993*2^1429296-1 is not prime. Res64: 3138892EF8803FE2 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:35:14] 741*2^1429297-1 is not prime. Res64: A7226F894D658A8F Time : 0.0 sec. user=mdettweiler [2016-05-15 22:37:24] 861*2^1429297-1 is not prime. Res64: 9A267E4CB0B2737F Time : 0.0 sec. user=mdettweiler [2016-05-15 22:37:25] 871*2^1429297-1 is not prime. Res64: C5D4867E37010005 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:37:25] 915*2^1429297-1 is not prime. Res64: 32C7DCD346CA79A4 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:37:25] 967*2^1429297-1 is not prime. Res64: 9389D3B473432334 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:37:26] 997*2^1429297-1 is not prime. Res64: D4E4574C758B0992 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:42:38] 603*2^1429298-1 is not prime. Res64: 2393AC319D6B647F Time : 0.0 sec. user=mdettweiler [2016-05-15 22:42:38] 705*2^1429298-1 is not prime. Res64: 89FFDF747DD7EC17 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:42:39] 797*2^1429298-1 is not prime. Res64: 8FF05C64DF2A4323 Time : 0.0 sec. user=mdettweiler [2016-05-15 22:42:39] 843*2^1429298-1 is not prime. Res64: 5F5E6454570735BB Time : 0.0 sec. user=mdettweiler [2016-05-15 22:42:40] 885*2^1429298-1 is not prime. Res64: EDD23F1186288AF3 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:04:31] 963*2^1429298-1 is not prime. Res64: 618535D404E696BD Time : 0.0 sec. user=mdettweiler [2016-05-15 23:04:32] 751*2^1429299-1 is not prime. Res64: 0C59FDA57FD1B2A2 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:04:33] 753*2^1429299-1 is not prime. Res64: 67B95300B58A3D09 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:04:34] 769*2^1429299-1 is not prime. Res64: 1F8A2CFC64648D86 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:04:35] 955*2^1429299-1 is not prime. Res64: 6ABAAE76A2A39681 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:20:26] 603*2^1429300-1 is not prime. Res64: 52F823F6088F45BB Time : 0.0 sec. user=mdettweiler [2016-05-15 23:20:27] 629*2^1429300-1 is not prime. Res64: 9272EFEA460B9033 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:20:27] 675*2^1429300-1 is not prime. Res64: 559852F838C45C75 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:20:28] 699*2^1429300-1 is not prime. Res64: C4EB86881F127E20 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:20:28] 777*2^1429300-1 is not prime. Res64: 97B49E88589FC172 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:22:29] 857*2^1429300-1 is not prime. Res64: 21888A529A13E501 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:22:30] 915*2^1429300-1 is not prime. Res64: 0C05A7E6D2E83120 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:22:31] 975*2^1429300-1 is not prime. Res64: F36987055DE4DD51 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:22:32] 987*2^1429300-1 is not prime. Res64: 0361330EEE112077 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:22:32] 615*2^1429301-1 is not prime. Res64: FC34D1137ED30D92 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:27:26] 651*2^1429301-1 is not prime. Res64: 2F082DB1E2655F03 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:27:26] 691*2^1429301-1 is not prime. Res64: 1485140F2E75510D Time : 0.0 sec. user=mdettweiler [2016-05-15 23:27:26] 711*2^1429301-1 is not prime. Res64: E0FA3E14F9530ACD Time : 0.0 sec. user=mdettweiler [2016-05-15 23:27:27] 715*2^1429301-1 is not prime. Res64: 6E1E6E32A44ABFF9 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:27:27] 949*2^1429301-1 is not prime. Res64: A77BE4F32CA3630C Time : 0.0 sec. user=mdettweiler [2016-05-15 23:49:41] 981*2^1429301-1 is not prime. Res64: 3D6F27D76DDAAB44 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:49:41] 665*2^1429302-1 is not prime. Res64: 34855F1B47D04C17 Time : 0.0 sec. user=mdettweiler [2016-05-15 23:49:42] 683*2^1429302-1 is not prime. Res64: 746FD0DA6376D0BB Time : 0.0 sec. user=mdettweiler [2016-05-15 23:49:42] 723*2^1429302-1 is not prime. Res64: 49BB1ADD1DD55CBC Time : 0.0 sec. user=mdettweiler [2016-05-15 23:49:43] 825*2^1429302-1 is not prime. Res64: AA26705A345C38DC Time : 0.0 sec.