user=juhehe [2012-02-15 00:18:12] 481*2^1123775-1 is not prime. Res64: DDDD6456F1BF48B2 Time : 0.0 sec. user=juhehe [2012-02-15 00:18:43] 589*2^1123777-1 is not prime. Res64: 6A9A6DB5CBD9DA06 Time : 0.0 sec. user=vaughan [2012-02-15 00:45:13] 441*2^1123757-1 is not prime. Res64: 3D9893109405BC09 Time : 0.0 sec. user=vaughan [2012-02-15 00:45:13] 421*2^1123757-1 is not prime. Res64: A5CEFE6CE90A8EA8 Time : 0.0 sec. user=vaughan [2012-02-15 00:48:29] 507*2^1123765-1 is not prime. Res64: 97F3F05755887EF9 Time : 0.0 sec. user=vaughan [2012-02-15 00:48:29] 513*2^1123764-1 is not prime. Res64: D09C5AABE4CEE998 Time : 0.0 sec. user=vaughan [2012-02-15 00:49:15] 549*2^1123761-1 is not prime. Res64: 4DB9D2F53CB8DAF2 Time : 0.0 sec. user=vaughan [2012-02-15 00:49:18] 465*2^1123760-1 is not prime. Res64: 3128FAC747C8A192 Time : 0.0 sec. user=vaughan [2012-02-15 00:49:19] 469*2^1123759-1 is not prime. Res64: 7C31292E6F3996FE Time : 0.0 sec. user=juhehe [2012-02-15 00:49:33] 549*2^1123780-1 is not prime. Res64: 560C1E40B464317A Time : 0.0 sec. user=juhehe [2012-02-15 00:50:02] 593*2^1123780-1 is not prime. Res64: 60E41C73D56E8C5F Time : 0.0 sec. user=vaughan [2012-02-15 00:50:55] 563*2^1123766-1 is not prime. Res64: 6C8F4811D51EC558 Time : 0.0 sec. user=vaughan [2012-02-15 00:50:55] 543*2^1123767-1 is not prime. Res64: 2969768E66DD420B Time : 0.0 sec. user=vaughan [2012-02-15 00:51:54] 465*2^1123769-1 is not prime. Res64: 561DCD2721F46733 Time : 0.0 sec. user=vaughan [2012-02-15 00:51:54] 437*2^1123766-1 is not prime. Res64: C40C4605A9426C98 Time : 0.0 sec. user=vaughan [2012-02-15 00:51:54] 441*2^1123767-1 is not prime. Res64: E218E6F3E5E32C06 Time : 0.0 sec. user=vaughan [2012-02-15 00:58:36] 577*2^1123757-1 is not prime. Res64: 9C5365391F554D4E Time : 0.0 sec. user=vaughan [2012-02-15 00:58:38] 435*2^1123757-1 is not prime. Res64: BF22A55C48FE2072 Time : 0.0 sec. user=vaughan [2012-02-15 01:00:50] 553*2^1123767-1 is not prime. Res64: 0A4C6B1B2660F742 Time : 0.0 sec. user=vaughan [2012-02-15 01:00:52] 433*2^1123767-1 is not prime. Res64: 4EF26361193D90F1 Time : 0.0 sec. user=vaughan [2012-02-15 01:02:19] 537*2^1123769-1 is not prime. Res64: 73E6B537501A5AB3 Time : 0.0 sec. user=vaughan [2012-02-15 01:02:19] 537*2^1123766-1 is not prime. Res64: 70EE43AEB5F9AC55 Time : 0.0 sec. user=vaughan [2012-02-15 01:02:19] 469*2^1123767-1 is not prime. Res64: 9C09EE22B930EE43 Time : 0.0 sec. user=vaughan [2012-02-15 01:09:17] 495*2^1123765-1 is not prime. Res64: 7E8995D0B9222F3E Time : 0.0 sec. user=vaughan [2012-02-15 01:09:19] 519*2^1123765-1 is not prime. Res64: E2996974E37033A4 Time : 0.0 sec. user=vaughan [2012-02-15 01:10:37] 477*2^1123774-1 is not prime. Res64: 1DE5D2887B5D5F96 Time : 0.0 sec. user=vaughan [2012-02-15 01:10:40] 483*2^1123774-1 is not prime. Res64: 8C92641EFAFF834B Time : 0.0 sec. user=vaughan [2012-02-15 01:11:50] 447*2^1123780-1 is not prime. Res64: 403F015357109AB6 Time : 0.0 sec. user=vaughan [2012-02-15 01:11:51] 495*2^1123780-1 is not prime. Res64: B22A7F38350BEC4E Time : 0.0 sec. user=vaughan [2012-02-15 01:16:59] 459*2^1123773-1 is not prime. Res64: 570A596707DF316A Time : 0.0 sec. user=vaughan [2012-02-15 01:17:00] 481*2^1123773-1 is not prime. Res64: 0E6A01B989780DC2 Time : 0.0 sec. user=vaughan [2012-02-15 01:17:02] 567*2^1123769-1 is not prime. Res64: BC5BD833CA9DF860 Time : 0.0 sec. user=vaughan [2012-02-15 01:17:02] 517*2^1123773-1 is not prime. Res64: 4954C4BC549EE540 Time : 0.0 sec. user=vaughan [2012-02-15 01:17:02] 571*2^1123769-1 is not prime. Res64: 91C62AAE124245BF Time : 0.0 sec. user=vaughan [2012-02-15 01:17:03] 529*2^1123773-1 is not prime. Res64: A2AA0F2D12D48D26 Time : 0.0 sec. user=vaughan [2012-02-15 01:20:35] 557*2^1123782-1 is not prime. Res64: 3ADF606781E7B46D Time : 0.0 sec. user=vaughan [2012-02-15 01:20:36] 407*2^1123784-1 is not prime. Res64: D5A3960ADF1C381C Time : 0.0 sec. user=vaughan [2012-02-15 01:20:37] 447*2^1123784-1 is not prime. Res64: 3B885DF15E118309 Time : 0.0 sec. user=vaughan [2012-02-15 01:20:38] 457*2^1123785-1 is not prime. Res64: B80192D239CFA627 Time : 0.0 sec. user=juhehe [2012-02-15 01:20:50] 405*2^1123781-1 is not prime. Res64: 6440308C4FEF1B70 Time : 0.0 sec. user=juhehe [2012-02-15 01:21:21] 511*2^1123781-1 is not prime. Res64: 0660B024AA83CF6F Time : 0.0 sec. user=vaughan [2012-02-15 01:23:10] 529*2^1123785-1 is not prime. Res64: 32D660E1C4C81EFF Time : 0.0 sec. user=vaughan [2012-02-15 01:23:11] 443*2^1123786-1 is not prime. Res64: CCC9E0ED9F191EDD Time : 0.0 sec. user=vaughan [2012-02-15 01:23:12] 481*2^1123785-1 is not prime. Res64: F6FF50DFDE1D4724 Time : 0.0 sec. user=vaughan [2012-02-15 01:23:13] 507*2^1123785-1 is not prime. Res64: DACF34C2BCABD1B6 Time : 0.0 sec. user=vaughan [2012-02-15 01:23:14] 491*2^1123786-1 is not prime. Res64: 7A3A7A86F798CA5A Time : 0.0 sec. user=vaughan [2012-02-15 01:23:15] 581*2^1123786-1 is not prime. Res64: 90D59BD0B3EFA853 Time : 0.0 sec. user=vaughan [2012-02-15 01:25:14] 517*2^1123781-1 is not prime. Res64: A0859A73898C2B5B Time : 0.0 sec. user=vaughan [2012-02-15 01:25:15] 525*2^1123781-1 is not prime. Res64: 2EB120D768A96D94 Time : 0.0 sec. user=vaughan [2012-02-15 01:25:21] 405*2^1123782-1 is not prime. Res64: 68E100180AA124AA Time : 0.0 sec. user=vaughan [2012-02-15 01:25:22] 501*2^1123782-1 is not prime. Res64: 9469564F21775541 Time : 0.0 sec. user=vaughan [2012-02-15 01:27:48] 533*2^1123774-1 is not prime. Res64: 7EF293822DF69FE4 Time : 0.0 sec. user=vaughan [2012-02-15 01:27:48] 543*2^1123775-1 is not prime. Res64: 7D54CD738D894649 Time : 0.0 sec. user=vaughan [2012-02-15 01:27:49] 567*2^1123774-1 is not prime. Res64: 1B68DDB7CC8B6C7C Time : 0.0 sec. user=vaughan [2012-02-15 01:27:49] 507*2^1123776-1 is not prime. Res64: 75243235A582F3BF Time : 0.0 sec. user=vaughan [2012-02-15 01:27:50] 413*2^1123772-1 is not prime. Res64: 64A851156B2F500C Time : 0.0 sec. user=vaughan [2012-02-15 01:27:50] 447*2^1123772-1 is not prime. Res64: F3625AB5A3D36C40 Time : 0.0 sec. user=vaughan [2012-02-15 01:27:51] 443*2^1123770-1 is not prime. Res64: 33E06526E63F5A5C Time : 0.0 sec. user=vaughan [2012-02-15 01:27:51] 453*2^1123770-1 is not prime. Res64: 49A08990F46CC47E Time : 0.0 sec. user=vaughan [2012-02-15 01:27:52] 527*2^1123776-1 is not prime. Res64: 3A3A068090CB0D2F Time : 0.0 sec. user=vaughan [2012-02-15 01:27:52] 517*2^1123777-1 is not prime. Res64: 787520D5F83484F3 Time : 0.0 sec. user=vaughan [2012-02-15 01:27:57] 423*2^1123775-1 is not prime. Res64: 5403F310A9D7B610 Time : 0.0 sec. user=vaughan [2012-02-15 01:27:58] 453*2^1123775-1 is not prime. Res64: 888D3FE7B4C6448D Time : 0.0 sec. user=vaughan [2012-02-15 01:30:01] 567*2^1123765-1 is not prime. Res64: 9D7B6D27633DE119 Time : 0.0 sec. user=vaughan [2012-02-15 01:30:02] 417*2^1123766-1 is not prime. Res64: 7977E877C944716D Time : 0.0 sec. user=vaughan [2012-02-15 01:30:30] 597*2^1123788-1 is not prime. Res64: 6E4D9395F1A7285C Time : 0.0 sec. user=vaughan [2012-02-15 01:30:31] 447*2^1123789-1 is not prime. Res64: 2B958547A6A6CB7C Time : 0.0 sec. user=vaughan [2012-02-15 01:33:27] 511*2^1123763-1 is not prime. Res64: 097FB4D0C96F7416 Time : 0.0 sec. user=vaughan [2012-02-15 01:33:28] 465*2^1123764-1 is not prime. Res64: DA8E363C12DDF6DE Time : 0.0 sec. user=vaughan [2012-02-15 01:33:28] 583*2^1123759-1 is not prime. Res64: EEBEB8E54711CA54 Time : 0.0 sec. user=vaughan [2012-02-15 01:33:29] 595*2^1123759-1 is not prime. Res64: 4211F8C0413D150C Time : 0.0 sec. user=vaughan [2012-02-15 01:33:34] 473*2^1123760-1 is not prime. Res64: A34D76F36F6FDAF3 Time : 0.0 sec. user=vaughan [2012-02-15 01:33:34] 507*2^1123761-1 is not prime. Res64: 8D58287B4307DFDB Time : 0.0 sec. user=vaughan [2012-02-15 01:34:41] 469*2^1123779-1 is not prime. Res64: 7AA949A677568675 Time : 0.0 sec. user=vaughan [2012-02-15 01:34:41] 543*2^1123779-1 is not prime. Res64: 9116E0D115FBCDD8 Time : 0.0 sec. user=vaughan [2012-02-15 01:34:42] 473*2^1123778-1 is not prime. Res64: 5CFCDC12B2558433 Time : 0.0 sec. user=vaughan [2012-02-15 01:34:42] 515*2^1123778-1 is not prime. Res64: CC9A5B7FE5D74F04 Time : 0.0 sec. user=vaughan [2012-02-15 01:34:42] 573*2^1123779-1 is not prime. Res64: 8233BD5F4BEEA210 Time : 0.0 sec. user=vaughan [2012-02-15 01:34:43] 429*2^1123780-1 is not prime. Res64: 6430650F6EDD4AFF Time : 0.0 sec. user=vaughan [2012-02-15 01:38:57] 481*2^1123789-1 is not prime. Res64: 00B90C6E52E0BDF9 Time : 0.0 sec. user=vaughan [2012-02-15 01:38:58] 537*2^1123789-1 is not prime. Res64: 484AF1873121AF5D Time : 0.0 sec. user=vaughan [2012-02-15 01:40:22] 569*2^1123792-1 is not prime. Res64: AAC87E5E713764EF Time : 0.0 sec. user=vaughan [2012-02-15 01:40:23] 481*2^1123793-1 is not prime. Res64: FA2F69B8A01096B4 Time : 0.0 sec. user=vaughan [2012-02-15 01:40:24] 405*2^1123792-1 is not prime. Res64: 487F1214D00DC8AB Time : 0.0 sec. user=vaughan [2012-02-15 01:40:25] 449*2^1123792-1 is not prime. Res64: E3CE405D50685965 Time : 0.0 sec. user=vaughan [2012-02-15 01:44:02] 483*2^1123794-1 is not prime. Res64: 41A209F8D899944F Time : 0.0 sec. user=vaughan [2012-02-15 01:44:02] 501*2^1123794-1 is not prime. Res64: 5F62C0787ADA177E Time : 0.0 sec. user=vaughan [2012-02-15 01:44:02] 423*2^1123794-1 is not prime. Res64: 8EBD33BB6F6E4C47 Time : 0.0 sec. user=vaughan [2012-02-15 01:44:03] 453*2^1123794-1 is not prime. Res64: 15EDD5A574078556 Time : 0.0 sec. user=vaughan [2012-02-15 01:44:07] 531*2^1123794-1 is not prime. Res64: F15C2BA2127ED5CF Time : 0.0 sec. user=vaughan [2012-02-15 01:44:08] 415*2^1123795-1 is not prime. Res64: 6D42B7A51D3FAECE Time : 0.0 sec. user=vaughan [2012-02-15 01:48:21] 407*2^1123790-1 is not prime. Res64: 0B8B40804C2710A5 Time : 0.0 sec. user=vaughan [2012-02-15 01:48:22] 403*2^1123791-1 is not prime. Res64: 8B8DCB028102086F Time : 0.0 sec. user=vaughan [2012-02-15 01:48:22] 587*2^1123790-1 is not prime. Res64: 8B3538669B799756 Time : 0.0 sec. user=vaughan [2012-02-15 01:48:22] 469*2^1123791-1 is not prime. Res64: 57AC545CC0E1DED4 Time : 0.0 sec. user=vaughan [2012-02-15 01:48:23] 511*2^1123791-1 is not prime. Res64: 836608C94CAF46A4 Time : 0.0 sec. user=vaughan [2012-02-15 01:48:24] 565*2^1123791-1 is not prime. Res64: 101D94FB42C1F02F Time : 0.0 sec. user=vaughan [2012-02-15 01:50:18] 579*2^1123799-1 is not prime. Res64: 09B7AE410422E747 Time : 0.0 sec. user=vaughan [2012-02-15 01:50:18] 423*2^1123800-1 is not prime. Res64: BCA40C333A089DC7 Time : 0.0 sec. user=vaughan [2012-02-15 01:50:50] 439*2^1123787-1 is not prime. Res64: 71085F5A24B5ED29 Time : 0.0 sec. user=vaughan [2012-02-15 01:50:51] 495*2^1123787-1 is not prime. Res64: 8445812E1918562A Time : 0.0 sec. user=vaughan [2012-02-15 01:50:53] 511*2^1123787-1 is not prime. Res64: 3C7E6907609C0C52 Time : 0.0 sec. user=vaughan [2012-02-15 01:50:54] 595*2^1123787-1 is not prime. Res64: AA5A5FFDDCB8168E Time : 0.0 sec. user=juhehe [2012-02-15 01:52:06] 511*2^1123793-1 is not prime. Res64: B0560535ED05CDC2 Time : 0.0 sec. user=vaughan [2012-02-15 01:52:21] 477*2^1123796-1 is not prime. Res64: 8A338D78460D5EE2 Time : 0.0 sec. user=vaughan [2012-02-15 01:52:21] 437*2^1123796-1 is not prime. Res64: 504A452F0E519AC9 Time : 0.0 sec. user=vaughan [2012-02-15 01:52:21] 455*2^1123796-1 is not prime. Res64: 8188A7036340F78F Time : 0.0 sec. user=vaughan [2012-02-15 01:52:21] 507*2^1123796-1 is not prime. Res64: 706B51234093D9E3 Time : 0.0 sec. user=juhehe [2012-02-15 01:52:38] 595*2^1123793-1 is not prime. Res64: D690C50CC689611E Time : 0.0 sec. user=vaughan [2012-02-15 02:00:09] 563*2^1123804-1 is not prime. Res64: FC3223F682985F02 Time : 0.0 sec. user=vaughan [2012-02-15 02:00:12] 445*2^1123805-1 is not prime. Res64: 7313E12D8DA06E67 Time : 0.0 sec. user=vaughan [2012-02-15 02:00:13] 469*2^1123805-1 is not prime. Res64: AB68527A724DC6E6 Time : 0.0 sec. user=vaughan [2012-02-15 02:00:16] 447*2^1123806-1 is not prime. Res64: FE68113123999CB8 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:16] 519*2^1123796-1 is not prime. Res64: A5292F95EA0C418F Time : 0.0 sec. user=vaughan [2012-02-15 02:03:17] 447*2^1123797-1 is not prime. Res64: 547CE9FAEE1FB4DE Time : 0.0 sec. user=vaughan [2012-02-15 02:03:19] 465*2^1123797-1 is not prime. Res64: 35318DFCC3F9FA93 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:20] 483*2^1123798-1 is not prime. Res64: 041BE3C3765F6E8A Time : 0.0 sec. user=vaughan [2012-02-15 02:03:20] 495*2^1123797-1 is not prime. Res64: 6923DB588AE818E3 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:20] 537*2^1123797-1 is not prime. Res64: 4A33B9DE268072C6 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:20] 507*2^1123798-1 is not prime. Res64: AA4C1A9CFDDF9ED8 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:21] 571*2^1123797-1 is not prime. Res64: B143E15736C18704 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:25] 591*2^1123798-1 is not prime. Res64: 95940509432BDED4 Time : 0.0 sec. user=vaughan [2012-02-15 02:03:26] 435*2^1123799-1 is not prime. Res64: DE016ECF83E8907B Time : 0.0 sec. user=vaughan [2012-02-15 02:03:33] 441*2^1123799-1 is not prime. Res64: 1BE91B4AB00843FB Time : 0.0 sec. user=vaughan [2012-02-15 02:03:34] 481*2^1123799-1 is not prime. Res64: CB14B390DD399945 Time : 0.0 sec. user=vaughan [2012-02-15 02:04:52] 507*2^1123806-1 is not prime. Res64: A5EB8D8BBCCA7F19 Time : 0.0 sec. user=vaughan [2012-02-15 02:04:53] 453*2^1123807-1 is not prime. Res64: 586EB6FA059BCB26 Time : 0.0 sec. user=vaughan [2012-02-15 02:04:53] 455*2^1123806-1 is not prime. Res64: 5EA9029EC6B762AA Time : 0.0 sec. user=vaughan [2012-02-15 02:04:54] 503*2^1123806-1 is not prime. Res64: C7FBC11BA054075A Time : 0.0 sec. user=vaughan [2012-02-15 02:05:02] 483*2^1123807-1 is not prime. Res64: 810D4F73720D54BB Time : 0.0 sec. user=vaughan [2012-02-15 02:05:03] 511*2^1123807-1 is not prime. Res64: 7E8B7797B936693B Time : 0.0 sec. user=vaughan [2012-02-15 02:06:01] 595*2^1123803-1 is not prime. Res64: 2A8CF3DE195C8CE6 Time : 0.0 sec. user=vaughan [2012-02-15 02:06:02] 419*2^1123804-1 is not prime. Res64: E7DDD774DF282764 Time : 0.0 sec. user=vaughan [2012-02-15 02:10:07] 403*2^1123811-1 is not prime. Res64: 2E3B68E8CF23D02D Time : 0.0 sec. user=vaughan [2012-02-15 02:10:11] 421*2^1123811-1 is not prime. Res64: 4205E47937A82127 Time : 0.0 sec. user=vaughan [2012-02-15 02:11:36] 531*2^1123799-1 is not prime. Res64: 5B12C44A6BA9CDC0 Time : 0.0 sec. user=vaughan [2012-02-15 02:11:37] 565*2^1123799-1 is not prime. Res64: 9B7D1A968E00BD08 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:03] 483*2^1123802-1 is not prime. Res64: 6F31734966574FF9 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:04] 521*2^1123802-1 is not prime. Res64: 668D6DAAADEF78F6 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:04] 405*2^1123802-1 is not prime. Res64: 2162147C729F51EB Time : 0.0 sec. user=vaughan [2012-02-15 02:19:04] 437*2^1123802-1 is not prime. Res64: 2B746533780A4A6C Time : 0.0 sec. user=vaughan [2012-02-15 02:19:05] 593*2^1123802-1 is not prime. Res64: 57E38AE9455DD6D4 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:05] 451*2^1123803-1 is not prime. Res64: 0C13935A260BB8BF Time : 0.0 sec. user=vaughan [2012-02-15 02:19:25] 567*2^1123812-1 is not prime. Res64: 76904E41167BE7EF Time : 0.0 sec. user=vaughan [2012-02-15 02:19:25] 515*2^1123812-1 is not prime. Res64: C34CECB5AA5D246F Time : 0.0 sec. user=vaughan [2012-02-15 02:19:25] 451*2^1123813-1 is not prime. Res64: 00E365620063F075 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:26] 555*2^1123812-1 is not prime. Res64: A5B94ED68D51BF39 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:34] 437*2^1123808-1 is not prime. Res64: 4351DEABCE8ABCFD Time : 0.0 sec. user=vaughan [2012-02-15 02:19:34] 537*2^1123808-1 is not prime. Res64: 62099ED3392DEAA8 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:35] 503*2^1123808-1 is not prime. Res64: 215C37C897B5F8A4 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:35] 535*2^1123809-1 is not prime. Res64: AB9F36A8E5B1FB31 Time : 0.0 sec. user=vaughan [2012-02-15 02:19:36] 405*2^1123810-1 is not prime. Res64: 76E67E5ACF918F2E Time : 0.0 sec. user=vaughan [2012-02-15 02:19:36] 597*2^1123810-1 is not prime. Res64: 61B521D6BA2F5543 Time : 0.0 sec. user=vaughan [2012-02-15 02:20:03] 525*2^1123813-1 is not prime. Res64: 337AD490C61A8C73 Time : 0.0 sec. user=vaughan [2012-02-15 02:20:04] 417*2^1123814-1 is not prime. Res64: 087BC88C8E658297 Time : 0.0 sec. user=vaughan [2012-02-15 02:20:07] 473*2^1123814-1 is not prime. Res64: D2CDBE7111D56E0D Time : 0.0 sec. user=vaughan [2012-02-15 02:20:08] 501*2^1123814-1 is not prime. Res64: 4291D7FDE2E07AAE Time : 0.0 sec. user=vaughan [2012-02-15 02:25:51] 405*2^1123818-1 is not prime. Res64: F4185A9370995331 Time : 0.0 sec. user=vaughan [2012-02-15 02:25:52] 447*2^1123818-1 is not prime. Res64: 44F43A0B4C5E7F36 Time : 0.0 sec. user=vaughan [2012-02-15 02:25:53] 513*2^1123818-1 is not prime. Res64: 4C7689E4B345764D Time : 0.0 sec. user=vaughan [2012-02-15 02:25:53] 525*2^1123818-1 is not prime. Res64: BF6E53CBFC5E04A9 Time : 0.0 sec. user=vaughan [2012-02-15 02:25:56] 567*2^1123818-1 is not prime. Res64: 4B1B78CA641074D9 Time : 0.0 sec. user=vaughan [2012-02-15 02:25:57] 573*2^1123818-1 is not prime. Res64: F1EB561C0AA6F0A1 Time : 0.0 sec. user=vaughan [2012-02-15 02:30:19] 515*2^1123820-1 is not prime. Res64: B14C7F68CD069D29 Time : 0.0 sec. user=vaughan [2012-02-15 02:30:21] 579*2^1123820-1 is not prime. Res64: 6C8D974B745756F2 Time : 0.0 sec. user=vaughan [2012-02-15 02:32:20] 571*2^1123811-1 is not prime. Res64: 7366E1990E561103 Time : 0.0 sec. user=vaughan [2012-02-15 02:32:22] 579*2^1123811-1 is not prime. Res64: 55CD8D614EC78C7D Time : 0.0 sec. user=vaughan [2012-02-15 02:32:25] 447*2^1123812-1 is not prime. Res64: CE24627712785983 Time : 0.0 sec. user=vaughan [2012-02-15 02:32:27] 467*2^1123812-1 is not prime. Res64: 8428CFFAB8D8837B Time : 0.0 sec. user=vaughan [2012-02-15 02:33:06] 555*2^1123819-1 is not prime. Res64: 8B55A45DA12593B2 Time : 0.0 sec. user=vaughan [2012-02-15 02:33:07] 595*2^1123819-1 is not prime. Res64: 1D2FF70C64D1D873 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:47] 507*2^1123814-1 is not prime. Res64: 7F186325AD857DD9 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:49] 545*2^1123814-1 is not prime. Res64: 06A66C355844FB50 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:53] 567*2^1123814-1 is not prime. Res64: 6DC91239DCC883EF Time : 0.0 sec. user=vaughan [2012-02-15 02:38:55] 471*2^1123815-1 is not prime. Res64: 814B9415BA309472 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:57] 509*2^1123816-1 is not prime. Res64: 0440D684B6E87060 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:57] 585*2^1123815-1 is not prime. Res64: 1407C234B8D1FECC Time : 0.0 sec. user=vaughan [2012-02-15 02:38:58] 475*2^1123815-1 is not prime. Res64: EF5F84B02EC2AFC7 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:58] 573*2^1123816-1 is not prime. Res64: F6E74E73EC03A3A4 Time : 0.0 sec. user=vaughan [2012-02-15 02:38:58] 595*2^1123815-1 is not prime. Res64: 849F00E377E23FFE Time : 0.0 sec. user=vaughan [2012-02-15 02:38:59] 501*2^1123815-1 is not prime. Res64: 67A3F985FE3AF1FD Time : 0.0 sec. user=vaughan [2012-02-15 02:39:07] 589*2^1123817-1 is not prime. Res64: 8B23496F056147AD Time : 0.0 sec. user=vaughan [2012-02-15 02:39:08] 401*2^1123818-1 is not prime. Res64: C2AB1F86F61D740D Time : 0.0 sec. user=vaughan [2012-02-15 02:39:40] 439*2^1123801-1 is not prime. Res64: E0963CD88775FB55 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:41] 469*2^1123801-1 is not prime. Res64: B1D8172F455DA1C0 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:41] 507*2^1123801-1 is not prime. Res64: 67DEAFFEE7303814 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:51] 507*2^1123828-1 is not prime. Res64: 7B113F51FE54CEDF Time : 0.0 sec. user=vaughan [2012-02-15 02:39:52] 537*2^1123828-1 is not prime. Res64: 59959291FFFC6C59 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:52] 549*2^1123801-1 is not prime. Res64: 238AA7DB976EF5F3 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:53] 559*2^1123801-1 is not prime. Res64: A27EBD0ABED41FD0 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:54] 565*2^1123801-1 is not prime. Res64: CE4A807D7AE8051D Time : 0.0 sec. user=vaughan [2012-02-15 02:39:55] 597*2^1123828-1 is not prime. Res64: 448E363C2219A7CA Time : 0.0 sec. user=vaughan [2012-02-15 02:39:56] 441*2^1123829-1 is not prime. Res64: 86F9062E055A57B2 Time : 0.0 sec. user=vaughan [2012-02-15 02:39:59] 465*2^1123800-1 is not prime. Res64: 2303E28E0C46BA37 Time : 0.0 sec. user=vaughan [2012-02-15 02:40:00] 515*2^1123800-1 is not prime. Res64: 9062878834687F61 Time : 0.0 sec. user=vaughan [2012-02-15 02:40:01] 585*2^1123800-1 is not prime. Res64: 2FD7EC949161D482 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:29] 559*2^1123823-1 is not prime. Res64: 5E8D9C5D1C784DE3 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:30] 573*2^1123823-1 is not prime. Res64: D1E7AF28B16301F0 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:34] 549*2^1123824-1 is not prime. Res64: 8FF49C22082B40F3 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:35] 555*2^1123824-1 is not prime. Res64: 0522B9F6BD1D171E Time : 0.0 sec. user=vaughan [2012-02-15 02:46:42] 459*2^1123829-1 is not prime. Res64: 51ED5A0CAD912DC1 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:42] 571*2^1123829-1 is not prime. Res64: 49BAD8CFAB5AD31E Time : 0.0 sec. user=vaughan [2012-02-15 02:46:43] 501*2^1123830-1 is not prime. Res64: D8DB773F57A5D995 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:44] 515*2^1123830-1 is not prime. Res64: 1F8BCC16E53CD29C Time : 0.0 sec. user=vaughan [2012-02-15 02:46:49] 543*2^1123830-1 is not prime. Res64: C67A932A2D2D8D32 Time : 0.0 sec. user=vaughan [2012-02-15 02:46:49] 563*2^1123830-1 is not prime. Res64: DB093BF2F5711F8A Time : 0.0 sec. user=vaughan [2012-02-15 02:50:09] 453*2^1123831-1 is not prime. Res64: 87C4989A59537191 Time : 0.0 sec. user=vaughan [2012-02-15 02:50:09] 493*2^1123831-1 is not prime. Res64: 9188AAF81EAA41F1 Time : 0.0 sec. user=vaughan [2012-02-15 02:50:54] 495*2^1123826-1 is not prime. Res64: AB8060D2779D414D Time : 0.0 sec. user=vaughan [2012-02-15 02:50:55] 497*2^1123826-1 is not prime. Res64: 798EA33B4486E20F Time : 0.0 sec. user=vaughan [2012-02-15 02:50:57] 415*2^1123825-1 is not prime. Res64: 77716E074206B6FB Time : 0.0 sec. user=vaughan [2012-02-15 02:50:57] 477*2^1123826-1 is not prime. Res64: 7F3314EF21EB5462 Time : 0.0 sec. user=vaughan [2012-02-15 02:51:02] 545*2^1123826-1 is not prime. Res64: 86EA615B47D6F9CA Time : 0.0 sec. user=vaughan [2012-02-15 02:51:02] 483*2^1123828-1 is not prime. Res64: 6091F06279E3B4A2 Time : 0.0 sec. user=vaughan [2012-02-15 02:53:10] 405*2^1123821-1 is not prime. Res64: B60C5E05922B7E76 Time : 0.0 sec. user=vaughan [2012-02-15 02:53:10] 577*2^1123821-1 is not prime. Res64: 287DF8310F019095 Time : 0.0 sec. user=vaughan [2012-02-15 02:59:38] 453*2^1123838-1 is not prime. Res64: 102E5959ADB7538A Time : 0.0 sec. user=vaughan [2012-02-15 02:59:39] 585*2^1123838-1 is not prime. Res64: F1C2DD6B0A862FB1 Time : 0.0 sec. user=vaughan [2012-02-15 02:59:42] 405*2^1123841-1 is not prime. Res64: 406DBD125A2D6307 Time : 0.0 sec. user=vaughan [2012-02-15 02:59:43] 439*2^1123841-1 is not prime. Res64: 3B1AC9072BC524CB Time : 0.0 sec. user=vaughan [2012-02-15 02:59:56] 457*2^1123833-1 is not prime. Res64: BBB7B8B5E1B109C7 Time : 0.0 sec. user=vaughan [2012-02-15 02:59:57] 517*2^1123833-1 is not prime. Res64: 6EE9F6DDCDEFA62D Time : 0.0 sec. user=vaughan [2012-02-15 03:03:25] 435*2^1123823-1 is not prime. Res64: 535028B1D74D78A6 Time : 0.0 sec. user=vaughan [2012-02-15 03:03:25] 519*2^1123823-1 is not prime. Res64: FCA18DEC8E82306F Time : 0.0 sec. user=vaughan [2012-02-15 03:03:26] 527*2^1123822-1 is not prime. Res64: DB64B0D2952397E3 Time : 0.0 sec. user=vaughan [2012-02-15 03:03:26] 597*2^1123821-1 is not prime. Res64: A10015F07DC01310 Time : 0.0 sec. user=vaughan [2012-02-15 03:03:27] 423*2^1123823-1 is not prime. Res64: 08F203132385063B Time : 0.0 sec. user=vaughan [2012-02-15 03:03:27] 401*2^1123822-1 is not prime. Res64: 228443D190B35554 Time : 0.0 sec. user=vaughan [2012-02-15 03:07:37] 447*2^1123846-1 is not prime. Res64: 0722DA615F35BEEB Time : 0.0 sec. user=vaughan [2012-02-15 03:07:38] 507*2^1123846-1 is not prime. Res64: BACC4D96048808C9 Time : 0.0 sec. user=vaughan [2012-02-15 03:07:41] 487*2^1123845-1 is not prime. Res64: FE2D70AC9AA70E55 Time : 0.0 sec. user=vaughan [2012-02-15 03:07:42] 555*2^1123845-1 is not prime. Res64: E9F4BA5A18D76DB5 Time : 0.0 sec. user=vaughan [2012-02-15 03:07:50] 527*2^1123846-1 is not prime. Res64: DF43B9781C25FCF3 Time : 0.0 sec. user=vaughan [2012-02-15 03:07:51] 561*2^1123846-1 is not prime. Res64: 6ECBA995D245EAAE Time : 0.0 sec. user=vaughan [2012-02-15 03:09:58] 511*2^1123847-1 is not prime. Res64: 1BEC6CB4876D79A1 Time : 0.0 sec. user=vaughan [2012-02-15 03:10:00] 523*2^1123847-1 is not prime. Res64: 83D5E0691BCCAE65 Time : 0.0 sec. user=vaughan [2012-02-15 03:13:33] 541*2^1123843-1 is not prime. Res64: 1721A496EF68E476 Time : 0.0 sec. user=vaughan [2012-02-15 03:13:34] 595*2^1123843-1 is not prime. Res64: F018C6BE16F05BC2 Time : 0.0 sec. user=vaughan [2012-02-15 03:13:37] 465*2^1123844-1 is not prime. Res64: BAE89A09E37DAE37 Time : 0.0 sec. user=vaughan [2012-02-15 03:13:38] 533*2^1123844-1 is not prime. Res64: ABEFF72305F02ECE Time : 0.0 sec. user=vaughan [2012-02-15 03:13:57] 535*2^1123831-1 is not prime. Res64: 0AF69D4C042CE9DF Time : 0.0 sec. user=vaughan [2012-02-15 03:13:58] 413*2^1123832-1 is not prime. Res64: 6EFA5BAACBC5ACA5 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:00] 437*2^1123832-1 is not prime. Res64: DABA82CCD2321327 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:01] 495*2^1123832-1 is not prime. Res64: 3AD86184420F9170 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:19] 537*2^1123833-1 is not prime. Res64: B4A208A1F8471053 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:20] 425*2^1123834-1 is not prime. Res64: E2299FC07141A8AB Time : 0.0 sec. user=vaughan [2012-02-15 03:14:26] 521*2^1123834-1 is not prime. Res64: 48D12F28C1A37681 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:27] 531*2^1123835-1 is not prime. Res64: BCC87B4462271508 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:28] 503*2^1123836-1 is not prime. Res64: 242148CC8C56BB0D Time : 0.0 sec. user=vaughan [2012-02-15 03:14:29] 527*2^1123836-1 is not prime. Res64: 45097DC4E6CC3F0E Time : 0.0 sec. user=vaughan [2012-02-15 03:14:33] 539*2^1123836-1 is not prime. Res64: 7511DE11B5FAFC74 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:33] 567*2^1123836-1 is not prime. Res64: F6379B6696919A7B Time : 0.0 sec. user=vaughan [2012-02-15 03:14:34] 405*2^1123837-1 is not prime. Res64: 9698955A69D28B86 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:35] 427*2^1123837-1 is not prime. Res64: 9A70F2FDA108EE3B Time : 0.0 sec. user=vaughan [2012-02-15 03:14:38] 469*2^1123837-1 is not prime. Res64: 3304E8B38F660F53 Time : 0.0 sec. user=vaughan [2012-02-15 03:14:39] 505*2^1123837-1 is not prime. Res64: 570D98CC955D9ED3 Time : 0.0 sec. user=vaughan [2012-02-15 03:19:28] 561*2^1123850-1 is not prime. Res64: FD81B02D2AAE8D7D Time : 0.0 sec. user=vaughan [2012-02-15 03:19:29] 535*2^1123851-1 is not prime. Res64: B8C3EAE3914958E8 Time : 0.0 sec. user=vaughan [2012-02-15 03:19:30] 447*2^1123852-1 is not prime. Res64: 308317AB1E67E2B0 Time : 0.0 sec. user=vaughan [2012-02-15 03:19:30] 449*2^1123852-1 is not prime. Res64: DFC0D4FD6A566DFC Time : 0.0 sec. user=vaughan [2012-02-15 03:22:15] 589*2^1123847-1 is not prime. Res64: ADE5749B065895B5 Time : 0.0 sec. user=vaughan [2012-02-15 03:22:16] 481*2^1123849-1 is not prime. Res64: ED80BF5A9B2A8D41 Time : 0.0 sec. user=vaughan [2012-02-15 03:22:16] 557*2^1123848-1 is not prime. Res64: 2B4B7207FE14F520 Time : 0.0 sec. user=vaughan [2012-02-15 03:22:16] 429*2^1123848-1 is not prime. Res64: A68315E8E24B0AB0 Time : 0.0 sec. user=vaughan [2012-02-15 03:22:16] 489*2^1123849-1 is not prime. Res64: BCC93ADEDB8F815C Time : 0.0 sec. user=vaughan [2012-02-15 03:22:17] 569*2^1123848-1 is not prime. Res64: FAB7FA4303898D47 Time : 0.0 sec. user=vaughan [2012-02-15 03:27:53] 479*2^1123852-1 is not prime. Res64: 70626B1C259F93E8 Time : 0.0 sec. user=vaughan [2012-02-15 03:27:53] 495*2^1123853-1 is not prime. Res64: 5972D5402AB82FE6 Time : 0.0 sec. user=vaughan [2012-02-15 03:28:31] 585*2^1123856-1 is not prime. Res64: 91C207A4B9C286DA Time : 0.0 sec. user=vaughan [2012-02-15 03:28:32] 405*2^1123857-1 is not prime. Res64: 44158207D10E9020 Time : 0.0 sec. user=vaughan [2012-02-15 03:28:33] 465*2^1123857-1 is not prime. Res64: B6BD8549DE8F0DC8 Time : 0.0 sec. user=vaughan [2012-02-15 03:28:33] 453*2^1123858-1 is not prime. Res64: 72608CABDE59F339 Time : 0.0 sec. user=vaughan [2012-02-15 03:28:46] 471*2^1123858-1 is not prime. Res64: E43B51B0F02FA28B Time : 0.0 sec. user=vaughan [2012-02-15 03:28:46] 513*2^1123858-1 is not prime. Res64: 8C64D82BE0255D82 Time : 0.0 sec. user=vaughan [2012-02-15 03:29:52] 525*2^1123858-1 is not prime. Res64: DE0300ED745DF34B Time : 0.0 sec. user=vaughan [2012-02-15 03:29:52] 533*2^1123858-1 is not prime. Res64: 914E0DC7FA3ADBE9 Time : 0.0 sec. user=vaughan [2012-02-15 03:34:44] 477*2^1123850-1 is not prime. Res64: 69C4C268B389415B Time : 0.0 sec. user=vaughan [2012-02-15 03:34:45] 495*2^1123850-1 is not prime. Res64: 567BDD4C6BB57CCF Time : 0.0 sec. user=vaughan [2012-02-15 03:39:17] 595*2^1123863-1 is not prime. Res64: 2811714CBF49A7A3 Time : 0.0 sec. user=vaughan [2012-02-15 03:39:17] 411*2^1123865-1 is not prime. Res64: B2984A0EAF11BE76 Time : 0.0 sec. user=vaughan [2012-02-15 03:39:18] 465*2^1123865-1 is not prime. Res64: 1C65B11EF99E8F6D Time : 0.0 sec. user=vaughan [2012-02-15 03:39:18] 549*2^1123864-1 is not prime. Res64: E391CD5ED5C3700E Time : 0.0 sec. user=vaughan [2012-02-15 03:41:59] 511*2^1123859-1 is not prime. Res64: 6D39BA5C224BE143 Time : 0.0 sec. user=vaughan [2012-02-15 03:41:59] 439*2^1123859-1 is not prime. Res64: C0781DED97B67468 Time : 0.0 sec. user=vaughan [2012-02-15 03:42:00] 459*2^1123860-1 is not prime. Res64: DD71C90879D234FF Time : 0.0 sec. user=vaughan [2012-02-15 03:42:00] 481*2^1123859-1 is not prime. Res64: EF66289649FC4DCA Time : 0.0 sec. user=vaughan [2012-02-15 03:46:10] 553*2^1123839-1 is not prime. Res64: B8B4705B2401EA12 Time : 0.0 sec. user=vaughan [2012-02-15 03:46:11] 595*2^1123839-1 is not prime. Res64: BADF12B2EA12203D Time : 0.0 sec. user=vaughan [2012-02-15 03:46:11] 561*2^1123837-1 is not prime. Res64: F0BAF65D9D56A66C Time : 0.0 sec. user=vaughan [2012-02-15 03:46:12] 449*2^1123840-1 is not prime. Res64: 42D5F354BE3315BF Time : 0.0 sec. user=vaughan [2012-02-15 03:46:12] 423*2^1123838-1 is not prime. Res64: AC63BF38E4037974 Time : 0.0 sec. user=vaughan [2012-02-15 03:46:13] 425*2^1123838-1 is not prime. Res64: ED7A049A5FA61EBD Time : 0.0 sec. user=vaughan [2012-02-15 03:46:29] 577*2^1123841-1 is not prime. Res64: F8C5DBACCAC71FA0 Time : 0.0 sec. user=vaughan [2012-02-15 03:46:29] 437*2^1123842-1 is not prime. Res64: A6F4261CEEC3ABB3 Time : 0.0 sec. user=vaughan [2012-02-15 03:46:30] 499*2^1123843-1 is not prime. Res64: B54C01B51694BEE7 Time : 0.0 sec. user=vaughan [2012-02-15 03:47:46] 429*2^1123855-1 is not prime. Res64: C4B19645C75AF012 Time : 0.0 sec. user=vaughan [2012-02-15 03:47:47] 411*2^1123854-1 is not prime. Res64: 3D49BF8B1D33ACCC Time : 0.0 sec. user=vaughan [2012-02-15 03:47:47] 583*2^1123855-1 is not prime. Res64: 7C21CF27040477C6 Time : 0.0 sec. user=vaughan [2012-02-15 03:47:48] 567*2^1123854-1 is not prime. Res64: 172A370E72E1BB4B Time : 0.0 sec. user=vaughan [2012-02-15 03:47:49] 455*2^1123856-1 is not prime. Res64: 6EE9B5F7B877041C Time : 0.0 sec. user=vaughan [2012-02-15 03:47:50] 573*2^1123856-1 is not prime. Res64: 04FF7BEF47EECDB2 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:28] 415*2^1123869-1 is not prime. Res64: 1EEDD06AC1E555F2 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:29] 451*2^1123869-1 is not prime. Res64: BF9A49D61A561E4E Time : 0.0 sec. user=vaughan [2012-02-15 03:49:30] 493*2^1123867-1 is not prime. Res64: 52150C430137DD7B Time : 0.0 sec. user=vaughan [2012-02-15 03:49:31] 519*2^1123868-1 is not prime. Res64: 706913A39E1C5451 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:37] 579*2^1123869-1 is not prime. Res64: 36AD25E5631D3C59 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:38] 467*2^1123870-1 is not prime. Res64: C77E9DD98201B949 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:48] 457*2^1123869-1 is not prime. Res64: B8ACCF9AF18BFCC0 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:49] 481*2^1123869-1 is not prime. Res64: 24E342843F089795 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:50] 541*2^1123861-1 is not prime. Res64: 33808FCE754DE37E Time : 0.0 sec. user=vaughan [2012-02-15 03:49:51] 547*2^1123861-1 is not prime. Res64: 348C8D9EC6D32E33 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:54] 405*2^1123862-1 is not prime. Res64: 80E57DA753BE8B61 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:55] 425*2^1123862-1 is not prime. Res64: B8D43E1735FCE2BB Time : 0.0 sec. user=vaughan [2012-02-15 03:49:55] 573*2^1123862-1 is not prime. Res64: DFD70B593ABD0039 Time : 0.0 sec. user=vaughan [2012-02-15 03:49:56] 585*2^1123862-1 is not prime. Res64: 21327CD47AA092D7 Time : 0.0 sec. user=vaughan [2012-02-15 03:50:02] 423*2^1123863-1 is not prime. Res64: 95B6131B63FEA2AB Time : 0.0 sec. user=vaughan [2012-02-15 03:50:03] 493*2^1123863-1 is not prime. Res64: 5E153812D21E4EE4 Time : 0.0 sec. user=vaughan [2012-02-15 03:50:04] 541*2^1123863-1 is not prime. Res64: 0BFF3EBFD07BF6CE Time : 0.0 sec. user=vaughan [2012-02-15 03:50:05] 543*2^1123863-1 is not prime. Res64: 4A15A83D5BD7C965 Time : 0.0 sec. user=vaughan [2012-02-15 03:50:07] 555*2^1123863-1 is not prime. Res64: F9DC75EC0979E0C6 Time : 0.0 sec. user=vaughan [2012-02-15 03:50:08] 591*2^1123863-1 is not prime. Res64: B58D6C2775C96F7D Time : 0.0 sec. user=vaughan [2012-02-15 03:53:36] 413*2^1122840-1 is not prime. Res64: 16E454702507E9AB Time : 0.0 sec. user=vaughan [2012-02-15 03:53:37] 517*2^1123865-1 is not prime. Res64: C921BD54B6C65860 Time : 0.0 sec. user=vaughan [2012-02-15 03:53:40] 535*2^1123865-1 is not prime. Res64: F87AC58E5BC50128 Time : 0.0 sec. user=vaughan [2012-02-15 03:53:41] 411*2^1123866-1 is not prime. Res64: 93114F2841E909B9 Time : 0.0 sec. user=vaughan [2012-02-15 03:53:41] 513*2^1123866-1 is not prime. Res64: F2AE9D303DEF2732 Time : 0.0 sec. user=vaughan [2012-02-15 03:53:41] 421*2^1123867-1 is not prime. Res64: E108312991D5BB86 Time : 0.0 sec. user=vaughan [2012-02-15 03:55:33] 439*2^1123861-1 is not prime. Res64: BE35C40FDF3EAD44 Time : 0.0 sec. user=vaughan [2012-02-15 03:55:33] 525*2^1123860-1 is not prime. Res64: 04E23CB9F63E3F12 Time : 0.0 sec. user=vaughan [2012-02-15 03:55:34] 499*2^1123861-1 is not prime. Res64: D143FF688B4E8F4C Time : 0.0 sec. user=vaughan [2012-02-15 03:55:34] 527*2^1123860-1 is not prime. Res64: 7FC50A4E8C2ADFD1 Time : 0.0 sec. user=vaughan [2012-02-15 03:56:27] 451*2^1123867-1 is not prime. Res64: 41873FB78B0CF063 Time : 0.0 sec. user=vaughan [2012-02-15 03:56:28] 465*2^1123867-1 is not prime. Res64: B181C7374651F3E0 Time : 0.0 sec. user=vaughan [2012-02-15 03:59:01] 497*2^1123872-1 is not prime. Res64: 2A084F0E8083E190 Time : 0.0 sec. user=vaughan [2012-02-15 03:59:01] 569*2^1123872-1 is not prime. Res64: A01DC47603D63C7E Time : 0.0 sec. user=vaughan [2012-02-15 03:59:02] 587*2^1123872-1 is not prime. Res64: 4AAFE0E0836E1DEE Time : 0.0 sec. user=vaughan [2012-02-15 03:59:03] 495*2^1123873-1 is not prime. Res64: 2D49D3E7C4E8683B Time : 0.0 sec. user=vaughan [2012-02-15 04:09:25] 551*2^1123878-1 is not prime. Res64: 3D0F199ADF032923 Time : 0.0 sec. user=vaughan [2012-02-15 04:09:27] 591*2^1123878-1 is not prime. Res64: 4E51B73A4ED98EBE Time : 0.0 sec. user=vaughan [2012-02-15 04:10:34] 559*2^1123873-1 is not prime. Res64: 90A3D151EAB171B8 Time : 0.0 sec. user=vaughan [2012-02-15 04:10:35] 411*2^1123875-1 is not prime. Res64: 84252BF5D6E2877E Time : 0.0 sec. user=vaughan [2012-02-15 04:10:37] 445*2^1123875-1 is not prime. Res64: 9D352A7E66D7A153 Time : 0.0 sec. user=vaughan [2012-02-15 04:10:41] 465*2^1123875-1 is not prime. Res64: FFC5236345C78D93 Time : 0.0 sec. user=vaughan [2012-02-15 04:10:44] 401*2^1123878-1 is not prime. Res64: 96A3EA40ADF12AEA Time : 0.0 sec. user=vaughan [2012-02-15 04:10:45] 417*2^1123877-1 is not prime. Res64: FC1734F319F9362B Time : 0.0 sec. user=vaughan [2012-02-15 04:10:46] 423*2^1123878-1 is not prime. Res64: 29CF178CC411C22A Time : 0.0 sec. user=vaughan [2012-02-15 04:10:49] 517*2^1123877-1 is not prime. Res64: 1A92C4759F13EACC Time : 0.0 sec. user=vaughan [2012-02-15 04:11:07] 451*2^1123879-1 is not prime. Res64: FEE2EEA503819C46 Time : 0.0 sec. user=vaughan [2012-02-15 04:11:08] 483*2^1123879-1 is not prime. Res64: 35624DBE61FD859A Time : 0.0 sec. user=vaughan [2012-02-15 04:16:23] 483*2^1123870-1 is not prime. Res64: B1832A78743D0313 Time : 0.0 sec. user=vaughan [2012-02-15 04:16:24] 459*2^1123872-1 is not prime. Res64: 945AE4CBEBB0C110 Time : 0.0 sec. user=vaughan [2012-02-15 04:18:46] 465*2^1123888-1 is not prime. Res64: B4F050F2A845D571 Time : 0.0 sec. user=vaughan [2012-02-15 04:18:47] 513*2^1123888-1 is not prime. Res64: BD6CF6C0037A434F Time : 0.0 sec. user=vaughan [2012-02-15 04:18:48] 471*2^1123887-1 is not prime. Res64: 91C7ACB1E64AD81C Time : 0.0 sec. user=vaughan [2012-02-15 04:18:49] 483*2^1123887-1 is not prime. Res64: 3232E01488A93EEC Time : 0.0 sec. user=vaughan [2012-02-15 04:24:43] 567*2^1123886-1 is not prime. Res64: 3354D2701E2D3B01 Time : 0.0 sec. user=vaughan [2012-02-15 04:24:44] 573*2^1123886-1 is not prime. Res64: F6151FBAEAACE2D5 Time : 0.0 sec. user=vaughan [2012-02-15 04:24:55] 465*2^1123884-1 is not prime. Res64: A48C83A228A92423 Time : 0.0 sec. user=vaughan [2012-02-15 04:24:56] 539*2^1123884-1 is not prime. Res64: F2AB395A04A626B3 Time : 0.0 sec. user=vaughan [2012-02-15 04:24:56] 585*2^1123883-1 is not prime. Res64: 1E2EC74FE39A805A Time : 0.0 sec. user=vaughan [2012-02-15 04:24:56] 429*2^1123884-1 is not prime. Res64: 4024EEBDF9707A86 Time : 0.0 sec. user=vaughan [2012-02-15 04:24:58] 569*2^1123884-1 is not prime. Res64: 17905406984CDCBB Time : 0.0 sec. user=vaughan [2012-02-15 04:24:59] 489*2^1123885-1 is not prime. Res64: F34BFF5DC6005199 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:10] 511*2^1123879-1 is not prime. Res64: 5294A29083A20CF6 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:11] 407*2^1123880-1 is not prime. Res64: 02DBCB690896623C Time : 0.0 sec. user=vaughan [2012-02-15 04:25:12] 483*2^1123880-1 is not prime. Res64: 152EEC68A4257EE3 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:12] 489*2^1123880-1 is not prime. Res64: 639E782BCD45DEFB Time : 0.0 sec. user=vaughan [2012-02-15 04:25:13] 519*2^1123880-1 is not prime. Res64: 3CECCBF31D34567E Time : 0.0 sec. user=vaughan [2012-02-15 04:25:14] 525*2^1123880-1 is not prime. Res64: B8A3509AB154F3B7 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:20] 533*2^1123880-1 is not prime. Res64: DF3C0D9A7C5F8C52 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:21] 441*2^1123881-1 is not prime. Res64: D9629E4374716D87 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:21] 539*2^1123880-1 is not prime. Res64: 46ECA9675B31329C Time : 0.0 sec. user=vaughan [2012-02-15 04:25:21] 537*2^1123881-1 is not prime. Res64: DB10FDC7212222AE Time : 0.0 sec. user=vaughan [2012-02-15 04:25:28] 577*2^1123881-1 is not prime. Res64: A89D17C368864D69 Time : 0.0 sec. user=vaughan [2012-02-15 04:25:28] 573*2^1123883-1 is not prime. Res64: 88A6AE446CF76D17 Time : 0.0 sec. user=vaughan [2012-02-15 04:29:13] 413*2^1123890-1 is not prime. Res64: 0A18B6B54AA7E7F3 Time : 0.0 sec. user=vaughan [2012-02-15 04:29:14] 437*2^1123890-1 is not prime. Res64: 21721D3FCFC49DE2 Time : 0.0 sec. user=vaughan [2012-02-15 04:31:40] 477*2^1123892-1 is not prime. Res64: 2BEC1088637D970D Time : 0.0 sec. user=vaughan [2012-02-15 04:31:41] 533*2^1123892-1 is not prime. Res64: B7823F161A8EB804 Time : 0.0 sec. user=vaughan [2012-02-15 04:31:41] 537*2^1123892-1 is not prime. Res64: 763DCB7C51955F93 Time : 0.0 sec. user=vaughan [2012-02-15 04:31:42] 555*2^1123893-1 is not prime. Res64: 79CF637FE829111B Time : 0.0 sec. user=vaughan [2012-02-15 04:32:01] 565*2^1123893-1 is not prime. Res64: 3D050AA25046889D Time : 0.0 sec. user=vaughan [2012-02-15 04:32:01] 461*2^1123894-1 is not prime. Res64: A441175B2EB52541 Time : 0.0 sec. user=vaughan [2012-02-15 04:32:09] 579*2^1123875-1 is not prime. Res64: 790C0D40592BB85F Time : 0.0 sec. user=vaughan [2012-02-15 04:32:10] 583*2^1123875-1 is not prime. Res64: 910B98DE5F13BD6A Time : 0.0 sec. user=vaughan [2012-02-15 04:32:11] 573*2^1123876-1 is not prime. Res64: DAEEC9C5FE034CB9 Time : 0.0 sec. user=vaughan [2012-02-15 04:32:13] 593*2^1123876-1 is not prime. Res64: CF992A352F672E0D Time : 0.0 sec. user=vaughan [2012-02-15 04:32:14] 597*2^1123876-1 is not prime. Res64: A6FB7C639193F3EA Time : 0.0 sec. user=vaughan [2012-02-15 04:32:15] 405*2^1123877-1 is not prime. Res64: F6B6A2B36A223123 Time : 0.0 sec. user=vaughan [2012-02-15 04:37:09] 417*2^1123886-1 is not prime. Res64: 5015F1AC364C853D Time : 0.0 sec. user=vaughan [2012-02-15 04:37:10] 477*2^1123886-1 is not prime. Res64: 6C2DAFA630CE8820 Time : 0.0 sec. user=vaughan [2012-02-15 04:37:10] 531*2^1123885-1 is not prime. Res64: 6BDF51E4B600882B Time : 0.0 sec. user=vaughan [2012-02-15 04:37:11] 405*2^1123886-1 is not prime. Res64: 73EB5D9BE9537E3D Time : 0.0 sec. user=vaughan [2012-02-15 04:38:35] 445*2^1123895-1 is not prime. Res64: A1165919438BE85F Time : 0.0 sec. user=vaughan [2012-02-15 04:38:36] 453*2^1123895-1 is not prime. Res64: 7A268DA052CFB92B Time : 0.0 sec. user=vaughan [2012-02-15 04:38:37] 519*2^1123895-1 is not prime. Res64: 8589A955CB40E7FD Time : 0.0 sec. user=vaughan [2012-02-15 04:38:38] 585*2^1123895-1 is not prime. Res64: AD28DA4A2AD0DCC6 Time : 0.0 sec. user=vaughan [2012-02-15 04:38:43] 443*2^1123890-1 is not prime. Res64: D87E1E84B1484A94 Time : 0.0 sec. user=vaughan [2012-02-15 04:38:44] 527*2^1123890-1 is not prime. Res64: 260C90E6AF5071F2 Time : 0.0 sec. user=vaughan [2012-02-15 04:38:53] 537*2^1123890-1 is not prime. Res64: AC916107F7BF417E Time : 0.0 sec. user=vaughan [2012-02-15 04:38:54] 459*2^1123892-1 is not prime. Res64: A723FF1B7F49E1DA Time : 0.0 sec. user=vaughan [2012-02-15 04:49:01] 483*2^1123903-1 is not prime. Res64: 85577F79229B5B98 Time : 0.0 sec. user=vaughan [2012-02-15 04:49:02] 511*2^1123903-1 is not prime. Res64: 8E3B6FA1F0A088D8 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:16] 421*2^1123897-1 is not prime. Res64: F158BCF5809B8CDF Time : 0.0 sec. user=vaughan [2012-02-15 04:52:17] 517*2^1123897-1 is not prime. Res64: 67FC8A9F962FCF77 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:21] 441*2^1122855-1 is not prime. Res64: B2F789984DF6FA3B Time : 0.0 sec. user=vaughan [2012-02-15 04:52:21] 523*2^1122855-1 is not prime. Res64: 120D9A1AED45364E Time : 0.0 sec. user=vaughan [2012-02-15 04:52:22] 487*2^1122857-1 is not prime. Res64: 6896C0BB14B4019C Time : 0.0 sec. user=vaughan [2012-02-15 04:52:23] 501*2^1122857-1 is not prime. Res64: FA0931208FB6683F Time : 0.0 sec. user=vaughan [2012-02-15 04:52:23] 497*2^1122858-1 is not prime. Res64: 60E26D1390138FC9 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:24] 581*2^1122858-1 is not prime. Res64: F585761FF19AC096 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:30] 503*2^1123904-1 is not prime. Res64: 9114ED3FAE35FB7E Time : 0.0 sec. user=vaughan [2012-02-15 04:52:31] 509*2^1123904-1 is not prime. Res64: 906738AA35144161 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:35] 425*2^1123904-1 is not prime. Res64: 4D9FBA0041A5908D Time : 0.0 sec. user=vaughan [2012-02-15 04:52:35] 447*2^1123904-1 is not prime. Res64: 74BFA4AE79743B0E Time : 0.0 sec. user=vaughan [2012-02-15 04:52:40] 433*2^1122859-1 is not prime. Res64: 923A6393F5530FBA Time : 0.0 sec. user=vaughan [2012-02-15 04:52:41] 451*2^1122859-1 is not prime. Res64: 504B8FE6A28BCC65 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:42] 541*2^1123875-1 is not prime. Res64: 3CEDFC67CE45443C Time : 0.0 sec. user=vaughan [2012-02-15 04:52:55] 533*2^1123904-1 is not prime. Res64: 59C676F036340042 Time : 0.0 sec. user=vaughan [2012-02-15 04:52:56] 539*2^1123904-1 is not prime. Res64: 7E3ABC1513F58C4C Time : 0.0 sec. user=vaughan [2012-02-15 04:56:15] 531*2^1123897-1 is not prime. Res64: C4F5FF1143CB3DCA Time : 0.0 sec. user=vaughan [2012-02-15 04:56:16] 447*2^1123898-1 is not prime. Res64: 8F01C08E1E24AE74 Time : 0.0 sec. user=vaughan [2012-02-15 04:56:17] 483*2^1123898-1 is not prime. Res64: 4FAA3467CB44B802 Time : 0.0 sec. user=vaughan [2012-02-15 04:56:17] 507*2^1123898-1 is not prime. Res64: 1C9F9F10C78BE355 Time : 0.0 sec. user=vaughan [2012-02-15 04:56:25] 433*2^1123899-1 is not prime. Res64: C12F63BEA0269EAE Time : 0.0 sec. user=vaughan [2012-02-15 04:56:25] 495*2^1123899-1 is not prime. Res64: F6295FF50D57C755 Time : 0.0 sec. user=vaughan [2012-02-15 04:57:59] 545*2^1123894-1 is not prime. Res64: 46FE6F0172F0D960 Time : 0.0 sec. user=vaughan [2012-02-15 04:57:59] 433*2^1123895-1 is not prime. Res64: 7C5EE36A45F13EC2 Time : 0.0 sec. user=vaughan [2012-02-15 04:58:25] 469*2^1123907-1 is not prime. Res64: 966D8F314CFFB17B Time : 0.0 sec. user=vaughan [2012-02-15 04:58:25] 523*2^1123907-1 is not prime. Res64: 42BE5F39E0C8BB0F Time : 0.0 sec. user=vaughan [2012-02-15 04:58:25] 419*2^1123908-1 is not prime. Res64: 8F1A43B0D576DE95 Time : 0.0 sec. user=vaughan [2012-02-15 04:58:25] 501*2^1123907-1 is not prime. Res64: 12FA85EB21AF7526 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:47] 443*2^1123900-1 is not prime. Res64: 30016B2FB2240425 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:48] 489*2^1123900-1 is not prime. Res64: 14216120AC3E86B2 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:48] 465*2^1123900-1 is not prime. Res64: EC9ACEF5260525CF Time : 0.0 sec. user=vaughan [2012-02-15 05:00:49] 567*2^1123900-1 is not prime. Res64: 74C9570353904D35 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:49] 525*2^1123900-1 is not prime. Res64: FE5F427BE004F175 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:50] 569*2^1123900-1 is not prime. Res64: 9463831CED363E49 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:56] 451*2^1123901-1 is not prime. Res64: 81A99167229CEDAA Time : 0.0 sec. user=vaughan [2012-02-15 05:00:57] 511*2^1123901-1 is not prime. Res64: 11484390BC9C32B5 Time : 0.0 sec. user=vaughan [2012-02-15 05:00:59] 525*2^1123901-1 is not prime. Res64: C9CAC29087D58970 Time : 0.0 sec. user=vaughan [2012-02-15 05:01:00] 483*2^1123902-1 is not prime. Res64: 7C8B110F4515ADF9 Time : 0.0 sec. user=vaughan [2012-02-15 05:01:07] 567*2^1123902-1 is not prime. Res64: EE57FF0742E5D1AC Time : 0.0 sec. user=vaughan [2012-02-15 05:01:08] 453*2^1123903-1 is not prime. Res64: D560472AC43539A8 Time : 0.0 sec. user=vaughan [2012-02-15 05:05:47] 479*2^1123908-1 is not prime. Res64: 73C49283FACFF908 Time : 0.0 sec. user=vaughan [2012-02-15 05:05:50] 485*2^1123908-1 is not prime. Res64: AB43E37ADEA336D7 Time : 0.0 sec. user=vaughan [2012-02-15 05:05:54] 513*2^1123908-1 is not prime. Res64: 9D40CAE7D154B583 Time : 0.0 sec. user=vaughan [2012-02-15 05:05:57] 429*2^1123909-1 is not prime. Res64: 902665A2CCF4783C Time : 0.0 sec. user=vaughan [2012-02-15 05:08:47] 451*2^1123909-1 is not prime. Res64: 0033FF616F230C61 Time : 0.0 sec. user=vaughan [2012-02-15 05:08:49] 503*2^1123910-1 is not prime. Res64: B37E7662C7A6DC71 Time : 0.0 sec. user=vaughan [2012-02-15 05:13:21] 495*2^1123914-1 is not prime. Res64: 9F337C0C19BD804D Time : 0.0 sec. user=vaughan [2012-02-15 05:13:21] 503*2^1123914-1 is not prime. Res64: 7BC8F0134DC1F591 Time : 0.0 sec. user=vaughan [2012-02-15 05:13:25] 593*2^1123914-1 is not prime. Res64: 89AC0B6EC7EA8481 Time : 0.0 sec. user=vaughan [2012-02-15 05:13:26] 429*2^1123915-1 is not prime. Res64: FB996D3F910AE65D Time : 0.0 sec. user=vaughan [2012-02-15 05:13:42] 507*2^1123916-1 is not prime. Res64: 7ACDE879C7F8BED0 Time : 0.0 sec. user=vaughan [2012-02-15 05:13:42] 587*2^1123916-1 is not prime. Res64: 2C05EEF53AF227AC Time : 0.0 sec. user=vaughan [2012-02-15 05:16:34] 567*2^1123904-1 is not prime. Res64: 728265FCB65E0127 Time : 0.0 sec. user=vaughan [2012-02-15 05:16:35] 599*2^1123904-1 is not prime. Res64: 596AFA4497088083 Time : 0.0 sec. user=vaughan [2012-02-15 05:16:36] 471*2^1123905-1 is not prime. Res64: B1AAA8A88AEA0A43 Time : 0.0 sec. user=vaughan [2012-02-15 05:16:37] 517*2^1123905-1 is not prime. Res64: ADBED798DD4C2CAD Time : 0.0 sec. user=vaughan [2012-02-15 05:16:39] 585*2^1123905-1 is not prime. Res64: 73CFFA6A9361436F Time : 0.0 sec. user=vaughan [2012-02-15 05:16:40] 597*2^1123905-1 is not prime. Res64: 8D56AB378BE9830F Time : 0.0 sec. user=vaughan [2012-02-15 05:18:11] 507*2^1123918-1 is not prime. Res64: 95730B04426B1746 Time : 0.0 sec. user=vaughan [2012-02-15 05:18:12] 591*2^1123918-1 is not prime. Res64: B560521DEBE67CF5 Time : 0.0 sec. user=vaughan [2012-02-15 05:18:13] 597*2^1123918-1 is not prime. Res64: 3C92FEAA8BF30917 Time : 0.0 sec. user=vaughan [2012-02-15 05:18:14] 469*2^1123919-1 is not prime. Res64: E47AF90A762D8215 Time : 0.0 sec. user=vaughan [2012-02-15 05:18:45] 453*2^1123906-1 is not prime. Res64: 921129E6B5CA196B Time : 0.0 sec. user=vaughan [2012-02-15 05:18:45] 503*2^1123906-1 is not prime. Res64: 7E4D8FB3A14BE593 Time : 0.0 sec. user=vaughan [2012-02-15 05:18:47] 531*2^1123906-1 is not prime. Res64: 8890EB0016074821 Time : 0.0 sec. user=vaughan [2012-02-15 05:18:48] 593*2^1123906-1 is not prime. Res64: D349A1826A01326D Time : 0.0 sec. user=vaughan [2012-02-15 05:19:25] 429*2^1123912-1 is not prime. Res64: A345238A703787DA Time : 0.0 sec. user=vaughan [2012-02-15 05:19:26] 479*2^1123912-1 is not prime. Res64: 44B3797071E6F83F Time : 0.0 sec. user=vaughan [2012-02-15 05:27:28] 507*2^1123917-1 is not prime. Res64: D0D340CD41D75E76 Time : 0.0 sec. user=vaughan [2012-02-15 05:27:29] 549*2^1123917-1 is not prime. Res64: 2579F3CE9D610B08 Time : 0.0 sec. user=vaughan [2012-02-15 05:27:32] 451*2^1123917-1 is not prime. Res64: E85C4684FF60AF78 Time : 0.0 sec. user=vaughan [2012-02-15 05:27:32] 469*2^1123917-1 is not prime. Res64: E1586CB1883D5DC1 Time : 0.0 sec. user=vaughan [2012-02-15 05:27:39] 595*2^1123917-1 is not prime. Res64: 43E1D589EE35F68F Time : 0.0 sec. user=vaughan [2012-02-15 05:27:40] 401*2^1123918-1 is not prime. Res64: 7335F103691F9087 Time : 0.0 sec. user=vaughan [2012-02-15 05:28:38] 549*2^1123923-1 is not prime. Res64: 14F88CAC67E218E7 Time : 0.0 sec. user=vaughan [2012-02-15 05:28:39] 583*2^1123923-1 is not prime. Res64: 9603ACED04C4B3AE Time : 0.0 sec. user=vaughan [2012-02-15 05:33:03] 431*2^1123922-1 is not prime. Res64: 63B096A3DF53DDBC Time : 0.0 sec. user=vaughan [2012-02-15 05:33:04] 447*2^1123922-1 is not prime. Res64: 03D2FFFDE4CA9475 Time : 0.0 sec. user=vaughan [2012-02-15 05:33:15] 497*2^1123922-1 is not prime. Res64: ABDB6B7BF4EADD01 Time : 0.0 sec. user=vaughan [2012-02-15 05:33:16] 533*2^1123922-1 is not prime. Res64: 490C6D8CF1545D1B Time : 0.0 sec. user=vaughan [2012-02-15 05:34:14] 447*2^1123925-1 is not prime. Res64: C70E3F84445EC9C7 Time : 0.0 sec. user=vaughan [2012-02-15 05:34:15] 477*2^1123925-1 is not prime. Res64: A394A1559A85D990 Time : 0.0 sec. user=vaughan [2012-02-15 05:34:15] 595*2^1123923-1 is not prime. Res64: CD5C6C0994A5B636 Time : 0.0 sec. user=vaughan [2012-02-15 05:34:16] 579*2^1123924-1 is not prime. Res64: 7861ED1625BCB2A1 Time : 0.0 sec. user=vaughan [2012-02-15 05:34:34] 437*2^1123926-1 is not prime. Res64: 72AD9BC741F32BE8 Time : 0.0 sec. user=vaughan [2012-02-15 05:34:35] 483*2^1123926-1 is not prime. Res64: 59B5CE7F12A098B6 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:32] 479*2^1123920-1 is not prime. Res64: DFF299C9F83AA2AC Time : 0.0 sec. user=vaughan [2012-02-15 05:36:33] 527*2^1123920-1 is not prime. Res64: 257F4520A2812468 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:35] 567*2^1123920-1 is not prime. Res64: 3D370D7D5616C410 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:36] 405*2^1123921-1 is not prime. Res64: F712787D658C9152 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:37] 549*2^1123919-1 is not prime. Res64: C92C155D02443927 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:38] 467*2^1123920-1 is not prime. Res64: 8B4AC6AF4CEB53FE Time : 0.0 sec. user=vaughan [2012-02-15 05:36:41] 525*2^1123921-1 is not prime. Res64: 54BF6C750ECB8806 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:42] 549*2^1123921-1 is not prime. Res64: F54669160925BA1E Time : 0.0 sec. user=vaughan [2012-02-15 05:36:42] 477*2^1123921-1 is not prime. Res64: D8FC116C58315E98 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:43] 511*2^1123921-1 is not prime. Res64: B82CE80C8C22EC88 Time : 0.0 sec. user=vaughan [2012-02-15 05:36:53] 555*2^1123921-1 is not prime. Res64: 70D6B8DFAF1BEE1B Time : 0.0 sec. user=vaughan [2012-02-15 05:36:54] 405*2^1123922-1 is not prime. Res64: AD690A7D3EC9DFF6 Time : 0.0 sec. user=vaughan [2012-02-15 05:37:58] 499*2^1123929-1 is not prime. Res64: 38EFBF5F94A77E4C Time : 0.0 sec. user=vaughan [2012-02-15 05:37:58] 403*2^1123931-1 is not prime. Res64: 262211ABCA72FB69 Time : 0.0 sec. user=vaughan [2012-02-15 05:38:02] 465*2^1123931-1 is not prime. Res64: 88753F7A211D0B73 Time : 0.0 sec. user=vaughan [2012-02-15 05:38:03] 519*2^1123931-1 is not prime. Res64: 74802CA3D6F8A21B Time : 0.0 sec. user=vaughan [2012-02-15 05:39:33] 491*2^1123918-1 is not prime. Res64: 99C4125CACB679F6 Time : 0.0 sec. user=vaughan [2012-02-15 05:39:34] 503*2^1123918-1 is not prime. Res64: E955A6FD48F1A7A7 Time : 0.0 sec. user=vaughan [2012-02-15 05:47:12] 497*2^1123932-1 is not prime. Res64: E3A7C5AC91CF15AB Time : 0.0 sec. user=vaughan [2012-02-15 05:47:13] 503*2^1123932-1 is not prime. Res64: D98D391F9F7C9B7F Time : 0.0 sec. user=vaughan [2012-02-15 05:48:24] 495*2^1123934-1 is not prime. Res64: 9A19417977702431 Time : 0.0 sec. user=vaughan [2012-02-15 05:48:25] 507*2^1123934-1 is not prime. Res64: 40323E0CE6958FA0 Time : 0.0 sec. user=vaughan [2012-02-15 05:55:06] 567*2^1123936-1 is not prime. Res64: 20607D40BF0BA9A0 Time : 0.0 sec. user=vaughan [2012-02-15 05:55:06] 429*2^1123935-1 is not prime. Res64: A0F6278C565030FC Time : 0.0 sec. user=vaughan [2012-02-15 05:55:07] 597*2^1123936-1 is not prime. Res64: 15F7218202E5D30C Time : 0.0 sec. user=vaughan [2012-02-15 05:55:07] 447*2^1123936-1 is not prime. Res64: 0D9DC80C20A8AD52 Time : 0.0 sec. user=vaughan [2012-02-15 05:55:26] 487*2^1123937-1 is not prime. Res64: 7893E991FD8654BD Time : 0.0 sec. user=vaughan [2012-02-15 05:55:27] 501*2^1123937-1 is not prime. Res64: 1CEE56222FFE3111 Time : 0.0 sec. user=vaughan [2012-02-15 05:57:45] 511*2^1123941-1 is not prime. Res64: FE78562F0A42BD53 Time : 0.0 sec. user=vaughan [2012-02-15 05:57:46] 571*2^1123941-1 is not prime. Res64: E452794DB6862738 Time : 0.0 sec. user=vaughan [2012-02-15 05:57:52] 577*2^1123941-1 is not prime. Res64: AF00369F2D98DB75 Time : 0.0 sec. user=vaughan [2012-02-15 05:57:53] 585*2^1123941-1 is not prime. Res64: B35B764DB5A0359C Time : 0.0 sec. user=vaughan [2012-02-15 05:58:25] 495*2^1123912-1 is not prime. Res64: 92AC142D533CAF06 Time : 0.0 sec. user=vaughan [2012-02-15 05:58:26] 445*2^1123913-1 is not prime. Res64: CDFA94C6B069042B Time : 0.0 sec. user=vaughan [2012-02-15 05:58:27] 511*2^1123913-1 is not prime. Res64: 236802D490D8ECA6 Time : 0.0 sec. user=vaughan [2012-02-15 05:58:27] 537*2^1123913-1 is not prime. Res64: A2494951ED068F4A Time : 0.0 sec. user=vaughan [2012-02-15 05:58:27] 585*2^1123913-1 is not prime. Res64: 42171902B160AB4F Time : 0.0 sec. user=vaughan [2012-02-15 05:58:28] 453*2^1123914-1 is not prime. Res64: 3D915F735551AFDF Time : 0.0 sec. user=vaughan [2012-02-15 05:58:43] 405*2^1123916-1 is not prime. Res64: 43444564777DF533 Time : 0.0 sec. user=vaughan [2012-02-15 05:58:44] 495*2^1123916-1 is not prime. Res64: AD88B5138B0DD99E Time : 0.0 sec. user=vaughan [2012-02-15 05:58:44] 503*2^1123916-1 is not prime. Res64: 03CA7EB7434B963C Time : 0.0 sec. user=vaughan [2012-02-15 05:58:54] 587*2^1123932-1 is not prime. Res64: EBA91640842A9D0A Time : 0.0 sec. user=vaughan [2012-02-15 05:58:55] 555*2^1123933-1 is not prime. Res64: 4985609B624A01B5 Time : 0.0 sec. user=vaughan [2012-02-15 05:58:55] 407*2^1123934-1 is not prime. Res64: 9EFD05DCE2EC010F Time : 0.0 sec. user=vaughan [2012-02-15 05:58:56] 437*2^1123934-1 is not prime. Res64: 8B77D3533667EBD5 Time : 0.0 sec. user=vaughan [2012-02-15 05:59:08] 461*2^1123934-1 is not prime. Res64: CD62C5B4E87449C3 Time : 0.0 sec. user=vaughan [2012-02-15 05:59:09] 473*2^1123934-1 is not prime. Res64: EAF41DF751D51127 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:21] 585*2^1123931-1 is not prime. Res64: 1E618716C0E7C420 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:22] 591*2^1123931-1 is not prime. Res64: 95235A94CC171082 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:24] 595*2^1123931-1 is not prime. Res64: 632BA4B47FE52120 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:26] 405*2^1123932-1 is not prime. Res64: 03160183017ECD33 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:55] 499*2^1123927-1 is not prime. Res64: F7A37A5302477211 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:56] 515*2^1123926-1 is not prime. Res64: A32D58EC5EC4EB89 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:56] 519*2^1123927-1 is not prime. Res64: BF72FE91A3749248 Time : 0.0 sec. user=vaughan [2012-02-15 06:00:57] 593*2^1123926-1 is not prime. Res64: DCCD7645408F3CF4 Time : 0.0 sec. user=vaughan [2012-02-15 06:01:02] 413*2^1123928-1 is not prime. Res64: 3FE3BE07A86A1340 Time : 0.0 sec. user=vaughan [2012-02-15 06:01:03] 449*2^1123928-1 is not prime. Res64: 809FC707DFD62A05 Time : 0.0 sec. user=vaughan [2012-02-15 06:01:34] 525*2^1123934-1 is not prime. Res64: 9B2F67E9EFA0843D Time : 0.0 sec. user=vaughan [2012-02-15 06:01:35] 545*2^1123934-1 is not prime. Res64: 8DF04F812B75B95A Time : 0.0 sec. user=vaughan [2012-02-15 06:01:51] 557*2^1123934-1 is not prime. Res64: 2A0586DFA1053476 Time : 0.0 sec. user=vaughan [2012-02-15 06:01:52] 411*2^1123935-1 is not prime. Res64: 3D7FC7B917F8A273 Time : 0.0 sec. user=vaughan [2012-02-15 06:08:12] 567*2^1123942-1 is not prime. Res64: 3869EEC2FB7A4C1A Time : 0.0 sec. user=vaughan [2012-02-15 06:08:15] 423*2^1123943-1 is not prime. Res64: D24127A20EEF345B Time : 0.0 sec. user=vaughan [2012-02-15 06:12:35] 549*2^1123937-1 is not prime. Res64: 9132056B55E773BF Time : 0.0 sec. user=vaughan [2012-02-15 06:12:36] 561*2^1123937-1 is not prime. Res64: E208420AEA67CF05 Time : 0.0 sec. user=vaughan [2012-02-15 06:12:40] 567*2^1123937-1 is not prime. Res64: 9D33405CC9258E94 Time : 0.0 sec. user=vaughan [2012-02-15 06:12:41] 461*2^1123938-1 is not prime. Res64: EDBFCB3B8DE38181 Time : 0.0 sec. user=vaughan [2012-02-15 06:12:42] 497*2^1123938-1 is not prime. Res64: DA377EE4D9B981D4 Time : 0.0 sec. user=vaughan [2012-02-15 06:12:43] 433*2^1123939-1 is not prime. Res64: 33FCDBA95C64CA1E Time : 0.0 sec. user=vaughan [2012-02-15 06:12:47] 471*2^1123939-1 is not prime. Res64: 74403ECBCE1BB8EE Time : 0.0 sec. user=vaughan [2012-02-15 06:12:48] 437*2^1123940-1 is not prime. Res64: D99753C91A60144C Time : 0.0 sec. user=vaughan [2012-02-15 06:12:48] 583*2^1123939-1 is not prime. Res64: 9E1624DF14147FC0 Time : 0.0 sec. user=vaughan [2012-02-15 06:12:49] 579*2^1123940-1 is not prime. Res64: E96095132CF02C4C Time : 0.0 sec. user=vaughan [2012-02-15 06:12:56] 593*2^1123940-1 is not prime. Res64: CD0AC7D48772164E Time : 0.0 sec. user=vaughan [2012-02-15 06:12:57] 459*2^1123941-1 is not prime. Res64: D9244DC7C57C414F Time : 0.0 sec. user=vaughan [2012-02-15 06:15:32] 495*2^1123942-1 is not prime. Res64: 481FA9FF7440C50E Time : 0.0 sec. user=vaughan [2012-02-15 06:15:33] 521*2^1123942-1 is not prime. Res64: 755DB82BD8ABE1F0 Time : 0.0 sec. user=vaughan [2012-02-15 06:15:58] 565*2^1123943-1 is not prime. Res64: 90BEAE686CB38D91 Time : 0.0 sec. user=vaughan [2012-02-15 06:15:58] 425*2^1123944-1 is not prime. Res64: 525C524D36BCE410 Time : 0.0 sec. user=vaughan [2012-02-15 06:15:59] 463*2^1123943-1 is not prime. Res64: 21629CE047A429A5 Time : 0.0 sec. user=vaughan [2012-02-15 06:16:00] 523*2^1123943-1 is not prime. Res64: 33E8EF3045B6007B Time : 0.0 sec. user=vaughan [2012-02-15 06:16:17] 437*2^1123944-1 is not prime. Res64: A1820F57D0DDABD2 Time : 0.0 sec. user=vaughan [2012-02-15 06:16:18] 473*2^1123944-1 is not prime. Res64: 4AC636D1E498D506 Time : 0.0 sec. user=vaughan [2012-02-15 06:17:31] 525*2^1123944-1 is not prime. Res64: BE56AA07A078B380 Time : 0.0 sec. user=vaughan [2012-02-15 06:17:32] 539*2^1123944-1 is not prime. Res64: 9636183756F84487 Time : 0.0 sec. user=vaughan [2012-02-15 06:17:40] 569*2^1123944-1 is not prime. Res64: EFA81FA7DB820DB6 Time : 0.0 sec. user=vaughan [2012-02-15 06:17:41] 405*2^1123945-1 is not prime. Res64: A6576BDBC020B15D Time : 0.0 sec. user=vaughan [2012-02-15 06:21:08] 413*2^1123942-1 is not prime. Res64: 65CCF597EBC3EB5F Time : 0.0 sec. user=vaughan [2012-02-15 06:21:09] 467*2^1123942-1 is not prime. Res64: CC250C69A9F910D1 Time : 0.0 sec. user=vaughan [2012-02-15 06:28:03] 425*2^1123956-1 is not prime. Res64: C5A8FBD1AEE20317 Time : 0.0 sec. user=vaughan [2012-02-15 06:28:04] 513*2^1123956-1 is not prime. Res64: 4650927FD48EE23F Time : 0.0 sec. user=vaughan [2012-02-15 06:29:48] 477*2^1123954-1 is not prime. Res64: D93EEA3DDE959D8F Time : 0.0 sec. user=vaughan [2012-02-15 06:29:49] 575*2^1123954-1 is not prime. Res64: D18A900E489ACF60 Time : 0.0 sec. user=vaughan [2012-02-15 06:30:17] 435*2^1123949-1 is not prime. Res64: 5BD7233A489699AE Time : 0.0 sec. user=vaughan [2012-02-15 06:30:18] 589*2^1123949-1 is not prime. Res64: 2003CBDCA74411F8 Time : 0.0 sec. user=vaughan [2012-02-15 06:30:18] 527*2^1123948-1 is not prime. Res64: 60B47E7958893BB4 Time : 0.0 sec. user=vaughan [2012-02-15 06:30:19] 549*2^1123948-1 is not prime. Res64: 318DA9DA52160A00 Time : 0.0 sec. user=vaughan [2012-02-15 06:30:27] 411*2^1123955-1 is not prime. Res64: 5BF80C991DADA4AA Time : 0.0 sec. user=vaughan [2012-02-15 06:30:27] 531*2^1123955-1 is not prime. Res64: 737EB731EEED4040 Time : 0.0 sec. user=vaughan [2012-02-15 06:30:31] 521*2^1123950-1 is not prime. Res64: 6D76C77B9C855F09 Time : 0.0 sec. user=vaughan [2012-02-15 06:30:32] 581*2^1123950-1 is not prime. Res64: 3DBB97C0EEF32437 Time : 0.0 sec. user=vaughan [2012-02-15 06:36:56] 437*2^1123960-1 is not prime. Res64: 13069978250C06F7 Time : 0.0 sec. user=vaughan [2012-02-15 06:36:57] 513*2^1123959-1 is not prime. Res64: B1B8A7BE97F975DB Time : 0.0 sec. user=vaughan [2012-02-15 06:36:57] 455*2^1123960-1 is not prime. Res64: EB0B6014E3245889 Time : 0.0 sec. user=vaughan [2012-02-15 06:36:58] 429*2^1123960-1 is not prime. Res64: 8760AB60513249A2 Time : 0.0 sec. user=vaughan [2012-02-15 06:37:19] 411*2^1123961-1 is not prime. Res64: 10EBA3101187700A Time : 0.0 sec. user=vaughan [2012-02-15 06:37:20] 441*2^1123961-1 is not prime. Res64: DD5EFD428992AEA9 Time : 0.0 sec. user=vaughan [2012-02-15 06:37:21] 447*2^1123962-1 is not prime. Res64: 68C1553E0F66A65E Time : 0.0 sec. user=vaughan [2012-02-15 06:37:22] 507*2^1123962-1 is not prime. Res64: 6E33B5D1ADB230A3 Time : 0.0 sec. user=vaughan [2012-02-15 06:37:30] 525*2^1123962-1 is not prime. Res64: A8CE122E20BACB12 Time : 0.0 sec. user=vaughan [2012-02-15 06:37:31] 567*2^1123962-1 is not prime. Res64: 652FD8F4F1AE6D6F Time : 0.0 sec. user=vaughan [2012-02-15 06:41:59] 441*2^1123951-1 is not prime. Res64: 1ACEE45E31FF59FD Time : 0.0 sec. user=vaughan [2012-02-15 06:42:00] 453*2^1123951-1 is not prime. Res64: 0EA87DC2854B33E8 Time : 0.0 sec. user=vaughan [2012-02-15 06:42:03] 435*2^1123952-1 is not prime. Res64: 0EEEE8BA877B6FE0 Time : 0.0 sec. user=vaughan [2012-02-15 06:42:04] 447*2^1123952-1 is not prime. Res64: 1C44B698B343A99D Time : 0.0 sec. user=vaughan [2012-02-15 06:44:01] 433*2^1123959-1 is not prime. Res64: 469E24B34FE5D6A9 Time : 0.0 sec. user=vaughan [2012-02-15 06:44:02] 469*2^1123959-1 is not prime. Res64: 6B9846AAE30507D3 Time : 0.0 sec. user=vaughan [2012-02-15 06:45:20] 573*2^1123952-1 is not prime. Res64: CCD531A531B6354A Time : 0.0 sec. user=vaughan [2012-02-15 06:45:21] 599*2^1123952-1 is not prime. Res64: 8D259334B09D857B Time : 0.0 sec. user=vaughan [2012-02-15 06:45:23] 459*2^1123953-1 is not prime. Res64: BB4AB129706763AC Time : 0.0 sec. user=vaughan [2012-02-15 06:45:24] 529*2^1123953-1 is not prime. Res64: 569014045EA5CE9C Time : 0.0 sec. user=vaughan [2012-02-15 06:45:26] 443*2^1123954-1 is not prime. Res64: BA0E1AA35B460FEA Time : 0.0 sec. user=vaughan [2012-02-15 06:45:27] 465*2^1123954-1 is not prime. Res64: E06A660674F5FAEF Time : 0.0 sec. user=vaughan [2012-02-15 06:47:53] 451*2^1123963-1 is not prime. Res64: E7E057A972664D5E Time : 0.0 sec. user=vaughan [2012-02-15 06:47:54] 523*2^1123963-1 is not prime. Res64: 7C5BB2D11E48C6DF Time : 0.0 sec. user=vaughan [2012-02-15 06:48:54] 597*2^1123956-1 is not prime. Res64: B86800BEF640062B Time : 0.0 sec. user=vaughan [2012-02-15 06:48:55] 421*2^1123957-1 is not prime. Res64: AB5F30A0312F057D Time : 0.0 sec. user=vaughan [2012-02-15 06:48:56] 435*2^1123957-1 is not prime. Res64: 388E7357317EA80C Time : 0.0 sec. user=vaughan [2012-02-15 06:48:57] 469*2^1123957-1 is not prime. Res64: 9D1BD2392774DBD2 Time : 0.0 sec. user=vaughan [2012-02-15 06:48:58] 507*2^1123957-1 is not prime. Res64: 7718DC1DDC751551 Time : 0.0 sec. user=vaughan [2012-02-15 06:49:00] 517*2^1123957-1 is not prime. Res64: B7E1303E979D9802 Time : 0.0 sec. user=vaughan [2012-02-15 06:49:07] 595*2^1123957-1 is not prime. Res64: 2BC3702BAC9C3F5C Time : 0.0 sec. user=vaughan [2012-02-15 06:49:08] 425*2^1123958-1 is not prime. Res64: 9F8DDB577A4D9728 Time : 0.0 sec. user=vaughan [2012-02-15 06:49:10] 437*2^1123958-1 is not prime. Res64: EB98AA35B4D1B4AA Time : 0.0 sec. user=vaughan [2012-02-15 06:49:11] 533*2^1123958-1 is not prime. Res64: B1884140B25041F9 Time : 0.0 sec. user=vaughan [2012-02-15 06:49:15] 563*2^1123958-1 is not prime. Res64: 01847DA3317DFA68 Time : 0.0 sec. user=vaughan [2012-02-15 06:49:16] 423*2^1123959-1 is not prime. Res64: 439CC57471BD27D3 Time : 0.0 sec. user=vaughan [2012-02-15 06:57:08] 437*2^1123970-1 is not prime. Res64: E279C612E29F17DD Time : 0.0 sec. user=vaughan [2012-02-15 06:57:09] 473*2^1123970-1 is not prime. Res64: 91FD66D097EF1938 Time : 0.0 sec. user=vaughan [2012-02-15 06:57:19] 529*2^1123971-1 is not prime. Res64: 780A4B68386DEEFE Time : 0.0 sec. user=vaughan [2012-02-15 06:57:20] 595*2^1123971-1 is not prime. Res64: 63A7A8C0C6606781 Time : 0.0 sec. user=vaughan [2012-02-15 06:57:49] 411*2^1123970-1 is not prime. Res64: 789C0627C65D49FC Time : 0.0 sec. user=vaughan [2012-02-15 06:57:50] 417*2^1123970-1 is not prime. Res64: 290CDA491B2E0405 Time : 0.0 sec. user=vaughan [2012-02-15 06:57:53] 525*2^1123969-1 is not prime. Res64: C5EEB62D0F16D699 Time : 0.0 sec. user=vaughan [2012-02-15 06:57:53] 577*2^1123969-1 is not prime. Res64: 1FA1FDB7EA53F7F3 Time : 0.0 sec. user=vaughan [2012-02-15 06:58:00] 533*2^1123964-1 is not prime. Res64: 0E97894D0C0D1514 Time : 0.0 sec. user=vaughan [2012-02-15 06:58:00] 545*2^1123964-1 is not prime. Res64: 96F18777100A64EE Time : 0.0 sec. user=vaughan [2012-02-15 06:58:13] 423*2^1123970-1 is not prime. Res64: 8304707412CB9C7E Time : 0.0 sec. user=vaughan [2012-02-15 06:58:13] 425*2^1123970-1 is not prime. Res64: C5FBE32AF555E76B Time : 0.0 sec. user=vaughan [2012-02-15 06:58:27] 455*2^1123966-1 is not prime. Res64: 08554F8E828E9C9D Time : 0.0 sec. user=vaughan [2012-02-15 06:58:28] 511*2^1123967-1 is not prime. Res64: 3480C22EEBA1F16D Time : 0.0 sec. user=vaughan [2012-02-15 07:01:35] 579*2^1123964-1 is not prime. Res64: DA09F2E7D3A8FA55 Time : 0.0 sec. user=vaughan [2012-02-15 07:01:36] 475*2^1123965-1 is not prime. Res64: 1F45E6DA1156C0A5 Time : 0.0 sec. user=vaughan [2012-02-15 07:01:37] 555*2^1123965-1 is not prime. Res64: 49222C8268CC1539 Time : 0.0 sec. user=vaughan [2012-02-15 07:01:38] 565*2^1123965-1 is not prime. Res64: 39129E394E8AF360 Time : 0.0 sec. user=vaughan [2012-02-15 07:01:51] 589*2^1123967-1 is not prime. Res64: AC5476BC886AD1E9 Time : 0.0 sec. user=vaughan [2012-02-15 07:01:52] 411*2^1123969-1 is not prime. Res64: 2C5A5995B8DBE146 Time : 0.0 sec. user=vaughan [2012-02-15 07:02:41] 585*2^1123962-1 is not prime. Res64: 902D8386CF5F1BC8 Time : 0.0 sec. user=vaughan [2012-02-15 07:02:42] 441*2^1123963-1 is not prime. Res64: 106702A98569C3EE Time : 0.0 sec. user=vaughan [2012-02-15 07:04:28] 407*2^1123946-1 is not prime. Res64: F04DB2944A18CA2F Time : 0.0 sec. user=vaughan [2012-02-15 07:04:29] 551*2^1123946-1 is not prime. Res64: 164AC2EFCFD2B0A7 Time : 0.0 sec. user=vaughan [2012-02-15 07:04:32] 567*2^1123946-1 is not prime. Res64: 9BA8BAB9965F611A Time : 0.0 sec. user=vaughan [2012-02-15 07:04:33] 561*2^1123946-1 is not prime. Res64: B00F7A8B57E34F79 Time : 0.0 sec. user=vaughan [2012-02-15 07:04:33] 581*2^1123946-1 is not prime. Res64: 501CDEAC3126AC00 Time : 0.0 sec. user=vaughan [2012-02-15 07:04:34] 571*2^1123947-1 is not prime. Res64: 289532E0680BFED2 Time : 0.0 sec. user=vaughan [2012-02-15 07:04:46] 479*2^1123948-1 is not prime. Res64: 8FED7DC72ED14E46 Time : 0.0 sec. user=vaughan [2012-02-15 07:04:48] 485*2^1123948-1 is not prime. Res64: 6DB33E314562A303 Time : 0.0 sec. user=vaughan [2012-02-15 07:04:49] 497*2^1123948-1 is not prime. Res64: AE6E0F4AA1011603 Time : 0.0 sec. user=vaughan [2012-02-15 07:07:42] 517*2^1123977-1 is not prime. Res64: 25AA341708F13601 Time : 0.0 sec. user=vaughan [2012-02-15 07:07:44] 549*2^1123977-1 is not prime. Res64: 321098B1B68C9F02 Time : 0.0 sec. user=vaughan [2012-02-15 07:12:01] 579*2^1123972-1 is not prime. Res64: 91534C21D460BB49 Time : 0.0 sec. user=vaughan [2012-02-15 07:12:02] 577*2^1123973-1 is not prime. Res64: F3ECDE18963E8B65 Time : 0.0 sec. user=vaughan [2012-02-15 07:12:52] 483*2^1123986-1 is not prime. Res64: CBDC8515E26C7F34 Time : 0.0 sec. user=vaughan [2012-02-15 07:12:56] 507*2^1123985-1 is not prime. Res64: 907ADE0FC83F71E3 Time : 0.0 sec. user=vaughan [2012-02-15 07:16:55] 483*2^1123982-1 is not prime. Res64: 41AB86DC4197ADBB Time : 0.0 sec. user=vaughan [2012-02-15 07:16:55] 495*2^1123982-1 is not prime. Res64: A3FED815FAD961FC Time : 0.0 sec. user=vaughan [2012-02-15 07:17:08] 507*2^1123982-1 is not prime. Res64: D0E2BE94005709BA Time : 0.0 sec. user=vaughan [2012-02-15 07:17:09] 441*2^1123983-1 is not prime. Res64: 4E4D54DDB405C528 Time : 0.0 sec. user=vaughan [2012-02-15 07:18:40] 453*2^1123983-1 is not prime. Res64: 1583F71744F9657C Time : 0.0 sec. user=vaughan [2012-02-15 07:18:41] 407*2^1123984-1 is not prime. Res64: AF0DF3FE13D10E98 Time : 0.0 sec. user=vaughan [2012-02-15 07:18:46] 435*2^1123984-1 is not prime. Res64: 864F48FB11F13FF1 Time : 0.0 sec. user=vaughan [2012-02-15 07:18:46] 447*2^1123985-1 is not prime. Res64: 08C086A0125CF5DE Time : 0.0 sec. user=vaughan [2012-02-15 07:19:04] 585*2^1123985-1 is not prime. Res64: D8EB18733AA9B6BF Time : 0.0 sec. user=vaughan [2012-02-15 07:19:05] 589*2^1123985-1 is not prime. Res64: 316F1BA6F90B7678 Time : 0.0 sec. user=vaughan [2012-02-15 07:20:43] 441*2^1123987-1 is not prime. Res64: 0619A09CBBCDBA83 Time : 0.0 sec. user=vaughan [2012-02-15 07:20:46] 573*2^1123986-1 is not prime. Res64: 1A7835244DEB6328 Time : 0.0 sec. user=vaughan [2012-02-15 07:20:58] 483*2^1123987-1 is not prime. Res64: 5001D3D57871AFB5 Time : 0.0 sec. user=vaughan [2012-02-15 07:23:35] 423*2^1123972-1 is not prime. Res64: 98451B30A197CE3D Time : 0.0 sec. user=vaughan [2012-02-15 07:23:36] 429*2^1123972-1 is not prime. Res64: 8A2B7BE6F1B103EC Time : 0.0 sec. user=vaughan [2012-02-15 07:23:40] 485*2^1123972-1 is not prime. Res64: 9E5DEBEC1245FF56 Time : 0.0 sec. user=vaughan [2012-02-15 07:23:40] 513*2^1123972-1 is not prime. Res64: 350F257B7F90BBD9 Time : 0.0 sec. user=vaughan [2012-02-15 07:24:41] 553*2^1123987-1 is not prime. Res64: A74E0C916685D010 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:05] 571*2^1123977-1 is not prime. Res64: C15FDA865650F244 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:06] 577*2^1123977-1 is not prime. Res64: B1FB295A28B33028 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:10] 555*2^1123978-1 is not prime. Res64: D46CF3D3ECB58E58 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:11] 451*2^1123979-1 is not prime. Res64: D33181B73584D677 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:11] 575*2^1123978-1 is not prime. Res64: 503DD3BBBAEC1524 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:11] 423*2^1123980-1 is not prime. Res64: C8DA0E8C84EBEA7D Time : 0.0 sec. user=vaughan [2012-02-15 07:25:19] 437*2^1123980-1 is not prime. Res64: DF74A62E964E778D Time : 0.0 sec. user=vaughan [2012-02-15 07:25:20] 409*2^1123981-1 is not prime. Res64: 32744A91EFA6AF33 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:23] 591*2^1123981-1 is not prime. Res64: 7120EFD46C2B8FC9 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:23] 477*2^1123982-1 is not prime. Res64: F4747350296C2CD7 Time : 0.0 sec. user=vaughan [2012-02-15 07:25:24] 511*2^1123981-1 is not prime. Res64: C40CF70A431F5E6A Time : 0.0 sec. user=vaughan [2012-02-15 07:25:25] 537*2^1123981-1 is not prime. Res64: 1CC76F34BB4057BB Time : 0.0 sec. user=vaughan [2012-02-15 07:27:10] 467*2^1123988-1 is not prime. Res64: 704105ADDC97674B Time : 0.0 sec. user=vaughan [2012-02-15 07:27:13] 585*2^1123988-1 is not prime. Res64: 78DCA69D05A95F03 Time : 0.0 sec. user=vaughan [2012-02-15 07:27:23] 465*2^1123990-1 is not prime. Res64: 67C8D25B7D25FACE Time : 0.0 sec. user=vaughan [2012-02-15 07:27:36] 581*2^1123990-1 is not prime. Res64: 08807E9AF6A07B58 Time : 0.0 sec. user=vaughan [2012-02-15 07:27:37] 403*2^1123991-1 is not prime. Res64: B83C8842621FDFCA Time : 0.0 sec. user=vaughan [2012-02-15 07:29:46] 401*2^1123974-1 is not prime. Res64: 168AEDB79883EBFD Time : 0.0 sec. user=vaughan [2012-02-15 07:29:46] 425*2^1123974-1 is not prime. Res64: D4E20978091BC0FF Time : 0.0 sec. user=vaughan [2012-02-15 07:29:49] 507*2^1123974-1 is not prime. Res64: 118233B3A0201AB9 Time : 0.0 sec. user=vaughan [2012-02-15 07:29:50] 521*2^1123974-1 is not prime. Res64: 25EE74A260855CB2 Time : 0.0 sec. user=vaughan [2012-02-15 07:29:51] 451*2^1123975-1 is not prime. Res64: 73E12DCAFDA4F4B5 Time : 0.0 sec. user=vaughan [2012-02-15 07:29:52] 427*2^1123977-1 is not prime. Res64: 084C257CFB943F22 Time : 0.0 sec. user=vaughan [2012-02-15 07:36:43] 555*2^1123992-1 is not prime. Res64: 8A85EAFE318B7192 Time : 0.0 sec. user=vaughan [2012-02-15 07:36:44] 567*2^1123992-1 is not prime. Res64: 88E4941462DF53C2 Time : 0.0 sec. user=vaughan [2012-02-15 07:36:55] 429*2^1123993-1 is not prime. Res64: A62E5024A874D2F3 Time : 0.0 sec. user=vaughan [2012-02-15 07:36:56] 589*2^1123993-1 is not prime. Res64: 1BAD4D3768D423C9 Time : 0.0 sec. user=vaughan [2012-02-15 07:39:39] 407*2^1123994-1 is not prime. Res64: 8D16BD35B30F80F7 Time : 0.0 sec. user=vaughan [2012-02-15 07:39:39] 447*2^1123994-1 is not prime. Res64: 30F19D9F5017E342 Time : 0.0 sec. user=vaughan [2012-02-15 07:39:44] 501*2^1123994-1 is not prime. Res64: 82B8A7D08822EDF3 Time : 0.0 sec. user=vaughan [2012-02-15 07:39:45] 593*2^1123994-1 is not prime. Res64: D85AE5DEC6889D81 Time : 0.0 sec. user=vaughan [2012-02-15 07:40:08] 451*2^1123995-1 is not prime. Res64: 6E706AE818A3202B Time : 0.0 sec. user=vaughan [2012-02-15 07:40:09] 481*2^1123995-1 is not prime. Res64: 5E730181C2F4BF6B Time : 0.0 sec. user=vaughan [2012-02-15 07:47:23] 537*2^1124001-1 is not prime. Res64: 64BEA68AE21B5665 Time : 0.0 sec. user=vaughan [2012-02-15 07:47:24] 549*2^1124001-1 is not prime. Res64: DA8C0A035EAD057E Time : 0.0 sec. user=vaughan [2012-02-15 07:49:42] 585*2^1124003-1 is not prime. Res64: 363BF04A3EB6D607 Time : 0.0 sec. user=vaughan [2012-02-15 07:49:43] 419*2^1124004-1 is not prime. Res64: D4EA93A1A1B1DB5F Time : 0.0 sec. user=vaughan [2012-02-15 07:50:54] 415*2^1124005-1 is not prime. Res64: 4055813039B3E74C Time : 0.0 sec. user=vaughan [2012-02-15 07:51:03] 519*2^1124005-1 is not prime. Res64: 12460B8078FD4F3D Time : 0.0 sec. user=vaughan [2012-02-15 07:51:08] 585*2^1124004-1 is not prime. Res64: 513E6E81109C2C5E Time : 0.0 sec. user=vaughan [2012-02-15 07:52:31] 591*2^1124001-1 is not prime. Res64: A64ED17CB16FCB3D Time : 0.0 sec. user=vaughan [2012-02-15 07:52:38] 467*2^1124002-1 is not prime. Res64: 842A9B179FF42534 Time : 0.0 sec. user=vaughan [2012-02-15 07:52:44] 533*2^1124002-1 is not prime. Res64: A078A81F5BD134A4 Time : 0.0 sec. user=vaughan [2012-02-15 07:59:49] 537*2^1123996-1 is not prime. Res64: 3196822E4895B400 Time : 0.0 sec. user=vaughan [2012-02-15 07:59:49] 405*2^1123997-1 is not prime. Res64: 75C23D1E5C733BF7 Time : 0.0 sec. user=vaughan [2012-02-15 07:59:54] 479*2^1124000-1 is not prime. Res64: 30201B2E9754D36F Time : 0.0 sec. user=vaughan [2012-02-15 07:59:54] 529*2^1123997-1 is not prime. Res64: A904E2B41ADBE4E5 Time : 0.0 sec. user=vaughan [2012-02-15 07:59:54] 539*2^1124000-1 is not prime. Res64: 3BD997E2D8AA441B Time : 0.0 sec. user=vaughan [2012-02-15 07:59:55] 515*2^1123998-1 is not prime. Res64: 78A0CD1821C7A611 Time : 0.0 sec. user=vaughan [2012-02-15 08:00:05] 409*2^1124001-1 is not prime. Res64: 2430F50847062DC5 Time : 0.0 sec. user=vaughan [2012-02-15 08:00:05] 543*2^1124000-1 is not prime. Res64: BDE14C2070C5AD1D Time : 0.0 sec. user=vaughan [2012-02-15 08:00:06] 429*2^1124001-1 is not prime. Res64: 42B26B2969A26F79 Time : 0.0 sec. user=vaughan [2012-02-15 08:00:07] 557*2^1124000-1 is not prime. Res64: 520024C53C8C5F90 Time : 0.0 sec. user=vaughan [2012-02-15 08:00:11] 441*2^1124001-1 is not prime. Res64: B129F0A7065CA4E9 Time : 0.0 sec. user=vaughan [2012-02-15 08:00:13] 529*2^1124001-1 is not prime. Res64: A8A9CA263855E16F Time : 0.0 sec. user=vaughan [2012-02-15 19:02:42] 587*2^1124004-1 is not prime. Res64: 145A9D7C8855F540 Time : 0.0 sec. user=vaughan [2012-02-15 19:02:48] 451*2^1124005-1 is not prime. Res64: 2F0C996240D40559 Time : 0.0 sec. user=vaughan [2012-02-15 19:02:54] 573*2^1123554-1 is not prime. Res64: 9620D34DCAB7F5E0 Time : 0.0 sec. user=vaughan [2012-02-15 19:03:07] 455*2^1124006-1 is not prime. Res64: 4CA788BBF3839817 Time : 0.0 sec. user=vaughan [2012-02-15 19:03:42] 537*2^1123985-1 is not prime. Res64: 27E84555150607D5 Time : 0.0 sec. user=vaughan [2012-02-15 19:04:22] 485*2^1123986-1 is not prime. Res64: CDE4A1000D7CCF5D Time : 0.0 sec. user=vaughan [2012-02-15 19:17:34] 585*2^1123991-1 is not prime. Res64: 81354FFDEFDDF921 Time : 0.0 sec. user=vaughan [2012-02-15 19:17:35] 405*2^1123992-1 is not prime. Res64: DCBD8344322E2562 Time : 0.0 sec. user=vaughan [2012-02-15 19:17:44] 587*2^1123546-1 is not prime. Res64: EF437EB381EE2F38 Time : 0.0 sec. user=vaughan [2012-02-15 19:17:44] 435*2^1123547-1 is not prime. Res64: 7590774572A4AB8A Time : 0.0 sec. user=vaughan [2012-02-15 19:24:15] 533*2^1123514-1 is not prime. Res64: D90202F3D697BCF3 Time : 0.0 sec. user=vaughan [2012-02-15 19:25:13] 401*2^1122970-1 is not prime. Res64: 091A111BBCD354FC Time : 0.0 sec. user=vaughan [2012-02-15 19:25:14] 447*2^1122970-1 is not prime. Res64: EA006A912A0725C3 Time : 0.0 sec. user=vaughan [2012-02-15 19:25:17] 555*2^1124011-1 is not prime. Res64: E3CBDAF99C54B2D1 Time : 0.0 sec. user=vaughan [2012-02-15 19:25:18] 507*2^1124012-1 is not prime. Res64: 45A835BAC634EB3E Time : 0.0 sec. user=vaughan [2012-02-15 19:25:29] 539*2^1124012-1 is not prime. Res64: D8287DBFB5D69919 Time : 0.0 sec. user=vaughan [2012-02-15 19:25:30] 511*2^1124013-1 is not prime. Res64: B9DE89D2F3B315A8 Time : 0.0 sec. user=vaughan [2012-02-15 19:25:36] 411*2^1124014-1 is not prime. Res64: E9A010701F07636D Time : 0.0 sec. user=vaughan [2012-02-15 19:25:37] 465*2^1124014-1 is not prime. Res64: 1BE4122CF3B412BC Time : 0.0 sec. user=vaughan [2012-02-15 19:31:07] 491*2^1124014-1 is not prime. Res64: 07AEB6E50F974C7F Time : 0.0 sec. user=vaughan [2012-02-15 19:31:08] 525*2^1124014-1 is not prime. Res64: B5059BB216463522 Time : 0.0 sec. user=vaughan [2012-02-15 19:31:46] 475*2^1123517-1 is not prime. Res64: 71CD1368BA864A7B Time : 0.0 sec. user=vaughan [2012-02-15 19:31:46] 529*2^1123517-1 is not prime. Res64: 0C25AF587DC3DF5F Time : 0.0 sec. user=vaughan [2012-02-15 19:31:48] 405*2^1123517-1 is not prime. Res64: 7174027649F46FEF Time : 0.0 sec. user=vaughan [2012-02-15 19:31:48] 435*2^1123517-1 is not prime. Res64: F43FEAD959D97263 Time : 0.0 sec. user=vaughan [2012-02-15 19:31:49] 553*2^1123515-1 is not prime. Res64: 3E0B2C476388954C Time : 0.0 sec. user=vaughan [2012-02-15 19:31:50] 579*2^1123515-1 is not prime. Res64: 9D0BF898C9C5766F Time : 0.0 sec. user=vaughan [2012-02-15 19:31:56] 451*2^1124015-1 is not prime. Res64: A46AAD4FC5456B9B Time : 0.0 sec. user=vaughan [2012-02-15 19:31:57] 429*2^1123516-1 is not prime. Res64: 64ED8AA828023BDB Time : 0.0 sec. user=vaughan [2012-02-15 19:31:57] 531*2^1124015-1 is not prime. Res64: 9A19A36ADBACA8A6 Time : 0.0 sec. user=vaughan [2012-02-15 19:31:57] 537*2^1123516-1 is not prime. Res64: EAFAF8E33F33629F Time : 0.0 sec. user=vaughan [2012-02-15 19:42:53] 401*2^1122358-1 is not prime. Res64: 9C4FF342E726E7B2 Time : 0.0 sec. user=vaughan [2012-02-15 19:42:54] 559*2^1123517-1 is not prime. Res64: B175A24C5A966E74 Time : 0.0 sec. user=vaughan [2012-02-15 19:44:49] 479*2^1124016-1 is not prime. Res64: F658E6EB61F16F0A Time : 0.0 sec. user=vaughan [2012-02-15 19:44:50] 567*2^1124016-1 is not prime. Res64: DB93036AA0C65C87 Time : 0.0 sec. user=vaughan [2012-02-15 19:44:59] 429*2^1124017-1 is not prime. Res64: 34B7E43C0EBC9778 Time : 0.0 sec. user=vaughan [2012-02-15 19:44:59] 499*2^1124017-1 is not prime. Res64: EFB15C4B289B7907 Time : 0.0 sec. user=vaughan [2012-02-15 19:47:25] 551*2^1124018-1 is not prime. Res64: 4E3DE1D0DC7652D9 Time : 0.0 sec. user=vaughan [2012-02-15 19:47:25] 543*2^1124019-1 is not prime. Res64: B5CDA56BB1C89CC4 Time : 0.0 sec. user=vaughan [2012-02-15 19:47:26] 449*2^1124020-1 is not prime. Res64: 2282B77ADD4F55DC Time : 0.0 sec. user=vaughan [2012-02-15 19:47:27] 537*2^1124020-1 is not prime. Res64: 577435D39252A96E Time : 0.0 sec. user=vaughan [2012-02-15 19:47:48] 549*2^1124020-1 is not prime. Res64: 26461B537615A219 Time : 0.0 sec. user=vaughan [2012-02-15 19:47:48] 529*2^1124021-1 is not prime. Res64: F20299890E8791C5 Time : 0.0 sec. user=vaughan [2012-02-15 19:47:49] 561*2^1124021-1 is not prime. Res64: B88807E868B4F8CF Time : 0.0 sec. user=vaughan [2012-02-15 19:47:49] 437*2^1124022-1 is not prime. Res64: B7D2577E655CCDFB Time : 0.0 sec. user=vaughan [2012-02-15 19:58:02] 447*2^1124022-1 is not prime. Res64: 800AB7C8FDE8B31D Time : 0.0 sec. user=vaughan [2012-02-15 19:58:02] 513*2^1124022-1 is not prime. Res64: 6A191343D76C5C26 Time : 0.0 sec. user=vaughan [2012-02-15 19:58:56] 481*2^1124025-1 is not prime. Res64: 8AE5D73BDB008814 Time : 0.0 sec. user=vaughan [2012-02-15 19:58:57] 511*2^1124025-1 is not prime. Res64: CB9999AC85583497 Time : 0.0 sec. user=vaughan [2012-02-15 20:01:21] 595*2^1124017-1 is not prime. Res64: 6C29101C83FC172A Time : 0.0 sec. user=vaughan [2012-02-15 20:01:22] 545*2^1124018-1 is not prime. Res64: C8DA7E33C624028F Time : 0.0 sec. user=vaughan [2012-02-15 20:08:31] 537*2^1124022-1 is not prime. Res64: 8FDA426266E1105E Time : 0.0 sec. user=vaughan [2012-02-15 20:08:32] 481*2^1124023-1 is not prime. Res64: 68D2E26EC07999FA Time : 0.0 sec. user=vaughan [2012-02-15 20:08:32] 543*2^1124022-1 is not prime. Res64: 613BCFDE31054121 Time : 0.0 sec. user=vaughan [2012-02-15 20:08:33] 563*2^1124024-1 is not prime. Res64: 91B717DE7AEF9A3F Time : 0.0 sec. user=vaughan [2012-02-15 20:08:35] 433*2^1124023-1 is not prime. Res64: A946431EE913090B Time : 0.0 sec. user=vaughan [2012-02-15 20:08:36] 441*2^1124023-1 is not prime. Res64: B71317E1825CA9FA Time : 0.0 sec. user=vaughan [2012-02-15 20:08:39] 471*2^1124026-1 is not prime. Res64: 7F2F2375FE028A4B Time : 0.0 sec. user=vaughan [2012-02-15 20:08:39] 491*2^1124026-1 is not prime. Res64: 8D998BEAB5D7FC5C Time : 0.0 sec. user=vaughan [2012-02-15 20:09:42] 429*2^1124029-1 is not prime. Res64: 95B669F832F7B292 Time : 0.0 sec. user=vaughan [2012-02-15 20:09:42] 435*2^1124029-1 is not prime. Res64: 5CF944C31A0411F1 Time : 0.0 sec. user=vaughan [2012-02-15 20:09:49] 545*2^1124028-1 is not prime. Res64: A77C680648C27237 Time : 0.0 sec. user=vaughan [2012-02-15 20:09:51] 415*2^1124029-1 is not prime. Res64: 5FC81CB9EAC9F049 Time : 0.0 sec. user=vaughan [2012-02-15 20:10:04] 451*2^1124029-1 is not prime. Res64: D442ACAC49422C2B Time : 0.0 sec. user=vaughan [2012-02-15 20:10:04] 469*2^1124029-1 is not prime. Res64: B003E9F6F95E0760 Time : 0.0 sec. user=vaughan [2012-02-15 20:10:10] 471*2^1124029-1 is not prime. Res64: 4A068E6418B379C7 Time : 0.0 sec. user=vaughan [2012-02-15 20:10:12] 511*2^1124029-1 is not prime. Res64: 9248B13AC532C88D Time : 0.0 sec. user=vaughan [2012-02-15 20:12:01] 485*2^1124028-1 is not prime. Res64: 774AEF3920B77CF7 Time : 0.0 sec. user=vaughan [2012-02-15 20:12:02] 513*2^1124028-1 is not prime. Res64: 2158B8C11C49934F Time : 0.0 sec. user=vaughan [2012-02-15 20:12:06] 475*2^1124027-1 is not prime. Res64: E3F1D0B10A838E96 Time : 0.0 sec. user=vaughan [2012-02-15 20:12:09] 565*2^1124027-1 is not prime. Res64: 9C309A2A5B92C0D5 Time : 0.0 sec. user=vaughan [2012-02-15 20:19:38] 521*2^1124026-1 is not prime. Res64: E58B6764256F2E7B Time : 0.0 sec. user=vaughan [2012-02-15 20:19:39] 453*2^1124027-1 is not prime. Res64: A85442ED31352CC5 Time : 0.0 sec. user=vaughan [2012-02-15 20:25:27] 597*2^1124029-1 is not prime. Res64: D3AEB7EACADAA6C1 Time : 0.0 sec. user=vaughan [2012-02-15 20:25:28] 411*2^1124030-1 is not prime. Res64: 86F7FDEF4C380590 Time : 0.0 sec. user=vaughan [2012-02-15 20:26:16] 417*2^1124030-1 is not prime. Res64: 3D43C17651F60090 Time : 0.0 sec. user=vaughan [2012-02-15 20:26:17] 455*2^1124030-1 is not prime. Res64: 936B269BCDDFDD82 Time : 0.0 sec. user=vaughan [2012-02-15 20:32:20] 529*2^1124033-1 is not prime. Res64: F1CC83FAF77DBECC Time : 0.0 sec. user=vaughan [2012-02-15 20:32:21] 495*2^1124032-1 is not prime. Res64: FB3E2C75A78819AC Time : 0.0 sec. user=vaughan [2012-02-15 20:32:21] 549*2^1124033-1 is not prime. Res64: 1840F4DD1A9B0FD3 Time : 0.0 sec. user=vaughan [2012-02-15 20:32:21] 501*2^1124033-1 is not prime. Res64: 3DC0D50C4A6650EA Time : 0.0 sec. user=vaughan [2012-02-15 20:32:36] 453*2^1124034-1 is not prime. Res64: 7A9EE6A7EA1D64B6 Time : 0.0 sec. user=vaughan [2012-02-15 20:32:36] 497*2^1124034-1 is not prime. Res64: 33E867C5F412755A Time : 0.0 sec. user=vaughan [2012-02-15 20:32:54] 463*2^1124035-1 is not prime. Res64: 5C7C33A7C308DC14 Time : 0.0 sec. user=vaughan [2012-02-15 20:32:54] 495*2^1124035-1 is not prime. Res64: B499541D6CC8EAF2 Time : 0.0 sec. user=vaughan [2012-02-15 20:38:03] 503*2^1124030-1 is not prime. Res64: E4154F0FB105316B Time : 0.0 sec. user=vaughan [2012-02-15 20:38:03] 521*2^1124030-1 is not prime. Res64: 25CC61A4BC4A2C68 Time : 0.0 sec. user=vaughan [2012-02-15 20:39:22] 519*2^1124036-1 is not prime. Res64: 5A8C7E2035C5E72D Time : 0.0 sec. user=vaughan [2012-02-15 20:39:23] 519*2^1124035-1 is not prime. Res64: 1CEFF8F74E614F02 Time : 0.0 sec. user=vaughan [2012-02-15 20:39:24] 573*2^1124036-1 is not prime. Res64: 8E7B6B33769F72E4 Time : 0.0 sec. user=vaughan [2012-02-15 20:39:24] 531*2^1124035-1 is not prime. Res64: 47B7A83ED2E6158C Time : 0.0 sec. user=vaughan [2012-02-15 20:45:19] 565*2^1124031-1 is not prime. Res64: 090496B997881861 Time : 0.0 sec. user=vaughan [2012-02-15 20:45:19] 429*2^1124032-1 is not prime. Res64: 3EBA56D178404AA6 Time : 0.0 sec. user=vaughan [2012-02-15 20:45:19] 579*2^1124031-1 is not prime. Res64: A2A8CCCCB15CDE39 Time : 0.0 sec. user=vaughan [2012-02-15 20:45:19] 435*2^1124032-1 is not prime. Res64: 40982AF800274498 Time : 0.0 sec. user=vaughan [2012-02-15 20:45:22] 433*2^1124031-1 is not prime. Res64: 553749106CCF520B Time : 0.0 sec. user=vaughan [2012-02-15 20:45:23] 459*2^1124031-1 is not prime. Res64: C40E47E291514936 Time : 0.0 sec. user=vaughan [2012-02-15 20:45:25] 437*2^1124032-1 is not prime. Res64: FD6DF43CD1EF05B8 Time : 0.0 sec. user=vaughan [2012-02-15 20:45:26] 479*2^1124032-1 is not prime. Res64: FDBC77B34EEC71AD Time : 0.0 sec. user=vaughan [2012-02-15 20:52:20] 573*2^1124038-1 is not prime. Res64: 3B05803B50E0CDDC Time : 0.0 sec. user=vaughan [2012-02-15 20:52:20] 523*2^1124039-1 is not prime. Res64: 55B1C51833129AA0 Time : 0.0 sec. user=vaughan [2012-02-15 20:53:12] 525*2^1124039-1 is not prime. Res64: 26624725E45AEFAC Time : 0.0 sec. user=vaughan [2012-02-15 20:53:12] 559*2^1124039-1 is not prime. Res64: 6DEC5A38F6853F29 Time : 0.0 sec. user=vaughan [2012-02-15 20:54:39] 447*2^1124040-1 is not prime. Res64: 60E358CCB4EB259D Time : 0.0 sec. user=vaughan [2012-02-15 20:54:39] 515*2^1124040-1 is not prime. Res64: 98DDF1978D4A0F79 Time : 0.0 sec. user=vaughan [2012-02-15 20:54:43] 405*2^1124040-1 is not prime. Res64: EC299D82E5F8E23B Time : 0.0 sec. user=vaughan [2012-02-15 20:54:43] 437*2^1124040-1 is not prime. Res64: 83C39886BD26CCB1 Time : 0.0 sec. user=vaughan [2012-02-15 20:54:59] 563*2^1124040-1 is not prime. Res64: A272DBF7F9E6A9E9 Time : 0.0 sec. user=vaughan [2012-02-15 20:55:00] 585*2^1124040-1 is not prime. Res64: 01BFD8606B6CF387 Time : 0.0 sec. user=vaughan [2012-02-15 20:55:19] 405*2^1124041-1 is not prime. Res64: 794DA4674744C98B Time : 0.0 sec. user=vaughan [2012-02-15 20:55:19] 411*2^1124041-1 is not prime. Res64: 56A19398AA6AD3AB Time : 0.0 sec. user=vaughan [2012-02-15 20:56:20] 559*2^1124037-1 is not prime. Res64: 84FBBE04728881D7 Time : 0.0 sec. user=vaughan [2012-02-15 20:56:20] 577*2^1124037-1 is not prime. Res64: A6D4F8E9691A39F8 Time : 0.0 sec. user=vaughan [2012-02-15 21:06:38] 585*2^1124042-1 is not prime. Res64: 69F223CE290FAA2E Time : 0.0 sec. user=vaughan [2012-02-15 21:06:39] 441*2^1124043-1 is not prime. Res64: 0672AEFFFD78CB73 Time : 0.0 sec. user=vaughan [2012-02-15 21:06:44] 437*2^1124042-1 is not prime. Res64: E48F050173DE3E68 Time : 0.0 sec. user=vaughan [2012-02-15 21:06:45] 515*2^1124042-1 is not prime. Res64: F028388ABA2FDD49 Time : 0.0 sec. user=vaughan [2012-02-15 21:14:42] 537*2^1124041-1 is not prime. Res64: 4CF20E1E850D0900 Time : 0.0 sec. user=vaughan [2012-02-15 21:14:43] 547*2^1124041-1 is not prime. Res64: A76D7E10220C9BB3 Time : 0.0 sec. user=vaughan [2012-02-15 21:16:47] 557*2^1124046-1 is not prime. Res64: 3AB79F3B055DD849 Time : 0.0 sec. user=vaughan [2012-02-15 21:16:48] 405*2^1124047-1 is not prime. Res64: 45064BA527770E16 Time : 0.0 sec. user=vaughan [2012-02-15 21:17:04] 421*2^1124047-1 is not prime. Res64: 5A5CDDA894C1D5A6 Time : 0.0 sec. user=vaughan [2012-02-15 21:17:05] 505*2^1124047-1 is not prime. Res64: 97A3EA5C9289BAE7 Time : 0.0 sec. user=vaughan [2012-02-15 21:17:08] 435*2^1124048-1 is not prime. Res64: F3067AC27233AF3D Time : 0.0 sec. user=vaughan [2012-02-15 21:17:09] 473*2^1124048-1 is not prime. Res64: C27839F610EFB51E Time : 0.0 sec. user=vaughan [2012-02-15 21:17:27] 507*2^1124048-1 is not prime. Res64: 13C4CE5211A09F39 Time : 0.0 sec. user=vaughan [2012-02-15 21:17:28] 599*2^1124048-1 is not prime. Res64: 66CCDF7EB487CAF5 Time : 0.0 sec. user=vaughan [2012-02-15 21:19:53] 545*2^1124044-1 is not prime. Res64: 2EA7BE5421A2B3EC Time : 0.0 sec. user=vaughan [2012-02-15 21:19:53] 459*2^1124045-1 is not prime. Res64: 78CB2DEEA4F2CB4D Time : 0.0 sec. user=vaughan [2012-02-15 21:20:57] 453*2^1124046-1 is not prime. Res64: 288D9CFE6F0147D9 Time : 0.0 sec. user=vaughan [2012-02-15 21:20:58] 527*2^1124046-1 is not prime. Res64: 7B680B6EFA8895C8 Time : 0.0 sec. user=vaughan [2012-02-15 21:22:04] 475*2^1124043-1 is not prime. Res64: 33EB0DD6D469FA4C Time : 0.0 sec. user=vaughan [2012-02-15 21:22:04] 489*2^1124043-1 is not prime. Res64: 4299159537FD0A46 Time : 0.0 sec. user=vaughan [2012-02-15 21:22:08] 573*2^1124043-1 is not prime. Res64: 581BC0478E757E05 Time : 0.0 sec. user=vaughan [2012-02-15 21:22:08] 585*2^1124043-1 is not prime. Res64: 98D2B034B169CDD7 Time : 0.0 sec. user=vaughan [2012-02-15 21:22:09] 523*2^1124043-1 is not prime. Res64: DC16073F701AEAC0 Time : 0.0 sec. user=vaughan [2012-02-15 21:22:09] 553*2^1124043-1 is not prime. Res64: A3C373201E5495AC Time : 0.0 sec. user=vaughan [2012-02-15 21:22:13] 591*2^1124043-1 is not prime. Res64: 10ADC0FA4272A6AB Time : 0.0 sec. user=vaughan [2012-02-15 21:22:14] 483*2^1124044-1 is not prime. Res64: 44D57D92262D3CB6 Time : 0.0 sec. user=vaughan [2012-02-15 21:33:04] 459*2^1124049-1 is not prime. Res64: 580A1945EB45884A Time : 0.0 sec. user=vaughan [2012-02-15 21:33:05] 481*2^1124049-1 is not prime. Res64: FB5A845B02778196 Time : 0.0 sec. user=vaughan [2012-02-15 21:33:54] 559*2^1124049-1 is not prime. Res64: 5D675D5691AFF5EB Time : 0.0 sec. user=vaughan [2012-02-15 21:33:55] 565*2^1124049-1 is not prime. Res64: 9BE488211CEC6A15 Time : 0.0 sec. user=vaughan [2012-02-15 21:33:56] 447*2^1124050-1 is not prime. Res64: 1AF5B59D54C90507 Time : 0.0 sec. user=vaughan [2012-02-15 21:33:56] 525*2^1124050-1 is not prime. Res64: E8AC72642631DB75 Time : 0.0 sec. user=vaughan [2012-02-15 21:39:10] 571*2^1124051-1 is not prime. Res64: DE589C52B4812521 Time : 0.0 sec. user=vaughan [2012-02-15 21:39:10] 579*2^1124051-1 is not prime. Res64: 7301908B049172FB Time : 0.0 sec. user=vaughan [2012-02-15 21:39:26] 585*2^1124052-1 is not prime. Res64: A7C25E9567168201 Time : 0.0 sec. user=vaughan [2012-02-15 21:39:27] 593*2^1124052-1 is not prime. Res64: 47BCC26D1A762817 Time : 0.0 sec. user=vaughan [2012-02-15 21:39:33] 513*2^1124052-1 is not prime. Res64: CC2B3FE74F6E21A8 Time : 0.0 sec. user=vaughan [2012-02-15 21:39:34] 569*2^1124052-1 is not prime. Res64: B6D10BC8CCB722AE Time : 0.0 sec. user=vaughan [2012-02-15 21:39:53] 507*2^1124053-1 is not prime. Res64: DC7C73B0BBB53A06 Time : 0.0 sec. user=vaughan [2012-02-15 21:39:53] 541*2^1124053-1 is not prime. Res64: FAC9F78B0B54FB31 Time : 0.0 sec. user=vaughan [2012-02-15 21:47:42] 555*2^1124053-1 is not prime. Res64: 48958C7A97BA5103 Time : 0.0 sec. user=vaughan [2012-02-15 21:47:43] 567*2^1124053-1 is not prime. Res64: 8DB93FD3DC086045 Time : 0.0 sec. user=vaughan [2012-02-15 21:48:54] 483*2^1124054-1 is not prime. Res64: 62036C65A5756C34 Time : 0.0 sec. user=vaughan [2012-02-15 21:48:55] 495*2^1124054-1 is not prime. Res64: 5E240096D0089868 Time : 0.0 sec. user=vaughan [2012-02-15 21:51:31] 445*2^1124051-1 is not prime. Res64: 8ED198943B1AD053 Time : 0.0 sec. user=vaughan [2012-02-15 21:51:32] 493*2^1124051-1 is not prime. Res64: F510063FADC447FC Time : 0.0 sec. user=vaughan [2012-02-15 21:58:49] 533*2^1124054-1 is not prime. Res64: BAF332BB386397C4 Time : 0.0 sec. user=vaughan [2012-02-15 21:58:50] 563*2^1124054-1 is not prime. Res64: E8AE94FB72540C66 Time : 0.0 sec. user=vaughan [2012-02-15 21:58:56] 573*2^1124054-1 is not prime. Res64: A91F1B8697D9E07F Time : 0.0 sec. user=vaughan [2012-02-15 21:58:57] 433*2^1124055-1 is not prime. Res64: CCB41BC3169D40A6 Time : 0.0 sec. user=vaughan [2012-02-15 21:58:58] 465*2^1124055-1 is not prime. Res64: D96ADB62EB18E9EE Time : 0.0 sec. user=vaughan [2012-02-15 21:58:59] 471*2^1124055-1 is not prime. Res64: 460C1306B6E7E762 Time : 0.0 sec. user=vaughan [2012-02-15 21:59:00] 481*2^1124055-1 is not prime. Res64: E56C8AF1414CE823 Time : 0.0 sec. user=vaughan [2012-02-15 21:59:01] 489*2^1124055-1 is not prime. Res64: 545B37B1A78E9BDA Time : 0.0 sec. user=vaughan [2012-02-15 22:01:06] 593*2^1124056-1 is not prime. Res64: 81F3F95B96F1C85C Time : 0.0 sec. user=vaughan [2012-02-15 22:01:07] 445*2^1124057-1 is not prime. Res64: C40851CF2B38779B Time : 0.0 sec. user=vaughan [2012-02-15 22:01:22] 487*2^1124057-1 is not prime. Res64: CEA1EE5FE17D5F26 Time : 0.0 sec. user=vaughan [2012-02-15 22:01:24] 511*2^1124057-1 is not prime. Res64: 1E50DF628BDB002B Time : 0.0 sec. user=vaughan [2012-02-15 22:01:34] 453*2^1124058-1 is not prime. Res64: B0FA6321F0AB5CFD Time : 0.0 sec. user=vaughan [2012-02-15 22:01:35] 513*2^1124058-1 is not prime. Res64: 39EB10C9AE0A1E27 Time : 0.0 sec. user=vaughan [2012-02-15 22:01:55] 537*2^1124056-1 is not prime. Res64: FA3EBD7E5EEA9CD0 Time : 0.0 sec. user=vaughan [2012-02-15 22:01:56] 581*2^1124058-1 is not prime. Res64: FAE1388B547056BF Time : 0.0 sec. user=vaughan [2012-02-15 22:01:57] 539*2^1124056-1 is not prime. Res64: D6385F9EE4F2C755 Time : 0.0 sec. user=vaughan [2012-02-15 22:01:57] 411*2^1124059-1 is not prime. Res64: 67188AB1769D77FC Time : 0.0 sec. user=vaughan [2012-02-15 22:02:12] 563*2^1124056-1 is not prime. Res64: BE1AFA2131B9139B Time : 0.0 sec. user=vaughan [2012-02-15 22:02:13] 587*2^1124056-1 is not prime. Res64: 8234325F0D112FB5 Time : 0.0 sec. user=vaughan [2012-02-15 22:09:52] 573*2^1124055-1 is not prime. Res64: 2ECDB9E4479A8C52 Time : 0.0 sec. user=vaughan [2012-02-15 22:09:53] 525*2^1124056-1 is not prime. Res64: 906E8CC2E820274A Time : 0.0 sec. user=vaughan [2012-02-15 22:14:44] 441*2^1124059-1 is not prime. Res64: 07827090440A6AC8 Time : 0.0 sec. user=vaughan [2012-02-15 22:14:45] 539*2^1124060-1 is not prime. Res64: 5F3B115C6FBFE9B8 Time : 0.0 sec. user=vaughan [2012-02-15 22:15:28] 417*2^1124061-1 is not prime. Res64: 3B5DCE2CA40A0B83 Time : 0.0 sec. user=vaughan [2012-02-15 22:15:28] 469*2^1124061-1 is not prime. Res64: 4399B6A6CC8F02C1 Time : 0.0 sec. user=vaughan [2012-02-15 22:23:24] 427*2^1124065-1 is not prime. Res64: 0972DDE862FB4DCF Time : 0.0 sec. user=vaughan [2012-02-15 22:23:25] 471*2^1124065-1 is not prime. Res64: 3CB9C692549AE540 Time : 0.0 sec. user=vaughan [2012-02-15 22:23:38] 407*2^1124066-1 is not prime. Res64: B0A8844CD42B5ECD Time : 0.0 sec. user=vaughan [2012-02-15 22:23:38] 417*2^1124066-1 is not prime. Res64: 31FF035D18DA4565 Time : 0.0 sec. user=vaughan [2012-02-15 22:23:51] 545*2^1124066-1 is not prime. Res64: 8981F29200582245 Time : 0.0 sec. user=vaughan [2012-02-15 22:23:52] 465*2^1124067-1 is not prime. Res64: A9776C6A37F5B58E Time : 0.0 sec. user=vaughan [2012-02-15 22:24:10] 585*2^1124067-1 is not prime. Res64: A98AF87D41494DEC Time : 0.0 sec. user=vaughan [2012-02-15 22:24:11] 435*2^1124068-1 is not prime. Res64: 459B5BAF84B7811F Time : 0.0 sec. user=vaughan [2012-02-15 22:28:17] 471*2^1124061-1 is not prime. Res64: 9565C5A5D240420C Time : 0.0 sec. user=vaughan [2012-02-15 22:28:18] 475*2^1124061-1 is not prime. Res64: F7D17B39499DE7D1 Time : 0.0 sec. user=vaughan [2012-02-15 22:28:40] 489*2^1124067-1 is not prime. Res64: DC1DF1C22BD3B880 Time : 0.0 sec. user=vaughan [2012-02-15 22:28:41] 501*2^1124067-1 is not prime. Res64: 440A8B1391171272 Time : 0.0 sec. user=vaughan [2012-02-15 22:28:54] 437*2^1124068-1 is not prime. Res64: 0A12EFC5DE0888D6 Time : 0.0 sec. user=vaughan [2012-02-15 22:28:54] 465*2^1124068-1 is not prime. Res64: E9FFCC5E1DC58FA9 Time : 0.0 sec. user=vaughan [2012-02-15 22:35:32] 499*2^1124061-1 is not prime. Res64: 0ECF70B05C8EC61D Time : 0.0 sec. user=vaughan [2012-02-15 22:35:33] 549*2^1124061-1 is not prime. Res64: 1E7267EFC2A78BFD Time : 0.0 sec. user=vaughan [2012-02-15 22:35:39] 503*2^1124062-1 is not prime. Res64: 213295A0280E61E2 Time : 0.0 sec. user=vaughan [2012-02-15 22:35:40] 551*2^1124062-1 is not prime. Res64: EB73884959219A1B Time : 0.0 sec. user=vaughan [2012-02-15 22:35:46] 451*2^1124063-1 is not prime. Res64: 845B10AC8E356470 Time : 0.0 sec. user=vaughan [2012-02-15 22:35:46] 453*2^1124063-1 is not prime. Res64: 69A967CF7D5D5400 Time : 0.0 sec. user=vaughan [2012-02-15 22:35:46] 559*2^1124063-1 is not prime. Res64: 0E89E5891C53AB60 Time : 0.0 sec. user=vaughan [2012-02-15 22:35:47] 509*2^1124064-1 is not prime. Res64: 4BFCED1BAE14FA74 Time : 0.0 sec. user=vaughan [2012-02-15 22:41:17] 435*2^1124069-1 is not prime. Res64: CFB0305B85D5668A Time : 0.0 sec. user=vaughan [2012-02-15 22:41:18] 481*2^1124069-1 is not prime. Res64: C3313A3E4604E7E6 Time : 0.0 sec. user=vaughan [2012-02-15 22:41:58] 537*2^1124069-1 is not prime. Res64: BEC38B31F09CF6E8 Time : 0.0 sec. user=vaughan [2012-02-15 22:41:58] 549*2^1124069-1 is not prime. Res64: 1ADAD2320A7F968C Time : 0.0 sec. user=vaughan [2012-02-15 22:46:01] 567*2^1124069-1 is not prime. Res64: E04C0827EBD2CF2C Time : 0.0 sec. user=vaughan [2012-02-15 22:46:02] 453*2^1124070-1 is not prime. Res64: 654FE21E896549C5 Time : 0.0 sec. user=vaughan [2012-02-15 22:46:08] 473*2^1124070-1 is not prime. Res64: E71FD566378390AE Time : 0.0 sec. user=vaughan [2012-02-15 22:46:09] 555*2^1124070-1 is not prime. Res64: 5D4DD713EE76BC70 Time : 0.0 sec. user=vaughan [2012-02-15 22:46:21] 423*2^1124071-1 is not prime. Res64: EF922DEDFE34A4EB Time : 0.0 sec. user=vaughan [2012-02-15 22:46:22] 441*2^1124071-1 is not prime. Res64: 5017CB7250B8096B Time : 0.0 sec. user=vaughan [2012-02-15 22:46:29] 405*2^1124072-1 is not prime. Res64: 0481279BA5D8F5A8 Time : 0.0 sec. user=vaughan [2012-02-15 22:46:30] 515*2^1124072-1 is not prime. Res64: A81EC5B23CB037E0 Time : 0.0 sec. user=vaughan [2012-02-15 22:46:39] 527*2^1124068-1 is not prime. Res64: 2B109AFA7171F301 Time : 0.0 sec. user=vaughan [2012-02-15 22:46:40] 569*2^1124068-1 is not prime. Res64: 389C02A10C29CF2C Time : 0.0 sec. user=vaughan [2012-02-15 22:56:11] 435*2^1124074-1 is not prime. Res64: E621E44FF025AA4C Time : 0.0 sec. user=vaughan [2012-02-15 22:56:12] 411*2^1124075-1 is not prime. Res64: 3CC0BC97FB3341BD Time : 0.0 sec. user=vaughan [2012-02-15 22:56:24] 463*2^1124075-1 is not prime. Res64: 148F30811CED3DF6 Time : 0.0 sec. user=vaughan [2012-02-15 22:56:24] 523*2^1124075-1 is not prime. Res64: 45EC054AE919E3C4 Time : 0.0 sec. user=vaughan [2012-02-15 23:05:04] 537*2^1124072-1 is not prime. Res64: 9FBCD329E07EF143 Time : 0.0 sec. user=vaughan [2012-02-15 23:05:05] 427*2^1124073-1 is not prime. Res64: 60246B05351C07F7 Time : 0.0 sec. user=vaughan [2012-02-15 23:08:24] 421*2^1124081-1 is not prime. Res64: AC3749DC798FCFB7 Time : 0.0 sec. user=vaughan [2012-02-15 23:08:25] 547*2^1124081-1 is not prime. Res64: FD630221DE8A7912 Time : 0.0 sec. user=vaughan [2012-02-15 23:08:48] 585*2^1124081-1 is not prime. Res64: 73DC541A1EA00126 Time : 0.0 sec. user=vaughan [2012-02-15 23:08:49] 501*2^1124082-1 is not prime. Res64: A9B69F114359BDDF Time : 0.0 sec. user=vaughan [2012-02-15 23:08:52] 513*2^1124082-1 is not prime. Res64: D223262D2F38C43C Time : 0.0 sec. user=vaughan [2012-02-15 23:08:54] 543*2^1124082-1 is not prime. Res64: 338C5D40513E3A30 Time : 0.0 sec. user=vaughan [2012-02-15 23:08:56] 411*2^1124083-1 is not prime. Res64: 345F4BB713A2C2E6 Time : 0.0 sec. user=vaughan [2012-02-15 23:08:59] 421*2^1124083-1 is not prime. Res64: 1EE6CE0C549465BE Time : 0.0 sec. user=vaughan [2012-02-15 23:10:17] 465*2^1124079-1 is not prime. Res64: B2C30C757B5B9499 Time : 0.0 sec. user=vaughan [2012-02-15 23:10:18] 525*2^1124080-1 is not prime. Res64: EE23980E6951D2B9 Time : 0.0 sec. user=vaughan [2012-02-15 23:10:41] 527*2^1124080-1 is not prime. Res64: 3FA37B57B9FC70A5 Time : 0.0 sec. user=vaughan [2012-02-15 23:10:42] 563*2^1124080-1 is not prime. Res64: 2B45BF4EE7DB2927 Time : 0.0 sec. user=vaughan [2012-02-15 23:12:15] 405*2^1124076-1 is not prime. Res64: 5491250F20364477 Time : 0.0 sec. user=vaughan [2012-02-15 23:12:18] 455*2^1124076-1 is not prime. Res64: 94F7ECD828C75C3E Time : 0.0 sec. user=vaughan [2012-02-15 23:12:23] 473*2^1124076-1 is not prime. Res64: 37CB29D6E675375E Time : 0.0 sec. user=vaughan [2012-02-15 23:12:29] 435*2^1124077-1 is not prime. Res64: B94EE8CAE42FB205 Time : 0.0 sec. user=vaughan [2012-02-15 23:12:33] 437*2^1124078-1 is not prime. Res64: 15B69A540C55C976 Time : 0.0 sec. user=vaughan [2012-02-15 23:12:33] 489*2^1124077-1 is not prime. Res64: A8ACAFDB16222FB0 Time : 0.0 sec. user=vaughan [2012-02-15 23:12:34] 507*2^1124078-1 is not prime. Res64: 1E731BE0D5950A6C Time : 0.0 sec. user=vaughan [2012-02-15 23:12:34] 505*2^1124077-1 is not prime. Res64: 65246B6F7E8539CF Time : 0.0 sec. user=vaughan [2012-02-15 23:23:24] 441*2^1124083-1 is not prime. Res64: 3D813871040203C9 Time : 0.0 sec. user=vaughan [2012-02-15 23:23:25] 463*2^1124083-1 is not prime. Res64: 7717F648A3FAE8AC Time : 0.0 sec. user=vaughan [2012-02-15 23:24:16] 507*2^1124084-1 is not prime. Res64: 5AA0E6F5812FE3F4 Time : 0.0 sec. user=vaughan [2012-02-15 23:24:17] 525*2^1124084-1 is not prime. Res64: A4D0E68043704976 Time : 0.0 sec. user=vaughan [2012-02-15 23:24:37] 585*2^1124084-1 is not prime. Res64: 52D3E97312E473E7 Time : 0.0 sec. user=vaughan [2012-02-15 23:24:38] 405*2^1124085-1 is not prime. Res64: 4A114C33965A954B Time : 0.0 sec. user=vaughan [2012-02-15 23:30:56] 495*2^1124085-1 is not prime. Res64: 556978C62677995C Time : 0.0 sec. user=vaughan [2012-02-15 23:30:57] 517*2^1124085-1 is not prime. Res64: 073E681E8B7A6D97 Time : 0.0 sec. user=vaughan [2012-02-15 23:31:17] 513*2^1124086-1 is not prime. Res64: 9630A9D603D52812 Time : 0.0 sec. user=vaughan [2012-02-15 23:31:17] 441*2^1124087-1 is not prime. Res64: 739E101787CBE713 Time : 0.0 sec. user=vaughan [2012-02-15 23:31:19] 555*2^1124085-1 is not prime. Res64: BFB47EAFFE5BABAE Time : 0.0 sec. user=vaughan [2012-02-15 23:31:19] 577*2^1124085-1 is not prime. Res64: 7F5087B1BBFCA2F6 Time : 0.0 sec. user=vaughan [2012-02-15 23:31:27] 493*2^1124087-1 is not prime. Res64: 74491FE02D860CE1 Time : 0.0 sec. user=vaughan [2012-02-15 23:31:27] 519*2^1124087-1 is not prime. Res64: 18FD0DA6501B2A60 Time : 0.0 sec. user=vaughan [2012-02-15 23:36:58] 549*2^1124087-1 is not prime. Res64: 9FCC3B4817310B83 Time : 0.0 sec. user=vaughan [2012-02-15 23:36:59] 585*2^1124087-1 is not prime. Res64: A12D835BBEA4A780 Time : 0.0 sec. user=vaughan [2012-02-15 23:37:27] 589*2^1124087-1 is not prime. Res64: 79F4C795942410CD Time : 0.0 sec. user=vaughan [2012-02-15 23:37:28] 419*2^1124088-1 is not prime. Res64: F61ACC4D342270A7 Time : 0.0 sec. user=vaughan [2012-02-15 23:41:50] 465*2^1124085-1 is not prime. Res64: 3C2F4D939830AF03 Time : 0.0 sec. user=vaughan [2012-02-15 23:41:50] 475*2^1124085-1 is not prime. Res64: CE4B707590DFB46E Time : 0.0 sec. user=vaughan [2012-02-15 23:49:01] 425*2^1124088-1 is not prime. Res64: A4ACAD1E254B6139 Time : 0.0 sec. user=vaughan [2012-02-15 23:49:02] 515*2^1124088-1 is not prime. Res64: E1C5526E60B8D91C Time : 0.0 sec. user=vaughan [2012-02-15 23:49:15] 555*2^1124088-1 is not prime. Res64: 566A3E7D992ECE40 Time : 0.0 sec. user=vaughan [2012-02-15 23:49:15] 481*2^1124089-1 is not prime. Res64: 98847BEAB97C808B Time : 0.0 sec. user=vaughan [2012-02-15 23:49:17] 555*2^1124089-1 is not prime. Res64: 6C59AE72CCF5EC2D Time : 0.0 sec. user=vaughan [2012-02-15 23:49:17] 429*2^1124091-1 is not prime. Res64: BF6447D6D6FCA520 Time : 0.0 sec. user=vaughan [2012-02-15 23:49:20] 435*2^1124092-1 is not prime. Res64: 206E8C8491D4462D Time : 0.0 sec. user=vaughan [2012-02-15 23:49:20] 479*2^1124092-1 is not prime. Res64: 496F111A8CC2025B Time : 0.0 sec. user=vaughan [2012-02-15 23:50:34] 405*2^1124093-1 is not prime. Res64: EF2E8DF85091DBDE Time : 0.0 sec. user=vaughan [2012-02-15 23:50:34] 441*2^1124093-1 is not prime. Res64: BFAB6E98277DD2E0 Time : 0.0 sec. user=vaughan [2012-02-15 23:50:54] 571*2^1124093-1 is not prime. Res64: 292CB17BF94B8A6B Time : 0.0 sec. user=vaughan [2012-02-15 23:50:55] 401*2^1124094-1 is not prime. Res64: D842E87E924A1197 Time : 0.0 sec. user=vaughan [2012-02-15 23:53:10] 443*2^1124094-1 is not prime. Res64: 78319DCA39B9259B Time : 0.0 sec. user=vaughan [2012-02-15 23:53:11] 483*2^1124094-1 is not prime. Res64: 28022CFB65E66387 Time : 0.0 sec. user=vaughan [2012-02-15 23:53:26] 587*2^1124094-1 is not prime. Res64: D72EF13E98D33FBF Time : 0.0 sec. user=vaughan [2012-02-15 23:53:26] 405*2^1124095-1 is not prime. Res64: 24448A31C3CA4225 Time : 0.0 sec. user=vaughan [2012-02-15 23:53:36] 451*2^1124095-1 is not prime. Res64: 88CFC93F586A61CB Time : 0.0 sec. user=vaughan [2012-02-15 23:53:36] 511*2^1124095-1 is not prime. Res64: 60483CAEDDA6DA79 Time : 0.0 sec. user=vaughan [2012-02-15 23:53:42] 535*2^1124095-1 is not prime. Res64: 4D4D861FC27BA08D Time : 0.0 sec. user=vaughan [2012-02-15 23:53:42] 495*2^1124096-1 is not prime. Res64: CF9974515E5315E0 Time : 0.0 sec. user=vaughan [2012-02-16 00:00:09] 497*2^1124092-1 is not prime. Res64: 1405F0324A03DA2C Time : 0.0 sec. user=vaughan [2012-02-16 00:00:10] 533*2^1124092-1 is not prime. Res64: 3C965AA11EFA42AD Time : 0.0 sec.