user=vaughan [2010-06-13 00:02:07] 485*2^828996-1 is not prime. Res64: B61DB503E0FA721C Time : 709.0 sec. user=vaughan [2010-06-13 00:02:49] 403*2^828995-1 is not prime. Res64: 8D022DEF9EBC72B4 Time : 952.0 sec. user=kar_bon [2010-06-13 00:03:01] 531*2^828995-1 is not prime. Res64: 493BDAEDF781D866 Time : 907.0 sec. user=vaughan [2010-06-13 00:03:28] 539*2^828996-1 is not prime. Res64: B0D915C05879736E Time : 709.0 sec. user=vaughan [2010-06-13 00:04:18] 593*2^828994-1 is not prime. Res64: D658F3644EF0E08A Time : 1073.0 sec. user=vaughan [2010-06-13 00:04:36] 591*2^828995-1 is not prime. Res64: F91EC27EA81572E3 Time : 950.0 sec. user=vaughan [2010-06-13 00:06:40] 511*2^828997-1 is not prime. Res64: 924C0ED8E4C6F2B3 Time : 709.0 sec. user=vaughan [2010-06-13 00:07:26] 527*2^828996-1 is not prime. Res64: F3ED49A12055BAD1 Time : 1025.0 sec. user=vaughan [2010-06-13 00:08:05] 483*2^828990-1 is not prime. Res64: 864A59A73668F05C Time : 1937.0 sec. user=vaughan [2010-06-13 00:09:02] 593*2^828996-1 is not prime. Res64: 5150DE2E6792CCDF Time : 999.0 sec. user=vaughan [2010-06-13 00:11:44] 423*2^828998-1 is not prime. Res64: 327A9B8E172704D2 Time : 950.0 sec. user=kar_bon [2010-06-13 00:11:52] 557*2^828998-1 is not prime. Res64: 81BB0473999DE128 Time : 910.0 sec. user=vaughan [2010-06-13 00:12:04] 577*2^828997-1 is not prime. Res64: E8A5122CF2C25F6A Time : 977.0 sec. user=vaughan [2010-06-13 00:13:59] 447*2^829001-1 is not prime. Res64: A0699C1DAA9879EA Time : 712.0 sec. user=vaughan [2010-06-13 00:15:17] 477*2^829001-1 is not prime. Res64: 17F6303295239351 Time : 709.0 sec. user=kar_bon [2010-06-13 00:15:19] 429*2^829000-1 is not prime. Res64: 88E25B7232C48285 Time : 906.0 sec. user=Flatlander [2010-06-13 00:15:44] 507*2^828976-1 is not prime. Res64: A846D19134B8483B Time : 4176.0 sec. user=Flatlander [2010-06-13 00:15:45] 539*2^828976-1 is not prime. Res64: A7274CE5114D28FB Time : 4176.0 sec. user=Flatlander [2010-06-13 00:15:46] 567*2^828976-1 is not prime. Res64: EBE07F8EC97FFED1 Time : 4175.0 sec. user=Flatlander [2010-06-13 00:15:47] 501*2^828977-1 is not prime. Res64: E10F89B1441A1E32 Time : 4175.0 sec. user=Flatlander [2010-06-13 00:15:47] 549*2^828977-1 is not prime. Res64: 19C759835B76E16B Time : 4173.0 sec. user=vaughan [2010-06-13 00:16:03] 471*2^828999-1 is not prime. Res64: A17EAA664740DF1C Time : 999.0 sec. user=vaughan [2010-06-13 00:17:55] 563*2^829000-1 is not prime. Res64: 4A06B842D3CDBF02 Time : 1048.0 sec. user=kar_bon [2010-06-13 00:18:10] 465*2^829001-1 is not prime. Res64: B72803069EACA367 Time : 908.0 sec. user=vaughan [2010-06-13 00:18:31] 551*2^829002-1 is not prime. Res64: C6AD385DBD73B3A5 Time : 711.0 sec. user=vaughan [2010-06-13 00:18:40] 459*2^829001-1 is not prime. Res64: 647736231DA8E130 Time : 951.0 sec. user=vaughan [2010-06-13 00:19:25] 477*2^828997-1 is not prime. Res64: 144B9B56205BD3D9 Time : 1518.0 sec. user=vaughan [2010-06-13 00:20:26] 577*2^829001-1 is not prime. Res64: 11E9DE5B387A3B91 Time : 950.0 sec. user=vaughan [2010-06-13 00:22:09] 571*2^829001-1 is not prime. Res64: 28F708FA2E0D8A28 Time : 1071.0 sec. user=Flatlander [2010-06-13 00:22:19] 417*2^828980-1 is not prime. Res64: 2C5A7BE5FD7E1653 Time : 4114.0 sec. user=Flatlander [2010-06-13 00:22:20] 453*2^828980-1 is not prime. Res64: AC5A446E42566FDF Time : 4114.0 sec. user=Flatlander [2010-06-13 00:22:21] 503*2^828980-1 is not prime. Res64: 5910EAF57226E5DD Time : 4113.0 sec. user=Flatlander [2010-06-13 00:22:22] 525*2^828980-1 is not prime. Res64: 53467B2A3019276D Time : 4112.0 sec. user=Flatlander [2010-06-13 00:22:22] 415*2^828981-1 is not prime. Res64: F5F7B6962FC5B1AB Time : 4111.0 sec. user=vaughan [2010-06-13 00:24:05] 483*2^828998-1 is not prime. Res64: F45B098F65CA44D6 Time : 1656.0 sec. user=vaughan [2010-06-13 00:24:33] 573*2^829002-1 is not prime. Res64: 1902450B94385161 Time : 1027.0 sec. user=vaughan [2010-06-13 00:25:41] 549*2^829003-1 is not prime. Res64: 5F36F0C1B9BBDDA2 Time : 999.0 sec. user=vaughan [2010-06-13 00:25:51] 429*2^829005-1 is not prime. Res64: 600056B9828697A9 Time : 712.0 sec. user=vaughan [2010-06-13 00:26:35] 439*2^828997-1 is not prime. Res64: 8ACD1C5507108D0B Time : 2009.0 sec. user=kar_bon [2010-06-13 00:26:58] 595*2^829003-1 is not prime. Res64: 20FB5B3764A867A7 Time : 906.0 sec. user=vaughan [2010-06-13 00:27:06] 531*2^829005-1 is not prime. Res64: 6CACC23829D15E95 Time : 709.0 sec. user=vaughan [2010-06-13 00:27:33] 555*2^829003-1 is not prime. Res64: 8240F561351E71DE Time : 950.0 sec. user=vaughan [2010-06-13 00:28:21] 483*2^829004-1 is not prime. Res64: 5993500660DC02EC Time : 977.0 sec. user=vaughan [2010-06-13 00:29:22] 507*2^828989-1 is not prime. Res64: 199BA236B396F696 Time : 3253.0 sec. user=vaughan [2010-06-13 00:30:21] 411*2^829009-1 is not prime. Res64: 820AB7A2FD8C761B Time : 711.0 sec. user=kar_bon [2010-06-13 00:30:27] 491*2^829006-1 is not prime. Res64: 1B3A665EF9894C95 Time : 907.0 sec. user=vaughan [2010-06-13 00:32:41] 507*2^829008-1 is not prime. Res64: F4AD1ECFA7FB4E57 Time : 998.0 sec. user=kar_bon [2010-06-13 00:33:17] 525*2^829008-1 is not prime. Res64: 6D9718F1C5E7B27D Time : 907.0 sec. user=vaughan [2010-06-13 00:34:28] 427*2^829009-1 is not prime. Res64: 9AFDFF1420E9819A Time : 949.0 sec. user=vaughan [2010-06-13 00:35:19] 513*2^829008-1 is not prime. Res64: 3E9CC305C8540AAB Time : 1045.0 sec. user=vaughan [2010-06-13 00:36:13] 495*2^829009-1 is not prime. Res64: 5A5C78B3F0A56170 Time : 947.0 sec. user=vaughan [2010-06-13 00:37:42] 435*2^829012-1 is not prime. Res64: D538F1A138EC2D23 Time : 712.0 sec. user=vaughan [2010-06-13 00:38:57] 507*2^829012-1 is not prime. Res64: A937F333BCB4CB54 Time : 711.0 sec. user=Flatlander [2010-06-13 00:39:16] 451*2^828987-1 is not prime. Res64: 80928DE5D542A58B Time : 4187.0 sec. user=Flatlander [2010-06-13 00:39:17] 529*2^828987-1 is not prime. Res64: 81CB4894F82E0BD3 Time : 4187.0 sec. user=Flatlander [2010-06-13 00:39:18] 585*2^828987-1 is not prime. Res64: 21A1F1A5752A451F Time : 4186.0 sec. user=Flatlander [2010-06-13 00:39:18] 435*2^828988-1 is not prime. Res64: 49416967C67D1C9C Time : 4184.0 sec. user=Flatlander [2010-06-13 00:39:19] 449*2^828988-1 is not prime. Res64: 68EE8145A07295C8 Time : 4184.0 sec. user=vaughan [2010-06-13 00:39:33] 511*2^829009-1 is not prime. Res64: 4FB9123DF74684E7 Time : 1044.0 sec. user=vaughan [2010-06-13 00:40:02] 587*2^829002-1 is not prime. Res64: F45C81ECAEEE0371 Time : 1918.0 sec. user=vaughan [2010-06-13 00:41:37] 513*2^829011-1 is not prime. Res64: 15EA23A0EE9D42EA Time : 1025.0 sec. user=kar_bon [2010-06-13 00:42:05] 497*2^829012-1 is not prime. Res64: 38195C1D1E160B86 Time : 906.0 sec. user=vaughan [2010-06-13 00:42:11] 483*2^829014-1 is not prime. Res64: FC156D170A81CF3F Time : 710.0 sec. user=vaughan [2010-06-13 00:42:20] 423*2^829012-1 is not prime. Res64: 4A3F21BA2D2FDEEC Time : 1000.0 sec. user=vaughan [2010-06-13 00:43:19] 495*2^829013-1 is not prime. Res64: 42D5B60F74606F4A Time : 946.0 sec. user=vaughan [2010-06-13 00:44:23] 441*2^829009-1 is not prime. Res64: A18AD14FE626A2A9 Time : 1498.0 sec. user=vaughan [2010-06-13 00:44:37] 565*2^829013-1 is not prime. Res64: 0FC071D4BD74BBD7 Time : 977.0 sec. user=kar_bon [2010-06-13 00:45:37] 531*2^829015-1 is not prime. Res64: 1FA062B3F9207FD7 Time : 909.0 sec. user=Flatlander [2010-06-13 00:45:50] 503*2^828990-1 is not prime. Res64: AE74E14504052AE7 Time : 4186.0 sec. user=Flatlander [2010-06-13 00:45:50] 423*2^828991-1 is not prime. Res64: 0D72FE2E40E8447A Time : 4185.0 sec. user=Flatlander [2010-06-13 00:45:51] 453*2^828991-1 is not prime. Res64: 32EC6CF7E8DF95CF Time : 4184.0 sec. user=Flatlander [2010-06-13 00:45:52] 541*2^828991-1 is not prime. Res64: ACBB0635E12B2319 Time : 4184.0 sec. user=Flatlander [2010-06-13 00:45:53] 559*2^828991-1 is not prime. Res64: 912C2EE66EBCC71F Time : 4183.0 sec. user=kar_bon [2010-06-13 00:48:22] 509*2^829016-1 is not prime. Res64: 37F431CE8527D7AB Time : 904.0 sec. user=vaughan [2010-06-13 00:49:19] 595*2^829015-1 is not prime. Res64: 9085C574A9396D48 Time : 998.0 sec. user=vaughan [2010-06-13 00:49:33] 585*2^829016-1 is not prime. Res64: 61C6748263817F2C Time : 711.0 sec. user=vaughan [2010-06-13 00:50:14] 515*2^829016-1 is not prime. Res64: DBA185F4D3D20C7D Time : 946.0 sec. user=vaughan [2010-06-13 00:50:46] 457*2^829017-1 is not prime. Res64: ADB56F4DC7F6C59C Time : 710.0 sec. user=vaughan [2010-06-13 00:51:16] 511*2^829011-1 is not prime. Res64: 87D6A9FCE5F4F8AF Time : 1632.0 sec. user=vaughan [2010-06-13 00:51:59] 573*2^829016-1 is not prime. Res64: C131B9D0593D2F6E Time : 946.0 sec. user=vaughan [2010-06-13 00:52:39] 525*2^829016-1 is not prime. Res64: DC39F328F8022843 Time : 1040.0 sec. user=vaughan [2010-06-13 00:54:03] 595*2^829019-1 is not prime. Res64: B1A2DFBD9B2768EF Time : 712.0 sec. user=vaughan [2010-06-13 00:54:52] 567*2^829000-1 is not prime. Res64: E6A4D5C8E3A650AC Time : 3264.0 sec. user=vaughan [2010-06-13 00:56:50] 527*2^829018-1 is not prime. Res64: 2525A092F1DA357E Time : 1037.0 sec. user=kar_bon [2010-06-13 00:57:13] 469*2^829019-1 is not prime. Res64: 0B69B29C201A53E7 Time : 908.0 sec. user=vaughan [2010-06-13 00:58:43] 581*2^829018-1 is not prime. Res64: F8B5028005574832 Time : 1026.0 sec. user=vaughan [2010-06-13 00:58:57] 459*2^829020-1 is not prime. Res64: CD6853EE2612CB62 Time : 998.0 sec. user=vaughan [2010-06-13 00:59:05] 527*2^829020-1 is not prime. Res64: 3FAEF87DF2D23AC9 Time : 946.0 sec. user=vaughan [2010-06-13 01:00:15] 485*2^829012-1 is not prime. Res64: 42327D88B025BF16 Time : 2020.0 sec. user=kar_bon [2010-06-13 01:00:44] 499*2^829021-1 is not prime. Res64: 56D4275771C21C11 Time : 906.0 sec. user=vaughan [2010-06-13 01:00:53] 489*2^829021-1 is not prime. Res64: 2F8D97A7028D807F Time : 976.0 sec. user=vaughan [2010-06-13 01:01:24] 507*2^829024-1 is not prime. Res64: 8AC3228DCB088EC1 Time : 711.0 sec. user=vaughan [2010-06-13 01:02:34] 465*2^829025-1 is not prime. Res64: 53EDAAC48807E0F7 Time : 708.0 sec. user=kar_bon [2010-06-13 01:03:33] 429*2^829024-1 is not prime. Res64: 322A1F7925FFB90E Time : 910.0 sec. user=vaughan [2010-06-13 01:05:52] 589*2^829025-1 is not prime. Res64: A7CBCDB033FB80E8 Time : 710.0 sec. user=vaughan [2010-06-13 01:05:57] 483*2^829024-1 is not prime. Res64: 6E95DCCA5053CCEB Time : 999.0 sec. user=vaughan [2010-06-13 01:06:00] 587*2^829024-1 is not prime. Res64: 8A2BCD478485C33A Time : 947.0 sec. user=vaughan [2010-06-13 01:07:46] 487*2^829025-1 is not prime. Res64: 3A418C1B4DFF8210 Time : 947.0 sec. user=vaughan [2010-06-13 01:09:59] 585*2^829025-1 is not prime. Res64: 92929E0C7FFCE93A Time : 1041.0 sec. user=vaughan [2010-06-13 01:11:40] 471*2^829021-1 is not prime. Res64: E12A8DA94D4D4BA6 Time : 1637.0 sec. user=kar_bon [2010-06-13 01:12:18] 493*2^829027-1 is not prime. Res64: D41F044CCBD755D2 Time : 905.0 sec. user=vaughan [2010-06-13 01:12:40] 545*2^829018-1 is not prime. Res64: 173A7A84BF14314E Time : 1958.0 sec. user=vaughan [2010-06-13 01:13:12] 565*2^829029-1 is not prime. Res64: 3610D80BA129246C Time : 709.0 sec. user=vaughan [2010-06-13 01:14:05] 567*2^829026-1 is not prime. Res64: F99869E0E9DDF08F Time : 1036.0 sec. user=vaughan [2010-06-13 01:14:22] 597*2^829029-1 is not prime. Res64: 9380C9FDBB9A5B74 Time : 708.0 sec. user=vaughan [2010-06-13 01:14:50] 549*2^829027-1 is not prime. Res64: 0195EBF14EF6FEFB Time : 946.0 sec. user=vaughan [2010-06-13 01:15:34] 511*2^829027-1 is not prime. Res64: AE9E8CF6D663DDA9 Time : 997.0 sec. user=vaughan [2010-06-13 01:15:48] 505*2^829027-1 is not prime. Res64: C3BA5DD0D1481724 Time : 1025.0 sec. user=kar_bon [2010-06-13 01:15:51] 439*2^829029-1 is not prime. Res64: 689B2AA3AC3A7D68 Time : 906.0 sec. user=vaughan [2010-06-13 01:17:09] 465*2^829029-1 is not prime. Res64: 48841434CE3C61DA Time : 976.0 sec. user=vaughan [2010-06-13 01:17:40] 483*2^829030-1 is not prime. Res64: AA943099698F8C1D Time : 708.0 sec. user=kar_bon [2010-06-13 01:18:40] 413*2^829030-1 is not prime. Res64: 15B86C18E839F79D Time : 907.0 sec. user=vaughan [2010-06-13 01:20:31] 475*2^829025-1 is not prime. Res64: 7134E44F9FF43D89 Time : 1755.0 sec. user=vaughan [2010-06-13 01:21:46] 513*2^829030-1 is not prime. Res64: 5EB93236E7F48805 Time : 946.0 sec. user=vaughan [2010-06-13 01:22:35] 495*2^829030-1 is not prime. Res64: 3A854293A6937F39 Time : 998.0 sec. user=vaughan [2010-06-13 01:23:31] 533*2^829030-1 is not prime. Res64: F9AC26F4B16C4B82 Time : 946.0 sec. user=vaughan [2010-06-13 01:25:01] 565*2^829031-1 is not prime. Res64: E02B2E1AA435017F Time : 709.0 sec. user=vaughan [2010-06-13 01:25:12] 591*2^829013-1 is not prime. Res64: 4239C4951F3930C1 Time : 3350.0 sec. user=Flatlander [2010-06-13 01:25:52] 573*2^829006-1 is not prime. Res64: EE152FA96EAE6ABE Time : 4203.0 sec. user=Flatlander [2010-06-13 01:25:53] 465*2^829007-1 is not prime. Res64: 7F1A368B549EA108 Time : 4202.0 sec. user=Flatlander [2010-06-13 01:25:54] 531*2^829007-1 is not prime. Res64: A92ACAC89750B3AE Time : 4202.0 sec. user=Flatlander [2010-06-13 01:25:54] 585*2^829007-1 is not prime. Res64: B170CCD6E42C9AC7 Time : 4200.0 sec. user=Flatlander [2010-06-13 01:25:55] 479*2^829008-1 is not prime. Res64: F0E4A2CE9AADECE5 Time : 4200.0 sec. user=vaughan [2010-06-13 01:26:10] 539*2^829032-1 is not prime. Res64: D87A45A496A2F97C Time : 709.0 sec. user=vaughan [2010-06-13 01:27:18] 567*2^829030-1 is not prime. Res64: 7D347794521561DC Time : 1039.0 sec. user=kar_bon [2010-06-13 01:27:27] 489*2^829031-1 is not prime. Res64: C95970BFE3DE3FCD Time : 909.0 sec. user=vaughan [2010-06-13 01:29:29] 521*2^829034-1 is not prime. Res64: A9F5ED316E882CE5 Time : 709.0 sec. user=vaughan [2010-06-13 01:30:37] 563*2^829032-1 is not prime. Res64: 46C5C3D5503B4005 Time : 947.0 sec. user=kar_bon [2010-06-13 01:30:58] 465*2^829033-1 is not prime. Res64: 49265CE47A460C9B Time : 907.0 sec. user=vaughan [2010-06-13 01:31:21] 497*2^829032-1 is not prime. Res64: 676888FC612E836F Time : 1036.0 sec. user=vaughan [2010-06-13 01:32:11] 435*2^829033-1 is not prime. Res64: 4027607CD4114113 Time : 998.0 sec. user=Flatlander [2010-06-13 01:32:37] 467*2^829010-1 is not prime. Res64: D8BDF13F129F0A4F Time : 4213.0 sec. user=Flatlander [2010-06-13 01:32:38] 403*2^829011-1 is not prime. Res64: 1A6E5374A149264A Time : 4212.0 sec. user=Flatlander [2010-06-13 01:32:38] 405*2^829011-1 is not prime. Res64: D93C69678A3E56FA Time : 4211.0 sec. user=Flatlander [2010-06-13 01:32:39] 469*2^829011-1 is not prime. Res64: 5B847A2179F6B30D Time : 4210.0 sec. user=Flatlander [2010-06-13 01:32:40] 493*2^829011-1 is not prime. Res64: 6CCEB1B070BB0EBF Time : 4210.0 sec. user=vaughan [2010-06-13 01:32:53] 441*2^829033-1 is not prime. Res64: 4127DE7068B80E46 Time : 1025.0 sec. user=vaughan [2010-06-13 01:33:20] 515*2^829028-1 is not prime. Res64: 1FD73A57D4E9AA95 Time : 1985.0 sec. user=vaughan [2010-06-13 01:33:23] 595*2^829033-1 is not prime. Res64: E9D9D0864036406A Time : 975.0 sec. user=kar_bon [2010-06-13 01:33:49] 563*2^829034-1 is not prime. Res64: 33540AD4CA890EBC Time : 908.0 sec. user=vaughan [2010-06-13 01:36:48] 463*2^829031-1 is not prime. Res64: BD5499FE5FCC0506 Time : 1508.0 sec. user=vaughan [2010-06-13 01:36:49] 523*2^829035-1 is not prime. Res64: 937F4D043D0DD4AB Time : 708.0 sec. user=vaughan [2010-06-13 01:37:35] 433*2^829035-1 is not prime. Res64: 831F7045A4C4F8FA Time : 950.0 sec. user=vaughan [2010-06-13 01:37:57] 539*2^829036-1 is not prime. Res64: B308463F25572DCB Time : 707.0 sec. user=vaughan [2010-06-13 01:39:14] 469*2^829035-1 is not prime. Res64: 3BF960A089808583 Time : 999.0 sec. user=vaughan [2010-06-13 01:39:16] 513*2^829035-1 is not prime. Res64: 882F103363C73454 Time : 945.0 sec. user=vaughan [2010-06-13 01:41:19] 519*2^829037-1 is not prime. Res64: 30DF39763A433E51 Time : 710.0 sec. user=kar_bon [2010-06-13 01:42:41] 441*2^829037-1 is not prime. Res64: AE1F5F299116DF21 Time : 913.0 sec. user=vaughan [2010-06-13 01:43:19] 573*2^829034-1 is not prime. Res64: 827A39AB0756606C Time : 1368.0 sec. user=vaughan [2010-06-13 01:44:36] 421*2^829037-1 is not prime. Res64: 78279E92EA09F2AC Time : 1039.0 sec. user=vaughan [2010-06-13 01:45:24] 511*2^829031-1 is not prime. Res64: 3E20C40D0D8B5E80 Time : 1965.0 sec. user=kar_bon [2010-06-13 01:46:11] 473*2^829038-1 is not prime. Res64: 43974561CA4C42D0 Time : 912.0 sec. user=vaughan [2010-06-13 01:46:22] 465*2^829038-1 is not prime. Res64: 2346175B828713A9 Time : 946.0 sec. user=vaughan [2010-06-13 01:48:35] 557*2^829038-1 is not prime. Res64: 1ACC139CCD864D0F Time : 1034.0 sec. user=vaughan [2010-06-13 01:48:38] 463*2^829043-1 is not prime. Res64: 9E3CB3F11BD36BEC Time : 709.0 sec. user=vaughan [2010-06-13 01:48:48] 567*2^829038-1 is not prime. Res64: 073DA2640ED9363C Time : 997.0 sec. user=kar_bon [2010-06-13 01:49:11] 425*2^829042-1 is not prime. Res64: 3CA614881EA87C63 Time : 922.0 sec. user=vaughan [2010-06-13 01:49:13] 431*2^829026-1 is not prime. Res64: 31CFFAB1DFCF6B4D Time : 3261.0 sec. user=Flatlander [2010-06-13 01:49:25] 471*2^829017-1 is not prime. Res64: 279C84BDF6684416 Time : 4204.0 sec. user=Flatlander [2010-06-13 01:49:26] 555*2^829017-1 is not prime. Res64: E4ADD684B605593F Time : 4204.0 sec. user=Flatlander [2010-06-13 01:49:26] 401*2^829018-1 is not prime. Res64: 37CD9DC20C116627 Time : 4202.0 sec. user=Flatlander [2010-06-13 01:49:27] 435*2^829018-1 is not prime. Res64: 918E7ACA574B4113 Time : 4202.0 sec. user=Flatlander [2010-06-13 01:49:28] 467*2^829018-1 is not prime. Res64: 326B36E1005DFC93 Time : 4201.0 sec. user=vaughan [2010-06-13 01:49:39] 591*2^829041-1 is not prime. Res64: 311A2B7D8DA6B341 Time : 976.0 sec. user=vaughan [2010-06-13 01:49:44] 425*2^829044-1 is not prime. Res64: AD866FB389688A86 Time : 707.0 sec. user=vaughan [2010-06-13 01:49:57] 465*2^829041-1 is not prime. Res64: 7E41EC96659EFCBF Time : 1025.0 sec. user=vaughan [2010-06-13 01:53:07] 519*2^829045-1 is not prime. Res64: 6437E05FA187A71B Time : 710.0 sec. user=vaughan [2010-06-13 01:53:21] 475*2^829043-1 is not prime. Res64: B4FA247CBE675C42 Time : 946.0 sec. user=vaughan [2010-06-13 01:55:03] 465*2^829045-1 is not prime. Res64: 046210A520C8FEB0 Time : 947.0 sec. user=Flatlander [2010-06-13 01:55:47] 433*2^829023-1 is not prime. Res64: 51DD0035608C4D37 Time : 4193.0 sec. user=Flatlander [2010-06-13 01:55:48] 439*2^829023-1 is not prime. Res64: F568C9BB652D72D9 Time : 4192.0 sec. user=Flatlander [2010-06-13 01:55:49] 501*2^829023-1 is not prime. Res64: FFE142D1AEFF811A Time : 4192.0 sec. user=Flatlander [2010-06-13 01:55:50] 565*2^829023-1 is not prime. Res64: CA34DA1EAE845C3C Time : 4191.0 sec. user=Flatlander [2010-06-13 01:55:50] 413*2^829024-1 is not prime. Res64: 775D1EF59C013640 Time : 4189.0 sec. user=vaughan [2010-06-13 01:55:51] 549*2^829044-1 is not prime. Res64: F8D1336821484EF6 Time : 998.0 sec. user=kar_bon [2010-06-13 01:58:23] 591*2^829045-1 is not prime. Res64: EFFE5B1C3D93C50E Time : 941.0 sec. user=vaughan [2010-06-13 02:00:27] 405*2^829047-1 is not prime. Res64: 6B257D2343B37BA4 Time : 710.0 sec. user=vaughan [2010-06-13 02:01:32] 477*2^829049-1 is not prime. Res64: 45844178C46CE538 Time : 708.0 sec. user=vaughan [2010-06-13 02:01:55] 597*2^829045-1 is not prime. Res64: F8447EEF652B106B Time : 1039.0 sec. user=vaughan [2010-06-13 02:01:59] 491*2^829042-1 is not prime. Res64: 623CCA973B2E7BDC Time : 1514.0 sec. user=kar_bon [2010-06-13 02:02:02] 495*2^829046-1 is not prime. Res64: 551CAFD3D7EBF321 Time : 950.0 sec. user=vaughan [2010-06-13 02:02:08] 501*2^829046-1 is not prime. Res64: BCBDF2C836A6B783 Time : 946.0 sec. user=kar_bon [2010-06-13 02:04:49] 483*2^829047-1 is not prime. Res64: E55C5FC1C59C86B1 Time : 937.0 sec. user=vaughan [2010-06-13 02:04:55] 589*2^829049-1 is not prime. Res64: 350C7BF792820311 Time : 708.0 sec. user=vaughan [2010-06-13 02:05:25] 471*2^829047-1 is not prime. Res64: 7B0784F7935F7D46 Time : 997.0 sec. user=vaughan [2010-06-13 02:05:50] 581*2^829046-1 is not prime. Res64: 3406424BB73FA54F Time : 1035.0 sec. user=vaughan [2010-06-13 02:05:55] 569*2^829048-1 is not prime. Res64: BE778555E1546020 Time : 976.0 sec. user=vaughan [2010-06-13 02:05:58] 495*2^829041-1 is not prime. Res64: 230B10A4867FBDC9 Time : 1959.0 sec. user=vaughan [2010-06-13 02:07:03] 565*2^829049-1 is not prime. Res64: B47C78D17A947EC8 Time : 1026.0 sec. user=vaughan [2010-06-13 02:09:07] 595*2^829049-1 is not prime. Res64: A844CE957340B747 Time : 947.0 sec. user=vaughan [2010-06-13 02:09:44] 595*2^829045-1 is not prime. Res64: 9B8CC16A653063BE Time : 1585.0 sec. user=vaughan [2010-06-13 02:10:24] 541*2^829035-1 is not prime. Res64: 3DB123F2C0AB379E Time : 2713.0 sec. user=vaughan [2010-06-13 02:10:48] 401*2^829050-1 is not prime. Res64: 7B81F8B7B6A49C33 Time : 946.0 sec. user=vaughan [2010-06-13 02:12:16] 417*2^829052-1 is not prime. Res64: 6D7AA5044FCEDB42 Time : 710.0 sec. user=vaughan [2010-06-13 02:12:28] 471*2^829050-1 is not prime. Res64: 1122B8710F6FDF35 Time : 997.0 sec. user=vaughan [2010-06-13 02:13:20] 423*2^829052-1 is not prime. Res64: 1DD1A49E6A527158 Time : 709.0 sec. user=kar_bon [2010-06-13 02:15:02] 535*2^829051-1 is not prime. Res64: 0E46FD4759E5211E Time : 999.0 sec. user=vaughan [2010-06-13 02:16:43] 441*2^829053-1 is not prime. Res64: 870D074E14C1947D Time : 708.0 sec. user=vaughan [2010-06-13 02:17:53] 545*2^829052-1 is not prime. Res64: 85557AAE7F714232 Time : 946.0 sec. user=kar_bon [2010-06-13 02:18:37] 539*2^829052-1 is not prime. Res64: 54C2C67F40FAAC7D Time : 995.0 sec. user=vaughan [2010-06-13 02:19:13] 479*2^829052-1 is not prime. Res64: F6EEFB7458335CCE Time : 1039.0 sec. user=vaughan [2010-06-13 02:19:28] 407*2^829046-1 is not prime. Res64: 6CD170E3404C34DE Time : 2047.0 sec. user=kar_bon [2010-06-13 02:21:09] 429*2^829053-1 is not prime. Res64: 8FE4E4E9DA816449 Time : 980.0 sec. user=vaughan [2010-06-13 02:22:03] 481*2^829053-1 is not prime. Res64: E74AF730B37F4766 Time : 998.0 sec. user=vaughan [2010-06-13 02:22:11] 571*2^829053-1 is not prime. Res64: E71E2FC6809E218F Time : 976.0 sec. user=vaughan [2010-06-13 02:23:04] 499*2^829053-1 is not prime. Res64: 193ED5A1286CB3EE Time : 1034.0 sec. user=vaughan [2010-06-13 02:24:04] 525*2^829056-1 is not prime. Res64: 8F12946C832CBA91 Time : 708.0 sec. user=vaughan [2010-06-13 02:24:08] 403*2^829055-1 is not prime. Res64: FE90B0589AE076E3 Time : 1025.0 sec. user=vaughan [2010-06-13 02:24:52] 433*2^829055-1 is not prime. Res64: 2C1D1F8DE68D72FA Time : 945.0 sec. user=vaughan [2010-06-13 02:25:07] 435*2^829057-1 is not prime. Res64: C6809E42BB0E4FA3 Time : 708.0 sec. user=vaughan [2010-06-13 02:26:34] 503*2^829056-1 is not prime. Res64: EB6B099EA4C83FA0 Time : 946.0 sec. user=vaughan [2010-06-13 02:27:46] 483*2^829052-1 is not prime. Res64: F8BD72E0F0EBBCD5 Time : 1548.0 sec. user=vaughan [2010-06-13 02:28:32] 499*2^829057-1 is not prime. Res64: D3E79BFE961225FC Time : 709.0 sec. user=vaughan [2010-06-13 02:29:07] 585*2^829056-1 is not prime. Res64: F8235CA0E7BFDBAA Time : 999.0 sec. user=kar_bon [2010-06-13 02:31:21] 489*2^829057-1 is not prime. Res64: 707839F589A537AF Time : 979.0 sec. user=vaughan [2010-06-13 02:33:39] 431*2^829058-1 is not prime. Res64: 6D3154B890093A63 Time : 946.0 sec. user=kar_bon [2010-06-13 02:34:51] 437*2^829058-1 is not prime. Res64: FC52FFF437D02205 Time : 974.0 sec. user=vaughan [2010-06-13 02:35:03] 489*2^829047-1 is not prime. Res64: C24C834487630DE2 Time : 2750.0 sec. user=Flatlander [2010-06-13 02:35:08] 591*2^829035-1 is not prime. Res64: D671FBF9FE8449A8 Time : 4151.0 sec. user=Flatlander [2010-06-13 02:35:09] 595*2^829035-1 is not prime. Res64: C250CBBE4FBC73B0 Time : 4150.0 sec. user=Flatlander [2010-06-13 02:35:10] 435*2^829036-1 is not prime. Res64: 57D83FEF698CB10F Time : 4150.0 sec. user=Flatlander [2010-06-13 02:35:10] 453*2^829036-1 is not prime. Res64: A882CDA43F97D963 Time : 4148.0 sec. user=Flatlander [2010-06-13 02:35:11] 519*2^829036-1 is not prime. Res64: 795742B9C39EFC98 Time : 4148.0 sec. user=vaughan [2010-06-13 02:35:55] 595*2^829059-1 is not prime. Res64: CC42110FAECCCC2C Time : 711.0 sec. user=vaughan [2010-06-13 02:36:15] 463*2^829055-1 is not prime. Res64: 87784483C73E7750 Time : 1592.0 sec. user=vaughan [2010-06-13 02:36:33] 563*2^829058-1 is not prime. Res64: 77443A367F99AFCD Time : 1040.0 sec. user=vaughan [2010-06-13 02:36:57] 525*2^829060-1 is not prime. Res64: 405E8CC0D4FDABE2 Time : 710.0 sec. user=kar_bon [2010-06-13 02:37:19] 495*2^829059-1 is not prime. Res64: 9C9D46E121C36F9A Time : 969.0 sec. user=vaughan [2010-06-13 02:38:38] 571*2^829059-1 is not prime. Res64: 8EADA58D18F3CD59 Time : 987.0 sec. user=vaughan [2010-06-13 02:38:38] 435*2^829054-1 is not prime. Res64: 02244A3663A8AA83 Time : 1960.0 sec. user=vaughan [2010-06-13 02:38:50] 501*2^829059-1 is not prime. Res64: 86D5425254E0DD55 Time : 1008.0 sec. user=kar_bon [2010-06-13 02:39:37] 579*2^828612-1 is not prime. Res64: 6A1BA52207AA895F Time : 67963.0 sec. user=vaughan [2010-06-13 02:40:19] 583*2^829059-1 is not prime. Res64: 01E928AC5264A991 Time : 1035.0 sec. user=vaughan [2010-06-13 02:40:23] 417*2^829061-1 is not prime. Res64: 4F656A6CB927D02B Time : 712.0 sec. user=vaughan [2010-06-13 02:40:39] 443*2^829060-1 is not prime. Res64: AC44703DCFBE15ED Time : 947.0 sec. user=Flatlander [2010-06-13 02:41:06] 499*2^829039-1 is not prime. Res64: 7E26CD15509D9E09 Time : 4104.0 sec. user=Flatlander [2010-06-13 02:41:07] 553*2^829039-1 is not prime. Res64: E303AD4BAD6ABCF7 Time : 4104.0 sec. user=Flatlander [2010-06-13 02:41:08] 405*2^829040-1 is not prime. Res64: 0ED1E1E1903D60D8 Time : 4103.0 sec. user=Flatlander [2010-06-13 02:41:09] 479*2^829040-1 is not prime. Res64: 16A0BBB3F35A4D5F Time : 4103.0 sec. user=Flatlander [2010-06-13 02:41:10] 405*2^829041-1 is not prime. Res64: AB1EB1E002BCA768 Time : 4102.0 sec. user=vaughan [2010-06-13 02:41:22] 423*2^829060-1 is not prime. Res64: 4B8F3684AA1AE223 Time : 1035.0 sec. user=vaughan [2010-06-13 02:42:19] 409*2^829061-1 is not prime. Res64: 2AF1D15C92792567 Time : 946.0 sec. user=vaughan [2010-06-13 02:45:58] 447*2^829061-1 is not prime. Res64: 378370F4F693AAAC Time : 1012.0 sec. user=vaughan [2010-06-13 02:47:44] 453*2^829063-1 is not prime. Res64: 5E1A5D2A9D93E2DE Time : 709.0 sec. user=vaughan [2010-06-13 02:48:44] 435*2^829064-1 is not prime. Res64: B4C9FC655E2A71C4 Time : 707.0 sec. user=vaughan [2010-06-13 02:49:24] 561*2^829061-1 is not prime. Res64: 370931D34A627EB5 Time : 945.0 sec. user=vaughan [2010-06-13 02:51:52] 459*2^829059-1 is not prime. Res64: CA77923779F605CF Time : 1944.0 sec. user=vaughan [2010-06-13 02:52:12] 481*2^829065-1 is not prime. Res64: 514FFB6096184030 Time : 709.0 sec. user=vaughan [2010-06-13 02:52:29] 411*2^829061-1 is not prime. Res64: D4FB1C006F50F6F1 Time : 1484.0 sec. user=vaughan [2010-06-13 02:53:51] 407*2^829064-1 is not prime. Res64: C8C83BADC3F8A767 Time : 1039.0 sec. user=vaughan [2010-06-13 02:55:07] 479*2^829064-1 is not prime. Res64: 8B95FE2207A3243D Time : 990.0 sec. user=vaughan [2010-06-13 02:55:39] 539*2^829064-1 is not prime. Res64: 5DBBBFC8933900B7 Time : 1009.0 sec. user=vaughan [2010-06-13 02:56:24] 517*2^829065-1 is not prime. Res64: 2D7727A9C141C483 Time : 945.0 sec. user=vaughan [2010-06-13 02:57:33] 587*2^829064-1 is not prime. Res64: D4C138EA3306BDA0 Time : 1034.0 sec. user=vaughan [2010-06-13 02:58:05] 503*2^829066-1 is not prime. Res64: 2F9DD54A6D9E9AB6 Time : 946.0 sec. user=vaughan [2010-06-13 02:58:34] 497*2^829066-1 is not prime. Res64: 314F359F6A59733D Time : 1032.0 sec. user=Flatlander [2010-06-13 02:59:10] 543*2^829047-1 is not prime. Res64: C9378C3EFE6B2A52 Time : 4180.0 sec. user=Flatlander [2010-06-13 02:59:10] 565*2^829047-1 is not prime. Res64: 19AB7C85EB84130E Time : 4179.0 sec. user=Flatlander [2010-06-13 02:59:11] 437*2^829048-1 is not prime. Res64: 9775604C69ADA689 Time : 4178.0 sec. user=Flatlander [2010-06-13 02:59:12] 465*2^829048-1 is not prime. Res64: BC63CCB6AB83A860 Time : 4177.0 sec. user=Flatlander [2010-06-13 02:59:13] 485*2^829048-1 is not prime. Res64: 26A4CD2B172F5ED9 Time : 4177.0 sec. user=vaughan [2010-06-13 02:59:34] 531*2^829066-1 is not prime. Res64: 6236FA94B435F21F Time : 710.0 sec. user=vaughan [2010-06-13 03:00:31] 587*2^829066-1 is not prime. Res64: D5ABBEC79634864D Time : 707.0 sec. user=vaughan [2010-06-13 03:02:33] 531*2^829055-1 is not prime. Res64: 185C323F9C8A1D75 Time : 3129.0 sec. user=vaughan [2010-06-13 03:02:37] 555*2^829063-1 is not prime. Res64: A5FB98764F0F65F7 Time : 1582.0 sec. user=vaughan [2010-06-13 03:02:39] 527*2^829066-1 is not prime. Res64: C5437AA825173A20 Time : 1001.0 sec. user=vaughan [2010-06-13 03:04:00] 489*2^829067-1 is not prime. Res64: 93638DC9EDE33293 Time : 708.0 sec. user=vaughan [2010-06-13 03:05:11] 597*2^829066-1 is not prime. Res64: DF9A1D3A9D5AFBE4 Time : 947.0 sec. user=Flatlander [2010-06-13 03:05:24] 531*2^829050-1 is not prime. Res64: CD91A1C338A71012 Time : 4172.0 sec. user=Flatlander [2010-06-13 03:05:25] 421*2^829051-1 is not prime. Res64: B43B8789805F44B1 Time : 4172.0 sec. user=Flatlander [2010-06-13 03:05:25] 493*2^829051-1 is not prime. Res64: 26EE0C804E3E1349 Time : 4170.0 sec. user=Flatlander [2010-06-13 03:05:26] 499*2^829051-1 is not prime. Res64: BF790B425EEA8044 Time : 4169.0 sec. user=Flatlander [2010-06-13 03:05:27] 519*2^829051-1 is not prime. Res64: 1BF62122131553DF Time : 4169.0 sec. user=vaughan [2010-06-13 03:11:22] 531*2^829067-1 is not prime. Res64: 29E9AFD3120BBD1A Time : 1051.0 sec. user=vaughan [2010-06-13 03:11:22] 589*2^829067-1 is not prime. Res64: 93AF5630C72B20E5 Time : 976.0 sec. user=vaughan [2010-06-13 03:11:23] 567*2^829069-1 is not prime. Res64: 3C018ADF96755404 Time : 710.0 sec. user=vaughan [2010-06-13 03:12:09] 503*2^829064-1 is not prime. Res64: B212BE6C7D8C84DC Time : 2011.0 sec. user=vaughan [2010-06-13 03:12:11] 453*2^829068-1 is not prime. Res64: E9433F53B60CCE92 Time : 947.0 sec. user=vaughan [2010-06-13 03:12:16] 423*2^829068-1 is not prime. Res64: 9D3E568BA8E911CE Time : 997.0 sec. user=vaughan [2010-06-13 03:12:19] 597*2^829069-1 is not prime. Res64: DA9E3994388B7BFA Time : 708.0 sec. user=vaughan [2010-06-13 03:13:50] 485*2^829068-1 is not prime. Res64: 8DC2A5C501CE1B55 Time : 946.0 sec. user=vaughan [2010-06-13 03:14:51] 571*2^829061-1 is not prime. Res64: F559D4AC70D54526 Time : 2471.0 sec. user=vaughan [2010-06-13 03:14:58] 479*2^829068-1 is not prime. Res64: 471A1C98EE5D6271 Time : 1045.0 sec. user=vaughan [2010-06-13 03:15:38] 539*2^829068-1 is not prime. Res64: 0B05892E90A52924 Time : 1025.0 sec. user=vaughan [2010-06-13 03:15:51] 445*2^829071-1 is not prime. Res64: 36CAD8A0CD64A5A6 Time : 711.0 sec. user=vaughan [2010-06-13 03:17:53] 511*2^829067-1 is not prime. Res64: 3FD36FC762C6D24F Time : 1524.0 sec. user=vaughan [2010-06-13 03:19:15] 585*2^829070-1 is not prime. Res64: DF3A9D1CD793BC52 Time : 996.0 sec. user=vaughan [2010-06-13 03:20:56] 535*2^829071-1 is not prime. Res64: 2B2F4FD31F8875B3 Time : 945.0 sec. user=vaughan [2010-06-13 03:22:03] 485*2^829062-1 is not prime. Res64: 33F6DB9793EED182 Time : 2820.0 sec. user=vaughan [2010-06-13 03:23:14] 591*2^829073-1 is not prime. Res64: B86862FE376A311D Time : 711.0 sec. user=vaughan [2010-06-13 03:24:08] 471*2^829075-1 is not prime. Res64: F682943E81A750C4 Time : 710.0 sec. user=vaughan [2010-06-13 03:24:19] 469*2^829067-1 is not prime. Res64: 0F1286FCC327F03E Time : 1947.0 sec. user=vaughan [2010-06-13 03:27:31] 455*2^829070-1 is not prime. Res64: 261993B31B7C2C4C Time : 1494.0 sec. user=vaughan [2010-06-13 03:27:37] 477*2^829073-1 is not prime. Res64: 238288ED61A69AAF Time : 976.0 sec. user=vaughan [2010-06-13 03:27:40] 579*2^829075-1 is not prime. Res64: 87C550D37147AEAF Time : 709.0 sec. user=vaughan [2010-06-13 03:27:56] 437*2^829074-1 is not prime. Res64: B0F67D28AE00FADE Time : 945.0 sec. user=vaughan [2010-06-13 03:28:41] 527*2^829072-1 is not prime. Res64: 1978BD9C2CD5DFA6 Time : 1040.0 sec. user=vaughan [2010-06-13 03:28:53] 587*2^829074-1 is not prime. Res64: 3631ED832DD04A7A Time : 997.0 sec. user=vaughan [2010-06-13 03:29:36] 511*2^829075-1 is not prime. Res64: 54D812CABF4A90B2 Time : 946.0 sec. user=vaughan [2010-06-13 03:32:15] 541*2^829075-1 is not prime. Res64: 26F5C6C446E1CF3B Time : 1037.0 sec. user=vaughan [2010-06-13 03:32:42] 561*2^829075-1 is not prime. Res64: 2726E4FDC071B6F1 Time : 1025.0 sec. user=vaughan [2010-06-13 03:35:03] 563*2^829076-1 is not prime. Res64: 55DD59C711AC32CF Time : 709.0 sec. user=vaughan [2010-06-13 03:35:52] 405*2^829076-1 is not prime. Res64: 8B1CCEDDFC4D09AE Time : 998.0 sec. user=vaughan [2010-06-13 03:35:55] 585*2^829076-1 is not prime. Res64: 6F9315366C6F112D Time : 707.0 sec. user=vaughan [2010-06-13 03:36:43] 465*2^829076-1 is not prime. Res64: 013B5E14242A87F6 Time : 947.0 sec. user=vaughan [2010-06-13 03:38:39] 459*2^829068-1 is not prime. Res64: BEAB98609175CDEA Time : 2473.0 sec. user=vaughan [2010-06-13 03:39:29] 561*2^829078-1 is not prime. Res64: 24766214E5A4220E Time : 709.0 sec. user=vaughan [2010-06-13 03:43:08] 595*2^829075-1 is not prime. Res64: 12C7ACDBCE6E7158 Time : 1515.0 sec. user=vaughan [2010-06-13 03:43:42] 581*2^829078-1 is not prime. Res64: 8C32894A45D8038A Time : 946.0 sec. user=vaughan [2010-06-13 03:43:52] 545*2^829078-1 is not prime. Res64: 1A0DD5043A383E89 Time : 975.0 sec. user=Flatlander [2010-06-13 03:44:33] 503*2^829062-1 is not prime. Res64: 2774E8066282CF0E Time : 4160.0 sec. user=Flatlander [2010-06-13 03:44:34] 507*2^829062-1 is not prime. Res64: EC06EBBC98D417B3 Time : 4160.0 sec. user=Flatlander [2010-06-13 03:44:34] 411*2^829063-1 is not prime. Res64: 932BFF851EF865C5 Time : 4158.0 sec. user=Flatlander [2010-06-13 03:44:35] 423*2^829063-1 is not prime. Res64: 6DBF006F9C792E82 Time : 4157.0 sec. user=Flatlander [2010-06-13 03:44:36] 433*2^829063-1 is not prime. Res64: EDBB3D732711F79B Time : 4157.0 sec. user=vaughan [2010-06-13 03:44:40] 411*2^829074-1 is not prime. Res64: E9F43145149075FE Time : 1951.0 sec. user=vaughan [2010-06-13 03:45:21] 543*2^829079-1 is not prime. Res64: BC5DDF51BCCB1486 Time : 946.0 sec. user=vaughan [2010-06-13 03:45:28] 523*2^829079-1 is not prime. Res64: C437C011AA86844B Time : 995.0 sec. user=vaughan [2010-06-13 03:46:06] 445*2^829079-1 is not prime. Res64: 4CA9BF290B9AC03B Time : 1045.0 sec. user=vaughan [2010-06-13 03:46:52] 479*2^829080-1 is not prime. Res64: 08DC2FCC2E9FD8E3 Time : 709.0 sec. user=vaughan [2010-06-13 03:46:57] 405*2^829070-1 is not prime. Res64: 6E8C0B7D572C10AF Time : 2664.0 sec. user=vaughan [2010-06-13 03:47:42] 539*2^829080-1 is not prime. Res64: A92060A3A8AD8CC6 Time : 707.0 sec. user=vaughan [2010-06-13 03:49:47] 429*2^829080-1 is not prime. Res64: CF03B6390DF0B75D Time : 1025.0 sec. user=Flatlander [2010-06-13 03:49:58] 537*2^829065-1 is not prime. Res64: 6AE978C57E8397BE Time : 4127.0 sec. user=Flatlander [2010-06-13 03:49:59] 579*2^829065-1 is not prime. Res64: D72733FD318D2ECC Time : 4126.0 sec. user=Flatlander [2010-06-13 03:50:00] 591*2^829065-1 is not prime. Res64: 364BA70ECBBD0845 Time : 4126.0 sec. user=Flatlander [2010-06-13 03:50:00] 595*2^829065-1 is not prime. Res64: 713B22313BF0C1FB Time : 4124.0 sec. user=Flatlander [2010-06-13 03:50:01] 597*2^829065-1 is not prime. Res64: AB2BAD76BBC29C9D Time : 4123.0 sec. user=vaughan [2010-06-13 03:50:03] 595*2^829079-1 is not prime. Res64: 627CCC80F7071EE1 Time : 1068.0 sec. user=vaughan [2010-06-13 03:50:58] 461*2^829078-1 is not prime. Res64: AB608D0EE94CC9C4 Time : 1407.0 sec. user=vaughan [2010-06-13 03:51:18] 597*2^829080-1 is not prime. Res64: 614A12F6B5CC4FB0 Time : 709.0 sec. user=vaughan [2010-06-13 03:52:28] 525*2^829080-1 is not prime. Res64: E6CFEB11A3B94235 Time : 996.0 sec. user=vaughan [2010-06-13 03:52:29] 555*2^829080-1 is not prime. Res64: 5C7E9D4A768BA1FF Time : 946.0 sec. user=vaughan [2010-06-13 03:56:50] 435*2^829078-1 is not prime. Res64: 31E0EBCEA647D89E Time : 1951.0 sec. user=vaughan [2010-06-13 03:58:07] 535*2^829075-1 is not prime. Res64: C82A1EB8B9715465 Time : 2596.0 sec. user=vaughan [2010-06-13 03:58:41] 569*2^829084-1 is not prime. Res64: 27285602300343CC Time : 709.0 sec. user=vaughan [2010-06-13 03:59:27] 439*2^829081-1 is not prime. Res64: 32225846779CB68B Time : 945.0 sec. user=vaughan [2010-06-13 03:59:29] 443*2^829086-1 is not prime. Res64: 300934C3D48CFA53 Time : 707.0 sec. user=vaughan [2010-06-13 04:00:09] 547*2^829081-1 is not prime. Res64: BEEBD6855832484C Time : 977.0 sec. user=vaughan [2010-06-13 04:01:07] 453*2^829084-1 is not prime. Res64: 60438B6B5F0A38ED Time : 946.0 sec. user=vaughan [2010-06-13 04:02:05] 483*2^829084-1 is not prime. Res64: 2B760483477029DA Time : 997.0 sec. user=vaughan [2010-06-13 04:03:08] 459*2^829088-1 is not prime. Res64: 8A990EF52D2C3992 Time : 710.0 sec. user=vaughan [2010-06-13 04:03:32] 533*2^829084-1 is not prime. Res64: 1764AA33EAC616B9 Time : 1047.0 sec. user=vaughan [2010-06-13 04:04:53] 557*2^829076-1 is not prime. Res64: 61F9DD306C30C61E Time : 2570.0 sec. user=vaughan [2010-06-13 04:06:53] 483*2^829086-1 is not prime. Res64: EEFEA718FE165E07 Time : 1026.0 sec. user=vaughan [2010-06-13 04:07:51] 573*2^829086-1 is not prime. Res64: 04DEA12B249E8A05 Time : 1069.0 sec. user=vaughan [2010-06-13 04:08:15] 495*2^829089-1 is not prime. Res64: 13EB547A573A0A35 Time : 946.0 sec. user=vaughan [2010-06-13 04:08:18] 411*2^829081-1 is not prime. Res64: A6AEDF5CA7C60FB9 Time : 1510.0 sec. user=vaughan [2010-06-13 04:09:05] 503*2^829088-1 is not prime. Res64: 57DF8C942C686AF1 Time : 997.0 sec. user=Flatlander [2010-06-13 04:09:11] 569*2^829068-1 is not prime. Res64: FED97C16E149EAA2 Time : 4197.0 sec. user=Flatlander [2010-06-13 04:09:12] 441*2^829069-1 is not prime. Res64: 92E2644E32E4EC0A Time : 4196.0 sec. user=Flatlander [2010-06-13 04:09:12] 451*2^829069-1 is not prime. Res64: E05FE01549CB05A9 Time : 4194.0 sec. user=Flatlander [2010-06-13 04:09:13] 469*2^829069-1 is not prime. Res64: BD4302F95FE8284B Time : 4194.0 sec. user=Flatlander [2010-06-13 04:09:14] 481*2^829069-1 is not prime. Res64: 8A0F3723C611EA6D Time : 4193.0 sec. user=vaughan [2010-06-13 04:10:30] 405*2^829090-1 is not prime. Res64: 07FCFDCCEE22CEE4 Time : 710.0 sec. user=vaughan [2010-06-13 04:11:17] 437*2^829090-1 is not prime. Res64: 5C9121FA71A3E9F2 Time : 708.0 sec. user=vaughan [2010-06-13 04:14:57] 585*2^829091-1 is not prime. Res64: 2526055B031A5776 Time : 710.0 sec. user=vaughan [2010-06-13 04:15:13] 413*2^829090-1 is not prime. Res64: 2493B2676130B62E Time : 946.0 sec. user=Flatlander [2010-06-13 04:15:16] 571*2^829071-1 is not prime. Res64: 90510C0FBCC625C2 Time : 4187.0 sec. user=Flatlander [2010-06-13 04:15:17] 413*2^829072-1 is not prime. Res64: 5737C63EA693963B Time : 4187.0 sec. user=Flatlander [2010-06-13 04:15:18] 419*2^829072-1 is not prime. Res64: 5C526AEBD4B97C5A Time : 4186.0 sec. user=Flatlander [2010-06-13 04:15:18] 429*2^829072-1 is not prime. Res64: CA21AF185F6C47D2 Time : 4185.0 sec. user=Flatlander [2010-06-13 04:15:19] 449*2^829072-1 is not prime. Res64: E7CFBDAC1FA8B665 Time : 4184.0 sec. user=vaughan [2010-06-13 04:16:24] 525*2^829090-1 is not prime. Res64: 5765E77A81C039C0 Time : 976.0 sec. user=vaughan [2010-06-13 04:16:52] 531*2^829090-1 is not prime. Res64: D921392FDBE9778D Time : 946.0 sec. user=vaughan [2010-06-13 04:17:13] 553*2^829083-1 is not prime. Res64: 87280BC99794F628 Time : 1953.0 sec. user=vaughan [2010-06-13 04:18:41] 505*2^829091-1 is not prime. Res64: 16910216DF03937C Time : 997.0 sec. user=vaughan [2010-06-13 04:20:59] 405*2^829092-1 is not prime. Res64: 6EC72978993426ED Time : 1047.0 sec. user=vaughan [2010-06-13 04:21:35] 557*2^829080-1 is not prime. Res64: 720D49B37CAD987A Time : 2576.0 sec. user=vaughan [2010-06-13 04:21:43] 417*2^829088-1 is not prime. Res64: 1311189C9A5645A6 Time : 1845.0 sec. user=vaughan [2010-06-13 04:22:43] 583*2^829095-1 is not prime. Res64: 40688CBE32FB6C31 Time : 733.0 sec. user=vaughan [2010-06-13 04:23:08] 591*2^829095-1 is not prime. Res64: FE0891301484197D Time : 711.0 sec. user=vaughan [2010-06-13 04:23:58] 409*2^829093-1 is not prime. Res64: 42E7909C28D06B09 Time : 1025.0 sec. user=vaughan [2010-06-13 04:24:00] 499*2^829093-1 is not prime. Res64: EAC46821E9C83A87 Time : 945.0 sec. user=vaughan [2010-06-13 04:25:38] 435*2^829093-1 is not prime. Res64: 41EEAE4577CACB6F Time : 1067.0 sec. user=vaughan [2010-06-13 04:25:42] 473*2^829094-1 is not prime. Res64: 3A140DBDBC6F88A6 Time : 997.0 sec. user=vaughan [2010-06-13 04:26:50] 429*2^829096-1 is not prime. Res64: 27F62E6E5492D616 Time : 713.0 sec. user=vaughan [2010-06-13 04:29:05] 437*2^829086-1 is not prime. Res64: E42A7BBC6DBEE0C8 Time : 2528.0 sec. user=vaughan [2010-06-13 04:29:16] 549*2^829089-1 is not prime. Res64: 57C52BCCC1594724 Time : 1946.0 sec. user=vaughan [2010-06-13 04:30:58] 455*2^829096-1 is not prime. Res64: 40C70478985C54BD Time : 945.0 sec. user=vaughan [2010-06-13 04:32:38] 529*2^829097-1 is not prime. Res64: 14081CC3686F61FF Time : 946.0 sec. user=vaughan [2010-06-13 04:32:38] 495*2^829097-1 is not prime. Res64: F26585ED272AC64D Time : 975.0 sec. user=vaughan [2010-06-13 04:33:05] 517*2^829093-1 is not prime. Res64: 2FEB7EAC9E5FD487 Time : 1487.0 sec. user=vaughan [2010-06-13 04:34:38] 447*2^829098-1 is not prime. Res64: 5A1D249C7BA91772 Time : 715.0 sec. user=vaughan [2010-06-13 04:35:00] 485*2^829098-1 is not prime. Res64: B7D2C69AD20FF7CA Time : 713.0 sec. user=vaughan [2010-06-13 04:35:17] 567*2^829097-1 is not prime. Res64: 892510126AE737C2 Time : 996.0 sec. user=vaughan [2010-06-13 04:38:25] 577*2^829097-1 is not prime. Res64: 3ABF05DED742F683 Time : 1047.0 sec. user=vaughan [2010-06-13 04:38:44] 515*2^829100-1 is not prime. Res64: BEFFD01E3B17E01C Time : 714.0 sec. user=vaughan [2010-06-13 04:39:48] 531*2^829099-1 is not prime. Res64: 770AF94BF588F3DF Time : 948.0 sec. user=vaughan [2010-06-13 04:40:54] 597*2^829089-1 is not prime. Res64: 54B0394B9A60C51E Time : 2567.0 sec. user=vaughan [2010-06-13 04:41:01] 489*2^829099-1 is not prime. Res64: 4361D0E70D5695A0 Time : 1024.0 sec. user=vaughan [2010-06-13 04:42:18] 495*2^829100-1 is not prime. Res64: 233F43A06BCC8D15 Time : 997.0 sec. user=vaughan [2010-06-13 04:43:24] 483*2^829100-1 is not prime. Res64: 5132890B528DC12C Time : 1067.0 sec. user=vaughan [2010-06-13 04:46:31] 455*2^829102-1 is not prime. Res64: C5D92993198A8BE9 Time : 713.0 sec. user=vaughan [2010-06-13 04:46:50] 511*2^829101-1 is not prime. Res64: 9E0254A27AE5DE08 Time : 952.0 sec. user=vaughan [2010-06-13 04:46:51] 567*2^829102-1 is not prime. Res64: F0993C2F23480F4D Time : 711.0 sec. user=vaughan [2010-06-13 04:48:05] 589*2^829097-1 is not prime. Res64: 0755533103772D21 Time : 1582.0 sec. user=vaughan [2010-06-13 04:48:27] 555*2^829101-1 is not prime. Res64: DC2D20E48064C789 Time : 950.0 sec. user=vaughan [2010-06-13 04:48:53] 565*2^829101-1 is not prime. Res64: 249ECA48436A878A Time : 975.0 sec. user=vaughan [2010-06-13 04:50:01] 503*2^829092-1 is not prime. Res64: E6732E4DB627D406 Time : 2709.0 sec. user=vaughan [2010-06-13 04:50:37] 501*2^829103-1 is not prime. Res64: 468116AED226C831 Time : 713.0 sec. user=vaughan [2010-06-13 04:51:04] 537*2^829097-1 is not prime. Res64: 42A1D5704680DA09 Time : 2032.0 sec. user=vaughan [2010-06-13 04:51:53] 591*2^829102-1 is not prime. Res64: DF6EED0E1645BBAD Time : 996.0 sec. user=Flatlander [2010-06-13 04:54:39] 477*2^829082-1 is not prime. Res64: 5B61D0DA07FEFAD7 Time : 4201.0 sec. user=Flatlander [2010-06-13 04:54:40] 483*2^829082-1 is not prime. Res64: 3EDA3527050C7103 Time : 4201.0 sec. user=Flatlander [2010-06-13 04:54:40] 573*2^829083-1 is not prime. Res64: F89E1FB77ADEA008 Time : 4199.0 sec. user=Flatlander [2010-06-13 04:54:41] 595*2^829083-1 is not prime. Res64: 019BB169A36B5FEE Time : 4199.0 sec. user=Flatlander [2010-06-13 04:54:42] 423*2^829084-1 is not prime. Res64: 26AD571FF76BDC49 Time : 4198.0 sec. user=vaughan [2010-06-13 04:55:38] 571*2^829103-1 is not prime. Res64: 197F03816C82F576 Time : 950.0 sec. user=vaughan [2010-06-13 04:55:53] 435*2^829103-1 is not prime. Res64: 5CB274CBACD2E63E Time : 1048.0 sec. user=vaughan [2010-06-13 04:57:38] 425*2^829102-1 is not prime. Res64: F1181C3293A731EF Time : 1473.0 sec. user=vaughan [2010-06-13 04:58:05] 589*2^829103-1 is not prime. Res64: D8839635E6C22184 Time : 1024.0 sec. user=vaughan [2010-06-13 04:58:19] 437*2^829104-1 is not prime. Res64: 662BBD26FC41C6F8 Time : 708.0 sec. user=vaughan [2010-06-13 04:58:43] 503*2^829104-1 is not prime. Res64: 4AA76875A45CCF38 Time : 712.0 sec. user=vaughan [2010-06-13 04:58:54] 413*2^829104-1 is not prime. Res64: 9906D018CC1E6D87 Time : 996.0 sec. user=Flatlander [2010-06-13 04:59:35] 513*2^829086-1 is not prime. Res64: 08164383CAC1DDDE Time : 4172.0 sec. user=Flatlander [2010-06-13 04:59:36] 499*2^829087-1 is not prime. Res64: 4F137402D6B54499 Time : 4172.0 sec. user=Flatlander [2010-06-13 04:59:37] 549*2^829087-1 is not prime. Res64: C49C976CC81CDCB7 Time : 4171.0 sec. user=Flatlander [2010-06-13 04:59:38] 589*2^829087-1 is not prime. Res64: 0507526E22F07B37 Time : 4171.0 sec. user=Flatlander [2010-06-13 04:59:39] 595*2^829087-1 is not prime. Res64: AEF461BC754B114E Time : 4170.0 sec. user=vaughan [2010-06-13 05:00:59] 425*2^829104-1 is not prime. Res64: C6366786EF1A810C Time : 1055.0 sec. user=vaughan [2010-06-13 05:02:27] 431*2^829106-1 is not prime. Res64: 46A3FD6AFAED9BAB Time : 711.0 sec. user=vaughan [2010-06-13 05:02:41] 479*2^829104-1 is not prime. Res64: 5EAE1455DD258A1A Time : 951.0 sec. user=vaughan [2010-06-13 05:03:10] 405*2^829101-1 is not prime. Res64: 6CD1488FA9D024E2 Time : 2035.0 sec. user=vaughan [2010-06-13 05:03:59] 585*2^829097-1 is not prime. Res64: 826D33A67FB17802 Time : 2544.0 sec. user=vaughan [2010-06-13 05:04:17] 429*2^829105-1 is not prime. Res64: 6DF2E42F1D6FADD0 Time : 950.0 sec. user=vaughan [2010-06-13 05:05:08] 525*2^829105-1 is not prime. Res64: 9432FB931FEB6892 Time : 975.0 sec. user=vaughan [2010-06-13 05:08:28] 525*2^829106-1 is not prime. Res64: DF4DE351BA95BA83 Time : 996.0 sec. user=vaughan [2010-06-13 05:10:08] 559*2^829109-1 is not prime. Res64: ADE047EB8148EE6F Time : 709.0 sec. user=vaughan [2010-06-13 05:10:36] 401*2^829110-1 is not prime. Res64: 8065FF30206A47CC Time : 714.0 sec. user=vaughan [2010-06-13 05:11:28] 555*2^829107-1 is not prime. Res64: 94F47EC5E9438153 Time : 951.0 sec. user=vaughan [2010-06-13 05:11:42] 593*2^829100-1 is not prime. Res64: 9374059A2C77417A Time : 2557.0 sec. user=vaughan [2010-06-13 05:13:12] 513*2^829108-1 is not prime. Res64: 4E2E81012691C459 Time : 1040.0 sec. user=vaughan [2010-06-13 05:13:16] 525*2^829104-1 is not prime. Res64: 819E8CF0AC46661A Time : 1512.0 sec. user=vaughan [2010-06-13 05:14:17] 499*2^829111-1 is not prime. Res64: 755EC0060649808E Time : 710.0 sec. user=vaughan [2010-06-13 05:15:09] 569*2^829108-1 is not prime. Res64: 5EF79D36583E10DF Time : 1024.0 sec. user=vaughan [2010-06-13 05:15:31] 437*2^829110-1 is not prime. Res64: BC8E4ECCA76C9931 Time : 997.0 sec. user=vaughan [2010-06-13 05:18:13] 493*2^829111-1 is not prime. Res64: 45A5CCFD098D2E64 Time : 1035.0 sec. user=vaughan [2010-06-13 05:18:33] 495*2^829112-1 is not prime. Res64: A74A3946A520DE70 Time : 952.0 sec. user=Flatlander [2010-06-13 05:19:07] 423*2^829095-1 is not prime. Res64: BAD781973F13DB17 Time : 4191.0 sec. user=Flatlander [2010-06-13 05:19:08] 433*2^829095-1 is not prime. Res64: A82E3AF79FB0BF96 Time : 4191.0 sec. user=Flatlander [2010-06-13 05:19:08] 469*2^829095-1 is not prime. Res64: CB727D6D2C15CB3E Time : 4189.0 sec. user=Flatlander [2010-06-13 05:19:09] 493*2^829095-1 is not prime. Res64: 0D54A31114775A8E Time : 4188.0 sec. user=Flatlander [2010-06-13 05:19:10] 553*2^829095-1 is not prime. Res64: A95DEEF6A03DD492 Time : 4188.0 sec. user=vaughan [2010-06-13 05:20:06] 587*2^829112-1 is not prime. Res64: 07D768AF2107CD4A Time : 950.0 sec. user=vaughan [2010-06-13 05:21:23] 427*2^829113-1 is not prime. Res64: 752882FE3500E457 Time : 975.0 sec. user=vaughan [2010-06-13 05:21:53] 549*2^829113-1 is not prime. Res64: 308A0BD181EE870A Time : 706.0 sec. user=vaughan [2010-06-13 05:22:25] 571*2^829113-1 is not prime. Res64: F2C80B70A88F1C21 Time : 709.0 sec. user=vaughan [2010-06-13 05:22:30] 549*2^829108-1 is not prime. Res64: 0F3E43D798969264 Time : 1492.0 sec. user=vaughan [2010-06-13 05:23:44] 585*2^829103-1 is not prime. Res64: AD4537FA604DE630 Time : 2570.0 sec. user=vaughan [2010-06-13 05:23:48] 483*2^829106-1 is not prime. Res64: 212E24C5F6417B52 Time : 1964.0 sec. user=vaughan [2010-06-13 05:25:03] 459*2^829113-1 is not prime. Res64: 4F3D4C09AE088058 Time : 995.0 sec. user=Flatlander [2010-06-13 05:25:17] 563*2^829096-1 is not prime. Res64: E0FB2C41D959E639 Time : 4196.0 sec. user=Flatlander [2010-06-13 05:25:18] 569*2^829096-1 is not prime. Res64: 2CAA4D59FB11DB2A Time : 4196.0 sec. user=Flatlander [2010-06-13 05:25:19] 435*2^829097-1 is not prime. Res64: 49AB254C8EDD27DA Time : 4195.0 sec. user=Flatlander [2010-06-13 05:25:19] 475*2^829097-1 is not prime. Res64: 7DA0DEBAB2F78201 Time : 4194.0 sec. user=Flatlander [2010-06-13 05:25:19] 487*2^829097-1 is not prime. Res64: 10D986B4FFFE3A14 Time : 4192.0 sec. user=vaughan [2010-06-13 05:26:06] 493*2^829115-1 is not prime. Res64: 0EDC9D07E5A2EB4B Time : 709.0 sec. user=vaughan [2010-06-13 05:27:18] 477*2^829114-1 is not prime. Res64: 859FDA172687E83A Time : 950.0 sec. user=vaughan [2010-06-13 05:30:30] 567*2^829114-1 is not prime. Res64: B2FA78BC1DC65F6F Time : 1038.0 sec. user=vaughan [2010-06-13 05:32:06] 523*2^829115-1 is not prime. Res64: 852A90836E66E044 Time : 996.0 sec. user=vaughan [2010-06-13 05:32:14] 501*2^829115-1 is not prime. Res64: 65F878864D49E811 Time : 1025.0 sec. user=vaughan [2010-06-13 05:33:39] 561*2^829118-1 is not prime. Res64: FA70AE117A6E5D12 Time : 706.0 sec. user=vaughan [2010-06-13 05:33:54] 595*2^829105-1 is not prime. Res64: 871CDD131EBDE897 Time : 2633.0 sec. user=vaughan [2010-06-13 05:34:15] 585*2^829118-1 is not prime. Res64: 344E3B4FB38DDB3E Time : 710.0 sec. user=vaughan [2010-06-13 05:34:24] 453*2^829116-1 is not prime. Res64: 4ABA5D2732927F96 Time : 951.0 sec. user=vaughan [2010-06-13 05:35:29] 413*2^829116-1 is not prime. Res64: 81E08DEEE9E33DBC Time : 1036.0 sec. user=vaughan [2010-06-13 05:35:56] 531*2^829117-1 is not prime. Res64: AF1729E8E6987006 Time : 950.0 sec. user=vaughan [2010-06-13 05:37:56] 495*2^829121-1 is not prime. Res64: 7792AD0B3A615E99 Time : 710.0 sec. user=Flatlander [2010-06-13 05:38:15] 551*2^829106-1 is not prime. Res64: E3B70D07C6E8C092 Time : 2611.0 sec. user=Flatlander [2010-06-13 05:38:16] 567*2^829106-1 is not prime. Res64: E69C3C2C0548D477 Time : 2611.0 sec. user=Flatlander [2010-06-13 05:38:17] 445*2^829107-1 is not prime. Res64: 3CD67E7B51B0C30F Time : 2610.0 sec. user=vaughan [2010-06-13 05:38:27] 515*2^829112-1 is not prime. Res64: 8FE0FB7C0C60BC08 Time : 2117.0 sec. user=vaughan [2010-06-13 05:39:48] 483*2^829118-1 is not prime. Res64: 41474714FF5900BD Time : 1106.0 sec. user=vaughan [2010-06-13 05:40:11] 433*2^829115-1 is not prime. Res64: 202629A7BB3BFA5B Time : 1615.0 sec. user=vaughan [2010-06-13 05:42:52] 553*2^829119-1 is not prime. Res64: 917A98CF97540411 Time : 1069.0 sec. user=vaughan [2010-06-13 05:43:08] 537*2^829121-1 is not prime. Res64: 1DBE6234FBF67947 Time : 950.0 sec. user=vaughan [2010-06-13 05:45:28] 451*2^829123-1 is not prime. Res64: 635E9A484F104B34 Time : 709.0 sec. user=vaughan [2010-06-13 05:46:05] 541*2^829123-1 is not prime. Res64: B60BCAD579E9D23D Time : 711.0 sec. user=vaughan [2010-06-13 05:47:27] 415*2^829119-1 is not prime. Res64: ED251F5E6DFB9D4A Time : 1498.0 sec. user=vaughan [2010-06-13 05:47:55] 401*2^829122-1 is not prime. Res64: 41A6D0D529AD59D1 Time : 1045.0 sec. user=vaughan [2010-06-13 05:49:45] 445*2^829125-1 is not prime. Res64: BCFF7EDC84F1B7D6 Time : 710.0 sec. user=vaughan [2010-06-13 05:50:14] 573*2^829123-1 is not prime. Res64: 7BD41F28F6337E3D Time : 950.0 sec. user=vaughan [2010-06-13 05:51:42] 563*2^829124-1 is not prime. Res64: 9DF7B4712EBE0426 Time : 947.0 sec. user=vaughan [2010-06-13 05:52:32] 555*2^829122-1 is not prime. Res64: 8F167F1532664909 Time : 1218.0 sec. user=vaughan [2010-06-13 05:52:40] 417*2^829124-1 is not prime. Res64: E8AC89ABFECF55C3 Time : 1032.0 sec. user=vaughan [2010-06-13 05:57:14] 455*2^829126-1 is not prime. Res64: EDC0A16D61342B6C Time : 706.0 sec. user=vaughan [2010-06-13 05:57:54] 561*2^829126-1 is not prime. Res64: AA42A2E6BEDFA218 Time : 710.0 sec. user=vaughan [2010-06-13 05:58:13] 501*2^829122-1 is not prime. Res64: A7ED128A1FC8ECC9 Time : 1567.0 sec. user=vaughan [2010-06-13 05:58:54] 453*2^829126-1 is not prime. Res64: 68CC26D201231B50 Time : 946.0 sec. user=vaughan [2010-06-13 05:59:00] 531*2^829119-1 is not prime. Res64: DFF8CB36A4424FE0 Time : 2112.0 sec. user=vaughan [2010-06-13 06:01:34] 453*2^829127-1 is not prime. Res64: B34E4FD0300C1256 Time : 709.0 sec. user=vaughan [2010-06-13 06:01:37] 525*2^829114-1 is not prime. Res64: E4CFA54C23CE828A Time : 2996.0 sec. user=vaughan [2010-06-13 06:02:42] 525*2^829125-1 is not prime. Res64: F9CBB7786C066CF9 Time : 1352.0 sec. user=vaughan [2010-06-13 06:04:07] 405*2^829126-1 is not prime. Res64: B39B7B647B2C9F94 Time : 1275.0 sec. user=vaughan [2010-06-13 06:05:18] 421*2^829127-1 is not prime. Res64: DDB8F8AE08A05694 Time : 1043.0 sec. user=vaughan [2010-06-13 06:06:03] 585*2^829127-1 is not prime. Res64: E802AE1AC6037475 Time : 950.0 sec. user=vaughan [2010-06-13 06:07:32] 413*2^829128-1 is not prime. Res64: 6E95565D99E57CD9 Time : 950.0 sec. user=vaughan [2010-06-13 06:07:33] 519*2^829112-1 is not prime. Res64: F61BCEE44FBE9D49 Time : 3814.0 sec. user=vaughan [2010-06-13 06:08:41] 543*2^829107-1 is not prime. Res64: 37D07800B88DD1B4 Time : 1733.0 sec. user=vaughan [2010-06-13 06:09:01] 537*2^829128-1 is not prime. Res64: CEE9B511F5B575EF Time : 707.0 sec. user=vaughan [2010-06-13 06:09:43] 597*2^829128-1 is not prime. Res64: C56EE7602ECB3BEE Time : 709.0 sec. user=vaughan [2010-06-13 06:09:51] 465*2^829128-1 is not prime. Res64: 78F20A5EDD94EAAC Time : 1031.0 sec. user=vaughan [2010-06-13 06:11:05] 489*2^829107-1 is not prime. Res64: C0A9581D313CDA9E Time : 1958.0 sec. user=vaughan [2010-06-13 06:12:36] 567*2^829126-1 is not prime. Res64: 6F4C0D687FCFE92D Time : 1509.0 sec. user=vaughan [2010-06-13 06:13:24] 465*2^829131-1 is not prime. Res64: 4C17401446C46F9D Time : 710.0 sec. user=vaughan [2010-06-13 06:14:11] 419*2^829128-1 is not prime. Res64: 4AB9A7EB4DECF53D Time : 1299.0 sec. user=Flatlander [2010-06-13 06:14:20] 513*2^829110-1 is not prime. Res64: 4761AEFB25DA58BE Time : 4480.0 sec. user=Flatlander [2010-06-13 06:14:20] 521*2^829110-1 is not prime. Res64: 00EBA794819F2FC9 Time : 4478.0 sec. user=Flatlander [2010-06-13 06:14:21] 525*2^829110-1 is not prime. Res64: 7DBEEDD24B48DEDA Time : 4477.0 sec. user=Flatlander [2010-06-13 06:14:21] 557*2^829110-1 is not prime. Res64: 4A647DFC30A31E06 Time : 4476.0 sec. user=Flatlander [2010-06-13 06:14:22] 415*2^829111-1 is not prime. Res64: 28A69B473E83B79B Time : 4475.0 sec. user=vaughan [2010-06-13 06:14:45] 467*2^829130-1 is not prime. Res64: 457454800D2758A9 Time : 951.0 sec. user=vaughan [2010-06-13 06:20:48] 503*2^829134-1 is not prime. Res64: B7327890D2C75B3F Time : 708.0 sec. user=vaughan [2010-06-13 06:21:32] 557*2^829134-1 is not prime. Res64: 3BFCEB61B06C7F74 Time : 709.0 sec. user=vaughan [2010-06-13 06:21:52] 511*2^829133-1 is not prime. Res64: 68CA1ABF928FBC9A Time : 949.0 sec. user=vaughan [2010-06-13 06:22:41] 421*2^829133-1 is not prime. Res64: 59719F57841152E5 Time : 1043.0 sec. user=vaughan [2010-06-13 06:23:19] 517*2^829133-1 is not prime. Res64: F9CB41CAFD36CF4A Time : 948.0 sec. user=vaughan [2010-06-13 06:25:13] 489*2^829135-1 is not prime. Res64: FD363ECBFC7E46CC Time : 710.0 sec. user=vaughan [2010-06-13 06:26:13] 499*2^829123-1 is not prime. Res64: 14DC1196834AD070 Time : 3140.0 sec. user=vaughan [2010-06-13 06:26:33] 539*2^829132-1 is not prime. Res64: F735747A08D491A1 Time : 1347.0 sec. user=vaughan [2010-06-13 06:27:03] 593*2^829134-1 is not prime. Res64: DEA1CCB1A54ECEBE Time : 1033.0 sec. user=vaughan [2010-06-13 06:28:25] 559*2^829129-1 is not prime. Res64: 37DA638260996792 Time : 1813.0 sec. user=vaughan [2010-06-13 06:29:34] 519*2^829132-1 is not prime. Res64: 30665523E64C7E2A Time : 1612.0 sec. user=vaughan [2010-06-13 06:30:35] 475*2^829137-1 is not prime. Res64: D0CC9E21BA1C9A1A Time : 951.0 sec. user=vaughan [2010-06-13 06:32:00] 439*2^829131-1 is not prime. Res64: CC9DE1547FFE3A0E Time : 1980.0 sec. user=vaughan [2010-06-13 06:32:34] 499*2^829137-1 is not prime. Res64: 9C75664CD6630C58 Time : 707.0 sec. user=vaughan [2010-06-13 06:33:21] 501*2^829137-1 is not prime. Res64: 6D1B05A428B52BCA Time : 709.0 sec. user=vaughan [2010-06-13 06:35:48] 493*2^829135-1 is not prime. Res64: 17FA3263AC138AB5 Time : 1297.0 sec. user=Flatlander [2010-06-13 06:36:03] 473*2^829116-1 is not prime. Res64: 840ABAB9B40AB8B1 Time : 4611.0 sec. user=Flatlander [2010-06-13 06:36:03] 479*2^829116-1 is not prime. Res64: 5E9BAFFFB92B04E3 Time : 4610.0 sec. user=Flatlander [2010-06-13 06:36:04] 507*2^829116-1 is not prime. Res64: 3DDA8E7A29E26ED0 Time : 4609.0 sec. user=Flatlander [2010-06-13 06:36:05] 513*2^829116-1 is not prime. Res64: 2A2840856793DE2A Time : 4609.0 sec. user=Flatlander [2010-06-13 06:36:06] 557*2^829116-1 is not prime. Res64: 43DA3AADFD4B57C8 Time : 4608.0 sec. user=vaughan [2010-06-13 06:37:02] 597*2^829138-1 is not prime. Res64: DAB1724480F77E08 Time : 709.0 sec. user=vaughan [2010-06-13 06:37:26] 481*2^829135-1 is not prime. Res64: 0997E0F068DC1FF0 Time : 1490.0 sec. user=vaughan [2010-06-13 06:37:43] 507*2^829137-1 is not prime. Res64: AB9632AE01FA3137 Time : 952.0 sec. user=vaughan [2010-06-13 06:37:49] 425*2^829134-1 is not prime. Res64: 17E2B960E451F0AC Time : 1749.0 sec. user=vaughan [2010-06-13 06:38:27] 465*2^829119-1 is not prime. Res64: 0116570D479A7A96 Time : 4484.0 sec. user=vaughan [2010-06-13 06:39:09] 503*2^829138-1 is not prime. Res64: BF09EF4C3EDC1F8F Time : 950.0 sec. user=vaughan [2010-06-13 06:40:03] 483*2^829138-1 is not prime. Res64: 87E34A444995F3C8 Time : 1042.0 sec. user=Flatlander [2010-06-13 06:42:02] 573*2^829119-1 is not prime. Res64: 3BC39CFE2530C4B6 Time : 4603.0 sec. user=Flatlander [2010-06-13 06:42:03] 407*2^829120-1 is not prime. Res64: 610545F130804B1F Time : 4603.0 sec. user=Flatlander [2010-06-13 06:42:04] 527*2^829120-1 is not prime. Res64: 5C2F1551BBE0D05F Time : 4604.0 sec. user=Flatlander [2010-06-13 06:42:05] 537*2^829120-1 is not prime. Res64: D5E2BF173A4EA9D1 Time : 4605.0 sec. user=Flatlander [2010-06-13 06:42:06] 567*2^829120-1 is not prime. Res64: 8B21990AA6DDA766 Time : 4605.0 sec. user=vaughan [2010-06-13 06:43:48] 421*2^829135-1 is not prime. Res64: 0582FE55526A2BAA Time : 1964.0 sec. user=vaughan [2010-06-13 06:44:13] 489*2^829139-1 is not prime. Res64: AB006BCCDFB79644 Time : 1031.0 sec. user=vaughan [2010-06-13 06:44:19] 483*2^829140-1 is not prime. Res64: 415509EB98A98B0C Time : 705.0 sec. user=vaughan [2010-06-13 06:45:11] 563*2^829140-1 is not prime. Res64: 7601A05B276B7017 Time : 710.0 sec. user=vaughan [2010-06-13 06:46:26] 453*2^829140-1 is not prime. Res64: 248B690EE2D86899 Time : 951.0 sec. user=vaughan [2010-06-13 06:48:51] 591*2^829141-1 is not prime. Res64: 8C558886DB6A540D Time : 709.0 sec. user=vaughan [2010-06-13 06:49:10] 451*2^829139-1 is not prime. Res64: 7182CC0E26359F4C Time : 1358.0 sec. user=vaughan [2010-06-13 06:53:35] 407*2^829142-1 is not prime. Res64: F6AB306CAD6E7819 Time : 952.0 sec. user=vaughan [2010-06-13 06:53:45] 531*2^829131-1 is not prime. Res64: 31B2AB90E9D18638 Time : 3128.0 sec. user=vaughan [2010-06-13 06:54:59] 567*2^829142-1 is not prime. Res64: 745C8AA0BCCF4F17 Time : 950.0 sec. user=vaughan [2010-06-13 06:56:05] 405*2^829145-1 is not prime. Res64: 3B44DD3FE91A5696 Time : 706.0 sec. user=vaughan [2010-06-13 06:56:37] 595*2^829139-1 is not prime. Res64: F5A758A59F4772AD Time : 1623.0 sec. user=vaughan [2010-06-13 06:57:00] 409*2^829145-1 is not prime. Res64: F50A93C1C05136C0 Time : 710.0 sec. user=vaughan [2010-06-13 06:57:32] 567*2^829140-1 is not prime. Res64: 3725AA44A6AE691E Time : 1304.0 sec. user=vaughan [2010-06-13 06:59:08] 579*2^829139-1 is not prime. Res64: 1BB932D5DDB9A295 Time : 1844.0 sec. user=vaughan [2010-06-13 07:00:40] 589*2^829145-1 is not prime. Res64: 3204E782A243CD31 Time : 709.0 sec. user=vaughan [2010-06-13 07:02:16] 469*2^829145-1 is not prime. Res64: D985BA69C26C947C Time : 951.0 sec. user=vaughan [2010-06-13 07:02:18] 405*2^829142-1 is not prime. Res64: 5F3DA1A6291DA8DD Time : 1492.0 sec. user=vaughan [2010-06-13 07:06:08] 459*2^829140-1 is not prime. Res64: 603E95FF470B5255 Time : 2049.0 sec. user=vaughan [2010-06-13 07:07:28] 581*2^829142-1 is not prime. Res64: 5C085CE9B4F7B4BA Time : 1645.0 sec. user=vaughan [2010-06-13 07:07:51] 523*2^829147-1 is not prime. Res64: 2A52613B843ACF60 Time : 706.0 sec. user=vaughan [2010-06-13 07:07:56] 425*2^829142-1 is not prime. Res64: C15E89591EE7A3F1 Time : 1807.0 sec. user=vaughan [2010-06-13 07:08:49] 437*2^829148-1 is not prime. Res64: 71C96F4A12D1A066 Time : 709.0 sec. user=vaughan [2010-06-13 07:09:27] 527*2^829146-1 is not prime. Res64: EFC70C9D04603F4F Time : 952.0 sec. user=vaughan [2010-06-13 07:10:48] 493*2^829147-1 is not prime. Res64: 20F8213652E49891 Time : 949.0 sec. user=vaughan [2010-06-13 07:11:08] 573*2^829144-1 is not prime. Res64: 2CE86AD6A5FE9F34 Time : 1615.0 sec. user=vaughan [2010-06-13 07:11:44] 483*2^829146-1 is not prime. Res64: 470D86F0EA92FD1F Time : 1354.0 sec. user=vaughan [2010-06-13 07:12:30] 417*2^829149-1 is not prime. Res64: 7204D51C8B0FAAE7 Time : 710.0 sec. user=vaughan [2010-06-13 07:16:54] 567*2^829144-1 is not prime. Res64: A17CFB0E1CF92505 Time : 1986.0 sec. user=vaughan [2010-06-13 07:18:07] 465*2^829149-1 is not prime. Res64: 0028F1D1DF8210C1 Time : 951.0 sec. user=vaughan [2010-06-13 07:18:09] 435*2^829139-1 is not prime. Res64: 0E47C2216C6A502D Time : 3116.0 sec. user=vaughan [2010-06-13 07:19:21] 507*2^829148-1 is not prime. Res64: F9AE3F1AB9A21F4A Time : 1309.0 sec. user=vaughan [2010-06-13 07:19:37] 565*2^829149-1 is not prime. Res64: 75C72F43A6B35EB9 Time : 706.0 sec. user=vaughan [2010-06-13 07:20:38] 575*2^829150-1 is not prime. Res64: 4228CF9241613278 Time : 709.0 sec. user=vaughan [2010-06-13 07:21:57] 531*2^829147-1 is not prime. Res64: DD1E860C861ECD7A Time : 1520.0 sec. user=vaughan [2010-06-13 07:24:19] 525*2^829152-1 is not prime. Res64: 0A245A27F1DB8024 Time : 710.0 sec. user=vaughan [2010-06-13 07:24:47] 525*2^829149-1 is not prime. Res64: BD9CECC77B1E6216 Time : 1039.0 sec. user=vaughan [2010-06-13 07:25:17] 453*2^829151-1 is not prime. Res64: 0F1034566737356D Time : 951.0 sec. user=vaughan [2010-06-13 07:26:37] 489*2^829151-1 is not prime. Res64: 241E466E26548EEB Time : 950.0 sec. user=Flatlander [2010-06-13 07:26:54] 437*2^829136-1 is not prime. Res64: D07094478A6D6FC9 Time : 4351.0 sec. user=Flatlander [2010-06-13 07:26:55] 455*2^829136-1 is not prime. Res64: CD61A52F71245024 Time : 4351.0 sec. user=Flatlander [2010-06-13 07:26:56] 459*2^829136-1 is not prime. Res64: 1265AA87D99105D2 Time : 4351.0 sec. user=Flatlander [2010-06-13 07:26:57] 539*2^829136-1 is not prime. Res64: 855F01A23663C311 Time : 4351.0 sec. user=Flatlander [2010-06-13 07:26:58] 447*2^829137-1 is not prime. Res64: AD1810D84FE5D18F Time : 4351.0 sec. user=vaughan [2010-06-13 07:27:47] 471*2^829149-1 is not prime. Res64: 4DAEF8996B50A848 Time : 1530.0 sec. user=vaughan [2010-06-13 07:28:23] 423*2^829152-1 is not prime. Res64: 2266FB4B2A52884D Time : 1035.0 sec. user=vaughan [2010-06-13 07:31:22] 477*2^829154-1 is not prime. Res64: 147177985984360E Time : 706.0 sec. user=vaughan [2010-06-13 07:32:16] 537*2^829148-1 is not prime. Res64: 2B7EAE6F856BA873 Time : 1988.0 sec. user=vaughan [2010-06-13 07:32:28] 483*2^829154-1 is not prime. Res64: 17C74F4F45BA6DD7 Time : 710.0 sec. user=vaughan [2010-06-13 07:33:01] 577*2^829133-1 is not prime. Res64: 4BB1A9649F24119E Time : 5128.0 sec. user=vaughan [2010-06-13 07:33:54] 507*2^829153-1 is not prime. Res64: CCF1266CCC5187DB Time : 947.0 sec. user=vaughan [2010-06-13 07:34:33] 425*2^829152-1 is not prime. Res64: 7486A6805BF5DEF1 Time : 1369.0 sec. user=vaughan [2010-06-13 07:36:09] 503*2^829154-1 is not prime. Res64: 77F573AB3555257D Time : 710.0 sec. user=vaughan [2010-06-13 07:37:53] 425*2^829150-1 is not prime. Res64: C3D36902B8D7FCB2 Time : 1797.0 sec. user=vaughan [2010-06-13 07:41:04] 563*2^829154-1 is not prime. Res64: E894BFB5EBE63008 Time : 947.0 sec. user=vaughan [2010-06-13 07:41:41] 431*2^829154-1 is not prime. Res64: 4792AAB2246F0091 Time : 1341.0 sec. user=vaughan [2010-06-13 07:42:08] 533*2^829154-1 is not prime. Res64: 7A3254C3572100A8 Time : 1041.0 sec. user=vaughan [2010-06-13 07:42:22] 409*2^829155-1 is not prime. Res64: FB85936F6AAB38E2 Time : 946.0 sec. user=vaughan [2010-06-13 07:43:07] 437*2^829156-1 is not prime. Res64: F85C29EEF1D90DF8 Time : 705.0 sec. user=vaughan [2010-06-13 07:44:17] 495*2^829156-1 is not prime. Res64: BAA5277AAD37D3A7 Time : 710.0 sec. user=vaughan [2010-06-13 07:44:47] 421*2^829147-1 is not prime. Res64: F2CE2F2A22BD5D6D Time : 3062.0 sec. user=vaughan [2010-06-13 07:45:39] 435*2^829156-1 is not prime. Res64: C29A5B0E0D3CD038 Time : 1037.0 sec. user=vaughan [2010-06-13 07:47:58] 417*2^829158-1 is not prime. Res64: 43CC43210CBD5A0E Time : 709.0 sec. user=Flatlander [2010-06-13 07:48:27] 499*2^829141-1 is not prime. Res64: 7792B47FF6AE995F Time : 4339.0 sec. user=Flatlander [2010-06-13 07:48:28] 507*2^829141-1 is not prime. Res64: E5A319060FAEA1B4 Time : 4339.0 sec. user=Flatlander [2010-06-13 07:48:29] 517*2^829141-1 is not prime. Res64: FC1C9A2FB8D1A3B8 Time : 4338.0 sec. user=Flatlander [2010-06-13 07:48:30] 537*2^829141-1 is not prime. Res64: BCB5F76A6348FFD9 Time : 4338.0 sec. user=Flatlander [2010-06-13 07:48:30] 549*2^829141-1 is not prime. Res64: 5138C3CF3425CC71 Time : 4336.0 sec. user=vaughan [2010-06-13 07:48:40] 507*2^829149-1 is not prime. Res64: 2E41A95460A485B3 Time : 2552.0 sec. user=vaughan [2010-06-13 07:49:40] 445*2^829157-1 is not prime. Res64: 38023252E5CD3904 Time : 946.0 sec. user=vaughan [2010-06-13 07:50:03] 497*2^829154-1 is not prime. Res64: 913D84CCDB5CC79A Time : 1687.0 sec. user=vaughan [2010-06-13 07:53:35] 585*2^829155-1 is not prime. Res64: DA52184BC3F846F1 Time : 1549.0 sec. user=Flatlander [2010-06-13 07:54:29] 411*2^829143-1 is not prime. Res64: 16193F74C64C1E8C Time : 4342.0 sec. user=Flatlander [2010-06-13 07:54:29] 571*2^829143-1 is not prime. Res64: CF38C76D85463D63 Time : 4340.0 sec. user=Flatlander [2010-06-13 07:54:30] 595*2^829143-1 is not prime. Res64: 17487434519FFD74 Time : 4340.0 sec. user=Flatlander [2010-06-13 07:54:30] 485*2^829144-1 is not prime. Res64: 860370D2722B81BF Time : 4338.0 sec. user=Flatlander [2010-06-13 07:54:31] 527*2^829144-1 is not prime. Res64: 663BDED1CFA627E8 Time : 4337.0 sec. user=vaughan [2010-06-13 07:54:53] 567*2^829158-1 is not prime. Res64: B4E018A2D2065D30 Time : 706.0 sec. user=vaughan [2010-06-13 07:56:06] 421*2^829159-1 is not prime. Res64: FDF6AB5FCEBAEBA7 Time : 709.0 sec. user=vaughan [2010-06-13 07:56:50] 425*2^829158-1 is not prime. Res64: A4B2ED434CC1B0CB Time : 947.0 sec. user=vaughan [2010-06-13 07:57:38] 477*2^829157-1 is not prime. Res64: E4DD7BC08FBAD76D Time : 1386.0 sec. user=vaughan [2010-06-13 07:58:04] 431*2^829142-1 is not prime. Res64: D01502D89D668571 Time : 4777.0 sec. user=vaughan [2010-06-13 07:58:08] 515*2^829158-1 is not prime. Res64: B19B7E5059E8F2D2 Time : 946.0 sec. user=vaughan [2010-06-13 07:59:03] 439*2^829153-1 is not prime. Res64: B941150499C1438B Time : 2529.0 sec. user=vaughan [2010-06-13 07:59:48] 549*2^829159-1 is not prime. Res64: C525137CB6E5F23A Time : 710.0 sec. user=vaughan [2010-06-13 08:00:47] 513*2^829158-1 is not prime. Res64: 59925268AFD22452 Time : 1119.0 sec. user=vaughan [2010-06-13 08:03:53] 483*2^829158-1 is not prime. Res64: 0B215860D592503A Time : 1332.0 sec. user=vaughan [2010-06-13 08:05:26] 439*2^829159-1 is not prime. Res64: CFB247E398D7578F Time : 1187.0 sec. user=vaughan [2010-06-13 08:05:26] 537*2^829161-1 is not prime. Res64: AC928BC835947E9A Time : 946.0 sec. user=vaughan [2010-06-13 08:06:00] 455*2^829156-1 is not prime. Res64: 896651D28BE5D751 Time : 2024.0 sec. user=vaughan [2010-06-13 08:06:40] 585*2^829163-1 is not prime. Res64: E141D1A4A1A2EB1B Time : 707.0 sec. user=vaughan [2010-06-13 08:07:55] 507*2^829164-1 is not prime. Res64: 757EBDE0C4685E2B Time : 709.0 sec. user=vaughan [2010-06-13 08:08:13] 559*2^829153-1 is not prime. Res64: 4F39DC1097865B57 Time : 3005.0 sec. user=vaughan [2010-06-13 08:09:14] 423*2^829158-1 is not prime. Res64: 4061EABFD34473E8 Time : 1882.0 sec. user=vaughan [2010-06-13 08:11:37] 589*2^829165-1 is not prime. Res64: 9F501202AE5DC147 Time : 710.0 sec. user=vaughan [2010-06-13 08:12:37] 545*2^829164-1 is not prime. Res64: 6DE6B83F5EDC95E2 Time : 947.0 sec. user=vaughan [2010-06-13 08:13:53] 405*2^829165-1 is not prime. Res64: B355408F91ABC3DA Time : 946.0 sec. user=vaughan [2010-06-13 08:17:49] 591*2^829161-1 is not prime. Res64: D4BA3D653309F6FE Time : 1666.0 sec. user=vaughan [2010-06-13 08:18:11] 447*2^829166-1 is not prime. Res64: CFAE4B902B9B8581 Time : 1044.0 sec. user=vaughan [2010-06-13 08:18:18] 425*2^829162-1 is not prime. Res64: BAC09017462E0316 Time : 1484.0 sec. user=vaughan [2010-06-13 08:18:26] 403*2^829167-1 is not prime. Res64: 00ECD6E37725292A Time : 707.0 sec. user=vaughan [2010-06-13 08:19:45] 453*2^829167-1 is not prime. Res64: 8B60B147541F7CF1 Time : 710.0 sec. user=vaughan [2010-06-13 08:20:43] 567*2^829164-1 is not prime. Res64: D4DDF51BDC64FA54 Time : 1386.0 sec. user=vaughan [2010-06-13 08:21:13] 581*2^829166-1 is not prime. Res64: AF6140E6587AC5DC Time : 947.0 sec. user=vaughan [2010-06-13 08:22:22] 529*2^829161-1 is not prime. Res64: BD4F72C196AE30BD Time : 2022.0 sec. user=vaughan [2010-06-13 08:22:41] 557*2^829166-1 is not prime. Res64: 8DDE95A5F0B2F90B Time : 1035.0 sec. user=vaughan [2010-06-13 08:23:26] 489*2^829168-1 is not prime. Res64: BFDB7093BD256AD7 Time : 709.0 sec. user=vaughan [2010-06-13 08:26:14] 477*2^829166-1 is not prime. Res64: A50E871B01A475F7 Time : 1341.0 sec. user=vaughan [2010-06-13 08:28:23] 567*2^829168-1 is not prime. Res64: F62FCF1D8CE6E0F7 Time : 947.0 sec. user=vaughan [2010-06-13 08:29:39] 597*2^829168-1 is not prime. Res64: AF977074609E960B Time : 946.0 sec. user=vaughan [2010-06-13 08:30:11] 595*2^829169-1 is not prime. Res64: 74E7B8C4F43CECF5 Time : 706.0 sec. user=vaughan [2010-06-13 08:31:34] 483*2^829170-1 is not prime. Res64: A5ED069CB4FB6A20 Time : 710.0 sec. user=vaughan [2010-06-13 08:35:15] 495*2^829172-1 is not prime. Res64: 85E2BBDFF35A8B0E Time : 709.0 sec. user=vaughan [2010-06-13 08:35:25] 423*2^829159-1 is not prime. Res64: 00FBE245041B248A Time : 3038.0 sec. user=vaughan [2010-06-13 08:35:32] 567*2^829169-1 is not prime. Res64: 694D0E262A00EA1E Time : 1042.0 sec. user=vaughan [2010-06-13 08:36:23] 477*2^829165-1 is not prime. Res64: 353CB6BF0C8053C4 Time : 2240.0 sec. user=vaughan [2010-06-13 08:37:00] 521*2^829170-1 is not prime. Res64: 27330CA86F46A409 Time : 947.0 sec. user=Flatlander [2010-06-13 08:39:18] 441*2^829155-1 is not prime. Res64: F1D071B1CA0FDC80 Time : 4339.0 sec. user=Flatlander [2010-06-13 08:39:19] 481*2^829155-1 is not prime. Res64: 15C243E5A0B8EAAE Time : 4338.0 sec. user=Flatlander [2010-06-13 08:39:19] 493*2^829155-1 is not prime. Res64: 2E0171099B923BC0 Time : 4337.0 sec. user=Flatlander [2010-06-13 08:39:20] 511*2^829155-1 is not prime. Res64: F06B7F77F3A810CE Time : 4336.0 sec. user=Flatlander [2010-06-13 08:39:21] 513*2^829155-1 is not prime. Res64: 07E9A09AC44FDDD0 Time : 4336.0 sec. user=vaughan [2010-06-13 08:39:49] 593*2^829166-1 is not prime. Res64: DE05FBF51526D4A4 Time : 2030.0 sec. user=vaughan [2010-06-13 08:40:02] 455*2^829172-1 is not prime. Res64: B0D12B8551F736F5 Time : 1042.0 sec. user=vaughan [2010-06-13 08:40:24] 489*2^829167-1 is not prime. Res64: 4AD9A13900EC04C9 Time : 1871.0 sec. user=vaughan [2010-06-13 08:41:58] 417*2^829173-1 is not prime. Res64: A8AC84AF557E5436 Time : 707.0 sec. user=vaughan [2010-06-13 08:43:08] 577*2^829169-1 is not prime. Res64: D08EFAA13B5AD651 Time : 1490.0 sec. user=vaughan [2010-06-13 08:43:25] 439*2^829173-1 is not prime. Res64: FE75C484ED49D2A1 Time : 712.0 sec. user=vaughan [2010-06-13 08:43:34] 501*2^829170-1 is not prime. Res64: 0B3CD92DBA8FE4EC Time : 1371.0 sec. user=vaughan [2010-06-13 08:44:10] 525*2^829172-1 is not prime. Res64: 2A3A9F007055A206 Time : 947.0 sec. user=vaughan [2010-06-13 08:45:24] 593*2^829172-1 is not prime. Res64: F3D7DB258F166DC5 Time : 946.0 sec. user=vaughan [2010-06-13 08:45:44] 559*2^829169-1 is not prime. Res64: 4EB5645A8117B9CF Time : 1676.0 sec. user=vaughan [2010-06-13 08:47:08] 451*2^829173-1 is not prime. Res64: 7F627243FCBEB229 Time : 713.0 sec. user=vaughan [2010-06-13 08:48:35] 507*2^829172-1 is not prime. Res64: 26985D74BC4968F8 Time : 1342.0 sec. user=vaughan [2010-06-13 08:52:46] 411*2^829174-1 is not prime. Res64: A422B6CC33E5C1CF Time : 947.0 sec. user=vaughan [2010-06-13 08:53:22] 529*2^829173-1 is not prime. Res64: FE6AEB2146034925 Time : 1070.0 sec. user=vaughan [2010-06-13 08:53:46] 537*2^829176-1 is not prime. Res64: 8ED18F5A26FDF792 Time : 708.0 sec. user=vaughan [2010-06-13 08:55:17] 585*2^829176-1 is not prime. Res64: 2A7B5338A16E2B2F Time : 712.0 sec. user=vaughan [2010-06-13 08:59:01] 501*2^829178-1 is not prime. Res64: A482A7D4AAEE5E05 Time : 714.0 sec. user=vaughan [2010-06-13 08:59:31] 413*2^829172-1 is not prime. Res64: F992DBB110ED8609 Time : 2229.0 sec. user=Flatlander [2010-06-13 08:59:33] 465*2^829160-1 is not prime. Res64: 3F1FE11E479656D2 Time : 4261.0 sec. user=Flatlander [2010-06-13 08:59:34] 515*2^829160-1 is not prime. Res64: D3F80F9164265610 Time : 4261.0 sec. user=Flatlander [2010-06-13 08:59:35] 563*2^829160-1 is not prime. Res64: 54751E7D762C4D48 Time : 4261.0 sec. user=Flatlander [2010-06-13 08:59:35] 441*2^829161-1 is not prime. Res64: E0A799910F15B20F Time : 4260.0 sec. user=Flatlander [2010-06-13 08:59:36] 459*2^829161-1 is not prime. Res64: CDBA011A54B9EB0A Time : 4260.0 sec. user=vaughan [2010-06-13 08:59:56] 435*2^829177-1 is not prime. Res64: 60C2A7C325AB3524 Time : 947.0 sec. user=vaughan [2010-06-13 09:00:28] 569*2^829156-1 is not prime. Res64: 506F04114AEB42DE Time : 5248.0 sec. user=vaughan [2010-06-13 09:01:11] 447*2^829178-1 is not prime. Res64: 2679466C5E6EADA8 Time : 947.0 sec. user=vaughan [2010-06-13 09:03:19] 471*2^829167-1 is not prime. Res64: 4F1CF535EC6834CD Time : 3306.0 sec. user=vaughan [2010-06-13 09:05:34] 433*2^829179-1 is not prime. Res64: 9C56146C9D09C862 Time : 708.0 sec. user=vaughan [2010-06-13 09:06:33] 409*2^829177-1 is not prime. Res64: 665408DEE654BC9E Time : 1379.0 sec. user=Flatlander [2010-06-13 09:06:54] 467*2^829162-1 is not prime. Res64: 32B7B05BACE99F04 Time : 4342.0 sec. user=Flatlander [2010-06-13 09:06:54] 533*2^829162-1 is not prime. Res64: 13D7C5F7B439ECA1 Time : 4340.0 sec. user=Flatlander [2010-06-13 09:06:55] 545*2^829162-1 is not prime. Res64: 56D2E4D42D058ED9 Time : 4340.0 sec. user=Flatlander [2010-06-13 09:06:56] 561*2^829162-1 is not prime. Res64: 4190CFD02C21DABD Time : 4339.0 sec. user=Flatlander [2010-06-13 09:06:57] 433*2^829163-1 is not prime. Res64: 901F0F586C8E0A79 Time : 4339.0 sec. user=vaughan [2010-06-13 09:07:10] 571*2^829179-1 is not prime. Res64: 82342437D7EFAFBA Time : 713.0 sec. user=vaughan [2010-06-13 09:07:56] 557*2^829176-1 is not prime. Res64: 402A5C03441EF53A Time : 1489.0 sec. user=vaughan [2010-06-13 09:08:33] 525*2^829178-1 is not prime. Res64: 249212C1753C0DC9 Time : 947.0 sec. user=vaughan [2010-06-13 09:09:38] 585*2^829173-1 is not prime. Res64: C40A14C1EDD1625D Time : 1995.0 sec. user=vaughan [2010-06-13 09:10:37] 503*2^829178-1 is not prime. Res64: 92F65A33B45D4AFC Time : 1322.0 sec. user=vaughan [2010-06-13 09:10:55] 405*2^829180-1 is not prime. Res64: 95A1D82A81143825 Time : 714.0 sec. user=vaughan [2010-06-13 09:11:05] 525*2^829176-1 is not prime. Res64: 3A63FFA5EBC0CD81 Time : 1842.0 sec. user=vaughan [2010-06-13 09:12:36] 585*2^829175-1 is not prime. Res64: 45D2554F204D8A6D Time : 1954.0 sec. user=vaughan [2010-06-13 09:12:52] 531*2^829175-1 is not prime. Res64: 882BB27FD513B8E2 Time : 1983.0 sec. user=vaughan [2010-06-13 09:13:37] 497*2^829178-1 is not prime. Res64: 64C4E5CE4568349F Time : 1674.0 sec. user=vaughan [2010-06-13 09:13:59] 569*2^829164-1 is not prime. Res64: CD386847F7FD9132 Time : 4555.0 sec. user=vaughan [2010-06-13 09:15:43] 465*2^829183-1 is not prime. Res64: 6B6FF8183C393957 Time : 947.0 sec. user=vaughan [2010-06-13 09:16:57] 425*2^829184-1 is not prime. Res64: 94EE9EF6948F0824 Time : 947.0 sec. user=vaughan [2010-06-13 09:17:22] 489*2^829184-1 is not prime. Res64: 1B3E899BA5CDCA44 Time : 708.0 sec. user=vaughan [2010-06-13 09:19:02] 521*2^829186-1 is not prime. Res64: D6907E3720383E9B Time : 713.0 sec. user=vaughan [2010-06-13 09:22:48] 501*2^829187-1 is not prime. Res64: 3F304153D8A88967 Time : 713.0 sec. user=vaughan [2010-06-13 09:24:19] 441*2^829187-1 is not prime. Res64: 06DA071928708F23 Time : 947.0 sec. user=vaughan [2010-06-13 09:26:43] 429*2^829179-1 is not prime. Res64: 1FF94F7CBCE119ED Time : 2002.0 sec. user=vaughan [2010-06-13 09:29:09] 405*2^829190-1 is not prime. Res64: A42C0D61F4BA72CC Time : 708.0 sec. user=vaughan [2010-06-13 09:29:32] 507*2^829184-1 is not prime. Res64: 55DA3658BC0609A4 Time : 1380.0 sec. user=vaughan [2010-06-13 09:29:58] 485*2^829188-1 is not prime. Res64: 78FA1CC84830C107 Time : 1043.0 sec. user=vaughan [2010-06-13 09:30:53] 411*2^829190-1 is not prime. Res64: 196468697743AAAE Time : 711.0 sec. user=vaughan [2010-06-13 09:31:29] 505*2^829189-1 is not prime. Res64: 49FF4D3D2ECE4E7C Time : 947.0 sec. user=vaughan [2010-06-13 09:32:04] 447*2^829180-1 is not prime. Res64: 6550A9AD2D003B23 Time : 1953.0 sec. user=vaughan [2010-06-13 09:32:43] 525*2^829189-1 is not prime. Res64: 012B902ADE8B5573 Time : 947.0 sec. user=vaughan [2010-06-13 09:32:46] 545*2^829186-1 is not prime. Res64: 2B4506F08D716372 Time : 1491.0 sec. user=vaughan [2010-06-13 09:32:53] 495*2^829187-1 is not prime. Res64: F9DDCDABB5178B8E Time : 1337.0 sec. user=vaughan [2010-06-13 09:34:40] 425*2^829190-1 is not prime. Res64: AA3E33E32E12861A Time : 712.0 sec. user=vaughan [2010-06-13 09:38:02] 511*2^829173-1 is not prime. Res64: 3C10E2D16C67172C Time : 3757.0 sec. user=vaughan [2010-06-13 09:40:06] 453*2^829190-1 is not prime. Res64: 46A3BFC076835E2F Time : 947.0 sec. user=vaughan [2010-06-13 09:40:55] 403*2^829191-1 is not prime. Res64: 2DE0946854656876 Time : 706.0 sec. user=vaughan [2010-06-13 09:41:28] 523*2^829187-1 is not prime. Res64: 8B9FC4FD1B5C4C4C Time : 1823.0 sec. user=vaughan [2010-06-13 09:42:12] 489*2^829187-1 is not prime. Res64: CFF1ADD183686629 Time : 1955.0 sec. user=vaughan [2010-06-13 09:42:43] 595*2^829191-1 is not prime. Res64: 08BE7115047DDC6B Time : 710.0 sec. user=vaughan [2010-06-13 09:43:15] 435*2^829189-1 is not prime. Res64: A51078D794003658 Time : 1778.0 sec. user=vaughan [2010-06-13 09:43:59] 525*2^829188-1 is not prime. Res64: 31017C895FF591A6 Time : 1867.0 sec. user=vaughan [2010-06-13 09:44:35] 455*2^829190-1 is not prime. Res64: E58F7AB45B349380 Time : 1072.0 sec. user=vaughan [2010-06-13 09:46:29] 405*2^829193-1 is not prime. Res64: D87CA04DE8F5C470 Time : 710.0 sec. user=vaughan [2010-06-13 09:47:16] 429*2^829192-1 is not prime. Res64: 47398077CE71B646 Time : 947.0 sec. user=vaughan [2010-06-13 09:47:26] 493*2^829191-1 is not prime. Res64: 3FE90D53840A9C15 Time : 1049.0 sec. user=vaughan [2010-06-13 09:48:29] 455*2^829192-1 is not prime. Res64: 6AAAE3639CC23722 Time : 946.0 sec. user=Flatlander [2010-06-13 09:51:42] 491*2^829174-1 is not prime. Res64: 3E11380C84CCDCB8 Time : 4339.0 sec. user=Flatlander [2010-06-13 09:51:42] 495*2^829174-1 is not prime. Res64: 5E53D1033AAA9B25 Time : 4338.0 sec. user=Flatlander [2010-06-13 09:51:43] 545*2^829174-1 is not prime. Res64: 20919A4BFDE75AA3 Time : 4337.0 sec. user=Flatlander [2010-06-13 09:51:44] 409*2^829175-1 is not prime. Res64: B7C343C16CB1D0A3 Time : 4337.0 sec. user=Flatlander [2010-06-13 09:51:45] 525*2^829175-1 is not prime. Res64: EEE27883E8ED1F4D Time : 4336.0 sec. user=vaughan [2010-06-13 09:52:26] 489*2^829191-1 is not prime. Res64: F5638451611236A8 Time : 1374.0 sec. user=vaughan [2010-06-13 09:52:41] 465*2^829193-1 is not prime. Res64: C21CDC2619A82665 Time : 706.0 sec. user=vaughan [2010-06-13 09:54:35] 495*2^829194-1 is not prime. Res64: CEF368BA6CBFE30B Time : 712.0 sec. user=vaughan [2010-06-13 09:54:56] 489*2^829192-1 is not prime. Res64: 5618E1251F8C8569 Time : 1323.0 sec. user=vaughan [2010-06-13 09:55:52] 439*2^829193-1 is not prime. Res64: DFF6A530DFED1C9D Time : 947.0 sec. user=vaughan [2010-06-13 09:58:18] 595*2^829195-1 is not prime. Res64: 2EAF340DD54B6819 Time : 709.0 sec. user=vaughan [2010-06-13 10:03:02] 449*2^829196-1 is not prime. Res64: 4A127EB00CA858CD Time : 947.0 sec. user=vaughan [2010-06-13 10:04:11] 483*2^829192-1 is not prime. Res64: 560933AF80382D76 Time : 1885.0 sec. user=vaughan [2010-06-13 10:04:15] 507*2^829196-1 is not prime. Res64: 21609BE26F192CB7 Time : 947.0 sec. user=vaughan [2010-06-13 10:04:26] 511*2^829195-1 is not prime. Res64: 977AB7187C294C67 Time : 1192.0 sec. user=vaughan [2010-06-13 10:04:28] 597*2^829198-1 is not prime. Res64: FBED35269ED3719A Time : 707.0 sec. user=vaughan [2010-06-13 10:05:45] 447*2^829192-1 is not prime. Res64: E8AB1BE1B9C8FDFB Time : 2022.0 sec. user=vaughan [2010-06-13 10:06:01] 503*2^829196-1 is not prime. Res64: E386F64ABF988661 Time : 1115.0 sec. user=vaughan [2010-06-13 10:06:25] 435*2^829199-1 is not prime. Res64: 44235CC5802AD29C Time : 711.0 sec. user=vaughan [2010-06-13 10:08:38] 465*2^829184-1 is not prime. Res64: 349AD5A39C5D78B7 Time : 3919.0 sec. user=vaughan [2010-06-13 10:10:08] 447*2^829200-1 is not prime. Res64: 8F10883C1F1CAA3D Time : 710.0 sec. user=vaughan [2010-06-13 10:11:39] 549*2^829199-1 is not prime. Res64: FFE69F293942E0AA Time : 947.0 sec. user=vaughan [2010-06-13 10:12:09] 475*2^829193-1 is not prime. Res64: BA7FB363A1798D25 Time : 1842.0 sec. user=Flatlander [2010-06-13 10:12:34] 525*2^829180-1 is not prime. Res64: A17FB40B8BBD6F8C Time : 4376.0 sec. user=Flatlander [2010-06-13 10:12:35] 421*2^829181-1 is not prime. Res64: 7D0733182CAD3BA4 Time : 4376.0 sec. user=Flatlander [2010-06-13 10:12:36] 559*2^829181-1 is not prime. Res64: F316455557C16FDF Time : 4375.0 sec. user=Flatlander [2010-06-13 10:12:37] 591*2^829181-1 is not prime. Res64: 47E266A563A51C4F Time : 4375.0 sec. user=Flatlander [2010-06-13 10:12:37] 421*2^829183-1 is not prime. Res64: 0729DCBE4262D186 Time : 4373.0 sec. user=vaughan [2010-06-13 10:14:05] 411*2^829195-1 is not prime. Res64: 3E9A2774A5E1C78E Time : 1850.0 sec. user=vaughan [2010-06-13 10:14:15] 591*2^829193-1 is not prime. Res64: 13C17A7B722F8A4A Time : 1924.0 sec. user=vaughan [2010-06-13 10:15:21] 573*2^829198-1 is not prime. Res64: 655C12FBD3171FCD Time : 1376.0 sec. user=vaughan [2010-06-13 10:16:14] 411*2^829201-1 is not prime. Res64: D240B30513562906 Time : 707.0 sec. user=vaughan [2010-06-13 10:16:19] 453*2^829195-1 is not prime. Res64: D607D1464D6633A4 Time : 1940.0 sec. user=vaughan [2010-06-13 10:17:08] 463*2^829199-1 is not prime. Res64: 75D4ED043D9B654E Time : 1332.0 sec. user=vaughan [2010-06-13 10:18:14] 447*2^829202-1 is not prime. Res64: 7E214DEBAA25F225 Time : 709.0 sec. user=vaughan [2010-06-13 10:18:49] 453*2^829200-1 is not prime. Res64: 523D439F1D4CF6B2 Time : 947.0 sec. user=Flatlander [2010-06-13 10:19:28] 441*2^829185-1 is not prime. Res64: B5C9496C57D2B8FB Time : 4350.0 sec. user=Flatlander [2010-06-13 10:19:28] 531*2^829185-1 is not prime. Res64: 5ABF9092DBB6B100 Time : 4348.0 sec. user=Flatlander [2010-06-13 10:19:29] 579*2^829185-1 is not prime. Res64: 8C2787A72BD3E575 Time : 4348.0 sec. user=Flatlander [2010-06-13 10:19:30] 585*2^829185-1 is not prime. Res64: AF997134C4F3B1FC Time : 4347.0 sec. user=Flatlander [2010-06-13 10:19:31] 471*2^829186-1 is not prime. Res64: 80E182EFFFFD7CD4 Time : 4346.0 sec. user=vaughan [2010-06-13 10:20:01] 557*2^829200-1 is not prime. Res64: 6FD697CEF0CBC6B2 Time : 946.0 sec. user=vaughan [2010-06-13 10:21:57] 593*2^829200-1 is not prime. Res64: EB55D4AEDEBDD2B3 Time : 1052.0 sec. user=vaughan [2010-06-13 10:21:57] 439*2^829203-1 is not prime. Res64: F41BD44EEE37073C Time : 710.0 sec. user=vaughan [2010-06-13 10:23:18] 405*2^829202-1 is not prime. Res64: 4A0E8F2388E129BE Time : 1038.0 sec. user=vaughan [2010-06-13 10:27:08] 589*2^829183-1 is not prime. Res64: 09BA8B392D61C7F7 Time : 5200.0 sec. user=vaughan [2010-06-13 10:27:24] 555*2^829203-1 is not prime. Res64: EEEBAC5FABB632D5 Time : 946.0 sec. user=vaughan [2010-06-13 10:27:59] 487*2^829205-1 is not prime. Res64: A1B95337B784E01B Time : 705.0 sec. user=vaughan [2010-06-13 10:28:14] 479*2^829200-1 is not prime. Res64: ED1976969AAED742 Time : 1444.0 sec. user=vaughan [2010-06-13 10:30:04] 447*2^829206-1 is not prime. Res64: 10053CC3FF34CC8D Time : 710.0 sec. user=vaughan [2010-06-13 10:31:13] 477*2^829189-1 is not prime. Res64: 7AAC6D4D7A5A8AA6 Time : 4634.0 sec. user=vaughan [2010-06-13 10:33:35] 411*2^829193-1 is not prime. Res64: B85289F5C9714F72 Time : 3334.0 sec. user=vaughan [2010-06-13 10:33:47] 579*2^829207-1 is not prime. Res64: A71AC16E5C1DBF67 Time : 710.0 sec. user=vaughan [2010-06-13 10:34:36] 453*2^829206-1 is not prime. Res64: B501435B33EE238B Time : 947.0 sec. user=vaughan [2010-06-13 10:35:46] 471*2^829207-1 is not prime. Res64: 9C0569C0448580F6 Time : 946.0 sec. user=vaughan [2010-06-13 10:38:12] 481*2^829205-1 is not prime. Res64: 96F1DA99EB18852B Time : 1371.0 sec. user=vaughan [2010-06-13 10:39:16] 583*2^829207-1 is not prime. Res64: 6FDC955C9A95B47B Time : 1039.0 sec. user=vaughan [2010-06-13 10:39:30] 547*2^829205-1 is not prime. Res64: 6F02FB3AE8D916AF Time : 1343.0 sec. user=vaughan [2010-06-13 10:39:45] 571*2^829209-1 is not prime. Res64: 6C9E0041E273523A Time : 706.0 sec. user=vaughan [2010-06-13 10:40:28] 409*2^829205-1 is not prime. Res64: A3858ADF8A3E0629 Time : 1584.0 sec. user=vaughan [2010-06-13 10:40:33] 557*2^829208-1 is not prime. Res64: 391AEEA4772DE763 Time : 1035.0 sec. user=vaughan [2010-06-13 10:41:53] 447*2^829210-1 is not prime. Res64: 81A080615D3BFB72 Time : 710.0 sec. user=vaughan [2010-06-13 10:43:03] 583*2^829203-1 is not prime. Res64: 663ECB66D04C1A71 Time : 1854.0 sec. user=vaughan [2010-06-13 10:43:10] 565*2^829209-1 is not prime. Res64: 47E7944E7D33467B Time : 946.0 sec. user=vaughan [2010-06-13 10:45:36] 525*2^829210-1 is not prime. Res64: 654FB77DE9DD984A Time : 710.0 sec. user=vaughan [2010-06-13 10:48:29] 495*2^829205-1 is not prime. Res64: 347CE217EBEDDF26 Time : 1930.0 sec. user=vaughan [2010-06-13 10:50:05] 499*2^829201-1 is not prime. Res64: 930E43F6491A0305 Time : 2660.0 sec. user=vaughan [2010-06-13 10:50:21] 445*2^829211-1 is not prime. Res64: 2BDF8D51E9324CE7 Time : 946.0 sec. user=vaughan [2010-06-13 10:51:30] 563*2^829212-1 is not prime. Res64: C337F1AA5916699D Time : 706.0 sec. user=vaughan [2010-06-13 10:51:32] 519*2^829211-1 is not prime. Res64: 591133A5662E89A7 Time : 946.0 sec. user=vaughan [2010-06-13 10:52:47] 411*2^829210-1 is not prime. Res64: 92BD85279BB5BA86 Time : 1473.0 sec. user=vaughan [2010-06-13 10:53:42] 587*2^829212-1 is not prime. Res64: F6FEF064C2BE914A Time : 710.0 sec. user=vaughan [2010-06-13 10:55:56] 415*2^829203-1 is not prime. Res64: 9E375D8B81E70D00 Time : 2838.0 sec. user=vaughan [2010-06-13 10:56:35] 479*2^829212-1 is not prime. Res64: 5732273EBCEEAF66 Time : 1039.0 sec. user=vaughan [2010-06-13 10:57:25] 503*2^829214-1 is not prime. Res64: 4131BD32667B623C Time : 709.0 sec. user=vaughan [2010-06-13 10:57:47] 585*2^829212-1 is not prime. Res64: 1F1A2FE76E8BB570 Time : 1035.0 sec. user=vaughan [2010-06-13 10:58:55] 541*2^829213-1 is not prime. Res64: A5D85C554D2AE15E Time : 946.0 sec. user=vaughan [2010-06-13 10:59:35] 441*2^829205-1 is not prime. Res64: 4CCB938FBCE52BA7 Time : 2720.0 sec. user=vaughan [2010-06-13 11:01:12] 571*2^829211-1 is not prime. Res64: A8420FE11A1F4425 Time : 1380.0 sec. user=vaughan [2010-06-13 11:01:35] 503*2^829212-1 is not prime. Res64: 058E5D4FC7D601AC Time : 1325.0 sec. user=vaughan [2010-06-13 11:03:16] 471*2^829215-1 is not prime. Res64: 3C04E3C3116DC7BC Time : 706.0 sec. user=vaughan [2010-06-13 11:05:31] 537*2^829217-1 is not prime. Res64: 3861D40F653ED7E7 Time : 709.0 sec. user=vaughan [2010-06-13 11:06:07] 433*2^829215-1 is not prime. Res64: B4D4B84918438B88 Time : 946.0 sec. user=vaughan [2010-06-13 11:07:17] 453*2^829216-1 is not prime. Res64: 78D5F57FFF28B04A Time : 945.0 sec. user=vaughan [2010-06-13 11:07:26] 579*2^829212-1 is not prime. Res64: EE9A53AAAD6D1C10 Time : 1618.0 sec. user=vaughan [2010-06-13 11:09:14] 405*2^829218-1 is not prime. Res64: 5525A1096176ADDF Time : 709.0 sec. user=vaughan [2010-06-13 11:13:55] 595*2^829217-1 is not prime. Res64: 8B939920E0A07BA3 Time : 1040.0 sec. user=vaughan [2010-06-13 11:13:59] 537*2^829213-1 is not prime. Res64: E7545B28E3093BAA Time : 1856.0 sec. user=vaughan [2010-06-13 11:14:41] 525*2^829218-1 is not prime. Res64: 53C71B6202763DEA Time : 946.0 sec. user=vaughan [2010-06-13 11:15:01] 485*2^829218-1 is not prime. Res64: 4CE5C5EB359331CD Time : 1034.0 sec. user=vaughan [2010-06-13 11:15:02] 579*2^829219-1 is not prime. Res64: 15B28545E5188416 Time : 706.0 sec. user=vaughan [2010-06-13 11:17:20] 589*2^829219-1 is not prime. Res64: B675D072B4397F71 Time : 709.0 sec. user=vaughan [2010-06-13 11:17:36] 477*2^829217-1 is not prime. Res64: DC62FD5AC45908BD Time : 1490.0 sec. user=vaughan [2010-06-13 11:19:57] 573*2^829214-1 is not prime. Res64: ACB41500F69FB744 Time : 1888.0 sec. user=vaughan [2010-06-13 11:21:04] 427*2^829221-1 is not prime. Res64: 4A6E6C6E33EC9408 Time : 710.0 sec. user=vaughan [2010-06-13 11:21:54] 537*2^829220-1 is not prime. Res64: 05A56CE70E54D064 Time : 947.0 sec. user=vaughan [2010-06-13 11:22:28] 477*2^829210-1 is not prime. Res64: BAFCA2CAD9C444B4 Time : 2933.0 sec. user=vaughan [2010-06-13 11:23:03] 539*2^829220-1 is not prime. Res64: 8F0EE93C3039D756 Time : 946.0 sec. user=vaughan [2010-06-13 11:23:12] 585*2^829214-1 is not prime. Res64: F59BAF294868E266 Time : 1987.0 sec. user=vaughan [2010-06-13 11:23:46] 511*2^829219-1 is not prime. Res64: CF70BA188FBF2B46 Time : 1332.0 sec. user=vaughan [2010-06-13 11:24:00] 463*2^829219-1 is not prime. Res64: 98DD0EA933ACECCE Time : 1368.0 sec. user=vaughan [2010-06-13 11:26:48] 477*2^829222-1 is not prime. Res64: 64C066AB25473112 Time : 706.0 sec. user=vaughan [2010-06-13 11:29:10] 495*2^829222-1 is not prime. Res64: 9AA11FFEBE6B3C0C Time : 710.0 sec. user=vaughan [2010-06-13 11:30:26] 517*2^829221-1 is not prime. Res64: E3E0EAA69C8FE0CD Time : 946.0 sec. user=vaughan [2010-06-13 11:31:15] 459*2^829221-1 is not prime. Res64: 88D31C95516E8876 Time : 1040.0 sec. user=vaughan [2010-06-13 11:32:04] 585*2^829218-1 is not prime. Res64: 33B3BDB04E7B5B5F Time : 1950.0 sec. user=vaughan [2010-06-13 11:32:15] 435*2^829222-1 is not prime. Res64: B05A743B603EC8C8 Time : 1034.0 sec. user=vaughan [2010-06-13 11:32:53] 463*2^829223-1 is not prime. Res64: F4E22DDCF93536F6 Time : 710.0 sec. user=Flatlander [2010-06-13 11:35:23] 557*2^829196-1 is not prime. Res64: 7DEABFC7BD4F283D Time : 6216.0 sec. user=Flatlander [2010-06-13 11:35:24] 475*2^829197-1 is not prime. Res64: CB030E0995B58493 Time : 6216.0 sec. user=Flatlander [2010-06-13 11:35:25] 517*2^829197-1 is not prime. Res64: 19AAC82D3499225E Time : 6215.0 sec. user=Flatlander [2010-06-13 11:35:25] 413*2^829198-1 is not prime. Res64: D43B3A7F2E5B0BFE Time : 6214.0 sec. user=Flatlander [2010-06-13 11:35:26] 423*2^829198-1 is not prime. Res64: D6B03585C2D7AB7C Time : 6213.0 sec. user=vaughan [2010-06-13 11:35:50] 579*2^829220-1 is not prime. Res64: F94888EAD41AECF8 Time : 1704.0 sec. user=vaughan [2010-06-13 11:37:40] 447*2^829224-1 is not prime. Res64: C7B35D19BDF579E8 Time : 946.0 sec. user=vaughan [2010-06-13 11:38:33] 587*2^829224-1 is not prime. Res64: 073BF1C27EEB3674 Time : 706.0 sec. user=vaughan [2010-06-13 11:38:48] 459*2^829224-1 is not prime. Res64: 374C955F5C79BD79 Time : 945.0 sec. user=vaughan [2010-06-13 11:40:59] 411*2^829225-1 is not prime. Res64: 307FE3156AE404DC Time : 710.0 sec. user=vaughan [2010-06-13 11:42:25] 513*2^829222-1 is not prime. Res64: A98099EF9E2ABFCA Time : 1489.0 sec. user=vaughan [2010-06-13 11:44:34] 585*2^829217-1 is not prime. Res64: 384F6CD50A24F345 Time : 2918.0 sec. user=vaughan [2010-06-13 11:44:42] 437*2^829226-1 is not prime. Res64: F430E9F6A4AFD946 Time : 709.0 sec. user=vaughan [2010-06-13 11:44:46] 511*2^829221-1 is not prime. Res64: 227E23FAB711A6BD Time : 1847.0 sec. user=vaughan [2010-06-13 11:46:03] 549*2^829224-1 is not prime. Res64: BA13B164E3FA2EDE Time : 1337.0 sec. user=vaughan [2010-06-13 11:46:12] 441*2^829225-1 is not prime. Res64: B77A51FBBBBF541F Time : 946.0 sec. user=vaughan [2010-06-13 11:46:50] 563*2^829224-1 is not prime. Res64: 82639EE283858AD2 Time : 1371.0 sec. user=vaughan [2010-06-13 11:48:24] 471*2^829210-1 is not prime. Res64: 1BB051DC30C272E2 Time : 4631.0 sec. user=vaughan [2010-06-13 11:48:40] 531*2^829225-1 is not prime. Res64: 0908CFF472C123F5 Time : 1045.0 sec. user=vaughan [2010-06-13 11:49:27] 431*2^829226-1 is not prime. Res64: 6A06B6484F618AC2 Time : 1032.0 sec. user=vaughan [2010-06-13 11:50:19] 585*2^829227-1 is not prime. Res64: 8CE3DC777C19420F Time : 707.0 sec. user=vaughan [2010-06-13 11:52:19] 555*2^829209-1 is not prime. Res64: DD3D1119DD5DBF5D Time : 5111.0 sec. user=vaughan [2010-06-13 11:52:46] 445*2^829223-1 is not prime. Res64: 75DD78DD2D656E26 Time : 1970.0 sec. user=vaughan [2010-06-13 11:52:49] 465*2^829228-1 is not prime. Res64: F40902BC752EAD07 Time : 710.0 sec. user=vaughan [2010-06-13 11:53:27] 501*2^829227-1 is not prime. Res64: 2186C917D5C5E5D6 Time : 947.0 sec. user=vaughan [2010-06-13 11:54:34] 419*2^829228-1 is not prime. Res64: D15F36497A72A13B Time : 946.0 sec. user=vaughan [2010-06-13 11:55:36] 543*2^829224-1 is not prime. Res64: 8934CC41C57D1EAE Time : 1944.0 sec. user=vaughan [2010-06-13 11:56:31] 567*2^829228-1 is not prime. Res64: 1FBCF252BE455774 Time : 709.0 sec. user=Flatlander [2010-06-13 12:01:38] 413*2^829204-1 is not prime. Res64: CB1163BE7272263C Time : 6539.0 sec. user=Flatlander [2010-06-13 12:01:39] 483*2^829204-1 is not prime. Res64: 97B1BAD55119762B Time : 6539.0 sec. user=Flatlander [2010-06-13 12:01:40] 485*2^829204-1 is not prime. Res64: 014A381A1FF5C85B Time : 6538.0 sec. user=Flatlander [2010-06-13 12:01:40] 527*2^829204-1 is not prime. Res64: BAF7BC4581A5037A Time : 6536.0 sec. user=Flatlander [2010-06-13 12:01:41] 545*2^829204-1 is prime! Time : 6536.0 sec. user=vaughan [2010-06-13 12:01:58] 439*2^829229-1 is not prime. Res64: 854630BCCDF5DCAF Time : 947.0 sec. user=vaughan [2010-06-13 12:02:05] 437*2^829230-1 is not prime. Res64: 95D152790965165F Time : 706.0 sec. user=vaughan [2010-06-13 12:04:14] 469*2^829227-1 is not prime. Res64: 456E40AF2A036476 Time : 1704.0 sec. user=vaughan [2010-06-13 12:04:38] 463*2^829231-1 is not prime. Res64: 48CCD69EF08350AB Time : 709.0 sec. user=vaughan [2010-06-13 12:05:35] 597*2^829225-1 is not prime. Res64: 9EC5649C9D2C6F60 Time : 2011.0 sec. user=vaughan [2010-06-13 12:07:32] 507*2^829228-1 is not prime. Res64: 4BDF51ECC4EE44A4 Time : 1507.0 sec. user=vaughan [2010-06-13 12:08:20] 429*2^829233-1 is not prime. Res64: 12B8DD8978E0854B Time : 709.0 sec. user=vaughan [2010-06-13 12:08:33] 417*2^829229-1 is not prime. Res64: 6E61DCFE21C3A73A Time : 1351.0 sec. user=vaughan [2010-06-13 12:08:38] 453*2^829224-1 is not prime. Res64: 26F75C99852A6AC6 Time : 2770.0 sec. user=vaughan [2010-06-13 12:09:13] 535*2^829231-1 is not prime. Res64: 4B8C2C441390AF49 Time : 946.0 sec. user=vaughan [2010-06-13 12:09:33] 477*2^829229-1 is not prime. Res64: A3E6FF3E2DB2B67C Time : 1363.0 sec. user=vaughan [2010-06-13 12:10:20] 583*2^829231-1 is not prime. Res64: 51B02430208AEF9B Time : 946.0 sec. user=vaughan [2010-06-13 12:13:51] 433*2^829235-1 is not prime. Res64: 71FEB5D15C1C0632 Time : 706.0 sec. user=vaughan [2010-06-13 12:15:05] 575*2^829228-1 is not prime. Res64: 4EFA4BC1AA1EDEEC Time : 1819.0 sec. user=Flatlander [2010-06-13 12:15:20] 455*2^829206-1 is not prime. Res64: 9350A8E499BCFA21 Time : 6948.0 sec. user=Flatlander [2010-06-13 12:15:20] 507*2^829206-1 is not prime. Res64: EA80C767CEC89BF4 Time : 6946.0 sec. user=Flatlander [2010-06-13 12:15:20] 513*2^829206-1 is not prime. Res64: A7914FEBE78FCF2F Time : 6944.0 sec. user=Flatlander [2010-06-13 12:15:20] 405*2^829207-1 is not prime. Res64: 4B1DF328D0A96E1B Time : 6943.0 sec. user=Flatlander [2010-06-13 12:15:20] 451*2^829207-1 is not prime. Res64: 679740EB14B99FF3 Time : 6941.0 sec. user=vaughan [2010-06-13 12:16:29] 531*2^829235-1 is not prime. Res64: B3558D1F0EBB9DD5 Time : 711.0 sec. user=vaughan [2010-06-13 12:17:45] 411*2^829235-1 is not prime. Res64: 945E2DA1A3DA9FDB Time : 947.0 sec. user=vaughan [2010-06-13 12:20:10] 409*2^829237-1 is not prime. Res64: 4159F40F3F733879 Time : 710.0 sec. user=vaughan [2010-06-13 12:24:09] 567*2^829229-1 is not prime. Res64: 21B80C7608AA2AA4 Time : 2129.0 sec. user=vaughan [2010-06-13 12:24:53] 589*2^829229-1 is not prime. Res64: CE7CE22D2898305D Time : 2126.0 sec. user=vaughan [2010-06-13 12:25:01] 561*2^829237-1 is not prime. Res64: CA41B6A657D3A54E Time : 948.0 sec. user=vaughan [2010-06-13 12:25:36] 563*2^829238-1 is not prime. Res64: 0B43F26F5EC3ECAD Time : 705.0 sec. user=vaughan [2010-06-13 12:26:07] 483*2^829238-1 is not prime. Res64: 361A888EA0BAC12F Time : 947.0 sec. user=vaughan [2010-06-13 12:26:53] 555*2^829230-1 is not prime. Res64: 59262FFAE334288B Time : 2047.0 sec. user=vaughan [2010-06-13 12:27:39] 459*2^829232-1 is not prime. Res64: ED8F19BCEC86CD96 Time : 1923.0 sec. user=vaughan [2010-06-13 12:28:19] 533*2^829240-1 is not prime. Res64: 1423AEDDBE5C4C6C Time : 711.0 sec. user=vaughan [2010-06-13 12:29:32] 539*2^829228-1 is not prime. Res64: 939D0DE212D4E1B2 Time : 2698.0 sec. user=vaughan [2010-06-13 12:30:46] 477*2^829237-1 is not prime. Res64: 56B70E5459BA52BD Time : 1334.0 sec. user=vaughan [2010-06-13 12:31:59] 563*2^829240-1 is not prime. Res64: B57FFC6D8FEE5234 Time : 710.0 sec. user=vaughan [2010-06-13 12:32:10] 463*2^829235-1 is not prime. Res64: 6897D32146D38B69 Time : 1676.0 sec. user=vaughan [2010-06-13 12:32:21] 423*2^829238-1 is not prime. Res64: 98BAADF27CFADBFB Time : 1368.0 sec. user=vaughan [2010-06-13 12:32:30] 597*2^829236-1 is not prime. Res64: 4EDADE402D4E8F53 Time : 1498.0 sec. user=vaughan [2010-06-13 12:33:33] 537*2^829240-1 is not prime. Res64: 80CF4EF4CB6BEBA8 Time : 949.0 sec. user=vaughan [2010-06-13 12:37:23] 417*2^829242-1 is not prime. Res64: C7FF79548A29A9D4 Time : 707.0 sec. user=vaughan [2010-06-13 12:40:09] 507*2^829244-1 is not prime. Res64: B997EA3A8E21667F Time : 710.0 sec. user=vaughan [2010-06-13 12:40:48] 559*2^829241-1 is not prime. Res64: 72DA8CD58FC11C03 Time : 947.0 sec. user=vaughan [2010-06-13 12:41:30] 569*2^829240-1 is not prime. Res64: 74841CF5AB0F6F28 Time : 1041.0 sec. user=vaughan [2010-06-13 12:41:53] 527*2^829242-1 is not prime. Res64: CBC5B00C3C3E08F4 Time : 947.0 sec. user=vaughan [2010-06-13 12:42:08] 547*2^829241-1 is not prime. Res64: 75977990EE63953E Time : 1035.0 sec. user=vaughan [2010-06-13 12:43:49] 579*2^829245-1 is not prime. Res64: 179E86744AC65DD6 Time : 710.0 sec. user=vaughan [2010-06-13 12:45:46] 485*2^829236-1 is not prime. Res64: C5C6186C3655B54A Time : 2412.0 sec. user=vaughan [2010-06-13 12:46:16] 423*2^829239-1 is not prime. Res64: C3A8DE76E7FE87C4 Time : 1871.0 sec. user=vaughan [2010-06-13 12:49:08] 545*2^829246-1 is not prime. Res64: DFF6734713FEBE4C Time : 706.0 sec. user=vaughan [2010-06-13 12:49:19] 521*2^829246-1 is not prime. Res64: F8AA21B527DB2A39 Time : 947.0 sec. user=vaughan [2010-06-13 12:51:58] 423*2^829247-1 is not prime. Res64: F48403871141B17F Time : 709.0 sec. user=vaughan [2010-06-13 12:53:00] 471*2^829245-1 is not prime. Res64: 4B547EEA992350DD Time : 1334.0 sec. user=vaughan [2010-06-13 12:53:07] 505*2^829237-1 is not prime. Res64: DE946291BB213474 Time : 2669.0 sec. user=vaughan [2010-06-13 12:55:13] 455*2^829246-1 is not prime. Res64: 2CE59D3F914DF5E8 Time : 1372.0 sec. user=vaughan [2010-06-13 12:55:38] 499*2^829249-1 is not prime. Res64: 01BC79F148CD8206 Time : 710.0 sec. user=vaughan [2010-06-13 12:56:35] 493*2^829247-1 is not prime. Res64: 2CE930F84E71F73E Time : 947.0 sec. user=vaughan [2010-06-13 12:57:34] 495*2^829246-1 is not prime. Res64: 7F01299C50AFD32B Time : 1504.0 sec. user=vaughan [2010-06-13 12:57:39] 527*2^829248-1 is not prime. Res64: 4E12F781ECEADFF1 Time : 946.0 sec. user=vaughan [2010-06-13 12:58:50] 479*2^829248-1 is not prime. Res64: 4DD53E9512068B6A Time : 1040.0 sec. user=vaughan [2010-06-13 12:59:22] 439*2^829249-1 is not prime. Res64: EE242405CF07946E Time : 1034.0 sec. user=vaughan [2010-06-13 12:59:39] 507*2^829229-1 is not prime. Res64: FCA57BBFDB9C6EFF Time : 4276.0 sec. user=vaughan [2010-06-13 13:00:08] 585*2^829245-1 is not prime. Res64: 9FF37FD2E5D77921 Time : 1678.0 sec. user=vaughan [2010-06-13 13:00:54] 567*2^829250-1 is not prime. Res64: F8C469EBFEE34242 Time : 706.0 sec. user=vaughan [2010-06-13 13:01:01] 551*2^829242-1 is not prime. Res64: 69B8E3E94B52D499 Time : 2048.0 sec. user=vaughan [2010-06-13 13:03:49] 415*2^829251-1 is not prime. Res64: A667E7F58DE11DCE Time : 711.0 sec. user=vaughan [2010-06-13 13:05:05] 593*2^829250-1 is not prime. Res64: 41C8EBAA3D947066 Time : 946.0 sec. user=vaughan [2010-06-13 13:06:44] 437*2^829244-1 is not prime. Res64: 4F128151E88C6763 Time : 2345.0 sec. user=vaughan [2010-06-13 13:07:27] 483*2^829251-1 is not prime. Res64: 54E54B31B1A8D7C0 Time : 709.0 sec. user=vaughan [2010-06-13 13:12:21] 413*2^829252-1 is not prime. Res64: 90C94C21CBDD9E2C Time : 946.0 sec. user=vaughan [2010-06-13 13:12:39] 529*2^829253-1 is not prime. Res64: EE4D2C10C5EE682F Time : 705.0 sec. user=vaughan [2010-06-13 13:13:19] 593*2^829244-1 is not prime. Res64: 2618661604175141 Time : 2627.0 sec. user=vaughan [2010-06-13 13:13:25] 519*2^829252-1 is not prime. Res64: 6795D872B461F4C3 Time : 946.0 sec. user=vaughan [2010-06-13 13:15:20] 429*2^829251-1 is not prime. Res64: E6153D058AE84F12 Time : 1340.0 sec. user=vaughan [2010-06-13 13:15:38] 559*2^829253-1 is not prime. Res64: 85D56ACC5E71BEDE Time : 710.0 sec. user=vaughan [2010-06-13 13:16:13] 569*2^829252-1 is not prime. Res64: 40136C3B5E3C2922 Time : 1044.0 sec. user=vaughan [2010-06-13 13:16:40] 475*2^829253-1 is not prime. Res64: F2EBDBC4664DC59A Time : 1038.0 sec. user=vaughan [2010-06-13 13:16:48] 501*2^829230-1 is not prime. Res64: 6226182FCEC8DD53 Time : 5069.0 sec. user=vaughan [2010-06-13 13:17:25] 501*2^829250-1 is not prime. Res64: 2B1A1BED2024DD38 Time : 1869.0 sec. user=vaughan [2010-06-13 13:18:05] 453*2^829251-1 is not prime. Res64: D94F89D60E950B46 Time : 1372.0 sec. user=vaughan [2010-06-13 13:19:16] 597*2^829249-1 is not prime. Res64: E96103DB61F183A5 Time : 2010.0 sec. user=vaughan [2010-06-13 13:19:16] 483*2^829254-1 is not prime. Res64: E8D6AA00AE9771A1 Time : 709.0 sec. user=vaughan [2010-06-13 13:20:50] 431*2^829254-1 is not prime. Res64: 6A41DBE89B3D0144 Time : 946.0 sec. user=vaughan [2010-06-13 13:22:41] 435*2^829252-1 is not prime. Res64: E3038C6F059B9318 Time : 1507.0 sec. user=vaughan [2010-06-13 13:24:25] 567*2^829254-1 is not prime. Res64: 97DDFB4DC1E28416 Time : 706.0 sec. user=vaughan [2010-06-13 13:27:01] 519*2^829253-1 is not prime. Res64: 828ED8DB7DEBFC39 Time : 1613.0 sec. user=vaughan [2010-06-13 13:27:28] 553*2^829255-1 is not prime. Res64: 6101C0DC2323F9D9 Time : 710.0 sec. user=vaughan [2010-06-13 13:28:07] 503*2^829254-1 is not prime. Res64: C7702302EC632F59 Time : 946.0 sec. user=vaughan [2010-06-13 13:29:10] 511*2^829255-1 is not prime. Res64: 7D6612F44B0A009C Time : 946.0 sec. user=Flatlander [2010-06-13 13:29:40] 577*2^829233-1 is not prime. Res64: 02B3D782BD1EDA83 Time : 5278.0 sec. user=Flatlander [2010-06-13 13:29:41] 483*2^829234-1 is not prime. Res64: 94B74065133269D2 Time : 5278.0 sec. user=Flatlander [2010-06-13 13:29:41] 495*2^829234-1 is not prime. Res64: E1CCE3417BBA2FAC Time : 5277.0 sec. user=Flatlander [2010-06-13 13:29:42] 525*2^829234-1 is not prime. Res64: EB10D76E5D637984 Time : 5277.0 sec. user=Flatlander [2010-06-13 13:29:42] 567*2^829234-1 is not prime. Res64: FCEE3B99E3D06361 Time : 5275.0 sec. user=vaughan [2010-06-13 13:31:06] 557*2^829256-1 is not prime. Res64: 4F5221B68B218880 Time : 710.0 sec. user=vaughan [2010-06-13 13:33:35] 573*2^829255-1 is not prime. Res64: BE866CEAEC4C155F Time : 1042.0 sec. user=vaughan [2010-06-13 13:33:52] 413*2^829256-1 is not prime. Res64: FF08703C449462B0 Time : 1032.0 sec. user=vaughan [2010-06-13 13:34:14] 433*2^829251-1 is not prime. Res64: 52398003D6FEDEF6 Time : 2467.0 sec. user=vaughan [2010-06-13 13:35:09] 547*2^829253-1 is not prime. Res64: 309FB4A862CB32DC Time : 2048.0 sec. user=vaughan [2010-06-13 13:36:12] 405*2^829257-1 is not prime. Res64: CF1C017C79924FB2 Time : 707.0 sec. user=vaughan [2010-06-13 13:36:36] 563*2^829256-1 is not prime. Res64: 7C7DCED18E851AB3 Time : 946.0 sec. user=vaughan [2010-06-13 13:37:23] 535*2^829255-1 is not prime. Res64: 179E6ECFB44624D1 Time : 1324.0 sec. user=vaughan [2010-06-13 13:39:17] 441*2^829257-1 is not prime. Res64: BA2594D2F8EE5C53 Time : 709.0 sec. user=vaughan [2010-06-13 13:41:12] 507*2^829256-1 is not prime. Res64: B0204DE4420BD9D1 Time : 1387.0 sec. user=vaughan [2010-06-13 13:42:55] 465*2^829259-1 is not prime. Res64: 9DF1D5837D06D3F0 Time : 710.0 sec. user=vaughan [2010-06-13 13:43:53] 501*2^829257-1 is not prime. Res64: 242D3502F5B04366 Time : 946.0 sec. user=vaughan [2010-06-13 13:44:55] 579*2^829257-1 is not prime. Res64: 7BD793EF9BD9386B Time : 945.0 sec. user=vaughan [2010-06-13 13:47:36] 593*2^829256-1 is not prime. Res64: 57F5AD2CFB0864C1 Time : 1495.0 sec. user=vaughan [2010-06-13 13:47:58] 579*2^829259-1 is not prime. Res64: DCD7B00E733AA499 Time : 706.0 sec. user=vaughan [2010-06-13 13:48:04] 465*2^829254-1 is not prime. Res64: 44FFB0D966269699 Time : 2480.0 sec. user=Flatlander [2010-06-13 13:49:00] 521*2^829226-1 is not prime. Res64: 42350F8ED5FAE019 Time : 8013.0 sec. user=Flatlander [2010-06-13 13:49:00] 545*2^829226-1 is not prime. Res64: 287FD0D0F7B4CD72 Time : 8013.0 sec. user=Flatlander [2010-06-13 13:49:01] 551*2^829226-1 is not prime. Res64: AE34BE09A4604755 Time : 8014.0 sec. user=vaughan [2010-06-13 13:49:01] 503*2^829256-1 is not prime. Res64: ABD93745C135FD2B Time : 1896.0 sec. user=Flatlander [2010-06-13 13:49:02] 573*2^829226-1 is not prime. Res64: 66DC1DD517F6C918 Time : 8014.0 sec. user=Flatlander [2010-06-13 13:49:03] 593*2^829226-1 is not prime. Res64: E76937D031099A2B Time : 8015.0 sec. user=vaughan [2010-06-13 13:50:57] 505*2^829259-1 is not prime. Res64: D3C22135026823ED Time : 1042.0 sec. user=vaughan [2010-06-13 13:51:06] 597*2^829260-1 is not prime. Res64: 7B81DDB90EB5E0F4 Time : 709.0 sec. user=vaughan [2010-06-13 13:51:07] 523*2^829259-1 is not prime. Res64: 1E667C7312E5BB49 Time : 1035.0 sec. user=vaughan [2010-06-13 13:52:22] 447*2^829260-1 is not prime. Res64: 6EC6E3F18EE77A3E Time : 946.0 sec. user=vaughan [2010-06-13 13:53:28] 593*2^829254-1 is not prime. Res64: 781B58A99C8B4891 Time : 2409.0 sec. user=vaughan [2010-06-13 13:54:07] 439*2^829257-1 is not prime. Res64: 723BD2ACD345CE4D Time : 1627.0 sec. user=vaughan [2010-06-13 13:54:44] 531*2^829261-1 is not prime. Res64: 051916FFB9C1B398 Time : 710.0 sec. user=vaughan [2010-06-13 13:59:39] 447*2^829262-1 is not prime. Res64: 472894142E4A8CE9 Time : 946.0 sec. user=vaughan [2010-06-13 13:59:43] 557*2^829260-1 is not prime. Res64: 9AE5984DE8C34272 Time : 1341.0 sec. user=vaughan [2010-06-13 13:59:43] 587*2^829262-1 is not prime. Res64: 8FDFDA2923A6FB5E Time : 705.0 sec. user=vaughan [2010-06-13 14:00:41] 477*2^829262-1 is not prime. Res64: C9248730FBCA7FD9 Time : 946.0 sec. user=vaughan [2010-06-13 14:00:41] 515*2^829256-1 is not prime. Res64: 523DF013ADD556BC Time : 2485.0 sec. user=vaughan [2010-06-13 14:02:56] 485*2^829264-1 is not prime. Res64: 95FFCBA7031345E5 Time : 710.0 sec. user=vaughan [2010-06-13 14:04:12] 429*2^829261-1 is not prime. Res64: 2E86E037AD13E0AE Time : 1381.0 sec. user=vaughan [2010-06-13 14:06:33] 561*2^829265-1 is not prime. Res64: 335290AFEF489CC8 Time : 709.0 sec. user=vaughan [2010-06-13 14:08:08] 465*2^829265-1 is not prime. Res64: EFD6799F372A084F Time : 946.0 sec. user=vaughan [2010-06-13 14:08:18] 479*2^829264-1 is not prime. Res64: 4341BEB1A1A64D17 Time : 1041.0 sec. user=vaughan [2010-06-13 14:08:22] 549*2^829264-1 is not prime. Res64: F99B23179E3B8B33 Time : 1035.0 sec. user=vaughan [2010-06-13 14:09:45] 571*2^829259-1 is not prime. Res64: A4F68CF9A2C8194E Time : 2076.0 sec. user=vaughan [2010-06-13 14:11:04] 517*2^829253-1 is not prime. Res64: 9FC7B788E58D513B Time : 4285.0 sec. user=vaughan [2010-06-13 14:11:28] 513*2^829266-1 is not prime. Res64: 5065824BE807CB0F Time : 705.0 sec. user=vaughan [2010-06-13 14:12:33] 567*2^829262-1 is not prime. Res64: 490ACDA41CB13B82 Time : 1498.0 sec. user=vaughan [2010-06-13 14:14:34] 565*2^829259-1 is not prime. Res64: 8CD4C6F0EBD0C12C Time : 2420.0 sec. user=vaughan [2010-06-13 14:14:45] 489*2^829267-1 is not prime. Res64: F72F3F379A3A0FC2 Time : 710.0 sec. user=vaughan [2010-06-13 14:15:25] 589*2^829265-1 is not prime. Res64: BD0043399E5440FE Time : 946.0 sec. user=vaughan [2010-06-13 14:16:27] 527*2^829266-1 is not prime. Res64: 5E45D3DF49F3701E Time : 946.0 sec. user=vaughan [2010-06-13 14:18:22] 595*2^829267-1 is not prime. Res64: 482414C144C57832 Time : 709.0 sec. user=vaughan [2010-06-13 14:19:47] 489*2^829263-1 is not prime. Res64: B20C8C4D8A104EE8 Time : 1846.0 sec. user=Flatlander [2010-06-13 14:19:55] 489*2^829239-1 is not prime. Res64: 9B47D5E6E04F089C Time : 7474.0 sec. user=Flatlander [2010-06-13 14:19:56] 543*2^829239-1 is not prime. Res64: 5D03AC57C03A9DF8 Time : 7475.0 sec. user=Flatlander [2010-06-13 14:19:57] 579*2^829239-1 is not prime. Res64: D5C5AEAC663999B6 Time : 7476.0 sec. user=Flatlander [2010-06-13 14:19:57] 465*2^829240-1 is not prime. Res64: 41A4D0CB1EE97F8D Time : 7475.0 sec. user=Flatlander [2010-06-13 14:19:58] 519*2^829240-1 is not prime. Res64: 19F76B5A3DD78B92 Time : 7476.0 sec. user=vaughan [2010-06-13 14:20:30] 591*2^829262-1 is not prime. Res64: 3945A525EAC763DB Time : 1946.0 sec. user=vaughan [2010-06-13 14:21:47] 529*2^829265-1 is not prime. Res64: BFCA1A27845F165D Time : 1660.0 sec. user=vaughan [2010-06-13 14:22:09] 591*2^829265-1 is not prime. Res64: 6613DF773FE1AF39 Time : 1347.0 sec. user=vaughan [2010-06-13 14:23:14] 573*2^829271-1 is not prime. Res64: 74610D2569C3430B Time : 706.0 sec. user=vaughan [2010-06-13 14:23:53] 479*2^829268-1 is not prime. Res64: D6C65178C64476DB Time : 946.0 sec. user=vaughan [2010-06-13 14:25:37] 555*2^829269-1 is not prime. Res64: A857F776005C1E48 Time : 1035.0 sec. user=vaughan [2010-06-13 14:25:38] 537*2^829269-1 is not prime. Res64: CC7C5EA9D9A5E597 Time : 1040.0 sec. user=vaughan [2010-06-13 14:26:34] 459*2^829272-1 is not prime. Res64: A2CA6853B06EEF7A Time : 709.0 sec. user=vaughan [2010-06-13 14:27:16] 573*2^829267-1 is not prime. Res64: C9EEED95E50607F5 Time : 1384.0 sec. user=vaughan [2010-06-13 14:30:12] 563*2^829272-1 is not prime. Res64: 9E5BA01B73AB7CAA Time : 710.0 sec. user=vaughan [2010-06-13 14:31:12] 525*2^829272-1 is not prime. Res64: 6F06B5B0CB48401F Time : 947.0 sec. user=vaughan [2010-06-13 14:32:12] 537*2^829272-1 is not prime. Res64: B5C92E28DC0E9D70 Time : 946.0 sec. user=vaughan [2010-06-13 14:33:06] 477*2^829265-1 is not prime. Res64: C4E2C01398841243 Time : 2378.0 sec. user=vaughan [2010-06-13 14:34:14] 593*2^829266-1 is not prime. Res64: 076FD3D9BBB07F1C Time : 2013.0 sec. user=vaughan [2010-06-13 14:34:59] 429*2^829275-1 is not prime. Res64: 6A77B10D5AAEA3F9 Time : 706.0 sec. user=vaughan [2010-06-13 14:36:50] 585*2^829271-1 is not prime. Res64: 9E51FD6CA05B87AC Time : 1457.0 sec. user=vaughan [2010-06-13 14:38:23] 405*2^829276-1 is not prime. Res64: 235B95473077FC89 Time : 709.0 sec. user=vaughan [2010-06-13 14:39:39] 441*2^829275-1 is not prime. Res64: 81DB3F4089570FC5 Time : 946.0 sec. user=vaughan [2010-06-13 14:40:34] 449*2^829256-1 is not prime. Res64: 2AA1FDDA5A2669A2 Time : 5026.0 sec. user=vaughan [2010-06-13 14:42:01] 519*2^829276-1 is not prime. Res64: 786604544D9A9BE7 Time : 710.0 sec. user=vaughan [2010-06-13 14:42:46] 535*2^829275-1 is not prime. Res64: DA95DAFB9481A149 Time : 1030.0 sec. user=vaughan [2010-06-13 14:43:01] 543*2^829275-1 is not prime. Res64: 4370F97951C99967 Time : 1043.0 sec. user=vaughan [2010-06-13 14:44:09] 571*2^829269-1 is not prime. Res64: 35409C2C7323577B Time : 2065.0 sec. user=vaughan [2010-06-13 14:44:22] 405*2^829275-1 is not prime. Res64: BA11924F802F1A2A Time : 1334.0 sec. user=vaughan [2010-06-13 14:46:44] 417*2^829277-1 is not prime. Res64: 5144D532C56ED5ED Time : 706.0 sec. user=vaughan [2010-06-13 14:46:58] 527*2^829276-1 is not prime. Res64: 3A64C2B1E6617EFB Time : 946.0 sec. user=vaughan [2010-06-13 14:47:59] 563*2^829276-1 is not prime. Res64: 08E34466EE934422 Time : 947.0 sec. user=vaughan [2010-06-13 14:49:39] 587*2^829274-1 is not prime. Res64: 4F591DC4649BDD80 Time : 1672.0 sec. user=vaughan [2010-06-13 14:50:13] 517*2^829277-1 is not prime. Res64: 3D123E0AABBBCD09 Time : 710.0 sec. user=vaughan [2010-06-13 14:50:21] 413*2^829276-1 is not prime. Res64: 1AC9C680AB1FF02C Time : 1385.0 sec. user=vaughan [2010-06-13 14:50:57] 587*2^829272-1 is not prime. Res64: 04BA6DC1F9DD1CBE Time : 1871.0 sec. user=vaughan [2010-06-13 14:53:50] 401*2^829278-1 is not prime. Res64: E8859273A0B77DAE Time : 709.0 sec. user=vaughan [2010-06-13 14:54:03] 405*2^829272-1 is not prime. Res64: CFD58A063805E6FC Time : 2369.0 sec. user=vaughan [2010-06-13 14:54:16] 533*2^829274-1 is not prime. Res64: F8235C9981C23B30 Time : 2027.0 sec. user=vaughan [2010-06-13 14:55:25] 549*2^829277-1 is not prime. Res64: 7A6B56683F311A28 Time : 946.0 sec. user=vaughan [2010-06-13 14:58:29] 589*2^829279-1 is not prime. Res64: C8CE4745C220607C Time : 705.0 sec. user=vaughan [2010-06-13 15:01:47] 475*2^829277-1 is not prime. Res64: 757429F7419EF83E Time : 1497.0 sec. user=vaughan [2010-06-13 15:02:02] 557*2^829280-1 is not prime. Res64: 9790F016DB2EB5CE Time : 710.0 sec. user=vaughan [2010-06-13 15:02:45] 437*2^829280-1 is not prime. Res64: DC9B414F94EFF224 Time : 947.0 sec. user=vaughan [2010-06-13 15:03:40] 513*2^829278-1 is not prime. Res64: 1D642AF6A7E818CF Time : 1239.0 sec. user=vaughan [2010-06-13 15:03:44] 447*2^829280-1 is not prime. Res64: 3BAB3293AD561EAF Time : 946.0 sec. user=vaughan [2010-06-13 15:04:08] 461*2^829278-1 is not prime. Res64: 1046FA39A6DC480A Time : 1282.0 sec. user=vaughan [2010-06-13 15:05:38] 517*2^829281-1 is not prime. Res64: DA9AAB12DE7630DE Time : 708.0 sec. user=vaughan [2010-06-13 15:06:43] 583*2^829279-1 is not prime. Res64: 76DF11A772CAEF2C Time : 1342.0 sec. user=vaughan [2010-06-13 15:09:08] 587*2^829276-1 is not prime. Res64: 104B2622529E8306 Time : 2094.0 sec. user=vaughan [2010-06-13 15:10:14] 477*2^829282-1 is not prime. Res64: EAB2451A0EFC48F0 Time : 705.0 sec. user=vaughan [2010-06-13 15:11:11] 435*2^829282-1 is not prime. Res64: 8E5D92FDCA0B67DE Time : 946.0 sec. user=vaughan [2010-06-13 15:13:22] 465*2^829281-1 is not prime. Res64: B1E82C08E70CBBB1 Time : 1381.0 sec. user=vaughan [2010-06-13 15:13:38] 579*2^829276-1 is not prime. Res64: 8493CBF9B34133CC Time : 2432.0 sec. user=vaughan [2010-06-13 15:13:51] 533*2^829282-1 is not prime. Res64: FB790D7624360CE3 Time : 709.0 sec. user=vaughan [2010-06-13 15:17:27] 489*2^829283-1 is not prime. Res64: D5CBFFFE005487CC Time : 709.0 sec. user=vaughan [2010-06-13 15:17:28] 525*2^829279-1 is not prime. Res64: 17CDFC39D7964E61 Time : 1999.0 sec. user=vaughan [2010-06-13 15:17:32] 543*2^829280-1 is not prime. Res64: 13B46C5102BBECD0 Time : 1673.0 sec. user=vaughan [2010-06-13 15:18:31] 411*2^829283-1 is not prime. Res64: 9CF27A6950695989 Time : 947.0 sec. user=vaughan [2010-06-13 15:19:30] 451*2^829283-1 is not prime. Res64: 5FF70D88A62D7DB5 Time : 946.0 sec. user=vaughan [2010-06-13 15:21:27] 441*2^829283-1 is not prime. Res64: 4B5EE8B87664C250 Time : 1067.0 sec. user=Flatlander [2010-06-13 15:21:31] 423*2^829258-1 is not prime. Res64: F5F5FBEA12E53398 Time : 6708.0 sec. user=Flatlander [2010-06-13 15:21:32] 471*2^829258-1 is not prime. Res64: 3F5E50EA68D14BAB Time : 6707.0 sec. user=Flatlander [2010-06-13 15:21:32] 503*2^829258-1 is not prime. Res64: 6F2F5920D66D66F3 Time : 6706.0 sec. user=Flatlander [2010-06-13 15:21:33] 513*2^829258-1 is not prime. Res64: 31C5A200A0EBAB66 Time : 6706.0 sec. user=Flatlander [2010-06-13 15:21:34] 545*2^829258-1 is not prime. Res64: E036835325928FEC Time : 6706.0 sec. user=vaughan [2010-06-13 15:21:35] 475*2^829281-1 is not prime. Res64: 52D855274191C402 Time : 1839.0 sec. user=vaughan [2010-06-13 15:21:45] 475*2^829283-1 is not prime. Res64: 7550380E1FBA9EC5 Time : 1057.0 sec. user=vaughan [2010-06-13 15:22:00] 497*2^829284-1 is not prime. Res64: DBE9A1F9C4FD535F Time : 706.0 sec. user=vaughan [2010-06-13 15:22:21] 403*2^829271-1 is not prime. Res64: 75DC7D73A181A78A Time : 4278.0 sec. user=vaughan [2010-06-13 15:25:40] 481*2^829285-1 is not prime. Res64: 34FDFD4BBBF197DA Time : 709.0 sec. user=vaughan [2010-06-13 15:26:09] 495*2^829282-1 is not prime. Res64: 40C83CF1BD514C02 Time : 1463.0 sec. user=vaughan [2010-06-13 15:26:45] 401*2^829282-1 is not prime. Res64: 047D5D5261B72D79 Time : 1949.0 sec. user=vaughan [2010-06-13 15:26:56] 585*2^829284-1 is not prime. Res64: 0A38CE58152D1339 Time : 945.0 sec. user=vaughan [2010-06-13 15:28:52] 501*2^829283-1 is not prime. Res64: E5BFAB9A4898A16D Time : 1330.0 sec. user=vaughan [2010-06-13 15:29:17] 507*2^829285-1 is not prime. Res64: 1506A5371772BF89 Time : 710.0 sec. user=vaughan [2010-06-13 15:33:46] 429*2^829288-1 is not prime. Res64: E35E712942D36777 Time : 706.0 sec. user=vaughan [2010-06-13 15:33:59] 571*2^829281-1 is not prime. Res64: C345ACA04CD8D68E Time : 2396.0 sec. user=vaughan [2010-06-13 15:34:18] 597*2^829285-1 is not prime. Res64: 29D6A83D054C440C Time : 947.0 sec. user=vaughan [2010-06-13 15:35:16] 417*2^829286-1 is not prime. Res64: 575FE5B92B53F0D1 Time : 946.0 sec. user=vaughan [2010-06-13 15:36:36] 427*2^829285-1 is not prime. Res64: FCB3CED142FA9575 Time : 1394.0 sec. user=vaughan [2010-06-13 15:37:30] 481*2^829289-1 is not prime. Res64: E104D6F3C046EC67 Time : 710.0 sec. user=vaughan [2010-06-13 15:38:46] 437*2^829286-1 is not prime. Res64: 21FBB6004A2CD1D7 Time : 1039.0 sec. user=vaughan [2010-06-13 15:38:59] 419*2^829288-1 is not prime. Res64: 075A5BA1D7CEE707 Time : 1035.0 sec. user=Flatlander [2010-06-13 15:40:47] 493*2^829263-1 is not prime. Res64: 2D870A6E772BD94E Time : 6703.0 sec. user=Flatlander [2010-06-13 15:40:48] 523*2^829263-1 is not prime. Res64: FC6D97CC120DAF83 Time : 6702.0 sec. user=Flatlander [2010-06-13 15:40:48] 549*2^829263-1 is not prime. Res64: EB85CE2A7C981699 Time : 6700.0 sec. user=Flatlander [2010-06-13 15:40:49] 573*2^829263-1 is not prime. Res64: BF3A5FA7F48B519C Time : 6700.0 sec. user=Flatlander [2010-06-13 15:40:50] 585*2^829263-1 is not prime. Res64: C7D348758441015C Time : 6699.0 sec. user=vaughan [2010-06-13 15:41:06] 405*2^829292-1 is not prime. Res64: 0619B14A459FEB86 Time : 710.0 sec. user=vaughan [2010-06-13 15:42:43] 451*2^829291-1 is not prime. Res64: B1BFDBB4A961FF64 Time : 947.0 sec. user=vaughan [2010-06-13 15:43:23] 465*2^829284-1 is not prime. Res64: A6CF63A0B681ECF5 Time : 2055.0 sec. user=vaughan [2010-06-13 15:45:32] 477*2^829292-1 is not prime. Res64: F72B7C0DC9002C7A Time : 706.0 sec. user=vaughan [2010-06-13 15:46:24] 567*2^829285-1 is not prime. Res64: D2A72A1AD083DEA0 Time : 1733.0 sec. user=vaughan [2010-06-13 15:47:56] 437*2^829290-1 is not prime. Res64: 3156C901106391BE Time : 1307.0 sec. user=vaughan [2010-06-13 15:49:19] 403*2^829295-1 is not prime. Res64: 04916EBA4E6089B7 Time : 710.0 sec. user=vaughan [2010-06-13 15:50:02] 451*2^829285-1 is not prime. Res64: 66F2B613438FEAAF Time : 2184.0 sec. user=vaughan [2010-06-13 15:50:04] 499*2^829293-1 is not prime. Res64: F04D6A7B4F3C84A0 Time : 947.0 sec. user=vaughan [2010-06-13 15:50:15] 555*2^829285-1 is not prime. Res64: C3C7A74B6B9EBD97 Time : 1967.0 sec. user=vaughan [2010-06-13 15:51:02] 595*2^829293-1 is not prime. Res64: E41C051A8A43A0B0 Time : 946.0 sec. user=vaughan [2010-06-13 15:51:10] 531*2^829291-1 is not prime. Res64: 610437DB4BE025CE Time : 1339.0 sec. user=vaughan [2010-06-13 15:51:51] 455*2^829286-1 is not prime. Res64: DBC164F57C59536C Time : 1817.0 sec. user=vaughan [2010-06-13 15:52:55] 537*2^829296-1 is not prime. Res64: FB923738B9EE9E44 Time : 709.0 sec. user=vaughan [2010-06-13 15:56:05] 423*2^829295-1 is not prime. Res64: A9EEE2BEA0135587 Time : 1039.0 sec. user=vaughan [2010-06-13 15:56:12] 453*2^829295-1 is not prime. Res64: 7D811BE3E0428DE2 Time : 1033.0 sec. user=vaughan [2010-06-13 15:57:17] 427*2^829297-1 is not prime. Res64: 2A362AD84E0B07B2 Time : 705.0 sec. user=vaughan [2010-06-13 15:58:29] 587*2^829296-1 is not prime. Res64: 76AE5B1EF4439272 Time : 946.0 sec. user=vaughan [2010-06-13 15:59:46] 477*2^829294-1 is not prime. Res64: F3EAA84DA8F167B1 Time : 1391.0 sec. user=vaughan [2010-06-13 16:00:59] 513*2^829290-1 is not prime. Res64: 6628FA88B2E48EB1 Time : 2054.0 sec. user=vaughan [2010-06-13 16:01:09] 549*2^829297-1 is not prime. Res64: 607AF4129D397AD2 Time : 710.0 sec. user=Flatlander [2010-06-13 16:03:04] 411*2^829274-1 is not prime. Res64: CA012753E4C6E4FD Time : 6184.0 sec. user=Flatlander [2010-06-13 16:03:05] 437*2^829274-1 is not prime. Res64: D11F3C8E8874C10C Time : 6184.0 sec. user=Flatlander [2010-06-13 16:03:05] 447*2^829274-1 is not prime. Res64: D254EEFC1CEABFDE Time : 6182.0 sec. user=Flatlander [2010-06-13 16:03:06] 473*2^829274-1 is not prime. Res64: AF97753D5D5856D6 Time : 6181.0 sec. user=Flatlander [2010-06-13 16:03:07] 521*2^829274-1 is not prime. Res64: 8429D840D7A601AF Time : 6181.0 sec. user=vaughan [2010-06-13 16:04:35] 567*2^829277-1 is not prime. Res64: 89FC03731D175F48 Time : 5041.0 sec. user=vaughan [2010-06-13 16:04:44] 495*2^829300-1 is not prime. Res64: 6C5BDD86EA829C1C Time : 709.0 sec. user=vaughan [2010-06-13 16:05:51] 415*2^829299-1 is not prime. Res64: 7D22492B4152F49B Time : 947.0 sec. user=vaughan [2010-06-13 16:06:48] 471*2^829299-1 is not prime. Res64: 291F900831F64B50 Time : 947.0 sec. user=vaughan [2010-06-13 16:07:36] 459*2^829293-1 is not prime. Res64: 5A16459E779FBE88 Time : 2017.0 sec. user=vaughan [2010-06-13 16:09:03] 405*2^829301-1 is not prime. Res64: 8F935347C5C0BE61 Time : 706.0 sec. user=vaughan [2010-06-13 16:09:28] 489*2^829297-1 is not prime. Res64: A5ACC55E6FA01CF5 Time : 1293.0 sec. user=vaughan [2010-06-13 16:12:58] 571*2^829301-1 is not prime. Res64: FD1169CA087A0540 Time : 709.0 sec. user=vaughan [2010-06-13 16:13:24] 563*2^829300-1 is not prime. Res64: FF043C502FA78866 Time : 1039.0 sec. user=vaughan [2010-06-13 16:13:27] 569*2^829300-1 is not prime. Res64: 198CD8CBC269494D Time : 1035.0 sec. user=vaughan [2010-06-13 16:13:35] 493*2^829299-1 is not prime. Res64: 709F1C5C217DF9B5 Time : 1346.0 sec. user=vaughan [2010-06-13 16:14:16] 465*2^829301-1 is not prime. Res64: F448AB7ACBE2AE55 Time : 947.0 sec. user=vaughan [2010-06-13 16:15:31] 441*2^829297-1 is not prime. Res64: 94A4FC6EAE54AA74 Time : 1747.0 sec. user=vaughan [2010-06-13 16:15:46] 421*2^829297-1 is not prime. Res64: 1A84D5A85FC60FFD Time : 1943.0 sec. user=vaughan [2010-06-13 16:16:34] 549*2^829303-1 is not prime. Res64: 89EF704A2ADD42C5 Time : 710.0 sec. user=vaughan [2010-06-13 16:20:48] 597*2^829305-1 is not prime. Res64: 6E4D13EF0C8FE543 Time : 705.0 sec. user=vaughan [2010-06-13 16:21:37] 507*2^829304-1 is not prime. Res64: 1AB5288570726BCB Time : 947.0 sec. user=vaughan [2010-06-13 16:22:29] 429*2^829300-1 is not prime. Res64: 9234F32F4480550B Time : 1838.0 sec. user=vaughan [2010-06-13 16:22:35] 533*2^829304-1 is not prime. Res64: 0AC51B2C11A169F8 Time : 947.0 sec. user=vaughan [2010-06-13 16:23:00] 487*2^829301-1 is not prime. Res64: 087108C7CC611CDB Time : 1395.0 sec. user=vaughan [2010-06-13 16:23:06] 501*2^829298-1 is not prime. Res64: 325F7A10B6201CED Time : 1984.0 sec. user=vaughan [2010-06-13 16:23:51] 433*2^829299-1 is not prime. Res64: C9B8B423BF165706 Time : 2016.0 sec. user=vaughan [2010-06-13 16:24:49] 497*2^829306-1 is not prime. Res64: 90D9A1168B27DFF5 Time : 711.0 sec. user=vaughan [2010-06-13 16:28:23] 587*2^829310-1 is not prime. Res64: 7C42F143179912D1 Time : 710.0 sec. user=vaughan [2010-06-13 16:30:01] 457*2^829309-1 is not prime. Res64: 0D396B05CDABA631 Time : 945.0 sec. user=vaughan [2010-06-13 16:30:38] 479*2^829308-1 is not prime. Res64: A2691A086F93E57F Time : 1031.0 sec. user=vaughan [2010-06-13 16:30:46] 423*2^829308-1 is not prime. Res64: 8DF6EFA06EC62BAA Time : 1042.0 sec. user=vaughan [2010-06-13 16:30:47] 425*2^829306-1 is not prime. Res64: 3DB9D64EEAE88B39 Time : 1280.0 sec. user=vaughan [2010-06-13 16:32:35] 593*2^829310-1 is not prime. Res64: C378E06E92800C57 Time : 707.0 sec. user=vaughan [2010-06-13 16:34:17] 519*2^829301-1 is not prime. Res64: 4B3BECD1B3654A87 Time : 1999.0 sec. user=vaughan [2010-06-13 16:35:38] 441*2^829309-1 is not prime. Res64: D27E866224735B73 Time : 1323.0 sec. user=vaughan [2010-06-13 16:36:38] 413*2^829312-1 is not prime. Res64: 485CDA3922827F43 Time : 710.0 sec. user=vaughan [2010-06-13 16:37:24] 403*2^829311-1 is not prime. Res64: 58391E7E030DC9A4 Time : 947.0 sec. user=vaughan [2010-06-13 16:38:21] 453*2^829311-1 is not prime. Res64: 85CDEDE96D562150 Time : 947.0 sec. user=vaughan [2010-06-13 16:39:09] 525*2^829288-1 is not prime. Res64: 2E3CF7C3DFFA1152 Time : 4608.0 sec. user=vaughan [2010-06-13 16:40:12] 489*2^829312-1 is not prime. Res64: 04BD5ABA58D6DAAC Time : 710.0 sec. user=vaughan [2010-06-13 16:40:40] 475*2^829305-1 is not prime. Res64: 928CDC85A24755BA Time : 1984.0 sec. user=vaughan [2010-06-13 16:44:16] 511*2^829309-1 is not prime. Res64: 274BD37508789632 Time : 1725.0 sec. user=vaughan [2010-06-13 16:44:21] 447*2^829314-1 is not prime. Res64: 4ECF383BB5855802 Time : 707.0 sec. user=vaughan [2010-06-13 16:45:47] 465*2^829313-1 is not prime. Res64: 89EA3768967F86A1 Time : 946.0 sec. user=vaughan [2010-06-13 16:46:18] 535*2^829311-1 is not prime. Res64: 293D064A9C10E883 Time : 1399.0 sec. user=vaughan [2010-06-13 16:47:52] 549*2^829313-1 is not prime. Res64: 23EAD37EA746E92F Time : 1034.0 sec. user=vaughan [2010-06-13 16:48:05] 585*2^829313-1 is not prime. Res64: EE46FA786055837F Time : 1039.0 sec. user=vaughan [2010-06-13 16:48:28] 513*2^829314-1 is not prime. Res64: 59A3B0410ED9E936 Time : 711.0 sec. user=vaughan [2010-06-13 16:49:40] 537*2^829310-1 is not prime. Res64: E66F45E8238B19D2 Time : 2035.0 sec. user=vaughan [2010-06-13 16:52:01] 585*2^829316-1 is not prime. Res64: 540571ACC21FABE0 Time : 709.0 sec. user=vaughan [2010-06-13 16:52:07] 411*2^829314-1 is not prime. Res64: 6F5FD948EC218030 Time : 1280.0 sec. user=vaughan [2010-06-13 16:53:10] 519*2^829315-1 is not prime. Res64: E798124D4E57D9D5 Time : 947.0 sec. user=vaughan [2010-06-13 16:53:15] 411*2^829311-1 is not prime. Res64: 9C0096D4E6AE08CB Time : 1846.0 sec. user=vaughan [2010-06-13 16:54:07] 425*2^829316-1 is not prime. Res64: 52BC497415450511 Time : 946.0 sec. user=vaughan [2010-06-13 16:56:06] 559*2^829317-1 is not prime. Res64: 30D54254E42E1B8E Time : 705.0 sec. user=vaughan [2010-06-13 16:56:08] 541*2^829311-1 is not prime. Res64: 7A0E0D3C4B484780 Time : 1982.0 sec. user=vaughan [2010-06-13 16:56:41] 571*2^829311-1 is not prime. Res64: 815E264E2BAA501D Time : 1970.0 sec. user=vaughan [2010-06-13 16:57:42] 507*2^829314-1 is not prime. Res64: D05C5F2A049081C8 Time : 1324.0 sec. user=vaughan [2010-06-13 17:00:17] 591*2^829318-1 is not prime. Res64: 72740D8D8DF4061D Time : 709.0 sec. user=vaughan [2010-06-13 17:01:33] 401*2^829318-1 is not prime. Res64: 90045DFE644A96E6 Time : 946.0 sec. user=vaughan [2010-06-13 17:03:51] 433*2^829319-1 is not prime. Res64: 238B53F1ABF9D170 Time : 710.0 sec. user=vaughan [2010-06-13 17:05:06] 573*2^829318-1 is not prime. Res64: A0C9BA1C2B9E7128 Time : 1034.0 sec. user=vaughan [2010-06-13 17:05:25] 581*2^829318-1 is not prime. Res64: 9C0A32232E196F11 Time : 1040.0 sec. user=vaughan [2010-06-13 17:07:51] 405*2^829320-1 is not prime. Res64: A041E6928F25EF9D Time : 705.0 sec. user=vaughan [2010-06-13 17:08:57] 493*2^829319-1 is not prime. Res64: B8B9EE32D0BD0BC3 Time : 947.0 sec. user=vaughan [2010-06-13 17:09:30] 435*2^829318-1 is not prime. Res64: 1BB7149065C17638 Time : 1392.0 sec. user=vaughan [2010-06-13 17:09:53] 559*2^829319-1 is not prime. Res64: F9A3D8D465F75564 Time : 947.0 sec. user=vaughan [2010-06-13 17:10:05] 485*2^829314-1 is not prime. Res64: 7AED13A94E5380A9 Time : 2148.0 sec. user=vaughan [2010-06-13 17:12:06] 507*2^829321-1 is not prime. Res64: 6732DD48FB3A41CB Time : 709.0 sec. user=vaughan [2010-06-13 17:13:07] 471*2^829317-1 is not prime. Res64: A95462D8262E4AA1 Time : 1731.0 sec. user=vaughan [2010-06-13 17:13:31] 481*2^829319-1 is not prime. Res64: 918A7ECA8E352165 Time : 1284.0 sec. user=vaughan [2010-06-13 17:13:38] 593*2^829316-1 is not prime. Res64: 7F43869E21D28494 Time : 1978.0 sec. user=vaughan [2010-06-13 17:15:40] 577*2^829321-1 is not prime. Res64: 993030A44B96E33F Time : 710.0 sec. user=vaughan [2010-06-13 17:17:19] 555*2^829321-1 is not prime. Res64: B684CCF02CBB30C4 Time : 946.0 sec. user=vaughan [2010-06-13 17:19:37] 429*2^829323-1 is not prime. Res64: 5325A5762E4CABEC Time : 706.0 sec. user=vaughan [2010-06-13 17:20:00] 499*2^829321-1 is not prime. Res64: 9B0172F8130F5BA9 Time : 1338.0 sec. user=vaughan [2010-06-13 17:22:17] 411*2^829319-1 is not prime. Res64: ADB296D01209D36B Time : 1957.0 sec. user=vaughan [2010-06-13 17:22:20] 537*2^829322-1 is not prime. Res64: 3635E034C7B57886 Time : 1034.0 sec. user=vaughan [2010-06-13 17:22:44] 593*2^829322-1 is not prime. Res64: 5D427BAB19BFFE69 Time : 1039.0 sec. user=vaughan [2010-06-13 17:23:56] 483*2^829324-1 is not prime. Res64: 9564DD36DF9E45A7 Time : 710.0 sec. user=vaughan [2010-06-13 17:24:05] 501*2^829319-1 is not prime. Res64: 5185809972B5574D Time : 1850.0 sec. user=vaughan [2010-06-13 17:24:42] 481*2^829323-1 is not prime. Res64: 38C2F29437F2D28F Time : 946.0 sec. user=vaughan [2010-06-13 17:25:39] 565*2^829323-1 is not prime. Res64: E07F324B0D22FEFC Time : 946.0 sec. user=vaughan [2010-06-13 17:27:29] 441*2^829325-1 is not prime. Res64: 702777639CA6D9A2 Time : 709.0 sec. user=vaughan [2010-06-13 17:27:37] 569*2^829320-1 is not prime. Res64: 1A54AEAEFAA3F469 Time : 1889.0 sec. user=vaughan [2010-06-13 17:28:31] 499*2^829303-1 is not prime. Res64: A68179BD8B2EFE3B Time : 5036.0 sec. user=vaughan [2010-06-13 17:30:27] 415*2^829321-1 is not prime. Res64: C3F6B1DD4F6FB8CE Time : 2027.0 sec. user=vaughan [2010-06-13 17:31:22] 469*2^829325-1 is not prime. Res64: 8555CC1DA3FBDF4E Time : 706.0 sec. user=vaughan [2010-06-13 17:32:47] 495*2^829323-1 is not prime. Res64: 737B1617F3B7E807 Time : 1397.0 sec. user=vaughan [2010-06-13 17:33:04] 459*2^829325-1 is not prime. Res64: 6BA27BBB96063C8D Time : 946.0 sec. user=vaughan [2010-06-13 17:34:06] 411*2^829325-1 is not prime. Res64: 50E46E8DFE29D1DA Time : 1235.0 sec. user=Flatlander [2010-06-13 17:34:48] 585*2^829302-1 is not prime. Res64: 1960AD668DB8FD03 Time : 5499.0 sec. user=Flatlander [2010-06-13 17:34:49] 593*2^829302-1 is not prime. Res64: 2ECC2170AAB30F6C Time : 5499.0 sec. user=Flatlander [2010-06-13 17:34:49] 441*2^829303-1 is not prime. Res64: 6F3DEBC395BBAFC7 Time : 5497.0 sec. user=Flatlander [2010-06-13 17:34:50] 453*2^829303-1 is not prime. Res64: 5E4B219BC13D12C0 Time : 5497.0 sec. user=Flatlander [2010-06-13 17:34:50] 481*2^829303-1 is not prime. Res64: A20B394843DC43F0 Time : 5495.0 sec. user=vaughan [2010-06-13 17:35:45] 513*2^829326-1 is not prime. Res64: EB7A94FABF21D763 Time : 709.0 sec. user=vaughan [2010-06-13 17:39:19] 409*2^829325-1 is not prime. Res64: 6BD8FD80AE00646A Time : 1572.0 sec. user=vaughan [2010-06-13 17:39:20] 511*2^829327-1 is not prime. Res64: 2485667E3CCCE93B Time : 711.0 sec. user=vaughan [2010-06-13 17:39:32] 431*2^829326-1 is not prime. Res64: 30541D7D9DF57FC4 Time : 1032.0 sec. user=vaughan [2010-06-13 17:40:07] 447*2^829326-1 is not prime. Res64: 6E73BB3239238AE0 Time : 1043.0 sec. user=vaughan [2010-06-13 17:40:29] 433*2^829327-1 is not prime. Res64: AE218A61380B33EE Time : 947.0 sec. user=vaughan [2010-06-13 17:40:56] 421*2^829325-1 is not prime. Res64: 64047EBA5CC03A02 Time : 1638.0 sec. user=vaughan [2010-06-13 17:41:25] 465*2^829327-1 is not prime. Res64: D104E501918E7FCD Time : 946.0 sec. user=vaughan [2010-06-13 17:42:11] 591*2^829325-1 is not prime. Res64: BDD1BAC2DB91EA7C Time : 1331.0 sec. user=vaughan [2010-06-13 17:43:10] 525*2^829328-1 is not prime. Res64: A64130DDB9ACD9DE Time : 709.0 sec. user=vaughan [2010-06-13 17:43:25] 573*2^829323-1 is not prime. Res64: 355ED28C309DFD44 Time : 2000.0 sec. user=Flatlander [2010-06-13 17:47:32] 563*2^829286-1 is not prime. Res64: 816C712E1FCC1789 Time : 8756.0 sec. user=Flatlander [2010-06-13 17:47:33] 573*2^829286-1 is not prime. Res64: AE2EFB316BCB01B8 Time : 8756.0 sec. user=Flatlander [2010-06-13 17:47:34] 451*2^829287-1 is not prime. Res64: 26360980064A8FDB Time : 8755.0 sec. user=Flatlander [2010-06-13 17:47:34] 573*2^829287-1 is not prime. Res64: 59057FA30E144C8F Time : 8754.0 sec. user=Flatlander [2010-06-13 17:47:35] 579*2^829287-1 is not prime. Res64: 6326C247A05077FF Time : 8753.0 sec. user=vaughan [2010-06-13 17:47:37] 511*2^829331-1 is not prime. Res64: 692AA82CC469A16F Time : 712.0 sec. user=vaughan [2010-06-13 17:48:50] 413*2^829330-1 is not prime. Res64: FA9E9A81790A7D26 Time : 946.0 sec. user=vaughan [2010-06-13 17:51:10] 425*2^829332-1 is not prime. Res64: 45755842DE5CFDD6 Time : 710.0 sec. user=vaughan [2010-06-13 17:52:56] 405*2^829328-1 is not prime. Res64: 750FFC2347EB6362 Time : 1519.0 sec. user=vaughan [2010-06-13 17:53:29] 521*2^829330-1 is not prime. Res64: ED45361644FAF2D8 Time : 1164.0 sec. user=vaughan [2010-06-13 17:54:55] 407*2^829334-1 is not prime. Res64: 2B443A389D61FB85 Time : 706.0 sec. user=vaughan [2010-06-13 17:55:27] 565*2^829329-1 is not prime. Res64: 78DBB5CA971FC400 Time : 1360.0 sec. user=vaughan [2010-06-13 17:55:35] 411*2^829326-1 is not prime. Res64: A44C00D78B5DF023 Time : 1998.0 sec. user=vaughan [2010-06-13 17:55:47] 587*2^829326-1 is not prime. Res64: 8B176AC4FE4C3DD9 Time : 1902.0 sec. user=vaughan [2010-06-13 17:56:15] 567*2^829332-1 is not prime. Res64: 8FAF762B28F171FE Time : 946.0 sec. user=vaughan [2010-06-13 17:56:21] 545*2^829316-1 is not prime. Res64: 64340FB39F7D794B Time : 4632.0 sec. user=vaughan [2010-06-13 17:56:54] 447*2^829332-1 is not prime. Res64: 411673C4F5ED2D38 Time : 1043.0 sec. user=vaughan [2010-06-13 17:57:10] 427*2^829333-1 is not prime. Res64: 8220D6BE18D522C0 Time : 946.0 sec. user=vaughan [2010-06-13 17:57:48] 525*2^829332-1 is not prime. Res64: F09B41EAC6FBA8B8 Time : 1061.0 sec. user=vaughan [2010-06-13 17:59:28] 495*2^829334-1 is not prime. Res64: E6FA1D893CE40D2E Time : 711.0 sec. user=vaughan [2010-06-13 18:02:59] 429*2^829336-1 is not prime. Res64: FE0A6404B784AE81 Time : 709.0 sec. user=vaughan [2010-06-13 18:03:09] 405*2^829332-1 is not prime. Res64: 52847776476366B8 Time : 1430.0 sec. user=vaughan [2010-06-13 18:03:33] 525*2^829333-1 is not prime. Res64: 48B5497CC7C226BA Time : 1282.0 sec. user=vaughan [2010-06-13 18:04:36] 555*2^829335-1 is not prime. Res64: DA5666A6618250D6 Time : 947.0 sec. user=vaughan [2010-06-13 18:04:45] 411*2^829333-1 is not prime. Res64: A653C687603B1C4B Time : 1429.0 sec. user=vaughan [2010-06-13 18:04:52] 519*2^829328-1 is not prime. Res64: 00F6924E73AB0FB8 Time : 2066.0 sec. user=vaughan [2010-06-13 18:06:40] 597*2^829336-1 is not prime. Res64: B7F5C0CEED7FB742 Time : 705.0 sec. user=vaughan [2010-06-13 18:10:59] 573*2^829336-1 is not prime. Res64: A4FFD411FAACF2E2 Time : 1050.0 sec. user=vaughan [2010-06-13 18:11:18] 525*2^829340-1 is not prime. Res64: 3064D87E86241D6F Time : 711.0 sec. user=vaughan [2010-06-13 18:12:02] 507*2^829338-1 is not prime. Res64: 41B9D80800B1DAA2 Time : 947.0 sec. user=vaughan [2010-06-13 18:12:56] 573*2^829339-1 is not prime. Res64: D20E3D15838D833E Time : 946.0 sec. user=vaughan [2010-06-13 18:13:23] 437*2^829336-1 is not prime. Res64: A358C437285D74B4 Time : 1227.0 sec. user=vaughan [2010-06-13 18:14:49] 445*2^829341-1 is not prime. Res64: 9916EFB025EC7E98 Time : 710.0 sec. user=vaughan [2010-06-13 18:16:40] 425*2^829334-1 is not prime. Res64: 7F7A73679245B0B4 Time : 1996.0 sec. user=vaughan [2010-06-13 18:17:21] 571*2^829337-1 is not prime. Res64: 4D59EB25D0AE8022 Time : 1315.0 sec. user=vaughan [2010-06-13 18:18:25] 409*2^829343-1 is not prime. Res64: CB6460CC45A3ADBF Time : 705.0 sec. user=vaughan [2010-06-13 18:20:00] 549*2^829339-1 is not prime. Res64: 111F1F3D9EACF688 Time : 1386.0 sec. user=vaughan [2010-06-13 18:20:10] 565*2^829341-1 is not prime. Res64: 3CB8321D3E469500 Time : 1021.0 sec. user=vaughan [2010-06-13 18:20:23] 405*2^829342-1 is not prime. Res64: 271C36FAA2770B28 Time : 947.0 sec. user=vaughan [2010-06-13 18:20:55] 449*2^829340-1 is not prime. Res64: 36D36D368BEE9CFA Time : 1388.0 sec. user=Flatlander [2010-06-13 18:22:05] 531*2^829295-1 is not prime. Res64: EA967A97E790ED62 Time : 9673.0 sec. user=Flatlander [2010-06-13 18:22:06] 573*2^829295-1 is not prime. Res64: 72B920FC2E346142 Time : 9673.0 sec. user=Flatlander [2010-06-13 18:22:06] 473*2^829296-1 is not prime. Res64: 4E8AC7329366F382 Time : 9671.0 sec. user=Flatlander [2010-06-13 18:22:07] 485*2^829296-1 is not prime. Res64: 12FD6AD2D620F76C Time : 9671.0 sec. user=Flatlander [2010-06-13 18:22:08] 527*2^829296-1 is not prime. Res64: BA18A94D0DBB2370 Time : 9670.0 sec. user=vaughan [2010-06-13 18:23:09] 455*2^829342-1 is not prime. Res64: A752A944D0CD3DE0 Time : 1105.0 sec. user=vaughan [2010-06-13 18:23:09] 423*2^829343-1 is not prime. Res64: E28DB947ACEE6BF6 Time : 711.0 sec. user=vaughan [2010-06-13 18:24:57] 401*2^829342-1 is not prime. Res64: 40DBEDA43EA339BE Time : 1284.0 sec. user=vaughan [2010-06-13 18:25:59] 501*2^829338-1 is not prime. Res64: 22698F25FFABB81A Time : 1812.0 sec. user=vaughan [2010-06-13 18:26:39] 595*2^829343-1 is not prime. Res64: 7DC656EA94BF0115 Time : 711.0 sec. user=vaughan [2010-06-13 18:27:10] 411*2^829343-1 is not prime. Res64: B8ECDBA97C6D4029 Time : 971.0 sec. user=vaughan [2010-06-13 18:27:49] 433*2^829343-1 is not prime. Res64: F01D284601558BB4 Time : 947.0 sec. user=vaughan [2010-06-13 18:28:00] 589*2^829337-1 is not prime. Res64: EF883A19F1BAF7D1 Time : 1946.0 sec. user=vaughan [2010-06-13 18:28:42] 523*2^829343-1 is not prime. Res64: 15FF041884BFD63F Time : 947.0 sec. user=vaughan [2010-06-13 18:30:10] 513*2^829344-1 is not prime. Res64: 86AC22386D997838 Time : 705.0 sec. user=vaughan [2010-06-13 18:31:46] 591*2^829343-1 is not prime. Res64: 7A4DFD6018D2CC2D Time : 1103.0 sec. user=vaughan [2010-06-13 18:34:59] 403*2^829347-1 is not prime. Res64: 91942A05119C12D9 Time : 711.0 sec. user=vaughan [2010-06-13 18:36:01] 567*2^829342-1 is not prime. Res64: 254751B586BDD32E Time : 1870.0 sec. user=vaughan [2010-06-13 18:36:08] 585*2^829344-1 is not prime. Res64: 471603F38F222CBE Time : 946.0 sec. user=vaughan [2010-06-13 18:37:10] 567*2^829344-1 is not prime. Res64: 3E82E19E173F025B Time : 1021.0 sec. user=vaughan [2010-06-13 18:37:10] 549*2^829344-1 is not prime. Res64: 87BA444D3FBFDB80 Time : 1031.0 sec. user=vaughan [2010-06-13 18:38:17] 411*2^829345-1 is not prime. Res64: D1C334F9231AE841 Time : 1042.0 sec. user=vaughan [2010-06-13 18:38:28] 493*2^829347-1 is not prime. Res64: 1B86E3B1BA2A3275 Time : 709.0 sec. user=vaughan [2010-06-13 18:39:03] 473*2^829344-1 is not prime. Res64: 6882546DBEB0B00A Time : 1302.0 sec. user=vaughan [2010-06-13 18:41:28] 563*2^829346-1 is not prime. Res64: 82A375C92B5332C0 Time : 1102.0 sec. user=vaughan [2010-06-13 18:41:57] 561*2^829349-1 is not prime. Res64: AB443A3C9E6AD644 Time : 707.0 sec. user=vaughan [2010-06-13 18:43:24] 437*2^829348-1 is not prime. Res64: EF7C3D8587EAFB8E Time : 974.0 sec. user=vaughan [2010-06-13 18:43:35] 569*2^829348-1 is not prime. Res64: A9F9E8FBB7111F2C Time : 947.0 sec. user=vaughan [2010-06-13 18:44:28] 489*2^829349-1 is not prime. Res64: BF3AEB87AFDD01A7 Time : 946.0 sec. user=vaughan [2010-06-13 18:46:04] 471*2^829347-1 is not prime. Res64: 95A24EEE7E0F96C4 Time : 1268.0 sec. user=vaughan [2010-06-13 18:46:50] 453*2^829350-1 is not prime. Res64: 5566D165CED6C642 Time : 711.0 sec. user=vaughan [2010-06-13 18:50:17] 453*2^829351-1 is not prime. Res64: C956597E127F1396 Time : 709.0 sec. user=vaughan [2010-06-13 18:50:18] 401*2^829350-1 is not prime. Res64: 9F30B910DD5CC90A Time : 1113.0 sec. user=vaughan [2010-06-13 18:50:40] 479*2^829328-1 is not prime. Res64: 731CF2AF7575D6EB Time : 4929.0 sec. user=vaughan [2010-06-13 18:51:54] 537*2^829350-1 is not prime. Res64: E76ABE7E5694A584 Time : 946.0 sec. user=vaughan [2010-06-13 18:53:42] 425*2^829352-1 is not prime. Res64: 5E62720CADAB0657 Time : 706.0 sec. user=vaughan [2010-06-13 18:54:21] 587*2^829350-1 is not prime. Res64: 69EE7CDBC6BA1455 Time : 1031.0 sec. user=vaughan [2010-06-13 18:54:23] 581*2^829350-1 is not prime. Res64: 977ACCEC9081EA47 Time : 1033.0 sec. user=vaughan [2010-06-13 18:55:04] 475*2^829347-1 is not prime. Res64: 4075E0A564A90ED5 Time : 1746.0 sec. user=vaughan [2010-06-13 18:55:40] 439*2^829351-1 is not prime. Res64: 8E90295DC50883F2 Time : 1043.0 sec. user=vaughan [2010-06-13 18:57:16] 459*2^829344-1 is not prime. Res64: F3E3C93C98A80DBF Time : 2436.0 sec. user=vaughan [2010-06-13 18:58:43] 495*2^829353-1 is not prime. Res64: CC704385B9AF05FB Time : 714.0 sec. user=vaughan [2010-06-13 18:59:21] 533*2^829352-1 is not prime. Res64: 006BF87F7CED18B0 Time : 946.0 sec. user=vaughan [2010-06-13 18:59:40] 495*2^829352-1 is not prime. Res64: FA320808508CE30D Time : 976.0 sec. user=vaughan [2010-06-13 19:00:00] 525*2^829351-1 is not prime. Res64: 7586BDB40A92EF05 Time : 1112.0 sec. user=vaughan [2010-06-13 19:00:14] 585*2^829352-1 is not prime. Res64: DEC86445105CF8D4 Time : 947.0 sec. user=vaughan [2010-06-13 19:00:48] 519*2^829351-1 is not prime. Res64: E3DE503D0ADEB5BF Time : 1305.0 sec. user=vaughan [2010-06-13 19:02:07] 555*2^829353-1 is not prime. Res64: 40636CA58587DF5D Time : 710.0 sec. user=vaughan [2010-06-13 19:05:27] 495*2^829354-1 is not prime. Res64: 1FC6CADDD26D5B0C Time : 705.0 sec. user=vaughan [2010-06-13 19:06:42] 513*2^829338-1 is not prime. Res64: 6BB82329881E088C Time : 4221.0 sec. user=vaughan [2010-06-13 19:06:43] 525*2^829350-1 is not prime. Res64: 0535344234596F3A Time : 1842.0 sec. user=vaughan [2010-06-13 19:07:22] 471*2^829353-1 is not prime. Res64: AAD2F733F7F003B1 Time : 1279.0 sec. user=vaughan [2010-06-13 19:07:40] 595*2^829353-1 is not prime. Res64: D8B09295DD501573 Time : 946.0 sec. user=vaughan [2010-06-13 19:07:41] 481*2^829349-1 is not prime. Res64: 81DB239D417CA9C0 Time : 2381.0 sec. user=vaughan [2010-06-13 19:08:41] 577*2^829353-1 is not prime. Res64: 02FA504E501FFB83 Time : 1103.0 sec. user=vaughan [2010-06-13 19:10:33] 527*2^829356-1 is not prime. Res64: 260FF49BBF37D7AC Time : 710.0 sec. user=vaughan [2010-06-13 19:11:24] 553*2^829355-1 is not prime. Res64: B3EC4C31C946EA9A Time : 1022.0 sec. user=vaughan [2010-06-13 19:13:56] 499*2^829357-1 is not prime. Res64: 4A40C9CD315A5D66 Time : 710.0 sec. user=vaughan [2010-06-13 19:15:08] 539*2^829356-1 is not prime. Res64: 3AD105501BD96C64 Time : 947.0 sec. user=vaughan [2010-06-13 19:15:50] 597*2^829356-1 is not prime. Res64: 49D496077635396D Time : 970.0 sec. user=vaughan [2010-06-13 19:16:00] 435*2^829357-1 is not prime. Res64: A1B440268812359F Time : 947.0 sec. user=vaughan [2010-06-13 19:17:12] 517*2^829357-1 is not prime. Res64: 72EB679F5DEA7963 Time : 705.0 sec. user=vaughan [2010-06-13 19:18:25] 427*2^829357-1 is not prime. Res64: F7373D6270F16B65 Time : 1105.0 sec. user=vaughan [2010-06-13 19:22:22] 469*2^829357-1 is not prime. Res64: DB750A7AEB7D61E3 Time : 1294.0 sec. user=vaughan [2010-06-13 19:22:23] 543*2^829359-1 is not prime. Res64: DC7CE8139500D83B Time : 710.0 sec. user=vaughan [2010-06-13 19:23:27] 441*2^829359-1 is not prime. Res64: A585B395CA43F6EE Time : 947.0 sec. user=vaughan [2010-06-13 19:23:54] 455*2^829356-1 is not prime. Res64: 450AB39E0931EE0D Time : 1730.0 sec. user=vaughan [2010-06-13 19:25:45] 455*2^829360-1 is not prime. Res64: 64C4EB9C8B14D43C Time : 709.0 sec. user=Flatlander [2010-06-13 19:25:49] 539*2^829328-1 is not prime. Res64: E3D69A356C97C82B Time : 6811.0 sec. user=Flatlander [2010-06-13 19:25:50] 585*2^829328-1 is not prime. Res64: B76C9D470DF7E4E4 Time : 6812.0 sec. user=Flatlander [2010-06-13 19:25:50] 599*2^829328-1 is not prime. Res64: AD93FBDCAA488734 Time : 6811.0 sec. user=Flatlander [2010-06-13 19:25:51] 441*2^829329-1 is not prime. Res64: 86E26F82B3CF3157 Time : 6812.0 sec. user=Flatlander [2010-06-13 19:25:51] 499*2^829329-1 is not prime. Res64: F9A4C28EFBCEBFEE Time : 6811.0 sec. user=vaughan [2010-06-13 19:25:51] 451*2^829355-1 is not prime. Res64: 8D499EE4308BE985 Time : 1891.0 sec. user=vaughan [2010-06-13 19:26:32] 483*2^829356-1 is not prime. Res64: 78A74FF627C76FB3 Time : 1852.0 sec. user=vaughan [2010-06-13 19:27:03] 501*2^829359-1 is not prime. Res64: 85CAFE0AB84F292D Time : 1102.0 sec. user=vaughan [2010-06-13 19:28:26] 571*2^829359-1 is not prime. Res64: E74C5D3F365C0532 Time : 1022.0 sec. user=vaughan [2010-06-13 19:28:57] 549*2^829360-1 is not prime. Res64: 599604C1F862DEFC Time : 705.0 sec. user=vaughan [2010-06-13 19:29:00] 575*2^829358-1 is not prime. Res64: 37FEA877978441E8 Time : 1298.0 sec. user=vaughan [2010-06-13 19:30:42] 503*2^829356-1 is not prime. Res64: 9A147702C56A38E5 Time : 2006.0 sec. user=vaughan [2010-06-13 19:30:54] 467*2^829360-1 is not prime. Res64: 442BA4877686171C Time : 946.0 sec. user=vaughan [2010-06-13 19:31:47] 525*2^829360-1 is not prime. Res64: D2A8596E88C1E6FF Time : 947.0 sec. user=vaughan [2010-06-13 19:32:05] 483*2^829360-1 is not prime. Res64: CCCD69EB5090C211 Time : 975.0 sec. user=vaughan [2010-06-13 19:34:14] 507*2^829362-1 is not prime. Res64: 5D17C2FC69F45871 Time : 711.0 sec. user=vaughan [2010-06-13 19:36:41] 475*2^829361-1 is not prime. Res64: 29ACF59656C6F83B Time : 1099.0 sec. user=vaughan [2010-06-13 19:37:35] 463*2^829363-1 is not prime. Res64: A0F2645755BAF161 Time : 710.0 sec. user=vaughan [2010-06-13 19:39:13] 543*2^829362-1 is not prime. Res64: D53F981D5B315768 Time : 946.0 sec. user=vaughan [2010-06-13 19:40:12] 551*2^829358-1 is not prime. Res64: F262DAE8CB711215 Time : 2009.0 sec. user=vaughan [2010-06-13 19:40:42] 577*2^829365-1 is not prime. Res64: 0247041C2BDF51E4 Time : 705.0 sec. user=vaughan [2010-06-13 19:43:06] 493*2^829363-1 is not prime. Res64: 44934FCC8ED2F3D5 Time : 1035.0 sec. user=Flatlander [2010-06-13 19:43:20] 473*2^829334-1 is not prime. Res64: F462A3B5C3D8A92C Time : 6944.0 sec. user=Flatlander [2010-06-13 19:43:21] 477*2^829334-1 is not prime. Res64: 872C34A28665CACF Time : 6944.0 sec. user=Flatlander [2010-06-13 19:43:21] 501*2^829334-1 is not prime. Res64: EB41648791F76F14 Time : 6943.0 sec. user=Flatlander [2010-06-13 19:43:22] 567*2^829334-1 is not prime. Res64: 58534D0627EEE365 Time : 6943.0 sec. user=Flatlander [2010-06-13 19:43:22] 531*2^829335-1 is not prime. Res64: B02854D99CD12BBD Time : 6942.0 sec. user=vaughan [2010-06-13 19:43:51] 429*2^829365-1 is not prime. Res64: 02EF9A1598F070B2 Time : 1039.0 sec. user=vaughan [2010-06-13 19:44:08] 579*2^829361-1 is not prime. Res64: FB9F0BA1362C2F0F Time : 1306.0 sec. user=vaughan [2010-06-13 19:45:19] 511*2^829365-1 is not prime. Res64: A286E757B5BEC5FD Time : 1096.0 sec. user=vaughan [2010-06-13 19:45:24] 529*2^829365-1 is not prime. Res64: 983FD81E135BA3B2 Time : 1019.0 sec. user=vaughan [2010-06-13 19:46:04] 567*2^829366-1 is not prime. Res64: C196FA8F8DCE5A35 Time : 710.0 sec. user=vaughan [2010-06-13 19:46:40] 521*2^829366-1 is not prime. Res64: 897A6DF12F76BEE5 Time : 946.0 sec. user=vaughan [2010-06-13 19:47:33] 525*2^829366-1 is not prime. Res64: E7E8158D9EEF05E4 Time : 946.0 sec. user=vaughan [2010-06-13 19:48:16] 561*2^829366-1 is not prime. Res64: 6569903F55EE9BEB Time : 971.0 sec. user=vaughan [2010-06-13 19:49:25] 493*2^829367-1 is not prime. Res64: 35250B0AB42BF7A3 Time : 710.0 sec. user=vaughan [2010-06-13 19:50:15] 469*2^829359-1 is not prime. Res64: E65C0F1607F4AD02 Time : 2554.0 sec. user=vaughan [2010-06-13 19:50:15] 413*2^829366-1 is not prime. Res64: 95EF6252D3F01548 Time : 1275.0 sec. user=vaughan [2010-06-13 19:52:28] 557*2^829368-1 is not prime. Res64: 416748B3358214C3 Time : 706.0 sec. user=vaughan [2010-06-13 19:53:08] 587*2^829362-1 is not prime. Res64: 6D885A8E10FB8F99 Time : 1754.0 sec. user=vaughan [2010-06-13 19:55:00] 515*2^829368-1 is not prime. Res64: 89ADFB16659BA5DD Time : 947.0 sec. user=vaughan [2010-06-13 19:55:03] 581*2^829366-1 is not prime. Res64: F34AC37BD5C4A4BB Time : 1102.0 sec. user=vaughan [2010-06-13 19:57:54] 535*2^829371-1 is not prime. Res64: B9497FA7B5B7041F Time : 710.0 sec. user=vaughan [2010-06-13 20:00:20] 415*2^829369-1 is not prime. Res64: 7B7A9809AC62218B Time : 1034.0 sec. user=vaughan [2010-06-13 20:01:11] 561*2^829370-1 is not prime. Res64: 3011388011C1AE3E Time : 1041.0 sec. user=vaughan [2010-06-13 20:01:14] 539*2^829372-1 is not prime. Res64: 7E68F54F81A3C9DE Time : 710.0 sec. user=vaughan [2010-06-13 20:02:26] 511*2^829371-1 is not prime. Res64: 99035E0EDFA7F244 Time : 1022.0 sec. user=vaughan [2010-06-13 20:02:27] 571*2^829371-1 is not prime. Res64: 28783960F92799DD Time : 947.0 sec. user=vaughan [2010-06-13 20:03:18] 585*2^829371-1 is not prime. Res64: FAFFFF75BB9EB92C Time : 946.0 sec. user=vaughan [2010-06-13 20:03:41] 585*2^829370-1 is not prime. Res64: 83D36841164596D3 Time : 1103.0 sec. user=vaughan [2010-06-13 20:04:13] 435*2^829373-1 is not prime. Res64: E65AAA9106893A04 Time : 706.0 sec. user=vaughan [2010-06-13 20:04:27] 513*2^829372-1 is not prime. Res64: E4BD445121A399C9 Time : 971.0 sec. user=vaughan [2010-06-13 20:05:38] 581*2^829370-1 is not prime. Res64: 3C1A57E99267594F Time : 1290.0 sec. user=vaughan [2010-06-13 20:09:45] 537*2^829373-1 is not prime. Res64: 1E321744B687A402 Time : 711.0 sec. user=vaughan [2010-06-13 20:10:46] 465*2^829373-1 is not prime. Res64: AFF2A03517AD24F4 Time : 946.0 sec. user=vaughan [2010-06-13 20:11:47] 411*2^829373-1 is not prime. Res64: 0EE8C4D05D5FEC7D Time : 1292.0 sec. user=vaughan [2010-06-13 20:11:47] 591*2^829353-1 is not prime. Res64: A107AB44D7A5B3E4 Time : 4868.0 sec. user=vaughan [2010-06-13 20:12:17] 555*2^829368-1 is not prime. Res64: 45BDF9141BCF9E9C Time : 1925.0 sec. user=vaughan [2010-06-13 20:13:03] 503*2^829374-1 is not prime. Res64: 556F3C41EF9416BB Time : 709.0 sec. user=vaughan [2010-06-13 20:13:15] 453*2^829366-1 is not prime. Res64: 79617272E025C9E6 Time : 2554.0 sec. user=vaughan [2010-06-13 20:13:26] 517*2^829373-1 is not prime. Res64: 726BE08ADD4ADAEE Time : 1104.0 sec. user=vaughan [2010-06-13 20:15:58] 407*2^829376-1 is not prime. Res64: EBE6DA9215CABD18 Time : 705.0 sec. user=vaughan [2010-06-13 20:16:43] 537*2^829357-1 is not prime. Res64: A40D0BC00EE31313 Time : 4201.0 sec. user=vaughan [2010-06-13 20:17:34] 559*2^829373-1 is not prime. Res64: B518767B1D342FBD Time : 1035.0 sec. user=vaughan [2010-06-13 20:18:12] 551*2^829374-1 is not prime. Res64: BEBACFEF57C9FB3C Time : 946.0 sec. user=vaughan [2010-06-13 20:18:32] 483*2^829374-1 is not prime. Res64: 14FFEAEBD0E42652 Time : 1041.0 sec. user=vaughan [2010-06-13 20:19:04] 421*2^829375-1 is not prime. Res64: 8ED1F57162C71AD1 Time : 946.0 sec. user=vaughan [2010-06-13 20:19:28] 507*2^829374-1 is not prime. Res64: 2354B23E66153AD2 Time : 1022.0 sec. user=Flatlander [2010-06-13 20:20:00] 441*2^829345-1 is not prime. Res64: 7EA81DE9C4535A60 Time : 7070.0 sec. user=Flatlander [2010-06-13 20:20:01] 555*2^829345-1 is not prime. Res64: 8328496B0B3F79CC Time : 7071.0 sec. user=Flatlander [2010-06-13 20:20:02] 567*2^829345-1 is not prime. Res64: 5D7AB6B3ED0E3CEC Time : 7072.0 sec. user=Flatlander [2010-06-13 20:20:03] 507*2^829346-1 is not prime. Res64: AC52B6A3C2F566F8 Time : 7072.0 sec. user=Flatlander [2010-06-13 20:20:04] 537*2^829346-1 is not prime. Res64: 8A4FE6625512EF19 Time : 7073.0 sec. user=vaughan [2010-06-13 20:20:39] 417*2^829376-1 is not prime. Res64: 8B27FC40DADE5563 Time : 972.0 sec. user=vaughan [2010-06-13 20:21:35] 465*2^829376-1 is not prime. Res64: 418524237939B87B Time : 711.0 sec. user=vaughan [2010-06-13 20:22:05] 531*2^829375-1 is not prime. Res64: 7A309D2E06E97BEB Time : 1104.0 sec. user=vaughan [2010-06-13 20:22:27] 445*2^829373-1 is not prime. Res64: E9B75784EF6A80D3 Time : 1759.0 sec. user=vaughan [2010-06-13 20:23:36] 573*2^829372-1 is not prime. Res64: 95B27843263403D5 Time : 2002.0 sec. user=vaughan [2010-06-13 20:24:53] 437*2^829378-1 is not prime. Res64: 0CA7D930FADC9907 Time : 710.0 sec. user=vaughan [2010-06-13 20:26:31] 475*2^829377-1 is not prime. Res64: 4AE31FA965ED61D0 Time : 946.0 sec. user=vaughan [2010-06-13 20:27:04] 455*2^829376-1 is not prime. Res64: 1CB5A31A6E134AA3 Time : 1286.0 sec. user=vaughan [2010-06-13 20:27:43] 497*2^829378-1 is not prime. Res64: 6D7DA737DA0B6FDC Time : 705.0 sec. user=vaughan [2010-06-13 20:31:49] 491*2^829378-1 is not prime. Res64: D52B55E9509E42EF Time : 1103.0 sec. user=vaughan [2010-06-13 20:33:09] 595*2^829377-1 is not prime. Res64: 6CE845EDAFA5EDF4 Time : 1282.0 sec. user=vaughan [2010-06-13 20:33:25] 517*2^829381-1 is not prime. Res64: E8316A3EFA1C5886 Time : 710.0 sec. user=vaughan [2010-06-13 20:33:58] 581*2^829378-1 is not prime. Res64: 69239A047BFB1CCB Time : 946.0 sec. user=vaughan [2010-06-13 20:34:49] 545*2^829378-1 is not prime. Res64: D222CF282ECD7E2F Time : 1035.0 sec. user=vaughan [2010-06-13 20:34:49] 411*2^829379-1 is not prime. Res64: 9D451D825E4283AB Time : 946.0 sec. user=vaughan [2010-06-13 20:35:50] 597*2^829378-1 is not prime. Res64: 66591751EB79F661 Time : 1038.0 sec. user=vaughan [2010-06-13 20:36:30] 433*2^829379-1 is not prime. Res64: 0B2B9F340E557AFD Time : 1023.0 sec. user=vaughan [2010-06-13 20:36:42] 481*2^829383-1 is not prime. Res64: 592F35F116C1A256 Time : 710.0 sec. user=vaughan [2010-06-13 20:36:49] 441*2^829381-1 is not prime. Res64: E2A426BCF50008E9 Time : 970.0 sec. user=vaughan [2010-06-13 20:39:29] 525*2^829384-1 is not prime. Res64: 1A48B252F5B4FF07 Time : 706.0 sec. user=vaughan [2010-06-13 20:40:27] 549*2^829381-1 is not prime. Res64: 74D791DBABFFA17E Time : 1103.0 sec. user=vaughan [2010-06-13 20:42:18] 553*2^829383-1 is not prime. Res64: 97364F72B4C845B7 Time : 947.0 sec. user=vaughan [2010-06-13 20:44:20] 435*2^829378-1 is not prime. Res64: FFE29FB458C56770 Time : 1924.0 sec. user=vaughan [2010-06-13 20:45:16] 507*2^829385-1 is not prime. Res64: 674AA86FFFF9EB1E Time : 711.0 sec. user=vaughan [2010-06-13 20:48:27] 555*2^829383-1 is not prime. Res64: 199514BDB9E07023 Time : 1284.0 sec. user=vaughan [2010-06-13 20:48:31] 519*2^829388-1 is not prime. Res64: 1C8A7CAF095B812A Time : 709.0 sec. user=vaughan [2010-06-13 20:49:44] 531*2^829386-1 is not prime. Res64: 05BAED4AFB964222 Time : 946.0 sec. user=vaughan [2010-06-13 20:50:13] 587*2^829384-1 is not prime. Res64: F3D1934AF77BD791 Time : 1104.0 sec. user=vaughan [2010-06-13 20:50:35] 531*2^829387-1 is not prime. Res64: 2094E0451287DF24 Time : 946.0 sec. user=vaughan [2010-06-13 20:51:14] 471*2^829389-1 is not prime. Res64: 04578A3E5825FA1D Time : 706.0 sec. user=vaughan [2010-06-13 20:51:39] 461*2^829382-1 is not prime. Res64: 79AFBFD724B0B480 Time : 1753.0 sec. user=vaughan [2010-06-13 20:52:02] 421*2^829387-1 is not prime. Res64: 4C4795DAC9328A80 Time : 1034.0 sec. user=vaughan [2010-06-13 20:53:02] 441*2^829389-1 is not prime. Res64: 1777A4E44E595A67 Time : 973.0 sec. user=vaughan [2010-06-13 20:53:10] 555*2^829387-1 is not prime. Res64: 5F0560E719EF3E86 Time : 1040.0 sec. user=vaughan [2010-06-13 20:53:31] 489*2^829388-1 is not prime. Res64: E750CAB9C925BBE3 Time : 1021.0 sec. user=vaughan [2010-06-13 20:54:24] 469*2^829385-1 is not prime. Res64: E2DDD00593C515A4 Time : 1275.0 sec. user=vaughan [2010-06-13 20:57:06] 581*2^829390-1 is not prime. Res64: 9F5D103F7FB0B430 Time : 711.0 sec. user=vaughan [2010-06-13 20:58:05] 525*2^829390-1 is not prime. Res64: 7D3BBB910A6F2F67 Time : 948.0 sec. user=vaughan [2010-06-13 20:58:51] 455*2^829390-1 is not prime. Res64: AA781A887BC32901 Time : 1104.0 sec. user=vaughan [2010-06-13 21:00:21] 451*2^829391-1 is not prime. Res64: 66116F1F6BD77A22 Time : 710.0 sec. user=vaughan [2010-06-13 21:02:59] 425*2^829392-1 is not prime. Res64: B19AA580368AB9EE Time : 705.0 sec. user=vaughan [2010-06-13 21:05:31] 559*2^829391-1 is not prime. Res64: 45F4BCF1689607A8 Time : 947.0 sec. user=vaughan [2010-06-13 21:06:20] 419*2^829392-1 is not prime. Res64: D81355ACD9662790 Time : 946.0 sec. user=vaughan [2010-06-13 21:08:26] 471*2^829378-1 is not prime. Res64: FFB11D46AEDF3996 Time : 3312.0 sec. user=vaughan [2010-06-13 21:08:38] 405*2^829392-1 is not prime. Res64: 2BE5AAC86C792D40 Time : 1106.0 sec. user=vaughan [2010-06-13 21:08:56] 435*2^829393-1 is not prime. Res64: 48BDE896F38F4B4D Time : 710.0 sec. user=vaughan [2010-06-13 21:09:16] 537*2^829392-1 is not prime. Res64: 939341F056983E86 Time : 975.0 sec. user=vaughan [2010-06-13 21:09:47] 445*2^829391-1 is not prime. Res64: E8A3786DBED7378A Time : 1281.0 sec. user=vaughan [2010-06-13 21:10:32] 593*2^829392-1 is not prime. Res64: FAECF76C26CD06E9 Time : 1022.0 sec. user=vaughan [2010-06-13 21:12:10] 595*2^829393-1 is not prime. Res64: F61668521A283C83 Time : 710.0 sec. user=vaughan [2010-06-13 21:13:51] 477*2^829393-1 is not prime. Res64: 7DC49E15436D11D3 Time : 947.0 sec. user=vaughan [2010-06-13 21:14:44] 555*2^829390-1 is not prime. Res64: 022B4B89CC3D4CB7 Time : 1825.0 sec. user=vaughan [2010-06-13 21:14:45] 597*2^829393-1 is not prime. Res64: 3F7B2C47DB7A29C4 Time : 706.0 sec. user=vaughan [2010-06-13 21:15:30] 405*2^829393-1 is not prime. Res64: 91BD8077BCB34157 Time : 1266.0 sec. user=vaughan [2010-06-13 21:17:12] 489*2^829393-1 is not prime. Res64: E322839CF96EA544 Time : 1101.0 sec. user=vaughan [2010-06-13 21:18:45] 479*2^829392-1 is not prime. Res64: 3784DC08CBB2E52E Time : 1603.0 sec. user=vaughan [2010-06-13 21:18:49] 525*2^829382-1 is not prime. Res64: B010C73FF8BB0391 Time : 3313.0 sec. user=vaughan [2010-06-13 21:20:07] 549*2^829392-1 is not prime. Res64: EC07811902A99F15 Time : 1617.0 sec. user=vaughan [2010-06-13 21:20:47] 471*2^829395-1 is not prime. Res64: EAD976E6A3128800 Time : 711.0 sec. user=vaughan [2010-06-13 21:21:15] 459*2^829392-1 is not prime. Res64: 5BBAA8E31C226612 Time : 1776.0 sec. user=vaughan [2010-06-13 21:21:18] 407*2^829394-1 is not prime. Res64: D470BE0D505C7688 Time : 947.0 sec. user=vaughan [2010-06-13 21:22:06] 525*2^829394-1 is not prime. Res64: 12B70909448E8E6F Time : 946.0 sec. user=vaughan [2010-06-13 21:23:59] 595*2^829395-1 is not prime. Res64: 5554A28AD2BCE353 Time : 709.0 sec. user=Flatlander [2010-06-13 21:24:42] 523*2^829363-1 is not prime. Res64: 6284E9D313010A88 Time : 7129.0 sec. user=Flatlander [2010-06-13 21:24:43] 573*2^829363-1 is not prime. Res64: 146247FB089DB868 Time : 7129.0 sec. user=Flatlander [2010-06-13 21:24:43] 489*2^829364-1 is not prime. Res64: 900A2F4174A4E9E7 Time : 7129.0 sec. user=Flatlander [2010-06-13 21:24:43] 557*2^829364-1 is not prime. Res64: 1B8892BB38E14D21 Time : 7127.0 sec. user=Flatlander [2010-06-13 21:24:43] 599*2^829364-1 is not prime. Res64: 43AEA6A16F2016B2 Time : 7126.0 sec. user=vaughan [2010-06-13 21:25:28] 511*2^829395-1 is not prime. Res64: 4C315E3DD17A3698 Time : 972.0 sec. user=vaughan [2010-06-13 21:26:31] 507*2^829396-1 is not prime. Res64: 9B5F7BE71EF2EBDE Time : 707.0 sec. user=vaughan [2010-06-13 21:26:41] 527*2^829378-1 is not prime. Res64: C3A7F09EF1677EAE Time : 4199.0 sec. user=vaughan [2010-06-13 21:26:56] 465*2^829395-1 is not prime. Res64: 07639853BF44C4CC Time : 1098.0 sec. user=vaughan [2010-06-13 21:27:32] 573*2^829395-1 is not prime. Res64: C37E2B5F3F8FB416 Time : 1020.0 sec. user=Flatlander [2010-06-13 21:27:52] 457*2^829369-1 is not prime. Res64: 7F35EFCAA18E63C2 Time : 6268.0 sec. user=Flatlander [2010-06-13 21:27:52] 453*2^829370-1 is not prime. Res64: CB7FA623449626AC Time : 6267.0 sec. user=Flatlander [2010-06-13 21:27:52] 483*2^829370-1 is not prime. Res64: 15CA7F8F5130B22A Time : 6266.0 sec. user=Flatlander [2010-06-13 21:27:52] 515*2^829370-1 is not prime. Res64: EBC52A6B45B1568F Time : 6265.0 sec. user=Flatlander [2010-06-13 21:27:52] 531*2^829370-1 is not prime. Res64: 1F701C0C4DD0AE51 Time : 6264.0 sec. user=vaughan [2010-06-13 21:29:38] 447*2^829396-1 is not prime. Res64: A615938FF07B6F0D Time : 947.0 sec. user=vaughan [2010-06-13 21:30:49] 529*2^829395-1 is not prime. Res64: 4D804FFCB2956A6A Time : 1263.0 sec. user=vaughan [2010-06-13 21:32:23] 413*2^829378-1 is not prime. Res64: 2D6AFB9A4E24ED1E Time : 4836.0 sec. user=Flatlander [2010-06-13 21:32:31] 527*2^829330-1 is not prime. Res64: 252154700C67CD07 Time : 14260.0 sec. user=Flatlander [2010-06-13 21:32:32] 531*2^829330-1 is not prime. Res64: 264C9AB472A1338F Time : 14261.0 sec. user=Flatlander [2010-06-13 21:32:33] 561*2^829330-1 is not prime. Res64: 249E5FE0517597B3 Time : 14261.0 sec. user=Flatlander [2010-06-13 21:32:34] 463*2^829331-1 is not prime. Res64: 65CEFBE1373566A9 Time : 14261.0 sec. user=Flatlander [2010-06-13 21:32:34] 505*2^829331-1 is not prime. Res64: 14502E07006D864B Time : 14261.0 sec. user=vaughan [2010-06-13 21:32:39] 527*2^829398-1 is not prime. Res64: FE6126351E2DCEF2 Time : 713.0 sec. user=vaughan [2010-06-13 21:35:29] 575*2^829396-1 is not prime. Res64: DB23CC9703A5E047 Time : 1098.0 sec. user=vaughan [2010-06-13 21:35:53] 493*2^829399-1 is not prime. Res64: 65D52EDE79042376 Time : 714.0 sec. user=vaughan [2010-06-13 21:36:45] 539*2^829396-1 is not prime. Res64: 9091A4C73594CAAA Time : 1275.0 sec. user=vaughan [2010-06-13 21:37:04] 411*2^829399-1 is not prime. Res64: 3D2290A69390A880 Time : 947.0 sec. user=vaughan [2010-06-13 21:37:52] 451*2^829399-1 is not prime. Res64: 1860B5090C687479 Time : 946.0 sec. user=vaughan [2010-06-13 21:38:21] 537*2^829400-1 is not prime. Res64: DBDFFA5893F638FC Time : 710.0 sec. user=vaughan [2010-06-13 21:41:40] 519*2^829400-1 is not prime. Res64: FF44684FFCEE0AD2 Time : 973.0 sec. user=vaughan [2010-06-13 21:44:32] 587*2^829406-1 is not prime. Res64: D81FA2290D489B5E Time : 713.0 sec. user=vaughan [2010-06-13 21:44:36] 489*2^829404-1 is not prime. Res64: 3C9E1D8271A95219 Time : 1024.0 sec. user=vaughan [2010-06-13 21:45:22] 561*2^829402-1 is not prime. Res64: 3ACA16BD8D351A70 Time : 1106.0 sec. user=vaughan [2010-06-13 21:45:25] 507*2^829405-1 is not prime. Res64: 6076545D4AA559DC Time : 947.0 sec. user=vaughan [2010-06-13 21:47:41] 523*2^829407-1 is not prime. Res64: 78F31E56BA4AA66E Time : 709.0 sec. user=vaughan [2010-06-13 21:47:43] 497*2^829396-1 is not prime. Res64: 732729DF3A4903B5 Time : 1979.0 sec. user=vaughan [2010-06-13 21:50:06] 595*2^829407-1 is not prime. Res64: 090F6E3D66CE979E Time : 706.0 sec. user=vaughan [2010-06-13 21:50:55] 559*2^829397-1 is not prime. Res64: 785CDA2123F998EC Time : 1931.0 sec. user=vaughan [2010-06-13 21:51:49] 555*2^829398-1 is not prime. Res64: E0ED64B119A059C9 Time : 1835.0 sec. user=vaughan [2010-06-13 21:52:01] 527*2^829402-1 is not prime. Res64: CB70A52020D58B6B Time : 1524.0 sec. user=vaughan [2010-06-13 21:52:06] 531*2^829405-1 is not prime. Res64: 6155D10A4442274F Time : 1277.0 sec. user=vaughan [2010-06-13 21:52:33] 461*2^829398-1 is not prime. Res64: 40E5A6F64C2311C4 Time : 1946.0 sec. user=vaughan [2010-06-13 21:52:50] 553*2^829407-1 is not prime. Res64: 22BDF4EE49D6DC5A Time : 946.0 sec. user=vaughan [2010-06-13 21:53:37] 585*2^829407-1 is not prime. Res64: 547DE0AD9DDD6C0F Time : 946.0 sec. user=vaughan [2010-06-13 21:53:53] 513*2^829407-1 is not prime. Res64: D7443F5E984D9CC5 Time : 1104.0 sec. user=vaughan [2010-06-13 21:55:11] 593*2^829400-1 is not prime. Res64: B82AF7F163124A5C Time : 1719.0 sec. user=vaughan [2010-06-13 21:56:22] 483*2^829408-1 is not prime. Res64: 60891FB357B32832 Time : 710.0 sec. user=vaughan [2010-06-13 21:56:34] 487*2^829401-1 is not prime. Res64: 90FF1B6C824D2E52 Time : 1801.0 sec. user=vaughan [2010-06-13 21:56:37] 453*2^829402-1 is not prime. Res64: 0F53E8FCFB03E9DE Time : 1802.0 sec. user=vaughan [2010-06-13 21:57:53] 479*2^829408-1 is not prime. Res64: 578DB3CDB4294083 Time : 974.0 sec. user=vaughan [2010-06-13 21:57:57] 531*2^829407-1 is not prime. Res64: E1F475EAE33A038E Time : 1272.0 sec. user=vaughan [2010-06-13 21:59:30] 501*2^829409-1 is not prime. Res64: B36053D3C98B062F Time : 709.0 sec. user=vaughan [2010-06-13 22:01:11] 495*2^829409-1 is not prime. Res64: 00016795D0E4826B Time : 947.0 sec. user=vaughan [2010-06-13 22:01:38] 527*2^829408-1 is not prime. Res64: AD9782F3BBFD80EF Time : 1022.0 sec. user=vaughan [2010-06-13 22:01:51] 511*2^829409-1 is not prime. Res64: B616692C9E8F9AD8 Time : 705.0 sec. user=vaughan [2010-06-13 22:03:47] 569*2^829408-1 is not prime. Res64: EA804FF1536AAA60 Time : 1106.0 sec. user=vaughan [2010-06-13 22:08:11] 549*2^829409-1 is not prime. Res64: 2A1CD36F18D118C1 Time : 1036.0 sec. user=vaughan [2010-06-13 22:08:13] 585*2^829410-1 is not prime. Res64: F15001933688C581 Time : 711.0 sec. user=vaughan [2010-06-13 22:08:36] 443*2^829410-1 is not prime. Res64: 899E0760480C437B Time : 947.0 sec. user=vaughan [2010-06-13 22:09:25] 471*2^829410-1 is not prime. Res64: 81FEF4DA61438D34 Time : 948.0 sec. user=vaughan [2010-06-13 22:09:34] 563*2^829394-1 is not prime. Res64: 9C02ED2EC05286C2 Time : 3668.0 sec. user=vaughan [2010-06-13 22:09:51] 437*2^829410-1 is not prime. Res64: 409B96523C83C5B6 Time : 1038.0 sec. user=vaughan [2010-06-13 22:11:19] 441*2^829411-1 is not prime. Res64: 6ABDC28A99B00695 Time : 709.0 sec. user=vaughan [2010-06-13 22:12:14] 503*2^829410-1 is not prime. Res64: 5A12676FA25C8FB8 Time : 1101.0 sec. user=vaughan [2010-06-13 22:13:36] 499*2^829411-1 is not prime. Res64: 5829B1434446B1F6 Time : 705.0 sec. user=vaughan [2010-06-13 22:14:05] 587*2^829410-1 is not prime. Res64: AFF14D9AB8DB75E1 Time : 972.0 sec. user=vaughan [2010-06-13 22:14:17] 425*2^829410-1 is not prime. Res64: D0B1B149DB427BEB Time : 1331.0 sec. user=vaughan [2010-06-13 22:16:46] 507*2^829409-1 is not prime. Res64: AF7977D5E6623F7C Time : 1743.0 sec. user=vaughan [2010-06-13 22:16:58] 469*2^829411-1 is not prime. Res64: AFFA751777301498 Time : 947.0 sec. user=vaughan [2010-06-13 22:18:43] 493*2^829411-1 is not prime. Res64: A9BD92F063242EE4 Time : 1026.0 sec. user=vaughan [2010-06-13 22:20:03] 599*2^829412-1 is not prime. Res64: D8D635D23BE95A4C Time : 711.0 sec. user=vaughan [2010-06-13 22:20:33] 423*2^829398-1 is not prime. Res64: CA2885621639606B Time : 3704.0 sec. user=vaughan [2010-06-13 22:21:50] 571*2^829409-1 is not prime. Res64: 9C88C9A491DF45A1 Time : 1801.0 sec. user=vaughan [2010-06-13 22:22:09] 541*2^829411-1 is not prime. Res64: 0175315CD50303B8 Time : 1102.0 sec. user=vaughan [2010-06-13 22:23:08] 425*2^829414-1 is not prime. Res64: FFB61BB923DB9B6C Time : 710.0 sec. user=vaughan [2010-06-13 22:24:12] 593*2^829410-1 is not prime. Res64: 9F59CA6A294B5EE5 Time : 1575.0 sec. user=vaughan [2010-06-13 22:24:23] 451*2^829413-1 is not prime. Res64: 407294726D48C434 Time : 947.0 sec. user=vaughan [2010-06-13 22:25:11] 537*2^829413-1 is not prime. Res64: 2CCAE94F7E30868B Time : 946.0 sec. user=vaughan [2010-06-13 22:25:22] 421*2^829415-1 is not prime. Res64: 869057D4A62132D1 Time : 706.0 sec. user=vaughan [2010-06-13 22:25:25] 467*2^829412-1 is not prime. Res64: F441EAA7368BC5CC Time : 1034.0 sec. user=vaughan [2010-06-13 22:27:11] 411*2^829414-1 is not prime. Res64: 21584CBCF62A72FF Time : 1040.0 sec. user=vaughan [2010-06-13 22:30:18] 595*2^829415-1 is not prime. Res64: 46D53A8BE3BF7125 Time : 973.0 sec. user=vaughan [2010-06-13 22:30:37] 573*2^829414-1 is not prime. Res64: B08FEBC33D14DCDE Time : 1103.0 sec. user=vaughan [2010-06-13 22:31:53] 567*2^829417-1 is not prime. Res64: CD52E9FE8DBFD8D6 Time : 710.0 sec. user=vaughan [2010-06-13 22:32:45] 457*2^829417-1 is not prime. Res64: 4E4868F03478E646 Time : 947.0 sec. user=vaughan [2010-06-13 22:34:56] 501*2^829418-1 is not prime. Res64: 58C97073C9B37FB4 Time : 708.0 sec. user=vaughan [2010-06-13 22:35:46] 511*2^829417-1 is not prime. Res64: 933624FCB2A90CB3 Time : 1023.0 sec. user=vaughan [2010-06-13 22:36:18] 533*2^829402-1 is not prime. Res64: 57E8A587DA8C2C3D Time : 4178.0 sec. user=Flatlander [2010-06-13 22:36:44] 499*2^829399-1 is not prime. Res64: 1A29D80888F0B1DC Time : 4321.0 sec. user=Flatlander [2010-06-13 22:36:45] 589*2^829399-1 is not prime. Res64: 73AB45204A7A6243 Time : 4321.0 sec. user=Flatlander [2010-06-13 22:36:46] 459*2^829400-1 is not prime. Res64: 64199B88A7C7F8F9 Time : 4321.0 sec. user=Flatlander [2010-06-13 22:36:47] 465*2^829400-1 is not prime. Res64: CAC8923FECE70CB8 Time : 4322.0 sec. user=Flatlander [2010-06-13 22:36:48] 479*2^829400-1 is not prime. Res64: 45538F36286F8E34 Time : 4322.0 sec. user=vaughan [2010-06-13 22:37:06] 557*2^829416-1 is not prime. Res64: 2C98EBF57D12BB58 Time : 1369.0 sec. user=vaughan [2010-06-13 22:37:11] 595*2^829419-1 is not prime. Res64: C2D51D176B43A753 Time : 710.0 sec. user=vaughan [2010-06-13 22:40:09] 523*2^829419-1 is not prime. Res64: 9638CF9F5836AC74 Time : 947.0 sec. user=vaughan [2010-06-13 22:40:33] 483*2^829418-1 is not prime. Res64: 81174826BC0E02D5 Time : 1104.0 sec. user=vaughan [2010-06-13 22:40:57] 565*2^829419-1 is not prime. Res64: DEE5BE6131CD8E89 Time : 946.0 sec. user=vaughan [2010-06-13 22:41:45] 441*2^829417-1 is not prime. Res64: DBE479F3105BD7FE Time : 1499.0 sec. user=vaughan [2010-06-13 22:42:40] 423*2^829420-1 is not prime. Res64: 0D619F027E6FD7DD Time : 1035.0 sec. user=vaughan [2010-06-13 22:43:47] 451*2^829421-1 is not prime. Res64: F2D8AD2C770A778C Time : 714.0 sec. user=Flatlander [2010-06-13 22:43:58] 557*2^829404-1 is not prime. Res64: E81D1D2E11734B94 Time : 4565.0 sec. user=Flatlander [2010-06-13 22:43:59] 569*2^829404-1 is not prime. Res64: 94C2C9214A0FF65D Time : 4566.0 sec. user=Flatlander [2010-06-13 22:44:00] 427*2^829405-1 is not prime. Res64: 3FD5CC4C1A41B54C Time : 4567.0 sec. user=Flatlander [2010-06-13 22:44:01] 465*2^829405-1 is not prime. Res64: 615B256F68472609 Time : 4567.0 sec. user=Flatlander [2010-06-13 22:44:01] 495*2^829405-1 is not prime. Res64: 2D4E7514C173FACF Time : 4566.0 sec. user=vaughan [2010-06-13 22:44:30] 525*2^829420-1 is not prime. Res64: 2385644B9C06F360 Time : 1039.0 sec. user=vaughan [2010-06-13 22:45:06] 405*2^829418-1 is not prime. Res64: 00BD1BE3BBC4723D Time : 1396.0 sec. user=vaughan [2010-06-13 22:45:36] 525*2^829418-1 is not prime. Res64: 759B89063A25F152 Time : 1284.0 sec. user=vaughan [2010-06-13 22:46:30] 537*2^829420-1 is not prime. Res64: 47B90272933B23AC Time : 972.0 sec. user=vaughan [2010-06-13 22:46:48] 529*2^829421-1 is not prime. Res64: D34A949B0C544303 Time : 712.0 sec. user=vaughan [2010-06-13 22:48:30] 525*2^829421-1 is not prime. Res64: 754CF23F570D8860 Time : 946.0 sec. user=vaughan [2010-06-13 22:48:56] 493*2^829423-1 is not prime. Res64: 8A9C0F4A770E6FA2 Time : 705.0 sec. user=vaughan [2010-06-13 22:49:02] 539*2^829420-1 is not prime. Res64: 16BCC00343CFE943 Time : 1105.0 sec. user=vaughan [2010-06-13 22:49:07] 591*2^829405-1 is not prime. Res64: 3E1E0850DBB3243A Time : 4605.0 sec. user=Flatlander [2010-06-13 22:49:54] 445*2^829379-1 is not prime. Res64: F0C2BFF45D9AD142 Time : 8989.0 sec. user=Flatlander [2010-06-13 22:49:54] 483*2^829380-1 is not prime. Res64: D4ED28FE2B7C5CA8 Time : 8988.0 sec. user=Flatlander [2010-06-13 22:49:55] 585*2^829380-1 is not prime. Res64: CA595219F7CFA0C0 Time : 8987.0 sec. user=Flatlander [2010-06-13 22:49:55] 593*2^829380-1 is not prime. Res64: 2B69F79C21855FD8 Time : 8986.0 sec. user=Flatlander [2010-06-13 22:49:55] 411*2^829381-1 is not prime. Res64: D62F3E0403967AF5 Time : 8985.0 sec. user=vaughan [2010-06-13 22:51:33] 577*2^829413-1 is not prime. Res64: 4A0EE0E3CD94A61E Time : 2519.0 sec. user=vaughan [2010-06-13 22:52:49] 537*2^829421-1 is not prime. Res64: 5BBE0BB27AEF6D10 Time : 1023.0 sec. user=vaughan [2010-06-13 22:53:53] 453*2^829423-1 is not prime. Res64: F17C26A3A9D0C01E Time : 1008.0 sec. user=vaughan [2010-06-13 22:55:38] 425*2^829424-1 is not prime. Res64: 17409C5012003532 Time : 712.0 sec. user=vaughan [2010-06-13 22:55:56] 511*2^829423-1 is not prime. Res64: E4733925D85AFF12 Time : 947.0 sec. user=vaughan [2010-06-13 22:56:43] 553*2^829423-1 is not prime. Res64: 6737982D2F517999 Time : 946.0 sec. user=vaughan [2010-06-13 22:58:35] 589*2^829423-1 is not prime. Res64: 366EEEF29B20F51E Time : 1011.0 sec. user=vaughan [2010-06-13 22:58:39] 587*2^829426-1 is not prime. Res64: BA8FAFF36398EB7C Time : 711.0 sec. user=vaughan [2010-06-13 22:58:57] 549*2^829423-1 is not prime. Res64: 127738B1DDDF6EBD Time : 1105.0 sec. user=vaughan [2010-06-13 22:59:55] 417*2^829424-1 is not prime. Res64: 14C4DCA23D6C0B8F Time : 1035.0 sec. user=vaughan [2010-06-13 23:00:43] 475*2^829427-1 is not prime. Res64: 69804116D017A67A Time : 707.0 sec. user=vaughan [2010-06-13 23:00:46] 589*2^829417-1 is not prime. Res64: 54B7BFDA793AE36D Time : 2413.0 sec. user=vaughan [2010-06-13 23:01:28] 551*2^829426-1 is not prime. Res64: EBA786D45BFE4B20 Time : 982.0 sec. user=vaughan [2010-06-13 23:01:48] 531*2^829426-1 is not prime. Res64: 980E4D5C3612EEEC Time : 1038.0 sec. user=vaughan [2010-06-13 23:01:53] 561*2^829426-1 is not prime. Res64: 1F8BC6DD30E0635C Time : 977.0 sec. user=vaughan [2010-06-13 23:02:44] 567*2^829426-1 is not prime. Res64: 197E1FB8FDE776FB Time : 974.0 sec. user=vaughan [2010-06-13 23:04:17] 463*2^829427-1 is not prime. Res64: 5637ED5DCD9E6E0A Time : 947.0 sec. user=vaughan [2010-06-13 23:07:10] 493*2^829427-1 is not prime. Res64: F724EC5B0917CD46 Time : 1089.0 sec. user=vaughan [2010-06-13 23:07:27] 507*2^829429-1 is not prime. Res64: 5F939E96151C1196 Time : 709.0 sec. user=vaughan [2010-06-13 23:09:43] 477*2^829429-1 is not prime. Res64: 1E8F7180F663C012 Time : 1015.0 sec. user=vaughan [2010-06-13 23:10:28] 545*2^829430-1 is not prime. Res64: 158C27D6427CCEE2 Time : 710.0 sec. user=vaughan [2010-06-13 23:10:41] 495*2^829429-1 is not prime. Res64: 90C36CE153B42ECF Time : 1008.0 sec. user=vaughan [2010-06-13 23:11:42] 537*2^829429-1 is not prime. Res64: AAC40E0B524B1C22 Time : 947.0 sec. user=vaughan [2010-06-13 23:12:28] 577*2^829429-1 is not prime. Res64: E3A578E24C6F85F4 Time : 945.0 sec. user=vaughan [2010-06-13 23:12:30] 595*2^829431-1 is not prime. Res64: 5920BA4C9D8FED08 Time : 707.0 sec. user=vaughan [2010-06-13 23:15:26] 525*2^829430-1 is not prime. Res64: 848E48E6FB4C4767 Time : 1011.0 sec. user=vaughan [2010-06-13 23:16:55] 557*2^829430-1 is not prime. Res64: 5B405E06DE2D85C0 Time : 1078.0 sec. user=vaughan [2010-06-13 23:17:10] 489*2^829431-1 is not prime. Res64: 938066B7F7FFEB63 Time : 1035.0 sec. user=vaughan [2010-06-13 23:17:50] 467*2^829432-1 is not prime. Res64: F7124EB880E2FDFB Time : 983.0 sec. user=vaughan [2010-06-13 23:18:10] 525*2^829432-1 is not prime. Res64: 4654CCED90AF7B87 Time : 977.0 sec. user=vaughan [2010-06-13 23:18:48] 539*2^829432-1 is not prime. Res64: C669E92F32925893 Time : 965.0 sec. user=vaughan [2010-06-13 23:19:08] 495*2^829432-1 is not prime. Res64: EDBB529AEBBCC74F Time : 1040.0 sec. user=vaughan [2010-06-13 23:19:18] 567*2^829433-1 is not prime. Res64: AA9B97E44951F5BB Time : 711.0 sec. user=vaughan [2010-06-13 23:20:03] 573*2^829432-1 is not prime. Res64: 7022F98EB1034533 Time : 947.0 sec. user=vaughan [2010-06-13 23:22:18] 503*2^829434-1 is not prime. Res64: C97AD7207F7B460A Time : 710.0 sec. user=vaughan [2010-06-13 23:24:16] 471*2^829435-1 is not prime. Res64: F293AF70C8BC8960 Time : 707.0 sec. user=vaughan [2010-06-13 23:24:58] 435*2^829429-1 is not prime. Res64: DBA655871B9B11D2 Time : 2005.0 sec. user=vaughan [2010-06-13 23:25:34] 411*2^829433-1 is not prime. Res64: 490DA7E6E329B808 Time : 1104.0 sec. user=vaughan [2010-06-13 23:26:46] 447*2^829434-1 is not prime. Res64: 691D68C3F7DBA719 Time : 1023.0 sec. user=vaughan [2010-06-13 23:26:57] 559*2^829421-1 is not prime. Res64: A5B47961DCE6A2AA Time : 3039.0 sec. user=vaughan [2010-06-13 23:27:28] 543*2^829434-1 is not prime. Res64: CCA148C3863076EB Time : 1008.0 sec. user=vaughan [2010-06-13 23:27:29] 593*2^829434-1 is not prime. Res64: 8FBEAAE228E5E053 Time : 947.0 sec. user=vaughan [2010-06-13 23:28:14] 429*2^829435-1 is not prime. Res64: 879C91983120A593 Time : 946.0 sec. user=vaughan [2010-06-13 23:31:07] 563*2^829436-1 is not prime. Res64: 682F70AB2E3905F5 Time : 710.0 sec. user=vaughan [2010-06-13 23:32:16] 475*2^829435-1 is not prime. Res64: FE561D083B1C7CF5 Time : 1011.0 sec. user=vaughan [2010-06-13 23:34:05] 405*2^829432-1 is not prime. Res64: 1F781D7CD91DA05D Time : 1999.0 sec. user=vaughan [2010-06-13 23:34:07] 451*2^829437-1 is not prime. Res64: DE1BCAA4C58CAC72 Time : 709.0 sec. user=vaughan [2010-06-13 23:34:10] 435*2^829436-1 is not prime. Res64: 502430690A55DFDC Time : 981.0 sec. user=vaughan [2010-06-13 23:34:27] 479*2^829436-1 is not prime. Res64: 3E3964D0748DCFDF Time : 977.0 sec. user=vaughan [2010-06-13 23:35:00] 503*2^829436-1 is not prime. Res64: 93EBFA9832CC2587 Time : 972.0 sec. user=vaughan [2010-06-13 23:35:20] 495*2^829435-1 is not prime. Res64: 302D957356FC3253 Time : 1105.0 sec. user=vaughan [2010-06-13 23:35:50] 409*2^829437-1 is not prime. Res64: 602B141CB2312586 Time : 947.0 sec. user=vaughan [2010-06-13 23:36:02] 495*2^829437-1 is not prime. Res64: CA7615AFCF69F6D4 Time : 707.0 sec. user=vaughan [2010-06-13 23:36:48] 523*2^829427-1 is not prime. Res64: 44EA14F4A9B6E788 Time : 2861.0 sec. user=vaughan [2010-06-13 23:42:56] 429*2^829440-1 is not prime. Res64: 9E08CBA845A961C0 Time : 709.0 sec. user=vaughan [2010-06-13 23:43:15] 571*2^829439-1 is not prime. Res64: B0B14693A3D4BE5A Time : 946.0 sec. user=vaughan [2010-06-13 23:43:48] 435*2^829438-1 is not prime. Res64: E8ECEA0BFC40E419 Time : 1023.0 sec. user=vaughan [2010-06-13 23:43:57] 413*2^829438-1 is not prime. Res64: D0FCE9A8440A89A0 Time : 1104.0 sec. user=vaughan [2010-06-13 23:43:59] 425*2^829440-1 is not prime. Res64: F3D169CDCF8A3612 Time : 945.0 sec. user=vaughan [2010-06-13 23:44:17] 433*2^829439-1 is not prime. Res64: 61AB56EC4C8A0AEF Time : 1009.0 sec. user=vaughan [2010-06-13 23:45:56] 421*2^829441-1 is not prime. Res64: F329C2E274C0C51D Time : 709.0 sec. user=vaughan [2010-06-13 23:46:57] 579*2^829435-1 is not prime. Res64: 74149A37D1FBFFE3 Time : 1787.0 sec. user=vaughan [2010-06-13 23:47:47] 445*2^829443-1 is not prime. Res64: 2BB44F3488D3EBD6 Time : 705.0 sec. user=vaughan [2010-06-13 23:48:22] 539*2^829436-1 is not prime. Res64: AD1712570331EB2A Time : 1754.0 sec. user=vaughan [2010-06-13 23:49:07] 455*2^829440-1 is not prime. Res64: 60695120CBDEE766 Time : 1011.0 sec. user=vaughan [2010-06-13 23:50:31] 405*2^829442-1 is not prime. Res64: 4D354A2FEB3C4E44 Time : 981.0 sec. user=vaughan [2010-06-13 23:50:44] 417*2^829442-1 is not prime. Res64: 7EABE8A2B3C71180 Time : 977.0 sec. user=vaughan [2010-06-13 23:51:15] 503*2^829442-1 is not prime. Res64: C8390CD33AC9331D Time : 975.0 sec. user=vaughan [2010-06-13 23:51:35] 587*2^829442-1 is not prime. Res64: 81750196EECC3364 Time : 945.0 sec. user=vaughan [2010-06-13 23:53:45] 521*2^829442-1 is not prime. Res64: F8C1171EE214DBA3 Time : 1105.0 sec. user=vaughan [2010-06-13 23:54:45] 483*2^829443-1 is not prime. Res64: 5C86B8FAF5EDF4A9 Time : 709.0 sec. user=Flatlander [2010-06-13 23:56:29] 465*2^829425-1 is not prime. Res64: 625B59A2543AFE3F Time : 4346.0 sec. user=Flatlander [2010-06-13 23:56:30] 535*2^829425-1 is not prime. Res64: 06896F60D39E374E Time : 4345.0 sec. user=Flatlander [2010-06-13 23:56:30] 413*2^829426-1 is not prime. Res64: AF8928F0039BDAE7 Time : 4344.0 sec. user=Flatlander [2010-06-13 23:56:31] 447*2^829426-1 is not prime. Res64: BF5ED8A491B6A793 Time : 4343.0 sec. user=Flatlander [2010-06-13 23:56:32] 503*2^829426-1 is not prime. Res64: FF511C4C8ABF7891 Time : 4343.0 sec. user=vaughan [2010-06-13 23:57:45] 533*2^829444-1 is not prime. Res64: 49AF81AA86031BA1 Time : 710.0 sec. user=vaughan [2010-06-13 23:59:02] 529*2^829443-1 is not prime. Res64: 701473E05202092B Time : 947.0 sec. user=vaughan [2010-06-13 23:59:33] 405*2^829445-1 is not prime. Res64: A93725C1021CD08A Time : 706.0 sec. user=vaughan [2010-06-13 23:59:45] 435*2^829444-1 is not prime. Res64: A3ADE1F650D1675F Time : 946.0 sec. user=Flatlander [2010-06-13 23:59:53] 501*2^829406-1 is not prime. Res64: AD447D080AA38743 Time : 8838.0 sec. user=Flatlander [2010-06-13 23:59:53] 521*2^829406-1 is not prime. Res64: 72D500FBA23109AE Time : 8837.0 sec. user=Flatlander [2010-06-13 23:59:54] 545*2^829406-1 is not prime. Res64: F90850FBF2EA39AF Time : 8837.0 sec. user=Flatlander [2010-06-13 23:59:55] 557*2^829406-1 is not prime. Res64: 0FB068EEEAB66FA6 Time : 8837.0 sec. user=Flatlander [2010-06-13 23:59:55] 489*2^829407-1 is not prime. Res64: 5A5CCF753FBEA0A0 Time : 8835.0 sec. user=vaughan [2010-06-14 00:00:54] 541*2^829443-1 is not prime. Res64: 2BCD79F09A3913AD Time : 1026.0 sec.