user=mdettweiler [2016-01-17 00:02:50] 861*2^1419550-1 is not prime. Res64: 324A5D09DE27B58B Time : 0.0 sec. user=mdettweiler [2016-01-17 00:02:51] 917*2^1419550-1 is not prime. Res64: ED75E87564648AC4 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:09:44] 995*2^1419550-1 is not prime. Res64: 6F129EB8A29541D3 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:09:44] 621*2^1419551-1 is not prime. Res64: D7B65FCD1F07C598 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:18:14] 685*2^1419551-1 is not prime. Res64: DCE9D0E3B08FF97B Time : 0.0 sec. user=mdettweiler [2016-01-17 00:18:15] 823*2^1419551-1 is not prime. Res64: 28767674D1068A78 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:20:47] 871*2^1419551-1 is not prime. Res64: B188F75C2615610B Time : 0.0 sec. user=mdettweiler [2016-01-17 00:20:47] 885*2^1419551-1 is not prime. Res64: 6E0CDC26DCDDA416 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:22:33] 969*2^1419551-1 is not prime. Res64: F90501696D413B4F Time : 0.0 sec. user=mdettweiler [2016-01-17 00:22:33] 981*2^1419551-1 is not prime. Res64: 9DAE27A4C8528583 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:29:20] 993*2^1419551-1 is not prime. Res64: B97C35C01A58341F Time : 0.0 sec. user=mdettweiler [2016-01-17 00:29:21] 629*2^1419552-1 is not prime. Res64: 215C0DFDED89279C Time : 0.0 sec. user=mdettweiler [2016-01-17 00:40:09] 797*2^1419552-1 is not prime. Res64: 873193A22B4F7BEE Time : 0.0 sec. user=mdettweiler [2016-01-17 00:40:09] 639*2^1419553-1 is not prime. Res64: E7AB87FAB1C1FB89 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:41:28] 633*2^1419552-1 is not prime. Res64: 98DE6AC492DECEA6 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:41:28] 759*2^1419552-1 is not prime. Res64: A984468AF337C843 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:41:54] 699*2^1419553-1 is not prime. Res64: 816CA4797098401C Time : 0.0 sec. user=mdettweiler [2016-01-17 00:41:55] 705*2^1419553-1 is not prime. Res64: 52D7A26370E57ED2 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:48:17] 715*2^1419553-1 is not prime. Res64: 42157B77968A979E Time : 0.0 sec. user=mdettweiler [2016-01-17 00:48:17] 919*2^1419553-1 is not prime. Res64: 27AF5CAAE7E84911 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:58:48] 999*2^1419553-1 is not prime. Res64: 5A6C72C6F9E6318A Time : 0.0 sec. user=mdettweiler [2016-01-17 00:58:48] 623*2^1419554-1 is not prime. Res64: 3E85A29B97D241DF Time : 0.0 sec. user=mdettweiler [2016-01-17 00:59:43] 641*2^1419554-1 is not prime. Res64: 9FE737697463F480 Time : 0.0 sec. user=mdettweiler [2016-01-17 00:59:43] 711*2^1419554-1 is not prime. Res64: FB14F9B5EE489D08 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:00:04] 875*2^1419554-1 is not prime. Res64: 7860E15E604A6AF0 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:00:05] 945*2^1419554-1 is not prime. Res64: 0BA50CE00BE5ADB5 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:06:44] 971*2^1419554-1 is not prime. Res64: C61336B8F7B0489D Time : 0.0 sec. user=mdettweiler [2016-01-17 01:06:44] 805*2^1419555-1 is not prime. Res64: 60CC4C3854AAC929 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:17:25] 819*2^1419555-1 is not prime. Res64: 6B9F444664996462 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:17:25] 859*2^1419555-1 is not prime. Res64: F95CA6BA97B43B52 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:17:47] 919*2^1419555-1 is not prime. Res64: 25C88CC51DA9FCD6 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:17:48] 951*2^1419555-1 is not prime. Res64: 485735E539E30518 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:18:26] 615*2^1419556-1 is not prime. Res64: EDD50CF1550535A9 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:18:26] 723*2^1419556-1 is not prime. Res64: C8D071BB11B1D459 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:25:22] 765*2^1419556-1 is not prime. Res64: 3B4E6AAB5EC3979C Time : 0.0 sec. user=mdettweiler [2016-01-17 01:25:23] 857*2^1419556-1 is not prime. Res64: FA528D1CA5201848 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:35:59] 869*2^1419556-1 is not prime. Res64: F493421BCAD207B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:36:00] 939*2^1419556-1 is not prime. Res64: 02D1D605491E797A Time : 0.0 sec. user=mdettweiler [2016-01-17 01:36:01] 615*2^1419557-1 is not prime. Res64: 49DA0AA59F177944 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:36:01] 631*2^1419557-1 is not prime. Res64: 7664B60CC05CA40D Time : 0.0 sec. user=mdettweiler [2016-01-17 01:36:50] 685*2^1419557-1 is not prime. Res64: EE92CAFD0B61DE94 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:36:51] 927*2^1419557-1 is not prime. Res64: 9808EFB87BA6AADB Time : 0.0 sec. user=mdettweiler [2016-01-17 01:43:58] 939*2^1419557-1 is not prime. Res64: CAED88CA982FC417 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:43:58] 945*2^1419557-1 is not prime. Res64: 43FC8AFD7EBEC088 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:54:02] 713*2^1419558-1 is not prime. Res64: D178A81EECEBB131 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:54:02] 761*2^1419558-1 is not prime. Res64: 8AC55E5048F7E617 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:54:46] 949*2^1419557-1 is not prime. Res64: 85EEF86B2836A3E8 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:54:47] 997*2^1419557-1 is not prime. Res64: 18657283D8AD1D52 Time : 0.0 sec. user=mdettweiler [2016-01-17 01:55:14] 773*2^1419558-1 is not prime. Res64: 06ABDA632B8E8F7D Time : 0.0 sec. user=mdettweiler [2016-01-17 01:55:15] 777*2^1419558-1 is not prime. Res64: 41B8940C2A473D1E Time : 0.0 sec. user=mdettweiler [2016-01-17 02:02:35] 821*2^1419558-1 is not prime. Res64: D34B2A5F57C8F7B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:02:35] 963*2^1419558-1 is not prime. Res64: 866D2E5A18DBB93C Time : 0.0 sec. user=mdettweiler [2016-01-17 02:12:16] 971*2^1419558-1 is not prime. Res64: 412D45ED82D1144B Time : 0.0 sec. user=mdettweiler [2016-01-17 02:12:16] 993*2^1419558-1 is not prime. Res64: 0CB7455F0D0F1C14 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:13:26] 639*2^1419559-1 is not prime. Res64: 65B6223B599FAAEE Time : 0.0 sec. user=mdettweiler [2016-01-17 02:13:26] 771*2^1419559-1 is not prime. Res64: 84AB5D6D05AFA6B3 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:13:26] 1001*2^1419558-1 is not prime. Res64: 969D71DC678CA3EF Time : 0.0 sec. user=mdettweiler [2016-01-17 02:13:27] 615*2^1419559-1 is not prime. Res64: 002803D77009C662 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:21:07] 793*2^1419559-1 is not prime. Res64: FB273D95887B9B40 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:21:07] 859*2^1419559-1 is not prime. Res64: 9A8BBEED96CABD78 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:30:31] 939*2^1419559-1 is not prime. Res64: C73627DE7A6F6744 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:30:32] 603*2^1419560-1 is not prime. Res64: B664FF9572F8D587 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:31:49] 609*2^1419560-1 is not prime. Res64: 88296DA19CE85941 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:31:50] 747*2^1419560-1 is not prime. Res64: 77D52B52B0A83CE0 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:31:57] 795*2^1419560-1 is not prime. Res64: 10E1542EA6BDC119 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:31:57] 833*2^1419560-1 is not prime. Res64: 148E8A3E332FE2CB Time : 0.0 sec. user=mdettweiler [2016-01-17 02:39:38] 855*2^1419560-1 is not prime. Res64: 0EED97F8CCA64319 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:39:38] 917*2^1419560-1 is not prime. Res64: 7F1E69A3839309DE Time : 0.0 sec. user=mdettweiler [2016-01-17 02:48:50] 995*2^1419560-1 is not prime. Res64: E984503412E6F42B Time : 0.0 sec. user=mdettweiler [2016-01-17 02:48:50] 615*2^1419561-1 is not prime. Res64: 506B28A4E6CEE0CA Time : 0.0 sec. user=mdettweiler [2016-01-17 02:50:07] 741*2^1419561-1 is not prime. Res64: 9098F41A19BDDFFD Time : 0.0 sec. user=mdettweiler [2016-01-17 02:50:08] 745*2^1419561-1 is not prime. Res64: 0107F083BCC96F4C Time : 0.0 sec. user=mdettweiler [2016-01-17 02:50:26] 747*2^1419561-1 is not prime. Res64: 491494B0F498BD88 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:50:26] 837*2^1419561-1 is not prime. Res64: 5EDA2F95C16CCD3D Time : 0.0 sec. user=mdettweiler [2016-01-17 02:58:07] 861*2^1419561-1 is not prime. Res64: 810071540625CC20 Time : 0.0 sec. user=mdettweiler [2016-01-17 02:58:08] 945*2^1419561-1 is not prime. Res64: 3887B9A8A6F2184F Time : 0.0 sec. user=mdettweiler [2016-01-17 03:06:57] 603*2^1419562-1 is not prime. Res64: BFA661303DBCFEE8 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:06:59] 651*2^1419562-1 is not prime. Res64: DE9C6DE2226039A8 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:08:26] 735*2^1419562-1 is not prime. Res64: 61AAF489A53464E7 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:08:27] 747*2^1419562-1 is not prime. Res64: ED16D423BE169B60 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:08:53] 983*2^1419562-1 is not prime. Res64: 6F6BBC2BBC53BE05 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:08:54] 615*2^1419563-1 is not prime. Res64: 5AF9481B1B2BDCC5 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:16:55] 669*2^1419563-1 is not prime. Res64: A1FA9CD787A33EAE Time : 0.0 sec. user=mdettweiler [2016-01-17 03:16:56] 685*2^1419563-1 is not prime. Res64: 1B112418CA0F60D1 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:25:24] 693*2^1419563-1 is not prime. Res64: 35AF9712EAE5816C Time : 0.0 sec. user=mdettweiler [2016-01-17 03:25:26] 745*2^1419563-1 is not prime. Res64: 7170BD5E9A0AEA3F Time : 0.0 sec. user=mdettweiler [2016-01-17 03:26:58] 771*2^1419563-1 is not prime. Res64: D9D5B28D19A68C3C Time : 0.0 sec. user=mdettweiler [2016-01-17 03:26:59] 781*2^1419563-1 is not prime. Res64: 64983BA084FD34DC Time : 0.0 sec. user=mdettweiler [2016-01-17 03:27:29] 629*2^1419564-1 is not prime. Res64: 67AE52AD27094FE6 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:27:31] 663*2^1419564-1 is not prime. Res64: 2604F6BB76E8F04B Time : 0.0 sec. user=mdettweiler [2016-01-17 03:35:42] 719*2^1419564-1 is not prime. Res64: C724A3B111201527 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:35:45] 759*2^1419564-1 is not prime. Res64: 4309A52752D32BF6 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:43:49] 809*2^1419564-1 is not prime. Res64: 90900BDF6E0BF984 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:43:50] 857*2^1419564-1 is not prime. Res64: FDAA15FBCC12F227 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:45:42] 863*2^1419564-1 is not prime. Res64: 444B48F1F8290ECA Time : 0.0 sec. user=mdettweiler [2016-01-17 03:45:44] 929*2^1419564-1 is not prime. Res64: 44C7A81A971F0839 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:46:07] 945*2^1419564-1 is not prime. Res64: 3318CF6707D2B2A9 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:46:10] 759*2^1419565-1 is not prime. Res64: 8352D6D5E6D6BA32 Time : 0.0 sec. user=mdettweiler [2016-01-17 03:54:33] 789*2^1419565-1 is not prime. Res64: CB219E77E10CFD0B Time : 0.0 sec. user=mdettweiler [2016-01-17 03:54:35] 985*2^1419565-1 is not prime. Res64: 6003E3C4439F8EA9 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:02:28] 641*2^1419566-1 is not prime. Res64: BE5B5F59BD8471E3 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:02:30] 651*2^1419566-1 is not prime. Res64: 9504BD87AF1A1164 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:04:26] 683*2^1419566-1 is not prime. Res64: C8D2439F04963A3F Time : 0.0 sec. user=mdettweiler [2016-01-17 04:04:28] 711*2^1419566-1 is not prime. Res64: 042F7571E14EAE1C Time : 0.0 sec. user=mdettweiler [2016-01-17 04:05:06] 887*2^1419566-1 is not prime. Res64: 3CA489791E498F9E Time : 0.0 sec. user=mdettweiler [2016-01-17 04:05:08] 897*2^1419566-1 is not prime. Res64: AC31C59112960D57 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:13:59] 917*2^1419566-1 is not prime. Res64: 87588CCAABF2F72B Time : 0.0 sec. user=mdettweiler [2016-01-17 04:14:00] 981*2^1419566-1 is not prime. Res64: 9463507E7B1213BB Time : 0.0 sec. user=mdettweiler [2016-01-17 04:21:43] 993*2^1419566-1 is not prime. Res64: 249DC6B5537F583F Time : 0.0 sec. user=mdettweiler [2016-01-17 04:21:44] 643*2^1419567-1 is not prime. Res64: A9F77546886DDC5A Time : 0.0 sec. user=mdettweiler [2016-01-17 04:23:46] 675*2^1419567-1 is not prime. Res64: AE6F72AD95E622B5 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:23:47] 703*2^1419567-1 is not prime. Res64: FB62C3897D96B2C4 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:24:53] 705*2^1419567-1 is not prime. Res64: A732813CBDBB973D Time : 0.0 sec. user=mdettweiler [2016-01-17 04:24:54] 741*2^1419567-1 is not prime. Res64: 5ACC0BF2DE27EA5C Time : 0.0 sec. user=mdettweiler [2016-01-17 04:33:06] 805*2^1419567-1 is not prime. Res64: 2D6F0DDC9791EFA1 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:33:07] 909*2^1419567-1 is not prime. Res64: D23F0EC2DAC80436 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:40:31] 945*2^1419567-1 is not prime. Res64: BA7A6F7C4B704BFF Time : 0.0 sec. user=mdettweiler [2016-01-17 04:40:31] 963*2^1419567-1 is not prime. Res64: FC25A14F0FF8AE46 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:42:51] 813*2^1419568-1 is not prime. Res64: 65519926B9C26CCD Time : 0.0 sec. user=mdettweiler [2016-01-17 04:42:52] 909*2^1419568-1 is not prime. Res64: 24A43169F67FDE9A Time : 0.0 sec. user=mdettweiler [2016-01-17 04:44:02] 957*2^1419568-1 is not prime. Res64: CE95AF5E5CFC1D61 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:44:02] 969*2^1419568-1 is not prime. Res64: E3F3FAABEA0AEA30 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:52:31] 645*2^1419569-1 is not prime. Res64: F81B746B9D017F9D Time : 0.0 sec. user=mdettweiler [2016-01-17 04:52:32] 727*2^1419569-1 is not prime. Res64: 2675D8972CB14414 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:59:59] 747*2^1419569-1 is not prime. Res64: 1541F8D5D3DA98C8 Time : 0.0 sec. user=mdettweiler [2016-01-17 04:59:59] 957*2^1419569-1 is not prime. Res64: 6DF4C45D27C6C8AA Time : 0.0 sec. user=mdettweiler [2016-01-17 05:02:46] 991*2^1419569-1 is not prime. Res64: B1F53908FD4B983E Time : 0.0 sec. user=mdettweiler [2016-01-17 05:02:48] 711*2^1419570-1 is not prime. Res64: 893527E8708B4812 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:03:54] 741*2^1419570-1 is not prime. Res64: 77E8A3F00DAA445A Time : 0.0 sec. user=mdettweiler [2016-01-17 05:03:56] 777*2^1419570-1 is not prime. Res64: 41C06FC3DCE76D0F Time : 0.0 sec. user=mdettweiler [2016-01-17 05:11:42] 783*2^1419570-1 is not prime. Res64: 711EE31DDE47007A Time : 0.0 sec. user=mdettweiler [2016-01-17 05:11:43] 803*2^1419570-1 is not prime. Res64: DBC519D76A25FEAC Time : 0.0 sec. user=mdettweiler [2016-01-17 05:18:19] 933*2^1419570-1 is not prime. Res64: 01FE7286D0E66B9C Time : 0.0 sec. user=mdettweiler [2016-01-17 05:18:20] 603*2^1419571-1 is not prime. Res64: C8E1C5B658ADCFE0 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:21:17] 651*2^1419571-1 is not prime. Res64: 33694D8C7FBE1940 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:21:18] 703*2^1419571-1 is not prime. Res64: F91C4DC9C4131950 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:22:34] 735*2^1419571-1 is not prime. Res64: A3293CD10AE11F4A Time : 0.0 sec. user=mdettweiler [2016-01-17 05:22:34] 829*2^1419571-1 is not prime. Res64: AE253B4B487D4870 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:30:09] 859*2^1419571-1 is not prime. Res64: CB7AE2AF501DA96C Time : 0.0 sec. user=mdettweiler [2016-01-17 05:30:10] 861*2^1419571-1 is not prime. Res64: B5DB8709715B416A Time : 0.0 sec. user=mdettweiler [2016-01-17 05:36:31] 871*2^1419571-1 is not prime. Res64: 2089137E7946F0FE Time : 0.0 sec. user=mdettweiler [2016-01-17 05:36:32] 885*2^1419571-1 is not prime. Res64: 89F23C282CA412DD Time : 0.0 sec. user=mdettweiler [2016-01-17 05:39:36] 975*2^1419571-1 is not prime. Res64: C191D1B738426AA1 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:39:37] 615*2^1419572-1 is not prime. Res64: B6B59F945802B872 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:41:07] 633*2^1419572-1 is not prime. Res64: 12E2B58F9D905EB3 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:41:08] 777*2^1419572-1 is not prime. Res64: 0876979781516E70 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:48:37] 833*2^1419572-1 is not prime. Res64: C8429D80BD3CD67E Time : 0.0 sec. user=mdettweiler [2016-01-17 05:48:38] 957*2^1419572-1 is not prime. Res64: B819707DBE0CB0CB Time : 0.0 sec. user=mdettweiler [2016-01-17 05:54:53] 983*2^1419572-1 is not prime. Res64: 4D788511EE209380 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:54:54] 651*2^1419573-1 is not prime. Res64: 89849A2E403A709D Time : 0.0 sec. user=mdettweiler [2016-01-17 05:58:04] 741*2^1419573-1 is not prime. Res64: 7484CC76AFB1FE7D Time : 0.0 sec. user=mdettweiler [2016-01-17 05:58:05] 745*2^1419573-1 is not prime. Res64: 781545A35A457912 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:59:49] 847*2^1419573-1 is not prime. Res64: BC3F2260C0A8DE10 Time : 0.0 sec. user=mdettweiler [2016-01-17 05:59:50] 859*2^1419573-1 is not prime. Res64: EAC5B99457239138 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:07:19] 891*2^1419573-1 is not prime. Res64: AB7572B524BA4BD2 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:07:20] 945*2^1419573-1 is not prime. Res64: 1FE2E67F2992BBCD Time : 0.0 sec. user=mdettweiler [2016-01-17 06:13:01] 987*2^1419573-1 is not prime. Res64: 7F9A5B768B741B21 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:13:02] 623*2^1419574-1 is not prime. Res64: 5C29F83DF3B5EF06 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:16:38] 665*2^1419574-1 is not prime. Res64: 9B79245C2DEF6739 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:16:39] 677*2^1419574-1 is not prime. Res64: B68684C1351209E3 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:18:24] 707*2^1419574-1 is not prime. Res64: B0A8DD10F15ABC9F Time : 0.0 sec. user=mdettweiler [2016-01-17 06:18:26] 717*2^1419574-1 is not prime. Res64: FF618C0600119176 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:26:12] 737*2^1419574-1 is not prime. Res64: 1747DA7BF1D957DF Time : 0.0 sec. user=mdettweiler [2016-01-17 06:26:12] 773*2^1419574-1 is not prime. Res64: AF86732031E3AE4E Time : 0.0 sec. user=mdettweiler [2016-01-17 06:31:24] 815*2^1419574-1 is not prime. Res64: 73DA346A4C6A3E2B Time : 0.0 sec. user=mdettweiler [2016-01-17 06:31:25] 833*2^1419574-1 is not prime. Res64: 2F164E53EC8E6442 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:35:14] 917*2^1419574-1 is not prime. Res64: 2E1F66AEDD77F73F Time : 0.0 sec. user=mdettweiler [2016-01-17 06:35:15] 983*2^1419574-1 is not prime. Res64: B5F517438CFED6CA Time : 0.0 sec. user=mdettweiler [2016-01-17 06:37:12] 643*2^1419575-1 is not prime. Res64: CD586E6D03724946 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:37:13] 705*2^1419575-1 is not prime. Res64: 679D760E9F5FC760 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:44:50] 721*2^1419575-1 is not prime. Res64: 825ECDC8DA3C6925 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:44:51] 781*2^1419575-1 is not prime. Res64: C6CB2E109C73160E Time : 0.0 sec. user=mdettweiler [2016-01-17 06:49:36] 913*2^1419575-1 is not prime. Res64: EBFF3AA7B935A194 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:49:37] 963*2^1419575-1 is not prime. Res64: 4872870E78871464 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:53:34] 767*2^1419576-1 is not prime. Res64: 43EC686E99A17250 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:53:35] 825*2^1419576-1 is not prime. Res64: FDDF8BF6DF9362C0 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:55:45] 845*2^1419576-1 is not prime. Res64: 8051B4C076C5EDA1 Time : 0.0 sec. user=mdettweiler [2016-01-17 06:55:46] 975*2^1419576-1 is not prime. Res64: F25C5BAADA16AAC6 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:03:29] 799*2^1419577-1 is not prime. Res64: A3B86A50AC43038B Time : 0.0 sec. user=mdettweiler [2016-01-17 07:03:31] 801*2^1419577-1 is not prime. Res64: E11708A4DDFBB2E9 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:07:55] 623*2^1419578-1 is not prime. Res64: CC959173A8CAEFDF Time : 0.0 sec. user=mdettweiler [2016-01-17 07:07:56] 635*2^1419578-1 is not prime. Res64: 7B6A8F2E1006D061 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:12:04] 711*2^1419578-1 is not prime. Res64: 69B6217F9884D1DF Time : 0.0 sec. user=mdettweiler [2016-01-17 07:12:05] 753*2^1419578-1 is not prime. Res64: 0773EB8D541C6218 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:14:23] 771*2^1419578-1 is not prime. Res64: 19FC38452362F4F0 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:14:24] 797*2^1419578-1 is not prime. Res64: 2141BDEFA4FC55F2 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:22:26] 703*2^1419579-1 is not prime. Res64: C8971FB7FF7D9AAB Time : 0.0 sec. user=mdettweiler [2016-01-17 07:22:27] 903*2^1419579-1 is not prime. Res64: F41838936F8E0C11 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:26:09] 921*2^1419579-1 is not prime. Res64: 133148ECABAAB8F2 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:26:10] 635*2^1419580-1 is not prime. Res64: 1E6FEE3A48D28D1D Time : 0.0 sec. user=mdettweiler [2016-01-17 07:30:22] 695*2^1419580-1 is not prime. Res64: B8A3A604DFBFC8C1 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:30:23] 755*2^1419580-1 is not prime. Res64: C08C8A9144A2A7B9 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:33:10] 785*2^1419580-1 is not prime. Res64: AB616481F406F1C1 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:33:11] 857*2^1419580-1 is not prime. Res64: F61646EFFBBB5B2B Time : 0.0 sec. user=mdettweiler [2016-01-17 07:40:54] 873*2^1419580-1 is not prime. Res64: 37D4DB37807F8125 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:40:55] 927*2^1419580-1 is not prime. Res64: D670B640527E0803 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:44:24] 939*2^1419580-1 is not prime. Res64: 7651024755F9F87F Time : 0.0 sec. user=mdettweiler [2016-01-17 07:44:25] 601*2^1419581-1 is not prime. Res64: B742179017077DD3 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:48:41] 651*2^1419581-1 is not prime. Res64: 2524BBF376362A3F Time : 0.0 sec. user=mdettweiler [2016-01-17 07:48:42] 675*2^1419581-1 is not prime. Res64: 308BA0D919A4D71E Time : 0.0 sec. user=mdettweiler [2016-01-17 07:51:47] 697*2^1419581-1 is not prime. Res64: 0E81A837285A970F Time : 0.0 sec. user=mdettweiler [2016-01-17 07:51:48] 711*2^1419581-1 is not prime. Res64: F2C19ECB06CEF9C0 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:59:25] 711*2^1419582-1 is not prime. Res64: CB6BE01F484B0F47 Time : 0.0 sec. user=mdettweiler [2016-01-17 07:59:26] 893*2^1419582-1 is not prime. Res64: BDC0875477E73857 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:02:35] 615*2^1419583-1 is not prime. Res64: F849DB2099029AB7 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:02:36] 723*2^1419583-1 is not prime. Res64: 30E32B8610AD2CA0 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:07:07] 729*2^1419583-1 is not prime. Res64: 61FABCA8E11C10B1 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:07:08] 769*2^1419583-1 is not prime. Res64: DB8A5128C87B11B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:10:22] 793*2^1419583-1 is not prime. Res64: ABAD2947B8A0D166 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:10:23] 993*2^1419583-1 is not prime. Res64: 10AA02ECC5479F81 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:18:12] 609*2^1419584-1 is not prime. Res64: DC0236574B722CAC Time : 0.0 sec. user=mdettweiler [2016-01-17 08:18:13] 753*2^1419584-1 is not prime. Res64: 96FD94E36364AA59 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:20:44] 785*2^1419584-1 is not prime. Res64: 72CE295BE4A242AA Time : 0.0 sec. user=mdettweiler [2016-01-17 08:20:45] 789*2^1419584-1 is not prime. Res64: B075CA49494F8413 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:25:34] 843*2^1419584-1 is not prime. Res64: 538E46B2B490BCB4 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:25:35] 649*2^1419585-1 is not prime. Res64: 9AB877617A040577 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:29:09] 657*2^1419585-1 is not prime. Res64: DC20DF25C41234AA Time : 0.0 sec. user=mdettweiler [2016-01-17 08:29:09] 727*2^1419585-1 is not prime. Res64: 83CE44DB43CA652F Time : 0.0 sec. user=mdettweiler [2016-01-17 08:36:52] 795*2^1419585-1 is not prime. Res64: F92B5FEC3238FA1C Time : 0.0 sec. user=mdettweiler [2016-01-17 08:36:53] 937*2^1419585-1 is not prime. Res64: 9B1A84BF82F2BB33 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:38:53] 713*2^1419586-1 is not prime. Res64: 6F16D23D3252741C Time : 0.0 sec. user=mdettweiler [2016-01-17 08:38:54] 743*2^1419586-1 is not prime. Res64: FF294E06DDB14C35 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:43:56] 815*2^1419586-1 is not prime. Res64: 93B51D69C2759B2B Time : 0.0 sec. user=mdettweiler [2016-01-17 08:43:57] 843*2^1419586-1 is not prime. Res64: 52EB3F160CC10258 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:47:57] 867*2^1419586-1 is not prime. Res64: 1CA8FC108F09D774 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:47:58] 881*2^1419586-1 is not prime. Res64: 12D51CBCB01891FD Time : 0.0 sec. user=mdettweiler [2016-01-17 08:55:28] 887*2^1419586-1 is not prime. Res64: 239A69999473A5D8 Time : 0.0 sec. user=mdettweiler [2016-01-17 08:55:29] 957*2^1419586-1 is not prime. Res64: 4D35EAFE77EDE7AC Time : 0.0 sec. user=mdettweiler [2016-01-17 08:57:05] 987*2^1419586-1 is not prime. Res64: F9D22BB81C2CC96E Time : 0.0 sec. user=mdettweiler [2016-01-17 08:57:06] 733*2^1419587-1 is not prime. Res64: E616C85138B445C2 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:02:35] 735*2^1419587-1 is not prime. Res64: C8DCA38D941F1CE4 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:02:36] 741*2^1419587-1 is not prime. Res64: 3C1D51FD0BF28F87 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:06:35] 801*2^1419587-1 is not prime. Res64: 3DAD3BB4C06E3440 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:06:36] 883*2^1419587-1 is not prime. Res64: F057FE29688C0671 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:14:17] 915*2^1419587-1 is not prime. Res64: 3FD7CD619CA9B117 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:14:18] 657*2^1419588-1 is not prime. Res64: C156499F9C4882D3 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:15:28] 705*2^1419588-1 is not prime. Res64: D5BAEB9ECF5F7AAD Time : 0.0 sec. user=mdettweiler [2016-01-17 09:15:29] 809*2^1419588-1 is not prime. Res64: 554FAD0FBA30DE96 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:21:04] 825*2^1419588-1 is not prime. Res64: C3BEDF1EF60BEE6C Time : 0.0 sec. user=mdettweiler [2016-01-17 09:21:05] 867*2^1419588-1 is not prime. Res64: BE2F4618372080D8 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:25:31] 879*2^1419588-1 is not prime. Res64: CC3803E166EEBEB7 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:25:32] 899*2^1419588-1 is not prime. Res64: 86FC01B1556AC62D Time : 0.0 sec. user=mdettweiler [2016-01-17 09:32:55] 905*2^1419588-1 is not prime. Res64: EF7347B66BAF487C Time : 0.0 sec. user=mdettweiler [2016-01-17 09:32:56] 929*2^1419588-1 is not prime. Res64: AE3A117913D11D1F Time : 0.0 sec. user=mdettweiler [2016-01-17 09:33:37] 933*2^1419588-1 is not prime. Res64: 280FB92F193D933D Time : 0.0 sec. user=mdettweiler [2016-01-17 09:33:39] 959*2^1419588-1 is not prime. Res64: 2B394EE04787B5D9 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:39:24] 999*2^1419588-1 is not prime. Res64: E52176AD9AC81EF5 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:39:25] 867*2^1419589-1 is not prime. Res64: 738589CD29991C10 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:44:04] 885*2^1419589-1 is not prime. Res64: E8586BCB98210DB6 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:44:05] 951*2^1419589-1 is not prime. Res64: EB81E545E6C52237 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:51:55] 641*2^1419590-1 is not prime. Res64: 65A32FC60537A534 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:51:56] 915*2^1419590-1 is not prime. Res64: 0EE110183DD4F3BF Time : 0.0 sec. user=mdettweiler [2016-01-17 09:51:58] 957*2^1419589-1 is not prime. Res64: 8D4CE625C0F40B7A Time : 0.0 sec. user=mdettweiler [2016-01-17 09:52:01] 615*2^1419590-1 is not prime. Res64: 7BD20B668E267345 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:57:46] 615*2^1419591-1 is not prime. Res64: 815299FCB1CBF301 Time : 0.0 sec. user=mdettweiler [2016-01-17 09:57:47] 679*2^1419591-1 is not prime. Res64: 39DE5C73EFEEBE9E Time : 0.0 sec. user=mdettweiler [2016-01-17 10:02:45] 805*2^1419591-1 is not prime. Res64: DBEC492C2F2DB2CF Time : 0.0 sec. user=mdettweiler [2016-01-17 10:02:47] 861*2^1419591-1 is not prime. Res64: F5DA714CAA04E0E0 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:10:19] 873*2^1419591-1 is not prime. Res64: F27ADC52AD114F42 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:10:21] 885*2^1419591-1 is not prime. Res64: 07B77117FC76FE57 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:10:45] 615*2^1419592-1 is not prime. Res64: 6BEEE379C40371AF Time : 0.0 sec. user=mdettweiler [2016-01-17 10:10:46] 629*2^1419592-1 is not prime. Res64: 4703B0F0AA0B18DF Time : 0.0 sec. user=mdettweiler [2016-01-17 10:16:03] 645*2^1419592-1 is not prime. Res64: FC1FB10D75E4C3B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:16:04] 675*2^1419592-1 is not prime. Res64: 4155F15ED41D6D6A Time : 0.0 sec. user=mdettweiler [2016-01-17 10:21:29] 699*2^1419592-1 is not prime. Res64: EC4DD5455D6BC18D Time : 0.0 sec. user=mdettweiler [2016-01-17 10:21:29] 797*2^1419592-1 is not prime. Res64: 46C505F4A3898D95 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:28:30] 843*2^1419592-1 is not prime. Res64: A891D1738FE3A95F Time : 0.0 sec. user=mdettweiler [2016-01-17 10:28:30] 615*2^1419593-1 is not prime. Res64: 2060755B59F4D30C Time : 0.0 sec. user=mdettweiler [2016-01-17 10:29:35] 627*2^1419593-1 is not prime. Res64: E38DEDAA60840B97 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:29:36] 727*2^1419593-1 is not prime. Res64: 734FAA42C975DC77 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:34:21] 747*2^1419593-1 is not prime. Res64: 97536153411D6FAE Time : 0.0 sec. user=mdettweiler [2016-01-17 10:34:22] 769*2^1419593-1 is not prime. Res64: 4605FFD0926AD033 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:39:59] 771*2^1419593-1 is not prime. Res64: 149AE409DF20E129 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:40:00] 787*2^1419593-1 is not prime. Res64: 822BAF49745697B2 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:46:39] 811*2^1419593-1 is not prime. Res64: 2331047E88CABAAC Time : 0.0 sec. user=mdettweiler [2016-01-17 10:46:40] 867*2^1419593-1 is not prime. Res64: D6CA04645A9D7DBC Time : 0.0 sec. user=mdettweiler [2016-01-17 10:47:58] 985*2^1419593-1 is not prime. Res64: A51216725CDDD8A3 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:47:58] 633*2^1419594-1 is not prime. Res64: 2556712D92EA67EB Time : 0.0 sec. user=mdettweiler [2016-01-17 10:52:36] 821*2^1419594-1 is not prime. Res64: 18060F5A1ECD7249 Time : 0.0 sec. user=mdettweiler [2016-01-17 10:52:36] 951*2^1419594-1 is not prime. Res64: 1EBFB0896B6F23AA Time : 0.0 sec. user=mdettweiler [2016-01-17 10:58:47] 993*2^1419594-1 is not prime. Res64: C1721B855BFC224F Time : 0.0 sec. user=mdettweiler [2016-01-17 10:58:48] 1001*2^1419594-1 is not prime. Res64: 44BF75C3BE4857BA Time : 0.0 sec. user=mdettweiler [2016-01-17 11:04:48] 603*2^1419595-1 is not prime. Res64: 575488434FB6964F Time : 0.0 sec. user=mdettweiler [2016-01-17 11:04:49] 625*2^1419595-1 is not prime. Res64: 959561458338C396 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:06:37] 645*2^1419595-1 is not prime. Res64: C7E12360750E3981 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:06:38] 765*2^1419595-1 is not prime. Res64: 0572B96DE8CAD120 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:10:59] 783*2^1419595-1 is not prime. Res64: 7D8BA028E6DD8F05 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:10:59] 793*2^1419595-1 is not prime. Res64: 45F268C346BBE244 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:17:23] 853*2^1419595-1 is not prime. Res64: 0AABA08BCDBFCD68 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:17:24] 707*2^1419596-1 is not prime. Res64: 771A06115ADC54B9 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:23:10] 725*2^1419596-1 is not prime. Res64: E3196BD0E17805FF Time : 0.0 sec. user=mdettweiler [2016-01-17 11:23:11] 767*2^1419596-1 is not prime. Res64: D3CD79E37E05710E Time : 0.0 sec. user=mdettweiler [2016-01-17 11:25:07] 773*2^1419596-1 is not prime. Res64: AC379C40D8652242 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:25:07] 813*2^1419596-1 is not prime. Res64: CAE3F93319578A57 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:29:18] 825*2^1419596-1 is not prime. Res64: 10D479702F7A98F2 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:29:19] 855*2^1419596-1 is not prime. Res64: 3D64E01B050159BB Time : 0.0 sec. user=mdettweiler [2016-01-17 11:36:01] 923*2^1419596-1 is not prime. Res64: 05715017B82F778D Time : 0.0 sec. user=mdettweiler [2016-01-17 11:36:01] 945*2^1419596-1 is not prime. Res64: 1B1D5B51A6D7B1AA Time : 0.0 sec. user=mdettweiler [2016-01-17 11:41:13] 953*2^1419596-1 is not prime. Res64: BB32E9FA2A7F7FF1 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:41:13] 625*2^1419597-1 is not prime. Res64: 5BC85B71D6A02BA0 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:43:36] 667*2^1419597-1 is not prime. Res64: A5C9B790A02232D4 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:43:37] 781*2^1419597-1 is not prime. Res64: 50A4B6E25E5D1D07 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:47:41] 861*2^1419597-1 is not prime. Res64: EF81AACA101EEF3F Time : 0.0 sec. user=mdettweiler [2016-01-17 11:47:41] 901*2^1419597-1 is not prime. Res64: 8D66E441A460EF46 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:54:30] 635*2^1419598-1 is not prime. Res64: E094419701D8B803 Time : 0.0 sec. user=mdettweiler [2016-01-17 11:54:30] 651*2^1419598-1 is not prime. Res64: 41ADEB2E8090D00A Time : 0.0 sec. user=mdettweiler [2016-01-17 11:59:12] 665*2^1419598-1 is not prime. Res64: 01388B83F8DA2B8C Time : 0.0 sec. user=mdettweiler [2016-01-17 11:59:12] 737*2^1419598-1 is not prime. Res64: 32EAB2D4864B5FF5 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:02:13] 827*2^1419598-1 is not prime. Res64: 556F264DBB313B0E Time : 0.0 sec. user=mdettweiler [2016-01-17 12:02:14] 987*2^1419598-1 is not prime. Res64: 14C51B6E225747B7 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:05:53] 1001*2^1419598-1 is not prime. Res64: C6387AEFDAA789E4 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:05:53] 601*2^1419599-1 is not prime. Res64: FF5B4A9F3B74E565 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:12:57] 693*2^1419599-1 is not prime. Res64: A93FCE5684B4A54F Time : 0.0 sec. user=mdettweiler [2016-01-17 12:12:57] 771*2^1419599-1 is not prime. Res64: 4D37CC871B7095A4 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:17:14] 813*2^1419599-1 is not prime. Res64: C145C79D187D21C4 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:17:14] 861*2^1419599-1 is not prime. Res64: 95E1EDB7676DCB3B Time : 0.0 sec. user=mdettweiler [2016-01-17 12:20:27] 921*2^1419599-1 is not prime. Res64: 896ADF4912DB5297 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:20:27] 955*2^1419599-1 is not prime. Res64: AECABEFF399E8AB7 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:24:00] 973*2^1419599-1 is not prime. Res64: 713074EBC919DA03 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:24:01] 707*2^1419600-1 is not prime. Res64: 7B15DBB55DA0EC5F Time : 0.0 sec. user=mdettweiler [2016-01-17 12:31:28] 747*2^1419600-1 is not prime. Res64: CDA12199D322C170 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:31:28] 773*2^1419600-1 is not prime. Res64: E6B4EDBD48224AE6 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:35:14] 795*2^1419600-1 is not prime. Res64: 3660898139234190 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:35:14] 797*2^1419600-1 is not prime. Res64: 07F68F622F8B9C33 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:38:53] 875*2^1419600-1 is not prime. Res64: 76A37D0E63D13EA6 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:38:53] 887*2^1419600-1 is not prime. Res64: CBB76837B7CF0CCD Time : 0.0 sec. user=mdettweiler [2016-01-17 12:42:11] 959*2^1419600-1 is not prime. Res64: 50BD091F8F2593CD Time : 0.0 sec. user=mdettweiler [2016-01-17 12:42:11] 771*2^1419601-1 is not prime. Res64: 134CEF72F1956DC9 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:50:05] 829*2^1419601-1 is not prime. Res64: A56B342234E4E8FD Time : 0.0 sec. user=mdettweiler [2016-01-17 12:50:05] 877*2^1419601-1 is not prime. Res64: 9B9060C93C7C567D Time : 0.0 sec. user=mdettweiler [2016-01-17 12:53:21] 633*2^1419602-1 is not prime. Res64: AC8BAEB3126C0D20 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:53:21] 651*2^1419602-1 is not prime. Res64: 12CB18757CB659E3 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:57:26] 677*2^1419602-1 is not prime. Res64: 02E0CE9804352264 Time : 0.0 sec. user=mdettweiler [2016-01-17 12:57:27] 755*2^1419602-1 is not prime. Res64: 6E719CE25C28FDD5 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:00:26] 827*2^1419602-1 is not prime. Res64: 969F9EAF2A6D9DDD Time : 0.0 sec. user=mdettweiler [2016-01-17 13:00:28] 885*2^1419602-1 is not prime. Res64: 8A9DD5A8916A9166 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:08:41] 935*2^1419602-1 is not prime. Res64: C0BD4DAF918EC25E Time : 0.0 sec. user=mdettweiler [2016-01-17 13:08:41] 963*2^1419602-1 is not prime. Res64: 83BBC31288568A05 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:11:24] 995*2^1419602-1 is not prime. Res64: 1E0F98E20CA9D287 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:11:25] 1001*2^1419602-1 is not prime. Res64: 91C3AE0D83F8ABA3 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:15:47] 609*2^1419603-1 is not prime. Res64: 4064B6C1E63A8F8F Time : 0.0 sec. user=mdettweiler [2016-01-17 13:15:47] 615*2^1419603-1 is not prime. Res64: 1839C85BCF0D1FEE Time : 0.0 sec. user=mdettweiler [2016-01-17 13:18:53] 835*2^1419603-1 is not prime. Res64: 4902585CD2A7BF02 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:18:53] 853*2^1419603-1 is not prime. Res64: 0C82A9C51CE5F045 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:27:12] 913*2^1419603-1 is not prime. Res64: E67B459BC6728174 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:27:12] 609*2^1419604-1 is not prime. Res64: 51C4B8CD22538CF4 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:29:30] 635*2^1419604-1 is not prime. Res64: 40A07E843D429164 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:29:30] 639*2^1419604-1 is not prime. Res64: 150319BE9CE26C23 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:34:17] 677*2^1419604-1 is not prime. Res64: 47A367E231A27DEB Time : 0.0 sec. user=mdettweiler [2016-01-17 13:34:17] 743*2^1419604-1 is not prime. Res64: 873FF2F340655CC7 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:37:05] 813*2^1419604-1 is not prime. Res64: A3AB8C6C0BF02A1E Time : 0.0 sec. user=mdettweiler [2016-01-17 13:37:05] 875*2^1419604-1 is not prime. Res64: 5EA190E97FEF82E6 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:45:42] 903*2^1419604-1 is not prime. Res64: 014F83CA24B384DE Time : 0.0 sec. user=mdettweiler [2016-01-17 13:45:42] 959*2^1419604-1 is not prime. Res64: 41484DC85BB8D9B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:47:36] 675*2^1419605-1 is not prime. Res64: FBAEF0D02864F116 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:47:36] 729*2^1419605-1 is not prime. Res64: E3B6A7743BD85F84 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:52:50] 825*2^1419605-1 is not prime. Res64: 03680497FBD89EA2 Time : 0.0 sec. user=mdettweiler [2016-01-17 13:52:50] 897*2^1419605-1 is not prime. Res64: 64C316BC726CDA6B Time : 0.0 sec. user=mdettweiler [2016-01-17 13:55:31] 915*2^1419605-1 is not prime. Res64: DC786E3E031286FD Time : 0.0 sec. user=mdettweiler [2016-01-17 13:55:32] 683*2^1419606-1 is not prime. Res64: 344E3478940939E8 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:04:18] 705*2^1419606-1 is not prime. Res64: 10F307A3CDC9F0CD Time : 0.0 sec. user=mdettweiler [2016-01-17 14:04:20] 783*2^1419606-1 is not prime. Res64: EB3B83F74064242E Time : 0.0 sec. user=mdettweiler [2016-01-17 14:05:43] 825*2^1419606-1 is not prime. Res64: D8D3460E8F3C8B67 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:05:44] 833*2^1419606-1 is not prime. Res64: 910F6EDE14C11E43 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:11:18] 633*2^1419607-1 is not prime. Res64: 702FC2C765B55B76 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:11:18] 693*2^1419607-1 is not prime. Res64: 18433D21165DC604 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:13:45] 813*2^1419607-1 is not prime. Res64: 7B38DBEB63DB34A9 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:13:46] 871*2^1419607-1 is not prime. Res64: EE75F04085506889 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:23:10] 915*2^1419607-1 is not prime. Res64: BCAF0C5EB5733115 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:23:10] 985*2^1419607-1 is not prime. Res64: 32C769B36B31CC1C Time : 0.0 sec. user=mdettweiler [2016-01-17 14:23:54] 743*2^1419608-1 is not prime. Res64: D3AAA6FF9F583090 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:23:54] 753*2^1419608-1 is not prime. Res64: BC815F1A02F8F69E Time : 0.0 sec. user=mdettweiler [2016-01-17 14:29:41] 813*2^1419608-1 is not prime. Res64: A41706799B795E3A Time : 0.0 sec. user=mdettweiler [2016-01-17 14:29:41] 843*2^1419608-1 is not prime. Res64: 12BE93CAA24DC055 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:31:51] 709*2^1419609-1 is not prime. Res64: 91F476B1866A6FA3 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:31:52] 741*2^1419609-1 is not prime. Res64: 2A50C6487FE692C4 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:41:46] 713*2^1419610-1 is not prime. Res64: D5AA9B4F2D52F590 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:41:46] 827*2^1419610-1 is not prime. Res64: 9337E0404694C5BF Time : 0.0 sec. user=mdettweiler [2016-01-17 14:41:53] 885*2^1419609-1 is not prime. Res64: C6F91F33CFAF5DB2 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:41:53] 997*2^1419609-1 is not prime. Res64: 12F1909072EC78F9 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:48:19] 843*2^1419610-1 is not prime. Res64: 5A0E55F7FF477F0B Time : 0.0 sec. user=mdettweiler [2016-01-17 14:48:20] 923*2^1419610-1 is not prime. Res64: 77AFED144A10CBFE Time : 0.0 sec. user=mdettweiler [2016-01-17 14:50:07] 945*2^1419610-1 is not prime. Res64: B0992FF80C720AA6 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:50:08] 995*2^1419610-1 is not prime. Res64: 203743EEA51F5E9A Time : 0.0 sec. user=mdettweiler [2016-01-17 14:59:44] 679*2^1419611-1 is not prime. Res64: 42D4B2F994267B88 Time : 0.0 sec. user=mdettweiler [2016-01-17 14:59:45] 895*2^1419611-1 is not prime. Res64: 1D9DCCFA49DCA501 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:00:26] 921*2^1419611-1 is not prime. Res64: D47F8C12732272F6 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:00:27] 955*2^1419611-1 is not prime. Res64: 592750EA64958FF0 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:06:48] 633*2^1419612-1 is not prime. Res64: 94F6B5F39F699D06 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:06:48] 857*2^1419612-1 is not prime. Res64: 7A661B300C6259AA Time : 0.0 sec. user=mdettweiler [2016-01-17 15:08:23] 875*2^1419612-1 is not prime. Res64: E09A2081B92313E4 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:08:23] 887*2^1419612-1 is not prime. Res64: 9F52B69733B92B68 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:17:54] 899*2^1419612-1 is not prime. Res64: 8E4D800242795CCF Time : 0.0 sec. user=mdettweiler [2016-01-17 15:17:55] 909*2^1419612-1 is not prime. Res64: 0BDD1D0FB1628FB9 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:19:02] 811*2^1419613-1 is not prime. Res64: C1578F1FD7B26757 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:19:02] 885*2^1419613-1 is not prime. Res64: D8CE000FC33F93E7 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:25:24] 895*2^1419613-1 is not prime. Res64: 695F00D67037D6F9 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:25:25] 937*2^1419613-1 is not prime. Res64: 04A07D64801D1EC5 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:26:32] 985*2^1419613-1 is not prime. Res64: F41AC119E8B90ECA Time : 0.0 sec. user=mdettweiler [2016-01-17 15:26:33] 657*2^1419614-1 is not prime. Res64: B9A3176C3F99B446 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:36:05] 705*2^1419614-1 is not prime. Res64: E10E12F2DF0EE1F4 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:36:05] 785*2^1419614-1 is not prime. Res64: 783A620DB6B83CBF Time : 0.0 sec. user=mdettweiler [2016-01-17 15:37:34] 791*2^1419614-1 is not prime. Res64: 33BD4A464F3331E8 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:37:34] 923*2^1419614-1 is not prime. Res64: 30B9F0E19B243373 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:43:52] 945*2^1419614-1 is not prime. Res64: C0895FA397643F46 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:43:53] 675*2^1419615-1 is not prime. Res64: 75EDAFED9D91287D Time : 0.0 sec. user=mdettweiler [2016-01-17 15:44:52] 691*2^1419615-1 is not prime. Res64: 9279384109F7F6A9 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:44:53] 711*2^1419615-1 is not prime. Res64: D52FF52E0D7A7364 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:54:15] 751*2^1419615-1 is not prime. Res64: 1553B2F89AB1876F Time : 0.0 sec. user=mdettweiler [2016-01-17 15:54:15] 805*2^1419615-1 is not prime. Res64: D7FE8188CAF97643 Time : 0.0 sec. user=mdettweiler [2016-01-17 15:56:17] 933*2^1419615-1 is not prime. Res64: 4E39BE75E223A2DC Time : 0.0 sec. user=mdettweiler [2016-01-17 15:56:17] 969*2^1419615-1 is not prime. Res64: D23F443D9BB4F403 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:02:08] 985*2^1419615-1 is not prime. Res64: 2255AF4B341A30D8 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:02:09] 629*2^1419616-1 is not prime. Res64: 5139BC2C6D440456 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:02:55] 695*2^1419616-1 is not prime. Res64: E53A270897BBAB75 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:02:56] 765*2^1419616-1 is not prime. Res64: 78D66C60D1011382 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:12:13] 927*2^1419616-1 is not prime. Res64: 59AB0F479C2F230F Time : 0.0 sec. user=mdettweiler [2016-01-17 16:12:14] 969*2^1419616-1 is not prime. Res64: 7B7BD12258321CEE Time : 0.0 sec. user=mdettweiler [2016-01-17 16:14:55] 989*2^1419616-1 is not prime. Res64: 544F39C9352EE872 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:14:55] 631*2^1419617-1 is not prime. Res64: 71D8DDD91E0264DD Time : 0.0 sec. user=mdettweiler [2016-01-17 16:20:37] 867*2^1419617-1 is not prime. Res64: EB0FFB48A81612D2 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:20:37] 937*2^1419617-1 is not prime. Res64: 6C1E6BA5BB0D6355 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:21:13] 949*2^1419617-1 is not prime. Res64: E504095EED968914 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:21:13] 981*2^1419617-1 is not prime. Res64: 7CF91AF72B137817 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:30:25] 677*2^1419618-1 is not prime. Res64: 2985D9A482D882F9 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:30:25] 731*2^1419618-1 is not prime. Res64: F404BB2C640F835B Time : 0.0 sec. user=mdettweiler [2016-01-17 16:33:34] 755*2^1419618-1 is not prime. Res64: EDE8137C7A86B4A2 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:33:34] 777*2^1419618-1 is not prime. Res64: DA846DB66DB6F07F Time : 0.0 sec. user=mdettweiler [2016-01-17 16:38:54] 797*2^1419618-1 is not prime. Res64: 0E01DA2F6B52DEF8 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:38:55] 803*2^1419618-1 is not prime. Res64: F85532E76701A747 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:39:21] 815*2^1419618-1 is not prime. Res64: EBD9EC14DEE7264E Time : 0.0 sec. user=mdettweiler [2016-01-17 16:39:21] 933*2^1419618-1 is not prime. Res64: DE80239D7FA953E0 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:48:54] 663*2^1419619-1 is not prime. Res64: AB8A229928D6476C Time : 0.0 sec. user=mdettweiler [2016-01-17 16:48:54] 679*2^1419619-1 is not prime. Res64: 3EBE4B4E1C53DBA6 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:53:01] 723*2^1419619-1 is not prime. Res64: 6B02759558962F09 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:53:01] 751*2^1419619-1 is not prime. Res64: 198CEA8E797C3AC3 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:58:53] 793*2^1419619-1 is not prime. Res64: 6DB86D8FBB958E78 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:58:53] 829*2^1419619-1 is not prime. Res64: 888041333641C666 Time : 0.0 sec. user=mdettweiler [2016-01-17 16:59:00] 765*2^1419619-1 is not prime. Res64: B2DEB42C976DE15E Time : 0.0 sec. user=mdettweiler [2016-01-17 16:59:00] 775*2^1419619-1 is not prime. Res64: 2DDA86F3931807CE Time : 0.0 sec. user=mdettweiler [2016-01-17 17:08:57] 909*2^1419619-1 is not prime. Res64: D9FD4323277843C9 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:08:59] 913*2^1419619-1 is not prime. Res64: D13982F29BB60D15 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:13:38] 931*2^1419619-1 is not prime. Res64: 231068BF797E885A Time : 0.0 sec. user=mdettweiler [2016-01-17 17:13:38] 615*2^1419620-1 is not prime. Res64: EE7E76593173EDDE Time : 0.0 sec. user=mdettweiler [2016-01-17 17:19:36] 659*2^1419620-1 is not prime. Res64: E5FD8FF597C19222 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:19:36] 677*2^1419620-1 is not prime. Res64: 0A27C646B881B622 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:19:59] 687*2^1419620-1 is not prime. Res64: 135D1A4413F66957 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:19:59] 803*2^1419620-1 is not prime. Res64: 1297DCDDE48F9140 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:29:54] 897*2^1419620-1 is not prime. Res64: 93DACAA2E8B9891B Time : 0.0 sec. user=mdettweiler [2016-01-17 17:29:54] 915*2^1419620-1 is not prime. Res64: 200A9FE92284AA01 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:34:23] 627*2^1419621-1 is not prime. Res64: F4BBEFF95C13005B Time : 0.0 sec. user=mdettweiler [2016-01-17 17:34:23] 649*2^1419621-1 is not prime. Res64: 495ABABFD8C8BDC2 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:39:12] 709*2^1419621-1 is not prime. Res64: 90737BFCD98EDEA0 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:39:12] 781*2^1419621-1 is not prime. Res64: AA461CB5D8A3C2BB Time : 0.0 sec. user=mdettweiler [2016-01-17 17:39:38] 991*2^1419621-1 is not prime. Res64: D8420B51CBFC3F05 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:39:38] 999*2^1419621-1 is not prime. Res64: 6315BCB02D185BA4 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:47:57] 611*2^1419622-1 is not prime. Res64: 7A317048176ED1BE Time : 0.0 sec. user=mdettweiler [2016-01-17 17:47:57] 827*2^1419622-1 is not prime. Res64: 4AC52F79CA22DDF6 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:52:56] 965*2^1419622-1 is not prime. Res64: 3FEE21AFFD2C1A36 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:52:56] 983*2^1419622-1 is not prime. Res64: 3A7DC01E377BF696 Time : 0.0 sec. user=mdettweiler [2016-01-17 17:57:26] 1001*2^1419622-1 is not prime. Res64: 8C070935E89CCFAC Time : 0.0 sec. user=mdettweiler [2016-01-17 17:57:26] 621*2^1419623-1 is not prime. Res64: CB48A244F027183F Time : 0.0 sec. user=mdettweiler [2016-01-17 17:57:55] 643*2^1419623-1 is not prime. Res64: D142C6A3ED4218AA Time : 0.0 sec. user=mdettweiler [2016-01-17 17:57:56] 649*2^1419623-1 is not prime. Res64: B94EAB7BB5377C46 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:06:11] 663*2^1419623-1 is not prime. Res64: 31F7A605E00FB395 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:06:11] 745*2^1419623-1 is not prime. Res64: 2FBA87AA9C361512 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:11:20] 789*2^1419623-1 is not prime. Res64: 82E950FA0614A493 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:11:20] 991*2^1419623-1 is not prime. Res64: 3B046D0EC922E79D Time : 0.0 sec. user=mdettweiler [2016-01-17 18:15:29] 707*2^1419624-1 is not prime. Res64: A4B18D4367D93CB9 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:15:29] 753*2^1419624-1 is not prime. Res64: 3B485C97C6F0392B Time : 0.0 sec. user=mdettweiler [2016-01-17 18:16:17] 765*2^1419624-1 is not prime. Res64: 58A99F000ED565B5 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:16:17] 893*2^1419624-1 is not prime. Res64: 363FAB0F7CF3D022 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:24:21] 923*2^1419624-1 is not prime. Res64: 17292F764BE464F1 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:24:21] 927*2^1419624-1 is not prime. Res64: E7447F5C733CA639 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:29:30] 929*2^1419624-1 is not prime. Res64: 92AD4B0380885036 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:29:31] 993*2^1419624-1 is not prime. Res64: D1CA33B8D60E8777 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:33:31] 607*2^1419625-1 is not prime. Res64: 45BC2A5B3E8B4BA8 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:33:32] 619*2^1419625-1 is not prime. Res64: 02464C70852050CB Time : 0.0 sec. user=mdettweiler [2016-01-17 18:34:31] 645*2^1419625-1 is not prime. Res64: 3935A1EB78BE4C43 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:34:32] 705*2^1419625-1 is not prime. Res64: F2FB3E7130C381BB Time : 0.0 sec. user=mdettweiler [2016-01-17 18:42:21] 889*2^1419625-1 is not prime. Res64: 673C25B0987D0D87 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:42:22] 895*2^1419625-1 is not prime. Res64: 6CA0B3A24374E33D Time : 0.0 sec. user=mdettweiler [2016-01-17 18:47:52] 925*2^1419625-1 is not prime. Res64: 3631EBD0B2958668 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:47:53] 951*2^1419625-1 is not prime. Res64: 6A8C65FAB133F255 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:51:44] 677*2^1419626-1 is not prime. Res64: D8FBE0BA237451B5 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:51:45] 857*2^1419626-1 is not prime. Res64: F98C5109FA1AF898 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:52:52] 971*2^1419626-1 is not prime. Res64: 8B34CA4BFD53A471 Time : 0.0 sec. user=mdettweiler [2016-01-17 18:52:52] 983*2^1419626-1 is not prime. Res64: C24BEF0168537CCA Time : 0.0 sec. user=mdettweiler [2016-01-17 19:00:28] 909*2^1419627-1 is not prime. Res64: 8C3BCD855240A99F Time : 0.0 sec. user=mdettweiler [2016-01-17 19:00:29] 615*2^1419628-1 is not prime. Res64: AE4E7A43E0F1E4DB Time : 0.0 sec. user=mdettweiler [2016-01-17 19:06:27] 623*2^1419628-1 is not prime. Res64: E32F5DFF77B445C3 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:06:27] 629*2^1419628-1 is not prime. Res64: 3029A55328AEE2A7 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:09:54] 777*2^1419628-1 is not prime. Res64: 1B00E87CD7FB061D Time : 0.0 sec. user=mdettweiler [2016-01-17 19:09:54] 897*2^1419628-1 is not prime. Res64: AA88E6E45B0C5A33 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:11:12] 927*2^1419628-1 is not prime. Res64: 955BDC839A0AC260 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:11:12] 993*2^1419628-1 is not prime. Res64: 4D3B33858A80DA07 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:19:00] 657*2^1419629-1 is not prime. Res64: BB449F109C3B5FDF Time : 0.0 sec. user=mdettweiler [2016-01-17 19:19:01] 675*2^1419629-1 is not prime. Res64: FD50A4DE120CB861 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:25:02] 697*2^1419629-1 is not prime. Res64: 5302AC7D5CF037E6 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:25:02] 745*2^1419629-1 is not prime. Res64: F3DA7C3B40AB8445 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:28:17] 789*2^1419629-1 is not prime. Res64: E837065AE3F0CD8F Time : 0.0 sec. user=mdettweiler [2016-01-17 19:28:17] 927*2^1419629-1 is not prime. Res64: C24111C42F0AD615 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:29:56] 725*2^1419630-1 is not prime. Res64: 35CFAF03F1452B2B Time : 0.0 sec. user=mdettweiler [2016-01-17 19:29:56] 783*2^1419630-1 is not prime. Res64: F46A3D3B6F9EF361 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:37:12] 833*2^1419630-1 is not prime. Res64: C319B8110F28E6BB Time : 0.0 sec. user=mdettweiler [2016-01-17 19:37:12] 861*2^1419630-1 is not prime. Res64: 463CB30FD0A83418 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:43:27] 933*2^1419630-1 is not prime. Res64: 598271EA0E6E718D Time : 0.0 sec. user=mdettweiler [2016-01-17 19:43:27] 941*2^1419630-1 is not prime. Res64: 05B4581E6309CCDC Time : 0.0 sec. user=mdettweiler [2016-01-17 19:46:23] 977*2^1419630-1 is not prime. Res64: F97D0219F2B17A5F Time : 0.0 sec. user=mdettweiler [2016-01-17 19:46:24] 615*2^1419631-1 is not prime. Res64: F05194468E02EE8D Time : 0.0 sec. user=mdettweiler [2016-01-17 19:48:10] 771*2^1419631-1 is not prime. Res64: 8349EC9CFC9F65DA Time : 0.0 sec. user=mdettweiler [2016-01-17 19:48:10] 993*2^1419631-1 is not prime. Res64: 22D6F83B39695E95 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:55:44] 645*2^1419632-1 is not prime. Res64: 8AE62E7E388627A8 Time : 0.0 sec. user=mdettweiler [2016-01-17 19:55:44] 717*2^1419632-1 is not prime. Res64: BC95F29158D93BD2 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:01:52] 725*2^1419632-1 is not prime. Res64: 3F86A94C801F78B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:01:53] 785*2^1419632-1 is not prime. Res64: 2EF434532E618A66 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:04:46] 797*2^1419632-1 is not prime. Res64: F7AB835268E704BF Time : 0.0 sec. user=mdettweiler [2016-01-17 20:04:47] 649*2^1419633-1 is not prime. Res64: 04F597ECEEBB0F59 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:06:25] 705*2^1419633-1 is not prime. Res64: 5694DBC059733C0B Time : 0.0 sec. user=mdettweiler [2016-01-17 20:06:26] 739*2^1419633-1 is not prime. Res64: A9848CDA9DAD2ECD Time : 0.0 sec. user=mdettweiler [2016-01-17 20:13:41] 871*2^1419633-1 is not prime. Res64: 477D7F8C7785B897 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:13:43] 921*2^1419633-1 is not prime. Res64: FBEE2DED69A9E11D Time : 0.0 sec. user=mdettweiler [2016-01-17 20:20:37] 955*2^1419633-1 is not prime. Res64: FC06F55D03096C4D Time : 0.0 sec. user=mdettweiler [2016-01-17 20:20:38] 633*2^1419634-1 is not prime. Res64: 99778A3F9FD94A78 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:23:21] 675*2^1419634-1 is not prime. Res64: D3AC2A891FA83BD5 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:23:21] 681*2^1419634-1 is not prime. Res64: CB0CE520D13CAB41 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:24:56] 825*2^1419634-1 is not prime. Res64: C7C25C4FA69A1916 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:24:56] 857*2^1419634-1 is not prime. Res64: 55FEBC34FA7C22D7 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:32:05] 981*2^1419634-1 is not prime. Res64: EFD4134E9701D740 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:32:05] 735*2^1419635-1 is not prime. Res64: DDD49E2268BC8213 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:39:14] 895*2^1419635-1 is not prime. Res64: A74C3CD133B0E2C4 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:39:14] 981*2^1419635-1 is not prime. Res64: BD6CA07857B3703A Time : 0.0 sec. user=mdettweiler [2016-01-17 20:41:37] 669*2^1419636-1 is not prime. Res64: 2877E38E86B9574B Time : 0.0 sec. user=mdettweiler [2016-01-17 20:41:37] 875*2^1419636-1 is not prime. Res64: 76B962AD70334C39 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:43:43] 987*2^1419636-1 is not prime. Res64: 3D294FDD458A08FB Time : 0.0 sec. user=mdettweiler [2016-01-17 20:43:43] 609*2^1419637-1 is not prime. Res64: 4621B87D2AE852A3 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:50:19] 675*2^1419637-1 is not prime. Res64: 2F40333BB1880A81 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:50:19] 729*2^1419637-1 is not prime. Res64: D794F457755F5CCF Time : 0.0 sec. user=mdettweiler [2016-01-17 20:57:45] 747*2^1419637-1 is not prime. Res64: 0CD99B7419478D27 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:57:45] 757*2^1419637-1 is not prime. Res64: 026F55E393EF5C98 Time : 0.0 sec. user=mdettweiler [2016-01-17 20:59:50] 829*2^1419637-1 is not prime. Res64: 5C9FF73DF0B396FA Time : 0.0 sec. user=mdettweiler [2016-01-17 20:59:50] 847*2^1419637-1 is not prime. Res64: E1CC2B0241AA1D0A Time : 0.0 sec. user=mdettweiler [2016-01-17 21:02:26] 603*2^1419638-1 is not prime. Res64: DAF7F77A032329EB Time : 0.0 sec. user=mdettweiler [2016-01-17 21:02:27] 657*2^1419638-1 is not prime. Res64: B9D08174E93DE0BE Time : 0.0 sec. user=mdettweiler [2016-01-17 21:08:23] 753*2^1419638-1 is not prime. Res64: A877D1D47BF0E27F Time : 0.0 sec. user=mdettweiler [2016-01-17 21:08:24] 797*2^1419638-1 is not prime. Res64: 68F446F8E8932DC9 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:18:47] 675*2^1419639-1 is not prime. Res64: 1D5AE8A9CEEFC37D Time : 0.0 sec. user=mdettweiler [2016-01-17 21:18:48] 745*2^1419639-1 is not prime. Res64: 273AEE95FAB0C7EC Time : 0.0 sec. user=mdettweiler [2016-01-17 21:19:29] 987*2^1419638-1 is not prime. Res64: 23F78980707F153C Time : 0.0 sec. user=mdettweiler [2016-01-17 21:19:30] 993*2^1419638-1 is not prime. Res64: 89113BFC7127CCF3 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:21:27] 751*2^1419639-1 is not prime. Res64: E2E5AA1C12064DB9 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:21:27] 829*2^1419639-1 is not prime. Res64: EE2A2D2C27FDD84A Time : 0.0 sec. user=mdettweiler [2016-01-17 21:27:09] 865*2^1419639-1 is not prime. Res64: 105A54FBFAD98887 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:27:10] 943*2^1419639-1 is not prime. Res64: 3C06C6BCC0003190 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:36:54] 975*2^1419639-1 is not prime. Res64: B02B861D59D6A4A0 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:36:55] 717*2^1419640-1 is not prime. Res64: 10012B674C54DDDF Time : 0.0 sec. user=mdettweiler [2016-01-17 21:37:59] 959*2^1419640-1 is not prime. Res64: EBDD02DFCC03B1B2 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:37:59] 989*2^1419640-1 is not prime. Res64: 952ABB4C6364CCD0 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:39:48] 867*2^1419641-1 is not prime. Res64: D135B27CF2F001E6 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:39:48] 981*2^1419641-1 is not prime. Res64: A044B4055C4E98E9 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:45:09] 671*2^1419642-1 is not prime. Res64: 9B00D306641D5DE3 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:45:09] 765*2^1419642-1 is not prime. Res64: E846B79DEB1AAC08 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:55:15] 843*2^1419642-1 is not prime. Res64: 54B17136925CC525 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:55:16] 1001*2^1419642-1 is not prime. Res64: 86AB3E36952AAECB Time : 0.0 sec. user=mdettweiler [2016-01-17 21:56:32] 649*2^1419643-1 is not prime. Res64: D22C57AE1A18018B Time : 0.0 sec. user=mdettweiler [2016-01-17 21:56:33] 765*2^1419643-1 is not prime. Res64: B6F308264CC07812 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:58:33] 813*2^1419643-1 is not prime. Res64: ADC4CDA2791C26E4 Time : 0.0 sec. user=mdettweiler [2016-01-17 21:58:34] 889*2^1419643-1 is not prime. Res64: 9E189218DF990C58 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:03:16] 945*2^1419643-1 is not prime. Res64: 3B415994EDCFD473 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:03:17] 609*2^1419644-1 is not prime. Res64: D2DF303D33244B48 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:13:31] 623*2^1419644-1 is not prime. Res64: DCDED6ACEF63677C Time : 0.0 sec. user=mdettweiler [2016-01-17 22:13:32] 683*2^1419644-1 is not prime. Res64: 61BE5921C3736613 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:15:07] 687*2^1419644-1 is not prime. Res64: A1B1D682E206F7F2 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:15:07] 755*2^1419644-1 is not prime. Res64: CB31A362A3E9C0A4 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:17:03] 759*2^1419644-1 is not prime. Res64: 804D500D9311DDAA Time : 0.0 sec. user=mdettweiler [2016-01-17 22:17:03] 795*2^1419644-1 is not prime. Res64: D0EEEAD63C6C7A6C Time : 0.0 sec. user=mdettweiler [2016-01-17 22:21:19] 909*2^1419644-1 is not prime. Res64: 56FC84FE823CC2BB Time : 0.0 sec. user=mdettweiler [2016-01-17 22:21:19] 699*2^1419645-1 is not prime. Res64: 3BAF2106678D5693 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:31:50] 741*2^1419645-1 is not prime. Res64: 1AE27DBB8CB4B251 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:31:50] 847*2^1419645-1 is not prime. Res64: 5488E7DD04C21E31 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:33:40] 999*2^1419645-1 is not prime. Res64: 0BBC6AD935917656 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:33:40] 657*2^1419646-1 is not prime. Res64: 737BB8F0EBC319BF Time : 0.0 sec. user=mdettweiler [2016-01-17 22:35:37] 717*2^1419646-1 is not prime. Res64: 1308C75EC2AAFC37 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:35:38] 741*2^1419646-1 is not prime. Res64: 0EC8AFE6C6F5E09B Time : 0.0 sec. user=mdettweiler [2016-01-17 22:39:23] 765*2^1419646-1 is not prime. Res64: FDC82636563D6ED2 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:39:23] 777*2^1419646-1 is not prime. Res64: 7011661EC6EA0D84 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:50:05] 923*2^1419646-1 is not prime. Res64: DC8C36857BA0625B Time : 0.0 sec. user=mdettweiler [2016-01-17 22:50:05] 933*2^1419646-1 is not prime. Res64: 1CC1DEF65A6907A0 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:52:15] 947*2^1419646-1 is not prime. Res64: 7C88763DA9C7F30B Time : 0.0 sec. user=mdettweiler [2016-01-17 22:52:15] 1001*2^1419646-1 is not prime. Res64: 2BAE59DC13DB76AF Time : 0.0 sec. user=mdettweiler [2016-01-17 22:53:56] 711*2^1419647-1 is not prime. Res64: 1CA35C56421ACD88 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:53:56] 729*2^1419647-1 is not prime. Res64: FE4FD196706A8059 Time : 0.0 sec. user=mdettweiler [2016-01-17 22:57:30] 753*2^1419647-1 is not prime. Res64: 7E88F7B580EEA7BC Time : 0.0 sec. user=mdettweiler [2016-01-17 22:57:31] 841*2^1419647-1 is not prime. Res64: 0CFC9748B692BC79 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:09:12] 927*2^1419648-1 is not prime. Res64: 6B800DCFFAF4CFC0 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:09:13] 929*2^1419648-1 is not prime. Res64: C61A28093EFF8D19 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:12:33] 933*2^1419648-1 is not prime. Res64: 88701509BDF66E44 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:12:34] 747*2^1419649-1 is not prime. Res64: 24A96F25F7D06755 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:13:51] 765*2^1419649-1 is not prime. Res64: 24B94B5830DD521F Time : 0.0 sec. user=mdettweiler [2016-01-17 23:13:52] 799*2^1419649-1 is not prime. Res64: D9E702E3F2CD859C Time : 0.0 sec. user=mdettweiler [2016-01-17 23:17:52] 931*2^1419649-1 is not prime. Res64: DD87E0021D7D12D4 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:17:52] 641*2^1419650-1 is not prime. Res64: C3A6036BE1DA0465 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:30:30] 773*2^1419650-1 is not prime. Res64: 79BC96D18F553E75 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:30:31] 921*2^1419650-1 is not prime. Res64: 803205E279910E71 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:33:54] 961*2^1419651-1 is not prime. Res64: EA671EAE427EB331 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:33:54] 639*2^1419652-1 is not prime. Res64: 0E766CBFCF990779 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:34:57] 689*2^1419652-1 is not prime. Res64: 682C5CC6044D9951 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:34:57] 631*2^1419653-1 is not prime. Res64: C70A47DCBE924E17 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:38:18] 771*2^1419653-1 is not prime. Res64: 6B36BD79B91A3FD8 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:38:19] 991*2^1419653-1 is not prime. Res64: D8F8384705B238B6 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:50:39] 611*2^1419654-1 is not prime. Res64: E06DA86EF7779F2C Time : 0.0 sec. user=mdettweiler [2016-01-17 23:50:39] 657*2^1419654-1 is not prime. Res64: 28B4B20330817E60 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:54:09] 681*2^1419654-1 is not prime. Res64: D77BF84A4C1068C8 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:54:09] 723*2^1419654-1 is not prime. Res64: 8D619C3D1567902F Time : 0.0 sec. user=mdettweiler [2016-01-17 23:55:23] 737*2^1419654-1 is not prime. Res64: EC4AE03511E012FD Time : 0.0 sec. user=mdettweiler [2016-01-17 23:55:23] 783*2^1419654-1 is not prime. Res64: D3CDE64B4DB5E9BA Time : 0.0 sec. user=mdettweiler [2016-01-17 23:58:07] 825*2^1419654-1 is not prime. Res64: 180511DD266EA059 Time : 0.0 sec. user=mdettweiler [2016-01-17 23:58:07] 861*2^1419654-1 is not prime. Res64: D39890FA0C137FBA Time : 0.0 sec.