user=mdettweiler [2018-08-01 00:03:53] 627*2^1520034-1 is not prime. Res64: 90DD587B698937C7 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:03:54] 711*2^1520034-1 is not prime. Res64: 3A0E80057B536882 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:03:54] 737*2^1520034-1 is not prime. Res64: C3DA61FD437E0DB2 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:03:55] 861*2^1520034-1 is not prime. Res64: 0AFD7666576E70A8 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:03:56] 875*2^1520034-1 is not prime. Res64: 0D9CE1641E3C0B11 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:24:57] 905*2^1520034-1 is not prime. Res64: 36E671C50F66A760 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:24:58] 915*2^1520034-1 is not prime. Res64: 7AE5E0993A51887D Time : 0.0 sec. user=mdettweiler [2018-08-01 00:24:58] 927*2^1520034-1 is not prime. Res64: C05F0813E7E68277 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:24:58] 971*2^1520034-1 is not prime. Res64: F20E7485640E7436 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:24:59] 619*2^1520035-1 is not prime. Res64: 32D3720FF7379B22 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:25:48] 633*2^1520035-1 is not prime. Res64: 1E4B7D6DB0E9E4CA Time : 0.0 sec. user=mdettweiler [2018-08-01 00:25:49] 673*2^1520035-1 is not prime. Res64: 1A5A7566025CB9A8 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:25:49] 715*2^1520035-1 is not prime. Res64: 8B554062C237702A Time : 0.0 sec. user=mdettweiler [2018-08-01 00:25:49] 849*2^1520035-1 is not prime. Res64: 79090D07DCDF3ABA Time : 0.0 sec. user=mdettweiler [2018-08-01 00:25:50] 961*2^1520035-1 is not prime. Res64: 737168A73B941A1B Time : 0.0 sec. user=mdettweiler [2018-08-01 00:43:28] 635*2^1520036-1 is not prime. Res64: 714DB1DF9E26D230 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:43:28] 735*2^1520036-1 is not prime. Res64: DB478404FA493E5C Time : 0.0 sec. user=mdettweiler [2018-08-01 00:43:29] 869*2^1520036-1 is not prime. Res64: BAD2E1EE0D0BA680 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:43:29] 899*2^1520036-1 is not prime. Res64: AFD181D7A7663B28 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:43:29] 923*2^1520036-1 is not prime. Res64: EC2536FFD6742663 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:57:23] 927*2^1520036-1 is not prime. Res64: F4F4F596EFC60609 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:57:23] 669*2^1520037-1 is not prime. Res64: C062E852CA3FF82E Time : 0.0 sec. user=mdettweiler [2018-08-01 00:57:23] 717*2^1520037-1 is not prime. Res64: 9FEE328A54194F4B Time : 0.0 sec. user=mdettweiler [2018-08-01 00:57:24] 727*2^1520037-1 is not prime. Res64: 1D27494172F32520 Time : 0.0 sec. user=mdettweiler [2018-08-01 00:57:24] 805*2^1520037-1 is not prime. Res64: 1B695AC7B93E3B07 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:18:05] 817*2^1520037-1 is not prime. Res64: EB4ABEB902170244 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:18:05] 849*2^1520037-1 is not prime. Res64: 99DCC8000FE02545 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:18:06] 859*2^1520037-1 is not prime. Res64: 2B6A21504FD30EE9 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:18:06] 871*2^1520037-1 is not prime. Res64: B263BF40C6DAAB1E Time : 0.0 sec. user=mdettweiler [2018-08-01 01:18:06] 889*2^1520037-1 is not prime. Res64: 27BEF6FCC8E803C7 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:19:00] 945*2^1520037-1 is not prime. Res64: 792B687BD66DA33C Time : 0.0 sec. user=mdettweiler [2018-08-01 01:19:00] 975*2^1520037-1 is not prime. Res64: BD4F69DF9DDC5EEF Time : 0.0 sec. user=mdettweiler [2018-08-01 01:19:00] 677*2^1520038-1 is not prime. Res64: 69F6F45D85E8C750 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:19:01] 705*2^1520038-1 is not prime. Res64: 7DD7F9200FFC88D8 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:19:01] 861*2^1520038-1 is not prime. Res64: C3460568B5662073 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:36:19] 911*2^1520038-1 is not prime. Res64: 669DFBCCF867A7DE Time : 0.0 sec. user=mdettweiler [2018-08-01 01:36:20] 987*2^1520038-1 is not prime. Res64: 00B8CAE885439009 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:36:20] 661*2^1520039-1 is not prime. Res64: C98D9877DCFA2990 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:36:21] 669*2^1520039-1 is not prime. Res64: 2AB95C6CAA20F95A Time : 0.0 sec. user=mdettweiler [2018-08-01 01:36:22] 721*2^1520039-1 is not prime. Res64: 2F6F9D65269CE2F1 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:50:29] 741*2^1520039-1 is not prime. Res64: 172F5170771F962E Time : 0.0 sec. user=mdettweiler [2018-08-01 01:50:30] 771*2^1520039-1 is not prime. Res64: D666349B751B106F Time : 0.0 sec. user=mdettweiler [2018-08-01 01:50:30] 921*2^1520039-1 is not prime. Res64: BB233EBF7E4E017D Time : 0.0 sec. user=mdettweiler [2018-08-01 01:50:30] 985*2^1520039-1 is not prime. Res64: CCC054C8562F0F56 Time : 0.0 sec. user=mdettweiler [2018-08-01 01:50:30] 991*2^1520039-1 is not prime. Res64: CA8D376C16D60DC7 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:10:22] 609*2^1520040-1 is not prime. Res64: FB65B8F55024BA63 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:10:22] 819*2^1520040-1 is not prime. Res64: B420211FCCD5990C Time : 0.0 sec. user=mdettweiler [2018-08-01 02:10:23] 873*2^1520040-1 is not prime. Res64: 01ACF76E55A528A9 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:10:24] 893*2^1520040-1 is not prime. Res64: 3555F2A5F1323409 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:10:24] 905*2^1520040-1 is not prime. Res64: 94A83E01DB5F4AFF Time : 0.0 sec. user=mdettweiler [2018-08-01 02:11:40] 705*2^1520041-1 is not prime. Res64: 1322CD5DE89E2C2E Time : 0.0 sec. user=mdettweiler [2018-08-01 02:11:45] 747*2^1520041-1 is not prime. Res64: 7273A4EA0C22C89F Time : 0.0 sec. user=mdettweiler [2018-08-01 02:11:45] 751*2^1520041-1 is not prime. Res64: EF29A6F997B9518F Time : 0.0 sec. user=mdettweiler [2018-08-01 02:11:46] 829*2^1520041-1 is not prime. Res64: A1EF47BFB91A5933 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:11:46] 931*2^1520041-1 is not prime. Res64: 34E3F925558119F2 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:28:28] 997*2^1520041-1 is not prime. Res64: CCF03EB211D188EE Time : 0.0 sec. user=mdettweiler [2018-08-01 02:28:28] 623*2^1520042-1 is not prime. Res64: 50A95335ECA76774 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:28:29] 645*2^1520042-1 is not prime. Res64: A0FDB8E7C0FDE402 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:28:29] 735*2^1520042-1 is not prime. Res64: 780D4C56FD266040 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:28:29] 801*2^1520042-1 is not prime. Res64: 6251AE38AD41C59A Time : 0.0 sec. user=mdettweiler [2018-08-01 02:41:44] 825*2^1520042-1 is not prime. Res64: 6D821CB9C5646213 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:41:45] 903*2^1520042-1 is not prime. Res64: F4DE893AC6BC0D78 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:41:45] 957*2^1520042-1 is not prime. Res64: B2208052CDA34A07 Time : 0.0 sec. user=mdettweiler [2018-08-01 02:41:46] 619*2^1520043-1 is not prime. Res64: A28D9A6D466A25EC Time : 0.0 sec. user=mdettweiler [2018-08-01 02:41:47] 639*2^1520043-1 is not prime. Res64: C5216DFDAA57164E Time : 0.0 sec. user=mdettweiler [2018-08-01 03:02:12] 679*2^1520043-1 is not prime. Res64: 53A4C9743A7E9518 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:02:14] 739*2^1520043-1 is not prime. Res64: E70650DFE6555B11 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:02:15] 741*2^1520043-1 is not prime. Res64: 06CDEA3B3C6A88D2 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:02:16] 775*2^1520043-1 is not prime. Res64: 7BC817CF1855F8AB Time : 0.0 sec. user=mdettweiler [2018-08-01 03:02:17] 801*2^1520043-1 is not prime. Res64: FF25210A6DDC47D9 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:03:38] 913*2^1520043-1 is not prime. Res64: CF2B99185DFB3ABC Time : 0.0 sec. user=mdettweiler [2018-08-01 03:03:39] 943*2^1520043-1 is not prime. Res64: 9A62F29F691A991B Time : 0.0 sec. user=mdettweiler [2018-08-01 03:03:40] 961*2^1520043-1 is not prime. Res64: C318C59F6F7F1D82 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:03:41] 969*2^1520043-1 is not prime. Res64: EF1E38939212C7BA Time : 0.0 sec. user=mdettweiler [2018-08-01 03:03:42] 617*2^1520044-1 is not prime. Res64: 6C9C958C5CCB61C6 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:20:29] 723*2^1520044-1 is not prime. Res64: B35CC664C0F6BE46 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:20:29] 749*2^1520044-1 is not prime. Res64: 7D8718BD60997C30 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:20:30] 813*2^1520044-1 is not prime. Res64: 499CBA073B32CAA6 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:20:30] 929*2^1520044-1 is not prime. Res64: DD72A49D8FB2B24A Time : 0.0 sec. user=mdettweiler [2018-08-01 03:20:31] 651*2^1520045-1 is not prime. Res64: AF4EF4D5808FF536 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:34:23] 655*2^1520045-1 is not prime. Res64: 307773A01681B9C1 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:34:27] 735*2^1520045-1 is not prime. Res64: D66351EC1B8C86D0 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:34:30] 757*2^1520045-1 is not prime. Res64: 4194CA73F8D9186A Time : 0.0 sec. user=mdettweiler [2018-08-01 03:34:35] 799*2^1520045-1 is not prime. Res64: 3D3C96F35C931FFA Time : 0.0 sec. user=mdettweiler [2018-08-01 03:34:38] 859*2^1520045-1 is not prime. Res64: A971C58AEBACFC41 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:54:31] 861*2^1520045-1 is not prime. Res64: B34D11F65996FCEA Time : 0.0 sec. user=mdettweiler [2018-08-01 03:54:32] 885*2^1520045-1 is not prime. Res64: 6ABCA56552F02D1F Time : 0.0 sec. user=mdettweiler [2018-08-01 03:54:32] 969*2^1520045-1 is not prime. Res64: ACE3749E6F137B5E Time : 0.0 sec. user=mdettweiler [2018-08-01 03:54:34] 677*2^1520046-1 is not prime. Res64: DC5B17898BD083A6 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:54:34] 741*2^1520046-1 is not prime. Res64: 18B8B6EED6B5D821 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:55:14] 843*2^1520046-1 is not prime. Res64: FF8CB99733C72F0B Time : 0.0 sec. user=mdettweiler [2018-08-01 03:55:15] 957*2^1520046-1 is not prime. Res64: 489BF9EB0EB53084 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:55:16] 615*2^1520047-1 is not prime. Res64: 5C6338D4BCCF42A0 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:55:16] 765*2^1520047-1 is not prime. Res64: F31756F3F74F49A9 Time : 0.0 sec. user=mdettweiler [2018-08-01 03:55:17] 819*2^1520047-1 is not prime. Res64: 883DBFAF77CC5170 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:12:00] 975*2^1520047-1 is not prime. Res64: 3AB15C56BDC36A09 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:12:03] 623*2^1520048-1 is not prime. Res64: D503A1B77D8AAA2E Time : 0.0 sec. user=mdettweiler [2018-08-01 04:12:07] 657*2^1520048-1 is not prime. Res64: 2FF073E9EB78CDDA Time : 0.0 sec. user=mdettweiler [2018-08-01 04:12:16] 747*2^1520048-1 is not prime. Res64: 9B17DF7C27D4201C Time : 0.0 sec. user=mdettweiler [2018-08-01 04:12:20] 815*2^1520048-1 is not prime. Res64: CB910454DD430FDC Time : 0.0 sec. user=mdettweiler [2018-08-01 04:25:53] 827*2^1520048-1 is not prime. Res64: 0DD6A3B5A01AD74D Time : 0.0 sec. user=mdettweiler [2018-08-01 04:25:54] 649*2^1520049-1 is not prime. Res64: 5828652DFA8C9F7B Time : 0.0 sec. user=mdettweiler [2018-08-01 04:25:55] 679*2^1520049-1 is not prime. Res64: DA41CDE47BF4BB7F Time : 0.0 sec. user=mdettweiler [2018-08-01 04:25:56] 727*2^1520049-1 is not prime. Res64: 5C4B35D30B63C02F Time : 0.0 sec. user=mdettweiler [2018-08-01 04:25:57] 759*2^1520049-1 is not prime. Res64: 37FF3940CB3A258C Time : 0.0 sec. user=mdettweiler [2018-08-01 04:45:47] 765*2^1520049-1 is not prime. Res64: BF5A0DEBA5C60F09 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:45:48] 787*2^1520049-1 is not prime. Res64: E7F976BF05941547 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:45:48] 975*2^1520049-1 is not prime. Res64: CD62C8F3C4835476 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:45:49] 997*2^1520049-1 is not prime. Res64: 1259D9CCBD825162 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:45:49] 813*2^1520050-1 is not prime. Res64: E235BF963B1D9285 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:46:20] 915*2^1520050-1 is not prime. Res64: AD8F7933A7C8BFA4 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:46:21] 941*2^1520050-1 is not prime. Res64: F9715714CE663DE2 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:46:21] 971*2^1520050-1 is not prime. Res64: 492B9AD8A00C2676 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:46:22] 631*2^1520051-1 is not prime. Res64: 39E476D749EFE1A3 Time : 0.0 sec. user=mdettweiler [2018-08-01 04:46:23] 643*2^1520051-1 is not prime. Res64: 0887EDCF2EA31A6A Time : 0.0 sec. user=mdettweiler [2018-08-01 05:05:29] 651*2^1520051-1 is not prime. Res64: BFB0EFDF936F32A7 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:05:31] 775*2^1520051-1 is not prime. Res64: B6B2B5AEA056C0A9 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:05:32] 629*2^1520052-1 is not prime. Res64: E4DAA5F1378A1B63 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:05:33] 689*2^1520052-1 is not prime. Res64: D0A39A3051E5B034 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:05:34] 749*2^1520052-1 is not prime. Res64: A6F1CDB648AD6179 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:17:03] 875*2^1520052-1 is not prime. Res64: D0691F50C97073FA Time : 0.0 sec. user=mdettweiler [2018-08-01 05:17:04] 933*2^1520052-1 is not prime. Res64: 1FC1EE5696E53368 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:17:04] 675*2^1520053-1 is not prime. Res64: 8406E19F3BF0C591 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:17:05] 687*2^1520053-1 is not prime. Res64: CBE2B5CD43F4C4D9 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:17:06] 747*2^1520053-1 is not prime. Res64: D1896B6046BBB006 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:37] 771*2^1520053-1 is not prime. Res64: 544F5989E85945CD Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:37] 937*2^1520053-1 is not prime. Res64: E8A0E492AA75492A Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:38] 979*2^1520053-1 is not prime. Res64: 5BCAF57E16D8DA57 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:38] 635*2^1520054-1 is not prime. Res64: 4D6DD79018ACE3A3 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:39] 677*2^1520054-1 is not prime. Res64: 8BAEB24A44A0E573 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:41] 707*2^1520054-1 is not prime. Res64: 0B1BCB80A5867B1A Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:41] 747*2^1520054-1 is not prime. Res64: B302834C5A92628A Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:42] 795*2^1520054-1 is not prime. Res64: 4BEC0E603CEEF809 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:43] 833*2^1520054-1 is not prime. Res64: 5043C7E5B4877F73 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:37:43] 851*2^1520054-1 is not prime. Res64: D5DC5CE34A048D83 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:57:50] 873*2^1520054-1 is not prime. Res64: 7B541D3A3312B926 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:57:50] 923*2^1520054-1 is not prime. Res64: D0BE0E3A37162203 Time : 0.0 sec. user=mdettweiler [2018-08-01 05:57:51] 953*2^1520054-1 is not prime. Res64: C6B213E8E9380FFB Time : 0.0 sec. user=mdettweiler [2018-08-01 05:57:51] 601*2^1520055-1 is not prime. Res64: A612067FDE1B4D7E Time : 0.0 sec. user=mdettweiler [2018-08-01 05:57:51] 691*2^1520055-1 is not prime. Res64: 7D5E480A50346014 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:08:14] 865*2^1520055-1 is not prime. Res64: 5A6E5209416BABFE Time : 0.0 sec. user=mdettweiler [2018-08-01 06:08:16] 871*2^1520055-1 is not prime. Res64: 635E689E537198E1 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:08:16] 603*2^1520056-1 is not prime. Res64: 92CA6F14E4019E4D Time : 0.0 sec. user=mdettweiler [2018-08-01 06:08:17] 629*2^1520056-1 is not prime. Res64: BFE98E06BCE46B7B Time : 0.0 sec. user=mdettweiler [2018-08-01 06:08:17] 657*2^1520056-1 is not prime. Res64: C65ABC5CD490B747 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:13] 695*2^1520056-1 is not prime. Res64: B25AB7803266790E Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:13] 759*2^1520056-1 is not prime. Res64: 29F250F2E9558824 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:13] 857*2^1520056-1 is not prime. Res64: 2B1C1C77BA48C01A Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:14] 869*2^1520056-1 is not prime. Res64: A5147F3F222D15E4 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:14] 631*2^1520057-1 is not prime. Res64: 1A7C41401D1D3AA8 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:28] 637*2^1520057-1 is not prime. Res64: 6D8D3A42E02A4CA5 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:28] 729*2^1520057-1 is not prime. Res64: 60672A95C0B9F2FF Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:29] 735*2^1520057-1 is not prime. Res64: DBBCC33C424EF66B Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:29] 879*2^1520057-1 is not prime. Res64: C493C4DC993969C4 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:28:30] 651*2^1520058-1 is not prime. Res64: BAFC2DC91DE82BD8 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:48:43] 791*2^1520058-1 is not prime. Res64: 36C37BE2E3732A05 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:48:44] 803*2^1520058-1 is not prime. Res64: B77A2373F68847DE Time : 0.0 sec. user=mdettweiler [2018-08-01 06:48:44] 825*2^1520058-1 is not prime. Res64: D856B846B6419FE6 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:48:45] 861*2^1520058-1 is not prime. Res64: 12AB572E9CEE67D5 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:48:45] 709*2^1520059-1 is not prime. Res64: F312A27DA33616CD Time : 0.0 sec. user=mdettweiler [2018-08-01 06:58:49] 895*2^1520059-1 is not prime. Res64: 6C98E1912A3B675A Time : 0.0 sec. user=mdettweiler [2018-08-01 06:58:49] 609*2^1520060-1 is not prime. Res64: 0EBD0249C631FF14 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:58:50] 663*2^1520060-1 is not prime. Res64: F60CFA266F7621A1 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:58:50] 669*2^1520060-1 is not prime. Res64: 9CC35EB8F470CD26 Time : 0.0 sec. user=mdettweiler [2018-08-01 06:58:50] 699*2^1520060-1 is not prime. Res64: CE21EEA1025F4A3D Time : 0.0 sec. user=mdettweiler [2018-08-01 07:18:52] 707*2^1520060-1 is not prime. Res64: E89BD0BE5982A242 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:18:52] 773*2^1520060-1 is not prime. Res64: E5233C39DD0DAF0E Time : 0.0 sec. user=mdettweiler [2018-08-01 07:18:53] 929*2^1520060-1 is not prime. Res64: 057EF38E5BBB7113 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:18:53] 601*2^1520061-1 is not prime. Res64: E6A70DA9F27A4DD0 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:18:54] 615*2^1520061-1 is not prime. Res64: 14D0486293626184 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:19:30] 685*2^1520061-1 is not prime. Res64: 785148D0AA9DA8F2 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:19:31] 709*2^1520061-1 is not prime. Res64: F28AD03E78D8D9BD Time : 0.0 sec. user=mdettweiler [2018-08-01 07:19:31] 727*2^1520061-1 is not prime. Res64: 8B65456E1BB25629 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:19:32] 835*2^1520061-1 is not prime. Res64: 5BC5243BE7BFB0E3 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:19:32] 847*2^1520061-1 is not prime. Res64: 31322954323EBCC5 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:40:02] 961*2^1520061-1 is not prime. Res64: 6E13C021F8F2E05B Time : 0.0 sec. user=mdettweiler [2018-08-01 07:40:03] 991*2^1520061-1 is not prime. Res64: 80D79C13CFC7C8AF Time : 0.0 sec. user=mdettweiler [2018-08-01 07:40:03] 741*2^1520062-1 is not prime. Res64: 5CFDE2641E114667 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:40:04] 813*2^1520062-1 is not prime. Res64: 15DF1322EB395ADC Time : 0.0 sec. user=mdettweiler [2018-08-01 07:40:04] 831*2^1520062-1 is not prime. Res64: D175B25054721C62 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:49:08] 843*2^1520062-1 is not prime. Res64: 7B3CD56D1DC9EFFF Time : 0.0 sec. user=mdettweiler [2018-08-01 07:49:09] 891*2^1520062-1 is not prime. Res64: 8255BCB7962560DB Time : 0.0 sec. user=mdettweiler [2018-08-01 07:49:09] 917*2^1520062-1 is not prime. Res64: 1852DE17ED0D3422 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:49:09] 609*2^1520063-1 is not prime. Res64: 4134E47955AB3E40 Time : 0.0 sec. user=mdettweiler [2018-08-01 07:49:10] 949*2^1520063-1 is not prime. Res64: C71955CDCBA0E564 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:09:26] 955*2^1520063-1 is not prime. Res64: 88A37AB3B38FA2CB Time : 0.0 sec. user=mdettweiler [2018-08-01 08:09:27] 985*2^1520063-1 is not prime. Res64: F32180EF6A9E9C65 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:09:27] 663*2^1520064-1 is not prime. Res64: DEDCB19F9BE8D8B0 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:09:28] 747*2^1520064-1 is not prime. Res64: 1732C305BEEBFFF3 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:09:28] 609*2^1520065-1 is not prime. Res64: 51F0393F2E1EFF3B Time : 0.0 sec. user=mdettweiler [2018-08-01 08:10:30] 649*2^1520065-1 is not prime. Res64: 87EA25C2342F0327 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:10:31] 717*2^1520065-1 is not prime. Res64: 4A43DC54266183BB Time : 0.0 sec. user=mdettweiler [2018-08-01 08:10:32] 729*2^1520065-1 is not prime. Res64: C1905A9F857B4197 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:10:33] 741*2^1520065-1 is not prime. Res64: 79FB7FD1099FFE8C Time : 0.0 sec. user=mdettweiler [2018-08-01 08:10:34] 765*2^1520065-1 is not prime. Res64: 5247490D88FFA4F6 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:31:18] 771*2^1520065-1 is not prime. Res64: 7B79991F8A26A16B Time : 0.0 sec. user=mdettweiler [2018-08-01 08:31:18] 897*2^1520065-1 is not prime. Res64: 86430986BD56DD1F Time : 0.0 sec. user=mdettweiler [2018-08-01 08:31:18] 975*2^1520065-1 is not prime. Res64: 3ABF15FCF4FC2523 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:31:19] 713*2^1520066-1 is not prime. Res64: FEC8D4D04EEDB037 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:31:19] 741*2^1520066-1 is not prime. Res64: 8932CF9C67C4F015 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:40:55] 755*2^1520066-1 is not prime. Res64: 207961362046287E Time : 0.0 sec. user=mdettweiler [2018-08-01 08:40:55] 767*2^1520066-1 is not prime. Res64: 185EDCF520A36BC2 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:40:55] 887*2^1520066-1 is not prime. Res64: DC5824E970706238 Time : 0.0 sec. user=mdettweiler [2018-08-01 08:40:56] 893*2^1520066-1 is not prime. Res64: DCE08AE97BCD4E3B Time : 0.0 sec. user=mdettweiler [2018-08-01 08:40:56] 1001*2^1520066-1 is not prime. Res64: 426490B1717EB6EF Time : 0.0 sec. user=mdettweiler [2018-08-01 09:00:43] 895*2^1520067-1 is not prime. Res64: 2CCD542491CA7DA6 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:00:44] 961*2^1520067-1 is not prime. Res64: 293C33BC03755E50 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:00:45] 635*2^1520068-1 is not prime. Res64: CE667852B8043ECE Time : 0.0 sec. user=mdettweiler [2018-08-01 09:00:46] 743*2^1520068-1 is not prime. Res64: FBC13C1682C79A0A Time : 0.0 sec. user=mdettweiler [2018-08-01 09:00:46] 819*2^1520068-1 is not prime. Res64: E28D02B3F6AC0708 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:01:47] 825*2^1520068-1 is not prime. Res64: BFC99C149FE5885B Time : 0.0 sec. user=mdettweiler [2018-08-01 09:01:48] 845*2^1520068-1 is not prime. Res64: E99A86DE8E22F68D Time : 0.0 sec. user=mdettweiler [2018-08-01 09:01:49] 909*2^1520068-1 is not prime. Res64: 94C6D8E8FAFC2DC5 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:01:50] 915*2^1520068-1 is not prime. Res64: 80194FA4C73698C2 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:01:50] 995*2^1520068-1 is not prime. Res64: 87B2C32B882A8B09 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:21:46] 601*2^1520069-1 is not prime. Res64: 18C63593ED74F263 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:21:47] 645*2^1520069-1 is not prime. Res64: 36765BE16960EE48 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:21:47] 675*2^1520069-1 is not prime. Res64: 951272478652A207 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:21:47] 949*2^1520069-1 is not prime. Res64: 82D4583AD5D98186 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:21:48] 979*2^1520069-1 is not prime. Res64: 36A7684BCCD491F6 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:32:14] 641*2^1520070-1 is not prime. Res64: 555D5E43671B698A Time : 0.0 sec. user=mdettweiler [2018-08-01 09:32:15] 755*2^1520070-1 is not prime. Res64: 069BAF6829200FAD Time : 0.0 sec. user=mdettweiler [2018-08-01 09:32:15] 795*2^1520070-1 is not prime. Res64: DE5D16EFCC768170 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:32:16] 851*2^1520070-1 is not prime. Res64: 712885D2D6066837 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:32:16] 863*2^1520070-1 is not prime. Res64: 0CAC431DB5DA5342 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:52:58] 1001*2^1520070-1 is not prime. Res64: E2FAE3A6B9F26E26 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:52:58] 621*2^1520071-1 is not prime. Res64: DBA330C0E58B4086 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:52:58] 639*2^1520071-1 is not prime. Res64: 61C97F3A08C64C5F Time : 0.0 sec. user=mdettweiler [2018-08-01 09:52:59] 675*2^1520071-1 is not prime. Res64: EF398EE39C31AE60 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:52:59] 715*2^1520071-1 is not prime. Res64: D4EBD0BDE546C3E9 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:53:15] 745*2^1520071-1 is not prime. Res64: 39219B1E6A3BCB39 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:53:15] 805*2^1520071-1 is not prime. Res64: 6F7AC25571588E5F Time : 0.0 sec. user=mdettweiler [2018-08-01 09:53:16] 819*2^1520071-1 is not prime. Res64: A60C78E9E2584924 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:53:16] 871*2^1520071-1 is not prime. Res64: 6D1AFC8B3A5F02E1 Time : 0.0 sec. user=mdettweiler [2018-08-01 09:53:16] 873*2^1520071-1 is not prime. Res64: ACD3DFFE2DD42E09 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:12:52] 951*2^1520071-1 is not prime. Res64: EB4584D1E2AA5575 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:12:52] 617*2^1520072-1 is not prime. Res64: 141B68F95E9BAF53 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:12:53] 629*2^1520072-1 is not prime. Res64: 074FD12354EC477D Time : 0.0 sec. user=mdettweiler [2018-08-01 10:12:53] 665*2^1520072-1 is not prime. Res64: E2095A41E2E4AF53 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:12:54] 669*2^1520072-1 is not prime. Res64: 0BD0EE57F1ACC7F1 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:23:05] 689*2^1520072-1 is not prime. Res64: B6774686AF55AEF3 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:23:05] 735*2^1520072-1 is not prime. Res64: 43D2A6171D094862 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:23:06] 819*2^1520072-1 is not prime. Res64: 581AE2547AE9E02E Time : 0.0 sec. user=mdettweiler [2018-08-01 10:23:06] 857*2^1520072-1 is not prime. Res64: 4048A757EE2E820D Time : 0.0 sec. user=mdettweiler [2018-08-01 10:23:06] 899*2^1520072-1 is not prime. Res64: 3D2D20CB93AE23B0 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:43:55] 957*2^1520072-1 is not prime. Res64: 14B749FD60995AED Time : 0.0 sec. user=mdettweiler [2018-08-01 10:43:55] 765*2^1520073-1 is not prime. Res64: 5FFE906F5776014F Time : 0.0 sec. user=mdettweiler [2018-08-01 10:43:56] 837*2^1520073-1 is not prime. Res64: 34ADDB73712AD03F Time : 0.0 sec. user=mdettweiler [2018-08-01 10:43:56] 871*2^1520073-1 is not prime. Res64: 9545CE8B793610E9 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:43:57] 717*2^1520074-1 is not prime. Res64: 12299651F50007C3 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:44:14] 773*2^1520074-1 is not prime. Res64: 14068C044F25081E Time : 0.0 sec. user=mdettweiler [2018-08-01 10:44:14] 861*2^1520074-1 is not prime. Res64: CEE4204FEAA58CAD Time : 0.0 sec. user=mdettweiler [2018-08-01 10:44:15] 987*2^1520074-1 is not prime. Res64: C0BB1ADD56A0642E Time : 0.0 sec. user=mdettweiler [2018-08-01 10:44:15] 655*2^1520075-1 is not prime. Res64: F62DB67B56505031 Time : 0.0 sec. user=mdettweiler [2018-08-01 10:44:15] 735*2^1520075-1 is not prime. Res64: 5D55F4C78FDCC8B4 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:03:28] 801*2^1520075-1 is not prime. Res64: 9C9188426DC63954 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:03:29] 883*2^1520075-1 is not prime. Res64: F92613C0D9DAABB7 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:03:30] 909*2^1520075-1 is not prime. Res64: 88320FC3847870A6 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:03:31] 609*2^1520076-1 is not prime. Res64: A1446E3F27379F26 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:03:32] 737*2^1520076-1 is not prime. Res64: 6CA4122C423A7153 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:13:55] 777*2^1520076-1 is not prime. Res64: 8BB068EE7A1380E1 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:13:56] 845*2^1520076-1 is not prime. Res64: 60333852BA1AD50D Time : 0.0 sec. user=mdettweiler [2018-08-01 11:13:56] 873*2^1520076-1 is not prime. Res64: 90E938C70E825053 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:13:56] 645*2^1520077-1 is not prime. Res64: 4A233C4273B33842 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:13:57] 667*2^1520077-1 is not prime. Res64: CFC37D61EB1B3343 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:34:51] 741*2^1520077-1 is not prime. Res64: 5C34158806841E2E Time : 0.0 sec. user=mdettweiler [2018-08-01 11:34:51] 771*2^1520077-1 is not prime. Res64: DBA4D35D17CC3DFD Time : 0.0 sec. user=mdettweiler [2018-08-01 11:34:52] 847*2^1520077-1 is not prime. Res64: A9623733EC7FE0F7 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:34:52] 657*2^1520078-1 is not prime. Res64: 9DF4F65447D7E7B2 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:34:52] 705*2^1520078-1 is not prime. Res64: 8F7B6783F4097ABC Time : 0.0 sec. user=mdettweiler [2018-08-01 11:35:10] 773*2^1520078-1 is not prime. Res64: E7161E18C30A9AF4 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:35:11] 791*2^1520078-1 is not prime. Res64: AC4946FAEA1C6920 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:35:11] 827*2^1520078-1 is not prime. Res64: 712657B6BFFC7114 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:35:12] 693*2^1520079-1 is not prime. Res64: 3BCD941F1875173F Time : 0.0 sec. user=mdettweiler [2018-08-01 11:35:12] 789*2^1520079-1 is not prime. Res64: 3EB34F7EF7DA357D Time : 0.0 sec. user=mdettweiler [2018-08-01 11:55:03] 885*2^1520079-1 is not prime. Res64: 95FE39851BF730E8 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:55:04] 979*2^1520079-1 is not prime. Res64: 2AD4DE47148D841D Time : 0.0 sec. user=mdettweiler [2018-08-01 11:55:04] 605*2^1520080-1 is not prime. Res64: 05AD3C2521962FE1 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:55:04] 675*2^1520080-1 is not prime. Res64: 7BA4F30BC0154E61 Time : 0.0 sec. user=mdettweiler [2018-08-01 11:55:05] 735*2^1520080-1 is not prime. Res64: B20014E825AE8D98 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:05:46] 743*2^1520080-1 is not prime. Res64: 77DB4312276A075C Time : 0.0 sec. user=mdettweiler [2018-08-01 12:05:48] 887*2^1520080-1 is not prime. Res64: E8D89677DE8930FE Time : 0.0 sec. user=mdettweiler [2018-08-01 12:05:50] 619*2^1520081-1 is not prime. Res64: 852FCA686D8AD2C7 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:05:52] 675*2^1520081-1 is not prime. Res64: 5C5C92B0790F683C Time : 0.0 sec. user=mdettweiler [2018-08-01 12:05:53] 829*2^1520081-1 is not prime. Res64: 778B48D0A84BE4CE Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:11] 671*2^1520082-1 is not prime. Res64: D9B937D2925E2375 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:11] 713*2^1520082-1 is not prime. Res64: 68B5842E6013D0B1 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:11] 717*2^1520082-1 is not prime. Res64: 6C08A3CF9EE4EA00 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:12] 737*2^1520082-1 is not prime. Res64: 970A8252084B5DB9 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:12] 741*2^1520082-1 is not prime. Res64: 9320EB0A937A53F7 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:26] 803*2^1520082-1 is not prime. Res64: 76EFB9C65F3C8CDB Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:26] 915*2^1520082-1 is not prime. Res64: 022D7DCED07DA155 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:26] 921*2^1520082-1 is not prime. Res64: DFA29704AFA8408C Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:27] 723*2^1520083-1 is not prime. Res64: 464CEECC62C2E404 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:26:27] 745*2^1520083-1 is not prime. Res64: 898C4143866F2C6D Time : 0.0 sec. user=mdettweiler [2018-08-01 12:46:19] 765*2^1520083-1 is not prime. Res64: FC899ACAF75A632F Time : 0.0 sec. user=mdettweiler [2018-08-01 12:46:20] 873*2^1520083-1 is not prime. Res64: E10D033D8C5C5508 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:46:20] 945*2^1520083-1 is not prime. Res64: A5942736AABEC5A6 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:46:21] 605*2^1520084-1 is not prime. Res64: 7B0A0B6731B11FD2 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:46:21] 843*2^1520084-1 is not prime. Res64: E327349EB61461ED Time : 0.0 sec. user=mdettweiler [2018-08-01 12:57:24] 983*2^1520084-1 is not prime. Res64: 24725878D3F8DBB4 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:57:24] 651*2^1520085-1 is not prime. Res64: 2D5CC1DDFB1F8119 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:57:24] 685*2^1520085-1 is not prime. Res64: 6B424401F2046525 Time : 0.0 sec. user=mdettweiler [2018-08-01 12:57:25] 709*2^1520085-1 is not prime. Res64: 47CCE8EAA7DB00ED Time : 0.0 sec. user=mdettweiler [2018-08-01 12:57:25] 741*2^1520085-1 is not prime. Res64: 27E6080CD4C3BAA1 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:06] 759*2^1520085-1 is not prime. Res64: EA2E1C8F18397AA6 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:07] 927*2^1520085-1 is not prime. Res64: 51D0E3DFBFF74271 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:07] 991*2^1520085-1 is not prime. Res64: 1FDFA25C3545A946 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:08] 741*2^1520086-1 is not prime. Res64: D67F54B48476C308 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:08] 923*2^1520086-1 is not prime. Res64: 7C314D15262A5139 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:19] 941*2^1520086-1 is not prime. Res64: 80D457B88268784D Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:19] 947*2^1520086-1 is not prime. Res64: EA3A084DDB30A2BA Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:20] 987*2^1520086-1 is not prime. Res64: 8393190688C05510 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:20] 1001*2^1520086-1 is not prime. Res64: 7974C7EBCDF83A7C Time : 0.0 sec. user=mdettweiler [2018-08-01 13:17:21] 759*2^1520087-1 is not prime. Res64: 7EEF0B0BFAF8D3FF Time : 0.0 sec. user=mdettweiler [2018-08-01 13:37:11] 885*2^1520087-1 is not prime. Res64: 3934E62751861A17 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:37:12] 895*2^1520087-1 is not prime. Res64: 81F1616CC590D698 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:37:12] 909*2^1520087-1 is not prime. Res64: 36E4A7E410E36AB9 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:37:12] 669*2^1520088-1 is not prime. Res64: 36E00891E269643D Time : 0.0 sec. user=mdettweiler [2018-08-01 13:37:13] 723*2^1520088-1 is not prime. Res64: 056829209F728E2B Time : 0.0 sec. user=mdettweiler [2018-08-01 13:48:17] 819*2^1520088-1 is not prime. Res64: 56F43A9030360432 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:48:17] 825*2^1520088-1 is not prime. Res64: E0666B39823D8FEF Time : 0.0 sec. user=mdettweiler [2018-08-01 13:48:17] 929*2^1520088-1 is not prime. Res64: B0DB6D1283E574C0 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:48:18] 745*2^1520089-1 is not prime. Res64: 3518DF76C7D6D9D9 Time : 0.0 sec. user=mdettweiler [2018-08-01 13:48:18] 789*2^1520089-1 is not prime. Res64: ACA4C884D75E39F8 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:07:50] 801*2^1520089-1 is not prime. Res64: F1786A0CA96B840B Time : 0.0 sec. user=mdettweiler [2018-08-01 14:07:51] 985*2^1520089-1 is not prime. Res64: 77170D4D6008D1A4 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:07:51] 615*2^1520090-1 is not prime. Res64: E7398C9D507D460E Time : 0.0 sec. user=mdettweiler [2018-08-01 14:07:52] 633*2^1520090-1 is not prime. Res64: BC94754509DE996B Time : 0.0 sec. user=mdettweiler [2018-08-01 14:07:52] 731*2^1520090-1 is not prime. Res64: 26225C5CD7168556 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:08:01] 827*2^1520090-1 is not prime. Res64: 2463F71DC98CB43D Time : 0.0 sec. user=mdettweiler [2018-08-01 14:08:02] 851*2^1520090-1 is not prime. Res64: 550C6DB5C317188B Time : 0.0 sec. user=mdettweiler [2018-08-01 14:08:02] 857*2^1520090-1 is not prime. Res64: 55943D1B54DDED67 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:08:03] 723*2^1520091-1 is not prime. Res64: 2042C0FA55DB9723 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:08:03] 795*2^1520091-1 is not prime. Res64: 841CF38C84C2F2F6 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:28:10] 849*2^1520091-1 is not prime. Res64: BCA90E1637BE0C6E Time : 0.0 sec. user=mdettweiler [2018-08-01 14:28:10] 859*2^1520091-1 is not prime. Res64: 400E0C3B002B13CC Time : 0.0 sec. user=mdettweiler [2018-08-01 14:28:11] 961*2^1520091-1 is not prime. Res64: 140F9B4C982C9868 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:28:11] 969*2^1520091-1 is not prime. Res64: C28599CE3541DED3 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:28:11] 975*2^1520091-1 is not prime. Res64: CE737E596CB15772 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:39:31] 699*2^1520092-1 is not prime. Res64: 0184922431FB3091 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:39:31] 939*2^1520092-1 is not prime. Res64: 882EC9FCA1E3F059 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:39:31] 649*2^1520093-1 is not prime. Res64: B9F836E473692523 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:39:32] 781*2^1520093-1 is not prime. Res64: E7C43B7D67F103EC Time : 0.0 sec. user=mdettweiler [2018-08-01 14:39:32] 967*2^1520093-1 is not prime. Res64: 7F1261851A2DCDC8 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:58:52] 641*2^1520094-1 is not prime. Res64: 7679B8358A6591D5 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:58:53] 651*2^1520094-1 is not prime. Res64: 85E2CDDFA2B8F1CB Time : 0.0 sec. user=mdettweiler [2018-08-01 14:58:53] 741*2^1520094-1 is not prime. Res64: 5ED87F924E72B178 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:58:53] 773*2^1520094-1 is not prime. Res64: 685B8014756A9AD5 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:58:54] 791*2^1520094-1 is not prime. Res64: DB7CD2E99DA3350E Time : 0.0 sec. user=mdettweiler [2018-08-01 14:59:25] 797*2^1520094-1 is not prime. Res64: 19B4C4217354ACCB Time : 0.0 sec. user=mdettweiler [2018-08-01 14:59:25] 873*2^1520094-1 is not prime. Res64: D53287A0271D27A5 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:59:25] 951*2^1520094-1 is not prime. Res64: 31C5DCB83CEE3977 Time : 0.0 sec. user=mdettweiler [2018-08-01 14:59:26] 873*2^1520095-1 is not prime. Res64: 6E01BD044B86619E Time : 0.0 sec. user=mdettweiler [2018-08-01 14:59:26] 979*2^1520095-1 is not prime. Res64: 2B4590FD34718196 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:19:09] 623*2^1520096-1 is not prime. Res64: AF423A0486374B45 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:19:09] 689*2^1520096-1 is not prime. Res64: 27E8569D0FD894C3 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:19:09] 735*2^1520096-1 is not prime. Res64: 4F53A5BBEFDDCE81 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:19:10] 855*2^1520096-1 is not prime. Res64: 92E1D6678CA775D1 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:19:10] 857*2^1520096-1 is not prime. Res64: 9BEBC2A748AA3460 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:30:22] 923*2^1520096-1 is not prime. Res64: 59F324DDF109723A Time : 0.0 sec. user=mdettweiler [2018-08-01 15:30:22] 999*2^1520096-1 is not prime. Res64: A367828F27A90C81 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:30:22] 625*2^1520097-1 is not prime. Res64: D42F505C73E7B86B Time : 0.0 sec. user=mdettweiler [2018-08-01 15:30:23] 709*2^1520097-1 is not prime. Res64: F14D38D85DC93F15 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:30:23] 759*2^1520097-1 is not prime. Res64: A83A629D1E68FF80 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:49:50] 919*2^1520097-1 is not prime. Res64: 19B677591DD38C14 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:49:50] 687*2^1520098-1 is not prime. Res64: D7D30B579B9545C2 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:49:50] 735*2^1520098-1 is not prime. Res64: 91D6A2F7820A9357 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:49:51] 825*2^1520098-1 is not prime. Res64: E89B33EF64CD5B3F Time : 0.0 sec. user=mdettweiler [2018-08-01 15:49:51] 857*2^1520098-1 is not prime. Res64: 4CF8546C1F8DB2D3 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:50:21] 993*2^1520098-1 is not prime. Res64: 3FAA7B66FBAC6957 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:50:21] 693*2^1520099-1 is not prime. Res64: 1956CAAD05D4B014 Time : 0.0 sec. user=mdettweiler [2018-08-01 15:50:21] 801*2^1520099-1 is not prime. Res64: B5578F233CE3483B Time : 0.0 sec. user=mdettweiler [2018-08-01 15:50:22] 903*2^1520099-1 is not prime. Res64: C1DC33321B35CA7E Time : 0.0 sec. user=mdettweiler [2018-08-01 15:50:22] 675*2^1520100-1 is not prime. Res64: 0FCB57BB8FF5697C Time : 0.0 sec. user=mdettweiler [2018-08-01 16:10:00] 779*2^1520100-1 is not prime. Res64: EE7F641390ACF1B6 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:10:00] 819*2^1520100-1 is not prime. Res64: 85E8BFFDABDA244C Time : 0.0 sec. user=mdettweiler [2018-08-01 16:10:01] 825*2^1520100-1 is not prime. Res64: BD5B28EB2AA23DDB Time : 0.0 sec. user=mdettweiler [2018-08-01 16:10:01] 839*2^1520100-1 is not prime. Res64: 79A4AEEA1FFA5992 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:10:01] 887*2^1520100-1 is not prime. Res64: 8E22190504B598D1 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:21:09] 915*2^1520100-1 is not prime. Res64: ACDA179D7F74EE69 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:21:10] 975*2^1520100-1 is not prime. Res64: A69033883B8B6684 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:21:10] 615*2^1520101-1 is not prime. Res64: 8D64217F6590B032 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:21:10] 625*2^1520101-1 is not prime. Res64: 10E1E2CB82585048 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:21:11] 651*2^1520101-1 is not prime. Res64: 75EDEAD9E568C48C Time : 0.0 sec. user=mdettweiler [2018-08-01 16:40:37] 727*2^1520101-1 is not prime. Res64: E8281C4451E3766E Time : 0.0 sec. user=mdettweiler [2018-08-01 16:40:37] 741*2^1520101-1 is not prime. Res64: 443D5B3F1BC17C60 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:40:38] 757*2^1520101-1 is not prime. Res64: A66EFADEEB985B77 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:40:38] 861*2^1520101-1 is not prime. Res64: 251CAADA2F74FE5A Time : 0.0 sec. user=mdettweiler [2018-08-01 16:40:38] 895*2^1520101-1 is not prime. Res64: AD121EFC8BCEA485 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:41:10] 931*2^1520101-1 is not prime. Res64: AC93EB9F3BC41FEA Time : 0.0 sec. user=mdettweiler [2018-08-01 16:41:11] 623*2^1520102-1 is not prime. Res64: 09B453154EB3510B Time : 0.0 sec. user=mdettweiler [2018-08-01 16:41:11] 645*2^1520102-1 is not prime. Res64: CB4B7CFA415A3917 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:41:11] 875*2^1520102-1 is not prime. Res64: F9141D13C1FD6AD1 Time : 0.0 sec. user=mdettweiler [2018-08-01 16:41:12] 887*2^1520102-1 is not prime. Res64: A6AFF22A50762B55 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:00:51] 951*2^1520102-1 is not prime. Res64: B7C8436D43BCCF48 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:00:51] 981*2^1520102-1 is not prime. Res64: 992074DF4468B0F2 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:00:52] 987*2^1520102-1 is not prime. Res64: 3A75B4ABAE95CA91 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:00:53] 995*2^1520102-1 is not prime. Res64: 652D928ECC0FD49D Time : 0.0 sec. user=mdettweiler [2018-08-01 17:00:53] 853*2^1520103-1 is not prime. Res64: 63EF06559BBE7333 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:12:24] 861*2^1520103-1 is not prime. Res64: 6783F4AFB0B3FC1A Time : 0.0 sec. user=mdettweiler [2018-08-01 17:12:24] 961*2^1520103-1 is not prime. Res64: 0BFD595DE7EB5998 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:12:25] 617*2^1520104-1 is not prime. Res64: 5FCD8DA4A4A8FC07 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:12:25] 705*2^1520104-1 is not prime. Res64: B736071035C98933 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:12:26] 717*2^1520104-1 is not prime. Res64: DEA982699DF4C0E1 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:31:42] 723*2^1520104-1 is not prime. Res64: 966CE62747170262 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:31:42] 843*2^1520104-1 is not prime. Res64: A6B30FFAFECF6A1E Time : 0.0 sec. user=mdettweiler [2018-08-01 17:31:43] 873*2^1520104-1 is not prime. Res64: 70AE0AD43E8A8D7B Time : 0.0 sec. user=mdettweiler [2018-08-01 17:31:43] 959*2^1520104-1 is not prime. Res64: 8AED1BDF8470CF55 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:31:43] 965*2^1520104-1 is not prime. Res64: 5D5B694A9BEAB8C6 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:32:13] 645*2^1520105-1 is not prime. Res64: 2FF47D562AC7366F Time : 0.0 sec. user=mdettweiler [2018-08-01 17:32:14] 937*2^1520105-1 is not prime. Res64: 14099092D5DBC954 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:32:14] 985*2^1520105-1 is not prime. Res64: F25DC046B6F9ABE7 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:32:14] 987*2^1520105-1 is not prime. Res64: CE73FEA2A965EB31 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:32:15] 735*2^1520106-1 is not prime. Res64: 781B3CEE015CE711 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:51:59] 803*2^1520106-1 is not prime. Res64: 66D6E52B0D4EEB88 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:51:59] 917*2^1520106-1 is not prime. Res64: 2EBEAFECE473AE3F Time : 0.0 sec. user=mdettweiler [2018-08-01 17:52:00] 983*2^1520106-1 is not prime. Res64: 50C1448F25FC0EF7 Time : 0.0 sec. user=mdettweiler [2018-08-01 17:52:00] 675*2^1520107-1 is not prime. Res64: B5BAA762ACE3D5EC Time : 0.0 sec. user=mdettweiler [2018-08-01 17:52:01] 759*2^1520107-1 is not prime. Res64: 4D268591DDE4D242 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:03:38] 873*2^1520107-1 is not prime. Res64: 3EBCAB4B19689A12 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:03:40] 633*2^1520108-1 is not prime. Res64: CCADAFF7C8EB45A6 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:03:42] 825*2^1520108-1 is not prime. Res64: EFAC9634605F6E67 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:03:43] 869*2^1520108-1 is not prime. Res64: C0E9D64C2DB80546 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:03:43] 879*2^1520108-1 is not prime. Res64: 519A773C6F387205 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:22:48] 969*2^1520108-1 is not prime. Res64: 975AD02B8D712333 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:22:48] 999*2^1520108-1 is not prime. Res64: 51F52FA8D0653077 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:22:49] 847*2^1520109-1 is not prime. Res64: 645DE5135B0DF4B7 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:22:49] 865*2^1520109-1 is not prime. Res64: 5F2F9EB5F11D0C64 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:22:50] 891*2^1520109-1 is not prime. Res64: 740D30E273986DFD Time : 0.0 sec. user=mdettweiler [2018-08-01 18:23:24] 907*2^1520109-1 is not prime. Res64: 244B82E8D9365812 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:23:25] 919*2^1520109-1 is not prime. Res64: BC1AACC83D849368 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:23:25] 961*2^1520109-1 is not prime. Res64: 3DF5D84615EB17F4 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:23:25] 985*2^1520109-1 is not prime. Res64: 9318FE9B054E496B Time : 0.0 sec. user=mdettweiler [2018-08-01 18:23:26] 713*2^1520110-1 is not prime. Res64: DD64152F906776E0 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:43:20] 755*2^1520110-1 is not prime. Res64: DBAB229BB4CB5D28 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:43:20] 777*2^1520110-1 is not prime. Res64: 54C30D01B35F5B91 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:43:21] 917*2^1520110-1 is not prime. Res64: 2A5971B5C5685163 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:43:21] 661*2^1520111-1 is not prime. Res64: A9966C06757D3BC0 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:43:21] 673*2^1520111-1 is not prime. Res64: FE99E1BA0D0A711A Time : 0.0 sec. user=mdettweiler [2018-08-01 18:55:22] 741*2^1520111-1 is not prime. Res64: 44DEFFA517664011 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:55:23] 763*2^1520111-1 is not prime. Res64: 4CD0A0A28D572591 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:55:23] 843*2^1520111-1 is not prime. Res64: 275D4E78517A7B8B Time : 0.0 sec. user=mdettweiler [2018-08-01 18:55:23] 885*2^1520111-1 is not prime. Res64: FC1F49D2885A87E2 Time : 0.0 sec. user=mdettweiler [2018-08-01 18:55:24] 669*2^1520112-1 is not prime. Res64: 6240737DE84F75A8 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:16:24] 693*2^1520112-1 is not prime. Res64: 915269DC61B87B33 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:16:24] 723*2^1520112-1 is not prime. Res64: 83E0C8C139606DFE Time : 0.0 sec. user=mdettweiler [2018-08-01 19:16:25] 759*2^1520112-1 is not prime. Res64: 24A94C2A6DE8C22B Time : 0.0 sec. user=mdettweiler [2018-08-01 19:16:25] 803*2^1520112-1 is not prime. Res64: 4E3398B146536596 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:16:25] 691*2^1520113-1 is not prime. Res64: 05529828E75F4E89 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:17:02] 727*2^1520113-1 is not prime. Res64: 1965D92E10A3EAA9 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:17:02] 729*2^1520113-1 is not prime. Res64: 8A6F1ED0572E0B76 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:17:02] 769*2^1520113-1 is not prime. Res64: 446234B67BA234D3 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:17:03] 829*2^1520113-1 is not prime. Res64: 847F02B3D8FC17AE Time : 0.0 sec. user=mdettweiler [2018-08-01 19:17:03] 937*2^1520113-1 is not prime. Res64: EA192CDAFCB70959 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:39:59] 641*2^1520114-1 is not prime. Res64: 18C7341FDB1364C9 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:40:00] 675*2^1520114-1 is not prime. Res64: 5F6E729209061DE1 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:40:00] 837*2^1520114-1 is not prime. Res64: A8E121F54466B0BE Time : 0.0 sec. user=mdettweiler [2018-08-01 19:40:00] 941*2^1520114-1 is not prime. Res64: E3D543FAFCBAFB3E Time : 0.0 sec. user=mdettweiler [2018-08-01 19:40:01] 993*2^1520114-1 is not prime. Res64: 8334E912F547A977 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:54:01] 625*2^1520115-1 is not prime. Res64: 1EF26BDB6880CD78 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:54:01] 643*2^1520115-1 is not prime. Res64: 288D64D7EBA0CBCD Time : 0.0 sec. user=mdettweiler [2018-08-01 19:54:01] 651*2^1520115-1 is not prime. Res64: FFD9ABE39EC38D1F Time : 0.0 sec. user=mdettweiler [2018-08-01 19:54:02] 781*2^1520115-1 is not prime. Res64: A2B33F4BFA1D5CE5 Time : 0.0 sec. user=mdettweiler [2018-08-01 19:54:02] 789*2^1520115-1 is not prime. Res64: AE8BD4C7008962DF Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:41] 765*2^1520116-1 is not prime. Res64: 10756F3F83E4935D Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:41] 803*2^1520116-1 is not prime. Res64: 5252CD52899138E9 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:42] 899*2^1520116-1 is not prime. Res64: 2302ADB6A63FFE7A Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:42] 615*2^1520117-1 is not prime. Res64: 8298CDCDC0C3463E Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:42] 711*2^1520117-1 is not prime. Res64: C6F80EC66AE03939 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:47] 805*2^1520115-1 is not prime. Res64: 615060E922CAF1E5 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:47] 909*2^1520115-1 is not prime. Res64: E4F5B21AF7681730 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:48] 979*2^1520115-1 is not prime. Res64: D2A445E094719E34 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:48] 689*2^1520116-1 is not prime. Res64: ED0414700A5320BA Time : 0.0 sec. user=mdettweiler [2018-08-01 20:12:48] 705*2^1520116-1 is not prime. Res64: 07F76E199E97156B Time : 0.0 sec. user=mdettweiler [2018-08-01 20:32:19] 735*2^1520117-1 is not prime. Res64: BEB6FC0CD2073C4B Time : 0.0 sec. user=mdettweiler [2018-08-01 20:32:20] 747*2^1520117-1 is not prime. Res64: CB98CC16A51C1B50 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:32:20] 837*2^1520117-1 is not prime. Res64: 2249648713E1B0C7 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:32:20] 859*2^1520117-1 is not prime. Res64: ABC02C1337B8E89F Time : 0.0 sec. user=mdettweiler [2018-08-01 20:32:21] 927*2^1520117-1 is not prime. Res64: 4C6A194AC6BB4A5E Time : 0.0 sec. user=mdettweiler [2018-08-01 20:45:02] 621*2^1520118-1 is not prime. Res64: C54D1E837BEFABCD Time : 0.0 sec. user=mdettweiler [2018-08-01 20:45:03] 707*2^1520118-1 is not prime. Res64: 2028CF5677FD6598 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:45:03] 713*2^1520118-1 is not prime. Res64: 09BE1A47B789C070 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:45:04] 725*2^1520118-1 is not prime. Res64: D8472762D74F06F2 Time : 0.0 sec. user=mdettweiler [2018-08-01 20:45:04] 765*2^1520118-1 is not prime. Res64: B3C4F5EEF57E6A0A Time : 0.0 sec. user=mdettweiler [2018-08-01 21:03:46] 861*2^1520118-1 is not prime. Res64: F5FA4F77738061FE Time : 0.0 sec. user=mdettweiler [2018-08-01 21:03:47] 923*2^1520118-1 is not prime. Res64: 98418CCB67CB72DA Time : 0.0 sec. user=mdettweiler [2018-08-01 21:03:49] 945*2^1520118-1 is not prime. Res64: 700218AF98DAF9B1 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:03:50] 963*2^1520118-1 is not prime. Res64: 408320B4D3F63C38 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:03:51] 977*2^1520118-1 is not prime. Res64: 261948DA725B5355 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:04:22] 645*2^1520119-1 is not prime. Res64: DFAA74125113E617 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:04:24] 741*2^1520119-1 is not prime. Res64: 7C283B1B79742CE1 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:04:25] 765*2^1520119-1 is not prime. Res64: E67AD50D82B49B55 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:04:26] 813*2^1520119-1 is not prime. Res64: AC53B134AD272BD5 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:04:27] 853*2^1520119-1 is not prime. Res64: 099DA1B26346200B Time : 0.0 sec. user=mdettweiler [2018-08-01 21:24:17] 859*2^1520119-1 is not prime. Res64: E66C3FC6D7259FCE Time : 0.0 sec. user=mdettweiler [2018-08-01 21:24:18] 883*2^1520119-1 is not prime. Res64: 1A982AAC130B883A Time : 0.0 sec. user=mdettweiler [2018-08-01 21:24:18] 919*2^1520119-1 is not prime. Res64: C8E5C3FF736B7414 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:24:19] 939*2^1520119-1 is not prime. Res64: B923A2A5E1B526F7 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:24:19] 969*2^1520119-1 is not prime. Res64: 8958B2B91F4DBA8B Time : 0.0 sec. user=mdettweiler [2018-08-01 21:36:32] 665*2^1520120-1 is not prime. Res64: 7CA246A5AEAADBA0 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:36:32] 833*2^1520120-1 is not prime. Res64: DD2F8FFEFD8D4CD0 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:36:33] 845*2^1520120-1 is not prime. Res64: 3B834D93F3F9C755 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:36:33] 923*2^1520120-1 is not prime. Res64: D313AAEBA0ACE9C9 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:36:34] 999*2^1520120-1 is not prime. Res64: 62655258FAF944D3 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:54:59] 739*2^1520121-1 is not prime. Res64: 9D48EF698315B8BC Time : 0.0 sec. user=mdettweiler [2018-08-01 21:54:59] 975*2^1520121-1 is not prime. Res64: B03F3A8225EEC056 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:00] 979*2^1520121-1 is not prime. Res64: 20AD0C839AB3FF7E Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:00] 997*2^1520121-1 is not prime. Res64: 8F06B0FE38A66708 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:01] 645*2^1520122-1 is not prime. Res64: BF9480465418E6CF Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:48] 735*2^1520122-1 is not prime. Res64: FF95AF0F6A5ECD6E Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:48] 867*2^1520122-1 is not prime. Res64: 823D0B20CB130BF8 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:49] 873*2^1520122-1 is not prime. Res64: 0B10FFF9B8937830 Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:49] 887*2^1520122-1 is not prime. Res64: 3198ABE15F4A926A Time : 0.0 sec. user=mdettweiler [2018-08-01 21:55:50] 947*2^1520122-1 is not prime. Res64: 28D49EB5DAEBE21C Time : 0.0 sec. user=mdettweiler [2018-08-01 22:16:22] 615*2^1520123-1 is not prime. Res64: 9ECC3BA4100ECE47 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:16:23] 675*2^1520123-1 is not prime. Res64: 17224CE0F9FD0215 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:16:23] 703*2^1520123-1 is not prime. Res64: D914133183984D57 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:16:24] 705*2^1520123-1 is not prime. Res64: 31BB6B940C7F0F05 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:16:24] 813*2^1520123-1 is not prime. Res64: 38EF9AADF1E509B7 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:29:16] 949*2^1520123-1 is not prime. Res64: 0C7DC1938E706F9E Time : 0.0 sec. user=mdettweiler [2018-08-01 22:29:17] 663*2^1520124-1 is not prime. Res64: 3E20EAA08EAFBD15 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:29:17] 693*2^1520124-1 is not prime. Res64: E01A1C0F4EBD88C1 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:29:18] 749*2^1520124-1 is not prime. Res64: 45319D7ABF0BECAC Time : 0.0 sec. user=mdettweiler [2018-08-01 22:29:18] 753*2^1520124-1 is not prime. Res64: 32CFFDF7C62CA6B3 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:47:45] 767*2^1520124-1 is not prime. Res64: B1AFDB616AF4C70A Time : 0.0 sec. user=mdettweiler [2018-08-01 22:47:46] 887*2^1520124-1 is not prime. Res64: 0DD59A3B1EB15394 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:47:46] 929*2^1520124-1 is not prime. Res64: 53F23568341292A4 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:47:46] 993*2^1520124-1 is not prime. Res64: 85CCDDE192C6EBA9 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:47:47] 609*2^1520125-1 is not prime. Res64: F5B08A568D922BB6 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:48:19] 645*2^1520125-1 is not prime. Res64: 11A7650A47A65AA8 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:48:20] 717*2^1520125-1 is not prime. Res64: B0B4F44F12D96BB2 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:48:20] 751*2^1520125-1 is not prime. Res64: A70D1589611BEDB1 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:48:20] 819*2^1520125-1 is not prime. Res64: 9A35913B4C72E165 Time : 0.0 sec. user=mdettweiler [2018-08-01 22:48:21] 867*2^1520125-1 is not prime. Res64: EE5012C1CCFCECF5 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:10:45] 871*2^1520125-1 is not prime. Res64: AF9FF005F2953509 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:10:45] 937*2^1520125-1 is not prime. Res64: 09C2993423A0F245 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:10:46] 961*2^1520125-1 is not prime. Res64: CDDB9C3E53F2637B Time : 0.0 sec. user=mdettweiler [2018-08-01 23:10:46] 987*2^1520125-1 is not prime. Res64: F4A2E50C52DA9BCB Time : 0.0 sec. user=mdettweiler [2018-08-01 23:10:47] 917*2^1520126-1 is not prime. Res64: C8C33E9E8FFEAB7B Time : 0.0 sec. user=mdettweiler [2018-08-01 23:20:19] 739*2^1520127-1 is not prime. Res64: EDCDFBB8551962C8 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:20:19] 793*2^1520127-1 is not prime. Res64: 544947D2821908D2 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:20:20] 849*2^1520127-1 is not prime. Res64: 7CCC48375B0641BA Time : 0.0 sec. user=mdettweiler [2018-08-01 23:20:20] 861*2^1520127-1 is not prime. Res64: B54AE45D8A9E83EA Time : 0.0 sec. user=mdettweiler [2018-08-01 23:20:21] 895*2^1520127-1 is not prime. Res64: 15ED5433F4586020 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:38:49] 901*2^1520127-1 is not prime. Res64: 6CFDAE455949AAA0 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:38:50] 615*2^1520128-1 is not prime. Res64: 77BEC20ADA10F560 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:38:50] 657*2^1520128-1 is not prime. Res64: 7CA01020C3312BC9 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:38:51] 765*2^1520128-1 is not prime. Res64: CE5471D54D410BF2 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:38:51] 833*2^1520128-1 is not prime. Res64: CD3E1766BF2AD632 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:39:18] 875*2^1520128-1 is not prime. Res64: 72A5D8A29A6449B5 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:39:18] 887*2^1520128-1 is not prime. Res64: CD2F912A451FF5CF Time : 0.0 sec. user=mdettweiler [2018-08-01 23:39:19] 929*2^1520128-1 is not prime. Res64: F52E7B65450090C7 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:39:19] 619*2^1520129-1 is not prime. Res64: E75E860279EEC406 Time : 0.0 sec. user=mdettweiler [2018-08-01 23:39:19] 705*2^1520129-1 is not prime. Res64: 345B3CF8BC43703A Time : 0.0 sec.