user=vaughan [2010-06-11 00:01:40] 447*2^828006-1 is not prime. Res64: A99F55C08E338927 Time : 944.0 sec. user=kar_bon [2010-06-11 00:04:31] 587*2^828006-1 is not prime. Res64: DD44FB6DAF856BB2 Time : 904.0 sec. user=vaughan [2010-06-11 00:05:22] 483*2^828006-1 is not prime. Res64: F50EA41B377EAC41 Time : 1026.0 sec. user=vaughan [2010-06-11 00:06:32] 593*2^828006-1 is not prime. Res64: 7B54878059A080EE Time : 1003.0 sec. user=kar_bon [2010-06-11 00:09:25] 597*2^828009-1 is not prime. Res64: 946C82BE89F62A81 Time : 916.0 sec. user=vaughan [2010-06-11 00:09:51] 507*2^828009-1 is not prime. Res64: 4F9B6C80FC684616 Time : 996.0 sec. user=vaughan [2010-06-11 00:09:53] 533*2^828010-1 is not prime. Res64: 943758870F4308F3 Time : 943.0 sec. user=vaughan [2010-06-11 00:11:09] 561*2^828010-1 is not prime. Res64: 764200D6B44654F6 Time : 974.0 sec. user=kar_bon [2010-06-11 00:11:18] 421*2^828011-1 is not prime. Res64: 8EFBE35C418E0D4E Time : 906.0 sec. user=vaughan [2010-06-11 00:14:21] 423*2^828012-1 is not prime. Res64: 6602AF38076ECA55 Time : 946.0 sec. user=vaughan [2010-06-11 00:17:25] 549*2^828012-1 is not prime. Res64: 3B6BEA572F78D119 Time : 945.0 sec. user=kar_bon [2010-06-11 00:21:17] 411*2^828013-1 is not prime. Res64: 39B950D9FF5DAF7F Time : 1006.0 sec. user=vaughan [2010-06-11 00:21:41] 585*2^828003-1 is not prime. Res64: 858EE27C9077EA79 Time : 2824.0 sec. user=vaughan [2010-06-11 00:21:45] 437*2^828004-1 is not prime. Res64: FEB3485FC7A80D41 Time : 2826.0 sec. user=vaughan [2010-06-11 00:21:54] 465*2^828004-1 is not prime. Res64: 615B65BA5EDDDA7E Time : 2832.0 sec. user=vaughan [2010-06-11 00:22:29] 477*2^828013-1 is not prime. Res64: 983837DF4F6079CF Time : 1027.0 sec. user=vaughan [2010-06-11 00:23:15] 511*2^828013-1 is not prime. Res64: 84C1C9604B844F1F Time : 1003.0 sec. user=vaughan [2010-06-11 00:24:59] 459*2^828012-1 is not prime. Res64: 5B35845DFF4BB14C Time : 1559.0 sec. user=vaughan [2010-06-11 00:25:37] 565*2^828013-1 is not prime. Res64: A7CC338DCA35922F Time : 944.0 sec. user=vaughan [2010-06-11 00:26:28] 561*2^828013-1 is not prime. Res64: 3FC60FB725EE72FB Time : 997.0 sec. user=vaughan [2010-06-11 00:27:24] 447*2^828014-1 is not prime. Res64: BD414D131BD2E1C3 Time : 975.0 sec. user=kar_bon [2010-06-11 00:27:48] 549*2^828013-1 is not prime. Res64: 06177313A96BFCDE Time : 1103.0 sec. user=kar_bon [2010-06-11 00:29:44] 483*2^828014-1 is not prime. Res64: C16D03DABD7B4786 Time : 1106.0 sec. user=vaughan [2010-06-11 00:30:06] 557*2^828014-1 is not prime. Res64: 447ADF999F46A197 Time : 945.0 sec. user=vaughan [2010-06-11 00:33:09] 575*2^828014-1 is not prime. Res64: 90197E358DCE16CF Time : 945.0 sec. user=vaughan [2010-06-11 00:39:34] 523*2^828015-1 is not prime. Res64: 5811E05488536E87 Time : 1026.0 sec. user=vaughan [2010-06-11 00:39:58] 437*2^828016-1 is not prime. Res64: E7812EB9C3FA3D99 Time : 1003.0 sec. user=vaughan [2010-06-11 00:41:20] 483*2^828016-1 is not prime. Res64: 81936B1C0EAC3D13 Time : 943.0 sec. user=kar_bon [2010-06-11 00:41:21] 593*2^828014-1 is not prime. Res64: 28A683B221879923 Time : 1204.0 sec. user=vaughan [2010-06-11 00:43:04] 567*2^828016-1 is not prime. Res64: 510CF81A5D815594 Time : 997.0 sec. user=vaughan [2010-06-11 00:43:38] 569*2^828016-1 is not prime. Res64: 97B3E19779E258C2 Time : 975.0 sec. user=vaughan [2010-06-11 00:45:50] 567*2^828017-1 is not prime. Res64: 4C9361438EEE5B0E Time : 945.0 sec. user=kar_bon [2010-06-11 00:46:01] 575*2^828016-1 is not prime. Res64: 70B129547DF76A33 Time : 1093.0 sec. user=kar_bon [2010-06-11 00:47:41] 435*2^828017-1 is not prime. Res64: A49BCC446C7B8731 Time : 1077.0 sec. user=vaughan [2010-06-11 00:48:54] 431*2^828018-1 is not prime. Res64: 999749C1838D8118 Time : 945.0 sec. user=Flatlander [2010-06-11 00:50:58] 427*2^827997-1 is not prime. Res64: C28616227119C324 Time : 5742.0 sec. user=Flatlander [2010-06-11 00:50:59] 465*2^827997-1 is not prime. Res64: BC6F3AD16B9AA3E9 Time : 5742.0 sec. user=Flatlander [2010-06-11 00:51:00] 499*2^827997-1 is not prime. Res64: 68AD32BC55CB75EE Time : 5742.0 sec. user=Flatlander [2010-06-11 00:51:01] 555*2^827997-1 is not prime. Res64: 852F6FC623038727 Time : 5743.0 sec. user=Flatlander [2010-06-11 00:51:01] 527*2^827998-1 is not prime. Res64: 60AC00FB6D653C98 Time : 5742.0 sec. user=Flatlander [2010-06-11 00:55:51] 469*2^828005-1 is not prime. Res64: 679111D763A0966F Time : 4495.0 sec. user=Flatlander [2010-06-11 00:55:52] 475*2^828005-1 is not prime. Res64: ED1F6B7EC9D67281 Time : 4495.0 sec. user=Flatlander [2010-06-11 00:55:53] 525*2^828005-1 is not prime. Res64: A384A2AFC1CC932D Time : 4495.0 sec. user=Flatlander [2010-06-11 00:55:53] 585*2^828005-1 is not prime. Res64: 0527337CB7C156CC Time : 4495.0 sec. user=Flatlander [2010-06-11 00:55:54] 405*2^828006-1 is not prime. Res64: 2ED64221F28CBE70 Time : 4495.0 sec. user=Flatlander [2010-06-11 00:56:22] 531*2^827999-1 is not prime. Res64: E10F57D8E81E06D5 Time : 5814.0 sec. user=Flatlander [2010-06-11 00:56:22] 425*2^828000-1 is not prime. Res64: 3C49ED6A403F8891 Time : 5813.0 sec. user=Flatlander [2010-06-11 00:56:23] 479*2^828000-1 is not prime. Res64: AFA52BC2A434FF6E Time : 5814.0 sec. user=Flatlander [2010-06-11 00:56:24] 525*2^828000-1 is not prime. Res64: D12A79CF4793072D Time : 5815.0 sec. user=Flatlander [2010-06-11 00:56:25] 543*2^828000-1 is not prime. Res64: F5571D753A1993C7 Time : 5815.0 sec. user=kar_bon [2010-06-11 00:56:36] 411*2^828019-1 is not prime. Res64: 60BEEF0382B3A501 Time : 914.0 sec. user=vaughan [2010-06-11 00:56:41] 483*2^828018-1 is not prime. Res64: 80936ED9DB471961 Time : 1004.0 sec. user=vaughan [2010-06-11 00:56:41] 471*2^828018-1 is not prime. Res64: 69273C7ECF8B7AFF Time : 1027.0 sec. user=vaughan [2010-06-11 00:57:05] 497*2^828018-1 is not prime. Res64: 0E1C74F7687D6B15 Time : 945.0 sec. user=vaughan [2010-06-11 00:57:33] 455*2^828016-1 is not prime. Res64: CD7F9484C7A5A23A Time : 1955.0 sec. user=vaughan [2010-06-11 00:59:41] 433*2^828019-1 is not prime. Res64: AFF7A8B73DC68033 Time : 998.0 sec. user=vaughan [2010-06-11 00:59:53] 495*2^828019-1 is not prime. Res64: DBA2D4F9DCEAF5CB Time : 975.0 sec. user=kar_bon [2010-06-11 01:01:08] 585*2^828020-1 is not prime. Res64: F1AD185C1B588366 Time : 906.0 sec. user=vaughan [2010-06-11 01:01:34] 589*2^828019-1 is not prime. Res64: 2872699C3812DBE4 Time : 944.0 sec. user=vaughan [2010-06-11 01:02:01] 507*2^828006-1 is not prime. Res64: 85CEFA4754E712D0 Time : 4382.0 sec. user=kar_bon [2010-06-11 01:02:59] 465*2^828021-1 is not prime. Res64: 6CAEE6F809FFA3ED Time : 918.0 sec. user=vaughan [2010-06-11 01:04:38] 531*2^828021-1 is not prime. Res64: 23F0B96EC00EF2D2 Time : 944.0 sec. user=vaughan [2010-06-11 01:08:42] 581*2^828010-1 is not prime. Res64: 2E86BD5EB7592680 Time : 4385.0 sec. user=kar_bon [2010-06-11 01:11:43] 511*2^828025-1 is not prime. Res64: 2316AD0055F6042D Time : 906.0 sec. user=vaughan [2010-06-11 01:12:48] 497*2^828026-1 is not prime. Res64: E5B6BA3CAC560846 Time : 944.0 sec. user=vaughan [2010-06-11 01:13:24] 525*2^828025-1 is not prime. Res64: 66E8F0241B3FE54B Time : 1003.0 sec. user=vaughan [2010-06-11 01:13:47] 407*2^828026-1 is not prime. Res64: 3516FA1AD5479F63 Time : 1026.0 sec. user=vaughan [2010-06-11 01:16:08] 511*2^828027-1 is not prime. Res64: EC63EB04354A511F Time : 976.0 sec. user=vaughan [2010-06-11 01:16:17] 561*2^828026-1 is not prime. Res64: FAAB6DA21386E568 Time : 996.0 sec. user=kar_bon [2010-06-11 01:16:22] 437*2^828028-1 is not prime. Res64: 92264A03B5975718 Time : 914.0 sec. user=vaughan [2010-06-11 01:17:19] 597*2^828028-1 is not prime. Res64: 89B18BE40B1C23BE Time : 945.0 sec. user=kar_bon [2010-06-11 01:18:09] 477*2^828029-1 is not prime. Res64: D0207DAC4C711742 Time : 910.0 sec. user=vaughan [2010-06-11 01:18:49] 481*2^828015-1 is not prime. Res64: C62A45B0FF3C87D3 Time : 3415.0 sec. user=vaughan [2010-06-11 01:19:49] 459*2^828015-1 is not prime. Res64: 22A28ED7AAFEDF31 Time : 3484.0 sec. user=vaughan [2010-06-11 01:20:23] 507*2^828029-1 is not prime. Res64: 407CA09638CB1375 Time : 945.0 sec. user=vaughan [2010-06-11 01:21:15] 429*2^828015-1 is not prime. Res64: 5F6D7D4D7F100DD7 Time : 3574.0 sec. user=Flatlander [2010-06-11 01:25:11] 595*2^828007-1 is not prime. Res64: 529FB8296570F5DF Time : 5564.0 sec. user=Flatlander [2010-06-11 01:25:12] 449*2^828008-1 is not prime. Res64: 3997B28B49D2BB2A Time : 5564.0 sec. user=Flatlander [2010-06-11 01:25:12] 465*2^828008-1 is not prime. Res64: 1302CEBFC1ED57FC Time : 5563.0 sec. user=Flatlander [2010-06-11 01:25:13] 515*2^828008-1 is not prime. Res64: 8931289DADF895BB Time : 5563.0 sec. user=Flatlander [2010-06-11 01:25:14] 585*2^828008-1 is not prime. Res64: 9BCFC14E25EFC41F Time : 5563.0 sec. user=kar_bon [2010-06-11 01:27:01] 577*2^828029-1 is not prime. Res64: C045171C64D80DFB Time : 917.0 sec. user=vaughan [2010-06-11 01:28:32] 443*2^828030-1 is not prime. Res64: 978DF54271BD71F7 Time : 944.0 sec. user=vaughan [2010-06-11 01:30:07] 453*2^828030-1 is not prime. Res64: FA9C26EDC6982EDF Time : 1003.0 sec. user=vaughan [2010-06-11 01:30:52] 503*2^828030-1 is not prime. Res64: DD197F64DA52092F Time : 1026.0 sec. user=kar_bon [2010-06-11 01:31:32] 531*2^828031-1 is not prime. Res64: B7DC2E51E425B453 Time : 910.0 sec. user=vaughan [2010-06-11 01:32:22] 475*2^828031-1 is not prime. Res64: 5C9DB269EDF8ED62 Time : 974.0 sec. user=vaughan [2010-06-11 01:32:52] 489*2^828031-1 is not prime. Res64: CF1B1E13450E5E3C Time : 995.0 sec. user=vaughan [2010-06-11 01:32:53] 433*2^828003-1 is not prime. Res64: 952375AE8A3D2D8B Time : 7110.0 sec. user=vaughan [2010-06-11 01:33:03] 555*2^828031-1 is not prime. Res64: F80164C87825EB7F Time : 944.0 sec. user=kar_bon [2010-06-11 01:33:21] 559*2^828031-1 is not prime. Res64: 403E3B3D57BADF6A Time : 912.0 sec. user=vaughan [2010-06-11 01:34:21] 585*2^828002-1 is not prime. Res64: 3952CD0A00108C7C Time : 7200.0 sec. user=vaughan [2010-06-11 01:36:07] 489*2^828032-1 is not prime. Res64: 7D02CC509522E052 Time : 945.0 sec. user=vaughan [2010-06-11 01:38:46] 447*2^828032-1 is not prime. Res64: B9EE14D57F59216A Time : 1197.0 sec. user=vaughan [2010-06-11 01:40:15] 537*2^828026-1 is not prime. Res64: 0203353141FB0938 Time : 2562.0 sec. user=kar_bon [2010-06-11 01:42:18] 571*2^828033-1 is not prime. Res64: A3716CD1BB6ADAD5 Time : 917.0 sec. user=vaughan [2010-06-11 01:43:50] 467*2^828032-1 is not prime. Res64: 3634E52156813C0D Time : 1441.0 sec. user=vaughan [2010-06-11 01:44:15] 491*2^828034-1 is not prime. Res64: 9867C7AFD0FAE468 Time : 944.0 sec. user=kar_bon [2010-06-11 01:46:38] 441*2^828035-1 is not prime. Res64: 93B20FE3A9268336 Time : 906.0 sec. user=vaughan [2010-06-11 01:46:49] 495*2^828034-1 is not prime. Res64: 365564D988D7F4FC Time : 1003.0 sec. user=vaughan [2010-06-11 01:47:57] 567*2^828034-1 is not prime. Res64: 828B2792F645E1C5 Time : 1026.0 sec. user=kar_bon [2010-06-11 01:48:26] 489*2^828035-1 is not prime. Res64: F8207B58237421A2 Time : 905.0 sec. user=vaughan [2010-06-11 01:48:36] 453*2^828035-1 is not prime. Res64: B8066AB6E9EEFB87 Time : 975.0 sec. user=vaughan [2010-06-11 01:48:48] 481*2^828035-1 is not prime. Res64: 513C4DACCAE934CA Time : 945.0 sec. user=vaughan [2010-06-11 01:49:29] 465*2^828035-1 is not prime. Res64: 867C5180DA23ADE9 Time : 997.0 sec. user=vaughan [2010-06-11 01:51:52] 473*2^828036-1 is not prime. Res64: 42A7A2566EE4278C Time : 945.0 sec. user=kar_bon [2010-06-11 01:57:27] 489*2^828037-1 is not prime. Res64: 1D85079D8B2DDDA3 Time : 909.0 sec. user=vaughan [2010-06-11 01:59:15] 507*2^828032-1 is not prime. Res64: F83E77CBC533015B Time : 2280.0 sec. user=vaughan [2010-06-11 01:59:59] 555*2^828037-1 is not prime. Res64: 9B3C6080B7B27D03 Time : 944.0 sec. user=kar_bon [2010-06-11 02:01:42] 565*2^828037-1 is not prime. Res64: B60B3B8A306CD46F Time : 904.0 sec. user=vaughan [2010-06-11 02:01:47] 527*2^828036-1 is not prime. Res64: 3D1C346D9D483490 Time : 1381.0 sec. user=vaughan [2010-06-11 02:03:32] 417*2^828038-1 is not prime. Res64: F69EA42A5DCE36A0 Time : 1003.0 sec. user=kar_bon [2010-06-11 02:03:43] 431*2^828038-1 is not prime. Res64: 0B1DDCA37C8D9C68 Time : 916.0 sec. user=vaughan [2010-06-11 02:03:53] 417*2^828029-1 is not prime. Res64: A35B8506A743DAAD Time : 3712.0 sec. user=vaughan [2010-06-11 02:04:32] 533*2^828038-1 is not prime. Res64: AEC3F7A47449CEC3 Time : 944.0 sec. user=vaughan [2010-06-11 02:04:51] 453*2^828038-1 is not prime. Res64: EE044B5FDE5B834C Time : 975.0 sec. user=vaughan [2010-06-11 02:05:02] 425*2^828038-1 is not prime. Res64: 86BC1F253CD448FE Time : 1025.0 sec. user=vaughan [2010-06-11 02:06:06] 441*2^828039-1 is not prime. Res64: 7431FE85143AEEA6 Time : 998.0 sec. user=vaughan [2010-06-11 02:07:37] 471*2^828039-1 is not prime. Res64: 6D7BA2237102003E Time : 945.0 sec. user=vaughan [2010-06-11 02:07:56] 507*2^828037-1 is not prime. Res64: B3D80CEF36E734EC Time : 1446.0 sec. user=vaughan [2010-06-11 02:10:14] 559*2^828029-1 is not prime. Res64: CE3E46C07EF7A056 Time : 3692.0 sec. user=Flatlander [2010-06-11 02:12:18] 585*2^828023-1 is not prime. Res64: C44DC0786196BE28 Time : 4551.0 sec. user=Flatlander [2010-06-11 02:12:19] 473*2^828024-1 is not prime. Res64: 95D122435363973E Time : 4551.0 sec. user=Flatlander [2010-06-11 02:12:20] 479*2^828024-1 is not prime. Res64: B39FA6A03A44AAC6 Time : 4550.0 sec. user=Flatlander [2010-06-11 02:12:21] 569*2^828024-1 is not prime. Res64: A789F2A52B7DF383 Time : 4550.0 sec. user=Flatlander [2010-06-11 02:12:22] 409*2^828025-1 is not prime. Res64: C62F8507F4F6A779 Time : 4549.0 sec. user=kar_bon [2010-06-11 02:12:31] 543*2^828039-1 is not prime. Res64: ECABDD6488759C13 Time : 904.0 sec. user=vaughan [2010-06-11 02:15:43] 495*2^828040-1 is not prime. Res64: C0CF1154899048C4 Time : 944.0 sec. user=kar_bon [2010-06-11 02:16:51] 527*2^828040-1 is not prime. Res64: 4EFDE0E354CC38B1 Time : 909.0 sec. user=vaughan [2010-06-11 02:18:04] 579*2^828036-1 is not prime. Res64: 4896212D01837529 Time : 2270.0 sec. user=kar_bon [2010-06-11 02:18:53] 405*2^828041-1 is not prime. Res64: 9D2C10D0735393E4 Time : 910.0 sec. user=vaughan [2010-06-11 02:20:06] 593*2^828040-1 is not prime. Res64: B149CE026F04FB78 Time : 1044.0 sec. user=vaughan [2010-06-11 02:20:15] 597*2^828040-1 is not prime. Res64: 9B0A04906D21CF62 Time : 1003.0 sec. user=vaughan [2010-06-11 02:20:18] 537*2^828041-1 is not prime. Res64: CBA7ACC1FBDF9A5C Time : 946.0 sec. user=vaughan [2010-06-11 02:20:18] 587*2^828040-1 is not prime. Res64: 75F1367F396F5CD4 Time : 1060.0 sec. user=vaughan [2010-06-11 02:21:05] 401*2^828042-1 is not prime. Res64: F5545C8A85E3BF17 Time : 975.0 sec. user=vaughan [2010-06-11 02:22:08] 417*2^828042-1 is not prime. Res64: 273191619EBA19EF Time : 1026.0 sec. user=vaughan [2010-06-11 02:22:42] 425*2^828042-1 is not prime. Res64: 2FF691C64F3389B7 Time : 996.0 sec. user=vaughan [2010-06-11 02:23:21] 567*2^828042-1 is not prime. Res64: A6703B609A2052D6 Time : 945.0 sec. user=vaughan [2010-06-11 02:26:59] 539*2^828040-1 is not prime. Res64: FA488172B02356E1 Time : 1512.0 sec. user=kar_bon [2010-06-11 02:27:45] 557*2^828044-1 is not prime. Res64: 354AFC8F14317EF4 Time : 914.0 sec. user=vaughan [2010-06-11 02:31:26] 573*2^828044-1 is not prime. Res64: 7C0FB7F19868BA2D Time : 944.0 sec. user=kar_bon [2010-06-11 02:32:15] 429*2^828045-1 is not prime. Res64: 3CAC90D09FDC9631 Time : 923.0 sec. user=vaughan [2010-06-11 02:33:51] 585*2^828042-1 is not prime. Res64: 466372E3847FC875 Time : 1556.0 sec. user=kar_bon [2010-06-11 02:34:09] 577*2^828045-1 is not prime. Res64: 4DBB4088689F6DC3 Time : 916.0 sec. user=vaughan [2010-06-11 02:34:17] 479*2^828040-1 is not prime. Res64: 3FDDA149DEF1D6D4 Time : 2103.0 sec. user=vaughan [2010-06-11 02:36:03] 519*2^828047-1 is not prime. Res64: 34B2C89539CF0079 Time : 946.0 sec. user=Flatlander [2010-06-11 02:36:24] 571*2^828021-1 is not prime. Res64: 8ACF7E2E38AA2064 Time : 6321.0 sec. user=Flatlander [2010-06-11 02:36:25] 435*2^828022-1 is not prime. Res64: B129D70770A55FE5 Time : 6320.0 sec. user=Flatlander [2010-06-11 02:36:26] 495*2^828022-1 is not prime. Res64: 7254BE366FDF342D Time : 6320.0 sec. user=Flatlander [2010-06-11 02:36:27] 533*2^828022-1 is not prime. Res64: 49F9C565F2A395C4 Time : 6319.0 sec. user=Flatlander [2010-06-11 02:36:28] 591*2^828022-1 is not prime. Res64: 615D2AA9CF54D074 Time : 6318.0 sec. user=vaughan [2010-06-11 02:36:57] 453*2^828047-1 is not prime. Res64: 84320E1BB2A86894 Time : 1003.0 sec. user=vaughan [2010-06-11 02:37:20] 489*2^828048-1 is not prime. Res64: F6586DDB736CD1B4 Time : 975.0 sec. user=vaughan [2010-06-11 02:37:25] 439*2^828047-1 is not prime. Res64: 7B05815E3BC344F7 Time : 1039.0 sec. user=vaughan [2010-06-11 02:37:41] 413*2^828048-1 is not prime. Res64: 2548766A7DB652CC Time : 1043.0 sec. user=vaughan [2010-06-11 02:39:06] 441*2^828049-1 is not prime. Res64: E9580A36A04DF7DE Time : 945.0 sec. user=vaughan [2010-06-11 02:39:12] 509*2^828048-1 is not prime. Res64: 86AFE33ABF4271C2 Time : 1025.0 sec. user=vaughan [2010-06-11 02:39:18] 557*2^828048-1 is not prime. Res64: 98685FA5C035D3CF Time : 996.0 sec. user=Flatlander [2010-06-11 02:40:15] 563*2^828032-1 is not prime. Res64: EB7A47EF30E401D7 Time : 4500.0 sec. user=Flatlander [2010-06-11 02:40:16] 409*2^828033-1 is not prime. Res64: C15270D0BEA59C98 Time : 4499.0 sec. user=Flatlander [2010-06-11 02:40:17] 439*2^828033-1 is not prime. Res64: 9B5E87F1CC14931B Time : 4498.0 sec. user=Flatlander [2010-06-11 02:40:17] 487*2^828033-1 is not prime. Res64: 29693EB8BF649270 Time : 4497.0 sec. user=Flatlander [2010-06-11 02:40:18] 549*2^828033-1 is not prime. Res64: 699730B28CCEA5DA Time : 4496.0 sec. user=vaughan [2010-06-11 02:42:13] 517*2^828041-1 is not prime. Res64: 94D3C7F2CCFBC865 Time : 2301.0 sec. user=kar_bon [2010-06-11 02:43:09] 537*2^828049-1 is not prime. Res64: C60954ADDFFD44DD Time : 923.0 sec. user=vaughan [2010-06-11 02:47:08] 489*2^828043-1 is not prime. Res64: A93538CBE3FB620E Time : 2214.0 sec. user=vaughan [2010-06-11 02:47:08] 547*2^828049-1 is not prime. Res64: 6F260A59E4B02811 Time : 942.0 sec. user=kar_bon [2010-06-11 02:47:32] 549*2^828049-1 is not prime. Res64: 9DAD42B78A2516C7 Time : 916.0 sec. user=kar_bon [2010-06-11 02:49:15] 501*2^828050-1 is not prime. Res64: E99B25379B602666 Time : 906.0 sec. user=vaughan [2010-06-11 02:51:21] 511*2^828049-1 is not prime. Res64: 2D0E1FD5C9872ABC Time : 1463.0 sec. user=vaughan [2010-06-11 02:51:48] 537*2^828050-1 is not prime. Res64: DCD2682A842F720F Time : 945.0 sec. user=vaughan [2010-06-11 02:53:34] 495*2^828052-1 is not prime. Res64: 8D5E89B85168DA72 Time : 974.0 sec. user=vaughan [2010-06-11 02:53:39] 591*2^828051-1 is not prime. Res64: B119769B7C95BD37 Time : 1002.0 sec. user=vaughan [2010-06-11 02:54:50] 517*2^828053-1 is not prime. Res64: 0C0DD4C77A15963C Time : 945.0 sec. user=vaughan [2010-06-11 02:55:55] 401*2^828054-1 is not prime. Res64: 060C6A5AE02633CE Time : 997.0 sec. user=vaughan [2010-06-11 02:56:12] 447*2^828049-1 is not prime. Res64: 74CAFBD642AA5226 Time : 1783.0 sec. user=vaughan [2010-06-11 02:56:12] 471*2^828049-1 is not prime. Res64: 788D292EC3DBD468 Time : 1783.0 sec. user=vaughan [2010-06-11 02:56:18] 549*2^828053-1 is not prime. Res64: B7EDE623F50CC4DE Time : 1026.0 sec. user=vaughan [2010-06-11 02:56:29] 555*2^828045-1 is not prime. Res64: 82865E45A37A9AC9 Time : 2305.0 sec. user=kar_bon [2010-06-11 02:58:27] 417*2^828056-1 is not prime. Res64: 483406D40DE089FB Time : 918.0 sec. user=vaughan [2010-06-11 02:58:28] 495*2^828050-1 is not prime. Res64: 660340620F1AF128 Time : 1477.0 sec. user=kar_bon [2010-06-11 03:02:40] 511*2^828057-1 is not prime. Res64: B460E5CF03D5E5D5 Time : 907.0 sec. user=vaughan [2010-06-11 03:02:52] 501*2^828057-1 is not prime. Res64: AAAD3669E934F24A Time : 944.0 sec. user=kar_bon [2010-06-11 03:04:22] 517*2^828057-1 is not prime. Res64: BD5D60538B8043C2 Time : 907.0 sec. user=Flatlander [2010-06-11 03:07:08] 411*2^828023-1 is not prime. Res64: 89CA5FDC1BD67609 Time : 7872.0 sec. user=Flatlander [2010-06-11 03:07:08] 433*2^828023-1 is not prime. Res64: EF4B94C8DE8DF491 Time : 7871.0 sec. user=Flatlander [2010-06-11 03:07:09] 463*2^828023-1 is not prime. Res64: D95EEB3C68BC7F2F Time : 7870.0 sec. user=Flatlander [2010-06-11 03:07:10] 493*2^828023-1 is not prime. Res64: 94DA626602D250E2 Time : 7869.0 sec. user=Flatlander [2010-06-11 03:07:11] 559*2^828023-1 is not prime. Res64: A8FCA63741446316 Time : 7869.0 sec. user=vaughan [2010-06-11 03:07:33] 585*2^828057-1 is not prime. Res64: 9152608763C4CB71 Time : 946.0 sec. user=vaughan [2010-06-11 03:08:56] 497*2^828052-1 is not prime. Res64: 16BDE454DDA692DA Time : 1891.0 sec. user=vaughan [2010-06-11 03:09:30] 525*2^828052-1 is not prime. Res64: BEBD8524EAFF1D31 Time : 1909.0 sec. user=vaughan [2010-06-11 03:09:48] 495*2^828058-1 is not prime. Res64: DD57BE9A87DBA578 Time : 974.0 sec. user=vaughan [2010-06-11 03:10:22] 513*2^828058-1 is not prime. Res64: 5772A9CC847FD7B7 Time : 1003.0 sec. user=vaughan [2010-06-11 03:10:35] 533*2^828058-1 is not prime. Res64: 94158EBEE958CAB3 Time : 945.0 sec. user=vaughan [2010-06-11 03:12:32] 575*2^828058-1 is not prime. Res64: D3FD3AE2A16C1FDC Time : 998.0 sec. user=vaughan [2010-06-11 03:13:24] 553*2^828059-1 is not prime. Res64: 5B8D9A83E8C85A35 Time : 1026.0 sec. user=vaughan [2010-06-11 03:13:30] 559*2^828057-1 is not prime. Res64: 8FF9AE9FCAA1BD4F Time : 1329.0 sec. user=kar_bon [2010-06-11 03:13:36] 409*2^828061-1 is not prime. Res64: 580A95591EF14203 Time : 908.0 sec. user=vaughan [2010-06-11 03:14:48] 555*2^828055-1 is not prime. Res64: F9D1E9F091E1C481 Time : 1955.0 sec. user=kar_bon [2010-06-11 03:17:55] 465*2^828061-1 is not prime. Res64: 2D1B80C51774D554 Time : 915.0 sec. user=vaughan [2010-06-11 03:18:35] 477*2^828061-1 is not prime. Res64: 5D48B680534BC59F Time : 943.0 sec. user=vaughan [2010-06-11 03:19:17] 509*2^828056-1 is not prime. Res64: 17D4E193AEBC1C21 Time : 1929.0 sec. user=kar_bon [2010-06-11 03:19:29] 495*2^828061-1 is not prime. Res64: 605DB3D40897D193 Time : 906.0 sec. user=vaughan [2010-06-11 03:20:32] 525*2^828050-1 is not prime. Res64: DC9573D68F437AC9 Time : 2775.0 sec. user=vaughan [2010-06-11 03:23:05] 555*2^828060-1 is not prime. Res64: 33BAB4775C7AECE9 Time : 1477.0 sec. user=vaughan [2010-06-11 03:23:18] 429*2^828063-1 is not prime. Res64: 267DC90127F60DFF Time : 945.0 sec. user=vaughan [2010-06-11 03:25:57] 581*2^828058-1 is not prime. Res64: 9F3B9AAC3FBD0BD2 Time : 1784.0 sec. user=vaughan [2010-06-11 03:25:57] 465*2^828059-1 is not prime. Res64: 77DE9FE7CB40571E Time : 1784.0 sec. user=vaughan [2010-06-11 03:26:02] 519*2^828064-1 is not prime. Res64: 082124F36A99C007 Time : 974.0 sec. user=vaughan [2010-06-11 03:26:16] 543*2^828063-1 is not prime. Res64: 463F4C51F1085C85 Time : 1040.0 sec. user=vaughan [2010-06-11 03:26:20] 409*2^828065-1 is not prime. Res64: B881DE970BCB9E1C Time : 945.0 sec. user=vaughan [2010-06-11 03:26:51] 595*2^828063-1 is not prime. Res64: 47AC855B612E71D8 Time : 1041.0 sec. user=vaughan [2010-06-11 03:27:06] 533*2^828064-1 is not prime. Res64: 9CFD6B73AE1BD2E9 Time : 1005.0 sec. user=kar_bon [2010-06-11 03:28:52] 477*2^828065-1 is not prime. Res64: 9BDE7607D3B0F3E5 Time : 916.0 sec. user=vaughan [2010-06-11 03:29:08] 441*2^828065-1 is not prime. Res64: 2135E44A594678D0 Time : 996.0 sec. user=vaughan [2010-06-11 03:30:29] 445*2^828065-1 is not prime. Res64: 65D17D1685BBDB5D Time : 1026.0 sec. user=kar_bon [2010-06-11 03:33:12] 595*2^828065-1 is not prime. Res64: E4AA855108340195 Time : 917.0 sec. user=vaughan [2010-06-11 03:34:19] 447*2^828066-1 is not prime. Res64: 743856FC512579DB Time : 944.0 sec. user=kar_bon [2010-06-11 03:34:38] 495*2^828066-1 is not prime. Res64: 00A22629E902FE4B Time : 908.0 sec. user=vaughan [2010-06-11 03:37:55] 459*2^828065-1 is not prime. Res64: 9EF617B404F9844C Time : 1466.0 sec. user=vaughan [2010-06-11 03:39:03] 585*2^828066-1 is not prime. Res64: 1254FCB87DBA1E39 Time : 946.0 sec. user=vaughan [2010-06-11 03:42:04] 495*2^828067-1 is not prime. Res64: 219B081ED5AA1722 Time : 945.0 sec. user=vaughan [2010-06-11 03:42:23] 475*2^828067-1 is not prime. Res64: 59694E7F53B3EC71 Time : 981.0 sec. user=vaughan [2010-06-11 03:43:53] 405*2^828068-1 is not prime. Res64: 97FE30C165A57A96 Time : 1007.0 sec. user=kar_bon [2010-06-11 03:44:03] 417*2^828068-1 is not prime. Res64: 7B4605E2809F541F Time : 911.0 sec. user=vaughan [2010-06-11 03:45:47] 459*2^828068-1 is not prime. Res64: 760BA5845C37025E Time : 999.0 sec. user=vaughan [2010-06-11 03:47:36] 507*2^828068-1 is not prime. Res64: D8FC42BC0EE7B1E3 Time : 1027.0 sec. user=vaughan [2010-06-11 03:47:40] 573*2^828066-1 is not prime. Res64: B0934EC641CB61AD Time : 1475.0 sec. user=kar_bon [2010-06-11 03:48:16] 563*2^828068-1 is not prime. Res64: A602B07E5A091A5B Time : 904.0 sec. user=vaughan [2010-06-11 03:48:35] 473*2^828060-1 is not prime. Res64: DD0AF5F75216BA51 Time : 3127.0 sec. user=vaughan [2010-06-11 03:49:54] 487*2^828065-1 is not prime. Res64: C6C6266792887BA1 Time : 2106.0 sec. user=kar_bon [2010-06-11 03:49:55] 599*2^828068-1 is not prime. Res64: D85299310E63BE55 Time : 917.0 sec. user=vaughan [2010-06-11 03:50:02] 585*2^828068-1 is not prime. Res64: 48D62D4C543D9A53 Time : 944.0 sec. user=vaughan [2010-06-11 03:53:01] 489*2^828067-1 is not prime. Res64: A56A46B2CD333902 Time : 1606.0 sec. user=vaughan [2010-06-11 03:53:52] 485*2^828066-1 is not prime. Res64: CDEAA1EC4BF25959 Time : 2076.0 sec. user=vaughan [2010-06-11 03:54:47] 525*2^828069-1 is not prime. Res64: 8D6E18FA750858FB Time : 944.0 sec. user=Flatlander [2010-06-11 03:54:49] 523*2^828043-1 is not prime. Res64: EE31BB8918C45D52 Time : 6146.0 sec. user=Flatlander [2010-06-11 03:54:50] 413*2^828044-1 is not prime. Res64: 9785F8ADDD9E01E3 Time : 6145.0 sec. user=Flatlander [2010-06-11 03:54:50] 477*2^828044-1 is not prime. Res64: 4A048414CA2C9138 Time : 6144.0 sec. user=Flatlander [2010-06-11 03:54:51] 489*2^828044-1 is not prime. Res64: 698209F25FD535ED Time : 6143.0 sec. user=Flatlander [2010-06-11 03:54:51] 519*2^828044-1 is not prime. Res64: F8A49DFD4D028C13 Time : 6141.0 sec. user=vaughan [2010-06-11 03:55:09] 595*2^828067-1 is not prime. Res64: 97482187D6CF01B4 Time : 1698.0 sec. user=Flatlander [2010-06-11 03:55:29] 507*2^828054-1 is not prime. Res64: E1E299B1FAC80B48 Time : 4509.0 sec. user=Flatlander [2010-06-11 03:55:30] 527*2^828054-1 is not prime. Res64: 6694C46CC917116E Time : 4509.0 sec. user=Flatlander [2010-06-11 03:55:30] 551*2^828054-1 is not prime. Res64: 560B4C8611855393 Time : 4507.0 sec. user=Flatlander [2010-06-11 03:55:31] 421*2^828055-1 is not prime. Res64: 0B88E6EEDC3DF3D8 Time : 4506.0 sec. user=Flatlander [2010-06-11 03:55:31] 463*2^828055-1 is not prime. Res64: 403F1CCDC5A441D2 Time : 4505.0 sec. user=vaughan [2010-06-11 03:55:40] 433*2^828067-1 is not prime. Res64: 655C4B105C136619 Time : 1782.0 sec. user=vaughan [2010-06-11 03:55:41] 471*2^828067-1 is not prime. Res64: 13835875494F67F4 Time : 1783.0 sec. user=vaughan [2010-06-11 03:57:49] 549*2^828069-1 is not prime. Res64: 7F279ACB7A896075 Time : 945.0 sec. user=vaughan [2010-06-11 03:58:35] 571*2^828069-1 is not prime. Res64: EF5B9FEFF2C8FB6C Time : 973.0 sec. user=kar_bon [2010-06-11 03:59:08] 425*2^828070-1 is not prime. Res64: 4A0E0D4FA3B2EE3D Time : 905.0 sec. user=vaughan [2010-06-11 04:00:28] 579*2^828069-1 is not prime. Res64: F0AE383B9C5E5F44 Time : 996.0 sec. user=vaughan [2010-06-11 04:02:22] 465*2^828070-1 is not prime. Res64: 30A629DFAE095B37 Time : 995.0 sec. user=vaughan [2010-06-11 04:02:25] 499*2^828069-1 is not prime. Res64: 6710EFF0F6585288 Time : 1470.0 sec. user=kar_bon [2010-06-11 04:03:26] 579*2^828071-1 is not prime. Res64: 4C2A087D6BCE46A2 Time : 910.0 sec. user=vaughan [2010-06-11 04:04:41] 527*2^828070-1 is not prime. Res64: 6E31C11D9F619751 Time : 1025.0 sec. user=kar_bon [2010-06-11 04:05:01] 525*2^828072-1 is not prime. Res64: 66CF8F6A7D14D702 Time : 905.0 sec. user=vaughan [2010-06-11 04:05:47] 527*2^828072-1 is not prime. Res64: D99E53AED3718666 Time : 945.0 sec. user=vaughan [2010-06-11 04:10:29] 559*2^828071-1 is not prime. Res64: 74AC52BFE1CE1021 Time : 1370.0 sec. user=vaughan [2010-06-11 04:10:33] 411*2^828073-1 is not prime. Res64: 914C2D981B1265E8 Time : 946.0 sec. user=vaughan [2010-06-11 04:10:39] 539*2^828072-1 is not prime. Res64: 37023CBDDA356ED1 Time : 1058.0 sec. user=vaughan [2010-06-11 04:12:32] 497*2^828076-1 is not prime. Res64: B0B81106C1EDB2A0 Time : 1043.0 sec. user=vaughan [2010-06-11 04:12:36] 567*2^828066-1 is not prime. Res64: BDB99248C15C87AE Time : 3125.0 sec. user=vaughan [2010-06-11 04:13:33] 495*2^828078-1 is not prime. Res64: 9BE03B1F1E36CE2F Time : 945.0 sec. user=kar_bon [2010-06-11 04:14:22] 513*2^828078-1 is not prime. Res64: F001255531670A4C Time : 913.0 sec. user=vaughan [2010-06-11 04:14:50] 507*2^828078-1 is not prime. Res64: B0D3DA4AABCEB3A6 Time : 975.0 sec. user=vaughan [2010-06-11 04:17:40] 555*2^828078-1 is not prime. Res64: 52C7F6538ADC155B Time : 1032.0 sec. user=kar_bon [2010-06-11 04:18:32] 415*2^828079-1 is not prime. Res64: FFFE24BCC14E597A Time : 905.0 sec. user=vaughan [2010-06-11 04:18:58] 563*2^828078-1 is not prime. Res64: 57E3F3704B226DC1 Time : 996.0 sec. user=kar_bon [2010-06-11 04:20:17] 499*2^828079-1 is not prime. Res64: 198DC85183AD2AF9 Time : 915.0 sec. user=vaughan [2010-06-11 04:21:30] 523*2^828079-1 is not prime. Res64: 1871AB079A51D5D0 Time : 944.0 sec. user=vaughan [2010-06-11 04:21:47] 465*2^828079-1 is not prime. Res64: 5036ABBD946160EA Time : 1027.0 sec. user=vaughan [2010-06-11 04:22:21] 515*2^828072-1 is not prime. Res64: 11F18DD2EC6BAEA4 Time : 1947.0 sec. user=vaughan [2010-06-11 04:25:25] 431*2^828078-1 is not prime. Res64: 41BFA1DE1A7ECBF0 Time : 1784.0 sec. user=vaughan [2010-06-11 04:25:25] 453*2^828078-1 is not prime. Res64: A2A0ACED4C5F642E Time : 1783.0 sec. user=vaughan [2010-06-11 04:26:17] 423*2^828080-1 is not prime. Res64: 5F36A4BEA0489E77 Time : 944.0 sec. user=vaughan [2010-06-11 04:26:48] 567*2^828078-1 is not prime. Res64: A807F88A6B6363B4 Time : 1463.0 sec. user=vaughan [2010-06-11 04:27:02] 563*2^828072-1 is not prime. Res64: 6031C501229D1678 Time : 1990.0 sec. user=vaughan [2010-06-11 04:27:58] 479*2^828080-1 is not prime. Res64: 0884852A825064B3 Time : 1039.0 sec. user=Flatlander [2010-06-11 04:28:26] 525*2^828061-1 is not prime. Res64: DCF1131580F561E8 Time : 4874.0 sec. user=Flatlander [2010-06-11 04:28:27] 597*2^828061-1 is not prime. Res64: 3DB4C3EEB0F651F0 Time : 4873.0 sec. user=Flatlander [2010-06-11 04:28:28] 405*2^828062-1 is not prime. Res64: 247CA18C67BD88B3 Time : 4872.0 sec. user=Flatlander [2010-06-11 04:28:29] 477*2^828062-1 is not prime. Res64: 1DE0898F133619FC Time : 4872.0 sec. user=Flatlander [2010-06-11 04:28:30] 533*2^828062-1 is not prime. Res64: D0DFBDB54C6747E8 Time : 4871.0 sec. user=vaughan [2010-06-11 04:29:17] 475*2^828081-1 is not prime. Res64: 0BF46FD525733802 Time : 944.0 sec. user=kar_bon [2010-06-11 04:29:28] 499*2^828081-1 is not prime. Res64: CB43AAFD70C348AB Time : 906.0 sec. user=vaughan [2010-06-11 04:29:54] 525*2^828080-1 is not prime. Res64: 27567D353FACED0D Time : 1043.0 sec. user=vaughan [2010-06-11 04:31:02] 491*2^828082-1 is not prime. Res64: 0B2A353A5C7CF2C6 Time : 973.0 sec. user=kar_bon [2010-06-11 04:33:52] 433*2^828083-1 is not prime. Res64: E4F299425A92728B Time : 920.0 sec. user=vaughan [2010-06-11 04:34:15] 525*2^828082-1 is not prime. Res64: 54BE715BD5014FD9 Time : 996.0 sec. user=vaughan [2010-06-11 04:34:58] 417*2^828080-1 is not prime. Res64: E416D5ED01E7E791 Time : 1469.0 sec. user=kar_bon [2010-06-11 04:35:25] 505*2^828083-1 is not prime. Res64: 5CCFE1287C63408F Time : 908.0 sec. user=vaughan [2010-06-11 04:35:34] 475*2^828083-1 is not prime. Res64: 11960504DC4951EA Time : 996.0 sec. user=vaughan [2010-06-11 04:37:14] 595*2^828083-1 is not prime. Res64: 9EA9DDBBC2A2603E Time : 944.0 sec. user=vaughan [2010-06-11 04:38:51] 459*2^828084-1 is not prime. Res64: D83CB201C97813CC Time : 1024.0 sec. user=vaughan [2010-06-11 04:40:43] 413*2^828072-1 is not prime. Res64: 1957134FB4EB08C1 Time : 3128.0 sec. user=vaughan [2010-06-11 04:42:03] 407*2^828086-1 is not prime. Res64: BE0C7B87E03A5BEC Time : 946.0 sec. user=kar_bon [2010-06-11 04:44:40] 549*2^828088-1 is not prime. Res64: 36041834B42B75F5 Time : 911.0 sec. user=vaughan [2010-06-11 04:45:02] 579*2^828087-1 is not prime. Res64: 2A00A7DD5FF0F2B2 Time : 945.0 sec. user=vaughan [2010-06-11 04:45:56] 573*2^828086-1 is not prime. Res64: 01EC7F469176B7E1 Time : 1078.0 sec. user=vaughan [2010-06-11 04:47:16] 597*2^828088-1 is not prime. Res64: 52136FBCAEAE152A Time : 974.0 sec. user=kar_bon [2010-06-11 04:48:59] 411*2^828089-1 is not prime. Res64: 03ECBFD5F149E3CD Time : 906.0 sec. user=vaughan [2010-06-11 04:49:26] 575*2^828088-1 is not prime. Res64: ACA90100641215DA Time : 1172.0 sec. user=kar_bon [2010-06-11 04:50:40] 517*2^828089-1 is not prime. Res64: CD7F7DE907AC4E3D Time : 915.0 sec. user=vaughan [2010-06-11 04:51:02] 455*2^828086-1 is not prime. Res64: FE6FB7AA1D02B843 Time : 1455.0 sec. user=vaughan [2010-06-11 04:51:26] 447*2^828089-1 is not prime. Res64: 090E4964BF6785BD Time : 1031.0 sec. user=vaughan [2010-06-11 04:52:11] 565*2^828089-1 is not prime. Res64: D20E8328CD4255BB Time : 998.0 sec. user=vaughan [2010-06-11 04:52:57] 437*2^828090-1 is not prime. Res64: 91C44F7925BB1651 Time : 943.0 sec. user=Flatlander [2010-06-11 04:54:13] 545*2^828050-1 is not prime. Res64: 7F2EC93D31289F86 Time : 8264.0 sec. user=Flatlander [2010-06-11 04:54:14] 575*2^828050-1 is not prime. Res64: 076962BF0A30EA25 Time : 8263.0 sec. user=Flatlander [2010-06-11 04:54:14] 411*2^828051-1 is not prime. Res64: 34EB5FA44A7BC2E2 Time : 8262.0 sec. user=Flatlander [2010-06-11 04:54:15] 453*2^828051-1 is not prime. Res64: 06DAC2A35F6A658A Time : 8261.0 sec. user=Flatlander [2010-06-11 04:54:16] 535*2^828051-1 is not prime. Res64: CC9F9C8E8A5CC4F7 Time : 8261.0 sec. user=vaughan [2010-06-11 04:55:10] 447*2^828085-1 is not prime. Res64: BF9A5DDFF9B4121E Time : 1785.0 sec. user=vaughan [2010-06-11 04:55:10] 589*2^828085-1 is not prime. Res64: 7C218CE75316D14F Time : 1784.0 sec. user=vaughan [2010-06-11 04:55:56] 513*2^828090-1 is not prime. Res64: 8126F5AAE279DE84 Time : 1025.0 sec. user=vaughan [2010-06-11 04:57:47] 587*2^828090-1 is not prime. Res64: 8EA365BBB35F16E7 Time : 944.0 sec. user=vaughan [2010-06-11 04:59:06] 465*2^828089-1 is not prime. Res64: 4C9C8F5160770E89 Time : 1449.0 sec. user=kar_bon [2010-06-11 04:59:43] 429*2^828091-1 is not prime. Res64: F9A5F1C083539A32 Time : 902.0 sec. user=vaughan [2010-06-11 05:00:46] 453*2^828091-1 is not prime. Res64: 38C2466B2C8F7D3F Time : 945.0 sec. user=vaughan [2010-06-11 05:03:15] 531*2^828091-1 is not prime. Res64: B6559B4130FF5997 Time : 1040.0 sec. user=vaughan [2010-06-11 05:03:30] 549*2^828091-1 is not prime. Res64: 38709AB3CCB67B22 Time : 974.0 sec. user=kar_bon [2010-06-11 05:04:09] 595*2^828091-1 is not prime. Res64: 843D4D0E4F63C0BD Time : 910.0 sec. user=vaughan [2010-06-11 05:04:43] 445*2^828081-1 is not prime. Res64: 9CD11856A0C9F241 Time : 3127.0 sec. user=kar_bon [2010-06-11 05:05:45] 545*2^828092-1 is not prime. Res64: E2888F5410526182 Time : 904.0 sec. user=vaughan [2010-06-11 05:06:47] 447*2^828092-1 is not prime. Res64: E5E0ED6A39499866 Time : 1042.0 sec. user=vaughan [2010-06-11 05:08:02] 417*2^828093-1 is not prime. Res64: 9A0A9ECB7236FAF8 Time : 996.0 sec. user=vaughan [2010-06-11 05:08:41] 537*2^828093-1 is not prime. Res64: 5DF0E759203FE843 Time : 945.0 sec. user=vaughan [2010-06-11 05:08:45] 481*2^828093-1 is not prime. Res64: 3992843222F03AA6 Time : 994.0 sec. user=Flatlander [2010-06-11 05:10:15] 471*2^828073-1 is not prime. Res64: 4541ABA10CE571C0 Time : 4524.0 sec. user=Flatlander [2010-06-11 05:10:16] 517*2^828073-1 is not prime. Res64: 96F51B028172AB60 Time : 4525.0 sec. user=Flatlander [2010-06-11 05:10:16] 411*2^828074-1 is not prime. Res64: 6BEECC99CDE82F63 Time : 4524.0 sec. user=Flatlander [2010-06-11 05:10:17] 453*2^828074-1 is not prime. Res64: 6F321E333CD5ECD4 Time : 4525.0 sec. user=Flatlander [2010-06-11 05:10:18] 583*2^828075-1 is not prime. Res64: 62BE5EBD84F33392 Time : 4526.0 sec. user=vaughan [2010-06-11 05:13:00] 423*2^828095-1 is not prime. Res64: 59CA3CAC323FDF9A Time : 1025.0 sec. user=vaughan [2010-06-11 05:13:32] 441*2^828095-1 is not prime. Res64: 981688254F6366E7 Time : 945.0 sec. user=kar_bon [2010-06-11 05:14:59] 543*2^828095-1 is not prime. Res64: 5E7903088DB738DA Time : 915.0 sec. user=vaughan [2010-06-11 05:15:27] 405*2^828093-1 is not prime. Res64: 9FA3D81693FF8644 Time : 1465.0 sec. user=vaughan [2010-06-11 05:16:31] 413*2^828096-1 is not prime. Res64: 5814860E216A583C Time : 945.0 sec. user=Flatlander [2010-06-11 05:16:37] 569*2^828076-1 is not prime. Res64: 0751DA3604167048 Time : 4865.0 sec. user=Flatlander [2010-06-11 05:16:38] 441*2^828077-1 is not prime. Res64: B14494B395C2DCB6 Time : 4865.0 sec. user=Flatlander [2010-06-11 05:16:38] 559*2^828077-1 is not prime. Res64: 8F58508327018338 Time : 4864.0 sec. user=Flatlander [2010-06-11 05:16:39] 567*2^828077-1 is not prime. Res64: D5A5D3B7DF8FB914 Time : 4864.0 sec. user=Flatlander [2010-06-11 05:16:40] 589*2^828077-1 is not prime. Res64: A02C896C437686F7 Time : 4864.0 sec. user=kar_bon [2010-06-11 05:19:13] 585*2^828096-1 is not prime. Res64: 155C89B804102C5A Time : 904.0 sec. user=vaughan [2010-06-11 05:19:44] 437*2^828096-1 is not prime. Res64: C98FC4E7D96C8B49 Time : 975.0 sec. user=vaughan [2010-06-11 05:20:34] 425*2^828096-1 is not prime. Res64: AF078A44A26725D5 Time : 1039.0 sec. user=kar_bon [2010-06-11 05:20:59] 439*2^828097-1 is not prime. Res64: 329CAC47EF6677DB Time : 914.0 sec. user=vaughan [2010-06-11 05:23:35] 489*2^828095-1 is not prime. Res64: BAFBC3939945230D Time : 1469.0 sec. user=vaughan [2010-06-11 05:24:07] 507*2^828097-1 is not prime. Res64: A96A0FDFE7B5CD35 Time : 1040.0 sec. user=vaughan [2010-06-11 05:24:26] 555*2^828097-1 is not prime. Res64: 7DDB12115E57BED5 Time : 945.0 sec. user=vaughan [2010-06-11 05:24:49] 573*2^828094-1 is not prime. Res64: 028547D25ED4376D Time : 1779.0 sec. user=vaughan [2010-06-11 05:24:49] 587*2^828094-1 is not prime. Res64: AA4B22D068A2A2D0 Time : 1778.0 sec. user=vaughan [2010-06-11 05:25:11] 537*2^828097-1 is not prime. Res64: DAC44C7352630284 Time : 1029.0 sec. user=vaughan [2010-06-11 05:25:20] 565*2^828097-1 is not prime. Res64: 67E087D5663854E2 Time : 995.0 sec. user=vaughan [2010-06-11 05:29:17] 455*2^828100-1 is not prime. Res64: DD003298D2F7AF8E Time : 946.0 sec. user=vaughan [2010-06-11 05:30:05] 465*2^828099-1 is not prime. Res64: EC8826353CE0BAC9 Time : 1025.0 sec. user=kar_bon [2010-06-11 05:30:06] 593*2^828100-1 is not prime. Res64: 7FBCF24678C392AD Time : 907.0 sec. user=vaughan [2010-06-11 05:32:15] 511*2^828101-1 is not prime. Res64: C0F3AFC152C2EEF5 Time : 945.0 sec. user=vaughan [2010-06-11 05:33:01] 567*2^828090-1 is not prime. Res64: 737237DF59AB8476 Time : 3138.0 sec. user=kar_bon [2010-06-11 05:34:20] 415*2^828103-1 is not prime. Res64: B9D23D495F29BF8C Time : 906.0 sec. user=vaughan [2010-06-11 05:35:57] 423*2^828103-1 is not prime. Res64: 44A4935B46C81F8A Time : 973.0 sec. user=kar_bon [2010-06-11 05:36:12] 483*2^828103-1 is not prime. Res64: 6E71A455E9BEB909 Time : 913.0 sec. user=vaughan [2010-06-11 05:37:52] 429*2^828103-1 is not prime. Res64: FC857AAD40A24B88 Time : 1038.0 sec. user=vaughan [2010-06-11 05:39:19] 597*2^828100-1 is not prime. Res64: 22A141BC9D9835A3 Time : 1433.0 sec. user=vaughan [2010-06-11 05:40:09] 407*2^828104-1 is not prime. Res64: 3477D8A9DDBED06A Time : 944.0 sec. user=vaughan [2010-06-11 05:41:26] 511*2^828103-1 is not prime. Res64: E31BD03B0FFBA588 Time : 1039.0 sec. user=vaughan [2010-06-11 05:41:47] 585*2^828104-1 is not prime. Res64: DA4801F5780FFDB9 Time : 996.0 sec. user=vaughan [2010-06-11 05:41:55] 587*2^828104-1 is not prime. Res64: 0AAE403B54A65AF7 Time : 995.0 sec. user=vaughan [2010-06-11 05:45:01] 461*2^828106-1 is not prime. Res64: 134494BC1891CBE9 Time : 944.0 sec. user=kar_bon [2010-06-11 05:45:09] 545*2^828106-1 is not prime. Res64: FBE05A510CBE3355 Time : 902.0 sec. user=vaughan [2010-06-11 05:47:07] 531*2^828106-1 is not prime. Res64: B0AE0213B0BCE1E1 Time : 1022.0 sec. user=vaughan [2010-06-11 05:47:59] 581*2^828106-1 is not prime. Res64: E5268074E21B1ADC Time : 944.0 sec. user=vaughan [2010-06-11 05:48:05] 505*2^828103-1 is not prime. Res64: 103BC79A10EE9717 Time : 1471.0 sec. user=kar_bon [2010-06-11 05:49:38] 511*2^828107-1 is not prime. Res64: 2C670B1858C3B1AD Time : 918.0 sec. user=vaughan [2010-06-11 05:51:14] 409*2^828097-1 is not prime. Res64: 327F28F491216433 Time : 2791.0 sec. user=kar_bon [2010-06-11 05:51:20] 467*2^828108-1 is not prime. Res64: 58BAD32327762C1E Time : 907.0 sec. user=vaughan [2010-06-11 05:52:09] 523*2^828107-1 is not prime. Res64: 697307A6E7F619F7 Time : 972.0 sec. user=vaughan [2010-06-11 05:52:21] 427*2^828085-1 is not prime. Res64: 4E5C6085A944AB58 Time : 5401.0 sec. user=vaughan [2010-06-11 05:54:24] 413*2^828104-1 is not prime. Res64: 8BC7E25A639EF0BC Time : 1774.0 sec. user=vaughan [2010-06-11 05:54:25] 435*2^828104-1 is not prime. Res64: 6735D75B4F4F433C Time : 1775.0 sec. user=vaughan [2010-06-11 05:55:52] 457*2^828109-1 is not prime. Res64: C102A5BAD1FB2C83 Time : 943.0 sec. user=vaughan [2010-06-11 05:56:47] 495*2^828086-1 is not prime. Res64: E3F3517C80E8F8CA Time : 5386.0 sec. user=vaughan [2010-06-11 05:57:06] 513*2^828108-1 is not prime. Res64: 0888804FCE6EAABB Time : 1154.0 sec. user=vaughan [2010-06-11 05:58:23] 507*2^828109-1 is not prime. Res64: 8FDF77101FF2A4BC Time : 997.0 sec. user=vaughan [2010-06-11 05:58:28] 559*2^828109-1 is not prime. Res64: E052B56F3A8CCC55 Time : 994.0 sec. user=kar_bon [2010-06-11 06:00:20] 411*2^828110-1 is not prime. Res64: 5DA464CA8E77DA8C Time : 911.0 sec. user=vaughan [2010-06-11 06:00:47] 589*2^828109-1 is not prime. Res64: 9F9996C5A40C56C5 Time : 946.0 sec. user=vaughan [2010-06-11 06:01:06] 471*2^828109-1 is not prime. Res64: 4DC3E86A61A9FE3C Time : 1180.0 sec. user=vaughan [2010-06-11 06:03:45] 467*2^828110-1 is not prime. Res64: CDEE66B3774D896E Time : 946.0 sec. user=vaughan [2010-06-11 06:04:10] 447*2^828110-1 is not prime. Res64: 72F6368040A3B22C Time : 1023.0 sec. user=kar_bon [2010-06-11 06:04:44] 525*2^828110-1 is not prime. Res64: F4C6C538C9CB9B0C Time : 905.0 sec. user=Flatlander [2010-06-11 06:05:47] 433*2^828087-1 is not prime. Res64: 2617A13CC1D604EB Time : 5836.0 sec. user=Flatlander [2010-06-11 06:05:47] 523*2^828087-1 is not prime. Res64: 8DF837A069A67CFE Time : 5834.0 sec. user=Flatlander [2010-06-11 06:05:48] 543*2^828087-1 is not prime. Res64: AC345C447318123D Time : 5834.0 sec. user=Flatlander [2010-06-11 06:05:48] 555*2^828087-1 is not prime. Res64: 60F9580163095B06 Time : 5832.0 sec. user=Flatlander [2010-06-11 06:05:49] 573*2^828087-1 is not prime. Res64: 788E5824CB408232 Time : 5832.0 sec. user=kar_bon [2010-06-11 06:06:36] 581*2^828110-1 is not prime. Res64: 7460BAAD2EB9AE4E Time : 915.0 sec. user=vaughan [2010-06-11 06:08:23] 591*2^828110-1 is not prime. Res64: D1A6FA2EF53316A4 Time : 974.0 sec. user=vaughan [2010-06-11 06:10:36] 435*2^828109-1 is not prime. Res64: BC680BEA4AF4D522 Time : 1877.0 sec. user=vaughan [2010-06-11 06:11:37] 559*2^828111-1 is not prime. Res64: 8EA61AFFA959DEB3 Time : 945.0 sec. user=vaughan [2010-06-11 06:12:33] 503*2^828110-1 is not prime. Res64: 88844EEC93E5232E Time : 1468.0 sec. user=vaughan [2010-06-11 06:12:45] 489*2^828107-1 is not prime. Res64: 4FF4EFEC168633C8 Time : 2384.0 sec. user=vaughan [2010-06-11 06:14:24] 527*2^828112-1 is not prime. Res64: 4264CCA95FB72964 Time : 1039.0 sec. user=vaughan [2010-06-11 06:14:59] 567*2^828112-1 is not prime. Res64: FD16AE4BD5DB64DF Time : 996.0 sec. user=vaughan [2010-06-11 06:15:03] 569*2^828112-1 is not prime. Res64: 15AA9AFF17E7ACA6 Time : 995.0 sec. user=kar_bon [2010-06-11 06:15:27] 439*2^828113-1 is not prime. Res64: EDF37B28FDAA91D1 Time : 906.0 sec. user=vaughan [2010-06-11 06:16:31] 481*2^828113-1 is not prime. Res64: 20F9ED1C55DEDA41 Time : 944.0 sec. user=vaughan [2010-06-11 06:18:25] 487*2^828113-1 is not prime. Res64: 59395A3454EEC32A Time : 1039.0 sec. user=vaughan [2010-06-11 06:19:29] 489*2^828113-1 is not prime. Res64: DAC65A0E82EF659F Time : 945.0 sec. user=kar_bon [2010-06-11 06:20:02] 559*2^828113-1 is not prime. Res64: 1771CDEAF5F90D9B Time : 918.0 sec. user=vaughan [2010-06-11 06:21:14] 511*2^828113-1 is not prime. Res64: 46491B2088ED2E76 Time : 1024.0 sec. user=kar_bon [2010-06-11 06:21:40] 497*2^828114-1 is not prime. Res64: C34DCD4C4C9B6220 Time : 904.0 sec. user=vaughan [2010-06-11 06:24:01] 465*2^828111-1 is not prime. Res64: 8D14D6C0E6149A5C Time : 1776.0 sec. user=vaughan [2010-06-11 06:24:01] 511*2^828111-1 is not prime. Res64: 6AF622D536DB2EAC Time : 1775.0 sec. user=vaughan [2010-06-11 06:24:36] 503*2^828114-1 is not prime. Res64: C723071ED2584829 Time : 973.0 sec. user=vaughan [2010-06-11 06:24:51] 445*2^828111-1 is not prime. Res64: 670DBE1EB7C9941F Time : 1951.0 sec. user=vaughan [2010-06-11 06:27:20] 415*2^828115-1 is not prime. Res64: 7A222F8F14E35975 Time : 943.0 sec. user=vaughan [2010-06-11 06:29:02] 513*2^828112-1 is not prime. Res64: C979A3471F2A05DF Time : 1935.0 sec. user=kar_bon [2010-06-11 06:30:37] 563*2^828116-1 is not prime. Res64: D46780EC49A76753 Time : 909.0 sec. user=vaughan [2010-06-11 06:31:35] 493*2^828115-1 is not prime. Res64: 72FA1864724F9BA3 Time : 996.0 sec. user=vaughan [2010-06-11 06:31:37] 483*2^828116-1 is not prime. Res64: 1008120379855058 Time : 994.0 sec. user=vaughan [2010-06-11 06:31:42] 463*2^828115-1 is not prime. Res64: 22568582A3A70D8C Time : 1038.0 sec. user=vaughan [2010-06-11 06:32:17] 573*2^828116-1 is not prime. Res64: 43663AFD57B717F8 Time : 946.0 sec. user=Flatlander [2010-06-11 06:33:05] 517*2^828101-1 is not prime. Res64: 5F01879151F43863 Time : 4584.0 sec. user=Flatlander [2010-06-11 06:33:05] 591*2^828101-1 is not prime. Res64: 32F14550A10822F2 Time : 4583.0 sec. user=Flatlander [2010-06-11 06:33:05] 405*2^828102-1 is not prime. Res64: D21B7B82D1F3B991 Time : 4582.0 sec. user=Flatlander [2010-06-11 06:33:06] 555*2^828102-1 is not prime. Res64: E417403359D30729 Time : 4582.0 sec. user=Flatlander [2010-06-11 06:33:06] 563*2^828102-1 is not prime. Res64: E31A9030201BCE07 Time : 4581.0 sec. user=vaughan [2010-06-11 06:35:01] 563*2^828114-1 is not prime. Res64: C7D46535D94F6976 Time : 1466.0 sec. user=vaughan [2010-06-11 06:35:14] 451*2^828117-1 is not prime. Res64: C21D7056668176F1 Time : 945.0 sec. user=kar_bon [2010-06-11 06:35:16] 537*2^828117-1 is not prime. Res64: 20F665F4529C3410 Time : 913.0 sec. user=vaughan [2010-06-11 06:35:43] 579*2^828116-1 is not prime. Res64: 38C66B69CD8DC10E Time : 1038.0 sec. user=kar_bon [2010-06-11 06:36:48] 413*2^828118-1 is not prime. Res64: 314E63423B81486F Time : 907.0 sec. user=vaughan [2010-06-11 06:37:05] 421*2^828115-1 is not prime. Res64: 357653E2D2054DAA Time : 1473.0 sec. user=vaughan [2010-06-11 06:37:07] 545*2^828110-1 is not prime. Res64: 1BE697296739740D Time : 2754.0 sec. user=vaughan [2010-06-11 06:38:16] 559*2^828117-1 is not prime. Res64: 1EB602A6B0AFB27A Time : 1023.0 sec. user=vaughan [2010-06-11 06:40:49] 573*2^828118-1 is not prime. Res64: 45AE2315022FB279 Time : 973.0 sec. user=vaughan [2010-06-11 06:43:04] 511*2^828119-1 is not prime. Res64: 9B40225D75D03122 Time : 944.0 sec. user=kar_bon [2010-06-11 06:45:56] 423*2^828120-1 is not prime. Res64: A4D533AB98EB63EE Time : 918.0 sec. user=vaughan [2010-06-11 06:48:02] 477*2^828121-1 is not prime. Res64: C16956B76E918B36 Time : 946.0 sec. user=vaughan [2010-06-11 06:48:11] 447*2^828120-1 is not prime. Res64: 19771D12E7657E36 Time : 996.0 sec. user=vaughan [2010-06-11 06:48:13] 465*2^828120-1 is not prime. Res64: C7B8EE9A93AE129D Time : 996.0 sec. user=kar_bon [2010-06-11 06:50:22] 501*2^828122-1 is not prime. Res64: C264FD9F8EC98611 Time : 905.0 sec. user=vaughan [2010-06-11 06:50:58] 497*2^828122-1 is not prime. Res64: 185DB187A0FDF842 Time : 945.0 sec. user=kar_bon [2010-06-11 06:51:58] 593*2^828122-1 is not prime. Res64: E88AE994F6B4CA46 Time : 910.0 sec. user=vaughan [2010-06-11 06:53:38] 443*2^828118-1 is not prime. Res64: 7ABCDCCBE6D72869 Time : 1776.0 sec. user=vaughan [2010-06-11 06:53:38] 491*2^828118-1 is not prime. Res64: 99F9E2C5818E41DB Time : 1776.0 sec. user=vaughan [2010-06-11 06:55:21] 459*2^828123-1 is not prime. Res64: A6646E264BC98BEE Time : 1025.0 sec. user=vaughan [2010-06-11 06:57:03] 489*2^828123-1 is not prime. Res64: 967A1CA26C95BDA8 Time : 975.0 sec. user=vaughan [2010-06-11 06:57:19] 481*2^828119-1 is not prime. Res64: 6BA12765E9CB0241 Time : 1948.0 sec. user=vaughan [2010-06-11 06:57:49] 555*2^828120-1 is not prime. Res64: D0469947D4BEDAA7 Time : 1567.0 sec. user=Flatlander [2010-06-11 06:58:38] 559*2^828093-1 is not prime. Res64: 276872A84A84665B Time : 7461.0 sec. user=Flatlander [2010-06-11 06:58:39] 571*2^828093-1 is not prime. Res64: 0F37B3007FCAA689 Time : 7460.0 sec. user=Flatlander [2010-06-11 06:58:41] 477*2^828094-1 is not prime. Res64: 20493D7D9AA83860 Time : 7460.0 sec. user=Flatlander [2010-06-11 06:58:42] 491*2^828094-1 is not prime. Res64: 9F9873BDEF729F4D Time : 7460.0 sec. user=Flatlander [2010-06-11 06:58:42] 521*2^828094-1 is not prime. Res64: 4457937CD9078B86 Time : 7458.0 sec. user=vaughan [2010-06-11 06:58:47] 555*2^828123-1 is not prime. Res64: 7058DFB53DFBC074 Time : 943.0 sec. user=vaughan [2010-06-11 06:59:12] 483*2^828122-1 is not prime. Res64: B69AF505E9CD29A6 Time : 1451.0 sec. user=vaughan [2010-06-11 07:00:22] 429*2^828115-1 is not prime. Res64: 38FE6A8F1D9CDF23 Time : 2857.0 sec. user=kar_bon [2010-06-11 07:01:00] 423*2^828124-1 is not prime. Res64: DDE2D103B65A9AFB Time : 904.0 sec. user=vaughan [2010-06-11 07:01:09] 553*2^828119-1 is not prime. Res64: DB74DB96414A3210 Time : 1927.0 sec. user=vaughan [2010-06-11 07:01:39] 441*2^828123-1 is not prime. Res64: B9FAE1514D33E901 Time : 1474.0 sec. user=vaughan [2010-06-11 07:02:56] 581*2^828122-1 is not prime. Res64: 12E6ED6A0786278E Time : 1633.0 sec. user=vaughan [2010-06-11 07:03:47] 435*2^828124-1 is not prime. Res64: 0617BF5C423E7F59 Time : 945.0 sec. user=vaughan [2010-06-11 07:04:47] 483*2^828124-1 is not prime. Res64: DD09D9660AF4F166 Time : 995.0 sec. user=vaughan [2010-06-11 07:04:47] 443*2^828124-1 is not prime. Res64: BADC86DB703D0F94 Time : 996.0 sec. user=kar_bon [2010-06-11 07:05:40] 519*2^828124-1 is not prime. Res64: 8D3C6D803213EACD Time : 918.0 sec. user=vaughan [2010-06-11 07:06:42] 525*2^828124-1 is not prime. Res64: A6876348C0D48AF5 Time : 944.0 sec. user=kar_bon [2010-06-11 07:07:06] 527*2^828124-1 is not prime. Res64: 5F04FD3B2D8428CA Time : 908.0 sec. user=Flatlander [2010-06-11 07:08:13] 423*2^828098-1 is not prime. Res64: E3D00480A781D817 Time : 7074.0 sec. user=Flatlander [2010-06-11 07:08:13] 507*2^828098-1 is not prime. Res64: 9183AC7E4EE4ADB2 Time : 7072.0 sec. user=Flatlander [2010-06-11 07:08:13] 515*2^828098-1 is not prime. Res64: 36102B6B8F02126A Time : 7070.0 sec. user=Flatlander [2010-06-11 07:08:14] 585*2^828098-1 is not prime. Res64: D5D8A218F0D5331A Time : 7070.0 sec. user=Flatlander [2010-06-11 07:08:14] 415*2^828099-1 is not prime. Res64: A9F12CEA02FA3B3D Time : 7068.0 sec. user=vaughan [2010-06-11 07:12:25] 465*2^828126-1 is not prime. Res64: 6EBF8FD799EBCFDB Time : 1024.0 sec. user=vaughan [2010-06-11 07:13:16] 473*2^828126-1 is not prime. Res64: 6ED8D43AB2FCE902 Time : 974.0 sec. user=vaughan [2010-06-11 07:14:31] 489*2^828127-1 is not prime. Res64: 6B2E3629F2124FD9 Time : 944.0 sec. user=vaughan [2010-06-11 07:15:06] 501*2^828126-1 is not prime. Res64: E804A0FEC20AF401 Time : 1038.0 sec. user=kar_bon [2010-06-11 07:16:09] 525*2^828128-1 is not prime. Res64: 43AE0485C864841E Time : 908.0 sec. user=vaughan [2010-06-11 07:19:33] 597*2^828129-1 is not prime. Res64: DD1C15AB00EE57D8 Time : 946.0 sec. user=vaughan [2010-06-11 07:20:18] 567*2^828128-1 is not prime. Res64: 790CC377366CB321 Time : 1042.0 sec. user=kar_bon [2010-06-11 07:20:44] 597*2^828130-1 is not prime. Res64: C04BE500E92FC83D Time : 903.0 sec. user=vaughan [2010-06-11 07:21:22] 525*2^828130-1 is not prime. Res64: A82F7DF3C1C3C20C Time : 996.0 sec. user=vaughan [2010-06-11 07:21:22] 593*2^828130-1 is not prime. Res64: 8BA9AC64E099A590 Time : 995.0 sec. user=vaughan [2010-06-11 07:22:14] 453*2^828123-1 is not prime. Res64: 260F2CF37B44E82F Time : 2707.0 sec. user=kar_bon [2010-06-11 07:22:16] 425*2^828132-1 is not prime. Res64: E467B185E0926876 Time : 910.0 sec. user=vaughan [2010-06-11 07:22:27] 419*2^828132-1 is not prime. Res64: 3273E1E17A20FF93 Time : 945.0 sec. user=vaughan [2010-06-11 07:23:14] 511*2^828125-1 is not prime. Res64: 23E2AF23A6FC5238 Time : 1775.0 sec. user=vaughan [2010-06-11 07:23:15] 577*2^828125-1 is not prime. Res64: 1E89ECAAE3FB45C9 Time : 1775.0 sec. user=vaughan [2010-06-11 07:23:39] 435*2^828128-1 is not prime. Res64: 92F875A6BF0B1907 Time : 1467.0 sec. user=vaughan [2010-06-11 07:26:13] 563*2^828128-1 is not prime. Res64: 6165930CD3E02EE0 Time : 1474.0 sec. user=vaughan [2010-06-11 07:29:29] 427*2^828133-1 is not prime. Res64: 342D3F1329AB4616 Time : 1025.0 sec. user=vaughan [2010-06-11 07:29:29] 511*2^828133-1 is not prime. Res64: 648F0B833EC30950 Time : 973.0 sec. user=vaughan [2010-06-11 07:29:52] 483*2^828126-1 is not prime. Res64: 7DAD204E2EEA76C4 Time : 1954.0 sec. user=vaughan [2010-06-11 07:30:14] 517*2^828133-1 is not prime. Res64: 43976BAB879EA4E2 Time : 944.0 sec. user=kar_bon [2010-06-11 07:31:19] 541*2^828133-1 is not prime. Res64: 409B960B5C5D4297 Time : 909.0 sec. user=vaughan [2010-06-11 07:32:20] 519*2^828133-1 is not prime. Res64: 42026C57B02DCCA5 Time : 1034.0 sec. user=vaughan [2010-06-11 07:33:15] 557*2^828128-1 is not prime. Res64: 0700B04B7A43BA48 Time : 1926.0 sec. user=vaughan [2010-06-11 07:35:17] 567*2^828133-1 is not prime. Res64: C317B9B67E0ADA97 Time : 944.0 sec. user=kar_bon [2010-06-11 07:35:51] 431*2^828134-1 is not prime. Res64: 1E2419A257604709 Time : 906.0 sec. user=kar_bon [2010-06-11 07:37:31] 545*2^828134-1 is not prime. Res64: D7F8DC17F1AC6D14 Time : 914.0 sec. user=vaughan [2010-06-11 07:37:41] 577*2^828133-1 is not prime. Res64: EFB074E71E3D1153 Time : 1043.0 sec. user=vaughan [2010-06-11 07:37:56] 437*2^828134-1 is not prime. Res64: 18CDAA1FBC9D88D3 Time : 994.0 sec. user=vaughan [2010-06-11 07:37:58] 495*2^828134-1 is not prime. Res64: 3AB31C94D6A8943E Time : 996.0 sec. user=vaughan [2010-06-11 07:38:11] 573*2^828134-1 is not prime. Res64: 64B13C01F69ABAB2 Time : 944.0 sec. user=vaughan [2010-06-11 07:41:48] 479*2^828128-1 is not prime. Res64: A66968D003AD2169 Time : 2487.0 sec. user=vaughan [2010-06-11 07:45:43] 567*2^828136-1 is not prime. Res64: CBADA370B5BD3BD5 Time : 974.0 sec. user=vaughan [2010-06-11 07:45:59] 593*2^828136-1 is not prime. Res64: 95C5F7B0355B3A65 Time : 945.0 sec. user=kar_bon [2010-06-11 07:46:27] 597*2^828136-1 is not prime. Res64: B99052B16519901F Time : 908.0 sec. user=vaughan [2010-06-11 07:46:33] 525*2^828136-1 is not prime. Res64: 3F883E302E63A170 Time : 1024.0 sec. user=vaughan [2010-06-11 07:48:11] 471*2^828135-1 is not prime. Res64: 5F2BD00C42AF4B2C Time : 1473.0 sec. user=Flatlander [2010-06-11 07:48:34] 511*2^828121-1 is not prime. Res64: 8A39F423BE27E21B Time : 4527.0 sec. user=Flatlander [2010-06-11 07:48:35] 535*2^828121-1 is not prime. Res64: 50BAA7ACC7CAA9BB Time : 4528.0 sec. user=Flatlander [2010-06-11 07:48:35] 541*2^828121-1 is not prime. Res64: F2652D0B20DBDFD3 Time : 4527.0 sec. user=Flatlander [2010-06-11 07:48:36] 407*2^828122-1 is not prime. Res64: 3A66571B6A666E64 Time : 4527.0 sec. user=Flatlander [2010-06-11 07:48:37] 447*2^828122-1 is not prime. Res64: B9C72DE8AAFA9FEF Time : 4527.0 sec. user=vaughan [2010-06-11 07:50:49] 437*2^828136-1 is not prime. Res64: C28C87CF18D6DB7F Time : 1477.0 sec. user=vaughan [2010-06-11 07:51:02] 501*2^828137-1 is not prime. Res64: A34306EA457DC366 Time : 945.0 sec. user=kar_bon [2010-06-11 07:51:04] 401*2^828138-1 is not prime. Res64: 8B5F816D8DFF8252 Time : 912.0 sec. user=kar_bon [2010-06-11 07:52:39] 443*2^828138-1 is not prime. Res64: BD30E08CEFF07C35 Time : 907.0 sec. user=vaughan [2010-06-11 07:52:52] 409*2^828135-1 is not prime. Res64: 01B12361600A088F Time : 1777.0 sec. user=vaughan [2010-06-11 07:52:53] 459*2^828135-1 is not prime. Res64: 9A426E6221CD9511 Time : 1777.0 sec. user=vaughan [2010-06-11 07:53:56] 585*2^828138-1 is not prime. Res64: 979BBD4C243D4BBC Time : 945.0 sec. user=vaughan [2010-06-11 07:54:31] 513*2^828138-1 is not prime. Res64: 2571352DF509E14F Time : 995.0 sec. user=vaughan [2010-06-11 07:54:33] 525*2^828138-1 is not prime. Res64: 26094813F213BA91 Time : 996.0 sec. user=vaughan [2010-06-11 07:57:51] 445*2^828137-1 is not prime. Res64: 1EF1058E4E419765 Time : 1532.0 sec. user=Flatlander [2010-06-11 07:59:33] 565*2^828113-1 is not prime. Res64: C1F7EFF0EF25B6F1 Time : 6824.0 sec. user=Flatlander [2010-06-11 07:59:33] 585*2^828113-1 is not prime. Res64: 095D1E49E53C01DA Time : 6823.0 sec. user=Flatlander [2010-06-11 07:59:34] 591*2^828113-1 is not prime. Res64: 3F06635889DA57B2 Time : 6823.0 sec. user=Flatlander [2010-06-11 07:59:34] 461*2^828114-1 is not prime. Res64: D0FEF7073FF280D0 Time : 6822.0 sec. user=Flatlander [2010-06-11 07:59:34] 485*2^828114-1 is not prime. Res64: 8B15F5B9398D89CD Time : 6821.0 sec. user=vaughan [2010-06-11 08:01:43] 523*2^828139-1 is not prime. Res64: 32C6109F03E0F8BD Time : 945.0 sec. user=kar_bon [2010-06-11 08:01:45] 553*2^828139-1 is not prime. Res64: 3EB7BCB2707FA473 Time : 918.0 sec. user=vaughan [2010-06-11 08:01:56] 501*2^828134-1 is not prime. Res64: 46E80F4F1525B7EC Time : 2383.0 sec. user=vaughan [2010-06-11 08:01:56] 505*2^828139-1 is not prime. Res64: EF53B4C6A2308E12 Time : 973.0 sec. user=vaughan [2010-06-11 08:03:26] 465*2^828138-1 is not prime. Res64: B86876CAE3C6F609 Time : 1546.0 sec. user=vaughan [2010-06-11 08:03:35] 447*2^828140-1 is not prime. Res64: CCCFF1867A3633F8 Time : 1022.0 sec. user=kar_bon [2010-06-11 08:06:11] 527*2^828142-1 is not prime. Res64: D80E1EC9ED72F0B9 Time : 906.0 sec. user=vaughan [2010-06-11 08:06:46] 471*2^828142-1 is not prime. Res64: B30716AB5433BC29 Time : 945.0 sec. user=kar_bon [2010-06-11 08:07:46] 423*2^828143-1 is not prime. Res64: 1503783567D740C2 Time : 907.0 sec. user=vaughan [2010-06-11 08:08:04] 575*2^828136-1 is not prime. Res64: A647F6A9D28CB9D9 Time : 2292.0 sec. user=vaughan [2010-06-11 08:09:40] 501*2^828143-1 is not prime. Res64: E6860A22FF3643DE Time : 944.0 sec. user=vaughan [2010-06-11 08:11:06] 595*2^828143-1 is not prime. Res64: 84F2E1322B4A90E9 Time : 995.0 sec. user=vaughan [2010-06-11 08:11:09] 479*2^828144-1 is not prime. Res64: 333F153B38A21FBE Time : 996.0 sec. user=vaughan [2010-06-11 08:11:14] 475*2^828137-1 is not prime. Res64: 95F78D1B88F00AC5 Time : 2279.0 sec. user=vaughan [2010-06-11 08:12:29] 459*2^828140-1 is not prime. Res64: C4752CBB9A57B3DD Time : 1458.0 sec. user=vaughan [2010-06-11 08:15:08] 489*2^828144-1 is not prime. Res64: 0AE99920181C8DE9 Time : 1037.0 sec. user=vaughan [2010-06-11 08:15:21] 423*2^828142-1 is not prime. Res64: 8856E76FE59B865E Time : 1472.0 sec. user=kar_bon [2010-06-11 08:16:54] 585*2^828146-1 is not prime. Res64: 9A5E01ABA88EDDF2 Time : 909.0 sec. user=vaughan [2010-06-11 08:17:27] 545*2^828146-1 is not prime. Res64: 9F6C125708128913 Time : 944.0 sec. user=Flatlander [2010-06-11 08:17:42] 527*2^828126-1 is not prime. Res64: 76EA43CE474FB8C0 Time : 4740.0 sec. user=Flatlander [2010-06-11 08:17:42] 537*2^828126-1 is not prime. Res64: 8B9EC63C5A0E3388 Time : 4739.0 sec. user=Flatlander [2010-06-11 08:17:43] 557*2^828126-1 is not prime. Res64: 08483656CED79F6E Time : 4740.0 sec. user=Flatlander [2010-06-11 08:17:44] 587*2^828126-1 is not prime. Res64: 73E9634F180BBC60 Time : 4740.0 sec. user=Flatlander [2010-06-11 08:17:44] 433*2^828127-1 is not prime. Res64: 03F4E91BB22C3013 Time : 4739.0 sec. user=vaughan [2010-06-11 08:18:11] 433*2^828147-1 is not prime. Res64: 60E8F8EAA119E7CB Time : 975.0 sec. user=vaughan [2010-06-11 08:20:41] 531*2^828147-1 is not prime. Res64: 35476D1411F1C89B Time : 1026.0 sec. user=vaughan [2010-06-11 08:20:46] 471*2^828147-1 is not prime. Res64: 1AF82854C849FD5E Time : 1040.0 sec. user=kar_bon [2010-06-11 08:21:11] 413*2^828148-1 is not prime. Res64: FA9985A509CF0C19 Time : 900.0 sec. user=vaughan [2010-06-11 08:22:29] 463*2^828143-1 is not prime. Res64: E05C34591A554802 Time : 1776.0 sec. user=vaughan [2010-06-11 08:22:29] 475*2^828143-1 is not prime. Res64: 0EDB056BB765BF90 Time : 1775.0 sec. user=vaughan [2010-06-11 08:22:31] 419*2^828148-1 is not prime. Res64: 4B9F2E7D3453AC2D Time : 945.0 sec. user=kar_bon [2010-06-11 08:22:57] 465*2^828148-1 is not prime. Res64: B9F6FAE0C3E8C5BE Time : 911.0 sec. user=vaughan [2010-06-11 08:25:25] 563*2^828148-1 is not prime. Res64: 0502838EA5E19FFC Time : 945.0 sec. user=vaughan [2010-06-11 08:27:42] 469*2^828149-1 is not prime. Res64: 7FD98DEE14FE127F Time : 996.0 sec. user=vaughan [2010-06-11 08:27:44] 489*2^828149-1 is not prime. Res64: 57491A63FF33544A Time : 995.0 sec. user=vaughan [2010-06-11 08:28:49] 483*2^828139-1 is not prime. Res64: 103043194D53AA83 Time : 2822.0 sec. user=kar_bon [2010-06-11 08:32:05] 453*2^828150-1 is not prime. Res64: E8E559FDE993A643 Time : 911.0 sec. user=vaughan [2010-06-11 08:32:26] 425*2^828150-1 is not prime. Res64: 9289DACF082CF0D9 Time : 1038.0 sec. user=vaughan [2010-06-11 08:33:11] 471*2^828150-1 is not prime. Res64: 0A8A3083644D3EA9 Time : 945.0 sec. user=vaughan [2010-06-11 08:34:24] 499*2^828151-1 is not prime. Res64: B9981C3547FF1AA3 Time : 973.0 sec. user=kar_bon [2010-06-11 08:36:18] 483*2^828152-1 is not prime. Res64: DFA33E95153542BC Time : 906.0 sec. user=vaughan [2010-06-11 08:36:49] 561*2^828149-1 is not prime. Res64: 08B9D6C60CD410D9 Time : 1461.0 sec. user=vaughan [2010-06-11 08:37:46] 541*2^828151-1 is not prime. Res64: CC95F37C6849E0A3 Time : 1025.0 sec. user=vaughan [2010-06-11 08:38:04] 413*2^828152-1 is not prime. Res64: D44B58E94BD97A3E Time : 1039.0 sec. user=kar_bon [2010-06-11 08:38:12] 459*2^828153-1 is not prime. Res64: 32CAE056BF8F4668 Time : 915.0 sec. user=vaughan [2010-06-11 08:38:17] 563*2^828152-1 is not prime. Res64: B5B208B93445AF49 Time : 946.0 sec. user=vaughan [2010-06-11 08:39:57] 443*2^828150-1 is not prime. Res64: B904A3BEA95DE235 Time : 1476.0 sec. user=vaughan [2010-06-11 08:40:26] 533*2^828148-1 is not prime. Res64: AF29A61AF783A417 Time : 1942.0 sec. user=vaughan [2010-06-11 08:41:09] 529*2^828153-1 is not prime. Res64: FCA5EA3707B9CC65 Time : 944.0 sec. user=vaughan [2010-06-11 08:43:24] 511*2^828149-1 is not prime. Res64: B2C472A7EFE6B93F Time : 1930.0 sec. user=vaughan [2010-06-11 08:44:16] 549*2^828153-1 is not prime. Res64: 6CD0C40A377D9D5F Time : 995.0 sec. user=vaughan [2010-06-11 08:44:22] 577*2^828153-1 is not prime. Res64: 51827031C7BEE764 Time : 998.0 sec. user=kar_bon [2010-06-11 08:47:12] 531*2^828154-1 is not prime. Res64: 03B01153B5AFFEBF Time : 906.0 sec. user=vaughan [2010-06-11 08:48:54] 567*2^828154-1 is not prime. Res64: BC74A0EC7CD8C973 Time : 943.0 sec. user=vaughan [2010-06-11 08:49:21] 405*2^828147-1 is not prime. Res64: A316CFBCA3A52E17 Time : 2845.0 sec. user=vaughan [2010-06-11 08:49:43] 545*2^828154-1 is not prime. Res64: 66AF3D5410A8615E Time : 1037.0 sec. user=vaughan [2010-06-11 08:50:38] 573*2^828154-1 is not prime. Res64: 3F5B18289553D9CF Time : 974.0 sec. user=kar_bon [2010-06-11 08:51:28] 575*2^828154-1 is not prime. Res64: 6B5611ACB115724B Time : 910.0 sec. user=vaughan [2010-06-11 08:52:06] 507*2^828152-1 is not prime. Res64: 6DD040026B67008F Time : 1777.0 sec. user=vaughan [2010-06-11 08:52:06] 539*2^828152-1 is not prime. Res64: 81C5549C5664E306 Time : 1776.0 sec. user=kar_bon [2010-06-11 08:53:19] 465*2^828155-1 is not prime. Res64: 65758109C470AEA6 Time : 906.0 sec. user=vaughan [2010-06-11 08:54:01] 519*2^828155-1 is not prime. Res64: E88E5A2F3B6B1443 Time : 944.0 sec. user=vaughan [2010-06-11 08:54:49] 421*2^828155-1 is not prime. Res64: 7E6A882D7F3151FC Time : 1024.0 sec. user=vaughan [2010-06-11 08:55:23] 433*2^828155-1 is not prime. Res64: 52D6A0FE03C0543C Time : 1039.0 sec. user=vaughan [2010-06-11 08:56:54] 567*2^828156-1 is not prime. Res64: 6BF304E9A3A08D26 Time : 945.0 sec. user=vaughan [2010-06-11 08:58:24] 593*2^828154-1 is not prime. Res64: 0C59FFABA1EA25A5 Time : 1295.0 sec. user=vaughan [2010-06-11 09:00:51] 471*2^828157-1 is not prime. Res64: F02180E110885464 Time : 995.0 sec. user=vaughan [2010-06-11 09:00:58] 477*2^828157-1 is not prime. Res64: FED7984717B064DF Time : 997.0 sec. user=kar_bon [2010-06-11 09:02:30] 405*2^828158-1 is not prime. Res64: 35C1AD629E913F4E Time : 918.0 sec. user=vaughan [2010-06-11 09:04:39] 461*2^828158-1 is not prime. Res64: E40FA117E66C170F Time : 945.0 sec. user=vaughan [2010-06-11 09:06:18] 497*2^828156-1 is not prime. Res64: DC2370195FB89144 Time : 1581.0 sec. user=kar_bon [2010-06-11 09:06:35] 533*2^828158-1 is not prime. Res64: 682A821AEC1F4C3C Time : 906.0 sec. user=vaughan [2010-06-11 09:06:52] 503*2^828158-1 is not prime. Res64: CBE84D59B78EDBDF Time : 975.0 sec. user=vaughan [2010-06-11 09:07:02] 501*2^828158-1 is not prime. Res64: F61667689CF0EFD6 Time : 1039.0 sec. user=kar_bon [2010-06-11 09:08:25] 495*2^828160-1 is not prime. Res64: 6BFA2DDB6AC7F4BC Time : 906.0 sec. user=vaughan [2010-06-11 09:09:47] 549*2^828160-1 is not prime. Res64: 1F00DAC90D920BAD Time : 946.0 sec. user=vaughan [2010-06-11 09:11:54] 475*2^828161-1 is not prime. Res64: A0E5FEF1C87085E8 Time : 1025.0 sec. user=vaughan [2010-06-11 09:12:29] 515*2^828156-1 is not prime. Res64: C867275B34F2F4A9 Time : 1924.0 sec. user=vaughan [2010-06-11 09:12:39] 489*2^828161-1 is not prime. Res64: 3A96A8E2D1FB7493 Time : 946.0 sec. user=vaughan [2010-06-11 09:12:42] 487*2^828161-1 is not prime. Res64: 8910F19CCFE9CFE2 Time : 1039.0 sec. user=Flatlander [2010-06-11 09:14:13] 479*2^828140-1 is not prime. Res64: 116DA6EBF1275AB1 Time : 5135.0 sec. user=Flatlander [2010-06-11 09:14:14] 515*2^828140-1 is not prime. Res64: 8666D3692FE1BE5A Time : 5135.0 sec. user=Flatlander [2010-06-11 09:14:14] 537*2^828140-1 is not prime. Res64: D0A50ABB414BB82C Time : 5134.0 sec. user=Flatlander [2010-06-11 09:14:15] 417*2^828141-1 is not prime. Res64: 4CF0AC02271AF90E Time : 5134.0 sec. user=Flatlander [2010-06-11 09:14:15] 531*2^828141-1 is not prime. Res64: 5D593EC6EC26E2A8 Time : 5133.0 sec. user=vaughan [2010-06-11 09:15:28] 405*2^828157-1 is not prime. Res64: FE6C066605218326 Time : 1924.0 sec. user=vaughan [2010-06-11 09:16:11] 513*2^828154-1 is not prime. Res64: 7DBA6673D3F3F06F Time : 2842.0 sec. user=vaughan [2010-06-11 09:17:25] 511*2^828161-1 is not prime. Res64: C1FCF1DA506F12C4 Time : 994.0 sec. user=vaughan [2010-06-11 09:17:34] 483*2^828162-1 is not prime. Res64: 31AD0ED73E68DCD5 Time : 996.0 sec. user=kar_bon [2010-06-11 09:17:40] 497*2^828162-1 is not prime. Res64: B1B1E845CDD7E8D6 Time : 909.0 sec. user=vaughan [2010-06-11 09:20:23] 433*2^828163-1 is not prime. Res64: F0A895FC88A3A222 Time : 945.0 sec. user=Flatlander [2010-06-11 09:20:33] 405*2^828145-1 is not prime. Res64: 3CAFA96F0BE13AC6 Time : 4856.0 sec. user=Flatlander [2010-06-11 09:20:34] 541*2^828145-1 is not prime. Res64: 3A6084527F593BE4 Time : 4856.0 sec. user=Flatlander [2010-06-11 09:20:35] 565*2^828145-1 is not prime. Res64: ED9EB20B034B7363 Time : 4856.0 sec. user=Flatlander [2010-06-11 09:20:36] 589*2^828145-1 is not prime. Res64: B8F3B927A166D6C8 Time : 4857.0 sec. user=Flatlander [2010-06-11 09:20:36] 525*2^828146-1 is not prime. Res64: D1D5317A04597848 Time : 4856.0 sec. user=vaughan [2010-06-11 09:21:43] 501*2^828159-1 is not prime. Res64: 3A571E8686583804 Time : 1777.0 sec. user=vaughan [2010-06-11 09:21:43] 573*2^828159-1 is not prime. Res64: 4B1BDD029E45F2F2 Time : 1776.0 sec. user=kar_bon [2010-06-11 09:21:48] 589*2^828163-1 is not prime. Res64: FDF5819E951EB91E Time : 913.0 sec. user=vaughan [2010-06-11 09:22:45] 507*2^828161-1 is not prime. Res64: 9FBA48AC756FF8BF Time : 1462.0 sec. user=vaughan [2010-06-11 09:23:06] 437*2^828164-1 is not prime. Res64: 3157FB29FA972F89 Time : 974.0 sec. user=kar_bon [2010-06-11 09:23:33] 495*2^828164-1 is not prime. Res64: 64A24488A536EAB4 Time : 908.0 sec. user=vaughan [2010-06-11 09:24:19] 465*2^828164-1 is not prime. Res64: D98A691C8D554E14 Time : 1038.0 sec. user=vaughan [2010-06-11 09:25:32] 599*2^828164-1 is not prime. Res64: 6247C0CD748E2CC1 Time : 946.0 sec. user=vaughan [2010-06-11 09:28:23] 517*2^828165-1 is not prime. Res64: C353B56D913F78B9 Time : 944.0 sec. user=vaughan [2010-06-11 09:28:57] 427*2^828165-1 is not prime. Res64: 1CE2882BD6F86BA3 Time : 1023.0 sec. user=vaughan [2010-06-11 09:30:01] 411*2^828166-1 is not prime. Res64: 6DE091BD19BA5E73 Time : 1039.0 sec. user=vaughan [2010-06-11 09:30:52] 451*2^828163-1 is not prime. Res64: 3C1FFC4C25579540 Time : 1474.0 sec. user=kar_bon [2010-06-11 09:32:47] 489*2^828169-1 is not prime. Res64: CFE402B05962F02F Time : 906.0 sec. user=vaughan [2010-06-11 09:34:02] 441*2^828169-1 is not prime. Res64: 4D440F58A1026C9E Time : 998.0 sec. user=vaughan [2010-06-11 09:34:12] 447*2^828169-1 is not prime. Res64: A6EE29F4BBAD0CDC Time : 998.0 sec. user=Flatlander [2010-06-11 09:35:46] 497*2^828132-1 is not prime. Res64: 91183FDED2BFBB33 Time : 8851.0 sec. user=Flatlander [2010-06-11 09:35:47] 503*2^828132-1 is not prime. Res64: 057C2A01216754ED Time : 8852.0 sec. user=Flatlander [2010-06-11 09:35:47] 569*2^828132-1 is not prime. Res64: 7FA86A6FB15364D4 Time : 8851.0 sec. user=Flatlander [2010-06-11 09:35:48] 585*2^828132-1 is not prime. Res64: 494610C4EE6594D7 Time : 8852.0 sec. user=Flatlander [2010-06-11 09:35:48] 421*2^828133-1 is not prime. Res64: 1222D497E63EA659 Time : 8851.0 sec. user=vaughan [2010-06-11 09:36:08] 505*2^828169-1 is not prime. Res64: 25D70F5FD806A591 Time : 945.0 sec. user=kar_bon [2010-06-11 09:37:16] 525*2^828170-1 is not prime. Res64: 3E718848E471291F Time : 928.0 sec. user=kar_bon [2010-06-11 09:38:50] 465*2^827575-1 is not prime. Res64: 6CAEFE326F2A2720 Time : 916.0 sec. user=vaughan [2010-06-11 09:39:26] 585*2^828170-1 is not prime. Res64: 7673CE9B21A5C13D Time : 980.0 sec. user=vaughan [2010-06-11 09:40:29] 467*2^828158-1 is not prime. Res64: CFD8B75742AECC1D Time : 3068.0 sec. user=vaughan [2010-06-11 09:41:18] 453*2^828171-1 is not prime. Res64: 86921152A60CCFB1 Time : 946.0 sec. user=vaughan [2010-06-11 09:41:35] 469*2^827575-1 is not prime. Res64: C0459561EEA8FC0F Time : 1036.0 sec. user=vaughan [2010-06-11 09:44:08] 469*2^828171-1 is not prime. Res64: 354DA8B18157D9A3 Time : 945.0 sec. user=Flatlander [2010-06-11 09:44:16] 405*2^828151-1 is not prime. Res64: 6B94EDFE6399191D Time : 5190.0 sec. user=Flatlander [2010-06-11 09:44:16] 421*2^828151-1 is not prime. Res64: FC148447535EFAA3 Time : 5189.0 sec. user=Flatlander [2010-06-11 09:44:16] 439*2^828151-1 is not prime. Res64: 5F22D1F5DE2E4168 Time : 5188.0 sec. user=Flatlander [2010-06-11 09:44:16] 463*2^828151-1 is not prime. Res64: C35F1544FF094D43 Time : 5187.0 sec. user=Flatlander [2010-06-11 09:44:17] 493*2^828151-1 is not prime. Res64: BABB17AA18887B15 Time : 5187.0 sec. user=vaughan [2010-06-11 09:45:03] 469*2^828165-1 is not prime. Res64: AB8B4698548EE526 Time : 1954.0 sec. user=vaughan [2010-06-11 09:46:10] 513*2^828171-1 is not prime. Res64: A4DB7976DAA6F5AE Time : 1033.0 sec. user=vaughan [2010-06-11 09:47:15] 537*2^828170-1 is not prime. Res64: 7D1D559E7C0E9E04 Time : 1470.0 sec. user=vaughan [2010-06-11 09:47:32] 539*2^828168-1 is not prime. Res64: 8E07C9468448DE08 Time : 1924.0 sec. user=kar_bon [2010-06-11 09:48:06] 479*2^828172-1 is not prime. Res64: AFEFC8A91396F44F Time : 918.0 sec. user=vaughan [2010-06-11 09:50:37] 563*2^828172-1 is not prime. Res64: 231064CBAFF4877C Time : 995.0 sec. user=vaughan [2010-06-11 09:50:49] 475*2^828173-1 is not prime. Res64: 59819776994323C7 Time : 997.0 sec. user=vaughan [2010-06-11 09:51:16] 417*2^828170-1 is not prime. Res64: 8CA60DCE9B5ED251 Time : 1772.0 sec. user=vaughan [2010-06-11 09:51:17] 453*2^828170-1 is not prime. Res64: BA9F60B3C671430D Time : 1772.0 sec. user=vaughan [2010-06-11 09:51:51] 417*2^828174-1 is not prime. Res64: 9F63BFE8D163C3A6 Time : 943.0 sec. user=kar_bon [2010-06-11 09:52:31] 431*2^828174-1 is not prime. Res64: A782726969F5F030 Time : 915.0 sec. user=kar_bon [2010-06-11 09:54:03] 485*2^828174-1 is not prime. Res64: F818D6EF790F8AB4 Time : 913.0 sec. user=vaughan [2010-06-11 09:55:39] 543*2^828174-1 is not prime. Res64: 7E1E951D291B2279 Time : 974.0 sec. user=vaughan [2010-06-11 09:55:50] 449*2^828172-1 is not prime. Res64: A90E080FF740FC56 Time : 1498.0 sec. user=vaughan [2010-06-11 09:57:03] 563*2^828174-1 is not prime. Res64: A863508DFD27C3EC Time : 946.0 sec. user=vaughan [2010-06-11 09:59:52] 585*2^828174-1 is not prime. Res64: 2C2858F12A8F793F Time : 944.0 sec. user=vaughan [2010-06-11 10:03:14] 519*2^828176-1 is not prime. Res64: 1C6294B3BDD231D0 Time : 1024.0 sec. user=kar_bon [2010-06-11 10:03:48] 499*2^828177-1 is not prime. Res64: D40D0CE9681D8C94 Time : 941.0 sec. user=vaughan [2010-06-11 10:07:13] 529*2^828177-1 is not prime. Res64: D552EA099E7F1833 Time : 996.0 sec. user=vaughan [2010-06-11 10:07:24] 571*2^828177-1 is not prime. Res64: FCDFA0298FE34C39 Time : 995.0 sec. user=vaughan [2010-06-11 10:07:35] 467*2^828178-1 is not prime. Res64: ECB20054ABF31390 Time : 944.0 sec. user=kar_bon [2010-06-11 10:09:47] 525*2^828178-1 is not prime. Res64: 569BFDAB43909306 Time : 944.0 sec. user=vaughan [2010-06-11 10:11:52] 527*2^828178-1 is not prime. Res64: 7629798AD021EE07 Time : 973.0 sec. user=vaughan [2010-06-11 10:11:55] 409*2^828177-1 is not prime. Res64: 62735263BB935C31 Time : 1480.0 sec. user=vaughan [2010-06-11 10:12:49] 459*2^828179-1 is not prime. Res64: 8A22746D83558BDD Time : 946.0 sec. user=vaughan [2010-06-11 10:14:38] 557*2^828168-1 is not prime. Res64: 5AD48044839E66E4 Time : 3507.0 sec. user=vaughan [2010-06-11 10:15:38] 463*2^828179-1 is not prime. Res64: E60D4D6EC9D03702 Time : 946.0 sec. user=vaughan [2010-06-11 10:18:35] 503*2^828176-1 is not prime. Res64: 0C1966627954E55D Time : 2012.0 sec. user=vaughan [2010-06-11 10:19:36] 471*2^828177-1 is not prime. Res64: E4EEC0CCF95788A6 Time : 1924.0 sec. user=vaughan [2010-06-11 10:20:18] 465*2^828179-1 is not prime. Res64: FE59593E3577DB58 Time : 1024.0 sec. user=vaughan [2010-06-11 10:20:32] 545*2^828178-1 is not prime. Res64: 51D6A8605C2F9A62 Time : 1482.0 sec. user=vaughan [2010-06-11 10:20:53] 413*2^828178-1 is not prime. Res64: 255B04A844CDAE94 Time : 1776.0 sec. user=vaughan [2010-06-11 10:20:54] 465*2^828178-1 is not prime. Res64: AD1EBB3C4C8A0E0C Time : 1776.0 sec. user=vaughan [2010-06-11 10:23:19] 569*2^828180-1 is not prime. Res64: 0417CFB33A16CAAC Time : 944.0 sec. user=vaughan [2010-06-11 10:23:48] 459*2^828180-1 is not prime. Res64: BDA60B0300106AE5 Time : 995.0 sec. user=vaughan [2010-06-11 10:24:00] 465*2^828180-1 is not prime. Res64: BE57AE91B82D80ED Time : 996.0 sec. user=vaughan [2010-06-11 10:28:06] 411*2^828181-1 is not prime. Res64: 237F24D92AE94757 Time : 974.0 sec. user=vaughan [2010-06-11 10:28:34] 549*2^828181-1 is not prime. Res64: 547021B54C1563BB Time : 946.0 sec. user=vaughan [2010-06-11 10:31:22] 501*2^828182-1 is not prime. Res64: F5F4443E7D199016 Time : 945.0 sec. user=vaughan [2010-06-11 10:36:43] 505*2^828181-1 is not prime. Res64: 73BB39B8C1007000 Time : 1488.0 sec. user=vaughan [2010-06-11 10:37:22] 423*2^828183-1 is not prime. Res64: BA48BD42B3F44426 Time : 1025.0 sec. user=vaughan [2010-06-11 10:39:03] 447*2^828184-1 is not prime. Res64: 7A030D21CBAE0374 Time : 944.0 sec. user=vaughan [2010-06-11 10:40:23] 485*2^828184-1 is not prime. Res64: 0FA44FFB33A14186 Time : 995.0 sec. user=vaughan [2010-06-11 10:40:35] 529*2^828185-1 is not prime. Res64: 866F6D22FB996E1B Time : 995.0 sec. user=Flatlander [2010-06-11 10:41:22] 507*2^828169-1 is not prime. Res64: CA5BB6D9379052C4 Time : 4844.0 sec. user=Flatlander [2010-06-11 10:41:22] 525*2^828169-1 is not prime. Res64: 3EC9B3807FF7115D Time : 4843.0 sec. user=Flatlander [2010-06-11 10:41:23] 535*2^828169-1 is not prime. Res64: 02F1B11D4549038C Time : 4842.0 sec. user=Flatlander [2010-06-11 10:41:23] 559*2^828169-1 is not prime. Res64: E07BDCA395EA75F1 Time : 4840.0 sec. user=Flatlander [2010-06-11 10:41:24] 595*2^828169-1 is not prime. Res64: E19695C8490E25CD Time : 4840.0 sec. user=vaughan [2010-06-11 10:41:27] 557*2^828174-1 is not prime. Res64: 4456168A07188361 Time : 3658.0 sec. user=vaughan [2010-06-11 10:44:19] 503*2^828186-1 is not prime. Res64: 05258A74266199E1 Time : 945.0 sec. user=vaughan [2010-06-11 10:44:21] 437*2^828186-1 is not prime. Res64: 2D81334D3D80E78E Time : 975.0 sec. user=kar_bon [2010-06-11 10:45:39] 405*2^828181-1 is not prime. Res64: BF2BEAB5D7144FCE Time : 2152.0 sec. user=vaughan [2010-06-11 10:46:36] 481*2^828183-1 is not prime. Res64: A5E9B0D27F3458E2 Time : 1564.0 sec. user=vaughan [2010-06-11 10:47:08] 421*2^828187-1 is not prime. Res64: C25B0CDA9A3A0B28 Time : 946.0 sec. user=vaughan [2010-06-11 10:50:31] 555*2^828183-1 is not prime. Res64: 2B4AFFA56344876A Time : 1777.0 sec. user=vaughan [2010-06-11 10:50:31] 429*2^828184-1 is not prime. Res64: 25D6F58FCF41F8FF Time : 1776.0 sec. user=Flatlander [2010-06-11 10:53:54] 447*2^828166-1 is not prime. Res64: 4244C464AF12E06B Time : 5978.0 sec. user=Flatlander [2010-06-11 10:53:55] 455*2^828166-1 is not prime. Res64: 05DBAD911C463260 Time : 5977.0 sec. user=Flatlander [2010-06-11 10:53:56] 573*2^828166-1 is not prime. Res64: 47128782C28A4535 Time : 5977.0 sec. user=Flatlander [2010-06-11 10:53:57] 433*2^828167-1 is not prime. Res64: 14F3DC77DAD3C0EF Time : 5976.0 sec. user=Flatlander [2010-06-11 10:53:58] 519*2^828167-1 is not prime. Res64: 3EE9EBC0FCF8D8D8 Time : 5975.0 sec. user=vaughan [2010-06-11 10:54:26] 441*2^828187-1 is not prime. Res64: DE9AAD5DA3F064C5 Time : 1024.0 sec. user=vaughan [2010-06-11 10:54:49] 589*2^828187-1 is not prime. Res64: 063A0331250F5D9C Time : 946.0 sec. user=vaughan [2010-06-11 10:55:00] 557*2^828182-1 is not prime. Res64: 6CF6E34CF73BC942 Time : 2124.0 sec. user=vaughan [2010-06-11 10:55:20] 545*2^828182-1 is not prime. Res64: FBA764DF845DC31B Time : 2205.0 sec. user=vaughan [2010-06-11 10:56:58] 459*2^828188-1 is not prime. Res64: 68F3BC49D2004C6D Time : 995.0 sec. user=vaughan [2010-06-11 10:57:12] 599*2^828188-1 is not prime. Res64: 3B3C0576C3DDED3A Time : 997.0 sec. user=vaughan [2010-06-11 10:59:35] 541*2^828171-1 is not prime. Res64: 0BF1EE22778F115A Time : 5374.0 sec. user=vaughan [2010-06-11 11:00:05] 591*2^828190-1 is not prime. Res64: 3C044A3432339A49 Time : 946.0 sec. user=vaughan [2010-06-11 11:00:34] 453*2^828191-1 is not prime. Res64: 604581B951D439E0 Time : 973.0 sec. user=vaughan [2010-06-11 11:01:05] 439*2^828187-1 is not prime. Res64: 5FB33C46B2E41724 Time : 1462.0 sec. user=vaughan [2010-06-11 11:02:52] 559*2^828191-1 is not prime. Res64: CBD9359A9AC0A1C9 Time : 945.0 sec. user=vaughan [2010-06-11 11:10:33] 407*2^828194-1 is not prime. Res64: E3A9C16B3D55CE00 Time : 944.0 sec. user=kar_bon [2010-06-11 11:10:48] 481*2^828179-1 is not prime. Res64: 41BF7FC236C2165D Time : 4019.0 sec. user=vaughan [2010-06-11 11:11:08] 595*2^828193-1 is not prime. Res64: 01EA7A6629C7778D Time : 1002.0 sec. user=vaughan [2010-06-11 11:11:54] 531*2^828191-1 is not prime. Res64: 0CB74CFB5CEC4DC0 Time : 1519.0 sec. user=vaughan [2010-06-11 11:13:41] 587*2^828194-1 is not prime. Res64: EE45AAC32BF3B62B Time : 1004.0 sec. user=vaughan [2010-06-11 11:13:58] 411*2^828195-1 is not prime. Res64: B774089B60D23A61 Time : 1007.0 sec. user=Flatlander [2010-06-11 11:14:14] 481*2^828173-1 is not prime. Res64: 065967F5AD5E62D6 Time : 5905.0 sec. user=Flatlander [2010-06-11 11:14:15] 495*2^828173-1 is not prime. Res64: 27C13A2FAE0EFCFD Time : 5905.0 sec. user=Flatlander [2010-06-11 11:14:15] 517*2^828173-1 is not prime. Res64: 0B5409AF824230D3 Time : 5905.0 sec. user=Flatlander [2010-06-11 11:14:16] 537*2^828173-1 is not prime. Res64: B66210A428CCFE9F Time : 5905.0 sec. user=Flatlander [2010-06-11 11:14:17] 411*2^828174-1 is not prime. Res64: DBF975F8C8944434 Time : 5906.0 sec. user=vaughan [2010-06-11 11:15:47] 483*2^828182-1 is not prime. Res64: 30F0A23DB9AE4786 Time : 3670.0 sec. user=vaughan [2010-06-11 11:15:50] 513*2^828195-1 is not prime. Res64: 681522E70FA99402 Time : 945.0 sec. user=vaughan [2010-06-11 11:16:54] 541*2^828195-1 is not prime. Res64: 209B7DBD02063EBB Time : 980.0 sec. user=kar_bon [2010-06-11 11:18:05] 459*2^828191-1 is not prime. Res64: 9EDDEE7BF99A6CB0 Time : 1946.0 sec. user=vaughan [2010-06-11 11:18:37] 495*2^828196-1 is not prime. Res64: 9437345795FB9002 Time : 945.0 sec. user=vaughan [2010-06-11 11:20:07] 503*2^828192-1 is not prime. Res64: 6AD14E3F07D49194 Time : 1775.0 sec. user=vaughan [2010-06-11 11:20:07] 549*2^828192-1 is not prime. Res64: EE91F4A7F578289C Time : 1775.0 sec. user=vaughan [2010-06-11 11:24:42] 443*2^828196-1 is not prime. Res64: 29E3B9D24B1EEE48 Time : 1417.0 sec. user=vaughan [2010-06-11 11:26:17] 507*2^828196-1 is not prime. Res64: D2CB694F37388238 Time : 944.0 sec. user=vaughan [2010-06-11 11:27:17] 563*2^828194-1 is not prime. Res64: F5DCEE51FF8025DF Time : 1917.0 sec. user=vaughan [2010-06-11 11:27:24] 435*2^828197-1 is not prime. Res64: 76C667EEDA8C02CA Time : 976.0 sec. user=vaughan [2010-06-11 11:28:04] 525*2^828194-1 is not prime. Res64: 8E1554783A391690 Time : 1985.0 sec. user=vaughan [2010-06-11 11:30:27] 465*2^828197-1 is not prime. Res64: 3B6258E1B921D407 Time : 1006.0 sec. user=vaughan [2010-06-11 11:30:48] 517*2^828197-1 is not prime. Res64: 1AEB8D0D475F2CC1 Time : 1010.0 sec. user=vaughan [2010-06-11 11:31:36] 525*2^828199-1 is not prime. Res64: C80DAB25DBEB9BA6 Time : 946.0 sec. user=vaughan [2010-06-11 11:33:13] 553*2^828199-1 is not prime. Res64: CEC3AC387DFEB42A Time : 979.0 sec. user=vaughan [2010-06-11 11:34:21] 449*2^828200-1 is not prime. Res64: 2D9390C30D0BB98A Time : 945.0 sec. user=vaughan [2010-06-11 11:37:10] 445*2^828197-1 is not prime. Res64: 1DDA7B188D5D2656 Time : 1516.0 sec. user=vaughan [2010-06-11 11:39:40] 533*2^828190-1 is not prime. Res64: 97385AC476EBC06A Time : 3493.0 sec. user=kar_bon [2010-06-11 11:40:12] 579*2^828196-1 is not prime. Res64: C32877A1F525FF33 Time : 1764.0 sec. user=Flatlander [2010-06-11 11:40:13] 593*2^828174-1 is not prime. Res64: 8B8D3FB5A9172088 Time : 6956.0 sec. user=Flatlander [2010-06-11 11:40:14] 553*2^828175-1 is not prime. Res64: 5A8949009D32F3BC Time : 6956.0 sec. user=Flatlander [2010-06-11 11:40:15] 425*2^828176-1 is not prime. Res64: 434DB0BCEC4A4166 Time : 6956.0 sec. user=Flatlander [2010-06-11 11:40:16] 455*2^828176-1 is not prime. Res64: 4892B12D59B9BBF0 Time : 6956.0 sec. user=Flatlander [2010-06-11 11:40:17] 479*2^828176-1 is not prime. Res64: C33E069651A6CF39 Time : 6956.0 sec. user=kar_bon [2010-06-11 11:40:17] 555*2^828199-1 is not prime. Res64: 13BFD7B384BE6AC4 Time : 1332.0 sec. user=vaughan [2010-06-11 11:42:01] 557*2^828200-1 is not prime. Res64: 2B02F723971B7B4B Time : 944.0 sec. user=vaughan [2010-06-11 11:43:39] 529*2^828201-1 is not prime. Res64: 792DCB9F4D5920C2 Time : 975.0 sec. user=vaughan [2010-06-11 11:47:12] 503*2^828202-1 is not prime. Res64: F269C4FD22D50E3C Time : 1006.0 sec. user=vaughan [2010-06-11 11:47:20] 561*2^828202-1 is not prime. Res64: 49D33102ED274945 Time : 944.0 sec. user=vaughan [2010-06-11 11:47:35] 527*2^828202-1 is not prime. Res64: 821192DA2547AFED Time : 1007.0 sec. user=vaughan [2010-06-11 11:48:57] 519*2^828200-1 is not prime. Res64: 1118DF07F8D76FE5 Time : 1455.0 sec. user=vaughan [2010-06-11 11:49:31] 567*2^828202-1 is not prime. Res64: 660E86D72ADEC841 Time : 979.0 sec. user=vaughan [2010-06-11 11:49:42] 459*2^828200-1 is not prime. Res64: E0BECAE436CC2A1F Time : 1774.0 sec. user=vaughan [2010-06-11 11:49:42] 483*2^828200-1 is not prime. Res64: 4BAC950ECE182313 Time : 1773.0 sec. user=vaughan [2010-06-11 11:50:05] 411*2^828203-1 is not prime. Res64: 182F64E0B2821696 Time : 944.0 sec. user=kar_bon [2010-06-11 11:55:13] 523*2^828203-1 is not prime. Res64: 5953F45FB8C3B1E1 Time : 900.0 sec. user=kar_bon [2010-06-11 11:55:35] 549*2^828203-1 is not prime. Res64: 1EA0A6796A1E0040 Time : 918.0 sec. user=vaughan [2010-06-11 11:57:45] 567*2^828205-1 is not prime. Res64: 1982D083B56F2FAA Time : 945.0 sec. user=vaughan [2010-06-11 11:59:43] 447*2^828201-1 is not prime. Res64: BFF2094CC207C682 Time : 1946.0 sec. user=vaughan [2010-06-11 11:59:54] 577*2^828205-1 is not prime. Res64: A2510281C1A8E622 Time : 976.0 sec. user=vaughan [2010-06-11 12:01:13] 423*2^828202-1 is not prime. Res64: A7F39A1B94DB79B5 Time : 1989.0 sec. user=vaughan [2010-06-11 12:03:06] 477*2^828206-1 is not prime. Res64: E42C997B77BE8CC4 Time : 946.0 sec. user=vaughan [2010-06-11 12:03:57] 597*2^828205-1 is not prime. Res64: 961917CF576C60FF Time : 1005.0 sec. user=vaughan [2010-06-11 12:03:57] 445*2^828203-1 is not prime. Res64: A3FE0D090B82C256 Time : 1608.0 sec. user=vaughan [2010-06-11 12:04:24] 483*2^828206-1 is not prime. Res64: 8F5C346638D29D3B Time : 1009.0 sec. user=vaughan [2010-06-11 12:05:50] 539*2^828208-1 is not prime. Res64: BE01F170BAB4C9B6 Time : 945.0 sec. user=vaughan [2010-06-11 12:05:51] 571*2^828207-1 is not prime. Res64: 4175E521D268128A Time : 980.0 sec. user=vaughan [2010-06-11 12:10:27] 421*2^828199-1 is not prime. Res64: C4CDA0A6E9E4F790 Time : 3280.0 sec. user=kar_bon [2010-06-11 12:10:27] 569*2^828208-1 is not prime. Res64: 5F31AEB8A6DDF530 Time : 914.0 sec. user=kar_bon [2010-06-11 12:10:47] 573*2^828208-1 is not prime. Res64: C227B493957BB775 Time : 911.0 sec. user=vaughan [2010-06-11 12:12:46] 573*2^828174-1 is not prime. Res64: C1C125AB10B60292 Time : 9071.0 sec. user=vaughan [2010-06-11 12:13:26] 553*2^828207-1 is not prime. Res64: 87202811DCDB471D Time : 1469.0 sec. user=vaughan [2010-06-11 12:13:29] 411*2^828209-1 is not prime. Res64: 3DAAB4FA26084A63 Time : 944.0 sec. user=vaughan [2010-06-11 12:16:10] 549*2^828209-1 is not prime. Res64: D589F69DB0E80372 Time : 976.0 sec. user=vaughan [2010-06-11 12:18:51] 417*2^828210-1 is not prime. Res64: 0B3C4BFA160EE154 Time : 946.0 sec. user=vaughan [2010-06-11 12:18:54] 453*2^828195-1 is not prime. Res64: 06F659DB6706386A Time : 4760.0 sec. user=Flatlander [2010-06-11 12:18:58] 557*2^828192-1 is not prime. Res64: 0D3371AFC3C362BA Time : 5099.0 sec. user=Flatlander [2010-06-11 12:18:59] 585*2^828192-1 is not prime. Res64: 8470F32197B06CF0 Time : 5098.0 sec. user=Flatlander [2010-06-11 12:18:59] 429*2^828193-1 is not prime. Res64: AE07F995E6C4C113 Time : 5096.0 sec. user=Flatlander [2010-06-11 12:19:00] 477*2^828193-1 is not prime. Res64: 038227C132F099B8 Time : 5096.0 sec. user=Flatlander [2010-06-11 12:19:01] 489*2^828193-1 is not prime. Res64: 30FAD46758603396 Time : 5095.0 sec. user=vaughan [2010-06-11 12:19:18] 527*2^828208-1 is not prime. Res64: CA2BA1B932D12342 Time : 1775.0 sec. user=vaughan [2010-06-11 12:19:19] 533*2^828208-1 is not prime. Res64: 6CC602C7F28DC325 Time : 1775.0 sec. user=vaughan [2010-06-11 12:20:42] 527*2^828210-1 is not prime. Res64: 87FCF4A5C0538275 Time : 1005.0 sec. user=vaughan [2010-06-11 12:21:13] 451*2^828211-1 is not prime. Res64: 82F85B041C55993C Time : 1009.0 sec. user=vaughan [2010-06-11 12:21:34] 499*2^828211-1 is not prime. Res64: 7D3ADB0BEEF87344 Time : 945.0 sec. user=vaughan [2010-06-11 12:22:11] 511*2^828211-1 is not prime. Res64: E985F9805119D738 Time : 980.0 sec. user=kar_bon [2010-06-11 12:25:59] 595*2^828211-1 is not prime. Res64: 06D97036E62253FE Time : 932.0 sec. user=kar_bon [2010-06-11 12:26:35] 557*2^828212-1 is not prime. Res64: D9A4C4E2849A8054 Time : 947.0 sec. user=vaughan [2010-06-11 12:29:13] 565*2^828213-1 is not prime. Res64: 6A97EB2CBB3D0EDE Time : 944.0 sec. user=vaughan [2010-06-11 12:29:26] 421*2^828211-1 is not prime. Res64: FE494740505AF3FF Time : 1529.0 sec. user=vaughan [2010-06-11 12:30:02] 427*2^828213-1 is not prime. Res64: BA5EE837D73ACB14 Time : 1036.0 sec. user=Flatlander [2010-06-11 12:31:01] 465*2^828189-1 is not prime. Res64: ADC1656A4C7854AC Time : 6577.0 sec. user=Flatlander [2010-06-11 12:31:02] 511*2^828189-1 is not prime. Res64: A2A4E72728B04596 Time : 6577.0 sec. user=Flatlander [2010-06-11 12:31:03] 455*2^828190-1 is not prime. Res64: 4EDD6EF2763E0F85 Time : 6577.0 sec. user=Flatlander [2010-06-11 12:31:04] 467*2^828190-1 is not prime. Res64: 69D868AA5760E60B Time : 6578.0 sec. user=Flatlander [2010-06-11 12:31:05] 483*2^828190-1 is not prime. Res64: 69BBB0BF2736115E Time : 6578.0 sec. user=vaughan [2010-06-11 12:31:38] 469*2^828209-1 is not prime. Res64: 64875230D1B43BA1 Time : 1915.0 sec. user=vaughan [2010-06-11 12:32:36] 477*2^827617-1 is not prime. Res64: C1738E871FACD2D9 Time : 987.0 sec. user=vaughan [2010-06-11 12:34:38] 577*2^828213-1 is not prime. Res64: C45EDC54157BAFA3 Time : 947.0 sec. user=vaughan [2010-06-11 12:36:13] 585*2^828213-1 is not prime. Res64: 379C9210E82BF323 Time : 1039.0 sec. user=vaughan [2010-06-11 12:37:04] 579*2^828209-1 is not prime. Res64: 0BA745F003651647 Time : 2152.0 sec. user=vaughan [2010-06-11 12:37:19] 545*2^828218-1 is not prime. Res64: 01D58FE5ED0E196D Time : 945.0 sec. user=vaughan [2010-06-11 12:37:41] 447*2^828218-1 is not prime. Res64: 281CDB5BC90B1891 Time : 1020.0 sec. user=vaughan [2010-06-11 12:38:02] 487*2^828213-1 is not prime. Res64: 614BFBCE7CACFC9D Time : 1476.0 sec. user=vaughan [2010-06-11 12:38:19] 483*2^828218-1 is not prime. Res64: C4BB975250907B58 Time : 1027.0 sec. user=vaughan [2010-06-11 12:38:43] 493*2^828219-1 is not prime. Res64: 021F2D16B4B16AE1 Time : 993.0 sec. user=vaughan [2010-06-11 12:39:05] 505*2^828203-1 is not prime. Res64: F749BF86D3D656AA Time : 3565.0 sec. user=Flatlander [2010-06-11 12:40:02] 537*2^828197-1 is not prime. Res64: D0BD1AEA328739A7 Time : 5143.0 sec. user=Flatlander [2010-06-11 12:40:03] 577*2^828197-1 is not prime. Res64: 5C2D738FB441A9E1 Time : 5143.0 sec. user=Flatlander [2010-06-11 12:40:04] 401*2^828198-1 is not prime. Res64: F15973599BEC3500 Time : 5142.0 sec. user=Flatlander [2010-06-11 12:40:04] 447*2^828198-1 is not prime. Res64: E0EBCD1343815D40 Time : 5141.0 sec. user=Flatlander [2010-06-11 12:40:05] 415*2^828199-1 is not prime. Res64: D2A2CC3851DB25C8 Time : 5140.0 sec. user=vaughan [2010-06-11 12:44:58] 437*2^828220-1 is not prime. Res64: 340C891DC26409DA Time : 945.0 sec. user=vaughan [2010-06-11 12:47:15] 489*2^828220-1 is not prime. Res64: 5E2F47F7C9DF190B Time : 1034.0 sec. user=vaughan [2010-06-11 12:48:52] 571*2^828221-1 is not prime. Res64: 42FC65724BCB6211 Time : 976.0 sec. user=vaughan [2010-06-11 12:48:53] 457*2^828217-1 is not prime. Res64: 753C255CD4DDEAC8 Time : 1774.0 sec. user=vaughan [2010-06-11 12:48:53] 517*2^828217-1 is not prime. Res64: 3A1940E1BDFB8B7C Time : 1773.0 sec. user=vaughan [2010-06-11 12:50:23] 453*2^828222-1 is not prime. Res64: 139BE062B4707BD8 Time : 946.0 sec. user=vaughan [2010-06-11 12:53:05] 507*2^828222-1 is not prime. Res64: 64B48AFCBFE6D96A Time : 946.0 sec. user=vaughan [2010-06-11 12:53:32] 495*2^828222-1 is not prime. Res64: C5E16606CD7C9720 Time : 1039.0 sec. user=vaughan [2010-06-11 12:54:26] 525*2^828222-1 is not prime. Res64: 75360A852CB91C27 Time : 1005.0 sec. user=vaughan [2010-06-11 12:54:47] 447*2^828220-1 is not prime. Res64: 423416D9F7674076 Time : 1521.0 sec. user=vaughan [2010-06-11 12:55:02] 429*2^828223-1 is not prime. Res64: CBEEAFAB0DE9190C Time : 979.0 sec. user=vaughan [2010-06-11 12:55:07] 587*2^828222-1 is not prime. Res64: 260556C1CEF94543 Time : 1009.0 sec. user=vaughan [2010-06-11 13:00:41] 533*2^828224-1 is not prime. Res64: 1CF21522E4003730 Time : 943.0 sec. user=vaughan [2010-06-11 13:02:21] 567*2^828222-1 is not prime. Res64: C93CF51D4E4A5B9E Time : 1459.0 sec. user=vaughan [2010-06-11 13:04:29] 557*2^828224-1 is not prime. Res64: C80791BC4D0BE9EE Time : 1034.0 sec. user=vaughan [2010-06-11 13:05:08] 585*2^828224-1 is not prime. Res64: 02FF38D5BE7F62FF Time : 976.0 sec. user=vaughan [2010-06-11 13:06:09] 465*2^828225-1 is not prime. Res64: 70F44DE05258E683 Time : 946.0 sec. user=vaughan [2010-06-11 13:06:46] 549*2^828221-1 is not prime. Res64: 15FD61A252DC0072 Time : 2109.0 sec. user=vaughan [2010-06-11 13:08:49] 481*2^828225-1 is not prime. Res64: 5CDC8701FBD1ED33 Time : 945.0 sec. user=vaughan [2010-06-11 13:10:20] 501*2^828222-1 is not prime. Res64: EF3CD5F15575C78F Time : 1997.0 sec. user=vaughan [2010-06-11 13:10:49] 507*2^828225-1 is not prime. Res64: 4AD574A85ADDA35C Time : 1037.0 sec. user=vaughan [2010-06-11 13:11:12] 525*2^828225-1 is not prime. Res64: 860CC5C29646A63E Time : 1006.0 sec. user=vaughan [2010-06-11 13:11:19] 595*2^828225-1 is not prime. Res64: EB0F44BF343CF4C8 Time : 978.0 sec. user=vaughan [2010-06-11 13:11:56] 555*2^828211-1 is not prime. Res64: F7BA2FD1498FE295 Time : 3690.0 sec. user=vaughan [2010-06-11 13:11:56] 425*2^828226-1 is not prime. Res64: E256E7D44B8DC514 Time : 1009.0 sec. user=vaughan [2010-06-11 13:16:26] 477*2^828226-1 is not prime. Res64: 1CE842281BB5D6D8 Time : 945.0 sec. user=kar_bon [2010-06-11 13:17:26] 531*2^828219-1 is not prime. Res64: 1957B674A5BF953E Time : 3051.0 sec. user=kar_bon [2010-06-11 13:18:04] 511*2^828219-1 is not prime. Res64: 80EAC83E08E216A2 Time : 3125.0 sec. user=vaughan [2010-06-11 13:18:30] 593*2^828224-1 is not prime. Res64: C3FD3E66F2C885FA Time : 1776.0 sec. user=vaughan [2010-06-11 13:18:30] 415*2^828225-1 is not prime. Res64: D368F06BFF5A5654 Time : 1776.0 sec. user=vaughan [2010-06-11 13:20:11] 555*2^828225-1 is not prime. Res64: FD9650EA40FC4D26 Time : 1525.0 sec. user=vaughan [2010-06-11 13:21:24] 525*2^828226-1 is not prime. Res64: 9061CC1EF72097C9 Time : 976.0 sec. user=vaughan [2010-06-11 13:21:42] 495*2^828226-1 is not prime. Res64: E0D3F32DD652E9FE Time : 1034.0 sec. user=vaughan [2010-06-11 13:21:55] 433*2^828227-1 is not prime. Res64: 687D8BC0060ABB4E Time : 946.0 sec. user=vaughan [2010-06-11 13:24:34] 465*2^828228-1 is not prime. Res64: 39C597798A9989D7 Time : 945.0 sec. user=vaughan [2010-06-11 13:26:23] 491*2^828226-1 is not prime. Res64: 215390FC66CFAECA Time : 1442.0 sec. user=vaughan [2010-06-11 13:27:38] 547*2^828229-1 is not prime. Res64: 60E1844EBA527C6A Time : 979.0 sec. user=vaughan [2010-06-11 13:27:57] 585*2^828228-1 is not prime. Res64: F2B650A185C07742 Time : 1005.0 sec. user=vaughan [2010-06-11 13:28:07] 567*2^828228-1 is not prime. Res64: 1B1D6C8290CBDA91 Time : 1038.0 sec. user=vaughan [2010-06-11 13:28:45] 537*2^828230-1 is not prime. Res64: C5733293D0AF24B7 Time : 1009.0 sec. user=vaughan [2010-06-11 13:32:10] 557*2^828230-1 is not prime. Res64: 2397D9D9F03C91D9 Time : 944.0 sec. user=kar_bon [2010-06-11 13:36:36] 563*2^828230-1 is not prime. Res64: D2363C2EE79EE078 Time : 1150.0 sec. user=kar_bon [2010-06-11 13:37:25] 585*2^828230-1 is not prime. Res64: DE4FE988A457F80C Time : 1160.0 sec. user=vaughan [2010-06-11 13:37:39] 423*2^828232-1 is not prime. Res64: 0B8557936DEB3899 Time : 975.0 sec. user=vaughan [2010-06-11 13:37:40] 527*2^828232-1 is not prime. Res64: 157580987B241985 Time : 946.0 sec. user=vaughan [2010-06-11 13:38:54] 429*2^828232-1 is not prime. Res64: 78E64A660BD6C7A3 Time : 1032.0 sec. user=vaughan [2010-06-11 13:39:24] 549*2^828227-1 is not prime. Res64: 875755F6B8C0EC95 Time : 1958.0 sec. user=vaughan [2010-06-11 13:39:34] 451*2^828223-1 is not prime. Res64: FA91AA3C5F1353D8 Time : 3629.0 sec. user=vaughan [2010-06-11 13:40:18] 549*2^828232-1 is not prime. Res64: E2160CAF91112989 Time : 945.0 sec. user=Flatlander [2010-06-11 13:42:39] 495*2^828220-1 is not prime. Res64: BB0303C0E40A908A Time : 4293.0 sec. user=Flatlander [2010-06-11 13:42:39] 579*2^828220-1 is not prime. Res64: 0ED35D41ADBFAB70 Time : 4291.0 sec. user=Flatlander [2010-06-11 13:42:40] 451*2^828221-1 is not prime. Res64: 5C4080FCB793F161 Time : 4291.0 sec. user=Flatlander [2010-06-11 13:42:41] 507*2^828221-1 is not prime. Res64: D5AA91350FC8C2BC Time : 4290.0 sec. user=Flatlander [2010-06-11 13:42:42] 525*2^828221-1 is not prime. Res64: 5895752889FF508A Time : 4290.0 sec. user=Flatlander [2010-06-11 13:42:48] 589*2^828203-1 is not prime. Res64: 718DB3FF9123C15B Time : 7350.0 sec. user=Flatlander [2010-06-11 13:42:49] 437*2^828204-1 is not prime. Res64: 76191B8101436D84 Time : 7349.0 sec. user=Flatlander [2010-06-11 13:42:49] 447*2^828204-1 is not prime. Res64: 45E824FA3DC23313 Time : 7348.0 sec. user=Flatlander [2010-06-11 13:42:49] 473*2^828204-1 is not prime. Res64: 5019B2D6EB446A19 Time : 7346.0 sec. user=Flatlander [2010-06-11 13:42:49] 563*2^828204-1 is not prime. Res64: 008BFD6D1BEF62A4 Time : 7344.0 sec. user=vaughan [2010-06-11 13:43:40] 549*2^828228-1 is not prime. Res64: 2DF8B3FFE2A33453 Time : 2000.0 sec. user=vaughan [2010-06-11 13:43:57] 489*2^828233-1 is not prime. Res64: 31A7901F6E27C124 Time : 979.0 sec. user=vaughan [2010-06-11 13:44:42] 511*2^828233-1 is not prime. Res64: 4593B9BEE6867E56 Time : 1005.0 sec. user=vaughan [2010-06-11 13:45:02] 413*2^828232-1 is not prime. Res64: 0239662A834D89B0 Time : 1492.0 sec. user=vaughan [2010-06-11 13:45:24] 529*2^828233-1 is not prime. Res64: 9E75776FB3F64B30 Time : 1037.0 sec. user=vaughan [2010-06-11 13:45:36] 521*2^828234-1 is not prime. Res64: 6EDDD445F00C6B95 Time : 1011.0 sec. user=vaughan [2010-06-11 13:47:55] 405*2^828236-1 is not prime. Res64: 2CC5ACF61E03BCDE Time : 945.0 sec. user=vaughan [2010-06-11 13:48:05] 493*2^828231-1 is not prime. Res64: 29703621F0C8FCD1 Time : 1774.0 sec. user=vaughan [2010-06-11 13:48:06] 511*2^828231-1 is not prime. Res64: 688A136082A96CCD Time : 1775.0 sec. user=Flatlander [2010-06-11 13:48:43] 461*2^828214-1 is not prime. Res64: 33682ACD27C50F99 Time : 5380.0 sec. user=Flatlander [2010-06-11 13:48:43] 425*2^828216-1 is not prime. Res64: BC59050FCB0964D1 Time : 5379.0 sec. user=Flatlander [2010-06-11 13:48:44] 525*2^828216-1 is not prime. Res64: 765A2F2DD10AFF90 Time : 5378.0 sec. user=Flatlander [2010-06-11 13:48:45] 597*2^828216-1 is not prime. Res64: B46F355CA7BE3A3A Time : 5378.0 sec. user=Flatlander [2010-06-11 13:48:46] 421*2^828217-1 is not prime. Res64: 8414B9D28FE6974A Time : 5377.0 sec. user=vaughan [2010-06-11 13:50:48] 481*2^828233-1 is not prime. Res64: 5CF7FD43608A8A44 Time : 1466.0 sec. user=vaughan [2010-06-11 13:53:25] 525*2^828236-1 is not prime. Res64: 67BE38616C7F3C52 Time : 945.0 sec. user=vaughan [2010-06-11 13:53:57] 507*2^828236-1 is not prime. Res64: 87DDBB65EEB4E7E6 Time : 978.0 sec. user=vaughan [2010-06-11 13:56:02] 579*2^828237-1 is not prime. Res64: FF812944DC8C6535 Time : 944.0 sec. user=vaughan [2010-06-11 13:56:09] 585*2^828236-1 is not prime. Res64: 2F7055DFFEC4E015 Time : 1035.0 sec. user=kar_bon [2010-06-11 13:57:05] 479*2^828236-1 is not prime. Res64: E2BDCAB33F43A61D Time : 1180.0 sec. user=kar_bon [2010-06-11 13:57:05] 455*2^828236-1 is not prime. Res64: DA84BD106F83654C Time : 1228.0 sec. user=vaughan [2010-06-11 14:00:15] 543*2^828239-1 is not prime. Res64: 908BC9020D5C0488 Time : 978.0 sec. user=vaughan [2010-06-11 14:01:28] 595*2^828239-1 is not prime. Res64: 25979697449E687E Time : 1006.0 sec. user=vaughan [2010-06-11 14:02:27] 415*2^828241-1 is not prime. Res64: 659EF205FB0FA75B Time : 1011.0 sec. user=vaughan [2010-06-11 14:02:42] 567*2^828240-1 is not prime. Res64: 1CA291D56119538C Time : 1038.0 sec. user=vaughan [2010-06-11 14:03:39] 541*2^828241-1 is not prime. Res64: 2DB1A2B1CDD9D6B8 Time : 944.0 sec. user=vaughan [2010-06-11 14:09:11] 571*2^828243-1 is not prime. Res64: E4559500B32DE8AE Time : 946.0 sec. user=vaughan [2010-06-11 14:10:14] 573*2^828243-1 is not prime. Res64: E8FDC459AD0E3FBD Time : 978.0 sec. user=vaughan [2010-06-11 14:10:33] 455*2^828240-1 is not prime. Res64: 29655AEDE360D3C1 Time : 1531.0 sec. user=vaughan [2010-06-11 14:11:47] 429*2^828244-1 is not prime. Res64: D8A6396C53FC533D Time : 945.0 sec. user=vaughan [2010-06-11 14:11:54] 447*2^828230-1 is not prime. Res64: E7C6C4EC42730C95 Time : 3599.0 sec. user=vaughan [2010-06-11 14:12:05] 447*2^828237-1 is not prime. Res64: FE301743398EC843 Time : 1961.0 sec. user=Flatlander [2010-06-11 14:12:28] 541*2^828223-1 is not prime. Res64: BA88699A38616B6D Time : 5541.0 sec. user=Flatlander [2010-06-11 14:12:28] 549*2^828223-1 is not prime. Res64: 4CC39F336AD0934E Time : 5540.0 sec. user=Flatlander [2010-06-11 14:12:29] 555*2^828223-1 is not prime. Res64: FE6A28169BF8D141 Time : 5539.0 sec. user=Flatlander [2010-06-11 14:12:30] 507*2^828224-1 is not prime. Res64: 223783E82E24DEB1 Time : 5539.0 sec. user=Flatlander [2010-06-11 14:12:31] 525*2^828224-1 is not prime. Res64: CF22A1F31D72B531 Time : 5538.0 sec. user=vaughan [2010-06-11 14:13:21] 437*2^828244-1 is not prime. Res64: 8AB5F448506939DB Time : 1032.0 sec. user=vaughan [2010-06-11 14:15:03] 565*2^828243-1 is not prime. Res64: 6E3376048FA55621 Time : 1455.0 sec. user=kar_bon [2010-06-11 14:16:15] 443*2^828244-1 is not prime. Res64: 498703D189A30240 Time : 1150.0 sec. user=kar_bon [2010-06-11 14:16:25] 483*2^828244-1 is not prime. Res64: 80AD35B7EECE228D Time : 1160.0 sec. user=vaughan [2010-06-11 14:16:35] 411*2^828245-1 is not prime. Res64: 334D260CB5465BFB Time : 980.0 sec. user=vaughan [2010-06-11 14:16:51] 531*2^828239-1 is not prime. Res64: D6E2EB9C6DE9BF44 Time : 1991.0 sec. user=vaughan [2010-06-11 14:17:42] 565*2^828241-1 is not prime. Res64: 8AC8834C35C4CDBD Time : 1776.0 sec. user=vaughan [2010-06-11 14:17:42] 437*2^828242-1 is not prime. Res64: 04F1DFBDDEC2F87C Time : 1775.0 sec. user=vaughan [2010-06-11 14:18:16] 421*2^828245-1 is not prime. Res64: B9432730E0BD0C7E Time : 1009.0 sec. user=vaughan [2010-06-11 14:19:23] 591*2^828245-1 is not prime. Res64: A697383FCCB97210 Time : 944.0 sec. user=vaughan [2010-06-11 14:19:54] 525*2^828245-1 is not prime. Res64: 7F2490758B1F5534 Time : 1048.0 sec. user=vaughan [2010-06-11 14:19:59] 529*2^828245-1 is not prime. Res64: 6B95CA18E8F624FD Time : 1037.0 sec. user=vaughan [2010-06-11 14:24:57] 453*2^828246-1 is not prime. Res64: B0F682157B7D5C1D Time : 946.0 sec. user=vaughan [2010-06-11 14:26:31] 473*2^828246-1 is not prime. Res64: E17462F9A9D8A148 Time : 978.0 sec. user=vaughan [2010-06-11 14:27:31] 537*2^828246-1 is not prime. Res64: FE5EBC717F293F46 Time : 944.0 sec. user=vaughan [2010-06-11 14:30:35] 545*2^828250-1 is not prime. Res64: DE9A5DFA4DBA7B51 Time : 1034.0 sec. user=kar_bon [2010-06-11 14:31:56] 433*2^828251-1 is not prime. Res64: 62AD19C3410EDD14 Time : 940.0 sec. user=kar_bon [2010-06-11 14:32:00] 463*2^828251-1 is not prime. Res64: BA930722478044A3 Time : 935.0 sec. user=vaughan [2010-06-11 14:32:55] 531*2^828251-1 is not prime. Res64: 927DB5C675B428D6 Time : 980.0 sec. user=vaughan [2010-06-11 14:35:01] 485*2^828252-1 is not prime. Res64: DF73B804A77FA1CE Time : 1005.0 sec. user=vaughan [2010-06-11 14:35:07] 515*2^828252-1 is not prime. Res64: E2F39A2BC9C2C6E5 Time : 944.0 sec. user=vaughan [2010-06-11 14:35:57] 521*2^828246-1 is not prime. Res64: AFB7290F7CD11AB6 Time : 1524.0 sec. user=vaughan [2010-06-11 14:36:42] 537*2^828252-1 is not prime. Res64: B0A216007C0FCAE6 Time : 1009.0 sec. user=vaughan [2010-06-11 14:37:16] 549*2^828252-1 is not prime. Res64: 6EC3DE173B3DC8E3 Time : 1037.0 sec. user=vaughan [2010-06-11 14:39:47] 581*2^828250-1 is not prime. Res64: C6F1113FBE7C8117 Time : 1484.0 sec. user=vaughan [2010-06-11 14:40:42] 569*2^828252-1 is not prime. Res64: 96570896566F522B Time : 946.0 sec. user=vaughan [2010-06-11 14:40:54] 457*2^828237-1 is not prime. Res64: 5396600FBB4D8BFD Time : 3680.0 sec. user=vaughan [2010-06-11 14:42:46] 587*2^828252-1 is not prime. Res64: 62C27535EFCAF95E Time : 976.0 sec. user=vaughan [2010-06-11 14:43:16] 451*2^828253-1 is not prime. Res64: 803C2DFADB04E0D0 Time : 945.0 sec. user=vaughan [2010-06-11 14:47:19] 595*2^828251-1 is not prime. Res64: 4D4902B47BB34151 Time : 1776.0 sec. user=vaughan [2010-06-11 14:47:19] 479*2^828252-1 is not prime. Res64: 1FDA64336427FC42 Time : 1776.0 sec. user=vaughan [2010-06-11 14:47:48] 407*2^828254-1 is not prime. Res64: B722E1D757F122E6 Time : 1033.0 sec. user=vaughan [2010-06-11 14:49:14] 573*2^828254-1 is not prime. Res64: 2224E75A78AFCD79 Time : 979.0 sec. user=kar_bon [2010-06-11 14:49:35] 495*2^828254-1 is not prime. Res64: 106EB83E4DA1717B Time : 1054.0 sec. user=kar_bon [2010-06-11 14:50:17] 453*2^828254-1 is not prime. Res64: 7FA10F57BDBA8C6C Time : 1101.0 sec. user=vaughan [2010-06-11 14:50:52] 475*2^828255-1 is not prime. Res64: F6DD6EEA89709BAF Time : 945.0 sec. user=vaughan [2010-06-11 14:51:49] 459*2^828255-1 is not prime. Res64: B031416AAA110286 Time : 1008.0 sec. user=vaughan [2010-06-11 14:51:55] 433*2^828247-1 is not prime. Res64: 029088A5FBBC471A Time : 2390.0 sec. user=vaughan [2010-06-11 14:54:09] 583*2^828255-1 is not prime. Res64: 37A6E28496D6882E Time : 1047.0 sec. user=vaughan [2010-06-11 14:54:32] 407*2^828256-1 is not prime. Res64: 6B88BE296C0542BB Time : 1037.0 sec. user=vaughan [2010-06-11 14:56:27] 475*2^828257-1 is not prime. Res64: D832D1E20C3C1AE3 Time : 945.0 sec. user=vaughan [2010-06-11 14:56:59] 571*2^828251-1 is not prime. Res64: 7655FC55F2AEE8BC Time : 2409.0 sec. user=vaughan [2010-06-11 14:59:00] 515*2^828258-1 is not prime. Res64: 7640D923EE5F91D2 Time : 945.0 sec. user=vaughan [2010-06-11 14:59:02] 507*2^828258-1 is not prime. Res64: 6A49B0B1CCB0F4B0 Time : 976.0 sec. user=vaughan [2010-06-11 15:01:18] 579*2^828255-1 is not prime. Res64: 586A9FE81DD6E62F Time : 1522.0 sec. user=Flatlander [2010-06-11 15:02:01] 581*2^828238-1 is not prime. Res64: 6887800A67E98CE5 Time : 4752.0 sec. user=Flatlander [2010-06-11 15:02:02] 597*2^828238-1 is not prime. Res64: 55A4787FCFEB63CA Time : 4752.0 sec. user=Flatlander [2010-06-11 15:02:03] 441*2^828239-1 is not prime. Res64: 9C9320EB8A029A50 Time : 4753.0 sec. user=Flatlander [2010-06-11 15:02:03] 465*2^828239-1 is not prime. Res64: 092EC6C31A9D3106 Time : 4752.0 sec. user=Flatlander [2010-06-11 15:02:04] 469*2^828239-1 is not prime. Res64: 31491FE1715B62D1 Time : 4753.0 sec. user=vaughan [2010-06-11 15:04:24] 573*2^828256-1 is not prime. Res64: 1E9413A91B00ADE2 Time : 1477.0 sec. user=vaughan [2010-06-11 15:05:04] 583*2^828259-1 is not prime. Res64: 68613702F2BFEEAC Time : 1036.0 sec. user=vaughan [2010-06-11 15:05:33] 425*2^828260-1 is not prime. Res64: BC15D3184D826A99 Time : 979.0 sec. user=vaughan [2010-06-11 15:06:36] 441*2^828261-1 is not prime. Res64: 52CC2CBB99F7FFD3 Time : 945.0 sec. user=vaughan [2010-06-11 15:08:34] 471*2^828261-1 is not prime. Res64: 5925802F642CA3BD Time : 1005.0 sec. user=vaughan [2010-06-11 15:10:58] 577*2^828261-1 is not prime. Res64: 7E761769F7D42AFD Time : 1009.0 sec. user=vaughan [2010-06-11 15:11:50] 579*2^828261-1 is not prime. Res64: B1938EAB1D4AF3EC Time : 1038.0 sec. user=vaughan [2010-06-11 15:12:13] 491*2^828262-1 is not prime. Res64: C33658474A6C3D1E Time : 946.0 sec. user=vaughan [2010-06-11 15:14:45] 527*2^828262-1 is not prime. Res64: A95083678717CE63 Time : 945.0 sec. user=vaughan [2010-06-11 15:15:19] 555*2^828262-1 is not prime. Res64: 718D5E534EACEA58 Time : 977.0 sec. user=vaughan [2010-06-11 15:15:40] 567*2^828246-1 is not prime. Res64: F6FBD490A1BED110 Time : 3826.0 sec. user=vaughan [2010-06-11 15:16:54] 421*2^828259-1 is not prime. Res64: 89136B3F77EA1CA5 Time : 1775.0 sec. user=vaughan [2010-06-11 15:16:54] 493*2^828259-1 is not prime. Res64: 5D7388D6EC9BFBFA Time : 1774.0 sec. user=vaughan [2010-06-11 15:21:51] 459*2^828264-1 is not prime. Res64: 46558ABA85476183 Time : 979.0 sec. user=vaughan [2010-06-11 15:22:16] 455*2^828264-1 is not prime. Res64: 6873D186AD4688FB Time : 1033.0 sec. user=vaughan [2010-06-11 15:22:20] 473*2^828264-1 is not prime. Res64: 907F1DCEBC225F72 Time : 944.0 sec. user=vaughan [2010-06-11 15:24:27] 499*2^828261-1 is not prime. Res64: 71EC9F1744E7BBE9 Time : 1952.0 sec. user=vaughan [2010-06-11 15:25:22] 569*2^828264-1 is not prime. Res64: 3EBCB18EB9B7CFF4 Time : 1008.0 sec. user=vaughan [2010-06-11 15:26:40] 567*2^828262-1 is not prime. Res64: B2B9DF1EE363B476 Time : 1522.0 sec. user=vaughan [2010-06-11 15:27:58] 535*2^828265-1 is not prime. Res64: 996B4BDCEEEADEE9 Time : 946.0 sec. user=vaughan [2010-06-11 15:28:25] 429*2^828265-1 is not prime. Res64: 7476D2D6B04A4B44 Time : 1048.0 sec. user=vaughan [2010-06-11 15:28:46] 589*2^828263-1 is not prime. Res64: F56560911ABC769A Time : 1462.0 sec. user=vaughan [2010-06-11 15:29:06] 525*2^828265-1 is not prime. Res64: F46E8522A7DDBB06 Time : 1037.0 sec. user=Flatlander [2010-06-11 15:29:21] 453*2^828238-1 is not prime. Res64: 880EB7B729FC2A7C Time : 6398.0 sec. user=Flatlander [2010-06-11 15:29:22] 465*2^828238-1 is not prime. Res64: BF82B22FD4537359 Time : 6397.0 sec. user=Flatlander [2010-06-11 15:29:23] 533*2^828238-1 is not prime. Res64: 9CBA9E8DC8EAC579 Time : 6397.0 sec. user=Flatlander [2010-06-11 15:29:24] 545*2^828238-1 is not prime. Res64: 48D2A79C245F4663 Time : 6396.0 sec. user=Flatlander [2010-06-11 15:29:24] 551*2^828238-1 is not prime. Res64: F6FA708677385F2D Time : 6396.0 sec. user=vaughan [2010-06-11 15:30:07] 513*2^828262-1 is not prime. Res64: 289C44E30EB41CAB Time : 1988.0 sec. user=vaughan [2010-06-11 15:30:29] 537*2^828265-1 is not prime. Res64: 50A6E61A2FF3BB13 Time : 945.0 sec. user=vaughan [2010-06-11 15:31:46] 547*2^828265-1 is not prime. Res64: A160BA1367FD5496 Time : 987.0 sec. user=Flatlander [2010-06-11 15:35:08] 425*2^828248-1 is not prime. Res64: 9A23CC80B6743265 Time : 4956.0 sec. user=Flatlander [2010-06-11 15:35:09] 533*2^828248-1 is not prime. Res64: 06587274BB099515 Time : 4955.0 sec. user=Flatlander [2010-06-11 15:35:10] 595*2^828249-1 is not prime. Res64: 3F19BAFEA11BC3B9 Time : 4955.0 sec. user=Flatlander [2010-06-11 15:35:11] 495*2^828250-1 is not prime. Res64: B61483E293F9DA3F Time : 4954.0 sec. user=Flatlander [2010-06-11 15:35:12] 521*2^828250-1 is not prime. Res64: 6A1FF33B47244B86 Time : 4953.0 sec. user=Flatlander [2010-06-11 15:35:54] 563*2^828242-1 is not prime. Res64: 508C11858D75F4F0 Time : 6427.0 sec. user=Flatlander [2010-06-11 15:35:54] 567*2^828242-1 is not prime. Res64: AE0F3C7EDFAAE1AB Time : 6425.0 sec. user=Flatlander [2010-06-11 15:35:55] 409*2^828243-1 is not prime. Res64: 3468CB7FC3A5CDC7 Time : 6424.0 sec. user=Flatlander [2010-06-11 15:35:56] 465*2^828243-1 is not prime. Res64: C25948D134D6A15E Time : 6424.0 sec. user=Flatlander [2010-06-11 15:35:57] 541*2^828243-1 is not prime. Res64: B379374B367E3C4B Time : 6423.0 sec. user=vaughan [2010-06-11 15:38:03] 573*2^828266-1 is not prime. Res64: ADFC61870F45CD22 Time : 944.0 sec. user=vaughan [2010-06-11 15:38:15] 483*2^828266-1 is not prime. Res64: 7A6A34B423A310D5 Time : 984.0 sec. user=vaughan [2010-06-11 15:39:29] 525*2^828266-1 is not prime. Res64: 173BFB19A043DE6C Time : 1033.0 sec. user=vaughan [2010-06-11 15:42:12] 419*2^828268-1 is not prime. Res64: 6C4D58196D5E1896 Time : 1011.0 sec. user=vaughan [2010-06-11 15:43:44] 431*2^828270-1 is not prime. Res64: 8B225F6099F206EA Time : 946.0 sec. user=vaughan [2010-06-11 15:44:47] 595*2^828257-1 is not prime. Res64: B204A23358B19335 Time : 3833.0 sec. user=vaughan [2010-06-11 15:45:20] 453*2^828270-1 is not prime. Res64: 44B5069DC5837C4B Time : 1016.0 sec. user=vaughan [2010-06-11 15:46:14] 489*2^828271-1 is not prime. Res64: C44E1A010650CBDA Time : 945.0 sec. user=vaughan [2010-06-11 15:46:23] 483*2^828270-1 is not prime. Res64: 9B733572C69CF140 Time : 1037.0 sec. user=vaughan [2010-06-11 15:46:29] 425*2^828266-1 is not prime. Res64: E85D25B8A5F233E7 Time : 1774.0 sec. user=vaughan [2010-06-11 15:46:30] 437*2^828266-1 is not prime. Res64: 28704D44A4514822 Time : 1775.0 sec. user=vaughan [2010-06-11 15:48:03] 417*2^828272-1 is not prime. Res64: 40C20425EBD9A47D Time : 978.0 sec. user=vaughan [2010-06-11 15:52:03] 487*2^828269-1 is not prime. Res64: 6D369F0856465158 Time : 1523.0 sec. user=vaughan [2010-06-11 15:53:29] 455*2^828270-1 is not prime. Res64: 02575A2645A1906C Time : 1484.0 sec. user=vaughan [2010-06-11 15:53:48] 585*2^828275-1 is not prime. Res64: 749792774A4B96DE Time : 945.0 sec. user=kar_bon [2010-06-11 15:53:52] 437*2^828260-1 is not prime. Res64: 5EED3F2793FF2AF0 Time : 3857.0 sec. user=vaughan [2010-06-11 15:54:34] 425*2^828276-1 is not prime. Res64: 7B5D3AAAEBE92D6D Time : 979.0 sec. user=vaughan [2010-06-11 15:56:42] 485*2^828276-1 is not prime. Res64: 4F9AAF4FEC0CD67C Time : 1034.0 sec. user=vaughan [2010-06-11 15:58:59] 527*2^828276-1 is not prime. Res64: E33BB67694A89F21 Time : 1008.0 sec. user=vaughan [2010-06-11 15:59:29] 423*2^828278-1 is not prime. Res64: 86C26634E77F15D9 Time : 946.0 sec. user=kar_bon [2010-06-11 15:59:36] 447*2^828260-1 is not prime. Res64: 611EC5ED728E63EF Time : 4159.0 sec. user=vaughan [2010-06-11 16:01:10] 565*2^828267-1 is not prime. Res64: 6F5CB5BCD38B02FA Time : 2203.0 sec. user=vaughan [2010-06-11 16:01:59] 551*2^828278-1 is not prime. Res64: 5474F1B17D9C8BA2 Time : 946.0 sec. user=vaughan [2010-06-11 16:02:45] 533*2^828278-1 is not prime. Res64: F630BD6D74D22BAA Time : 1045.0 sec. user=vaughan [2010-06-11 16:04:18] 583*2^828279-1 is not prime. Res64: 02236BFBE305ACF6 Time : 975.0 sec. user=vaughan [2010-06-11 16:05:27] 469*2^828271-1 is not prime. Res64: 0CCA4B5A120828A9 Time : 2120.0 sec. user=vaughan [2010-06-11 16:09:32] 517*2^828281-1 is not prime. Res64: E181C0BE0353E383 Time : 945.0 sec. user=vaughan [2010-06-11 16:10:53] 437*2^828282-1 is not prime. Res64: 008918ECC9D32A59 Time : 980.0 sec. user=vaughan [2010-06-11 16:12:39] 577*2^828265-1 is not prime. Res64: D76214595B06DC92 Time : 3419.0 sec. user=vaughan [2010-06-11 16:15:14] 525*2^828282-1 is not prime. Res64: CAD76DC39F343274 Time : 945.0 sec. user=vaughan [2010-06-11 16:15:45] 507*2^828282-1 is not prime. Res64: B98AAA7497B8D88E Time : 1006.0 sec. user=kar_bon [2010-06-11 16:15:53] 559*2^828281-1 is not prime. Res64: 36440D4553F92723 Time : 1320.0 sec. user=vaughan [2010-06-11 16:16:07] 465*2^828279-1 is not prime. Res64: A71E97014F334A3F Time : 1777.0 sec. user=vaughan [2010-06-11 16:16:08] 501*2^828279-1 is not prime. Res64: 0FECA6CB14B1C1A8 Time : 1777.0 sec. user=vaughan [2010-06-11 16:16:47] 483*2^828280-1 is not prime. Res64: A83C33931EAE2B97 Time : 1484.0 sec. user=vaughan [2010-06-11 16:17:44] 429*2^828283-1 is not prime. Res64: 983DE1F3577D0FA8 Time : 945.0 sec. user=vaughan [2010-06-11 16:18:03] 465*2^828281-1 is not prime. Res64: CAF4199DC04FC8FD Time : 1474.0 sec. user=vaughan [2010-06-11 16:19:35] 451*2^828283-1 is not prime. Res64: EE505010DD6E99C2 Time : 1010.0 sec. user=vaughan [2010-06-11 16:20:35] 505*2^828283-1 is not prime. Res64: C62E1543711B96D4 Time : 977.0 sec. user=kar_bon [2010-06-11 16:21:10] 581*2^828282-1 is not prime. Res64: 39B1980511441A5E Time : 1293.0 sec. user=vaughan [2010-06-11 16:25:17] 489*2^828284-1 is not prime. Res64: 6C790B428A60958F Time : 945.0 sec. user=vaughan [2010-06-11 16:27:12] 533*2^828284-1 is not prime. Res64: 9DBCEAE05DABCDA1 Time : 980.0 sec. user=vaughan [2010-06-11 16:31:00] 459*2^828285-1 is not prime. Res64: A60C904120962558 Time : 946.0 sec. user=vaughan [2010-06-11 16:32:32] 461*2^828286-1 is not prime. Res64: 248C4F0C002C34D8 Time : 1007.0 sec. user=vaughan [2010-06-11 16:33:28] 465*2^828288-1 is not prime. Res64: 3581E45C6AB57922 Time : 945.0 sec. user=kar_bon [2010-06-11 16:36:06] 477*2^828286-1 is not prime. Res64: 83EC6E4D691BD29C Time : 1213.0 sec. user=vaughan [2010-06-11 16:36:52] 549*2^828289-1 is not prime. Res64: 45D172427670DEE5 Time : 977.0 sec. user=vaughan [2010-06-11 16:37:01] 567*2^828288-1 is not prime. Res64: 311DBB6336E8AC7A Time : 1047.0 sec. user=vaughan [2010-06-11 16:39:51] 593*2^828282-1 is not prime. Res64: 325C37EB421279FE Time : 2321.0 sec. user=vaughan [2010-06-11 16:41:01] 563*2^828290-1 is not prime. Res64: 2E38969CC862BF54 Time : 945.0 sec. user=kar_bon [2010-06-11 16:41:39] 501*2^828290-1 is not prime. Res64: D3AB04EA3FDFAE72 Time : 1229.0 sec. user=vaughan [2010-06-11 16:42:07] 425*2^828288-1 is not prime. Res64: FFA85CC18C8FC7B2 Time : 1521.0 sec. user=vaughan [2010-06-11 16:42:39] 479*2^828288-1 is not prime. Res64: 54AB9FBDA0491C4C Time : 1476.0 sec. user=vaughan [2010-06-11 16:43:21] 437*2^828278-1 is not prime. Res64: 5E660614CF182748 Time : 3515.0 sec. user=vaughan [2010-06-11 16:43:31] 403*2^828291-1 is not prime. Res64: 89834DB20954FE03 Time : 979.0 sec. user=vaughan [2010-06-11 16:44:09] 465*2^828284-1 is not prime. Res64: 59BC760EEC5D68C1 Time : 2322.0 sec. user=vaughan [2010-06-11 16:45:43] 575*2^828286-1 is not prime. Res64: 650AA2C8595ABAC7 Time : 1775.0 sec. user=vaughan [2010-06-11 16:45:44] 565*2^828287-1 is not prime. Res64: 28B1BB87B4DEE0B7 Time : 1775.0 sec. user=vaughan [2010-06-11 16:46:45] 433*2^828291-1 is not prime. Res64: B4F8EA2BB8431E21 Time : 945.0 sec. user=Flatlander [2010-06-11 16:46:59] 459*2^828272-1 is not prime. Res64: F9FA1BFB93FB0B00 Time : 4306.0 sec. user=Flatlander [2010-06-11 16:46:59] 439*2^828273-1 is not prime. Res64: 07357EDB64FFDDB8 Time : 4304.0 sec. user=Flatlander [2010-06-11 16:47:00] 507*2^828273-1 is not prime. Res64: AEB2EA08E5C6D758 Time : 4304.0 sec. user=Flatlander [2010-06-11 16:47:01] 571*2^828273-1 is not prime. Res64: B8E891E806601FB3 Time : 4303.0 sec. user=Flatlander [2010-06-11 16:47:02] 503*2^828274-1 is not prime. Res64: 85D34516A53417D9 Time : 4302.0 sec. user=vaughan [2010-06-11 16:48:42] 411*2^828279-1 is not prime. Res64: 92E3E6E062A72FF6 Time : 3739.0 sec. user=vaughan [2010-06-11 16:49:12] 459*2^828291-1 is not prime. Res64: 2DCBBE734CCBCDC5 Time : 944.0 sec. user=vaughan [2010-06-11 16:49:17] 439*2^828291-1 is not prime. Res64: 83C26462B3C325FE Time : 1005.0 sec. user=Flatlander [2010-06-11 16:51:46] 403*2^828275-1 is not prime. Res64: 5ECA2227F4314E5E Time : 4548.0 sec. user=Flatlander [2010-06-11 16:51:47] 409*2^828275-1 is not prime. Res64: C1988D3F2F0824EC Time : 4547.0 sec. user=Flatlander [2010-06-11 16:51:47] 451*2^828275-1 is not prime. Res64: 53D08C77D16CA9AA Time : 4545.0 sec. user=Flatlander [2010-06-11 16:51:48] 489*2^828275-1 is not prime. Res64: 50B24F10CFE644B4 Time : 4545.0 sec. user=Flatlander [2010-06-11 16:51:49] 553*2^828275-1 is not prime. Res64: 9B91926D5EC97CE7 Time : 4544.0 sec. user=vaughan [2010-06-11 16:53:08] 447*2^828292-1 is not prime. Res64: F32885AD9C1BC570 Time : 976.0 sec. user=vaughan [2010-06-11 16:53:50] 497*2^828292-1 is not prime. Res64: 9E88005D52F363C5 Time : 1010.0 sec. user=kar_bon [2010-06-11 16:56:05] 565*2^828291-1 is not prime. Res64: 1D46E0D299DF0EC9 Time : 1199.0 sec. user=vaughan [2010-06-11 16:56:46] 417*2^828293-1 is not prime. Res64: 5AD64C2A6B4D0ED4 Time : 945.0 sec. user=Flatlander [2010-06-11 16:57:11] 521*2^828270-1 is not prime. Res64: 7C2016F5D4B5174F Time : 5265.0 sec. user=Flatlander [2010-06-11 16:57:12] 525*2^828270-1 is not prime. Res64: B93410DE758FCE39 Time : 5264.0 sec. user=Flatlander [2010-06-11 16:57:12] 405*2^828271-1 is not prime. Res64: CE592AAE8408FE6A Time : 5263.0 sec. user=Flatlander [2010-06-11 16:57:13] 429*2^828271-1 is not prime. Res64: 713B4F05930E161C Time : 5262.0 sec. user=Flatlander [2010-06-11 16:57:13] 433*2^828271-1 is not prime. Res64: 74698888609A01AB Time : 5261.0 sec. user=vaughan [2010-06-11 16:59:16] 503*2^828282-1 is not prime. Res64: 5182D233C3EE665F Time : 3754.0 sec. user=vaughan [2010-06-11 16:59:49] 401*2^828294-1 is not prime. Res64: 18F84979A30F29C2 Time : 979.0 sec. user=kar_bon [2010-06-11 17:01:13] 475*2^828293-1 is not prime. Res64: 502820770286ABA0 Time : 1173.0 sec. user=vaughan [2010-06-11 17:02:31] 485*2^828294-1 is not prime. Res64: FA31EF8263621B9B Time : 946.0 sec. user=vaughan [2010-06-11 17:04:58] 507*2^828296-1 is not prime. Res64: FE6C91F41CF5B969 Time : 946.0 sec. user=vaughan [2010-06-11 17:06:01] 495*2^828296-1 is not prime. Res64: D3FF42D401C01ED2 Time : 1039.0 sec. user=vaughan [2010-06-11 17:06:05] 441*2^828297-1 is not prime. Res64: A2132BAC17028BCA Time : 1008.0 sec. user=vaughan [2010-06-11 17:07:09] 549*2^828293-1 is not prime. Res64: 0F38DEB6D5C1AF98 Time : 1471.0 sec. user=vaughan [2010-06-11 17:07:43] 511*2^828293-1 is not prime. Res64: 612814D6B4081B3D Time : 1536.0 sec. user=Flatlander [2010-06-11 17:08:04] 573*2^828262-1 is not prime. Res64: A35A2FA01D13C4D0 Time : 7558.0 sec. user=Flatlander [2010-06-11 17:08:04] 581*2^828262-1 is not prime. Res64: E3C24AA53BC4AB69 Time : 7557.0 sec. user=Flatlander [2010-06-11 17:08:05] 433*2^828263-1 is not prime. Res64: B9FFA192B3B6751E Time : 7556.0 sec. user=Flatlander [2010-06-11 17:08:06] 435*2^828263-1 is not prime. Res64: B370DE97CAE06AA5 Time : 7555.0 sec. user=Flatlander [2010-06-11 17:08:07] 523*2^828263-1 is not prime. Res64: E7F85E91BE7C4A86 Time : 7555.0 sec. user=vaughan [2010-06-11 17:09:26] 513*2^828298-1 is not prime. Res64: E8A1F9039696A20D Time : 979.0 sec. user=vaughan [2010-06-11 17:11:17] 525*2^828298-1 is not prime. Res64: 1E9F5BA628EE377E Time : 1047.0 sec. user=vaughan [2010-06-11 17:12:30] 551*2^828298-1 is not prime. Res64: 10402E26A83E4725 Time : 945.0 sec. user=vaughan [2010-06-11 17:13:43] 409*2^828293-1 is not prime. Res64: 33A80729DE89D6DD Time : 2033.0 sec. user=vaughan [2010-06-11 17:15:20] 437*2^828294-1 is not prime. Res64: BBDBAA4B74011B40 Time : 1776.0 sec. user=vaughan [2010-06-11 17:15:20] 473*2^828294-1 is not prime. Res64: DBFF95AC79DB5D34 Time : 1775.0 sec. user=vaughan [2010-06-11 17:16:08] 545*2^828300-1 is not prime. Res64: CC4155FE0A6BFD70 Time : 979.0 sec. user=vaughan [2010-06-11 17:16:31] 479*2^828300-1 is not prime. Res64: 44D52E7EC0EE6E22 Time : 1035.0 sec. user=vaughan [2010-06-11 17:17:20] 557*2^828284-1 is not prime. Res64: A4BFA4B252BD08F3 Time : 3881.0 sec. user=vaughan [2010-06-11 17:17:29] 411*2^828294-1 is not prime. Res64: AB4FF893574151E1 Time : 2000.0 sec. user=vaughan [2010-06-11 17:18:16] 557*2^828300-1 is not prime. Res64: 04478D137F1827A4 Time : 946.0 sec. user=vaughan [2010-06-11 17:20:42] 563*2^828300-1 is not prime. Res64: 0F3D1A5B2023B119 Time : 944.0 sec. user=kar_bon [2010-06-11 17:20:53] 545*2^828298-1 is not prime. Res64: D6581E6B5DE6D9F6 Time : 1487.0 sec. user=vaughan [2010-06-11 17:22:51] 597*2^828300-1 is not prime. Res64: 751E81D8EDAECE88 Time : 1007.0 sec. user=vaughan [2010-06-11 17:23:18] 567*2^828300-1 is not prime. Res64: 30D98F7D12C5BFE7 Time : 1037.0 sec. user=vaughan [2010-06-11 17:25:41] 425*2^828302-1 is not prime. Res64: BB6707E9EE0B99E6 Time : 975.0 sec. user=kar_bon [2010-06-11 17:27:16] 555*2^828300-1 is not prime. Res64: DB160F808221763F Time : 1563.0 sec. user=vaughan [2010-06-11 17:28:05] 447*2^828302-1 is not prime. Res64: 91AD470A843B3C01 Time : 1008.0 sec. user=vaughan [2010-06-11 17:28:14] 455*2^828302-1 is not prime. Res64: E14833077A9FD97A Time : 944.0 sec. user=vaughan [2010-06-11 17:31:55] 409*2^828301-1 is not prime. Res64: C5C43C2BC62E0A1F Time : 1486.0 sec. user=vaughan [2010-06-11 17:32:26] 489*2^828303-1 is not prime. Res64: CFD0867FEDC190B8 Time : 978.0 sec. user=vaughan [2010-06-11 17:32:33] 411*2^828301-1 is not prime. Res64: 5887BA075C1C6526 Time : 1490.0 sec. user=vaughan [2010-06-11 17:33:44] 591*2^828303-1 is not prime. Res64: 203BC8FFFDC7000A Time : 1034.0 sec. user=vaughan [2010-06-11 17:34:02] 527*2^828304-1 is not prime. Res64: A95E60D4DDA17060 Time : 946.0 sec. user=vaughan [2010-06-11 17:36:27] 567*2^828304-1 is not prime. Res64: 0BA015E2BD001E1B Time : 945.0 sec. user=vaughan [2010-06-11 17:39:37] 465*2^828305-1 is not prime. Res64: A0D1AB10B40F5A09 Time : 1006.0 sec. user=vaughan [2010-06-11 17:40:35] 475*2^828305-1 is not prime. Res64: CC27711BBB447425 Time : 1037.0 sec. user=vaughan [2010-06-11 17:41:57] 561*2^828305-1 is not prime. Res64: 8BFAF9F56B81A5EA Time : 976.0 sec. user=kar_bon [2010-06-11 17:43:35] 471*2^828178-1 is not prime. Res64: 70D3F0582C3504B2 Time : 28264.0 sec. user=vaughan [2010-06-11 17:43:58] 431*2^828306-1 is not prime. Res64: D1CB627F40729842 Time : 944.0 sec. user=vaughan [2010-06-11 17:45:01] 515*2^828302-1 is not prime. Res64: 6472AD4BCFF1083A Time : 1781.0 sec. user=vaughan [2010-06-11 17:45:02] 563*2^828302-1 is not prime. Res64: 81BC708B08A8D8B2 Time : 1781.0 sec. user=vaughan [2010-06-11 17:45:30] 417*2^828306-1 is not prime. Res64: 51F59A5BD25533AA Time : 1045.0 sec. user=vaughan [2010-06-11 17:46:36] 591*2^828293-1 is not prime. Res64: 29E571854A5359E4 Time : 3795.0 sec. user=vaughan [2010-06-11 17:48:44] 581*2^828306-1 is not prime. Res64: BFC98AC11A49F69A Time : 978.0 sec. user=vaughan [2010-06-11 17:49:20] 503*2^828302-1 is not prime. Res64: 509EB493D110E735 Time : 2137.0 sec. user=vaughan [2010-06-11 17:49:47] 405*2^828308-1 is not prime. Res64: C1C015B30389F24C Time : 946.0 sec. user=kar_bon [2010-06-11 17:50:30] 569*2^828304-1 is not prime. Res64: 6FC10B94D715B2EA Time : 1776.0 sec. user=vaughan [2010-06-11 17:50:56] 541*2^828307-1 is not prime. Res64: 2A26006D8DF135C9 Time : 1032.0 sec. user=vaughan [2010-06-11 17:52:11] 449*2^828308-1 is not prime. Res64: BF1658E59CB11065 Time : 945.0 sec. user=kar_bon [2010-06-11 17:52:47] 413*2^828306-1 is not prime. Res64: 215AA96A37F4ED66 Time : 1530.0 sec. user=vaughan [2010-06-11 17:53:14] 525*2^828304-1 is not prime. Res64: 672748F1EBC03AD1 Time : 2146.0 sec. user=vaughan [2010-06-11 17:56:24] 507*2^828308-1 is not prime. Res64: E1FCEF9199227433 Time : 1007.0 sec. user=vaughan [2010-06-11 17:57:10] 507*2^828306-1 is not prime. Res64: 0AC94E1238375DE8 Time : 1516.0 sec. user=Flatlander [2010-06-11 17:57:31] 551*2^828294-1 is not prime. Res64: 1F42F31D770F7DD8 Time : 4228.0 sec. user=Flatlander [2010-06-11 17:57:31] 441*2^828295-1 is not prime. Res64: 6C2624E5CE436CB3 Time : 4226.0 sec. user=Flatlander [2010-06-11 17:57:32] 519*2^828295-1 is not prime. Res64: 33ECDCD754027FEA Time : 4226.0 sec. user=Flatlander [2010-06-11 17:57:33] 541*2^828295-1 is not prime. Res64: 3EEA93BFEE7BDDAA Time : 4225.0 sec. user=Flatlander [2010-06-11 17:57:34] 405*2^828296-1 is not prime. Res64: 06ABF956163A4762 Time : 4224.0 sec. user=vaughan [2010-06-11 17:58:12] 585*2^828308-1 is not prime. Res64: 5B68317152DAB67C Time : 1058.0 sec. user=vaughan [2010-06-11 17:58:13] 599*2^828308-1 is not prime. Res64: FFE6FEE91E83A1DC Time : 976.0 sec. user=vaughan [2010-06-11 17:58:35] 489*2^828307-1 is not prime. Res64: 29E0ABB7FCAFB7F4 Time : 1563.0 sec. user=vaughan [2010-06-11 17:59:41] 469*2^828309-1 is not prime. Res64: E163B1FA0866476E Time : 943.0 sec. user=Flatlander [2010-06-11 18:01:24] 465*2^828297-1 is not prime. Res64: 0805ABAC975D3BC3 Time : 4174.0 sec. user=Flatlander [2010-06-11 18:01:25] 501*2^828297-1 is not prime. Res64: 0C3D143CF512E96D Time : 4173.0 sec. user=Flatlander [2010-06-11 18:01:25] 559*2^828297-1 is not prime. Res64: A60BF9BBE1891903 Time : 4171.0 sec. user=Flatlander [2010-06-11 18:01:26] 471*2^828298-1 is not prime. Res64: 51C2513F553860CC Time : 4171.0 sec. user=Flatlander [2010-06-11 18:01:27] 491*2^828298-1 is not prime. Res64: BDF69A43EEBC72E8 Time : 4170.0 sec. user=vaughan [2010-06-11 18:02:20] 413*2^828310-1 is not prime. Res64: 0881C7A37B5C40AB Time : 1010.0 sec. user=vaughan [2010-06-11 18:05:04] 575*2^828310-1 is not prime. Res64: 04329196925EC31D Time : 980.0 sec. user=vaughan [2010-06-11 18:05:33] 439*2^828311-1 is not prime. Res64: F5C08E167DBFB11A Time : 946.0 sec. user=Flatlander [2010-06-11 18:07:10] 555*2^828298-1 is not prime. Res64: 6B4517B025E6156E Time : 4196.0 sec. user=Flatlander [2010-06-11 18:07:11] 575*2^828298-1 is not prime. Res64: 03295FE50448CB60 Time : 4195.0 sec. user=Flatlander [2010-06-11 18:07:12] 465*2^828299-1 is not prime. Res64: AE9A6BED03C43CB4 Time : 4195.0 sec. user=Flatlander [2010-06-11 18:07:13] 511*2^828299-1 is not prime. Res64: D9845A025769F5E0 Time : 4194.0 sec. user=Flatlander [2010-06-11 18:07:14] 453*2^828300-1 is not prime. Res64: 944915A56A474B6F Time : 4193.0 sec. user=vaughan [2010-06-11 18:07:56] 425*2^828312-1 is not prime. Res64: 6132820F1A9894D9 Time : 945.0 sec. user=vaughan [2010-06-11 18:08:21] 559*2^828311-1 is not prime. Res64: 71975D399198DFC1 Time : 1045.0 sec. user=vaughan [2010-06-11 18:13:11] 555*2^828313-1 is not prime. Res64: 19344F5AA8176192 Time : 1008.0 sec. user=kar_bon [2010-06-11 18:13:30] 549*2^828311-1 is not prime. Res64: C913EF547AC0E910 Time : 1379.0 sec. user=vaughan [2010-06-11 18:14:32] 471*2^828315-1 is not prime. Res64: 3FAF1E7CDB49C49D Time : 979.0 sec. user=vaughan [2010-06-11 18:14:38] 507*2^828309-1 is not prime. Res64: 982027518D960E43 Time : 1776.0 sec. user=vaughan [2010-06-11 18:14:38] 565*2^828309-1 is not prime. Res64: F0667E4C06D10941 Time : 1775.0 sec. user=kar_bon [2010-06-11 18:14:52] 439*2^828309-1 is not prime. Res64: FFC473F9B36BE801 Time : 1876.0 sec. user=vaughan [2010-06-11 18:15:25] 447*2^828316-1 is not prime. Res64: 0D5E07D7E6901ED8 Time : 944.0 sec. user=vaughan [2010-06-11 18:15:29] 445*2^828315-1 is not prime. Res64: 7A44F427A7BB1E45 Time : 1038.0 sec. user=kar_bon [2010-06-11 18:17:27] 477*2^828313-1 is not prime. Res64: A69EE8CBB9B008DF Time : 1480.0 sec. user=Flatlander [2010-06-11 18:18:11] 439*2^828301-1 is not prime. Res64: C8EF0B83A12F22BC Time : 4203.0 sec. user=Flatlander [2010-06-11 18:18:11] 451*2^828301-1 is not prime. Res64: 81F250F7DC25BDB7 Time : 4201.0 sec. user=Flatlander [2010-06-11 18:18:12] 517*2^828301-1 is not prime. Res64: 9CF3B19C8CEBBACA Time : 4201.0 sec. user=Flatlander [2010-06-11 18:18:13] 549*2^828301-1 is not prime. Res64: 5994FBF93CA4D708 Time : 4200.0 sec. user=Flatlander [2010-06-11 18:18:13] 407*2^828302-1 is not prime. Res64: 7C8751FAA7091394 Time : 4198.0 sec. user=vaughan [2010-06-11 18:18:42] 513*2^828304-1 is not prime. Res64: E1DFEB8628B428FB Time : 3682.0 sec. user=vaughan [2010-06-11 18:19:10] 423*2^828318-1 is not prime. Res64: 2C69F70688EB501A Time : 1011.0 sec. user=vaughan [2010-06-11 18:21:18] 483*2^828318-1 is not prime. Res64: C6C281F91D5B1AB6 Time : 946.0 sec. user=vaughan [2010-06-11 18:21:22] 431*2^828318-1 is not prime. Res64: 4AB5466DD7B92C50 Time : 978.0 sec. user=vaughan [2010-06-11 18:22:19] 595*2^828313-1 is not prime. Res64: 999CCBAA08015016 Time : 1509.0 sec. user=vaughan [2010-06-11 18:22:52] 587*2^828310-1 is not prime. Res64: 75C869A9ACE7DE1E Time : 2012.0 sec. user=vaughan [2010-06-11 18:23:41] 447*2^828320-1 is not prime. Res64: 015FE12F3528C7AE Time : 946.0 sec. user=vaughan [2010-06-11 18:24:16] 595*2^828315-1 is not prime. Res64: 8F8DBA699008923E Time : 1541.0 sec. user=vaughan [2010-06-11 18:25:33] 467*2^828320-1 is not prime. Res64: 9276DFB0D0257C8E Time : 1032.0 sec. user=vaughan [2010-06-11 18:26:12] 537*2^828313-1 is not prime. Res64: C936240B3B4B6815 Time : 1979.0 sec. user=kar_bon [2010-06-11 18:29:00] 563*2^828320-1 is not prime. Res64: CA5DBE432A2BE1EF Time : 930.0 sec. user=vaughan [2010-06-11 18:29:57] 537*2^828320-1 is not prime. Res64: 318531C8A81CD1C6 Time : 1006.0 sec. user=kar_bon [2010-06-11 18:30:19] 591*2^828321-1 is not prime. Res64: C15D6CCB4B7532B0 Time : 927.0 sec. user=vaughan [2010-06-11 18:30:50] 429*2^828321-1 is not prime. Res64: ADEC8D57D821EBDE Time : 978.0 sec. user=vaughan [2010-06-11 18:31:09] 401*2^828322-1 is not prime. Res64: 3384D21C7D018A4A Time : 944.0 sec. user=vaughan [2010-06-11 18:32:46] 405*2^828322-1 is not prime. Res64: 624E0A63DCBA940B Time : 1037.0 sec. user=kar_bon [2010-06-11 18:32:54] 483*2^828322-1 is not prime. Res64: 2136EE1B8BDE63C5 Time : 927.0 sec. user=vaughan [2010-06-11 18:36:01] 425*2^828324-1 is not prime. Res64: 9A7523BE63589313 Time : 1011.0 sec. user=vaughan [2010-06-11 18:37:04] 557*2^828324-1 is not prime. Res64: 49727EEB02080C1B Time : 946.0 sec. user=vaughan [2010-06-11 18:37:42] 569*2^828324-1 is not prime. Res64: B4C1363BFE26D026 Time : 981.0 sec. user=vaughan [2010-06-11 18:39:26] 531*2^828325-1 is not prime. Res64: EEF6FA5A30D886D0 Time : 945.0 sec. user=vaughan [2010-06-11 18:42:47] 453*2^828326-1 is not prime. Res64: 270B8AAC2AABCE71 Time : 1034.0 sec. user=vaughan [2010-06-11 18:44:16] 495*2^828321-1 is not prime. Res64: 04F203CBCC5797DB Time : 1777.0 sec. user=vaughan [2010-06-11 18:44:16] 499*2^828321-1 is not prime. Res64: 1A8DE2A234C84799 Time : 1777.0 sec. user=vaughan [2010-06-11 18:46:45] 495*2^828326-1 is not prime. Res64: 414B0DFD79F442BC Time : 1008.0 sec. user=vaughan [2010-06-11 18:46:54] 403*2^828327-1 is not prime. Res64: 33623A14D49DD898 Time : 945.0 sec. user=vaughan [2010-06-11 18:47:09] 581*2^828326-1 is not prime. Res64: 81569FAB5D9906E3 Time : 979.0 sec. user=vaughan [2010-06-11 18:47:21] 471*2^828310-1 is not prime. Res64: 7FC54E5BE7B96548 Time : 3646.0 sec. user=vaughan [2010-06-11 18:47:26] 451*2^828325-1 is not prime. Res64: 7DF29032FE9F3203 Time : 1507.0 sec. user=kar_bon [2010-06-11 18:49:07] 483*2^828326-1 is not prime. Res64: E07BC6AB67E75D45 Time : 1207.0 sec. user=vaughan [2010-06-11 18:50:03] 433*2^828327-1 is not prime. Res64: B21FB3EA91FDC8AF Time : 1037.0 sec. user=kar_bon [2010-06-11 18:50:09] 551*2^828326-1 is not prime. Res64: 52C25D679BB9F39C Time : 1190.0 sec. user=vaughan [2010-06-11 18:50:22] 407*2^828326-1 is not prime. Res64: 987CF5A92C18679A Time : 1566.0 sec. user=vaughan [2010-06-11 18:52:50] 483*2^828327-1 is not prime. Res64: 985E8037EC37D35A Time : 946.0 sec. user=vaughan [2010-06-11 18:52:51] 469*2^828327-1 is not prime. Res64: 5E64162404E14504 Time : 1011.0 sec. user=vaughan [2010-06-11 18:54:01] 489*2^828327-1 is not prime. Res64: 17C5F71D05598A6F Time : 980.0 sec. user=vaughan [2010-06-11 18:55:11] 493*2^828327-1 is not prime. Res64: A07D17D34AD06C36 Time : 945.0 sec. user=vaughan [2010-06-11 18:55:24] 489*2^828325-1 is not prime. Res64: F727096F6305B8CE Time : 1953.0 sec. user=kar_bon [2010-06-11 18:55:59] 441*2^828327-1 is not prime. Res64: A7A7475C1E2E37E5 Time : 1384.0 sec. user=vaughan [2010-06-11 18:59:27] 477*2^828326-1 is not prime. Res64: B0DDB2156F300298 Time : 1995.0 sec. user=vaughan [2010-06-11 19:00:01] 559*2^828327-1 is not prime. Res64: 5148ED85A3953E7B Time : 1035.0 sec. user=vaughan [2010-06-11 19:02:38] 575*2^828328-1 is not prime. Res64: 6B83BDF0CAF2B445 Time : 945.0 sec. user=vaughan [2010-06-11 19:03:28] 477*2^828329-1 is not prime. Res64: 5DF374A61DF01481 Time : 980.0 sec. user=vaughan [2010-06-11 19:03:30] 573*2^828328-1 is not prime. Res64: 41BF9C1F843D35EC Time : 1005.0 sec. user=Flatlander [2010-06-11 19:07:11] 411*2^828314-1 is not prime. Res64: 67CA9C227A90F816 Time : 4176.0 sec. user=Flatlander [2010-06-11 19:07:12] 437*2^828314-1 is not prime. Res64: C90CC0AA71F04C35 Time : 4175.0 sec. user=Flatlander [2010-06-11 19:07:13] 497*2^828314-1 is not prime. Res64: 7C3AAA459CD84ADC Time : 4174.0 sec. user=Flatlander [2010-06-11 19:07:14] 507*2^828314-1 is not prime. Res64: E61102E81E7149BE Time : 4174.0 sec. user=Flatlander [2010-06-11 19:07:14] 433*2^828315-1 is not prime. Res64: 4F2D267E0348E64D Time : 4172.0 sec. user=vaughan [2010-06-11 19:08:35] 453*2^828331-1 is not prime. Res64: 39BE1805ADB6BAA3 Time : 946.0 sec. user=vaughan [2010-06-11 19:09:36] 495*2^828331-1 is not prime. Res64: 438A0759FE07C069 Time : 1005.0 sec. user=vaughan [2010-06-11 19:10:25] 573*2^828331-1 is not prime. Res64: 309A1E71CC95C336 Time : 985.0 sec. user=vaughan [2010-06-11 19:10:56] 489*2^828332-1 is not prime. Res64: C8B903DC70A12BDA Time : 945.0 sec. user=vaughan [2010-06-11 19:12:02] 501*2^828329-1 is not prime. Res64: 6811B457E61BB221 Time : 1477.0 sec. user=Flatlander [2010-06-11 19:12:50] 479*2^828316-1 is not prime. Res64: 732BD2F259DC55A4 Time : 4281.0 sec. user=Flatlander [2010-06-11 19:12:51] 519*2^828316-1 is not prime. Res64: C867FFEAD03F8AFA Time : 4281.0 sec. user=Flatlander [2010-06-11 19:12:52] 439*2^828317-1 is not prime. Res64: 268287AEE5B4B096 Time : 4280.0 sec. user=Flatlander [2010-06-11 19:12:52] 445*2^828317-1 is not prime. Res64: 203C7A17F0424080 Time : 4279.0 sec. user=Flatlander [2010-06-11 19:12:53] 519*2^828317-1 is not prime. Res64: 130D97DFB50FDCB1 Time : 4278.0 sec. user=vaughan [2010-06-11 19:13:53] 507*2^828328-1 is not prime. Res64: 582CB60BCA51DF17 Time : 1776.0 sec. user=vaughan [2010-06-11 19:13:53] 563*2^828328-1 is not prime. Res64: F1C6516005BCBB4F Time : 1776.0 sec. user=vaughan [2010-06-11 19:16:07] 521*2^828330-1 is not prime. Res64: 5FDC514F2BFC0ACE Time : 1545.0 sec. user=vaughan [2010-06-11 19:16:55] 413*2^828330-1 is not prime. Res64: 3795A6769F7DFD3A Time : 1612.0 sec. user=Flatlander [2010-06-11 19:17:19] 525*2^828318-1 is not prime. Res64: 380796FD963EC969 Time : 4204.0 sec. user=Flatlander [2010-06-11 19:17:20] 581*2^828318-1 is not prime. Res64: 5A29635ED8381A48 Time : 4203.0 sec. user=Flatlander [2010-06-11 19:17:20] 423*2^828319-1 is not prime. Res64: 59EF5D27096361DC Time : 4201.0 sec. user=Flatlander [2010-06-11 19:17:21] 499*2^828319-1 is not prime. Res64: D593B67794847923 Time : 4201.0 sec. user=Flatlander [2010-06-11 19:17:22] 595*2^828319-1 is not prime. Res64: 9F7D4C8E5076AAD6 Time : 4200.0 sec. user=vaughan [2010-06-11 19:18:23] 413*2^828334-1 is not prime. Res64: 7D6D1320ABA47411 Time : 945.0 sec. user=vaughan [2010-06-11 19:20:05] 567*2^828334-1 is not prime. Res64: A1A10C9289DE3F7B Time : 998.0 sec. user=vaughan [2010-06-11 19:20:13] 403*2^828335-1 is not prime. Res64: 2DFEABADD51C53B6 Time : 1003.0 sec. user=vaughan [2010-06-11 19:21:47] 589*2^828323-1 is not prime. Res64: D6A96AA29B5A516C Time : 3785.0 sec. user=vaughan [2010-06-11 19:24:21] 597*2^828336-1 is not prime. Res64: 27609B52B0E26C7A Time : 946.0 sec. user=vaughan [2010-06-11 19:26:19] 405*2^828337-1 is not prime. Res64: 614428C404BAAC61 Time : 1003.0 sec. user=vaughan [2010-06-11 19:26:42] 421*2^828337-1 is not prime. Res64: 3F4269BC4AB07320 Time : 946.0 sec. user=vaughan [2010-06-11 19:26:54] 409*2^828337-1 is not prime. Res64: 3ADB8A46F66343FC Time : 989.0 sec. user=vaughan [2010-06-11 19:27:08] 595*2^828333-1 is not prime. Res64: 3C9089FACAA5F4F6 Time : 1627.0 sec. user=Flatlander [2010-06-11 19:28:58] 491*2^828322-1 is not prime. Res64: 9E28738866C9CFDC Time : 4244.0 sec. user=Flatlander [2010-06-11 19:28:58] 533*2^828322-1 is not prime. Res64: B76F2B6E275CDE06 Time : 4242.0 sec. user=vaughan [2010-06-11 19:28:59] 533*2^828332-1 is not prime. Res64: 2450F8CCA88E493B Time : 2015.0 sec. user=Flatlander [2010-06-11 19:28:59] 581*2^828322-1 is not prime. Res64: 436FB7EB5AB893AE Time : 4242.0 sec. user=Flatlander [2010-06-11 19:28:59] 451*2^828323-1 is not prime. Res64: 17DECB071C478497 Time : 4241.0 sec. user=Flatlander [2010-06-11 19:29:00] 511*2^828323-1 is not prime. Res64: D37BB0A3DAA9E069 Time : 4240.0 sec. user=vaughan [2010-06-11 19:32:28] 429*2^828333-1 is not prime. Res64: 0F7B0F412DB7F137 Time : 1982.0 sec. user=vaughan [2010-06-11 19:34:06] 549*2^828341-1 is not prime. Res64: ACCDEBBA9180EA20 Time : 944.0 sec. user=vaughan [2010-06-11 19:34:13] 597*2^828340-1 is not prime. Res64: 7822A0695621834A Time : 1038.0 sec. user=vaughan [2010-06-11 19:36:37] 561*2^828341-1 is not prime. Res64: 08A85FD703367822 Time : 992.0 sec. user=vaughan [2010-06-11 19:36:56] 447*2^828342-1 is not prime. Res64: 385D95019032E9F8 Time : 1004.0 sec. user=vaughan [2010-06-11 19:37:06] 589*2^828337-1 is not prime. Res64: C6F2F03172B84189 Time : 1504.0 sec. user=vaughan [2010-06-11 19:40:06] 485*2^828342-1 is not prime. Res64: 88BE5AB8492391D0 Time : 946.0 sec. user=kar_bon [2010-06-11 19:40:40] 483*2^828330-1 is not prime. Res64: 845A61ED3E6CFDA3 Time : 3030.0 sec. user=vaughan [2010-06-11 19:42:10] 569*2^828340-1 is not prime. Res64: CEAD4DBB7D5C1E4A Time : 1563.0 sec. user=vaughan [2010-06-11 19:42:26] 411*2^828343-1 is not prime. Res64: 29265B2ABDA6BA2C Time : 944.0 sec. user=vaughan [2010-06-11 19:43:05] 567*2^828342-1 is not prime. Res64: 765F7035BA9DFD23 Time : 1007.0 sec. user=vaughan [2010-06-11 19:43:18] 415*2^828343-1 is not prime. Res64: 8C7B53ECA03150C1 Time : 984.0 sec. user=vaughan [2010-06-11 19:43:31] 449*2^828340-1 is not prime. Res64: 3865ABCFD082D614 Time : 1777.0 sec. user=vaughan [2010-06-11 19:43:31] 513*2^828340-1 is not prime. Res64: 64F555182D7DF3C3 Time : 1776.0 sec. user=vaughan [2010-06-11 19:44:21] 423*2^828343-1 is not prime. Res64: 6EAF2C8873F7D8BA Time : 1034.0 sec. user=kar_bon [2010-06-11 19:49:29] 511*2^828329-1 is not prime. Res64: 7849A354FF9C1252 Time : 3622.0 sec. user=vaughan [2010-06-11 19:49:50] 413*2^828346-1 is not prime. Res64: 4F535CFAD8FCCAA2 Time : 944.0 sec. user=vaughan [2010-06-11 19:51:31] 461*2^828346-1 is not prime. Res64: 9FFB45F388C6550F Time : 1038.0 sec. user=vaughan [2010-06-11 19:52:50] 487*2^828329-1 is not prime. Res64: DC3BD508730695DE Time : 3930.0 sec. user=vaughan [2010-06-11 19:52:53] 497*2^828346-1 is not prime. Res64: 5E3A87681C136716 Time : 976.0 sec. user=vaughan [2010-06-11 19:53:42] 531*2^828346-1 is not prime. Res64: D6DF1184E22455CA Time : 1006.0 sec. user=vaughan [2010-06-11 19:55:52] 587*2^828346-1 is not prime. Res64: B5EDE0F28ED11899 Time : 946.0 sec. user=kar_bon [2010-06-11 19:56:08] 585*2^828332-1 is not prime. Res64: F7F0FB7501F6F224 Time : 3609.0 sec. user=vaughan [2010-06-11 19:58:12] 585*2^828347-1 is not prime. Res64: 9E9D42A6FD787806 Time : 946.0 sec. user=vaughan [2010-06-11 19:59:37] 483*2^828348-1 is not prime. Res64: FAF4E03849C59445 Time : 979.0 sec. user=vaughan [2010-06-11 19:59:55] 589*2^828347-1 is not prime. Res64: 6942D8C91D7AE8BB Time : 1010.0 sec. user=vaughan [2010-06-11 20:01:35] 579*2^828348-1 is not prime. Res64: 90BAED713E83C7D4 Time : 1034.0 sec. user=vaughan [2010-06-11 20:01:41] 567*2^828346-1 is not prime. Res64: 866C68504D5213C0 Time : 1475.0 sec. user=vaughan [2010-06-11 20:05:35] 407*2^828350-1 is not prime. Res64: 45CD23AB9D8446EE Time : 945.0 sec. user=vaughan [2010-06-11 20:07:50] 565*2^828347-1 is not prime. Res64: 103C174310BFD903 Time : 1540.0 sec. user=vaughan [2010-06-11 20:08:49] 447*2^828350-1 is not prime. Res64: E960F54F933804C3 Time : 1039.0 sec. user=vaughan [2010-06-11 20:09:08] 533*2^828350-1 is not prime. Res64: 71A1406529242285 Time : 975.0 sec. user=vaughan [2010-06-11 20:10:29] 465*2^828351-1 is not prime. Res64: EEE7BDD8EDF7698E Time : 1007.0 sec. user=vaughan [2010-06-11 20:11:37] 405*2^828352-1 is not prime. Res64: B85B37E13B4C7A99 Time : 946.0 sec. user=vaughan [2010-06-11 20:13:09] 503*2^828348-1 is not prime. Res64: BC182498A88CDA2D Time : 1777.0 sec. user=vaughan [2010-06-11 20:13:09] 537*2^828348-1 is not prime. Res64: 4F081D4FC714EB0C Time : 1777.0 sec. user=vaughan [2010-06-11 20:13:57] 489*2^828352-1 is not prime. Res64: AA89C61A6D9A6E22 Time : 946.0 sec. user=vaughan [2010-06-11 20:14:55] 429*2^828343-1 is not prime. Res64: D24ED3812029A768 Time : 2757.0 sec. user=vaughan [2010-06-11 20:15:55] 513*2^828352-1 is not prime. Res64: EDCEF581EACBE5B1 Time : 978.0 sec. user=Flatlander [2010-06-11 20:16:35] 441*2^828335-1 is not prime. Res64: 83A87B85C8EE784A Time : 4159.0 sec. user=Flatlander [2010-06-11 20:16:35] 459*2^828335-1 is not prime. Res64: DE35D13F73464F84 Time : 4157.0 sec. user=Flatlander [2010-06-11 20:16:36] 553*2^828335-1 is not prime. Res64: B052F591AFDC2D5C Time : 4157.0 sec. user=Flatlander [2010-06-11 20:16:36] 413*2^828336-1 is not prime. Res64: DED151257BA7F1CA Time : 4155.0 sec. user=Flatlander [2010-06-11 20:16:37] 513*2^828336-1 is not prime. Res64: FA22E818520A9664 Time : 4155.0 sec. user=vaughan [2010-06-11 20:16:47] 567*2^828352-1 is not prime. Res64: 9EDDEAE12F0A2D90 Time : 1012.0 sec. user=vaughan [2010-06-11 20:18:49] 477*2^828353-1 is not prime. Res64: 977C34F26890D83E Time : 1035.0 sec. user=vaughan [2010-06-11 20:19:31] 511*2^828345-1 is not prime. Res64: C2707159F119B5D2 Time : 2823.0 sec. user=vaughan [2010-06-11 20:21:20] 549*2^828353-1 is not prime. Res64: F49007B9E1ED7C2D Time : 945.0 sec. user=Flatlander [2010-06-11 20:21:22] 497*2^828338-1 is not prime. Res64: 65F15572D1A6DF3E Time : 4108.0 sec. user=Flatlander [2010-06-11 20:21:22] 411*2^828339-1 is not prime. Res64: D726CABE88EA4318 Time : 4106.0 sec. user=Flatlander [2010-06-11 20:21:23] 439*2^828339-1 is not prime. Res64: CC4DE9BC91ECB21C Time : 4106.0 sec. user=Flatlander [2010-06-11 20:21:23] 579*2^828339-1 is not prime. Res64: D34FEF8656FED521 Time : 4105.0 sec. user=Flatlander [2010-06-11 20:21:23] 429*2^828340-1 is not prime. Res64: EEA9B289E178E523 Time : 4104.0 sec. user=vaughan [2010-06-11 20:21:33] 453*2^828342-1 is not prime. Res64: 8FF1B280E33D0604 Time : 3587.0 sec. user=vaughan [2010-06-11 20:25:22] 423*2^828354-1 is not prime. Res64: AE74A76566EF0D2E Time : 974.0 sec. user=vaughan [2010-06-11 20:26:08] 401*2^828354-1 is not prime. Res64: 898E9572FA75F075 Time : 1039.0 sec. user=vaughan [2010-06-11 20:26:23] 481*2^828353-1 is not prime. Res64: F73CFE515F542E29 Time : 1483.0 sec. user=Flatlander [2010-06-11 20:26:40] 411*2^828341-1 is not prime. Res64: A76368BC0D1ECDE7 Time : 4157.0 sec. user=Flatlander [2010-06-11 20:26:41] 441*2^828341-1 is not prime. Res64: BF4419FA6A42D453 Time : 4157.0 sec. user=Flatlander [2010-06-11 20:26:41] 447*2^828341-1 is not prime. Res64: 7A506A13F30E8C29 Time : 4156.0 sec. user=Flatlander [2010-06-11 20:26:42] 451*2^828341-1 is not prime. Res64: 9B805B8E2B7841E5 Time : 4156.0 sec. user=Flatlander [2010-06-11 20:26:42] 487*2^828341-1 is not prime. Res64: 599CAEF678090EDC Time : 4155.0 sec. user=vaughan [2010-06-11 20:27:14] 465*2^828354-1 is not prime. Res64: 3BE163E9ADA27ED7 Time : 1006.0 sec. user=vaughan [2010-06-11 20:27:23] 551*2^828354-1 is not prime. Res64: 9B80E5A3B6B11F91 Time : 946.0 sec. user=vaughan [2010-06-11 20:29:43] 579*2^828355-1 is not prime. Res64: 71DCD1386C2D107C Time : 946.0 sec. user=vaughan [2010-06-11 20:32:16] 545*2^828356-1 is not prime. Res64: 911D1FC9DD3761D8 Time : 981.0 sec. user=vaughan [2010-06-11 20:33:20] 591*2^828353-1 is not prime. Res64: EBA42902AFBCDAF4 Time : 1530.0 sec. user=vaughan [2010-06-11 20:33:40] 453*2^828358-1 is not prime. Res64: EB62CF2A4E346E5C Time : 1014.0 sec. user=vaughan [2010-06-11 20:36:02] 483*2^828358-1 is not prime. Res64: 09E8A26CCC81D398 Time : 1033.0 sec. user=vaughan [2010-06-11 20:37:05] 423*2^828360-1 is not prime. Res64: 35BBE489C597D7A0 Time : 945.0 sec. user=Flatlander [2010-06-11 20:37:54] 441*2^828343-1 is not prime. Res64: 6895A132E70A84CA Time : 4133.0 sec. user=Flatlander [2010-06-11 20:37:55] 451*2^828343-1 is not prime. Res64: 0843F38F506577D0 Time : 4133.0 sec. user=Flatlander [2010-06-11 20:37:55] 465*2^828344-1 is not prime. Res64: 4C3AE3CF8A272452 Time : 4132.0 sec. user=Flatlander [2010-06-11 20:37:56] 465*2^828345-1 is not prime. Res64: D33C3F3E0A20F508 Time : 4131.0 sec. user=Flatlander [2010-06-11 20:37:56] 469*2^828345-1 is not prime. Res64: A71C0898343A4155 Time : 4131.0 sec. user=kar_bon [2010-06-11 20:38:07] 439*2^828347-1 is not prime. Res64: 13EDF434BECF53D5 Time : 3447.0 sec. user=vaughan [2010-06-11 20:41:41] 565*2^828361-1 is not prime. Res64: D43CB119D01691F4 Time : 979.0 sec. user=vaughan [2010-06-11 20:42:47] 593*2^828354-1 is not prime. Res64: 41D209EADB71398E Time : 1778.0 sec. user=vaughan [2010-06-11 20:42:47] 511*2^828355-1 is not prime. Res64: 38B16DA0AE718B95 Time : 1777.0 sec. user=vaughan [2010-06-11 20:43:08] 469*2^828365-1 is not prime. Res64: 2087EF47C04D896F Time : 946.0 sec. user=vaughan [2010-06-11 20:43:25] 447*2^828362-1 is not prime. Res64: 0F5A5CC8441EF3C6 Time : 1038.0 sec. user=vaughan [2010-06-11 20:44:04] 445*2^828365-1 is not prime. Res64: 11487F95E89337F2 Time : 1010.0 sec. user=vaughan [2010-06-11 20:45:28] 547*2^828365-1 is not prime. Res64: F359FC3449EF5631 Time : 946.0 sec. user=vaughan [2010-06-11 20:47:45] 515*2^828356-1 is not prime. Res64: 414995E23744AEB2 Time : 1970.0 sec. user=vaughan [2010-06-11 20:48:35] 589*2^828365-1 is not prime. Res64: BB2E508428886126 Time : 979.0 sec. user=vaughan [2010-06-11 20:50:29] 413*2^828366-1 is not prime. Res64: 652F7D5211230F3B Time : 1009.0 sec. user=vaughan [2010-06-11 20:51:49] 591*2^828363-1 is not prime. Res64: F36065E0A569E453 Time : 1527.0 sec. user=vaughan [2010-06-11 20:52:02] 501*2^828350-1 is not prime. Res64: 8DE11C431046360E Time : 3553.0 sec. user=vaughan [2010-06-11 20:52:41] 549*2^828359-1 is not prime. Res64: 1F4A2BC801D4A236 Time : 1990.0 sec. user=vaughan [2010-06-11 20:52:50] 471*2^828366-1 is not prime. Res64: AD64F13FA407FF63 Time : 945.0 sec. user=vaughan [2010-06-11 20:53:14] 437*2^828366-1 is not prime. Res64: D113438812B40152 Time : 1033.0 sec. user=kar_bon [2010-06-11 20:55:05] 565*2^828349-1 is not prime. Res64: 770BC7D9A5D7195E Time : 3935.0 sec. user=kar_bon [2010-06-11 20:56:06] 485*2^828352-1 is not prime. Res64: E13D12C402BDCC41 Time : 3598.0 sec. user=vaughan [2010-06-11 20:57:56] 511*2^828367-1 is not prime. Res64: 2EC495193C87E9F6 Time : 975.0 sec. user=vaughan [2010-06-11 20:58:54] 437*2^828368-1 is not prime. Res64: 28C9D181114667AD Time : 946.0 sec. user=vaughan [2010-06-11 20:59:09] 411*2^828366-1 is not prime. Res64: F1592CEA17E2E2C0 Time : 1550.0 sec. user=vaughan [2010-06-11 21:00:42] 459*2^828368-1 is not prime. Res64: 1699576D41DCA656 Time : 1037.0 sec. user=vaughan [2010-06-11 21:00:50] 479*2^828368-1 is not prime. Res64: 1BB1DC7165BFD915 Time : 1007.0 sec. user=vaughan [2010-06-11 21:01:13] 509*2^828368-1 is not prime. Res64: 89924474D171AF59 Time : 945.0 sec. user=vaughan [2010-06-11 21:04:54] 501*2^828369-1 is not prime. Res64: 5CAC1F24CE9C84D3 Time : 979.0 sec. user=vaughan [2010-06-11 21:07:19] 535*2^828369-1 is not prime. Res64: DE76B4864623D537 Time : 1010.0 sec. user=vaughan [2010-06-11 21:08:33] 531*2^828371-1 is not prime. Res64: 36380FCD4574AC3F Time : 944.0 sec. user=vaughan [2010-06-11 21:12:23] 523*2^828367-1 is not prime. Res64: CF697D9C6AD04474 Time : 1776.0 sec. user=vaughan [2010-06-11 21:12:23] 573*2^828367-1 is not prime. Res64: 5AC703ACDFB310AC Time : 1775.0 sec. user=vaughan [2010-06-11 21:14:12] 405*2^828372-1 is not prime. Res64: 10CB13574986C5D8 Time : 976.0 sec. user=vaughan [2010-06-11 21:14:40] 437*2^828372-1 is not prime. Res64: 374E41C33A16AA2A Time : 946.0 sec. user=vaughan [2010-06-11 21:15:27] 571*2^828371-1 is not prime. Res64: B28B632F08448710 Time : 1333.0 sec. user=vaughan [2010-06-11 21:16:43] 559*2^828369-1 is not prime. Res64: 73FCB9C1FA4543A3 Time : 1494.0 sec. user=vaughan [2010-06-11 21:16:59] 411*2^828373-1 is not prime. Res64: 1FD83A5008746903 Time : 946.0 sec. user=vaughan [2010-06-11 21:17:37] 569*2^828372-1 is not prime. Res64: B53A6C8298F3D6F4 Time : 1007.0 sec. user=vaughan [2010-06-11 21:20:16] 519*2^828368-1 is not prime. Res64: 25FB430AE91AF4EF Time : 1951.0 sec. user=vaughan [2010-06-11 21:21:12] 471*2^828373-1 is not prime. Res64: 87767D5C24E54A06 Time : 979.0 sec. user=vaughan [2010-06-11 21:23:03] 497*2^828372-1 is not prime. Res64: 2C54311BB0046BF8 Time : 1341.0 sec. user=vaughan [2010-06-11 21:24:07] 541*2^828373-1 is not prime. Res64: 233B53434EEF47B9 Time : 1008.0 sec. user=vaughan [2010-06-11 21:24:18] 549*2^828373-1 is not prime. Res64: CC3D55AB6F8B9A3E Time : 945.0 sec. user=vaughan [2010-06-11 21:24:56] 447*2^828372-1 is not prime. Res64: 24C9B1E935F88F3A Time : 1548.0 sec. user=vaughan [2010-06-11 21:25:51] 411*2^828371-1 is not prime. Res64: F940BBA5B221F654 Time : 1990.0 sec. user=Flatlander [2010-06-11 21:26:01] 417*2^828357-1 is not prime. Res64: BEFCFC1A697EFF48 Time : 4163.0 sec. user=Flatlander [2010-06-11 21:26:02] 507*2^828357-1 is not prime. Res64: BB7CADC58DCF6909 Time : 4164.0 sec. user=Flatlander [2010-06-11 21:26:02] 571*2^828357-1 is not prime. Res64: 8273EA9A689D424D Time : 4163.0 sec. user=Flatlander [2010-06-11 21:26:03] 585*2^828357-1 is not prime. Res64: F470F82A291588E5 Time : 4162.0 sec. user=Flatlander [2010-06-11 21:26:04] 443*2^828358-1 is not prime. Res64: 5358C7D2DFBC824C Time : 4162.0 sec. user=vaughan [2010-06-11 21:26:07] 511*2^828361-1 is not prime. Res64: 2174DDA85F49CF8B Time : 3875.0 sec. user=vaughan [2010-06-11 21:30:25] 405*2^828375-1 is not prime. Res64: 6B73401EB9324C74 Time : 946.0 sec. user=vaughan [2010-06-11 21:30:28] 573*2^828374-1 is not prime. Res64: 1B45C0960C667569 Time : 976.0 sec. user=Flatlander [2010-06-11 21:30:49] 459*2^828360-1 is not prime. Res64: 277C18ECDB651A23 Time : 4165.0 sec. user=Flatlander [2010-06-11 21:30:49] 555*2^828360-1 is not prime. Res64: 3054C7B3533E18E5 Time : 4164.0 sec. user=Flatlander [2010-06-11 21:30:50] 439*2^828361-1 is not prime. Res64: C90680347EFD72D7 Time : 4165.0 sec. user=Flatlander [2010-06-11 21:30:51] 489*2^828361-1 is not prime. Res64: 145A706A8EE38F89 Time : 4165.0 sec. user=Flatlander [2010-06-11 21:30:52] 507*2^828361-1 is not prime. Res64: D1E6F20C5C1D634C Time : 4166.0 sec. user=vaughan [2010-06-11 21:32:41] 423*2^828375-1 is not prime. Res64: 1FB3B799D27A7181 Time : 1035.0 sec. user=vaughan [2010-06-11 21:32:43] 469*2^828375-1 is not prime. Res64: C747AAB0CC804285 Time : 944.0 sec. user=vaughan [2010-06-11 21:34:25] 511*2^828375-1 is not prime. Res64: CD0210B9D2820EF2 Time : 1008.0 sec. user=kar_bon [2010-06-11 21:34:52] 493*2^828367-1 is not prime. Res64: 9342143244A43DDB Time : 3405.0 sec. user=Flatlander [2010-06-11 21:36:07] 595*2^828363-1 is not prime. Res64: 9B3D3A5748DC633D Time : 4163.0 sec. user=Flatlander [2010-06-11 21:36:08] 465*2^828364-1 is not prime. Res64: 6026FAFC94421846 Time : 4164.0 sec. user=Flatlander [2010-06-11 21:36:09] 507*2^828364-1 is not prime. Res64: 5F91A850E66AA1D5 Time : 4164.0 sec. user=Flatlander [2010-06-11 21:36:10] 549*2^828364-1 is not prime. Res64: 3AEB6527472CBA55 Time : 4165.0 sec. user=Flatlander [2010-06-11 21:36:10] 441*2^828365-1 is not prime. Res64: 2E513877A3DA31FD Time : 4164.0 sec. user=vaughan [2010-06-11 21:37:32] 537*2^828376-1 is not prime. Res64: AF913AE423836883 Time : 980.0 sec. user=kar_bon [2010-06-11 21:37:37] 591*2^828371-1 is not prime. Res64: 15A728D654EDCD01 Time : 2491.0 sec. user=kar_bon [2010-06-11 21:38:08] 585*2^828371-1 is not prime. Res64: 9568DF5218F82248 Time : 2582.0 sec. user=vaughan [2010-06-11 21:40:01] 405*2^828380-1 is not prime. Res64: 5743602CEB456081 Time : 944.0 sec. user=vaughan [2010-06-11 21:40:24] 561*2^828377-1 is not prime. Res64: CF895059B8E8D0EA Time : 1042.0 sec. user=vaughan [2010-06-11 21:40:56] 511*2^828379-1 is not prime. Res64: 18F6C52742D271C1 Time : 1009.0 sec. user=vaughan [2010-06-11 21:41:50] 453*2^828375-1 is not prime. Res64: D94C61302CCEC246 Time : 1507.0 sec. user=vaughan [2010-06-11 21:42:00] 561*2^828373-1 is not prime. Res64: 12DD263EA79AD4FC Time : 1776.0 sec. user=vaughan [2010-06-11 21:42:00] 423*2^828374-1 is not prime. Res64: 798C5B61B253E314 Time : 1776.0 sec. user=vaughan [2010-06-11 21:46:11] 491*2^828382-1 is not prime. Res64: CE35AB6C1867A483 Time : 946.0 sec. user=vaughan [2010-06-11 21:46:44] 521*2^828382-1 is not prime. Res64: 6E00BF49CAAE8B98 Time : 976.0 sec. user=Flatlander [2010-06-11 21:47:05] 513*2^828366-1 is not prime. Res64: 12988A2CFABABF01 Time : 4148.0 sec. user=Flatlander [2010-06-11 21:47:06] 525*2^828366-1 is not prime. Res64: 158B341B77589660 Time : 4147.0 sec. user=Flatlander [2010-06-11 21:47:06] 557*2^828366-1 is not prime. Res64: 5792F8D2A811B1FC Time : 4147.0 sec. user=Flatlander [2010-06-11 21:47:07] 421*2^828367-1 is not prime. Res64: 66F31B520599C131 Time : 4147.0 sec. user=Flatlander [2010-06-11 21:47:07] 469*2^828367-1 is not prime. Res64: 4AF38A5ADCF64A94 Time : 4146.0 sec. user=vaughan [2010-06-11 21:48:29] 525*2^828384-1 is not prime. Res64: DBFF18E1E319CBD6 Time : 946.0 sec. user=vaughan [2010-06-11 21:49:54] 503*2^828384-1 is not prime. Res64: 2EA4AB7C5FC2DD9F Time : 1033.0 sec. user=kar_bon [2010-06-11 21:49:56] 535*2^828385-1 is not prime. Res64: 079AC952C05152BA Time : 904.0 sec. user=vaughan [2010-06-11 21:50:39] 459*2^828380-1 is not prime. Res64: 3684C17B8D59126A Time : 1543.0 sec. user=vaughan [2010-06-11 21:51:11] 563*2^828384-1 is not prime. Res64: 75E7B53D35E31444 Time : 1006.0 sec. user=kar_bon [2010-06-11 21:52:46] 561*2^828386-1 is not prime. Res64: 0B11959722DD5987 Time : 908.0 sec. user=kar_bon [2010-06-11 21:53:12] 501*2^828387-1 is not prime. Res64: 60ADE5EE735BE0A7 Time : 904.0 sec. user=vaughan [2010-06-11 21:53:47] 525*2^828376-1 is not prime. Res64: 39E1C74D75EF176F Time : 2011.0 sec. user=vaughan [2010-06-11 21:53:51] 545*2^828386-1 is not prime. Res64: FA7D990EBE46E514 Time : 979.0 sec. user=vaughan [2010-06-11 21:55:45] 553*2^828387-1 is not prime. Res64: F16A7513EE9FEBA0 Time : 944.0 sec. user=vaughan [2010-06-11 21:57:24] 443*2^828370-1 is not prime. Res64: 9FF792B5D166EE4A Time : 3922.0 sec. user=vaughan [2010-06-11 21:57:42] 413*2^828388-1 is not prime. Res64: A712600641E3FE10 Time : 1038.0 sec. user=vaughan [2010-06-11 21:57:46] 489*2^828388-1 is not prime. Res64: FD575ECA61179887 Time : 1010.0 sec. user=vaughan [2010-06-11 22:00:39] 479*2^828380-1 is not prime. Res64: F203BE237FE957D8 Time : 2088.0 sec. user=vaughan [2010-06-11 22:01:56] 555*2^828390-1 is not prime. Res64: 61339EDDD082F8FE Time : 946.0 sec. user=vaughan [2010-06-11 22:03:01] 429*2^828391-1 is not prime. Res64: 5AF8762409525147 Time : 977.0 sec. user=vaughan [2010-06-11 22:04:14] 427*2^828393-1 is not prime. Res64: 3EFF5F06E1071F04 Time : 946.0 sec. user=kar_bon [2010-06-11 22:05:06] 511*2^828393-1 is not prime. Res64: ED91F6637A67A169 Time : 909.0 sec. user=vaughan [2010-06-11 22:07:10] 481*2^828393-1 is not prime. Res64: C2A5BD6B17483788 Time : 1036.0 sec. user=vaughan [2010-06-11 22:07:10] 563*2^828388-1 is not prime. Res64: 5910BB5D577BC056 Time : 1520.0 sec. user=kar_bon [2010-06-11 22:07:51] 435*2^828394-1 is not prime. Res64: 4433EE682916F139 Time : 905.0 sec. user=vaughan [2010-06-11 22:07:59] 577*2^828393-1 is not prime. Res64: 259DD6711C90EDC3 Time : 1008.0 sec. user=kar_bon [2010-06-11 22:08:18] 447*2^828394-1 is not prime. Res64: F3DE371019924735 Time : 905.0 sec. user=vaughan [2010-06-11 22:10:11] 575*2^828394-1 is not prime. Res64: D80A75430CF9F8AE Time : 980.0 sec. user=vaughan [2010-06-11 22:11:29] 465*2^828395-1 is not prime. Res64: 8FF43BE537F6532D Time : 944.0 sec. user=vaughan [2010-06-11 22:11:37] 573*2^828388-1 is not prime. Res64: 38DC3EEF99C4C4B9 Time : 1777.0 sec. user=vaughan [2010-06-11 22:11:37] 571*2^828389-1 is not prime. Res64: 5A9A16B093B30A05 Time : 1776.0 sec. user=vaughan [2010-06-11 22:14:59] 405*2^828396-1 is not prime. Res64: C5CAF6141E8C06A2 Time : 1038.0 sec. user=vaughan [2010-06-11 22:15:11] 515*2^828396-1 is not prime. Res64: 38A5E8C78D03607B Time : 1045.0 sec. user=vaughan [2010-06-11 22:17:08] 571*2^828393-1 is not prime. Res64: A6FE9DBA2F74FF79 Time : 1589.0 sec. user=vaughan [2010-06-11 22:17:42] 489*2^828397-1 is not prime. Res64: 3ED73CCAC7AA9E57 Time : 946.0 sec. user=vaughan [2010-06-11 22:19:18] 577*2^828397-1 is not prime. Res64: 845440079F957DF2 Time : 978.0 sec. user=vaughan [2010-06-11 22:20:00] 417*2^828398-1 is not prime. Res64: 8BD08C194DBBF161 Time : 946.0 sec. user=kar_bon [2010-06-11 22:20:11] 483*2^828398-1 is not prime. Res64: 7B13CD0A7D0C7AB9 Time : 904.0 sec. user=kar_bon [2010-06-11 22:23:02] 591*2^828398-1 is not prime. Res64: 5A08CA7E077815CE Time : 911.0 sec. user=kar_bon [2010-06-11 22:23:23] 451*2^828399-1 is not prime. Res64: 8699CB6EBE5DBAAB Time : 904.0 sec. user=vaughan [2010-06-11 22:24:22] 561*2^828398-1 is not prime. Res64: 97331CADCE9BA955 Time : 1032.0 sec. user=vaughan [2010-06-11 22:24:45] 433*2^828399-1 is not prime. Res64: DEEE0100678266E7 Time : 1007.0 sec. user=vaughan [2010-06-11 22:26:30] 513*2^828399-1 is not prime. Res64: 31C4CA3E784AC88E Time : 979.0 sec. user=vaughan [2010-06-11 22:27:13] 549*2^828399-1 is not prime. Res64: F4DFF972519BD23F Time : 944.0 sec. user=vaughan [2010-06-11 22:27:23] 533*2^828394-1 is not prime. Res64: 80DE5D633F8AE91D Time : 2016.0 sec. user=vaughan [2010-06-11 22:29:12] 593*2^828380-1 is not prime. Res64: 4375C2EC7A589844 Time : 3785.0 sec. user=vaughan [2010-06-11 22:32:00] 489*2^828400-1 is not prime. Res64: C9FB9B36B4721C9D Time : 1010.0 sec. user=vaughan [2010-06-11 22:32:19] 515*2^828398-1 is not prime. Res64: D1012707AB55EE7E Time : 1509.0 sec. user=vaughan [2010-06-11 22:32:19] 479*2^828400-1 is not prime. Res64: ABE1FC7DB6EDF03B Time : 1040.0 sec. user=vaughan [2010-06-11 22:32:47] 427*2^828397-1 is not prime. Res64: 202231F9FE48B2FE Time : 1928.0 sec. user=vaughan [2010-06-11 22:33:27] 431*2^828402-1 is not prime. Res64: 78D98C892F2FD766 Time : 946.0 sec. user=Flatlander [2010-06-11 22:34:56] 579*2^828380-1 is not prime. Res64: A45CC5F449C2291D Time : 4130.0 sec. user=Flatlander [2010-06-11 22:34:56] 585*2^828380-1 is not prime. Res64: 8A8C2130C81DD99B Time : 4129.0 sec. user=Flatlander [2010-06-11 22:34:56] 529*2^828381-1 is not prime. Res64: 484CD83115D82F10 Time : 4127.0 sec. user=Flatlander [2010-06-11 22:34:57] 577*2^828381-1 is not prime. Res64: 640B90031DD988D4 Time : 4127.0 sec. user=Flatlander [2010-06-11 22:34:57] 425*2^828382-1 is not prime. Res64: 27130618BD096AA3 Time : 4125.0 sec. user=kar_bon [2010-06-11 22:35:16] 465*2^828403-1 is not prime. Res64: 8F352D35BD5FC63F Time : 905.0 sec. user=vaughan [2010-06-11 22:35:34] 451*2^828403-1 is not prime. Res64: AF3CA6DD06377DA8 Time : 977.0 sec. user=vaughan [2010-06-11 22:35:45] 463*2^828403-1 is not prime. Res64: F1F779CDFCD072FE Time : 946.0 sec. user=kar_bon [2010-06-11 22:38:13] 483*2^828403-1 is not prime. Res64: ED273B17AC5BB390 Time : 911.0 sec. user=kar_bon [2010-06-11 22:38:27] 511*2^828403-1 is not prime. Res64: 60B2D89DD09DB52D Time : 904.0 sec. user=Flatlander [2010-06-11 22:39:07] 525*2^828382-1 is not prime. Res64: 6C5E6808A90BDE06 Time : 4094.0 sec. user=Flatlander [2010-06-11 22:39:07] 533*2^828382-1 is not prime. Res64: 05F5F89A24CF02D0 Time : 4092.0 sec. user=Flatlander [2010-06-11 22:39:08] 439*2^828383-1 is not prime. Res64: 8D50DA985CCCE7A4 Time : 4092.0 sec. user=Flatlander [2010-06-11 22:39:08] 459*2^828384-1 is not prime. Res64: 1AAF55149F77C3AE Time : 4090.0 sec. user=Flatlander [2010-06-11 22:39:09] 497*2^828384-1 is not prime. Res64: 3F46BC3FEC1F3954 Time : 4089.0 sec. user=vaughan [2010-06-11 22:41:12] 559*2^828399-1 is not prime. Res64: 552ACB21417E4191 Time : 1774.0 sec. user=vaughan [2010-06-11 22:41:13] 437*2^828400-1 is not prime. Res64: 9A0260BFB6F99B71 Time : 1775.0 sec. user=vaughan [2010-06-11 22:41:31] 523*2^828403-1 is not prime. Res64: BE31AFCEC0FC9034 Time : 1030.0 sec. user=vaughan [2010-06-11 22:41:32] 525*2^828404-1 is not prime. Res64: 5323303298BE3170 Time : 1007.0 sec. user=vaughan [2010-06-11 22:42:49] 539*2^828404-1 is not prime. Res64: 568E55F25E874D4F Time : 980.0 sec. user=vaughan [2010-06-11 22:42:53] 495*2^828401-1 is not prime. Res64: 4E74C6A7D8B39AE5 Time : 1546.0 sec. user=vaughan [2010-06-11 22:42:57] 545*2^828404-1 is not prime. Res64: 8E13D1E0E9815DFB Time : 944.0 sec. user=Flatlander [2010-06-11 22:45:09] 407*2^828386-1 is not prime. Res64: 8ED037E7E19A2AC9 Time : 4137.0 sec. user=Flatlander [2010-06-11 22:45:10] 453*2^828386-1 is not prime. Res64: 4866213E1D32698F Time : 4136.0 sec. user=Flatlander [2010-06-11 22:45:10] 477*2^828386-1 is not prime. Res64: 9C16367FF674C725 Time : 4135.0 sec. user=Flatlander [2010-06-11 22:45:11] 483*2^828386-1 is not prime. Res64: 4E1A46653B0BBA7A Time : 4134.0 sec. user=Flatlander [2010-06-11 22:45:11] 497*2^828386-1 is not prime. Res64: 37F4BD2B144C56E8 Time : 4133.0 sec. user=vaughan [2010-06-11 22:49:12] 405*2^828408-1 is not prime. Res64: 4840F9FE2F4A2511 Time : 945.0 sec. user=vaughan [2010-06-11 22:49:27] 555*2^828405-1 is not prime. Res64: 9381C2B098FD8160 Time : 1047.0 sec. user=vaughan [2010-06-11 22:49:42] 413*2^828406-1 is not prime. Res64: BE9FDCD457C054A3 Time : 1043.0 sec. user=kar_bon [2010-06-11 22:50:24] 441*2^828409-1 is not prime. Res64: 2AF1A45178A3D3B2 Time : 907.0 sec. user=vaughan [2010-06-11 22:51:31] 471*2^828409-1 is not prime. Res64: 716E60CFFB67B85F Time : 946.0 sec. user=vaughan [2010-06-11 22:51:51] 457*2^828409-1 is not prime. Res64: 32A1D89AED338C3B Time : 978.0 sec. user=kar_bon [2010-06-11 22:53:17] 505*2^828409-1 is not prime. Res64: D74473F37F48F6EC Time : 904.0 sec. user=kar_bon [2010-06-11 22:53:39] 511*2^828409-1 is not prime. Res64: 45D1EE298B9D0A20 Time : 912.0 sec. user=Flatlander [2010-06-11 22:55:59] 433*2^828391-1 is not prime. Res64: AEF328409E7B914F Time : 4131.0 sec. user=Flatlander [2010-06-11 22:56:00] 499*2^828391-1 is not prime. Res64: 74B53760E3CA209D Time : 4131.0 sec. user=Flatlander [2010-06-11 22:56:00] 541*2^828391-1 is not prime. Res64: 03298BDCC4C5C030 Time : 4130.0 sec. user=Flatlander [2010-06-11 22:56:01] 405*2^828392-1 is not prime. Res64: BBAF939F3C622BE5 Time : 4129.0 sec. user=Flatlander [2010-06-11 22:56:01] 515*2^828392-1 is not prime. Res64: 117812F6F24A04C4 Time : 4128.0 sec. user=vaughan [2010-06-11 22:57:19] 405*2^828406-1 is not prime. Res64: 4A7E8EF3B64BE0F0 Time : 1500.0 sec. user=vaughan [2010-06-11 22:58:20] 465*2^828411-1 is not prime. Res64: 3039817704C72C69 Time : 1008.0 sec. user=vaughan [2010-06-11 22:58:41] 549*2^828411-1 is not prime. Res64: DAA90098A7495173 Time : 945.0 sec. user=vaughan [2010-06-11 22:58:41] 563*2^828410-1 is not prime. Res64: 6F21127B07B34929 Time : 1030.0 sec. user=vaughan [2010-06-11 22:59:08] 469*2^828411-1 is not prime. Res64: 58F7C4A4BC600561 Time : 979.0 sec. user=vaughan [2010-06-11 23:00:42] 519*2^828395-1 is not prime. Res64: 5D345CF6E4C52C00 Time : 3798.0 sec. user=vaughan [2010-06-11 23:01:00] 405*2^828405-1 is not prime. Res64: 188706C4F48E3B04 Time : 2017.0 sec. user=vaughan [2010-06-11 23:04:58] 533*2^828412-1 is not prime. Res64: 14C04B35283B0E84 Time : 946.0 sec. user=kar_bon [2010-06-11 23:05:27] 435*2^828413-1 is not prime. Res64: 670A975D85BE7FC4 Time : 903.0 sec. user=vaughan [2010-06-11 23:06:16] 539*2^828412-1 is not prime. Res64: CE23DD30B96033E4 Time : 1009.0 sec. user=vaughan [2010-06-11 23:06:34] 595*2^828407-1 is not prime. Res64: 612B37872D9A6036 Time : 2028.0 sec. user=vaughan [2010-06-11 23:07:03] 549*2^828412-1 is not prime. Res64: 85D8AE4A0858DAB9 Time : 1041.0 sec. user=vaughan [2010-06-11 23:07:16] 441*2^828413-1 is not prime. Res64: E1D3CE452BAD73AE Time : 946.0 sec. user=vaughan [2010-06-11 23:08:06] 465*2^828413-1 is not prime. Res64: D5B9019267993D06 Time : 976.0 sec. user=kar_bon [2010-06-11 23:08:22] 481*2^828413-1 is not prime. Res64: E3977602B8B2661F Time : 904.0 sec. user=vaughan [2010-06-11 23:08:34] 535*2^828411-1 is not prime. Res64: B880B654FDEA3159 Time : 1541.0 sec. user=kar_bon [2010-06-11 23:08:44] 559*2^828413-1 is not prime. Res64: C987EEFB9BDAF440 Time : 905.0 sec. user=vaughan [2010-06-11 23:10:51] 503*2^828410-1 is not prime. Res64: 1D46A1FED57F1053 Time : 1778.0 sec. user=vaughan [2010-06-11 23:10:51] 521*2^828410-1 is not prime. Res64: 90253E9123C32933 Time : 1777.0 sec. user=vaughan [2010-06-11 23:14:25] 441*2^828415-1 is not prime. Res64: 2FF08035C0676C90 Time : 944.0 sec. user=vaughan [2010-06-11 23:15:06] 405*2^828415-1 is not prime. Res64: A4A5A7F93A3C5E19 Time : 1007.0 sec. user=vaughan [2010-06-11 23:15:27] 465*2^828415-1 is not prime. Res64: 8E4F37ABD9B02775 Time : 979.0 sec. user=vaughan [2010-06-11 23:15:51] 463*2^828415-1 is not prime. Res64: AADCCAB18CC39ADE Time : 1030.0 sec. user=kar_bon [2010-06-11 23:20:30] 595*2^828415-1 is not prime. Res64: E74ACC5110D53998 Time : 903.0 sec. user=vaughan [2010-06-11 23:20:43] 511*2^828415-1 is not prime. Res64: 5644CFE93A4CA2F6 Time : 946.0 sec. user=vaughan [2010-06-11 23:22:20] 507*2^828414-1 is not prime. Res64: A430801D2E1876A6 Time : 1501.0 sec. user=vaughan [2010-06-11 23:23:02] 465*2^828416-1 is not prime. Res64: 12BF87B18E4CDDA4 Time : 946.0 sec. user=vaughan [2010-06-11 23:23:07] 425*2^828416-1 is not prime. Res64: 4F0773880D90C546 Time : 1011.0 sec. user=kar_bon [2010-06-11 23:23:27] 519*2^828416-1 is not prime. Res64: 047D60C41CD46B9E Time : 904.0 sec. user=kar_bon [2010-06-11 23:23:57] 539*2^828416-1 is not prime. Res64: EF5EC6112B320E58 Time : 913.0 sec. user=vaughan [2010-06-11 23:24:23] 509*2^828416-1 is not prime. Res64: 7776AFD1CE411F85 Time : 977.0 sec. user=vaughan [2010-06-11 23:24:24] 447*2^828416-1 is not prime. Res64: 4ED8C53CD433FD2B Time : 1041.0 sec. user=vaughan [2010-06-11 23:28:33] 441*2^828405-1 is not prime. Res64: 8A400CB3A05C12B5 Time : 3562.0 sec. user=vaughan [2010-06-11 23:30:09] 501*2^828417-1 is not prime. Res64: C2CF72E1EA9D109F Time : 945.0 sec. user=vaughan [2010-06-11 23:31:45] 401*2^828418-1 is not prime. Res64: 10E6FFFA1642176C Time : 979.0 sec. user=vaughan [2010-06-11 23:31:52] 517*2^828417-1 is not prime. Res64: CCE582EC0DF1C910 Time : 1006.0 sec. user=vaughan [2010-06-11 23:33:03] 413*2^828418-1 is not prime. Res64: 9457A277AEBF3BEB Time : 1032.0 sec. user=vaughan [2010-06-11 23:33:30] 493*2^828415-1 is not prime. Res64: 9B497A9A3D7008E1 Time : 1950.0 sec. user=vaughan [2010-06-11 23:34:20] 525*2^828416-1 is not prime. Res64: A30C695F98685CD6 Time : 1546.0 sec. user=kar_bon [2010-06-11 23:35:42] 423*2^828418-1 is not prime. Res64: F7260AC21BF9AAE8 Time : 912.0 sec. user=vaughan [2010-06-11 23:36:29] 497*2^828418-1 is not prime. Res64: 600457EAAA0D1E20 Time : 946.0 sec. user=kar_bon [2010-06-11 23:38:32] 505*2^828419-1 is not prime. Res64: 362D8ED83CFCA396 Time : 905.0 sec. user=vaughan [2010-06-11 23:38:47] 411*2^828419-1 is not prime. Res64: 05E6787F05DF8A18 Time : 946.0 sec. user=kar_bon [2010-06-11 23:39:03] 511*2^828419-1 is not prime. Res64: 947D050C14C3022A Time : 906.0 sec. user=vaughan [2010-06-11 23:39:57] 463*2^828419-1 is not prime. Res64: 5F2079289464E2D3 Time : 1010.0 sec. user=vaughan [2010-06-11 23:40:29] 447*2^828417-1 is not prime. Res64: 23E7A5B80E7910FA Time : 1777.0 sec. user=vaughan [2010-06-11 23:40:29] 475*2^828417-1 is not prime. Res64: 815CC553EEBC8836 Time : 1777.0 sec. user=vaughan [2010-06-11 23:40:40] 549*2^828419-1 is not prime. Res64: 7C091932944F0AAE Time : 977.0 sec. user=vaughan [2010-06-11 23:41:43] 525*2^828420-1 is not prime. Res64: 2D2E1B344F4E216D Time : 1039.0 sec. user=Flatlander [2010-06-11 23:43:42] 413*2^828408-1 is not prime. Res64: 0CA24D2C86D0269C Time : 4125.0 sec. user=Flatlander [2010-06-11 23:43:43] 473*2^828408-1 is not prime. Res64: 557F4053EE57310D Time : 4125.0 sec. user=Flatlander [2010-06-11 23:43:44] 489*2^828408-1 is not prime. Res64: F05D9EA993D47169 Time : 4125.0 sec. user=Flatlander [2010-06-11 23:43:48] 597*2^828408-1 is not prime. Res64: 42205B60CE94783B Time : 4128.0 sec. user=Flatlander [2010-06-11 23:43:48] 435*2^828409-1 is not prime. Res64: 2102C0406FA1D0A4 Time : 4128.0 sec. user=vaughan [2010-06-11 23:45:31] 437*2^828416-1 is not prime. Res64: D6AB922D025D4F01 Time : 2337.0 sec. user=vaughan [2010-06-11 23:45:52] 579*2^828420-1 is not prime. Res64: 003B6AB1E5F036B6 Time : 943.0 sec. user=vaughan [2010-06-11 23:47:12] 545*2^828418-1 is not prime. Res64: 5EAC1B80EA256192 Time : 1492.0 sec. user=Flatlander [2010-06-11 23:47:20] 525*2^828409-1 is not prime. Res64: B1C0C34AE6B6B44F Time : 4090.0 sec. user=Flatlander [2010-06-11 23:47:21] 407*2^828410-1 is not prime. Res64: 31CD6F8F7B079254 Time : 4090.0 sec. user=Flatlander [2010-06-11 23:47:22] 423*2^828410-1 is not prime. Res64: 83453CD52808D311 Time : 4090.0 sec. user=Flatlander [2010-06-11 23:47:22] 437*2^828410-1 is not prime. Res64: 14EE8EAAB0DB8C1D Time : 4089.0 sec. user=Flatlander [2010-06-11 23:47:23] 447*2^828410-1 is not prime. Res64: A15FF02C4D17C9B6 Time : 4089.0 sec. user=vaughan [2010-06-11 23:48:04] 517*2^828421-1 is not prime. Res64: 1A00FD388922670E Time : 979.0 sec. user=vaughan [2010-06-11 23:48:38] 541*2^828421-1 is not prime. Res64: 1E6B301B1BAD308E Time : 1006.0 sec. user=vaughan [2010-06-11 23:50:23] 559*2^828421-1 is not prime. Res64: 26CE56CFDDDC7EAE Time : 1040.0 sec. user=kar_bon [2010-06-11 23:50:49] 461*2^828422-1 is not prime. Res64: 4E4258AB9C717E13 Time : 906.0 sec. user=vaughan [2010-06-11 23:52:14] 467*2^828422-1 is not prime. Res64: 0A4674F3B34EDB48 Time : 946.0 sec. user=kar_bon [2010-06-11 23:53:41] 501*2^828422-1 is not prime. Res64: 17AAF663DC101BD7 Time : 908.0 sec. user=kar_bon [2010-06-11 23:54:10] 583*2^828423-1 is not prime. Res64: 7F94F2F5AEC0676F Time : 906.0 sec. user=Flatlander [2010-06-11 23:54:11] 405*2^828412-1 is not prime. Res64: B6207639DCF4A409 Time : 4139.0 sec. user=Flatlander [2010-06-11 23:54:11] 429*2^828412-1 is not prime. Res64: F667C9D6AB3C674E Time : 4138.0 sec. user=Flatlander [2010-06-11 23:54:11] 435*2^828412-1 is not prime. Res64: 11F7E224D15F702A Time : 4137.0 sec. user=Flatlander [2010-06-11 23:54:12] 449*2^828412-1 is not prime. Res64: 29B18B92E4BAA0EA Time : 4137.0 sec. user=Flatlander [2010-06-11 23:54:12] 453*2^828412-1 is not prime. Res64: 9396994080DC848B Time : 4136.0 sec. user=vaughan [2010-06-11 23:54:31] 411*2^828423-1 is not prime. Res64: 27CA69F204036E73 Time : 944.0 sec. user=vaughan [2010-06-11 23:56:47] 429*2^828424-1 is not prime. Res64: D0965DB5EB2A6E9B Time : 1010.0 sec. user=vaughan [2010-06-11 23:56:57] 405*2^828425-1 is not prime. Res64: 0029A6B5FC5994E1 Time : 977.0 sec. user=vaughan [2010-06-11 23:59:06] 441*2^828425-1 is not prime. Res64: 476D415AF034A35F Time : 1043.0 sec. user=vaughan [2010-06-11 23:59:53] 469*2^828415-1 is not prime. Res64: E721978761ABA29E Time : 3552.0 sec. user=vaughan [2010-06-12 00:00:10] 407*2^828422-1 is not prime. Res64: 442E2618571A89D6 Time : 1550.0 sec.