user=vaughan [2009-07-07 00:02:48] 425*2^702612-1 is not prime. Res64: 7C74D55F02167A7E Time : 4935.0 sec. user=vaughan [2009-07-07 00:03:59] 557*2^702612-1 is not prime. Res64: 29EE6717FCCA4835 Time : 4882.0 sec. user=vaughan [2009-07-07 00:10:46] 411*2^702613-1 is not prime. Res64: FF302C09752462DF Time : 4822.0 sec. user=vaughan [2009-07-07 00:11:50] 507*2^702613-1 is not prime. Res64: 16DC768D09B2D5C3 Time : 4764.0 sec. user=vaughan [2009-07-07 00:18:39] 473*2^702614-1 is not prime. Res64: 02BB9A34E6160515 Time : 4770.0 sec. user=vaughan [2009-07-07 00:19:47] 501*2^702614-1 is not prime. Res64: A0D027683911EAE8 Time : 4755.0 sec. user=vaughan [2009-07-07 00:26:36] 545*2^702614-1 is not prime. Res64: 2CDC53483054A111 Time : 4773.0 sec. user=vaughan [2009-07-07 00:27:46] 441*2^702615-1 is not prime. Res64: 853F9F527F204AC3 Time : 4760.0 sec. user=vaughan [2009-07-07 00:34:28] 451*2^702615-1 is not prime. Res64: 34006FCE5C0920C4 Time : 4767.0 sec. user=vaughan [2009-07-07 00:35:51] 475*2^702615-1 is not prime. Res64: 09763C8605F532E1 Time : 4771.0 sec. user=vaughan [2009-07-07 00:42:23] 535*2^702615-1 is not prime. Res64: B746C231998FF30F Time : 4761.0 sec. user=vaughan [2009-07-07 00:43:47] 553*2^702615-1 is not prime. Res64: 2FBF2E066906B127 Time : 4772.0 sec. user=vaughan [2009-07-07 00:50:19] 479*2^702616-1 is not prime. Res64: 97F5101E6469A43B Time : 4758.0 sec. user=vaughan [2009-07-07 00:51:46] 537*2^702616-1 is not prime. Res64: BBA6C3D8A3A8AF76 Time : 4776.0 sec. user=vaughan [2009-07-07 00:59:35] 489*2^702617-1 is not prime. Res64: 615B652F01A2FAB7 Time : 4841.0 sec. user=vaughan [2009-07-07 01:01:12] 529*2^702617-1 is not prime. Res64: 05075DA3E6864FE1 Time : 4862.0 sec. user=vaughan [2009-07-07 01:09:23] 559*2^702617-1 is not prime. Res64: 05D9F88FE7047668 Time : 4954.0 sec. user=vaughan [2009-07-07 01:11:03] 417*2^702618-1 is not prime. Res64: 496184D9D4114602 Time : 4975.0 sec. user=vaughan [2009-07-07 01:18:58] 447*2^702618-1 is not prime. Res64: A31ED18CEF8BBA33 Time : 5051.0 sec. user=vaughan [2009-07-07 01:20:20] 485*2^702618-1 is not prime. Res64: 662E1A23EE2DF302 Time : 5055.0 sec. user=vaughan [2009-07-07 01:27:52] 507*2^702618-1 is not prime. Res64: 8A84CC5A2A9C5645 Time : 5104.0 sec. user=vaughan [2009-07-07 01:29:08] 513*2^702618-1 is not prime. Res64: 4FCA03C9F89A4735 Time : 5109.0 sec. user=vaughan [2009-07-07 01:36:44] 563*2^702618-1 is not prime. Res64: FF783ABF3B2FABAF Time : 5158.0 sec. user=vaughan [2009-07-07 01:38:07] 415*2^702619-1 is not prime. Res64: D68CD722478281B4 Time : 5177.0 sec. user=vaughan [2009-07-07 01:46:26] 421*2^702619-1 is not prime. Res64: 0AAB38DF70077EF9 Time : 5267.0 sec. user=vaughan [2009-07-07 01:47:46] 441*2^702619-1 is not prime. Res64: EDE1C5F1DFD7B11C Time : 5279.0 sec. user=vaughan [2009-07-07 01:56:06] 481*2^702619-1 is not prime. Res64: 0CC9B3BF2623EBC5 Time : 5371.0 sec. user=vaughan [2009-07-07 01:57:18] 483*2^702619-1 is not prime. Res64: 9001A6CAC009774A Time : 5372.0 sec. user=vaughan [2009-07-07 02:05:16] 453*2^702620-1 is not prime. Res64: D28B785A3C6A7037 Time : 5448.0 sec. user=vaughan [2009-07-07 02:06:17] 503*2^702620-1 is not prime. Res64: B79C37EE5BD53528 Time : 5427.0 sec. user=vaughan [2009-07-07 02:14:37] 539*2^702620-1 is not prime. Res64: FC1D011536F194B9 Time : 5534.0 sec. user=vaughan [2009-07-07 02:15:35] 415*2^702621-1 is not prime. Res64: 8222DD19536F3143 Time : 5508.0 sec. user=vaughan [2009-07-07 02:24:12] 441*2^702621-1 is not prime. Res64: 7818F950A138CCF6 Time : 5633.0 sec. user=vaughan [2009-07-07 02:25:00] 447*2^702621-1 is not prime. Res64: 9F54E74ACD23AD43 Time : 5594.0 sec. user=vaughan [2009-07-07 02:34:11] 517*2^702621-1 is not prime. Res64: A57443A36024319B Time : 5676.0 sec. user=vaughan [2009-07-07 02:34:45] 571*2^702621-1 is not prime. Res64: A2D4BEB2532AC83D Time : 5614.0 sec. user=vaughan [2009-07-07 02:43:55] 423*2^702622-1 is not prime. Res64: 74F2549CDC4D69F3 Time : 5672.0 sec. user=vaughan [2009-07-07 02:44:14] 555*2^702622-1 is not prime. Res64: 16C33952899DAF78 Time : 5591.0 sec. user=vaughan [2009-07-07 02:53:40] 573*2^702622-1 is not prime. Res64: CBF865219B8087EE Time : 5683.0 sec. user=vaughan [2009-07-07 02:53:45] 445*2^702623-1 is not prime. Res64: C6D89F8DA298E618 Time : 5605.0 sec. user=vaughan [2009-07-07 03:02:53] 453*2^702623-1 is not prime. Res64: 3575BC7CF011B392 Time : 5701.0 sec. user=vaughan [2009-07-07 03:02:56] 573*2^702623-1 is not prime. Res64: 4668DCB897895BB1 Time : 5628.0 sec. user=vaughan [2009-07-07 03:12:38] 503*2^702624-1 is not prime. Res64: 5123D5954EE4DAC7 Time : 5671.0 sec. user=vaughan [2009-07-07 03:12:38] 591*2^702623-1 is not prime. Res64: B35407900B245CD4 Time : 5754.0 sec. user=vaughan [2009-07-07 03:22:18] 411*2^702625-1 is not prime. Res64: 047841ABB1459F21 Time : 5672.0 sec. user=vaughan [2009-07-07 03:22:28] 527*2^702624-1 is not prime. Res64: BA3AE36E5F06341B Time : 5762.0 sec. user=vaughan [2009-07-07 03:32:21] 541*2^702625-1 is not prime. Res64: D6219EB7FE928612 Time : 5703.0 sec. user=vaughan [2009-07-07 03:32:40] 421*2^702625-1 is not prime. Res64: 14DA549BB82A3A45 Time : 5795.0 sec. user=vaughan [2009-07-07 03:42:13] 561*2^702626-1 is not prime. Res64: 3345FAA2759436E5 Time : 5756.0 sec. user=vaughan [2009-07-07 03:42:52] 521*2^702626-1 is not prime. Res64: B73184E54BF61F7D Time : 5856.0 sec. user=vaughan [2009-07-07 03:51:31] 453*2^702627-1 is not prime. Res64: C5C7934AFD217DB6 Time : 5757.0 sec. user=vaughan [2009-07-07 03:52:15] 593*2^702626-1 is not prime. Res64: E0ABCCA7B14F1E6D Time : 5859.0 sec. user=vaughan [2009-07-07 04:01:12] 571*2^702627-1 is not prime. Res64: CD85F9A858F39DD7 Time : 5773.0 sec. user=vaughan [2009-07-07 04:02:19] 529*2^702627-1 is not prime. Res64: BA8ECD953421EA78 Time : 5887.0 sec. user=vaughan [2009-07-07 04:11:04] 449*2^702628-1 is not prime. Res64: 73C46C92D05899B4 Time : 5779.0 sec. user=vaughan [2009-07-07 04:12:09] 429*2^702628-1 is not prime. Res64: 7DDD7A19AC7D7C2E Time : 5878.0 sec. user=vaughan [2009-07-07 04:20:55] 465*2^702628-1 is not prime. Res64: 26D7374844203D5C Time : 5801.0 sec. user=vaughan [2009-07-07 04:22:10] 453*2^702628-1 is not prime. Res64: DB3A35A1D9016472 Time : 5896.0 sec. user=vaughan [2009-07-07 04:30:40] 525*2^702628-1 is not prime. Res64: 3C05AD1203C12E0F Time : 5815.0 sec. user=vaughan [2009-07-07 04:32:28] 495*2^702628-1 is not prime. Res64: 5F27DAEC8151ABD1 Time : 5928.0 sec. user=vaughan [2009-07-07 04:40:25] 569*2^702628-1 is not prime. Res64: 3544A699DD40CB1A Time : 5850.0 sec. user=vaughan [2009-07-07 04:42:29] 533*2^702628-1 is not prime. Res64: F95AF7E70C3C49B4 Time : 5977.0 sec. user=vaughan [2009-07-07 04:49:47] 573*2^702628-1 is not prime. Res64: 21CC61F9CF773C53 Time : 5829.0 sec. user=vaughan [2009-07-07 04:52:11] 411*2^702629-1 is not prime. Res64: C0399DA95E6E9B09 Time : 5973.0 sec. user=vaughan [2009-07-07 04:59:21] 487*2^702629-1 is not prime. Res64: 04EA1953DAB6B5CD Time : 5823.0 sec. user=vaughan [2009-07-07 05:02:18] 561*2^702629-1 is not prime. Res64: 3D5D898FF05D7723 Time : 5990.0 sec. user=vaughan [2009-07-07 05:08:56] 589*2^702629-1 is not prime. Res64: 7A256AACC4E10DED Time : 5795.0 sec. user=vaughan [2009-07-07 05:12:41] 471*2^702630-1 is not prime. Res64: 3672DB013089503F Time : 6001.0 sec. user=vaughan [2009-07-07 05:18:31] 473*2^702630-1 is not prime. Res64: B1D4734DFF5EED94 Time : 5778.0 sec. user=vaughan [2009-07-07 05:21:52] 515*2^702630-1 is not prime. Res64: 7FBF0FDABF90A077 Time : 5940.0 sec. user=vaughan [2009-07-07 05:27:46] 525*2^702630-1 is not prime. Res64: 0B38D707BE1E1C60 Time : 5775.0 sec. user=vaughan [2009-07-07 05:31:18] 505*2^702631-1 is not prime. Res64: EC17D22CE2E26A3E Time : 5943.0 sec. user=vaughan [2009-07-07 05:37:27] 405*2^702632-1 is not prime. Res64: 1A33C00B11CA8FE6 Time : 5775.0 sec. user=vaughan [2009-07-07 05:40:54] 437*2^702632-1 is not prime. Res64: 7A9B40DC3AD6AAA6 Time : 5916.0 sec. user=vaughan [2009-07-07 05:46:59] 479*2^702632-1 is not prime. Res64: 4793F5E0C043E953 Time : 5756.0 sec. user=vaughan [2009-07-07 05:50:12] 533*2^702632-1 is not prime. Res64: ABFF3A0CA34076B3 Time : 5883.0 sec. user=vaughan [2009-07-07 05:56:43] 457*2^702633-1 is not prime. Res64: 2CD487877175305C Time : 5748.0 sec. user=vaughan [2009-07-07 05:59:53] 517*2^702633-1 is not prime. Res64: 8D46BE30FEBC7AED Time : 5863.0 sec. user=vaughan [2009-07-07 06:05:54] 571*2^702633-1 is not prime. Res64: 7585AF1D46AE3952 Time : 5714.0 sec. user=vaughan [2009-07-07 06:09:15] 577*2^702633-1 is not prime. Res64: 60FCC6CD6345E21F Time : 5807.0 sec. user=vaughan [2009-07-07 06:15:18] 445*2^702635-1 is not prime. Res64: 87B0145392F91CA4 Time : 5693.0 sec. user=vaughan [2009-07-07 06:18:55] 585*2^702636-1 is not prime. Res64: A35C983511C0FF1C Time : 5787.0 sec. user=vaughan [2009-07-07 06:24:44] 593*2^702636-1 is not prime. Res64: 154E67560F8EF1A9 Time : 5697.0 sec. user=vaughan [2009-07-07 06:28:41] 597*2^702636-1 is not prime. Res64: 917583BAAB39319E Time : 5790.0 sec. user=vaughan [2009-07-07 06:34:23] 435*2^702637-1 is not prime. Res64: 6AC50180C3C04B5A Time : 5702.0 sec. user=vaughan [2009-07-07 06:38:35] 501*2^702638-1 is not prime. Res64: 7A3D2A8C8C70CEF1 Time : 5777.0 sec. user=vaughan [2009-07-07 06:44:02] 411*2^702639-1 is not prime. Res64: 7FE6785CF6024D9E Time : 5706.0 sec. user=vaughan [2009-07-07 06:48:00] 433*2^702639-1 is not prime. Res64: C122F73008522EC8 Time : 5719.0 sec. user=vaughan [2009-07-07 06:53:35] 513*2^702639-1 is not prime. Res64: 7D3BBC29529E5406 Time : 5705.0 sec. user=vaughan [2009-07-07 06:57:27] 533*2^702640-1 is not prime. Res64: 85000C5A2C79DCA6 Time : 5736.0 sec. user=vaughan [2009-07-07 07:02:47] 569*2^702640-1 is not prime. Res64: AEFC55D9A933E037 Time : 5702.0 sec. user=vaughan [2009-07-07 07:07:22] 593*2^702640-1 is not prime. Res64: 5040BB9D2F25207F Time : 5764.0 sec. user=vaughan [2009-07-07 07:12:13] 411*2^702641-1 is not prime. Res64: E5F009DF5DC27744 Time : 5686.0 sec. user=vaughan [2009-07-07 07:16:34] 441*2^702641-1 is not prime. Res64: 8A56FA1330612B8B Time : 5741.0 sec. user=vaughan [2009-07-07 07:21:56] 475*2^702641-1 is not prime. Res64: 2953052FBAFCD717 Time : 5698.0 sec. user=vaughan [2009-07-07 07:26:35] 483*2^702642-1 is not prime. Res64: 2BC341C557F14B23 Time : 5783.0 sec. user=vaughan [2009-07-07 07:31:17] 495*2^702642-1 is not prime. Res64: 3E5BA16314E149DD Time : 5674.0 sec. user=vaughan [2009-07-07 07:35:49] 543*2^702642-1 is not prime. Res64: 1E9FAECE69ACB5EB Time : 5756.0 sec. user=vaughan [2009-07-07 07:40:30] 551*2^702642-1 is not prime. Res64: B8267186746F8094 Time : 5677.0 sec. user=vaughan [2009-07-07 07:45:02] 567*2^702642-1 is not prime. Res64: E31AEFEDDA8D1B86 Time : 5747.0 sec. user=vaughan [2009-07-07 07:49:37] 573*2^702642-1 is not prime. Res64: 92A959776A4913C7 Time : 5659.0 sec. user=vaughan [2009-07-07 07:54:12] 451*2^702643-1 is not prime. Res64: DB164188D557845F Time : 5718.0 sec. user=vaughan [2009-07-07 07:58:59] 495*2^702643-1 is not prime. Res64: 51B5492DB0E9CE30 Time : 5656.0 sec. user=vaughan [2009-07-07 08:03:32] 511*2^702643-1 is not prime. Res64: 3F27F3B328EBDA5A Time : 5691.0 sec. user=vaughan [2009-07-07 08:08:16] 573*2^702643-1 is not prime. Res64: 6920411DAAA4E4DE Time : 5633.0 sec. user=vaughan [2009-07-07 08:12:41] 417*2^702644-1 is not prime. Res64: 70C1A5C73E078318 Time : 5646.0 sec. user=vaughan [2009-07-07 08:17:37] 447*2^702644-1 is not prime. Res64: DD7EAE292999C543 Time : 5616.0 sec. user=vaughan [2009-07-07 08:21:34] 473*2^702644-1 is not prime. Res64: C07542500702A87B Time : 5614.0 sec. user=vaughan [2009-07-07 08:24:30] 481*2^702635-1 is not prime. Res64: 921932CE09905EB1 Time : 13409.0 sec. user=vaughan [2009-07-07 08:26:48] 525*2^702645-1 is not prime. Res64: 2EC1FA7D0F8CD1F5 Time : 5593.0 sec. user=vaughan [2009-07-07 08:30:50] 565*2^702645-1 is not prime. Res64: 17F506ED8D5D6B49 Time : 5603.0 sec. user=vaughan [2009-07-07 08:35:33] 465*2^702635-1 is not prime. Res64: 3F83F29209DDE666 Time : 14077.0 sec. user=vaughan [2009-07-07 08:36:20] 577*2^702645-1 is not prime. Res64: E61EF129B7DD86FC Time : 5613.0 sec. user=vaughan [2009-07-07 08:40:02] 585*2^702645-1 is not prime. Res64: 955DFD7AB5A6B6A0 Time : 5561.0 sec. user=vaughan [2009-07-07 08:42:43] 503*2^702636-1 is not prime. Res64: 7575C04713EB828E Time : 14497.0 sec. user=vaughan [2009-07-07 08:45:18] 447*2^702652-1 is not prime. Res64: 470D0A386FDDE125 Time : 1248.0 sec. user=vaughan [2009-07-07 08:45:52] 477*2^702646-1 is not prime. Res64: A3BCDACD1C85902B Time : 5619.0 sec. user=vaughan [2009-07-07 08:48:22] 563*2^702652-1 is not prime. Res64: 4E56418B7C645210 Time : 1268.0 sec. user=vaughan [2009-07-07 08:50:01] 525*2^702646-1 is not prime. Res64: 9C754A41B3675E87 Time : 5607.0 sec. user=vaughan [2009-07-07 08:55:31] 581*2^702646-1 is not prime. Res64: C5CCBDB93A43F9EB Time : 5615.0 sec. user=vaughan [2009-07-07 08:57:50] 411*2^702653-1 is not prime. Res64: 8F6B9EEF91ED1387 Time : 1337.0 sec. user=vaughan [2009-07-07 08:59:20] 433*2^702647-1 is not prime. Res64: 22A3CE4FDD0C8180 Time : 5565.0 sec. user=vaughan [2009-07-07 09:03:58] 525*2^702653-1 is not prime. Res64: 4F33F99672B8AD88 Time : 1275.0 sec. user=vaughan [2009-07-07 09:04:41] 523*2^702647-1 is not prime. Res64: AE7191153435D586 Time : 5604.0 sec. user=vaughan [2009-07-07 09:06:05] 547*2^702653-1 is not prime. Res64: 99D5B826681FC110 Time : 1247.0 sec. user=vaughan [2009-07-07 09:08:18] 559*2^702647-1 is not prime. Res64: A418868F68880683 Time : 5549.0 sec. user=vaughan [2009-07-07 09:10:36] 483*2^702654-1 is not prime. Res64: 749D970BCF530A53 Time : 1335.0 sec. user=vaughan [2009-07-07 09:14:07] 425*2^702648-1 is not prime. Res64: 0EB7FFF1ABE56D80 Time : 5617.0 sec. user=vaughan [2009-07-07 09:18:03] 459*2^702648-1 is not prime. Res64: E35263A7274612B3 Time : 5581.0 sec. user=vaughan [2009-07-07 09:20:06] 421*2^702655-1 is not prime. Res64: 8ED1F95EC97F2E3B Time : 1336.0 sec. user=vaughan [2009-07-07 09:23:31] 485*2^702648-1 is not prime. Res64: 4EA66BB2703E26D8 Time : 5634.0 sec. user=vaughan [2009-07-07 09:25:16] 475*2^702655-1 is not prime. Res64: A107B062430FBF78 Time : 1278.0 sec. user=vaughan [2009-07-07 09:26:52] 531*2^702655-1 is not prime. Res64: 270DD7D618CAC5B5 Time : 1247.0 sec. user=vaughan [2009-07-07 09:27:20] 427*2^702649-1 is not prime. Res64: A12FDA1FDDB5FACC Time : 5588.0 sec. user=vaughan [2009-07-07 09:32:52] 537*2^702656-1 is not prime. Res64: BD801B40C4F5E668 Time : 1336.0 sec. user=vaughan [2009-07-07 09:33:09] 465*2^702649-1 is not prime. Res64: 5937F1E496272E9A Time : 5650.0 sec. user=vaughan [2009-07-07 09:37:19] 437*2^702650-1 is not prime. Res64: 83F6E6DF11186509 Time : 5627.0 sec. user=vaughan [2009-07-07 09:42:22] 471*2^702658-1 is not prime. Res64: A816B4F822C3CD72 Time : 1336.0 sec. user=vaughan [2009-07-07 09:43:10] 477*2^702650-1 is not prime. Res64: D8B6A4676F468E30 Time : 5695.0 sec. user=vaughan [2009-07-07 09:46:32] 505*2^702659-1 is not prime. Res64: 3ADC8D0F5FDD7573 Time : 1277.0 sec. user=vaughan [2009-07-07 09:47:24] 521*2^702650-1 is not prime. Res64: C055B991566CD72A Time : 5684.0 sec. user=vaughan [2009-07-07 09:47:38] 511*2^702659-1 is not prime. Res64: 79E7B01BA139B60B Time : 1247.0 sec. user=vaughan [2009-07-07 09:52:49] 405*2^702651-1 is not prime. Res64: 0B1F34F5A0BB3371 Time : 5712.0 sec. user=vaughan [2009-07-07 09:55:07] 571*2^702659-1 is not prime. Res64: 2F68266A8EEACBBE Time : 1335.0 sec. user=vaughan [2009-07-07 09:57:50] 413*2^702652-1 is not prime. Res64: 38D8B4F6387FE928 Time : 5776.0 sec. user=vaughan [2009-07-07 10:02:32] 539*2^702652-1 is not prime. Res64: E5569D043F9DE825 Time : 5744.0 sec. user=vaughan [2009-07-07 10:04:38] 513*2^702660-1 is not prime. Res64: 5EBF8B03B4D9EA38 Time : 1336.0 sec. user=vaughan [2009-07-07 10:07:50] 411*2^702661-1 is not prime. Res64: 3B1B21ECD57086E9 Time : 1278.0 sec. user=vaughan [2009-07-07 10:07:52] 405*2^702653-1 is not prime. Res64: E0FEDCDD6E487B84 Time : 5822.0 sec. user=vaughan [2009-07-07 10:08:24] 577*2^702661-1 is not prime. Res64: E5508E11D8925485 Time : 1246.0 sec. user=vaughan [2009-07-07 10:12:18] 511*2^702653-1 is not prime. Res64: 987B45CF3F29847E Time : 5758.0 sec. user=vaughan [2009-07-07 10:17:21] 517*2^702653-1 is not prime. Res64: 7CFB4667D2C52C74 Time : 5839.0 sec. user=vaughan [2009-07-07 10:17:23] 407*2^702662-1 is not prime. Res64: 7573104D83347AE2 Time : 1336.0 sec. user=vaughan [2009-07-07 10:21:30] 411*2^702654-1 is not prime. Res64: 5D4EAA1C338D10D7 Time : 5738.0 sec. user=vaughan [2009-07-07 10:26:54] 455*2^702662-1 is not prime. Res64: 44F1B6290DDBE631 Time : 1336.0 sec. user=vaughan [2009-07-07 10:27:11] 503*2^702654-1 is not prime. Res64: E3001746B517A039 Time : 5830.0 sec. user=vaughan [2009-07-07 10:29:05] 503*2^702662-1 is not prime. Res64: 0AD477B670C224E2 Time : 1275.0 sec. user=vaughan [2009-07-07 10:30:29] 465*2^702663-1 is not prime. Res64: DB937FF737C49C14 Time : 1326.0 sec. user=vaughan [2009-07-07 10:31:14] 585*2^702654-1 is not prime. Res64: 91DE90324C79F4A8 Time : 5744.0 sec. user=vaughan [2009-07-07 10:36:47] 465*2^702655-1 is not prime. Res64: 7885B93516479608 Time : 5848.0 sec. user=vaughan [2009-07-07 10:39:39] 493*2^702663-1 is not prime. Res64: F0C0D3F909C680B9 Time : 1336.0 sec. user=vaughan [2009-07-07 10:40:25] 499*2^702655-1 is not prime. Res64: 151124AC8B5DE250 Time : 5745.0 sec. user=vaughan [2009-07-07 10:46:16] 417*2^702656-1 is not prime. Res64: 39C77A5EFF11C84E Time : 5879.0 sec. user=vaughan [2009-07-07 10:49:03] 565*2^702663-1 is not prime. Res64: D6123603D9E2C8AF Time : 1329.0 sec. user=vaughan [2009-07-07 10:49:37] 549*2^702657-1 is not prime. Res64: E320A8BBEBB8B474 Time : 5730.0 sec. user=vaughan [2009-07-07 10:50:21] 447*2^702665-1 is not prime. Res64: EA7EE06BD0DA1B96 Time : 1276.0 sec. user=vaughan [2009-07-07 10:52:34] 459*2^702665-1 is not prime. Res64: 5847076034685275 Time : 1326.0 sec. user=vaughan [2009-07-07 10:56:09] 579*2^702657-1 is not prime. Res64: 3ECC70DCB55E6010 Time : 5887.0 sec. user=vaughan [2009-07-07 10:59:10] 465*2^702659-1 is not prime. Res64: ECFBFDE2720005F2 Time : 5739.0 sec. user=vaughan [2009-07-07 11:01:56] 565*2^702665-1 is not prime. Res64: 7E4F731DB5B5F0D1 Time : 1338.0 sec. user=vaughan [2009-07-07 11:05:45] 549*2^702659-1 is not prime. Res64: 8ABC13227125A9D4 Time : 5906.0 sec. user=vaughan [2009-07-07 11:08:14] 405*2^702660-1 is not prime. Res64: 9B5D7C38C372ED78 Time : 5705.0 sec. user=vaughan [2009-07-07 11:11:22] 513*2^702666-1 is not prime. Res64: CC622C5595860C3A Time : 1339.0 sec. user=vaughan [2009-07-07 11:11:37] 581*2^702666-1 is not prime. Res64: AF9BBF72CD575163 Time : 1276.0 sec. user=vaughan [2009-07-07 11:14:40] 463*2^702667-1 is not prime. Res64: B90091FC8DDDF5F8 Time : 1327.0 sec. user=vaughan [2009-07-07 11:15:14] 459*2^702660-1 is not prime. Res64: 4CBA20A5D19E403B Time : 5875.0 sec. user=vaughan [2009-07-07 11:17:22] 549*2^702660-1 is not prime. Res64: E37B60B52C76D47A Time : 5652.0 sec. user=vaughan [2009-07-07 11:24:13] 459*2^702668-1 is not prime. Res64: AA64E03FF862BA54 Time : 1338.0 sec. user=vaughan [2009-07-07 11:24:48] 465*2^702661-1 is not prime. Res64: B88DC713E0C303E3 Time : 5845.0 sec. user=vaughan [2009-07-07 11:26:43] 591*2^702661-1 is not prime. Res64: 9A61A9B4E42AF16C Time : 5634.0 sec. user=vaughan [2009-07-07 11:32:51] 483*2^702670-1 is not prime. Res64: 1A17BC0C641B7495 Time : 1274.0 sec. user=vaughan [2009-07-07 11:33:31] 455*2^702670-1 is not prime. Res64: 0954A0432B7F05AD Time : 1329.0 sec. user=vaughan [2009-07-07 11:34:32] 425*2^702662-1 is not prime. Res64: D6716C18EC3B4776 Time : 5803.0 sec. user=vaughan [2009-07-07 11:36:46] 435*2^702662-1 is not prime. Res64: 0995B84B86970101 Time : 5654.0 sec. user=vaughan [2009-07-07 11:36:47] 513*2^702670-1 is not prime. Res64: 102FA40036EBE09D Time : 1328.0 sec. user=vaughan [2009-07-07 11:44:29] 563*2^702662-1 is not prime. Res64: A3124365CDEF08C3 Time : 5797.0 sec. user=vaughan [2009-07-07 11:46:30] 471*2^702663-1 is not prime. Res64: 7F168C7AFC5E1888 Time : 5652.0 sec. user=vaughan [2009-07-07 11:46:30] 493*2^702671-1 is not prime. Res64: EC9915AE8A48B224 Time : 1337.0 sec. user=vaughan [2009-07-07 11:54:07] 409*2^702673-1 is not prime. Res64: E540680F9A09B4DB Time : 1276.0 sec. user=vaughan [2009-07-07 11:54:25] 481*2^702663-1 is not prime. Res64: F1B4CEF59FA2FB30 Time : 5825.0 sec. user=vaughan [2009-07-07 11:55:49] 517*2^702673-1 is not prime. Res64: 570CD6BAB54638C7 Time : 1338.0 sec. user=vaughan [2009-07-07 11:56:10] 555*2^702663-1 is not prime. Res64: 116CF1968F6D5D8D Time : 5681.0 sec. user=vaughan [2009-07-07 11:58:53] 453*2^702674-1 is not prime. Res64: 377515058C18B331 Time : 1326.0 sec. user=vaughan [2009-07-07 12:03:29] 447*2^702664-1 is not prime. Res64: 1AC9D67137658CE7 Time : 5778.0 sec. user=vaughan [2009-07-07 12:05:32] 535*2^702665-1 is not prime. Res64: EB9572CC2EB56E70 Time : 5659.0 sec. user=vaughan [2009-07-07 12:08:47] 485*2^702676-1 is not prime. Res64: BEEFEAD593B75E3F Time : 1337.0 sec. user=vaughan [2009-07-07 12:13:28] 537*2^702665-1 is not prime. Res64: 70108428882467E7 Time : 5802.0 sec. user=vaughan [2009-07-07 12:15:19] 567*2^702665-1 is not prime. Res64: B9A4B4A2D456A7D5 Time : 5694.0 sec. user=vaughan [2009-07-07 12:15:22] 447*2^702677-1 is not prime. Res64: 93B52B4E033AC458 Time : 1275.0 sec. user=vaughan [2009-07-07 12:17:58] 577*2^702677-1 is not prime. Res64: CA93BE71B313FDC3 Time : 1330.0 sec. user=vaughan [2009-07-07 12:19:39] 423*2^702678-1 is not prime. Res64: AD72BEA134B4A7FE Time : 1246.0 sec. user=vaughan [2009-07-07 12:23:20] 589*2^702665-1 is not prime. Res64: 62F5FBF842FF035B Time : 5824.0 sec. user=vaughan [2009-07-07 12:25:03] 531*2^702666-1 is not prime. Res64: 531153F6BB0E406B Time : 5726.0 sec. user=vaughan [2009-07-07 12:29:53] 485*2^702678-1 is not prime. Res64: F0576A2B68EDC957 Time : 1266.0 sec. user=vaughan [2009-07-07 12:33:06] 549*2^702667-1 is not prime. Res64: 3E132C81696CC1CB Time : 5817.0 sec. user=vaughan [2009-07-07 12:34:26] 405*2^702668-1 is not prime. Res64: 49E0F38761C615A0 Time : 5716.0 sec. user=vaughan [2009-07-07 12:36:34] 591*2^702678-1 is not prime. Res64: 0B733A2C7EA087F8 Time : 1273.0 sec. user=vaughan [2009-07-07 12:40:05] 421*2^702679-1 is not prime. Res64: 94394B947C34A81B Time : 1327.0 sec. user=vaughan [2009-07-07 12:41:44] 433*2^702679-1 is not prime. Res64: 1466215AAC3F8D4E Time : 1325.0 sec. user=vaughan [2009-07-07 12:42:40] 507*2^702668-1 is not prime. Res64: 684D2B51FF96C984 Time : 5815.0 sec. user=vaughan [2009-07-07 12:44:02] 411*2^702670-1 is not prime. Res64: C72607E67082091C Time : 5748.0 sec. user=vaughan [2009-07-07 12:51:02] 481*2^702679-1 is not prime. Res64: 8E530607BD88F21D Time : 1269.0 sec. user=vaughan [2009-07-07 12:52:23] 567*2^702670-1 is not prime. Res64: 2AACAF88E5759119 Time : 5829.0 sec. user=vaughan [2009-07-07 12:53:30] 465*2^702671-1 is not prime. Res64: ABE3D00EA3DCFF4A Time : 5768.0 sec. user=vaughan [2009-07-07 12:57:46] 413*2^702680-1 is not prime. Res64: 5DADBA4B7F10113D Time : 1273.0 sec. user=vaughan [2009-07-07 13:01:52] 505*2^702671-1 is not prime. Res64: C01FDB4AA3F4CE0D Time : 5824.0 sec. user=vaughan [2009-07-07 13:02:13] 515*2^702680-1 is not prime. Res64: 3F19EA923800F5AF Time : 1328.0 sec. user=vaughan [2009-07-07 13:02:30] 405*2^702681-1 is not prime. Res64: 099C665F9D06DC88 Time : 1246.0 sec. user=vaughan [2009-07-07 13:02:54] 405*2^702672-1 is not prime. Res64: BD3CD21BA17494A3 Time : 5771.0 sec. user=vaughan [2009-07-07 13:11:20] 559*2^702673-1 is not prime. Res64: 733A025C40394D75 Time : 5808.0 sec. user=vaughan [2009-07-07 13:12:08] 531*2^702681-1 is not prime. Res64: C7E071D6D151308C Time : 1266.0 sec. user=vaughan [2009-07-07 13:12:23] 411*2^702674-1 is not prime. Res64: 830B54B4F1882935 Time : 5737.0 sec. user=vaughan [2009-07-07 13:18:57] 471*2^702682-1 is not prime. Res64: 295C5216F24C5907 Time : 1272.0 sec. user=vaughan [2009-07-07 13:20:59] 495*2^702674-1 is not prime. Res64: A2C9F68CD207170F Time : 5791.0 sec. user=vaughan [2009-07-07 13:21:56] 447*2^702676-1 is not prime. Res64: CAFF12A644237100 Time : 5727.0 sec. user=vaughan [2009-07-07 13:24:20] 435*2^702683-1 is not prime. Res64: 1D249ECBAA12041A Time : 1328.0 sec. user=vaughan [2009-07-07 13:24:40] 565*2^702683-1 is not prime. Res64: B408261026129160 Time : 1330.0 sec. user=vaughan [2009-07-07 13:30:44] 519*2^702677-1 is not prime. Res64: 9C07A242529BF437 Time : 5779.0 sec. user=vaughan [2009-07-07 13:31:39] 417*2^702678-1 is not prime. Res64: B60B00DC73D4FFC2 Time : 5729.0 sec. user=vaughan [2009-07-07 13:33:18] 455*2^702684-1 is not prime. Res64: 743915C41797E1E4 Time : 1270.0 sec. user=vaughan [2009-07-07 13:40:08] 503*2^702684-1 is not prime. Res64: B63C60C5270BB9C9 Time : 1271.0 sec. user=vaughan [2009-07-07 13:40:12] 431*2^702678-1 is not prime. Res64: 45A0946BB4E131AF Time : 5803.0 sec. user=vaughan [2009-07-07 13:41:05] 443*2^702678-1 is not prime. Res64: 83B679EF3F07D036 Time : 5734.0 sec. user=vaughan [2009-07-07 13:45:25] 451*2^702685-1 is not prime. Res64: 035B7A96BCA68B00 Time : 1246.0 sec. user=vaughan [2009-07-07 13:46:26] 597*2^702684-1 is not prime. Res64: EB69F99A4930F265 Time : 1327.0 sec. user=vaughan [2009-07-07 13:49:31] 555*2^702678-1 is not prime. Res64: 239C5B652732453A Time : 5763.0 sec. user=vaughan [2009-07-07 13:50:28] 573*2^702678-1 is not prime. Res64: 6CB82D5BE6E17AAE Time : 5709.0 sec. user=vaughan [2009-07-07 13:54:26] 437*2^702686-1 is not prime. Res64: 405A968AFB87A733 Time : 1268.0 sec. user=vaughan [2009-07-07 13:59:21] 451*2^702679-1 is not prime. Res64: 12FE6AE7C3C3DABB Time : 5761.0 sec. user=vaughan [2009-07-07 14:00:06] 471*2^702679-1 is not prime. Res64: E960971ECCC65E75 Time : 5704.0 sec. user=vaughan [2009-07-07 14:01:20] 447*2^702686-1 is not prime. Res64: 095725E688FF8099 Time : 1272.0 sec. user=vaughan [2009-07-07 14:07:34] 545*2^702686-1 is not prime. Res64: 390999DD59B6E773 Time : 1329.0 sec. user=vaughan [2009-07-07 14:08:41] 489*2^702679-1 is not prime. Res64: 46EAF4BB4AD3FB4D Time : 5735.0 sec. user=vaughan [2009-07-07 14:08:42] 445*2^702687-1 is not prime. Res64: 391BD3C7D3AF212D Time : 1336.0 sec. user=vaughan [2009-07-07 14:09:16] 573*2^702679-1 is not prime. Res64: 4CC7B36DB3995C34 Time : 5690.0 sec. user=vaughan [2009-07-07 14:16:57] 531*2^702687-1 is not prime. Res64: BB9C2872701062E1 Time : 1352.0 sec. user=vaughan [2009-07-07 14:18:09] 439*2^702681-1 is not prime. Res64: 28572D449508F801 Time : 5729.0 sec. user=vaughan [2009-07-07 14:18:48] 459*2^702681-1 is not prime. Res64: 3320214F5C0F7074 Time : 5686.0 sec. user=vaughan [2009-07-07 14:22:34] 585*2^702687-1 is not prime. Res64: 6AC69C619A953B52 Time : 1274.0 sec. user=vaughan [2009-07-07 14:27:23] 555*2^702681-1 is not prime. Res64: 582E8EC7796A01EC Time : 5700.0 sec. user=vaughan [2009-07-07 14:28:03] 585*2^702681-1 is not prime. Res64: 58DDCD5C6FA291FE Time : 5673.0 sec. user=vaughan [2009-07-07 14:28:20] 413*2^702688-1 is not prime. Res64: 3BC5BFC3463CAD81 Time : 1246.0 sec. user=vaughan [2009-07-07 14:30:49] 513*2^702688-1 is not prime. Res64: DEBEE61A753282F7 Time : 1327.0 sec. user=vaughan [2009-07-07 14:36:42] 561*2^702682-1 is not prime. Res64: 6B2DB882E8D9E7A8 Time : 5690.0 sec. user=vaughan [2009-07-07 14:37:15] 585*2^702683-1 is not prime. Res64: 719979D115F7138B Time : 5661.0 sec. user=vaughan [2009-07-07 14:38:04] 573*2^702688-1 is not prime. Res64: D5309663FBEE4835 Time : 1267.0 sec. user=vaughan [2009-07-07 14:43:46] 559*2^702689-1 is not prime. Res64: 2DE534AFFF0FB2B1 Time : 1272.0 sec. user=vaughan [2009-07-07 14:46:16] 589*2^702683-1 is not prime. Res64: E714FC1A3B6309E5 Time : 5697.0 sec. user=vaughan [2009-07-07 14:46:46] 479*2^702684-1 is not prime. Res64: DBB4E83136FDCEBD Time : 5664.0 sec. user=vaughan [2009-07-07 14:50:30] 495*2^702690-1 is not prime. Res64: FEF3CD409AFC5DF7 Time : 1330.0 sec. user=vaughan [2009-07-07 14:53:05] 463*2^702691-1 is not prime. Res64: 1CC02AD432E77DFA Time : 1336.0 sec. user=vaughan [2009-07-07 14:55:19] 513*2^702684-1 is not prime. Res64: 95F1891889A2F357 Time : 5660.0 sec. user=vaughan [2009-07-07 14:55:58] 539*2^702684-1 is not prime. Res64: 5991E85B6CAF1795 Time : 5642.0 sec. user=vaughan [2009-07-07 15:00:36] 515*2^702692-1 is not prime. Res64: 6FEE95D0E6ED12F1 Time : 1352.0 sec. user=vaughan [2009-07-07 15:04:17] 555*2^702685-1 is not prime. Res64: C58B2494FF475E3F Time : 5613.0 sec. user=vaughan [2009-07-07 15:05:01] 519*2^702692-1 is not prime. Res64: B7B73E4ABFB79313 Time : 1275.0 sec. user=vaughan [2009-07-07 15:05:01] 425*2^702686-1 is not prime. Res64: 32C238048B87F2FD Time : 5602.0 sec. user=vaughan [2009-07-07 15:11:16] 507*2^702693-1 is not prime. Res64: 95DC7A1907257C55 Time : 1247.0 sec. user=vaughan [2009-07-07 15:14:04] 473*2^702686-1 is not prime. Res64: 413ED90C30C906B4 Time : 5632.0 sec. user=vaughan [2009-07-07 15:14:31] 501*2^702686-1 is not prime. Res64: C0200ED8B0D32305 Time : 5607.0 sec. user=vaughan [2009-07-07 15:15:12] 413*2^702694-1 is not prime. Res64: 8DD3707C692F57E7 Time : 1327.0 sec. user=vaughan [2009-07-07 15:21:42] 525*2^702695-1 is not prime. Res64: DF26990A8E70325E Time : 1267.0 sec. user=vaughan [2009-07-07 15:23:45] 501*2^702687-1 is not prime. Res64: 5749240D2AD37E22 Time : 5654.0 sec. user=vaughan [2009-07-07 15:23:48] 511*2^702687-1 is not prime. Res64: 741D070AB1ED5F91 Time : 5600.0 sec. user=vaughan [2009-07-07 15:26:13] 497*2^702696-1 is not prime. Res64: AB1ED7743EF122B2 Time : 1272.0 sec. user=vaughan [2009-07-07 15:32:57] 579*2^702687-1 is not prime. Res64: 7210087209261CC0 Time : 5571.0 sec. user=vaughan [2009-07-07 15:33:09] 543*2^702687-1 is not prime. Res64: A3751BFA94F9DBBD Time : 5629.0 sec. user=vaughan [2009-07-07 15:33:25] 405*2^702697-1 is not prime. Res64: 7D90EAF214BAB95A Time : 1329.0 sec. user=vaughan [2009-07-07 15:37:28] 423*2^702698-1 is not prime. Res64: 7964431EF3FA5689 Time : 1336.0 sec. user=vaughan [2009-07-07 15:41:56] 569*2^702688-1 is not prime. Res64: 786A638BC2EC3C3D Time : 5560.0 sec. user=vaughan [2009-07-07 15:42:26] 449*2^702688-1 is not prime. Res64: C33A53E5EE0AF283 Time : 5625.0 sec. user=vaughan [2009-07-07 15:44:14] 515*2^702698-1 is not prime. Res64: 599066F52FF295A9 Time : 1352.0 sec. user=vaughan [2009-07-07 15:47:26] 531*2^702699-1 is not prime. Res64: 0549FE51C0A9E60D Time : 1274.0 sec. user=vaughan [2009-07-07 15:51:16] 517*2^702689-1 is not prime. Res64: 6C9335B49D69BD3F Time : 5549.0 sec. user=vaughan [2009-07-07 15:52:55] 575*2^702688-1 is not prime. Res64: B8A419E6121F3C36 Time : 5687.0 sec. user=vaughan [2009-07-07 15:54:12] 453*2^702700-1 is not prime. Res64: 8C6A9A2150361549 Time : 1247.0 sec. user=vaughan [2009-07-07 15:59:36] 525*2^702701-1 is not prime. Res64: D38089C872D285D4 Time : 1328.0 sec. user=vaughan [2009-07-07 16:00:20] 461*2^702690-1 is not prime. Res64: A020414D4F7B2F0B Time : 5538.0 sec. user=vaughan [2009-07-07 16:02:33] 437*2^702690-1 is not prime. Res64: 8D79B2DFE88099BF Time : 5710.0 sec. user=vaughan [2009-07-07 16:05:21] 485*2^702702-1 is not prime. Res64: 923EE4B5A2B3E5A6 Time : 1268.0 sec. user=vaughan [2009-07-07 16:08:38] 527*2^702702-1 is not prime. Res64: AA721D80DB64A825 Time : 1272.0 sec. user=vaughan [2009-07-07 16:09:44] 583*2^702691-1 is not prime. Res64: 3F8AB4B3B0F66D3C Time : 5549.0 sec. user=vaughan [2009-07-07 16:12:28] 555*2^702691-1 is not prime. Res64: E6C83599B191E25F Time : 5747.0 sec. user=vaughan [2009-07-07 16:16:25] 559*2^702703-1 is not prime. Res64: D64738F080D34536 Time : 1334.0 sec. user=vaughan [2009-07-07 16:19:36] 539*2^702692-1 is not prime. Res64: 6B111184BC492931 Time : 5571.0 sec. user=vaughan [2009-07-07 16:21:52] 583*2^702703-1 is not prime. Res64: 0F8F5B6D99D75FB1 Time : 1336.0 sec. user=vaughan [2009-07-07 16:22:30] 525*2^702692-1 is not prime. Res64: B319BBEAC1EC5944 Time : 5774.0 sec. user=vaughan [2009-07-07 16:27:52] 465*2^702704-1 is not prime. Res64: 219A85D7FAECCFA6 Time : 1351.0 sec. user=vaughan [2009-07-07 16:29:10] 469*2^702695-1 is not prime. Res64: 1723A7BC359041CE Time : 5592.0 sec. user=vaughan [2009-07-07 16:29:52] 503*2^702704-1 is not prime. Res64: 23D883C0330AC659 Time : 1275.0 sec. user=vaughan [2009-07-07 16:32:08] 525*2^702694-1 is not prime. Res64: 3C194F85BD620839 Time : 5810.0 sec. user=vaughan [2009-07-07 16:37:11] 533*2^702704-1 is not prime. Res64: 3503C380CC03F477 Time : 1246.0 sec. user=vaughan [2009-07-07 16:38:38] 525*2^702696-1 is not prime. Res64: 5834469CFC50515E Time : 5617.0 sec. user=vaughan [2009-07-07 16:41:51] 595*2^702695-1 is not prime. Res64: 906185E6AF03D0F0 Time : 5854.0 sec. user=vaughan [2009-07-07 16:44:07] 469*2^702705-1 is not prime. Res64: 71F45877CF30FF94 Time : 1336.0 sec. user=vaughan [2009-07-07 16:48:46] 417*2^702698-1 is not prime. Res64: FCB47B1B445EAF2A Time : 5655.0 sec. user=vaughan [2009-07-07 16:49:00] 483*2^702706-1 is not prime. Res64: 17BB89E8281FBD16 Time : 1268.0 sec. user=vaughan [2009-07-07 16:51:04] 567*2^702706-1 is not prime. Res64: 584C3797CE7F2EE6 Time : 1272.0 sec. user=vaughan [2009-07-07 16:51:39] 405*2^702698-1 is not prime. Res64: 44727C5C16CF418A Time : 5855.0 sec. user=vaughan [2009-07-07 16:58:10] 501*2^702699-1 is not prime. Res64: 30F6AF535A78A014 Time : 5663.0 sec. user=vaughan [2009-07-07 16:59:25] 451*2^702707-1 is not prime. Res64: 78E0BCF6016C9DFE Time : 1334.0 sec. user=vaughan [2009-07-07 17:01:44] 433*2^702699-1 is not prime. Res64: 0E984FAB4CA67863 Time : 5879.0 sec. user=vaughan [2009-07-07 17:06:23] 585*2^702708-1 is not prime. Res64: E58BC541422936CF Time : 1336.0 sec. user=vaughan [2009-07-07 17:07:34] 571*2^702699-1 is not prime. Res64: 13927B65361BCF54 Time : 5677.0 sec. user=vaughan [2009-07-07 17:11:06] 447*2^702700-1 is not prime. Res64: 036379D6CEAEFBD4 Time : 5877.0 sec. user=vaughan [2009-07-07 17:11:32] 469*2^702709-1 is not prime. Res64: 8B86C88470C222B3 Time : 1352.0 sec. user=vaughan [2009-07-07 17:12:19] 437*2^702710-1 is not prime. Res64: C76D5F6EA9DCE7F3 Time : 1276.0 sec. user=vaughan [2009-07-07 17:17:05] 529*2^702701-1 is not prime. Res64: 6334B5DD4A11724A Time : 5709.0 sec. user=vaughan [2009-07-07 17:20:10] 489*2^702711-1 is not prime. Res64: D88B7955BC21A7F7 Time : 1246.0 sec. user=vaughan [2009-07-07 17:20:51] 559*2^702701-1 is not prime. Res64: 5E3FB2D5DE4B2BAF Time : 5905.0 sec. user=vaughan [2009-07-07 17:26:18] 433*2^702703-1 is not prime. Res64: 1561CAB4F265F97B Time : 5702.0 sec. user=vaughan [2009-07-07 17:28:40] 483*2^702712-1 is not prime. Res64: BD0EA3DD046FDBB2 Time : 1337.0 sec. user=vaughan [2009-07-07 17:30:20] 465*2^702703-1 is not prime. Res64: 0FADD94A4496FE50 Time : 5845.0 sec. user=vaughan [2009-07-07 17:32:39] 413*2^702714-1 is not prime. Res64: 0A407087AC548B03 Time : 1267.0 sec. user=vaughan [2009-07-07 17:33:30] 483*2^702714-1 is not prime. Res64: 93D262E9FC200535 Time : 1271.0 sec. user=vaughan [2009-07-07 17:35:56] 425*2^702704-1 is not prime. Res64: A7300761FDE34604 Time : 5736.0 sec. user=vaughan [2009-07-07 17:40:10] 459*2^702704-1 is not prime. Res64: 8A0F3A5D364D3BEA Time : 5857.0 sec. user=vaughan [2009-07-07 17:42:25] 441*2^702715-1 is not prime. Res64: DFC81ABB0E59F953 Time : 1335.0 sec. user=vaughan [2009-07-07 17:45:19] 509*2^702704-1 is not prime. Res64: 71433545368D45DD Time : 5735.0 sec. user=vaughan [2009-07-07 17:49:22] 525*2^702704-1 is not prime. Res64: 34A5A793B57BF6FC Time : 5814.0 sec. user=vaughan [2009-07-07 17:50:57] 539*2^702716-1 is not prime. Res64: 6D1FCA0AC74782FF Time : 1337.0 sec. user=vaughan [2009-07-07 17:54:45] 423*2^702718-1 is not prime. Res64: 498314BB57847839 Time : 1275.0 sec. user=vaughan [2009-07-07 17:54:57] 409*2^702705-1 is not prime. Res64: 23790F11EC72C1E6 Time : 5722.0 sec. user=vaughan [2009-07-07 17:55:10] 555*2^702717-1 is not prime. Res64: C8742CA4A928F262 Time : 1351.0 sec. user=vaughan [2009-07-07 17:59:18] 507*2^702705-1 is not prime. Res64: D0FC86668D73F6C5 Time : 5808.0 sec. user=vaughan [2009-07-07 18:03:11] 575*2^702718-1 is not prime. Res64: 589CC3FE8A797F28 Time : 1247.0 sec. user=vaughan [2009-07-07 18:04:38] 513*2^702706-1 is not prime. Res64: D0E29FAD90CE1EF4 Time : 5728.0 sec. user=vaughan [2009-07-07 18:09:08] 575*2^702706-1 is not prime. Res64: 31888631C954116C Time : 5820.0 sec. user=vaughan [2009-07-07 18:13:15] 501*2^702719-1 is not prime. Res64: 436F98A27CC3EC69 Time : 1338.0 sec. user=vaughan [2009-07-07 18:14:05] 413*2^702708-1 is not prime. Res64: B8F817CBBDEECA47 Time : 5727.0 sec. user=vaughan [2009-07-07 18:15:58] 559*2^702719-1 is not prime. Res64: 187294C94D9BBF6B Time : 1273.0 sec. user=vaughan [2009-07-07 18:16:15] 467*2^702720-1 is not prime. Res64: 67A32E56FE4DB32A Time : 1265.0 sec. user=vaughan [2009-07-07 18:18:18] 437*2^702708-1 is not prime. Res64: 80289A1406C13921 Time : 5787.0 sec. user=vaughan [2009-07-07 18:23:34] 411*2^702709-1 is not prime. Res64: CD46AFE4157992F4 Time : 5688.0 sec. user=vaughan [2009-07-07 18:23:56] 563*2^702720-1 is not prime. Res64: 4E621354582C59FF Time : 1245.0 sec. user=vaughan [2009-07-07 18:28:08] 453*2^702711-1 is not prime. Res64: CE6966F62CA6C950 Time : 5789.0 sec. user=vaughan [2009-07-07 18:32:55] 459*2^702711-1 is not prime. Res64: 2B98EEC418DD81DF Time : 5685.0 sec. user=vaughan [2009-07-07 18:35:21] 559*2^702721-1 is not prime. Res64: 2E7000B008BB2044 Time : 1326.0 sec. user=vaughan [2009-07-07 18:37:12] 447*2^702722-1 is not prime. Res64: 9B84CEE35D96AAB1 Time : 1275.0 sec. user=vaughan [2009-07-07 18:37:49] 511*2^702711-1 is not prime. Res64: D10884DC69AD6E18 Time : 5765.0 sec. user=vaughan [2009-07-07 18:38:46] 483*2^702722-1 is not prime. Res64: 123B9DB766BDB66F Time : 1351.0 sec. user=vaughan [2009-07-07 18:42:35] 537*2^702713-1 is not prime. Res64: 24077C96A5EFE75B Time : 5702.0 sec. user=vaughan [2009-07-07 18:44:43] 521*2^702722-1 is not prime. Res64: C8DC4062B149E240 Time : 1247.0 sec. user=vaughan [2009-07-07 18:47:06] 411*2^702714-1 is not prime. Res64: 39D3DBEBFCE9D208 Time : 5761.0 sec. user=vaughan [2009-07-07 18:51:48] 433*2^702715-1 is not prime. Res64: 6960320943A9FDFC Time : 5683.0 sec. user=vaughan [2009-07-07 18:56:11] 459*2^702723-1 is not prime. Res64: E7AFCE17AC653D63 Time : 1250.0 sec. user=vaughan [2009-07-07 18:56:13] 519*2^702715-1 is not prime. Res64: 96EAEEDFB996FBAC Time : 5722.0 sec. user=vaughan [2009-07-07 18:58:23] 523*2^702723-1 is not prime. Res64: 2FA4398251F2AA05 Time : 1271.0 sec. user=vaughan [2009-07-07 18:59:52] 573*2^702723-1 is not prime. Res64: E85019D5CDFB6C6D Time : 1266.0 sec. user=vaughan [2009-07-07 19:01:05] 507*2^702716-1 is not prime. Res64: 286B1260A534980A Time : 5688.0 sec. user=vaughan [2009-07-07 19:05:15] 529*2^702717-1 is not prime. Res64: 14C76A7CA884518C Time : 5695.0 sec. user=vaughan [2009-07-07 19:05:29] 513*2^702724-1 is not prime. Res64: EF4877A69284C8F0 Time : 1246.0 sec. user=vaughan [2009-07-07 19:10:40] 435*2^702718-1 is not prime. Res64: 3368DE5C45416DE0 Time : 5684.0 sec. user=vaughan [2009-07-07 19:14:48] 471*2^702718-1 is not prime. Res64: 90B6375ACA8AB559 Time : 5678.0 sec. user=vaughan [2009-07-07 19:18:18] 447*2^702726-1 is not prime. Res64: 1BA1609C2000F8EC Time : 1327.0 sec. user=vaughan [2009-07-07 19:19:39] 483*2^702726-1 is not prime. Res64: 2513A2B049A6D1CF Time : 1276.0 sec. user=vaughan [2009-07-07 19:19:46] 403*2^702719-1 is not prime. Res64: 73158DF8E8BA51C5 Time : 5667.0 sec. user=vaughan [2009-07-07 19:22:23] 485*2^702726-1 is not prime. Res64: 837FB67CFEE206B7 Time : 1352.0 sec. user=vaughan [2009-07-07 19:24:00] 463*2^702719-1 is not prime. Res64: AC6554C3999AD3FC Time : 5678.0 sec. user=vaughan [2009-07-07 19:26:16] 551*2^702726-1 is not prime. Res64: 0F4E208A20DDB5C0 Time : 1247.0 sec. user=vaughan [2009-07-07 19:29:08] 423*2^702720-1 is not prime. Res64: 63F8D14AE44E901A Time : 5651.0 sec. user=vaughan [2009-07-07 19:33:33] 543*2^702720-1 is not prime. Res64: BD750804B0ABB322 Time : 5655.0 sec. user=vaughan [2009-07-07 19:38:29] 411*2^702721-1 is not prime. Res64: FBF126D37D28C841 Time : 5631.0 sec. user=vaughan [2009-07-07 19:39:07] 441*2^702727-1 is not prime. Res64: 4E39D2663BB55923 Time : 1250.0 sec. user=vaughan [2009-07-07 19:40:51] 405*2^702728-1 is not prime. Res64: 30246D33E1344562 Time : 1272.0 sec. user=vaughan [2009-07-07 19:42:54] 549*2^702721-1 is not prime. Res64: 9FF413726952C6A0 Time : 5626.0 sec. user=vaughan [2009-07-07 19:43:29] 447*2^702729-1 is not prime. Res64: BDE27FF88AA32F48 Time : 1266.0 sec. user=vaughan [2009-07-07 19:47:01] 537*2^702729-1 is not prime. Res64: 47107FB93EAF487F Time : 1245.0 sec. user=vaughan [2009-07-07 19:47:59] 431*2^702722-1 is not prime. Res64: 38B74256D794A566 Time : 5634.0 sec. user=vaughan [2009-07-07 19:52:28] 497*2^702722-1 is not prime. Res64: A5829945DB7EBC64 Time : 5650.0 sec. user=vaughan [2009-07-07 19:57:36] 507*2^702722-1 is not prime. Res64: A0CEB71B7C80A61A Time : 5642.0 sec. user=vaughan [2009-07-07 20:01:13] 459*2^702731-1 is not prime. Res64: 54397D382F9AB285 Time : 1327.0 sec. user=vaughan [2009-07-07 20:01:59] 567*2^702722-1 is not prime. Res64: E02BFBF699A9D0BE Time : 5631.0 sec. user=vaughan [2009-07-07 20:02:06] 463*2^702731-1 is not prime. Res64: E1068198921448B0 Time : 1275.0 sec. user=vaughan [2009-07-07 20:05:52] 571*2^702731-1 is not prime. Res64: 40201FD259DD4EC6 Time : 1344.0 sec. user=vaughan [2009-07-07 20:06:44] 573*2^702722-1 is not prime. Res64: 9E0E15A441FFCA7A Time : 5629.0 sec. user=vaughan [2009-07-07 20:07:48] 405*2^702732-1 is not prime. Res64: AEA5F029FE8BF8AE Time : 1247.0 sec. user=vaughan [2009-07-07 20:11:00] 543*2^702723-1 is not prime. Res64: 2C223325A782143C Time : 5591.0 sec. user=vaughan [2009-07-07 20:16:00] 595*2^702723-1 is not prime. Res64: 8A7B7BF97361D0EB Time : 5605.0 sec. user=vaughan [2009-07-07 20:20:09] 451*2^702725-1 is not prime. Res64: 2A7EE5921840872E Time : 5583.0 sec. user=vaughan [2009-07-07 20:22:02] 549*2^702732-1 is not prime. Res64: 40B9D84E28AD2885 Time : 1249.0 sec. user=vaughan [2009-07-07 20:23:18] 563*2^702732-1 is not prime. Res64: B31B714596E1B734 Time : 1272.0 sec. user=vaughan [2009-07-07 20:25:23] 437*2^702726-1 is not prime. Res64: 9CF0B0DF77B88D2C Time : 5616.0 sec. user=vaughan [2009-07-07 20:26:57] 567*2^702732-1 is not prime. Res64: AEEB93C9D89851C1 Time : 1265.0 sec. user=vaughan [2009-07-07 20:28:33] 585*2^702732-1 is not prime. Res64: FF9C81630C6EEE3C Time : 1245.0 sec. user=vaughan [2009-07-07 20:29:03] 473*2^702726-1 is not prime. Res64: FBE5700D825E964E Time : 5570.0 sec. user=vaughan [2009-07-07 20:34:37] 507*2^702726-1 is not prime. Res64: 976B47031CA9D000 Time : 5613.0 sec. user=vaughan [2009-07-07 20:38:24] 525*2^702726-1 is not prime. Res64: 814B139D4520E6A5 Time : 5590.0 sec. user=vaughan [2009-07-07 20:43:44] 567*2^702726-1 is not prime. Res64: C943BFFD88740AD9 Time : 5584.0 sec. user=vaughan [2009-07-07 20:44:09] 549*2^702733-1 is not prime. Res64: C8C86ACD20272CBB Time : 1327.0 sec. user=vaughan [2009-07-07 20:45:51] 565*2^702733-1 is not prime. Res64: E9EBD903C2561A03 Time : 1353.0 sec. user=vaughan [2009-07-07 20:47:59] 423*2^702727-1 is not prime. Res64: 00D2CE74973DB88B Time : 5591.0 sec. user=vaughan [2009-07-07 20:49:20] 435*2^702734-1 is not prime. Res64: 2EB3BC6AA2395A1C Time : 1247.0 sec. user=vaughan [2009-07-07 20:49:23] 423*2^702734-1 is not prime. Res64: 5AC5FCF12F3E210D Time : 1346.0 sec. user=vaughan [2009-07-07 20:53:17] 537*2^702728-1 is not prime. Res64: D8C86039249F53FC Time : 5611.0 sec. user=vaughan [2009-07-07 20:57:54] 457*2^702729-1 is not prime. Res64: 74C8B4D4DCF280ED Time : 5634.0 sec. user=vaughan [2009-07-07 21:02:33] 559*2^702729-1 is not prime. Res64: 0973CF8099568B0D Time : 5605.0 sec. user=vaughan [2009-07-07 21:06:27] 405*2^702736-1 is not prime. Res64: 8EAF733149FEF0BB Time : 1338.0 sec. user=vaughan [2009-07-07 21:06:53] 425*2^702730-1 is not prime. Res64: 5AB7D882F9FA4B17 Time : 5600.0 sec. user=vaughan [2009-07-07 21:08:35] 407*2^702736-1 is not prime. Res64: 350317E7421192BB Time : 1364.0 sec. user=vaughan [2009-07-07 21:10:30] 475*2^702737-1 is not prime. Res64: 3AF35D782BA4D408 Time : 1267.0 sec. user=vaughan [2009-07-07 21:11:33] 573*2^702736-1 is not prime. Res64: F0AE96F0B6D389A0 Time : 1333.0 sec. user=vaughan [2009-07-07 21:11:58] 531*2^702730-1 is not prime. Res64: D0142566EEA86DB9 Time : 5610.0 sec. user=vaughan [2009-07-07 21:16:20] 465*2^702731-1 is not prime. Res64: FFBB08FBF0A75DE3 Time : 5606.0 sec. user=vaughan [2009-07-07 21:21:05] 419*2^702732-1 is not prime. Res64: 82FC620E5B54FC0F Time : 5586.0 sec. user=vaughan [2009-07-07 21:25:29] 447*2^702732-1 is not prime. Res64: 9D6924D8550E4A7C Time : 5581.0 sec. user=vaughan [2009-07-07 21:28:34] 453*2^702738-1 is not prime. Res64: 2D5F01F36DD66A69 Time : 1327.0 sec. user=vaughan [2009-07-07 21:30:11] 513*2^702732-1 is not prime. Res64: 4F6B25AB9CA7F3D8 Time : 5556.0 sec. user=vaughan [2009-07-07 21:31:17] 507*2^702738-1 is not prime. Res64: 9BF5DCB18ED24A3E Time : 1362.0 sec. user=vaughan [2009-07-07 21:31:39] 563*2^702738-1 is not prime. Res64: 47F1ABA1D84B21B5 Time : 1269.0 sec. user=vaughan [2009-07-07 21:32:21] 567*2^702738-1 is not prime. Res64: E914D1DB6DB61986 Time : 1248.0 sec. user=vaughan [2009-07-07 21:34:31] 555*2^702732-1 is not prime. Res64: 00026AD1E497AC20 Time : 5552.0 sec. user=vaughan [2009-07-07 21:39:16] 569*2^702732-1 is not prime. Res64: F5862D82ED980080 Time : 5552.0 sec. user=vaughan [2009-07-07 21:43:32] 405*2^702733-1 is not prime. Res64: 8867B0F1644769D9 Time : 5552.0 sec. user=vaughan [2009-07-07 21:48:36] 451*2^702733-1 is not prime. Res64: D4373D558A73F502 Time : 5556.0 sec. user=vaughan [2009-07-07 21:49:22] 449*2^702740-1 is not prime. Res64: 702B2AF901D916CE Time : 1248.0 sec. user=vaughan [2009-07-07 21:53:34] 537*2^702733-1 is not prime. Res64: 87B25AE3A3D587F9 Time : 5606.0 sec. user=vaughan [2009-07-07 21:54:01] 519*2^702740-1 is not prime. Res64: 3E80B7C6F5714816 Time : 1364.0 sec. user=vaughan [2009-07-07 21:54:16] 533*2^702740-1 is not prime. Res64: CA1BF3EC2B58C202 Time : 1358.0 sec. user=vaughan [2009-07-07 21:54:33] 587*2^702740-1 is not prime. Res64: 250A70E598CCF978 Time : 1332.0 sec. user=vaughan [2009-07-07 21:58:26] 407*2^702734-1 is not prime. Res64: B80C010EA72746D2 Time : 5584.0 sec. user=vaughan [2009-07-07 22:02:30] 545*2^702734-1 is not prime. Res64: FE4293890C2E8383 Time : 5607.0 sec. user=vaughan [2009-07-07 22:06:28] 405*2^702735-1 is not prime. Res64: DA22D97ECDAD4696 Time : 5511.0 sec. user=vaughan [2009-07-07 22:10:46] 543*2^702735-1 is not prime. Res64: A35D4154ECD69EF0 Time : 5542.0 sec. user=vaughan [2009-07-07 22:11:33] 423*2^702742-1 is not prime. Res64: FBE2D7F82D5E7728 Time : 1331.0 sec. user=vaughan [2009-07-07 22:15:19] 527*2^702742-1 is not prime. Res64: B354468E1086DB29 Time : 1279.0 sec. user=vaughan [2009-07-07 22:15:29] 533*2^702742-1 is not prime. Res64: BDC6DE1364446EF4 Time : 1273.0 sec. user=vaughan [2009-07-07 22:15:31] 573*2^702735-1 is not prime. Res64: F433EDE72D35D052 Time : 5507.0 sec. user=vaughan [2009-07-07 22:15:35] 561*2^702742-1 is not prime. Res64: E6FA949B0645DFF3 Time : 1262.0 sec. user=vaughan [2009-07-07 22:20:23] 437*2^702736-1 is not prime. Res64: F4BC721BCCF766C8 Time : 5544.0 sec. user=vaughan [2009-07-07 22:24:42] 487*2^702737-1 is not prime. Res64: 84AF7D01552EBB22 Time : 5485.0 sec. user=vaughan [2009-07-07 22:29:42] 501*2^702737-1 is not prime. Res64: 8C653047C12C7625 Time : 5508.0 sec. user=vaughan [2009-07-07 22:32:20] 549*2^702744-1 is not prime. Res64: 3027D6A401EC59DA Time : 1247.0 sec. user=vaughan [2009-07-07 22:33:59] 431*2^702738-1 is not prime. Res64: B8A069C88E110AFF Time : 5486.0 sec. user=vaughan [2009-07-07 22:37:47] 597*2^702744-1 is not prime. Res64: B0463D2D4B0982DF Time : 1333.0 sec. user=vaughan [2009-07-07 22:38:03] 555*2^702744-1 is not prime. Res64: C73928D72701821F Time : 1364.0 sec. user=vaughan [2009-07-07 22:38:06] 569*2^702744-1 is not prime. Res64: EF8A8733F58D3DFD Time : 1358.0 sec. user=vaughan [2009-07-07 22:38:46] 465*2^702738-1 is not prime. Res64: 133692B20F679206 Time : 5513.0 sec. user=vaughan [2009-07-07 22:43:18] 483*2^702739-1 is not prime. Res64: EC223B9AECFE82CC Time : 5480.0 sec. user=vaughan [2009-07-07 22:48:02] 549*2^702739-1 is not prime. Res64: 8CE65B538B9BB794 Time : 5502.0 sec. user=vaughan [2009-07-07 22:52:32] 589*2^702739-1 is not prime. Res64: CA6E9726F8D16754 Time : 5487.0 sec. user=vaughan [2009-07-07 22:55:34] 407*2^702746-1 is not prime. Res64: E12C2ADECC4DD4C9 Time : 1394.0 sec. user=vaughan [2009-07-07 22:57:19] 437*2^702740-1 is not prime. Res64: 77C9B0A5DB33528B Time : 5510.0 sec. user=vaughan [2009-07-07 23:00:18] 497*2^702746-1 is not prime. Res64: E9C2BF115D719569 Time : 1351.0 sec. user=vaughan [2009-07-07 23:00:52] 545*2^702746-1 is not prime. Res64: FE20E5E49A19B1BE Time : 1369.0 sec. user=vaughan [2009-07-07 23:01:00] 575*2^702746-1 is not prime. Res64: 166B2A999FA75D4A Time : 1375.0 sec. user=vaughan [2009-07-07 23:01:34] 483*2^702740-1 is not prime. Res64: 6940C5460E42062A Time : 5484.0 sec. user=vaughan [2009-07-07 23:07:25] 415*2^702741-1 is not prime. Res64: 4278DD92B590C995 Time : 5574.0 sec. user=vaughan [2009-07-07 23:11:28] 471*2^702741-1 is not prime. Res64: F4E8765D9B6A1EAA Time : 5532.0 sec. user=vaughan [2009-07-07 23:17:06] 537*2^702741-1 is not prime. Res64: 1964C3FAF31D960A Time : 5614.0 sec. user=vaughan [2009-07-07 23:21:16] 597*2^702741-1 is not prime. Res64: 8678F2B6535C9BB7 Time : 5560.0 sec. user=vaughan [2009-07-07 23:26:45] 425*2^702742-1 is not prime. Res64: 5E1DE99DA7D054DA Time : 5591.0 sec. user=vaughan [2009-07-07 23:30:40] 451*2^702743-1 is not prime. Res64: 513DAEC44C466733 Time : 5534.0 sec. user=vaughan [2009-07-07 23:36:24] 571*2^702743-1 is not prime. Res64: E8973C34E5D6BD61 Time : 5634.0 sec. user=vaughan [2009-07-07 23:39:42] 595*2^702743-1 is not prime. Res64: A5DB1F9BB0F9F802 Time : 5594.0 sec. user=vaughan [2009-07-07 23:45:36] 473*2^702744-1 is not prime. Res64: 6835B4B23FA4261C Time : 5690.0 sec. user=vaughan [2009-07-07 23:49:13] 585*2^702744-1 is not prime. Res64: 746EB189F89E3E98 Time : 5622.0 sec. user=vaughan [2009-07-07 23:55:52] 477*2^702745-1 is not prime. Res64: CE060A708BBE560A Time : 5729.0 sec. user=vaughan [2009-07-07 23:58:59] 567*2^702745-1 is not prime. Res64: 0BC38CDA4588194B Time : 5658.0 sec.