user=vaughan [2009-08-02 00:00:47] 567*2^705476-1 is not prime. Res64: B563E79C4104AAD6 Time : 614.0 sec. user=vaughan [2009-08-02 00:00:54] 465*2^705477-1 is not prime. Res64: 96CB4324AE29E055 Time : 614.0 sec. user=vaughan [2009-08-02 00:03:14] 475*2^705477-1 is not prime. Res64: 09D4E26F065DC63A Time : 614.0 sec. user=vaughan [2009-08-02 00:03:20] 529*2^705477-1 is not prime. Res64: F24726C34857E265 Time : 456.0 sec. user=vaughan [2009-08-02 00:06:36] 453*2^705478-1 is not prime. Res64: FD21D978E0130F82 Time : 462.0 sec. user=vaughan [2009-08-02 00:10:05] 461*2^705478-1 is not prime. Res64: F33F96B4D371E31B Time : 613.0 sec. user=vaughan [2009-08-02 00:10:56] 553*2^705479-1 is not prime. Res64: E1E399F1C38BEA06 Time : 456.0 sec. user=vaughan [2009-08-02 00:11:01] 423*2^705479-1 is not prime. Res64: A737BC8D92053AEC Time : 614.0 sec. user=vaughan [2009-08-02 00:11:07] 451*2^705479-1 is not prime. Res64: 0AB41E41E7E3D573 Time : 613.0 sec. user=vaughan [2009-08-02 00:13:28] 481*2^705479-1 is not prime. Res64: 548E066D5F6315A7 Time : 614.0 sec. user=vaughan [2009-08-02 00:14:17] 589*2^705479-1 is not prime. Res64: A7BC706BBA68E62F Time : 462.0 sec. user=vaughan [2009-08-02 00:18:32] 555*2^705480-1 is not prime. Res64: FC416B87D2DB1959 Time : 456.0 sec. user=vaughan [2009-08-02 00:20:19] 465*2^705480-1 is not prime. Res64: 0F80282264DA670B Time : 614.0 sec. user=vaughan [2009-08-02 00:21:15] 567*2^705480-1 is not prime. Res64: 8BEC8E01BD17DAB1 Time : 614.0 sec. user=vaughan [2009-08-02 00:21:21] 569*2^705480-1 is not prime. Res64: 87B5F3635579D3BD Time : 614.0 sec. user=vaughan [2009-08-02 00:21:57] 525*2^705481-1 is not prime. Res64: 77B0D0BF60488505 Time : 461.0 sec. user=vaughan [2009-08-02 00:23:42] 511*2^705481-1 is not prime. Res64: AC66E3B2B7DB25BE Time : 614.0 sec. user=vaughan [2009-08-02 00:26:08] 559*2^705481-1 is not prime. Res64: 9CB944E9E8B8B04B Time : 456.0 sec. user=vaughan [2009-08-02 00:29:37] 495*2^705482-1 is not prime. Res64: 72A84B9833167C59 Time : 461.0 sec. user=vaughan [2009-08-02 00:30:33] 577*2^705481-1 is not prime. Res64: DCD59F95AF4F8F37 Time : 614.0 sec. user=vaughan [2009-08-02 00:31:29] 461*2^705482-1 is not prime. Res64: E14A431BA19F72A2 Time : 614.0 sec. user=vaughan [2009-08-02 00:31:34] 467*2^705482-1 is not prime. Res64: 38A25F727D5FC018 Time : 613.0 sec. user=vaughan [2009-08-02 00:33:44] 573*2^705482-1 is not prime. Res64: 809155332E723F70 Time : 456.0 sec. user=vaughan [2009-08-02 00:33:56] 507*2^705482-1 is not prime. Res64: 9B3F876DC499F803 Time : 614.0 sec. user=vaughan [2009-08-02 00:37:20] 459*2^705483-1 is not prime. Res64: 693AEA8FC50000CD Time : 464.0 sec. user=vaughan [2009-08-02 00:40:48] 481*2^705483-1 is not prime. Res64: D5203B165A77BE8A Time : 615.0 sec. user=vaughan [2009-08-02 00:41:22] 435*2^705484-1 is not prime. Res64: 75ECA8D2CF775849 Time : 458.0 sec. user=vaughan [2009-08-02 00:41:44] 489*2^705483-1 is not prime. Res64: 7F5C96B79FFA6CA4 Time : 615.0 sec. user=vaughan [2009-08-02 00:41:47] 571*2^705483-1 is not prime. Res64: 3A4FB6F110F2BCF1 Time : 613.0 sec. user=vaughan [2009-08-02 00:44:11] 597*2^705484-1 is not prime. Res64: EFD6620F164643AE Time : 615.0 sec. user=vaughan [2009-08-02 00:45:02] 447*2^705485-1 is not prime. Res64: F9E2391599DFDF56 Time : 462.0 sec. user=vaughan [2009-08-02 00:48:58] 517*2^705485-1 is not prime. Res64: 0C7C1192554DD877 Time : 457.0 sec. user=vaughan [2009-08-02 00:51:02] 469*2^705485-1 is not prime. Res64: FC1E9B140BC1F53D Time : 614.0 sec. user=vaughan [2009-08-02 01:37:25] 541*2^705487-1 is not prime. Res64: 8D008B60EF28BF39 Time : 2907.0 sec. user=vaughan [2009-08-02 01:37:48] 463*2^705487-1 is not prime. Res64: 7D8BCA2021DF7049 Time : 3166.0 sec. user=vaughan [2009-08-02 01:45:00] 559*2^705487-1 is not prime. Res64: EC4E41119C415E7A Time : 455.0 sec. user=vaughan [2009-08-02 01:45:35] 405*2^705488-1 is not prime. Res64: 9012C64F3AD33210 Time : 467.0 sec. user=vaughan [2009-08-02 01:52:34] 425*2^705488-1 is not prime. Res64: 3F5C51B8692E81CC Time : 454.0 sec. user=vaughan [2009-08-02 01:53:19] 467*2^705488-1 is not prime. Res64: 660C9CEE1F2247F8 Time : 464.0 sec. user=vaughan [2009-08-02 02:00:59] 489*2^705488-1 is not prime. Res64: C591362B32399B33 Time : 505.0 sec. user=vaughan [2009-08-02 02:01:01] 503*2^705488-1 is not prime. Res64: 8954321A013C83CC Time : 462.0 sec. user=vaughan [2009-08-02 02:01:46] 549*2^705487-1 is not prime. Res64: F99079C3D3D935EC Time : 4244.0 sec. user=vaughan [2009-08-02 02:01:49] 453*2^705487-1 is not prime. Res64: 9BC881FA54756BFF Time : 4658.0 sec. user=vaughan [2009-08-02 02:01:49] 581*2^705486-1 is not prime. Res64: BECB450ACAF10068 Time : 4802.0 sec. user=vaughan [2009-08-02 02:01:52] 507*2^705486-1 is not prime. Res64: 1C7B063D584B83BC Time : 4809.0 sec. user=vaughan [2009-08-02 02:08:33] 525*2^705488-1 is not prime. Res64: FEA581CBAD5ACF78 Time : 454.0 sec. user=vaughan [2009-08-02 02:08:45] 585*2^705488-1 is not prime. Res64: 6F6C8796D958932E Time : 464.0 sec. user=vaughan [2009-08-02 02:11:59] 487*2^705489-1 is not prime. Res64: 9927F28009519E9D Time : 613.0 sec. user=vaughan [2009-08-02 02:12:02] 555*2^705489-1 is not prime. Res64: 5FB2640A992378CD Time : 613.0 sec. user=vaughan [2009-08-02 02:12:03] 499*2^705489-1 is not prime. Res64: B3E66B5BD9D70A84 Time : 614.0 sec. user=vaughan [2009-08-02 02:12:05] 401*2^705490-1 is not prime. Res64: 15796E886DDF4F6B Time : 614.0 sec. user=vaughan [2009-08-02 02:16:08] 443*2^705490-1 is not prime. Res64: 74538696FA6F5DB1 Time : 455.0 sec. user=vaughan [2009-08-02 02:16:33] 521*2^705490-1 is not prime. Res64: 336E27C69DA24FF0 Time : 468.0 sec. user=vaughan [2009-08-02 02:22:12] 567*2^705490-1 is not prime. Res64: 4E5C6B025368799C Time : 613.0 sec. user=vaughan [2009-08-02 02:22:15] 441*2^705491-1 is not prime. Res64: CA25B663F3FFA404 Time : 613.0 sec. user=vaughan [2009-08-02 02:22:17] 453*2^705491-1 is not prime. Res64: EDAB4A8573E8046A Time : 614.0 sec. user=vaughan [2009-08-02 02:22:17] 405*2^705492-1 is not prime. Res64: 90C63F3A3033949E Time : 613.0 sec. user=vaughan [2009-08-02 02:23:43] 447*2^705492-1 is not prime. Res64: F7223D355DF6083C Time : 455.0 sec. user=vaughan [2009-08-02 02:24:17] 525*2^705492-1 is not prime. Res64: BCFB2ABB05D20CAE Time : 464.0 sec. user=vaughan [2009-08-02 02:31:18] 507*2^705493-1 is not prime. Res64: D5BBB110AFF21E34 Time : 456.0 sec. user=vaughan [2009-08-02 02:32:04] 517*2^705493-1 is not prime. Res64: 30AB58678FBF4577 Time : 467.0 sec. user=vaughan [2009-08-02 02:32:26] 539*2^705492-1 is not prime. Res64: 5710035C4F221E21 Time : 614.0 sec. user=vaughan [2009-08-02 02:32:28] 587*2^705492-1 is not prime. Res64: 16453B1B47886FE1 Time : 613.0 sec. user=vaughan [2009-08-02 02:32:31] 411*2^705493-1 is not prime. Res64: 43C0426B59500670 Time : 614.0 sec. user=vaughan [2009-08-02 02:32:31] 499*2^705493-1 is not prime. Res64: 8FC7446129904D80 Time : 614.0 sec. user=vaughan [2009-08-02 02:38:51] 541*2^705493-1 is not prime. Res64: 21BAC772EF707E51 Time : 454.0 sec. user=vaughan [2009-08-02 02:39:48] 547*2^705493-1 is not prime. Res64: 56031B9262776FEB Time : 464.0 sec. user=vaughan [2009-08-02 02:42:39] 595*2^705493-1 is not prime. Res64: 2DD8E2867938D743 Time : 613.0 sec. user=vaughan [2009-08-02 02:42:41] 503*2^705494-1 is not prime. Res64: 306E5D4968F9CAD1 Time : 613.0 sec. user=vaughan [2009-08-02 02:42:44] 525*2^705494-1 is not prime. Res64: 4653DCDD5C1313B3 Time : 614.0 sec. user=vaughan [2009-08-02 02:42:44] 493*2^705495-1 is not prime. Res64: DCF0A8145C501F50 Time : 613.0 sec. user=vaughan [2009-08-02 02:46:24] 541*2^705495-1 is not prime. Res64: 02A31657C6CED80F Time : 454.0 sec. user=vaughan [2009-08-02 02:47:33] 591*2^705495-1 is not prime. Res64: 7DFB896EB0700579 Time : 465.0 sec. user=vaughan [2009-08-02 02:52:52] 595*2^705495-1 is not prime. Res64: 7AD001999E4DB4F0 Time : 613.0 sec. user=vaughan [2009-08-02 02:52:54] 407*2^705496-1 is not prime. Res64: 2461578052AE906C Time : 613.0 sec. user=vaughan [2009-08-02 02:52:58] 565*2^705497-1 is not prime. Res64: DC70A146E1CDEEEF Time : 615.0 sec. user=vaughan [2009-08-02 02:52:58] 585*2^705497-1 is not prime. Res64: 01FA54BD79F53E52 Time : 614.0 sec. user=vaughan [2009-08-02 02:53:57] 589*2^705497-1 is not prime. Res64: DEBC37FE03D67701 Time : 454.0 sec. user=vaughan [2009-08-02 02:55:17] 525*2^705498-1 is not prime. Res64: 5CE7A79D71C8E250 Time : 464.0 sec. user=vaughan [2009-08-02 03:03:22] 483*2^705500-1 is not prime. Res64: 3263913AB1177E1A Time : 625.0 sec. user=vaughan [2009-08-02 03:03:24] 467*2^705500-1 is not prime. Res64: 685C3745C0816A8C Time : 630.0 sec. user=vaughan [2009-08-02 03:03:24] 525*2^705500-1 is not prime. Res64: 2D3DC808F20502B2 Time : 626.0 sec. user=vaughan [2009-08-02 03:03:24] 579*2^705500-1 is not prime. Res64: A00A15D4573B3512 Time : 568.0 sec. user=vaughan [2009-08-02 03:03:25] 417*2^705500-1 is not prime. Res64: D26B0A4AAFCAF5E3 Time : 634.0 sec. user=vaughan [2009-08-02 03:03:28] 593*2^705500-1 is not prime. Res64: 8B29EF41DD7E905F Time : 491.0 sec. user=vaughan [2009-08-02 03:11:10] 429*2^705501-1 is not prime. Res64: 4F9E7F8C9E17A29C Time : 462.0 sec. user=vaughan [2009-08-02 03:11:59] 467*2^705502-1 is not prime. Res64: 6C65BF3FB2CE0603 Time : 454.0 sec. user=vaughan [2009-08-02 03:14:37] 441*2^705501-1 is not prime. Res64: B42ADA2582EF3E0B Time : 614.0 sec. user=vaughan [2009-08-02 03:14:38] 451*2^705501-1 is not prime. Res64: 3124D2E308E14C38 Time : 614.0 sec. user=vaughan [2009-08-02 03:14:39] 401*2^705502-1 is not prime. Res64: 5BB28457FC795BDB Time : 614.0 sec. user=vaughan [2009-08-02 03:14:40] 491*2^705502-1 is not prime. Res64: 2998E05BE12D814C Time : 614.0 sec. user=vaughan [2009-08-02 03:18:53] 495*2^705502-1 is not prime. Res64: F591898517ADE0A5 Time : 463.0 sec. user=vaughan [2009-08-02 03:19:33] 513*2^705502-1 is not prime. Res64: 80FAC8C66D2C907A Time : 454.0 sec. user=vaughan [2009-08-02 03:24:51] 533*2^705502-1 is not prime. Res64: 2020153D5B1F428E Time : 614.0 sec. user=vaughan [2009-08-02 03:24:52] 567*2^705502-1 is not prime. Res64: 211E9A79E43DFF98 Time : 614.0 sec. user=vaughan [2009-08-02 03:24:52] 591*2^705502-1 is not prime. Res64: D34B309FDCD098FE Time : 614.0 sec. user=vaughan [2009-08-02 03:24:54] 463*2^705503-1 is not prime. Res64: 36E1956A554C5C1C Time : 614.0 sec. user=vaughan [2009-08-02 03:26:35] 475*2^705503-1 is not prime. Res64: 1DA781304D69BD38 Time : 462.0 sec. user=vaughan [2009-08-02 03:27:06] 549*2^705503-1 is not prime. Res64: 9B10D5A0A2F58498 Time : 453.0 sec. user=vaughan [2009-08-02 03:34:19] 421*2^705505-1 is not prime. Res64: 3EF7AEF9ACD799A8 Time : 464.0 sec. user=vaughan [2009-08-02 03:34:39] 499*2^705505-1 is not prime. Res64: A11AF1CB82D61AF6 Time : 453.0 sec. user=vaughan [2009-08-02 03:35:05] 465*2^705504-1 is not prime. Res64: 7775FC9F7EA70238 Time : 614.0 sec. user=vaughan [2009-08-02 03:35:06] 513*2^705504-1 is not prime. Res64: 7FEB8A2D82B446DE Time : 614.0 sec. user=vaughan [2009-08-02 03:35:07] 563*2^705504-1 is not prime. Res64: 6D7FC1523DF9C30D Time : 615.0 sec. user=vaughan [2009-08-02 03:35:08] 585*2^705504-1 is not prime. Res64: 2E1B786EA6BD078A Time : 614.0 sec. user=vaughan [2009-08-02 03:42:03] 525*2^705505-1 is not prime. Res64: EBF9DB065495F77A Time : 464.0 sec. user=vaughan [2009-08-02 03:42:13] 535*2^705505-1 is not prime. Res64: 9B3ACD39A612A018 Time : 454.0 sec. user=vaughan [2009-08-02 03:45:22] 561*2^705505-1 is not prime. Res64: 068FCA9D906670FB Time : 617.0 sec. user=vaughan [2009-08-02 03:45:24] 495*2^705506-1 is not prime. Res64: 18807A845387A879 Time : 618.0 sec. user=vaughan [2009-08-02 03:45:24] 501*2^705506-1 is not prime. Res64: 118904BC99E69045 Time : 618.0 sec. user=vaughan [2009-08-02 03:45:25] 515*2^705506-1 is not prime. Res64: 9F363231CA4046C5 Time : 617.0 sec. user=vaughan [2009-08-02 03:49:46] 545*2^705506-1 is not prime. Res64: 1B930153DBF211A5 Time : 454.0 sec. user=vaughan [2009-08-02 03:49:48] 521*2^705506-1 is not prime. Res64: 83B69879541A8A03 Time : 466.0 sec. user=vaughan [2009-08-02 03:55:37] 433*2^705507-1 is not prime. Res64: 9348D1404C70EEAC Time : 615.0 sec. user=vaughan [2009-08-02 03:55:38] 465*2^705507-1 is not prime. Res64: C42C0AE56A7AE923 Time : 615.0 sec. user=vaughan [2009-08-02 03:55:38] 531*2^705507-1 is not prime. Res64: 1307C894632CE092 Time : 615.0 sec. user=vaughan [2009-08-02 03:55:39] 585*2^705507-1 is not prime. Res64: CCB704E16A98793C Time : 615.0 sec. user=vaughan [2009-08-02 03:57:20] 533*2^705508-1 is not prime. Res64: 1E439F1AEE04FDE2 Time : 454.0 sec. user=vaughan [2009-08-02 03:57:35] 481*2^705509-1 is not prime. Res64: EF3D9CAEB15BC5DD Time : 467.0 sec. user=vaughan [2009-08-02 04:04:54] 465*2^705510-1 is not prime. Res64: 2A2C97DED8987F50 Time : 454.0 sec. user=vaughan [2009-08-02 04:05:18] 513*2^705510-1 is not prime. Res64: E4973687983C97E7 Time : 463.0 sec. user=vaughan [2009-08-02 04:05:52] 487*2^705509-1 is not prime. Res64: C0349F5C8BB3183E Time : 616.0 sec. user=vaughan [2009-08-02 04:05:52] 437*2^705510-1 is not prime. Res64: 08E48B70F087ACF4 Time : 614.0 sec. user=vaughan [2009-08-02 04:05:52] 525*2^705509-1 is not prime. Res64: 12A17C02D2161F4F Time : 614.0 sec. user=vaughan [2009-08-02 04:05:54] 455*2^705510-1 is not prime. Res64: 317E96B0CB37767F Time : 615.0 sec. user=vaughan [2009-08-02 04:12:28] 411*2^705511-1 is not prime. Res64: 0A24CF0665F210EC Time : 454.0 sec. user=vaughan [2009-08-02 04:13:02] 493*2^705511-1 is not prime. Res64: B286E8E57F86C38D Time : 464.0 sec. user=vaughan [2009-08-02 04:16:06] 441*2^705513-1 is not prime. Res64: 7DBF4ED9E6297987 Time : 614.0 sec. user=vaughan [2009-08-02 04:16:07] 417*2^705512-1 is not prime. Res64: 7BC2C4083659FCA4 Time : 616.0 sec. user=vaughan [2009-08-02 04:16:07] 447*2^705512-1 is not prime. Res64: 79D2FA7317AA7A76 Time : 615.0 sec. user=vaughan [2009-08-02 04:16:08] 445*2^705513-1 is not prime. Res64: 762D0D742052A688 Time : 614.0 sec. user=vaughan [2009-08-02 04:20:01] 537*2^705513-1 is not prime. Res64: C53801545B2563B2 Time : 454.0 sec. user=vaughan [2009-08-02 04:20:45] 555*2^705513-1 is not prime. Res64: B3E119DC8DC463BD Time : 464.0 sec. user=vaughan [2009-08-02 04:26:21] 565*2^705513-1 is not prime. Res64: 46392CC49AF77E18 Time : 615.0 sec. user=vaughan [2009-08-02 04:26:22] 401*2^705514-1 is not prime. Res64: B658FCEB2DA49243 Time : 615.0 sec. user=vaughan [2009-08-02 04:26:23] 577*2^705513-1 is not prime. Res64: E3EEB253EB4B3F47 Time : 616.0 sec. user=vaughan [2009-08-02 04:26:23] 491*2^705514-1 is not prime. Res64: DA0EEAF4661DC088 Time : 615.0 sec. user=vaughan [2009-08-02 04:27:33] 513*2^705514-1 is not prime. Res64: DDFE29D687D64FCE Time : 452.0 sec. user=vaughan [2009-08-02 04:28:27] 521*2^705514-1 is not prime. Res64: FD4298D9D986C6AD Time : 462.0 sec. user=vaughan [2009-08-02 04:35:08] 481*2^705515-1 is not prime. Res64: 6000806009148DF6 Time : 455.0 sec. user=vaughan [2009-08-02 04:36:08] 529*2^705515-1 is not prime. Res64: EC9F7440A5275D7C Time : 461.0 sec. user=vaughan [2009-08-02 04:36:38] 587*2^705514-1 is not prime. Res64: 13234BBB5D3A02F4 Time : 617.0 sec. user=vaughan [2009-08-02 04:36:38] 533*2^705514-1 is not prime. Res64: 713E42ABCAF1D453 Time : 617.0 sec. user=vaughan [2009-08-02 04:36:39] 409*2^705515-1 is not prime. Res64: FC53E240AD8E8E4C Time : 617.0 sec. user=vaughan [2009-08-02 04:36:40] 465*2^705515-1 is not prime. Res64: EE54CBFBA080DC2D Time : 617.0 sec. user=vaughan [2009-08-02 04:42:44] 585*2^705515-1 is not prime. Res64: F60FB687C278332B Time : 456.0 sec. user=vaughan [2009-08-02 04:43:47] 425*2^705516-1 is not prime. Res64: 0232979D6CCE529E Time : 460.0 sec. user=vaughan [2009-08-02 04:46:53] 503*2^705516-1 is not prime. Res64: 74A82A0EA15B67E3 Time : 615.0 sec. user=vaughan [2009-08-02 04:46:54] 405*2^705517-1 is not prime. Res64: 32778FAD5C9DDAFD Time : 615.0 sec. user=vaughan [2009-08-02 04:46:54] 513*2^705516-1 is not prime. Res64: 184E1F3A4F90A3DD Time : 616.0 sec. user=vaughan [2009-08-02 04:46:54] 477*2^705517-1 is not prime. Res64: C4F73687225ECE4A Time : 615.0 sec. user=vaughan [2009-08-02 04:50:19] 549*2^705517-1 is not prime. Res64: 727F7FA062950DEC Time : 455.0 sec. user=vaughan [2009-08-02 04:51:59] 561*2^705517-1 is not prime. Res64: 906582FD6FBAA401 Time : 492.0 sec. user=vaughan [2009-08-02 04:57:08] 501*2^705518-1 is not prime. Res64: 5A067412ADF99B8A Time : 615.0 sec. user=vaughan [2009-08-02 04:57:09] 445*2^705519-1 is not prime. Res64: 6AB38A8E890CE58C Time : 615.0 sec. user=vaughan [2009-08-02 04:57:09] 423*2^705519-1 is not prime. Res64: A6BD578AB26C1384 Time : 615.0 sec. user=vaughan [2009-08-02 04:57:09] 469*2^705519-1 is not prime. Res64: 6B52ECEA80959026 Time : 615.0 sec. user=vaughan [2009-08-02 04:57:57] 407*2^705520-1 is not prime. Res64: 66A0060B890E61BF Time : 458.0 sec. user=vaughan [2009-08-02 04:59:39] 447*2^705520-1 is not prime. Res64: 34BC7FFFDE1BA817 Time : 460.0 sec. user=vaughan [2009-08-02 05:05:33] 591*2^705521-1 is not prime. Res64: BAFEDD14A574A9AE Time : 456.0 sec. user=vaughan [2009-08-02 05:07:19] 413*2^705522-1 is not prime. Res64: B5D7CBB05A382FA8 Time : 460.0 sec. user=vaughan [2009-08-02 05:07:23] 479*2^705520-1 is not prime. Res64: A9C18B09E3B1B5D2 Time : 615.0 sec. user=vaughan [2009-08-02 05:07:24] 519*2^705520-1 is not prime. Res64: 608AF27AFE7E06EC Time : 615.0 sec. user=vaughan [2009-08-02 05:07:24] 567*2^705520-1 is not prime. Res64: DF3B69543A152F5F Time : 615.0 sec. user=vaughan [2009-08-02 05:07:24] 459*2^705521-1 is not prime. Res64: AEB61CC2E144A8B9 Time : 615.0 sec. user=vaughan [2009-08-02 05:13:09] 503*2^705522-1 is not prime. Res64: 73F74491BCF55C5B Time : 456.0 sec. user=vaughan [2009-08-02 05:14:59] 587*2^705522-1 is not prime. Res64: 9C32CA091D9587F7 Time : 460.0 sec. user=vaughan [2009-08-02 05:17:38] 421*2^705523-1 is not prime. Res64: 0C91AEC3CA8FF86A Time : 615.0 sec. user=vaughan [2009-08-02 05:17:39] 505*2^705523-1 is not prime. Res64: FBCD09C44E3447BD Time : 615.0 sec. user=vaughan [2009-08-02 05:17:39] 549*2^705523-1 is not prime. Res64: 1F19F373E4ED50D8 Time : 615.0 sec. user=vaughan [2009-08-02 05:17:39] 573*2^705523-1 is not prime. Res64: 25775F28B8147C70 Time : 615.0 sec. user=vaughan [2009-08-02 05:20:44] 417*2^705524-1 is not prime. Res64: EFE032377DB10CEB Time : 455.0 sec. user=vaughan [2009-08-02 05:22:40] 447*2^705524-1 is not prime. Res64: EB6BCCFD85CA23DF Time : 461.0 sec. user=vaughan [2009-08-02 05:27:53] 465*2^705524-1 is not prime. Res64: FE34B668304DFD8B Time : 615.0 sec. user=vaughan [2009-08-02 05:27:54] 563*2^705524-1 is not prime. Res64: 3F13A51FBEE7BFDF Time : 615.0 sec. user=vaughan [2009-08-02 05:27:54] 429*2^705525-1 is not prime. Res64: 16431AEA0AEBC48A Time : 615.0 sec. user=vaughan [2009-08-02 05:27:54] 451*2^705525-1 is not prime. Res64: 8465F1A593B5F85C Time : 615.0 sec. user=vaughan [2009-08-02 05:28:18] 465*2^705525-1 is not prime. Res64: 53B340DF4C325623 Time : 454.0 sec. user=vaughan [2009-08-02 05:30:23] 507*2^705525-1 is not prime. Res64: AF0DCE55640B3FE6 Time : 463.0 sec. user=vaughan [2009-08-02 05:35:51] 493*2^705527-1 is not prime. Res64: A0921902CC7FFAC7 Time : 453.0 sec. user=vaughan [2009-08-02 05:38:07] 511*2^705527-1 is not prime. Res64: 80A3173710757229 Time : 464.0 sec. user=vaughan [2009-08-02 05:38:08] 595*2^705525-1 is not prime. Res64: C43EEACF8E4A2A74 Time : 615.0 sec. user=vaughan [2009-08-02 05:38:09] 525*2^705526-1 is not prime. Res64: 1E08889CDE733BA7 Time : 615.0 sec. user=vaughan [2009-08-02 05:38:09] 413*2^705526-1 is not prime. Res64: E876E07233AF3645 Time : 616.0 sec. user=vaughan [2009-08-02 05:38:10] 587*2^705526-1 is not prime. Res64: 511EA16B3526D753 Time : 616.0 sec. user=vaughan [2009-08-02 05:43:24] 459*2^705528-1 is not prime. Res64: 7CA3C00F747D5A82 Time : 453.0 sec. user=vaughan [2009-08-02 05:45:51] 465*2^705528-1 is not prime. Res64: C69004C1BB907DF6 Time : 464.0 sec. user=vaughan [2009-08-02 05:48:23] 479*2^705528-1 is not prime. Res64: 9F2608DCE712D783 Time : 615.0 sec. user=vaughan [2009-08-02 05:48:24] 525*2^705528-1 is not prime. Res64: C6D11ABE9A3D377F Time : 615.0 sec. user=vaughan [2009-08-02 05:48:25] 527*2^705528-1 is not prime. Res64: A85D18625F09EA28 Time : 616.0 sec. user=vaughan [2009-08-02 05:48:25] 549*2^705528-1 is not prime. Res64: A707F2372798284F Time : 615.0 sec. user=vaughan [2009-08-02 05:50:57] 439*2^705529-1 is not prime. Res64: 66FA16F46410954F Time : 453.0 sec. user=vaughan [2009-08-02 05:53:34] 471*2^705529-1 is not prime. Res64: B8A23CC813214DDA Time : 463.0 sec. user=vaughan [2009-08-02 06:09:37] 533*2^705530-1 is not prime. Res64: 2BFBBC9D0E8F9541 Time : 1120.0 sec. user=vaughan [2009-08-02 06:10:01] 525*2^705529-1 is not prime. Res64: AA1F884B0C160377 Time : 1298.0 sec. user=vaughan [2009-08-02 06:10:01] 483*2^705530-1 is not prime. Res64: EFD42895B5CB5F6F Time : 1296.0 sec. user=vaughan [2009-08-02 06:10:01] 577*2^705529-1 is not prime. Res64: 872758834B19C21D Time : 1297.0 sec. user=vaughan [2009-08-02 06:10:01] 473*2^705530-1 is not prime. Res64: D0E0549128C57B6C Time : 1296.0 sec. user=vaughan [2009-08-02 06:10:13] 561*2^705530-1 is not prime. Res64: BA834B335CD3EC07 Time : 999.0 sec. user=vaughan [2009-08-02 06:17:54] 541*2^705531-1 is not prime. Res64: 8B0D547D7CE92306 Time : 462.0 sec. user=vaughan [2009-08-02 06:18:10] 567*2^705533-1 is not prime. Res64: B05B61098AD62BAA Time : 452.0 sec. user=vaughan [2009-08-02 06:20:16] 439*2^705531-1 is not prime. Res64: 6AA35B3C6F9F1F10 Time : 615.0 sec. user=vaughan [2009-08-02 06:20:16] 441*2^705531-1 is not prime. Res64: 87A807C13DD7C1E2 Time : 615.0 sec. user=vaughan [2009-08-02 06:20:17] 585*2^705530-1 is not prime. Res64: FD70A4C3B505E5EF Time : 617.0 sec. user=vaughan [2009-08-02 06:20:17] 531*2^705531-1 is not prime. Res64: 4F92BD286A9D9D28 Time : 616.0 sec. user=vaughan [2009-08-02 06:26:37] 495*2^705534-1 is not prime. Res64: 80468BC3F77DCB62 Time : 507.0 sec. user=vaughan [2009-08-02 06:26:39] 423*2^705534-1 is not prime. Res64: E0B7BE65964CB8F7 Time : 526.0 sec. user=vaughan [2009-08-02 06:31:55] 503*2^705534-1 is not prime. Res64: 29EEC41A6356A000 Time : 699.0 sec. user=vaughan [2009-08-02 06:31:56] 557*2^705534-1 is not prime. Res64: A06CCB9640F1837D Time : 700.0 sec. user=vaughan [2009-08-02 06:31:56] 513*2^705534-1 is not prime. Res64: FE1E362058DDBA0A Time : 700.0 sec. user=vaughan [2009-08-02 06:31:57] 573*2^705534-1 is not prime. Res64: 5B28413FA314AA55 Time : 700.0 sec. user=vaughan [2009-08-02 06:34:31] 475*2^705535-1 is not prime. Res64: 8EC8C00A2E1D320B Time : 472.0 sec. user=vaughan [2009-08-02 06:34:31] 463*2^705535-1 is not prime. Res64: 8E605323DC883BEA Time : 474.0 sec. user=vaughan [2009-08-02 06:42:04] 585*2^705536-1 is not prime. Res64: BF41D4CACFCF1373 Time : 453.0 sec. user=vaughan [2009-08-02 06:42:10] 583*2^705535-1 is not prime. Res64: 73022A61977B8C57 Time : 615.0 sec. user=vaughan [2009-08-02 06:42:11] 489*2^705535-1 is not prime. Res64: 2D84434F2D80DF96 Time : 616.0 sec. user=vaughan [2009-08-02 06:42:11] 589*2^705535-1 is not prime. Res64: 6F9431BD69EBCE2B Time : 615.0 sec. user=vaughan [2009-08-02 06:42:14] 417*2^705536-1 is not prime. Res64: A652C8EB18D20508 Time : 617.0 sec. user=vaughan [2009-08-02 06:42:15] 539*2^705536-1 is not prime. Res64: 8D38A06ED4AE3190 Time : 464.0 sec. user=vaughan [2009-08-02 06:49:38] 471*2^705537-1 is not prime. Res64: A5E86EC00212CB0C Time : 454.0 sec. user=vaughan [2009-08-02 06:49:59] 443*2^705538-1 is not prime. Res64: 2CD0C205ACB5ACE9 Time : 464.0 sec. user=vaughan [2009-08-02 06:52:26] 495*2^705537-1 is not prime. Res64: B7FD27DD0AE20E5A Time : 616.0 sec. user=vaughan [2009-08-02 06:52:28] 507*2^705537-1 is not prime. Res64: A9182A6EB204D016 Time : 617.0 sec. user=vaughan [2009-08-02 06:52:28] 555*2^705537-1 is not prime. Res64: 8B22BF6F26AB83AC Time : 617.0 sec. user=vaughan [2009-08-02 06:52:30] 435*2^705538-1 is not prime. Res64: D473156A872F1E46 Time : 617.0 sec. user=vaughan [2009-08-02 06:57:14] 453*2^705538-1 is not prime. Res64: 18C7C0A7EE7531EE Time : 456.0 sec. user=vaughan [2009-08-02 06:57:40] 467*2^705538-1 is not prime. Res64: B7F861CAF0BD35EA Time : 461.0 sec. user=vaughan [2009-08-02 07:02:42] 525*2^705538-1 is not prime. Res64: 15C9B604388EB069 Time : 616.0 sec. user=vaughan [2009-08-02 07:02:44] 403*2^705539-1 is not prime. Res64: BCC4EFAA844C53AD Time : 616.0 sec. user=vaughan [2009-08-02 07:02:45] 469*2^705539-1 is not prime. Res64: E08BE81F1B97B039 Time : 617.0 sec. user=vaughan [2009-08-02 07:02:45] 523*2^705539-1 is not prime. Res64: 422A93F61D24010B Time : 615.0 sec. user=vaughan [2009-08-02 07:04:50] 573*2^705539-1 is not prime. Res64: 6CD2A8DA2CF42E8A Time : 456.0 sec. user=vaughan [2009-08-02 07:05:21] 437*2^705540-1 is not prime. Res64: 2D6D49E984DE8EB4 Time : 461.0 sec. user=vaughan [2009-08-02 07:12:26] 549*2^705541-1 is not prime. Res64: 1C46BF4ECD1A525B Time : 456.0 sec. user=vaughan [2009-08-02 07:12:58] 503*2^705540-1 is not prime. Res64: CF81C8F1A8FF7356 Time : 616.0 sec. user=vaughan [2009-08-02 07:13:00] 557*2^705540-1 is not prime. Res64: 7F4F70043D421571 Time : 616.0 sec. user=vaughan [2009-08-02 07:13:01] 569*2^705540-1 is not prime. Res64: 353E564418CD2B80 Time : 616.0 sec. user=vaughan [2009-08-02 07:13:01] 421*2^705541-1 is not prime. Res64: DB4D7A18BC8199E6 Time : 616.0 sec. user=vaughan [2009-08-02 07:13:03] 591*2^705541-1 is not prime. Res64: 68CFA9A9881B4563 Time : 462.0 sec. user=vaughan [2009-08-02 07:20:02] 431*2^705542-1 is not prime. Res64: 811F96E869D4BE31 Time : 456.0 sec. user=vaughan [2009-08-02 07:20:46] 541*2^705543-1 is not prime. Res64: ADE1E5E407E5B155 Time : 463.0 sec. user=vaughan [2009-08-02 07:23:14] 437*2^705542-1 is not prime. Res64: 172791E620CEEA65 Time : 616.0 sec. user=vaughan [2009-08-02 07:23:16] 521*2^705542-1 is not prime. Res64: 577619316D2046D0 Time : 616.0 sec. user=vaughan [2009-08-02 07:23:17] 537*2^705542-1 is not prime. Res64: 4ED35ACA02BE9672 Time : 617.0 sec. user=vaughan [2009-08-02 07:23:17] 471*2^705543-1 is not prime. Res64: 54F03FD33A7988F9 Time : 616.0 sec. user=vaughan [2009-08-02 07:27:39] 543*2^705543-1 is not prime. Res64: 50E27A48BAE06664 Time : 457.0 sec. user=vaughan [2009-08-02 07:28:29] 583*2^705543-1 is not prime. Res64: 91CE1732883DB52C Time : 464.0 sec. user=vaughan [2009-08-02 07:33:30] 595*2^705543-1 is not prime. Res64: EBDD43B1BFAE01FE Time : 616.0 sec. user=vaughan [2009-08-02 07:33:33] 447*2^705544-1 is not prime. Res64: 265B33DB6EB1E18D Time : 617.0 sec. user=vaughan [2009-08-02 07:33:33] 597*2^705544-1 is not prime. Res64: A7771DB5ADCB6801 Time : 616.0 sec. user=vaughan [2009-08-02 07:33:33] 517*2^705545-1 is not prime. Res64: 17302BB36836F59D Time : 616.0 sec. user=vaughan [2009-08-02 07:35:15] 431*2^705546-1 is not prime. Res64: D840576057FE7D70 Time : 457.0 sec. user=vaughan [2009-08-02 07:36:09] 471*2^705546-1 is not prime. Res64: 15CD903EB19DC68F Time : 461.0 sec. user=vaughan [2009-08-02 07:42:51] 439*2^705547-1 is not prime. Res64: E42C3F4A7950936F Time : 456.0 sec. user=vaughan [2009-08-02 07:43:47] 485*2^705546-1 is not prime. Res64: 895921FB20FA3123 Time : 617.0 sec. user=vaughan [2009-08-02 07:43:48] 451*2^705547-1 is not prime. Res64: C3EA85C95B143692 Time : 459.0 sec. user=vaughan [2009-08-02 07:43:49] 501*2^705546-1 is not prime. Res64: F62ED7598CD31EAB Time : 617.0 sec. user=vaughan [2009-08-02 07:43:50] 525*2^705546-1 is not prime. Res64: A97BACE55A249490 Time : 617.0 sec. user=vaughan [2009-08-02 07:43:51] 563*2^705546-1 is not prime. Res64: 28F0C28581855E8B Time : 618.0 sec. user=vaughan [2009-08-02 07:50:27] 465*2^705547-1 is not prime. Res64: 154919398FA9724F Time : 457.0 sec. user=vaughan [2009-08-02 07:51:28] 539*2^705548-1 is not prime. Res64: 8A69F95C1C4CFF66 Time : 460.0 sec. user=vaughan [2009-08-02 07:54:06] 489*2^705547-1 is not prime. Res64: 9C58937C23E071FB Time : 619.0 sec. user=vaughan [2009-08-02 07:54:08] 599*2^705548-1 is not prime. Res64: 5815A371943757F1 Time : 620.0 sec. user=vaughan [2009-08-02 07:54:08] 427*2^705549-1 is not prime. Res64: 1A4440F7C6F17B8B Time : 618.0 sec. user=vaughan [2009-08-02 07:54:09] 439*2^705549-1 is not prime. Res64: 693159E59F71EFD3 Time : 618.0 sec. user=vaughan [2009-08-02 07:58:03] 451*2^705549-1 is not prime. Res64: 07A7252F918A24EA Time : 456.0 sec. user=vaughan [2009-08-02 07:59:08] 495*2^705549-1 is not prime. Res64: 8983704A17B201E4 Time : 461.0 sec. user=vaughan [2009-08-02 08:04:22] 549*2^705549-1 is not prime. Res64: E718EBEBD4700FB1 Time : 617.0 sec. user=vaughan [2009-08-02 08:04:24] 423*2^705550-1 is not prime. Res64: 5F34C9AB01DEEC30 Time : 617.0 sec. user=vaughan [2009-08-02 08:04:24] 455*2^705550-1 is not prime. Res64: 858B4A471BDADB60 Time : 616.0 sec. user=vaughan [2009-08-02 08:04:25] 467*2^705550-1 is not prime. Res64: B0E968114E8A20D9 Time : 616.0 sec. user=vaughan [2009-08-02 08:05:39] 513*2^705550-1 is not prime. Res64: 9693CD43DBFB2E7A Time : 456.0 sec. user=vaughan [2009-08-02 08:06:49] 561*2^705550-1 is not prime. Res64: A18ABD8EF73AC914 Time : 461.0 sec. user=vaughan [2009-08-02 08:13:15] 459*2^705552-1 is not prime. Res64: 294CB57341EE022B Time : 456.0 sec. user=vaughan [2009-08-02 08:14:29] 503*2^705552-1 is not prime. Res64: 124B2FF9F1F1233C Time : 460.0 sec. user=vaughan [2009-08-02 08:14:38] 567*2^705550-1 is not prime. Res64: CB5B4F7B9358AF10 Time : 617.0 sec. user=vaughan [2009-08-02 08:14:40] 445*2^705551-1 is not prime. Res64: 2BDC6275B288EA43 Time : 616.0 sec. user=vaughan [2009-08-02 08:14:40] 493*2^705551-1 is not prime. Res64: DBA6F2B543B18800 Time : 616.0 sec. user=vaughan [2009-08-02 08:14:42] 571*2^705551-1 is not prime. Res64: 39F9C8590287FBB8 Time : 617.0 sec. user=vaughan [2009-08-02 08:20:52] 525*2^705552-1 is not prime. Res64: DE54DBA8B4837E4F Time : 457.0 sec. user=vaughan [2009-08-02 08:22:11] 593*2^705552-1 is not prime. Res64: BBB99EC8640549E7 Time : 462.0 sec. user=vaughan [2009-08-02 08:24:54] 497*2^705554-1 is not prime. Res64: C33BB25D83A36C8C Time : 616.0 sec. user=vaughan [2009-08-02 08:24:56] 521*2^705554-1 is not prime. Res64: 915F463B2BF0C365 Time : 616.0 sec. user=vaughan [2009-08-02 08:24:58] 531*2^705554-1 is not prime. Res64: B76C0FA346309F34 Time : 618.0 sec. user=vaughan [2009-08-02 08:24:59] 405*2^705555-1 is not prime. Res64: DB9F1BA38FFDBB30 Time : 617.0 sec. user=vaughan [2009-08-02 08:28:27] 591*2^705555-1 is not prime. Res64: C41F09B5F9D4931F Time : 456.0 sec. user=vaughan [2009-08-02 08:29:52] 595*2^705555-1 is not prime. Res64: 3C5A2BB3D52D6BFE Time : 462.0 sec. user=vaughan [2009-08-02 08:35:12] 435*2^705556-1 is not prime. Res64: 4A8D281C478EBDA7 Time : 618.0 sec. user=vaughan [2009-08-02 08:35:16] 483*2^705556-1 is not prime. Res64: 732FBD3E67133E65 Time : 620.0 sec. user=vaughan [2009-08-02 08:35:17] 495*2^705556-1 is not prime. Res64: AEBD371C740128CD Time : 620.0 sec. user=vaughan [2009-08-02 08:35:19] 497*2^705556-1 is not prime. Res64: 76200612AF196AAA Time : 621.0 sec. user=vaughan [2009-08-02 08:36:01] 575*2^705556-1 is not prime. Res64: 44D6A4A3D232B2A7 Time : 454.0 sec. user=vaughan [2009-08-02 08:37:36] 507*2^705557-1 is not prime. Res64: 63C86B3F6B42F9D9 Time : 464.0 sec. user=vaughan [2009-08-02 08:43:37] 531*2^705559-1 is not prime. Res64: 84E520A5565CF436 Time : 456.0 sec. user=vaughan [2009-08-02 08:45:22] 549*2^705559-1 is not prime. Res64: 480038886509ACA6 Time : 466.0 sec. user=vaughan [2009-08-02 08:45:31] 529*2^705557-1 is not prime. Res64: E07A35F0F858BCB3 Time : 619.0 sec. user=vaughan [2009-08-02 08:45:35] 551*2^705558-1 is not prime. Res64: 32B58E34C17EF5F1 Time : 620.0 sec. user=vaughan [2009-08-02 08:45:35] 563*2^705558-1 is not prime. Res64: 758DA22DB976CB72 Time : 619.0 sec. user=vaughan [2009-08-02 08:45:38] 585*2^705558-1 is not prime. Res64: 92A888A7B4A3E687 Time : 620.0 sec. user=vaughan [2009-08-02 08:51:12] 559*2^705559-1 is not prime. Res64: 3C20E5C6C2C24D71 Time : 456.0 sec. user=vaughan [2009-08-02 08:53:06] 595*2^705559-1 is not prime. Res64: 5134E19311C1065E Time : 465.0 sec. user=vaughan [2009-08-02 08:58:45] 545*2^705562-1 is not prime. Res64: FA88A24A468F75A0 Time : 454.0 sec. user=vaughan [2009-08-02 09:00:47] 529*2^705561-1 is not prime. Res64: 90FB5A949BE9C2C4 Time : 917.0 sec. user=vaughan [2009-08-02 09:00:49] 411*2^705563-1 is not prime. Res64: AFEE9BEA7BA7693A Time : 464.0 sec. user=vaughan [2009-08-02 09:00:51] 437*2^705562-1 is not prime. Res64: 6AA4575947ECFCB7 Time : 917.0 sec. user=vaughan [2009-08-02 09:00:52] 477*2^705562-1 is not prime. Res64: D3ACF96D4DDB822D Time : 917.0 sec. user=vaughan [2009-08-02 09:00:54] 525*2^705562-1 is not prime. Res64: 8FD7EF61527CF928 Time : 917.0 sec. user=vaughan [2009-08-02 09:06:18] 451*2^705563-1 is not prime. Res64: 1BFB0C5BE71B5CD3 Time : 453.0 sec. user=vaughan [2009-08-02 09:08:33] 507*2^705564-1 is not prime. Res64: 1F090ABE0588FC40 Time : 464.0 sec. user=vaughan [2009-08-02 09:11:03] 413*2^705564-1 is not prime. Res64: DA02F1F1086D3F9B Time : 616.0 sec. user=vaughan [2009-08-02 09:11:07] 405*2^705565-1 is not prime. Res64: F0397990AADBDE56 Time : 617.0 sec. user=vaughan [2009-08-02 09:11:09] 411*2^705565-1 is not prime. Res64: B42A696F596C36AE Time : 617.0 sec. user=vaughan [2009-08-02 09:11:10] 471*2^705565-1 is not prime. Res64: 8413D456BE21953D Time : 617.0 sec. user=vaughan [2009-08-02 09:13:55] 489*2^705565-1 is not prime. Res64: 69B0E7422CCF72C3 Time : 457.0 sec. user=vaughan [2009-08-02 09:16:17] 499*2^705565-1 is not prime. Res64: CE454E3F0EAE80A6 Time : 464.0 sec. user=vaughan [2009-08-02 09:21:19] 531*2^705565-1 is not prime. Res64: C70258022F9EBD85 Time : 616.0 sec. user=vaughan [2009-08-02 09:21:24] 595*2^705565-1 is not prime. Res64: 45C6F170981C853B Time : 617.0 sec. user=vaughan [2009-08-02 09:21:26] 597*2^705565-1 is not prime. Res64: 5B15C93559213D04 Time : 617.0 sec. user=vaughan [2009-08-02 09:21:27] 425*2^705566-1 is not prime. Res64: BD148BF15F690149 Time : 617.0 sec. user=vaughan [2009-08-02 09:21:28] 437*2^705566-1 is not prime. Res64: 4A95D3AC6F15B7BF Time : 454.0 sec. user=vaughan [2009-08-02 09:24:01] 567*2^705566-1 is not prime. Res64: 4879A9A04D3B2E2A Time : 465.0 sec. user=vaughan [2009-08-02 09:29:01] 489*2^705567-1 is not prime. Res64: 26345EEC85ED5D63 Time : 453.0 sec. user=vaughan [2009-08-02 09:31:35] 581*2^705566-1 is not prime. Res64: B8DDAFD31A433CB1 Time : 616.0 sec. user=vaughan [2009-08-02 09:31:41] 587*2^705566-1 is not prime. Res64: AFFE33C720A3E109 Time : 617.0 sec. user=vaughan [2009-08-02 09:31:43] 441*2^705567-1 is not prime. Res64: 3AEFB84E0FD4F526 Time : 617.0 sec. user=vaughan [2009-08-02 09:31:43] 493*2^705567-1 is not prime. Res64: 017D6A1B03A80042 Time : 462.0 sec. user=vaughan [2009-08-02 09:31:44] 465*2^705567-1 is not prime. Res64: 91BBFC1190BCD67B Time : 617.0 sec. user=vaughan [2009-08-02 09:36:35] 543*2^705567-1 is not prime. Res64: C6364463B98A2C30 Time : 454.0 sec. user=vaughan [2009-08-02 09:39:27] 487*2^705569-1 is not prime. Res64: F9E9C7E78A6321B0 Time : 464.0 sec. user=vaughan [2009-08-02 09:41:51] 419*2^705568-1 is not prime. Res64: 1D044CFD41A0F87A Time : 616.0 sec. user=vaughan [2009-08-02 09:41:57] 539*2^705568-1 is not prime. Res64: E720F426EC23647A Time : 616.0 sec. user=vaughan [2009-08-02 09:41:59] 435*2^705569-1 is not prime. Res64: 6BD3E20ECA7C6761 Time : 617.0 sec. user=vaughan [2009-08-02 09:42:00] 495*2^705569-1 is not prime. Res64: 178EFAD8274BD9F8 Time : 617.0 sec. user=vaughan [2009-08-02 09:44:09] 549*2^705569-1 is not prime. Res64: EE2E7F4EF2DD350A Time : 454.0 sec. user=vaughan [2009-08-02 09:47:13] 423*2^705570-1 is not prime. Res64: FBD4C4E294487A79 Time : 466.0 sec. user=vaughan [2009-08-02 09:51:46] 579*2^705572-1 is not prime. Res64: DA4BC31E3A7F590A Time : 457.0 sec. user=vaughan [2009-08-02 09:52:09] 437*2^705570-1 is not prime. Res64: E75060A17D442979 Time : 618.0 sec. user=vaughan [2009-08-02 09:52:14] 471*2^705570-1 is not prime. Res64: 2AEB59EA8B55CF6B Time : 617.0 sec. user=vaughan [2009-08-02 09:52:18] 555*2^705571-1 is not prime. Res64: 1FEFD3AE4C7399B1 Time : 618.0 sec. user=vaughan [2009-08-02 09:52:19] 493*2^705571-1 is not prime. Res64: DE40E006B7BF3418 Time : 621.0 sec. user=vaughan [2009-08-02 09:54:59] 429*2^705573-1 is not prime. Res64: 6676CB0619B84EF9 Time : 467.0 sec. user=vaughan [2009-08-02 09:59:21] 451*2^705573-1 is not prime. Res64: 34D0A56D63CE695B Time : 455.0 sec. user=vaughan [2009-08-02 10:02:29] 525*2^705573-1 is not prime. Res64: A7A21089381D60B2 Time : 621.0 sec. user=vaughan [2009-08-02 10:02:31] 549*2^705573-1 is not prime. Res64: CDA51DB76BD9E383 Time : 618.0 sec. user=vaughan [2009-08-02 10:02:38] 411*2^705574-1 is not prime. Res64: 2A72B250D8AF01A8 Time : 620.0 sec. user=vaughan [2009-08-02 10:02:43] 591*2^705573-1 is not prime. Res64: E1D2049EEE09CECC Time : 626.0 sec. user=vaughan [2009-08-02 10:02:43] 561*2^705574-1 is not prime. Res64: E75B2795E637E52D Time : 467.0 sec. user=vaughan [2009-08-02 10:06:58] 575*2^705574-1 is not prime. Res64: 7CFF4649293214DF Time : 457.0 sec. user=vaughan [2009-08-02 10:10:27] 459*2^705576-1 is not prime. Res64: 94C1D5428B21885B Time : 464.0 sec. user=vaughan [2009-08-02 10:12:46] 409*2^705575-1 is not prime. Res64: 6B42C9CB6EDF528A Time : 617.0 sec. user=vaughan [2009-08-02 10:12:47] 445*2^705575-1 is not prime. Res64: FB53A1BDD4E594B6 Time : 617.0 sec. user=vaughan [2009-08-02 10:12:55] 573*2^705575-1 is not prime. Res64: 8D1C57EACA5CAC55 Time : 617.0 sec. user=vaughan [2009-08-02 10:13:00] 453*2^705575-1 is not prime. Res64: C7DF2CB816B5D4C5 Time : 618.0 sec. user=vaughan [2009-08-02 10:14:32] 497*2^705576-1 is not prime. Res64: 7D67797C781A31B4 Time : 454.0 sec. user=vaughan [2009-08-02 10:18:13] 527*2^705576-1 is not prime. Res64: 6ECFC5FA2C9D8942 Time : 466.0 sec. user=vaughan [2009-08-02 10:22:09] 473*2^705578-1 is not prime. Res64: FF48378E37E9A045 Time : 458.0 sec. user=vaughan [2009-08-02 10:23:05] 593*2^705576-1 is not prime. Res64: B760A215BA1BA3A8 Time : 618.0 sec. user=vaughan [2009-08-02 10:23:08] 567*2^705576-1 is not prime. Res64: D04EC1A1B4C7695F Time : 623.0 sec. user=vaughan [2009-08-02 10:23:14] 531*2^705577-1 is not prime. Res64: AF6245D609541B9D Time : 619.0 sec. user=vaughan [2009-08-02 10:23:20] 589*2^705577-1 is not prime. Res64: BA67B47711CF9B95 Time : 621.0 sec. user=vaughan [2009-08-02 10:26:00] 495*2^705578-1 is not prime. Res64: CD28B7B01CBBDABA Time : 468.0 sec. user=vaughan [2009-08-02 10:29:47] 507*2^705578-1 is not prime. Res64: D39A72E174600DB9 Time : 459.0 sec. user=vaughan [2009-08-02 10:33:25] 515*2^705578-1 is not prime. Res64: 8F897BBC164B4D00 Time : 620.0 sec. user=vaughan [2009-08-02 10:33:30] 551*2^705578-1 is not prime. Res64: 6E8579A95997556A Time : 623.0 sec. user=vaughan [2009-08-02 10:33:36] 563*2^705578-1 is not prime. Res64: 3126A1E393F5E6D8 Time : 623.0 sec. user=vaughan [2009-08-02 10:33:40] 403*2^705579-1 is not prime. Res64: 589B46658D6EB99D Time : 621.0 sec. user=vaughan [2009-08-02 10:33:42] 415*2^705579-1 is not prime. Res64: 302FDD9233BB1B43 Time : 463.0 sec. user=vaughan [2009-08-02 10:37:32] 439*2^705579-1 is not prime. Res64: 5FD90338F9C06CC9 Time : 466.0 sec. user=vaughan [2009-08-02 10:41:27] 417*2^705581-1 is not prime. Res64: 1C7EFC33F59E0115 Time : 465.0 sec. user=vaughan [2009-08-02 10:43:44] 555*2^705579-1 is not prime. Res64: 4075C33CC6676D3E Time : 619.0 sec. user=vaughan [2009-08-02 10:43:49] 533*2^705580-1 is not prime. Res64: A059AA5FA0FA6ADF Time : 620.0 sec. user=vaughan [2009-08-02 10:43:57] 597*2^705580-1 is not prime. Res64: AC9D2F37EA004A94 Time : 618.0 sec. user=vaughan [2009-08-02 10:43:59] 567*2^705580-1 is not prime. Res64: 37F8606E49014B0A Time : 623.0 sec. user=vaughan [2009-08-02 10:45:08] 489*2^705581-1 is not prime. Res64: 7DFEA753BA848705 Time : 456.0 sec. user=vaughan [2009-08-02 10:49:09] 455*2^705582-1 is not prime. Res64: 9B41AD657400E279 Time : 465.0 sec. user=vaughan [2009-08-02 10:52:51] 453*2^705583-1 is not prime. Res64: F6B9F6656B5CE08E Time : 463.0 sec. user=vaughan [2009-08-02 10:54:04] 537*2^705582-1 is not prime. Res64: 09F50A25EC089D1E Time : 620.0 sec. user=vaughan [2009-08-02 10:54:07] 567*2^705582-1 is not prime. Res64: 964901CF4964F99A Time : 621.0 sec. user=vaughan [2009-08-02 10:54:14] 441*2^705583-1 is not prime. Res64: 18E14C085695C059 Time : 617.0 sec. user=vaughan [2009-08-02 10:54:16] 429*2^705583-1 is not prime. Res64: FBAB8042AE463CA2 Time : 620.0 sec. user=vaughan [2009-08-02 10:56:54] 483*2^705583-1 is not prime. Res64: D7233CB3D4548EA3 Time : 466.0 sec. user=vaughan [2009-08-02 11:00:29] 511*2^705583-1 is not prime. Res64: C998FE551D7D69E3 Time : 465.0 sec. user=vaughan [2009-08-02 11:04:22] 555*2^705583-1 is not prime. Res64: AB67B315F92ABE1E Time : 619.0 sec. user=vaughan [2009-08-02 11:04:27] 589*2^705583-1 is not prime. Res64: 66D7E950AD65197B Time : 621.0 sec. user=vaughan [2009-08-02 11:04:35] 437*2^705584-1 is not prime. Res64: 7EF7FC0DA707D8A1 Time : 620.0 sec. user=vaughan [2009-08-02 11:04:37] 587*2^705584-1 is not prime. Res64: BAEFA9C0C02BA87D Time : 464.0 sec. user=vaughan [2009-08-02 11:04:46] 417*2^705584-1 is not prime. Res64: 6BE0569C71F8CB47 Time : 632.0 sec. user=vaughan [2009-08-02 11:08:08] 447*2^705585-1 is not prime. Res64: AF2FDC7675E4890B Time : 459.0 sec. user=vaughan [2009-08-02 11:12:20] 411*2^705586-1 is not prime. Res64: B625CF0042E87893 Time : 464.0 sec. user=vaughan [2009-08-02 11:14:39] 481*2^705585-1 is not prime. Res64: BAF3E04E843DD513 Time : 618.0 sec. user=vaughan [2009-08-02 11:14:47] 517*2^705585-1 is not prime. Res64: 6B0CF039BD769C43 Time : 621.0 sec. user=vaughan [2009-08-02 11:14:52] 577*2^705585-1 is not prime. Res64: 9EFD5BE3D0685501 Time : 618.0 sec. user=vaughan [2009-08-02 11:15:03] 461*2^705586-1 is not prime. Res64: 8DDE30F40925547A Time : 621.0 sec. user=vaughan [2009-08-02 11:15:48] 477*2^705586-1 is not prime. Res64: 67FF560815CD1B68 Time : 460.0 sec. user=vaughan [2009-08-02 11:20:23] 483*2^705586-1 is not prime. Res64: 086DE4D729B466B3 Time : 484.0 sec. user=vaughan [2009-08-02 11:23:27] 505*2^705587-1 is not prime. Res64: 6B6505FB27FD9F21 Time : 459.0 sec. user=vaughan [2009-08-02 11:24:58] 597*2^705586-1 is not prime. Res64: C9090062E1104189 Time : 620.0 sec. user=vaughan [2009-08-02 11:25:04] 433*2^705587-1 is not prime. Res64: 36B806EEC93EA875 Time : 617.0 sec. user=vaughan [2009-08-02 11:25:09] 475*2^705587-1 is not prime. Res64: 73037F85E4997D24 Time : 617.0 sec. user=vaughan [2009-08-02 11:25:20] 501*2^705587-1 is not prime. Res64: 8E0EF587DE94701F Time : 617.0 sec. user=vaughan [2009-08-02 11:28:07] 511*2^705587-1 is not prime. Res64: 6E2BECB50A57C3CD Time : 465.0 sec. user=vaughan [2009-08-02 11:31:09] 571*2^705587-1 is not prime. Res64: 251E03570E9461B7 Time : 465.0 sec. user=vaughan [2009-08-02 11:35:18] 483*2^705588-1 is not prime. Res64: 4B9D31374ED10101 Time : 620.0 sec. user=vaughan [2009-08-02 11:35:24] 503*2^705588-1 is not prime. Res64: 331403F5E6F7D882 Time : 620.0 sec. user=vaughan [2009-08-02 11:35:28] 525*2^705588-1 is not prime. Res64: 4DFDC48D8BBF2EDA Time : 619.0 sec. user=vaughan [2009-08-02 11:35:37] 549*2^705588-1 is not prime. Res64: 6BAAF2466E5B8328 Time : 617.0 sec. user=vaughan [2009-08-02 11:35:51] 557*2^705588-1 is not prime. Res64: F09C9B57D7A92333 Time : 464.0 sec. user=vaughan [2009-08-02 11:38:47] 469*2^705589-1 is not prime. Res64: F1A6E77AA3411BD0 Time : 465.0 sec. user=vaughan [2009-08-02 11:43:37] 431*2^705590-1 is not prime. Res64: B908DE6B97177B31 Time : 467.0 sec. user=vaughan [2009-08-02 11:45:39] 477*2^705589-1 is not prime. Res64: 017D71E0DF1C92DF Time : 621.0 sec. user=vaughan [2009-08-02 11:45:41] 517*2^705589-1 is not prime. Res64: B45275C1C90B5A35 Time : 618.0 sec. user=vaughan [2009-08-02 11:45:49] 597*2^705589-1 is not prime. Res64: 18F26436B5BA84B9 Time : 624.0 sec. user=vaughan [2009-08-02 11:45:54] 417*2^705590-1 is not prime. Res64: 695058BFC3CFB726 Time : 618.0 sec. user=vaughan [2009-08-02 11:46:31] 453*2^705590-1 is not prime. Res64: 75939BD5601C18AE Time : 465.0 sec. user=vaughan [2009-08-02 11:51:20] 545*2^705590-1 is not prime. Res64: 68D50FE58D5F1DBC Time : 463.0 sec. user=vaughan [2009-08-02 11:54:10] 423*2^705592-1 is not prime. Res64: A04FB8A86AC98ED5 Time : 460.0 sec. user=vaughan [2009-08-02 11:55:59] 423*2^705591-1 is not prime. Res64: 84E01678058D5E7C Time : 619.0 sec. user=vaughan [2009-08-02 11:56:00] 563*2^705590-1 is not prime. Res64: C7D555DEDA846E67 Time : 622.0 sec. user=vaughan [2009-08-02 11:56:07] 513*2^705591-1 is not prime. Res64: D9AF770C7FF37061 Time : 618.0 sec. user=vaughan [2009-08-02 11:56:14] 579*2^705591-1 is not prime. Res64: BB82BB8CDAFE8100 Time : 621.0 sec. user=vaughan [2009-08-02 11:59:05] 563*2^705592-1 is not prime. Res64: 3AA1EE3A585492A7 Time : 465.0 sec. user=vaughan [2009-08-02 12:01:49] 569*2^705592-1 is not prime. Res64: 97C0BB56B2EDD564 Time : 460.0 sec. user=vaughan [2009-08-02 12:06:20] 411*2^705593-1 is not prime. Res64: 78A86B2D1BA54060 Time : 621.0 sec. user=vaughan [2009-08-02 12:06:21] 475*2^705593-1 is not prime. Res64: BA2A62ED647D1E70 Time : 621.0 sec. user=vaughan [2009-08-02 12:06:29] 501*2^705593-1 is not prime. Res64: 4F98DFAAF6CC2B6B Time : 623.0 sec. user=vaughan [2009-08-02 12:06:33] 517*2^705593-1 is not prime. Res64: A8060A9E1AE3BA50 Time : 620.0 sec. user=vaughan [2009-08-02 12:06:48] 547*2^705593-1 is not prime. Res64: 5C26F5515795FEDF Time : 464.0 sec. user=vaughan [2009-08-02 12:09:28] 417*2^705594-1 is not prime. Res64: 27C1E420B246581B Time : 460.0 sec. user=vaughan [2009-08-02 12:14:30] 573*2^705594-1 is not prime. Res64: E67C0E04AF8C9C1F Time : 463.0 sec. user=vaughan [2009-08-02 12:16:37] 461*2^705594-1 is not prime. Res64: 5474E9623D685AC4 Time : 617.0 sec. user=vaughan [2009-08-02 12:16:37] 507*2^705594-1 is not prime. Res64: 14D460B6F8E96057 Time : 617.0 sec. user=vaughan [2009-08-02 12:16:45] 527*2^705594-1 is not prime. Res64: DA0E59C3979C3DAF Time : 620.0 sec. user=vaughan [2009-08-02 12:16:49] 543*2^705594-1 is not prime. Res64: F23A245A0C06EAED Time : 617.0 sec. user=vaughan [2009-08-02 12:17:06] 411*2^705595-1 is not prime. Res64: 74F9225F79E0F3DA Time : 460.0 sec. user=vaughan [2009-08-02 12:22:11] 511*2^705595-1 is not prime. Res64: 047AAAB616AE3327 Time : 462.0 sec. user=vaughan [2009-08-02 12:24:46] 515*2^705596-1 is not prime. Res64: 763B97631F358258 Time : 460.0 sec. user=vaughan [2009-08-02 12:26:54] 425*2^705596-1 is not prime. Res64: 3E11D00F08341CB8 Time : 617.0 sec. user=vaughan [2009-08-02 12:26:54] 589*2^705595-1 is not prime. Res64: E768FAD8D6718F0F Time : 618.0 sec. user=vaughan [2009-08-02 12:27:05] 479*2^705596-1 is not prime. Res64: 0840A1D66C79F386 Time : 620.0 sec. user=vaughan [2009-08-02 12:27:06] 503*2^705596-1 is not prime. Res64: 49D7A8ED33768B5A Time : 617.0 sec. user=vaughan [2009-08-02 12:29:55] 525*2^705596-1 is not prime. Res64: B9C66DB8E872975C Time : 464.0 sec. user=vaughan [2009-08-02 12:32:29] 439*2^705597-1 is not prime. Res64: 1250AAEF1D347A6D Time : 466.0 sec. user=vaughan [2009-08-02 12:37:10] 475*2^705597-1 is not prime. Res64: 6107534646058B2C Time : 617.0 sec. user=vaughan [2009-08-02 12:37:12] 529*2^705597-1 is not prime. Res64: DCC97208B8DE1C36 Time : 618.0 sec. user=vaughan [2009-08-02 12:37:23] 549*2^705597-1 is not prime. Res64: 0596B0A58600E88D Time : 621.0 sec. user=vaughan [2009-08-02 12:37:25] 555*2^705597-1 is not prime. Res64: A865DF1059C83161 Time : 619.0 sec. user=vaughan [2009-08-02 12:37:40] 571*2^705597-1 is not prime. Res64: A7DB4B201C698B4D Time : 465.0 sec. user=vaughan [2009-08-02 12:40:06] 595*2^705597-1 is not prime. Res64: 57E0212772439CC3 Time : 460.0 sec. user=vaughan [2009-08-02 12:45:25] 525*2^705599-1 is not prime. Res64: BA58F53F606D9AD7 Time : 465.0 sec. user=vaughan [2009-08-02 12:47:30] 483*2^705598-1 is not prime. Res64: C957950D73E91031 Time : 620.0 sec. user=vaughan [2009-08-02 12:47:34] 507*2^705598-1 is not prime. Res64: DC26A8CE25986279 Time : 622.0 sec. user=vaughan [2009-08-02 12:47:42] 465*2^705599-1 is not prime. Res64: 54B7A647A375E004 Time : 620.0 sec. user=vaughan [2009-08-02 12:47:42] 539*2^705600-1 is not prime. Res64: C2D0DB50FF83E821 Time : 457.0 sec. user=vaughan [2009-08-02 12:47:44] 533*2^705598-1 is not prime. Res64: C9E3C2C2B2CDA9FF Time : 622.0 sec. user=vaughan [2009-08-02 12:53:08] 587*2^705600-1 is not prime. Res64: 0EF3DB0BC39F69C9 Time : 464.0 sec. user=vaughan [2009-08-02 12:55:22] 405*2^705602-1 is not prime. Res64: 4CA58A292782FA00 Time : 460.0 sec. user=vaughan [2009-08-02 12:57:52] 439*2^705601-1 is not prime. Res64: DE2D1A915C294330 Time : 622.0 sec. user=vaughan [2009-08-02 12:57:56] 499*2^705601-1 is not prime. Res64: 7063410FBA94903B Time : 622.0 sec. user=vaughan [2009-08-02 12:58:02] 511*2^705601-1 is not prime. Res64: 59A6D60DBD2D344A Time : 623.0 sec. user=vaughan [2009-08-02 12:58:05] 431*2^705602-1 is not prime. Res64: 0E204F562CC4B5C5 Time : 621.0 sec. user=vaughan [2009-08-02 13:00:53] 497*2^705602-1 is not prime. Res64: 80C20EC163AE2962 Time : 466.0 sec. user=vaughan [2009-08-02 13:03:03] 567*2^705602-1 is not prime. Res64: AF6F9E147DDD52FF Time : 462.0 sec. user=vaughan [2009-08-02 13:08:14] 415*2^705603-1 is not prime. Res64: B6C46082FF8FE892 Time : 624.0 sec. user=vaughan [2009-08-02 13:08:20] 433*2^705603-1 is not prime. Res64: DC5C8FB70AE8CA7A Time : 625.0 sec. user=vaughan [2009-08-02 13:08:22] 441*2^705603-1 is not prime. Res64: 57232A56796977F4 Time : 622.0 sec. user=vaughan [2009-08-02 13:08:25] 493*2^705603-1 is not prime. Res64: 11D4DD15BF009DE1 Time : 621.0 sec. user=vaughan [2009-08-02 13:08:40] 529*2^705603-1 is not prime. Res64: 679D87C32A4E4826 Time : 468.0 sec. user=vaughan [2009-08-02 13:10:45] 553*2^705603-1 is not prime. Res64: E41BE0EC2678CCC9 Time : 463.0 sec. user=vaughan [2009-08-02 13:16:27] 441*2^705605-1 is not prime. Res64: 97448A223BC51162 Time : 468.0 sec. user=vaughan [2009-08-02 13:18:25] 481*2^705605-1 is not prime. Res64: FBF4F04C4FB91BED Time : 461.0 sec. user=vaughan [2009-08-02 13:18:34] 419*2^705604-1 is not prime. Res64: 326BDB3846D71E9F Time : 622.0 sec. user=vaughan [2009-08-02 13:18:40] 539*2^705604-1 is not prime. Res64: 62772DE6E8CCB043 Time : 621.0 sec. user=vaughan [2009-08-02 13:18:43] 545*2^705604-1 is not prime. Res64: DFD9FAD0FDFF60DF Time : 622.0 sec. user=vaughan [2009-08-02 13:18:48] 569*2^705604-1 is not prime. Res64: 45FC2BF938922240 Time : 624.0 sec. user=vaughan [2009-08-02 13:24:13] 585*2^705605-1 is not prime. Res64: 1BE0B586EEC96482 Time : 468.0 sec. user=vaughan [2009-08-02 13:26:05] 473*2^705606-1 is not prime. Res64: BF02AFB14A4C4234 Time : 461.0 sec. user=vaughan [2009-08-02 13:28:54] 485*2^705606-1 is not prime. Res64: AC6FD6FF0112C36B Time : 621.0 sec. user=vaughan [2009-08-02 13:29:00] 513*2^705606-1 is not prime. Res64: 492B050273E684EB Time : 621.0 sec. user=vaughan [2009-08-02 13:29:03] 421*2^705607-1 is not prime. Res64: 4BB430C8D756D204 Time : 622.0 sec. user=vaughan [2009-08-02 13:29:09] 499*2^705607-1 is not prime. Res64: 97A867D440B74DC3 Time : 622.0 sec. user=vaughan [2009-08-02 13:31:59] 555*2^705607-1 is not prime. Res64: E8DB69B6EE24B6C3 Time : 467.0 sec. user=vaughan [2009-08-02 13:33:42] 467*2^705608-1 is not prime. Res64: 02CD4209B6A97227 Time : 459.0 sec. user=vaughan [2009-08-02 13:39:16] 503*2^705608-1 is not prime. Res64: 8BAEC93F569B3AB5 Time : 623.0 sec. user=vaughan [2009-08-02 13:39:26] 539*2^705608-1 is not prime. Res64: 786C4D260280AC10 Time : 627.0 sec. user=vaughan [2009-08-02 13:39:28] 573*2^705608-1 is not prime. Res64: F4C58CD3059EACEC Time : 626.0 sec. user=vaughan [2009-08-02 13:39:30] 441*2^705609-1 is not prime. Res64: 6EFFE1FA4153D146 Time : 622.0 sec. user=vaughan [2009-08-02 13:39:49] 495*2^705609-1 is not prime. Res64: 595C96990961A052 Time : 471.0 sec. user=vaughan [2009-08-02 13:41:24] 537*2^705609-1 is not prime. Res64: 5E387EDE0B1415E2 Time : 463.0 sec. user=vaughan [2009-08-02 13:47:41] 531*2^705610-1 is not prime. Res64: C15E27D7F3952FA5 Time : 474.0 sec. user=vaughan [2009-08-02 13:49:06] 403*2^705611-1 is not prime. Res64: 4957E84D7E74DB61 Time : 463.0 sec. user=vaughan [2009-08-02 13:49:36] 597*2^705609-1 is not prime. Res64: 1A98AF7A6EFDA6B6 Time : 621.0 sec. user=vaughan [2009-08-02 13:49:47] 443*2^705610-1 is not prime. Res64: A6FA7322192D6850 Time : 627.0 sec. user=vaughan [2009-08-02 13:49:48] 467*2^705610-1 is not prime. Res64: C11853E2D14C875A Time : 622.0 sec. user=vaughan [2009-08-02 13:49:51] 527*2^705610-1 is not prime. Res64: FBB1B77CB7BC31E0 Time : 622.0 sec. user=vaughan [2009-08-02 13:55:28] 475*2^705611-1 is not prime. Res64: 39E2AF3C5B4428FB Time : 468.0 sec. user=vaughan [2009-08-02 13:56:44] 549*2^705611-1 is not prime. Res64: C3001ADFC6528BBC Time : 460.0 sec. user=vaughan [2009-08-02 13:59:56] 579*2^705611-1 is not prime. Res64: 6F7A29A6502A695A Time : 621.0 sec. user=vaughan [2009-08-02 14:00:08] 405*2^705612-1 is not prime. Res64: 38B0D3939438EF88 Time : 622.0 sec. user=vaughan [2009-08-02 14:00:09] 537*2^705612-1 is not prime. Res64: C280CD8410960755 Time : 622.0 sec. user=vaughan [2009-08-02 14:00:11] 555*2^705612-1 is not prime. Res64: 72C230966E2A80A0 Time : 622.0 sec. user=vaughan [2009-08-02 14:03:17] 567*2^705612-1 is not prime. Res64: D5155FC8FED4C3D0 Time : 471.0 sec. user=vaughan [2009-08-02 14:04:22] 411*2^705613-1 is not prime. Res64: 4080473D8541171A Time : 459.0 sec. user=vaughan [2009-08-02 14:10:17] 435*2^705613-1 is not prime. Res64: 53CE13D10ACB9AE4 Time : 622.0 sec. user=vaughan [2009-08-02 14:10:29] 441*2^705613-1 is not prime. Res64: FF9394F18008D0D1 Time : 622.0 sec. user=vaughan [2009-08-02 14:10:30] 555*2^705613-1 is not prime. Res64: D011BD7D9E24C732 Time : 622.0 sec. user=vaughan [2009-08-02 14:10:31] 567*2^705613-1 is not prime. Res64: 33FDC124057CDF8E Time : 621.0 sec. user=vaughan [2009-08-02 14:11:06] 577*2^705613-1 is not prime. Res64: 3DB9E475C11A5ECB Time : 471.0 sec. user=vaughan [2009-08-02 14:12:00] 435*2^705614-1 is not prime. Res64: 5E567D3118C43DC4 Time : 460.0 sec. user=vaughan [2009-08-02 14:18:55] 405*2^705615-1 is not prime. Res64: 19B31FE47E938A55 Time : 471.0 sec. user=vaughan [2009-08-02 14:19:38] 451*2^705615-1 is not prime. Res64: 4C183456B8A50F1D Time : 459.0 sec. user=vaughan [2009-08-02 14:20:40] 437*2^705614-1 is not prime. Res64: C2DA9F54D7EEEC23 Time : 624.0 sec. user=vaughan [2009-08-02 14:20:50] 473*2^705614-1 is not prime. Res64: 10680843D707EA7F Time : 622.0 sec. user=vaughan [2009-08-02 14:20:51] 503*2^705614-1 is not prime. Res64: 9688508C9B714F82 Time : 622.0 sec. user=vaughan [2009-08-02 14:20:53] 587*2^705614-1 is not prime. Res64: 98EA55986DFF3060 Time : 623.0 sec. user=vaughan [2009-08-02 14:26:50] 453*2^705615-1 is not prime. Res64: 9FDB250292C29800 Time : 477.0 sec. user=vaughan [2009-08-02 14:27:18] 475*2^705615-1 is not prime. Res64: BA1BFB26E304976E Time : 462.0 sec. user=vaughan [2009-08-02 14:30:58] 543*2^705615-1 is not prime. Res64: 547602001768AA48 Time : 619.0 sec. user=vaughan [2009-08-02 14:31:10] 583*2^705615-1 is not prime. Res64: 720589FC87A865FE Time : 621.0 sec. user=vaughan [2009-08-02 14:31:11] 595*2^705615-1 is not prime. Res64: A2127A33D6005AB6 Time : 621.0 sec. user=vaughan [2009-08-02 14:31:12] 449*2^705616-1 is not prime. Res64: DF9226C593B07673 Time : 620.0 sec. user=vaughan [2009-08-02 14:34:39] 483*2^705616-1 is not prime. Res64: 9B2B24D69A143BCA Time : 470.0 sec. user=vaughan [2009-08-02 14:34:56] 507*2^705616-1 is not prime. Res64: 651AA0ACBC0944AB Time : 459.0 sec. user=vaughan [2009-08-02 14:41:20] 539*2^705616-1 is not prime. Res64: 32AF17BECE5702E0 Time : 623.0 sec. user=vaughan [2009-08-02 14:41:31] 575*2^705616-1 is not prime. Res64: 4771B322282507C6 Time : 622.0 sec. user=vaughan [2009-08-02 14:41:34] 445*2^705617-1 is not prime. Res64: 6740A6E01D4DC06F Time : 624.0 sec. user=vaughan [2009-08-02 14:41:34] 567*2^705617-1 is not prime. Res64: F0871DC551518B46 Time : 623.0 sec. user=vaughan [2009-08-02 14:42:26] 423*2^705618-1 is not prime. Res64: 1E3CDA229D2C2264 Time : 468.0 sec. user=vaughan [2009-08-02 14:42:34] 507*2^705618-1 is not prime. Res64: 03D11DC1705971DA Time : 459.0 sec. user=vaughan [2009-08-02 14:50:13] 553*2^705619-1 is not prime. Res64: C46F73FC96288CB5 Time : 460.0 sec. user=vaughan [2009-08-02 14:50:13] 495*2^705619-1 is not prime. Res64: FCB14666FC8BB20A Time : 468.0 sec. user=vaughan [2009-08-02 14:51:40] 411*2^705619-1 is not prime. Res64: 8C471EB7133CA172 Time : 621.0 sec. user=vaughan [2009-08-02 14:51:52] 451*2^705619-1 is not prime. Res64: CD17E039BEC7D078 Time : 623.0 sec. user=vaughan [2009-08-02 14:51:55] 463*2^705619-1 is not prime. Res64: 2CA10FD12D737512 Time : 623.0 sec. user=vaughan [2009-08-02 14:51:55] 465*2^705619-1 is not prime. Res64: 37C7B458CFBB0023 Time : 623.0 sec. user=vaughan [2009-08-02 14:57:53] 595*2^705619-1 is not prime. Res64: 6CC9D9B23E6806BD Time : 461.0 sec. user=vaughan [2009-08-02 14:58:01] 437*2^705620-1 is not prime. Res64: 4687EFB8C9207692 Time : 469.0 sec. user=vaughan [2009-08-02 15:02:01] 479*2^705620-1 is not prime. Res64: 70A8B9AAF85B9A4D Time : 622.0 sec. user=vaughan [2009-08-02 15:02:13] 519*2^705620-1 is not prime. Res64: B3573C70F7101D79 Time : 622.0 sec. user=vaughan [2009-08-02 15:02:15] 587*2^705620-1 is not prime. Res64: 16B8C2D922BE1EB4 Time : 621.0 sec. user=vaughan [2009-08-02 15:02:16] 545*2^705620-1 is not prime. Res64: D07D18EDDCA24F74 Time : 622.0 sec. user=vaughan [2009-08-02 15:05:31] 451*2^705621-1 is not prime. Res64: 7718F24CC831DE68 Time : 459.0 sec. user=vaughan [2009-08-02 15:05:50] 507*2^705621-1 is not prime. Res64: 0B0BB76B2D1F5566 Time : 470.0 sec. user=vaughan [2009-08-02 15:12:22] 531*2^705621-1 is not prime. Res64: 13347AAE2948A080 Time : 622.0 sec. user=vaughan [2009-08-02 15:12:31] 585*2^705621-1 is not prime. Res64: A94BF75243CE79C2 Time : 619.0 sec. user=vaughan [2009-08-02 15:12:32] 423*2^705622-1 is not prime. Res64: 8C9D6AD4C4FE00C9 Time : 618.0 sec. user=vaughan [2009-08-02 15:12:33] 491*2^705622-1 is not prime. Res64: 5B2715EE44969E27 Time : 618.0 sec. user=vaughan [2009-08-02 15:13:10] 507*2^705622-1 is not prime. Res64: C8733FACB1378176 Time : 460.0 sec. user=vaughan [2009-08-02 15:13:40] 527*2^705622-1 is not prime. Res64: 0E430637A79C6231 Time : 471.0 sec. user=vaughan [2009-08-02 15:20:49] 493*2^705623-1 is not prime. Res64: 229E1A0483C9B137 Time : 460.0 sec. user=vaughan [2009-08-02 15:21:28] 503*2^705624-1 is not prime. Res64: 5CA256A754E548BF Time : 469.0 sec. user=vaughan [2009-08-02 15:22:43] 551*2^705622-1 is not prime. Res64: DC9945D28E40472A Time : 622.0 sec. user=vaughan [2009-08-02 15:22:51] 567*2^705622-1 is not prime. Res64: DE451A97FA1DD0D2 Time : 620.0 sec. user=vaughan [2009-08-02 15:22:56] 581*2^705622-1 is not prime. Res64: 7893D42EF85B6865 Time : 624.0 sec. user=vaughan [2009-08-02 15:22:57] 439*2^705623-1 is not prime. Res64: 30BE83DD497D8409 Time : 625.0 sec. user=vaughan [2009-08-02 15:28:27] 527*2^705624-1 is not prime. Res64: 2AFBFE067E435B1F Time : 459.0 sec. user=vaughan [2009-08-02 15:29:16] 555*2^705624-1 is not prime. Res64: 38EF8C9AA752EAC8 Time : 469.0 sec. user=vaughan [2009-08-02 15:33:03] 587*2^705624-1 is not prime. Res64: A184FD40848AC98A Time : 621.0 sec. user=vaughan [2009-08-02 15:33:12] 593*2^705624-1 is not prime. Res64: 777C35297FEE375C Time : 622.0 sec. user=vaughan [2009-08-02 15:33:17] 489*2^705625-1 is not prime. Res64: A863A4A84D1E3FDF Time : 626.0 sec. user=vaughan [2009-08-02 15:33:20] 525*2^705625-1 is not prime. Res64: 7F5DE0E400CF9C19 Time : 624.0 sec. user=vaughan [2009-08-02 15:36:06] 535*2^705625-1 is not prime. Res64: 457FEC5482ED3CBD Time : 460.0 sec. user=vaughan [2009-08-02 15:37:04] 437*2^705626-1 is not prime. Res64: 4819447500E516AE Time : 470.0 sec. user=vaughan [2009-08-02 15:43:27] 501*2^705626-1 is not prime. Res64: 60463D25EDDB331A Time : 625.0 sec. user=vaughan [2009-08-02 15:43:37] 567*2^705626-1 is not prime. Res64: FBA521663A892C1C Time : 621.0 sec. user=vaughan [2009-08-02 15:43:38] 521*2^705626-1 is not prime. Res64: 694C7E0003FE09EF Time : 628.0 sec. user=vaughan [2009-08-02 15:43:41] 483*2^705627-1 is not prime. Res64: E9D41D96A1F29959 Time : 622.0 sec. user=vaughan [2009-08-02 15:43:43] 573*2^705627-1 is not prime. Res64: 6037CD4A01D06C18 Time : 458.0 sec. user=vaughan [2009-08-02 15:44:58] 579*2^705627-1 is not prime. Res64: 75E0E5AC222211A8 Time : 475.0 sec. user=vaughan [2009-08-02 15:51:21] 439*2^705629-1 is not prime. Res64: 1252E91B3CD5C34B Time : 459.0 sec. user=vaughan [2009-08-02 15:52:52] 469*2^705629-1 is not prime. Res64: A8B61F7F8F3909EE Time : 479.0 sec. user=vaughan [2009-08-02 15:53:48] 583*2^705627-1 is not prime. Res64: A13D670234220DB0 Time : 622.0 sec. user=vaughan [2009-08-02 15:54:00] 527*2^705628-1 is not prime. Res64: A9A35E60A2A0465B Time : 628.0 sec. user=vaughan [2009-08-02 15:54:02] 533*2^705628-1 is not prime. Res64: 7450C04B6B6AD306 Time : 626.0 sec. user=vaughan [2009-08-02 15:54:02] 537*2^705628-1 is not prime. Res64: B15B951051B8A3EC Time : 622.0 sec. user=vaughan [2009-08-02 15:59:03] 477*2^705629-1 is not prime. Res64: EE1D643AC3824BAE Time : 463.0 sec. user=vaughan [2009-08-02 16:00:52] 507*2^705629-1 is not prime. Res64: 7E3B1516E6BBC1C0 Time : 486.0 sec. user=vaughan [2009-08-02 16:04:08] 559*2^705629-1 is not prime. Res64: 332847835DE34F59 Time : 621.0 sec. user=vaughan [2009-08-02 16:04:21] 521*2^705630-1 is not prime. Res64: F1B15A8D785F705E Time : 622.0 sec. user=vaughan [2009-08-02 16:04:23] 593*2^705630-1 is not prime. Res64: 78CBEEF694907A1C Time : 622.0 sec. user=vaughan [2009-08-02 16:04:27] 405*2^705631-1 is not prime. Res64: A2EC81E896434A93 Time : 626.0 sec. user=vaughan [2009-08-02 16:06:41] 415*2^705631-1 is not prime. Res64: CDCD7BD3B23C7326 Time : 463.0 sec. user=vaughan [2009-08-02 16:08:41] 421*2^705631-1 is not prime. Res64: C6F6F1B2D4DAC2FB Time : 470.0 sec. user=vaughan [2009-08-02 16:14:21] 561*2^705631-1 is not prime. Res64: 9E39D7F073D92C54 Time : 461.0 sec. user=vaughan [2009-08-02 16:14:30] 423*2^705631-1 is not prime. Res64: 5E1B54FCF14B754A Time : 623.0 sec. user=vaughan [2009-08-02 16:14:41] 489*2^705631-1 is not prime. Res64: 13364C60EB8FAC85 Time : 621.0 sec. user=vaughan [2009-08-02 16:14:43] 493*2^705631-1 is not prime. Res64: 6163BC8E0057F6F0 Time : 621.0 sec. user=vaughan [2009-08-02 16:14:48] 499*2^705631-1 is not prime. Res64: 2F312FE6FA8CEDAB Time : 622.0 sec. user=vaughan [2009-08-02 16:16:34] 435*2^705632-1 is not prime. Res64: 792F229CC19D5374 Time : 474.0 sec. user=vaughan [2009-08-02 16:22:07] 467*2^705632-1 is not prime. Res64: 283209C47BCC4F90 Time : 468.0 sec. user=vaughan [2009-08-02 16:24:35] 471*2^705633-1 is not prime. Res64: 171E44E9634EC29B Time : 482.0 sec. user=vaughan [2009-08-02 16:24:50] 483*2^705632-1 is not prime. Res64: 5C10EF70692857E1 Time : 622.0 sec. user=vaughan [2009-08-02 16:25:00] 537*2^705632-1 is not prime. Res64: BED8E6822E1DD261 Time : 620.0 sec. user=vaughan [2009-08-02 16:25:03] 427*2^705633-1 is not prime. Res64: 178D2B953CC008B2 Time : 621.0 sec. user=vaughan [2009-08-02 16:25:14] 459*2^705633-1 is not prime. Res64: 6DECB5DA29AC12BB Time : 627.0 sec. user=vaughan [2009-08-02 16:29:46] 585*2^705633-1 is not prime. Res64: 2A5890083B557F35 Time : 464.0 sec. user=vaughan [2009-08-02 16:32:21] 495*2^705634-1 is not prime. Res64: 3FBB4FDF291458B4 Time : 468.0 sec. user=vaughan [2009-08-02 16:35:10] 497*2^705634-1 is not prime. Res64: 7ACBEE66E778C9B0 Time : 621.0 sec. user=vaughan [2009-08-02 16:35:21] 513*2^705634-1 is not prime. Res64: 07AD7C166999A406 Time : 622.0 sec. user=vaughan [2009-08-02 16:35:24] 575*2^705634-1 is not prime. Res64: EC15C5439D099D3A Time : 622.0 sec. user=vaughan [2009-08-02 16:35:35] 433*2^705635-1 is not prime. Res64: DFB6B0F5CC894F84 Time : 622.0 sec. user=vaughan [2009-08-02 16:37:25] 445*2^705635-1 is not prime. Res64: 9BCC3764BD05ECBD Time : 460.0 sec. user=vaughan [2009-08-02 16:40:07] 531*2^705635-1 is not prime. Res64: 376E685DC6ED33C0 Time : 467.0 sec. user=vaughan [2009-08-02 16:45:06] 507*2^705637-1 is not prime. Res64: A1543F08B831A1E1 Time : 462.0 sec. user=vaughan [2009-08-02 16:45:29] 405*2^705636-1 is not prime. Res64: 566FB1BF6142C9FA Time : 620.0 sec. user=vaughan [2009-08-02 16:45:42] 473*2^705636-1 is not prime. Res64: 2AC14E4B27679C18 Time : 622.0 sec. user=vaughan [2009-08-02 16:45:44] 563*2^705636-1 is not prime. Res64: 4E3B4ABD032DB62C Time : 622.0 sec. user=vaughan [2009-08-02 16:45:56] 489*2^705637-1 is not prime. Res64: 5B7B62C4AF605B7C Time : 622.0 sec. user=vaughan [2009-08-02 16:47:53] 531*2^705637-1 is not prime. Res64: 336C79C5641FD70F Time : 467.0 sec. user=vaughan [2009-08-02 16:52:46] 417*2^705638-1 is not prime. Res64: DA2A0EEAA505264F Time : 462.0 sec. user=vaughan [2009-08-02 16:55:39] 471*2^705639-1 is not prime. Res64: BEA42A8E1C57FB80 Time : 467.0 sec. user=vaughan [2009-08-02 16:55:53] 453*2^705638-1 is not prime. Res64: 9A972EE82DA4B49B Time : 624.0 sec. user=vaughan [2009-08-02 16:56:02] 515*2^705638-1 is not prime. Res64: 85A9496F7DFC0163 Time : 621.0 sec. user=vaughan [2009-08-02 16:56:08] 561*2^705638-1 is not prime. Res64: 39B5724FC0F44523 Time : 625.0 sec. user=vaughan [2009-08-02 16:56:17] 591*2^705638-1 is not prime. Res64: 2208C2ABA5EC2832 Time : 622.0 sec. user=vaughan [2009-08-02 17:00:25] 483*2^705639-1 is not prime. Res64: 636DA15BF69F4F0B Time : 461.0 sec. user=vaughan [2009-08-02 17:03:28] 565*2^705639-1 is not prime. Res64: D4870A43B8D7FCA5 Time : 471.0 sec. user=vaughan [2009-08-02 17:06:19] 537*2^705640-1 is not prime. Res64: 30A43E26BFCFFF66 Time : 631.0 sec. user=vaughan [2009-08-02 17:06:23] 409*2^705641-1 is not prime. Res64: EF96175C65DFC6C4 Time : 622.0 sec. user=vaughan [2009-08-02 17:06:28] 411*2^705641-1 is not prime. Res64: 7BE098B652E1DC37 Time : 621.0 sec. user=vaughan [2009-08-02 17:06:38] 439*2^705641-1 is not prime. Res64: A26430D812F37C9E Time : 622.0 sec. user=vaughan [2009-08-02 17:08:05] 559*2^705641-1 is not prime. Res64: 541CD32803C37CA9 Time : 461.0 sec. user=vaughan [2009-08-02 17:11:14] 437*2^705642-1 is not prime. Res64: EA8DDDD65015D1D0 Time : 467.0 sec. user=vaughan [2009-08-02 17:15:44] 423*2^705644-1 is not prime. Res64: EEBDD6D7A9F2BD76 Time : 460.0 sec. user=vaughan [2009-08-02 17:16:39] 453*2^705642-1 is not prime. Res64: D52A9342BA699BA9 Time : 626.0 sec. user=vaughan [2009-08-02 17:16:44] 483*2^705642-1 is not prime. Res64: F46B1D3D3366A2E6 Time : 622.0 sec. user=vaughan [2009-08-02 17:16:50] 541*2^705643-1 is not prime. Res64: 009A8B9658F747E4 Time : 623.0 sec. user=vaughan [2009-08-02 17:17:01] 555*2^705643-1 is not prime. Res64: A9E3BCE8900B1CA6 Time : 623.0 sec. user=vaughan [2009-08-02 17:19:00] 465*2^705644-1 is not prime. Res64: A71A9899DA73E1C8 Time : 467.0 sec. user=vaughan [2009-08-02 17:23:26] 479*2^705644-1 is not prime. Res64: 7F2384D9835688E7 Time : 463.0 sec. user=vaughan [2009-08-02 17:26:47] 465*2^705645-1 is not prime. Res64: 63DB67533D811EE9 Time : 468.0 sec. user=vaughan [2009-08-02 17:27:03] 519*2^705644-1 is not prime. Res64: 2AAB06644947F922 Time : 625.0 sec. user=vaughan [2009-08-02 17:27:04] 525*2^705644-1 is not prime. Res64: E4FF7FF23AF6B57B Time : 622.0 sec. user=vaughan [2009-08-02 17:27:14] 573*2^705644-1 is not prime. Res64: AFE15CC85A0C28D4 Time : 625.0 sec. user=vaughan [2009-08-02 17:27:22] 459*2^705645-1 is not prime. Res64: C87566F7DD22637F Time : 623.0 sec. user=vaughan [2009-08-02 17:31:07] 475*2^705645-1 is not prime. Res64: 44E6FD27C5055085 Time : 462.0 sec. user=vaughan [2009-08-02 17:34:33] 507*2^705645-1 is not prime. Res64: CDAA9EB4CC5FD2B3 Time : 467.0 sec. user=vaughan [2009-08-02 17:37:25] 529*2^705645-1 is not prime. Res64: 9E2F01387F16B7D2 Time : 622.0 sec. user=vaughan [2009-08-02 17:37:25] 595*2^705645-1 is not prime. Res64: E13D20C82AE263BA Time : 622.0 sec. user=vaughan [2009-08-02 17:37:36] 455*2^705646-1 is not prime. Res64: 0E1EEBD1EC4C0A36 Time : 623.0 sec. user=vaughan [2009-08-02 17:37:44] 573*2^705646-1 is not prime. Res64: 8AFC77E13D8FED7E Time : 623.0 sec. user=vaughan [2009-08-02 17:38:46] 587*2^705646-1 is not prime. Res64: 3A7F4D13FA7C60A7 Time : 460.0 sec. user=vaughan [2009-08-02 17:42:23] 403*2^705647-1 is not prime. Res64: 139EC62381590813 Time : 471.0 sec. user=vaughan [2009-08-02 17:46:27] 595*2^705647-1 is not prime. Res64: BC2630818BA84208 Time : 462.0 sec. user=vaughan [2009-08-02 17:47:46] 421*2^705647-1 is not prime. Res64: 185B1809B8E52777 Time : 623.0 sec. user=vaughan [2009-08-02 17:47:46] 505*2^705647-1 is not prime. Res64: 5004779FE5E6B0A2 Time : 623.0 sec. user=vaughan [2009-08-02 17:47:58] 553*2^705647-1 is not prime. Res64: 989AC4D5B9D1110F Time : 624.0 sec. user=vaughan [2009-08-02 17:48:04] 559*2^705647-1 is not prime. Res64: 855F53A36497C2FE Time : 622.0 sec. user=vaughan [2009-08-02 17:50:13] 473*2^705648-1 is not prime. Res64: 2FC85345BD4361F7 Time : 472.0 sec. user=vaughan [2009-08-02 17:54:06] 527*2^705648-1 is not prime. Res64: 8A92CE2A3FC6D6F7 Time : 460.0 sec. user=vaughan [2009-08-02 17:58:04] 567*2^705649-1 is not prime. Res64: 68AFC85B13F6921F Time : 472.0 sec. user=vaughan [2009-08-02 17:58:08] 555*2^705648-1 is not prime. Res64: FB4A8EE7B55D910F Time : 624.0 sec. user=vaughan [2009-08-02 17:58:11] 481*2^705649-1 is not prime. Res64: 91EB0306586305B8 Time : 627.0 sec. user=vaughan [2009-08-02 17:58:18] 537*2^705649-1 is not prime. Res64: 73BFF8776D1E18AF Time : 622.0 sec. user=vaughan [2009-08-02 17:58:26] 561*2^705649-1 is not prime. Res64: DDFB411A180CF47B Time : 623.0 sec. user=vaughan [2009-08-02 18:01:44] 423*2^705650-1 is not prime. Res64: 8A3062FAD5AB8F81 Time : 459.0 sec. user=vaughan [2009-08-02 18:05:54] 495*2^705650-1 is not prime. Res64: 72BB9EE0462DA5AB Time : 472.0 sec. user=vaughan [2009-08-02 18:08:29] 587*2^705650-1 is not prime. Res64: 75A7148A55C5C6B3 Time : 622.0 sec. user=vaughan [2009-08-02 18:08:32] 415*2^705651-1 is not prime. Res64: 446432DFDBBC8773 Time : 622.0 sec. user=vaughan [2009-08-02 18:08:38] 429*2^705651-1 is not prime. Res64: 328975AF692327C9 Time : 621.0 sec. user=vaughan [2009-08-02 18:08:45] 465*2^705651-1 is not prime. Res64: 2411EB6F8E134EC0 Time : 620.0 sec. user=vaughan [2009-08-02 18:09:24] 529*2^705651-1 is not prime. Res64: B0F74ACAB20B1AF4 Time : 461.0 sec. user=vaughan [2009-08-02 18:13:43] 435*2^705652-1 is not prime. Res64: 35DF7B09647819C0 Time : 470.0 sec. user=vaughan [2009-08-02 18:17:02] 571*2^705659-1 is not prime. Res64: F9A630CDFA6B5F1C Time : 459.0 sec. user=vaughan [2009-08-02 18:18:50] 455*2^705652-1 is not prime. Res64: 7130F8DE653E6DCF Time : 622.0 sec. user=vaughan [2009-08-02 18:18:53] 527*2^705652-1 is not prime. Res64: 9F7FD2BE147DA016 Time : 622.0 sec. user=vaughan [2009-08-02 18:18:59] 493*2^705659-1 is not prime. Res64: C11A83F9F3EBCF43 Time : 622.0 sec. user=vaughan [2009-08-02 18:19:07] 505*2^705659-1 is not prime. Res64: F68AC498159484CC Time : 622.0 sec. user=vaughan [2009-08-02 18:21:36] 515*2^705660-1 is not prime. Res64: 782AD051C9BD9015 Time : 474.0 sec. user=vaughan [2009-08-02 18:24:41] 411*2^705661-1 is not prime. Res64: 6EAED854EF228934 Time : 460.0 sec. user=vaughan [2009-08-02 18:29:11] 541*2^705661-1 is not prime. Res64: 8DCD0D01B52C7714 Time : 622.0 sec. user=vaughan [2009-08-02 18:29:14] 559*2^705661-1 is not prime. Res64: B204D4367BA7196B Time : 622.0 sec. user=vaughan [2009-08-02 18:29:20] 417*2^705662-1 is not prime. Res64: DAE3568A2C22F68E Time : 622.0 sec. user=vaughan [2009-08-02 18:29:24] 545*2^705662-1 is not prime. Res64: 49E8E1775D5DEE05 Time : 469.0 sec. user=vaughan [2009-08-02 18:29:31] 453*2^705662-1 is not prime. Res64: AA5AC1FFAC7B0BA5 Time : 626.0 sec. user=vaughan [2009-08-02 18:32:20] 563*2^705662-1 is not prime. Res64: 3CE81A0203919294 Time : 460.0 sec. user=vaughan [2009-08-02 18:37:10] 453*2^705663-1 is not prime. Res64: 601AD09E41508CAC Time : 467.0 sec. user=vaughan [2009-08-02 18:39:30] 411*2^705663-1 is not prime. Res64: E94E239F78A8423B Time : 620.0 sec. user=vaughan [2009-08-02 18:39:33] 433*2^705663-1 is not prime. Res64: 86408E85A32DAB77 Time : 620.0 sec. user=vaughan [2009-08-02 18:39:38] 441*2^705663-1 is not prime. Res64: 30D6C2E65A1BB92D Time : 619.0 sec. user=vaughan [2009-08-02 18:39:55] 437*2^705664-1 is not prime. Res64: C30528F8C1AD758C Time : 626.0 sec. user=vaughan [2009-08-02 18:40:08] 479*2^705664-1 is not prime. Res64: F5B81C57C6DF993C Time : 469.0 sec. user=vaughan [2009-08-02 18:44:58] 485*2^705664-1 is not prime. Res64: AA619E97A5EBCD6D Time : 469.0 sec. user=vaughan [2009-08-02 18:47:50] 563*2^705664-1 is not prime. Res64: 4DEF67DFBE4A55C0 Time : 463.0 sec. user=vaughan [2009-08-02 18:49:51] 507*2^705664-1 is not prime. Res64: CCE7BBE690EFCCEF Time : 622.0 sec. user=vaughan [2009-08-02 18:49:54] 533*2^705664-1 is not prime. Res64: CEC0DC87BA35388A Time : 621.0 sec. user=vaughan [2009-08-02 18:49:59] 539*2^705664-1 is not prime. Res64: 242B079CC2970BF3 Time : 622.0 sec. user=vaughan [2009-08-02 18:50:17] 549*2^705664-1 is not prime. Res64: 1C74FA1B3564453A Time : 623.0 sec. user=vaughan [2009-08-02 18:52:48] 405*2^705665-1 is not prime. Res64: 6E696E09789D09E1 Time : 471.0 sec. user=vaughan [2009-08-02 18:55:32] 409*2^705665-1 is not prime. Res64: FE66DA9A6502294A Time : 463.0 sec. user=vaughan [2009-08-02 19:00:11] 421*2^705665-1 is not prime. Res64: D98C913086007355 Time : 621.0 sec. user=vaughan [2009-08-02 19:00:13] 441*2^705665-1 is not prime. Res64: 6D6A9F7FCDB3E641 Time : 620.0 sec. user=vaughan [2009-08-02 19:00:20] 465*2^705665-1 is not prime. Res64: 320616985EFE7B84 Time : 622.0 sec. user=vaughan [2009-08-02 19:00:33] 589*2^705665-1 is not prime. Res64: 51E499CCB94A34A6 Time : 466.0 sec. user=vaughan [2009-08-02 19:00:36] 517*2^705665-1 is not prime. Res64: EB405FECE71A283E Time : 621.0 sec. user=vaughan [2009-08-02 19:03:15] 405*2^705666-1 is not prime. Res64: 2C37225ABDC0873D Time : 465.0 sec. user=vaughan [2009-08-02 19:08:18] 563*2^705666-1 is not prime. Res64: F9585B7E28C35C61 Time : 467.0 sec. user=vaughan [2009-08-02 19:10:32] 437*2^705666-1 is not prime. Res64: 6EAB87F4AC7C71C5 Time : 622.0 sec. user=vaughan [2009-08-02 19:10:34] 447*2^705666-1 is not prime. Res64: 24E1CE6B5E2922E4 Time : 622.0 sec. user=vaughan [2009-08-02 19:10:40] 495*2^705666-1 is not prime. Res64: 63D226C107620494 Time : 621.0 sec. user=vaughan [2009-08-02 19:10:55] 581*2^705666-1 is not prime. Res64: 113C8B4F13B846E6 Time : 620.0 sec. user=vaughan [2009-08-02 19:10:56] 405*2^705667-1 is not prime. Res64: AC67120C025A33E3 Time : 462.0 sec. user=vaughan [2009-08-02 19:16:03] 463*2^705667-1 is not prime. Res64: 3EDEF1133EE46021 Time : 466.0 sec. user=vaughan [2009-08-02 19:18:38] 563*2^705652-1 is not prime. Res64: AAF16B9A09E89251 Time : 466.0 sec. user=vaughan [2009-08-02 19:20:52] 531*2^705667-1 is not prime. Res64: 2ED52B2DBF8AA400 Time : 622.0 sec. user=vaughan [2009-08-02 19:20:55] 555*2^705667-1 is not prime. Res64: 8F8EA9BB52CDBFD5 Time : 622.0 sec. user=vaughan [2009-08-02 19:21:01] 549*2^705652-1 is not prime. Res64: FB16FA99D9935F19 Time : 622.0 sec. user=vaughan [2009-08-02 19:21:16] 573*2^705652-1 is not prime. Res64: 5E761D7CD964DCC1 Time : 622.0 sec. user=vaughan [2009-08-02 19:24:02] 421*2^705653-1 is not prime. Res64: 27F505857560302B Time : 480.0 sec. user=vaughan [2009-08-02 19:26:18] 441*2^705653-1 is not prime. Res64: EC1A797B7AA829BA Time : 461.0 sec. user=vaughan [2009-08-02 19:31:13] 451*2^705653-1 is not prime. Res64: DFDA4312B9891987 Time : 622.0 sec. user=vaughan [2009-08-02 19:31:16] 519*2^705653-1 is not prime. Res64: 823F0D69387D166A Time : 622.0 sec. user=vaughan [2009-08-02 19:31:21] 537*2^705653-1 is not prime. Res64: BF7550288F086A64 Time : 622.0 sec. user=vaughan [2009-08-02 19:31:37] 447*2^705654-1 is not prime. Res64: 726A10C0DF5595F0 Time : 622.0 sec. user=vaughan [2009-08-02 19:31:49] 485*2^705654-1 is not prime. Res64: D81B171F5AF56148 Time : 469.0 sec. user=vaughan [2009-08-02 19:33:58] 507*2^705654-1 is not prime. Res64: 59EA0CC49CC99743 Time : 461.0 sec. user=vaughan [2009-08-02 19:39:35] 595*2^705655-1 is not prime. Res64: F522DE5AA15AB3A2 Time : 467.0 sec. user=vaughan [2009-08-02 19:41:34] 469*2^705655-1 is not prime. Res64: C8BA7467EE29A4AB Time : 622.0 sec. user=vaughan [2009-08-02 19:41:36] 511*2^705655-1 is not prime. Res64: 1361457EA35AA912 Time : 621.0 sec. user=vaughan [2009-08-02 19:41:37] 417*2^705656-1 is not prime. Res64: C482551335E0004A Time : 461.0 sec. user=vaughan [2009-08-02 19:41:42] 525*2^705655-1 is not prime. Res64: B27343C50A4374BC Time : 622.0 sec. user=vaughan [2009-08-02 19:41:56] 579*2^705655-1 is not prime. Res64: 12FEE45BF25690D1 Time : 621.0 sec. user=vaughan [2009-08-02 19:47:21] 447*2^705656-1 is not prime. Res64: 017910310509C3F4 Time : 467.0 sec. user=vaughan [2009-08-02 19:49:17] 441*2^705657-1 is not prime. Res64: D49EEE7E7B2E94C4 Time : 461.0 sec. user=vaughan [2009-08-02 19:51:57] 539*2^705656-1 is not prime. Res64: E8380B86B18641AF Time : 622.0 sec. user=vaughan [2009-08-02 19:51:59] 455*2^705656-1 is not prime. Res64: C48EE03C8A374028 Time : 626.0 sec. user=vaughan [2009-08-02 19:52:03] 475*2^705657-1 is not prime. Res64: 10D5AF485727359B Time : 622.0 sec. user=vaughan [2009-08-02 19:52:15] 531*2^705657-1 is not prime. Res64: 1BA9A65A18A3E5EF Time : 620.0 sec. user=vaughan [2009-08-02 19:55:05] 559*2^705657-1 is not prime. Res64: 5EE62CD41609066D Time : 466.0 sec. user=vaughan [2009-08-02 19:56:56] 465*2^705658-1 is not prime. Res64: B71F5DB82B72A9FC Time : 460.0 sec. user=vaughan [2009-08-02 20:02:12] 513*2^705658-1 is not prime. Res64: 1F500ADFEB865D74 Time : 617.0 sec. user=vaughan [2009-08-02 20:02:16] 555*2^705658-1 is not prime. Res64: 6DF00D1C1EB3FB93 Time : 619.0 sec. user=vaughan [2009-08-02 20:02:19] 435*2^705659-1 is not prime. Res64: 37F35DB883FCD28E Time : 617.0 sec. user=vaughan [2009-08-02 20:02:31] 489*2^705659-1 is not prime. Res64: 723095227E10844B Time : 617.0 sec. user=vaughan [2009-08-02 20:02:45] 507*2^705668-1 is not prime. Res64: E454B7A1C45FFC99 Time : 461.0 sec. user=vaughan [2009-08-02 20:04:32] 417*2^705669-1 is not prime. Res64: 9751AF5FC3588AA6 Time : 457.0 sec. user=vaughan [2009-08-02 20:10:25] 565*2^705669-1 is not prime. Res64: 14F404AA36EF0B44 Time : 460.0 sec. user=vaughan [2009-08-02 20:12:09] 571*2^705669-1 is not prime. Res64: 4A572235AF5D0D61 Time : 457.0 sec. user=vaughan [2009-08-02 20:12:28] 427*2^705669-1 is not prime. Res64: A1F90378EF87C542 Time : 616.0 sec. user=vaughan [2009-08-02 20:12:32] 429*2^705669-1 is not prime. Res64: E28C322CA303D33C Time : 617.0 sec. user=vaughan [2009-08-02 20:12:35] 465*2^705669-1 is not prime. Res64: F12450835E2C2546 Time : 616.0 sec. user=vaughan [2009-08-02 20:12:48] 487*2^705669-1 is not prime. Res64: DAFC4B55E9709F54 Time : 617.0 sec. user=vaughan [2009-08-02 20:18:05] 443*2^705670-1 is not prime. Res64: 036DB2D8E26566FB Time : 460.0 sec. user=vaughan [2009-08-02 20:19:45] 461*2^705670-1 is not prime. Res64: 44E1D06E92326322 Time : 457.0 sec. user=vaughan [2009-08-02 20:22:44] 471*2^705670-1 is not prime. Res64: 5AFEC38432AF54DB Time : 616.0 sec. user=vaughan [2009-08-02 20:22:48] 591*2^705670-1 is not prime. Res64: 98510B057B7F165F Time : 617.0 sec. user=vaughan [2009-08-02 20:22:51] 411*2^705671-1 is not prime. Res64: 598FF41C1F47B2DD Time : 616.0 sec. user=vaughan [2009-08-02 20:23:04] 433*2^705671-1 is not prime. Res64: 74EB6598786023CD Time : 616.0 sec. user=vaughan [2009-08-02 20:25:46] 549*2^705671-1 is not prime. Res64: 1878B18D397D38B2 Time : 461.0 sec. user=vaughan [2009-08-02 20:27:20] 585*2^705671-1 is not prime. Res64: B58C37B91A8E6B6D Time : 455.0 sec. user=vaughan [2009-08-02 20:33:00] 467*2^705672-1 is not prime. Res64: 0219E8099A7CD564 Time : 616.0 sec. user=vaughan [2009-08-02 20:33:04] 479*2^705672-1 is not prime. Res64: 643BCCD891A5D82A Time : 617.0 sec. user=vaughan [2009-08-02 20:33:07] 503*2^705672-1 is not prime. Res64: 57E430C164E8F8F1 Time : 616.0 sec. user=vaughan [2009-08-02 20:33:20] 549*2^705672-1 is not prime. Res64: 4CF433D3CB6451D2 Time : 616.0 sec. user=vaughan [2009-08-02 20:33:27] 405*2^705673-1 is not prime. Res64: C165F9F2FF5CFF8F Time : 461.0 sec. user=vaughan [2009-08-02 20:34:56] 465*2^705673-1 is not prime. Res64: D94EE0AD7CC45B7E Time : 456.0 sec. user=vaughan [2009-08-02 20:41:08] 531*2^705675-1 is not prime. Res64: 62ECC3DA78C99511 Time : 461.0 sec. user=vaughan [2009-08-02 20:42:32] 595*2^705675-1 is not prime. Res64: 899226017470F331 Time : 456.0 sec. user=vaughan [2009-08-02 20:43:16] 567*2^705674-1 is not prime. Res64: 45072252DD7B7486 Time : 616.0 sec. user=vaughan [2009-08-02 20:43:20] 587*2^705674-1 is not prime. Res64: 6845C542F1605116 Time : 617.0 sec. user=vaughan [2009-08-02 20:43:23] 453*2^705675-1 is not prime. Res64: 606EE02C1F197B5E Time : 616.0 sec. user=vaughan [2009-08-02 20:43:36] 465*2^705675-1 is not prime. Res64: C318069E865DB423 Time : 616.0 sec. user=vaughan [2009-08-02 20:48:49] 437*2^705676-1 is not prime. Res64: 1C80DEA515C9EBA6 Time : 461.0 sec. user=vaughan [2009-08-02 20:50:08] 465*2^705676-1 is not prime. Res64: 38A790E44BBCF763 Time : 457.0 sec. user=vaughan [2009-08-02 20:53:32] 495*2^705676-1 is not prime. Res64: 2097920FA9ECDC3D Time : 616.0 sec. user=vaughan [2009-08-02 20:53:36] 497*2^705676-1 is not prime. Res64: A388965A404251EB Time : 616.0 sec. user=vaughan [2009-08-02 20:53:40] 567*2^705676-1 is not prime. Res64: 48BA965F2ABF371E Time : 617.0 sec. user=vaughan [2009-08-02 20:53:52] 405*2^705677-1 is not prime. Res64: 3D9824DF33791FB5 Time : 616.0 sec. user=vaughan [2009-08-02 20:56:30] 477*2^705677-1 is not prime. Res64: D8A2CC8CED9833EC Time : 461.0 sec. user=vaughan [2009-08-02 20:57:44] 549*2^705677-1 is not prime. Res64: A66327E5DEE0FBCC Time : 457.0 sec. user=vaughan [2009-08-02 21:03:49] 405*2^705678-1 is not prime. Res64: C6716F4D3097E266 Time : 617.0 sec. user=vaughan [2009-08-02 21:03:52] 465*2^705678-1 is not prime. Res64: 06847BD26BA94C61 Time : 616.0 sec. user=vaughan [2009-08-02 21:03:56] 485*2^705678-1 is not prime. Res64: A00ABE0BF93BBFE4 Time : 616.0 sec. user=vaughan [2009-08-02 21:04:08] 507*2^705678-1 is not prime. Res64: 6357518E69D70B29 Time : 616.0 sec. user=vaughan [2009-08-02 21:04:10] 525*2^705678-1 is not prime. Res64: 30D90C75F195D657 Time : 460.0 sec. user=vaughan [2009-08-02 21:05:19] 555*2^705678-1 is not prime. Res64: 1D449D92A703780B Time : 456.0 sec. user=vaughan [2009-08-02 21:11:50] 585*2^705680-1 is not prime. Res64: 256E97E98E1C4921 Time : 460.0 sec. user=vaughan [2009-08-02 21:12:55] 409*2^705681-1 is not prime. Res64: F1AD27F715A33840 Time : 457.0 sec. user=vaughan [2009-08-02 21:14:05] 567*2^705678-1 is not prime. Res64: 060D98C8FE56A16F Time : 616.0 sec. user=vaughan [2009-08-02 21:14:08] 407*2^705680-1 is not prime. Res64: 1130F1B8900720D2 Time : 616.0 sec. user=vaughan [2009-08-02 21:14:12] 413*2^705680-1 is not prime. Res64: EF7E5A07978232D5 Time : 616.0 sec. user=vaughan [2009-08-02 21:14:24] 479*2^705680-1 is not prime. Res64: 437FE8077D6B633B Time : 616.0 sec. user=vaughan [2009-08-02 21:19:33] 495*2^705681-1 is not prime. Res64: DAA12613DEF83FE1 Time : 463.0 sec. user=vaughan [2009-08-02 21:20:30] 571*2^705681-1 is not prime. Res64: 69946E41648CEC94 Time : 456.0 sec. user=vaughan [2009-08-02 21:24:22] 405*2^705682-1 is not prime. Res64: 4EB5B707D38AB9FD Time : 617.0 sec. user=vaughan [2009-08-02 21:24:24] 567*2^705682-1 is not prime. Res64: 9836E8A34CA98D24 Time : 616.0 sec. user=vaughan [2009-08-02 21:24:28] 439*2^705683-1 is not prime. Res64: C2E1958D093D5C48 Time : 616.0 sec. user=vaughan [2009-08-02 21:24:40] 445*2^705683-1 is not prime. Res64: C7DA841E61520474 Time : 616.0 sec. user=vaughan [2009-08-02 21:27:13] 481*2^705683-1 is not prime. Res64: B21E2EC8E1470FC9 Time : 460.0 sec. user=vaughan [2009-08-02 21:28:05] 447*2^705684-1 is not prime. Res64: AB7E33E85D3821F4 Time : 456.0 sec. user=vaughan [2009-08-02 21:34:39] 473*2^705684-1 is not prime. Res64: DC61A71CC7E6E7B9 Time : 617.0 sec. user=vaughan [2009-08-02 21:34:40] 503*2^705684-1 is not prime. Res64: 460C170358C9BAA1 Time : 616.0 sec. user=vaughan [2009-08-02 21:34:44] 531*2^705685-1 is not prime. Res64: 880A3A3D4603AF3E Time : 616.0 sec. user=vaughan [2009-08-02 21:34:56] 437*2^705686-1 is not prime. Res64: 8D868463629554C0 Time : 463.0 sec. user=vaughan [2009-08-02 21:34:56] 425*2^705686-1 is not prime. Res64: FDDCFA6854AE0B78 Time : 616.0 sec. user=vaughan [2009-08-02 21:35:38] 455*2^705686-1 is not prime. Res64: 41804563AC907B27 Time : 453.0 sec. user=vaughan [2009-08-02 21:42:40] 503*2^705686-1 is not prime. Res64: 719C229657D57827 Time : 464.0 sec. user=vaughan [2009-08-02 21:43:10] 545*2^705686-1 is not prime. Res64: F55B172F64C74258 Time : 452.0 sec. user=vaughan [2009-08-02 21:44:56] 477*2^705686-1 is not prime. Res64: AE9F8F7A329B2902 Time : 617.0 sec. user=vaughan [2009-08-02 21:44:57] 495*2^705686-1 is not prime. Res64: A7CCD697DDD7E578 Time : 617.0 sec. user=vaughan [2009-08-02 21:45:00] 501*2^705686-1 is not prime. Res64: FE35D9C95CFC985E Time : 616.0 sec. user=vaughan [2009-08-02 21:45:12] 507*2^705686-1 is not prime. Res64: 9C3C63D37F1F3CEF Time : 616.0 sec. user=vaughan [2009-08-02 21:50:24] 439*2^705687-1 is not prime. Res64: FA77CD3C48D9F8B2 Time : 464.0 sec. user=vaughan [2009-08-02 21:50:43] 441*2^705687-1 is not prime. Res64: 1A2804FDAC185F84 Time : 453.0 sec. user=vaughan [2009-08-02 21:55:12] 571*2^705687-1 is not prime. Res64: 48AF16B0E69A903E Time : 616.0 sec. user=vaughan [2009-08-02 21:55:13] 413*2^705688-1 is not prime. Res64: E74247BCC559C646 Time : 616.0 sec. user=vaughan [2009-08-02 21:55:17] 489*2^705688-1 is not prime. Res64: F5007C2B59C48E3F Time : 617.0 sec. user=vaughan [2009-08-02 21:55:29] 519*2^705688-1 is not prime. Res64: 14C1FB0B2EB85F85 Time : 617.0 sec. user=vaughan [2009-08-02 21:58:09] 533*2^705688-1 is not prime. Res64: 846B4C992006BECD Time : 465.0 sec. user=vaughan [2009-08-02 21:58:16] 575*2^705688-1 is not prime. Res64: 4125CBCD71B9074B Time : 453.0 sec. user=vaughan [2009-08-02 22:05:28] 411*2^705689-1 is not prime. Res64: F3850AB548D6B202 Time : 616.0 sec. user=vaughan [2009-08-02 22:05:29] 501*2^705689-1 is not prime. Res64: 035C6B26F94FAAAE Time : 616.0 sec. user=vaughan [2009-08-02 22:05:33] 517*2^705689-1 is not prime. Res64: BE5FFFABF65735FB Time : 616.0 sec. user=vaughan [2009-08-02 22:05:46] 559*2^705689-1 is not prime. Res64: 20B022C215F2E615 Time : 617.0 sec. user=vaughan [2009-08-02 22:05:49] 405*2^705691-1 is not prime. Res64: 17351020A7689E57 Time : 453.0 sec. user=vaughan [2009-08-02 22:05:53] 417*2^705690-1 is not prime. Res64: BF8EAD4CA814CB5C Time : 465.0 sec. user=vaughan [2009-08-02 22:13:22] 437*2^705692-1 is not prime. Res64: CB3328C685684F40 Time : 453.0 sec. user=vaughan [2009-08-02 22:13:37] 455*2^705692-1 is not prime. Res64: 285EB87E06985805 Time : 465.0 sec. user=vaughan [2009-08-02 22:15:44] 421*2^705691-1 is not prime. Res64: 8B226D8C95696F6A Time : 616.0 sec. user=vaughan [2009-08-02 22:15:45] 465*2^705691-1 is not prime. Res64: 633E74A431AD6BCC Time : 616.0 sec. user=vaughan [2009-08-02 22:15:49] 511*2^705691-1 is not prime. Res64: CE769FBBA0D7CB8D Time : 616.0 sec. user=vaughan [2009-08-02 22:16:02] 531*2^705691-1 is not prime. Res64: 1D1871341DF2B770 Time : 616.0 sec. user=vaughan [2009-08-02 22:20:55] 525*2^705692-1 is not prime. Res64: 2DE46B7FA46434DE Time : 453.0 sec. user=vaughan [2009-08-02 22:21:21] 573*2^705692-1 is not prime. Res64: 3891B124C3A092BD Time : 465.0 sec. user=vaughan [2009-08-02 22:26:00] 599*2^705692-1 is not prime. Res64: E2EFEFC4C04C1D9C Time : 616.0 sec. user=vaughan [2009-08-02 22:26:01] 471*2^705693-1 is not prime. Res64: 69E8BF0F06C47266 Time : 616.0 sec. user=vaughan [2009-08-02 22:26:05] 481*2^705693-1 is not prime. Res64: 5D9FEAA36E801FFB Time : 616.0 sec. user=vaughan [2009-08-02 22:26:19] 423*2^705694-1 is not prime. Res64: CC9588F0A988AE72 Time : 617.0 sec. user=vaughan [2009-08-02 22:28:29] 527*2^705694-1 is not prime. Res64: CE1E02EB02E68B6E Time : 454.0 sec. user=vaughan [2009-08-02 22:29:04] 561*2^705694-1 is not prime. Res64: 7F8AEFA8B34AA791 Time : 464.0 sec. user=vaughan [2009-08-02 22:36:04] 519*2^705695-1 is not prime. Res64: 3A07EB15DFCC12E7 Time : 455.0 sec. user=vaughan [2009-08-02 22:36:17] 463*2^705695-1 is not prime. Res64: 4EA072AF7B68BAB2 Time : 616.0 sec. user=vaughan [2009-08-02 22:36:17] 567*2^705694-1 is not prime. Res64: 7C953224578BBEEC Time : 617.0 sec. user=vaughan [2009-08-02 22:36:21] 465*2^705695-1 is not prime. Res64: 3A7DA9B5D0F1111E Time : 616.0 sec. user=vaughan [2009-08-02 22:36:35] 469*2^705695-1 is not prime. Res64: EB85EF09734B7B97 Time : 616.0 sec. user=vaughan [2009-08-02 22:36:45] 591*2^705695-1 is not prime. Res64: 257BC83EE361F0ED Time : 462.0 sec. user=vaughan [2009-08-02 22:43:40] 413*2^705696-1 is not prime. Res64: CB0402A73BAADEF0 Time : 456.0 sec. user=vaughan [2009-08-02 22:44:26] 507*2^705697-1 is not prime. Res64: 99AFD0A6A335B425 Time : 462.0 sec. user=vaughan [2009-08-02 22:46:33] 503*2^705696-1 is not prime. Res64: FBBAFEF9A9A539E2 Time : 616.0 sec. user=vaughan [2009-08-02 22:46:34] 557*2^705696-1 is not prime. Res64: 7DB0DF23B4B3AFA3 Time : 617.0 sec. user=vaughan [2009-08-02 22:46:37] 495*2^705697-1 is not prime. Res64: E3ADFD1C2CC7E460 Time : 616.0 sec. user=vaughan [2009-08-02 22:46:52] 505*2^705697-1 is not prime. Res64: 3B69DE4360CFFC1A Time : 617.0 sec. user=vaughan [2009-08-02 22:51:16] 517*2^705697-1 is not prime. Res64: 7022752A504B3D87 Time : 456.0 sec. user=vaughan [2009-08-02 22:52:07] 565*2^705697-1 is not prime. Res64: 344D7A1A1D057DA5 Time : 462.0 sec. user=vaughan [2009-08-02 22:56:49] 467*2^705698-1 is not prime. Res64: FB84035D9B5A8C9D Time : 616.0 sec. user=vaughan [2009-08-02 22:56:50] 545*2^705698-1 is not prime. Res64: 6FC7BB48A9DB51C9 Time : 616.0 sec. user=vaughan [2009-08-02 22:56:53] 411*2^705699-1 is not prime. Res64: DA1CE18D3AE03B15 Time : 616.0 sec. user=vaughan [2009-08-02 22:57:08] 433*2^705699-1 is not prime. Res64: 2665B5D6512202E3 Time : 616.0 sec. user=vaughan [2009-08-02 22:58:51] 441*2^705699-1 is not prime. Res64: 3D788DB480B9347B Time : 455.0 sec. user=vaughan [2009-08-02 22:59:48] 451*2^705699-1 is not prime. Res64: C19DBE67AB483030 Time : 462.0 sec. user=vaughan [2009-08-02 23:06:27] 489*2^705700-1 is not prime. Res64: 0DE3830E3F68EA02 Time : 456.0 sec. user=vaughan [2009-08-02 23:07:05] 523*2^705699-1 is not prime. Res64: 76C6955155713B7C Time : 616.0 sec. user=vaughan [2009-08-02 23:07:06] 543*2^705699-1 is not prime. Res64: D5DCD0784BBCCFA7 Time : 616.0 sec. user=vaughan [2009-08-02 23:07:09] 573*2^705699-1 is not prime. Res64: B3A9C247390D0FD9 Time : 616.0 sec. user=vaughan [2009-08-02 23:07:25] 579*2^705699-1 is not prime. Res64: C97C4947B08C72A8 Time : 617.0 sec. user=vaughan [2009-08-02 23:07:28] 513*2^705700-1 is not prime. Res64: AF99B922C718F5A5 Time : 461.0 sec. user=vaughan [2009-08-02 23:14:03] 525*2^705700-1 is not prime. Res64: 35BC8DECDD9E8EF0 Time : 456.0 sec. user=vaughan [2009-08-02 23:15:09] 561*2^705701-1 is not prime. Res64: A8618F09BEFEC48C Time : 462.0 sec. user=vaughan [2009-08-02 23:17:21] 533*2^705700-1 is not prime. Res64: 0DF0117EA743851E Time : 616.0 sec. user=vaughan [2009-08-02 23:17:23] 487*2^705701-1 is not prime. Res64: FF2A9391DA2E82A7 Time : 617.0 sec. user=vaughan [2009-08-02 23:17:26] 525*2^705701-1 is not prime. Res64: D5598E6BE2C57739 Time : 617.0 sec. user=vaughan [2009-08-02 23:17:41] 559*2^705701-1 is not prime. Res64: 94C4C03FE66611F2 Time : 616.0 sec. user=vaughan [2009-08-02 23:21:38] 577*2^705701-1 is not prime. Res64: 32307F43306177C7 Time : 455.0 sec. user=vaughan [2009-08-02 23:22:51] 405*2^705702-1 is not prime. Res64: BCD925F80249B23F Time : 463.0 sec. user=vaughan [2009-08-02 23:27:37] 413*2^705702-1 is not prime. Res64: 8130C5BF1685B175 Time : 616.0 sec. user=vaughan [2009-08-02 23:27:39] 567*2^705702-1 is not prime. Res64: 2CE52F0C4AE5974A Time : 616.0 sec. user=vaughan [2009-08-02 23:27:42] 433*2^705703-1 is not prime. Res64: 930BAFF9CBCFB3CA Time : 616.0 sec. user=vaughan [2009-08-02 23:27:57] 453*2^705703-1 is not prime. Res64: A8C74C5A233299F3 Time : 617.0 sec. user=vaughan [2009-08-02 23:29:14] 475*2^705703-1 is not prime. Res64: B5F54847F48901AD Time : 456.0 sec. user=vaughan [2009-08-02 23:30:32] 493*2^705703-1 is not prime. Res64: 58AF012D34DBA13F Time : 462.0 sec. user=vaughan [2009-08-02 23:36:50] 511*2^705705-1 is not prime. Res64: 48EFEB91C0E5F79D Time : 456.0 sec. user=vaughan [2009-08-02 23:38:12] 425*2^705706-1 is not prime. Res64: C338B9514BAC4817 Time : 461.0 sec. user=vaughan [2009-08-02 23:38:16] 505*2^705703-1 is not prime. Res64: 06984B5297EC90B0 Time : 639.0 sec. user=vaughan [2009-08-02 23:38:19] 473*2^705704-1 is not prime. Res64: 6648A1938F95FBD5 Time : 640.0 sec. user=vaughan [2009-08-02 23:38:24] 495*2^705704-1 is not prime. Res64: 8BB1BA69FB7B0EA4 Time : 642.0 sec. user=vaughan [2009-08-02 23:38:41] 563*2^705704-1 is not prime. Res64: DDBFE70A0EF1B916 Time : 645.0 sec. user=vaughan [2009-08-02 23:44:26] 437*2^705706-1 is not prime. Res64: E2BB4D939DA9542D Time : 456.0 sec. user=vaughan [2009-08-02 23:45:53] 447*2^705706-1 is not prime. Res64: 80F14F1621790125 Time : 461.0 sec. user=vaughan [2009-08-02 23:49:53] 561*2^705706-1 is not prime. Res64: AB53F6A118F3B35C Time : 698.0 sec. user=vaughan [2009-08-02 23:49:55] 573*2^705706-1 is not prime. Res64: 8B7AC89B1550C176 Time : 697.0 sec. user=vaughan [2009-08-02 23:49:56] 581*2^705706-1 is not prime. Res64: 10E9B7F99E11B496 Time : 693.0 sec. user=vaughan [2009-08-02 23:50:12] 435*2^705707-1 is not prime. Res64: 3FD43036B7AD0752 Time : 691.0 sec. user=vaughan [2009-08-02 23:52:02] 595*2^705707-1 is not prime. Res64: B09605478B7FBEDE Time : 456.0 sec. user=vaughan [2009-08-02 23:53:34] 467*2^705708-1 is not prime. Res64: E7255461655BF24A Time : 461.0 sec. user=vaughan [2009-08-02 23:59:37] 517*2^705709-1 is not prime. Res64: EB6A6914324BA5E3 Time : 455.0 sec.