user=mdettweiler [2016-09-26 00:08:43] 861*2^1440805-1 is not prime. Res64: 7133FE4AF8DE8CCC Time : 0.0 sec. user=mdettweiler [2016-09-26 00:08:45] 997*2^1440805-1 is not prime. Res64: 7A3D2BA1D23685BC Time : 0.0 sec. user=mdettweiler [2016-09-26 00:08:46] 617*2^1440806-1 is not prime. Res64: ED028CC6077F8CEF Time : 0.0 sec. user=mdettweiler [2016-09-26 00:08:47] 635*2^1440806-1 is not prime. Res64: 00CA2A5DF867C6E1 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:08:48] 693*2^1440806-1 is not prime. Res64: 823DB6C1F19B32CE Time : 0.0 sec. user=mdettweiler [2016-09-26 00:16:45] 741*2^1440806-1 is not prime. Res64: 1568B3C9B28B091D Time : 0.0 sec. user=mdettweiler [2016-09-26 00:16:45] 773*2^1440806-1 is not prime. Res64: 83703E7F2C2FD6EC Time : 0.0 sec. user=mdettweiler [2016-09-26 00:16:46] 649*2^1440807-1 is not prime. Res64: 2FE42D57304B680F Time : 0.0 sec. user=mdettweiler [2016-09-26 00:16:46] 781*2^1440807-1 is not prime. Res64: 1C64A32072DA5371 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:16:47] 793*2^1440807-1 is not prime. Res64: 7F8F3D60B4F5A404 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:17:55] 879*2^1440807-1 is not prime. Res64: 0A873F0F47201D60 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:17:55] 985*2^1440807-1 is not prime. Res64: A000AAE81BAD6CAA Time : 0.0 sec. user=mdettweiler [2016-09-26 00:17:56] 603*2^1440808-1 is not prime. Res64: DE385A1B955AD510 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:17:56] 813*2^1440808-1 is not prime. Res64: 098DEB9CCCCBFF5F Time : 0.0 sec. user=mdettweiler [2016-09-26 00:17:57] 819*2^1440808-1 is not prime. Res64: B8DAB5A10FEE967C Time : 0.0 sec. user=mdettweiler [2016-09-26 00:18:30] 827*2^1440808-1 is not prime. Res64: 07807B8C0EF13051 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:18:31] 845*2^1440808-1 is not prime. Res64: 413F279B78C07017 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:18:31] 745*2^1440809-1 is not prime. Res64: 1E3AF14FCCA39695 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:18:31] 987*2^1440809-1 is not prime. Res64: CE7BA7BABDEA50BF Time : 0.0 sec. user=mdettweiler [2016-09-26 00:18:32] 713*2^1440810-1 is not prime. Res64: 1D9F5D70382DF1C0 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:54:10] 717*2^1440810-1 is not prime. Res64: 6EAC25C268D328E2 Time : 0.0 sec. user=mdettweiler [2016-09-26 00:54:10] 735*2^1440810-1 is not prime. Res64: 55443B98CD48906D Time : 0.0 sec. user=mdettweiler [2016-09-26 00:54:11] 747*2^1440810-1 is not prime. Res64: F56B9A4CADBF5E1E Time : 0.0 sec. user=mdettweiler [2016-09-26 00:54:11] 773*2^1440810-1 is not prime. Res64: F7313AD1D85C4BCD Time : 0.0 sec. user=mdettweiler [2016-09-26 00:54:12] 923*2^1440810-1 is not prime. Res64: 6727DE3D363AEBA0 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:02:10] 685*2^1440811-1 is not prime. Res64: EC1E916734D2721D Time : 0.0 sec. user=mdettweiler [2016-09-26 01:02:14] 793*2^1440811-1 is not prime. Res64: 1C3A6A9574431D9F Time : 0.0 sec. user=mdettweiler [2016-09-26 01:02:15] 829*2^1440811-1 is not prime. Res64: FF21F87DC7C42640 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:02:17] 871*2^1440811-1 is not prime. Res64: 9577DEBFCFA722B0 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:02:19] 909*2^1440811-1 is not prime. Res64: 181EA7A8E211088B Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:01] 999*2^1440811-1 is not prime. Res64: F0A1CDDA33F70C7F Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:02] 683*2^1440812-1 is not prime. Res64: A18B088EB9E1CA0E Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:03] 759*2^1440812-1 is not prime. Res64: 5E61B0A4EB73514C Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:04] 797*2^1440812-1 is not prime. Res64: 87A58AE234AD6BFD Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:04] 827*2^1440812-1 is not prime. Res64: E4936999E5286945 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:40] 843*2^1440812-1 is not prime. Res64: 8B584678A29170AF Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:41] 873*2^1440812-1 is not prime. Res64: 0B8A1C765E5FD177 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:42] 893*2^1440812-1 is not prime. Res64: 6289075DC05BBB45 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:43] 909*2^1440812-1 is not prime. Res64: 9381D8CA62FBB924 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:03:44] 963*2^1440812-1 is not prime. Res64: 0ED57FC1172DF547 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:39:33] 787*2^1440813-1 is not prime. Res64: 129E55022E479EAD Time : 0.0 sec. user=mdettweiler [2016-09-26 01:39:34] 817*2^1440813-1 is not prime. Res64: 12236B2F641DB570 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:39:34] 835*2^1440813-1 is not prime. Res64: 954A4C019CA412C9 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:39:35] 945*2^1440813-1 is not prime. Res64: 408E0AF670198E0C Time : 0.0 sec. user=mdettweiler [2016-09-26 01:39:35] 951*2^1440813-1 is not prime. Res64: 0607589B0F03DA77 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:47:35] 611*2^1440814-1 is not prime. Res64: 469D7552DF1D00FB Time : 0.0 sec. user=mdettweiler [2016-09-26 01:47:36] 621*2^1440814-1 is not prime. Res64: 9836CD762EEED4F3 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:47:36] 681*2^1440814-1 is not prime. Res64: D773F960C13542ED Time : 0.0 sec. user=mdettweiler [2016-09-26 01:47:37] 737*2^1440814-1 is not prime. Res64: 1C6CBDDBAB276496 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:47:37] 783*2^1440814-1 is not prime. Res64: 78F5836D030F1F7F Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:02] 833*2^1440814-1 is not prime. Res64: 5762A7F28286D74F Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:02] 917*2^1440814-1 is not prime. Res64: 1E63DBB0E2B344C7 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:03] 947*2^1440814-1 is not prime. Res64: 45CC71C8B3B4B87E Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:03] 633*2^1440815-1 is not prime. Res64: 18DBE3603282834A Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:03] 789*2^1440815-1 is not prime. Res64: 68E9A6766319DAAF Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:51] 969*2^1440815-1 is not prime. Res64: 2E081C4DD6789884 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:51] 639*2^1440816-1 is not prime. Res64: 3A7A561C02DA9664 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:51] 789*2^1440816-1 is not prime. Res64: ECC227EF275EBA34 Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:52] 837*2^1440816-1 is not prime. Res64: 9A9A1E420C38298F Time : 0.0 sec. user=mdettweiler [2016-09-26 01:48:53] 903*2^1440816-1 is not prime. Res64: 27926125246A960E Time : 0.0 sec. user=mdettweiler [2016-09-26 02:32:56] 651*2^1440818-1 is not prime. Res64: A40468BCF36ED0F1 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:32:58] 657*2^1440818-1 is not prime. Res64: 38E64F779BDA09CD Time : 0.0 sec. user=mdettweiler [2016-09-26 02:32:58] 801*2^1440818-1 is not prime. Res64: 1180C39FAAA52AD7 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:32:59] 825*2^1440818-1 is not prime. Res64: 94C3DBB946BB42F0 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:33:00] 875*2^1440818-1 is not prime. Res64: 03A42B7CA3A08B0F Time : 0.0 sec. user=mdettweiler [2016-09-26 02:33:12] 921*2^1440818-1 is not prime. Res64: F1EE746556FCA26C Time : 0.0 sec. user=mdettweiler [2016-09-26 02:33:12] 927*2^1440818-1 is not prime. Res64: 65E83532F2B96564 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:33:13] 619*2^1440819-1 is not prime. Res64: 2E6E7AE243F9CACE Time : 0.0 sec. user=mdettweiler [2016-09-26 02:33:14] 899*2^1440820-1 is not prime. Res64: 772655AEA24FE221 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:33:15] 923*2^1440820-1 is not prime. Res64: DEDBB3CDDDBABF20 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:34:13] 933*2^1440820-1 is not prime. Res64: 56F1968142423AB7 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:34:14] 975*2^1440820-1 is not prime. Res64: F5510FDCAACFAA05 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:34:14] 871*2^1440821-1 is not prime. Res64: 179214F3F0D48E0C Time : 0.0 sec. user=mdettweiler [2016-09-26 02:34:15] 957*2^1440821-1 is not prime. Res64: 6A2AE7A012EE6EB9 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:34:15] 991*2^1440821-1 is not prime. Res64: 9D218F67A84BF5A5 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:35:06] 993*2^1440816-1 is not prime. Res64: 7525B74CD360734E Time : 0.0 sec. user=mdettweiler [2016-09-26 02:35:07] 637*2^1440817-1 is not prime. Res64: C3EADE96457D6948 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:35:08] 895*2^1440817-1 is not prime. Res64: B9EF702A4904B757 Time : 0.0 sec. user=mdettweiler [2016-09-26 02:35:11] 897*2^1440817-1 is not prime. Res64: 88E7F8149357ADBE Time : 0.0 sec. user=mdettweiler [2016-09-26 02:35:12] 931*2^1440817-1 is not prime. Res64: 83E2F0404B68AF19 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:18:48] 657*2^1440822-1 is not prime. Res64: A73816CECDEBCE9A Time : 0.0 sec. user=mdettweiler [2016-09-26 03:18:48] 677*2^1440822-1 is not prime. Res64: 28C269B89B78FB68 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:18:49] 695*2^1440822-1 is not prime. Res64: 9E40FF90E97577C4 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:18:49] 731*2^1440822-1 is not prime. Res64: 4CE98A4CE379E935 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:18:49] 825*2^1440822-1 is not prime. Res64: 11EA897E5AA05022 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:05] 863*2^1440822-1 is not prime. Res64: 53834844181EF0FC Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:06] 673*2^1440823-1 is not prime. Res64: 902B39FD08CC4E2C Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:06] 703*2^1440823-1 is not prime. Res64: 21AB6FCCE40A862B Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:07] 723*2^1440823-1 is not prime. Res64: 14E1E29E0BB9597C Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:07] 771*2^1440823-1 is not prime. Res64: 80E3591063ECAFB8 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:43] 829*2^1440823-1 is not prime. Res64: 5BD7A77D8BDCBCC7 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:44] 885*2^1440823-1 is not prime. Res64: 2C12132F50F44DF7 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:44] 939*2^1440823-1 is not prime. Res64: 6002CE4E6F6E0243 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:44] 985*2^1440823-1 is not prime. Res64: 2DD32A61DE9F43BA Time : 0.0 sec. user=mdettweiler [2016-09-26 03:19:45] 675*2^1440824-1 is not prime. Res64: 7B2C1F70F71A0BC4 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:20:47] 729*2^1440824-1 is not prime. Res64: 6C0B54FF9DB2907B Time : 0.0 sec. user=mdettweiler [2016-09-26 03:20:47] 753*2^1440824-1 is not prime. Res64: ADFE89ED083FBA8C Time : 0.0 sec. user=mdettweiler [2016-09-26 03:20:48] 773*2^1440824-1 is not prime. Res64: BB33E132DEA92383 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:20:48] 803*2^1440824-1 is not prime. Res64: 9F00D056873C61D5 Time : 0.0 sec. user=mdettweiler [2016-09-26 03:20:49] 827*2^1440824-1 is not prime. Res64: 0F37006BD887B86C Time : 0.0 sec. user=mdettweiler [2016-09-26 04:03:53] 837*2^1440824-1 is not prime. Res64: 207C1431DFF3BB3B Time : 0.0 sec. user=mdettweiler [2016-09-26 04:03:54] 843*2^1440824-1 is not prime. Res64: 9DDC21C05A687E7F Time : 0.0 sec. user=mdettweiler [2016-09-26 04:03:54] 857*2^1440824-1 is not prime. Res64: 6346F1EC4311F104 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:03:55] 945*2^1440824-1 is not prime. Res64: 3620190D8520A931 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:03:56] 957*2^1440824-1 is not prime. Res64: 17CED6BF5D2F7BDA Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:10] 607*2^1440825-1 is not prime. Res64: AD995044CDEDB51E Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:11] 627*2^1440825-1 is not prime. Res64: BE352E1B5F71F6AB Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:12] 657*2^1440825-1 is not prime. Res64: AEB919014A177E0C Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:13] 685*2^1440825-1 is not prime. Res64: 3F7774E65729FFAB Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:14] 721*2^1440825-1 is not prime. Res64: 5629F7BEFAB32B5A Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:48] 819*2^1440825-1 is not prime. Res64: 153A5E859FB5AB62 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:49] 871*2^1440825-1 is not prime. Res64: B471DD290714CA15 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:50] 919*2^1440825-1 is not prime. Res64: 02A7A8C1001EF4D8 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:51] 979*2^1440825-1 is not prime. Res64: 222087B2EC1B4BD7 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:04:52] 717*2^1440826-1 is not prime. Res64: 3591833FFBDE2C61 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:05:50] 861*2^1440826-1 is not prime. Res64: 84777B05D37FDB91 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:05:53] 881*2^1440826-1 is not prime. Res64: A7CEEDB2DD090951 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:05:54] 923*2^1440826-1 is not prime. Res64: D88F79EF056B1922 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:05:56] 609*2^1440827-1 is not prime. Res64: 22CD743C723756B4 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:05:57] 669*2^1440827-1 is not prime. Res64: F50D7F51BC73A82F Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:14] 733*2^1440827-1 is not prime. Res64: B0D143FDA9B8B722 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:15] 753*2^1440827-1 is not prime. Res64: FBA8D68EBB8146E2 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:15] 963*2^1440827-1 is not prime. Res64: D11B31DBCB682D15 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:16] 605*2^1440828-1 is not prime. Res64: B7B0FA966FD11532 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:16] 627*2^1440828-1 is not prime. Res64: A4727A40AD95EFFA Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:29] 633*2^1440828-1 is not prime. Res64: 9E3E2F93641DCCF3 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:29] 707*2^1440828-1 is not prime. Res64: 8665B173D52E4D80 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:30] 797*2^1440828-1 is not prime. Res64: E2C05BD7CD5A8790 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:30] 819*2^1440828-1 is not prime. Res64: 2309602D6EE2A6E5 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:49:31] 843*2^1440828-1 is not prime. Res64: 84A524A47D5838A8 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:50:04] 923*2^1440828-1 is not prime. Res64: 630DC645833931A6 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:50:04] 959*2^1440828-1 is not prime. Res64: AD05EBF06B2D8669 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:50:04] 729*2^1440829-1 is not prime. Res64: 08E34D494AA03986 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:50:05] 825*2^1440829-1 is not prime. Res64: BFC12140C1DFB22B Time : 0.0 sec. user=mdettweiler [2016-09-26 04:50:05] 919*2^1440829-1 is not prime. Res64: F8201FC0780724CA Time : 0.0 sec. user=mdettweiler [2016-09-26 04:51:19] 675*2^1440830-1 is not prime. Res64: AC607A2F89EC5385 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:51:19] 687*2^1440830-1 is not prime. Res64: 51D2F7477301ADC6 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:51:19] 887*2^1440830-1 is not prime. Res64: 30E14E6FEF64A6BA Time : 0.0 sec. user=mdettweiler [2016-09-26 04:51:20] 897*2^1440830-1 is not prime. Res64: E7EC6DE15E0DAB66 Time : 0.0 sec. user=mdettweiler [2016-09-26 04:51:20] 935*2^1440830-1 is not prime. Res64: A90172705859878B Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:24] 1001*2^1440830-1 is not prime. Res64: 47331ECD5FB59869 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:25] 619*2^1440831-1 is not prime. Res64: 66DCAE7B7017B631 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:25] 651*2^1440831-1 is not prime. Res64: CCFBF763E7A756DC Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:26] 685*2^1440831-1 is not prime. Res64: 75C6B32D0D1ADC67 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:26] 705*2^1440831-1 is not prime. Res64: F345756980D234BB Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:43] 711*2^1440831-1 is not prime. Res64: 6E3A801AECB95F99 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:43] 723*2^1440831-1 is not prime. Res64: 5ABD0103E99C7B50 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:44] 879*2^1440831-1 is not prime. Res64: 4157844216D351B9 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:44] 885*2^1440831-1 is not prime. Res64: 30AB52494671DA7A Time : 0.0 sec. user=mdettweiler [2016-09-26 05:34:44] 891*2^1440831-1 is not prime. Res64: A89C8777CF58F753 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:35:00] 991*2^1440831-1 is not prime. Res64: 5DE62B62E469E305 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:35:00] 605*2^1440832-1 is not prime. Res64: EE8602AB80ED4D1A Time : 0.0 sec. user=mdettweiler [2016-09-26 05:35:01] 609*2^1440832-1 is not prime. Res64: 00BAC20CCBD45BA5 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:35:01] 693*2^1440832-1 is not prime. Res64: 7958D086031CE2E6 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:35:01] 723*2^1440832-1 is not prime. Res64: ACB5225DB2C3EF67 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:36:38] 779*2^1440832-1 is not prime. Res64: 5F2B9486809328F4 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:36:38] 849*2^1440832-1 is not prime. Res64: 2339FF7FBAF807DA Time : 0.0 sec. user=mdettweiler [2016-09-26 05:36:39] 857*2^1440832-1 is not prime. Res64: C083B33F86F3C4F5 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:36:39] 917*2^1440832-1 is not prime. Res64: D9053F1EEB183476 Time : 0.0 sec. user=mdettweiler [2016-09-26 05:36:39] 933*2^1440832-1 is not prime. Res64: 177C1E175A0CA5CB Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:38] 691*2^1440833-1 is not prime. Res64: 2D5B7B6FFF43F47E Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:38] 781*2^1440833-1 is not prime. Res64: 9202D7A095350F11 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:39] 937*2^1440833-1 is not prime. Res64: A4341257356919D7 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:39] 969*2^1440833-1 is not prime. Res64: 34FFCEA3ADB39764 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:39] 633*2^1440834-1 is not prime. Res64: 4F56E12E68B95A04 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:50] 635*2^1440834-1 is not prime. Res64: F3C7F74A7852EA66 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:50] 705*2^1440834-1 is not prime. Res64: 85F117F33C21154B Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:51] 723*2^1440834-1 is not prime. Res64: F3337F1DDA4F6528 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:51] 741*2^1440834-1 is not prime. Res64: 478B7D17D714BA9D Time : 0.0 sec. user=mdettweiler [2016-09-26 06:19:51] 903*2^1440834-1 is not prime. Res64: 09514EB456608DA5 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:20:16] 843*2^1440835-1 is not prime. Res64: 55237E2A4DD1381E Time : 0.0 sec. user=mdettweiler [2016-09-26 06:20:17] 859*2^1440835-1 is not prime. Res64: B695A6A0B1404939 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:20:17] 871*2^1440835-1 is not prime. Res64: 525E5679A01A2FBF Time : 0.0 sec. user=mdettweiler [2016-09-26 06:20:18] 873*2^1440835-1 is not prime. Res64: 374C494E1D80F987 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:20:18] 999*2^1440835-1 is not prime. Res64: 49FB1CFE9A16F9B9 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:21:53] 617*2^1440836-1 is not prime. Res64: B63A619F4FE881DD Time : 0.0 sec. user=mdettweiler [2016-09-26 06:21:53] 669*2^1440836-1 is not prime. Res64: B084ACA8199E9E19 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:21:54] 699*2^1440836-1 is not prime. Res64: 5CA6C896EAB34203 Time : 0.0 sec. user=mdettweiler [2016-09-26 06:21:54] 743*2^1440836-1 is not prime. Res64: 5D3FC7F81232B31F Time : 0.0 sec. user=mdettweiler [2016-09-26 06:21:54] 785*2^1440836-1 is not prime. Res64: C06F74070B5212B7 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:52] 685*2^1440837-1 is not prime. Res64: DAD6CE89DADACCC4 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:53] 845*2^1440836-1 is not prime. Res64: DB77F1E01ED047DB Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:54] 691*2^1440837-1 is not prime. Res64: D9C85937E1A7A158 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:55] 869*2^1440836-1 is not prime. Res64: 3F4EB9D4942FF66E Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:55] 751*2^1440837-1 is not prime. Res64: 6A1BC999736C707D Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:56] 875*2^1440836-1 is not prime. Res64: F1FFB8DE1C6683E9 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:56] 795*2^1440837-1 is not prime. Res64: B7D21BEB70C39C75 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:57] 879*2^1440836-1 is not prime. Res64: E2AD251998A94D2F Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:57] 825*2^1440837-1 is not prime. Res64: 1F6F215C1C8B7258 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:04:58] 899*2^1440836-1 is not prime. Res64: 80E3FA4ED0D357C7 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:05:27] 831*2^1440837-1 is not prime. Res64: 65960045A98167A6 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:05:28] 945*2^1440837-1 is not prime. Res64: E3BC2D9274E406D7 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:05:29] 997*2^1440837-1 is not prime. Res64: B3F4F9863E953D31 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:05:30] 761*2^1440838-1 is not prime. Res64: 1F33A0BA3987F728 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:05:31] 791*2^1440838-1 is not prime. Res64: 04757A42E501DC7F Time : 0.0 sec. user=mdettweiler [2016-09-26 07:07:15] 825*2^1440838-1 is not prime. Res64: 3FBCC26C5E9D4BA7 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:07:16] 881*2^1440838-1 is not prime. Res64: F7A9B7BD3BBD7DAB Time : 0.0 sec. user=mdettweiler [2016-09-26 07:07:18] 887*2^1440838-1 is not prime. Res64: 95F7D47FE8018364 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:07:19] 957*2^1440838-1 is not prime. Res64: 90BE11A4EB91043B Time : 0.0 sec. user=mdettweiler [2016-09-26 07:07:20] 987*2^1440838-1 is not prime. Res64: FF4DF4BA26050F4D Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:32] 601*2^1440839-1 is not prime. Res64: 5A5888051611973D Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:32] 705*2^1440839-1 is not prime. Res64: 3C30EDBF422D28C9 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:33] 729*2^1440839-1 is not prime. Res64: 706407D1D3B74392 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:33] 741*2^1440839-1 is not prime. Res64: F7A59588920AC205 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:33] 859*2^1440839-1 is not prime. Res64: 6D7BE86FF1AB5475 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:43] 889*2^1440839-1 is not prime. Res64: D8EB4EC6CE4BC96E Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:43] 973*2^1440839-1 is not prime. Res64: 6E88FC1C933F17B6 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:44] 735*2^1440840-1 is not prime. Res64: 323F1ACCD7CF2F49 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:44] 803*2^1440840-1 is not prime. Res64: 7E4A3997F434A03E Time : 0.0 sec. user=mdettweiler [2016-09-26 07:50:44] 825*2^1440840-1 is not prime. Res64: 10EC4283542DF507 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:51:00] 839*2^1440840-1 is not prime. Res64: 30E4FF8AB2AF1EA0 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:51:00] 845*2^1440840-1 is not prime. Res64: 55C601A70834A6E1 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:51:00] 615*2^1440841-1 is not prime. Res64: D8647892DCCC3D45 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:51:01] 679*2^1440841-1 is not prime. Res64: C9E969EE5C0A1556 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:51:01] 807*2^1440841-1 is not prime. Res64: D87E6F8938C0553C Time : 0.0 sec. user=mdettweiler [2016-09-26 07:52:55] 877*2^1440841-1 is not prime. Res64: A9C31EC537EEDF62 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:52:55] 889*2^1440841-1 is not prime. Res64: 8375959CF8011361 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:52:56] 945*2^1440841-1 is not prime. Res64: F1A405FDFD08CBE2 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:52:56] 951*2^1440841-1 is not prime. Res64: 347123E94CF47921 Time : 0.0 sec. user=mdettweiler [2016-09-26 07:52:57] 999*2^1440841-1 is not prime. Res64: F291A0CC1C99FA98 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:35:53] 603*2^1440842-1 is not prime. Res64: 9950494CA0A5358F Time : 0.0 sec. user=mdettweiler [2016-09-26 08:35:53] 713*2^1440842-1 is not prime. Res64: E0A480420235C562 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:35:54] 771*2^1440842-1 is not prime. Res64: BAFC239E5B787F21 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:35:54] 815*2^1440842-1 is not prime. Res64: C6CFFE2403D07A42 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:35:55] 915*2^1440842-1 is not prime. Res64: 097BC76BAD8DEF78 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:11] 663*2^1440843-1 is not prime. Res64: 0A5EBB69199D9FD9 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:12] 709*2^1440843-1 is not prime. Res64: B00AA2F4F7E5E3BE Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:12] 853*2^1440843-1 is not prime. Res64: 2CC392B492A2EE12 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:12] 861*2^1440843-1 is not prime. Res64: EA31F4A8D1155398 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:13] 919*2^1440843-1 is not prime. Res64: 318237DA7EAE77F3 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:28] 609*2^1440844-1 is not prime. Res64: 8D24F2C8B18E6B90 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:28] 695*2^1440844-1 is not prime. Res64: DE4E19648E238D9B Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:29] 785*2^1440844-1 is not prime. Res64: 8481E5B1D0926A11 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:29] 825*2^1440844-1 is not prime. Res64: 79A721E1663C3E5A Time : 0.0 sec. user=mdettweiler [2016-09-26 08:36:29] 939*2^1440844-1 is not prime. Res64: BBB9EF2239293323 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:38:03] 969*2^1440844-1 is not prime. Res64: 26E2F4E9552DC2EA Time : 0.0 sec. user=mdettweiler [2016-09-26 08:38:04] 837*2^1440845-1 is not prime. Res64: BC137F15F1F18DA0 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:38:04] 957*2^1440845-1 is not prime. Res64: 3672DC15FA5D014E Time : 0.0 sec. user=mdettweiler [2016-09-26 08:38:04] 985*2^1440845-1 is not prime. Res64: 1A66F943AB8B28D9 Time : 0.0 sec. user=mdettweiler [2016-09-26 08:38:05] 747*2^1440846-1 is not prime. Res64: 1E05C7D098F31CB8 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:20:56] 777*2^1440846-1 is not prime. Res64: 79D4C855456CE271 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:20:56] 807*2^1440846-1 is not prime. Res64: 58CC8AFBD23F8547 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:20:57] 843*2^1440846-1 is not prime. Res64: B9E6DE6C65E6BB66 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:20:57] 851*2^1440846-1 is not prime. Res64: D9EC20D804E1D350 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:20:58] 941*2^1440846-1 is not prime. Res64: 3B3E81BB1A54E249 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:04] 945*2^1440846-1 is not prime. Res64: 7E701BEB969116D4 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:04] 759*2^1440847-1 is not prime. Res64: 343EE1B7224B55F2 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:04] 831*2^1440847-1 is not prime. Res64: 7DCC45C3FEB1B3BC Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:05] 861*2^1440847-1 is not prime. Res64: 29C1185BF7A36D2E Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:05] 603*2^1440848-1 is not prime. Res64: 460D45728E97EBB4 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:37] 767*2^1440848-1 is not prime. Res64: EEF913358A4EC5FB Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:37] 795*2^1440848-1 is not prime. Res64: 021E128FC59D9B60 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:37] 999*2^1440848-1 is not prime. Res64: 360BF12EE0184F32 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:38] 667*2^1440849-1 is not prime. Res64: 977BE1AA634318DA Time : 0.0 sec. user=mdettweiler [2016-09-26 09:21:38] 685*2^1440849-1 is not prime. Res64: B22542F81F130442 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:23:10] 765*2^1440849-1 is not prime. Res64: AED0753CA0E28201 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:23:11] 865*2^1440849-1 is not prime. Res64: E9654FF6EDEE6540 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:23:11] 921*2^1440849-1 is not prime. Res64: 852D33510CA65917 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:23:12] 951*2^1440849-1 is not prime. Res64: 67E05CBEF7392878 Time : 0.0 sec. user=mdettweiler [2016-09-26 09:23:12] 979*2^1440849-1 is not prime. Res64: 63C6119023524E6C Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:02] 987*2^1440849-1 is not prime. Res64: 32DF7F455989FDD3 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:03] 677*2^1440850-1 is not prime. Res64: 78E32E33E345A60D Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:04] 723*2^1440850-1 is not prime. Res64: 7CAEA3896CCD8F24 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:05] 813*2^1440850-1 is not prime. Res64: CBF28B314EC73C4C Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:06] 731*2^1440850-1 is not prime. Res64: 27E751F1D201910D Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:07] 857*2^1440850-1 is not prime. Res64: 6064B911070DA245 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:07] 783*2^1440850-1 is not prime. Res64: 469A257ABB4CF184 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:08] 945*2^1440850-1 is not prime. Res64: 1FD4B338F164C692 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:09] 643*2^1440851-1 is not prime. Res64: F94568F062180FE4 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:10] 693*2^1440851-1 is not prime. Res64: B812394A66235F3E Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:47] 811*2^1440851-1 is not prime. Res64: F7B2EE1D45B705D5 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:49] 841*2^1440851-1 is not prime. Res64: 029B9BA8EEEB5039 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:50] 855*2^1440851-1 is not prime. Res64: 0C39F9EDB223A9E8 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:51] 979*2^1440851-1 is not prime. Res64: 68233DEC6D26EEBE Time : 0.0 sec. user=mdettweiler [2016-09-26 10:06:52] 609*2^1440852-1 is not prime. Res64: 668B9838394AE408 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:08:19] 627*2^1440852-1 is not prime. Res64: 267409BB01D229DF Time : 0.0 sec. user=mdettweiler [2016-09-26 10:08:19] 765*2^1440852-1 is not prime. Res64: 1478879991BE67D2 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:08:20] 843*2^1440852-1 is not prime. Res64: ECE5A0A75D424B4E Time : 0.0 sec. user=mdettweiler [2016-09-26 10:08:20] 619*2^1440853-1 is not prime. Res64: E8238A24BEFD5CAD Time : 0.0 sec. user=mdettweiler [2016-09-26 10:08:20] 691*2^1440853-1 is not prime. Res64: D055509D4B010659 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:10] 671*2^1440854-1 is not prime. Res64: 1A14E4A81BB38A35 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:10] 677*2^1440854-1 is not prime. Res64: 5DDC9ED544A52E68 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:10] 707*2^1440854-1 is not prime. Res64: D5B6181CA7F50816 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:11] 717*2^1440854-1 is not prime. Res64: 529219F3452DD2F8 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:11] 743*2^1440854-1 is not prime. Res64: 158C46D3E6DF4898 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:12] 741*2^1440853-1 is not prime. Res64: 7EBE953D280AFC84 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:12] 877*2^1440853-1 is not prime. Res64: 4AD498C18C1719F9 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:13] 945*2^1440853-1 is not prime. Res64: 3318D612DA7118A4 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:13] 951*2^1440853-1 is not prime. Res64: 7917C8C54EBAE341 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:51:13] 641*2^1440854-1 is not prime. Res64: C803B6ED4DB1F06B Time : 0.0 sec. user=mdettweiler [2016-09-26 10:52:08] 825*2^1440854-1 is not prime. Res64: AC00805AF81A7936 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:52:08] 827*2^1440854-1 is not prime. Res64: 878222DCBCEB6C60 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:52:09] 941*2^1440854-1 is not prime. Res64: 3EF2826A01A1FB30 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:52:09] 965*2^1440854-1 is not prime. Res64: 6B65526B6AC27A1E Time : 0.0 sec. user=mdettweiler [2016-09-26 10:52:10] 993*2^1440854-1 is not prime. Res64: F618CAFDC0B6C39F Time : 0.0 sec. user=mdettweiler [2016-09-26 10:53:36] 669*2^1440855-1 is not prime. Res64: 85F76CD76E94D489 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:53:37] 709*2^1440855-1 is not prime. Res64: 80DE4EB6BBBFBB36 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:53:37] 789*2^1440855-1 is not prime. Res64: B2687AB06F8C2082 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:53:37] 885*2^1440855-1 is not prime. Res64: 9424C41C68B65757 Time : 0.0 sec. user=mdettweiler [2016-09-26 10:53:38] 979*2^1440855-1 is not prime. Res64: 20EEA9EFF90560EB Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:23] 903*2^1440856-1 is not prime. Res64: 85445853767935D4 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:23] 999*2^1440856-1 is not prime. Res64: C2E842468EF1A43F Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:23] 649*2^1440857-1 is not prime. Res64: C6DAB859AB85DE48 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:24] 759*2^1440857-1 is not prime. Res64: CF29048EBA3DBB7C Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:24] 769*2^1440857-1 is not prime. Res64: D165C4E011258D31 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:25] 985*2^1440855-1 is not prime. Res64: 1FDF5A5FF80E1B01 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:26] 999*2^1440855-1 is not prime. Res64: 325502D6555C1049 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:26] 743*2^1440856-1 is not prime. Res64: 4B97E2B66924A375 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:26] 755*2^1440856-1 is not prime. Res64: 63BC83E3F7AF215A Time : 0.0 sec. user=mdettweiler [2016-09-26 11:36:27] 887*2^1440856-1 is not prime. Res64: E144EF69DDE1251C Time : 0.0 sec. user=mdettweiler [2016-09-26 11:37:14] 795*2^1440857-1 is not prime. Res64: D2C9F10853096BDB Time : 0.0 sec. user=mdettweiler [2016-09-26 11:37:14] 799*2^1440857-1 is not prime. Res64: 0EBB5AAE1D3A5DBC Time : 0.0 sec. user=mdettweiler [2016-09-26 11:37:14] 819*2^1440857-1 is not prime. Res64: 20AAE4314EB0ECEB Time : 0.0 sec. user=mdettweiler [2016-09-26 11:37:15] 871*2^1440857-1 is not prime. Res64: 0D07BA78D59778BB Time : 0.0 sec. user=mdettweiler [2016-09-26 11:37:15] 885*2^1440857-1 is not prime. Res64: 9CDC3377D9C0C9D2 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:38:55] 605*2^1440858-1 is not prime. Res64: 71756D4B0B5B29E2 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:38:55] 671*2^1440858-1 is not prime. Res64: F32B85BDAA390801 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:38:55] 681*2^1440858-1 is not prime. Res64: 9F237A1906C1DE8F Time : 0.0 sec. user=mdettweiler [2016-09-26 11:38:56] 695*2^1440858-1 is not prime. Res64: 27575992B7A51526 Time : 0.0 sec. user=mdettweiler [2016-09-26 11:38:56] 711*2^1440858-1 is not prime. Res64: 3F4A4590541E0724 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:40] 919*2^1440859-1 is not prime. Res64: BFFE633B59835535 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:40] 999*2^1440859-1 is not prime. Res64: D38AE8A30D98FCA5 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:41] 725*2^1440860-1 is not prime. Res64: D6924609F6BB29D7 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:41] 773*2^1440860-1 is not prime. Res64: DED5703D87492F04 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:41] 843*2^1440860-1 is not prime. Res64: E345806A9CD63B24 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:46] 777*2^1440858-1 is not prime. Res64: 23FE8886439FFAFE Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:47] 615*2^1440859-1 is not prime. Res64: 94B5B7F924E52686 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:47] 619*2^1440859-1 is not prime. Res64: 8F407D5CE1C1D6D5 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:47] 741*2^1440859-1 is not prime. Res64: 5786F58B43A4DB76 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:21:48] 861*2^1440859-1 is not prime. Res64: 96BB80756D8D2670 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:22:33] 897*2^1440860-1 is not prime. Res64: 8CFEDBCA3FDD9F92 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:22:34] 929*2^1440860-1 is not prime. Res64: FBFD625F5AC445E4 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:22:34] 609*2^1440861-1 is not prime. Res64: B79C01CC278E36A7 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:22:34] 679*2^1440861-1 is not prime. Res64: 50BCECD446F87F34 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:22:35] 747*2^1440861-1 is not prime. Res64: 8A64D213B3C4C1F7 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:24:00] 781*2^1440861-1 is not prime. Res64: 330FE4966A431305 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:24:00] 847*2^1440861-1 is not prime. Res64: 97592CE03D5E6F08 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:24:01] 907*2^1440861-1 is not prime. Res64: C883CF16905CF614 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:24:01] 951*2^1440861-1 is not prime. Res64: DF8BFFC8BDF30334 Time : 0.0 sec. user=mdettweiler [2016-09-26 12:24:02] 991*2^1440861-1 is not prime. Res64: 340A7566D54E0C59 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:03] 623*2^1440862-1 is not prime. Res64: 0E9B4DD00D471D30 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:04] 665*2^1440862-1 is not prime. Res64: 4725DDC52F6AA208 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:05] 675*2^1440862-1 is not prime. Res64: 745F11E689951D39 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:07] 705*2^1440862-1 is not prime. Res64: A275ACF4BBD68696 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:08] 813*2^1440862-1 is not prime. Res64: 317C73DA6B142EB5 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:08] 785*2^1440862-1 is not prime. Res64: 5BA1C03029A01FD9 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:09] 815*2^1440862-1 is not prime. Res64: 0503308200B291BF Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:11] 831*2^1440862-1 is not prime. Res64: E601473435C6757E Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:12] 867*2^1440862-1 is not prime. Res64: BE78B3C840C0AE38 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:13] 679*2^1440863-1 is not prime. Res64: 7CAC28FDC09B1B7E Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:54] 741*2^1440863-1 is not prime. Res64: B4556D2706787DC1 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:56] 915*2^1440863-1 is not prime. Res64: 56A28B8FB5042796 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:57] 993*2^1440863-1 is not prime. Res64: 0FDD08B599211FB0 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:58] 689*2^1440864-1 is not prime. Res64: 7D9B6885903FED09 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:07:59] 695*2^1440864-1 is not prime. Res64: 92D76761844E0F3A Time : 0.0 sec. user=mdettweiler [2016-09-26 13:09:11] 707*2^1440864-1 is not prime. Res64: E9DA1E550F2E91F2 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:09:11] 747*2^1440864-1 is not prime. Res64: 0C9A1F4DD40B889E Time : 0.0 sec. user=mdettweiler [2016-09-26 13:09:11] 887*2^1440864-1 is not prime. Res64: A7BC71238B7F53CF Time : 0.0 sec. user=mdettweiler [2016-09-26 13:09:12] 905*2^1440864-1 is not prime. Res64: 627A6A0118564C76 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:09:12] 915*2^1440864-1 is not prime. Res64: 174FF2A3BD06BDD8 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:23] 927*2^1440864-1 is not prime. Res64: 1DD56605D5420483 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:24] 983*2^1440864-1 is not prime. Res64: 11119ECAE50D9B36 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:24] 701*2^1440866-1 is not prime. Res64: 58EDA14D8E5828B2 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:24] 775*2^1440865-1 is not prime. Res64: D5B0D6E663575DD2 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:24] 705*2^1440866-1 is not prime. Res64: 97B9F74F2CFDEA75 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:24] 855*2^1440865-1 is not prime. Res64: 3CB49F13DC545E2C Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:25] 741*2^1440866-1 is not prime. Res64: C6A1E292F8061B47 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:25] 937*2^1440865-1 is not prime. Res64: 439D2CF8308AB20B Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:25] 831*2^1440866-1 is not prime. Res64: 7C554FA1ACEB9109 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:52:25] 833*2^1440866-1 is not prime. Res64: CCD3152187EEE104 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:53:09] 971*2^1440866-1 is not prime. Res64: 58CF4E0F24928FD9 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:53:09] 615*2^1440867-1 is not prime. Res64: 4C9CA6692A48519C Time : 0.0 sec. user=mdettweiler [2016-09-26 13:53:10] 649*2^1440867-1 is not prime. Res64: 019A3CD79B9A27A2 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:53:10] 651*2^1440867-1 is not prime. Res64: F9E2FA53F5E4ACAC Time : 0.0 sec. user=mdettweiler [2016-09-26 13:53:11] 775*2^1440867-1 is not prime. Res64: 52C19D0537E76DB0 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:54:24] 801*2^1440867-1 is not prime. Res64: DAF5F5CC91FFC3C7 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:54:25] 823*2^1440867-1 is not prime. Res64: AEDDE77F48055946 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:54:25] 859*2^1440867-1 is not prime. Res64: DDF047C452ABEBBF Time : 0.0 sec. user=mdettweiler [2016-09-26 13:54:25] 677*2^1440868-1 is not prime. Res64: 47661FF01A828CB1 Time : 0.0 sec. user=mdettweiler [2016-09-26 13:54:26] 687*2^1440868-1 is not prime. Res64: 30ADC43CC2A08CF1 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:26] 773*2^1440868-1 is not prime. Res64: B723CDBC916902A3 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:27] 675*2^1440869-1 is not prime. Res64: E0232D112AC401AB Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:27] 777*2^1440868-1 is not prime. Res64: EBD7AA7BAD89C6F2 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:27] 831*2^1440869-1 is not prime. Res64: 0D866E9FFF83CB95 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:27] 855*2^1440868-1 is not prime. Res64: 6CDE39B99F8F4668 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:28] 949*2^1440869-1 is not prime. Res64: 52D2D736C2044148 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:28] 887*2^1440868-1 is not prime. Res64: 8C412FC913C55551 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:28] 997*2^1440869-1 is not prime. Res64: 697B02BE926B08FB Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:28] 987*2^1440868-1 is not prime. Res64: 8946F442A4B20A08 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:37:28] 795*2^1440870-1 is not prime. Res64: 3145F4AE319B1F5B Time : 0.0 sec. user=mdettweiler [2016-09-26 14:38:28] 845*2^1440870-1 is not prime. Res64: 0D3AD7BD953C8404 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:38:28] 887*2^1440870-1 is not prime. Res64: 774E026F3FB0D4B7 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:38:29] 891*2^1440870-1 is not prime. Res64: 55AD83332108AA79 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:38:29] 917*2^1440870-1 is not prime. Res64: 5DF1942529C8E2D5 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:38:29] 927*2^1440870-1 is not prime. Res64: DFE97F21A52C3056 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:39:41] 1001*2^1440870-1 is not prime. Res64: 01BB5090D6F9CC35 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:39:42] 619*2^1440871-1 is not prime. Res64: F36D4558E4F1A831 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:39:42] 645*2^1440871-1 is not prime. Res64: F73E65F774319969 Time : 0.0 sec. user=mdettweiler [2016-09-26 14:39:42] 651*2^1440871-1 is not prime. Res64: 775C593FDAD38F2C Time : 0.0 sec. user=mdettweiler [2016-09-26 14:39:43] 759*2^1440871-1 is not prime. Res64: 1902C62D69B2B639 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:37] 939*2^1440871-1 is not prime. Res64: B6ABD730527375DA Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:38] 973*2^1440871-1 is not prime. Res64: AA0B675580277DAE Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:38] 999*2^1440871-1 is not prime. Res64: 32D32DA558C85034 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:38] 617*2^1440872-1 is not prime. Res64: 2F96438D0A5D17E8 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:39] 629*2^1440872-1 is not prime. Res64: 6FF2538A5EC1C2EB Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:43] 683*2^1440872-1 is not prime. Res64: 0E8770F986A7F2DD Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:44] 873*2^1440872-1 is not prime. Res64: 25745F95854C7286 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:44] 995*2^1440872-1 is not prime. Res64: 903AF9C04F84EC93 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:45] 637*2^1440873-1 is not prime. Res64: D8F8FAF0555917FE Time : 0.0 sec. user=mdettweiler [2016-09-26 15:22:45] 649*2^1440873-1 is not prime. Res64: 30D712337FC338D5 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:23:33] 657*2^1440873-1 is not prime. Res64: 0E7266FDA02170B4 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:23:33] 745*2^1440873-1 is not prime. Res64: 43499446B9E136BE Time : 0.0 sec. user=mdettweiler [2016-09-26 15:23:34] 751*2^1440873-1 is not prime. Res64: CDC80E4FF380AF36 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:23:34] 811*2^1440873-1 is not prime. Res64: 0745A23B8B622911 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:23:34] 847*2^1440873-1 is not prime. Res64: 77251CFB3873A935 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:24:56] 955*2^1440873-1 is not prime. Res64: 36E1D541843C719B Time : 0.0 sec. user=mdettweiler [2016-09-26 15:24:56] 803*2^1440874-1 is not prime. Res64: 4E9E8154AEB8C33A Time : 0.0 sec. user=mdettweiler [2016-09-26 15:24:57] 815*2^1440874-1 is not prime. Res64: 1BA0A4B80F01F0F3 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:24:57] 831*2^1440874-1 is not prime. Res64: 0C858A4E7CAFD1A5 Time : 0.0 sec. user=mdettweiler [2016-09-26 15:24:57] 915*2^1440874-1 is not prime. Res64: 0BABE671D844FC36 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:07:52] 947*2^1440874-1 is not prime. Res64: 37D592E000200472 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:07:52] 971*2^1440874-1 is not prime. Res64: 402857C98DA8FEBD Time : 0.0 sec. user=mdettweiler [2016-09-26 16:07:53] 843*2^1440875-1 is not prime. Res64: 3EA5E4907A2CBCCF Time : 0.0 sec. user=mdettweiler [2016-09-26 16:07:53] 949*2^1440875-1 is not prime. Res64: 0BD5692309A81C0F Time : 0.0 sec. user=mdettweiler [2016-09-26 16:07:54] 973*2^1440875-1 is not prime. Res64: 7825DCE713A76B3C Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:07] 981*2^1440875-1 is not prime. Res64: 4D6892B5859E8CA8 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:08] 999*2^1440875-1 is not prime. Res64: CB454BE2BB3D430E Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:08] 749*2^1440876-1 is not prime. Res64: ABDA9E2BE59C6AB4 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:08] 773*2^1440876-1 is not prime. Res64: 85370CF75ED6699B Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:09] 839*2^1440876-1 is not prime. Res64: 8C5EC9728CAB6AA9 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:36] 845*2^1440876-1 is not prime. Res64: BE6822909A49627E Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:36] 933*2^1440876-1 is not prime. Res64: 2222DB1FA79DBD97 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:36] 639*2^1440877-1 is not prime. Res64: F1C2EA8E1ECDB0AB Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:37] 649*2^1440877-1 is not prime. Res64: 1B9D371F1AAEAD67 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:08:37] 685*2^1440877-1 is not prime. Res64: A66050E768E6D3A5 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:10:05] 691*2^1440877-1 is not prime. Res64: A098DBAE214B9DF8 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:10:06] 771*2^1440877-1 is not prime. Res64: 8E40A6EF63D583D0 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:10:06] 895*2^1440877-1 is not prime. Res64: 437E5F3CF2557910 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:10:06] 927*2^1440877-1 is not prime. Res64: 8B3FBD1D677265D4 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:10:07] 945*2^1440877-1 is not prime. Res64: 0B0B17AA3768FC53 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:13] 999*2^1440877-1 is not prime. Res64: B6E172A82C5B0115 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:13] 627*2^1440878-1 is not prime. Res64: 7D86B4F0F7E7F18F Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:14] 635*2^1440878-1 is not prime. Res64: 4AB7EEB12B861018 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:14] 825*2^1440878-1 is not prime. Res64: 12872D57D6C21FFC Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:14] 827*2^1440878-1 is not prime. Res64: 46C63FEEB7FDF7F5 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:15] 861*2^1440878-1 is not prime. Res64: A715121E91B8428F Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:15] 953*2^1440878-1 is not prime. Res64: 6B238D36AFFE0BE5 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:15] 971*2^1440878-1 is not prime. Res64: 9D877EF90EA181C9 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:16] 601*2^1440879-1 is not prime. Res64: 871DE168B797EE45 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:16] 663*2^1440879-1 is not prime. Res64: 026ABDE373E24A5D Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:43] 721*2^1440879-1 is not prime. Res64: A08F45B6F914304F Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:43] 895*2^1440879-1 is not prime. Res64: 49A49A72588E2D00 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:43] 979*2^1440879-1 is not prime. Res64: F6F925983B750091 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:44] 605*2^1440880-1 is not prime. Res64: 313362DE10EED045 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:53:44] 695*2^1440880-1 is not prime. Res64: B5A9479D08C1CC42 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:55:06] 777*2^1440880-1 is not prime. Res64: 3DBF131C3DBC809E Time : 0.0 sec. user=mdettweiler [2016-09-26 16:55:06] 873*2^1440880-1 is not prime. Res64: B31C3890F55E326B Time : 0.0 sec. user=mdettweiler [2016-09-26 16:55:07] 619*2^1440881-1 is not prime. Res64: BDBC85512271EBDD Time : 0.0 sec. user=mdettweiler [2016-09-26 16:55:08] 669*2^1440881-1 is not prime. Res64: 5AFECCD1C66B7969 Time : 0.0 sec. user=mdettweiler [2016-09-26 16:55:08] 727*2^1440881-1 is not prime. Res64: 911D79360D92C6F7 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:18] 1001*2^1440882-1 is not prime. Res64: A619B941A67BFE9E Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:18] 609*2^1440883-1 is not prime. Res64: 88DF996F755C3AEC Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:19] 615*2^1440883-1 is not prime. Res64: 4E368E16BB0C1274 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:19] 633*2^1440883-1 is not prime. Res64: 25AB97BC14AA1AC5 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:20] 735*2^1440883-1 is not prime. Res64: DBED78CF69A51693 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:20] 945*2^1440881-1 is not prime. Res64: EA56CE0F5BBEE1AB Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:20] 711*2^1440882-1 is not prime. Res64: D33945B70424F9D6 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:20] 713*2^1440882-1 is not prime. Res64: 294847E896D41ADE Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:21] 815*2^1440882-1 is not prime. Res64: EA2AFE028D3419F6 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:21] 867*2^1440882-1 is not prime. Res64: B70CDCD28C04F9DD Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:51] 741*2^1440883-1 is not prime. Res64: E3A7E3462636DE6F Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:52] 835*2^1440883-1 is not prime. Res64: 7D8489C9B941DB6D Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:52] 853*2^1440883-1 is not prime. Res64: F10BD7D145C85E22 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:52] 889*2^1440883-1 is not prime. Res64: A3B7C9414F779343 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:38:53] 891*2^1440883-1 is not prime. Res64: EA779A40A0F6DDAB Time : 0.0 sec. user=mdettweiler [2016-09-26 17:40:17] 615*2^1440884-1 is not prime. Res64: 9AFE85774E5E0718 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:40:18] 635*2^1440884-1 is not prime. Res64: C86DD738CEDC314D Time : 0.0 sec. user=mdettweiler [2016-09-26 17:40:18] 665*2^1440884-1 is not prime. Res64: 1AAEA4B442B8E8DB Time : 0.0 sec. user=mdettweiler [2016-09-26 17:40:18] 759*2^1440884-1 is not prime. Res64: 71BC963A99E01F16 Time : 0.0 sec. user=mdettweiler [2016-09-26 17:40:19] 833*2^1440884-1 is not prime. Res64: E37EE9522FAB0333 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:23] 795*2^1440885-1 is not prime. Res64: 19EBCE871BC963C9 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:24] 861*2^1440885-1 is not prime. Res64: 4B1A80F66CCC4F63 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:24] 979*2^1440885-1 is not prime. Res64: 8CA12DE0CC128B97 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:25] 991*2^1440885-1 is not prime. Res64: D3D15969F57CA45B Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:25] 997*2^1440885-1 is not prime. Res64: 37898BD44A8901C0 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:32] 935*2^1440884-1 is not prime. Res64: CC6FFA84518AD29F Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:33] 957*2^1440884-1 is not prime. Res64: 3C10273E055E9589 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:33] 609*2^1440885-1 is not prime. Res64: 14D984CE220CF51F Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:34] 669*2^1440885-1 is not prime. Res64: 116C7C67F35CD691 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:34] 765*2^1440885-1 is not prime. Res64: D3C8D67AC24BA080 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:55] 999*2^1440885-1 is not prime. Res64: 977695834F2CA84B Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:55] 717*2^1440886-1 is not prime. Res64: F1B68C5CE3425F00 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:55] 723*2^1440886-1 is not prime. Res64: DE13C00BCCA9EA2C Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:56] 783*2^1440886-1 is not prime. Res64: 8F9978B460E08AA7 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:23:56] 923*2^1440886-1 is not prime. Res64: F288720CE91B446E Time : 0.0 sec. user=mdettweiler [2016-09-26 18:25:21] 645*2^1440887-1 is not prime. Res64: 6BEC5CC1624209DF Time : 0.0 sec. user=mdettweiler [2016-09-26 18:25:22] 775*2^1440887-1 is not prime. Res64: A7C0A5C17A29F74B Time : 0.0 sec. user=mdettweiler [2016-09-26 18:25:22] 865*2^1440887-1 is not prime. Res64: 797F796EA1C6A884 Time : 0.0 sec. user=mdettweiler [2016-09-26 18:25:22] 883*2^1440887-1 is not prime. Res64: E86504BCC0D17B4D Time : 0.0 sec. user=mdettweiler [2016-09-26 18:25:23] 885*2^1440887-1 is not prime. Res64: 5A9D8E54E729C6A1 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:28] 973*2^1440887-1 is not prime. Res64: DA3E8274A7F51883 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:28] 993*2^1440887-1 is not prime. Res64: 4695219414CDE4FA Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:29] 605*2^1440888-1 is not prime. Res64: 835260787D411A70 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:29] 615*2^1440888-1 is not prime. Res64: 68598C91D1EA89B2 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:29] 669*2^1440888-1 is not prime. Res64: C8BEEC7CBDD05BF2 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:53] 689*2^1440888-1 is not prime. Res64: 888635E06DD2F0B1 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:53] 707*2^1440888-1 is not prime. Res64: A58552A0C7EDEA81 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:53] 725*2^1440888-1 is not prime. Res64: 611AACA40C18093A Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:54] 737*2^1440888-1 is not prime. Res64: 6F3F56DC9B90BD1C Time : 0.0 sec. user=mdettweiler [2016-09-26 19:08:54] 765*2^1440888-1 is not prime. Res64: EAB90120262B7879 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:09:00] 773*2^1440888-1 is not prime. Res64: D72400AF3732D5A9 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:09:00] 915*2^1440888-1 is not prime. Res64: D3E49C64F7C30C28 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:09:00] 945*2^1440888-1 is not prime. Res64: E35EADC7F33047CE Time : 0.0 sec. user=mdettweiler [2016-09-26 19:09:01] 639*2^1440889-1 is not prime. Res64: A09DAC8C8D4B9960 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:09:01] 649*2^1440889-1 is not prime. Res64: 2C9C63FE7F208032 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:10:25] 877*2^1440889-1 is not prime. Res64: 67520291C3283E72 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:10:25] 897*2^1440889-1 is not prime. Res64: C66F01704D687E54 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:10:26] 997*2^1440889-1 is not prime. Res64: 162C4BD302BD2DB2 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:10:26] 615*2^1440890-1 is not prime. Res64: B2C1DD4100584889 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:10:27] 741*2^1440890-1 is not prime. Res64: C8CDFE285296AAD2 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:42] 893*2^1440890-1 is not prime. Res64: 0253198014CFCD05 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:43] 971*2^1440890-1 is not prime. Res64: 9813A1F2A2A49C71 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:43] 769*2^1440891-1 is not prime. Res64: C3FCE9D7F978E1E7 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:43] 819*2^1440891-1 is not prime. Res64: D5A7B695FA76095B Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:44] 849*2^1440891-1 is not prime. Res64: 43C6A354EFDF7D8B Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:56] 901*2^1440891-1 is not prime. Res64: 42FB40B6A80B2CCA Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:57] 921*2^1440891-1 is not prime. Res64: C4F3BACBEC8DB981 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:57] 675*2^1440892-1 is not prime. Res64: 23902CEC46A6A93F Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:57] 687*2^1440892-1 is not prime. Res64: 5B4E6D170C5DB9D9 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:53:58] 755*2^1440892-1 is not prime. Res64: 7072FCAD122B1034 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:54:03] 843*2^1440892-1 is not prime. Res64: F6F9794CA7305206 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:54:04] 965*2^1440892-1 is not prime. Res64: 36749FE7FA7C084C Time : 0.0 sec. user=mdettweiler [2016-09-26 19:54:04] 987*2^1440892-1 is not prime. Res64: 8D668D2149C8EEA0 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:54:05] 621*2^1440893-1 is not prime. Res64: 7E79DAF947B21D2C Time : 0.0 sec. user=mdettweiler [2016-09-26 19:54:05] 657*2^1440893-1 is not prime. Res64: 143FCBD4FB53223B Time : 0.0 sec. user=mdettweiler [2016-09-26 19:55:32] 669*2^1440893-1 is not prime. Res64: 19F3B8B4A805A396 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:55:32] 741*2^1440893-1 is not prime. Res64: 4F4388E0518A3039 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:55:33] 747*2^1440893-1 is not prime. Res64: 11B29CA656D6D6C6 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:55:33] 787*2^1440893-1 is not prime. Res64: E3076FC48834C7E2 Time : 0.0 sec. user=mdettweiler [2016-09-26 19:55:33] 801*2^1440893-1 is not prime. Res64: 95A3097D57918667 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:18] 885*2^1440893-1 is not prime. Res64: 79EBCA511E4A5D01 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:19] 915*2^1440893-1 is not prime. Res64: 874ED14A57921FA6 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:19] 981*2^1440893-1 is not prime. Res64: FAF678FD2B35D33B Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:19] 605*2^1440894-1 is not prime. Res64: F2C3B0D28477A458 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:20] 651*2^1440895-1 is not prime. Res64: 3FA23D1EBBEBF60F Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:38] 763*2^1440895-1 is not prime. Res64: 2CE48CEBD3FA2F09 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:38] 765*2^1440895-1 is not prime. Res64: 0E5E96029B86BC73 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:39] 889*2^1440895-1 is not prime. Res64: AF968CA2644E9C3B Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:39] 919*2^1440895-1 is not prime. Res64: 198D68BEE1BDB1B4 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:40] 933*2^1440895-1 is not prime. Res64: 860243AB77EDEF15 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:46] 735*2^1440896-1 is not prime. Res64: FF4A802B20ECAC50 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:46] 789*2^1440896-1 is not prime. Res64: FC460A0C73FADE27 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:47] 845*2^1440896-1 is not prime. Res64: 96AF58856A4D3BB6 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:47] 875*2^1440896-1 is not prime. Res64: 294F0A755D3C2073 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:39:48] 615*2^1440897-1 is not prime. Res64: 78870302BC2B19AD Time : 0.0 sec. user=mdettweiler [2016-09-26 20:41:13] 649*2^1440897-1 is not prime. Res64: 736B456CE4E94F38 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:41:13] 741*2^1440897-1 is not prime. Res64: 0B45F3DC5F53D7AD Time : 0.0 sec. user=mdettweiler [2016-09-26 20:41:14] 747*2^1440897-1 is not prime. Res64: 08A3E62C93BF02E2 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:41:14] 781*2^1440897-1 is not prime. Res64: 5A633C8138142912 Time : 0.0 sec. user=mdettweiler [2016-09-26 20:41:15] 795*2^1440897-1 is not prime. Res64: 4AEE88008A81A017 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:31] 819*2^1440897-1 is not prime. Res64: 702E3627CF468FC9 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:31] 861*2^1440897-1 is not prime. Res64: 5F0848D8DD0B3913 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:32] 979*2^1440897-1 is not prime. Res64: A38781958377F33B Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:32] 861*2^1440898-1 is not prime. Res64: 5E576177F4DC88F4 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:32] 885*2^1440898-1 is not prime. Res64: 4911B4EB751CA52E Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:53] 923*2^1440898-1 is not prime. Res64: F0084939D329465F Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:53] 693*2^1440899-1 is not prime. Res64: 439B2779E33B62EF Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:53] 745*2^1440899-1 is not prime. Res64: 0D54CEA54725F2AB Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:54] 775*2^1440899-1 is not prime. Res64: 944379B5D6BA6A93 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:24:54] 861*2^1440899-1 is not prime. Res64: DA7B153D61E3E0E0 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:25:07] 883*2^1440899-1 is not prime. Res64: 41668F1CCABDA104 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:25:07] 885*2^1440899-1 is not prime. Res64: C04F4E13278A33BB Time : 0.0 sec. user=mdettweiler [2016-09-26 21:25:07] 939*2^1440899-1 is not prime. Res64: 6031B2786FD9E8E8 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:25:08] 665*2^1440900-1 is not prime. Res64: 7E1BEB6127122F90 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:25:08] 689*2^1440900-1 is not prime. Res64: C5B971D45E222BAE Time : 0.0 sec. user=mdettweiler [2016-09-26 21:26:29] 717*2^1440900-1 is not prime. Res64: 7053CE9585DBB6BA Time : 0.0 sec. user=mdettweiler [2016-09-26 21:26:30] 825*2^1440900-1 is not prime. Res64: 14114D57D5DDD4A9 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:26:30] 867*2^1440900-1 is not prime. Res64: 93651B008AA4B883 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:26:31] 879*2^1440900-1 is not prime. Res64: A108EACBDB867BA4 Time : 0.0 sec. user=mdettweiler [2016-09-26 21:26:31] 959*2^1440900-1 is not prime. Res64: 7400E146D8A1F562 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:33] 615*2^1440901-1 is not prime. Res64: 572F6BE7C054B192 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:34] 817*2^1440901-1 is not prime. Res64: C9C224BE148D84C3 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:34] 937*2^1440901-1 is not prime. Res64: F47E8BA3A55B2258 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:35] 987*2^1440901-1 is not prime. Res64: E51A3D23BAACA915 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:35] 825*2^1440902-1 is not prime. Res64: D654957FA7E6C76B Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:48] 887*2^1440902-1 is not prime. Res64: 5240CAD50EC84BA6 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:48] 893*2^1440902-1 is not prime. Res64: 96E59199E4BED8E8 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:49] 945*2^1440902-1 is not prime. Res64: 004A086AEE1F4077 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:49] 987*2^1440902-1 is not prime. Res64: 66282ED2467B39FC Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:49] 669*2^1440903-1 is not prime. Res64: 782B1EACF39E39D4 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:55] 685*2^1440903-1 is not prime. Res64: 13E4C92AA21290E1 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:56] 859*2^1440903-1 is not prime. Res64: 2A14140B421B4FB1 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:56] 945*2^1440903-1 is not prime. Res64: D85939F3DBAB73B8 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:57] 963*2^1440903-1 is not prime. Res64: 21FD7906AC5D3A5C Time : 0.0 sec. user=mdettweiler [2016-09-26 22:10:57] 969*2^1440903-1 is not prime. Res64: 19FDE2901D0DD3BA Time : 0.0 sec. user=mdettweiler [2016-09-26 22:12:25] 617*2^1440904-1 is not prime. Res64: E6267A67ACE3CB4A Time : 0.0 sec. user=mdettweiler [2016-09-26 22:12:25] 623*2^1440904-1 is not prime. Res64: 0796A86A3CE39FD8 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:12:25] 645*2^1440904-1 is not prime. Res64: 0A17C94E56AD53D6 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:12:26] 705*2^1440904-1 is not prime. Res64: 3327564E4ED41840 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:12:26] 849*2^1440904-1 is not prime. Res64: BAE77EDC9D3EDD84 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:36] 683*2^1440906-1 is not prime. Res64: F1E15D23669C32D0 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:36] 741*2^1440906-1 is not prime. Res64: F6FF26DDB3DC8CCA Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:36] 873*2^1440906-1 is not prime. Res64: D6C87745D10553B0 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:37] 921*2^1440906-1 is not prime. Res64: 84CD8D2D2C5C80EB Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:37] 941*2^1440906-1 is not prime. Res64: 9F84375F10A6C822 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:42] 735*2^1440905-1 is not prime. Res64: 349586B7875BBA48 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:42] 775*2^1440905-1 is not prime. Res64: EC7D77899BCE7943 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:43] 777*2^1440905-1 is not prime. Res64: A13255BCE4D3EC76 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:43] 925*2^1440905-1 is not prime. Res64: 0F6BFC43FB1427AE Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:43] 615*2^1440906-1 is not prime. Res64: 3934B8F544B1047F Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:54] 897*2^1440904-1 is not prime. Res64: 45E31B746BE24B0F Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:54] 903*2^1440904-1 is not prime. Res64: F33FF9C103A22087 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:55] 909*2^1440904-1 is not prime. Res64: 296D3E48ED75F9D7 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:55] 965*2^1440904-1 is not prime. Res64: 22F1544A123B1137 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:57:55] 721*2^1440905-1 is not prime. Res64: 74CBC00570312FEF Time : 0.0 sec. user=mdettweiler [2016-09-26 22:59:10] 609*2^1440907-1 is not prime. Res64: 2CD5C216115E6B00 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:59:10] 625*2^1440907-1 is not prime. Res64: 15D56C3DD93C8631 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:59:11] 685*2^1440907-1 is not prime. Res64: 7E4F4636EA8F3053 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:59:11] 741*2^1440907-1 is not prime. Res64: E894C2D17265ABC9 Time : 0.0 sec. user=mdettweiler [2016-09-26 22:59:11] 677*2^1440908-1 is not prime. Res64: B6DC97FD8B7382B3 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:49:54] 743*2^1440908-1 is not prime. Res64: 7D3BCBBDE1BC688A Time : 0.0 sec. user=mdettweiler [2016-09-26 23:49:55] 843*2^1440908-1 is not prime. Res64: 68F0E66BE53FEDFB Time : 0.0 sec. user=mdettweiler [2016-09-26 23:49:55] 963*2^1440908-1 is not prime. Res64: DEE91F3959A8701D Time : 0.0 sec. user=mdettweiler [2016-09-26 23:49:55] 625*2^1440909-1 is not prime. Res64: AA15A85708C1239E Time : 0.0 sec. user=mdettweiler [2016-09-26 23:49:56] 627*2^1440909-1 is not prime. Res64: 80C7FDECAC5C98D9 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:26] 657*2^1440910-1 is not prime. Res64: 478DE40FF7A9A66B Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:26] 665*2^1440910-1 is not prime. Res64: 3B8510AE695A8E42 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:26] 707*2^1440910-1 is not prime. Res64: FC1985EF16F1E916 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:27] 761*2^1440910-1 is not prime. Res64: C278299745D3346B Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:27] 777*2^1440910-1 is not prime. Res64: 03365F80E775BE9A Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:43] 811*2^1440909-1 is not prime. Res64: 198692424D1BF8A3 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:43] 825*2^1440909-1 is not prime. Res64: F2628EFB4ED5B8DB Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:44] 867*2^1440909-1 is not prime. Res64: B7C22C254B52CE68 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:44] 921*2^1440909-1 is not prime. Res64: B22726DAA5552CAF Time : 0.0 sec. user=mdettweiler [2016-09-26 23:50:45] 975*2^1440909-1 is not prime. Res64: 80F1BEE2A8A09D64 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:51:27] 981*2^1440910-1 is not prime. Res64: A34CB661B72A7B30 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:51:28] 615*2^1440911-1 is not prime. Res64: 6A5EEFBF075101DE Time : 0.0 sec. user=mdettweiler [2016-09-26 23:51:28] 645*2^1440911-1 is not prime. Res64: 1623BE2F01B21CB1 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:51:28] 763*2^1440911-1 is not prime. Res64: 8907609B55667CA2 Time : 0.0 sec. user=mdettweiler [2016-09-26 23:51:29] 813*2^1440911-1 is not prime. Res64: 611C2D9F26BB7735 Time : 0.0 sec.