user=Flatlander [2010-06-23 00:01:57] 423*2^835044-1 is not prime. Res64: 59F68F483921E4D1 Time : 7451.0 sec. user=Flatlander [2010-06-23 00:01:58] 479*2^835044-1 is not prime. Res64: 15A5B47424D71B2D Time : 7450.0 sec. user=Flatlander [2010-06-23 00:01:58] 483*2^835044-1 is not prime. Res64: 65603E5360BA83F7 Time : 7449.0 sec. user=Flatlander [2010-06-23 00:01:59] 497*2^835044-1 is not prime. Res64: 967A319D0326F91D Time : 7448.0 sec. user=Flatlander [2010-06-23 00:02:00] 503*2^835044-1 is not prime. Res64: 9091E9E8B49433E2 Time : 7447.0 sec. user=Flatlander [2010-06-23 00:24:16] 415*2^835045-1 is not prime. Res64: 0BC03756FF4B2AD4 Time : 7668.0 sec. user=Flatlander [2010-06-23 00:24:17] 561*2^835045-1 is not prime. Res64: 9323DFF09CEE7E6E Time : 7667.0 sec. user=Flatlander [2010-06-23 00:24:17] 565*2^835045-1 is not prime. Res64: 1786F5973DC513B4 Time : 7665.0 sec. user=Flatlander [2010-06-23 00:24:18] 567*2^835045-1 is not prime. Res64: 275B65C1E2525BFC Time : 7665.0 sec. user=Flatlander [2010-06-23 00:24:19] 453*2^835046-1 is not prime. Res64: 7674CD07376CB77C Time : 7664.0 sec. user=Flatlander [2010-06-23 01:31:20] 599*2^835052-1 is not prime. Res64: 04F20C1ABFCBD5E0 Time : 5358.0 sec. user=Flatlander [2010-06-23 01:31:21] 405*2^835053-1 is not prime. Res64: 10585D3FD799A1FB Time : 5358.0 sec. user=Flatlander [2010-06-23 01:31:22] 427*2^835053-1 is not prime. Res64: E59808C266492F29 Time : 5357.0 sec. user=Flatlander [2010-06-23 01:31:23] 507*2^835053-1 is not prime. Res64: 9A6E244DE011B897 Time : 5356.0 sec. user=Flatlander [2010-06-23 01:31:24] 511*2^835053-1 is not prime. Res64: 6E44A3EF91F252AD Time : 5356.0 sec. user=Flatlander [2010-06-23 01:56:16] 555*2^835050-1 is not prime. Res64: B22858102DE8B995 Time : 8359.0 sec. user=Flatlander [2010-06-23 01:56:17] 567*2^835050-1 is not prime. Res64: 9D9A1C4F43E53FE1 Time : 8359.0 sec. user=Flatlander [2010-06-23 01:56:17] 411*2^835051-1 is not prime. Res64: D3F4F5CEFA8220E6 Time : 8357.0 sec. user=Flatlander [2010-06-23 01:56:18] 451*2^835051-1 is not prime. Res64: AA3D37E0D3590131 Time : 8357.0 sec. user=Flatlander [2010-06-23 01:56:19] 483*2^835051-1 is not prime. Res64: 1A6D70936833BBC3 Time : 8356.0 sec. user=Flatlander [2010-06-23 02:03:11] 499*2^835051-1 is not prime. Res64: C925576C8280553C Time : 7414.0 sec. user=Flatlander [2010-06-23 02:03:11] 573*2^835051-1 is not prime. Res64: 5B88A964DAC56AD8 Time : 7412.0 sec. user=Flatlander [2010-06-23 02:03:12] 417*2^835052-1 is not prime. Res64: 32922808D0E982C1 Time : 7412.0 sec. user=Flatlander [2010-06-23 02:03:13] 507*2^835052-1 is not prime. Res64: 6C5894A585E9948A Time : 7411.0 sec. user=Flatlander [2010-06-23 02:03:14] 573*2^835052-1 is not prime. Res64: FD5D903185A54301 Time : 7410.0 sec. user=Flatlander [2010-06-23 02:31:08] 549*2^835053-1 is not prime. Res64: D9AF07ABEC7A41D2 Time : 7607.0 sec. user=Flatlander [2010-06-23 02:31:09] 401*2^835054-1 is not prime. Res64: 8A522CCD3E2D4500 Time : 7607.0 sec. user=Flatlander [2010-06-23 02:31:10] 413*2^835054-1 is not prime. Res64: EE336E7598DFD765 Time : 7606.0 sec. user=Flatlander [2010-06-23 02:31:11] 453*2^835054-1 is not prime. Res64: 574E83226373BDB4 Time : 7606.0 sec. user=Flatlander [2010-06-23 02:31:12] 567*2^835054-1 is not prime. Res64: 38FBE7B3EC3F40DC Time : 7605.0 sec. user=vaughan [2010-06-23 03:15:21] 413*2^835050-1 is not prime. Res64: FC367B270EE33301 Time : 15516.0 sec. user=vaughan [2010-06-23 03:15:22] 447*2^835026-1 is not prime. Res64: C9DB3AB9D5C81AB9 Time : 35247.0 sec. user=vaughan [2010-06-23 03:15:22] 537*2^835050-1 is not prime. Res64: BCC5130DB548D91B Time : 15177.0 sec. user=vaughan [2010-06-23 03:15:23] 457*2^835029-1 is not prime. Res64: C38F0D7DF1874B8C Time : 34844.0 sec. user=vaughan [2010-06-23 03:15:23] 555*2^835030-1 is not prime. Res64: 6C865CE13AB3911A Time : 34704.0 sec. user=vaughan [2010-06-23 03:15:23] 425*2^835028-1 is not prime. Res64: 32AB13C5D141EEA4 Time : 34910.0 sec. user=vaughan [2010-06-23 03:15:25] 527*2^835026-1 is not prime. Res64: BC7B86278848B7B9 Time : 35084.0 sec. user=vaughan [2010-06-23 03:15:25] 441*2^835023-1 is not prime. Res64: 04BD64E59DCAC204 Time : 35535.0 sec. user=vaughan [2010-06-23 03:15:25] 579*2^835029-1 is not prime. Res64: 592199E65E5CC021 Time : 34801.0 sec. user=vaughan [2010-06-23 03:15:25] 539*2^835024-1 is not prime. Res64: B00E1D4DC288C4BC Time : 35559.0 sec. user=vaughan [2010-06-23 03:15:26] 575*2^835024-1 is not prime. Res64: CFE5FE2B007EF9DC Time : 35425.0 sec. user=vaughan [2010-06-23 03:15:26] 587*2^835024-1 is not prime. Res64: BF47F4BB1DC07D01 Time : 35261.0 sec. user=vaughan [2010-06-23 03:15:26] 559*2^835049-1 is not prime. Res64: 03EC95B216FE8B83 Time : 15543.0 sec. user=vaughan [2010-06-23 03:15:26] 573*2^835028-1 is not prime. Res64: A7C6B760E1FB7054 Time : 34863.0 sec. user=vaughan [2010-06-23 03:15:27] 463*2^835031-1 is not prime. Res64: C1E477E69FD24447 Time : 34555.0 sec. user=vaughan [2010-06-23 03:15:27] 425*2^835030-1 is not prime. Res64: C9146BBF19057CF5 Time : 34728.0 sec. user=vaughan [2010-06-23 03:15:29] 487*2^835025-1 is not prime. Res64: CC61C9841D846BB2 Time : 35246.0 sec. user=vaughan [2010-06-23 03:15:32] 563*2^835024-1 is not prime. Res64: 2091A5481580B0D4 Time : 35512.0 sec. user=vaughan [2010-06-23 03:16:07] 511*2^835029-1 is not prime. Res64: E253FCD6B51EC751 Time : 34847.0 sec. user=vaughan [2010-06-23 03:16:30] 525*2^835050-1 is not prime. Res64: 49F4D9F91B7819E1 Time : 15392.0 sec. user=vaughan [2010-06-23 03:27:28] 555*2^835062-1 is not prime. Res64: 5ED61E7DF347964B Time : 722.0 sec. user=vaughan [2010-06-23 03:27:29] 487*2^835061-1 is not prime. Res64: 627321D3C30FB9BE Time : 727.0 sec. user=vaughan [2010-06-23 03:28:18] 523*2^835063-1 is not prime. Res64: 37E892B780CAA940 Time : 713.0 sec. user=vaughan [2010-06-23 03:31:25] 549*2^835061-1 is not prime. Res64: B98989551A937124 Time : 962.0 sec. user=vaughan [2010-06-23 03:32:09] 499*2^835063-1 is not prime. Res64: E0CC63775B9E54D0 Time : 945.0 sec. user=vaughan [2010-06-23 03:32:18] 521*2^835062-1 is not prime. Res64: 7C04192E91DC9D54 Time : 1013.0 sec. user=Flatlander [2010-06-23 03:32:18] 439*2^835059-1 is not prime. Res64: 839F68FF042656F1 Time : 5343.0 sec. user=Flatlander [2010-06-23 03:32:19] 469*2^835059-1 is not prime. Res64: 8456B3450A8B2510 Time : 5342.0 sec. user=Flatlander [2010-06-23 03:32:19] 481*2^835059-1 is not prime. Res64: DE52AA5995EBFE6A Time : 5340.0 sec. user=Flatlander [2010-06-23 03:32:20] 493*2^835059-1 is not prime. Res64: F024766A2063A1E8 Time : 5340.0 sec. user=Flatlander [2010-06-23 03:32:20] 543*2^835059-1 is not prime. Res64: 36B4395AFF9CDF4A Time : 5338.0 sec. user=vaughan [2010-06-23 03:32:28] 547*2^835061-1 is not prime. Res64: 6C7589D832E39A21 Time : 1026.0 sec. user=vaughan [2010-06-23 03:32:29] 485*2^835062-1 is not prime. Res64: 91315070BCCB3075 Time : 1024.0 sec. user=vaughan [2010-06-23 03:32:33] 407*2^835064-1 is not prime. Res64: B9CCC9ECEA04A101 Time : 966.0 sec. user=vaughan [2010-06-23 03:32:37] 593*2^835064-1 is not prime. Res64: CF8393EFB125C0A8 Time : 968.0 sec. user=vaughan [2010-06-23 03:32:53] 439*2^835063-1 is not prime. Res64: 47429AB8E1030A65 Time : 990.0 sec. user=vaughan [2010-06-23 03:32:53] 553*2^835063-1 is not prime. Res64: 7D48B272C0C70D1A Time : 986.0 sec. user=vaughan [2010-06-23 03:32:55] 525*2^835064-1 is not prime. Res64: 4969114B00F6E065 Time : 987.0 sec. user=vaughan [2010-06-23 03:32:57] 425*2^835066-1 is not prime. Res64: FAB28411A1EC8E1C Time : 984.0 sec. user=vaughan [2010-06-23 03:33:00] 423*2^835063-1 is not prime. Res64: 55C74B5C035B2FE8 Time : 1013.0 sec. user=vaughan [2010-06-23 03:33:13] 465*2^835065-1 is not prime. Res64: 32B0755032BBF35A Time : 1003.0 sec. user=vaughan [2010-06-23 03:33:36] 525*2^835065-1 is not prime. Res64: 291CD3E410B6A5C7 Time : 1025.0 sec. user=vaughan [2010-06-23 03:36:49] 581*2^835066-1 is not prime. Res64: 924AB117E8EF545F Time : 947.0 sec. user=Flatlander [2010-06-23 03:38:09] 475*2^835055-1 is not prime. Res64: 9F7C1831F523A4C6 Time : 7604.0 sec. user=Flatlander [2010-06-23 03:38:10] 489*2^835055-1 is not prime. Res64: 6632A304C6777EFC Time : 7603.0 sec. user=Flatlander [2010-06-23 03:38:10] 573*2^835055-1 is not prime. Res64: CD6BC2EB23ABA59E Time : 7602.0 sec. user=Flatlander [2010-06-23 03:38:11] 429*2^835056-1 is not prime. Res64: C864AF4FB791E7E3 Time : 7601.0 sec. user=Flatlander [2010-06-23 03:38:12] 459*2^835056-1 is not prime. Res64: F1722A1F49F9916F Time : 7601.0 sec. user=vaughan [2010-06-23 03:39:32] 421*2^835067-1 is not prime. Res64: 6FDD58B3DC5CE3AE Time : 725.0 sec. user=vaughan [2010-06-23 03:39:40] 475*2^835067-1 is not prime. Res64: C5CE289488B8AC6C Time : 731.0 sec. user=vaughan [2010-06-23 03:40:11] 495*2^835067-1 is not prime. Res64: F4AB9A0A04EE198B Time : 714.0 sec. user=vaughan [2010-06-23 03:47:30] 529*2^835067-1 is not prime. Res64: 722C386CF704EFEA Time : 966.0 sec. user=vaughan [2010-06-23 03:48:42] 441*2^835071-1 is not prime. Res64: 248D70A4FEB5A2BB Time : 969.0 sec. user=vaughan [2010-06-23 03:48:47] 549*2^835071-1 is not prime. Res64: 40E28A5E0930F0F0 Time : 970.0 sec. user=vaughan [2010-06-23 03:49:14] 557*2^835068-1 is not prime. Res64: 0279E65B5928592D Time : 1017.0 sec. user=vaughan [2010-06-23 03:49:20] 513*2^835072-1 is not prime. Res64: C082655BD96A8638 Time : 985.0 sec. user=vaughan [2010-06-23 03:49:24] 565*2^835071-1 is not prime. Res64: E4B87BCA3B8D5B22 Time : 991.0 sec. user=vaughan [2010-06-23 03:49:35] 485*2^835068-1 is not prime. Res64: AEB92F7F114B698E Time : 1046.0 sec. user=vaughan [2010-06-23 03:49:37] 575*2^835070-1 is not prime. Res64: 561E8F324486C81D Time : 1030.0 sec. user=vaughan [2010-06-23 03:49:43] 585*2^835070-1 is not prime. Res64: BCA4BAB886593F6B Time : 1035.0 sec. user=vaughan [2010-06-23 03:49:52] 571*2^835073-1 is not prime. Res64: 2032205A81569003 Time : 999.0 sec. user=vaughan [2010-06-23 03:49:57] 559*2^835073-1 is not prime. Res64: 5BC84C8C0B7CE9EF Time : 1017.0 sec. user=vaughan [2010-06-23 03:50:00] 511*2^835073-1 is not prime. Res64: 8520C8AF908F7CFA Time : 1023.0 sec. user=vaughan [2010-06-23 03:50:00] 571*2^835071-1 is not prime. Res64: 005A1144ED4EAF55 Time : 1027.0 sec. user=vaughan [2010-06-23 03:50:48] 497*2^835074-1 is not prime. Res64: 8D1710464B37D629 Time : 1032.0 sec. user=vaughan [2010-06-23 03:51:38] 437*2^835076-1 is not prime. Res64: 3CB91F5BE2DD9798 Time : 726.0 sec. user=vaughan [2010-06-23 03:51:54] 477*2^835076-1 is not prime. Res64: 63B879D4D959B476 Time : 735.0 sec. user=vaughan [2010-06-23 03:52:06] 479*2^835076-1 is not prime. Res64: 0E901A0A4ECFF87F Time : 715.0 sec. user=vaughan [2010-06-23 03:52:43] 503*2^835064-1 is not prime. Res64: BC33D8B72E545D5F Time : 954.0 sec. user=vaughan [2010-06-23 04:03:37] 557*2^835076-1 is not prime. Res64: 7D4048BEDB6FF0EC Time : 967.0 sec. user=vaughan [2010-06-23 04:03:45] 525*2^835078-1 is not prime. Res64: BBCD8AA5DC7DF6BA Time : 727.0 sec. user=vaughan [2010-06-23 04:04:01] 525*2^835079-1 is not prime. Res64: EABCCE32153CE88A Time : 715.0 sec. user=Flatlander [2010-06-23 04:04:06] 509*2^835056-1 is not prime. Res64: C374C2EA5F57E1F7 Time : 7665.0 sec. user=Flatlander [2010-06-23 04:04:06] 477*2^835057-1 is not prime. Res64: 689C36B3361EC527 Time : 7664.0 sec. user=vaughan [2010-06-23 04:04:07] 505*2^835079-1 is not prime. Res64: 5631765E5AC329B7 Time : 733.0 sec. user=Flatlander [2010-06-23 04:04:07] 499*2^835057-1 is not prime. Res64: 802F3A08D891E1D9 Time : 7663.0 sec. user=Flatlander [2010-06-23 04:04:08] 507*2^835057-1 is not prime. Res64: 168B290E19329127 Time : 7663.0 sec. user=Flatlander [2010-06-23 04:04:09] 497*2^835058-1 is not prime. Res64: 6557D47E5B0D6C63 Time : 7662.0 sec. user=vaughan [2010-06-23 04:04:49] 579*2^835076-1 is not prime. Res64: 142CC2EB2033E62E Time : 968.0 sec. user=vaughan [2010-06-23 04:04:55] 587*2^835076-1 is not prime. Res64: 45105159350F9942 Time : 969.0 sec. user=vaughan [2010-06-23 04:05:55] 531*2^835077-1 is not prime. Res64: CB4EE7EC7D8F6474 Time : 991.0 sec. user=vaughan [2010-06-23 04:05:55] 517*2^835077-1 is not prime. Res64: 697476E6DE9D7C6E Time : 995.0 sec. user=vaughan [2010-06-23 04:06:15] 475*2^835077-1 is not prime. Res64: B1E04AFBBBA07F72 Time : 1021.0 sec. user=vaughan [2010-06-23 04:06:41] 571*2^835077-1 is not prime. Res64: 143A5075A514E719 Time : 1024.0 sec. user=vaughan [2010-06-23 04:06:53] 435*2^835078-1 is not prime. Res64: 9C5D926B172F9218 Time : 1022.0 sec. user=vaughan [2010-06-23 04:06:58] 447*2^835078-1 is not prime. Res64: BC8C47B13A28D592 Time : 1021.0 sec. user=vaughan [2010-06-23 04:07:00] 537*2^835077-1 is not prime. Res64: 976C6503D0D45386 Time : 1045.0 sec. user=vaughan [2010-06-23 04:07:02] 425*2^835078-1 is not prime. Res64: 31342CD294279F72 Time : 1040.0 sec. user=vaughan [2010-06-23 04:07:05] 465*2^835078-1 is not prime. Res64: B489100610753DB7 Time : 1026.0 sec. user=vaughan [2010-06-23 04:07:05] 491*2^835078-1 is not prime. Res64: 5F378DFF872B953F Time : 1025.0 sec. user=vaughan [2010-06-23 04:08:01] 513*2^835078-1 is not prime. Res64: DA7F5B548B1CC8F3 Time : 1033.0 sec. user=vaughan [2010-06-23 04:08:34] 571*2^835079-1 is not prime. Res64: CA4A651752FCE734 Time : 951.0 sec. user=vaughan [2010-06-23 04:15:52] 563*2^835080-1 is not prime. Res64: 97D1D71F679B794A Time : 728.0 sec. user=vaughan [2010-06-23 04:15:58] 587*2^835080-1 is not prime. Res64: C681C13D8C696A46 Time : 717.0 sec. user=vaughan [2010-06-23 04:16:18] 405*2^835081-1 is not prime. Res64: A87BDB3B7D87D58C Time : 732.0 sec. user=vaughan [2010-06-23 04:19:44] 465*2^835080-1 is not prime. Res64: 1444A8F73374DCE5 Time : 967.0 sec. user=vaughan [2010-06-23 04:20:58] 563*2^835082-1 is not prime. Res64: F157AF7E93DD982C Time : 969.0 sec. user=vaughan [2010-06-23 04:21:05] 429*2^835083-1 is not prime. Res64: 0B702692E340106F Time : 970.0 sec. user=vaughan [2010-06-23 04:21:16] 549*2^835063-1 is not prime. Res64: 72C870780D6E7011 Time : 3889.0 sec. user=vaughan [2010-06-23 04:22:23] 483*2^835083-1 is not prime. Res64: 2E0188F400F7BB63 Time : 988.0 sec. user=vaughan [2010-06-23 04:22:24] 459*2^835083-1 is not prime. Res64: 75882C8CA08959B2 Time : 990.0 sec. user=vaughan [2010-06-23 04:23:15] 571*2^835083-1 is not prime. Res64: 43639BE287ABF8F4 Time : 1020.0 sec. user=vaughan [2010-06-23 04:23:46] 419*2^835084-1 is not prime. Res64: A3D10CA251F3F589 Time : 1025.0 sec. user=vaughan [2010-06-23 04:23:56] 423*2^835084-1 is not prime. Res64: EE276E0B9FA3E0C9 Time : 1023.0 sec. user=vaughan [2010-06-23 04:23:59] 483*2^835084-1 is not prime. Res64: A8BA0B179838E978 Time : 1021.0 sec. user=vaughan [2010-06-23 04:24:09] 459*2^835085-1 is not prime. Res64: 29AC604AD429705A Time : 1024.0 sec. user=vaughan [2010-06-23 04:24:10] 591*2^835085-1 is not prime. Res64: E371D26519483C6A Time : 1025.0 sec. user=vaughan [2010-06-23 04:24:26] 437*2^835086-1 is not prime. Res64: 783FC61C332EE56C Time : 952.0 sec. user=vaughan [2010-06-23 04:24:27] 497*2^835084-1 is not prime. Res64: DF1AB7DA44896326 Time : 1048.0 sec. user=vaughan [2010-06-23 04:24:41] 569*2^835084-1 is not prime. Res64: 56DFFFC092D639BE Time : 1059.0 sec. user=vaughan [2010-06-23 04:25:33] 417*2^835086-1 is not prime. Res64: 947C564A7E4B6D89 Time : 1052.0 sec. user=vaughan [2010-06-23 04:27:16] 561*2^835066-1 is not prime. Res64: ACEEFCBE5AFF276B Time : 4010.0 sec. user=vaughan [2010-06-23 04:27:53] 587*2^835086-1 is not prime. Res64: FC2185F3FB888949 Time : 716.0 sec. user=vaughan [2010-06-23 04:27:58] 455*2^835086-1 is not prime. Res64: 1E7C0F1F4EB3D060 Time : 726.0 sec. user=vaughan [2010-06-23 04:28:30] 493*2^835087-1 is not prime. Res64: 490091D82CC2E44C Time : 732.0 sec. user=vaughan [2010-06-23 04:35:50] 499*2^835087-1 is not prime. Res64: 81EE1DC500F142DE Time : 966.0 sec. user=vaughan [2010-06-23 04:37:07] 505*2^835087-1 is not prime. Res64: 15AE4862FD1984D5 Time : 969.0 sec. user=vaughan [2010-06-23 04:37:15] 435*2^835088-1 is not prime. Res64: 86B1741246AF4CDD Time : 970.0 sec. user=vaughan [2010-06-23 04:38:52] 525*2^835088-1 is not prime. Res64: E737930D83B5F6D5 Time : 989.0 sec. user=vaughan [2010-06-23 04:38:54] 557*2^835088-1 is not prime. Res64: 66FEB273F4EA0AB5 Time : 990.0 sec. user=vaughan [2010-06-23 04:39:48] 405*2^835092-1 is not prime. Res64: 913753723FE5D5C9 Time : 715.0 sec. user=vaughan [2010-06-23 04:40:04] 485*2^835092-1 is not prime. Res64: 312F2FAF88D7B5A4 Time : 727.0 sec. user=vaughan [2010-06-23 04:40:13] 585*2^835088-1 is not prime. Res64: A4224A43FCE05460 Time : 1018.0 sec. user=vaughan [2010-06-23 04:40:18] 521*2^835090-1 is not prime. Res64: 913E99278A516ECA Time : 952.0 sec. user=vaughan [2010-06-23 04:40:42] 527*2^835092-1 is not prime. Res64: 01CBB788C82B6669 Time : 732.0 sec. user=vaughan [2010-06-23 04:40:51] 481*2^835089-1 is not prime. Res64: 33D990767948DAC5 Time : 1025.0 sec. user=vaughan [2010-06-23 04:40:56] 499*2^835089-1 is not prime. Res64: 68A716E5436C446F Time : 1021.0 sec. user=vaughan [2010-06-23 04:40:56] 501*2^835089-1 is not prime. Res64: E8107E9940145B35 Time : 1018.0 sec. user=vaughan [2010-06-23 04:41:13] 595*2^835089-1 is not prime. Res64: 2AB8B95376EACA72 Time : 1024.0 sec. user=vaughan [2010-06-23 04:41:17] 525*2^835089-1 is not prime. Res64: 5A074DA2A17DC925 Time : 1028.0 sec. user=vaughan [2010-06-23 04:41:52] 545*2^835090-1 is not prime. Res64: 4EE0256AF67A0BA6 Time : 1045.0 sec. user=vaughan [2010-06-23 04:41:59] 575*2^835090-1 is not prime. Res64: F4749CEC9E71596A Time : 1038.0 sec. user=vaughan [2010-06-23 04:42:50] 451*2^835091-1 is not prime. Res64: C50C47958D7CF637 Time : 1037.0 sec. user=vaughan [2010-06-23 04:51:46] 591*2^835093-1 is not prime. Res64: 7CEDD716375C2AF6 Time : 718.0 sec. user=vaughan [2010-06-23 04:51:56] 539*2^835092-1 is not prime. Res64: 77912EB162618E92 Time : 966.0 sec. user=vaughan [2010-06-23 04:52:16] 533*2^835094-1 is not prime. Res64: CB5B180DBB6D3895 Time : 732.0 sec. user=vaughan [2010-06-23 04:53:02] 451*2^835095-1 is not prime. Res64: 8E16229EE056E270 Time : 740.0 sec. user=vaughan [2010-06-23 04:53:15] 555*2^835092-1 is not prime. Res64: FADFDC1418F5808E Time : 968.0 sec. user=vaughan [2010-06-23 04:53:25] 495*2^835093-1 is not prime. Res64: E7072BEC84F7C807 Time : 970.0 sec. user=vaughan [2010-06-23 04:55:21] 525*2^835093-1 is not prime. Res64: D22FB66DB8F17995 Time : 989.0 sec. user=vaughan [2010-06-23 04:55:25] 567*2^835093-1 is not prime. Res64: D634021AAE93D3D4 Time : 991.0 sec. user=vaughan [2010-06-23 04:56:10] 563*2^835094-1 is not prime. Res64: D4600CA27AAD7601 Time : 952.0 sec. user=vaughan [2010-06-23 04:57:11] 551*2^835094-1 is not prime. Res64: AB9C3FF300B72272 Time : 1019.0 sec. user=vaughan [2010-06-23 04:57:53] 531*2^835095-1 is not prime. Res64: E30B58572A841F76 Time : 1017.0 sec. user=vaughan [2010-06-23 04:57:57] 471*2^835095-1 is not prime. Res64: EF2CBADD87101D19 Time : 1027.0 sec. user=vaughan [2010-06-23 04:57:58] 501*2^835095-1 is not prime. Res64: 3D2DD2CC08668A42 Time : 1022.0 sec. user=vaughan [2010-06-23 04:58:19] 595*2^835095-1 is not prime. Res64: 73B8BC81E96B9C61 Time : 1026.0 sec. user=vaughan [2010-06-23 04:58:23] 413*2^835096-1 is not prime. Res64: 68DFB09EFDE849FC Time : 1026.0 sec. user=vaughan [2010-06-23 04:59:18] 483*2^835096-1 is not prime. Res64: 3E705833C2116A06 Time : 1047.0 sec. user=vaughan [2010-06-23 04:59:21] 405*2^835097-1 is not prime. Res64: C464F80E909F5C85 Time : 1042.0 sec. user=vaughan [2010-06-23 05:00:09] 441*2^835097-1 is not prime. Res64: 3FCC8D52B1BED16D Time : 1039.0 sec. user=vaughan [2010-06-23 05:03:47] 487*2^835097-1 is not prime. Res64: 2EB8DB729845172A Time : 721.0 sec. user=vaughan [2010-06-23 05:04:23] 549*2^835097-1 is not prime. Res64: 968B213200E3CAA5 Time : 728.0 sec. user=vaughan [2010-06-23 05:05:14] 565*2^835097-1 is not prime. Res64: 98B8638598FD7F85 Time : 732.0 sec. user=Flatlander [2010-06-23 05:06:05] 489*2^835060-1 is not prime. Res64: 1077A40B8589230F Time : 9292.0 sec. user=Flatlander [2010-06-23 05:06:05] 563*2^835060-1 is not prime. Res64: B182C03749E04F70 Time : 9290.0 sec. user=Flatlander [2010-06-23 05:06:06] 597*2^835060-1 is not prime. Res64: E6228400F3F1BB9D Time : 9290.0 sec. user=Flatlander [2010-06-23 05:06:07] 451*2^835061-1 is not prime. Res64: 6C64B08875F2C125 Time : 9289.0 sec. user=Flatlander [2010-06-23 05:06:08] 477*2^835061-1 is not prime. Res64: D4ABCF8DFAE652B2 Time : 9289.0 sec. user=vaughan [2010-06-23 05:08:01] 517*2^835097-1 is not prime. Res64: B96AFF8AD62AB57B Time : 966.0 sec. user=vaughan [2010-06-23 05:09:23] 571*2^835097-1 is not prime. Res64: F53F378E24B51405 Time : 969.0 sec. user=vaughan [2010-06-23 05:09:34] 585*2^835097-1 is not prime. Res64: 4C9D8F40FEA4DAF0 Time : 970.0 sec. user=vaughan [2010-06-23 05:11:50] 401*2^835098-1 is not prime. Res64: 29FC523B6A5A8D3A Time : 989.0 sec. user=vaughan [2010-06-23 05:11:55] 425*2^835098-1 is not prime. Res64: BAF0338C2F538447 Time : 990.0 sec. user=vaughan [2010-06-23 05:12:03] 453*2^835098-1 is not prime. Res64: 4740B5D1F1BF14C6 Time : 954.0 sec. user=vaughan [2010-06-23 05:14:13] 483*2^835098-1 is not prime. Res64: 1828B650B24EA178 Time : 1022.0 sec. user=vaughan [2010-06-23 05:14:55] 525*2^835098-1 is not prime. Res64: 805FFF121F1E81D0 Time : 1023.0 sec. user=vaughan [2010-06-23 05:15:00] 441*2^835099-1 is not prime. Res64: 1423D0F4BFA01A9C Time : 1023.0 sec. user=vaughan [2010-06-23 05:15:02] 585*2^835098-1 is not prime. Res64: 91CDBE2D97B08480 Time : 1026.0 sec. user=Flatlander [2010-06-23 05:15:12] 463*2^835075-1 is not prime. Res64: BFCDF9A8A58A666D Time : 5819.0 sec. user=Flatlander [2010-06-23 05:15:13] 511*2^835075-1 is not prime. Res64: 36AD91C0109B5350 Time : 5818.0 sec. user=Flatlander [2010-06-23 05:15:14] 555*2^835075-1 is not prime. Res64: F6640257A0C65A64 Time : 5818.0 sec. user=Flatlander [2010-06-23 05:15:14] 425*2^835076-1 is not prime. Res64: E5709AE32386BC2D Time : 5816.0 sec. user=Flatlander [2010-06-23 05:15:15] 435*2^835076-1 is not prime. Res64: CBD0845582588E4F Time : 5816.0 sec. user=vaughan [2010-06-23 05:15:24] 589*2^835099-1 is not prime. Res64: 34FD8188050AC4FC Time : 1021.0 sec. user=vaughan [2010-06-23 05:15:26] 465*2^835099-1 is not prime. Res64: EDEDD081AE03BB92 Time : 1027.0 sec. user=vaughan [2010-06-23 05:15:48] 415*2^835101-1 is not prime. Res64: F726CC40500855A1 Time : 721.0 sec. user=vaughan [2010-06-23 05:16:32] 471*2^835101-1 is not prime. Res64: 40872F51905753DD Time : 730.0 sec. user=vaughan [2010-06-23 05:16:34] 585*2^835100-1 is not prime. Res64: 1AF8C9C25691787A Time : 1033.0 sec. user=vaughan [2010-06-23 05:16:41] 459*2^835100-1 is not prime. Res64: 41F1D90ECF0BD5E4 Time : 1043.0 sec. user=vaughan [2010-06-23 05:17:22] 593*2^835100-1 is not prime. Res64: 7B4B8CB67C4E2A18 Time : 1033.0 sec. user=vaughan [2010-06-23 05:17:28] 529*2^835101-1 is not prime. Res64: B40544994F43292D Time : 735.0 sec. user=vaughan [2010-06-23 05:24:07] 519*2^835103-1 is not prime. Res64: 09E1457BCF63E5D9 Time : 966.0 sec. user=vaughan [2010-06-23 05:25:32] 525*2^835103-1 is not prime. Res64: 2C4835D5C05D080A Time : 969.0 sec. user=vaughan [2010-06-23 05:25:44] 559*2^835103-1 is not prime. Res64: CD89FC714CB68E8E Time : 970.0 sec. user=Flatlander [2010-06-23 05:27:18] 415*2^835069-1 is not prime. Res64: CCC7EF2E4FCCC3E1 Time : 6897.0 sec. user=Flatlander [2010-06-23 05:27:19] 447*2^835069-1 is not prime. Res64: 7E8CFFFAAE4197C7 Time : 6897.0 sec. user=Flatlander [2010-06-23 05:27:20] 511*2^835069-1 is not prime. Res64: 42E35C6433C7996E Time : 6896.0 sec. user=Flatlander [2010-06-23 05:27:20] 561*2^835069-1 is not prime. Res64: 209AF69A97A13BAD Time : 6895.0 sec. user=Flatlander [2010-06-23 05:27:21] 447*2^835070-1 is not prime. Res64: 28F6D318286A60DF Time : 6895.0 sec. user=vaughan [2010-06-23 05:27:45] 489*2^835107-1 is not prime. Res64: B628778962631581 Time : 718.0 sec. user=vaughan [2010-06-23 05:27:59] 489*2^835104-1 is not prime. Res64: A18AC6A2EBAD0015 Time : 957.0 sec. user=vaughan [2010-06-23 05:28:17] 595*2^835103-1 is not prime. Res64: B9C386CED34709BC Time : 988.0 sec. user=vaughan [2010-06-23 05:28:26] 413*2^835104-1 is not prime. Res64: D30F870C2F659788 Time : 991.0 sec. user=vaughan [2010-06-23 05:28:33] 489*2^835088-1 is not prime. Res64: F444DA7E50DE22C2 Time : 4038.0 sec. user=vaughan [2010-06-23 05:28:38] 405*2^835108-1 is not prime. Res64: 445878B88E2832F0 Time : 726.0 sec. user=Flatlander [2010-06-23 05:29:29] 411*2^835081-1 is not prime. Res64: D8A313195C08BD25 Time : 5119.0 sec. user=Flatlander [2010-06-23 05:29:29] 495*2^835081-1 is not prime. Res64: 5F033265E5A6FFA8 Time : 5117.0 sec. user=Flatlander [2010-06-23 05:29:30] 549*2^835081-1 is not prime. Res64: 8C66B281EDD0D513 Time : 5117.0 sec. user=Flatlander [2010-06-23 05:29:31] 565*2^835081-1 is not prime. Res64: 4076F72C4CB28DA7 Time : 5116.0 sec. user=Flatlander [2010-06-23 05:29:32] 437*2^835082-1 is not prime. Res64: 0805F3DB613D020A Time : 5115.0 sec. user=vaughan [2010-06-23 05:29:38] 483*2^835108-1 is not prime. Res64: 5A1144F077330B95 Time : 730.0 sec. user=vaughan [2010-06-23 05:31:20] 549*2^835104-1 is not prime. Res64: 8F44D8CA4FF092D2 Time : 1028.0 sec. user=vaughan [2010-06-23 05:32:01] 569*2^835104-1 is not prime. Res64: B9C10988EBFD101D Time : 1027.0 sec. user=vaughan [2010-06-23 05:32:03] 441*2^835105-1 is not prime. Res64: 95567504FA15B146 Time : 1023.0 sec. user=vaughan [2010-06-23 05:32:08] 541*2^835105-1 is not prime. Res64: BD62228189E97016 Time : 1026.0 sec. user=vaughan [2010-06-23 05:32:38] 587*2^835106-1 is not prime. Res64: 8F0EADFEE645D3D2 Time : 1035.0 sec. user=vaughan [2010-06-23 05:32:38] 409*2^835107-1 is not prime. Res64: 7CB991D7160D2DBF Time : 1033.0 sec. user=vaughan [2010-06-23 05:33:58] 419*2^835108-1 is not prime. Res64: BDD894F719BF11CC Time : 1044.0 sec. user=vaughan [2010-06-23 05:34:16] 453*2^835108-1 is not prime. Res64: 08DA45E1FCF3A0AD Time : 1055.0 sec. user=vaughan [2010-06-23 05:34:47] 579*2^835091-1 is not prime. Res64: FAB52F2ED6055FD0 Time : 4051.0 sec. user=vaughan [2010-06-23 05:34:49] 465*2^835108-1 is not prime. Res64: D82CBD3EF8D23E33 Time : 1047.0 sec. user=vaughan [2010-06-23 05:39:41] 519*2^835111-1 is not prime. Res64: 2531C3BC192DDD56 Time : 716.0 sec. user=vaughan [2010-06-23 05:40:13] 575*2^835108-1 is not prime. Res64: 8B279044EA1AAE3E Time : 966.0 sec. user=vaughan [2010-06-23 05:40:44] 537*2^835113-1 is not prime. Res64: 5C04B74E5A8A59DD Time : 726.0 sec. user=vaughan [2010-06-23 05:41:41] 411*2^835109-1 is not prime. Res64: 385B089ACE2D6D84 Time : 969.0 sec. user=vaughan [2010-06-23 05:41:49] 525*2^835114-1 is not prime. Res64: 8BD042029E217CC0 Time : 731.0 sec. user=vaughan [2010-06-23 05:41:54] 481*2^835109-1 is not prime. Res64: E8B5E9BB665F3EEF Time : 970.0 sec. user=vaughan [2010-06-23 05:44:00] 515*2^835112-1 is not prime. Res64: 902AA526FE0BF25E Time : 962.0 sec. user=vaughan [2010-06-23 05:44:45] 519*2^835112-1 is not prime. Res64: 530D56ACEB3FFBC7 Time : 988.0 sec. user=vaughan [2010-06-23 05:44:56] 573*2^835112-1 is not prime. Res64: CF5FCFEC473E09C9 Time : 991.0 sec. user=vaughan [2010-06-23 05:48:21] 533*2^835114-1 is not prime. Res64: 6464BFAD187865F9 Time : 1021.0 sec. user=vaughan [2010-06-23 05:49:00] 567*2^835114-1 is not prime. Res64: CDBDD1EE03E748B0 Time : 1019.0 sec. user=vaughan [2010-06-23 05:49:05] 543*2^835115-1 is not prime. Res64: 1D99C8DFE2DB80DE Time : 1022.0 sec. user=vaughan [2010-06-23 05:49:14] 585*2^835115-1 is not prime. Res64: D7189136387F147E Time : 1026.0 sec. user=vaughan [2010-06-23 05:49:54] 459*2^835116-1 is not prime. Res64: 39144AA191A52F57 Time : 1037.0 sec. user=vaughan [2010-06-23 05:49:57] 425*2^835116-1 is not prime. Res64: 0E6821BC65D28496 Time : 1040.0 sec. user=vaughan [2010-06-23 05:51:20] 497*2^835116-1 is not prime. Res64: A2201BCEAE8353FC Time : 1042.0 sec. user=vaughan [2010-06-23 05:51:36] 435*2^835117-1 is not prime. Res64: 234E27865050D6CF Time : 715.0 sec. user=vaughan [2010-06-23 05:51:47] 557*2^835116-1 is not prime. Res64: 90A259096064AAC6 Time : 1051.0 sec. user=vaughan [2010-06-23 05:52:09] 585*2^835116-1 is not prime. Res64: CED40C52B9C8F1D9 Time : 1041.0 sec. user=vaughan [2010-06-23 05:52:47] 425*2^835118-1 is not prime. Res64: 4F8C60C654035D4B Time : 723.0 sec. user=vaughan [2010-06-23 05:53:56] 451*2^835119-1 is not prime. Res64: 626AFC9A279EFE9F Time : 728.0 sec. user=vaughan [2010-06-23 05:56:20] 441*2^835117-1 is not prime. Res64: BF8C3D917EE24C22 Time : 967.0 sec. user=vaughan [2010-06-23 05:57:49] 501*2^835118-1 is not prime. Res64: 4144ADD6A471AA01 Time : 968.0 sec. user=vaughan [2010-06-23 05:58:04] 583*2^835119-1 is not prime. Res64: 038ED05A534BF9DC Time : 970.0 sec. user=vaughan [2010-06-23 06:00:01] 405*2^835120-1 is not prime. Res64: FAEB4CFBAFF48F09 Time : 961.0 sec. user=vaughan [2010-06-23 06:01:14] 455*2^835120-1 is not prime. Res64: 23CAE0F23BA658B2 Time : 990.0 sec. user=vaughan [2010-06-23 06:01:26] 489*2^835120-1 is not prime. Res64: 499C1C31E62069E8 Time : 990.0 sec. user=vaughan [2010-06-23 06:03:30] 413*2^835122-1 is not prime. Res64: 96F648313039238F Time : 714.0 sec. user=vaughan [2010-06-23 06:04:51] 411*2^835123-1 is not prime. Res64: 95461A4A04FD4151 Time : 724.0 sec. user=vaughan [2010-06-23 06:05:25] 495*2^835120-1 is not prime. Res64: 12B933ED14E196F3 Time : 1025.0 sec. user=vaughan [2010-06-23 06:06:03] 439*2^835121-1 is not prime. Res64: 2967E9AEC243D63F Time : 1023.0 sec. user=vaughan [2010-06-23 06:06:05] 433*2^835123-1 is not prime. Res64: 611F7FA3E2F6BB7C Time : 729.0 sec. user=vaughan [2010-06-23 06:06:07] 445*2^835121-1 is not prime. Res64: E45FC0AFEE007258 Time : 1022.0 sec. user=vaughan [2010-06-23 06:06:19] 529*2^835121-1 is not prime. Res64: CEC039DB5A06C9A7 Time : 1026.0 sec. user=vaughan [2010-06-23 06:07:09] 577*2^835121-1 is not prime. Res64: 68147FB2F595B430 Time : 1035.0 sec. user=vaughan [2010-06-23 06:07:19] 591*2^835121-1 is not prime. Res64: 56CDA549C24CD5CC Time : 1042.0 sec. user=vaughan [2010-06-23 06:08:34] 405*2^835122-1 is not prime. Res64: 5E466EA820D1E365 Time : 1034.0 sec. user=vaughan [2010-06-23 06:09:21] 417*2^835122-1 is not prime. Res64: 0AE454B85EE8D898 Time : 1054.0 sec. user=vaughan [2010-06-23 06:09:22] 447*2^835122-1 is not prime. Res64: 19F54D56F1E42A60 Time : 1033.0 sec. user=vaughan [2010-06-23 06:12:32] 541*2^835123-1 is not prime. Res64: 2426944C53742C9D Time : 973.0 sec. user=vaughan [2010-06-23 06:14:05] 589*2^835123-1 is not prime. Res64: A6812A7F142D0FD2 Time : 976.0 sec. user=vaughan [2010-06-23 06:14:18] 413*2^835124-1 is not prime. Res64: C7B5FC7F5674080A Time : 975.0 sec. user=vaughan [2010-06-23 06:15:23] 533*2^835124-1 is not prime. Res64: 5ED02B325AE4CB5C Time : 714.0 sec. user=vaughan [2010-06-23 06:16:00] 425*2^835124-1 is not prime. Res64: 5FD5A58F35F79AEE Time : 959.0 sec. user=vaughan [2010-06-23 06:16:54] 587*2^835124-1 is not prime. Res64: 44486AF222E51293 Time : 723.0 sec. user=vaughan [2010-06-23 06:17:43] 507*2^835124-1 is not prime. Res64: 31B20DC2198A76B5 Time : 989.0 sec. user=vaughan [2010-06-23 06:17:57] 525*2^835124-1 is not prime. Res64: 0F6E5D62651A6721 Time : 991.0 sec. user=vaughan [2010-06-23 06:18:12] 405*2^835126-1 is not prime. Res64: 62724FD1D7DC53F6 Time : 728.0 sec. user=vaughan [2010-06-23 06:22:28] 457*2^835125-1 is not prime. Res64: A2362B0887D11339 Time : 1023.0 sec. user=vaughan [2010-06-23 06:23:05] 591*2^835125-1 is not prime. Res64: 10C9AC3D1EDF4770 Time : 1023.0 sec. user=vaughan [2010-06-23 06:23:10] 471*2^835126-1 is not prime. Res64: 90E345649FE98924 Time : 1023.0 sec. user=vaughan [2010-06-23 06:23:24] 491*2^835126-1 is not prime. Res64: 8C55585FB4B00103 Time : 1025.0 sec. user=vaughan [2010-06-23 06:24:24] 503*2^835126-1 is not prime. Res64: E20B4FAE72B10FA2 Time : 1035.0 sec. user=vaughan [2010-06-23 06:24:40] 507*2^835126-1 is not prime. Res64: 2D5C5A7B72EA8D24 Time : 1041.0 sec. user=vaughan [2010-06-23 06:25:46] 513*2^835126-1 is not prime. Res64: 5BA640E9B5E40776 Time : 1033.0 sec. user=vaughan [2010-06-23 06:26:38] 479*2^835128-1 is not prime. Res64: 94D1993D3FF0CC17 Time : 1036.0 sec. user=vaughan [2010-06-23 06:26:55] 559*2^835127-1 is not prime. Res64: 16A32434A00C6075 Time : 1054.0 sec. user=vaughan [2010-06-23 06:27:18] 507*2^835129-1 is not prime. Res64: 3A6D66B3E0DACB48 Time : 715.0 sec. user=vaughan [2010-06-23 06:28:37] 597*2^835128-1 is not prime. Res64: 7CA34BD18045C56C Time : 966.0 sec. user=vaughan [2010-06-23 06:29:00] 407*2^835130-1 is not prime. Res64: 661B8AEA35E044C5 Time : 726.0 sec. user=vaughan [2010-06-23 06:30:12] 457*2^835129-1 is not prime. Res64: 240C472D9FF8E967 Time : 968.0 sec. user=vaughan [2010-06-23 06:30:22] 593*2^835130-1 is not prime. Res64: 13F2046D21CBE8A8 Time : 730.0 sec. user=vaughan [2010-06-23 06:30:26] 477*2^835129-1 is not prime. Res64: 77E00D29CB5063DB Time : 969.0 sec. user=vaughan [2010-06-23 06:31:59] 559*2^835129-1 is not prime. Res64: 0EB1562DD9819EE5 Time : 959.0 sec. user=vaughan [2010-06-23 06:34:12] 477*2^835130-1 is not prime. Res64: F57C921E3CED4490 Time : 990.0 sec. user=vaughan [2010-06-23 06:34:29] 545*2^835130-1 is not prime. Res64: 71C9B44E238CF686 Time : 992.0 sec. user=vaughan [2010-06-23 06:35:49] 409*2^835113-1 is not prime. Res64: FBD7FBC4A3C7A96B Time : 4036.0 sec. user=vaughan [2010-06-23 06:39:11] 525*2^835133-1 is not prime. Res64: 75F480F636DA2959 Time : 713.0 sec. user=vaughan [2010-06-23 06:39:34] 405*2^835131-1 is not prime. Res64: 49C5E2A99F2EE24F Time : 1026.0 sec. user=vaughan [2010-06-23 06:40:09] 453*2^835131-1 is not prime. Res64: C519EFFCDCA91A29 Time : 1025.0 sec. user=vaughan [2010-06-23 06:40:10] 549*2^835131-1 is not prime. Res64: 32226AC647E615B6 Time : 1021.0 sec. user=vaughan [2010-06-23 06:40:30] 423*2^835132-1 is not prime. Res64: 821FFE59B28549F9 Time : 1026.0 sec. user=vaughan [2010-06-23 06:41:03] 431*2^835134-1 is not prime. Res64: 833412AC5C4D7B12 Time : 724.0 sec. user=vaughan [2010-06-23 06:41:40] 563*2^835116-1 is not prime. Res64: 352A98E2ABEA3DBA Time : 4014.0 sec. user=vaughan [2010-06-23 06:41:44] 497*2^835132-1 is not prime. Res64: 76BAEADA392F3E09 Time : 1041.0 sec. user=vaughan [2010-06-23 06:42:03] 527*2^835132-1 is not prime. Res64: E8CDB7EF0482F5ED Time : 1043.0 sec. user=vaughan [2010-06-23 06:42:29] 573*2^835134-1 is not prime. Res64: 12F561A8B85A4092 Time : 728.0 sec. user=vaughan [2010-06-23 06:42:58] 549*2^835132-1 is not prime. Res64: 8544F56DB0133913 Time : 1032.0 sec. user=vaughan [2010-06-23 06:43:46] 405*2^835133-1 is not prime. Res64: 01853B77B91B07E7 Time : 1028.0 sec. user=vaughan [2010-06-23 06:44:28] 475*2^835133-1 is not prime. Res64: 5B5FF023A7AF5291 Time : 1053.0 sec. user=vaughan [2010-06-23 06:44:42] 547*2^835133-1 is not prime. Res64: EECBBB4B9ABF4476 Time : 966.0 sec. user=vaughan [2010-06-23 06:46:21] 447*2^835134-1 is not prime. Res64: 954D911C88A12415 Time : 969.0 sec. user=vaughan [2010-06-23 06:46:35] 415*2^835135-1 is not prime. Res64: 3A3B8B83C367B161 Time : 969.0 sec. user=Flatlander [2010-06-23 06:47:32] 447*2^835110-1 is not prime. Res64: D3426E3183D3F4CE Time : 4809.0 sec. user=Flatlander [2010-06-23 06:47:33] 537*2^835110-1 is not prime. Res64: 3C0E7C1D53037DEC Time : 4809.0 sec. user=Flatlander [2010-06-23 06:47:34] 581*2^835110-1 is not prime. Res64: 0E2D18B2D78C166B Time : 4808.0 sec. user=Flatlander [2010-06-23 06:47:35] 483*2^835111-1 is not prime. Res64: A97FC9DF97F7E429 Time : 4807.0 sec. user=Flatlander [2010-06-23 06:47:35] 493*2^835111-1 is not prime. Res64: 8E4A9BAB6391A8BA Time : 4806.0 sec. user=vaughan [2010-06-23 06:47:55] 453*2^835135-1 is not prime. Res64: 07E54205E57738B9 Time : 956.0 sec. user=vaughan [2010-06-23 06:49:01] 527*2^834756-1 is not prime. Res64: 43DE061C0F200822 Time : 87673.0 sec. user=vaughan [2010-06-23 06:49:45] 577*2^834757-1 is not prime. Res64: 88F4A0D44E853216 Time : 87575.0 sec. user=vaughan [2010-06-23 06:50:41] 463*2^835135-1 is not prime. Res64: 66B8CCFC52DFBCBA Time : 989.0 sec. user=vaughan [2010-06-23 06:50:58] 583*2^835135-1 is not prime. Res64: 1E682EB7A7C03431 Time : 990.0 sec. user=vaughan [2010-06-23 06:51:05] 539*2^835136-1 is not prime. Res64: 072827E8E3C67A26 Time : 714.0 sec. user=vaughan [2010-06-23 06:53:06] 443*2^835138-1 is not prime. Res64: BD9935935ADB33B0 Time : 723.0 sec. user=vaughan [2010-06-23 06:54:38] 441*2^835139-1 is not prime. Res64: D7FCB408B2BDC739 Time : 729.0 sec. user=vaughan [2010-06-23 06:56:38] 563*2^835136-1 is not prime. Res64: E7FD68D87B252C32 Time : 1025.0 sec. user=vaughan [2010-06-23 06:57:13] 405*2^835137-1 is not prime. Res64: 44F008836220DE98 Time : 1024.0 sec. user=vaughan [2010-06-23 06:57:18] 429*2^835137-1 is not prime. Res64: C022802753B0B085 Time : 1028.0 sec. user=vaughan [2010-06-23 06:57:43] 457*2^835137-1 is not prime. Res64: C3E740D0134D15A2 Time : 1034.0 sec. user=vaughan [2010-06-23 06:59:04] 513*2^835138-1 is not prime. Res64: 8C5739549BF499DE Time : 1041.0 sec. user=vaughan [2010-06-23 06:59:23] 435*2^835139-1 is not prime. Res64: 091D0C2CDBDE21F5 Time : 1040.0 sec. user=vaughan [2010-06-23 07:00:15] 531*2^835139-1 is not prime. Res64: 461C83E89FA726B6 Time : 1037.0 sec. user=vaughan [2010-06-23 07:00:49] 417*2^835142-1 is not prime. Res64: C97060007FE40F9E Time : 967.0 sec. user=vaughan [2010-06-23 07:00:59] 479*2^835140-1 is not prime. Res64: E0991A3B1E3EE86B Time : 1033.0 sec. user=vaughan [2010-06-23 07:01:54] 441*2^835141-1 is not prime. Res64: 63AE1D1CFEC1C4C2 Time : 1047.0 sec. user=vaughan [2010-06-23 07:02:29] 483*2^835142-1 is not prime. Res64: 27F6DFE4C63DE1C5 Time : 968.0 sec. user=vaughan [2010-06-23 07:02:45] 495*2^835142-1 is not prime. Res64: F4CA515468C35894 Time : 970.0 sec. user=vaughan [2010-06-23 07:02:58] 483*2^835146-1 is not prime. Res64: 9AA107E696BE5863 Time : 714.0 sec. user=vaughan [2010-06-23 07:03:53] 509*2^835144-1 is not prime. Res64: AA285DAC586571CD Time : 958.0 sec. user=vaughan [2010-06-23 07:05:12] 507*2^835146-1 is not prime. Res64: E49066F76EC462AD Time : 726.0 sec. user=vaughan [2010-06-23 07:06:49] 567*2^835146-1 is not prime. Res64: 9FFB45029D42BAD7 Time : 732.0 sec. user=vaughan [2010-06-23 07:06:57] 409*2^835145-1 is not prime. Res64: 873646C29A893BE7 Time : 1076.0 sec. user=vaughan [2010-06-23 07:07:20] 547*2^835145-1 is not prime. Res64: E94CC30FDB49BA3A Time : 1056.0 sec. user=vaughan [2010-06-23 07:07:25] 577*2^835145-1 is not prime. Res64: 973A673F9279B17C Time : 1005.0 sec. user=vaughan [2010-06-23 07:07:43] 417*2^835146-1 is not prime. Res64: BF08FB696D6EFA2F Time : 1005.0 sec. user=vaughan [2010-06-23 07:13:47] 587*2^835146-1 is not prime. Res64: 5DBEC857ECD874B6 Time : 1029.0 sec. user=vaughan [2010-06-23 07:14:20] 465*2^835147-1 is not prime. Res64: 6F93D28965CD88BF Time : 1027.0 sec. user=vaughan [2010-06-23 07:14:35] 519*2^835147-1 is not prime. Res64: 5237D82EF9885D6D Time : 1037.0 sec. user=vaughan [2010-06-23 07:15:00] 527*2^835150-1 is not prime. Res64: 73788FC652205723 Time : 722.0 sec. user=vaughan [2010-06-23 07:15:01] 553*2^835147-1 is not prime. Res64: C862CD709AD028E5 Time : 1039.0 sec. user=vaughan [2010-06-23 07:16:24] 435*2^835148-1 is not prime. Res64: D13286D03FB080A1 Time : 1041.0 sec. user=vaughan [2010-06-23 07:16:39] 585*2^835148-1 is not prime. Res64: 46A8844A9F2489E1 Time : 1037.0 sec. user=vaughan [2010-06-23 07:16:55] 481*2^835149-1 is not prime. Res64: 41889EC1D6712476 Time : 966.0 sec. user=vaughan [2010-06-23 07:17:15] 493*2^835151-1 is not prime. Res64: 0941CB8E0BF980B7 Time : 723.0 sec. user=vaughan [2010-06-23 07:17:31] 459*2^835149-1 is not prime. Res64: 67F0D81462F2712A Time : 1037.0 sec. user=vaughan [2010-06-23 07:18:12] 507*2^835149-1 is not prime. Res64: CBA8920DA063BB5B Time : 1033.0 sec. user=vaughan [2010-06-23 07:18:38] 565*2^835149-1 is not prime. Res64: 7399CB4EE0FD0E35 Time : 969.0 sec. user=vaughan [2010-06-23 07:18:54] 413*2^835150-1 is not prime. Res64: 33B5257B7AF3BE50 Time : 969.0 sec. user=vaughan [2010-06-23 07:18:58] 437*2^835152-1 is not prime. Res64: 195406EE2DFE16AE Time : 729.0 sec. user=vaughan [2010-06-23 07:19:30] 511*2^835149-1 is not prime. Res64: 338AB12CC753008A Time : 1056.0 sec. user=vaughan [2010-06-23 07:19:52] 451*2^835151-1 is not prime. Res64: B20F327D0DC19039 Time : 959.0 sec. user=vaughan [2010-06-23 07:23:56] 569*2^835152-1 is not prime. Res64: A4F5C2951DC34CD9 Time : 991.0 sec. user=vaughan [2010-06-23 07:23:57] 415*2^834751-1 is not prime. Res64: 0807A30BB3122048 Time : 90545.0 sec. user=vaughan [2010-06-23 07:24:15] 405*2^835153-1 is not prime. Res64: E03BDDB57B1EC00A Time : 992.0 sec. user=vaughan [2010-06-23 07:24:52] 455*2^835152-1 is not prime. Res64: 20046FB7B3291B70 Time : 1076.0 sec. user=vaughan [2010-06-23 07:24:55] 459*2^835152-1 is not prime. Res64: 4D557C251D1E3E5A Time : 1055.0 sec. user=vaughan [2010-06-23 07:25:01] 489*2^835027-1 is not prime. Res64: C14F66FC1FE0244C Time : 49914.0 sec. user=vaughan [2010-06-23 07:25:49] 433*2^835015-1 is not prime. Res64: DEE79FBD8514C77A Time : 51937.0 sec. user=vaughan [2010-06-23 07:25:49] 449*2^835016-1 is not prime. Res64: 5A4564E87672AEEE Time : 51936.0 sec. user=vaughan [2010-06-23 07:25:50] 495*2^835016-1 is not prime. Res64: C2C0864B5F9C4751 Time : 51936.0 sec. user=vaughan [2010-06-23 07:25:50] 557*2^835016-1 is not prime. Res64: D75787930098CC3C Time : 51936.0 sec. user=vaughan [2010-06-23 07:25:50] 587*2^835016-1 is not prime. Res64: B66A02DC258850DE Time : 51935.0 sec. user=vaughan [2010-06-23 07:26:57] 541*2^835153-1 is not prime. Res64: F9F508909B2DFC7F Time : 717.0 sec. user=vaughan [2010-06-23 07:29:14] 445*2^835013-1 is not prime. Res64: 5E4245852E75BC82 Time : 52354.0 sec. user=vaughan [2010-06-23 07:29:14] 585*2^835013-1 is not prime. Res64: 96A873FB4626A352 Time : 52351.0 sec. user=vaughan [2010-06-23 07:29:15] 447*2^835014-1 is not prime. Res64: DBAF248FF2B5797E Time : 52010.0 sec. user=vaughan [2010-06-23 07:29:15] 425*2^835018-1 is not prime. Res64: EB8051C49F58B7F3 Time : 52008.0 sec. user=vaughan [2010-06-23 07:29:15] 435*2^835018-1 is not prime. Res64: 84F59C9F997B79CC Time : 51904.0 sec. user=vaughan [2010-06-23 07:29:21] 525*2^835154-1 is not prime. Res64: 7459B91635A46A9B Time : 726.0 sec. user=Flatlander [2010-06-23 07:30:03] 577*2^835101-1 is not prime. Res64: 13F7BBF2A70A1927 Time : 8634.0 sec. user=Flatlander [2010-06-23 07:30:03] 591*2^835102-1 is not prime. Res64: C3A4F2AA182BC99E Time : 8632.0 sec. user=Flatlander [2010-06-23 07:30:04] 423*2^835103-1 is not prime. Res64: 0E2CFD894A259921 Time : 8631.0 sec. user=Flatlander [2010-06-23 07:30:04] 481*2^835103-1 is not prime. Res64: 7D6E45788F6A7033 Time : 8630.0 sec. user=Flatlander [2010-06-23 07:30:05] 511*2^835103-1 is not prime. Res64: A3A435D9B890F848 Time : 8629.0 sec. user=vaughan [2010-06-23 07:30:51] 421*2^835153-1 is not prime. Res64: 6A520A987CEB09F5 Time : 1024.0 sec. user=vaughan [2010-06-23 07:31:10] 497*2^835156-1 is not prime. Res64: 3F33B37521832B44 Time : 733.0 sec. user=vaughan [2010-06-23 07:31:22] 499*2^835153-1 is not prime. Res64: 4A87B4A8EBFC35B8 Time : 1022.0 sec. user=vaughan [2010-06-23 07:31:42] 537*2^835153-1 is not prime. Res64: 4BB09D653D8DAB45 Time : 1027.0 sec. user=vaughan [2010-06-23 07:32:09] 561*2^835153-1 is not prime. Res64: CBF7CF9A97F4E815 Time : 1028.0 sec. user=vaughan [2010-06-23 07:33:05] 521*2^835154-1 is not prime. Res64: B3D3F80F76548417 Time : 970.0 sec. user=vaughan [2010-06-23 07:33:56] 577*2^835153-1 is not prime. Res64: E91DD3BC43FD3E23 Time : 1052.0 sec. user=vaughan [2010-06-23 07:34:11] 417*2^835154-1 is not prime. Res64: F680B9FB3794104B Time : 1052.0 sec. user=vaughan [2010-06-23 07:34:51] 447*2^835156-1 is not prime. Res64: C05E8397598D1A25 Time : 974.0 sec. user=vaughan [2010-06-23 07:34:51] 541*2^835155-1 is not prime. Res64: A3B796FE4DB160DB Time : 1040.0 sec. user=vaughan [2010-06-23 07:35:07] 495*2^835156-1 is not prime. Res64: 2779F7D8A9A63F12 Time : 974.0 sec. user=vaughan [2010-06-23 07:35:29] 591*2^835155-1 is not prime. Res64: 016DF1865CAADF26 Time : 1037.0 sec. user=vaughan [2010-06-23 07:35:59] 527*2^835156-1 is not prime. Res64: E622100414B982DE Time : 967.0 sec. user=Flatlander [2010-06-23 07:36:07] 589*2^835105-1 is not prime. Res64: B1CCF7071D326ACB Time : 8450.0 sec. user=Flatlander [2010-06-23 07:36:08] 447*2^835106-1 is not prime. Res64: 8D5F5E298C985672 Time : 8450.0 sec. user=Flatlander [2010-06-23 07:36:09] 501*2^835106-1 is not prime. Res64: 792C724C2EB8DA4B Time : 8449.0 sec. user=Flatlander [2010-06-23 07:36:10] 551*2^835106-1 is not prime. Res64: B1FE8C295E837555 Time : 8448.0 sec. user=Flatlander [2010-06-23 07:36:10] 573*2^835106-1 is not prime. Res64: F6831FF789FF7D75 Time : 8447.0 sec. user=vaughan [2010-06-23 07:37:18] 519*2^835156-1 is not prime. Res64: A7A25A0B943F7FA1 Time : 1068.0 sec. user=vaughan [2010-06-23 07:38:54] 469*2^835165-1 is not prime. Res64: EF830632077280B3 Time : 718.0 sec. user=vaughan [2010-06-23 07:40:27] 573*2^835156-1 is not prime. Res64: CA6E6695A5AA0B0D Time : 991.0 sec. user=vaughan [2010-06-23 07:40:42] 447*2^834764-1 is not prime. Res64: 11D2FEA902FFE911 Time : 89161.0 sec. user=vaughan [2010-06-23 07:40:47] 405*2^835157-1 is not prime. Res64: 4D8458CE8C527F99 Time : 993.0 sec. user=vaughan [2010-06-23 07:41:26] 483*2^835167-1 is not prime. Res64: 587757ADD3D36E5D Time : 725.0 sec. user=vaughan [2010-06-23 07:42:29] 561*2^835157-1 is not prime. Res64: C8B60BA797F6B655 Time : 1054.0 sec. user=vaughan [2010-06-23 07:42:49] 477*2^835157-1 is not prime. Res64: F6E774AA851FC37C Time : 1077.0 sec. user=vaughan [2010-06-23 07:43:18] 561*2^835171-1 is not prime. Res64: FF94EC42ACF17E7F Time : 729.0 sec. user=vaughan [2010-06-23 07:43:30] 413*2^835136-1 is not prime. Res64: B9AAEBB610A422EA Time : 4061.0 sec. user=vaughan [2010-06-23 07:43:36] 405*2^835158-1 is not prime. Res64: 1E0DA3600BED9222 Time : 1114.0 sec. user=vaughan [2010-06-23 07:47:49] 555*2^835171-1 is not prime. Res64: A44FCEC87E43F2A3 Time : 1018.0 sec. user=vaughan [2010-06-23 07:48:19] 409*2^835173-1 is not prime. Res64: DA4CD792CB655A64 Time : 1018.0 sec. user=vaughan [2010-06-23 07:48:46] 427*2^835173-1 is not prime. Res64: 883B4B62F7C8B0EB Time : 1024.0 sec. user=vaughan [2010-06-23 07:49:04] 467*2^835138-1 is not prime. Res64: FFDCF2030FA33E57 Time : 4044.0 sec. user=vaughan [2010-06-23 07:49:13] 481*2^835173-1 is not prime. Res64: 646828EED49CB577 Time : 968.0 sec. user=vaughan [2010-06-23 07:49:16] 471*2^835173-1 is not prime. Res64: 6D5F0323B48BFA05 Time : 1028.0 sec. user=vaughan [2010-06-23 07:50:50] 515*2^835176-1 is not prime. Res64: 58B50DC63305DBDE Time : 716.0 sec. user=Flatlander [2010-06-23 07:51:01] 555*2^835113-1 is not prime. Res64: EF975F9FA2DB1754 Time : 8488.0 sec. user=Flatlander [2010-06-23 07:51:01] 413*2^835114-1 is not prime. Res64: D274FC277D6BBA5C Time : 8486.0 sec. user=vaughan [2010-06-23 07:51:02] 597*2^835173-1 is not prime. Res64: 889C88C47DD55A63 Time : 972.0 sec. user=Flatlander [2010-06-23 07:51:02] 465*2^835114-1 is not prime. Res64: 7DDD1E076F010EBF Time : 8485.0 sec. user=Flatlander [2010-06-23 07:51:02] 495*2^835114-1 is not prime. Res64: 368D0028FA9727BA Time : 8484.0 sec. user=Flatlander [2010-06-23 07:51:02] 527*2^835114-1 is not prime. Res64: EBB325318D6AC3B4 Time : 8482.0 sec. user=vaughan [2010-06-23 07:51:18] 455*2^835174-1 is not prime. Res64: B7A8A6CBAD2312C7 Time : 972.0 sec. user=vaughan [2010-06-23 07:51:24] 495*2^835173-1 is not prime. Res64: FE2D20AC2435B5D7 Time : 1048.0 sec. user=vaughan [2010-06-23 07:51:36] 499*2^835173-1 is not prime. Res64: 55A120FBEA6EEBF6 Time : 1045.0 sec. user=vaughan [2010-06-23 07:51:59] 567*2^835174-1 is not prime. Res64: BFD41314EFF09F3A Time : 960.0 sec. user=vaughan [2010-06-23 07:52:03] 423*2^835174-1 is not prime. Res64: 0D18EBDFA951CDB8 Time : 1033.0 sec. user=vaughan [2010-06-23 07:52:40] 513*2^835174-1 is not prime. Res64: 8A0D59EEEE1B6D72 Time : 1031.0 sec. user=vaughan [2010-06-23 07:53:33] 425*2^835178-1 is not prime. Res64: 9BA24AB09DA0CC02 Time : 728.0 sec. user=vaughan [2010-06-23 07:54:56] 503*2^835176-1 is not prime. Res64: 0B22EF5405174E7F Time : 1058.0 sec. user=vaughan [2010-06-23 07:55:32] 483*2^835178-1 is not prime. Res64: 86C4B9196FA0C426 Time : 734.0 sec. user=vaughan [2010-06-23 07:56:57] 427*2^835177-1 is not prime. Res64: 74E756B704D78565 Time : 990.0 sec. user=vaughan [2010-06-23 07:57:18] 423*2^835178-1 is not prime. Res64: B337A2E8586702EA Time : 992.0 sec. user=vaughan [2010-06-23 08:00:03] 461*2^835178-1 is not prime. Res64: A49513336A58F9D2 Time : 1055.0 sec. user=vaughan [2010-06-23 08:00:45] 473*2^835178-1 is not prime. Res64: C19D0C8430F7358D Time : 1077.0 sec. user=vaughan [2010-06-23 08:02:50] 567*2^835188-1 is not prime. Res64: 8DA32C299C7EA434 Time : 720.0 sec. user=vaughan [2010-06-23 08:04:55] 433*2^835187-1 is not prime. Res64: 2678C116DF948BBB Time : 1027.0 sec. user=vaughan [2010-06-23 08:05:19] 553*2^835187-1 is not prime. Res64: E92D8A1FE481B977 Time : 1020.0 sec. user=vaughan [2010-06-23 08:05:20] 483*2^835188-1 is not prime. Res64: F3835CEDD295619C Time : 968.0 sec. user=vaughan [2010-06-23 08:05:39] 455*2^835192-1 is not prime. Res64: F18CA522AE98A92D Time : 726.0 sec. user=vaughan [2010-06-23 08:05:46] 419*2^835188-1 is not prime. Res64: 0017D6B2393C6A5C Time : 1020.0 sec. user=vaughan [2010-06-23 08:06:18] 539*2^835188-1 is not prime. Res64: 84EB24BB2AD16EFD Time : 1022.0 sec. user=vaughan [2010-06-23 08:07:12] 465*2^835189-1 is not prime. Res64: 6D31BD33AF3EE38C Time : 971.0 sec. user=vaughan [2010-06-23 08:07:29] 575*2^835190-1 is not prime. Res64: CB6F4F86D8769C8A Time : 972.0 sec. user=vaughan [2010-06-23 08:07:46] 549*2^835192-1 is not prime. Res64: F2678F7B5F8D02E6 Time : 734.0 sec. user=vaughan [2010-06-23 08:08:03] 483*2^835191-1 is not prime. Res64: 5306C4FCC06DB10B Time : 964.0 sec. user=vaughan [2010-06-23 08:08:48] 441*2^835191-1 is not prime. Res64: 8D47DFC920C71A56 Time : 1044.0 sec. user=vaughan [2010-06-23 08:08:58] 469*2^835191-1 is not prime. Res64: BD9FF7AD5369C6DF Time : 1042.0 sec. user=vaughan [2010-06-23 08:09:28] 489*2^835191-1 is not prime. Res64: 6D2B800CF731F337 Time : 1046.0 sec. user=vaughan [2010-06-23 08:10:02] 435*2^835192-1 is not prime. Res64: E97BCF539EAC1222 Time : 1042.0 sec. user=vaughan [2010-06-23 08:12:34] 533*2^835192-1 is not prime. Res64: C335A7CE5CD2AB94 Time : 1059.0 sec. user=vaughan [2010-06-23 08:13:22] 567*2^835192-1 is not prime. Res64: B89C20CCC7B460F2 Time : 985.0 sec. user=vaughan [2010-06-23 08:13:37] 441*2^835193-1 is not prime. Res64: 877109165A19F8C6 Time : 980.0 sec. user=vaughan [2010-06-23 08:14:48] 571*2^835193-1 is not prime. Res64: 8EDC1EDAAD4AD1D1 Time : 718.0 sec. user=vaughan [2010-06-23 08:17:35] 495*2^835193-1 is not prime. Res64: 015F56A789CBD58D Time : 1052.0 sec. user=vaughan [2010-06-23 08:17:46] 507*2^835194-1 is not prime. Res64: 75D06F9D1A0D3234 Time : 727.0 sec. user=vaughan [2010-06-23 08:18:28] 547*2^835193-1 is not prime. Res64: FC2880BE69D8829B Time : 1063.0 sec. user=vaughan [2010-06-23 08:19:58] 495*2^835195-1 is not prime. Res64: 34A19F9E95349804 Time : 732.0 sec. user=vaughan [2010-06-23 08:21:28] 411*2^835194-1 is not prime. Res64: C392FA43FA9E18D0 Time : 968.0 sec. user=vaughan [2010-06-23 08:21:57] 595*2^835193-1 is not prime. Res64: 0988C12F68A4BC35 Time : 1023.0 sec. user=vaughan [2010-06-23 08:22:20] 401*2^835194-1 is not prime. Res64: B051F7AF7ECB016C Time : 1022.0 sec. user=vaughan [2010-06-23 08:22:41] 527*2^835194-1 is not prime. Res64: 857F39315453FAE0 Time : 1016.0 sec. user=vaughan [2010-06-23 08:23:20] 555*2^835194-1 is not prime. Res64: 7908E6C5DEEC4C43 Time : 1022.0 sec. user=vaughan [2010-06-23 08:23:23] 453*2^835195-1 is not prime. Res64: B5C4054F6B34F617 Time : 971.0 sec. user=vaughan [2010-06-23 08:23:39] 471*2^835195-1 is not prime. Res64: 21296AA6F66C39D2 Time : 971.0 sec. user=vaughan [2010-06-23 08:24:03] 531*2^835195-1 is not prime. Res64: CD289677E3AF93A4 Time : 961.0 sec. user=vaughan [2010-06-23 08:25:33] 565*2^835177-1 is not prime. Res64: FF3061F997F5AD84 Time : 2691.0 sec. user=vaughan [2010-06-23 08:26:16] 535*2^835195-1 is not prime. Res64: F0EBF08F52C6272D Time : 1048.0 sec. user=vaughan [2010-06-23 08:26:24] 541*2^835195-1 is not prime. Res64: 7677650F7F7232CE Time : 1046.0 sec. user=vaughan [2010-06-23 08:26:47] 529*2^835197-1 is not prime. Res64: 3B4F40D156EE9E1B Time : 720.0 sec. user=vaughan [2010-06-23 08:27:03] 519*2^835196-1 is not prime. Res64: B5D8F67C27FE7A1D Time : 1056.0 sec. user=vaughan [2010-06-23 08:27:33] 573*2^835196-1 is not prime. Res64: 0359CF5F0E0A9750 Time : 1052.0 sec. user=vaughan [2010-06-23 08:29:47] 457*2^835197-1 is not prime. Res64: D1E7DC609B1663B1 Time : 985.0 sec. user=vaughan [2010-06-23 08:29:52] 577*2^835197-1 is not prime. Res64: DD088AEEF3DC76CA Time : 726.0 sec. user=vaughan [2010-06-23 08:29:55] 499*2^835197-1 is not prime. Res64: F8D56CDE681AB978 Time : 979.0 sec. user=vaughan [2010-06-23 08:30:09] 587*2^835196-1 is not prime. Res64: F7D4413B140C7789 Time : 1055.0 sec. user=vaughan [2010-06-23 08:32:12] 467*2^835198-1 is not prime. Res64: B921DB8EE169EF9C Time : 734.0 sec. user=vaughan [2010-06-23 08:35:02] 537*2^835197-1 is not prime. Res64: BD1DE3DDEA727DB5 Time : 1048.0 sec. user=vaughan [2010-06-23 08:35:48] 465*2^835198-1 is not prime. Res64: B71E1FA8C81B2DB9 Time : 1041.0 sec. user=vaughan [2010-06-23 08:37:36] 525*2^835198-1 is not prime. Res64: 68C8558E155E953C Time : 968.0 sec. user=vaughan [2010-06-23 08:38:45] 499*2^835201-1 is not prime. Res64: 3043645DF33B3902 Time : 718.0 sec. user=vaughan [2010-06-23 08:39:01] 421*2^835199-1 is not prime. Res64: 4F698786333FEC76 Time : 1024.0 sec. user=vaughan [2010-06-23 08:39:16] 575*2^835156-1 is not prime. Res64: F0130A70F8E34058 Time : 4520.0 sec. user=vaughan [2010-06-23 08:39:21] 463*2^835199-1 is not prime. Res64: 6FEB51F47A6F6073 Time : 1022.0 sec. user=vaughan [2010-06-23 08:39:34] 479*2^835200-1 is not prime. Res64: 608306EBB41E71A2 Time : 971.0 sec. user=vaughan [2010-06-23 08:39:36] 531*2^835199-1 is not prime. Res64: 63800F47F0F6F7F8 Time : 1015.0 sec. user=vaughan [2010-06-23 08:39:50] 513*2^835200-1 is not prime. Res64: FC665EA0250EF378 Time : 971.0 sec. user=vaughan [2010-06-23 08:40:01] 429*2^835201-1 is not prime. Res64: 211367F9D3998451 Time : 959.0 sec. user=vaughan [2010-06-23 08:40:19] 455*2^835200-1 is not prime. Res64: A1EFE65B314AF000 Time : 1019.0 sec. user=vaughan [2010-06-23 08:41:59] 497*2^835202-1 is not prime. Res64: F09C8B9A33FF79B0 Time : 727.0 sec. user=vaughan [2010-06-23 08:43:44] 489*2^835201-1 is not prime. Res64: 3B6C5A550918034B Time : 1048.0 sec. user=vaughan [2010-06-23 08:43:50] 495*2^835201-1 is not prime. Res64: 1208DFB21621250C Time : 1046.0 sec. user=vaughan [2010-06-23 08:44:24] 555*2^835201-1 is not prime. Res64: 858284829E080BDB Time : 1042.0 sec. user=vaughan [2010-06-23 08:44:24] 475*2^835203-1 is not prime. Res64: A832DCD9F1E7325E Time : 732.0 sec. user=vaughan [2010-06-23 08:44:56] 591*2^835201-1 is not prime. Res64: 44A7DF7DF0D0D807 Time : 1043.0 sec. user=vaughan [2010-06-23 08:46:10] 597*2^835201-1 is not prime. Res64: 34686B856D63B511 Time : 984.0 sec. user=vaughan [2010-06-23 08:46:13] 521*2^835202-1 is not prime. Res64: 056EDCD113F1DBBC Time : 978.0 sec. user=vaughan [2010-06-23 08:47:45] 459*2^835203-1 is not prime. Res64: 33579AFB835BF295 Time : 1056.0 sec. user=vaughan [2010-06-23 08:48:38] 497*2^835178-1 is not prime. Res64: 36D5CCD948551CF6 Time : 3908.0 sec. user=vaughan [2010-06-23 08:50:42] 465*2^835204-1 is not prime. Res64: 106605991B3CBDF6 Time : 717.0 sec. user=vaughan [2010-06-23 08:52:33] 489*2^835203-1 is not prime. Res64: 67C13B3B22FE1D6B Time : 1051.0 sec. user=vaughan [2010-06-23 08:53:07] 529*2^835203-1 is not prime. Res64: 7AC8D660D0FEB7F0 Time : 1039.0 sec. user=vaughan [2010-06-23 08:53:43] 573*2^835203-1 is not prime. Res64: 276FAF8D924F2A8A Time : 967.0 sec. user=vaughan [2010-06-23 08:53:49] 479*2^835188-1 is not prime. Res64: 6455D1A2293726FC Time : 3885.0 sec. user=vaughan [2010-06-23 08:54:06] 405*2^835206-1 is not prime. Res64: C70E3B020D10D55D Time : 728.0 sec. user=vaughan [2010-06-23 08:55:45] 409*2^835205-1 is not prime. Res64: 9355E417DCAAE821 Time : 971.0 sec. user=vaughan [2010-06-23 08:56:00] 511*2^835205-1 is not prime. Res64: 33B71E5BD43399A6 Time : 970.0 sec. user=vaughan [2010-06-23 08:56:01] 547*2^835205-1 is not prime. Res64: 80A82375DF7D64E2 Time : 960.0 sec. user=vaughan [2010-06-23 08:56:08] 485*2^835204-1 is not prime. Res64: 4C184681FC6FFC53 Time : 1027.0 sec. user=vaughan [2010-06-23 08:56:28] 539*2^835204-1 is not prime. Res64: 4CD679AF5921D30C Time : 1027.0 sec. user=vaughan [2010-06-23 08:56:37] 471*2^835206-1 is not prime. Res64: BF855DE4CDE8D6CF Time : 733.0 sec. user=vaughan [2010-06-23 08:56:37] 475*2^835205-1 is not prime. Res64: D6365AA6EC7DB0EE Time : 1021.0 sec. user=vaughan [2010-06-23 08:57:22] 567*2^835205-1 is not prime. Res64: 315FDA57F91C44FE Time : 1023.0 sec. user=vaughan [2010-06-23 09:01:09] 413*2^835206-1 is not prime. Res64: 7CBDA010633DFADE Time : 1046.0 sec. user=vaughan [2010-06-23 09:01:19] 437*2^835206-1 is not prime. Res64: 3166FCEECDC1E26E Time : 1049.0 sec. user=vaughan [2010-06-23 09:01:48] 443*2^835206-1 is not prime. Res64: 93491D5850B37A4D Time : 1044.0 sec. user=vaughan [2010-06-23 09:02:14] 521*2^835206-1 is not prime. Res64: 5C7F4C7FF6B066D7 Time : 1038.0 sec. user=vaughan [2010-06-23 09:02:41] 519*2^835207-1 is not prime. Res64: A42AEBA8BD73A5DA Time : 719.0 sec. user=vaughan [2010-06-23 09:02:41] 551*2^835206-1 is not prime. Res64: D8981FA7D16EE6B9 Time : 991.0 sec. user=vaughan [2010-06-23 09:02:52] 567*2^835206-1 is not prime. Res64: 61C1DC1C09EBA974 Time : 999.0 sec. user=vaughan [2010-06-23 09:05:20] 475*2^835207-1 is not prime. Res64: 19C6383F5714D50F Time : 1055.0 sec. user=vaughan [2010-06-23 09:06:14] 535*2^835209-1 is not prime. Res64: 6FB8C94E4505688B Time : 728.0 sec. user=vaughan [2010-06-23 09:08:50] 525*2^835212-1 is not prime. Res64: 96BFE9790269BFC5 Time : 733.0 sec. user=vaughan [2010-06-23 09:09:50] 471*2^835209-1 is not prime. Res64: B12955B2B870FDD9 Time : 968.0 sec. user=vaughan [2010-06-23 09:10:01] 405*2^835208-1 is not prime. Res64: 8E7E7A50C50713D8 Time : 1049.0 sec. user=vaughan [2010-06-23 09:10:31] 449*2^835208-1 is not prime. Res64: 48E6939ACBAA6C80 Time : 1045.0 sec. user=vaughan [2010-06-23 09:11:56] 549*2^835209-1 is not prime. Res64: 9FD22B9998E03426 Time : 971.0 sec. user=vaughan [2010-06-23 09:12:10] 545*2^835210-1 is not prime. Res64: D581E8B178D4B848 Time : 970.0 sec. user=vaughan [2010-06-23 09:12:29] 477*2^835201-1 is not prime. Res64: 354231C2DFA4B632 Time : 2816.0 sec. user=Flatlander [2010-06-23 09:14:18] 465*2^835175-1 is not prime. Res64: 335E08BF353C075D Time : 5886.0 sec. user=Flatlander [2010-06-23 09:14:19] 523*2^835175-1 is not prime. Res64: 27363C4DC99D5369 Time : 5885.0 sec. user=Flatlander [2010-06-23 09:14:19] 453*2^835176-1 is not prime. Res64: 8965B88311EB9DDE Time : 5884.0 sec. user=Flatlander [2010-06-23 09:14:19] 479*2^835176-1 is not prime. Res64: 9D01CDA6149085D6 Time : 5882.0 sec. user=vaughan [2010-06-23 09:23:09] 415*2^835215-1 is not prime. Res64: 24DBCD9C5B2C60E5 Time : 1016.0 sec. user=vaughan [2010-06-23 09:23:16] 455*2^835212-1 is not prime. Res64: 4ACC5FA856504E68 Time : 1608.0 sec. user=vaughan [2010-06-23 09:23:17] 441*2^835215-1 is not prime. Res64: 48C5C3B9DB14F524 Time : 868.0 sec. user=vaughan [2010-06-23 09:23:17] 419*2^835212-1 is not prime. Res64: B300C2DA20E8F9F0 Time : 1630.0 sec. user=vaughan [2010-06-23 09:23:25] 405*2^835215-1 is not prime. Res64: 56E8D7786B52494F Time : 1233.0 sec. user=vaughan [2010-06-23 09:23:29] 589*2^835213-1 is not prime. Res64: 47CD54329E2EA999 Time : 1301.0 sec. user=vaughan [2010-06-23 09:23:42] 495*2^835214-1 is not prime. Res64: FCD03544325F18D9 Time : 1262.0 sec. user=vaughan [2010-06-23 09:23:43] 473*2^835214-1 is not prime. Res64: 4E399B3F91C0AB27 Time : 1290.0 sec. user=vaughan [2010-06-23 09:23:51] 429*2^835213-1 is not prime. Res64: 003E5B314E271D5C Time : 1634.0 sec. user=vaughan [2010-06-23 09:23:59] 471*2^835213-1 is not prime. Res64: 285F286754E7A3A0 Time : 1597.0 sec. user=vaughan [2010-06-23 09:24:12] 593*2^835214-1 is not prime. Res64: 4C467676126E3931 Time : 1291.0 sec. user=vaughan [2010-06-23 09:25:57] 531*2^835215-1 is not prime. Res64: C2A149C5C325662C Time : 967.0 sec. user=vaughan [2010-06-23 09:27:30] 583*2^835215-1 is not prime. Res64: E9CD30C7408ED94D Time : 1049.0 sec. user=vaughan [2010-06-23 09:27:57] 519*2^835216-1 is not prime. Res64: 16F637C9E416B747 Time : 1046.0 sec. user=vaughan [2010-06-23 09:28:06] 573*2^835216-1 is not prime. Res64: ED68C266CFB876D3 Time : 970.0 sec. user=vaughan [2010-06-23 09:28:20] 575*2^835216-1 is not prime. Res64: 5BBC2BFF3A3E1A5F Time : 971.0 sec. user=vaughan [2010-06-23 09:35:17] 483*2^835219-1 is not prime. Res64: F9C2555E712C7AA1 Time : 728.0 sec. user=vaughan [2010-06-23 09:35:41] 507*2^835221-1 is not prime. Res64: A3D431580A7F5028 Time : 719.0 sec. user=vaughan [2010-06-23 09:36:31] 589*2^835223-1 is not prime. Res64: 02BE2DF427824789 Time : 732.0 sec. user=Flatlander [2010-06-23 09:38:13] 465*2^835143-1 is not prime. Res64: 6BC6B7775D598BBA Time : 10236.0 sec. user=Flatlander [2010-06-23 09:38:14] 475*2^835143-1 is not prime. Res64: C6DCC5198C8DF5D9 Time : 10235.0 sec. user=Flatlander [2010-06-23 09:38:14] 501*2^835143-1 is not prime. Res64: BD26CABD08C34FCC Time : 10234.0 sec. user=Flatlander [2010-06-23 09:38:15] 419*2^835144-1 is not prime. Res64: 52E5D2A4C5FCCF5F Time : 10233.0 sec. user=vaughan [2010-06-23 09:39:58] 595*2^835219-1 is not prime. Res64: 81550E04F38173AC Time : 993.0 sec. user=vaughan [2010-06-23 09:40:40] 571*2^835223-1 is not prime. Res64: 8FD2C332AC24422C Time : 988.0 sec. user=vaughan [2010-06-23 09:40:54] 491*2^835222-1 is not prime. Res64: FA8E25D81C97CEDE Time : 1024.0 sec. user=vaughan [2010-06-23 09:41:05] 495*2^835222-1 is not prime. Res64: CD9301E2913A422C Time : 1026.0 sec. user=vaughan [2010-06-23 09:41:23] 459*2^835221-1 is not prime. Res64: 5F7D585791848D26 Time : 1075.0 sec. user=vaughan [2010-06-23 09:41:44] 423*2^835222-1 is not prime. Res64: 1AC62B5DD32FEE30 Time : 1081.0 sec. user=vaughan [2010-06-23 09:42:02] 525*2^835224-1 is not prime. Res64: EB3F90C1C9571A20 Time : 965.0 sec. user=vaughan [2010-06-23 09:42:14] 489*2^835219-1 is not prime. Res64: B6298F20CA9EE452 Time : 1138.0 sec. user=vaughan [2010-06-23 09:42:19] 511*2^835219-1 is not prime. Res64: B0B187FECAFBA7ED Time : 1142.0 sec. user=vaughan [2010-06-23 09:44:13] 567*2^835224-1 is not prime. Res64: 607D327C02AE916C Time : 968.0 sec. user=vaughan [2010-06-23 09:44:26] 409*2^835225-1 is not prime. Res64: 92D5361FEB0EDF6E Time : 967.0 sec. user=vaughan [2010-06-23 09:45:30] 549*2^835224-1 is not prime. Res64: 9FC3C0E57912438D Time : 1053.0 sec. user=vaughan [2010-06-23 09:45:35] 539*2^835224-1 is not prime. Res64: 601684007C58E86B Time : 1086.0 sec. user=vaughan [2010-06-23 09:47:23] 421*2^835225-1 is not prime. Res64: 3D03C9DA9C9288CC Time : 727.0 sec. user=vaughan [2010-06-23 09:47:39] 525*2^835225-1 is not prime. Res64: 3A65041F7D189489 Time : 719.0 sec. user=vaughan [2010-06-23 09:48:44] 589*2^835225-1 is not prime. Res64: A6D943F6EC05E562 Time : 733.0 sec. user=vaughan [2010-06-23 09:53:59] 499*2^835207-1 is not prime. Res64: 90F1DB6D9AF8F741 Time : 3921.0 sec. user=vaughan [2010-06-23 09:55:28] 533*2^835204-1 is not prime. Res64: F56E974FFEC85B70 Time : 4573.0 sec. user=vaughan [2010-06-23 09:56:30] 543*2^835227-1 is not prime. Res64: 954EEFAE216A3E95 Time : 992.0 sec. user=vaughan [2010-06-23 09:57:07] 573*2^835227-1 is not prime. Res64: 9E02E0A041C448CC Time : 987.0 sec. user=vaughan [2010-06-23 09:58:00] 507*2^835228-1 is not prime. Res64: 98E7F93A829568F2 Time : 1026.0 sec. user=vaughan [2010-06-23 09:58:04] 435*2^835229-1 is not prime. Res64: 69AC7615ECB208BB Time : 962.0 sec. user=vaughan [2010-06-23 09:58:08] 537*2^835228-1 is not prime. Res64: 82C9733D1C3AAAF6 Time : 1023.0 sec. user=vaughan [2010-06-23 09:59:25] 573*2^835228-1 is not prime. Res64: AA406EFC9410687A Time : 1082.0 sec. user=vaughan [2010-06-23 09:59:31] 507*2^835217-1 is not prime. Res64: E29EC951DF24DC1E Time : 2822.0 sec. user=vaughan [2010-06-23 09:59:31] 411*2^835231-1 is not prime. Res64: B23751E65A67C63A Time : 728.0 sec. user=vaughan [2010-06-23 09:59:37] 535*2^835231-1 is not prime. Res64: E1505571AD64B139 Time : 718.0 sec. user=vaughan [2010-06-23 09:59:48] 575*2^835228-1 is not prime. Res64: E37EBD5A04CA90A5 Time : 1085.0 sec. user=vaughan [2010-06-23 10:00:18] 487*2^835229-1 is not prime. Res64: 406DC33D5082610F Time : 966.0 sec. user=vaughan [2010-06-23 10:00:31] 423*2^835230-1 is not prime. Res64: 41F3788140DE4AEC Time : 965.0 sec. user=vaughan [2010-06-23 10:00:57] 549*2^835231-1 is not prime. Res64: BBD5E2ECCF687838 Time : 734.0 sec. user=vaughan [2010-06-23 10:01:08] 459*2^835229-1 is not prime. Res64: 113D63FF1D617ED7 Time : 1135.0 sec. user=vaughan [2010-06-23 10:01:14] 481*2^835229-1 is not prime. Res64: 61143F719F6F29FD Time : 1136.0 sec. user=vaughan [2010-06-23 10:01:15] 507*2^835209-1 is not prime. Res64: FE92E32C6B99B8E7 Time : 4046.0 sec. user=vaughan [2010-06-23 10:03:00] 513*2^835230-1 is not prime. Res64: D172744028000F1B Time : 1050.0 sec. user=vaughan [2010-06-23 10:03:38] 591*2^835230-1 is not prime. Res64: 73D58E530053E160 Time : 1083.0 sec. user=Flatlander [2010-06-23 10:10:22] 537*2^835189-1 is not prime. Res64: 593BF8257D56E12B Time : 8359.0 sec. user=Flatlander [2010-06-23 10:11:35] 471*2^835170-1 is not prime. Res64: 2B300AA1CB2CDE40 Time : 9689.0 sec. user=vaughan [2010-06-23 10:11:35] 525*2^835233-1 is not prime. Res64: 45729CF714678458 Time : 718.0 sec. user=Flatlander [2010-06-23 10:11:35] 501*2^835170-1 is not prime. Res64: FBAD4A77C6D9ABDE Time : 9688.0 sec. user=Flatlander [2010-06-23 10:11:36] 537*2^835170-1 is not prime. Res64: B4B5A861D4F7A4B9 Time : 9688.0 sec. user=Flatlander [2010-06-23 10:11:37] 415*2^835171-1 is not prime. Res64: E816440DE133A935 Time : 9688.0 sec. user=Flatlander [2010-06-23 10:11:38] 469*2^835171-1 is not prime. Res64: 2E2B426C702DEDB0 Time : 9688.0 sec. user=vaughan [2010-06-23 10:11:38] 495*2^835233-1 is not prime. Res64: E3E87AB9DDA6BFDF Time : 727.0 sec. user=vaughan [2010-06-23 10:13:01] 467*2^835232-1 is not prime. Res64: 1D9BD3C6817D3713 Time : 992.0 sec. user=vaughan [2010-06-23 10:13:09] 513*2^835234-1 is not prime. Res64: A47C7C94324BB215 Time : 732.0 sec. user=vaughan [2010-06-23 10:13:34] 483*2^835232-1 is not prime. Res64: 06EAA94208BD9725 Time : 987.0 sec. user=vaughan [2010-06-23 10:14:05] 585*2^835232-1 is not prime. Res64: 5E2975994D20840E Time : 962.0 sec. user=vaughan [2010-06-23 10:15:05] 539*2^835232-1 is not prime. Res64: 839049D7B5D39404 Time : 1025.0 sec. user=vaughan [2010-06-23 10:15:18] 587*2^835232-1 is not prime. Res64: 7F7195B4D21FBB7F Time : 1030.0 sec. user=vaughan [2010-06-23 10:16:27] 591*2^835233-1 is not prime. Res64: E36A291F3249FEEC Time : 969.0 sec. user=vaughan [2010-06-23 10:16:37] 443*2^835234-1 is not prime. Res64: 5A7F7D831FF9642A Time : 966.0 sec. user=vaughan [2010-06-23 10:17:28] 457*2^835233-1 is not prime. Res64: 63BE0CD869A1B75A Time : 1083.0 sec. user=vaughan [2010-06-23 10:17:54] 529*2^835233-1 is not prime. Res64: 93A546A7C3BD556A Time : 1086.0 sec. user=vaughan [2010-06-23 10:20:17] 567*2^835234-1 is not prime. Res64: 4ECBED17BBF9E6BB Time : 1149.0 sec. user=vaughan [2010-06-23 10:20:46] 523*2^835235-1 is not prime. Res64: 552464E4472039FE Time : 1067.0 sec. user=vaughan [2010-06-23 10:21:36] 575*2^835234-1 is not prime. Res64: 13A32C106946A154 Time : 1222.0 sec. user=vaughan [2010-06-23 10:22:25] 453*2^835236-1 is not prime. Res64: 66DAE63DC77ABD7B Time : 1128.0 sec. user=vaughan [2010-06-23 10:23:41] 457*2^835237-1 is not prime. Res64: E14BD8C2F145810E Time : 726.0 sec. user=vaughan [2010-06-23 10:23:49] 489*2^835237-1 is not prime. Res64: C07CCB624924B1DF Time : 731.0 sec. user=vaughan [2010-06-23 10:25:22] 549*2^835241-1 is not prime. Res64: 5CACDBB29F0D7CC8 Time : 734.0 sec. user=vaughan [2010-06-23 10:29:36] 511*2^835241-1 is not prime. Res64: 6C2EBBBAF52EEACE Time : 995.0 sec. user=vaughan [2010-06-23 10:30:02] 559*2^835241-1 is not prime. Res64: 3B091F5E0E27AD88 Time : 988.0 sec. user=vaughan [2010-06-23 10:30:14] 571*2^835241-1 is not prime. Res64: C9A92531DE37302A Time : 969.0 sec. user=vaughan [2010-06-23 10:32:17] 585*2^835241-1 is not prime. Res64: EB0DDE00F73FCD5C Time : 1032.0 sec. user=vaughan [2010-06-23 10:32:22] 405*2^835242-1 is not prime. Res64: 3B9E33F60E92FFA9 Time : 1025.0 sec. user=vaughan [2010-06-23 10:32:37] 425*2^835242-1 is not prime. Res64: 106091DACDBCD973 Time : 971.0 sec. user=vaughan [2010-06-23 10:32:45] 447*2^835242-1 is not prime. Res64: F9FC9504A0E76CE2 Time : 968.0 sec. user=vaughan [2010-06-23 10:35:37] 589*2^835243-1 is not prime. Res64: 3EB1FDB46E236248 Time : 716.0 sec. user=vaughan [2010-06-23 10:35:39] 485*2^835242-1 is not prime. Res64: 19D00FBE5CCFAB61 Time : 1091.0 sec. user=vaughan [2010-06-23 10:35:57] 453*2^835244-1 is not prime. Res64: 4624B66D787C67D7 Time : 733.0 sec. user=vaughan [2010-06-23 10:36:00] 593*2^835242-1 is not prime. Res64: 18C6A402026B6F70 Time : 1088.0 sec. user=Flatlander [2010-06-23 10:37:27] 585*2^835217-1 is not prime. Res64: E154F7A6C71EDEE3 Time : 4987.0 sec. user=Flatlander [2010-06-23 10:37:27] 497*2^835218-1 is not prime. Res64: 70D9F1E0735B7209 Time : 4986.0 sec. user=Flatlander [2010-06-23 10:37:28] 515*2^835218-1 is not prime. Res64: 1A0847E425DC21E4 Time : 4986.0 sec. user=Flatlander [2010-06-23 10:37:28] 573*2^835218-1 is not prime. Res64: BD807CA52BF408A2 Time : 4985.0 sec. user=Flatlander [2010-06-23 10:37:29] 465*2^835219-1 is not prime. Res64: 723D796E7AEF5F9F Time : 4985.0 sec. user=vaughan [2010-06-23 10:37:29] 533*2^835244-1 is not prime. Res64: 967DCD5F470E6D10 Time : 728.0 sec. user=vaughan [2010-06-23 10:38:16] 481*2^835243-1 is not prime. Res64: F864FFC82CE9F1C2 Time : 1051.0 sec. user=vaughan [2010-06-23 10:39:12] 463*2^835243-1 is not prime. Res64: 87E51FCA11071954 Time : 1136.0 sec. user=vaughan [2010-06-23 10:40:41] 465*2^835243-1 is not prime. Res64: DC7F508605AF69C6 Time : 1216.0 sec. user=vaughan [2010-06-23 10:40:45] 499*2^835243-1 is not prime. Res64: 368B1C7E584AF23C Time : 1101.0 sec. user=vaughan [2010-06-23 10:46:01] 471*2^835233-1 is not prime. Res64: 9CE80B482E60AABD Time : 2790.0 sec. user=vaughan [2010-06-23 10:46:09] 545*2^835244-1 is not prime. Res64: 8023A6643B5E27DB Time : 994.0 sec. user=vaughan [2010-06-23 10:46:18] 405*2^835245-1 is not prime. Res64: 10E634A06323DFAC Time : 964.0 sec. user=vaughan [2010-06-23 10:46:29] 599*2^835244-1 is not prime. Res64: FBBA223A3B16C81B Time : 987.0 sec. user=vaughan [2010-06-23 10:47:43] 561*2^835246-1 is not prime. Res64: DB04820D984BB2E2 Time : 726.0 sec. user=vaughan [2010-06-23 10:48:10] 511*2^835247-1 is not prime. Res64: 68A7BFE8DEC9719B Time : 733.0 sec. user=vaughan [2010-06-23 10:48:45] 495*2^835245-1 is not prime. Res64: ABEF06FCE2A25C5A Time : 969.0 sec. user=vaughan [2010-06-23 10:48:51] 483*2^835246-1 is not prime. Res64: A06D245131D46866 Time : 966.0 sec. user=vaughan [2010-06-23 10:49:22] 409*2^835245-1 is not prime. Res64: D11CE37841A24F7A Time : 1026.0 sec. user=vaughan [2010-06-23 10:49:29] 447*2^835245-1 is not prime. Res64: 3924863C4C16B602 Time : 1028.0 sec. user=vaughan [2010-06-23 10:49:39] 595*2^835247-1 is not prime. Res64: FC86E7CD1607D5FD Time : 730.0 sec. user=vaughan [2010-06-23 10:54:05] 559*2^835247-1 is not prime. Res64: A85F1E94040438B3 Time : 1085.0 sec. user=vaughan [2010-06-23 10:54:06] 453*2^835247-1 is not prime. Res64: 473E93C8D5DCACFF Time : 1107.0 sec. user=vaughan [2010-06-23 10:55:44] 457*2^835249-1 is not prime. Res64: F5F94791CEAC0ED2 Time : 1055.0 sec. user=vaughan [2010-06-23 10:58:08] 477*2^835249-1 is not prime. Res64: 538AC13A5F8176BF Time : 1136.0 sec. user=vaughan [2010-06-23 10:59:27] 595*2^835249-1 is not prime. Res64: 07DE265E1D82DD53 Time : 1125.0 sec. user=vaughan [2010-06-23 10:59:41] 565*2^835249-1 is not prime. Res64: BE4A6C94F0F483B0 Time : 1140.0 sec. user=vaughan [2010-06-23 11:00:01] 429*2^835251-1 is not prime. Res64: 57B3D2E18A5819B3 Time : 739.0 sec. user=vaughan [2010-06-23 11:00:19] 535*2^835251-1 is not prime. Res64: 3E013D7AB713E9DC Time : 729.0 sec. user=vaughan [2010-06-23 11:01:51] 411*2^835253-1 is not prime. Res64: 427101A417B35165 Time : 733.0 sec. user=vaughan [2010-06-23 11:02:20] 425*2^835232-1 is not prime. Res64: 88ECE03ED5165FFB Time : 4102.0 sec. user=vaughan [2010-06-23 11:02:23] 561*2^835250-1 is not prime. Res64: D46EAB101A019D1B Time : 966.0 sec. user=vaughan [2010-06-23 11:02:57] 415*2^835251-1 is not prime. Res64: 22EB9CB21B4758E7 Time : 989.0 sec. user=vaughan [2010-06-23 11:02:59] 483*2^835250-1 is not prime. Res64: DE334E3B737F8CA8 Time : 1011.0 sec. user=vaughan [2010-06-23 11:04:55] 413*2^835252-1 is not prime. Res64: DEA782516B291744 Time : 970.0 sec. user=vaughan [2010-06-23 11:04:59] 435*2^835252-1 is not prime. Res64: 48A521E97C9C465E Time : 968.0 sec. user=vaughan [2010-06-23 11:06:31] 483*2^835252-1 is not prime. Res64: 0BF6B46F7EAFC509 Time : 1030.0 sec. user=vaughan [2010-06-23 11:06:34] 573*2^835252-1 is not prime. Res64: A99A012FAEF2CD64 Time : 1027.0 sec. user=vaughan [2010-06-23 11:08:58] 445*2^835235-1 is not prime. Res64: 2579CCBC4A4E04AD Time : 4064.0 sec. user=vaughan [2010-06-23 11:11:58] 453*2^835254-1 is not prime. Res64: 642BA302CA05B26B Time : 718.0 sec. user=vaughan [2010-06-23 11:12:11] 441*2^835253-1 is not prime. Res64: 4AE56EA95CF5D19C Time : 1086.0 sec. user=vaughan [2010-06-23 11:12:14] 421*2^835253-1 is not prime. Res64: BDC91AD6A6BF10B6 Time : 1090.0 sec. user=vaughan [2010-06-23 11:13:10] 465*2^835254-1 is not prime. Res64: 26763F1C36A141BA Time : 772.0 sec. user=vaughan [2010-06-23 11:13:12] 481*2^835253-1 is not prime. Res64: 452DAB076DA8AC67 Time : 1049.0 sec. user=vaughan [2010-06-23 11:14:03] 483*2^835254-1 is not prime. Res64: 7DFF8D9110C834C3 Time : 733.0 sec. user=vaughan [2010-06-23 11:15:22] 455*2^835232-1 is not prime. Res64: A8AC3E47FB5A92C6 Time : 4794.0 sec. user=vaughan [2010-06-23 11:17:07] 571*2^835253-1 is not prime. Res64: FDE63A2322D63741 Time : 1140.0 sec. user=vaughan [2010-06-23 11:17:39] 413*2^835254-1 is not prime. Res64: 0F59175391022708 Time : 1101.0 sec. user=vaughan [2010-06-23 11:18:36] 405*2^835255-1 is not prime. Res64: 153AB8F581DFCCCD Time : 974.0 sec. user=Flatlander [2010-06-23 11:18:40] 597*2^835225-1 is not prime. Res64: 21A0F61FBC5D1E4E Time : 6024.0 sec. user=Flatlander [2010-06-23 11:18:40] 515*2^835226-1 is not prime. Res64: 8EFEAD3553005BF1 Time : 6022.0 sec. user=Flatlander [2010-06-23 11:18:41] 575*2^835226-1 is not prime. Res64: 8F6A1A0B4DA8E967 Time : 6022.0 sec. user=Flatlander [2010-06-23 11:18:41] 585*2^835226-1 is not prime. Res64: B5D878611DD83215 Time : 6021.0 sec. user=Flatlander [2010-06-23 11:18:42] 469*2^835227-1 is not prime. Res64: AED850FDF72A07B4 Time : 6021.0 sec. user=vaughan [2010-06-23 11:19:02] 425*2^835254-1 is not prime. Res64: F7115AA50F6DE897 Time : 1162.0 sec. user=vaughan [2010-06-23 11:19:28] 429*2^835255-1 is not prime. Res64: 2617B61A4BCBAF05 Time : 991.0 sec. user=vaughan [2010-06-23 11:19:37] 415*2^835255-1 is not prime. Res64: DD2048C584082F31 Time : 999.0 sec. user=vaughan [2010-06-23 11:21:04] 553*2^835255-1 is not prime. Res64: 880C3D6135700825 Time : 966.0 sec. user=vaughan [2010-06-23 11:21:44] 453*2^835255-1 is not prime. Res64: 7CC93D163443EC03 Time : 1010.0 sec. user=vaughan [2010-06-23 11:23:37] 437*2^835256-1 is not prime. Res64: 02AF7EABDD1B058D Time : 1027.0 sec. user=vaughan [2010-06-23 11:23:43] 459*2^835256-1 is not prime. Res64: 97A7B650DD332524 Time : 1030.0 sec. user=vaughan [2010-06-23 11:23:55] 539*2^835256-1 is not prime. Res64: 2917105FB3EFB11C Time : 718.0 sec. user=vaughan [2010-06-23 11:25:21] 465*2^835257-1 is not prime. Res64: 75B3A50604FE4C8C Time : 769.0 sec. user=vaughan [2010-06-23 11:26:21] 461*2^835258-1 is not prime. Res64: 2FE18B80D9BBCACA Time : 738.0 sec. user=vaughan [2010-06-23 11:30:05] 439*2^835257-1 is not prime. Res64: 41AA9E562CC6B58A Time : 1073.0 sec. user=vaughan [2010-06-23 11:30:06] 557*2^835256-1 is not prime. Res64: 592E1356635FDF32 Time : 1076.0 sec. user=vaughan [2010-06-23 11:30:56] 585*2^835257-1 is not prime. Res64: 7F8B8A40E6A80264 Time : 1064.0 sec. user=vaughan [2010-06-23 11:34:38] 597*2^835258-1 is not prime. Res64: 97E279B83CB7FADE Time : 963.0 sec. user=vaughan [2010-06-23 11:35:28] 411*2^835250-1 is not prime. Res64: 4419EF2CEE19AD09 Time : 2968.0 sec. user=vaughan [2010-06-23 11:35:38] 527*2^835258-1 is not prime. Res64: E94BE4B6FD3691E7 Time : 1083.0 sec. user=vaughan [2010-06-23 11:35:55] 541*2^835261-1 is not prime. Res64: AB86D001D1D68C7E Time : 721.0 sec. user=vaughan [2010-06-23 11:36:12] 555*2^835260-1 is not prime. Res64: 56F55849AA23CDB8 Time : 1004.0 sec. user=vaughan [2010-06-23 11:36:13] 495*2^835258-1 is not prime. Res64: A2AEAD3875AE14B9 Time : 1147.0 sec. user=vaughan [2010-06-23 11:36:22] 477*2^835261-1 is not prime. Res64: 0D6EA127F60BD206 Time : 1006.0 sec. user=vaughan [2010-06-23 11:37:11] 499*2^835261-1 is not prime. Res64: 2897A7E7BF1A4895 Time : 967.0 sec. user=vaughan [2010-06-23 11:37:31] 437*2^835262-1 is not prime. Res64: 86F1BF212B60C8BF Time : 730.0 sec. user=vaughan [2010-06-23 11:37:51] 495*2^835261-1 is not prime. Res64: 500E1237BDAF096D Time : 993.0 sec. user=vaughan [2010-06-23 11:38:14] 511*2^835259-1 is not prime. Res64: 2635948633A40E5A Time : 1153.0 sec. user=vaughan [2010-06-23 11:38:41] 507*2^835262-1 is not prime. Res64: CF4C24DA93F94044 Time : 740.0 sec. user=vaughan [2010-06-23 11:41:01] 507*2^835261-1 is not prime. Res64: 82F69FBB762310DC Time : 1045.0 sec. user=vaughan [2010-06-23 11:41:06] 511*2^835261-1 is not prime. Res64: EC68306A8D465BA5 Time : 1045.0 sec. user=vaughan [2010-06-23 11:47:38] 551*2^835262-1 is not prime. Res64: 43B08340787ECAD8 Time : 1055.0 sec. user=vaughan [2010-06-23 11:47:41] 465*2^835263-1 is not prime. Res64: D72D1DB93DB3D0FC Time : 1056.0 sec. user=vaughan [2010-06-23 11:47:48] 579*2^835265-1 is not prime. Res64: EFF17CA419152F6D Time : 714.0 sec. user=vaughan [2010-06-23 11:49:12] 489*2^835263-1 is not prime. Res64: B6C34952A6B85C75 Time : 1097.0 sec. user=vaughan [2010-06-23 11:49:39] 495*2^835266-1 is not prime. Res64: 5ECE966592FB3DEB Time : 729.0 sec. user=vaughan [2010-06-23 11:50:44] 543*2^835263-1 is not prime. Res64: 4D4359EB60C3A8E6 Time : 966.0 sec. user=vaughan [2010-06-23 11:50:50] 515*2^835266-1 is not prime. Res64: 55923AD4FF986578 Time : 736.0 sec. user=vaughan [2010-06-23 11:52:41] 585*2^835265-1 is not prime. Res64: 4CDF536E549D739A Time : 989.0 sec. user=vaughan [2010-06-23 11:53:57] 503*2^835266-1 is not prime. Res64: 8F253E71A923FE29 Time : 967.0 sec. user=vaughan [2010-06-23 11:53:58] 577*2^835265-1 is not prime. Res64: EC7E6CC2660A9CAD Time : 1101.0 sec. user=vaughan [2010-06-23 11:54:36] 411*2^835266-1 is not prime. Res64: 379C79FE88CB9CDE Time : 1095.0 sec. user=vaughan [2010-06-23 11:54:47] 485*2^835266-1 is not prime. Res64: 826787D8B425BC45 Time : 1057.0 sec. user=vaughan [2010-06-23 11:55:16] 591*2^835265-1 is not prime. Res64: B865AC5043D53156 Time : 1143.0 sec. user=Flatlander [2010-06-23 11:56:51] 485*2^835248-1 is not prime. Res64: C81E34359E11144C Time : 4761.0 sec. user=Flatlander [2010-06-23 11:56:52] 507*2^835248-1 is not prime. Res64: 658F005D00F85F98 Time : 4761.0 sec. user=Flatlander [2010-06-23 11:56:53] 513*2^835248-1 is not prime. Res64: F6BAFE4BC66C97D0 Time : 4761.0 sec. user=Flatlander [2010-06-23 11:56:53] 429*2^835249-1 is not prime. Res64: 4E8BE08C55468FFB Time : 4760.0 sec. user=Flatlander [2010-06-23 11:56:54] 435*2^835249-1 is not prime. Res64: BE81C62B7F73D784 Time : 4759.0 sec. user=vaughan [2010-06-23 11:57:23] 507*2^835266-1 is not prime. Res64: 798091CDF615A130 Time : 1150.0 sec. user=vaughan [2010-06-23 11:59:41] 587*2^835266-1 is not prime. Res64: 9FF493A234F84729 Time : 1116.0 sec. user=vaughan [2010-06-23 12:01:07] 527*2^835266-1 is not prime. Res64: A1984D373F0E4E5B Time : 1208.0 sec. user=vaughan [2010-06-23 12:01:20] 505*2^835267-1 is not prime. Res64: 24DAF6D6C96F4696 Time : 812.0 sec. user=vaughan [2010-06-23 12:01:43] 417*2^835268-1 is not prime. Res64: 92846AB04F47D2CD Time : 724.0 sec. user=vaughan [2010-06-23 12:05:57] 429*2^835267-1 is not prime. Res64: 72C3030C711FA1EC Time : 1100.0 sec. user=vaughan [2010-06-23 12:06:00] 483*2^835267-1 is not prime. Res64: E16AD03F1DB900EA Time : 1099.0 sec. user=vaughan [2010-06-23 12:06:31] 519*2^835268-1 is not prime. Res64: BBC0BE5BC9481191 Time : 941.0 sec. user=vaughan [2010-06-23 12:06:44] 541*2^835267-1 is not prime. Res64: 4210874EB37DBBA3 Time : 1053.0 sec. user=vaughan [2010-06-23 12:06:59] 435*2^835268-1 is not prime. Res64: 6A564DB73E1576F3 Time : 977.0 sec. user=vaughan [2010-06-23 12:09:37] 537*2^835268-1 is not prime. Res64: 5FC4148B6D22C63E Time : 1018.0 sec. user=vaughan [2010-06-23 12:10:14] 533*2^835270-1 is not prime. Res64: C5E26D97BE0AB6E7 Time : 977.0 sec. user=vaughan [2010-06-23 12:10:30] 507*2^835254-1 is not prime. Res64: F31A0859F6D8682F Time : 4094.0 sec. user=vaughan [2010-06-23 12:11:10] 423*2^835270-1 is not prime. Res64: 530FC193FC6D5FD3 Time : 1031.0 sec. user=vaughan [2010-06-23 12:11:45] 565*2^835269-1 is not prime. Res64: C227289CA40A435C Time : 1113.0 sec. user=vaughan [2010-06-23 12:12:08] 495*2^835270-1 is not prime. Res64: E777890F396F0703 Time : 1091.0 sec. user=vaughan [2010-06-23 12:14:07] 503*2^835256-1 is not prime. Res64: 97BBF9A1559534BD Time : 3909.0 sec. user=vaughan [2010-06-23 12:14:30] 587*2^835272-1 is not prime. Res64: 345ABCEA63BDAEA9 Time : 767.0 sec. user=vaughan [2010-06-23 12:14:34] 561*2^835270-1 is not prime. Res64: 6F520B739CFCCA96 Time : 1160.0 sec. user=vaughan [2010-06-23 12:16:30] 549*2^835272-1 is not prime. Res64: A34CADEF45046818 Time : 910.0 sec. user=vaughan [2010-06-23 12:16:48] 485*2^835272-1 is not prime. Res64: 7E895FD58613F274 Time : 1171.0 sec. user=vaughan [2010-06-23 12:24:20] 595*2^835273-1 is not prime. Res64: 63F742E3F5ABE71E Time : 1056.0 sec. user=vaughan [2010-06-23 12:30:08] 437*2^835276-1 is not prime. Res64: 1CBE7E69C6DD088A Time : 1080.0 sec. user=vaughan [2010-06-23 12:42:00] 475*2^835277-1 is not prime. Res64: AD5FBBB1CC041ED5 Time : 1062.0 sec. user=Flatlander [2010-06-23 12:42:41] 501*2^835259-1 is not prime. Res64: F1CBFE768CE4F717 Time : 5038.0 sec. user=Flatlander [2010-06-23 12:42:42] 589*2^835259-1 is not prime. Res64: FFE51A3D9DE95B37 Time : 5038.0 sec. user=Flatlander [2010-06-23 12:42:43] 447*2^835260-1 is not prime. Res64: 1FBF42E156E7A6B5 Time : 5038.0 sec. user=Flatlander [2010-06-23 12:42:43] 465*2^835260-1 is not prime. Res64: BCD9D6784E7ED637 Time : 5038.0 sec. user=Flatlander [2010-06-23 12:42:44] 513*2^835260-1 is not prime. Res64: E6C5DE2E8D6460DA Time : 5039.0 sec. user=vaughan [2010-06-23 12:48:10] 477*2^835277-1 is not prime. Res64: BDAF1589037CDD05 Time : 1082.0 sec. user=Flatlander [2010-06-23 12:53:51] 439*2^835239-1 is not prime. Res64: 0A1E6828CB3196DF Time : 9732.0 sec. user=Flatlander [2010-06-23 12:53:52] 483*2^835239-1 is not prime. Res64: 26C95C1A3D0D29F0 Time : 9731.0 sec. user=Flatlander [2010-06-23 12:53:52] 501*2^835239-1 is not prime. Res64: 16B110575CC90EE7 Time : 9730.0 sec. user=Flatlander [2010-06-23 12:53:53] 429*2^835240-1 is not prime. Res64: 85984FC5470DB0EE Time : 9729.0 sec. user=Flatlander [2010-06-23 12:53:54] 449*2^835240-1 is not prime. Res64: AB4067F60994471B Time : 9728.0 sec. user=vaughan [2010-06-23 12:59:28] 495*2^835277-1 is not prime. Res64: AE4EBE2F09FB1937 Time : 1048.0 sec. user=Flatlander [2010-06-23 12:59:58] 503*2^835236-1 is not prime. Res64: 6A60B42D21C52754 Time : 10174.0 sec. user=Flatlander [2010-06-23 12:59:59] 527*2^835236-1 is not prime. Res64: 3EAAD40EEFE65134 Time : 10174.0 sec. user=Flatlander [2010-06-23 12:59:59] 557*2^835236-1 is not prime. Res64: DD50DBC10E1400E2 Time : 10172.0 sec. user=Flatlander [2010-06-23 13:00:00] 405*2^835237-1 is not prime. Res64: 978FFD8E2BB7401F Time : 10172.0 sec. user=Flatlander [2010-06-23 13:00:01] 427*2^835237-1 is not prime. Res64: D21E9515BFFB1985 Time : 10171.0 sec. user=vaughan [2010-06-23 13:05:43] 431*2^835278-1 is not prime. Res64: C3E724F767AE8F4A Time : 1054.0 sec. user=vaughan [2010-06-23 13:16:30] 409*2^835275-1 is not prime. Res64: 9BC3457B18A3158A Time : 3962.0 sec. user=vaughan [2010-06-23 13:17:33] 463*2^835279-1 is not prime. Res64: AF0F7322AB62206D Time : 1086.0 sec. user=vaughan [2010-06-23 13:19:16] 567*2^835276-1 is not prime. Res64: 00FCB618B8CC3887 Time : 3909.0 sec. user=vaughan [2010-06-23 13:23:21] 467*2^835280-1 is not prime. Res64: 57D03884951CB227 Time : 1058.0 sec. user=Flatlander [2010-06-23 13:34:29] 597*2^835270-1 is not prime. Res64: BAD75499553F5482 Time : 5853.0 sec. user=Flatlander [2010-06-23 13:34:29] 511*2^835271-1 is not prime. Res64: 7C7958D5676EBCA0 Time : 5852.0 sec. user=Flatlander [2010-06-23 13:34:29] 571*2^835271-1 is not prime. Res64: 18149A9155BC242F Time : 5850.0 sec. user=Flatlander [2010-06-23 13:34:29] 459*2^835272-1 is not prime. Res64: 2062C575B7178578 Time : 5848.0 sec. user=Flatlander [2010-06-23 13:34:30] 467*2^835272-1 is not prime. Res64: EFCFA7AE7036E1F0 Time : 5848.0 sec. user=vaughan [2010-06-23 13:35:41] 539*2^835280-1 is not prime. Res64: C9DB35D2505FABC7 Time : 1125.0 sec. user=vaughan [2010-06-23 13:41:18] 445*2^835281-1 is not prime. Res64: 0CEF0F1CCCB76220 Time : 1078.0 sec. user=vaughan [2010-06-23 13:44:17] 507*2^835158-1 is not prime. Res64: E89812FB48305A17 Time : 22706.0 sec. user=vaughan [2010-06-23 13:44:17] 525*2^835158-1 is not prime. Res64: 8BB163F68115A027 Time : 22706.0 sec. user=vaughan [2010-06-23 13:44:18] 551*2^835158-1 is not prime. Res64: 8CF4B843E60A11D8 Time : 22706.0 sec. user=vaughan [2010-06-23 13:44:18] 567*2^835158-1 is not prime. Res64: 8D2427F8EA48EEC3 Time : 22705.0 sec. user=vaughan [2010-06-23 13:44:18] 581*2^835158-1 is not prime. Res64: CF604F5F04DD46ED Time : 22705.0 sec. user=vaughan [2010-06-23 13:44:18] 591*2^835158-1 is not prime. Res64: 5685C2FE609EDCE2 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:19] 483*2^835159-1 is not prime. Res64: 2EE70D69115114EC Time : 22705.0 sec. user=vaughan [2010-06-23 13:44:19] 479*2^835160-1 is not prime. Res64: 90569F38FF43C7B2 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:19] 557*2^835160-1 is not prime. Res64: 90DDAD72E4D19121 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:20] 593*2^835160-1 is not prime. Res64: F37AB1099409D4D2 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:20] 475*2^835161-1 is not prime. Res64: F8BA55CF4A79E8F9 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:20] 549*2^835161-1 is not prime. Res64: 0EA095D4D907DC3A Time : 22703.0 sec. user=vaughan [2010-06-23 13:44:21] 571*2^835161-1 is not prime. Res64: 1987BCE7E059C9A0 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:21] 435*2^835162-1 is not prime. Res64: AF29E6384BFE20AE Time : 22703.0 sec. user=vaughan [2010-06-23 13:44:21] 477*2^835162-1 is not prime. Res64: BD94209D19781F56 Time : 22702.0 sec. user=vaughan [2010-06-23 13:44:25] 525*2^835162-1 is not prime. Res64: E9FDAD95C7FCEE0E Time : 22706.0 sec. user=vaughan [2010-06-23 13:44:25] 493*2^835163-1 is not prime. Res64: DD9FE7890BB329B7 Time : 22705.0 sec. user=vaughan [2010-06-23 13:44:26] 501*2^835163-1 is not prime. Res64: 166E759DE0B79BE1 Time : 22706.0 sec. user=vaughan [2010-06-23 13:44:26] 549*2^835163-1 is not prime. Res64: 642659BACE202050 Time : 22705.0 sec. user=vaughan [2010-06-23 13:44:26] 585*2^835163-1 is not prime. Res64: EE1D6A483D5145FD Time : 22705.0 sec. user=vaughan [2010-06-23 13:44:26] 455*2^835164-1 is not prime. Res64: 32CC53FE05CD8AE2 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:27] 465*2^835164-1 is not prime. Res64: 0C9F0E87179982CB Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:27] 555*2^835164-1 is not prime. Res64: D2A2058F5E40ECE5 Time : 22704.0 sec. user=vaughan [2010-06-23 13:44:27] 587*2^835164-1 is not prime. Res64: F5442D0EC7EE827C Time : 22703.0 sec. user=vaughan [2010-06-23 13:44:27] 421*2^835165-1 is not prime. Res64: 7623D141396A905F Time : 22703.0 sec. user=vaughan [2010-06-23 13:47:44] 525*2^835165-1 is not prime. Res64: E20D62E803B038E2 Time : 22708.0 sec. user=vaughan [2010-06-23 13:47:44] 555*2^835165-1 is not prime. Res64: 829F0B409D38BC7F Time : 22708.0 sec. user=vaughan [2010-06-23 13:47:45] 417*2^835166-1 is not prime. Res64: 3C604E7E405A0A33 Time : 22708.0 sec. user=vaughan [2010-06-23 13:47:45] 425*2^835166-1 is not prime. Res64: 2FAF644BF29869A7 Time : 22708.0 sec. user=vaughan [2010-06-23 13:47:45] 483*2^835166-1 is not prime. Res64: 59294BB55F0F42F8 Time : 22707.0 sec. user=vaughan [2010-06-23 13:47:45] 515*2^835166-1 is not prime. Res64: 3DB58CC9BDDA8AB3 Time : 22707.0 sec. user=vaughan [2010-06-23 13:47:46] 557*2^835166-1 is not prime. Res64: 73179EF756B51265 Time : 22707.0 sec. user=vaughan [2010-06-23 13:47:46] 561*2^835166-1 is not prime. Res64: E3E6B8406ED3031C Time : 22706.0 sec. user=vaughan [2010-06-23 13:47:47] 433*2^835167-1 is not prime. Res64: 8797C53B5799EBC1 Time : 22707.0 sec. user=vaughan [2010-06-23 13:47:47] 453*2^835167-1 is not prime. Res64: 85283AC955D3973A Time : 22706.0 sec. user=vaughan [2010-06-23 13:47:47] 531*2^835167-1 is not prime. Res64: 7C7E8039572CD461 Time : 22706.0 sec. user=vaughan [2010-06-23 13:47:48] 549*2^835167-1 is not prime. Res64: 06A7A58EB3A04441 Time : 22706.0 sec. user=vaughan [2010-06-23 13:47:48] 585*2^835167-1 is not prime. Res64: BC9E1ABA77C5A333 Time : 22706.0 sec. user=vaughan [2010-06-23 13:47:48] 413*2^835168-1 is not prime. Res64: 52213141A2409966 Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:49] 437*2^835168-1 is not prime. Res64: 21CBAA59CBD75522 Time : 22706.0 sec. user=vaughan [2010-06-23 13:47:49] 449*2^835168-1 is not prime. Res64: 00E395EB21A01108 Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:49] 575*2^835168-1 is not prime. Res64: 6E43BF83A8A6249A Time : 22704.0 sec. user=vaughan [2010-06-23 13:47:50] 411*2^835169-1 is not prime. Res64: 2340374F2F26FEAA Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:51] 439*2^835169-1 is not prime. Res64: B9EE4B6357FD1CE8 Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:51] 441*2^835169-1 is not prime. Res64: 0BE176AFF5796D17 Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:52] 469*2^835169-1 is not prime. Res64: A693902971F11A65 Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:52] 487*2^835169-1 is not prime. Res64: FF6101F7338BC8FD Time : 22705.0 sec. user=vaughan [2010-06-23 13:47:52] 511*2^835169-1 is not prime. Res64: A9622A338D85B223 Time : 22704.0 sec. user=vaughan [2010-06-23 13:47:52] 571*2^835169-1 is not prime. Res64: E6DB97E866C1C086 Time : 22704.0 sec. user=vaughan [2010-06-23 13:47:53] 437*2^835170-1 is not prime. Res64: D4E4458820DE4384 Time : 22704.0 sec. user=vaughan [2010-06-23 13:53:03] 425*2^835282-1 is not prime. Res64: D1284F5BE1604C87 Time : 1042.0 sec. user=vaughan [2010-06-23 13:58:43] 471*2^835282-1 is not prime. Res64: D02CE83C2CBE5919 Time : 1057.0 sec. user=vaughan [2010-06-23 14:01:58] 585*2^835178-1 is not prime. Res64: D4A820BD536615B2 Time : 22702.0 sec. user=vaughan [2010-06-23 14:01:59] 439*2^835179-1 is not prime. Res64: A86186FFEE963909 Time : 22702.0 sec. user=vaughan [2010-06-23 14:01:59] 451*2^835179-1 is not prime. Res64: AE1AA6D69F63FD10 Time : 22701.0 sec. user=vaughan [2010-06-23 14:02:00] 481*2^835179-1 is not prime. Res64: EC649C1DE99F10E3 Time : 22702.0 sec. user=vaughan [2010-06-23 14:02:00] 553*2^835179-1 is not prime. Res64: C47CA414D2F46644 Time : 22701.0 sec. user=vaughan [2010-06-23 14:02:01] 579*2^835179-1 is not prime. Res64: 3F836B9667C20456 Time : 22702.0 sec. user=vaughan [2010-06-23 14:02:01] 453*2^835180-1 is not prime. Res64: 34F30F4186BAE54F Time : 22701.0 sec. user=vaughan [2010-06-23 14:02:01] 533*2^835180-1 is not prime. Res64: 871F2821176A89EB Time : 22701.0 sec. user=vaughan [2010-06-23 14:02:02] 475*2^835181-1 is not prime. Res64: 31F7D4D3632F65EF Time : 22701.0 sec. user=vaughan [2010-06-23 14:02:02] 517*2^835181-1 is not prime. Res64: E2A77ABDE23CE57B Time : 22701.0 sec. user=vaughan [2010-06-23 14:02:02] 547*2^835181-1 is not prime. Res64: 338F63F002D9BE22 Time : 22700.0 sec. user=vaughan [2010-06-23 14:02:02] 571*2^835181-1 is not prime. Res64: 7C03511FF90F5CF0 Time : 22699.0 sec. user=vaughan [2010-06-23 14:02:03] 579*2^835181-1 is not prime. Res64: B6B93B3D021E76A5 Time : 22700.0 sec. user=vaughan [2010-06-23 14:02:03] 483*2^835182-1 is not prime. Res64: B402A73C0A554994 Time : 22699.0 sec. user=vaughan [2010-06-23 14:02:03] 503*2^835182-1 is not prime. Res64: EA64F567F2C455B9 Time : 22699.0 sec. user=vaughan [2010-06-23 14:02:03] 543*2^835182-1 is not prime. Res64: 7E35CFD5AF78E981 Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:04] 489*2^835183-1 is not prime. Res64: 6C38EB3D6089A5F6 Time : 22699.0 sec. user=vaughan [2010-06-23 14:02:04] 511*2^835183-1 is not prime. Res64: 25EC3DEA78462034 Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:04] 473*2^835184-1 is not prime. Res64: B5546678391AC55B Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:05] 503*2^835184-1 is not prime. Res64: 0C4F043FBABEA691 Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:05] 507*2^835184-1 is not prime. Res64: 1EC7F41E5B6C3BAC Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:06] 599*2^835184-1 is not prime. Res64: 893BB36DE4FA75CA Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:06] 459*2^835185-1 is not prime. Res64: 64B5AA74490F5834 Time : 22698.0 sec. user=vaughan [2010-06-23 14:02:08] 525*2^835186-1 is not prime. Res64: C21CDF062DFC3DA8 Time : 22699.0 sec. user=vaughan [2010-06-23 14:02:08] 551*2^835186-1 is not prime. Res64: 1420D47303F38040 Time : 22699.0 sec. user=vaughan [2010-06-23 14:10:32] 483*2^835292-1 is not prime. Res64: D9AA81E37F72CFAE Time : 1049.0 sec. user=vaughan [2010-06-23 14:16:11] 441*2^835293-1 is not prime. Res64: 9DA7AFB3FB618B00 Time : 1049.0 sec. user=vaughan [2010-06-23 14:21:53] 509*2^835280-1 is not prime. Res64: A92B1A63C57C98AC Time : 3923.0 sec. user=vaughan [2010-06-23 14:24:25] 557*2^835280-1 is not prime. Res64: AD337F008ED6DE32 Time : 3909.0 sec. user=vaughan [2010-06-23 14:27:56] 483*2^835300-1 is not prime. Res64: 88E7CED2296B4CED Time : 1045.0 sec. user=vaughan [2010-06-23 14:33:58] 489*2^835300-1 is not prime. Res64: 95D4201BF6416DBF Time : 1068.0 sec. user=vaughan [2010-06-23 14:45:23] 439*2^835301-1 is not prime. Res64: EC2ADAC1748719B0 Time : 1053.0 sec. user=vaughan [2010-06-23 14:51:25] 519*2^835301-1 is not prime. Res64: 917EE72AD9666377 Time : 1047.0 sec. user=Flatlander [2010-06-23 14:53:06] 507*2^835277-1 is not prime. Res64: 7E11892C0057C703 Time : 7820.0 sec. user=Flatlander [2010-06-23 14:53:07] 529*2^835277-1 is not prime. Res64: 0EE7142ABA0D254B Time : 7820.0 sec. user=Flatlander [2010-06-23 14:53:07] 537*2^835277-1 is not prime. Res64: 8641482277960220 Time : 7818.0 sec. user=Flatlander [2010-06-23 14:53:07] 405*2^835278-1 is not prime. Res64: 738311B3D7720F2D Time : 7817.0 sec. user=Flatlander [2010-06-23 14:53:08] 417*2^835278-1 is not prime. Res64: F8E09CF0BA23969E Time : 7817.0 sec. user=vaughan [2010-06-23 15:02:40] 525*2^835301-1 is not prime. Res64: 22AAC89C647DBB98 Time : 1037.0 sec. user=vaughan [2010-06-23 15:08:56] 537*2^835301-1 is not prime. Res64: 45018D685EC8AFA5 Time : 1052.0 sec. user=Flatlander [2010-06-23 15:13:16] 447*2^835278-1 is not prime. Res64: B35AA95938A91974 Time : 8360.0 sec. user=Flatlander [2010-06-23 15:13:17] 471*2^835278-1 is not prime. Res64: C825CA913C2919C3 Time : 8360.0 sec. user=Flatlander [2010-06-23 15:13:17] 507*2^835278-1 is not prime. Res64: 773D029AFE908961 Time : 8358.0 sec. user=Flatlander [2010-06-23 15:13:18] 525*2^835278-1 is not prime. Res64: FD1104D4DD5E5BB6 Time : 8357.0 sec. user=Flatlander [2010-06-23 15:13:19] 567*2^835278-1 is not prime. Res64: 6F0F524D3D1F10A9 Time : 8357.0 sec. user=Flatlander [2010-06-23 15:16:39] 469*2^835279-1 is not prime. Res64: B61CC12C4EE13D47 Time : 8196.0 sec. user=Flatlander [2010-06-23 15:16:39] 483*2^835279-1 is not prime. Res64: A1E7F4C4103FB09D Time : 8195.0 sec. user=Flatlander [2010-06-23 15:16:39] 525*2^835279-1 is not prime. Res64: B8082A4C09B87566 Time : 8193.0 sec. user=Flatlander [2010-06-23 15:16:40] 425*2^835280-1 is not prime. Res64: 00EE08D11F2A32AC Time : 8193.0 sec. user=Flatlander [2010-06-23 15:16:40] 437*2^835280-1 is not prime. Res64: E910A359285F6EDE Time : 8191.0 sec. user=vaughan [2010-06-23 15:20:44] 587*2^835302-1 is not prime. Res64: 92403A8AF37C12E6 Time : 1084.0 sec. user=vaughan [2010-06-23 15:26:20] 593*2^835302-1 is not prime. Res64: AD5B5702F3E94EF9 Time : 1045.0 sec. user=vaughan [2010-06-23 15:26:56] 597*2^835300-1 is not prime. Res64: BE6128AE7D825C3B Time : 3904.0 sec. user=vaughan [2010-06-23 15:28:25] 405*2^835301-1 is not prime. Res64: 5DE0A227E169758E Time : 3841.0 sec. user=vaughan [2010-06-23 15:38:54] 427*2^835305-1 is not prime. Res64: 4DEC5B51057D8D72 Time : 1115.0 sec. user=vaughan [2010-06-23 15:43:54] 429*2^835305-1 is not prime. Res64: 95504A6179115C8A Time : 1054.0 sec. user=Flatlander [2010-06-23 15:52:08] 447*2^835281-1 is not prime. Res64: AA257B13A0A53311 Time : 8258.0 sec. user=Flatlander [2010-06-23 15:52:09] 459*2^835281-1 is not prime. Res64: B157D2832170B837 Time : 8259.0 sec. user=Flatlander [2010-06-23 15:52:09] 517*2^835281-1 is not prime. Res64: 783A8BDAA8ED3CF7 Time : 8258.0 sec. user=Flatlander [2010-06-23 15:52:09] 529*2^835281-1 is not prime. Res64: EAC124C0B6090F8E Time : 8258.0 sec. user=Flatlander [2010-06-23 15:52:09] 555*2^835281-1 is not prime. Res64: C565E6BE84610431 Time : 8258.0 sec. user=vaughan [2010-06-23 15:56:27] 535*2^835305-1 is not prime. Res64: CC276580AB41C0C1 Time : 1053.0 sec. user=vaughan [2010-06-23 16:01:27] 443*2^835306-1 is not prime. Res64: BCB568F56F67B482 Time : 1053.0 sec. user=vaughan [2010-06-23 16:13:45] 473*2^835308-1 is not prime. Res64: 736288087D861D44 Time : 1039.0 sec. user=Flatlander [2010-06-23 16:15:56] 577*2^835301-1 is not prime. Res64: 33498CA2BF0F7543 Time : 4968.0 sec. user=Flatlander [2010-06-23 16:15:56] 483*2^835302-1 is not prime. Res64: 55677987D3747037 Time : 4967.0 sec. user=Flatlander [2010-06-23 16:15:56] 503*2^835302-1 is not prime. Res64: 40D9DD8959FB61B1 Time : 4966.0 sec. user=Flatlander [2010-06-23 16:15:56] 543*2^835302-1 is not prime. Res64: 333FFD484577BE39 Time : 4965.0 sec. user=Flatlander [2010-06-23 16:15:57] 551*2^835302-1 is not prime. Res64: 3D8D18D151891A0C Time : 4965.0 sec. user=vaughan [2010-06-23 16:18:52] 503*2^835308-1 is not prime. Res64: 9D605D6079B92560 Time : 1045.0 sec. user=vaughan [2010-06-23 16:31:14] 513*2^835308-1 is not prime. Res64: 9261BD1951571DF8 Time : 1049.0 sec. user=vaughan [2010-06-23 16:31:33] 475*2^835305-1 is not prime. Res64: 970ED29B415352A2 Time : 3878.0 sec. user=vaughan [2010-06-23 16:35:08] 511*2^835305-1 is not prime. Res64: B6E39089EDD9CDB0 Time : 4004.0 sec. user=vaughan [2010-06-23 16:36:17] 501*2^835310-1 is not prime. Res64: 73A170B26E1AF35A Time : 1045.0 sec. user=Flatlander [2010-06-23 16:47:54] 411*2^835303-1 is not prime. Res64: 6725A804E5172CEC Time : 5674.0 sec. user=Flatlander [2010-06-23 16:47:54] 525*2^835303-1 is not prime. Res64: CDC6DFF414CB6A9E Time : 5672.0 sec. user=Flatlander [2010-06-23 16:47:54] 555*2^835303-1 is not prime. Res64: 11E3A7DA1B98FE3A Time : 5671.0 sec. user=Flatlander [2010-06-23 16:47:54] 559*2^835303-1 is not prime. Res64: BF213B102A14DB0B Time : 5670.0 sec. user=Flatlander [2010-06-23 16:47:55] 589*2^835303-1 is not prime. Res64: 654D7F9339EA6576 Time : 5670.0 sec. user=vaughan [2010-06-23 16:50:11] 557*2^835310-1 is not prime. Res64: 6FDCF6BA25E3CCC2 Time : 1138.0 sec. user=vaughan [2010-06-23 16:53:59] 483*2^835311-1 is not prime. Res64: F0248461724BF859 Time : 1062.0 sec. user=vaughan [2010-06-23 17:07:32] 537*2^835312-1 is not prime. Res64: 67223CF9B6EE3864 Time : 1041.0 sec. user=vaughan [2010-06-23 17:11:32] 567*2^835312-1 is not prime. Res64: 5E26D13D7BA29D3D Time : 1053.0 sec. user=vaughan [2010-06-23 17:24:55] 573*2^835312-1 is not prime. Res64: 165BA07A0B827F68 Time : 1043.0 sec. user=vaughan [2010-06-23 17:29:05] 439*2^835313-1 is not prime. Res64: C5AB9E810678B0F3 Time : 1054.0 sec. user=vaughan [2010-06-23 17:36:30] 581*2^835310-1 is not prime. Res64: 37133256A4F442FC Time : 3897.0 sec. user=vaughan [2010-06-23 17:39:25] 591*2^835310-1 is not prime. Res64: 0BF73D819ED49E3F Time : 3860.0 sec. user=vaughan [2010-06-23 17:42:27] 445*2^835313-1 is not prime. Res64: D8D9A38DDDD473ED Time : 1053.0 sec. user=vaughan [2010-06-23 17:49:40] 547*2^835313-1 is not prime. Res64: 041A7379ECED04AC Time : 1238.0 sec. user=vaughan [2010-06-23 18:00:05] 567*2^835313-1 is not prime. Res64: 965013DA54B220D7 Time : 1068.0 sec. user=Flatlander [2010-06-23 18:06:31] 585*2^835311-1 is not prime. Res64: BA003908B421AF77 Time : 4716.0 sec. user=Flatlander [2010-06-23 18:06:32] 453*2^835312-1 is not prime. Res64: E199DBD1C2D9F0FF Time : 4716.0 sec. user=Flatlander [2010-06-23 18:06:32] 479*2^835312-1 is not prime. Res64: 61BD6210C58381C2 Time : 4715.0 sec. user=Flatlander [2010-06-23 18:06:33] 485*2^835312-1 is not prime. Res64: B4BB4162456143EC Time : 4716.0 sec. user=Flatlander [2010-06-23 18:06:34] 489*2^835312-1 is not prime. Res64: 6F71DF7B5000C8B1 Time : 4716.0 sec. user=vaughan [2010-06-23 18:07:27] 589*2^835313-1 is not prime. Res64: 0F028F245A0EE29B Time : 1067.0 sec. user=vaughan [2010-06-23 18:17:24] 591*2^835313-1 is not prime. Res64: EEF1148FFDF46D9A Time : 1040.0 sec. user=Flatlander [2010-06-23 18:18:18] 435*2^835304-1 is not prime. Res64: 703CCB361E4E4C2B Time : 10897.0 sec. user=Flatlander [2010-06-23 18:18:19] 459*2^835304-1 is not prime. Res64: E73C83E4324BA262 Time : 10897.0 sec. user=Flatlander [2010-06-23 18:18:20] 473*2^835304-1 is not prime. Res64: AC22C069EC86F509 Time : 10897.0 sec. user=Flatlander [2010-06-23 18:18:21] 557*2^835304-1 is not prime. Res64: C6695F9F1ED425AD Time : 10897.0 sec. user=Flatlander [2010-06-23 18:18:21] 409*2^835305-1 is not prime. Res64: 7C01D1CCE6311AF2 Time : 10896.0 sec. user=vaughan [2010-06-23 18:24:54] 489*2^835315-1 is not prime. Res64: 1BA36E6AB40881DF Time : 1048.0 sec. user=vaughan [2010-06-23 18:34:44] 493*2^835315-1 is not prime. Res64: D6F2CB370B1D52B1 Time : 1040.0 sec. user=vaughan [2010-06-23 18:40:53] 549*2^835313-1 is not prime. Res64: A2371C5C56322D1F Time : 3863.0 sec. user=vaughan [2010-06-23 18:42:22] 563*2^835316-1 is not prime. Res64: 2D547F75A055072B Time : 1048.0 sec. user=vaughan [2010-06-23 18:43:49] 565*2^835313-1 is not prime. Res64: 100590CF49560285 Time : 3864.0 sec. user=Flatlander [2010-06-23 18:46:22] 483*2^835306-1 is not prime. Res64: A7E64922F2CAE1A5 Time : 10452.0 sec. user=Flatlander [2010-06-23 18:46:23] 525*2^835306-1 is not prime. Res64: 4A7747AA34491CFB Time : 10453.0 sec. user=Flatlander [2010-06-23 18:46:24] 545*2^835306-1 is not prime. Res64: 919BC5D025B28BF2 Time : 10453.0 sec. user=Flatlander [2010-06-23 18:46:24] 435*2^835307-1 is not prime. Res64: BD7B5F67F86D6CFB Time : 10452.0 sec. user=Flatlander [2010-06-23 18:46:25] 413*2^835308-1 is not prime. Res64: C0FCCE93DFE75205 Time : 10453.0 sec. user=vaughan [2010-06-23 18:52:05] 593*2^835316-1 is not prime. Res64: 907A40B0E8DAE505 Time : 1041.0 sec. user=vaughan [2010-06-23 18:59:49] 457*2^835317-1 is not prime. Res64: 34C33C83A35436D1 Time : 1047.0 sec. user=Flatlander [2010-06-23 19:01:46] 549*2^835308-1 is not prime. Res64: 5181BD10C7145A5C Time : 9949.0 sec. user=Flatlander [2010-06-23 19:01:47] 557*2^835308-1 is not prime. Res64: A4626009ED076D38 Time : 9950.0 sec. user=Flatlander [2010-06-23 19:01:48] 567*2^835308-1 is not prime. Res64: B415E0F5B59E9CBA Time : 9950.0 sec. user=Flatlander [2010-06-23 19:01:49] 451*2^835309-1 is not prime. Res64: A4D5609ADB28B112 Time : 9951.0 sec. user=Flatlander [2010-06-23 19:01:49] 495*2^835309-1 is not prime. Res64: C5CC698C6D54EEC4 Time : 9951.0 sec. user=vaughan [2010-06-23 19:09:27] 591*2^835318-1 is not prime. Res64: 81F1B8D3AB0AF60D Time : 1042.0 sec. user=vaughan [2010-06-23 19:17:14] 433*2^835319-1 is not prime. Res64: 834623BD4D568B34 Time : 1045.0 sec. user=vaughan [2010-06-23 19:26:48] 503*2^835320-1 is not prime. Res64: 3CB746EEA307D832 Time : 1041.0 sec. user=vaughan [2010-06-23 19:34:38] 549*2^835320-1 is not prime. Res64: D45ABFB3723F543D Time : 1045.0 sec. user=Flatlander [2010-06-23 19:37:28] 495*2^835315-1 is not prime. Res64: 76864982693B2D18 Time : 4746.0 sec. user=Flatlander [2010-06-23 19:37:29] 595*2^835315-1 is not prime. Res64: 19FB3312882696FE Time : 4747.0 sec. user=Flatlander [2010-06-23 19:37:30] 437*2^835316-1 is not prime. Res64: 130D1A779FB84803 Time : 4747.0 sec. user=Flatlander [2010-06-23 19:37:31] 495*2^835316-1 is not prime. Res64: 91A3FF929660C666 Time : 4748.0 sec. user=Flatlander [2010-06-23 19:37:31] 537*2^835316-1 is not prime. Res64: 9FADA9A8BD4F3529 Time : 4747.0 sec. user=vaughan [2010-06-23 19:44:08] 585*2^835320-1 is not prime. Res64: 0C35859F4CC843C4 Time : 1040.0 sec. user=vaughan [2010-06-23 19:46:08] 409*2^835317-1 is not prime. Res64: 4DB9E3A17B0DAB43 Time : 3915.0 sec. user=vaughan [2010-06-23 19:51:02] 475*2^835317-1 is not prime. Res64: ACE68BA9D66EB539 Time : 4033.0 sec. user=vaughan [2010-06-23 19:52:03] 415*2^835321-1 is not prime. Res64: 888CD1F1DE2361CF Time : 1045.0 sec. user=vaughan [2010-06-23 20:01:26] 431*2^835322-1 is not prime. Res64: 7DC07EFFDB9F8884 Time : 1038.0 sec. user=vaughan [2010-06-23 20:05:29] 403*2^835287-1 is not prime. Res64: 58D3629F75DCEB15 Time : 22656.0 sec. user=vaughan [2010-06-23 20:05:29] 433*2^835287-1 is not prime. Res64: C30596BB5734CB17 Time : 22655.0 sec. user=vaughan [2010-06-23 20:05:30] 501*2^835287-1 is not prime. Res64: 664FCC2B080A9E9F Time : 22655.0 sec. user=vaughan [2010-06-23 20:05:30] 543*2^835287-1 is not prime. Res64: 7F49A245ECD9C5DE Time : 22653.0 sec. user=vaughan [2010-06-23 20:05:30] 571*2^835287-1 is not prime. Res64: 4C6FD8ABF1F522A5 Time : 22653.0 sec. user=vaughan [2010-06-23 20:05:30] 583*2^835287-1 is not prime. Res64: 5956BD609B996369 Time : 22651.0 sec. user=vaughan [2010-06-23 20:05:31] 485*2^835288-1 is not prime. Res64: 4FBDAB82110330E4 Time : 22652.0 sec. user=vaughan [2010-06-23 20:05:31] 421*2^835289-1 is not prime. Res64: 5DC94C210E9D3A64 Time : 22651.0 sec. user=vaughan [2010-06-23 20:05:31] 441*2^835289-1 is not prime. Res64: C2FE2DBDCD991321 Time : 22649.0 sec. user=vaughan [2010-06-23 20:05:32] 487*2^835289-1 is not prime. Res64: 88FE3F043F5CFEDE Time : 22649.0 sec. user=vaughan [2010-06-23 20:05:32] 537*2^835289-1 is not prime. Res64: F364C470CE63CD91 Time : 22648.0 sec. user=vaughan [2010-06-23 20:05:32] 579*2^835289-1 is not prime. Res64: 16321DCC7AD7D08C Time : 22647.0 sec. user=vaughan [2010-06-23 20:05:32] 589*2^835289-1 is not prime. Res64: 0F706B47D0E33E0C Time : 22646.0 sec. user=vaughan [2010-06-23 20:05:33] 473*2^835290-1 is not prime. Res64: CF4ED093DA22E5AA Time : 22647.0 sec. user=vaughan [2010-06-23 20:05:33] 531*2^835290-1 is not prime. Res64: B92E3E5ECC802D1D Time : 22646.0 sec. user=vaughan [2010-06-23 20:05:33] 567*2^835290-1 is not prime. Res64: 467713E219B0799E Time : 22646.0 sec. user=vaughan [2010-06-23 20:05:34] 581*2^835290-1 is not prime. Res64: F46F3333C2DBCF14 Time : 22646.0 sec. user=vaughan [2010-06-23 20:05:34] 433*2^835291-1 is not prime. Res64: 6AEE306A5E4C1D2D Time : 22645.0 sec. user=vaughan [2010-06-23 20:05:34] 439*2^835291-1 is not prime. Res64: 03ABB897B88CB539 Time : 22644.0 sec. user=vaughan [2010-06-23 20:05:34] 441*2^835291-1 is not prime. Res64: DD445A4AF4BC4F0B Time : 22644.0 sec. user=vaughan [2010-06-23 20:05:35] 489*2^835291-1 is not prime. Res64: DC7B70A1C7788495 Time : 22643.0 sec. user=vaughan [2010-06-23 20:05:35] 511*2^835291-1 is not prime. Res64: 362C1240AE13E714 Time : 22642.0 sec. user=vaughan [2010-06-23 20:05:35] 535*2^835291-1 is not prime. Res64: D81FC256626150B8 Time : 22640.0 sec. user=vaughan [2010-06-23 20:05:36] 541*2^835291-1 is not prime. Res64: E27A562B09A0354E Time : 22612.0 sec. user=vaughan [2010-06-23 20:05:36] 417*2^835292-1 is not prime. Res64: FF81B178A0C8C977 Time : 22611.0 sec. user=vaughan [2010-06-23 20:09:27] 481*2^835323-1 is not prime. Res64: A793F49704639654 Time : 1045.0 sec. user=vaughan [2010-06-23 20:15:02] 551*2^835282-1 is not prime. Res64: 2D39770D61137F0F Time : 23435.0 sec. user=vaughan [2010-06-23 20:15:03] 567*2^835282-1 is not prime. Res64: 3DC2D394AFEF3E1A Time : 23434.0 sec. user=vaughan [2010-06-23 20:15:03] 435*2^835283-1 is not prime. Res64: 2568AEE36F4C2F14 Time : 23433.0 sec. user=vaughan [2010-06-23 20:15:03] 591*2^835283-1 is not prime. Res64: FC69C5F995751775 Time : 23432.0 sec. user=vaughan [2010-06-23 20:15:04] 437*2^835284-1 is not prime. Res64: 384D23467701CEB6 Time : 23433.0 sec. user=vaughan [2010-06-23 20:15:04] 455*2^835284-1 is not prime. Res64: 482ED63E3A96F4AA Time : 23432.0 sec. user=vaughan [2010-06-23 20:15:04] 465*2^835284-1 is not prime. Res64: 64980EBD688A88D6 Time : 23431.0 sec. user=vaughan [2010-06-23 20:15:05] 473*2^835284-1 is not prime. Res64: 71C6487CAAD5B4C2 Time : 23432.0 sec. user=vaughan [2010-06-23 20:15:05] 489*2^835284-1 is not prime. Res64: 4A410AD4313BB9C3 Time : 23430.0 sec. user=vaughan [2010-06-23 20:15:05] 503*2^835284-1 is not prime. Res64: F9310E850EB76046 Time : 23424.0 sec. user=vaughan [2010-06-23 20:15:05] 525*2^835284-1 is not prime. Res64: 10C7DFD2B81B5361 Time : 23400.0 sec. user=vaughan [2010-06-23 20:15:06] 557*2^835284-1 is not prime. Res64: 7867B45632D5E3E1 Time : 23400.0 sec. user=vaughan [2010-06-23 20:15:06] 441*2^835285-1 is not prime. Res64: 52EF56A0A17ED85A Time : 23400.0 sec. user=vaughan [2010-06-23 20:15:06] 481*2^835285-1 is not prime. Res64: 3AC9A3EB9A809112 Time : 23399.0 sec. user=vaughan [2010-06-23 20:15:07] 531*2^835285-1 is not prime. Res64: C81B3DFE32401734 Time : 23399.0 sec. user=vaughan [2010-06-23 20:15:07] 561*2^835285-1 is not prime. Res64: 5F0B4943805E7B9C Time : 23399.0 sec. user=vaughan [2010-06-23 20:15:07] 577*2^835285-1 is not prime. Res64: 261B9B548F5C65BE Time : 23391.0 sec. user=vaughan [2010-06-23 20:15:07] 431*2^835286-1 is not prime. Res64: 7E05FBE14DB19AA2 Time : 23367.0 sec. user=vaughan [2010-06-23 20:15:08] 483*2^835286-1 is not prime. Res64: 8535C83789F5CB91 Time : 23337.0 sec. user=vaughan [2010-06-23 20:15:08] 521*2^835286-1 is not prime. Res64: 737A27ABD38AB2B4 Time : 23329.0 sec. user=vaughan [2010-06-23 20:15:08] 557*2^835286-1 is not prime. Res64: 075391150732E442 Time : 23275.0 sec. user=vaughan [2010-06-23 20:15:09] 585*2^835286-1 is not prime. Res64: AD176EFB203F27D2 Time : 23276.0 sec. user=vaughan [2010-06-23 20:15:09] 591*2^835286-1 is not prime. Res64: B574A8D3895E0401 Time : 23153.0 sec. user=vaughan [2010-06-23 20:15:09] 449*2^835292-1 is not prime. Res64: F6EC555F4AC170EB Time : 22672.0 sec. user=vaughan [2010-06-23 20:15:09] 593*2^835292-1 is not prime. Res64: 76C8182889D05BA3 Time : 22641.0 sec. user=vaughan [2010-06-23 20:18:44] 493*2^835323-1 is not prime. Res64: D076738C0B469682 Time : 1038.0 sec. user=vaughan [2010-06-23 20:24:54] 507*2^835293-1 is not prime. Res64: B5BC9033A1B9C413 Time : 22965.0 sec. user=vaughan [2010-06-23 20:24:54] 511*2^835293-1 is not prime. Res64: 5D270ACEC8F274C4 Time : 22963.0 sec. user=vaughan [2010-06-23 20:24:54] 555*2^835293-1 is not prime. Res64: AFBC5B899956D019 Time : 22961.0 sec. user=vaughan [2010-06-23 20:24:55] 597*2^835293-1 is not prime. Res64: D467EDC31FF89DC1 Time : 22961.0 sec. user=vaughan [2010-06-23 20:24:55] 545*2^835294-1 is not prime. Res64: 050D2BDC25E9BCCA Time : 22961.0 sec. user=vaughan [2010-06-23 20:24:55] 593*2^835294-1 is not prime. Res64: D9D9C608505DA38D Time : 22960.0 sec. user=vaughan [2010-06-23 20:24:55] 403*2^835295-1 is not prime. Res64: DEA3777CA7E7CFC8 Time : 22956.0 sec. user=vaughan [2010-06-23 20:24:56] 441*2^835295-1 is not prime. Res64: 2DE46B5A3C891CD1 Time : 22718.0 sec. user=vaughan [2010-06-23 20:24:56] 501*2^835295-1 is not prime. Res64: 5B521FF955484473 Time : 22716.0 sec. user=vaughan [2010-06-23 20:24:56] 595*2^835295-1 is not prime. Res64: 836B4C86ADA640A8 Time : 22702.0 sec. user=vaughan [2010-06-23 20:24:57] 513*2^835296-1 is not prime. Res64: B0F7505EABCEDB02 Time : 22656.0 sec. user=vaughan [2010-06-23 20:24:57] 557*2^835296-1 is not prime. Res64: B657E303A4E07BB3 Time : 22656.0 sec. user=vaughan [2010-06-23 20:24:57] 563*2^835296-1 is not prime. Res64: 5D364E85AAF20891 Time : 22655.0 sec. user=vaughan [2010-06-23 20:24:58] 593*2^835296-1 is not prime. Res64: 89CD06E6E9D9AC7F Time : 22654.0 sec. user=vaughan [2010-06-23 20:24:58] 477*2^835297-1 is not prime. Res64: 04C0FFB6B93440F6 Time : 22652.0 sec. user=vaughan [2010-06-23 20:24:58] 507*2^835297-1 is not prime. Res64: 04CE14FCF151E6E4 Time : 22646.0 sec. user=vaughan [2010-06-23 20:24:58] 467*2^835298-1 is not prime. Res64: F097C61BEA2CD98A Time : 22645.0 sec. user=vaughan [2010-06-23 20:24:59] 503*2^835298-1 is not prime. Res64: 47E96F852D25703D Time : 22642.0 sec. user=vaughan [2010-06-23 20:24:59] 429*2^835299-1 is not prime. Res64: C084B6346099AB39 Time : 22615.0 sec. user=vaughan [2010-06-23 20:24:59] 471*2^835299-1 is not prime. Res64: C11AA9BD7320E4E6 Time : 22614.0 sec. user=vaughan [2010-06-23 20:24:59] 489*2^835299-1 is not prime. Res64: D832E24C98F719C9 Time : 22614.0 sec. user=vaughan [2010-06-23 20:25:00] 495*2^835299-1 is not prime. Res64: 9B07604A843AD861 Time : 22614.0 sec. user=vaughan [2010-06-23 20:25:00] 513*2^835299-1 is not prime. Res64: 2FF010C4258645A2 Time : 22614.0 sec. user=vaughan [2010-06-23 20:25:00] 595*2^835299-1 is not prime. Res64: ECB8566231A09003 Time : 22613.0 sec. user=vaughan [2010-06-23 20:25:01] 449*2^835300-1 is not prime. Res64: 65B8A9A5013F26D9 Time : 22613.0 sec. user=vaughan [2010-06-23 20:26:58] 437*2^835328-1 is not prime. Res64: 47E746F01197A7EB Time : 1051.0 sec. user=Flatlander [2010-06-23 20:29:20] 513*2^835314-1 is not prime. Res64: 99526B0AC03991B8 Time : 8564.0 sec. user=Flatlander [2010-06-23 20:29:21] 587*2^835314-1 is not prime. Res64: B184EC14EA2B7E6E Time : 8564.0 sec. user=Flatlander [2010-06-23 20:29:22] 421*2^835315-1 is not prime. Res64: 420F58E09BCF1E36 Time : 8563.0 sec. user=Flatlander [2010-06-23 20:29:23] 441*2^835315-1 is not prime. Res64: 7A7C5ABCA9ADDC3D Time : 8563.0 sec. user=Flatlander [2010-06-23 20:29:23] 465*2^835315-1 is not prime. Res64: C856F6BF00580766 Time : 8561.0 sec. user=vaughan [2010-06-23 20:36:01] 483*2^835339-1 is not prime. Res64: 287F8CDDDBABF46E Time : 1037.0 sec. user=Flatlander [2010-06-23 20:39:02] 549*2^835317-1 is not prime. Res64: F73C0D1AF92B24DE Time : 6755.0 sec. user=Flatlander [2010-06-23 20:39:03] 579*2^835317-1 is not prime. Res64: BF4DBC37C42F9457 Time : 6755.0 sec. user=Flatlander [2010-06-23 20:39:03] 491*2^835318-1 is not prime. Res64: FEA6BA847D70E6AF Time : 6753.0 sec. user=Flatlander [2010-06-23 20:39:04] 513*2^835318-1 is not prime. Res64: 40FF33741C95604D Time : 6752.0 sec. user=Flatlander [2010-06-23 20:39:05] 545*2^835318-1 is not prime. Res64: 91CD49374737957B Time : 6752.0 sec. user=vaughan [2010-06-23 20:44:25] 581*2^835346-1 is not prime. Res64: B855CB6E24E6180F Time : 1048.0 sec. user=vaughan [2010-06-23 20:50:39] 503*2^835322-1 is not prime. Res64: 72E783173C2E3CB2 Time : 3871.0 sec. user=vaughan [2010-06-23 20:53:15] 585*2^835347-1 is not prime. Res64: 5407F920B90CFB51 Time : 1035.0 sec. user=Flatlander [2010-06-23 20:54:37] 463*2^835319-1 is not prime. Res64: 72DA8A561ABFAE49 Time : 6766.0 sec. user=Flatlander [2010-06-23 20:54:38] 531*2^835319-1 is not prime. Res64: FBF23983BBBB20EE Time : 6765.0 sec. user=Flatlander [2010-06-23 20:54:39] 573*2^835319-1 is not prime. Res64: 298F2FC98619E2DC Time : 6765.0 sec. user=Flatlander [2010-06-23 20:54:40] 437*2^835320-1 is not prime. Res64: DDC165E25BCBBBF4 Time : 6764.0 sec. user=Flatlander [2010-06-23 20:54:41] 455*2^835320-1 is not prime. Res64: B97BF5A42B1E4371 Time : 6764.0 sec. user=vaughan [2010-06-23 20:55:43] 587*2^835322-1 is not prime. Res64: 4C17CD69FA9B13FB Time : 3882.0 sec. user=Flatlander [2010-06-23 20:56:22] 489*2^835321-1 is not prime. Res64: 8C4979EEE6DF5118 Time : 4729.0 sec. user=Flatlander [2010-06-23 20:56:23] 525*2^835321-1 is not prime. Res64: D0D838A29F560476 Time : 4728.0 sec. user=Flatlander [2010-06-23 20:56:24] 537*2^835321-1 is not prime. Res64: 6A0A3C9E2CCDAD09 Time : 4728.0 sec. user=Flatlander [2010-06-23 20:56:25] 549*2^835321-1 is not prime. Res64: E2049FB30CBB6B89 Time : 4727.0 sec. user=Flatlander [2010-06-23 20:56:25] 423*2^835322-1 is not prime. Res64: A7122C87A86A2AF9 Time : 4726.0 sec. user=vaughan [2010-06-23 21:01:55] 477*2^835349-1 is not prime. Res64: 4AC8954C899C6A4F Time : 1050.0 sec. user=vaughan [2010-06-23 21:10:30] 401*2^835350-1 is not prime. Res64: 23FD4C185C031A1C Time : 1035.0 sec. user=vaughan [2010-06-23 21:19:24] 525*2^835353-1 is not prime. Res64: 07922D1924D65D60 Time : 1050.0 sec. user=vaughan [2010-06-23 21:27:45] 597*2^835353-1 is not prime. Res64: ED509761BBA4C7F5 Time : 1036.0 sec. user=vaughan [2010-06-23 21:36:51] 461*2^835354-1 is not prime. Res64: 7B52E1DF560FD01C Time : 1047.0 sec. user=vaughan [2010-06-23 21:45:06] 477*2^835354-1 is not prime. Res64: 277ABDAEC66491D0 Time : 1041.0 sec. user=vaughan [2010-06-23 21:54:16] 513*2^835354-1 is not prime. Res64: E7DB9AA763E25EF7 Time : 1045.0 sec. user=vaughan [2010-06-23 21:55:38] 589*2^835349-1 is not prime. Res64: 3629FBAF05066FBB Time : 3899.0 sec. user=vaughan [2010-06-23 22:00:04] 499*2^835351-1 is not prime. Res64: AA70424601E674E0 Time : 3862.0 sec. user=vaughan [2010-06-23 22:02:27] 409*2^835355-1 is not prime. Res64: 7CD485961D3E44FF Time : 1042.0 sec. user=vaughan [2010-06-23 22:11:43] 459*2^835356-1 is not prime. Res64: 1E65977E728ACB74 Time : 1048.0 sec. user=Flatlander [2010-06-23 22:13:47] 437*2^835350-1 is not prime. Res64: B4E075EA29473A56 Time : 4745.0 sec. user=Flatlander [2010-06-23 22:13:48] 443*2^835350-1 is not prime. Res64: 4374F9D4713A14BB Time : 4744.0 sec. user=Flatlander [2010-06-23 22:13:48] 405*2^835351-1 is not prime. Res64: 0708DB65207894B2 Time : 4743.0 sec. user=Flatlander [2010-06-23 22:13:49] 441*2^835351-1 is not prime. Res64: 1528F542F774094F Time : 4742.0 sec. user=Flatlander [2010-06-23 22:13:50] 453*2^835351-1 is not prime. Res64: 07CA0534F8440328 Time : 4741.0 sec. user=Flatlander [2010-06-23 22:15:22] 531*2^835351-1 is not prime. Res64: E78F9395B95FC759 Time : 4735.0 sec. user=Flatlander [2010-06-23 22:15:23] 573*2^835351-1 is not prime. Res64: 17ADF2473720D924 Time : 4734.0 sec. user=Flatlander [2010-06-23 22:15:23] 479*2^835352-1 is not prime. Res64: 0FD431B3028E7A25 Time : 4733.0 sec. user=Flatlander [2010-06-23 22:15:24] 427*2^835353-1 is not prime. Res64: A81BC80C5B150A25 Time : 4732.0 sec. user=Flatlander [2010-06-23 22:15:25] 481*2^835353-1 is not prime. Res64: 2CA1CDBBB06320C3 Time : 4732.0 sec. user=vaughan [2010-06-23 22:19:50] 545*2^835356-1 is not prime. Res64: 3ECF05934AAB0784 Time : 1043.0 sec. user=vaughan [2010-06-23 22:29:11] 563*2^835356-1 is not prime. Res64: 36E41292EBE8E21F Time : 1048.0 sec. user=vaughan [2010-06-23 22:37:09] 579*2^835359-1 is not prime. Res64: 9625FBE8251EC16A Time : 1039.0 sec. user=vaughan [2010-06-23 22:46:36] 437*2^835360-1 is not prime. Res64: F834EFE2769B1228 Time : 1046.0 sec. user=vaughan [2010-06-23 22:54:29] 495*2^835360-1 is not prime. Res64: 8F7E6EE1E14AFE64 Time : 1040.0 sec. user=vaughan [2010-06-23 23:00:22] 497*2^835356-1 is not prime. Res64: 6793946BBDE9CEF8 Time : 3884.0 sec. user=vaughan [2010-06-23 23:04:04] 527*2^835360-1 is not prime. Res64: B0A26EE6F27AB6BA Time : 1048.0 sec. user=vaughan [2010-06-23 23:04:30] 525*2^835356-1 is not prime. Res64: 8D073E61221F7845 Time : 3867.0 sec. user=vaughan [2010-06-23 23:11:49] 569*2^835360-1 is not prime. Res64: FED0168A20447FEC Time : 1040.0 sec. user=Flatlander [2010-06-23 23:20:03] 593*2^835346-1 is not prime. Res64: 56ABDEC0E7A5E22E Time : 10238.0 sec. user=Flatlander [2010-06-23 23:20:03] 471*2^835347-1 is not prime. Res64: 077465EC13A24ABA Time : 10237.0 sec. user=Flatlander [2010-06-23 23:20:04] 493*2^835347-1 is not prime. Res64: 21FC9CDBACD4D790 Time : 10236.0 sec. user=Flatlander [2010-06-23 23:20:05] 543*2^835347-1 is not prime. Res64: BD8D069F5C344DA9 Time : 10235.0 sec. user=Flatlander [2010-06-23 23:20:06] 579*2^835347-1 is not prime. Res64: FB9842B27F105D57 Time : 10235.0 sec. user=vaughan [2010-06-23 23:21:32] 525*2^835361-1 is not prime. Res64: 39FE549E284BFCF8 Time : 1049.0 sec. user=Flatlander [2010-06-23 23:24:04] 485*2^835348-1 is not prime. Res64: 3BCE6CB9D8333A06 Time : 9897.0 sec. user=Flatlander [2010-06-23 23:24:05] 549*2^835348-1 is not prime. Res64: 9735AC546A4F07FF Time : 9897.0 sec. user=Flatlander [2010-06-23 23:24:06] 563*2^835348-1 is not prime. Res64: E9E895F83C197BE2 Time : 9896.0 sec. user=Flatlander [2010-06-23 23:24:06] 411*2^835349-1 is not prime. Res64: A4E0CAE85E3B090F Time : 9895.0 sec. user=Flatlander [2010-06-23 23:24:07] 469*2^835349-1 is not prime. Res64: AD2B62F571E475C1 Time : 9894.0 sec. user=vaughan [2010-06-23 23:29:09] 561*2^835361-1 is not prime. Res64: 9C3FCC5F23CF8281 Time : 1041.0 sec. user=vaughan [2010-06-23 23:38:59] 411*2^835363-1 is not prime. Res64: D6304393E00B8D10 Time : 1047.0 sec. user=vaughan [2010-06-23 23:46:28] 593*2^835364-1 is not prime. Res64: 99C216AD16997B91 Time : 1039.0 sec. user=vaughan [2010-06-23 23:56:28] 599*2^835364-1 is not prime. Res64: 118E6080D82C513B Time : 1049.0 sec. user=Flatlander [2010-06-23 23:58:41] 567*2^835356-1 is not prime. Res64: 8EBA0EB9248DBF2F Time : 6289.0 sec. user=Flatlander [2010-06-23 23:58:42] 579*2^835356-1 is not prime. Res64: 9CA798A45833A110 Time : 6289.0 sec. user=Flatlander [2010-06-23 23:58:42] 441*2^835357-1 is not prime. Res64: 9D5E9796EE80CFA7 Time : 6287.0 sec. user=Flatlander [2010-06-23 23:58:43] 465*2^835357-1 is not prime. Res64: 91F69A522CDC9806 Time : 6287.0 sec. user=Flatlander [2010-06-23 23:58:44] 499*2^835357-1 is not prime. Res64: 547E63A19CFC5733 Time : 6286.0 sec. user=Flatlander [2010-06-24 00:00:21] 495*2^835358-1 is not prime. Res64: 40517663F0EAB989 Time : 6294.0 sec. user=Flatlander [2010-06-24 00:00:22] 515*2^835358-1 is not prime. Res64: C6F5D26717B757F3 Time : 6294.0 sec. user=Flatlander [2010-06-24 00:00:22] 469*2^835359-1 is not prime. Res64: 280B807CDE235711 Time : 6292.0 sec. user=Flatlander [2010-06-24 00:00:23] 523*2^835359-1 is not prime. Res64: 5FE0805537E83338 Time : 6291.0 sec. user=Flatlander [2010-06-24 00:00:24] 543*2^835359-1 is not prime. Res64: 2762AA758DD24E4A Time : 6291.0 sec.