user=vaughan [2012-03-04 01:11:23] 499*2^1126009-1 is not prime. Res64: CD1596CEB810CC67 Time : 0.0 sec. user=vaughan [2012-03-04 01:56:30] 453*2^1126010-1 is not prime. Res64: DD715228019BAD12 Time : 0.0 sec. user=vaughan [2012-03-04 02:19:26] 585*2^1126010-1 is not prime. Res64: 2D8B2C61E0B57B05 Time : 0.0 sec. user=vaughan [2012-03-04 02:19:42] 485*2^1126012-1 is not prime. Res64: 6A96E6B84941B461 Time : 0.0 sec. user=vaughan [2012-03-04 02:24:11] 447*2^1126010-1 is not prime. Res64: FE1E9BBEED318840 Time : 0.0 sec. user=vaughan [2012-03-04 02:24:17] 423*2^1126008-1 is not prime. Res64: 1FAE341BC4B0420A Time : 0.0 sec. user=vaughan [2012-03-04 02:24:19] 515*2^1126008-1 is not prime. Res64: 98901614B67B3F5F Time : 0.0 sec. user=vaughan [2012-03-04 02:24:22] 495*2^1126009-1 is not prime. Res64: 51B942E0958BBB71 Time : 0.0 sec. user=vaughan [2012-03-04 02:42:23] 475*2^1126013-1 is not prime. Res64: 40B87E3E01D2223E Time : 0.0 sec. user=vaughan [2012-03-04 02:42:32] 507*2^1126013-1 is not prime. Res64: 0BFB6018FCD92FF0 Time : 0.0 sec. user=vaughan [2012-03-04 02:59:14] 503*2^1126014-1 is not prime. Res64: C62E190625ED267E Time : 0.0 sec. user=vaughan [2012-03-04 02:59:18] 437*2^1126014-1 is not prime. Res64: AB9085FFF7A98AE2 Time : 0.0 sec. user=gd_barnes [2012-03-04 03:10:55] 521*2^1126014-1 is not prime. Res64: DE5032323552F616 Time : 0.0 sec. user=vaughan [2012-03-04 03:16:53] 421*2^1126015-1 is not prime. Res64: 7179F77E6A924363 Time : 0.0 sec. user=vaughan [2012-03-04 03:16:55] 441*2^1126015-1 is not prime. Res64: BFE5849411C58217 Time : 0.0 sec. user=vaughan [2012-03-04 03:19:45] 495*2^1126012-1 is not prime. Res64: 596DE7435B4485A3 Time : 0.0 sec. user=vaughan [2012-03-04 03:20:03] 405*2^1126013-1 is not prime. Res64: F1A00C88D170E21F Time : 0.0 sec. user=vaughan [2012-03-04 03:33:48] 493*2^1126015-1 is not prime. Res64: 1505438BDE9D1DC8 Time : 0.0 sec. user=vaughan [2012-03-04 03:36:41] 465*2^1126016-1 is not prime. Res64: C044F5E8ADAD8C2B Time : 0.0 sec. user=vaughan [2012-03-04 03:36:56] 537*2^1126016-1 is not prime. Res64: 14874F1C82D656CF Time : 0.0 sec. user=gd_barnes [2012-03-04 03:41:32] 475*2^1126015-1 is not prime. Res64: 4D565BB3957853EB Time : 0.0 sec. user=vaughan [2012-03-04 03:50:20] 405*2^1126017-1 is not prime. Res64: 5129B8FD35F49215 Time : 0.0 sec. user=vaughan [2012-03-04 03:52:05] 563*2^1126016-1 is not prime. Res64: B440A6808A9302D1 Time : 0.0 sec. user=vaughan [2012-03-04 03:53:03] 465*2^1126017-1 is not prime. Res64: 12E31359D512A8AB Time : 0.0 sec. user=vaughan [2012-03-04 03:53:23] 475*2^1126017-1 is not prime. Res64: E5A6F652A9F17A4A Time : 0.0 sec. user=vaughan [2012-03-04 04:02:47] 455*2^1126016-1 is not prime. Res64: 59E6D5A39BC20667 Time : 0.0 sec. user=gd_barnes [2012-03-04 04:03:36] 427*2^1126017-1 is not prime. Res64: F5FD6D5F19695BE2 Time : 0.0 sec. user=vaughan [2012-03-04 04:07:10] 405*2^1126018-1 is not prime. Res64: 5009725D3B377291 Time : 0.0 sec. user=vaughan [2012-03-04 04:09:36] 471*2^1126018-1 is not prime. Res64: 4BD11FA5F0260F19 Time : 0.0 sec. user=vaughan [2012-03-04 04:09:44] 551*2^1126018-1 is not prime. Res64: C7772476D4EA52B7 Time : 0.0 sec. user=vaughan [2012-03-04 04:09:56] 575*2^1126018-1 is not prime. Res64: 6BA6A81957A90972 Time : 0.0 sec. user=vaughan [2012-03-04 04:10:03] 439*2^1126019-1 is not prime. Res64: 70AC6250CB9F23E0 Time : 0.0 sec. user=vaughan [2012-03-04 04:19:36] 595*2^1126019-1 is not prime. Res64: 659224285E7632EC Time : 0.0 sec. user=vaughan [2012-03-04 04:24:05] 411*2^1126021-1 is not prime. Res64: 85AE435792EE2078 Time : 0.0 sec. user=vaughan [2012-03-04 04:27:21] 427*2^1126021-1 is not prime. Res64: 6409C6B469FADA54 Time : 0.0 sec. user=vaughan [2012-03-04 04:27:32] 441*2^1126021-1 is not prime. Res64: B2A9416F1C44276A Time : 0.0 sec. user=vaughan [2012-03-04 04:33:51] 541*2^1126021-1 is not prime. Res64: AAA9E727AB48F112 Time : 0.0 sec. user=vaughan [2012-03-04 04:36:45] 549*2^1126021-1 is not prime. Res64: 575A6AE378359FB4 Time : 0.0 sec. user=vaughan [2012-03-04 04:41:00] 555*2^1126021-1 is not prime. Res64: 67346203787E82D8 Time : 0.0 sec. user=vaughan [2012-03-04 04:43:54] 431*2^1126022-1 is not prime. Res64: B561A974A4E64B31 Time : 0.0 sec. user=vaughan [2012-03-04 04:44:19] 501*2^1126022-1 is not prime. Res64: 15BF02F4AF48502B Time : 0.0 sec. user=vaughan [2012-03-04 04:44:36] 581*2^1126022-1 is not prime. Res64: 7513B30ACEA26901 Time : 0.0 sec. user=vaughan [2012-03-04 04:54:32] 593*2^1126022-1 is not prime. Res64: FED2B0A2456CA0E5 Time : 0.0 sec. user=vaughan [2012-03-04 04:58:51] 409*2^1126023-1 is not prime. Res64: E31D5E11A7009095 Time : 0.0 sec. user=vaughan [2012-03-04 05:01:53] 541*2^1126023-1 is not prime. Res64: 6220262F70B05419 Time : 0.0 sec. user=vaughan [2012-03-04 05:02:10] 553*2^1126023-1 is not prime. Res64: 50403661E184A420 Time : 0.0 sec. user=vaughan [2012-03-04 05:12:21] 565*2^1126023-1 is not prime. Res64: 017EFCAAAE4BB498 Time : 0.0 sec. user=vaughan [2012-03-04 05:16:35] 595*2^1126023-1 is not prime. Res64: F087E8B8640DA844 Time : 0.0 sec. user=vaughan [2012-03-04 05:19:23] 419*2^1126024-1 is not prime. Res64: 11685C68D26EF815 Time : 0.0 sec. user=vaughan [2012-03-04 05:29:00] 519*2^1126024-1 is not prime. Res64: CF1B86262184F33B Time : 0.0 sec. user=vaughan [2012-03-04 05:33:14] 535*2^1126025-1 is not prime. Res64: A3A2004CA43FD6DA Time : 0.0 sec. user=vaughan [2012-03-04 05:34:56] 447*2^1126024-1 is not prime. Res64: B4A7E544D7860CE7 Time : 0.0 sec. user=vaughan [2012-03-04 05:35:56] 585*2^1126025-1 is not prime. Res64: 946D26A458AC54C5 Time : 0.0 sec. user=vaughan [2012-03-04 05:45:28] 425*2^1126026-1 is not prime. Res64: 94F63EF1F3FE0FA1 Time : 0.0 sec. user=vaughan [2012-03-04 05:50:16] 483*2^1126026-1 is not prime. Res64: 881FACB00E76D27F Time : 0.0 sec. user=vaughan [2012-03-04 05:52:47] 525*2^1126026-1 is not prime. Res64: 92EEF706C15C01CE Time : 0.0 sec. user=vaughan [2012-03-04 05:58:15] 423*2^1126024-1 is not prime. Res64: A4088952347C03E0 Time : 0.0 sec. user=vaughan [2012-03-04 06:02:22] 563*2^1126026-1 is not prime. Res64: 2EFFA3DBED578A73 Time : 0.0 sec. user=vaughan [2012-03-04 06:06:48] 587*2^1126026-1 is not prime. Res64: 3BF35CEBE177ABEE Time : 0.0 sec. user=vaughan [2012-03-04 06:09:10] 465*2^1126027-1 is not prime. Res64: 19F2C912CFBFBBE1 Time : 0.0 sec. user=vaughan [2012-03-04 06:14:47] 449*2^1126028-1 is not prime. Res64: E5C0D1EE33AD4298 Time : 0.0 sec. user=vaughan [2012-03-04 06:18:58] 459*2^1126028-1 is not prime. Res64: 322CAB15BABA8F35 Time : 0.0 sec. user=vaughan [2012-03-04 06:23:34] 467*2^1126028-1 is not prime. Res64: EA1795C013F97466 Time : 0.0 sec. user=vaughan [2012-03-04 06:26:00] 479*2^1126028-1 is not prime. Res64: 897752E78C4E9DF3 Time : 0.0 sec. user=vaughan [2012-03-04 06:31:34] 567*2^1126028-1 is not prime. Res64: 2D51348DD35284BD Time : 0.0 sec. user=vaughan [2012-03-04 06:36:04] 415*2^1126029-1 is not prime. Res64: 30A9721E14EF4879 Time : 0.0 sec. user=vaughan [2012-03-04 06:41:01] 441*2^1126029-1 is not prime. Res64: 475F9F458CB4715F Time : 0.0 sec. user=vaughan [2012-03-04 06:43:42] 469*2^1126029-1 is not prime. Res64: EFDD26F8B9DB87FB Time : 0.0 sec. user=vaughan [2012-03-04 06:49:07] 453*2^1126030-1 is not prime. Res64: AA2271BB0D34DE1F Time : 0.0 sec. user=vaughan [2012-03-04 06:53:19] 465*2^1126030-1 is not prime. Res64: 3B54D27AF0FD8EC0 Time : 0.0 sec. user=vaughan [2012-03-04 06:57:46] 527*2^1126030-1 is not prime. Res64: D25DDDBE19081948 Time : 0.0 sec. user=vaughan [2012-03-04 07:00:09] 565*2^1126031-1 is not prime. Res64: 31A49E0549FC783A Time : 0.0 sec. user=vaughan [2012-03-04 07:05:21] 493*2^1126031-1 is not prime. Res64: 34E10BB0D694D651 Time : 0.0 sec. user=vaughan [2012-03-04 07:06:05] 555*2^1126033-1 is not prime. Res64: 5DA0482BE8ECCB9F Time : 0.0 sec. user=vaughan [2012-03-04 07:09:23] 513*2^1126032-1 is not prime. Res64: EA96DD07D54BA97D Time : 0.0 sec. user=vaughan [2012-03-04 07:09:32] 569*2^1126032-1 is not prime. Res64: D1BB55AEEB406B17 Time : 0.0 sec. user=vaughan [2012-03-04 07:10:20] 407*2^1126034-1 is not prime. Res64: A2E149D9100F2D21 Time : 0.0 sec. user=vaughan [2012-03-04 07:14:50] 483*2^1126034-1 is not prime. Res64: F8967A1D58B5BA6E Time : 0.0 sec. user=vaughan [2012-03-04 07:17:11] 495*2^1126034-1 is not prime. Res64: 6AD203A4A0988268 Time : 0.0 sec. user=vaughan [2012-03-04 07:21:56] 525*2^1126034-1 is not prime. Res64: 261A5AC8EC03A9BF Time : 0.0 sec. user=vaughan [2012-03-04 07:22:36] 453*2^1126035-1 is not prime. Res64: 911D012D0C34A964 Time : 0.0 sec. user=vaughan [2012-03-04 07:27:07] 471*2^1126035-1 is not prime. Res64: BFA7934B0BE1B32D Time : 0.0 sec. user=vaughan [2012-03-04 07:31:55] 481*2^1126035-1 is not prime. Res64: C7E5D3CB9D2F264E Time : 0.0 sec. user=vaughan [2012-03-04 07:34:19] 497*2^1126036-1 is not prime. Res64: EC5A6CFB59C500A6 Time : 0.0 sec. user=vaughan [2012-03-04 07:39:33] 469*2^1126037-1 is not prime. Res64: 90C8B2621E6C521B Time : 0.0 sec. user=vaughan [2012-03-04 07:40:31] 477*2^1126037-1 is not prime. Res64: 35F620EEFB95541B Time : 0.0 sec. user=vaughan [2012-03-04 07:44:55] 589*2^1126037-1 is not prime. Res64: EAE04AD823A6AF83 Time : 0.0 sec. user=vaughan [2012-03-04 07:49:58] 485*2^1126038-1 is not prime. Res64: FB868BE4941B40EE Time : 0.0 sec. user=vaughan [2012-03-04 07:52:09] 507*2^1126038-1 is not prime. Res64: 43E0E188002B1BEC Time : 0.0 sec. user=vaughan [2012-03-04 08:00:45] 411*2^1126039-1 is not prime. Res64: AC5EAC9C6CABB53A Time : 0.0 sec. user=vaughan [2012-03-04 09:42:50] 447*2^1126040-1 is not prime. Res64: 67DD9C4351FADFEB Time : 0.0 sec. user=vaughan [2012-03-04 10:47:39] 449*2^1126040-1 is not prime. Res64: DCC8B44B281D530D Time : 0.0 sec. user=vaughan [2012-03-04 11:52:29] 465*2^1126040-1 is not prime. Res64: DCC050D6D33FF6E6 Time : 0.0 sec. user=vaughan [2012-03-04 12:25:56] 483*2^1126040-1 is not prime. Res64: DF04C044C38130A7 Time : 0.0 sec. user=vaughan [2012-03-04 12:59:09] 537*2^1126040-1 is not prime. Res64: E6DDEEF1884A77BC Time : 0.0 sec. user=vaughan [2012-03-04 14:04:15] 499*2^1126041-1 is not prime. Res64: A5A0E3A02ADB5831 Time : 0.0 sec. user=vaughan [2012-03-04 14:37:29] 579*2^1126041-1 is not prime. Res64: 6527B68A8A253B09 Time : 0.0 sec. user=vaughan [2012-03-04 16:13:38] 585*2^1126041-1 is not prime. Res64: 75E64483E2D4F318 Time : 0.0 sec. user=vaughan [2012-03-04 16:41:12] 463*2^1126039-1 is not prime. Res64: 9AB706370D91A843 Time : 0.0 sec. user=vaughan [2012-03-04 16:46:25] 531*2^1126039-1 is not prime. Res64: 730820563FAD2663 Time : 0.0 sec. user=vaughan [2012-03-04 16:49:25] 549*2^1126039-1 is not prime. Res64: A20AA53839A0598A Time : 0.0 sec. user=vaughan [2012-03-04 16:50:43] 405*2^1126040-1 is not prime. Res64: BB4042F6BD5F6E0C Time : 0.0 sec. user=vaughan [2012-03-04 17:01:03] 525*2^1126042-1 is not prime. Res64: CBC678D840157902 Time : 0.0 sec. user=vaughan [2012-03-04 17:05:44] 527*2^1126042-1 is not prime. Res64: FA26D8607B7C3D03 Time : 0.0 sec. user=vaughan [2012-03-04 17:08:16] 567*2^1126042-1 is not prime. Res64: 392A31A481360DF0 Time : 0.0 sec. user=vaughan [2012-03-04 17:09:34] 435*2^1126043-1 is not prime. Res64: 3B5C898B5F879D70 Time : 0.0 sec. user=vaughan [2012-03-04 17:18:55] 463*2^1126043-1 is not prime. Res64: FC3C9F7D7CFB4AA0 Time : 0.0 sec. user=vaughan [2012-03-04 17:23:15] 519*2^1126043-1 is not prime. Res64: B5B0C08C16ABA466 Time : 0.0 sec. user=vaughan [2012-03-04 17:25:40] 549*2^1126043-1 is not prime. Res64: 3A8F729DD3C1E265 Time : 0.0 sec. user=vaughan [2012-03-04 17:27:07] 565*2^1126043-1 is not prime. Res64: 85146019FFE5DF77 Time : 0.0 sec. user=vaughan [2012-03-04 17:36:25] 555*2^1126044-1 is not prime. Res64: DC3BB6EF07CC07EB Time : 0.0 sec. user=vaughan [2012-03-04 17:41:00] 469*2^1126045-1 is not prime. Res64: 8AD04CE04EEF8386 Time : 0.0 sec. user=vaughan [2012-03-04 17:43:42] 531*2^1126045-1 is not prime. Res64: 33F3799C15D19755 Time : 0.0 sec. user=vaughan [2012-03-04 17:44:46] 589*2^1126045-1 is not prime. Res64: 1C66CA5CD37079F1 Time : 0.0 sec. user=vaughan [2012-03-04 17:54:00] 525*2^1126046-1 is not prime. Res64: 929C253F0D4E4360 Time : 0.0 sec. user=vaughan [2012-03-04 17:58:26] 557*2^1126046-1 is not prime. Res64: E42D74D275F59445 Time : 0.0 sec. user=vaughan [2012-03-04 18:01:18] 511*2^1126047-1 is not prime. Res64: 1690F8833098371F Time : 0.0 sec. user=vaughan [2012-03-04 18:02:31] 533*2^1126048-1 is not prime. Res64: 5F7719F70DBA9EBF Time : 0.0 sec. user=vaughan [2012-03-04 18:12:17] 465*2^1126049-1 is not prime. Res64: F8713785466E2370 Time : 0.0 sec. user=vaughan [2012-03-04 18:16:22] 477*2^1126049-1 is not prime. Res64: 1527382BADEA0A4D Time : 0.0 sec. user=vaughan [2012-03-04 18:19:38] 501*2^1126049-1 is not prime. Res64: 9A2CFF90D08C2100 Time : 0.0 sec. user=vaughan [2012-03-04 18:20:54] 461*2^1126050-1 is not prime. Res64: 4A3B31C8F2DD16CD Time : 0.0 sec. user=vaughan [2012-03-04 18:22:12] 503*2^1126044-1 is not prime. Res64: 4DA7050E5EED2C4D Time : 0.0 sec. user=vaughan [2012-03-04 18:29:58] 415*2^1126051-1 is not prime. Res64: DBBF53BF1E2E1449 Time : 0.0 sec. user=vaughan [2012-03-04 18:34:11] 499*2^1126051-1 is not prime. Res64: 7BFE8D5BEA8964E4 Time : 0.0 sec. user=vaughan [2012-03-04 18:37:06] 519*2^1126051-1 is not prime. Res64: A5E56838FBC464FE Time : 0.0 sec. user=vaughan [2012-03-04 18:38:30] 573*2^1126051-1 is not prime. Res64: 3F53C6EC6194E3F0 Time : 0.0 sec. user=vaughan [2012-03-04 18:48:10] 525*2^1126052-1 is not prime. Res64: 60BC3EA6D3667E99 Time : 0.0 sec. user=vaughan [2012-03-04 18:52:33] 585*2^1126052-1 is not prime. Res64: EB555B0FF0DA2EBE Time : 0.0 sec. user=vaughan [2012-03-04 18:55:22] 495*2^1126052-1 is not prime. Res64: BD57697A760EACE0 Time : 0.0 sec. user=vaughan [2012-03-04 18:55:30] 429*2^1126053-1 is not prime. Res64: A893BF44D982F6D3 Time : 0.0 sec. user=vaughan [2012-03-04 18:56:48] 441*2^1126053-1 is not prime. Res64: 3D03BA510BE2B696 Time : 0.0 sec. user=vaughan [2012-03-04 19:06:10] 451*2^1126053-1 is not prime. Res64: 4999C57336CAD360 Time : 0.0 sec. user=vaughan [2012-03-04 19:10:46] 481*2^1126053-1 is not prime. Res64: 282F2527BF0C2825 Time : 0.0 sec. user=vaughan [2012-03-04 19:13:33] 537*2^1126053-1 is not prime. Res64: AADDAF6C61D764EA Time : 0.0 sec. user=juhehe [2012-03-04 19:14:21] 405*2^1125952-1 is not prime. Res64: 6EE900FC07A1CCA7 Time : 0.0 sec. user=juhehe [2012-03-04 19:14:22] 455*2^1125952-1 is not prime. Res64: 34F62CCE3A8CF859 Time : 0.0 sec. user=vaughan [2012-03-04 19:15:11] 549*2^1126053-1 is not prime. Res64: CE864B39403C46D0 Time : 0.0 sec. user=vaughan [2012-03-04 19:23:28] 565*2^1126053-1 is not prime. Res64: 80CAC6C531EBD801 Time : 0.0 sec. user=vaughan [2012-03-04 19:27:20] 571*2^1126053-1 is not prime. Res64: 000C8F54F0779C8D Time : 0.0 sec. user=vaughan [2012-03-04 19:29:46] 577*2^1126053-1 is not prime. Res64: 74A0CA128F46485F Time : 0.0 sec. user=vaughan [2012-03-04 19:31:13] 573*2^1126054-1 is not prime. Res64: AF51BBF48213B655 Time : 0.0 sec. user=vaughan [2012-03-04 19:40:03] 523*2^1126055-1 is not prime. Res64: A44656DB1EB11CD1 Time : 0.0 sec. user=vaughan [2012-03-04 19:44:26] 459*2^1126056-1 is not prime. Res64: 8B0FEFA479E84098 Time : 0.0 sec. user=vaughan [2012-03-04 19:46:57] 479*2^1126056-1 is not prime. Res64: E4341BE7060B94FE Time : 0.0 sec. user=juhehe [2012-03-04 19:47:46] 555*2^1126054-1 is not prime. Res64: 73A3B8C81C3E6EF4 Time : 0.0 sec. user=juhehe [2012-03-04 19:47:48] 401*2^1126054-1 is not prime. Res64: 22B48F9D06D4ABF0 Time : 0.0 sec. user=vaughan [2012-03-04 20:03:44] 503*2^1126056-1 is not prime. Res64: 2657C0A73BFC4441 Time : 0.0 sec. user=juhehe [2012-03-04 20:19:22] 405*2^1126057-1 is not prime. Res64: C1102641CF83C1FC Time : 0.0 sec. user=juhehe [2012-03-04 20:19:28] 495*2^1126057-1 is not prime. Res64: 93201521AE040672 Time : 0.0 sec. user=juhehe [2012-03-04 20:51:03] 499*2^1126057-1 is not prime. Res64: 78A593A34A934C2C Time : 0.0 sec. user=juhehe [2012-03-04 20:51:10] 489*2^1126059-1 is not prime. Res64: F155319684DC0C29 Time : 0.0 sec. user=vaughan [2012-03-04 21:08:27] 549*2^1126059-1 is not prime. Res64: 96C203C127A305EA Time : 0.0 sec. user=juhehe [2012-03-04 21:22:46] 579*2^1126059-1 is not prime. Res64: 15133ACFBACA235A Time : 0.0 sec. user=juhehe [2012-03-04 21:22:51] 423*2^1126060-1 is not prime. Res64: 16369DE3101E2D3F Time : 0.0 sec. user=juhehe [2012-03-04 21:54:29] 447*2^1126060-1 is not prime. Res64: DD9FBF6487668438 Time : 0.0 sec. user=juhehe [2012-03-04 21:54:29] 539*2^1126060-1 is not prime. Res64: 468445E981473C12 Time : 0.0 sec. user=juhehe [2012-03-04 22:26:09] 545*2^1126060-1 is not prime. Res64: CE25228CF0363390 Time : 0.0 sec. user=juhehe [2012-03-04 22:26:09] 567*2^1126060-1 is not prime. Res64: A0F5A75024757F70 Time : 0.0 sec. user=juhehe [2012-03-04 22:57:42] 421*2^1126061-1 is not prime. Res64: B97CF6EFDEE13200 Time : 0.0 sec. user=juhehe [2012-03-04 22:57:42] 547*2^1126061-1 is not prime. Res64: CB3711938FCDDF52 Time : 0.0 sec. user=juhehe [2012-03-04 23:29:16] 425*2^1126062-1 is not prime. Res64: B658FBCCEC484E64 Time : 0.0 sec. user=juhehe [2012-03-04 23:29:18] 513*2^1126062-1 is not prime. Res64: E4A1A1299143834F Time : 0.0 sec. user=vaughan [2012-03-04 23:47:42] 537*2^1126062-1 is not prime. Res64: DE0B8A1FFB4C350E Time : 0.0 sec. user=juhehe [2012-03-05 00:00:51] 415*2^1126063-1 is not prime. Res64: 349C20DD831AD7A6 Time : 0.0 sec. user=juhehe [2012-03-05 00:00:51] 429*2^1126063-1 is not prime. Res64: 00DBA38D59ED33CE Time : 0.0 sec.