user=mdettweiler [2019-06-03 04:17:19] 857*2^1539262-1 is not prime. Res64: E6272D594864E0B3 Time : 0.0 sec. user=mdettweiler [2019-06-03 04:57:57] 617*2^1539266-1 is not prime. Res64: 801DCCD12E759727 Time : 0.0 sec. user=mdettweiler [2019-06-03 08:39:09] 967*2^1539253-1 is not prime. Res64: 9ED9E1E5EA70999F Time : 0.0 sec. user=mdettweiler [2019-06-03 09:34:33] 993*2^1539264-1 is not prime. Res64: CDF5741B636AC38F Time : 0.0 sec. user=mdettweiler [2019-06-03 09:34:33] 661*2^1539265-1 is not prime. Res64: 43CDCE3B8A4D22B5 Time : 0.0 sec. user=mdettweiler [2019-06-03 09:34:34] 799*2^1539265-1 is not prime. Res64: 994BE41BAA9C2EA8 Time : 0.0 sec. user=mdettweiler [2019-06-03 09:34:34] 805*2^1539265-1 is not prime. Res64: 159DCAE176265F4A Time : 0.0 sec. user=mdettweiler [2019-06-03 09:34:35] 909*2^1539265-1 is not prime. Res64: 850DD0D140616F59 Time : 0.0 sec. user=mdettweiler [2019-06-03 10:30:58] 987*2^1539265-1 is not prime. Res64: D3E659AD7B33F9F4 Time : 0.0 sec. user=mdettweiler [2019-06-03 11:31:02] 651*2^1539262-1 is not prime. Res64: BC511055BF356E4C Time : 0.0 sec. user=mdettweiler [2019-06-03 12:38:04] 871*2^1539261-1 is not prime. Res64: 375CDCC94B4365EA Time : 0.0 sec. user=mdettweiler [2019-06-03 12:38:04] 885*2^1539261-1 is not prime. Res64: 4071517D9F21B45B Time : 0.0 sec. user=mdettweiler [2019-06-03 12:38:05] 895*2^1539261-1 is not prime. Res64: 7D16339D181B3DCB Time : 0.0 sec. user=mdettweiler [2019-06-03 12:38:05] 955*2^1539261-1 is not prime. Res64: 433573CFF840DA9F Time : 0.0 sec. user=mdettweiler [2019-06-03 13:33:20] 709*2^1539267-1 is not prime. Res64: 5AB3578AF7B6C9FA Time : 0.0 sec. user=mdettweiler [2019-06-03 16:47:41] 951*2^1539262-1 is not prime. Res64: 68EE42D03821A404 Time : 0.0 sec. user=mdettweiler [2019-06-03 17:01:24] 641*2^1539266-1 is not prime. Res64: 9D9FAF6E3C9FCD57 Time : 0.0 sec. user=mdettweiler [2019-06-03 18:51:28] 717*2^1539262-1 is not prime. Res64: 528B713FAEACEEAA Time : 0.0 sec. user=mdettweiler [2019-06-03 18:51:29] 815*2^1539262-1 is not prime. Res64: 5C3F1FD91412191D Time : 0.0 sec. user=mdettweiler [2019-06-03 18:51:29] 833*2^1539262-1 is not prime. Res64: 7733A317D7D7C60D Time : 0.0 sec. user=mdettweiler [2019-06-03 18:51:30] 837*2^1539264-1 is not prime. Res64: 3003B063D25E3385 Time : 0.0 sec. user=mdettweiler [2019-06-03 19:47:52] 975*2^1539268-1 is not prime. Res64: 678C4F4CE674257E Time : 0.0 sec. user=mdettweiler [2019-06-03 19:47:53] 989*2^1539268-1 is not prime. Res64: 9141F239B1740F5D Time : 0.0 sec. user=mdettweiler [2019-06-03 19:47:54] 685*2^1539269-1 is not prime. Res64: 1B6801F2CEFE5B67 Time : 0.0 sec. user=mdettweiler [2019-06-03 19:47:54] 771*2^1539269-1 is not prime. Res64: 6F9843CC30543D27 Time : 0.0 sec. user=mdettweiler [2019-06-03 19:47:55] 789*2^1539269-1 is not prime. Res64: 4D1DA281955CF545 Time : 0.0 sec. user=mdettweiler [2019-06-03 20:49:24] 847*2^1539269-1 is not prime. Res64: D1E65F339627082B Time : 0.0 sec. user=mdettweiler [2019-06-03 23:22:38] 957*2^1539266-1 is not prime. Res64: E23CED2D7F6D55FE Time : 0.0 sec. user=mdettweiler [2019-06-03 23:22:38] 619*2^1539267-1 is not prime. Res64: DA5A2D20B0FDB957 Time : 0.0 sec. user=mdettweiler [2019-06-03 23:22:39] 649*2^1539267-1 is not prime. Res64: 05D9AA73CAE118FB Time : 0.0 sec. user=mdettweiler [2019-06-03 23:40:06] 735*2^1539263-1 is not prime. Res64: B8E2400F4DEDCAFE Time : 0.0 sec.