user=mdettweiler [2020-06-30 00:14:48] 615*2^1562320-1 is not prime. Res64: 58C9AB26DE8BBB0A Time : 0.0 sec. user=mdettweiler [2020-06-30 00:14:49] 623*2^1562320-1 is not prime. Res64: 88A3E7350822EE49 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:14:50] 699*2^1562320-1 is not prime. Res64: 17C60EA61141E5B9 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:14:51] 719*2^1562320-1 is not prime. Res64: 0DC6CB5B7F81E429 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:14:52] 785*2^1562320-1 is not prime. Res64: 849B51E75F602AF6 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:09] 843*2^1562320-1 is not prime. Res64: 8B4AA536DD36EA59 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:09] 855*2^1562320-1 is not prime. Res64: 64492543FB6EDACF Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:09] 999*2^1562320-1 is not prime. Res64: AADFFC044F2896EC Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:10] 615*2^1562321-1 is not prime. Res64: 87F7378BF8A73005 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:10] 631*2^1562321-1 is not prime. Res64: 43C48723421D8E2D Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:16] 645*2^1562321-1 is not prime. Res64: AF5399DD3807F882 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:16] 711*2^1562321-1 is not prime. Res64: E2B4FB84D024D0AB Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:16] 715*2^1562321-1 is not prime. Res64: B2884419E838BFFB Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:17] 819*2^1562321-1 is not prime. Res64: B86F1FAAADC9A801 Time : 0.0 sec. user=mdettweiler [2020-06-30 00:47:17] 865*2^1562321-1 is not prime. Res64: F9122BD15F1A92CF Time : 0.0 sec. user=mdettweiler [2020-06-30 01:10:55] 901*2^1562321-1 is not prime. Res64: 5891689EB18A9ED0 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:10:55] 937*2^1562321-1 is not prime. Res64: BBE724790DD10FAD Time : 0.0 sec. user=mdettweiler [2020-06-30 01:10:56] 997*2^1562321-1 is not prime. Res64: 185EC955CF1ADDB3 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:10:56] 651*2^1562322-1 is not prime. Res64: A251107F40CD9191 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:10:56] 711*2^1562322-1 is not prime. Res64: 54FB3273B4A7D78D Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:04] 977*2^1562322-1 is not prime. Res64: 8A86911791ACFF6D Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:05] 631*2^1562323-1 is not prime. Res64: CC2C077925D3A9C8 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:07] 765*2^1562323-1 is not prime. Res64: F5AFDEB2ECCFF927 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:08] 789*2^1562323-1 is not prime. Res64: 0E45445E3DC07991 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:08] 891*2^1562323-1 is not prime. Res64: EC15C1F99214FDA9 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:14] 737*2^1562322-1 is not prime. Res64: 885B6A574838216A Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:16] 755*2^1562322-1 is not prime. Res64: E53CB26D65BED6FE Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:18] 791*2^1562322-1 is not prime. Res64: 916C90350E391BF7 Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:19] 825*2^1562322-1 is not prime. Res64: 872C43E03429BF0A Time : 0.0 sec. user=mdettweiler [2020-06-30 01:42:19] 951*2^1562322-1 is not prime. Res64: E41BF2522E624575 Time : 0.0 sec. user=mdettweiler [2020-06-30 02:06:21] 951*2^1562323-1 is not prime. Res64: 484E91E8B20538BA Time : 0.0 sec. user=mdettweiler [2020-06-30 02:17:30] 725*2^1562324-1 is not prime. Res64: 1B0FA09F4969E0C7 Time : 0.0 sec. user=mdettweiler [2020-06-30 02:39:49] 691*2^1562325-1 is not prime. Res64: 99363792B5AF4F62 Time : 0.0 sec. user=mdettweiler [2020-06-30 02:52:20] 855*2^1562324-1 is not prime. Res64: B1EAA18A5607C066 Time : 0.0 sec. user=mdettweiler [2020-06-30 02:52:21] 873*2^1562324-1 is not prime. Res64: 6BD3BDE4DAAC4CFE Time : 0.0 sec. user=mdettweiler [2020-06-30 02:52:22] 903*2^1562324-1 is not prime. Res64: 113DDDC63FE92088 Time : 0.0 sec. user=mdettweiler [2020-06-30 02:52:23] 959*2^1562324-1 is not prime. Res64: B45B166CD80AFC40 Time : 0.0 sec. user=mdettweiler [2020-06-30 02:52:24] 983*2^1562324-1 is not prime. Res64: 9AC5B97DAAE8ABB9 Time : 0.0 sec. user=mdettweiler [2020-06-30 03:46:28] 617*2^1562326-1 is not prime. Res64: 64D6BEEAE8E0CFD0 Time : 0.0 sec. user=mdettweiler [2020-06-30 03:46:44] 717*2^1562326-1 is not prime. Res64: E9FF9CB4C57A440F Time : 0.0 sec. user=mdettweiler [2020-06-30 08:06:42] 749*2^1562324-1 is not prime. Res64: 4570A51FD910F94F Time : 0.0 sec. user=mdettweiler [2020-06-30 08:32:23] 765*2^1562325-1 is not prime. Res64: 090419D640291FDC Time : 0.0 sec. user=mdettweiler [2020-06-30 08:32:24] 777*2^1562325-1 is not prime. Res64: AFB2DE59B135A2A1 Time : 0.0 sec. user=mdettweiler [2020-06-30 08:32:25] 795*2^1562325-1 is not prime. Res64: 9EE15EF7043B0725 Time : 0.0 sec. user=mdettweiler [2020-06-30 08:32:38] 895*2^1562325-1 is not prime. Res64: 7987EE2C468DE191 Time : 0.0 sec. user=mdettweiler [2020-06-30 09:54:16] 737*2^1562326-1 is not prime. Res64: 740299062244825E Time : 0.0 sec. user=mdettweiler [2020-06-30 12:29:51] 785*2^1562324-1 is not prime. Res64: DF834CD4746BFC92 Time : 0.0 sec. user=mdettweiler [2020-06-30 12:29:52] 837*2^1562324-1 is not prime. Res64: 5A54F75D7885B62D Time : 0.0 sec. user=mdettweiler [2020-06-30 12:30:20] 761*2^1562326-1 is not prime. Res64: 10D4A73554F9A861 Time : 0.0 sec. user=mdettweiler [2020-06-30 12:30:21] 945*2^1562326-1 is not prime. Res64: 1A96DDEEEE3767E9 Time : 0.0 sec. user=mdettweiler [2020-06-30 15:01:15] 673*2^1562327-1 is not prime. Res64: 6493F8F19D2FCB90 Time : 0.0 sec. user=mdettweiler [2020-06-30 15:35:09] 879*2^1562327-1 is not prime. Res64: 7890E4948FCD7547 Time : 0.0 sec. user=mdettweiler [2020-06-30 15:35:10] 901*2^1562327-1 is not prime. Res64: E7515D81CD8311D2 Time : 0.0 sec. user=mdettweiler [2020-06-30 15:35:10] 985*2^1562327-1 is not prime. Res64: 0890B88F5F6C1E50 Time : 0.0 sec. user=mdettweiler [2020-06-30 15:35:23] 713*2^1562328-1 is not prime. Res64: 6C29C272EF6BECC8 Time : 0.0 sec. user=mdettweiler [2020-06-30 17:30:17] 795*2^1562328-1 is not prime. Res64: 7E49897585973518 Time : 0.0 sec. user=mdettweiler [2020-06-30 20:56:45] 693*2^1562327-1 is not prime. Res64: 885F5DA024987627 Time : 0.0 sec. user=mdettweiler [2020-06-30 20:56:46] 735*2^1562327-1 is not prime. Res64: 1413EAD96CED99C5 Time : 0.0 sec. user=mdettweiler [2020-06-30 20:56:47] 753*2^1562327-1 is not prime. Res64: 5C477BD2FB4EFFDB Time : 0.0 sec. user=mdettweiler [2020-06-30 20:56:48] 841*2^1562327-1 is not prime. Res64: 210C4C43DEE780B3 Time : 0.0 sec. user=mdettweiler [2020-06-30 21:31:01] 767*2^1562328-1 is not prime. Res64: D9BA03A33339CD48 Time : 0.0 sec. user=mdettweiler [2020-06-30 21:53:58] 765*2^1562329-1 is not prime. Res64: 42AF89CEE0D30AAE Time : 0.0 sec. user=mdettweiler [2020-06-30 21:53:59] 769*2^1562329-1 is not prime. Res64: 9256084F8C3C9B7B Time : 0.0 sec. user=mdettweiler [2020-06-30 21:54:00] 919*2^1562329-1 is not prime. Res64: 1D20F681DD0814E2 Time : 0.0 sec. user=mdettweiler [2020-06-30 21:54:13] 931*2^1562329-1 is not prime. Res64: 395271E8825136E8 Time : 0.0 sec.