user=juhehe [2012-07-25 00:12:50] 587*2^1135760-1 is not prime. Res64: 15BD24697D7F8324 Time : 0.0 sec. user=juhehe [2012-07-25 01:35:23] 593*2^1135760-1 is not prime. Res64: D8C91FD31FC72D20 Time : 0.0 sec. user=vaughan [2012-07-25 02:07:09] 487*2^1135761-1 is not prime. Res64: 9F12EA18940316B0 Time : 0.0 sec. user=juhehe [2012-07-25 02:57:57] 531*2^1135761-1 is not prime. Res64: CFF25AE7986EAF0E Time : 0.0 sec. user=juhehe [2012-07-25 04:20:31] 585*2^1135761-1 is not prime. Res64: 34BE43AC0DFE3917 Time : 0.0 sec. user=vaughan [2012-07-25 05:41:41] 533*2^1135762-1 is not prime. Res64: CCE83297DC0BAF84 Time : 0.0 sec. user=juhehe [2012-07-25 05:43:20] 483*2^1135762-1 is not prime. Res64: 74A9288DDAB6C864 Time : 0.0 sec. user=juhehe [2012-07-25 07:05:58] 551*2^1135762-1 is not prime. Res64: 9D627608BC775DF9 Time : 0.0 sec. user=vaughan [2012-07-25 07:25:37] 567*2^1135762-1 is not prime. Res64: C1D00B225F216B9F Time : 0.0 sec. user=vaughan [2012-07-25 08:15:11] 549*2^1135763-1 is not prime. Res64: 5468479B9EA62B7A Time : 0.0 sec. user=juhehe [2012-07-25 08:28:42] 463*2^1135763-1 is not prime. Res64: CE55C17C235754DA Time : 0.0 sec. user=juhehe [2012-07-25 09:51:22] 545*2^1135764-1 is not prime. Res64: 9745FF6A413BE794 Time : 0.0 sec. user=juhehe [2012-07-25 11:13:58] 557*2^1135764-1 is not prime. Res64: F16C2F6E72D65D4F Time : 0.0 sec. user=juhehe [2012-07-25 12:36:57] 405*2^1135765-1 is not prime. Res64: 30DA9B4AC9740903 Time : 0.0 sec. user=vaughan [2012-07-25 13:39:31] 511*2^1135765-1 is not prime. Res64: DED655D539BB8745 Time : 0.0 sec. user=juhehe [2012-07-25 13:59:44] 499*2^1135765-1 is not prime. Res64: 1B9207E568819391 Time : 0.0 sec. user=juhehe [2012-07-25 15:22:22] 567*2^1135765-1 is not prime. Res64: 05C5F157ACDB852B Time : 0.0 sec. user=vaughan [2012-07-25 15:23:34] 591*2^1135765-1 is not prime. Res64: 07D44A438EE17818 Time : 0.0 sec. user=juhehe [2012-07-25 16:22:45] 557*2^1135766-1 is not prime. Res64: FE5861D285E99800 Time : 0.0 sec. user=juhehe [2012-07-25 16:25:52] 405*2^1135767-1 is not prime. Res64: A4E953F399DB591A Time : 0.0 sec. user=juhehe [2012-07-25 16:45:09] 431*2^1135766-1 is not prime. Res64: 2C25B4D3FB10D069 Time : 0.0 sec. user=vaughan [2012-07-25 17:14:38] 451*2^1135767-1 is not prime. Res64: B1A422A8267C9FE2 Time : 0.0 sec. user=juhehe [2012-07-25 18:07:34] 489*2^1135767-1 is not prime. Res64: 8CFF7F878FD7C901 Time : 0.0 sec. user=juhehe [2012-07-25 18:07:55] 453*2^1135767-1 is not prime. Res64: DAF99EA128F1FDC0 Time : 0.0 sec. user=juhehe [2012-07-25 18:11:28] 513*2^1135767-1 is not prime. Res64: FEDB280B9DFCE6A5 Time : 0.0 sec. user=vaughan [2012-07-25 18:58:38] 437*2^1135768-1 is not prime. Res64: 62A60D75D9569407 Time : 0.0 sec. user=juhehe [2012-07-25 19:30:31] 553*2^1135767-1 is not prime. Res64: 59302DF69B216444 Time : 0.0 sec. user=juhehe [2012-07-25 19:52:17] 485*2^1135768-1 is not prime. Res64: 67BD48C234CBF67D Time : 0.0 sec. user=juhehe [2012-07-25 19:56:43] 507*2^1135768-1 is not prime. Res64: 795BC72B03A3AEA8 Time : 0.0 sec. user=vaughan [2012-07-25 20:42:51] 481*2^1135769-1 is not prime. Res64: 9C675499D9803A6D Time : 0.0 sec. user=juhehe [2012-07-25 20:53:59] 537*2^1135768-1 is not prime. Res64: D21D85076A34142F Time : 0.0 sec. user=juhehe [2012-07-25 21:37:13] 525*2^1135769-1 is not prime. Res64: DA6A78DAAA6A7CE7 Time : 0.0 sec. user=juhehe [2012-07-25 21:42:00] 579*2^1135769-1 is not prime. Res64: 62C23F4B2B663F32 Time : 0.0 sec. user=juhehe [2012-07-25 22:16:41] 565*2^1135769-1 is not prime. Res64: B623553D36442227 Time : 0.0 sec. user=vaughan [2012-07-25 23:22:00] 443*2^1135770-1 is not prime. Res64: 88B4E0E92C57EFCA Time : 0.0 sec. user=juhehe [2012-07-25 23:23:04] 473*2^1135770-1 is not prime. Res64: 7116C5E27486F8D6 Time : 0.0 sec. user=juhehe [2012-07-25 23:27:10] 495*2^1135770-1 is not prime. Res64: 540213BA90E2B1C4 Time : 0.0 sec. user=juhehe [2012-07-25 23:39:22] 595*2^1135769-1 is not prime. Res64: A09D8BF78CEC202E Time : 0.0 sec.