user=vaughan [2010-07-16 00:10:20] 487*2^841649-1 is not prime. Res64: D3BCB44324DE07E9 Time : 1064.0 sec. user=vaughan [2010-07-16 00:12:54] 405*2^841650-1 is not prime. Res64: 1A20C89AC0A25038 Time : 1045.0 sec. user=vaughan [2010-07-16 00:28:03] 483*2^841650-1 is not prime. Res64: 877CF62D974A4A87 Time : 1063.0 sec. user=vaughan [2010-07-16 00:30:19] 501*2^841650-1 is not prime. Res64: 71886ED06EAD0FAA Time : 1046.0 sec. user=vaughan [2010-07-16 00:45:44] 515*2^841650-1 is not prime. Res64: D262E64B6E87CAB9 Time : 1061.0 sec. user=vaughan [2010-07-16 00:47:45] 525*2^841650-1 is not prime. Res64: 841A5C54133459A9 Time : 1046.0 sec. user=vaughan [2010-07-16 01:03:29] 405*2^841651-1 is not prime. Res64: 26080664BF553210 Time : 1065.0 sec. user=vaughan [2010-07-16 01:05:12] 463*2^841651-1 is not prime. Res64: 3F76CBE75E7D862B Time : 1048.0 sec. user=vaughan [2010-07-16 01:21:11] 489*2^841651-1 is not prime. Res64: 4998CE4FDC81F994 Time : 1062.0 sec. user=vaughan [2010-07-16 01:22:39] 595*2^841651-1 is not prime. Res64: B64F2B4A077E75B6 Time : 1047.0 sec. user=vaughan [2010-07-16 01:38:54] 405*2^841652-1 is not prime. Res64: 4A640B75E3DE658B Time : 1063.0 sec. user=vaughan [2010-07-16 01:40:08] 489*2^841652-1 is not prime. Res64: B763971703A81045 Time : 1050.0 sec. user=vaughan [2010-07-16 02:05:06] 515*2^841652-1 is not prime. Res64: 8DE62D94B93558A5 Time : 1572.0 sec. user=vaughan [2010-07-16 02:05:09] 427*2^841653-1 is not prime. Res64: 2DC9E4769E3599CA Time : 1501.0 sec. user=vaughan [2010-07-16 02:22:37] 457*2^841653-1 is not prime. Res64: 24C0BEBED5B30BD3 Time : 1049.0 sec. user=vaughan [2010-07-16 02:23:15] 441*2^841653-1 is not prime. Res64: 6E1753F0FAC2142B Time : 1090.0 sec. user=vaughan [2010-07-16 02:40:12] 555*2^841654-1 is not prime. Res64: 60C58F1CD9A133A8 Time : 1055.0 sec. user=vaughan [2010-07-16 02:41:01] 561*2^841654-1 is not prime. Res64: 389479AF059BECD1 Time : 1067.0 sec. user=vaughan [2010-07-16 02:57:46] 421*2^841655-1 is not prime. Res64: 13E827DEF3006706 Time : 1054.0 sec. user=vaughan [2010-07-16 02:58:45] 453*2^841655-1 is not prime. Res64: 9280297877549401 Time : 1064.0 sec. user=vaughan [2010-07-16 03:15:21] 469*2^841655-1 is not prime. Res64: AC6ACA1909C0E67F Time : 1055.0 sec. user=vaughan [2010-07-16 03:16:38] 511*2^841655-1 is not prime. Res64: B846A2963E541884 Time : 1073.0 sec. user=vaughan [2010-07-16 03:32:53] 405*2^841656-1 is not prime. Res64: DFF59266EABF8B6E Time : 1053.0 sec. user=vaughan [2010-07-16 03:34:34] 481*2^841653-1 is not prime. Res64: 162DFBB47452DD1D Time : 1076.0 sec. user=vaughan [2010-07-16 03:50:25] 499*2^841653-1 is not prime. Res64: 8337F387A4A43061 Time : 1052.0 sec. user=vaughan [2010-07-16 03:52:20] 555*2^841653-1 is not prime. Res64: BE09AECAD4D05C77 Time : 1066.0 sec. user=vaughan [2010-07-16 04:14:41] 571*2^841653-1 is not prime. Res64: 385AE0E352F727CA Time : 1456.0 sec. user=vaughan [2010-07-16 04:16:57] 437*2^841654-1 is not prime. Res64: DBC0122D4B03E0F8 Time : 1477.0 sec. user=vaughan [2010-07-16 04:32:05] 437*2^841656-1 is not prime. Res64: 970AEE2BBC095FC9 Time : 1044.0 sec. user=vaughan [2010-07-16 04:34:41] 473*2^841656-1 is not prime. Res64: 372E8592A9727C2D Time : 1064.0 sec. user=vaughan [2010-07-16 04:49:28] 527*2^841656-1 is not prime. Res64: 9BED01265837FE92 Time : 1043.0 sec. user=vaughan [2010-07-16 04:52:26] 563*2^841656-1 is not prime. Res64: D174AFFBD5F05961 Time : 1065.0 sec. user=vaughan [2010-07-16 05:15:35] 441*2^841657-1 is not prime. Res64: 98CBA2C67534651B Time : 1567.0 sec. user=vaughan [2010-07-16 05:19:36] 457*2^841657-1 is not prime. Res64: 10595BFF030117D2 Time : 1630.0 sec. user=vaughan [2010-07-16 05:33:03] 465*2^841657-1 is not prime. Res64: 40B99C688266304A Time : 1048.0 sec. user=vaughan [2010-07-16 05:37:16] 471*2^841657-1 is not prime. Res64: 7B4F05A97CF9595A Time : 1060.0 sec. user=vaughan [2010-07-16 05:50:32] 511*2^841657-1 is not prime. Res64: 45097922EB0B8C07 Time : 1050.0 sec. user=vaughan [2010-07-16 05:54:56] 531*2^841657-1 is not prime. Res64: 25474ACB837A49CA Time : 1061.0 sec. user=vaughan [2010-07-16 06:14:10] 537*2^841657-1 is not prime. Res64: BFC5F193CB727F7A Time : 1419.0 sec. user=vaughan [2010-07-16 06:18:54] 567*2^841657-1 is not prime. Res64: DBE3B0436C8E21A8 Time : 1438.0 sec. user=vaughan [2010-07-16 06:31:32] 577*2^841657-1 is not prime. Res64: 06062575D16FA98F Time : 1042.0 sec. user=vaughan [2010-07-16 06:36:38] 589*2^841657-1 is not prime. Res64: 4361FB83B90F5331 Time : 1064.0 sec. user=vaughan [2010-07-16 06:49:00] 435*2^841658-1 is not prime. Res64: 35B2B18417191AEF Time : 1048.0 sec. user=vaughan [2010-07-16 06:54:21] 503*2^841658-1 is not prime. Res64: 9E7AF9C29B6CE955 Time : 1063.0 sec. user=vaughan [2010-07-16 07:07:23] 561*2^841658-1 is not prime. Res64: 9974076E68ED0E1D Time : 1103.0 sec. user=vaughan [2010-07-16 07:14:01] 563*2^841658-1 is not prime. Res64: 09EAE02231D66460 Time : 1180.0 sec. user=vaughan [2010-07-16 07:24:52] 403*2^841659-1 is not prime. Res64: B0FAB8E6F75C252A Time : 1049.0 sec. user=vaughan [2010-07-16 07:31:43] 439*2^841659-1 is not prime. Res64: F095BB5B67650A53 Time : 1062.0 sec. user=vaughan [2010-07-16 07:42:25] 493*2^841659-1 is not prime. Res64: 10E1E44B213CA576 Time : 1054.0 sec. user=vaughan [2010-07-16 07:49:30] 495*2^841659-1 is not prime. Res64: C7BDE03029D38781 Time : 1068.0 sec. user=vaughan [2010-07-16 08:03:59] 523*2^841659-1 is not prime. Res64: 3EE7E53ECF92F4B6 Time : 1295.0 sec. user=vaughan [2010-07-16 08:11:21] 553*2^841659-1 is not prime. Res64: 660746AD7CC653ED Time : 1311.0 sec. user=vaughan [2010-07-16 08:21:31] 447*2^841660-1 is not prime. Res64: 07AE565A176CCF09 Time : 1052.0 sec. user=vaughan [2010-07-16 08:29:23] 533*2^841660-1 is not prime. Res64: 338878DB6E4E46D4 Time : 1084.0 sec. user=vaughan [2010-07-16 08:38:59] 451*2^841661-1 is not prime. Res64: 6935B15BF5DF534E Time : 1048.0 sec. user=vaughan [2010-07-16 08:47:12] 465*2^841661-1 is not prime. Res64: 4124E8DDADB4B6CC Time : 1069.0 sec. user=vaughan [2010-07-16 08:56:23] 559*2^841661-1 is not prime. Res64: 7863BA74867F891A Time : 1044.0 sec. user=vaughan [2010-07-16 09:05:03] 565*2^841661-1 is not prime. Res64: B6E4324FD9B433EE Time : 1071.0 sec. user=vaughan [2010-07-16 09:16:02] 507*2^841662-1 is not prime. Res64: 1BD508ABF85E34D8 Time : 1179.0 sec. user=vaughan [2010-07-16 09:29:52] 543*2^841662-1 is not prime. Res64: 40EFC316E9D00485 Time : 1489.0 sec. user=vaughan [2010-07-16 09:48:12] 555*2^841662-1 is not prime. Res64: 7202C6463DA924CC Time : 1930.0 sec. user=vaughan [2010-07-16 09:57:46] 451*2^841663-1 is not prime. Res64: 93E2737931FDA504 Time : 1675.0 sec. user=vaughan [2010-07-16 10:15:23] 525*2^841663-1 is not prime. Res64: B3043871128D0C07 Time : 1631.0 sec. user=vaughan [2010-07-16 10:18:12] 459*2^841664-1 is not prime. Res64: 7023285BA059AF4A Time : 1227.0 sec. user=vaughan [2010-07-16 10:38:41] 539*2^841664-1 is not prime. Res64: E84D582A9DCDC48D Time : 1229.0 sec. user=vaughan [2010-07-16 10:42:32] 533*2^841664-1 is not prime. Res64: 60A162D1A6B03D03 Time : 1630.0 sec. user=vaughan [2010-07-16 10:59:21] 459*2^841665-1 is not prime. Res64: 83C5B130619204B4 Time : 1240.0 sec. user=vaughan [2010-07-16 11:09:45] 529*2^841665-1 is not prime. Res64: 6007FAFFB2985A3E Time : 1633.0 sec. user=vaughan [2010-07-16 11:19:33] 531*2^841665-1 is not prime. Res64: 3335A9107682A3AC Time : 1212.0 sec. user=vaughan [2010-07-16 11:23:10] 509*2^841664-1 is not prime. Res64: 4B5A7067A63393A6 Time : 5045.0 sec. user=vaughan [2010-07-16 11:23:12] 503*2^841664-1 is not prime. Res64: 6320334834765E15 Time : 5047.0 sec. user=vaughan [2010-07-16 11:43:50] 577*2^841665-1 is not prime. Res64: FAAED79A3034136B Time : 2046.0 sec. user=vaughan [2010-07-16 11:48:41] 591*2^841665-1 is not prime. Res64: 35F8D2290609C286 Time : 1749.0 sec. user=vaughan [2010-07-16 12:03:38] 483*2^841666-1 is not prime. Res64: 033E1BC9E6E98983 Time : 1188.0 sec. user=vaughan [2010-07-16 12:06:59] 525*2^841666-1 is not prime. Res64: 91947F840AF0BF69 Time : 1098.0 sec. user=vaughan [2010-07-16 12:21:05] 531*2^841666-1 is not prime. Res64: 062FEEAD14A73332 Time : 1047.0 sec. user=vaughan [2010-07-16 12:24:54] 597*2^841666-1 is not prime. Res64: 5C1C3B22813E4A4E Time : 1076.0 sec. user=vaughan [2010-07-16 12:38:34] 505*2^841667-1 is not prime. Res64: 2B2E9F115D1B8DFD Time : 1049.0 sec. user=vaughan [2010-07-16 12:42:53] 523*2^841667-1 is not prime. Res64: 944717046AEB1922 Time : 1079.0 sec. user=vaughan [2010-07-16 12:56:02] 503*2^841668-1 is not prime. Res64: 6CE14A42D2ADCAE7 Time : 1049.0 sec. user=vaughan [2010-07-16 13:00:51] 451*2^841669-1 is not prime. Res64: 35770825B6D0418D Time : 1079.0 sec. user=vaughan [2010-07-16 13:13:56] 537*2^841669-1 is not prime. Res64: 733086504FBD540D Time : 1074.0 sec. user=vaughan [2010-07-16 13:18:49] 597*2^841669-1 is not prime. Res64: C905BCFF934B108A Time : 1078.0 sec. user=vaughan [2010-07-16 13:36:46] 423*2^841670-1 is not prime. Res64: 46569D293307EFE5 Time : 1371.0 sec. user=vaughan [2010-07-16 13:41:49] 483*2^841670-1 is not prime. Res64: A97F52ABD1D1BE3C Time : 1380.0 sec. user=vaughan [2010-07-16 13:54:12] 545*2^841670-1 is not prime. Res64: 900F0FF6EC63F4A2 Time : 1046.0 sec. user=vaughan [2010-07-16 13:59:40] 433*2^841671-1 is not prime. Res64: EB0F0AB3ACDBA8E5 Time : 1071.0 sec. user=vaughan [2010-07-16 14:11:38] 511*2^841671-1 is not prime. Res64: 576575215A449E4E Time : 1047.0 sec. user=vaughan [2010-07-16 14:17:22] 591*2^841671-1 is not prime. Res64: B9A9B57F2E260C97 Time : 1063.0 sec. user=vaughan [2010-07-16 14:29:06] 423*2^841672-1 is not prime. Res64: FE609212DDBC3505 Time : 1048.0 sec. user=vaughan [2010-07-16 14:35:04] 519*2^841672-1 is not prime. Res64: C863453226E3999A Time : 1062.0 sec. user=vaughan [2010-07-16 14:46:34] 549*2^841672-1 is not prime. Res64: D9F1E16109B0EEF4 Time : 1049.0 sec. user=vaughan [2010-07-16 14:53:07] 573*2^841672-1 is not prime. Res64: C250D39DEDB0B432 Time : 1084.0 sec. user=vaughan [2010-07-16 15:04:01] 439*2^841673-1 is not prime. Res64: 0664EEAD5672477E Time : 1047.0 sec. user=vaughan [2010-07-16 15:10:49] 517*2^841673-1 is not prime. Res64: 72BBDE659D09181F Time : 1062.0 sec. user=vaughan [2010-07-16 15:21:28] 529*2^841673-1 is not prime. Res64: 6867F6007B4E3027 Time : 1047.0 sec. user=vaughan [2010-07-16 15:29:49] 589*2^841673-1 is not prime. Res64: A4FBF3740D63C4C7 Time : 1141.0 sec. user=vaughan [2010-07-16 15:40:04] 591*2^841673-1 is not prime. Res64: 086A9579B505A99A Time : 1117.0 sec. user=vaughan [2010-07-16 15:47:34] 443*2^841674-1 is not prime. Res64: 6349719D82FFEFF5 Time : 1066.0 sec. user=vaughan [2010-07-16 15:57:31] 495*2^841674-1 is not prime. Res64: BBF7FD731EC55009 Time : 1048.0 sec. user=vaughan [2010-07-16 16:05:17] 527*2^841674-1 is not prime. Res64: A7E7A67ABBF0D5B6 Time : 1063.0 sec. user=vaughan [2010-07-16 16:14:58] 415*2^841675-1 is not prime. Res64: BF33FF4EC2DDE311 Time : 1047.0 sec. user=vaughan [2010-07-16 16:22:58] 433*2^841675-1 is not prime. Res64: 79A7867B2DF23E5C Time : 1062.0 sec. user=vaughan [2010-07-16 16:32:26] 463*2^841675-1 is not prime. Res64: 966027C1941665D3 Time : 1049.0 sec. user=vaughan [2010-07-16 16:40:42] 471*2^841675-1 is not prime. Res64: 952C410C98326D83 Time : 1064.0 sec. user=vaughan [2010-07-16 16:49:53] 489*2^841675-1 is not prime. Res64: 1C2AD0F721FB8EA4 Time : 1047.0 sec. user=vaughan [2010-07-16 16:58:22] 495*2^841675-1 is not prime. Res64: 9CC409A7F9C6079F Time : 1060.0 sec. user=vaughan [2010-07-16 17:07:25] 499*2^841675-1 is not prime. Res64: 4D2F64AD4DFF94B7 Time : 1052.0 sec. user=vaughan [2010-07-16 17:16:03] 523*2^841675-1 is not prime. Res64: C6A9671102455693 Time : 1061.0 sec. user=vaughan [2010-07-16 17:24:51] 535*2^841675-1 is not prime. Res64: 614F5CCDDC10FFB9 Time : 1047.0 sec. user=vaughan [2010-07-16 17:36:10] 459*2^841676-1 is not prime. Res64: A985E507A5A2D467 Time : 1207.0 sec. user=vaughan [2010-07-16 17:43:17] 479*2^841676-1 is not prime. Res64: A7BDE8B18D12752B Time : 1106.0 sec. user=vaughan [2010-07-16 17:53:54] 519*2^841676-1 is not prime. Res64: 3058A98089235568 Time : 1064.0 sec. user=vaughan [2010-07-16 18:01:01] 585*2^841676-1 is not prime. Res64: C3F7D62E5EB870DA Time : 1064.0 sec. user=vaughan [2010-07-16 18:11:51] 417*2^841677-1 is not prime. Res64: 2ABA784D56897263 Time : 1078.0 sec. user=vaughan [2010-07-16 18:18:28] 475*2^841677-1 is not prime. Res64: 74E62BE539543C7B Time : 1048.0 sec. user=vaughan [2010-07-16 18:29:32] 507*2^841677-1 is not prime. Res64: AA709BE76509EEC9 Time : 1061.0 sec. user=vaughan [2010-07-16 18:35:56] 577*2^841677-1 is not prime. Res64: FA2866487A0F33BE Time : 1048.0 sec. user=vaughan [2010-07-16 18:47:15] 461*2^841678-1 is not prime. Res64: EC3A8C67388EDA28 Time : 1063.0 sec. user=vaughan [2010-07-16 18:53:23] 471*2^841678-1 is not prime. Res64: 342E056B95FEA647 Time : 1048.0 sec. user=vaughan [2010-07-16 19:04:58] 573*2^841678-1 is not prime. Res64: 2273A8620501F96E Time : 1064.0 sec. user=vaughan [2010-07-16 19:10:49] 445*2^841679-1 is not prime. Res64: 0D0324D7CE2F401D Time : 1046.0 sec. user=vaughan [2010-07-16 19:22:40] 459*2^841679-1 is not prime. Res64: ECB88682869F4A0A Time : 1062.0 sec. user=vaughan [2010-07-16 19:39:05] 501*2^841679-1 is not prime. Res64: 1BC9489D75848F87 Time : 1696.0 sec. user=vaughan [2010-07-16 19:51:23] 531*2^841679-1 is not prime. Res64: 4C8EDD2DB738EAD8 Time : 1723.0 sec. user=vaughan [2010-07-16 19:56:31] 543*2^841679-1 is not prime. Res64: 26C35AFE9D68F714 Time : 1047.0 sec. user=vaughan [2010-07-16 20:09:06] 527*2^841680-1 is not prime. Res64: 31CCB987DE3FF761 Time : 1063.0 sec. user=vaughan [2010-07-16 20:13:55] 441*2^841681-1 is not prime. Res64: 9986ADBA95C32419 Time : 1045.0 sec. user=vaughan [2010-07-16 20:26:53] 511*2^841681-1 is not prime. Res64: 0D4B25DF83B6118C Time : 1068.0 sec. user=vaughan [2010-07-16 20:32:04] 417*2^841682-1 is not prime. Res64: 57B8BDAF37A37CFC Time : 1089.0 sec. user=vaughan [2010-07-16 20:46:28] 545*2^841682-1 is not prime. Res64: C8A70438487AA8B5 Time : 1176.0 sec. user=vaughan [2010-07-16 20:49:29] 451*2^841683-1 is not prime. Res64: BFE10693919E00DA Time : 1045.0 sec. user=vaughan [2010-07-16 21:04:14] 489*2^841683-1 is not prime. Res64: 41AFEACA9C52DEDA Time : 1067.0 sec. user=vaughan [2010-07-16 21:06:55] 501*2^841683-1 is not prime. Res64: A38544FEE75A84BE Time : 1047.0 sec. user=vaughan [2010-07-16 21:21:55] 523*2^841683-1 is not prime. Res64: C18179EEBA985D78 Time : 1062.0 sec. user=vaughan [2010-07-16 21:24:22] 571*2^841683-1 is not prime. Res64: 281609197A6E9F67 Time : 1048.0 sec. user=vaughan [2010-07-16 21:39:39] 585*2^841683-1 is not prime. Res64: 619DD36FF0935D53 Time : 1065.0 sec. user=vaughan [2010-07-16 21:41:46] 507*2^841684-1 is not prime. Res64: BC2A200525D06CED Time : 1044.0 sec. user=vaughan [2010-07-16 21:57:18] 533*2^841684-1 is not prime. Res64: 03373046B27D34F8 Time : 1060.0 sec. user=vaughan [2010-07-16 21:59:14] 569*2^841684-1 is not prime. Res64: B059370696907280 Time : 1048.0 sec. user=vaughan [2010-07-16 22:15:01] 579*2^841684-1 is not prime. Res64: 97C10F8955D14791 Time : 1063.0 sec. user=vaughan [2010-07-16 22:16:42] 409*2^841685-1 is not prime. Res64: 086B0B2B9E7E9966 Time : 1049.0 sec. user=vaughan [2010-07-16 22:37:09] 477*2^841685-1 is not prime. Res64: 042075ADC4628CDA Time : 1328.0 sec. user=vaughan [2010-07-16 22:38:30] 507*2^841685-1 is not prime. Res64: A5CE699D16C3D104 Time : 1308.0 sec. user=vaughan [2010-07-16 22:54:52] 503*2^841686-1 is not prime. Res64: 11373C7B0A2E8FBC Time : 1063.0 sec. user=vaughan [2010-07-16 22:55:53] 587*2^841686-1 is not prime. Res64: 15836C31A07322AB Time : 1043.0 sec. user=vaughan [2010-07-16 23:12:37] 593*2^841686-1 is not prime. Res64: 88D69D1DA8E0F76A Time : 1065.0 sec. user=vaughan [2010-07-16 23:13:20] 439*2^841687-1 is not prime. Res64: 086E45170634434B Time : 1047.0 sec. user=vaughan [2010-07-16 23:30:23] 465*2^841687-1 is not prime. Res64: DED364D9C61737BC Time : 1066.0 sec. user=vaughan [2010-07-16 23:30:42] 519*2^841687-1 is not prime. Res64: 9F225CF945076EE3 Time : 1043.0 sec. user=vaughan [2010-07-16 23:48:08] 531*2^841687-1 is not prime. Res64: 312C02EF41B4445E Time : 1065.0 sec. user=vaughan [2010-07-16 23:48:10] 541*2^841687-1 is not prime. Res64: 0E72989DE70314BB Time : 1048.0 sec.