user=mdettweiler [2020-01-30 00:27:07] 827*2^1553488-1 is not prime. Res64: D9DDB201460CC55E Time : 0.0 sec. user=mdettweiler [2020-01-30 00:27:07] 855*2^1553488-1 is not prime. Res64: D0B21C5B82C62AE3 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:27:07] 915*2^1553488-1 is not prime. Res64: B62C6505B58ED1C8 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:27:08] 959*2^1553488-1 is not prime. Res64: 2788B13CDBB84D8F Time : 0.0 sec. user=mdettweiler [2020-01-30 00:27:08] 993*2^1553488-1 is not prime. Res64: D472359EE4405468 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:33:58] 841*2^1553489-1 is not prime. Res64: C01F7C4B854E0AF4 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:33:58] 955*2^1553489-1 is not prime. Res64: 471D39DDD6F5DAE9 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:33:59] 677*2^1553490-1 is not prime. Res64: 08B72CCF9D60CE49 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:33:59] 783*2^1553490-1 is not prime. Res64: B3A95AE71392F984 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:34:00] 803*2^1553490-1 is not prime. Res64: F9794997E2BA985E Time : 0.0 sec. user=mdettweiler [2020-01-30 00:39:27] 845*2^1553490-1 is not prime. Res64: D8F15E3F7E7BCC35 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:39:27] 885*2^1553490-1 is not prime. Res64: 09E90A0F3AA5B59D Time : 0.0 sec. user=mdettweiler [2020-01-30 00:39:28] 927*2^1553490-1 is not prime. Res64: 983527DA4F41EA98 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:39:28] 601*2^1553491-1 is not prime. Res64: 467C38BD1A6E7745 Time : 0.0 sec. user=mdettweiler [2020-01-30 00:39:29] 733*2^1553491-1 is not prime. Res64: 39B65DC17415F8FE Time : 0.0 sec. user=mdettweiler [2020-01-30 01:21:18] 759*2^1553491-1 is not prime. Res64: 178FA23E2DCB333D Time : 0.0 sec. user=mdettweiler [2020-01-30 01:21:18] 605*2^1553492-1 is not prime. Res64: 6BCAA27AC9C795CB Time : 0.0 sec. user=mdettweiler [2020-01-30 01:21:19] 893*2^1553492-1 is not prime. Res64: 7C86284972819A39 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:21:19] 959*2^1553492-1 is not prime. Res64: DB90CE1A925389B2 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:21:19] 987*2^1553492-1 is not prime. Res64: 687673E5CC991810 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:25:22] 609*2^1553493-1 is not prime. Res64: F7B9AA695E22EC13 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:25:23] 685*2^1553493-1 is not prime. Res64: 76FF937CD7312D06 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:25:24] 745*2^1553493-1 is not prime. Res64: BD30E5B5E3BDD4D1 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:25:24] 759*2^1553493-1 is not prime. Res64: 021288C438988F44 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:25:25] 847*2^1553493-1 is not prime. Res64: 9046414B7FEC98E7 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:35:11] 861*2^1553493-1 is not prime. Res64: 62646130E5F6BCF4 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:35:13] 885*2^1553493-1 is not prime. Res64: 4369559CD76D1674 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:35:15] 961*2^1553493-1 is not prime. Res64: 4A7169BCD3137005 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:35:16] 979*2^1553493-1 is not prime. Res64: 6E5A3A323A6E9562 Time : 0.0 sec. user=mdettweiler [2020-01-30 01:35:17] 991*2^1553493-1 is not prime. Res64: 57BD44240F75A610 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:14:49] 705*2^1553494-1 is not prime. Res64: 1282B09CFC48E1FF Time : 0.0 sec. user=mdettweiler [2020-01-30 02:14:50] 825*2^1553494-1 is not prime. Res64: 14A09A4BE2A77BF5 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:14:51] 891*2^1553494-1 is not prime. Res64: 84FF9D29183CDA05 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:14:51] 915*2^1553494-1 is not prime. Res64: 46B58526DF1A6ACD Time : 0.0 sec. user=mdettweiler [2020-01-30 02:14:52] 917*2^1553494-1 is not prime. Res64: DB03E0D393921A6F Time : 0.0 sec. user=mdettweiler [2020-01-30 02:16:31] 651*2^1553495-1 is not prime. Res64: 9BEFDDA1AA2E9992 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:16:31] 775*2^1553495-1 is not prime. Res64: C8729F04A6019DB0 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:16:32] 783*2^1553495-1 is not prime. Res64: 8382A3CC50B179AB Time : 0.0 sec. user=mdettweiler [2020-01-30 02:16:32] 895*2^1553495-1 is not prime. Res64: F3EC830E3A5C1B86 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:16:32] 627*2^1553496-1 is not prime. Res64: F7AED8F3BB729AE3 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:26:20] 779*2^1553496-1 is not prime. Res64: 5D4E7E2076B6E071 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:26:20] 837*2^1553496-1 is not prime. Res64: CBD09AC4009E43C3 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:26:21] 615*2^1553497-1 is not prime. Res64: A834933976445204 Time : 0.0 sec. user=mdettweiler [2020-01-30 02:26:21] 685*2^1553497-1 is not prime. Res64: E4F055E72F75B37D Time : 0.0 sec. user=mdettweiler [2020-01-30 02:26:22] 741*2^1553497-1 is not prime. Res64: CBD3C54DB581DE3D Time : 0.0 sec. user=mdettweiler [2020-01-30 03:08:32] 799*2^1553497-1 is not prime. Res64: F60DFFC7E40BBB08 Time : 0.0 sec. user=mdettweiler [2020-01-30 03:21:01] 615*2^1553499-1 is not prime. Res64: B7E736FF114BE7B3 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:06:00] 801*2^1553497-1 is not prime. Res64: ECBC0ADDF122F00F Time : 0.0 sec. user=mdettweiler [2020-01-30 09:06:01] 805*2^1553497-1 is not prime. Res64: 3BE982570542A1D0 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:06:02] 915*2^1553497-1 is not prime. Res64: CE3631FD07BD813C Time : 0.0 sec. user=mdettweiler [2020-01-30 09:06:03] 687*2^1553498-1 is not prime. Res64: 8D0FB317B7DB5CBC Time : 0.0 sec. user=mdettweiler [2020-01-30 09:08:12] 743*2^1553498-1 is not prime. Res64: 495AD4E3648CFF46 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:08:13] 945*2^1553498-1 is not prime. Res64: 86B2770569B6C6A0 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:08:13] 953*2^1553498-1 is not prime. Res64: F86E62004C8D195C Time : 0.0 sec. user=mdettweiler [2020-01-30 09:08:13] 977*2^1553498-1 is not prime. Res64: 5FE30A885B81E6BD Time : 0.0 sec. user=mdettweiler [2020-01-30 09:08:14] 993*2^1553498-1 is not prime. Res64: 85951CC4A09C5503 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:13:36] 679*2^1553499-1 is not prime. Res64: DB77286E85680BCA Time : 0.0 sec. user=mdettweiler [2020-01-30 09:13:36] 795*2^1553499-1 is not prime. Res64: DFF6A88431F9D2CB Time : 0.0 sec. user=mdettweiler [2020-01-30 09:13:37] 943*2^1553499-1 is not prime. Res64: 1A20FEB8D25D6BD2 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:13:37] 961*2^1553499-1 is not prime. Res64: 05C56782FAD193E9 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:58:25] 605*2^1553500-1 is not prime. Res64: A61055BD968DAB42 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:58:26] 717*2^1553500-1 is not prime. Res64: 4355B17772A6E057 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:58:26] 783*2^1553500-1 is not prime. Res64: C9E0001A76333462 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:58:26] 819*2^1553500-1 is not prime. Res64: 95BD8FA07BFBBEA7 Time : 0.0 sec. user=mdettweiler [2020-01-30 09:58:27] 855*2^1553500-1 is not prime. Res64: A9B0D45C3682CE14 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:01:51] 711*2^1553501-1 is not prime. Res64: 96D5B589B19D31B3 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:01:54] 775*2^1553501-1 is not prime. Res64: DB7DCEC18BA8FE7D Time : 0.0 sec. user=mdettweiler [2020-01-30 10:01:55] 781*2^1553501-1 is not prime. Res64: EA0A9CFB6C201BD9 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:02:19] 801*2^1553501-1 is not prime. Res64: 6338AF9E6965F1E5 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:06:45] 635*2^1553502-1 is not prime. Res64: B1BCBEAC935C1795 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:53:03] 681*2^1553503-1 is not prime. Res64: A50196CC71037DF5 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:53:03] 775*2^1553503-1 is not prime. Res64: B824FDB8578E1F6A Time : 0.0 sec. user=mdettweiler [2020-01-30 10:53:04] 813*2^1553503-1 is not prime. Res64: C3D422AFEB0995C6 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:53:04] 831*2^1553503-1 is not prime. Res64: 2B066016C3340E61 Time : 0.0 sec. user=mdettweiler [2020-01-30 10:53:05] 915*2^1553503-1 is not prime. Res64: 92D8596431D86C81 Time : 0.0 sec. user=mdettweiler [2020-01-30 11:48:30] 951*2^1553503-1 is not prime. Res64: 67945265E6ED9B17 Time : 0.0 sec. user=mdettweiler [2020-01-30 14:51:14] 927*2^1553501-1 is not prime. Res64: 2DC01F590C88E959 Time : 0.0 sec. user=mdettweiler [2020-01-30 15:45:52] 681*2^1553502-1 is not prime. Res64: 462A8F7B0ADF3E14 Time : 0.0 sec. user=mdettweiler [2020-01-30 15:45:53] 797*2^1553502-1 is not prime. Res64: 206C8DA98B8542BA Time : 0.0 sec. user=mdettweiler [2020-01-30 15:45:53] 983*2^1553502-1 is not prime. Res64: 396CC9A25653EFA1 Time : 0.0 sec. user=mdettweiler [2020-01-30 15:45:53] 649*2^1553503-1 is not prime. Res64: EF008E1D5127DE51 Time : 0.0 sec. user=mdettweiler [2020-01-30 16:44:34] 935*2^1553504-1 is not prime. Res64: 5AF97E6C2BA8C5B1 Time : 0.0 sec. user=mdettweiler [2020-01-30 16:44:34] 993*2^1553504-1 is not prime. Res64: D841199602E95C21 Time : 0.0 sec. user=mdettweiler [2020-01-30 16:44:35] 639*2^1553505-1 is not prime. Res64: A7F8B6D40834CD9D Time : 0.0 sec. user=mdettweiler [2020-01-30 16:44:35] 649*2^1553505-1 is not prime. Res64: 7232AF065CF15047 Time : 0.0 sec. user=mdettweiler [2020-01-30 16:44:35] 777*2^1553505-1 is not prime. Res64: 1217E4365271582B Time : 0.0 sec. user=mdettweiler [2020-01-30 17:36:14] 665*2^1553504-1 is not prime. Res64: 0330E2C516FFB408 Time : 0.0 sec. user=mdettweiler [2020-01-30 17:36:14] 803*2^1553504-1 is not prime. Res64: DFF812553B4D8D7E Time : 0.0 sec. user=mdettweiler [2020-01-30 17:36:15] 855*2^1553504-1 is not prime. Res64: 9628BF0C87964C65 Time : 0.0 sec. user=mdettweiler [2020-01-30 17:36:16] 869*2^1553504-1 is not prime. Res64: 8E2048A46CF4018F Time : 0.0 sec. user=mdettweiler [2020-01-30 17:40:07] 805*2^1553505-1 is not prime. Res64: B018DE7DBD5FAA13 Time : 0.0 sec. user=mdettweiler [2020-01-30 17:40:07] 871*2^1553505-1 is not prime. Res64: 891002A6BDABD05F Time : 0.0 sec. user=mdettweiler [2020-01-30 17:40:08] 895*2^1553505-1 is not prime. Res64: F771759BD0448EA3 Time : 0.0 sec. user=mdettweiler [2020-01-30 17:40:08] 915*2^1553505-1 is not prime. Res64: DAAAB7BF61C37482 Time : 0.0 sec. user=mdettweiler [2020-01-30 17:40:09] 975*2^1553505-1 is not prime. Res64: ED04CF37CABFE05A Time : 0.0 sec. user=mdettweiler [2020-01-30 18:29:41] 705*2^1553506-1 is not prime. Res64: 706FD856EF07CCBF Time : 0.0 sec. user=mdettweiler [2020-01-30 18:34:10] 923*2^1553506-1 is not prime. Res64: E89A1A4B670EA890 Time : 0.0 sec. user=mdettweiler [2020-01-30 18:34:22] 971*2^1553506-1 is not prime. Res64: 159495DBBB5C0963 Time : 0.0 sec. user=mdettweiler [2020-01-30 21:18:12] 801*2^1553507-1 is not prime. Res64: F026458F8A647C77 Time : 0.0 sec. user=mdettweiler [2020-01-30 21:18:13] 813*2^1553507-1 is not prime. Res64: CD0E7CAC947FCAF4 Time : 0.0 sec. user=mdettweiler [2020-01-30 21:18:13] 903*2^1553507-1 is not prime. Res64: A00A054D140DF972 Time : 0.0 sec. user=mdettweiler [2020-01-30 21:18:14] 963*2^1553507-1 is not prime. Res64: 578FF91EC4226889 Time : 0.0 sec. user=mdettweiler [2020-01-30 21:18:15] 979*2^1553507-1 is not prime. Res64: 712FC94DEC1095EF Time : 0.0 sec. user=mdettweiler [2020-01-30 22:12:48] 699*2^1553508-1 is not prime. Res64: 2AD7E548CF5B35C2 Time : 0.0 sec. user=mdettweiler [2020-01-30 23:03:57] 603*2^1553507-1 is not prime. Res64: BDA03FFF93F1979A Time : 0.0 sec. user=mdettweiler [2020-01-30 23:03:57] 735*2^1553507-1 is not prime. Res64: AAC5981B0B71D62B Time : 0.0 sec. user=mdettweiler [2020-01-30 23:03:58] 759*2^1553507-1 is not prime. Res64: 9B762C9D6ED4A0A3 Time : 0.0 sec. user=mdettweiler [2020-01-30 23:56:44] 601*2^1553509-1 is not prime. Res64: 5089873F195D465C Time : 0.0 sec.