user=vaughan [2009-03-02 00:05:09] 687*2^623380-1 is not prime. Res64: B1C78A777E5D07CF Time : 374.0 sec. user=vaughan [2009-03-02 00:06:33] 663*2^623214-1 is not prime. Res64: 060B51F04BE566BD Time : 156525.0 sec. user=vaughan [2009-03-02 00:11:20] 743*2^623380-1 is not prime. Res64: B063B779A3E3F03D Time : 371.0 sec. user=vaughan [2009-03-02 00:17:31] 607*2^623381-1 is not prime. Res64: 8B026C0A8A12D3B0 Time : 371.0 sec. user=tnerual [2009-03-02 00:19:53] 635*2^623380-1 is not prime. Res64: C336690D0F06D43A Time : 1602.0 sec. user=vaughan [2009-03-02 00:23:47] 793*2^623067-1 is not prime. Res64: E0F1A36402ACA59E Time : 376.0 sec. user=vaughan [2009-03-02 00:26:15] 735*2^623216-1 is not prime. Res64: 77A014A9C23ADDA6 Time : 156044.0 sec. user=vaughan [2009-03-02 00:30:08] 717*2^623381-1 is not prime. Res64: 68B03101D2FB8EFE Time : 382.0 sec. user=vaughan [2009-03-02 00:36:37] 727*2^623381-1 is not prime. Res64: 98DF363F56140EC5 Time : 390.0 sec. user=vaughan [2009-03-02 00:42:49] 795*2^623381-1 is not prime. Res64: EE0A255A8F59AA57 Time : 373.0 sec. user=vaughan [2009-03-02 00:46:45] 741*2^623219-1 is not prime. Res64: DDD914BB69255C74 Time : 155591.0 sec. user=tnerual [2009-03-02 00:47:54] 619*2^623381-1 is not prime. Res64: FB4051D56AF705D8 Time : 1682.0 sec. user=vaughan [2009-03-02 00:49:03] 635*2^623070-1 is not prime. Res64: 8F425540B82B371C Time : 374.0 sec. user=vaughan [2009-03-02 00:55:15] 621*2^623382-1 is not prime. Res64: 687D60EDDF2671E5 Time : 373.0 sec. user=vaughan [2009-03-02 01:01:28] 635*2^623382-1 is not prime. Res64: 5FD998761E0EB871 Time : 373.0 sec. user=vaughan [2009-03-02 01:07:46] 767*2^623072-1 is not prime. Res64: F1F3035173E487ED Time : 378.0 sec. user=vaughan [2009-03-02 01:08:36] 771*2^623222-1 is not prime. Res64: DBBC7CA359B1E694 Time : 155266.0 sec. user=vaughan [2009-03-02 01:14:02] 651*2^623382-1 is not prime. Res64: 33B1E2ACB5894FE2 Time : 376.0 sec. user=tnerual [2009-03-02 01:19:03] 615*2^623382-1 is not prime. Res64: 5FE48F382D7F7488 Time : 1869.0 sec. user=vaughan [2009-03-02 01:20:15] 717*2^623382-1 is not prime. Res64: AC13B6931A58EA75 Time : 374.0 sec. user=vaughan [2009-03-02 01:26:28] 797*2^623382-1 is not prime. Res64: CFABF48CCE045EA9 Time : 374.0 sec. user=vaughan [2009-03-02 01:31:50] 669*2^623225-1 is not prime. Res64: B8451279BF239476 Time : 154976.0 sec. user=vaughan [2009-03-02 01:32:40] 633*2^623075-1 is not prime. Res64: BB6CEF9AA74CDA2F Time : 372.0 sec. user=vaughan [2009-03-02 01:38:53] 679*2^623383-1 is not prime. Res64: 6A5BA1F933811A4D Time : 373.0 sec. user=tnerual [2009-03-02 01:43:19] 741*2^623382-1 is not prime. Res64: D1AEC696623BC755 Time : 1456.0 sec. user=vaughan [2009-03-02 01:45:06] 665*2^623384-1 is not prime. Res64: AAEEDE2E6F0FA9EB Time : 373.0 sec. user=vaughan [2009-03-02 01:51:18] 699*2^623384-1 is not prime. Res64: E0730A0EACEEBF72 Time : 372.0 sec. user=vaughan [2009-03-02 01:52:54] 777*2^623226-1 is not prime. Res64: A079AAEA29E08DB8 Time : 154543.0 sec. user=vaughan [2009-03-02 01:57:31] 779*2^623076-1 is not prime. Res64: 446793DA79907AAC Time : 373.0 sec. user=vaughan [2009-03-02 02:03:44] 755*2^623384-1 is not prime. Res64: 7AB13E5A15B3A716 Time : 373.0 sec. user=tnerual [2009-03-02 02:05:26] 675*2^623384-1 is not prime. Res64: F4D965AEDF9B7125 Time : 1327.0 sec. user=vaughan [2009-03-02 02:10:31] 625*2^623385-1 is not prime. Res64: 4D58184DBDC57C4A Time : 407.0 sec. user=vaughan [2009-03-02 02:16:31] 677*2^623228-1 is not prime. Res64: F1C15680B377E734 Time : 154236.0 sec. user=vaughan [2009-03-02 02:16:44] 661*2^623079-1 is not prime. Res64: F93346AE65990FB0 Time : 373.0 sec. user=vaughan [2009-03-02 02:22:55] 691*2^623385-1 is not prime. Res64: E13804ED5C2DB31E Time : 371.0 sec. user=tnerual [2009-03-02 02:27:31] 649*2^623385-1 is not prime. Res64: E49F740292A3CE08 Time : 1325.0 sec. user=vaughan [2009-03-02 02:29:08] 705*2^623385-1 is not prime. Res64: 102D965C7A68874A Time : 373.0 sec. user=vaughan [2009-03-02 02:34:47] 711*2^622677-1 is not prime. Res64: 1A00F71EB5108867 Time : 153607.0 sec. user=vaughan [2009-03-02 02:35:21] 653*2^623386-1 is not prime. Res64: 61027FB0F2428E93 Time : 373.0 sec. user=vaughan [2009-03-02 02:41:34] 627*2^623081-1 is not prime. Res64: 7F012A09DDD7C935 Time : 373.0 sec. user=vaughan [2009-03-02 02:47:45] 713*2^623386-1 is not prime. Res64: B7084AF5C30C971A Time : 371.0 sec. user=tnerual [2009-03-02 02:49:37] 787*2^623385-1 is not prime. Res64: A490763C16D59071 Time : 1326.0 sec. user=vaughan [2009-03-02 02:51:47] 769*2^623229-1 is not prime. Res64: 0695DCC4A1B0B37D Time : 152896.0 sec. user=vaughan [2009-03-02 02:53:57] 619*2^623387-1 is not prime. Res64: CD0F84626EEF487E Time : 372.0 sec. user=vaughan [2009-03-02 03:00:09] 711*2^623387-1 is not prime. Res64: 431C19911B0F8E9D Time : 372.0 sec. user=vaughan [2009-03-02 03:06:21] 673*2^623083-1 is not prime. Res64: 05F8B9CC21D017AA Time : 372.0 sec. user=vaughan [2009-03-02 03:10:59] 641*2^622686-1 is not prime. Res64: 597B7DEC8EDD6123 Time : 152328.0 sec. user=tnerual [2009-03-02 03:11:42] 703*2^623387-1 is not prime. Res64: BA5E30BE02D06444 Time : 1325.0 sec. user=vaughan [2009-03-02 03:12:34] 639*2^623389-1 is not prime. Res64: F9ABFFFE038D6AEC Time : 373.0 sec. user=vaughan [2009-03-02 03:18:46] 751*2^623389-1 is not prime. Res64: 75B7240AC6DD2D44 Time : 373.0 sec. user=vaughan [2009-03-02 03:24:59] 775*2^623389-1 is not prime. Res64: 8EA51BF831335C48 Time : 374.0 sec. user=vaughan [2009-03-02 03:29:26] 767*2^623232-1 is not prime. Res64: D9FEDF1C2FB03F15 Time : 151720.0 sec. user=vaughan [2009-03-02 03:31:11] 725*2^623084-1 is not prime. Res64: 8BCEED7178CC1761 Time : 372.0 sec. user=tnerual [2009-03-02 03:33:47] 699*2^623389-1 is not prime. Res64: C38051A9D25D5FF7 Time : 1326.0 sec. user=vaughan [2009-03-02 03:37:22] 635*2^623390-1 is not prime. Res64: F75EACBEFC9FA09C Time : 371.0 sec. user=vaughan [2009-03-02 03:43:35] 665*2^623390-1 is not prime. Res64: 96926406F62BA89E Time : 373.0 sec. user=vaughan [2009-03-02 03:46:18] 699*2^623236-1 is not prime. Res64: 0BC383D4E324A1E1 Time : 151027.0 sec. user=vaughan [2009-03-02 03:49:46] 711*2^623390-1 is not prime. Res64: C7FC38764E4DAE08 Time : 371.0 sec. user=tnerual [2009-03-02 03:55:51] 651*2^623390-1 is not prime. Res64: 4E74984CA6A3719E Time : 1324.0 sec. user=vaughan [2009-03-02 03:56:00] 713*2^623390-1 is not prime. Res64: 1933FB6DE4D4C862 Time : 374.0 sec. user=vaughan [2009-03-02 04:02:11] 745*2^623391-1 is not prime. Res64: 620FE19587FA3672 Time : 372.0 sec. user=vaughan [2009-03-02 04:03:05] 693*2^623239-1 is not prime. Res64: 44B1C9442B98C420 Time : 150411.0 sec. user=vaughan [2009-03-02 04:08:27] 615*2^623392-1 is not prime. Res64: 676B399C7CA060D9 Time : 376.0 sec. user=vaughan [2009-03-02 04:14:40] 635*2^623392-1 is not prime. Res64: F6E645FFD81FA3D6 Time : 373.0 sec. user=tnerual [2009-03-02 04:18:06] 723*2^623391-1 is not prime. Res64: FB51230495C42811 Time : 1335.0 sec. user=vaughan [2009-03-02 04:20:54] 675*2^623392-1 is not prime. Res64: DF04CB38791E8578 Time : 374.0 sec. user=vaughan [2009-03-02 04:21:36] 633*2^623242-1 is not prime. Res64: 7CC4C40DF185F525 Time : 149915.0 sec. user=vaughan [2009-03-02 04:27:09] 779*2^623392-1 is not prime. Res64: 538297533D5B46FC Time : 376.0 sec. user=vaughan [2009-03-02 04:33:21] 615*2^623393-1 is not prime. Res64: 897513CF9E850B78 Time : 372.0 sec. user=vaughan [2009-03-02 04:38:33] 675*2^623244-1 is not prime. Res64: 1F664FDEAD0B6E40 Time : 149201.0 sec. user=vaughan [2009-03-02 04:39:32] 721*2^623393-1 is not prime. Res64: D5ECE525AE103301 Time : 371.0 sec. user=tnerual [2009-03-02 04:40:13] 717*2^623392-1 is not prime. Res64: 03A51EC5AA6C90A1 Time : 1327.0 sec. user=vaughan [2009-03-02 04:45:43] 741*2^623393-1 is not prime. Res64: 489A514DE71DF786 Time : 371.0 sec. user=vaughan [2009-03-02 04:51:55] 657*2^623394-1 is not prime. Res64: 989A624C00517FB1 Time : 372.0 sec. user=vaughan [2009-03-02 04:55:23] 697*2^623249-1 is not prime. Res64: B5096D2AF2F9BBDD Time : 148521.0 sec. user=vaughan [2009-03-02 04:58:06] 755*2^623394-1 is not prime. Res64: 782A4648FEFC6509 Time : 371.0 sec. user=tnerual [2009-03-02 05:02:18] 605*2^623394-1 is not prime. Res64: D2EC704668511FBE Time : 1326.0 sec. user=vaughan [2009-03-02 05:04:20] 767*2^623394-1 is not prime. Res64: BE78B153F3FA14C6 Time : 374.0 sec. user=vaughan [2009-03-02 05:06:17] 723*2^623346-1 is not prime. Res64: 048FB2A99D7C330A Time : 92451.0 sec. user=vaughan [2009-03-02 05:10:34] 633*2^623396-1 is not prime. Res64: 3BF1C1F4076E7066 Time : 374.0 sec. user=vaughan [2009-03-02 05:13:02] 747*2^623253-1 is not prime. Res64: 9EC84645BB243BBC Time : 147851.0 sec. user=vaughan [2009-03-02 05:16:48] 659*2^623396-1 is not prime. Res64: B2E01C83A3CEC47A Time : 374.0 sec. user=vaughan [2009-03-02 05:20:39] 765*2^623298-1 is not prime. Res64: CD0678D52A06F4AC Time : 120241.0 sec. user=vaughan [2009-03-02 05:22:59] 693*2^623396-1 is not prime. Res64: 2F1DBE3AF3C11272 Time : 371.0 sec. user=tnerual [2009-03-02 05:24:23] 699*2^623395-1 is not prime. Res64: E1E1DC990241DB26 Time : 1326.0 sec. user=vaughan [2009-03-02 05:25:45] 615*2^623299-1 is not prime. Res64: AA46FE8C8E14860A Time : 120235.0 sec. user=vaughan [2009-03-02 05:29:20] 699*2^623396-1 is not prime. Res64: 85D871BB53BF6068 Time : 381.0 sec. user=vaughan [2009-03-02 05:30:58] 679*2^623299-1 is not prime. Res64: EC31C23088C35ABF Time : 120234.0 sec. user=vaughan [2009-03-02 05:32:35] 653*2^623256-1 is not prime. Res64: F4F29E76986ECBE6 Time : 147293.0 sec. user=vaughan [2009-03-02 05:35:35] 717*2^623396-1 is not prime. Res64: EEB9559542888431 Time : 376.0 sec. user=vaughan [2009-03-02 05:36:21] 685*2^623299-1 is not prime. Res64: 904984F083E8CE20 Time : 120245.0 sec. user=vaughan [2009-03-02 05:41:46] 707*2^623300-1 is not prime. Res64: 2AAF0897300150F7 Time : 120257.0 sec. user=vaughan [2009-03-02 05:41:46] 675*2^623397-1 is not prime. Res64: 4A88CAEDDB4E35C9 Time : 372.0 sec. user=tnerual [2009-03-02 05:46:28] 707*2^623396-1 is not prime. Res64: BDDE99AA31C42CA5 Time : 1326.0 sec. user=vaughan [2009-03-02 05:47:06] 725*2^623300-1 is not prime. Res64: B90ADF71CB87E68A Time : 120267.0 sec. user=vaughan [2009-03-02 05:48:12] 645*2^623398-1 is not prime. Res64: 8807B49078CCE2CA Time : 386.0 sec. user=vaughan [2009-03-02 05:52:30] 709*2^623301-1 is not prime. Res64: F517197E74B952CC Time : 120277.0 sec. user=vaughan [2009-03-02 05:54:28] 713*2^623398-1 is not prime. Res64: FB79EB36ABCDAE94 Time : 377.0 sec. user=vaughan [2009-03-02 05:57:51] 617*2^623302-1 is not prime. Res64: ED41A8B5856D3E54 Time : 120285.0 sec. user=vaughan [2009-03-02 05:59:04] 641*2^623258-1 is not prime. Res64: CDF3F81E228F43C4 Time : 147148.0 sec. user=vaughan [2009-03-02 06:00:44] 679*2^623399-1 is not prime. Res64: F081E9427C73254C Time : 376.0 sec. user=vaughan [2009-03-02 06:03:10] 755*2^623302-1 is not prime. Res64: 5D22D47E3217616F Time : 120294.0 sec. user=vaughan [2009-03-02 06:07:04] 753*2^623399-1 is not prime. Res64: 81F9D515DE8E018D Time : 380.0 sec. user=vaughan [2009-03-02 06:08:33] 777*2^623302-1 is not prime. Res64: ED8F904F940C684B Time : 120305.0 sec. user=tnerual [2009-03-02 06:08:34] 695*2^623398-1 is not prime. Res64: D7E29FEF97F3C361 Time : 1327.0 sec. user=vaughan [2009-03-02 06:13:19] 737*2^623400-1 is not prime. Res64: C0E8EC821E884561 Time : 375.0 sec. user=vaughan [2009-03-02 06:13:56] 693*2^623303-1 is not prime. Res64: A677A8813DE34578 Time : 120314.0 sec. user=vaughan [2009-03-02 06:19:16] 635*2^623304-1 is not prime. Res64: 02D139EAD6C72AF5 Time : 120320.0 sec. user=vaughan [2009-03-02 06:19:32] 615*2^623401-1 is not prime. Res64: 698D02F124326470 Time : 373.0 sec. user=vaughan [2009-03-02 06:24:38] 665*2^623304-1 is not prime. Res64: 7C450939E8375402 Time : 120327.0 sec. user=vaughan [2009-03-02 06:25:52] 645*2^623401-1 is not prime. Res64: 9A9ED4B7574AA923 Time : 380.0 sec. user=vaughan [2009-03-02 06:26:48] 619*2^623261-1 is not prime. Res64: 4746EBEA78F3B500 Time : 147117.0 sec. user=vaughan [2009-03-02 06:30:03] 699*2^623305-1 is not prime. Res64: 0721D241677D12BB Time : 120342.0 sec. user=tnerual [2009-03-02 06:30:38] 747*2^623400-1 is not prime. Res64: 13CF629534F817E5 Time : 1325.0 sec. user=vaughan [2009-03-02 06:32:03] 685*2^623401-1 is not prime. Res64: 0834D341114357C6 Time : 372.0 sec. user=vaughan [2009-03-02 06:35:22] 645*2^623306-1 is not prime. Res64: 3AE69A6F3F00BB99 Time : 120347.0 sec. user=vaughan [2009-03-02 06:38:28] 743*2^623402-1 is not prime. Res64: 19928C511595CE02 Time : 385.0 sec. user=vaughan [2009-03-02 06:40:45] 765*2^623307-1 is not prime. Res64: 58DA4192F2880018 Time : 120356.0 sec. user=vaughan [2009-03-02 06:44:41] 785*2^623402-1 is not prime. Res64: 5693B9B1EEA0FEA3 Time : 374.0 sec. user=vaughan [2009-03-02 06:46:05] 769*2^623307-1 is not prime. Res64: 4A0E63B09705915A Time : 120364.0 sec. user=vaughan [2009-03-02 06:50:51] 625*2^623403-1 is not prime. Res64: 831A7BFAC65B1B4E Time : 370.0 sec. user=vaughan [2009-03-02 06:51:28] 635*2^623308-1 is not prime. Res64: B36A4F7A39BA0BE3 Time : 120375.0 sec. user=vaughan [2009-03-02 06:52:48] 711*2^623262-1 is not prime. Res64: FC6F4EEC297A99CF Time : 146975.0 sec. user=vaughan [2009-03-02 06:56:48] 627*2^623309-1 is not prime. Res64: 084C274A0336FEB8 Time : 120384.0 sec. user=vaughan [2009-03-02 06:57:01] 709*2^623403-1 is not prime. Res64: B5C566C3832C0A76 Time : 370.0 sec. user=vaughan [2009-03-02 07:02:11] 745*2^623309-1 is not prime. Res64: E337B01ACAC9F23A Time : 120393.0 sec. user=vaughan [2009-03-02 07:03:13] 765*2^623403-1 is not prime. Res64: B52A02EDCF4FEE24 Time : 372.0 sec. user=vaughan [2009-03-02 07:07:34] 789*2^623309-1 is not prime. Res64: 3C5FCF27A3536F9A Time : 120401.0 sec. user=vaughan [2009-03-02 07:09:26] 635*2^623404-1 is not prime. Res64: 4A6B2388B23C38FA Time : 373.0 sec. user=vaughan [2009-03-02 07:12:54] 663*2^623311-1 is not prime. Res64: E3603CDC2709B41A Time : 120412.0 sec. user=vaughan [2009-03-02 07:15:37] 695*2^623404-1 is not prime. Res64: E46A5F3D5CA5C51E Time : 371.0 sec. user=vaughan [2009-03-02 07:18:17] 763*2^623311-1 is not prime. Res64: F0C82B251FF68754 Time : 120420.0 sec. user=vaughan [2009-03-02 07:18:48] 659*2^623264-1 is not prime. Res64: 627F71D07B98CB32 Time : 146676.0 sec. user=vaughan [2009-03-02 07:21:48] 619*2^623405-1 is not prime. Res64: 757C934BA74D3E44 Time : 371.0 sec. user=vaughan [2009-03-02 07:23:38] 665*2^623312-1 is not prime. Res64: 645212EFB6015A30 Time : 120430.0 sec. user=vaughan [2009-03-02 07:27:59] 645*2^623405-1 is not prime. Res64: 3F6EF393E634E5CB Time : 372.0 sec. user=vaughan [2009-03-02 07:29:03] 719*2^623312-1 is not prime. Res64: 5D89DE97C1F83898 Time : 120443.0 sec. user=vaughan [2009-03-02 07:34:13] 675*2^623405-1 is not prime. Res64: F0A77A3EE419B721 Time : 374.0 sec. user=vaughan [2009-03-02 07:34:21] 651*2^623313-1 is not prime. Res64: E680262C6EB91C98 Time : 120448.0 sec. user=vaughan [2009-03-02 07:39:45] 787*2^623313-1 is not prime. Res64: 16C0CE32014EBD08 Time : 120459.0 sec. user=vaughan [2009-03-02 07:40:25] 691*2^623405-1 is not prime. Res64: E26C2285C0A1BE86 Time : 372.0 sec. user=vaughan [2009-03-02 07:45:22] 675*2^623314-1 is not prime. Res64: CF86ABC62DEB2405 Time : 120486.0 sec. user=vaughan [2009-03-02 07:46:24] 615*2^623269-1 is not prime. Res64: B46965441DE76401 Time : 146594.0 sec. user=vaughan [2009-03-02 07:46:38] 711*2^623405-1 is not prime. Res64: 72E059E5EDAE75CC Time : 373.0 sec. user=vaughan [2009-03-02 07:51:14] 741*2^623315-1 is not prime. Res64: C39803F1068DF686 Time : 120525.0 sec. user=vaughan [2009-03-02 07:52:49] 759*2^623405-1 is not prime. Res64: 278363DC59D2B433 Time : 372.0 sec. user=vaughan [2009-03-02 07:57:07] 619*2^623317-1 is not prime. Res64: 3C082CD38835575F Time : 120565.0 sec. user=vaughan [2009-03-02 07:59:02] 723*2^623406-1 is not prime. Res64: B51396869A920F44 Time : 373.0 sec. user=vaughan [2009-03-02 08:03:00] 715*2^623317-1 is not prime. Res64: 8941AB5EDC40FB89 Time : 120605.0 sec. user=vaughan [2009-03-02 08:05:12] 741*2^623406-1 is not prime. Res64: E07562F16854A4DF Time : 370.0 sec. user=vaughan [2009-03-02 08:08:51] 627*2^623318-1 is not prime. Res64: C160FEA52950EAFB Time : 120642.0 sec. user=vaughan [2009-03-02 08:11:23] 765*2^623406-1 is not prime. Res64: C114E85246CD6783 Time : 371.0 sec. user=vaughan [2009-03-02 08:13:02] 649*2^623271-1 is not prime. Res64: 5521FE700AF805F2 Time : 146561.0 sec. user=vaughan [2009-03-02 08:14:43] 625*2^623319-1 is not prime. Res64: 27BA6F79BA83F504 Time : 120677.0 sec. user=vaughan [2009-03-02 08:17:37] 603*2^623407-1 is not prime. Res64: A775947902C90131 Time : 374.0 sec. user=vaughan [2009-03-02 08:20:30] 789*2^623319-1 is not prime. Res64: 072FB8A6BED2A5ED Time : 120716.0 sec. user=vaughan [2009-03-02 08:23:48] 633*2^623407-1 is not prime. Res64: EDDBE35EA97019AE Time : 372.0 sec. user=vaughan [2009-03-02 08:26:23] 743*2^623320-1 is not prime. Res64: E809A94889207018 Time : 120755.0 sec. user=vaughan [2009-03-02 08:30:00] 685*2^623407-1 is not prime. Res64: 4ADB58A9F27C4C3E Time : 373.0 sec. user=vaughan [2009-03-02 08:32:12] 657*2^623321-1 is not prime. Res64: D10937C81D19D49A Time : 120792.0 sec. user=vaughan [2009-03-02 08:36:10] 775*2^623407-1 is not prime. Res64: E2B9A7EF81639784 Time : 371.0 sec. user=vaughan [2009-03-02 08:38:01] 777*2^623321-1 is not prime. Res64: 0011A98DD8701F68 Time : 120829.0 sec. user=vaughan [2009-03-02 08:39:32] 657*2^623273-1 is not prime. Res64: 25DE362CB789ED11 Time : 146512.0 sec. user=vaughan [2009-03-02 08:42:20] 657*2^623408-1 is not prime. Res64: C740D28B016B3DAB Time : 370.0 sec. user=vaughan [2009-03-02 08:43:54] 713*2^623322-1 is not prime. Res64: 875F2EF94F5E5E5A Time : 120869.0 sec. user=vaughan [2009-03-02 08:48:32] 669*2^623408-1 is not prime. Res64: C9FC3BE68C4249DE Time : 372.0 sec. user=vaughan [2009-03-02 08:49:42] 625*2^623323-1 is not prime. Res64: 2547DEABE8A35E1B Time : 120903.0 sec. user=vaughan [2009-03-02 08:54:44] 683*2^623408-1 is not prime. Res64: 6F64C7615C268A70 Time : 372.0 sec. user=vaughan [2009-03-02 08:55:33] 685*2^623323-1 is not prime. Res64: 6C45F4F1848A6E83 Time : 120942.0 sec. user=vaughan [2009-03-02 09:00:59] 753*2^623408-1 is not prime. Res64: 7D311131503F21F2 Time : 375.0 sec. user=vaughan [2009-03-02 09:01:24] 659*2^623324-1 is not prime. Res64: C0A8DEE418D50205 Time : 120981.0 sec. user=vaughan [2009-03-02 09:07:09] 797*2^623408-1 is not prime. Res64: 7C359FF390726A3C Time : 370.0 sec. user=vaughan [2009-03-02 09:07:18] 707*2^623324-1 is not prime. Res64: 8C1F4959CD4074AB Time : 121025.0 sec. user=vaughan [2009-03-02 09:08:11] 685*2^623275-1 is not prime. Res64: C0079BA27663819A Time : 146635.0 sec. user=vaughan [2009-03-02 09:13:10] 727*2^623325-1 is not prime. Res64: 89FE5EEEED461688 Time : 121064.0 sec. user=vaughan [2009-03-02 09:13:21] 667*2^623409-1 is not prime. Res64: E12CE493BC850EA5 Time : 372.0 sec. user=vaughan [2009-03-02 09:19:03] 703*2^623327-1 is not prime. Res64: 9892E33B6A84A20D Time : 121106.0 sec. user=vaughan [2009-03-02 09:19:32] 635*2^623410-1 is not prime. Res64: A989167A0D1893C3 Time : 372.0 sec. user=vaughan [2009-03-02 09:24:53] 741*2^623327-1 is not prime. Res64: AAFF877CDF093CCB Time : 121145.0 sec. user=vaughan [2009-03-02 09:25:43] 747*2^623410-1 is not prime. Res64: 6C720622D26F39CE Time : 372.0 sec. user=vaughan [2009-03-02 09:30:39] 799*2^623327-1 is not prime. Res64: 33BF855FF94504B5 Time : 121178.0 sec. user=vaughan [2009-03-02 09:31:15] 765*2^623278-1 is not prime. Res64: D15B09646CDE0B2F Time : 146295.0 sec. user=vaughan [2009-03-02 09:31:59] 649*2^623411-1 is not prime. Res64: 4D0853FE0B34E473 Time : 376.0 sec. user=vaughan [2009-03-02 09:36:29] 713*2^623328-1 is not prime. Res64: C445D811770C6D54 Time : 121215.0 sec. user=vaughan [2009-03-02 09:38:09] 663*2^623411-1 is not prime. Res64: 62D48B2ED8CBD68E Time : 370.0 sec. user=vaughan [2009-03-02 09:42:20] 795*2^623328-1 is not prime. Res64: E83D4E7663F451C5 Time : 121254.0 sec. user=vaughan [2009-03-02 09:44:19] 693*2^623411-1 is not prime. Res64: 4B0132ADA46B7207 Time : 370.0 sec. user=vaughan [2009-03-02 09:48:11] 637*2^623329-1 is not prime. Res64: 3EC306C6F08971F9 Time : 121294.0 sec. user=vaughan [2009-03-02 09:50:31] 735*2^623411-1 is not prime. Res64: 4CDACF3F1C591D94 Time : 372.0 sec. user=vaughan [2009-03-02 09:53:54] 705*2^623281-1 is not prime. Res64: 6F8294BFE0D0064A Time : 145955.0 sec. user=vaughan [2009-03-02 09:54:05] 789*2^623329-1 is not prime. Res64: 2092AAFD639A7986 Time : 121333.0 sec. user=vaughan [2009-03-02 09:56:42] 759*2^623411-1 is not prime. Res64: 94FF264DFAD8E2A1 Time : 372.0 sec. user=vaughan [2009-03-02 09:59:57] 645*2^623330-1 is not prime. Res64: 8AA79591781111E2 Time : 121376.0 sec. user=vaughan [2009-03-02 10:02:52] 615*2^623412-1 is not prime. Res64: A99DF6475E24B2D5 Time : 370.0 sec. user=vaughan [2009-03-02 10:05:47] 675*2^623330-1 is not prime. Res64: 96F9CBED8957D463 Time : 121413.0 sec. user=vaughan [2009-03-02 10:09:03] 639*2^623412-1 is not prime. Res64: 56B8F7928802048D Time : 371.0 sec. user=vaughan [2009-03-02 10:11:37] 691*2^623331-1 is not prime. Res64: 4AC041761E36967C Time : 121453.0 sec. user=vaughan [2009-03-02 10:15:15] 669*2^623412-1 is not prime. Res64: 9C9C23F943957708 Time : 372.0 sec. user=vaughan [2009-03-02 10:15:40] 675*2^623285-1 is not prime. Res64: 7D3111188A16AE95 Time : 145472.0 sec. user=vaughan [2009-03-02 10:17:26] 769*2^623331-1 is not prime. Res64: 68FEC832CED0CBE3 Time : 121488.0 sec. user=vaughan [2009-03-02 10:21:31] 693*2^623412-1 is not prime. Res64: 8CF5ACF85BE7656A Time : 376.0 sec. user=vaughan [2009-03-02 10:23:21] 793*2^623331-1 is not prime. Res64: 4D1E4B3893F37070 Time : 121530.0 sec. user=vaughan [2009-03-02 10:27:47] 727*2^623413-1 is not prime. Res64: 7D1FBC65C0D652DF Time : 376.0 sec. user=vaughan [2009-03-02 10:29:13] 695*2^623332-1 is not prime. Res64: 2FC5C6528D9E5296 Time : 121570.0 sec. user=vaughan [2009-03-02 10:34:00] 765*2^623413-1 is not prime. Res64: 8536CB61DAE679E1 Time : 374.0 sec. user=vaughan [2009-03-02 10:35:05] 723*2^623332-1 is not prime. Res64: 4682DD2072972881 Time : 121609.0 sec. user=vaughan [2009-03-02 10:39:15] 793*2^623287-1 is not prime. Res64: C709DE9BB9CC433B Time : 145168.0 sec. user=vaughan [2009-03-02 10:40:13] 617*2^623414-1 is not prime. Res64: 5A9C60EB5DC1FCC8 Time : 374.0 sec. user=vaughan [2009-03-02 10:40:56] 631*2^623333-1 is not prime. Res64: E2101E88C778C51A Time : 121648.0 sec. user=vaughan [2009-03-02 10:46:26] 675*2^623414-1 is not prime. Res64: 5E968DCA88A28547 Time : 373.0 sec. user=vaughan [2009-03-02 10:46:48] 649*2^623333-1 is not prime. Res64: D78C02633E170DE3 Time : 121687.0 sec. user=vaughan [2009-03-02 10:52:39] 685*2^623333-1 is not prime. Res64: CD764388E46EE544 Time : 121726.0 sec. user=vaughan [2009-03-02 10:52:47] 677*2^623414-1 is not prime. Res64: B96FB117A8BEDAA1 Time : 381.0 sec. user=vaughan [2009-03-02 10:58:31] 697*2^623333-1 is not prime. Res64: B02B2B35C4B31811 Time : 121761.0 sec. user=vaughan [2009-03-02 10:59:02] 683*2^623414-1 is not prime. Res64: 7799D26008C29AFF Time : 376.0 sec. user=vaughan [2009-03-02 11:01:11] 741*2^623290-1 is not prime. Res64: 2C3DB7B498043FB8 Time : 144820.0 sec. user=vaughan [2009-03-02 11:04:22] 635*2^623334-1 is not prime. Res64: 1277B08E4163EE35 Time : 121805.0 sec. user=vaughan [2009-03-02 11:05:13] 687*2^623414-1 is not prime. Res64: 02D7DA7E797829F1 Time : 371.0 sec. user=vaughan [2009-03-02 11:10:13] 707*2^623334-1 is not prime. Res64: 9604810C18C3ED2B Time : 121844.0 sec. user=vaughan [2009-03-02 11:11:28] 705*2^623414-1 is not prime. Res64: 1298622A718A55C6 Time : 375.0 sec. user=vaughan [2009-03-02 11:16:05] 755*2^623334-1 is not prime. Res64: 9DDC7EFBFDB8356F Time : 121883.0 sec. user=vaughan [2009-03-02 11:18:01] 753*2^623414-1 is not prime. Res64: 7546CC9767466F4C Time : 393.0 sec. user=vaughan [2009-03-02 11:22:27] 791*2^623334-1 is not prime. Res64: 6E627A8ACEB342CF Time : 121954.0 sec. user=vaughan [2009-03-02 11:24:13] 773*2^623414-1 is not prime. Res64: 0FCC692D491BE062 Time : 373.0 sec. user=vaughan [2009-03-02 11:25:46] 625*2^623293-1 is not prime. Res64: B2A6859B574BAC6B Time : 144663.0 sec. user=vaughan [2009-03-02 11:30:24] 791*2^623414-1 is not prime. Res64: E27C4F0D7340C651 Time : 371.0 sec. user=vaughan [2009-03-02 11:30:58] 797*2^623334-1 is not prime. Res64: F24462C54300593D Time : 122152.0 sec. user=vaughan [2009-03-02 11:36:36] 663*2^623415-1 is not prime. Res64: 8656270BD79304A9 Time : 372.0 sec. user=vaughan [2009-03-02 11:39:22] 609*2^623335-1 is not prime. Res64: 057E91C705F74C35 Time : 122341.0 sec. user=vaughan [2009-03-02 11:42:51] 675*2^623415-1 is not prime. Res64: 747A877BFA38101B Time : 376.0 sec. user=vaughan [2009-03-02 11:47:08] 719*2^623296-1 is not prime. Res64: 870D4CBEA9E811D8 Time : 144140.0 sec. user=vaughan [2009-03-02 11:47:47] 723*2^623335-1 is not prime. Res64: D91E1F83A18465A8 Time : 122536.0 sec. user=vaughan [2009-03-02 11:49:14] 691*2^623415-1 is not prime. Res64: F2B88BC18DC7107F Time : 384.0 sec. user=vaughan [2009-03-02 11:55:30] 751*2^623415-1 is not prime. Res64: 465246398BA63E9B Time : 377.0 sec. user=vaughan [2009-03-02 11:56:05] 783*2^623335-1 is not prime. Res64: 4816248D33EC7C08 Time : 122723.0 sec. user=tnerual [2009-03-02 11:58:56] 705*2^623402-1 is not prime. Res64: 0C465E09D3E795F9 Time : 19698.0 sec. user=vaughan [2009-03-02 12:01:42] 795*2^623415-1 is not prime. Res64: 1CD430D1CB156179 Time : 373.0 sec. user=vaughan [2009-03-02 12:04:31] 615*2^623337-1 is not prime. Res64: 73D63D2EA090452E Time : 122917.0 sec. user=vaughan [2009-03-02 12:07:53] 617*2^623416-1 is not prime. Res64: 9FC7DFA434F94739 Time : 371.0 sec. user=vaughan [2009-03-02 12:09:05] 691*2^623299-1 is not prime. Res64: 295A763354EAF6BB Time : 143762.0 sec. user=vaughan [2009-03-02 12:12:50] 649*2^623337-1 is not prime. Res64: 6C004CEDACC8EC26 Time : 123103.0 sec. user=vaughan [2009-03-02 12:14:12] 657*2^623416-1 is not prime. Res64: 4C8CCDF93AF1C718 Time : 379.0 sec. user=vaughan [2009-03-02 12:20:27] 619*2^623417-1 is not prime. Res64: DB572696B41BC32D Time : 375.0 sec. user=vaughan [2009-03-02 12:21:14] 675*2^623337-1 is not prime. Res64: BAB6626EFC6E8013 Time : 123297.0 sec. user=tnerual [2009-03-02 12:22:02] 615*2^623416-1 is not prime. Res64: 41E58A10C1A5A6CF Time : 1325.0 sec. user=vaughan [2009-03-02 12:26:42] 685*2^623417-1 is not prime. Res64: 7A7375427E6346BA Time : 375.0 sec. user=vaughan [2009-03-02 12:29:41] 709*2^623337-1 is not prime. Res64: 13F6137D8824F0D3 Time : 123491.0 sec. user=vaughan [2009-03-02 12:32:59] 777*2^623417-1 is not prime. Res64: 78BDC201BE905FA1 Time : 377.0 sec. user=vaughan [2009-03-02 12:34:22] 765*2^623302-1 is not prime. Res64: 633B5590131B04C5 Time : 143471.0 sec. user=vaughan [2009-03-02 12:37:56] 603*2^623338-1 is not prime. Res64: 65DD7A9651D62968 Time : 123676.0 sec. user=vaughan [2009-03-02 12:39:13] 627*2^623418-1 is not prime. Res64: F8375749E25577E4 Time : 374.0 sec. user=vaughan [2009-03-02 12:45:35] 707*2^623418-1 is not prime. Res64: ED00BFD4AC52BC88 Time : 382.0 sec. user=vaughan [2009-03-02 12:46:10] 705*2^623338-1 is not prime. Res64: 6870E86E1607E9B9 Time : 123856.0 sec. user=vaughan [2009-03-02 12:52:09] 621*2^623419-1 is not prime. Res64: F0E7CE26EE4262E7 Time : 395.0 sec. user=vaughan [2009-03-02 12:54:17] 765*2^623338-1 is not prime. Res64: 0856AEAC01C168CB Time : 124032.0 sec. user=vaughan [2009-03-02 12:58:36] 625*2^623419-1 is not prime. Res64: 8B23C86C4EB07A70 Time : 388.0 sec. user=vaughan [2009-03-02 13:01:08] 743*2^623306-1 is not prime. Res64: 16F9578777B10277 Time : 143488.0 sec. user=vaughan [2009-03-02 13:02:36] 711*2^623339-1 is not prime. Res64: 9F30EFE9FEAD7618 Time : 124212.0 sec. user=vaughan [2009-03-02 13:05:01] 675*2^623419-1 is not prime. Res64: FF87E8629E5E16DF Time : 385.0 sec. user=vaughan [2009-03-02 13:10:55] 789*2^623339-1 is not prime. Res64: 43B580ED3A946B9F Time : 124404.0 sec. user=vaughan [2009-03-02 13:11:20] 751*2^623419-1 is not prime. Res64: 7290BFC55DB06DD4 Time : 380.0 sec. user=vaughan [2009-03-02 13:17:46] 647*2^623420-1 is not prime. Res64: 7B75E147945930FC Time : 387.0 sec. user=vaughan [2009-03-02 13:19:05] 625*2^623341-1 is not prime. Res64: A528B534322A9FA6 Time : 124583.0 sec. user=vaughan [2009-03-02 13:24:19] 677*2^623420-1 is not prime. Res64: 5D0A953E14CBF313 Time : 394.0 sec. user=vaughan [2009-03-02 13:26:41] 679*2^623419-1 is not prime. Res64: 3FE634F390860B74 Time : 1533.0 sec. user=vaughan [2009-03-02 13:27:29] 769*2^623341-1 is not prime. Res64: B23B366C59C36760 Time : 124777.0 sec. user=vaughan [2009-03-02 13:30:59] 687*2^623420-1 is not prime. Res64: 94817F7C60341F81 Time : 401.0 sec. user=vaughan [2009-03-02 13:35:52] 623*2^623342-1 is not prime. Res64: D1F5D492440FA8F3 Time : 124967.0 sec. user=vaughan [2009-03-02 13:37:58] 795*2^623420-1 is not prime. Res64: D3D991FE217FE129 Time : 419.0 sec. user=vaughan [2009-03-02 13:44:13] 661*2^623343-1 is not prime. Res64: 9BB8DC25E73D25B9 Time : 125144.0 sec. user=vaughan [2009-03-02 13:44:50] 601*2^623421-1 is not prime. Res64: 8A1A3B63A389E382 Time : 412.0 sec. user=vaughan [2009-03-02 13:51:40] 669*2^623421-1 is not prime. Res64: 0E08A8CCCC238AF7 Time : 410.0 sec. user=vaughan [2009-03-02 13:52:09] 719*2^623420-1 is not prime. Res64: 9F126644CF01A5F1 Time : 1528.0 sec. user=vaughan [2009-03-02 13:52:42] 635*2^623344-1 is not prime. Res64: 5E02CAC22B1D4432 Time : 125320.0 sec. user=vaughan [2009-03-02 13:58:38] 623*2^623422-1 is not prime. Res64: CAFADC37D59070C3 Time : 418.0 sec. user=vaughan [2009-03-02 14:01:11] 705*2^623344-1 is not prime. Res64: 665294A3A63DBD7A Time : 125499.0 sec. user=vaughan [2009-03-02 14:05:05] 609*2^623423-1 is not prime. Res64: 5E87881CBAFC9F11 Time : 387.0 sec. user=vaughan [2009-03-02 14:09:25] 607*2^623345-1 is not prime. Res64: 0D1564FE4D29C6E6 Time : 125659.0 sec. user=vaughan [2009-03-02 14:11:35] 703*2^623423-1 is not prime. Res64: A64155E85FF57932 Time : 391.0 sec. user=vaughan [2009-03-02 14:17:49] 791*2^623422-1 is not prime. Res64: 13345CE75E1E6453 Time : 1541.0 sec. user=vaughan [2009-03-02 14:17:55] 705*2^623345-1 is not prime. Res64: DCBEC614E102614A Time : 125839.0 sec. user=vaughan [2009-03-02 14:18:14] 663*2^623424-1 is not prime. Res64: C9DBEC6A051AC912 Time : 400.0 sec. user=vaughan [2009-03-02 14:24:50] 683*2^623424-1 is not prime. Res64: 40E65BD7A71B6CAE Time : 397.0 sec. user=vaughan [2009-03-02 14:26:14] 725*2^623346-1 is not prime. Res64: 6AA55D935E67CF53 Time : 126006.0 sec. user=vaughan [2009-03-02 14:31:22] 737*2^623424-1 is not prime. Res64: FB2402A700AF24C7 Time : 392.0 sec. user=vaughan [2009-03-02 14:34:30] 673*2^623347-1 is not prime. Res64: A0EC39DEEF9EF980 Time : 126171.0 sec. user=vaughan [2009-03-02 14:38:11] 765*2^623424-1 is not prime. Res64: 6D25E573AB3608A2 Time : 409.0 sec. user=vaughan [2009-03-02 14:42:53] 665*2^623348-1 is not prime. Res64: 39B335203872C301 Time : 126342.0 sec. user=vaughan [2009-03-02 14:45:00] 795*2^623424-1 is not prime. Res64: CC9DFF8FB277E526 Time : 409.0 sec. user=vaughan [2009-03-02 14:45:32] 675*2^623424-1 is not prime. Res64: 2721205CD2AE483C Time : 1663.0 sec. user=vaughan [2009-03-02 14:51:20] 609*2^623349-1 is not prime. Res64: D9837B935BA74329 Time : 126514.0 sec. user=vaughan [2009-03-02 14:51:39] 607*2^623425-1 is not prime. Res64: 33966C686C633E35 Time : 401.0 sec. user=vaughan [2009-03-02 14:58:03] 667*2^623425-1 is not prime. Res64: C54088AD3325F29D Time : 385.0 sec. user=vaughan [2009-03-02 14:59:47] 787*2^623349-1 is not prime. Res64: CA7E8C8E1041A310 Time : 126693.0 sec. user=vaughan [2009-03-02 15:05:09] 717*2^623425-1 is not prime. Res64: A2E027E8ECCBC6C3 Time : 427.0 sec. user=vaughan [2009-03-02 15:08:13] 717*2^623350-1 is not prime. Res64: 1490FDFB1B7BD628 Time : 126861.0 sec. user=vaughan [2009-03-02 15:15:34] 661*2^623425-1 is not prime. Res64: 4D431BFB3D196569 Time : 1802.0 sec. user=vaughan [2009-03-02 15:16:47] 747*2^623350-1 is not prime. Res64: A39121D17BE35F3D Time : 127048.0 sec. user=vaughan [2009-03-02 15:24:43] 773*2^623350-1 is not prime. Res64: 776CBE1D873EBEB8 Time : 127194.0 sec. user=vaughan [2009-03-02 15:30:30] 791*2^623350-1 is not prime. Res64: D1C48EA2EAD1B085 Time : 127206.0 sec. user=vaughan [2009-03-02 15:36:26] 645*2^623351-1 is not prime. Res64: CC2EB07AE1E5EDB1 Time : 127229.0 sec. user=vaughan [2009-03-02 15:42:13] 735*2^623351-1 is not prime. Res64: 9169E13918AF9008 Time : 127244.0 sec. user=vaughan [2009-03-02 15:42:31] 759*2^623425-1 is not prime. Res64: 581AC72D283566F0 Time : 1618.0 sec. user=vaughan [2009-03-02 15:48:02] 627*2^623352-1 is not prime. Res64: 005340D05194BCA6 Time : 127264.0 sec. user=vaughan [2009-03-02 15:53:52] 635*2^623352-1 is not prime. Res64: D1473BEED86C0BAB Time : 127291.0 sec. user=vaughan [2009-03-02 15:59:45] 669*2^623352-1 is not prime. Res64: 1A2298CE9D5A4CBE Time : 127334.0 sec. user=vaughan [2009-03-02 16:03:52] 617*2^623426-1 is not prime. Res64: 48061C8428CD7042 Time : 1281.0 sec. user=vaughan [2009-03-02 16:05:42] 675*2^623426-1 is not prime. Res64: C5EC125BDD29C1D1 Time : 357.0 sec. user=vaughan [2009-03-02 16:11:34] 713*2^623426-1 is not prime. Res64: 89DB603EBF75EEEE Time : 353.0 sec. user=vaughan [2009-03-02 16:17:27] 743*2^623426-1 is not prime. Res64: 6914BD908DD5FCDF Time : 353.0 sec. user=vaughan [2009-03-02 16:23:20] 615*2^623427-1 is not prime. Res64: BF5356ACFFEFBABE Time : 354.0 sec. user=vaughan [2009-03-02 16:25:01] 705*2^623426-1 is not prime. Res64: 8EDB1510B76B2971 Time : 1269.0 sec. user=vaughan [2009-03-02 16:29:14] 649*2^623427-1 is not prime. Res64: 897665A46D515234 Time : 355.0 sec. user=vaughan [2009-03-02 16:35:08] 751*2^623427-1 is not prime. Res64: CE31BA9F94D71391 Time : 355.0 sec. user=vaughan [2009-03-02 16:41:00] 631*2^623429-1 is not prime. Res64: 7CE0485AF14D678E Time : 353.0 sec. user=vaughan [2009-03-02 16:46:57] 645*2^623429-1 is not prime. Res64: 53C28A20F4BE3456 Time : 358.0 sec. user=vaughan [2009-03-02 16:52:46] 655*2^623429-1 is not prime. Res64: A0A9BCCBB8C4EFF9 Time : 350.0 sec. user=vaughan [2009-03-02 16:53:51] 735*2^623427-1 is not prime. Res64: 7AC9085B54590E8A Time : 1730.0 sec. user=vaughan [2009-03-02 16:58:39] 697*2^623429-1 is not prime. Res64: A088A0BB99084D22 Time : 353.0 sec. user=vaughan [2009-03-02 17:04:32] 635*2^623430-1 is not prime. Res64: A2E3151A11E52219 Time : 353.0 sec. user=vaughan [2009-03-02 17:10:21] 693*2^623430-1 is not prime. Res64: 731E3A7BBD11A537 Time : 350.0 sec. user=vaughan [2009-03-02 17:16:01] 707*2^623430-1 is not prime. Res64: 2BDC65F6D473D52D Time : 340.0 sec. user=vaughan [2009-03-02 17:21:53] 765*2^623430-1 is not prime. Res64: 1B51225CE5274DEF Time : 352.0 sec. user=vaughan [2009-03-02 17:24:19] 711*2^623429-1 is not prime. Res64: AA3E46D97A76B804 Time : 1829.0 sec. user=vaughan [2009-03-02 17:27:41] 619*2^623431-1 is not prime. Res64: 20ACA4B6E5F591D5 Time : 348.0 sec. user=vaughan [2009-03-02 17:33:29] 725*2^623432-1 is not prime. Res64: 2831C275603C20A7 Time : 348.0 sec. user=vaughan [2009-03-02 17:39:16] 755*2^623432-1 is not prime. Res64: 25123E5F0CCD152E Time : 347.0 sec. user=vaughan [2009-03-02 17:45:10] 625*2^623433-1 is not prime. Res64: B51E912C3C25E33E Time : 354.0 sec. user=vaughan [2009-03-02 17:47:34] 693*2^623431-1 is not prime. Res64: CE2CD474AE66F140 Time : 1396.0 sec. user=vaughan [2009-03-02 17:51:03] 669*2^623433-1 is not prime. Res64: 8B29455392BF307E Time : 354.0 sec. user=vaughan [2009-03-02 17:56:54] 681*2^623433-1 is not prime. Res64: CD84550A31594AE7 Time : 351.0 sec. user=vaughan [2009-03-02 18:02:46] 705*2^623433-1 is not prime. Res64: 649CF0FEF27E1236 Time : 353.0 sec. user=vaughan [2009-03-02 18:08:32] 605*2^623434-1 is not prime. Res64: F0256EA0E57F66FF Time : 347.0 sec. user=vaughan [2009-03-02 18:12:37] 679*2^623433-1 is not prime. Res64: BE25AD38BBFB10D6 Time : 1503.0 sec. user=vaughan [2009-03-02 18:14:24] 617*2^623434-1 is not prime. Res64: 5B8DB2A3E2A9C28A Time : 352.0 sec. user=vaughan [2009-03-02 18:20:29] 681*2^623434-1 is not prime. Res64: 74CF664FB39A58B7 Time : 365.0 sec. user=vaughan [2009-03-02 18:26:22] 723*2^623434-1 is not prime. Res64: C2FAAEC7A2A3E2A7 Time : 359.0 sec. user=vaughan [2009-03-02 18:32:12] 609*2^623435-1 is not prime. Res64: 43B6A55BF81EF4AF Time : 351.0 sec. user=vaughan [2009-03-02 18:37:50] 655*2^623435-1 is not prime. Res64: A23283160D9EA5B9 Time : 338.0 sec. user=vaughan [2009-03-02 18:38:21] 675*2^623434-1 is not prime. Res64: 1E7F7E03BAA5CD25 Time : 1544.0 sec. user=vaughan [2009-03-02 18:43:31] 775*2^623435-1 is not prime. Res64: BB06B2081ACCE042 Time : 341.0 sec. user=vaughan [2009-03-02 18:49:14] 633*2^623436-1 is not prime. Res64: 3BAE406F1A851840 Time : 343.0 sec. user=vaughan [2009-03-02 18:54:53] 675*2^623436-1 is not prime. Res64: 4F6C22A9DDA76A30 Time : 339.0 sec. user=vaughan [2009-03-02 19:00:32] 779*2^623436-1 is not prime. Res64: 9AE6BC943253CF75 Time : 339.0 sec. user=vaughan [2009-03-02 19:05:02] 799*2^623435-1 is not prime. Res64: 0337D27E428AFB41 Time : 1601.0 sec. user=vaughan [2009-03-02 19:06:51] 687*2^623437-1 is not prime. Res64: 8F690BD858CDAE7A Time : 379.0 sec. user=vaughan [2009-03-02 19:15:21] 605*2^623438-1 is not prime. Res64: 02AA60B51BE8A64E Time : 510.0 sec. user=vaughan [2009-03-02 19:23:53] 657*2^623438-1 is not prime. Res64: 775F2B78D5BC43B0 Time : 512.0 sec. user=vaughan [2009-03-02 19:31:10] 603*2^623438-1 is not prime. Res64: 8C264F38512505A0 Time : 1569.0 sec. user=vaughan [2009-03-02 19:32:28] 711*2^623438-1 is not prime. Res64: 864DD8B77A8EB49D Time : 515.0 sec. user=vaughan [2009-03-02 19:40:53] 755*2^623438-1 is not prime. Res64: 0CD063BA4A53ECBF Time : 506.0 sec. user=vaughan [2009-03-02 19:49:07] 771*2^623438-1 is not prime. Res64: 9AE3CE841E619572 Time : 494.0 sec. user=vaughan [2009-03-02 19:54:58] 731*2^623438-1 is not prime. Res64: C2EF287C0680C456 Time : 1428.0 sec. user=vaughan [2009-03-02 19:57:32] 773*2^623438-1 is not prime. Res64: 770F9C665442E1BD Time : 505.0 sec. user=vaughan [2009-03-02 20:05:48] 789*2^623439-1 is not prime. Res64: 954310F1B03B2DB0 Time : 496.0 sec. user=tnerual [2009-03-02 20:06:07] 711*2^623417-1 is not prime. Res64: 8FEED76038C24446 Time : 27845.0 sec. user=vaughan [2009-03-02 20:14:15] 795*2^623439-1 is not prime. Res64: A64F095FF9303AE0 Time : 508.0 sec. user=vaughan [2009-03-02 20:18:46] 763*2^623439-1 is not prime. Res64: E6B488A8F63B0802 Time : 1428.0 sec. user=vaughan [2009-03-02 20:22:40] 675*2^623440-1 is not prime. Res64: 7A6E76FB150657F3 Time : 505.0 sec. user=tnerual [2009-03-02 20:28:09] 635*2^623440-1 is not prime. Res64: B2CAE393A9D2EB0C Time : 1323.0 sec. user=vaughan [2009-03-02 20:30:51] 723*2^623440-1 is not prime. Res64: 007FCE452F563AC3 Time : 491.0 sec. user=vaughan [2009-03-02 20:37:18] 713*2^623440-1 is not prime. Res64: 3E36B6B6B4BB9ACE Time : 1112.0 sec. user=vaughan [2009-03-02 20:39:17] 715*2^623441-1 is not prime. Res64: 08DD418A86934003 Time : 506.0 sec. user=vaughan [2009-03-02 20:47:34] 799*2^623441-1 is not prime. Res64: D502EB1C2523E3A3 Time : 498.0 sec. user=tnerual [2009-03-02 20:50:13] 777*2^623440-1 is not prime. Res64: 97570063EFA7F19A Time : 1324.0 sec. user=vaughan [2009-03-02 20:53:08] 747*2^623441-1 is not prime. Res64: 89A9800E9A613F7F Time : 950.0 sec. user=vaughan [2009-03-02 20:55:56] 695*2^623442-1 is not prime. Res64: 095E90FF831AC622 Time : 503.0 sec. user=vaughan [2009-03-02 21:04:13] 725*2^623442-1 is not prime. Res64: 3638DBD7C2635C1A Time : 498.0 sec. user=vaughan [2009-03-02 21:08:47] 723*2^623442-1 is not prime. Res64: 1D84DDFD12DAC6F3 Time : 939.0 sec. user=tnerual [2009-03-02 21:12:17] 711*2^623442-1 is not prime. Res64: 397A05DDBC1AEBEE Time : 1324.0 sec. user=vaughan [2009-03-02 21:12:34] 617*2^623444-1 is not prime. Res64: 495FAB64DD61E140 Time : 501.0 sec. user=vaughan [2009-03-02 21:20:51] 657*2^623445-1 is not prime. Res64: 35FECE4DD397B06F Time : 498.0 sec. user=vaughan [2009-03-02 21:22:17] 797*2^623442-1 is not prime. Res64: D39CCC8501F96932 Time : 1352.0 sec. user=vaughan [2009-03-02 21:24:27] 677*2^623444-1 is not prime. Res64: 050BB1CEEDC90E72 Time : 941.0 sec. user=vaughan [2009-03-02 21:29:04] 709*2^623445-1 is not prime. Res64: 067AE2BA873E0BA8 Time : 493.0 sec. user=tnerual [2009-03-02 21:34:21] 607*2^623445-1 is not prime. Res64: 99EA32D7E25A4F5F Time : 1325.0 sec. user=vaughan [2009-03-02 21:37:18] 685*2^623447-1 is not prime. Res64: 675892BC152FBE34 Time : 495.0 sec. user=vaughan [2009-03-02 21:40:03] 663*2^623447-1 is not prime. Res64: AA2788CA05CC4DCC Time : 937.0 sec. user=vaughan [2009-03-02 21:44:48] 765*2^623446-1 is not prime. Res64: 254B64042241A255 Time : 1352.0 sec. user=vaughan [2009-03-02 21:45:38] 711*2^623447-1 is not prime. Res64: 6815D6D71D242C91 Time : 500.0 sec. user=vaughan [2009-03-02 21:54:06] 775*2^623447-1 is not prime. Res64: 46D31A0C9CE16378 Time : 508.0 sec. user=vaughan [2009-03-02 21:55:55] 715*2^623447-1 is not prime. Res64: C812681C48246114 Time : 952.0 sec. user=tnerual [2009-03-02 21:56:25] 693*2^623447-1 is not prime. Res64: 26CD67A4AC9379A2 Time : 1324.0 sec. user=vaughan [2009-03-02 22:02:36] 615*2^623448-1 is not prime. Res64: 7BA32BA971177045 Time : 511.0 sec. user=vaughan [2009-03-02 22:07:19] 763*2^623447-1 is not prime. Res64: DF83469221CE358E Time : 1352.0 sec. user=vaughan [2009-03-02 22:11:17] 735*2^623448-1 is not prime. Res64: BF36AE01678C1F5E Time : 521.0 sec. user=vaughan [2009-03-02 22:11:39] 669*2^623448-1 is not prime. Res64: 081663433E4D54B3 Time : 944.0 sec. user=tnerual [2009-03-02 22:19:37] 699*2^623448-1 is not prime. Res64: 33F68F5880EF0FA2 Time : 1393.0 sec. user=vaughan [2009-03-02 22:19:46] 675*2^623450-1 is not prime. Res64: 26C474DC496CD2EF Time : 510.0 sec. user=vaughan [2009-03-02 22:27:14] 713*2^623450-1 is not prime. Res64: B28057B9F5E4050C Time : 937.0 sec. user=vaughan [2009-03-02 22:28:09] 619*2^623451-1 is not prime. Res64: E112EA1389FD040D Time : 504.0 sec. user=vaughan [2009-03-02 22:29:50] 777*2^623448-1 is not prime. Res64: DB126DA6F000995E Time : 1351.0 sec. user=vaughan [2009-03-02 22:36:45] 685*2^623451-1 is not prime. Res64: CCF6E322D04401E0 Time : 516.0 sec. user=tnerual [2009-03-02 22:43:49] 755*2^623450-1 is not prime. Res64: CC4FFA3A814554FF Time : 1452.0 sec. user=vaughan [2009-03-02 22:45:16] 711*2^623451-1 is not prime. Res64: 785B1F6D0B28C6EE Time : 511.0 sec. user=vaughan [2009-03-02 22:48:57] 669*2^623451-1 is not prime. Res64: 0E4CC51F369A2820 Time : 1303.0 sec. user=vaughan [2009-03-02 22:52:22] 705*2^623451-1 is not prime. Res64: BEB81BEDF7EE183C Time : 1352.0 sec. user=vaughan [2009-03-02 22:53:42] 735*2^623451-1 is not prime. Res64: AAC91E782B9837FC Time : 508.0 sec. user=vaughan [2009-03-02 23:02:09] 719*2^623452-1 is not prime. Res64: DD0A0DA04257C09A Time : 507.0 sec. user=tnerual [2009-03-02 23:05:55] 723*2^623451-1 is not prime. Res64: 350304FEFECF83AC Time : 1326.0 sec. user=vaughan [2009-03-02 23:10:10] 621*2^623453-1 is not prime. Res64: 45309B3B1C5B8108 Time : 482.0 sec. user=vaughan [2009-03-02 23:14:53] 603*2^623452-1 is not prime. Res64: 67D834D01769470F Time : 1352.0 sec. user=vaughan [2009-03-02 23:18:43] 747*2^623453-1 is not prime. Res64: DA0C2A41E2D9A5D3 Time : 514.0 sec. user=vaughan [2009-03-02 23:27:12] 789*2^623453-1 is not prime. Res64: 66743180E2E5DDD4 Time : 509.0 sec. user=tnerual [2009-03-02 23:28:00] 627*2^623453-1 is not prime. Res64: 8E563D4EB9AA39A8 Time : 1325.0 sec. user=vaughan [2009-03-02 23:35:48] 651*2^623454-1 is not prime. Res64: B72571D34F7F503F Time : 517.0 sec. user=vaughan [2009-03-02 23:37:24] 775*2^623453-1 is not prime. Res64: 5667A7582EE6ECD4 Time : 1351.0 sec. user=vaughan [2009-03-02 23:44:19] 705*2^623454-1 is not prime. Res64: 318EE78D902693DD Time : 512.0 sec. user=tnerual [2009-03-02 23:50:07] 693*2^623454-1 is not prime. Res64: FD646AC1F0C0ACEC Time : 1327.0 sec. user=vaughan [2009-03-02 23:52:52] 625*2^623455-1 is not prime. Res64: 2C55CB25285B8926 Time : 514.0 sec. user=vaughan [2009-03-02 23:59:55] 773*2^623454-1 is not prime. Res64: F906F003D3D0DD1B Time : 1351.0 sec.