user=juhehe [2017-03-25 00:56:40] 447*2^1451266-1 is not prime. Res64: B425A758C9CE2A29 Time : 0.0 sec. user=juhehe [2017-03-25 03:00:46] 483*2^1451266-1 is not prime. Res64: EE2F6362FE9FF5BB Time : 0.0 sec. user=juhehe [2017-03-25 03:33:22] 531*2^1451266-1 is not prime. Res64: 34B89E556771438C Time : 0.0 sec. user=juhehe [2017-03-25 05:37:47] 435*2^1451267-1 is not prime. Res64: D98C7C9EC666940B Time : 0.0 sec. user=juhehe [2017-03-25 06:42:07] 543*2^1451267-1 is not prime. Res64: 1E0AFC64D89D9E33 Time : 0.0 sec. user=juhehe [2017-03-25 08:45:51] 453*2^1451190-1 is not prime. Res64: B1F136B0F4B25A0F Time : 0.0 sec. user=juhehe [2017-03-25 09:17:58] 567*2^1451190-1 is not prime. Res64: BE1B5606381072EB Time : 0.0 sec. user=juhehe [2017-03-25 11:54:28] 581*2^1451190-1 is not prime. Res64: 015171E7ACB2B52A Time : 0.0 sec. user=juhehe [2017-03-25 12:26:46] 593*2^1451190-1 is not prime. Res64: F880A8AD918AA3B6 Time : 0.0 sec. user=juhehe [2017-03-25 15:01:39] 511*2^1451191-1 is not prime. Res64: DD1B4CACF71E9E02 Time : 0.0 sec. user=juhehe [2017-03-25 15:34:08] 561*2^1451191-1 is not prime. Res64: 18974165483D7556 Time : 0.0 sec. user=juhehe [2017-03-25 16:06:38] 539*2^1451192-1 is not prime. Res64: 621D4AF724316126 Time : 0.0 sec. user=juhehe [2017-03-25 18:11:35] 593*2^1451192-1 is not prime. Res64: A0F85C5EEC02D64A Time : 0.0 sec. user=juhehe [2017-03-25 19:16:44] 439*2^1451193-1 is not prime. Res64: 719C3CFB42F2B0F8 Time : 0.0 sec. user=juhehe [2017-03-25 19:51:50] 447*2^1451265-1 is not prime. Res64: E7B96B175D1712DE Time : 0.0 sec. user=juhehe [2017-03-25 22:07:35] 515*2^1451198-1 is not prime. Res64: CD1D1C837876543D Time : 0.0 sec. user=juhehe [2017-03-25 23:38:02] 549*2^1451199-1 is not prime. Res64: 993FE4A176E31494 Time : 0.0 sec.