user=vaughan [2011-05-08 00:09:58] 853*2^937959-1 is not prime. Res64: 96B05433E164B7BD Time : 1546.0 sec. user=vaughan [2011-05-08 00:12:01] 943*2^937959-1 is not prime. Res64: 516E444C9BC7BCA5 Time : 1322.0 sec. user=vaughan [2011-05-08 00:13:22] 931*2^937959-1 is not prime. Res64: 2BE679ED9AF8F38C Time : 1648.0 sec. user=vaughan [2011-05-08 00:18:12] 999*2^937959-1 is not prime. Res64: 86972D53705E0739 Time : 1655.0 sec. user=vaughan [2011-05-08 00:18:20] 839*2^937960-1 is not prime. Res64: 6E0907CA90FA65CB Time : 1653.0 sec. user=vaughan [2011-05-08 00:23:19] 855*2^937960-1 is not prime. Res64: 5F8B78A4FB3548D0 Time : 1781.0 sec. user=vaughan [2011-05-08 00:23:27] 959*2^937960-1 is not prime. Res64: 95ED80DFF3B8148A Time : 1654.0 sec. user=vaughan [2011-05-08 00:26:21] 879*2^937961-1 is not prime. Res64: 074EE9B292198641 Time : 1654.0 sec. user=vaughan [2011-05-08 00:34:04] 815*2^937962-1 is not prime. Res64: 6470B42734A22C5C Time : 1323.0 sec. user=vaughan [2011-05-08 00:35:44] 931*2^937961-1 is not prime. Res64: 687F0F35639DD82A Time : 1546.0 sec. user=vaughan [2011-05-08 00:41:01] 957*2^937962-1 is not prime. Res64: E7ECCDD21BB7038B Time : 1659.0 sec. user=vaughan [2011-05-08 00:45:50] 1001*2^937962-1 is not prime. Res64: 73FF36F77867F4BF Time : 1659.0 sec. user=vaughan [2011-05-08 00:45:50] 805*2^937963-1 is not prime. Res64: 887942A53EEA6BD8 Time : 1650.0 sec. user=vaughan [2011-05-08 00:51:21] 915*2^937963-1 is not prime. Res64: 1414E5E1CB396C2D Time : 1675.0 sec. user=vaughan [2011-05-08 00:52:53] 895*2^937963-1 is not prime. Res64: 06526B105E6A35FE Time : 1774.0 sec. user=vaughan [2011-05-08 00:53:50] 843*2^937964-1 is not prime. Res64: 062A2DDBB56C081F Time : 1649.0 sec. user=vaughan [2011-05-08 00:56:06] 871*2^937965-1 is not prime. Res64: 4C449AC50A113914 Time : 1323.0 sec. user=vaughan [2011-05-08 01:01:27] 877*2^937965-1 is not prime. Res64: FB113CDE6668A921 Time : 1544.0 sec. user=vaughan [2011-05-08 01:08:45] 937*2^937965-1 is not prime. Res64: 4610DD8983205D63 Time : 1664.0 sec. user=vaughan [2011-05-08 01:13:24] 801*2^937966-1 is not prime. Res64: A214BE950F2C3617 Time : 1654.0 sec. user=vaughan [2011-05-08 01:13:26] 979*2^937965-1 is not prime. Res64: 02EA3EA6E53F65D4 Time : 1657.0 sec. user=vaughan [2011-05-08 01:18:07] 845*2^937968-1 is not prime. Res64: E4C0D349FD442498 Time : 1322.0 sec. user=vaughan [2011-05-08 01:19:03] 917*2^937966-1 is not prime. Res64: 4473C878C36843F6 Time : 1663.0 sec. user=vaughan [2011-05-08 01:21:19] 805*2^937967-1 is not prime. Res64: 8A3CCEB06E59422A Time : 1649.0 sec. user=ototero [2011-05-08 01:22:20] 987*2^937793-1 is not prime. Res64: 11E5069D0A1907DF Time : 15623.0 sec. user=ototero [2011-05-08 01:22:20] 825*2^937794-1 is not prime. Res64: 11301BF803020F99 Time : 15623.0 sec. user=ototero [2011-05-08 01:22:21] 819*2^937795-1 is not prime. Res64: 47B01C61419A3D78 Time : 15624.0 sec. user=ototero [2011-05-08 01:22:21] 999*2^937795-1 is not prime. Res64: 562808360B15A26C Time : 15623.0 sec. user=ototero [2011-05-08 01:22:21] 825*2^937796-1 is not prime. Res64: C8CA32AF2DFBA023 Time : 15623.0 sec. user=ototero [2011-05-08 01:22:21] 927*2^937944-1 is not prime. Res64: 364892C9ECB5C1DE Time : 15623.0 sec. user=ototero [2011-05-08 01:22:21] 957*2^937944-1 is not prime. Res64: 8D282D8946481742 Time : 15622.0 sec. user=ototero [2011-05-08 01:22:21] 849*2^937945-1 is not prime. Res64: CEDF2ADAC85203C1 Time : 15622.0 sec. user=ototero [2011-05-08 01:22:22] 915*2^937945-1 is not prime. Res64: 0FE9A61C478D85D2 Time : 15623.0 sec. user=ototero [2011-05-08 01:22:22] 937*2^937945-1 is not prime. Res64: 1CF9A694F24F727D Time : 15622.0 sec. user=vaughan [2011-05-08 01:22:25] 957*2^937966-1 is not prime. Res64: B48231B50A330BDB Time : 1772.0 sec. user=vaughan [2011-05-08 01:27:14] 879*2^937968-1 is not prime. Res64: ED1B7D8F48D000CE Time : 1548.0 sec. user=vaughan [2011-05-08 01:36:10] 893*2^937968-1 is not prime. Res64: 7785574845122A35 Time : 1645.0 sec. user=vaughan [2011-05-08 01:40:05] 939*2^937969-1 is not prime. Res64: 3872B7582128C6DC Time : 1318.0 sec. user=vaughan [2011-05-08 01:40:58] 861*2^937969-1 is not prime. Res64: D79F1BB559A0F0C9 Time : 1654.0 sec. user=vaughan [2011-05-08 01:41:01] 925*2^937969-1 is not prime. Res64: 1AC4E8F44D975B2E Time : 1656.0 sec. user=vaughan [2011-05-08 01:46:36] 967*2^937969-1 is not prime. Res64: 3D3C52894AD2E4F0 Time : 1654.0 sec. user=vaughan [2011-05-08 01:48:49] 999*2^937969-1 is not prime. Res64: 6A2969AFEBE09D87 Time : 1650.0 sec. user=vaughan [2011-05-08 01:51:43] 847*2^937973-1 is not prime. Res64: 57ADCF6174A88728 Time : 1758.0 sec. user=vaughan [2011-05-08 01:52:57] 897*2^937973-1 is not prime. Res64: 7CE4897D4883A9FA Time : 1544.0 sec. user=vaughan [2011-05-08 02:02:04] 815*2^937974-1 is not prime. Res64: 0F04ED8281C812A9 Time : 1319.0 sec. user=vaughan [2011-05-08 02:03:42] 937*2^937973-1 is not prime. Res64: DC6FBFA3DAC4DB12 Time : 1652.0 sec. user=vaughan [2011-05-08 02:08:34] 861*2^937974-1 is not prime. Res64: D46641386E022C6D Time : 1656.0 sec. user=vaughan [2011-05-08 02:08:38] 891*2^937974-1 is not prime. Res64: BD15E5839629AE2A Time : 1657.0 sec. user=vaughan [2011-05-08 02:13:58] 885*2^937975-1 is not prime. Res64: 760D39726E324CD7 Time : 1642.0 sec. user=vaughan [2011-05-08 02:16:31] 969*2^937975-1 is not prime. Res64: C6E0BA5864631F2E Time : 1663.0 sec. user=vaughan [2011-05-08 02:18:36] 835*2^937977-1 is not prime. Res64: FB13B18E9E5B5ACC Time : 1539.0 sec. user=vaughan [2011-05-08 02:21:43] 935*2^937976-1 is not prime. Res64: 53B0EF641D70FCA8 Time : 1800.0 sec. user=vaughan [2011-05-08 02:24:07] 865*2^937977-1 is not prime. Res64: 57FB4D5EB60D9A93 Time : 1323.0 sec. user=vaughan [2011-05-08 02:30:59] 949*2^937977-1 is not prime. Res64: 9209086054758373 Time : 1637.0 sec. user=vaughan [2011-05-08 02:35:33] 803*2^937978-1 is not prime. Res64: 1D4F2D99A975155C Time : 1619.0 sec. user=vaughan [2011-05-08 02:36:00] 845*2^937978-1 is not prime. Res64: 91AD687DD3CC10CB Time : 1642.0 sec. user=vaughan [2011-05-08 02:41:12] 883*2^937979-1 is not prime. Res64: 3B20F920FDA30CE4 Time : 1634.0 sec. user=vaughan [2011-05-08 02:43:47] 905*2^937980-1 is not prime. Res64: 50724C504C8B17B1 Time : 1512.0 sec. user=vaughan [2011-05-08 02:44:30] 879*2^937980-1 is not prime. Res64: 60469255D06E1D08 Time : 1679.0 sec. user=vaughan [2011-05-08 02:45:56] 825*2^937981-1 is not prime. Res64: D8BA8C0A73C19711 Time : 1310.0 sec. user=vaughan [2011-05-08 02:51:06] 983*2^937980-1 is not prime. Res64: 048105EE63C9BCE7 Time : 1763.0 sec. user=vaughan [2011-05-08 02:58:13] 855*2^937981-1 is not prime. Res64: D064C07C9C6F0715 Time : 1635.0 sec. user=vaughan [2011-05-08 03:02:49] 871*2^937981-1 is not prime. Res64: C0685919ED8E411F Time : 1636.0 sec. user=vaughan [2011-05-08 03:03:23] 895*2^937981-1 is not prime. Res64: E85229F9BA7C2708 Time : 1644.0 sec. user=vaughan [2011-05-08 03:07:52] 971*2^937986-1 is not prime. Res64: F3BD9E805C62BB2B Time : 1316.0 sec. user=vaughan [2011-05-08 03:08:15] 843*2^937982-1 is not prime. Res64: A576715FFDD02CD8 Time : 1623.0 sec. user=vaughan [2011-05-08 03:09:14] 849*2^937983-1 is not prime. Res64: 4FF443E4D99D9424 Time : 1527.0 sec. user=vaughan [2011-05-08 03:11:20] 959*2^937984-1 is not prime. Res64: 36DEB4F2A6F0B4E9 Time : 1610.0 sec. user=vaughan [2011-05-08 03:19:49] 1001*2^937986-1 is not prime. Res64: DD2515CBAE18341E Time : 1724.0 sec. user=vaughan [2011-05-08 03:25:14] 831*2^937989-1 is not prime. Res64: 7D8E023AC1497663 Time : 1622.0 sec. user=vaughan [2011-05-08 03:29:58] 907*2^937989-1 is not prime. Res64: FFB0C023B4978076 Time : 1326.0 sec. user=vaughan [2011-05-08 03:30:13] 861*2^937989-1 is not prime. Res64: C36918DE7F2A6479 Time : 1644.0 sec. user=vaughan [2011-05-08 03:30:45] 891*2^937989-1 is not prime. Res64: 7228526D690801C6 Time : 1643.0 sec. user=vaughan [2011-05-08 03:34:34] 827*2^937990-1 is not prime. Res64: BD6BCC114EB20FA6 Time : 1520.0 sec. user=vaughan [2011-05-08 03:35:20] 813*2^937990-1 is not prime. Res64: 77C0FACFFA6EBF6E Time : 1625.0 sec. user=vaughan [2011-05-08 03:38:09] 831*2^937990-1 is not prime. Res64: B812709B175F971C Time : 1609.0 sec. user=vaughan [2011-05-08 03:48:32] 945*2^937990-1 is not prime. Res64: FEE5AAC395BCC81A Time : 1723.0 sec. user=vaughan [2011-05-08 03:51:55] 909*2^937991-1 is not prime. Res64: 9E073B105B1F599D Time : 1318.0 sec. user=vaughan [2011-05-08 03:52:12] 885*2^937991-1 is not prime. Res64: E9D1AD4A95FACC03 Time : 1618.0 sec. user=vaughan [2011-05-08 03:57:31] 887*2^937992-1 is not prime. Res64: CCD80B8AB1D051B4 Time : 1638.0 sec. user=vaughan [2011-05-08 03:58:09] 855*2^937993-1 is not prime. Res64: 774B4552EC1C9B78 Time : 1645.0 sec. user=vaughan [2011-05-08 04:00:05] 897*2^937993-1 is not prime. Res64: E5F26C80512D8E65 Time : 1532.0 sec. user=vaughan [2011-05-08 04:02:16] 915*2^937993-1 is not prime. Res64: 14ABF60F6B8514B5 Time : 1616.0 sec. user=vaughan [2011-05-08 04:04:54] 937*2^937993-1 is not prime. Res64: 70752E90FB8DA4E5 Time : 1605.0 sec. user=vaughan [2011-05-08 04:14:23] 999*2^937993-1 is not prime. Res64: 09F46FF334C3E22D Time : 1349.0 sec. user=vaughan [2011-05-08 04:16:47] 985*2^937993-1 is not prime. Res64: 5F91B34CF6666A54 Time : 1696.0 sec. user=vaughan [2011-05-08 04:18:59] 825*2^937994-1 is not prime. Res64: 5C8FAE37F4825035 Time : 1607.0 sec. user=vaughan [2011-05-08 04:25:30] 873*2^937994-1 is not prime. Res64: F35827BD26860160 Time : 1679.0 sec. user=vaughan [2011-05-08 04:26:11] 887*2^937994-1 is not prime. Res64: EA3178D63D3A3D20 Time : 1682.0 sec. user=vaughan [2011-05-08 04:26:22] 917*2^937994-1 is not prime. Res64: 1F31070E9E189D60 Time : 1578.0 sec. user=vaughan [2011-05-08 04:28:56] 935*2^937994-1 is not prime. Res64: B6AAF9C7349F4E36 Time : 1600.0 sec. user=vaughan [2011-05-08 04:31:29] 859*2^937995-1 is not prime. Res64: 852D43161B983BDA Time : 1595.0 sec. user=vaughan [2011-05-08 04:44:17] 861*2^937995-1 is not prime. Res64: 3D81225EBDD12123 Time : 1794.0 sec. user=vaughan [2011-05-08 04:44:50] 951*2^937995-1 is not prime. Res64: C66F215C81D71A78 Time : 1683.0 sec. user=vaughan [2011-05-08 04:45:33] 869*2^937996-1 is not prime. Res64: 506DE5FDDD783E6D Time : 1594.0 sec. user=vaughan [2011-05-08 04:53:20] 801*2^937997-1 is not prime. Res64: 419510B76216047F Time : 1618.0 sec. user=vaughan [2011-05-08 04:54:18] 875*2^937996-1 is not prime. Res64: 862F12D05057C17D Time : 1728.0 sec. user=vaughan [2011-05-08 04:54:58] 923*2^937996-1 is not prime. Res64: EC41CC2FB594D507 Time : 1727.0 sec. user=vaughan [2011-05-08 04:55:42] 939*2^937997-1 is not prime. Res64: 8A94D411504EA75E Time : 1606.0 sec. user=vaughan [2011-05-08 04:58:11] 861*2^937998-1 is not prime. Res64: F8CAC135FF635A54 Time : 1602.0 sec. user=vaughan [2011-05-08 05:12:13] 941*2^937998-1 is not prime. Res64: CD462B57C4EA2B65 Time : 1600.0 sec. user=vaughan [2011-05-08 05:12:54] 891*2^937998-1 is not prime. Res64: 3CBF83AA2FE249F8 Time : 1684.0 sec. user=vaughan [2011-05-08 05:14:08] 867*2^937998-1 is not prime. Res64: E7E8E4202E77E275 Time : 1791.0 sec. user=vaughan [2011-05-08 05:20:19] 957*2^937998-1 is not prime. Res64: 5070C839B925DDE0 Time : 1619.0 sec. user=vaughan [2011-05-08 05:22:20] 833*2^938000-1 is not prime. Res64: 793B2B92B9656A4C Time : 1598.0 sec. user=vaughan [2011-05-08 05:23:12] 855*2^937999-1 is not prime. Res64: 9D7F92A54D085A2F Time : 1734.0 sec. user=vaughan [2011-05-08 05:23:45] 859*2^937999-1 is not prime. Res64: 29388A1905CB0750 Time : 1727.0 sec. user=vaughan [2011-05-08 05:24:48] 855*2^938000-1 is not prime. Res64: 3D687343A7FE42DA Time : 1598.0 sec. user=vaughan [2011-05-08 05:37:37] 857*2^938000-1 is not prime. Res64: F48C37D5745FA046 Time : 1525.0 sec. user=vaughan [2011-05-08 05:38:51] 875*2^938000-1 is not prime. Res64: 57B59D9BB13021A5 Time : 1557.0 sec. user=vaughan [2011-05-08 05:44:00] 983*2^938000-1 is not prime. Res64: EDC2C2B17D7C9FD3 Time : 1792.0 sec. user=vaughan [2011-05-08 05:45:05] 865*2^938001-1 is not prime. Res64: 898C4A9DFB9ED7C5 Time : 1365.0 sec. user=vaughan [2011-05-08 05:46:45] 813*2^938003-1 is not prime. Res64: 80F491C87DE5A39E Time : 1318.0 sec. user=vaughan [2011-05-08 05:47:19] 835*2^938001-1 is not prime. Res64: E524CE385C2DCBC5 Time : 1620.0 sec. user=vaughan [2011-05-08 05:52:01] 895*2^938001-1 is not prime. Res64: 4A2132CD4B0611DB Time : 1730.0 sec. user=vaughan [2011-05-08 05:52:32] 969*2^938001-1 is not prime. Res64: 66F51DD733B01924 Time : 1728.0 sec. user=vaughan [2011-05-08 05:57:34] 853*2^938003-1 is not prime. Res64: DB16EDFFA2E86005 Time : 1198.0 sec. user=vaughan [2011-05-08 05:58:57] 859*2^938003-1 is not prime. Res64: A1173E843A511308 Time : 1206.0 sec. user=vaughan [2011-05-08 06:05:04] 913*2^938003-1 is not prime. Res64: AE9B1C518DD34065 Time : 1199.0 sec. user=vaughan [2011-05-08 06:06:23] 969*2^938003-1 is not prime. Res64: 6DC66F2B7945DA4E Time : 1179.0 sec. user=ototero [2011-05-08 06:08:26] 857*2^937970-1 is not prime. Res64: CAEB2AAE7D8BC839 Time : 17164.0 sec. user=ototero [2011-05-08 06:08:26] 945*2^937970-1 is not prime. Res64: AF07B34E3D77F9FB Time : 17164.0 sec. user=ototero [2011-05-08 06:08:27] 957*2^937970-1 is not prime. Res64: 1509AEFEE16FBBE2 Time : 17164.0 sec. user=ototero [2011-05-08 06:08:27] 971*2^937970-1 is not prime. Res64: C243F7FF72086B06 Time : 17164.0 sec. user=ototero [2011-05-08 06:08:27] 977*2^937970-1 is not prime. Res64: 3C38D588248080D4 Time : 17164.0 sec. user=ototero [2011-05-08 06:08:27] 829*2^937971-1 is not prime. Res64: 7C029C0F91E742AE Time : 17163.0 sec. user=ototero [2011-05-08 06:08:27] 961*2^937971-1 is not prime. Res64: 3330AAD62EBF8FC1 Time : 17163.0 sec. user=ototero [2011-05-08 06:08:27] 969*2^937971-1 is not prime. Res64: AC93FAF89A565CA1 Time : 17163.0 sec. user=ototero [2011-05-08 06:08:27] 899*2^937972-1 is not prime. Res64: CDA2302184C90CBD Time : 17163.0 sec. user=ototero [2011-05-08 06:08:28] 855*2^937973-1 is not prime. Res64: C19487DFF0F17FCF Time : 17163.0 sec. user=vaughan [2011-05-08 06:13:51] 895*2^938003-1 is not prime. Res64: 569349310D46D422 Time : 1792.0 sec. user=vaughan [2011-05-08 06:14:21] 981*2^938003-1 is not prime. Res64: C44EE394EC69D24F Time : 1623.0 sec. user=vaughan [2011-05-08 06:17:42] 947*2^938004-1 is not prime. Res64: 1BB62878256EF2B3 Time : 1209.0 sec. user=vaughan [2011-05-08 06:19:37] 819*2^938005-1 is not prime. Res64: BF21F533549DDB8A Time : 1240.0 sec. user=vaughan [2011-05-08 06:20:57] 843*2^938004-1 is not prime. Res64: 3B3795FC661C5A36 Time : 1736.0 sec. user=vaughan [2011-05-08 06:21:20] 899*2^938004-1 is not prime. Res64: B48D6B9052603E07 Time : 1728.0 sec. user=vaughan [2011-05-08 06:25:22] 861*2^938005-1 is not prime. Res64: CD37ABB5A818E1C9 Time : 1218.0 sec. user=vaughan [2011-05-08 06:26:12] 997*2^938005-1 is not prime. Res64: A3777DF40CA792C8 Time : 1189.0 sec. user=vaughan [2011-05-08 06:38:00] 975*2^938008-1 is not prime. Res64: 1E9549B318AF0DA3 Time : 1219.0 sec. user=vaughan [2011-05-08 06:40:36] 995*2^938008-1 is not prime. Res64: B1DC69FD6FA3CB17 Time : 1260.0 sec. user=vaughan [2011-05-08 06:41:30] 933*2^938008-1 is not prime. Res64: 144D7DA8CF651C3A Time : 1630.0 sec. user=vaughan [2011-05-08 06:43:47] 927*2^938008-1 is not prime. Res64: DF87603591F34C5A Time : 1797.0 sec. user=vaughan [2011-05-08 06:45:45] 951*2^938009-1 is not prime. Res64: 3163099F06D01DBA Time : 1223.0 sec. user=vaughan [2011-05-08 06:46:01] 803*2^938010-1 is not prime. Res64: F4FBD1F10CB6704D Time : 1189.0 sec. user=vaughan [2011-05-08 06:49:48] 811*2^938009-1 is not prime. Res64: 79F566228C5B7092 Time : 1731.0 sec. user=vaughan [2011-05-08 06:50:18] 855*2^938009-1 is not prime. Res64: 27AE857FA06EA6E8 Time : 1738.0 sec. user=vaughan [2011-05-08 06:58:20] 851*2^938010-1 is not prime. Res64: 6B297DB0089E14BE Time : 1220.0 sec. user=vaughan [2011-05-08 07:01:40] 921*2^938010-1 is not prime. Res64: 4A42DBC71A09AD3E Time : 1264.0 sec. user=vaughan [2011-05-08 07:05:51] 979*2^938011-1 is not prime. Res64: A28EF3CDEE629264 Time : 1191.0 sec. user=vaughan [2011-05-08 07:06:06] 895*2^938011-1 is not prime. Res64: D18638FA2E90DDE4 Time : 1221.0 sec. user=vaughan [2011-05-08 07:08:24] 927*2^938010-1 is not prime. Res64: 4BFF2931AB123092 Time : 1614.0 sec. user=vaughan [2011-05-08 07:13:37] 855*2^938011-1 is not prime. Res64: 3B427D158C7AA75D Time : 1791.0 sec. user=vaughan [2011-05-08 07:18:40] 993*2^938011-1 is not prime. Res64: D2E2C6DE61933721 Time : 1732.0 sec. user=vaughan [2011-05-08 07:18:46] 875*2^938012-1 is not prime. Res64: E7E9E0430870A024 Time : 1227.0 sec. user=vaughan [2011-05-08 07:19:03] 843*2^938012-1 is not prime. Res64: 4A8AE78A24C46D7E Time : 1725.0 sec. user=vaughan [2011-05-08 07:22:40] 885*2^938012-1 is not prime. Res64: 5A6CA12E38F86C27 Time : 1261.0 sec. user=vaughan [2011-05-08 07:25:42] 903*2^938012-1 is not prime. Res64: A77D43F2CE01BB6A Time : 1191.0 sec. user=vaughan [2011-05-08 07:26:27] 957*2^938012-1 is not prime. Res64: D6119925A65864E7 Time : 1222.0 sec. user=vaughan [2011-05-08 07:35:03] 995*2^938012-1 is not prime. Res64: 64813940BDCAE2AE Time : 1599.0 sec. user=vaughan [2011-05-08 07:39:19] 889*2^938013-1 is not prime. Res64: A2C90704A9E08155 Time : 1234.0 sec. user=vaughan [2011-05-08 07:43:05] 837*2^938013-1 is not prime. Res64: 511B0A6C480C3CDE Time : 1769.0 sec. user=vaughan [2011-05-08 07:43:48] 841*2^938015-1 is not prime. Res64: 78B45497EB65E441 Time : 1269.0 sec. user=vaughan [2011-05-08 07:45:43] 979*2^938015-1 is not prime. Res64: DE40404A6007EEDA Time : 1201.0 sec. user=vaughan [2011-05-08 07:46:47] 885*2^938013-1 is not prime. Res64: 57975FFD7639840E Time : 1687.0 sec. user=vaughan [2011-05-08 07:46:58] 981*2^938015-1 is not prime. Res64: 7B1D49A73B76EB16 Time : 1231.0 sec. user=vaughan [2011-05-08 07:47:10] 823*2^938015-1 is not prime. Res64: B0C3B095DE414564 Time : 1688.0 sec. user=vaughan [2011-05-08 07:59:42] 817*2^938017-1 is not prime. Res64: 1BBD6966316DF1DC Time : 1223.0 sec. user=vaughan [2011-05-08 08:01:31] 809*2^938016-1 is not prime. Res64: 5D8C72B3D7001B7B Time : 1588.0 sec. user=vaughan [2011-05-08 08:04:45] 861*2^938017-1 is not prime. Res64: 04710AD1A5A44AA0 Time : 1257.0 sec. user=vaughan [2011-05-08 08:05:35] 871*2^938017-1 is not prime. Res64: B9164ED11F5864A1 Time : 1193.0 sec. user=vaughan [2011-05-08 08:07:18] 923*2^938018-1 is not prime. Res64: 688423328041562C Time : 1220.0 sec. user=vaughan [2011-05-08 08:12:20] 835*2^938017-1 is not prime. Res64: EA36E88E5CF1AEF3 Time : 1756.0 sec. user=vaughan [2011-05-08 08:15:00] 825*2^938018-1 is not prime. Res64: 06AC6EDF0E0C42D5 Time : 1693.0 sec. user=vaughan [2011-05-08 08:15:19] 941*2^938018-1 is not prime. Res64: 273C6ED4FE6EB7FB Time : 1689.0 sec. user=vaughan [2011-05-08 08:20:04] 987*2^938018-1 is not prime. Res64: C0D2C141FA4A1242 Time : 1222.0 sec. user=vaughan [2011-05-08 08:25:25] 897*2^938020-1 is not prime. Res64: 730DF2C3CEE581B1 Time : 1191.0 sec. user=vaughan [2011-05-08 08:25:39] 813*2^938020-1 is not prime. Res64: 74C19A42E48DD803 Time : 1254.0 sec. user=vaughan [2011-05-08 08:27:44] 909*2^938020-1 is not prime. Res64: 7B77A49E029F54A8 Time : 1226.0 sec. user=vaughan [2011-05-08 08:27:59] 969*2^938019-1 is not prime. Res64: C773190A9F1377B4 Time : 1588.0 sec. user=vaughan [2011-05-08 08:40:26] 979*2^938021-1 is not prime. Res64: E1F6FD4EBCB35A3A Time : 1223.0 sec. user=vaughan [2011-05-08 08:41:31] 811*2^938021-1 is not prime. Res64: 6BB51EE535A0A4F0 Time : 1751.0 sec. user=vaughan [2011-05-08 08:43:10] 939*2^938021-1 is not prime. Res64: F23AB8233CB8B72E Time : 1690.0 sec. user=vaughan [2011-05-08 08:43:31] 957*2^938021-1 is not prime. Res64: 908E0ED5BF5FB11D Time : 1692.0 sec. user=vaughan [2011-05-08 08:45:13] 987*2^938021-1 is not prime. Res64: 8F86B628A644022D Time : 1189.0 sec. user=vaughan [2011-05-08 08:46:39] 983*2^938022-1 is not prime. Res64: 5102A75E25333668 Time : 1261.0 sec. user=vaughan [2011-05-08 08:48:05] 1001*2^938022-1 is not prime. Res64: 759E8E4E114547F6 Time : 1222.0 sec. user=vaughan [2011-05-08 08:54:19] 819*2^938023-1 is not prime. Res64: 8475B4E396BFC0AD Time : 1580.0 sec. user=vaughan [2011-05-08 09:00:48] 853*2^938023-1 is not prime. Res64: 695680C16D1D0D7E Time : 1223.0 sec. user=vaughan [2011-05-08 09:05:02] 843*2^937864-1 is not prime. Res64: 5205DEA7F682F385 Time : 1189.0 sec. user=vaughan [2011-05-08 09:07:39] 875*2^937864-1 is not prime. Res64: A56A574E1E48865C Time : 1260.0 sec. user=vaughan [2011-05-08 09:08:26] 905*2^937864-1 is not prime. Res64: 9A6E912F4F2F0130 Time : 1221.0 sec. user=vaughan [2011-05-08 09:10:49] 969*2^938024-1 is not prime. Res64: 0A046EAC54D14FEE Time : 1758.0 sec. user=vaughan [2011-05-08 09:11:22] 981*2^937862-1 is not prime. Res64: 3DC567405F9C244A Time : 1693.0 sec. user=vaughan [2011-05-08 09:11:42] 921*2^937863-1 is not prime. Res64: F8DAD039CF2FBF23 Time : 1691.0 sec. user=vaughan [2011-05-08 09:20:46] 819*2^937865-1 is not prime. Res64: 6682B74DB82A121A Time : 1588.0 sec. user=vaughan [2011-05-08 09:21:08] 885*2^937867-1 is not prime. Res64: 14D9C68AA2CBB7F3 Time : 1220.0 sec. user=vaughan [2011-05-08 09:24:54] 837*2^937868-1 is not prime. Res64: 991EF0D1FC3188B4 Time : 1192.0 sec. user=vaughan [2011-05-08 09:28:37] 869*2^937868-1 is not prime. Res64: D1502B8F9CBE7886 Time : 1258.0 sec. user=vaughan [2011-05-08 09:28:46] 915*2^937868-1 is not prime. Res64: 88EBDFCE73F264B2 Time : 1221.0 sec. user=ototero [2011-05-08 10:23:08] 813*2^938006-1 is not prime. Res64: C4F9D64D8AFB4645 Time : 15280.0 sec. user=ototero [2011-05-08 10:23:08] 827*2^938006-1 is not prime. Res64: 013C537145A0F78B Time : 15280.0 sec. user=ototero [2011-05-08 10:23:08] 911*2^938006-1 is not prime. Res64: A3FC538E20919A29 Time : 15279.0 sec. user=ototero [2011-05-08 10:23:09] 983*2^938006-1 is not prime. Res64: FCC9107737CC1F26 Time : 15280.0 sec. user=ototero [2011-05-08 10:23:09] 825*2^938007-1 is not prime. Res64: BC331BA6554046ED Time : 15280.0 sec. user=ototero [2011-05-08 10:23:09] 871*2^938007-1 is not prime. Res64: E318186CD4D47FA1 Time : 15279.0 sec. user=ototero [2011-05-08 10:23:09] 885*2^938007-1 is not prime. Res64: BE3406AC36C1B13E Time : 15279.0 sec. user=ototero [2011-05-08 10:23:09] 913*2^938007-1 is not prime. Res64: 281FC380D98A1BDF Time : 15279.0 sec. user=ototero [2011-05-08 10:23:09] 955*2^938007-1 is not prime. Res64: 5A16C72251EA7504 Time : 15278.0 sec. user=ototero [2011-05-08 10:23:10] 827*2^938008-1 is not prime. Res64: FB33D16079D95B28 Time : 15279.0 sec. user=ototero [2011-05-08 14:44:10] 995*2^937870-1 is not prime. Res64: 8CE6ADEA71C86456 Time : 15660.0 sec. user=ototero [2011-05-08 14:44:10] 859*2^937871-1 is not prime. Res64: 51851C007F79ABB7 Time : 15660.0 sec. user=ototero [2011-05-08 14:44:10] 883*2^937871-1 is not prime. Res64: B4C7E152BD6B527F Time : 15660.0 sec. user=ototero [2011-05-08 14:44:10] 879*2^937872-1 is not prime. Res64: ACBC61D9D81F9F4E Time : 15659.0 sec. user=ototero [2011-05-08 14:44:11] 903*2^937872-1 is not prime. Res64: 836D39339A59427D Time : 15660.0 sec. user=ototero [2011-05-08 14:44:11] 923*2^937872-1 is not prime. Res64: 95C2EEB575BDCC8F Time : 15660.0 sec. user=ototero [2011-05-08 14:44:11] 947*2^937872-1 is not prime. Res64: 8438D171075EB185 Time : 15659.0 sec. user=ototero [2011-05-08 14:44:11] 959*2^937872-1 is not prime. Res64: AAF5BB96069FBCAC Time : 15659.0 sec. user=ototero [2011-05-08 14:44:11] 975*2^937872-1 is not prime. Res64: 9949639D585286E3 Time : 15659.0 sec. user=ototero [2011-05-08 14:44:11] 817*2^937873-1 is not prime. Res64: 64F28B5040302AD2 Time : 15658.0 sec. user=vaughan [2011-05-08 18:29:01] 949*2^937869-1 is not prime. Res64: 60ECC1954F1E35BB Time : 32873.0 sec. user=vaughan [2011-05-08 18:33:06] 955*2^937869-1 is not prime. Res64: 2A171B6E3D476B02 Time : 32892.0 sec. user=vaughan [2011-05-08 18:35:35] 935*2^937868-1 is not prime. Res64: B7B835DBE37E3206 Time : 33886.0 sec. user=vaughan [2011-05-08 18:36:47] 999*2^937868-1 is not prime. Res64: 71D6323BE088E686 Time : 33925.0 sec. user=vaughan [2011-05-08 18:36:49] 829*2^937869-1 is not prime. Res64: 2B234F2E7BEA3860 Time : 33907.0 sec. user=vaughan [2011-05-08 18:37:03] 917*2^937870-1 is not prime. Res64: 126B568CC724E561 Time : 32897.0 sec. user=vaughan [2011-05-08 18:37:28] 885*2^937870-1 is not prime. Res64: 7A9E34653BB78CAE Time : 32931.0 sec. user=vaughan [2011-05-08 18:41:59] 831*2^937869-1 is not prime. Res64: A4BF1668C94051C0 Time : 33673.0 sec. user=vaughan [2011-05-08 18:48:21] 857*2^937876-1 is not prime. Res64: D6B158C18F94948E Time : 1160.0 sec. user=vaughan [2011-05-08 18:52:49] 801*2^938026-1 is not prime. Res64: E24A6595FF38197A Time : 1183.0 sec. user=vaughan [2011-05-08 18:56:46] 941*2^938026-1 is not prime. Res64: 5C7FE9C56775F5C3 Time : 1183.0 sec. user=vaughan [2011-05-08 18:57:17] 815*2^938026-1 is not prime. Res64: 3561C2E94A8F5BEA Time : 1302.0 sec. user=vaughan [2011-05-08 18:57:25] 879*2^938027-1 is not prime. Res64: E83A1F6C750F68A5 Time : 1198.0 sec. user=vaughan [2011-05-08 19:03:24] 883*2^938027-1 is not prime. Res64: DF753275B2768F27 Time : 1285.0 sec. user=vaughan [2011-05-08 19:04:13] 825*2^938026-1 is not prime. Res64: 153EC3F989D71AB4 Time : 1646.0 sec. user=vaughan [2011-05-08 19:04:18] 911*2^938026-1 is not prime. Res64: 086ADB0F9256FBEB Time : 1649.0 sec. user=vaughan [2011-05-08 19:07:38] 939*2^938027-1 is not prime. Res64: 2F67E8F541615FE7 Time : 1157.0 sec. user=ototero [2011-05-08 19:12:08] 849*2^937873-1 is not prime. Res64: 665ED9DC7E4E1F4B Time : 16076.0 sec. user=ototero [2011-05-08 19:12:08] 875*2^937874-1 is not prime. Res64: AB3F86AA1F07EA54 Time : 16076.0 sec. user=ototero [2011-05-08 19:12:09] 945*2^937874-1 is not prime. Res64: 7A20E788E7DA74AF Time : 16077.0 sec. user=ototero [2011-05-08 19:12:09] 823*2^937875-1 is not prime. Res64: DE08D35B182F187B Time : 16076.0 sec. user=ototero [2011-05-08 19:12:09] 825*2^937875-1 is not prime. Res64: C8E431A1D4186693 Time : 16076.0 sec. user=ototero [2011-05-08 19:12:09] 895*2^937875-1 is not prime. Res64: A77033EA733632CC Time : 16076.0 sec. user=ototero [2011-05-08 19:12:09] 949*2^937875-1 is not prime. Res64: 4526257F3A215AC2 Time : 16075.0 sec. user=ototero [2011-05-08 19:12:09] 955*2^937875-1 is not prime. Res64: 8C4D7A9690791638 Time : 16075.0 sec. user=ototero [2011-05-08 19:12:09] 973*2^937875-1 is not prime. Res64: C336C1CCA3D374EE Time : 16075.0 sec. user=ototero [2011-05-08 19:12:10] 807*2^937876-1 is not prime. Res64: F464695D901B182B Time : 16075.0 sec. user=vaughan [2011-05-08 19:12:27] 985*2^938027-1 is not prime. Res64: CA745EA384A72B3D Time : 1179.0 sec. user=vaughan [2011-05-08 19:16:26] 837*2^938028-1 is not prime. Res64: 9AD9A97C9482CC1F Time : 1180.0 sec. user=vaughan [2011-05-08 19:17:23] 893*2^938028-1 is not prime. Res64: A9D3E2C71372EB5B Time : 1199.0 sec. user=vaughan [2011-05-08 19:18:13] 887*2^938028-1 is not prime. Res64: C446AF5B24DDAD98 Time : 1257.0 sec. user=vaughan [2011-05-08 19:23:38] 915*2^938028-1 is not prime. Res64: 70D08AA7C56C4D71 Time : 1214.0 sec. user=vaughan [2011-05-08 19:26:50] 829*2^938029-1 is not prime. Res64: F555ECCCB735FA31 Time : 1357.0 sec. user=vaughan [2011-05-08 19:26:58] 845*2^938030-1 is not prime. Res64: DCF2AE48769B71DB Time : 1160.0 sec. user=vaughan [2011-05-08 19:26:59] 855*2^938029-1 is not prime. Res64: 4209F9B92458290C Time : 1361.0 sec. user=vaughan [2011-05-08 19:32:08] 847*2^938033-1 is not prime. Res64: E93279C3E4981225 Time : 1182.0 sec. user=vaughan [2011-05-08 19:36:11] 825*2^938034-1 is not prime. Res64: EC9153C72B6F2C9E Time : 1185.0 sec. user=vaughan [2011-05-08 19:37:30] 801*2^938035-1 is not prime. Res64: 81907FA176792C60 Time : 1207.0 sec. user=vaughan [2011-05-08 19:38:24] 861*2^938035-1 is not prime. Res64: CBBDF61F60B6F032 Time : 1211.0 sec. user=vaughan [2011-05-08 19:39:10] 855*2^937876-1 is not prime. Res64: FDD6954DB13CC0BA Time : 4670.0 sec. user=vaughan [2011-05-08 19:39:12] 833*2^937876-1 is not prime. Res64: BB01E8FE5E154D05 Time : 4673.0 sec. user=vaughan [2011-05-08 19:43:29] 885*2^938035-1 is not prime. Res64: 3ED6899E9AF66359 Time : 1192.0 sec. user=vaughan [2011-05-08 19:46:26] 825*2^938036-1 is not prime. Res64: 7D1BB9E82B4021F1 Time : 1168.0 sec. user=vaughan [2011-05-08 19:48:50] 813*2^938036-1 is not prime. Res64: 2B0EB6F4834C7965 Time : 1321.0 sec. user=vaughan [2011-05-08 19:48:57] 827*2^938036-1 is not prime. Res64: 1299950D12CCDF4C Time : 1319.0 sec. user=vaughan [2011-05-08 19:52:17] 957*2^938036-1 is not prime. Res64: AA39F92DDB3F8B1C Time : 1210.0 sec. user=vaughan [2011-05-08 19:56:21] 963*2^938036-1 is not prime. Res64: D3CDF2DA12AA7F87 Time : 1210.0 sec. user=vaughan [2011-05-08 19:58:11] 987*2^938036-1 is not prime. Res64: 327C315F5FA4DFBB Time : 1241.0 sec. user=vaughan [2011-05-08 19:58:34] 999*2^938036-1 is not prime. Res64: DB15E53CABE04E25 Time : 1210.0 sec. user=vaughan [2011-05-08 20:03:19] 863*2^938038-1 is not prime. Res64: 185BC586CB1A4079 Time : 1190.0 sec. user=vaughan [2011-05-08 20:06:00] 885*2^938039-1 is not prime. Res64: 4BB91F8EC3158C33 Time : 1175.0 sec. user=vaughan [2011-05-08 20:10:47] 931*2^938039-1 is not prime. Res64: BCB5888E3E4866F3 Time : 1318.0 sec. user=vaughan [2011-05-08 20:10:55] 955*2^938039-1 is not prime. Res64: 2FBFACC1502712F6 Time : 1318.0 sec. user=vaughan [2011-05-08 20:12:29] 819*2^938040-1 is not prime. Res64: 0D5CCAF604F413EC Time : 1212.0 sec. user=vaughan [2011-05-08 20:16:33] 867*2^938040-1 is not prime. Res64: 198A66CE144B41B4 Time : 1212.0 sec. user=vaughan [2011-05-08 20:18:51] 899*2^938040-1 is not prime. Res64: 6E3232896982CF8B Time : 1241.0 sec. user=vaughan [2011-05-08 20:19:07] 945*2^938040-1 is not prime. Res64: 25460F9DB412A3CD Time : 1233.0 sec. user=vaughan [2011-05-08 20:25:35] 877*2^938041-1 is not prime. Res64: C4F8552F5EFADCA2 Time : 1175.0 sec. user=vaughan [2011-05-08 20:27:40] 861*2^938041-1 is not prime. Res64: F39DE82F7395DD31 Time : 1461.0 sec. user=vaughan [2011-05-08 20:32:41] 963*2^938042-1 is not prime. Res64: 04ADE392A11983C4 Time : 1212.0 sec. user=vaughan [2011-05-08 20:36:41] 977*2^938042-1 is not prime. Res64: 54D5492BDC30F171 Time : 1208.0 sec. user=vaughan [2011-05-08 20:37:24] 893*2^938042-1 is not prime. Res64: 97A33455F2E95A8B Time : 1589.0 sec. user=vaughan [2011-05-08 20:37:25] 801*2^938042-1 is not prime. Res64: 0C88E1954502A9B3 Time : 1598.0 sec. user=vaughan [2011-05-08 20:39:21] 855*2^938044-1 is not prime. Res64: C70D3707FF25001A Time : 1231.0 sec. user=vaughan [2011-05-08 20:42:52] 875*2^938044-1 is not prime. Res64: 57758E819F7DEFB2 Time : 1425.0 sec. user=vaughan [2011-05-08 20:45:09] 899*2^938044-1 is not prime. Res64: 7FE9F64B2C15E677 Time : 1175.0 sec. user=vaughan [2011-05-08 20:53:07] 915*2^938044-1 is not prime. Res64: 3241050C335178E8 Time : 1226.0 sec. user=vaughan [2011-05-08 20:57:09] 953*2^938044-1 is not prime. Res64: 519C570E6084A902 Time : 1228.0 sec. user=vaughan [2011-05-08 21:00:34] 991*2^938045-1 is not prime. Res64: 6FBB583B70272C26 Time : 1273.0 sec. user=vaughan [2011-05-08 21:01:21] 903*2^938044-1 is not prime. Res64: 667E79B98A138325 Time : 2021.0 sec. user=vaughan [2011-05-08 21:04:38] 855*2^938048-1 is not prime. Res64: 5DC41C2744079908 Time : 1170.0 sec. user=vaughan [2011-05-08 21:05:35] 975*2^938044-1 is not prime. Res64: 62AE26B6A45A01D5 Time : 1692.0 sec. user=vaughan [2011-05-08 21:05:41] 871*2^938045-1 is not prime. Res64: 69935430923F0E4B Time : 1697.0 sec. user=vaughan [2011-05-08 21:06:34] 1001*2^938046-1 is not prime. Res64: C8B352D8157CC1D5 Time : 1422.0 sec. user=vaughan [2011-05-08 21:13:43] 879*2^938048-1 is not prime. Res64: 22468F35B61D3893 Time : 1236.0 sec. user=vaughan [2011-05-08 21:17:47] 915*2^938048-1 is not prime. Res64: 995C47BE92107394 Time : 1238.0 sec. user=vaughan [2011-05-08 21:21:55] 993*2^938048-1 is not prime. Res64: 8356641C48F46414 Time : 1282.0 sec. user=vaughan [2011-05-08 21:24:07] 865*2^938049-1 is not prime. Res64: 42508C61113F2959 Time : 1169.0 sec. user=vaughan [2011-05-08 21:30:15] 827*2^938050-1 is not prime. Res64: 8D57A196A8B6C6AA Time : 1421.0 sec. user=vaughan [2011-05-08 21:33:40] 885*2^938049-1 is not prime. Res64: E9D9E1A9FF1EF725 Time : 1686.0 sec. user=vaughan [2011-05-08 21:33:57] 951*2^938049-1 is not prime. Res64: 8A4151AC07BD6FA1 Time : 1696.0 sec. user=vaughan [2011-05-08 21:34:16] 867*2^938050-1 is not prime. Res64: B1FCE666E8293336 Time : 1234.0 sec. user=vaughan [2011-05-08 21:34:58] 999*2^938048-1 is not prime. Res64: 9EA47064D54A53F1 Time : 2017.0 sec. user=vaughan [2011-05-08 21:38:23] 975*2^938050-1 is not prime. Res64: F7DAD386FBCA572C Time : 1236.0 sec. user=vaughan [2011-05-08 21:43:13] 981*2^938050-1 is not prime. Res64: 4007A1A19D904244 Time : 1278.0 sec. user=vaughan [2011-05-08 21:43:40] 981*2^938051-1 is not prime. Res64: 73BED6AE0310243A Time : 1173.0 sec. user=vaughan [2011-05-08 21:53:56] 899*2^938052-1 is not prime. Res64: 0F1E6D3A8E8B2D3F Time : 1421.0 sec. user=vaughan [2011-05-08 21:54:49] 975*2^938052-1 is not prime. Res64: FA085DC6C84C3D81 Time : 1233.0 sec. user=vaughan [2011-05-08 21:58:55] 819*2^938053-1 is not prime. Res64: A5B72BFE31E7BA7D Time : 1233.0 sec. user=vaughan [2011-05-08 22:01:48] 903*2^938052-1 is not prime. Res64: 6914CA5848034167 Time : 1688.0 sec. user=vaughan [2011-05-08 22:02:16] 929*2^938052-1 is not prime. Res64: 899EB705E9F9048B Time : 1699.0 sec. user=vaughan [2011-05-08 22:03:10] 813*2^938054-1 is not prime. Res64: C25A532D266F85F5 Time : 1170.0 sec. user=vaughan [2011-05-08 22:04:35] 957*2^938053-1 is not prime. Res64: E42F55B9EACCD611 Time : 1283.0 sec. user=vaughan [2011-05-08 22:08:39] 977*2^938052-1 is not prime. Res64: F23A46B1E5F52EDC Time : 2021.0 sec. user=vaughan [2011-05-08 22:15:22] 827*2^938054-1 is not prime. Res64: 57CB537A162DDB81 Time : 1233.0 sec. user=vaughan [2011-05-08 22:17:42] 815*2^938054-1 is not prime. Res64: 7B6DBC2D01C5E6BF Time : 1426.0 sec. user=vaughan [2011-05-08 22:19:29] 833*2^938054-1 is not prime. Res64: F0EE4BC13B7685FE Time : 1234.0 sec. user=vaughan [2011-05-08 22:22:39] 981*2^938054-1 is not prime. Res64: F03D8B81958DDD35 Time : 1170.0 sec. user=vaughan [2011-05-08 22:25:53] 1001*2^938054-1 is not prime. Res64: 92FABD759B738BAE Time : 1278.0 sec. user=vaughan [2011-05-08 22:29:55] 861*2^938054-1 is not prime. Res64: 61C37AA03A38EB53 Time : 1687.0 sec. user=vaughan [2011-05-08 22:30:39] 921*2^938054-1 is not prime. Res64: 4BCCF0FD3B331F7B Time : 1703.0 sec. user=vaughan [2011-05-08 22:35:58] 825*2^938056-1 is not prime. Res64: 2A9A1ABE2FE25DF6 Time : 1236.0 sec. user=vaughan [2011-05-08 22:38:56] 961*2^938055-1 is not prime. Res64: D1A9535A46E5EBEE Time : 1817.0 sec. user=vaughan [2011-05-08 22:40:05] 869*2^938056-1 is not prime. Res64: B82B28CF983C3415 Time : 1236.0 sec. user=vaughan [2011-05-08 22:41:29] 849*2^938056-1 is not prime. Res64: 48B6C7EFBF04738A Time : 1428.0 sec. user=vaughan [2011-05-08 22:42:12] 871*2^938057-1 is not prime. Res64: E25C9AAE811ED7DC Time : 1173.0 sec. user=vaughan [2011-05-08 22:47:14] 909*2^938057-1 is not prime. Res64: 856C10AE2A43D6FE Time : 1281.0 sec. user=vaughan [2011-05-08 22:56:31] 815*2^938058-1 is not prime. Res64: A43B45657494514C Time : 1233.0 sec. user=vaughan [2011-05-08 23:00:39] 887*2^938058-1 is not prime. Res64: 4EF7D4B9095041E9 Time : 1235.0 sec. user=vaughan [2011-05-08 23:01:35] 843*2^938058-1 is not prime. Res64: 68E7293FF887491B Time : 1359.0 sec. user=vaughan [2011-05-08 23:01:46] 883*2^938059-1 is not prime. Res64: 36191EFD8F2D0998 Time : 1174.0 sec. user=vaughan [2011-05-08 23:02:05] 979*2^938057-1 is not prime. Res64: 80322D25920BF7E0 Time : 1930.0 sec. user=vaughan [2011-05-08 23:03:07] 985*2^938057-1 is not prime. Res64: F9086DFB9CF16091 Time : 1948.0 sec. user=vaughan [2011-05-08 23:05:28] 951*2^938058-1 is not prime. Res64: 4EB1A04D0F36D557 Time : 1440.0 sec. user=vaughan [2011-05-08 23:08:31] 891*2^938059-1 is not prime. Res64: 49363C59B055D31F Time : 1277.0 sec. user=vaughan [2011-05-08 23:17:01] 931*2^938059-1 is not prime. Res64: EA57C38D1BCA8F83 Time : 1230.0 sec. user=vaughan [2011-05-08 23:21:12] 923*2^938060-1 is not prime. Res64: 8203557EFACE1B30 Time : 1234.0 sec. user=vaughan [2011-05-08 23:21:18] 999*2^938060-1 is not prime. Res64: CD1001140F6DA472 Time : 1172.0 sec. user=vaughan [2011-05-08 23:23:59] 935*2^938060-1 is not prime. Res64: CF6EBE38C73B502F Time : 1344.0 sec. user=ototero [2011-05-08 23:25:55] 953*2^938030-1 is not prime. Res64: 4C78443BA9A9107E Time : 15225.0 sec. user=ototero [2011-05-08 23:25:55] 859*2^938031-1 is not prime. Res64: D97730D27FCC7636 Time : 15225.0 sec. user=ototero [2011-05-08 23:25:56] 951*2^938031-1 is not prime. Res64: E7D035922DE5B2F9 Time : 15225.0 sec. user=ototero [2011-05-08 23:25:56] 961*2^938031-1 is not prime. Res64: E768529EE6CE7BAD Time : 15225.0 sec. user=ototero [2011-05-08 23:25:56] 873*2^938032-1 is not prime. Res64: 0FB04C342DD19036 Time : 15225.0 sec. user=ototero [2011-05-08 23:25:56] 875*2^938032-1 is not prime. Res64: A8210A417B789A20 Time : 15225.0 sec. user=ototero [2011-05-08 23:25:56] 903*2^938032-1 is not prime. Res64: 580DB97B24B3074A Time : 15224.0 sec. user=ototero [2011-05-08 23:25:56] 989*2^938032-1 is not prime. Res64: BDB981F020F89AEB Time : 15224.0 sec. user=ototero [2011-05-08 23:25:57] 831*2^938033-1 is not prime. Res64: 0DCAC083767A3DDB Time : 15225.0 sec. user=ototero [2011-05-08 23:25:57] 837*2^938033-1 is not prime. Res64: 01EAD79447A17A46 Time : 15224.0 sec. user=vaughan [2011-05-08 23:29:02] 861*2^938061-1 is not prime. Res64: 0834859CAB7561CA Time : 1414.0 sec. user=vaughan [2011-05-08 23:29:47] 865*2^938061-1 is not prime. Res64: 7E9CA79D8FA77503 Time : 1276.0 sec. user=vaughan [2011-05-08 23:33:33] 825*2^938061-1 is not prime. Res64: E99AA7AD6763BD69 Time : 1888.0 sec. user=vaughan [2011-05-08 23:34:37] 837*2^938061-1 is not prime. Res64: AB4F6B8A2D4B7571 Time : 1890.0 sec. user=vaughan [2011-05-08 23:37:38] 901*2^938061-1 is not prime. Res64: 7CF402988A9AEF9B Time : 1237.0 sec. user=vaughan [2011-05-08 23:40:49] 991*2^938061-1 is not prime. Res64: 2BBE9D176E2E8B79 Time : 1171.0 sec. user=vaughan [2011-05-08 23:41:47] 921*2^938061-1 is not prime. Res64: F270885DF43E25B4 Time : 1235.0 sec. user=vaughan [2011-05-08 23:46:11] 997*2^938061-1 is not prime. Res64: F7B76860B7CD29CC Time : 1333.0 sec. user=vaughan [2011-05-08 23:51:10] 851*2^938066-1 is not prime. Res64: 9665D868B7601F00 Time : 1283.0 sec. user=vaughan [2011-05-08 23:52:29] 937*2^938065-1 is not prime. Res64: 9C6799DCA91DC9C2 Time : 1407.0 sec. user=vaughan [2011-05-08 23:58:08] 957*2^938068-1 is not prime. Res64: 9BAFD0B003EFCE44 Time : 1231.0 sec. user=vaughan [2011-05-09 00:00:26] 959*2^938068-1 is not prime. Res64: 489C8558BEEAA16E Time : 1178.0 sec.