user=vaughan [2010-07-11 00:01:19] 549*2^840891-1 is not prime. Res64: FD6B62161F7D9921 Time : 1131.0 sec. user=vaughan [2010-07-11 00:07:27] 579*2^840891-1 is not prime. Res64: B2516347F872913C Time : 1135.0 sec. user=vaughan [2010-07-11 00:10:14] 413*2^840892-1 is not prime. Res64: B9564C490485DFC0 Time : 1170.0 sec. user=vaughan [2010-07-11 00:11:09] 519*2^840893-1 is not prime. Res64: 1D13211E33466E6E Time : 1021.0 sec. user=vaughan [2010-07-11 00:12:28] 413*2^840894-1 is not prime. Res64: A50293E1A32C74D2 Time : 1088.0 sec. user=vaughan [2010-07-11 00:13:23] 483*2^840894-1 is not prime. Res64: F07C9DB445C368FE Time : 1021.0 sec. user=vaughan [2010-07-11 00:14:23] 495*2^840894-1 is not prime. Res64: 4D3CA862BAC8B2E8 Time : 1017.0 sec. user=vaughan [2010-07-11 00:16:42] 423*2^840894-1 is not prime. Res64: 482677EFC552D4D9 Time : 1316.0 sec. user=vaughan [2010-07-11 00:20:12] 557*2^840894-1 is not prime. Res64: 996A2D7BE7AB9DE1 Time : 1133.0 sec. user=vaughan [2010-07-11 00:26:20] 421*2^840895-1 is not prime. Res64: F286FD588BA67FE6 Time : 1134.0 sec. user=vaughan [2010-07-11 00:28:09] 525*2^840895-1 is not prime. Res64: C1CD733C0DA427E4 Time : 1020.0 sec. user=vaughan [2010-07-11 00:29:43] 423*2^840895-1 is not prime. Res64: 422C4A949F48A676 Time : 1169.0 sec. user=vaughan [2010-07-11 00:30:24] 573*2^840895-1 is not prime. Res64: 38788FBE2B0C4A56 Time : 1021.0 sec. user=vaughan [2010-07-11 00:30:35] 555*2^840895-1 is not prime. Res64: C21A3545C811E716 Time : 1087.0 sec. user=vaughan [2010-07-11 00:31:21] 595*2^840895-1 is not prime. Res64: 0E3B65A055F6FE32 Time : 1018.0 sec. user=vaughan [2010-07-11 00:38:39] 417*2^840896-1 is not prime. Res64: 3252649A54478FAB Time : 1317.0 sec. user=vaughan [2010-07-11 00:39:07] 525*2^840896-1 is not prime. Res64: ECED463D61244628 Time : 1135.0 sec. user=vaughan [2010-07-11 00:45:09] 501*2^840897-1 is not prime. Res64: BC03AB484C54851A Time : 1020.0 sec. user=vaughan [2010-07-11 00:45:20] 465*2^840897-1 is not prime. Res64: 169D25D4518DE84B Time : 1141.0 sec. user=vaughan [2010-07-11 00:47:26] 425*2^840898-1 is not prime. Res64: AAFB5013560D1675 Time : 1022.0 sec. user=vaughan [2010-07-11 00:48:18] 461*2^840898-1 is not prime. Res64: 4DFC4611B55A51E2 Time : 1018.0 sec. user=vaughan [2010-07-11 00:48:40] 437*2^840898-1 is not prime. Res64: 0EA088A42915050B Time : 1086.0 sec. user=vaughan [2010-07-11 00:49:22] 555*2^840897-1 is not prime. Res64: A3E2849AA2299FB4 Time : 1179.0 sec. user=vaughan [2010-07-11 00:58:16] 491*2^840898-1 is not prime. Res64: 128C02C8FAA60421 Time : 1149.0 sec. user=vaughan [2010-07-11 01:00:55] 467*2^840898-1 is not prime. Res64: B85096D83A03F175 Time : 1337.0 sec. user=vaughan [2010-07-11 01:02:08] 525*2^840898-1 is not prime. Res64: 9BC03483AF8169D8 Time : 1019.0 sec. user=vaughan [2010-07-11 01:04:25] 545*2^840898-1 is not prime. Res64: 24CDCF87027C54A8 Time : 1145.0 sec. user=vaughan [2010-07-11 01:04:30] 597*2^840898-1 is not prime. Res64: 63155FD1F75BA614 Time : 1024.0 sec. user=vaughan [2010-07-11 01:05:17] 411*2^840899-1 is not prime. Res64: 2B8EE8B34EDF0872 Time : 1019.0 sec. user=vaughan [2010-07-11 01:06:46] 421*2^840899-1 is not prime. Res64: E8D7C5B69AE94594 Time : 1086.0 sec. user=vaughan [2010-07-11 01:08:57] 505*2^840899-1 is not prime. Res64: A65C3E1C93ECCF8F Time : 1175.0 sec. user=vaughan [2010-07-11 01:17:11] 523*2^840899-1 is not prime. Res64: F7A3232ECC4A2C8E Time : 1136.0 sec. user=vaughan [2010-07-11 01:19:09] 459*2^840900-1 is not prime. Res64: 50A03FFD73E284CC Time : 1021.0 sec. user=vaughan [2010-07-11 01:21:31] 515*2^840900-1 is not prime. Res64: 55A61135EBBD5F51 Time : 1022.0 sec. user=vaughan [2010-07-11 01:22:15] 555*2^840900-1 is not prime. Res64: 076E2258D9C47DEB Time : 1018.0 sec. user=vaughan [2010-07-11 01:22:52] 595*2^840899-1 is not prime. Res64: 0189033119E4FE7F Time : 1317.0 sec. user=vaughan [2010-07-11 01:23:20] 479*2^840900-1 is not prime. Res64: 8BB8D5647205E524 Time : 1135.0 sec. user=vaughan [2010-07-11 01:24:52] 579*2^840900-1 is not prime. Res64: 53E3C7A5565AF51B Time : 1086.0 sec. user=vaughan [2010-07-11 01:28:27] 597*2^840900-1 is not prime. Res64: 4C164EB6C883B20A Time : 1171.0 sec. user=vaughan [2010-07-11 01:36:03] 489*2^840901-1 is not prime. Res64: 9A8EF6DB3F4BEAD4 Time : 1133.0 sec. user=vaughan [2010-07-11 01:36:08] 511*2^840901-1 is not prime. Res64: 7F6884A8B8CF3A17 Time : 1020.0 sec. user=vaughan [2010-07-11 01:38:32] 525*2^840901-1 is not prime. Res64: 21349DC0DBF1C50E Time : 1021.0 sec. user=vaughan [2010-07-11 01:39:11] 549*2^840901-1 is not prime. Res64: D88DB965298CF5FE Time : 1016.0 sec. user=vaughan [2010-07-11 01:42:15] 455*2^840902-1 is not prime. Res64: A019EA59913C97FD Time : 1136.0 sec. user=vaughan [2010-07-11 01:42:58] 483*2^840902-1 is not prime. Res64: 8AB8467ADCD5049E Time : 1087.0 sec. user=vaughan [2010-07-11 01:44:42] 437*2^840902-1 is not prime. Res64: 4CBC9959D873DFFD Time : 1310.0 sec. user=vaughan [2010-07-11 01:47:55] 525*2^840902-1 is not prime. Res64: C954001941E74D67 Time : 1168.0 sec. user=vaughan [2010-07-11 01:53:08] 523*2^840903-1 is not prime. Res64: A3C0B64DE95DFCC4 Time : 1020.0 sec. user=vaughan [2010-07-11 01:54:56] 501*2^840903-1 is not prime. Res64: 98CF50AE412BC564 Time : 1133.0 sec. user=vaughan [2010-07-11 01:55:34] 435*2^840904-1 is not prime. Res64: 391D9B4CDEA74C0D Time : 1022.0 sec. user=vaughan [2010-07-11 01:56:08] 465*2^840904-1 is not prime. Res64: 64CDF6951E5F3094 Time : 1017.0 sec. user=vaughan [2010-07-11 02:01:04] 489*2^840904-1 is not prime. Res64: 49BAF5972917FBF2 Time : 1129.0 sec. user=vaughan [2010-07-11 02:01:05] 567*2^840904-1 is not prime. Res64: 25C01295BD1DC0A4 Time : 1087.0 sec. user=vaughan [2010-07-11 02:06:40] 409*2^840905-1 is not prime. Res64: 590EDF983F5FA904 Time : 1319.0 sec. user=vaughan [2010-07-11 02:07:29] 411*2^840905-1 is not prime. Res64: 5E89185A2E30E83F Time : 1175.0 sec. user=vaughan [2010-07-11 02:10:09] 421*2^840905-1 is not prime. Res64: DB5B21E28B8D9E42 Time : 1021.0 sec. user=vaughan [2010-07-11 02:12:34] 465*2^840905-1 is not prime. Res64: F9044BBEAB391B22 Time : 1021.0 sec. user=vaughan [2010-07-11 02:13:06] 507*2^840905-1 is not prime. Res64: 507625DF81C6C6A2 Time : 1018.0 sec. user=vaughan [2010-07-11 02:13:54] 459*2^840905-1 is not prime. Res64: 1BE909E65E967E37 Time : 1138.0 sec. user=vaughan [2010-07-11 02:19:10] 411*2^840906-1 is not prime. Res64: BCCD08B5CFE23978 Time : 1086.0 sec. user=vaughan [2010-07-11 02:19:59] 589*2^840905-1 is not prime. Res64: 84A0634DD28B627F Time : 1135.0 sec. user=vaughan [2010-07-11 02:26:58] 465*2^840906-1 is not prime. Res64: C6C8B5EFDE5AD610 Time : 1170.0 sec. user=vaughan [2010-07-11 02:27:08] 473*2^840906-1 is not prime. Res64: 3A1F00C67313B05A Time : 1019.0 sec. user=vaughan [2010-07-11 02:28:27] 447*2^840906-1 is not prime. Res64: DE658DD9B15F53FE Time : 1307.0 sec. user=vaughan [2010-07-11 02:29:35] 551*2^840906-1 is not prime. Res64: D46FF3C70C0E1642 Time : 1021.0 sec. user=vaughan [2010-07-11 02:30:02] 567*2^840906-1 is not prime. Res64: 973FC6548DC7908F Time : 1017.0 sec. user=vaughan [2010-07-11 02:32:50] 581*2^840906-1 is not prime. Res64: 20A4F9F5C3CC0D08 Time : 1136.0 sec. user=vaughan [2010-07-11 02:37:15] 587*2^840906-1 is not prime. Res64: 2F9AC0EBA6C599C8 Time : 1085.0 sec. user=vaughan [2010-07-11 02:38:53] 451*2^840907-1 is not prime. Res64: 180AC951A1F43A52 Time : 1134.0 sec. user=vaughan [2010-07-11 02:44:08] 471*2^840907-1 is not prime. Res64: F99D668830ECC697 Time : 1020.0 sec. user=vaughan [2010-07-11 02:46:26] 469*2^840907-1 is not prime. Res64: 4B0FD968B4AC33C6 Time : 1168.0 sec. user=vaughan [2010-07-11 02:46:37] 479*2^840908-1 is not prime. Res64: 0DD0A63B117DB56A Time : 1022.0 sec. user=vaughan [2010-07-11 02:47:00] 515*2^840908-1 is not prime. Res64: 181CFC90ED790F2B Time : 1018.0 sec. user=vaughan [2010-07-11 02:50:17] 483*2^840907-1 is not prime. Res64: EE329DB839789133 Time : 1310.0 sec. user=vaughan [2010-07-11 02:51:47] 525*2^840908-1 is not prime. Res64: 611D135DA0C1BD00 Time : 1137.0 sec. user=vaughan [2010-07-11 02:55:21] 557*2^840908-1 is not prime. Res64: 75F04668166B730D Time : 1086.0 sec. user=vaughan [2010-07-11 02:57:46] 411*2^840910-1 is not prime. Res64: 424786588DF57519 Time : 1133.0 sec. user=vaughan [2010-07-11 03:01:31] 465*2^840910-1 is not prime. Res64: F41A40763728CB9F Time : 1043.0 sec. user=vaughan [2010-07-11 03:01:35] 503*2^840888-1 is not prime. Res64: 68CB61439BA065FF Time : 13801.0 sec. user=vaughan [2010-07-11 03:01:36] 567*2^840888-1 is not prime. Res64: D85595E22C0E94B1 Time : 13407.0 sec. user=vaughan [2010-07-11 03:03:51] 477*2^840910-1 is not prime. Res64: 8283E566C99602F6 Time : 1034.0 sec. user=vaughan [2010-07-11 03:04:07] 561*2^840910-1 is not prime. Res64: AC9955A3DFB0CE03 Time : 1028.0 sec. user=vaughan [2010-07-11 03:05:55] 471*2^840910-1 is not prime. Res64: 6972C1F8D3FFADB9 Time : 1169.0 sec. user=vaughan [2010-07-11 03:10:38] 493*2^840911-1 is not prime. Res64: 3F3A1A9E80040626 Time : 1131.0 sec. user=vaughan [2010-07-11 03:12:11] 591*2^840910-1 is not prime. Res64: 350E4B0D220B8A85 Time : 1314.0 sec. user=vaughan [2010-07-11 03:13:46] 525*2^840911-1 is not prime. Res64: 3C098006B87A1C6E Time : 1106.0 sec. user=vaughan [2010-07-11 03:16:38] 531*2^840911-1 is not prime. Res64: 17D728F770E323E2 Time : 1133.0 sec. user=vaughan [2010-07-11 03:18:44] 405*2^840912-1 is not prime. Res64: 9D0CA5DAEFE1430A Time : 1033.0 sec. user=vaughan [2010-07-11 03:18:52] 537*2^840912-1 is not prime. Res64: C58A29D2FFA4CB81 Time : 1037.0 sec. user=vaughan [2010-07-11 03:18:54] 525*2^840912-1 is not prime. Res64: 6796150B4E3043AC Time : 1039.0 sec. user=vaughan [2010-07-11 03:20:55] 549*2^840912-1 is not prime. Res64: CBBDFF019901752F Time : 1025.0 sec. user=vaughan [2010-07-11 03:21:16] 405*2^840913-1 is not prime. Res64: CDFA0279728869FA Time : 1029.0 sec. user=vaughan [2010-07-11 03:25:26] 411*2^840913-1 is not prime. Res64: 6A969722ABDC12CE Time : 1172.0 sec. user=vaughan [2010-07-11 03:29:37] 421*2^840913-1 is not prime. Res64: BE87C2DA5D78E546 Time : 1140.0 sec. user=vaughan [2010-07-11 03:32:06] 417*2^840914-1 is not prime. Res64: 1FFC5543CC273833 Time : 1100.0 sec. user=vaughan [2010-07-11 03:34:06] 559*2^840913-1 is not prime. Res64: 3E620F13C3241454 Time : 1315.0 sec. user=vaughan [2010-07-11 03:35:35] 423*2^840914-1 is not prime. Res64: 2E4A45C1A72B297E Time : 1138.0 sec. user=vaughan [2010-07-11 03:35:56] 447*2^840914-1 is not prime. Res64: 230FFC98903BFB7B Time : 1032.0 sec. user=vaughan [2010-07-11 03:36:09] 495*2^840914-1 is not prime. Res64: 5ACAD1A6541FC17D Time : 1037.0 sec. user=vaughan [2010-07-11 03:36:11] 545*2^840914-1 is not prime. Res64: 7C836FF7601E3428 Time : 1038.0 sec. user=vaughan [2010-07-11 03:38:05] 415*2^840915-1 is not prime. Res64: 7D6AE2D90C43297B Time : 1030.0 sec. user=vaughan [2010-07-11 03:38:25] 495*2^840915-1 is not prime. Res64: 6B8763AF0611E4C4 Time : 1029.0 sec. user=vaughan [2010-07-11 03:44:57] 513*2^840915-1 is not prime. Res64: 85E5C04DBF06788C Time : 1171.0 sec. user=vaughan [2010-07-11 03:48:31] 455*2^840916-1 is not prime. Res64: 0D09AA06CE6357C3 Time : 1134.0 sec. user=vaughan [2010-07-11 03:50:31] 519*2^840916-1 is not prime. Res64: 56E329F1DA9CE130 Time : 1105.0 sec. user=vaughan [2010-07-11 03:53:07] 405*2^840917-1 is not prime. Res64: BBEDE5A5AF537881 Time : 1032.0 sec. user=vaughan [2010-07-11 03:53:25] 441*2^840917-1 is not prime. Res64: EDF0EEC59872A3F5 Time : 1037.0 sec. user=vaughan [2010-07-11 03:53:30] 495*2^840917-1 is not prime. Res64: 0951E57FE61CDA49 Time : 1039.0 sec. user=vaughan [2010-07-11 03:54:29] 563*2^840916-1 is not prime. Res64: B80E9B6B11446FA8 Time : 1135.0 sec. user=vaughan [2010-07-11 03:55:10] 519*2^840917-1 is not prime. Res64: 2F33369FF05C1317 Time : 1026.0 sec. user=vaughan [2010-07-11 03:55:30] 549*2^840917-1 is not prime. Res64: 23BD4E909603E4B7 Time : 1026.0 sec. user=vaughan [2010-07-11 03:55:54] 537*2^840916-1 is not prime. Res64: 1141E21B128856A5 Time : 1309.0 sec. user=vaughan [2010-07-11 04:04:30] 561*2^840917-1 is not prime. Res64: 8B3546A67C3A3B6D Time : 1174.0 sec. user=vaughan [2010-07-11 04:07:27] 431*2^840918-1 is not prime. Res64: 00AD86D82FA36F02 Time : 1136.0 sec. user=vaughan [2010-07-11 04:08:41] 443*2^840918-1 is not prime. Res64: 24D2ADD0D9AA2D38 Time : 1090.0 sec. user=vaughan [2010-07-11 04:10:07] 555*2^840918-1 is not prime. Res64: 42C6704F2AF13226 Time : 1021.0 sec. user=vaughan [2010-07-11 04:12:13] 579*2^840919-1 is not prime. Res64: 6E286DC5AB6A3D1D Time : 1023.0 sec. user=vaughan [2010-07-11 04:12:28] 405*2^840920-1 is not prime. Res64: 12227C744BE03C71 Time : 1018.0 sec. user=vaughan [2010-07-11 04:13:20] 499*2^840919-1 is not prime. Res64: 1FC72CC932532850 Time : 1132.0 sec. user=vaughan [2010-07-11 04:17:51] 447*2^840920-1 is not prime. Res64: 26BC3D7D1DD78877 Time : 1317.0 sec. user=vaughan [2010-07-11 04:23:59] 449*2^840920-1 is not prime. Res64: 0BD814623C677F45 Time : 1169.0 sec. user=vaughan [2010-07-11 04:26:28] 515*2^840920-1 is not prime. Res64: 09D6B7863304131F Time : 1142.0 sec. user=vaughan [2010-07-11 04:26:45] 563*2^840920-1 is not prime. Res64: DBEE42C2A5B544CE Time : 1085.0 sec. user=vaughan [2010-07-11 04:27:08] 499*2^840921-1 is not prime. Res64: 582EF41DDBA22D00 Time : 1021.0 sec. user=vaughan [2010-07-11 04:29:14] 517*2^840921-1 is not prime. Res64: EC0A20451AEC9BF6 Time : 1022.0 sec. user=vaughan [2010-07-11 04:29:26] 579*2^840921-1 is not prime. Res64: 4BAE9D2AB43CA03D Time : 1018.0 sec. user=vaughan [2010-07-11 04:32:43] 423*2^840922-1 is not prime. Res64: C72679FFED580AF9 Time : 1163.0 sec. user=vaughan [2010-07-11 04:37:36] 513*2^840922-1 is not prime. Res64: AB58E26FDA771E2F Time : 1185.0 sec. user=vaughan [2010-07-11 04:44:02] 527*2^840922-1 is not prime. Res64: D4662DA319426B4B Time : 1203.0 sec. user=vaughan [2010-07-11 04:44:08] 481*2^840923-1 is not prime. Res64: D7E8D8C1523AD703 Time : 1020.0 sec. user=vaughan [2010-07-11 04:44:49] 435*2^840923-1 is not prime. Res64: B4EAFCFC767F1B5F Time : 1084.0 sec. user=vaughan [2010-07-11 04:46:15] 501*2^840923-1 is not prime. Res64: 4B86D729B711895D Time : 1021.0 sec. user=vaughan [2010-07-11 04:46:23] 519*2^840923-1 is not prime. Res64: 12DBF13BBA87A936 Time : 1018.0 sec. user=vaughan [2010-07-11 04:46:27] 411*2^840923-1 is not prime. Res64: EAF8AAC0C6FFF22A Time : 1199.0 sec. user=vaughan [2010-07-11 04:52:39] 585*2^840923-1 is not prime. Res64: AA5FB12C90851194 Time : 1197.0 sec. user=vaughan [2010-07-11 04:56:32] 589*2^840923-1 is not prime. Res64: 3F075B4438114ECB Time : 1136.0 sec. user=vaughan [2010-07-11 05:01:08] 549*2^840924-1 is not prime. Res64: 7017C7A3522E98AA Time : 1020.0 sec. user=vaughan [2010-07-11 05:02:54] 569*2^840924-1 is not prime. Res64: 488EA43C0F419468 Time : 1086.0 sec. user=vaughan [2010-07-11 05:03:16] 579*2^840924-1 is not prime. Res64: 782778EADE5DAE52 Time : 1022.0 sec. user=vaughan [2010-07-11 05:03:21] 451*2^840925-1 is not prime. Res64: 04F35075C018D4EA Time : 1018.0 sec. user=vaughan [2010-07-11 05:04:06] 497*2^840924-1 is not prime. Res64: A8A32C21DC9DAB7F Time : 1204.0 sec. user=vaughan [2010-07-11 05:06:33] 499*2^840925-1 is not prime. Res64: 835AA2CB5F7AFB4C Time : 1206.0 sec. user=vaughan [2010-07-11 05:12:49] 511*2^840925-1 is not prime. Res64: 3DC3405D8495C239 Time : 1211.0 sec. user=vaughan [2010-07-11 05:15:47] 525*2^840925-1 is not prime. Res64: AD87503852B269FD Time : 1156.0 sec. user=vaughan [2010-07-11 05:18:11] 561*2^840926-1 is not prime. Res64: 206DFC9B07250269 Time : 1024.0 sec. user=vaughan [2010-07-11 05:20:19] 593*2^840926-1 is not prime. Res64: 6A50186B0839B8FB Time : 1023.0 sec. user=vaughan [2010-07-11 05:20:21] 453*2^840927-1 is not prime. Res64: EA8BA2D13D918062 Time : 1020.0 sec. user=vaughan [2010-07-11 05:21:01] 587*2^840926-1 is not prime. Res64: EEE71338E29EC6F5 Time : 1087.0 sec. user=vaughan [2010-07-11 05:24:15] 469*2^840927-1 is not prime. Res64: 99E19D665E0CC976 Time : 1209.0 sec. user=vaughan [2010-07-11 05:26:37] 501*2^840927-1 is not prime. Res64: 5BAE120AB5F4CD4B Time : 1204.0 sec. user=vaughan [2010-07-11 05:32:47] 429*2^840928-1 is not prime. Res64: 969F2A4D3E89BC4F Time : 1199.0 sec. user=vaughan [2010-07-11 05:34:41] 477*2^840929-1 is not prime. Res64: 3394D64DA17AFC81 Time : 1135.0 sec. user=vaughan [2010-07-11 05:35:11] 481*2^840929-1 is not prime. Res64: BDD6CBC1401049D8 Time : 1021.0 sec. user=vaughan [2010-07-11 05:38:05] 567*2^840929-1 is not prime. Res64: 7CCAA4F8EB21262C Time : 1065.0 sec. user=vaughan [2010-07-11 05:38:14] 559*2^840929-1 is not prime. Res64: 4EB971FB770FAD71 Time : 1075.0 sec. user=vaughan [2010-07-11 05:40:08] 401*2^840930-1 is not prime. Res64: A1B5E180DD9AD8D7 Time : 1148.0 sec. user=vaughan [2010-07-11 05:44:13] 417*2^840930-1 is not prime. Res64: 695DAFD2D6D77DA1 Time : 1199.0 sec. user=vaughan [2010-07-11 05:46:31] 495*2^840930-1 is not prime. Res64: EF463940533E9220 Time : 1194.0 sec. user=vaughan [2010-07-11 05:52:41] 513*2^840930-1 is not prime. Res64: 4CE3BB5A5608534F Time : 1195.0 sec. user=vaughan [2010-07-11 05:53:34] 515*2^840930-1 is not prime. Res64: 869A1DDAC6707BCE Time : 1134.0 sec. user=vaughan [2010-07-11 06:03:15] 423*2^840932-1 is not prime. Res64: 629E5B6DF35138CC Time : 1388.0 sec. user=vaughan [2010-07-11 06:04:14] 429*2^840933-1 is not prime. Res64: 9B3C92C0EBDDA95A Time : 1202.0 sec. user=vaughan [2010-07-11 06:05:17] 535*2^840931-1 is not prime. Res64: 14D3283D22D89136 Time : 1632.0 sec. user=vaughan [2010-07-11 06:05:39] 413*2^840932-1 is not prime. Res64: 473C5B3A71454150 Time : 1646.0 sec. user=vaughan [2010-07-11 06:05:43] 521*2^840930-1 is not prime. Res64: 12F12DEBEA51D6B8 Time : 1832.0 sec. user=vaughan [2010-07-11 06:06:34] 451*2^840933-1 is not prime. Res64: 8BF5FE0F64D231E3 Time : 1203.0 sec. user=vaughan [2010-07-11 06:12:28] 425*2^840934-1 is not prime. Res64: E09E19837155A2BC Time : 1134.0 sec. user=vaughan [2010-07-11 06:12:39] 507*2^840933-1 is not prime. Res64: E38CDA689B5EF029 Time : 1199.0 sec. user=vaughan [2010-07-11 06:24:15] 495*2^840934-1 is not prime. Res64: 90C0031231430997 Time : 1202.0 sec. user=vaughan [2010-07-11 06:26:10] 453*2^840934-1 is not prime. Res64: 684F20291BF187A3 Time : 1375.0 sec. user=vaughan [2010-07-11 06:26:28] 579*2^840935-1 is not prime. Res64: F85ECCA01D536C9A Time : 1195.0 sec. user=vaughan [2010-07-11 06:31:23] 479*2^840936-1 is not prime. Res64: FFD8A1205494D1E2 Time : 1135.0 sec. user=vaughan [2010-07-11 06:32:21] 511*2^840935-1 is not prime. Res64: 2767E922E092E2CB Time : 1625.0 sec. user=vaughan [2010-07-11 06:32:35] 435*2^840937-1 is not prime. Res64: B545F16260B3C7C1 Time : 1197.0 sec. user=vaughan [2010-07-11 06:32:59] 519*2^840935-1 is not prime. Res64: 62089BCE7B9BCDA0 Time : 1640.0 sec. user=vaughan [2010-07-11 06:37:52] 525*2^840935-1 is not prime. Res64: 7FAC0B0E122318FE Time : 1930.0 sec. user=vaughan [2010-07-11 06:44:17] 511*2^840937-1 is not prime. Res64: FFB09BA2C3A1FC8B Time : 1202.0 sec. user=vaughan [2010-07-11 06:46:27] 495*2^840938-1 is not prime. Res64: A2F8A977188910E4 Time : 1200.0 sec. user=vaughan [2010-07-11 06:49:10] 417*2^840938-1 is not prime. Res64: DB30DCC61E935E9E Time : 1380.0 sec. user=vaughan [2010-07-11 06:50:19] 429*2^840939-1 is not prime. Res64: 33EBDC1477AC370B Time : 1136.0 sec. user=vaughan [2010-07-11 06:52:33] 453*2^840940-1 is not prime. Res64: DC137756E6F447FA Time : 1199.0 sec. user=vaughan [2010-07-11 06:59:07] 583*2^840939-1 is not prime. Res64: 388913F7C6743241 Time : 1607.0 sec. user=vaughan [2010-07-11 07:00:40] 519*2^840940-1 is not prime. Res64: DA79A0382CBB65D5 Time : 1661.0 sec. user=vaughan [2010-07-11 07:04:18] 421*2^840941-1 is not prime. Res64: 83FC6EDEA12A0F16 Time : 1201.0 sec. user=vaughan [2010-07-11 07:06:22] 451*2^840941-1 is not prime. Res64: 5FFD657991B64C12 Time : 1196.0 sec. user=vaughan [2010-07-11 07:09:15] 571*2^840941-1 is not prime. Res64: DB3A80772953BF42 Time : 1136.0 sec. user=vaughan [2010-07-11 07:09:42] 417*2^840941-1 is not prime. Res64: 4BA51BE78E3D0201 Time : 1910.0 sec. user=vaughan [2010-07-11 07:12:19] 495*2^840941-1 is not prime. Res64: FA940A24817F9EF0 Time : 1389.0 sec. user=vaughan [2010-07-11 07:12:29] 423*2^840942-1 is not prime. Res64: 313A08A37C8B1852 Time : 1197.0 sec. user=vaughan [2010-07-11 07:24:22] 537*2^840942-1 is not prime. Res64: 8E7FCD05315B5529 Time : 1205.0 sec. user=vaughan [2010-07-11 07:26:23] 543*2^840942-1 is not prime. Res64: 61563F917BD5C2BF Time : 1202.0 sec. user=vaughan [2010-07-11 07:26:43] 483*2^840942-1 is not prime. Res64: F4D2417F0F9B527F Time : 1564.0 sec. user=vaughan [2010-07-11 07:28:27] 557*2^840942-1 is not prime. Res64: 7174B75CCD47F663 Time : 1153.0 sec. user=vaughan [2010-07-11 07:30:43] 447*2^840942-1 is not prime. Res64: 7CD44FBBB8F1B5B1 Time : 1896.0 sec. user=vaughan [2010-07-11 07:32:30] 451*2^840943-1 is not prime. Res64: C84A7526698C7560 Time : 1202.0 sec. user=vaughan [2010-07-11 07:32:56] 563*2^840942-1 is not prime. Res64: 401A8CF1C26D4D16 Time : 1395.0 sec. user=vaughan [2010-07-11 07:33:18] 433*2^840943-1 is not prime. Res64: 0DB77BC982F60E35 Time : 1259.0 sec. user=vaughan [2010-07-11 07:44:20] 489*2^840943-1 is not prime. Res64: 1A123E8D1FA5A8F7 Time : 1198.0 sec. user=vaughan [2010-07-11 07:46:20] 437*2^840944-1 is not prime. Res64: 199880EF7A1A2469 Time : 1197.0 sec. user=vaughan [2010-07-11 07:47:26] 533*2^840944-1 is not prime. Res64: 683156DAE07204FA Time : 1140.0 sec. user=vaughan [2010-07-11 07:51:05] 483*2^840944-1 is not prime. Res64: 941CA3D1A953B2C6 Time : 1462.0 sec. user=vaughan [2010-07-11 07:52:27] 441*2^840945-1 is not prime. Res64: 217592A741BD3D09 Time : 1198.0 sec. user=vaughan [2010-07-11 07:53:36] 507*2^840945-1 is not prime. Res64: 4BC1BBA80B5F4679 Time : 1219.0 sec. user=vaughan [2010-07-11 07:53:54] 445*2^840945-1 is not prime. Res64: 563A19A683AE5BA1 Time : 1258.0 sec. user=vaughan [2010-07-11 08:04:28] 565*2^840945-1 is not prime. Res64: DF0803AEFB32E70B Time : 1208.0 sec. user=vaughan [2010-07-11 08:06:22] 577*2^840945-1 is not prime. Res64: 40FE32AD2404BB02 Time : 1202.0 sec. user=vaughan [2010-07-11 08:06:23] 491*2^840946-1 is not prime. Res64: 010FC195CA791091 Time : 1137.0 sec. user=vaughan [2010-07-11 08:12:25] 575*2^840946-1 is not prime. Res64: D24F192D27433572 Time : 1199.0 sec. user=vaughan [2010-07-11 08:13:12] 513*2^840946-1 is not prime. Res64: 12BBE0A5FB2BD4EB Time : 1327.0 sec. user=vaughan [2010-07-11 08:14:08] 451*2^840947-1 is not prime. Res64: 65DA7767AC5A79FB Time : 1232.0 sec. user=vaughan [2010-07-11 08:15:02] 463*2^840947-1 is not prime. Res64: 4104787236E99F17 Time : 1268.0 sec. user=vaughan [2010-07-11 08:17:05] 599*2^840944-1 is not prime. Res64: 94C3D8967CBC18F3 Time : 2782.0 sec. user=vaughan [2010-07-11 08:24:30] 493*2^840947-1 is not prime. Res64: 598B4334779083DC Time : 1203.0 sec. user=vaughan [2010-07-11 08:25:20] 511*2^840949-1 is not prime. Res64: D250BB37F2FEB06F Time : 1137.0 sec. user=vaughan [2010-07-11 08:26:20] 507*2^840949-1 is not prime. Res64: 7546C25476BD2EBE Time : 1199.0 sec. user=vaughan [2010-07-11 08:32:22] 595*2^840949-1 is not prime. Res64: 409B018D5625D6F3 Time : 1198.0 sec. user=vaughan [2010-07-11 08:34:18] 501*2^840950-1 is not prime. Res64: A2D35BA3ED843452 Time : 1210.0 sec. user=vaughan [2010-07-11 08:36:05] 545*2^840950-1 is not prime. Res64: C42A51B5174B1F91 Time : 1263.0 sec. user=vaughan [2010-07-11 08:37:01] 467*2^840950-1 is not prime. Res64: A856C4DE79E04D5E Time : 1429.0 sec. user=vaughan [2010-07-11 08:44:11] 453*2^840951-1 is not prime. Res64: 0CA0A145F69A6523 Time : 1132.0 sec. user=vaughan [2010-07-11 08:44:28] 423*2^840951-1 is not prime. Res64: 7EDA7C4C85DB900F Time : 1198.0 sec. user=vaughan [2010-07-11 08:46:16] 413*2^840952-1 is not prime. Res64: 44D3FDAD00F8D930 Time : 1196.0 sec. user=vaughan [2010-07-11 08:52:18] 455*2^840952-1 is not prime. Res64: DAC56B713175D9AA Time : 1197.0 sec. user=vaughan [2010-07-11 08:54:37] 467*2^840952-1 is not prime. Res64: 4A857D579E540A71 Time : 1219.0 sec. user=vaughan [2010-07-11 08:56:55] 519*2^840952-1 is not prime. Res64: 6453EEA539289A1C Time : 1250.0 sec. user=vaughan [2010-07-11 09:00:47] 563*2^840952-1 is not prime. Res64: 2F1921E698993945 Time : 1427.0 sec. user=vaughan [2010-07-11 09:02:26] 561*2^840950-1 is not prime. Res64: 6B8B5A36CD26596C Time : 2721.0 sec. user=vaughan [2010-07-11 09:02:56] 593*2^840952-1 is not prime. Res64: AB6A9E123622BC1A Time : 1126.0 sec. user=vaughan [2010-07-11 09:04:26] 435*2^840953-1 is not prime. Res64: 391305FFB077120D Time : 1198.0 sec. user=vaughan [2010-07-11 09:06:11] 417*2^840954-1 is not prime. Res64: CBBFE771534267AA Time : 1195.0 sec. user=vaughan [2010-07-11 09:12:16] 507*2^840954-1 is not prime. Res64: CDF03911F4DD8C19 Time : 1198.0 sec. user=vaughan [2010-07-11 09:15:00] 543*2^840954-1 is not prime. Res64: 126C51F879E260F6 Time : 1224.0 sec. user=vaughan [2010-07-11 09:17:55] 585*2^840954-1 is not prime. Res64: 28EED5113B52FC8B Time : 1261.0 sec. user=vaughan [2010-07-11 09:22:05] 499*2^840955-1 is not prime. Res64: DB066A4DA78C9F56 Time : 1149.0 sec. user=vaughan [2010-07-11 09:24:26] 519*2^840955-1 is not prime. Res64: 8AF88041CA78FFF3 Time : 1201.0 sec. user=vaughan [2010-07-11 09:24:30] 441*2^840955-1 is not prime. Res64: 4552D05C181764B0 Time : 1423.0 sec. user=vaughan [2010-07-11 09:26:20] 531*2^840955-1 is not prime. Res64: 68D66A0190376B86 Time : 1209.0 sec. user=vaughan [2010-07-11 09:32:16] 535*2^840955-1 is not prime. Res64: 19C56632C3F7BCD9 Time : 1200.0 sec. user=vaughan [2010-07-11 09:35:19] 507*2^840956-1 is not prime. Res64: 237EAE7A0CF9739B Time : 1219.0 sec. user=vaughan [2010-07-11 09:38:40] 439*2^840957-1 is not prime. Res64: 8769633D5A93EC27 Time : 1245.0 sec. user=vaughan [2010-07-11 09:41:06] 465*2^840957-1 is not prime. Res64: 68BF01174AC332E6 Time : 1141.0 sec. user=vaughan [2010-07-11 09:44:23] 495*2^840957-1 is not prime. Res64: 74636519C483EE03 Time : 1198.0 sec. user=vaughan [2010-07-11 09:46:14] 529*2^840957-1 is not prime. Res64: 500363B96A9CE1E8 Time : 1195.0 sec. user=vaughan [2010-07-11 09:47:19] 507*2^840957-1 is not prime. Res64: B4D206A153C220E4 Time : 1370.0 sec. user=vaughan [2010-07-11 09:48:25] 495*2^840955-1 is not prime. Res64: B5AC71B1105FDB28 Time : 2759.0 sec. user=vaughan [2010-07-11 09:52:10] 577*2^840957-1 is not prime. Res64: 280F2F31F8C89BC8 Time : 1194.0 sec. user=vaughan [2010-07-11 09:55:32] 465*2^840958-1 is not prime. Res64: 1F7F93EEDFBC5614 Time : 1214.0 sec. user=vaughan [2010-07-11 09:59:40] 483*2^840958-1 is not prime. Res64: 5B2A821B24350F2C Time : 1261.0 sec. user=vaughan [2010-07-11 09:59:48] 507*2^840958-1 is not prime. Res64: 908AA7E5874A26BA Time : 1122.0 sec. user=vaughan [2010-07-11 10:04:18] 513*2^840958-1 is not prime. Res64: 8772CBFC7E72CEA9 Time : 1195.0 sec. user=vaughan [2010-07-11 10:06:07] 433*2^840959-1 is not prime. Res64: 7ED95429A66BEFF4 Time : 1194.0 sec. user=vaughan [2010-07-11 10:11:09] 469*2^840959-1 is not prime. Res64: 785BC54EF151B9A9 Time : 1431.0 sec. user=vaughan [2010-07-11 10:12:18] 501*2^840959-1 is not prime. Res64: 4D1C6698F768C4A3 Time : 1208.0 sec. user=vaughan [2010-07-11 10:16:00] 505*2^840959-1 is not prime. Res64: 79A2206FDB099A94 Time : 1228.0 sec. user=vaughan [2010-07-11 10:18:35] 413*2^840960-1 is not prime. Res64: E2D079686666A29A Time : 1127.0 sec. user=vaughan [2010-07-11 10:20:35] 543*2^840959-1 is not prime. Res64: A0B2F4A674696560 Time : 1255.0 sec. user=vaughan [2010-07-11 10:24:20] 423*2^840960-1 is not prime. Res64: B0718DB13A86474F Time : 1202.0 sec. user=vaughan [2010-07-11 10:26:37] 455*2^840960-1 is not prime. Res64: 36579DA6AD5E1D03 Time : 1230.0 sec. user=vaughan [2010-07-11 10:32:48] 467*2^840960-1 is not prime. Res64: AE81EEC9110800F5 Time : 1231.0 sec. user=vaughan [2010-07-11 10:34:00] 493*2^840959-1 is not prime. Res64: A16A42198D5120D7 Time : 2736.0 sec. user=vaughan [2010-07-11 10:34:57] 465*2^840960-1 is not prime. Res64: 2FCBD83339471D50 Time : 1428.0 sec. user=vaughan [2010-07-11 10:36:10] 503*2^840960-1 is not prime. Res64: 4077EAE0C6DFF561 Time : 1210.0 sec. user=vaughan [2010-07-11 10:37:12] 557*2^840960-1 is not prime. Res64: 3E2FC3290452C8D2 Time : 1118.0 sec. user=vaughan [2010-07-11 10:41:13] 597*2^840960-1 is not prime. Res64: 51F73148BCF8C0FD Time : 1239.0 sec. user=vaughan [2010-07-11 10:44:19] 477*2^840961-1 is not prime. Res64: 9DEB7CAA63986277 Time : 1199.0 sec. user=vaughan [2010-07-11 10:47:05] 517*2^840961-1 is not prime. Res64: BD1797B91FDEABD1 Time : 1228.0 sec. user=vaughan [2010-07-11 10:53:19] 549*2^840961-1 is not prime. Res64: 77B7021B25A2F5FA Time : 1231.0 sec. user=vaughan [2010-07-11 10:55:51] 439*2^840963-1 is not prime. Res64: 3DCAB417FFCBBB7B Time : 1119.0 sec. user=vaughan [2010-07-11 10:55:55] 545*2^840962-1 is not prime. Res64: F8FF8E0D8836A65F Time : 1258.0 sec. user=vaughan [2010-07-11 10:56:23] 567*2^840962-1 is not prime. Res64: B3B282497555C30F Time : 1213.0 sec. user=vaughan [2010-07-11 11:01:01] 503*2^840962-1 is not prime. Res64: B7E72AEC704371CD Time : 1621.0 sec. user=vaughan [2010-07-11 11:01:05] 529*2^840963-1 is not prime. Res64: 8C713B022F8576E9 Time : 1193.0 sec. user=vaughan [2010-07-11 11:04:18] 549*2^840963-1 is not prime. Res64: 0E222C1D0C9DD3D1 Time : 1199.0 sec. user=vaughan [2010-07-11 11:07:30] 585*2^840963-1 is not prime. Res64: 56BDE2C4B8454012 Time : 1225.0 sec. user=vaughan [2010-07-11 11:12:57] 483*2^840964-1 is not prime. Res64: 22A36BAF84695330 Time : 1022.0 sec. user=vaughan [2010-07-11 11:13:47] 423*2^840964-1 is not prime. Res64: B27E8C769F9BBD9F Time : 1229.0 sec. user=vaughan [2010-07-11 11:14:29] 453*2^840964-1 is not prime. Res64: 1A70D87F3D9F6E12 Time : 1118.0 sec. user=vaughan [2010-07-11 11:14:34] 527*2^840964-1 is not prime. Res64: 8A69B50827A088B2 Time : 1092.0 sec. user=vaughan [2010-07-11 11:18:15] 573*2^840964-1 is not prime. Res64: 26250311F55A78DF Time : 1034.0 sec. user=vaughan [2010-07-11 11:18:20] 597*2^840964-1 is not prime. Res64: 8B2C5A3CA3248639 Time : 1036.0 sec. user=vaughan [2010-07-11 11:24:20] 487*2^840965-1 is not prime. Res64: 915B8EDA273EA20D Time : 1202.0 sec. user=vaughan [2010-07-11 11:28:01] 537*2^840965-1 is not prime. Res64: 25AB3873266207A1 Time : 1231.0 sec. user=vaughan [2010-07-11 11:30:00] 471*2^840966-1 is not prime. Res64: 653847EBED7349A2 Time : 1023.0 sec. user=vaughan [2010-07-11 11:32:46] 425*2^840968-1 is not prime. Res64: 6AFA11A0643548BD Time : 1092.0 sec. user=vaughan [2010-07-11 11:33:10] 531*2^840967-1 is not prime. Res64: 703A44633265687D Time : 1122.0 sec. user=vaughan [2010-07-11 11:34:17] 557*2^840966-1 is not prime. Res64: EE8CA4F899D736E7 Time : 1230.0 sec. user=vaughan [2010-07-11 11:35:27] 437*2^840968-1 is not prime. Res64: 8D3E09B318E74C78 Time : 1032.0 sec. user=vaughan [2010-07-11 11:35:38] 459*2^840968-1 is not prime. Res64: 26AD6807B0369662 Time : 1039.0 sec. user=vaughan [2010-07-11 11:44:17] 537*2^840968-1 is not prime. Res64: EDFC1E60D348CCE3 Time : 1198.0 sec. user=vaughan [2010-07-11 11:47:03] 597*2^840969-1 is not prime. Res64: CE5AA4E7CE90D6FD Time : 1023.0 sec. user=vaughan [2010-07-11 11:48:29] 535*2^840969-1 is not prime. Res64: D21F2CECB9074C04 Time : 1228.0 sec. user=vaughan [2010-07-11 11:50:56] 405*2^840970-1 is not prime. Res64: B0F1042BDA72D869 Time : 1091.0 sec. user=vaughan [2010-07-11 11:51:46] 471*2^840970-1 is not prime. Res64: A5465D9A3AADC7EB Time : 1117.0 sec. user=vaughan [2010-07-11 11:52:39] 475*2^840971-1 is not prime. Res64: 75E5C332683A9EAD Time : 1033.0 sec. user=vaughan [2010-07-11 11:52:53] 579*2^840971-1 is not prime. Res64: E06AB95B085B93EB Time : 1036.0 sec. user=vaughan [2010-07-11 11:54:44] 445*2^840971-1 is not prime. Res64: 3E8DC977FC630E89 Time : 1228.0 sec. user=vaughan [2010-07-11 12:04:08] 549*2^840972-1 is not prime. Res64: 341F2F80B60675E2 Time : 1025.0 sec. user=vaughan [2010-07-11 12:04:17] 483*2^840972-1 is not prime. Res64: 1F3AE7E0B27BF15A Time : 1200.0 sec. user=vaughan [2010-07-11 12:09:01] 489*2^840973-1 is not prime. Res64: F1846E33B30F1143 Time : 1233.0 sec. user=vaughan [2010-07-11 12:09:11] 517*2^840973-1 is not prime. Res64: 4362B834699B1FCB Time : 1095.0 sec. user=vaughan [2010-07-11 12:09:51] 411*2^840974-1 is not prime. Res64: 6AD1E48DD5858822 Time : 1032.0 sec. user=vaughan [2010-07-11 12:10:09] 477*2^840974-1 is not prime. Res64: 34438372DB4C6125 Time : 1037.0 sec. user=vaughan [2010-07-11 12:10:25] 549*2^840973-1 is not prime. Res64: 1810C068DC4446AD Time : 1120.0 sec. user=vaughan [2010-07-11 12:15:14] 483*2^840974-1 is not prime. Res64: FB5C0EBC0941689B Time : 1230.0 sec. user=vaughan [2010-07-11 12:21:12] 501*2^840974-1 is not prime. Res64: 6C540FEAF30547EA Time : 1024.0 sec. user=vaughan [2010-07-11 12:24:21] 441*2^840975-1 is not prime. Res64: 751F3B0658E5D51F Time : 1204.0 sec. user=vaughan [2010-07-11 12:26:54] 413*2^840976-1 is not prime. Res64: 5B0234677B3FA23B Time : 1023.0 sec. user=vaughan [2010-07-11 12:27:13] 447*2^840976-1 is not prime. Res64: C5881D9F94A159B9 Time : 1024.0 sec. user=vaughan [2010-07-11 12:27:20] 543*2^840975-1 is not prime. Res64: 4505A81C8C9C2984 Time : 1090.0 sec. user=vaughan [2010-07-11 12:29:05] 447*2^840977-1 is not prime. Res64: 0D77AE5DDA960D42 Time : 1120.0 sec. user=vaughan [2010-07-11 12:29:31] 469*2^840975-1 is not prime. Res64: 802E2B50EFE35B67 Time : 1230.0 sec. user=vaughan [2010-07-11 12:35:36] 469*2^840977-1 is not prime. Res64: E15735AF1A667B21 Time : 1223.0 sec. user=vaughan [2010-07-11 12:38:14] 549*2^840977-1 is not prime. Res64: A36EE313F5B62D67 Time : 1022.0 sec. user=vaughan [2010-07-11 12:43:52] 551*2^840978-1 is not prime. Res64: 1398CC2152F3226C Time : 1018.0 sec. user=vaughan [2010-07-11 12:44:14] 581*2^840978-1 is not prime. Res64: 8CEB0C1E9943A183 Time : 1021.0 sec. user=vaughan [2010-07-11 12:44:19] 437*2^840978-1 is not prime. Res64: 1BFE44EFCDF81C79 Time : 1199.0 sec. user=vaughan [2010-07-11 12:45:25] 463*2^840979-1 is not prime. Res64: 9D0B1FD9DF8F3B79 Time : 1086.0 sec. user=vaughan [2010-07-11 12:47:43] 465*2^840979-1 is not prime. Res64: 111ABC7FA57C91DD Time : 1118.0 sec. user=vaughan [2010-07-11 12:50:01] 471*2^840979-1 is not prime. Res64: 1DF71904E047F652 Time : 1231.0 sec. user=vaughan [2010-07-11 12:55:16] 525*2^840980-1 is not prime. Res64: 046CD673250A0274 Time : 1023.0 sec. user=vaughan [2010-07-11 12:56:04] 531*2^840979-1 is not prime. Res64: F0DDB26567B1B6D2 Time : 1228.0 sec. user=vaughan [2010-07-11 13:00:50] 417*2^840981-1 is not prime. Res64: 62A0C29CB2A9A885 Time : 1018.0 sec. user=vaughan [2010-07-11 13:01:13] 459*2^840981-1 is not prime. Res64: 8E63AA59F668F180 Time : 1019.0 sec. user=vaughan [2010-07-11 13:03:30] 517*2^840981-1 is not prime. Res64: 1B1F2A3F77EDE61F Time : 1086.0 sec. user=vaughan [2010-07-11 13:04:16] 499*2^840981-1 is not prime. Res64: 001FBD84CEBDBDBE Time : 1197.0 sec. user=vaughan [2010-07-11 13:06:22] 531*2^840981-1 is not prime. Res64: 8A92C17641635177 Time : 1119.0 sec. user=vaughan [2010-07-11 13:10:30] 549*2^840981-1 is not prime. Res64: BA12419886C5B0E2 Time : 1229.0 sec. user=vaughan [2010-07-11 13:12:18] 565*2^840981-1 is not prime. Res64: 23641EBF7107E908 Time : 1022.0 sec. user=vaughan [2010-07-11 13:16:33] 401*2^840982-1 is not prime. Res64: 61CD9D8BDBACFCBD Time : 1229.0 sec. user=vaughan [2010-07-11 13:17:48] 461*2^840982-1 is not prime. Res64: 244D8225E7B89216 Time : 1018.0 sec. user=vaughan [2010-07-11 13:18:12] 483*2^840982-1 is not prime. Res64: A97E82DCB59803D7 Time : 1020.0 sec. user=vaughan [2010-07-11 13:21:35] 533*2^840982-1 is not prime. Res64: 353C060D9D813D3F Time : 1085.0 sec. user=vaughan [2010-07-11 13:24:18] 591*2^840982-1 is not prime. Res64: 962E9890F3597723 Time : 1202.0 sec. user=vaughan [2010-07-11 13:25:13] 423*2^840983-1 is not prime. Res64: DB1C6E93DE372D7C Time : 1131.0 sec. user=vaughan [2010-07-11 13:29:18] 589*2^840983-1 is not prime. Res64: EBA1629D6F08E564 Time : 1021.0 sec. user=vaughan [2010-07-11 13:31:09] 493*2^840983-1 is not prime. Res64: 9066D8E23FCEF6E0 Time : 1239.0 sec. user=vaughan [2010-07-11 13:34:45] 563*2^840984-1 is not prime. Res64: 11317C9E6B0173FC Time : 1018.0 sec. user=vaughan [2010-07-11 13:35:11] 429*2^840985-1 is not prime. Res64: 3C91109E17447FDF Time : 1019.0 sec. user=vaughan [2010-07-11 13:37:14] 447*2^840984-1 is not prime. Res64: D11002EC916DC0F2 Time : 1242.0 sec. user=vaughan [2010-07-11 13:39:38] 441*2^840985-1 is not prime. Res64: BC0B5B1ACAEF0BAD Time : 1084.0 sec. user=vaughan [2010-07-11 13:44:14] 537*2^840985-1 is not prime. Res64: A418EACF0BFBC26B Time : 1142.0 sec. user=vaughan [2010-07-11 13:44:21] 499*2^840985-1 is not prime. Res64: CAECDB0C52A9D0F8 Time : 1204.0 sec. user=vaughan [2010-07-11 13:46:20] 567*2^840985-1 is not prime. Res64: 15A9EDCA7F610CFB Time : 1022.0 sec. user=vaughan [2010-07-11 13:51:41] 597*2^840985-1 is not prime. Res64: 49EB41DF681E56F7 Time : 1232.0 sec. user=vaughan [2010-07-11 13:51:41] 425*2^840986-1 is not prime. Res64: 59D2C9AECA97DA13 Time : 1017.0 sec. user=vaughan [2010-07-11 13:52:10] 445*2^840987-1 is not prime. Res64: D44301CBF1E59BA8 Time : 1019.0 sec. user=vaughan [2010-07-11 13:57:44] 435*2^840988-1 is not prime. Res64: 146B7F5A80781EA9 Time : 1086.0 sec. user=vaughan [2010-07-11 13:57:45] 553*2^840987-1 is not prime. Res64: 308C4D350364AEB6 Time : 1231.0 sec. user=vaughan [2010-07-11 14:02:58] 533*2^840988-1 is not prime. Res64: 57887A445BC30FFF Time : 1125.0 sec. user=vaughan [2010-07-11 14:03:21] 567*2^840988-1 is not prime. Res64: 739CD9FDB21BC795 Time : 1021.0 sec. user=vaughan [2010-07-11 14:04:22] 539*2^840988-1 is not prime. Res64: 58A46678125D093F Time : 1202.0 sec. user=vaughan [2010-07-11 14:08:38] 437*2^840990-1 is not prime. Res64: C13341CF9FD14E1C Time : 1017.0 sec. user=vaughan [2010-07-11 14:09:09] 441*2^840991-1 is not prime. Res64: 10A81DBF7650EDF4 Time : 1019.0 sec. user=vaughan [2010-07-11 14:12:13] 411*2^840989-1 is not prime. Res64: CC281B1743D5E33A Time : 1232.0 sec. user=vaughan [2010-07-11 14:15:49] 489*2^840991-1 is not prime. Res64: 669C3523F4E2F252 Time : 1086.0 sec. user=vaughan [2010-07-11 14:18:19] 505*2^840991-1 is not prime. Res64: 9E93CDC3FF8BA35F Time : 1234.0 sec. user=vaughan [2010-07-11 14:20:22] 557*2^840992-1 is not prime. Res64: E6EEF4C5A02E1492 Time : 1022.0 sec. user=vaughan [2010-07-11 14:21:39] 537*2^840992-1 is not prime. Res64: C2F187B7B1E63A53 Time : 1122.0 sec. user=vaughan [2010-07-11 14:24:21] 429*2^840993-1 is not prime. Res64: 5978145B39B6B1DB Time : 1199.0 sec. user=vaughan [2010-07-11 14:25:36] 459*2^840993-1 is not prime. Res64: 0DB4C226CE0C6E94 Time : 1018.0 sec. user=vaughan [2010-07-11 14:26:09] 471*2^840993-1 is not prime. Res64: D12A6E2614AC4ABD Time : 1021.0 sec. user=vaughan [2010-07-11 14:32:42] 595*2^840993-1 is not prime. Res64: 1C32236A4B44FAE4 Time : 1229.0 sec. user=vaughan [2010-07-11 14:33:53] 423*2^840994-1 is not prime. Res64: E5B72F1DCC724B27 Time : 1084.0 sec. user=vaughan [2010-07-11 14:37:24] 421*2^840995-1 is not prime. Res64: 5E01B6E3D8E6CC61 Time : 1022.0 sec. user=vaughan [2010-07-11 14:38:51] 437*2^840994-1 is not prime. Res64: 9A32E61CB105A79C Time : 1233.0 sec. user=vaughan [2010-07-11 14:40:21] 475*2^840995-1 is not prime. Res64: 17FA5348B0D6841C Time : 1122.0 sec. user=vaughan [2010-07-11 14:42:32] 455*2^840996-1 is not prime. Res64: C1ECF10CC39D9537 Time : 1017.0 sec. user=vaughan [2010-07-11 14:43:08] 485*2^840996-1 is not prime. Res64: C97C689CF279B73D Time : 1020.0 sec. user=vaughan [2010-07-11 14:44:20] 501*2^840995-1 is not prime. Res64: F6FC9C089F95DDE4 Time : 1200.0 sec. user=vaughan [2010-07-11 14:51:58] 465*2^840997-1 is not prime. Res64: F679D994EC4FDCAD Time : 1085.0 sec. user=vaughan [2010-07-11 14:53:13] 439*2^840997-1 is not prime. Res64: 82F8E22517518B50 Time : 1231.0 sec. user=vaughan [2010-07-11 14:54:25] 505*2^840997-1 is not prime. Res64: 675D87C54091E66C Time : 1022.0 sec. user=vaughan [2010-07-11 14:58:58] 507*2^840998-1 is not prime. Res64: 01BAE4EF1F0F2B10 Time : 1117.0 sec. user=vaughan [2010-07-11 14:59:19] 453*2^840998-1 is not prime. Res64: DCA07A2CDA28A498 Time : 1229.0 sec. user=vaughan [2010-07-11 14:59:29] 515*2^840998-1 is not prime. Res64: DBBAF9FD37913FA9 Time : 1017.0 sec. user=vaughan [2010-07-11 15:00:08] 489*2^840999-1 is not prime. Res64: A32325B68AB45A08 Time : 1020.0 sec. user=vaughan [2010-07-11 15:04:17] 559*2^840999-1 is not prime. Res64: B6292EDDA82B5A90 Time : 1197.0 sec. user=vaughan [2010-07-11 15:10:08] 449*2^841000-1 is not prime. Res64: 90EB960B3D1AF47A Time : 1091.0 sec. user=vaughan [2010-07-11 15:11:37] 533*2^841000-1 is not prime. Res64: 5918C011ABE1494F Time : 1032.0 sec. user=vaughan [2010-07-11 15:13:42] 453*2^841000-1 is not prime. Res64: 00C82F1C163AD444 Time : 1230.0 sec. user=vaughan [2010-07-11 15:16:39] 489*2^841001-1 is not prime. Res64: 2F865AD7376C6A44 Time : 1030.0 sec. user=vaughan [2010-07-11 15:17:23] 495*2^841001-1 is not prime. Res64: B3E997B70E7CA5A2 Time : 1036.0 sec. user=vaughan [2010-07-11 15:17:41] 569*2^841000-1 is not prime. Res64: A46848849084A127 Time : 1124.0 sec. user=vaughan [2010-07-11 15:19:51] 445*2^841001-1 is not prime. Res64: 848063B5B32E1268 Time : 1232.0 sec. user=vaughan [2010-07-11 15:24:15] 549*2^841001-1 is not prime. Res64: 37CECFCD01234381 Time : 1198.0 sec. user=vaughan [2010-07-11 15:28:25] 585*2^841001-1 is not prime. Res64: 8C6F6D8A37BCFBE5 Time : 1097.0 sec. user=vaughan [2010-07-11 15:28:46] 405*2^841002-1 is not prime. Res64: AFBF225C732E4F62 Time : 1029.0 sec. user=vaughan [2010-07-11 15:33:17] 425*2^841002-1 is not prime. Res64: EAD81215518D26AE Time : 1175.0 sec. user=vaughan [2010-07-11 15:33:53] 551*2^841002-1 is not prime. Res64: EDCB6FDBC820CBE9 Time : 1034.0 sec. user=vaughan [2010-07-11 15:34:41] 555*2^841002-1 is not prime. Res64: F610BC281FAC5F5C Time : 1039.0 sec. user=vaughan [2010-07-11 15:36:27] 587*2^841002-1 is not prime. Res64: 933DFA2535D37E7E Time : 1127.0 sec. user=vaughan [2010-07-11 15:38:55] 439*2^841003-1 is not prime. Res64: 06DBE385701779EC Time : 1144.0 sec. user=vaughan [2010-07-11 15:45:21] 549*2^841003-1 is not prime. Res64: 647DD45DF0531BD2 Time : 1266.0 sec. user=vaughan [2010-07-11 15:45:53] 459*2^841004-1 is not prime. Res64: 2561F96CBFDE0E91 Time : 1027.0 sec. user=vaughan [2010-07-11 15:46:39] 417*2^841004-1 is not prime. Res64: ADB9B7AFC1BF1411 Time : 1094.0 sec. user=vaughan [2010-07-11 15:51:05] 451*2^841005-1 is not prime. Res64: 6FFA73BB2CC9FF21 Time : 1032.0 sec. user=vaughan [2010-07-11 15:51:55] 495*2^841005-1 is not prime. Res64: F6C55022505094DF Time : 1034.0 sec. user=vaughan [2010-07-11 15:52:06] 483*2^841004-1 is not prime. Res64: BDF4AA594957FD50 Time : 1130.0 sec. user=vaughan [2010-07-11 15:55:06] 577*2^841005-1 is not prime. Res64: 964E145BA561B9AF Time : 1120.0 sec. user=vaughan [2010-07-11 15:57:42] 579*2^841005-1 is not prime. Res64: BFF4820EAE692A65 Time : 1127.0 sec. user=vaughan [2010-07-11 16:03:03] 527*2^841006-1 is not prime. Res64: 478ABEF834D7014E Time : 1030.0 sec. user=vaughan [2010-07-11 16:04:43] 581*2^841006-1 is not prime. Res64: A8F625B6365F82D5 Time : 1085.0 sec. user=vaughan [2010-07-11 16:06:22] 597*2^841005-1 is not prime. Res64: FFE5E0E2F8A8EAD3 Time : 1262.0 sec. user=vaughan [2010-07-11 16:08:06] 435*2^841007-1 is not prime. Res64: 4AC3F4416FEFEF8A Time : 1021.0 sec. user=vaughan [2010-07-11 16:08:59] 543*2^841007-1 is not prime. Res64: BBEB20D729B4FA60 Time : 1024.0 sec. user=vaughan [2010-07-11 16:10:52] 467*2^841008-1 is not prime. Res64: B655DB7ECDFC47EC Time : 1127.0 sec. user=vaughan [2010-07-11 16:13:42] 567*2^841008-1 is not prime. Res64: 7AF2A8C7072C6C39 Time : 1116.0 sec. user=vaughan [2010-07-11 16:16:28] 569*2^841008-1 is not prime. Res64: EC34938786739740 Time : 1126.0 sec. user=vaughan [2010-07-11 16:20:07] 511*2^841009-1 is not prime. Res64: 1D58D17460D7DC85 Time : 1025.0 sec. user=vaughan [2010-07-11 16:22:49] 405*2^841010-1 is not prime. Res64: DCED9A9325D10C6A Time : 1086.0 sec. user=vaughan [2010-07-11 16:25:09] 531*2^841010-1 is not prime. Res64: 47F71228922E60A7 Time : 1024.0 sec. user=vaughan [2010-07-11 16:26:01] 439*2^841011-1 is not prime. Res64: 7B045A39F6876BE9 Time : 1022.0 sec. user=vaughan [2010-07-11 16:27:25] 473*2^841010-1 is not prime. Res64: 89AA2CBE62A4A32A Time : 1263.0 sec. user=vaughan [2010-07-11 16:29:38] 535*2^841011-1 is not prime. Res64: DE10E477F846CD52 Time : 1127.0 sec. user=vaughan [2010-07-11 16:32:18] 541*2^841011-1 is not prime. Res64: 2D0C99C8EA42447F Time : 1116.0 sec. user=vaughan [2010-07-11 16:35:15] 585*2^841011-1 is not prime. Res64: 7591D0F28259C8C4 Time : 1127.0 sec. user=vaughan [2010-07-11 16:37:08] 405*2^841012-1 is not prime. Res64: 96BB581B528BAB93 Time : 1022.0 sec. user=vaughan [2010-07-11 16:40:56] 437*2^841012-1 is not prime. Res64: 0343ADBD4B12B0DF Time : 1087.0 sec. user=vaughan [2010-07-11 16:42:06] 563*2^841012-1 is not prime. Res64: CAE2E6D415DF0DB0 Time : 1017.0 sec. user=vaughan [2010-07-11 16:43:03] 409*2^841013-1 is not prime. Res64: 788F0585AC031C6B Time : 1022.0 sec. user=vaughan [2010-07-11 16:48:22] 481*2^841013-1 is not prime. Res64: 0693DDB8AC0C2AFF Time : 1124.0 sec. user=vaughan [2010-07-11 16:48:29] 421*2^841013-1 is not prime. Res64: 7E8CC18CAF7BFFEB Time : 1264.0 sec. user=vaughan [2010-07-11 16:50:53] 431*2^841014-1 is not prime. Res64: 088AEBBC84EB677E Time : 1115.0 sec. user=vaughan [2010-07-11 16:54:01] 543*2^841014-1 is not prime. Res64: 84C1CF6561DCBDD1 Time : 1126.0 sec. user=vaughan [2010-07-11 16:54:10] 411*2^841015-1 is not prime. Res64: 0F43BAF06E1C6976 Time : 1022.0 sec. user=vaughan [2010-07-11 16:59:00] 441*2^841015-1 is not prime. Res64: 8046C96C420210A0 Time : 1085.0 sec. user=vaughan [2010-07-11 16:59:03] 489*2^841015-1 is not prime. Res64: 768CC1A1D349D5DB Time : 1017.0 sec. user=vaughan [2010-07-11 17:00:03] 519*2^841015-1 is not prime. Res64: DBAD5D3F33B81CE3 Time : 1020.0 sec. user=vaughan [2010-07-11 17:07:15] 535*2^841015-1 is not prime. Res64: F3A12501FAD643F4 Time : 1133.0 sec. user=vaughan [2010-07-11 17:09:37] 515*2^841016-1 is not prime. Res64: E8FA2F1FBD3911F3 Time : 1274.0 sec. user=vaughan [2010-07-11 17:09:45] 457*2^841017-1 is not prime. Res64: AB327A15224E977E Time : 1132.0 sec. user=vaughan [2010-07-11 17:11:13] 531*2^841017-1 is not prime. Res64: F35BB5A364ABAE97 Time : 1023.0 sec. user=vaughan [2010-07-11 17:12:51] 499*2^841017-1 is not prime. Res64: 1902D21A766AD165 Time : 1130.0 sec. user=vaughan [2010-07-11 17:16:01] 497*2^841018-1 is not prime. Res64: F97C0A252D6B9CE3 Time : 1018.0 sec. user=vaughan [2010-07-11 17:17:03] 507*2^841018-1 is not prime. Res64: 42C5174DFC3D3D20 Time : 1021.0 sec. user=vaughan [2010-07-11 17:17:07] 453*2^841018-1 is not prime. Res64: 93FFED7651E2FD29 Time : 1087.0 sec. user=vaughan [2010-07-11 17:26:00] 525*2^841018-1 is not prime. Res64: AEB467D4EF04D0FF Time : 1125.0 sec. user=vaughan [2010-07-11 17:28:15] 495*2^841019-1 is not prime. Res64: 58EDF193BA7A2D1B Time : 1023.0 sec. user=vaughan [2010-07-11 17:28:21] 489*2^841019-1 is not prime. Res64: ABAF64550BFFBF49 Time : 1116.0 sec. user=vaughan [2010-07-11 17:30:39] 555*2^841018-1 is not prime. Res64: F2C22E494B6F101F Time : 1262.0 sec. user=vaughan [2010-07-11 17:31:37] 531*2^841019-1 is not prime. Res64: AD40907F25EB3A7B Time : 1126.0 sec. user=vaughan [2010-07-11 17:33:00] 565*2^841019-1 is not prime. Res64: 880B7FCC93423F73 Time : 1019.0 sec. user=vaughan [2010-07-11 17:34:05] 447*2^841020-1 is not prime. Res64: F6F6547916603148 Time : 1022.0 sec. user=vaughan [2010-07-11 17:35:15] 503*2^841020-1 is not prime. Res64: EDE80614738506C3 Time : 1088.0 sec. user=vaughan [2010-07-11 17:44:54] 545*2^841020-1 is not prime. Res64: CEAEADBFDA4FB862 Time : 1134.0 sec. user=vaughan [2010-07-11 17:45:20] 585*2^841020-1 is not prime. Res64: 59AF0AB9A751275F Time : 1025.0 sec. user=vaughan [2010-07-11 17:47:10] 415*2^841021-1 is not prime. Res64: 76469EDA2F1729BA Time : 1129.0 sec. user=vaughan [2010-07-11 17:49:58] 477*2^841021-1 is not prime. Res64: 3DD010627985BAB2 Time : 1018.0 sec. user=vaughan [2010-07-11 17:50:35] 451*2^841021-1 is not prime. Res64: 0DBA7DA8BA896DF4 Time : 1138.0 sec. user=vaughan [2010-07-11 17:51:06] 495*2^841021-1 is not prime. Res64: 945BD9CC0FD343A2 Time : 1021.0 sec. user=vaughan [2010-07-11 17:51:50] 441*2^841021-1 is not prime. Res64: 562CB7FBDFF2B005 Time : 1271.0 sec. user=vaughan [2010-07-11 17:53:23] 537*2^841021-1 is not prime. Res64: 0529EC9A2325679C Time : 1089.0 sec. user=vaughan [2010-07-11 18:02:24] 467*2^841022-1 is not prime. Res64: DD77DB95CD56824B Time : 1024.0 sec. user=vaughan [2010-07-11 18:03:49] 597*2^841021-1 is not prime. Res64: 51B91F9F21BDA91E Time : 1135.0 sec. user=vaughan [2010-07-11 18:05:44] 495*2^841022-1 is not prime. Res64: D4D44F4F04B7BA2E Time : 1115.0 sec. user=vaughan [2010-07-11 18:06:57] 503*2^841022-1 is not prime. Res64: 2DCD574CB3809201 Time : 1019.0 sec. user=vaughan [2010-07-11 18:08:07] 451*2^841023-1 is not prime. Res64: D0F5E69BF491AEA5 Time : 1021.0 sec. user=vaughan [2010-07-11 18:09:27] 537*2^841022-1 is not prime. Res64: 11BA3E4AF4556EB4 Time : 1133.0 sec. user=vaughan [2010-07-11 18:11:30] 501*2^841023-1 is not prime. Res64: EC436281E41C3088 Time : 1087.0 sec. user=vaughan [2010-07-11 18:12:57] 483*2^841023-1 is not prime. Res64: E8D7BA5FAA6DFEF2 Time : 1267.0 sec. user=vaughan [2010-07-11 18:19:30] 523*2^841023-1 is not prime. Res64: A5A44ACA0680AA5D Time : 1026.0 sec. user=vaughan [2010-07-11 18:22:34] 571*2^841023-1 is not prime. Res64: AAA3A924F48472C3 Time : 1126.0 sec. user=vaughan [2010-07-11 18:24:12] 575*2^841024-1 is not prime. Res64: E92E4215C679664E Time : 1035.0 sec. user=vaughan [2010-07-11 18:24:21] 479*2^841024-1 is not prime. Res64: 10ABEF3AD45E388E Time : 1117.0 sec. user=vaughan [2010-07-11 18:25:22] 447*2^841025-1 is not prime. Res64: E82CE70B70B0E27F Time : 1035.0 sec. user=vaughan [2010-07-11 18:28:13] 481*2^841025-1 is not prime. Res64: 4CA2B1CAAAE7D3DD Time : 1127.0 sec. user=vaughan [2010-07-11 18:28:31] 525*2^841025-1 is not prime. Res64: 46D12B5AE388B6F3 Time : 1021.0 sec. user=vaughan [2010-07-11 18:33:57] 537*2^841026-1 is not prime. Res64: D44B8E44CCEF3B97 Time : 1260.0 sec. user=vaughan [2010-07-11 18:36:39] 593*2^841026-1 is not prime. Res64: 79434D47CA9D8847 Time : 1029.0 sec. user=vaughan [2010-07-11 18:41:18] 495*2^841027-1 is not prime. Res64: 546A13BC2F2F1340 Time : 1124.0 sec. user=vaughan [2010-07-11 18:41:34] 523*2^841027-1 is not prime. Res64: 8C2C180064141059 Time : 1043.0 sec. user=vaughan [2010-07-11 18:42:42] 539*2^841028-1 is not prime. Res64: 181F40F6CCA76CEA Time : 1041.0 sec. user=vaughan [2010-07-11 18:42:54] 503*2^841028-1 is not prime. Res64: DD0E2127EE1990CE Time : 1113.0 sec. user=vaughan [2010-07-11 18:45:00] 469*2^841029-1 is not prime. Res64: 0B04695BF3E39DF7 Time : 989.0 sec. user=vaughan [2010-07-11 18:46:57] 585*2^841028-1 is not prime. Res64: 21F8EA776FC24158 Time : 1125.0 sec. user=vaughan [2010-07-11 18:53:50] 555*2^841029-1 is not prime. Res64: 52067CD80F44589E Time : 1032.0 sec. user=vaughan [2010-07-11 18:55:01] 487*2^841029-1 is not prime. Res64: E36484E811CF21BC Time : 1264.0 sec. user=vaughan [2010-07-11 18:59:02] 403*2^841031-1 is not prime. Res64: 8D86E512B5454DD0 Time : 1049.0 sec. user=vaughan [2010-07-11 19:00:04] 533*2^841030-1 is not prime. Res64: 8864C555D91907B4 Time : 1126.0 sec. user=vaughan [2010-07-11 19:00:13] 433*2^841031-1 is not prime. Res64: A0A6EF9B16D7A8A2 Time : 1052.0 sec. user=vaughan [2010-07-11 19:01:27] 453*2^841031-1 is not prime. Res64: E0839C18D390D16A Time : 1113.0 sec. user=vaughan [2010-07-11 19:01:37] 459*2^841031-1 is not prime. Res64: 5CB97A7788044E87 Time : 997.0 sec. user=vaughan [2010-07-11 19:06:11] 585*2^841031-1 is not prime. Res64: 5034FE3925EA3498 Time : 1154.0 sec. user=vaughan [2010-07-11 19:11:00] 503*2^841032-1 is not prime. Res64: E10E252F980F6660 Time : 1031.0 sec. user=vaughan [2010-07-11 19:16:26] 465*2^841033-1 is not prime. Res64: F9CBBCB976EAFAF9 Time : 1045.0 sec. user=vaughan [2010-07-11 19:17:37] 525*2^841033-1 is not prime. Res64: CAD87201916D2750 Time : 1044.0 sec. user=vaughan [2010-07-11 19:18:00] 573*2^841034-1 is not prime. Res64: A24019EF46724F63 Time : 984.0 sec. user=vaughan [2010-07-11 19:20:45] 527*2^841032-1 is not prime. Res64: D69CB8C319F8CD36 Time : 1544.0 sec. user=vaughan [2010-07-11 19:28:06] 403*2^841035-1 is not prime. Res64: C47DF7CCA4B9D279 Time : 1026.0 sec. user=vaughan [2010-07-11 19:33:50] 531*2^841034-1 is not prime. Res64: 850C854F386EC2D8 Time : 1943.0 sec. user=vaughan [2010-07-11 19:33:51] 459*2^841035-1 is not prime. Res64: 951494CF8E3ACFA5 Time : 1045.0 sec. user=vaughan [2010-07-11 19:34:28] 529*2^841035-1 is not prime. Res64: D8EFD2BE8092BF87 Time : 989.0 sec. user=vaughan [2010-07-11 19:35:03] 489*2^841035-1 is not prime. Res64: 2D611E215EFB3FA6 Time : 1046.0 sec. user=vaughan [2010-07-11 19:35:15] 471*2^841033-1 is not prime. Res64: AD4BBF71BA1DC571 Time : 2112.0 sec. user=vaughan [2010-07-11 19:45:19] 413*2^841036-1 is not prime. Res64: 4BA072E0E58B9BD3 Time : 1033.0 sec. user=vaughan [2010-07-11 19:49:12] 587*2^841034-1 is not prime. Res64: 3261C778F0A24D14 Time : 2582.0 sec. user=vaughan [2010-07-11 19:51:05] 497*2^841036-1 is not prime. Res64: ECA53CB200460DE4 Time : 1034.0 sec. user=vaughan [2010-07-11 19:51:14] 573*2^841035-1 is not prime. Res64: E88E61753242A0C9 Time : 1830.0 sec. user=vaughan [2010-07-11 19:51:46] 569*2^841036-1 is not prime. Res64: 7B1E43349C5B180F Time : 1039.0 sec. user=vaughan [2010-07-11 19:52:19] 587*2^841036-1 is not prime. Res64: AC92F17A920E96AC Time : 1036.0 sec. user=vaughan [2010-07-11 20:02:17] 437*2^841038-1 is not prime. Res64: 56AFF98754B7A227 Time : 1019.0 sec. user=vaughan [2010-07-11 20:07:41] 495*2^841036-1 is not prime. Res64: F416F051D6E7B016 Time : 2031.0 sec. user=vaughan [2010-07-11 20:07:53] 501*2^841038-1 is not prime. Res64: 2411270573A58A14 Time : 1008.0 sec. user=vaughan [2010-07-11 20:09:14] 465*2^841039-1 is not prime. Res64: 30C4A1398327D2B9 Time : 1015.0 sec. user=vaughan [2010-07-11 20:09:34] 585*2^841038-1 is not prime. Res64: CC996CD6E7039E35 Time : 1068.0 sec. user=vaughan [2010-07-11 20:19:17] 553*2^841039-1 is not prime. Res64: 7E9723003CD1786E Time : 1020.0 sec. user=vaughan [2010-07-11 20:21:23] 589*2^841037-1 is not prime. Res64: 6DFFC84D5AE44A65 Time : 2768.0 sec. user=vaughan [2010-07-11 20:21:24] 551*2^841038-1 is not prime. Res64: 9CBB67FE5E4E18EA Time : 1811.0 sec. user=vaughan [2010-07-11 20:24:44] 417*2^841040-1 is not prime. Res64: FD8E5C3148116501 Time : 1011.0 sec. user=vaughan [2010-07-11 20:26:13] 447*2^841040-1 is not prime. Res64: 3E00D2757048450F Time : 1020.0 sec. user=vaughan [2010-07-11 20:27:44] 509*2^841040-1 is not prime. Res64: 64933D14420F5635 Time : 1090.0 sec. user=vaughan [2010-07-11 20:35:19] 471*2^841038-1 is not prime. Res64: 4FF8D7421DE62A64 Time : 2767.0 sec. user=vaughan [2010-07-11 20:36:48] 537*2^841040-1 is not prime. Res64: 0DDE18D4CDC19451 Time : 1052.0 sec. user=vaughan [2010-07-11 20:41:28] 549*2^841041-1 is not prime. Res64: 038DDC5A4FAF07F7 Time : 1004.0 sec. user=vaughan [2010-07-11 20:42:58] 555*2^841039-1 is not prime. Res64: 7C4105D8AFD17233 Time : 2117.0 sec. user=vaughan [2010-07-11 20:43:12] 413*2^841042-1 is not prime. Res64: 9406AC1403A0BD77 Time : 1019.0 sec. user=vaughan [2010-07-11 20:44:33] 495*2^841042-1 is not prime. Res64: 1532162086F3555A Time : 1009.0 sec. user=vaughan [2010-07-11 20:49:36] 405*2^841041-1 is not prime. Res64: F75F5D46A0BA040B Time : 1692.0 sec. user=vaughan [2010-07-11 20:54:28] 411*2^841043-1 is not prime. Res64: 2BDC4A621E17F543 Time : 1060.0 sec. user=vaughan [2010-07-11 20:58:24] 439*2^841043-1 is not prime. Res64: 8112DE295CA04FF1 Time : 1017.0 sec. user=vaughan [2010-07-11 21:00:11] 511*2^841043-1 is not prime. Res64: C03237C93E85CF28 Time : 1022.0 sec. user=vaughan [2010-07-11 21:02:17] 437*2^841044-1 is not prime. Res64: D6597CDB090F8CFA Time : 1064.0 sec. user=vaughan [2010-07-11 21:07:31] 563*2^841040-1 is not prime. Res64: 0E2AB3EF507EC17B Time : 2768.0 sec. user=vaughan [2010-07-11 21:09:37] 505*2^841043-1 is not prime. Res64: D9D2A8FF53807E43 Time : 1600.0 sec. user=vaughan [2010-07-11 21:11:27] 459*2^841044-1 is not prime. Res64: 67FB091577E59AFA Time : 1019.0 sec. user=vaughan [2010-07-11 21:13:01] 453*2^841044-1 is not prime. Res64: 660F2D1518CBC4B3 Time : 1405.0 sec. user=vaughan [2010-07-11 21:15:26] 489*2^841044-1 is not prime. Res64: 90656F93ACBDB245 Time : 1022.0 sec. user=vaughan [2010-07-11 21:17:18] 497*2^841044-1 is not prime. Res64: 2C912F9C85646A49 Time : 1028.0 sec. user=vaughan [2010-07-11 21:20:35] 503*2^841044-1 is not prime. Res64: 9DEBBC43A9F89CA0 Time : 1099.0 sec. user=vaughan [2010-07-11 21:23:23] 545*2^841042-1 is not prime. Res64: F4B500956210F5B1 Time : 2884.0 sec. user=vaughan [2010-07-11 21:28:28] 457*2^841045-1 is not prime. Res64: 1A8AF491058618B4 Time : 1022.0 sec. user=vaughan [2010-07-11 21:32:34] 573*2^841046-1 is not prime. Res64: 266040BBB13B6046 Time : 1028.0 sec. user=vaughan [2010-07-11 21:34:30] 433*2^841047-1 is not prime. Res64: 7F2BC461FED01648 Time : 1033.0 sec. user=vaughan [2010-07-11 21:37:28] 435*2^841048-1 is not prime. Res64: A4B188CE13D3B3A0 Time : 1013.0 sec. user=vaughan [2010-07-11 21:38:10] 477*2^841045-1 is not prime. Res64: D3886D23878A52CC Time : 1509.0 sec. user=vaughan [2010-07-11 21:42:14] 409*2^841045-1 is not prime. Res64: 68FCDC79F5D31206 Time : 1957.0 sec. user=vaughan [2010-07-11 21:45:34] 507*2^841048-1 is not prime. Res64: 5F08C164BEC188BC Time : 1026.0 sec. user=vaughan [2010-07-11 21:48:27] 593*2^841044-1 is not prime. Res64: 7FE719E58531D169 Time : 2456.0 sec. user=vaughan [2010-07-11 21:49:52] 519*2^841048-1 is not prime. Res64: 293567A2AD64DB1E Time : 1038.0 sec. user=vaughan [2010-07-11 21:51:50] 525*2^841048-1 is not prime. Res64: 0730D5B28BE5CF2F Time : 1041.0 sec. user=vaughan [2010-07-11 21:53:59] 459*2^841049-1 is not prime. Res64: AE5318F99966E196 Time : 991.0 sec. user=vaughan [2010-07-11 22:01:27] 481*2^841049-1 is not prime. Res64: A31D9DA6F90A1C41 Time : 1397.0 sec. user=vaughan [2010-07-11 22:02:48] 461*2^841050-1 is not prime. Res64: DCAAFDAC42C72052 Time : 1035.0 sec. user=vaughan [2010-07-11 22:07:13] 525*2^841050-1 is not prime. Res64: 362D2AFFCDE87C55 Time : 1041.0 sec. user=vaughan [2010-07-11 22:08:07] 467*2^841048-1 is not prime. Res64: B9D69DE16249C3E9 Time : 2685.0 sec. user=vaughan [2010-07-11 22:09:13] 555*2^841050-1 is not prime. Res64: 255A303D4BBE5436 Time : 1044.0 sec. user=vaughan [2010-07-11 22:10:34] 567*2^841050-1 is not prime. Res64: EEA0C85D94B90EE6 Time : 996.0 sec. user=vaughan [2010-07-11 22:13:29] 501*2^841049-1 is not prime. Res64: D3DFD34630575432 Time : 1876.0 sec. user=vaughan [2010-07-11 22:20:57] 493*2^841051-1 is not prime. Res64: 42698CB5EAB90A39 Time : 1090.0 sec. user=vaughan [2010-07-11 22:23:50] 583*2^841051-1 is not prime. Res64: 0F4EE87492FB656C Time : 997.0 sec. user=vaughan [2010-07-11 22:25:06] 441*2^841051-1 is not prime. Res64: 3624C4B32C4A1301 Time : 1419.0 sec. user=vaughan [2010-07-11 22:26:07] 417*2^841053-1 is not prime. Res64: F47DAC6D083B250D Time : 1014.0 sec. user=vaughan [2010-07-11 22:27:00] 451*2^841053-1 is not prime. Res64: E9A116BA2D2423CF Time : 986.0 sec. user=vaughan [2010-07-11 22:36:48] 465*2^841050-1 is not prime. Res64: 6C87A8C7196AAC7E Time : 2902.0 sec. user=vaughan [2010-07-11 22:39:29] 499*2^841053-1 is not prime. Res64: 7254811293DF304A Time : 1561.0 sec. user=vaughan [2010-07-11 22:39:35] 529*2^841053-1 is not prime. Res64: EF430355667ED71C Time : 1118.0 sec. user=vaughan [2010-07-11 22:40:31] 555*2^841053-1 is not prime. Res64: F2AB3FF8A77EB53B Time : 1002.0 sec. user=vaughan [2010-07-11 22:43:11] 585*2^841053-1 is not prime. Res64: 4672C0FC5F3A8A0B Time : 1024.0 sec. user=vaughan [2010-07-11 22:43:29] 545*2^841054-1 is not prime. Res64: C106177ED4ED0B9B Time : 989.0 sec. user=vaughan [2010-07-11 22:48:47] 559*2^841053-1 is not prime. Res64: 98D2440D47D1568B Time : 1422.0 sec. user=vaughan [2010-07-11 22:56:12] 435*2^841052-1 is not prime. Res64: 02F95CB5B1DE2E53 Time : 2885.0 sec. user=vaughan [2010-07-11 22:57:06] 455*2^841056-1 is not prime. Res64: A72A8A8841207125 Time : 1052.0 sec. user=vaughan [2010-07-11 22:57:35] 473*2^841056-1 is not prime. Res64: C26611ACEDF25EB1 Time : 1026.0 sec. user=vaughan [2010-07-11 23:00:00] 539*2^841056-1 is not prime. Res64: CDCB11EFF697BCFF Time : 991.0 sec. user=vaughan [2010-07-11 23:00:21] 503*2^841056-1 is not prime. Res64: F7169F057EFF3459 Time : 1030.0 sec. user=vaughan [2010-07-11 23:08:31] 595*2^841055-1 is not prime. Res64: 90663B2C3648F03E Time : 1742.0 sec. user=vaughan [2010-07-11 23:12:33] 511*2^841057-1 is not prime. Res64: 5CFB387E748AD5DC Time : 1427.0 sec. user=vaughan [2010-07-11 23:14:09] 551*2^841058-1 is not prime. Res64: 4E5029843A842D6E Time : 1023.0 sec. user=vaughan [2010-07-11 23:14:41] 411*2^841059-1 is not prime. Res64: 0DE9B7E24A28FF95 Time : 1027.0 sec. user=vaughan [2010-07-11 23:16:24] 415*2^841059-1 is not prime. Res64: 3D9CF5D322AD19A3 Time : 984.0 sec. user=vaughan [2010-07-11 23:17:25] 443*2^841060-1 is not prime. Res64: 49D5132AE039F55F Time : 1024.0 sec. user=vaughan [2010-07-11 23:21:25] 553*2^841055-1 is not prime. Res64: 2442C5AB18E714BB Time : 2678.0 sec. user=vaughan [2010-07-11 23:31:11] 513*2^841060-1 is not prime. Res64: 813E5016DE02DE38 Time : 1023.0 sec. user=vaughan [2010-07-11 23:31:44] 519*2^841060-1 is not prime. Res64: 69616EDAFE3419EE Time : 1024.0 sec. user=vaughan [2010-07-11 23:32:44] 409*2^841061-1 is not prime. Res64: BD70E1770E21B1CD Time : 981.0 sec. user=vaughan [2010-07-11 23:34:29] 475*2^841061-1 is not prime. Res64: 1EC86E96C9829F85 Time : 1024.0 sec. user=vaughan [2010-07-11 23:35:39] 483*2^841060-1 is not prime. Res64: 33EA2C183BC95D39 Time : 1386.0 sec. user=vaughan [2010-07-11 23:38:20] 455*2^841060-1 is not prime. Res64: 58160F06DBFB096D Time : 1789.0 sec. user=vaughan [2010-07-11 23:42:44] 437*2^841058-1 is not prime. Res64: B4361D3CA4BC7D0E Time : 2792.0 sec. user=vaughan [2010-07-11 23:48:14] 411*2^841063-1 is not prime. Res64: 0C2C54446A38C386 Time : 1023.0 sec. user=vaughan [2010-07-11 23:48:52] 421*2^841063-1 is not prime. Res64: 8666793640643357 Time : 1028.0 sec. user=vaughan [2010-07-11 23:49:06] 451*2^841063-1 is not prime. Res64: 33DD1221D306A66B Time : 982.0 sec. user=vaughan [2010-07-11 23:51:35] 453*2^841063-1 is not prime. Res64: 867CE3047E056A89 Time : 1026.0 sec. user=vaughan [2010-07-11 23:58:19] 465*2^841063-1 is not prime. Res64: 04C1DCCBFC798F38 Time : 1360.0 sec.