user=mdettweiler [2020-01-31 00:55:13] 713*2^1553506-1 is not prime. Res64: 1DEDABD3AF8457E1 Time : 0.0 sec. user=mdettweiler [2020-01-31 00:55:14] 777*2^1553506-1 is not prime. Res64: 7BD8573C48352930 Time : 0.0 sec. user=mdettweiler [2020-01-31 00:55:14] 857*2^1553506-1 is not prime. Res64: B648930C5E674F50 Time : 0.0 sec. user=mdettweiler [2020-01-31 00:55:15] 917*2^1553506-1 is not prime. Res64: 06923D9CD03A5910 Time : 0.0 sec. user=mdettweiler [2020-01-31 01:47:22] 747*2^1553510-1 is not prime. Res64: 06019FE00C68BE59 Time : 0.0 sec. user=mdettweiler [2020-01-31 01:47:23] 843*2^1553510-1 is not prime. Res64: 859286326169E62F Time : 0.0 sec. user=mdettweiler [2020-01-31 01:47:24] 893*2^1553510-1 is not prime. Res64: B419CDBF6E86003D Time : 0.0 sec. user=mdettweiler [2020-01-31 01:47:25] 745*2^1553511-1 is not prime. Res64: AF1360E58FC29B73 Time : 0.0 sec. user=mdettweiler [2020-01-31 01:47:26] 751*2^1553511-1 is not prime. Res64: D4C075ED1E652DE4 Time : 0.0 sec. user=mdettweiler [2020-01-31 02:42:05] 763*2^1553511-1 is not prime. Res64: FF2D0D0083B35640 Time : 0.0 sec. user=mdettweiler [2020-01-31 02:42:05] 823*2^1553511-1 is not prime. Res64: 352E8FC38798F47A Time : 0.0 sec. user=mdettweiler [2020-01-31 02:42:06] 859*2^1553511-1 is not prime. Res64: E3586899120F688B Time : 0.0 sec. user=mdettweiler [2020-01-31 02:42:06] 909*2^1553511-1 is not prime. Res64: C774BDD683DC398B Time : 0.0 sec. user=mdettweiler [2020-01-31 02:42:06] 975*2^1553511-1 is not prime. Res64: 8A89E1548BB8B803 Time : 0.0 sec. user=mdettweiler [2020-01-31 03:28:29] 725*2^1553508-1 is not prime. Res64: 2D59BB949028DAF5 Time : 0.0 sec. user=mdettweiler [2020-01-31 05:24:03] 615*2^1553509-1 is not prime. Res64: BF54B989777604E2 Time : 0.0 sec. user=mdettweiler [2020-01-31 05:24:03] 639*2^1553509-1 is not prime. Res64: CD8097D139E52C95 Time : 0.0 sec. user=mdettweiler [2020-01-31 05:24:04] 867*2^1553509-1 is not prime. Res64: 3258D98A6B4B800B Time : 0.0 sec. user=mdettweiler [2020-01-31 05:24:04] 885*2^1553509-1 is not prime. Res64: 7F860AF7594C13AC Time : 0.0 sec. user=mdettweiler [2020-01-31 06:16:24] 831*2^1553513-1 is not prime. Res64: 2207D84F903EFC4C Time : 0.0 sec. user=mdettweiler [2020-01-31 09:16:46] 819*2^1553508-1 is not prime. Res64: BD5A2065453E56F5 Time : 0.0 sec. user=mdettweiler [2020-01-31 10:01:43] 713*2^1553512-1 is not prime. Res64: FF5C5C7E8DC3B058 Time : 0.0 sec. user=mdettweiler [2020-01-31 10:01:44] 719*2^1553512-1 is not prime. Res64: 7E006868904C9255 Time : 0.0 sec. user=mdettweiler [2020-01-31 10:01:46] 675*2^1553513-1 is not prime. Res64: 374311B870E6863C Time : 0.0 sec. user=mdettweiler [2020-01-31 10:01:47] 735*2^1553513-1 is not prime. Res64: F5AC3231126987B9 Time : 0.0 sec. user=mdettweiler [2020-01-31 10:01:48] 769*2^1553513-1 is not prime. Res64: 694CCA3CC0DC0BFA Time : 0.0 sec. user=mdettweiler [2020-01-31 10:55:13] 807*2^1553514-1 is not prime. Res64: 5499C0A5E782A23D Time : 0.0 sec. user=mdettweiler [2020-01-31 12:49:02] 641*2^1553514-1 is not prime. Res64: 0D91F09DBA2CBFDF Time : 0.0 sec. user=mdettweiler [2020-01-31 12:49:02] 671*2^1553514-1 is not prime. Res64: CC7F79349A630091 Time : 0.0 sec. user=mdettweiler [2020-01-31 12:49:03] 707*2^1553514-1 is not prime. Res64: CECA1522B9483F01 Time : 0.0 sec. user=mdettweiler [2020-01-31 12:49:03] 711*2^1553514-1 is not prime. Res64: 4AA15DC71414317F Time : 0.0 sec. user=mdettweiler [2020-01-31 13:44:12] 741*2^1553515-1 is not prime. Res64: 9B92B4097E73D1D5 Time : 0.0 sec. user=mdettweiler [2020-01-31 13:44:13] 789*2^1553515-1 is not prime. Res64: FA22CD5B241432D4 Time : 0.0 sec. user=mdettweiler [2020-01-31 13:44:13] 855*2^1553515-1 is not prime. Res64: 1C4098FA28259C19 Time : 0.0 sec. user=mdettweiler [2020-01-31 13:44:13] 919*2^1553515-1 is not prime. Res64: 0DCF498EA7D9635F Time : 0.0 sec. user=mdettweiler [2020-01-31 13:44:14] 961*2^1553515-1 is not prime. Res64: 3A396C8D63C64D3A Time : 0.0 sec. user=mdettweiler [2020-01-31 13:47:13] 845*2^1553508-1 is not prime. Res64: 78D182067C2B3372 Time : 0.0 sec. user=mdettweiler [2020-01-31 13:47:14] 999*2^1553508-1 is not prime. Res64: 57BC1243344A301C Time : 0.0 sec. user=mdettweiler [2020-01-31 14:37:53] 603*2^1553516-1 is not prime. Res64: 0C752686729FD336 Time : 0.0 sec. user=mdettweiler [2020-01-31 14:37:54] 845*2^1553516-1 is not prime. Res64: C21906E20F4C9905 Time : 0.0 sec. user=mdettweiler [2020-01-31 14:37:54] 869*2^1553516-1 is not prime. Res64: B0766C78C3B3E9EA Time : 0.0 sec. user=mdettweiler [2020-01-31 14:37:55] 893*2^1553516-1 is not prime. Res64: E7F6209A2BFB9BBA Time : 0.0 sec. user=mdettweiler [2020-01-31 14:37:55] 957*2^1553516-1 is not prime. Res64: 5D7F00320A100EE8 Time : 0.0 sec. user=mdettweiler [2020-01-31 14:41:29] 963*2^1553516-1 is not prime. Res64: DC7F7A63B8526A16 Time : 0.0 sec. user=mdettweiler [2020-01-31 14:41:29] 999*2^1553516-1 is not prime. Res64: B23BAD49F339CD3F Time : 0.0 sec. user=mdettweiler [2020-01-31 14:41:29] 609*2^1553517-1 is not prime. Res64: 75B95C868DB94A39 Time : 0.0 sec. user=mdettweiler [2020-01-31 14:41:30] 651*2^1553517-1 is not prime. Res64: 663DAC2ECB31F9FA Time : 0.0 sec. user=mdettweiler [2020-01-31 14:41:30] 667*2^1553517-1 is not prime. Res64: 38CD09CC00D8DDEE Time : 0.0 sec. user=mdettweiler [2020-01-31 15:32:32] 711*2^1553517-1 is not prime. Res64: EC0B34A5F2CAC3C6 Time : 0.0 sec. user=mdettweiler [2020-01-31 15:32:32] 781*2^1553517-1 is not prime. Res64: 24D0A3CB5BFAB09E Time : 0.0 sec. user=mdettweiler [2020-01-31 15:32:57] 825*2^1553517-1 is not prime. Res64: 610814E463F47DB5 Time : 0.0 sec. user=mdettweiler [2020-01-31 15:34:44] 605*2^1553518-1 is not prime. Res64: 9BD0DE2BE4C48134 Time : 0.0 sec. user=mdettweiler [2020-01-31 16:53:31] 851*2^1553514-1 is not prime. Res64: 37C9A070031DA1FB Time : 0.0 sec. user=mdettweiler [2020-01-31 16:53:32] 891*2^1553514-1 is not prime. Res64: F27FA3702A6B250B Time : 0.0 sec. user=mdettweiler [2020-01-31 16:53:33] 619*2^1553515-1 is not prime. Res64: 70C9524BCD4FD128 Time : 0.0 sec. user=mdettweiler [2020-01-31 16:53:33] 709*2^1553515-1 is not prime. Res64: 5AB148AF9516B9C7 Time : 0.0 sec. user=mdettweiler [2020-01-31 17:46:58] 987*2^1553518-1 is not prime. Res64: 3F981F672F2A5D20 Time : 0.0 sec. user=mdettweiler [2020-01-31 17:46:58] 621*2^1553519-1 is not prime. Res64: 26E553A56A6A950F Time : 0.0 sec. user=mdettweiler [2020-01-31 17:46:59] 655*2^1553519-1 is not prime. Res64: 083435322CC744F5 Time : 0.0 sec. user=mdettweiler [2020-01-31 17:46:59] 721*2^1553519-1 is not prime. Res64: EE17F06E8F1CF656 Time : 0.0 sec. user=mdettweiler [2020-01-31 17:46:59] 813*2^1553519-1 is not prime. Res64: 30DBA3884688B741 Time : 0.0 sec. user=mdettweiler [2020-01-31 18:41:49] 865*2^1553519-1 is not prime. Res64: 575686C9547813A0 Time : 0.0 sec. user=mdettweiler [2020-01-31 20:29:32] 687*2^1553518-1 is not prime. Res64: C8F89924E2CA9F58 Time : 0.0 sec. user=mdettweiler [2020-01-31 20:29:32] 713*2^1553518-1 is not prime. Res64: 35977F4939F00C30 Time : 0.0 sec. user=mdettweiler [2020-01-31 20:29:33] 755*2^1553518-1 is not prime. Res64: EB4CC0319AB62187 Time : 0.0 sec. user=mdettweiler [2020-01-31 20:29:33] 923*2^1553518-1 is not prime. Res64: 47194ACFCBC9E820 Time : 0.0 sec. user=mdettweiler [2020-01-31 21:21:44] 635*2^1553520-1 is not prime. Res64: 78EF916B72088063 Time : 0.0 sec. user=mdettweiler [2020-01-31 21:21:44] 689*2^1553520-1 is not prime. Res64: 5DA7E29D523EC81C Time : 0.0 sec. user=mdettweiler [2020-01-31 21:21:44] 695*2^1553520-1 is not prime. Res64: C0B3F6DE91DCFE26 Time : 0.0 sec. user=mdettweiler [2020-01-31 21:21:45] 719*2^1553520-1 is not prime. Res64: C1E4BE57D63B0C0A Time : 0.0 sec. user=mdettweiler [2020-01-31 21:21:45] 735*2^1553520-1 is not prime. Res64: 21CC88589EF18BE9 Time : 0.0 sec. user=mdettweiler [2020-01-31 21:50:25] 915*2^1553517-1 is not prime. Res64: 8E85BCAC42DB5EFD Time : 0.0 sec. user=mdettweiler [2020-01-31 21:50:25] 955*2^1553517-1 is not prime. Res64: E00C61EB938A0842 Time : 0.0 sec. user=mdettweiler [2020-01-31 22:17:28] 753*2^1553520-1 is not prime. Res64: EF61A0FAA5596714 Time : 0.0 sec. user=mdettweiler [2020-01-31 22:44:17] 691*2^1553521-1 is not prime. Res64: 7F79F1DD9E94EC53 Time : 0.0 sec.