user=juhehe [2016-08-12 00:19:06] 555*2^1431600-1 is not prime. Res64: 42F229CD2447F4FD Time : 0.0 sec. user=juhehe [2016-08-12 00:59:11] 549*2^1431601-1 is not prime. Res64: 47FEEE5875C1388B Time : 0.0 sec. user=juhehe [2016-08-12 04:01:45] 597*2^1431601-1 is not prime. Res64: 2FD737E20DDE403D Time : 0.0 sec. user=juhehe [2016-08-12 04:42:00] 561*2^1431602-1 is not prime. Res64: 307CB40C87DE2791 Time : 0.0 sec. user=juhehe [2016-08-12 05:21:58] 451*2^1431603-1 is not prime. Res64: 32218D5006E4BA08 Time : 0.0 sec. user=juhehe [2016-08-12 08:52:41] 489*2^1431603-1 is not prime. Res64: 793E0572E29B79DB Time : 0.0 sec. user=juhehe [2016-08-12 09:32:39] 529*2^1431603-1 is not prime. Res64: 83BB81627E05C4C1 Time : 0.0 sec. user=juhehe [2016-08-12 10:12:43] 571*2^1431603-1 is not prime. Res64: 2F394F4A3272EBE9 Time : 0.0 sec. user=juhehe [2016-08-12 12:39:58] 443*2^1431604-1 is not prime. Res64: 79399F30E1D498D6 Time : 0.0 sec. user=juhehe [2016-08-12 13:14:56] 409*2^1431605-1 is not prime. Res64: 4400986F106C3880 Time : 0.0 sec. user=juhehe [2016-08-12 13:49:52] 411*2^1431605-1 is not prime. Res64: 7A63811D66EAA157 Time : 0.0 sec. user=juhehe [2016-08-12 16:00:09] 507*2^1431605-1 is not prime. Res64: F4909B233279DD03 Time : 0.0 sec. user=juhehe [2016-08-12 16:34:59] 567*2^1431605-1 is not prime. Res64: 64A6B6762E5EA249 Time : 0.0 sec. user=juhehe [2016-08-12 17:09:54] 417*2^1431606-1 is not prime. Res64: E976C7C03B194AB7 Time : 0.0 sec. user=juhehe [2016-08-12 19:55:11] 443*2^1431606-1 is not prime. Res64: 2366ECF01C7F3215 Time : 0.0 sec. user=odicin [2016-08-12 20:16:56] 453*2^1431607-1 is not prime. Res64: D8A935C79ED6D18A Time : 0.0 sec. user=juhehe [2016-08-12 20:46:27] 503*2^1431606-1 is not prime. Res64: A3201E46B1B6172E Time : 0.0 sec. user=juhehe [2016-08-12 23:40:15] 559*2^1431607-1 is not prime. Res64: F72A4D129A7C9CEF Time : 0.0 sec.