user=vaughan [2009-07-25 00:00:41] 481*2^704499-1 is not prime. Res64: D93B1F40A3BDE9B5 Time : 1547.0 sec. user=vaughan [2009-07-25 00:28:20] 513*2^704499-1 is not prime. Res64: 8BBC3973DE914535 Time : 1659.0 sec. user=vaughan [2009-07-25 01:02:42] 549*2^704491-1 is not prime. Res64: D28878719FD0807F Time : 13107.0 sec. user=vaughan [2009-07-25 01:02:42] 449*2^704492-1 is not prime. Res64: DDEFD00D012A0C46 Time : 12635.0 sec. user=vaughan [2009-07-25 01:02:42] 517*2^704493-1 is not prime. Res64: 6CB56BD29E7C16B2 Time : 12163.0 sec. user=vaughan [2009-07-25 01:02:42] 411*2^704494-1 is not prime. Res64: A9AB48677FDA657D Time : 11691.0 sec. user=vaughan [2009-07-25 01:02:42] 425*2^704494-1 is not prime. Res64: EC024D5100FCF953 Time : 11220.0 sec. user=vaughan [2009-07-25 01:02:43] 411*2^704495-1 is not prime. Res64: 4F2B74BA968D5D2A Time : 10749.0 sec. user=vaughan [2009-07-25 01:02:43] 579*2^704495-1 is not prime. Res64: B3FB99DE7AAC648E Time : 10277.0 sec. user=vaughan [2009-07-25 01:02:43] 465*2^704497-1 is not prime. Res64: CD7BE81A3DB50733 Time : 9805.0 sec. user=vaughan [2009-07-25 01:02:43] 505*2^704497-1 is not prime. Res64: D596513242DD85A7 Time : 9334.0 sec. user=vaughan [2009-07-25 01:02:43] 483*2^704498-1 is not prime. Res64: 43DB5CD2A161853B Time : 8837.0 sec. user=vaughan [2009-07-25 01:03:02] 447*2^704492-1 is not prime. Res64: D7600735E56536F0 Time : 13088.0 sec. user=vaughan [2009-07-25 01:03:02] 557*2^704492-1 is not prime. Res64: C42118254804C2C5 Time : 12610.0 sec. user=vaughan [2009-07-25 01:03:02] 529*2^704493-1 is not prime. Res64: 5C4E4CB07849DE45 Time : 12132.0 sec. user=vaughan [2009-07-25 01:03:02] 413*2^704494-1 is not prime. Res64: 7F6AA185F53ED18C Time : 11653.0 sec. user=vaughan [2009-07-25 01:03:03] 453*2^704494-1 is not prime. Res64: 71E3C6DB18FFF5DB Time : 11174.0 sec. user=vaughan [2009-07-25 01:03:03] 519*2^704495-1 is not prime. Res64: 68D85C6CF0016571 Time : 10694.0 sec. user=vaughan [2009-07-25 01:03:03] 591*2^704495-1 is not prime. Res64: 6AE37FC55ADBDF89 Time : 10214.0 sec. user=vaughan [2009-07-25 01:03:03] 477*2^704497-1 is not prime. Res64: 7D6F4B57C208A3C8 Time : 9734.0 sec. user=vaughan [2009-07-25 01:03:03] 555*2^704497-1 is not prime. Res64: 5B9BC26CDE434C87 Time : 9255.0 sec. user=vaughan [2009-07-25 01:03:04] 545*2^704498-1 is not prime. Res64: 61D4ACC03A756CD7 Time : 8777.0 sec. user=vaughan [2009-07-25 01:10:21] 583*2^704499-1 is not prime. Res64: 49135BDC431EF6C9 Time : 463.0 sec. user=vaughan [2009-07-25 01:10:40] 437*2^704504-1 is not prime. Res64: D80280B82F78D4FF Time : 462.0 sec. user=vaughan [2009-07-25 01:15:01] 579*2^704499-1 is not prime. Res64: 42772AA50F6BBDBD Time : 2802.0 sec. user=vaughan [2009-07-25 01:17:58] 429*2^704500-1 is not prime. Res64: AF2A8985BCF3583F Time : 920.0 sec. user=vaughan [2009-07-25 01:18:14] 503*2^704504-1 is not prime. Res64: C9B84CE93A9D1F9B Time : 916.0 sec. user=vaughan [2009-07-25 01:25:36] 513*2^704500-1 is not prime. Res64: 6171488A44A9DF09 Time : 1377.0 sec. user=vaughan [2009-07-25 01:25:47] 593*2^704504-1 is not prime. Res64: 7E4ED28E3AD8E7A4 Time : 1368.0 sec. user=vaughan [2009-07-25 01:33:50] 525*2^704500-1 is not prime. Res64: A5E608D018EB2521 Time : 1871.0 sec. user=vaughan [2009-07-25 01:34:07] 405*2^704505-1 is not prime. Res64: 8CA2161CB29C7D2F Time : 1868.0 sec. user=vaughan [2009-07-25 01:42:13] 445*2^704501-1 is not prime. Res64: F87F261EDC2BC1F8 Time : 2374.0 sec. user=vaughan [2009-07-25 01:42:35] 459*2^704505-1 is not prime. Res64: 32411B7F8379268D Time : 2375.0 sec. user=vaughan [2009-07-25 01:50:36] 495*2^704501-1 is not prime. Res64: B240A3D8707EC903 Time : 2876.0 sec. user=vaughan [2009-07-25 01:51:03] 495*2^704505-1 is not prime. Res64: AC5BD871FA2D52F5 Time : 2883.0 sec. user=vaughan [2009-07-25 01:58:50] 547*2^704501-1 is not prime. Res64: FE033EB32392D950 Time : 3370.0 sec. user=vaughan [2009-07-25 01:59:34] 425*2^704506-1 is not prime. Res64: BE0B3E387621C6D3 Time : 3393.0 sec. user=vaughan [2009-07-25 02:05:14] 519*2^704507-1 is not prime. Res64: 34FE0C4716C2C064 Time : 3013.0 sec. user=vaughan [2009-07-25 02:06:41] 423*2^704502-1 is not prime. Res64: 1543FA3CC7B067BE Time : 3840.0 sec. user=vaughan [2009-07-25 02:08:11] 465*2^704506-1 is not prime. Res64: 9EA9472CC782DB7D Time : 3910.0 sec. user=vaughan [2009-07-25 02:14:32] 431*2^704502-1 is not prime. Res64: 87CD51D056FC7AFD Time : 4311.0 sec. user=vaughan [2009-07-25 02:16:47] 521*2^704506-1 is not prime. Res64: CC6DFB5E6296ED04 Time : 4426.0 sec. user=vaughan [2009-07-25 02:22:22] 413*2^704504-1 is not prime. Res64: C4620AFEFAF0A9EF Time : 4781.0 sec. user=vaughan [2009-07-25 02:25:22] 593*2^704506-1 is not prime. Res64: A47776EA60BB17F1 Time : 4940.0 sec. user=vaughan [2009-07-25 02:35:43] 489*2^704507-1 is not prime. Res64: D995826F24BE8689 Time : 5104.0 sec. user=vaughan [2009-07-25 02:35:48] 433*2^704507-1 is not prime. Res64: 2EFF8FC1B670A811 Time : 5127.0 sec. user=vaughan [2009-07-25 02:38:15] 405*2^704508-1 is not prime. Res64: 556A1E1CC7A9C4BA Time : 4817.0 sec. user=vaughan [2009-07-25 02:42:35] 459*2^704508-1 is not prime. Res64: 07A949FD278E4169 Time : 5062.0 sec. user=vaughan [2009-07-25 02:46:17] 473*2^704508-1 is not prime. Res64: 0869DAAC731C1201 Time : 4841.0 sec. user=vaughan [2009-07-25 02:51:10] 557*2^704508-1 is not prime. Res64: 4B98AC0199AE8915 Time : 5123.0 sec. user=vaughan [2009-07-25 02:54:20] 415*2^704509-1 is not prime. Res64: 5E7AEEB8B3AC77C4 Time : 4830.0 sec. user=vaughan [2009-07-25 02:55:59] 533*2^704510-1 is not prime. Res64: DC2FD1A83702FFDE Time : 3045.0 sec. user=vaughan [2009-07-25 02:59:46] 429*2^704509-1 is not prime. Res64: AB45BCE5F72E4E69 Time : 5139.0 sec. user=vaughan [2009-07-25 03:02:23] 469*2^704509-1 is not prime. Res64: 7F7F09DC769AD0FE Time : 4810.0 sec. user=vaughan [2009-07-25 03:08:22] 525*2^704509-1 is not prime. Res64: 44465EDAF9C73C1F Time : 5147.0 sec. user=vaughan [2009-07-25 03:10:27] 437*2^704510-1 is not prime. Res64: 949E6CE895CFB8F0 Time : 4791.0 sec. user=vaughan [2009-07-25 03:16:57] 477*2^704510-1 is not prime. Res64: 825E796F7629D9D0 Time : 5154.0 sec. user=vaughan [2009-07-25 03:18:19] 501*2^704510-1 is not prime. Res64: 7F0F87A85D754EAE Time : 4769.0 sec. user=vaughan [2009-07-25 03:25:31] 503*2^704510-1 is not prime. Res64: A5FE2D05FF7D2047 Time : 5157.0 sec. user=vaughan [2009-07-25 03:26:11] 561*2^704510-1 is not prime. Res64: EA4382427A6552D1 Time : 4770.0 sec. user=vaughan [2009-07-25 03:34:05] 411*2^704511-1 is not prime. Res64: 1B3DCD056C77D914 Time : 5154.0 sec. user=vaughan [2009-07-25 03:34:06] 423*2^704511-1 is not prime. Res64: AE759E561D78473B Time : 4774.0 sec. user=vaughan [2009-07-25 03:42:29] 453*2^704511-1 is not prime. Res64: 665EA2504D9356D4 Time : 4807.0 sec. user=vaughan [2009-07-25 03:42:32] 429*2^704511-1 is not prime. Res64: 9EE2519D616D1D50 Time : 5145.0 sec. user=vaughan [2009-07-25 03:47:31] 549*2^704513-1 is not prime. Res64: 1149DB944148C059 Time : 3092.0 sec. user=vaughan [2009-07-25 03:50:51] 571*2^704511-1 is not prime. Res64: 191DEDFF70191090 Time : 4503.0 sec. user=vaughan [2009-07-25 03:50:59] 469*2^704511-1 is not prime. Res64: 1244ABB4B3030B87 Time : 5137.0 sec. user=vaughan [2009-07-25 03:59:13] 507*2^704512-1 is not prime. Res64: 643AA139A0B9F772 Time : 4858.0 sec. user=vaughan [2009-07-25 03:59:27] 483*2^704512-1 is not prime. Res64: 50E9BD8D5EF984CE Time : 4963.0 sec. user=vaughan [2009-07-25 04:07:36] 411*2^704513-1 is not prime. Res64: 144D1F88BDCFE13B Time : 4879.0 sec. user=vaughan [2009-07-25 04:07:55] 549*2^704512-1 is not prime. Res64: B792227E540FA813 Time : 5121.0 sec. user=vaughan [2009-07-25 04:15:58] 475*2^704513-1 is not prime. Res64: 592313CE6C30A689 Time : 4898.0 sec. user=vaughan [2009-07-25 04:16:23] 421*2^704513-1 is not prime. Res64: 6D1203B75D4F484A Time : 5114.0 sec. user=vaughan [2009-07-25 04:24:22] 401*2^704514-1 is not prime. Res64: 3BE5D4ADAC8456A3 Time : 4919.0 sec. user=vaughan [2009-07-25 04:24:50] 559*2^704513-1 is not prime. Res64: 3302DB82617D1161 Time : 5105.0 sec. user=vaughan [2009-07-25 04:32:30] 465*2^704514-1 is not prime. Res64: 339D7960156169E8 Time : 4923.0 sec. user=vaughan [2009-07-25 04:33:03] 443*2^704514-1 is not prime. Res64: 614870AA2F9D6C33 Time : 5082.0 sec. user=vaughan [2009-07-25 04:38:58] 479*2^704516-1 is not prime. Res64: 71DC13E496265E76 Time : 3087.0 sec. user=vaughan [2009-07-25 04:40:35] 503*2^704514-1 is not prime. Res64: 1D26FA76DA8C63FE Time : 4936.0 sec. user=vaughan [2009-07-25 04:41:12] 483*2^704514-1 is not prime. Res64: 04128375118CCDE0 Time : 5055.0 sec. user=vaughan [2009-07-25 04:48:40] 573*2^704514-1 is not prime. Res64: 7CA826D16FB49316 Time : 4949.0 sec. user=vaughan [2009-07-25 04:49:22] 563*2^704514-1 is not prime. Res64: 7B84A73193DA7CF7 Time : 5032.0 sec. user=vaughan [2009-07-25 04:56:45] 519*2^704515-1 is not prime. Res64: 00E347BEB7E55888 Time : 4959.0 sec. user=vaughan [2009-07-25 04:57:30] 451*2^704515-1 is not prime. Res64: 30A26BD5362A3006 Time : 5006.0 sec. user=vaughan [2009-07-25 05:04:50] 535*2^704515-1 is not prime. Res64: 7397B888326A62B5 Time : 4941.0 sec. user=vaughan [2009-07-25 05:05:39] 459*2^704516-1 is not prime. Res64: 4EDCBF15C8BB6799 Time : 4988.0 sec. user=vaughan [2009-07-25 05:12:55] 515*2^704516-1 is not prime. Res64: 588221EEE8C72A4A Time : 4924.0 sec. user=vaughan [2009-07-25 05:13:49] 525*2^704516-1 is not prime. Res64: E4988A649BC2347E Time : 4971.0 sec. user=vaughan [2009-07-25 05:21:02] 563*2^704516-1 is not prime. Res64: D87CD982E7A32C3E Time : 4909.0 sec. user=vaughan [2009-07-25 05:22:01] 555*2^704517-1 is not prime. Res64: 10EA47A94CD04BEC Time : 4955.0 sec. user=vaughan [2009-07-25 05:29:02] 465*2^704518-1 is not prime. Res64: E2F8BDA5358FA992 Time : 4886.0 sec. user=vaughan [2009-07-25 05:30:17] 513*2^704518-1 is not prime. Res64: 1BAB6D753303FCD1 Time : 4943.0 sec. user=vaughan [2009-07-25 05:30:53] 453*2^704520-1 is not prime. Res64: 78E329C8BA824636 Time : 3115.0 sec. user=vaughan [2009-07-25 05:36:51] 561*2^704518-1 is not prime. Res64: F4542B86DFEAC943 Time : 4853.0 sec. user=vaughan [2009-07-25 05:38:46] 523*2^704519-1 is not prime. Res64: 55559A4E6E80940D Time : 4944.0 sec. user=vaughan [2009-07-25 05:44:40] 559*2^704519-1 is not prime. Res64: 360A17E03FB6A86C Time : 4818.0 sec. user=vaughan [2009-07-25 05:47:15] 571*2^704519-1 is not prime. Res64: 66C7EF1D6615C79E Time : 4946.0 sec. user=vaughan [2009-07-25 05:52:29] 413*2^704520-1 is not prime. Res64: E30D7316259BAFB9 Time : 4799.0 sec. user=vaughan [2009-07-25 05:55:43] 429*2^704520-1 is not prime. Res64: 5DB00547EBA33173 Time : 4961.0 sec. user=vaughan [2009-07-25 06:00:17] 465*2^704520-1 is not prime. Res64: BACC55F27D968C90 Time : 4782.0 sec. user=vaughan [2009-07-25 06:04:13] 549*2^704520-1 is not prime. Res64: 91A2EAE8A218084E Time : 4981.0 sec. user=vaughan [2009-07-25 06:08:05] 415*2^704521-1 is not prime. Res64: 7DE637F7808EFC52 Time : 4765.0 sec. user=vaughan [2009-07-25 06:12:34] 477*2^704521-1 is not prime. Res64: 066F9DC9A105EC01 Time : 4992.0 sec. user=vaughan [2009-07-25 06:16:06] 531*2^704521-1 is not prime. Res64: 9837BA29B4943527 Time : 4761.0 sec. user=vaughan [2009-07-25 06:20:43] 541*2^704521-1 is not prime. Res64: 4E6451C289AA83CA Time : 4993.0 sec. user=vaughan [2009-07-25 06:23:01] 571*2^704523-1 is not prime. Res64: A13AFD837AA823E0 Time : 3128.0 sec. user=vaughan [2009-07-25 06:24:11] 555*2^704521-1 is not prime. Res64: 53E895A60682AFE9 Time : 4761.0 sec. user=vaughan [2009-07-25 06:28:52] 477*2^704522-1 is not prime. Res64: 635DCC1AA8DAAF8B Time : 4993.0 sec. user=vaughan [2009-07-25 06:32:15] 503*2^704522-1 is not prime. Res64: FF83925235853602 Time : 4760.0 sec. user=vaughan [2009-07-25 06:37:00] 551*2^704522-1 is not prime. Res64: 4578A444C7E98321 Time : 4991.0 sec. user=vaughan [2009-07-25 06:40:20] 439*2^704523-1 is not prime. Res64: 915A7822CE61A292 Time : 4758.0 sec. user=vaughan [2009-07-25 06:45:11] 441*2^704523-1 is not prime. Res64: 7130DC00A2D1C925 Time : 4991.0 sec. user=vaughan [2009-07-25 06:48:25] 481*2^704523-1 is not prime. Res64: 915F10A8BD2BD692 Time : 4763.0 sec. user=vaughan [2009-07-25 06:53:19] 523*2^704523-1 is not prime. Res64: 2A1DBF1B4FAAB315 Time : 4983.0 sec. user=vaughan [2009-07-25 06:56:29] 583*2^704523-1 is not prime. Res64: 7CBC6F62F8030E3E Time : 4778.0 sec. user=vaughan [2009-07-25 07:01:31] 585*2^704523-1 is not prime. Res64: B8043C86EA60E84A Time : 4966.0 sec. user=vaughan [2009-07-25 07:04:35] 419*2^704524-1 is not prime. Res64: EB48F5BAD35212DF Time : 4795.0 sec. user=vaughan [2009-07-25 07:09:43] 497*2^704524-1 is not prime. Res64: F7AA8A208B47E47B Time : 4949.0 sec. user=vaughan [2009-07-25 07:12:40] 533*2^704524-1 is not prime. Res64: 0DB09DD9796A41D8 Time : 4811.0 sec. user=vaughan [2009-07-25 07:14:53] 567*2^704526-1 is not prime. Res64: B222EBEB7846E11B Time : 3113.0 sec. user=vaughan [2009-07-25 07:17:56] 447*2^704525-1 is not prime. Res64: 40EC348ED4DAB079 Time : 4933.0 sec. user=vaughan [2009-07-25 07:20:45] 469*2^704525-1 is not prime. Res64: A18DC606929C5CDD Time : 4828.0 sec. user=vaughan [2009-07-25 07:26:07] 565*2^704525-1 is not prime. Res64: 15A94F57E3EC9EE5 Time : 4914.0 sec. user=vaughan [2009-07-25 07:28:52] 567*2^704525-1 is not prime. Res64: 9F0596DCD7050A7C Time : 4847.0 sec. user=vaughan [2009-07-25 07:34:17] 431*2^704526-1 is not prime. Res64: 4D43C41800600B65 Time : 4903.0 sec. user=vaughan [2009-07-25 07:36:57] 453*2^704526-1 is not prime. Res64: 821C4C52D8050FEC Time : 4851.0 sec. user=vaughan [2009-07-25 07:42:27] 501*2^704526-1 is not prime. Res64: AF5BCEB16D5BC222 Time : 4904.0 sec. user=vaughan [2009-07-25 07:45:03] 587*2^704526-1 is not prime. Res64: 64D499CDDFC5FC7A Time : 4853.0 sec. user=vaughan [2009-07-25 07:50:38] 423*2^704527-1 is not prime. Res64: A28019321D88AA1C Time : 4906.0 sec. user=vaughan [2009-07-25 07:53:09] 413*2^704528-1 is not prime. Res64: 4715594157C03862 Time : 4855.0 sec. user=vaughan [2009-07-25 07:58:48] 467*2^704528-1 is not prime. Res64: 963FEDEDF8FDA74F Time : 4908.0 sec. user=vaughan [2009-07-25 08:01:13] 503*2^704528-1 is not prime. Res64: 55A5CD52D46CF17F Time : 4854.0 sec. user=vaughan [2009-07-25 08:06:56] 525*2^704528-1 is not prime. Res64: FBC27B6B76E96673 Time : 4905.0 sec. user=vaughan [2009-07-25 08:09:11] 445*2^704531-1 is not prime. Res64: E49D8227D9C8CEFC Time : 3258.0 sec. user=vaughan [2009-07-25 08:09:17] 563*2^704528-1 is not prime. Res64: ACCF280FAE48C57F Time : 4853.0 sec. user=vaughan [2009-07-25 08:15:06] 465*2^704529-1 is not prime. Res64: 22C66783E3604951 Time : 4907.0 sec. user=vaughan [2009-07-25 08:17:21] 499*2^704529-1 is not prime. Res64: 8965762F5768A3E4 Time : 4852.0 sec. user=vaughan [2009-07-25 08:23:15] 571*2^704529-1 is not prime. Res64: 46AAC68435B3F057 Time : 4904.0 sec. user=vaughan [2009-07-25 08:25:26] 437*2^704530-1 is not prime. Res64: 2CD00AD0FB3247A4 Time : 4851.0 sec. user=vaughan [2009-07-25 08:31:25] 453*2^704530-1 is not prime. Res64: 35AF69E838008909 Time : 4902.0 sec. user=vaughan [2009-07-25 08:33:31] 525*2^704530-1 is not prime. Res64: 6E1E01BB65DCDBA9 Time : 4851.0 sec. user=vaughan [2009-07-25 08:39:24] 519*2^704531-1 is not prime. Res64: F08850D9171E13D0 Time : 4888.0 sec. user=vaughan [2009-07-25 08:41:25] 531*2^704531-1 is not prime. Res64: 2F59155AC088FBA0 Time : 4840.0 sec. user=vaughan [2009-07-25 08:47:18] 573*2^704531-1 is not prime. Res64: 096CC0E641DB5E29 Time : 4871.0 sec. user=vaughan [2009-07-25 08:49:21] 485*2^704532-1 is not prime. Res64: F4CBA49687348587 Time : 4829.0 sec. user=vaughan [2009-07-25 08:55:14] 537*2^704532-1 is not prime. Res64: F7509C1ECA619717 Time : 4857.0 sec. user=vaughan [2009-07-25 08:57:16] 511*2^704533-1 is not prime. Res64: 1818030AA4B1E9FB Time : 4819.0 sec. user=vaughan [2009-07-25 09:03:10] 549*2^704533-1 is not prime. Res64: 3883B7C7018DF268 Time : 4843.0 sec. user=vaughan [2009-07-25 09:05:10] 565*2^704533-1 is not prime. Res64: 2378D8FBF08F1233 Time : 4807.0 sec. user=vaughan [2009-07-25 09:06:26] 423*2^704535-1 is not prime. Res64: DDD9CA24115854C7 Time : 3435.0 sec. user=vaughan [2009-07-25 09:11:06] 425*2^704534-1 is not prime. Res64: 15638ED3C55F90AE Time : 4828.0 sec. user=vaughan [2009-07-25 09:13:05] 473*2^704534-1 is not prime. Res64: A3457CF4104CF2FB Time : 4797.0 sec. user=vaughan [2009-07-25 09:19:02] 501*2^704534-1 is not prime. Res64: 4E56D7B4637D36F4 Time : 4815.0 sec. user=vaughan [2009-07-25 09:20:59] 503*2^704534-1 is not prime. Res64: 9C8E66D812170B76 Time : 4786.0 sec. user=vaughan [2009-07-25 09:26:58] 525*2^704534-1 is not prime. Res64: 28B2084BBA89F14B Time : 4802.0 sec. user=vaughan [2009-07-25 09:28:53] 493*2^704535-1 is not prime. Res64: 8C51DC32AAB3A526 Time : 4776.0 sec. user=vaughan [2009-07-25 09:34:52] 573*2^704535-1 is not prime. Res64: DAA8C409691CA80D Time : 4786.0 sec. user=vaughan [2009-07-25 09:36:48] 437*2^704536-1 is not prime. Res64: 68E47726356CE451 Time : 4767.0 sec. user=vaughan [2009-07-25 09:42:49] 455*2^704536-1 is not prime. Res64: 9747C273209DFEC6 Time : 4774.0 sec. user=vaughan [2009-07-25 09:44:44] 563*2^704536-1 is not prime. Res64: 1C4D49BE582723F7 Time : 4758.0 sec. user=vaughan [2009-07-25 09:50:42] 567*2^704536-1 is not prime. Res64: F4573B4EF3A4FC62 Time : 4757.0 sec. user=vaughan [2009-07-25 09:52:38] 569*2^704536-1 is not prime. Res64: 5B1DD12FBC890ACC Time : 4747.0 sec. user=vaughan [2009-07-25 09:58:36] 517*2^704537-1 is not prime. Res64: 9BA30A0656585ECD Time : 4752.0 sec. user=vaughan [2009-07-25 10:00:30] 401*2^704538-1 is not prime. Res64: A54633015B04B537 Time : 4745.0 sec. user=vaughan [2009-07-25 10:06:30] 461*2^704538-1 is not prime. Res64: 3D51E1F8AEC2A93E Time : 4753.0 sec. user=vaughan [2009-07-25 10:08:25] 483*2^704538-1 is not prime. Res64: 4A5C0939CC537DB2 Time : 4744.0 sec. user=vaughan [2009-07-25 10:11:08] 525*2^704540-1 is not prime. Res64: DA510915695B6E68 Time : 3882.0 sec. user=vaughan [2009-07-25 10:14:25] 421*2^704539-1 is not prime. Res64: 901B61E08C7C304D Time : 4751.0 sec. user=vaughan [2009-07-25 10:16:21] 439*2^704539-1 is not prime. Res64: 9B3E28B14F580DAB Time : 4745.0 sec. user=vaughan [2009-07-25 10:22:19] 417*2^704540-1 is not prime. Res64: 7BEEAA6477E675A3 Time : 4749.0 sec. user=vaughan [2009-07-25 10:24:16] 483*2^704540-1 is not prime. Res64: 884229380A196B44 Time : 4746.0 sec. user=vaughan [2009-07-25 10:30:14] 539*2^704540-1 is not prime. Res64: 662E6D5FE6789C3D Time : 4748.0 sec. user=vaughan [2009-07-25 10:32:12] 511*2^704541-1 is not prime. Res64: E3ED5B266604C36E Time : 4747.0 sec. user=vaughan [2009-07-25 10:38:08] 559*2^704541-1 is not prime. Res64: 6B4C1C8C7BA68E3E Time : 4746.0 sec. user=vaughan [2009-07-25 10:40:07] 401*2^704542-1 is not prime. Res64: 7460D27D363A915B Time : 4748.0 sec. user=vaughan [2009-07-25 10:46:03] 423*2^704542-1 is not prime. Res64: 52857544CB49C68B Time : 4745.0 sec. user=vaughan [2009-07-25 10:48:03] 447*2^704542-1 is not prime. Res64: 2CD5C7772943981B Time : 4750.0 sec. user=vaughan [2009-07-25 10:53:58] 453*2^704542-1 is not prime. Res64: D031ED081BD41FFD Time : 4746.0 sec. user=vaughan [2009-07-25 10:55:57] 451*2^704543-1 is not prime. Res64: 18245757B6026EFB Time : 4749.0 sec. user=vaughan [2009-07-25 11:01:52] 523*2^704543-1 is not prime. Res64: 8573B2B945027F73 Time : 4743.0 sec. user=vaughan [2009-07-25 11:03:53] 571*2^704543-1 is not prime. Res64: BBA498C76983E175 Time : 4749.0 sec. user=vaughan [2009-07-25 11:09:46] 589*2^704543-1 is not prime. Res64: BD6E9B82B3EE1683 Time : 4744.0 sec. user=vaughan [2009-07-25 11:11:49] 413*2^704544-1 is not prime. Res64: 2868862555A78047 Time : 4751.0 sec. user=vaughan [2009-07-25 11:16:15] 535*2^704545-1 is not prime. Res64: DBC47C2795099FBF Time : 3847.0 sec. user=vaughan [2009-07-25 11:17:41] 411*2^704545-1 is not prime. Res64: 47029BAC13F5F7C3 Time : 4745.0 sec. user=vaughan [2009-07-25 11:19:45] 415*2^704545-1 is not prime. Res64: 61253C8CE2948224 Time : 4755.0 sec. user=vaughan [2009-07-25 11:25:37] 465*2^704545-1 is not prime. Res64: 4A827D867D3E5194 Time : 4747.0 sec. user=vaughan [2009-07-25 11:27:40] 507*2^704545-1 is not prime. Res64: 21AF3223EA8084D7 Time : 4755.0 sec. user=vaughan [2009-07-25 11:33:31] 537*2^704545-1 is not prime. Res64: 42BAD916B9DE1FEA Time : 4746.0 sec. user=vaughan [2009-07-25 11:35:35] 541*2^704545-1 is not prime. Res64: F738BA0A0FCE6F17 Time : 4754.0 sec. user=vaughan [2009-07-25 11:41:25] 497*2^704546-1 is not prime. Res64: A3D3B4C6565D357A Time : 4746.0 sec. user=vaughan [2009-07-25 11:43:30] 501*2^704546-1 is not prime. Res64: 0E999B17143E7CF8 Time : 4754.0 sec. user=vaughan [2009-07-25 11:49:20] 503*2^704546-1 is not prime. Res64: CB3616F4ECFA75BA Time : 4746.0 sec. user=vaughan [2009-07-25 11:51:26] 561*2^704546-1 is not prime. Res64: 1B67BF267347C462 Time : 4755.0 sec. user=vaughan [2009-07-25 11:57:15] 563*2^704546-1 is not prime. Res64: 47C03D8C60ED0935 Time : 4747.0 sec. user=vaughan [2009-07-25 11:59:22] 573*2^704546-1 is not prime. Res64: 200963EC1F5A3680 Time : 4756.0 sec. user=vaughan [2009-07-25 12:05:24] 585*2^704546-1 is not prime. Res64: E4CF86BFA4BD81A2 Time : 4761.0 sec. user=vaughan [2009-07-25 12:07:27] 405*2^704547-1 is not prime. Res64: 9C66719A3AC95B67 Time : 4765.0 sec. user=vaughan [2009-07-25 12:13:34] 433*2^704547-1 is not prime. Res64: 40A9691499D26CDF Time : 4776.0 sec. user=vaughan [2009-07-25 12:15:32] 523*2^704547-1 is not prime. Res64: 0ECA8590A3608939 Time : 4775.0 sec. user=vaughan [2009-07-25 12:21:01] 443*2^704548-1 is not prime. Res64: E3A8251FEEE8C0C5 Time : 3887.0 sec. user=vaughan [2009-07-25 12:21:43] 573*2^704547-1 is not prime. Res64: A8C1518C5A65940A Time : 4791.0 sec. user=vaughan [2009-07-25 12:23:36] 579*2^704547-1 is not prime. Res64: F35B41E3C4BE2300 Time : 4783.0 sec. user=vaughan [2009-07-25 12:29:54] 405*2^704548-1 is not prime. Res64: 516D188B003EDB92 Time : 4808.0 sec. user=vaughan [2009-07-25 12:31:41] 419*2^704548-1 is not prime. Res64: F2788E0860724509 Time : 4793.0 sec. user=vaughan [2009-07-25 12:38:05] 537*2^704548-1 is not prime. Res64: 329487E1BF33CD10 Time : 4824.0 sec. user=vaughan [2009-07-25 12:39:45] 575*2^704548-1 is not prime. Res64: 17E358EFA3DFF6FE Time : 4801.0 sec. user=vaughan [2009-07-25 12:46:16] 591*2^704613-1 is not prime. Res64: 36816ED7657B9118 Time : 4839.0 sec. user=vaughan [2009-07-25 12:47:50] 463*2^704911-1 is not prime. Res64: 1985260F22ADE9AD Time : 4811.0 sec. user=vaughan [2009-07-25 12:54:27] 405*2^705805-1 is not prime. Res64: BD7220DB1528369F Time : 4856.0 sec. user=vaughan [2009-07-25 12:55:57] 577*2^706125-1 is not prime. Res64: 4FF0984D040064E2 Time : 4823.0 sec. user=vaughan [2009-07-25 13:02:39] 537*2^707020-1 is not prime. Res64: 362EED1B624E4BF1 Time : 4874.0 sec. user=vaughan [2009-07-25 13:04:04] 465*2^707325-1 is not prime. Res64: 6731AF6F263C6D41 Time : 4835.0 sec. user=vaughan [2009-07-25 13:10:51] 435*2^708197-1 is not prime. Res64: 31E89DB886A66C2F Time : 4892.0 sec. user=vaughan [2009-07-25 13:12:14] 503*2^708516-1 is not prime. Res64: DA5CEB03C22AE7E8 Time : 4849.0 sec. user=vaughan [2009-07-25 13:19:04] 573*2^709398-1 is not prime. Res64: BF1DF3D0429AB3B4 Time : 4910.0 sec. user=vaughan [2009-07-25 13:20:18] 573*2^709699-1 is not prime. Res64: A9A0BFEBA366AD04 Time : 4857.0 sec. user=vaughan [2009-07-25 13:26:39] 489*2^712871-1 is not prime. Res64: 1EB63C646108F387 Time : 3938.0 sec. user=vaughan [2009-07-25 13:27:17] 507*2^710588-1 is not prime. Res64: 552E3474EA5C3E79 Time : 4913.0 sec. user=vaughan [2009-07-25 13:28:27] 589*2^710887-1 is not prime. Res64: A26ABA99D3F4A4CB Time : 4861.0 sec. user=vaughan [2009-07-25 13:35:31] 465*2^711771-1 is not prime. Res64: 8C8811FBB893C040 Time : 4917.0 sec. user=vaughan [2009-07-25 13:36:37] 447*2^712064-1 is not prime. Res64: 648CFC0C215B80FB Time : 4866.0 sec. user=vaughan [2009-07-25 13:43:45] 453*2^712974-1 is not prime. Res64: 6A31DEAB9071A1D8 Time : 4922.0 sec. user=vaughan [2009-07-25 13:44:48] 549*2^713249-1 is not prime. Res64: 8B6AE1C3913F5F4E Time : 4872.0 sec. user=vaughan [2009-07-25 13:52:01] 503*2^714116-1 is not prime. Res64: 5F8E68F1F3F5BE9F Time : 4927.0 sec. user=vaughan [2009-07-25 13:52:59] 529*2^714381-1 is not prime. Res64: 9B791BE7DF471693 Time : 4878.0 sec. user=vaughan [2009-07-25 14:00:18] 573*2^715274-1 is not prime. Res64: 011051BEEFA5449F Time : 4934.0 sec. user=vaughan [2009-07-25 14:01:11] 591*2^715510-1 is not prime. Res64: 3DA6B47E62FB59CD Time : 4886.0 sec. user=vaughan [2009-07-25 14:08:34] 501*2^716379-1 is not prime. Res64: 697433AE5CA68EB8 Time : 4938.0 sec. user=vaughan [2009-07-25 14:09:24] 593*2^716582-1 is not prime. Res64: C2D17A67C16EB6B7 Time : 4894.0 sec. user=vaughan [2009-07-25 14:16:52] 523*2^717475-1 is not prime. Res64: 5737A42A81AB1F19 Time : 4945.0 sec. user=vaughan [2009-07-25 14:17:38] 503*2^717682-1 is not prime. Res64: 1AACCE7FFAE3DE1B Time : 4901.0 sec. user=vaughan [2009-07-25 14:25:13] 587*2^718584-1 is not prime. Res64: 8455222375E84A9E Time : 4954.0 sec. user=vaughan [2009-07-25 14:25:51] 441*2^718769-1 is not prime. Res64: EF52504F2B19C9EB Time : 4907.0 sec. user=vaughan [2009-07-25 14:33:35] 589*2^719663-1 is not prime. Res64: 7673FA9BE85F0602 Time : 4964.0 sec. user=vaughan [2009-07-25 14:34:06] 525*2^719872-1 is not prime. Res64: 4648A7A8A61CF2B9 Time : 4912.0 sec. user=vaughan [2009-07-25 21:33:17] 585*2^704552-1 is not prime. Res64: 2311B13A5CCB5A9B Time : 829.0 sec. user=vaughan [2009-07-25 21:33:23] 435*2^704549-1 is not prime. Res64: 533F5DF8ED73FF06 Time : 846.0 sec. user=vaughan [2009-07-25 21:35:44] 517*2^704549-1 is not prime. Res64: 378AD7BA4D673F1A Time : 987.0 sec. user=vaughan [2009-07-25 21:35:44] 477*2^704554-1 is not prime. Res64: 66B85B81928DAE83 Time : 976.0 sec. user=vaughan [2009-07-25 21:43:49] 491*2^704554-1 is not prime. Res64: FD372DEB6BF8C30E Time : 1461.0 sec. user=vaughan [2009-07-25 21:43:55] 455*2^704550-1 is not prime. Res64: 0C995B21F424C76C Time : 1477.0 sec. user=vaughan [2009-07-25 21:51:55] 493*2^704555-1 is not prime. Res64: B13051111427A424 Time : 1946.0 sec. user=vaughan [2009-07-25 21:52:07] 591*2^704550-1 is not prime. Res64: 75F46698F79CE275 Time : 1969.0 sec. user=vaughan [2009-07-25 22:00:01] 519*2^704555-1 is not prime. Res64: D23BC15DE4099AC9 Time : 2432.0 sec. user=vaughan [2009-07-25 22:00:20] 421*2^704551-1 is not prime. Res64: 173A4A57DC784032 Time : 2461.0 sec. user=vaughan [2009-07-25 22:08:06] 543*2^704555-1 is not prime. Res64: 60FB3A340AB1F622 Time : 2917.0 sec. user=vaughan [2009-07-25 22:08:31] 465*2^704551-1 is not prime. Res64: FB7EE2A1FDB71CC9 Time : 2952.0 sec. user=vaughan [2009-07-25 22:10:25] 563*2^704552-1 is not prime. Res64: 427E4D43BEEFD8FD Time : 3064.0 sec. user=vaughan [2009-07-25 22:24:24] 405*2^704556-1 is not prime. Res64: 21EE1B24C5EAB568 Time : 3894.0 sec. user=vaughan [2009-07-25 22:24:24] 413*2^704556-1 is not prime. Res64: 4C4707C2036B0718 Time : 3894.0 sec. user=vaughan [2009-07-25 22:24:40] 475*2^704551-1 is not prime. Res64: BC1CF9150EE82B75 Time : 3921.0 sec. user=vaughan [2009-07-25 22:24:55] 435*2^704552-1 is not prime. Res64: 61C7FDF456DCCE71 Time : 3935.0 sec. user=vaughan [2009-07-25 22:32:15] 429*2^704556-1 is not prime. Res64: 31EE1B5225260E31 Time : 4364.0 sec. user=vaughan [2009-07-25 22:33:18] 447*2^704552-1 is not prime. Res64: 769567DA0C9F55A4 Time : 4438.0 sec. user=vaughan [2009-07-25 22:40:04] 483*2^704556-1 is not prime. Res64: 00BA7D42B962F588 Time : 4833.0 sec. user=vaughan [2009-07-25 22:41:46] 539*2^704552-1 is not prime. Res64: 30CB1A85E77E72C6 Time : 4946.0 sec. user=vaughan [2009-07-25 22:47:53] 503*2^704556-1 is not prime. Res64: 37261F1AB1D114BD Time : 4476.0 sec. user=vaughan [2009-07-25 22:50:17] 537*2^704556-1 is not prime. Res64: 8CC0DE91B17B5D9E Time : 4614.0 sec. user=vaughan [2009-07-25 22:55:42] 439*2^704557-1 is not prime. Res64: F701009CC49BD8E5 Time : 4798.0 sec. user=vaughan [2009-07-25 22:58:42] 563*2^704556-1 is not prime. Res64: 132C843AA6AC7460 Time : 4978.0 sec. user=vaughan [2009-07-25 23:02:16] 459*2^704559-1 is not prime. Res64: E5BFA5444BC5EFE3 Time : 3111.0 sec. user=vaughan [2009-07-25 23:03:36] 507*2^704557-1 is not prime. Res64: 2E4A16EBB117328F Time : 4787.0 sec. user=vaughan [2009-07-25 23:07:11] 531*2^704557-1 is not prime. Res64: 9101301C255B019E Time : 4996.0 sec. user=vaughan [2009-07-25 23:11:24] 595*2^704557-1 is not prime. Res64: D5487D53E11F321E Time : 4769.0 sec. user=vaughan [2009-07-25 23:15:39] 473*2^704558-1 is not prime. Res64: CE2725EC1DB9003E Time : 5012.0 sec. user=vaughan [2009-07-25 23:19:15] 503*2^704558-1 is not prime. Res64: 53F79C6CAB6F72F7 Time : 4754.0 sec. user=vaughan [2009-07-25 23:24:08] 585*2^704558-1 is not prime. Res64: B7CEFC95537E49A4 Time : 5028.0 sec. user=vaughan [2009-07-25 23:27:07] 423*2^704559-1 is not prime. Res64: 40AEE65A8EBE702E Time : 4741.0 sec. user=vaughan [2009-07-25 23:32:23] 451*2^704559-1 is not prime. Res64: EB62285337C12884 Time : 5032.0 sec. user=vaughan [2009-07-25 23:35:11] 595*2^704559-1 is not prime. Res64: C85DAACD51C8A505 Time : 4248.0 sec. user=vaughan [2009-07-25 23:40:32] 527*2^704560-1 is not prime. Res64: 47135E871DE9C405 Time : 4552.0 sec. user=vaughan [2009-07-25 23:43:17] 465*2^704560-1 is not prime. Res64: F0500A02F8CF999E Time : 4734.0 sec. user=vaughan [2009-07-25 23:48:42] 597*2^704560-1 is not prime. Res64: A1576035354FE569 Time : 5027.0 sec. user=vaughan [2009-07-25 23:51:22] 409*2^704561-1 is not prime. Res64: 791734F5A5C1D985 Time : 4747.0 sec. user=vaughan [2009-07-25 23:54:08] 425*2^704564-1 is not prime. Res64: 5584020BB2C13EC8 Time : 3112.0 sec. user=vaughan [2009-07-25 23:56:51] 465*2^704561-1 is not prime. Res64: 08F59537B7166DB8 Time : 5013.0 sec. user=vaughan [2009-07-25 23:59:28] 537*2^704561-1 is not prime. Res64: BD11A113099AF31B Time : 4764.0 sec.