user=vaughan [2010-07-15 00:02:04] 455*2^841576-1 is not prime. Res64: 663D58F869ACFAC0 Time : 972.0 sec. user=vaughan [2010-07-15 00:02:59] 451*2^841575-1 is not prime. Res64: D6514C1861AA1730 Time : 1137.0 sec. user=vaughan [2010-07-15 00:07:27] 563*2^841576-1 is not prime. Res64: 2CD7601D95718D1C Time : 1103.0 sec. user=vaughan [2010-07-15 00:07:58] 539*2^841576-1 is not prime. Res64: D7E2D675F04B7CD8 Time : 1276.0 sec. user=vaughan [2010-07-15 00:08:58] 569*2^841576-1 is not prime. Res64: 526B148F0EFC52F3 Time : 974.0 sec. user=vaughan [2010-07-15 00:09:30] 575*2^841576-1 is not prime. Res64: 69F796664BD4DBA7 Time : 989.0 sec. user=vaughan [2010-07-15 00:10:23] 567*2^841576-1 is not prime. Res64: BAD01B5CC1D07516 Time : 1062.0 sec. user=vaughan [2010-07-15 00:11:39] 597*2^841576-1 is not prime. Res64: A0B993A2F351016B Time : 1048.0 sec. user=vaughan [2010-07-15 00:12:31] 561*2^841577-1 is not prime. Res64: D2D59114BF44BEF0 Time : 976.0 sec. user=vaughan [2010-07-15 00:14:00] 511*2^841577-1 is not prime. Res64: A7A883ED86E44DA5 Time : 1089.0 sec. user=vaughan [2010-07-15 00:18:17] 405*2^841578-1 is not prime. Res64: 3FF196A1E25C5C2D Time : 973.0 sec. user=vaughan [2010-07-15 00:21:53] 423*2^841578-1 is not prime. Res64: 978AFE25BDC26BBF Time : 1135.0 sec. user=vaughan [2010-07-15 00:25:14] 503*2^841578-1 is not prime. Res64: 352D8B631F88E452 Time : 976.0 sec. user=vaughan [2010-07-15 00:25:48] 443*2^841578-1 is not prime. Res64: BC5BB48B8311673B Time : 1102.0 sec. user=vaughan [2010-07-15 00:26:00] 585*2^841578-1 is not prime. Res64: C0AAF466CE4C0E68 Time : 990.0 sec. user=vaughan [2010-07-15 00:28:10] 465*2^841579-1 is not prime. Res64: 3DEDF5312CA3BA53 Time : 1068.0 sec. user=vaughan [2010-07-15 00:28:48] 447*2^841580-1 is not prime. Res64: 576B883C269F5D40 Time : 977.0 sec. user=vaughan [2010-07-15 00:29:03] 447*2^841578-1 is not prime. Res64: BD8D59A67BBA4B17 Time : 1266.0 sec. user=vaughan [2010-07-15 00:29:21] 499*2^841579-1 is not prime. Res64: 003F16880BB07F02 Time : 1062.0 sec. user=vaughan [2010-07-15 00:32:06] 533*2^841580-1 is not prime. Res64: 464B8DDAB47333EA Time : 1086.0 sec. user=vaughan [2010-07-15 00:34:29] 539*2^841580-1 is not prime. Res64: 9FB1CEF68689B83E Time : 972.0 sec. user=vaughan [2010-07-15 00:41:29] 559*2^841581-1 is not prime. Res64: EF4E912F006256CA Time : 976.0 sec. user=vaughan [2010-07-15 00:42:17] 415*2^841581-1 is not prime. Res64: F1DD8EBB720E52C2 Time : 1224.0 sec. user=vaughan [2010-07-15 00:42:29] 581*2^841582-1 is not prime. Res64: FDA7411F74485FF1 Time : 989.0 sec. user=vaughan [2010-07-15 00:44:21] 579*2^841581-1 is not prime. Res64: 5E48D10D05B12824 Time : 1113.0 sec. user=vaughan [2010-07-15 00:45:03] 571*2^841583-1 is not prime. Res64: 27CEBAE7E756787C Time : 975.0 sec. user=vaughan [2010-07-15 00:46:48] 585*2^841583-1 is not prime. Res64: F55691945D1BAE3E Time : 1066.0 sec. user=vaughan [2010-07-15 00:47:25] 441*2^841585-1 is not prime. Res64: C5A761C1D6B1974A Time : 1085.0 sec. user=vaughan [2010-07-15 00:47:40] 411*2^841583-1 is not prime. Res64: C0916FDC51F8B21C Time : 1171.0 sec. user=vaughan [2010-07-15 00:50:13] 577*2^841585-1 is not prime. Res64: DDA436C6D5128115 Time : 1087.0 sec. user=vaughan [2010-07-15 00:50:41] 497*2^841586-1 is not prime. Res64: AD758D6189CAF207 Time : 972.0 sec. user=vaughan [2010-07-15 00:57:44] 503*2^841586-1 is not prime. Res64: 5844A16DA2AA83CB Time : 975.0 sec. user=vaughan [2010-07-15 00:58:59] 585*2^841587-1 is not prime. Res64: 1AAC395F171F39B8 Time : 990.0 sec. user=vaughan [2010-07-15 01:01:18] 405*2^841590-1 is not prime. Res64: 1BC8935F51AE77A4 Time : 975.0 sec. user=vaughan [2010-07-15 01:02:52] 459*2^841589-1 is not prime. Res64: 8E95CB107C86FA90 Time : 1112.0 sec. user=vaughan [2010-07-15 01:03:25] 553*2^841587-1 is not prime. Res64: 833E3DFEA9AD43DE Time : 1268.0 sec. user=vaughan [2010-07-15 01:04:34] 413*2^841590-1 is not prime. Res64: C5214038642602FC Time : 1066.0 sec. user=vaughan [2010-07-15 01:04:53] 453*2^841590-1 is not prime. Res64: B407B9450903B57D Time : 1048.0 sec. user=vaughan [2010-07-15 01:05:23] 473*2^841590-1 is not prime. Res64: 4D8A442398572AC0 Time : 1063.0 sec. user=vaughan [2010-07-15 01:06:53] 555*2^841590-1 is not prime. Res64: 47B822E0DBC507AE Time : 972.0 sec. user=vaughan [2010-07-15 01:08:16] 503*2^841590-1 is not prime. Res64: E705259E49FC577F Time : 1084.0 sec. user=vaughan [2010-07-15 01:13:59] 429*2^841591-1 is not prime. Res64: 07801E5033C14BBD Time : 976.0 sec. user=vaughan [2010-07-15 01:15:28] 433*2^841591-1 is not prime. Res64: 246D5DBBD1380A56 Time : 989.0 sec. user=vaughan [2010-07-15 01:17:35] 451*2^841591-1 is not prime. Res64: A58F721D574C8CBB Time : 977.0 sec. user=vaughan [2010-07-15 01:21:23] 495*2^841592-1 is not prime. Res64: 41C9D54D87C82AE7 Time : 1112.0 sec. user=vaughan [2010-07-15 01:22:19] 593*2^841592-1 is not prime. Res64: 79D7C752036B414F Time : 1065.0 sec. user=vaughan [2010-07-15 01:22:22] 427*2^841593-1 is not prime. Res64: F3EDA89E61C48580 Time : 1050.0 sec. user=vaughan [2010-07-15 01:23:05] 517*2^841593-1 is not prime. Res64: BF049BB3412F501B Time : 972.0 sec. user=vaughan [2010-07-15 01:23:06] 445*2^841593-1 is not prime. Res64: 6C32A87EE27F06C3 Time : 1063.0 sec. user=vaughan [2010-07-15 01:24:34] 563*2^841592-1 is not prime. Res64: F2E56A21813F718D Time : 1269.0 sec. user=vaughan [2010-07-15 01:26:19] 549*2^841593-1 is not prime. Res64: F41C91502126D569 Time : 1083.0 sec. user=vaughan [2010-07-15 01:30:13] 401*2^841594-1 is not prime. Res64: E3095068B5B3D72E Time : 975.0 sec. user=vaughan [2010-07-15 01:31:57] 483*2^841594-1 is not prime. Res64: 0629926632A7E30C Time : 989.0 sec. user=vaughan [2010-07-15 01:33:50] 495*2^841594-1 is not prime. Res64: C27E2199DAB25857 Time : 976.0 sec. user=vaughan [2010-07-15 01:39:17] 455*2^841596-1 is not prime. Res64: 3887DD1AE462ECFC Time : 972.0 sec. user=vaughan [2010-07-15 01:39:53] 525*2^841594-1 is not prime. Res64: 64ABCC7C193F73A8 Time : 1110.0 sec. user=vaughan [2010-07-15 01:40:01] 411*2^841595-1 is not prime. Res64: 6ECBB233E5320A79 Time : 1062.0 sec. user=vaughan [2010-07-15 01:44:21] 427*2^841597-1 is not prime. Res64: D78B3FDF09B4AE5D Time : 1083.0 sec. user=vaughan [2010-07-15 01:45:46] 545*2^841596-1 is not prime. Res64: 67DD46B255AC23B1 Time : 1272.0 sec. user=vaughan [2010-07-15 01:46:02] 481*2^841595-1 is not prime. Res64: E507C7415272F7D9 Time : 1420.0 sec. user=vaughan [2010-07-15 01:46:28] 453*2^841598-1 is not prime. Res64: C158FB95C0D2CFA7 Time : 975.0 sec. user=vaughan [2010-07-15 01:47:36] 485*2^841596-1 is not prime. Res64: CC089C7932574DDD Time : 1470.0 sec. user=vaughan [2010-07-15 01:48:28] 461*2^841598-1 is not prime. Res64: C920585580B630CD Time : 991.0 sec. user=vaughan [2010-07-15 01:50:06] 503*2^841598-1 is not prime. Res64: 5323F205DEF21377 Time : 977.0 sec. user=vaughan [2010-07-15 01:55:29] 533*2^841598-1 is not prime. Res64: A41539C29113CAE6 Time : 972.0 sec. user=vaughan [2010-07-15 01:57:44] 429*2^841599-1 is not prime. Res64: 68CCC6A55FA13B92 Time : 1063.0 sec. user=vaughan [2010-07-15 01:58:24] 551*2^841598-1 is not prime. Res64: 8377A20AEDADBBD2 Time : 1111.0 sec. user=vaughan [2010-07-15 02:02:27] 433*2^841599-1 is not prime. Res64: 9BE8DC714693BF42 Time : 1086.0 sec. user=vaughan [2010-07-15 02:02:53] 479*2^841600-1 is not prime. Res64: 5F76FCE53AFE88EA Time : 985.0 sec. user=vaughan [2010-07-15 02:03:27] 481*2^841599-1 is not prime. Res64: 0B6A43C68589B969 Time : 1045.0 sec. user=vaughan [2010-07-15 02:05:16] 525*2^841601-1 is not prime. Res64: 76748DC63203CF42 Time : 1060.0 sec. user=vaughan [2010-07-15 02:05:18] 529*2^841601-1 is not prime. Res64: 5635909EFB38474A Time : 1011.0 sec. user=vaughan [2010-07-15 02:06:58] 465*2^841599-1 is not prime. Res64: 8CFE56E4A8FF20D7 Time : 1272.0 sec. user=vaughan [2010-07-15 02:07:45] 405*2^841602-1 is not prime. Res64: 2ED3A8A3CD3909D2 Time : 1059.0 sec. user=vaughan [2010-07-15 02:15:30] 567*2^841602-1 is not prime. Res64: EE159820B059D870 Time : 1066.0 sec. user=vaughan [2010-07-15 02:16:54] 549*2^841603-1 is not prime. Res64: 56719E23FE501968 Time : 1110.0 sec. user=vaughan [2010-07-15 02:19:33] 453*2^841602-1 is not prime. Res64: 9B049DFF1CE9D6BD Time : 1444.0 sec. user=vaughan [2010-07-15 02:20:30] 589*2^841603-1 is not prime. Res64: B687CC5AF7BFB4A4 Time : 1083.0 sec. user=vaughan [2010-07-15 02:20:56] 435*2^841604-1 is not prime. Res64: 93879512EE399E61 Time : 1049.0 sec. user=vaughan [2010-07-15 02:23:01] 409*2^841605-1 is not prime. Res64: 447699457A02E0F9 Time : 1065.0 sec. user=vaughan [2010-07-15 02:28:15] 555*2^841605-1 is not prime. Res64: DEDDF14576BC627E Time : 1277.0 sec. user=vaughan [2010-07-15 02:29:02] 507*2^841605-1 is not prime. Res64: 075DA381CE2F6D15 Time : 1424.0 sec. user=vaughan [2010-07-15 02:32:41] 413*2^841604-1 is not prime. Res64: 0489E63BFA53A3AE Time : 1788.0 sec. user=vaughan [2010-07-15 02:33:52] 585*2^841605-1 is not prime. Res64: F0A9F594E2B091CB Time : 1567.0 sec. user=vaughan [2010-07-15 02:36:46] 561*2^841606-1 is not prime. Res64: 8D492BFB2897C00C Time : 1277.0 sec. user=vaughan [2010-07-15 02:38:26] 403*2^841607-1 is not prime. Res64: 334A8283F078393E Time : 1292.0 sec. user=vaughan [2010-07-15 02:48:58] 511*2^841607-1 is not prime. Res64: FCF943CFD1085380 Time : 1682.0 sec. user=vaughan [2010-07-15 02:50:50] 501*2^841607-1 is not prime. Res64: 659555B2BD939085 Time : 1821.0 sec. user=vaughan [2010-07-15 02:51:19] 549*2^841607-1 is not prime. Res64: 73649460D4978777 Time : 1699.0 sec. user=vaughan [2010-07-15 02:58:34] 459*2^841608-1 is not prime. Res64: 331BB543D8E643C0 Time : 1820.0 sec. user=vaughan [2010-07-15 03:06:31] 509*2^841608-1 is not prime. Res64: 44F0E430EB4E358B Time : 1053.0 sec. user=vaughan [2010-07-15 03:08:35] 473*2^841608-1 is not prime. Res64: 1490947D5D6236CD Time : 1909.0 sec. user=vaughan [2010-07-15 03:09:05] 503*2^841608-1 is not prime. Res64: 67E28BC2E82826A6 Time : 1839.0 sec. user=vaughan [2010-07-15 03:09:09] 421*2^841609-1 is not prime. Res64: F45273952E2C2EBA Time : 1070.0 sec. user=vaughan [2010-07-15 03:24:04] 525*2^841609-1 is not prime. Res64: E9C3EAD6E5E82137 Time : 1053.0 sec. user=vaughan [2010-07-15 03:27:21] 415*2^841611-1 is not prime. Res64: A56952DC5C372486 Time : 1092.0 sec. user=vaughan [2010-07-15 03:28:46] 507*2^841609-1 is not prime. Res64: 6963B500017A6000 Time : 1813.0 sec. user=vaughan [2010-07-15 03:37:38] 537*2^841608-1 is not prime. Res64: 16DEFC30EB0249E3 Time : 2808.0 sec. user=vaughan [2010-07-15 03:39:01] 467*2^841610-1 is not prime. Res64: DE2AC668E784B711 Time : 1796.0 sec. user=vaughan [2010-07-15 03:42:14] 559*2^841609-1 is not prime. Res64: 025BA0C8CB8E6F23 Time : 2019.0 sec. user=vaughan [2010-07-15 03:52:06] 439*2^841611-1 is not prime. Res64: 7A0E3447E0058393 Time : 1682.0 sec. user=vaughan [2010-07-15 03:55:57] 453*2^841611-1 is not prime. Res64: 1E0A9055C791AF50 Time : 1717.0 sec. user=vaughan [2010-07-15 03:58:58] 475*2^841611-1 is not prime. Res64: F6FF3EFB7EC7E870 Time : 1812.0 sec. user=vaughan [2010-07-15 04:07:37] 571*2^841611-1 is not prime. Res64: 35D52D46DD553333 Time : 1716.0 sec. user=vaughan [2010-07-15 04:09:43] 579*2^841612-1 is not prime. Res64: B8B6755489F4CCC5 Time : 1057.0 sec. user=vaughan [2010-07-15 04:13:42] 405*2^841613-1 is not prime. Res64: 441BF1EBCBB73EFF Time : 1065.0 sec. user=vaughan [2010-07-15 04:15:24] 537*2^841612-1 is not prime. Res64: 72088E74D48869DC Time : 1990.0 sec. user=vaughan [2010-07-15 04:20:47] 531*2^841611-1 is not prime. Res64: F59183E6C751A5B2 Time : 2590.0 sec. user=vaughan [2010-07-15 04:27:13] 561*2^841613-1 is not prime. Res64: A0B88006D061EE24 Time : 1050.0 sec. user=vaughan [2010-07-15 04:28:40] 411*2^841613-1 is not prime. Res64: 17949882A68894D6 Time : 1782.0 sec. user=vaughan [2010-07-15 04:36:44] 475*2^841613-1 is not prime. Res64: 32998E458575C98A Time : 1747.0 sec. user=vaughan [2010-07-15 04:47:14] 413*2^841614-1 is not prime. Res64: E0CC35227BCF1A05 Time : 1910.0 sec. user=vaughan [2010-07-15 04:50:42] 411*2^841614-1 is not prime. Res64: 1260E2833867487F Time : 2221.0 sec. user=vaughan [2010-07-15 04:58:52] 501*2^841614-1 is not prime. Res64: 90EC5BCAD43DFBA2 Time : 1813.0 sec. user=vaughan [2010-07-15 05:04:02] 453*2^841614-1 is not prime. Res64: 3C897BC68A12345B Time : 2209.0 sec. user=vaughan [2010-07-15 05:06:10] 431*2^841614-1 is not prime. Res64: B558D0B45C7B8632 Time : 2723.0 sec. user=vaughan [2010-07-15 05:06:15] 503*2^841614-1 is not prime. Res64: CEF7DF342BDD844B Time : 1771.0 sec. user=vaughan [2010-07-15 05:08:36] 593*2^841614-1 is not prime. Res64: 550F459CA51F1016 Time : 1074.0 sec. user=vaughan [2010-07-15 05:19:44] 513*2^841614-1 is not prime. Res64: EB715A2F4364FEE1 Time : 1950.0 sec. user=vaughan [2010-07-15 05:21:30] 499*2^841615-1 is not prime. Res64: 5B1496CF5B839C78 Time : 1048.0 sec. user=vaughan [2010-07-15 05:26:16] 455*2^841616-1 is not prime. Res64: A24F5DFA6C4D6A90 Time : 1061.0 sec. user=vaughan [2010-07-15 05:29:48] 481*2^841615-1 is not prime. Res64: AA2D4551E95ADC05 Time : 1856.0 sec. user=vaughan [2010-07-15 05:35:22] 405*2^841616-1 is not prime. Res64: BA168716555163C5 Time : 1747.0 sec. user=vaughan [2010-07-15 05:40:41] 427*2^841617-1 is not prime. Res64: 5310ABCB50EE1F92 Time : 1151.0 sec. user=vaughan [2010-07-15 05:45:48] 441*2^841617-1 is not prime. Res64: B6EA43B1BD972917 Time : 1172.0 sec. user=vaughan [2010-07-15 05:50:07] 409*2^841617-1 is not prime. Res64: 2FDC8E29D3F7786C Time : 1824.0 sec. user=vaughan [2010-07-15 05:52:45] 549*2^841617-1 is not prime. Res64: D4A230F3A1C524E4 Time : 1378.0 sec. user=vaughan [2010-07-15 05:58:09] 577*2^841617-1 is not prime. Res64: 0F5E5865C7F965EC Time : 1048.0 sec. user=vaughan [2010-07-15 06:03:28] 467*2^841618-1 is not prime. Res64: FBD975F1B4AEB520 Time : 1061.0 sec. user=vaughan [2010-07-15 06:03:39] 525*2^841615-1 is not prime. Res64: 8040D28AA77EE25D Time : 3449.0 sec. user=vaughan [2010-07-15 06:05:07] 555*2^841617-1 is not prime. Res64: DE2A831CB0D96511 Time : 1785.0 sec. user=vaughan [2010-07-15 06:15:36] 497*2^841618-1 is not prime. Res64: 2D14CB8FF4BC9A29 Time : 1371.0 sec. user=vaughan [2010-07-15 06:15:38] 555*2^841618-1 is not prime. Res64: EB6993770D818211 Time : 1049.0 sec. user=vaughan [2010-07-15 06:19:11] 495*2^841618-1 is not prime. Res64: D9BB89824EB3C500 Time : 1744.0 sec. user=vaughan [2010-07-15 06:21:11] 575*2^841618-1 is not prime. Res64: ADB0CCC2A94C7F17 Time : 1063.0 sec. user=vaughan [2010-07-15 06:33:06] 453*2^841620-1 is not prime. Res64: CB9B622174BE824D Time : 1048.0 sec. user=vaughan [2010-07-15 06:35:03] 495*2^841619-1 is not prime. Res64: 75BD63AA9947C545 Time : 1796.0 sec. user=vaughan [2010-07-15 06:38:34] 531*2^841619-1 is not prime. Res64: C52C67BC80DBF24B Time : 1379.0 sec. user=vaughan [2010-07-15 06:38:52] 513*2^841620-1 is not prime. Res64: EB581968E8E2C11D Time : 1062.0 sec. user=vaughan [2010-07-15 06:48:32] 455*2^841620-1 is not prime. Res64: 6C190F5D56EEACFB Time : 1761.0 sec. user=vaughan [2010-07-15 06:50:35] 527*2^841620-1 is not prime. Res64: D02D19F2EA349D9C Time : 1049.0 sec. user=vaughan [2010-07-15 06:56:31] 447*2^841621-1 is not prime. Res64: 82E313C4B563F9A9 Time : 1059.0 sec. user=vaughan [2010-07-15 07:03:02] 439*2^841619-1 is not prime. Res64: A80985ECBDC93426 Time : 3563.0 sec. user=vaughan [2010-07-15 07:06:50] 429*2^841621-1 is not prime. Res64: 1DC4A12ED2C33E76 Time : 1696.0 sec. user=vaughan [2010-07-15 07:07:09] 563*2^841620-1 is not prime. Res64: 811A5CE4B697B240 Time : 1927.0 sec. user=vaughan [2010-07-15 07:08:04] 561*2^841621-1 is not prime. Res64: D8A2F4EB6C28B06C Time : 1049.0 sec. user=vaughan [2010-07-15 07:14:17] 591*2^841621-1 is not prime. Res64: 7E463FA5B1E1ECD6 Time : 1067.0 sec. user=vaughan [2010-07-15 07:25:34] 417*2^841622-1 is not prime. Res64: 496E87ACCDCB9C41 Time : 1050.0 sec. user=vaughan [2010-07-15 07:27:29] 517*2^841621-1 is not prime. Res64: 68FD720D4508F002 Time : 2337.0 sec. user=vaughan [2010-07-15 07:32:06] 437*2^841622-1 is not prime. Res64: 2B1DD5661CBD39FF Time : 1069.0 sec. user=vaughan [2010-07-15 07:43:05] 525*2^841622-1 is not prime. Res64: FBA3FFC70D927FCF Time : 1052.0 sec. user=vaughan [2010-07-15 07:49:58] 545*2^841622-1 is not prime. Res64: 5888FE63700944F5 Time : 1073.0 sec. user=vaughan [2010-07-15 08:00:54] 561*2^841622-1 is not prime. Res64: 5F72223DA309DED5 Time : 1069.0 sec. user=vaughan [2010-07-15 08:07:45] 585*2^841622-1 is not prime. Res64: 9F157E84028CA355 Time : 1067.0 sec. user=vaughan [2010-07-15 08:18:25] 591*2^841622-1 is not prime. Res64: C87B8B36C3B340AE Time : 1051.0 sec. user=vaughan [2010-07-15 08:25:32] 439*2^841623-1 is not prime. Res64: CD08408F42208C5C Time : 1068.0 sec. user=vaughan [2010-07-15 08:35:51] 451*2^841623-1 is not prime. Res64: 19A1D3377F7A34B4 Time : 1046.0 sec. user=vaughan [2010-07-15 08:43:12] 471*2^841623-1 is not prime. Res64: 9F95F7DA15B9C641 Time : 1060.0 sec. user=vaughan [2010-07-15 08:53:15] 481*2^841623-1 is not prime. Res64: 5AE3353202A21483 Time : 1045.0 sec. user=vaughan [2010-07-15 09:00:54] 493*2^841623-1 is not prime. Res64: E0AFFEC14952EC3E Time : 1062.0 sec. user=vaughan [2010-07-15 09:10:43] 501*2^841623-1 is not prime. Res64: EBEF785F95E2D113 Time : 1048.0 sec. user=vaughan [2010-07-15 09:18:32] 573*2^841623-1 is not prime. Res64: BE9D7623EA99ECA8 Time : 1058.0 sec. user=vaughan [2010-07-15 09:30:45] 595*2^841623-1 is not prime. Res64: DDF67ACAF38B70D8 Time : 1203.0 sec. user=vaughan [2010-07-15 09:38:47] 413*2^841624-1 is not prime. Res64: 67DA6EBAF1AF0108 Time : 1215.0 sec. user=vaughan [2010-07-15 09:48:13] 429*2^841624-1 is not prime. Res64: 767481F9F85172C7 Time : 1049.0 sec. user=vaughan [2010-07-15 09:56:30] 437*2^841624-1 is not prime. Res64: AA84CA6BAB3F4211 Time : 1063.0 sec. user=vaughan [2010-07-15 10:05:40] 447*2^841624-1 is not prime. Res64: B59085CC5DF13C5C Time : 1047.0 sec. user=vaughan [2010-07-15 10:14:15] 527*2^841624-1 is not prime. Res64: F8E7ACB06BB83AA7 Time : 1065.0 sec. user=vaughan [2010-07-15 10:23:06] 549*2^841624-1 is not prime. Res64: AEB4F0EF58125E60 Time : 1047.0 sec. user=vaughan [2010-07-15 10:39:11] 485*2^841626-1 is not prime. Res64: FA52270B5BC25AC7 Time : 1496.0 sec. user=vaughan [2010-07-15 10:47:38] 513*2^841626-1 is not prime. Res64: D82C1E5F05C42272 Time : 1472.0 sec. user=vaughan [2010-07-15 10:56:53] 581*2^841626-1 is not prime. Res64: 2E08125AECC6E23B Time : 1062.0 sec. user=vaughan [2010-07-15 11:05:07] 405*2^841627-1 is not prime. Res64: 411760CBA01E4F71 Time : 1050.0 sec. user=vaughan [2010-07-15 11:14:35] 495*2^841627-1 is not prime. Res64: 3926612D70D42AB0 Time : 1062.0 sec. user=vaughan [2010-07-15 11:22:36] 541*2^841627-1 is not prime. Res64: DED2EB9E917ADD19 Time : 1049.0 sec. user=vaughan [2010-07-15 11:32:20] 555*2^841627-1 is not prime. Res64: 1A071C6F93C6DF12 Time : 1065.0 sec. user=vaughan [2010-07-15 11:40:01] 583*2^841627-1 is not prime. Res64: 5D5486FEFC1CE23D Time : 1046.0 sec. user=vaughan [2010-07-15 11:50:00] 489*2^841628-1 is not prime. Res64: CEDC7A80F5212C14 Time : 1061.0 sec. user=vaughan [2010-07-15 11:57:27] 515*2^841628-1 is not prime. Res64: 9A297FA77D920938 Time : 1046.0 sec. user=vaughan [2010-07-15 12:07:44] 563*2^841628-1 is not prime. Res64: 7992D9A9410081D5 Time : 1064.0 sec. user=vaughan [2010-07-15 12:14:55] 599*2^841628-1 is not prime. Res64: D899661D96E20431 Time : 1048.0 sec. user=vaughan [2010-07-15 12:26:16] 415*2^841629-1 is not prime. Res64: B48DC6CE8CF72800 Time : 1112.0 sec. user=vaughan [2010-07-15 12:33:12] 439*2^841629-1 is not prime. Res64: 3D36E7730F21A90D Time : 1097.0 sec. user=vaughan [2010-07-15 12:44:01] 457*2^841629-1 is not prime. Res64: 306576372D40BC7E Time : 1065.0 sec. user=vaughan [2010-07-15 12:50:52] 579*2^841629-1 is not prime. Res64: B78671D4570F491F Time : 1060.0 sec. user=vaughan [2010-07-15 13:02:00] 495*2^841630-1 is not prime. Res64: 8AC733389C7DB21F Time : 1079.0 sec. user=vaughan [2010-07-15 13:12:34] 587*2^841630-1 is not prime. Res64: 7A7F11C2490084A3 Time : 1303.0 sec. user=vaughan [2010-07-15 13:27:44] 591*2^841630-1 is not prime. Res64: 896631EF16459EFD Time : 1545.0 sec. user=vaughan [2010-07-15 13:35:51] 445*2^841631-1 is not prime. Res64: EFD07AE5421C8B80 Time : 1397.0 sec. user=vaughan [2010-07-15 13:55:37] 519*2^841631-1 is not prime. Res64: 418F136CBC2534B3 Time : 1673.0 sec. user=vaughan [2010-07-15 14:01:35] 413*2^841632-1 is not prime. Res64: 9DF3D1BFB95FA75E Time : 1545.0 sec. user=vaughan [2010-07-15 14:19:56] 447*2^841632-1 is not prime. Res64: 8B383F14812DB408 Time : 1459.0 sec. user=vaughan [2010-07-15 14:23:42] 513*2^841632-1 is not prime. Res64: C423894F1D06094F Time : 1327.0 sec. user=vaughan [2010-07-15 14:46:25] 555*2^841632-1 is not prime. Res64: E1FF7074A270188C Time : 1589.0 sec. user=vaughan [2010-07-15 14:46:36] 435*2^841633-1 is not prime. Res64: 24B3B405F21AD58B Time : 1375.0 sec. user=vaughan [2010-07-15 15:11:49] 465*2^841633-1 is not prime. Res64: AB9FFD1138CAC0BA Time : 1513.0 sec. user=vaughan [2010-07-15 15:15:26] 439*2^841633-1 is not prime. Res64: 2EBD9A6B85A3A050 Time : 1742.0 sec. user=vaughan [2010-07-15 15:35:09] 537*2^841633-1 is not prime. Res64: 6E345DDBC18E4AB1 Time : 1400.0 sec. user=vaughan [2010-07-15 15:39:09] 549*2^841633-1 is not prime. Res64: A735A1B62DF451A2 Time : 1423.0 sec. user=vaughan [2010-07-15 15:52:34] 565*2^841633-1 is not prime. Res64: 2B08DE8251A1663B Time : 1045.0 sec. user=vaughan [2010-07-15 15:56:56] 431*2^841634-1 is not prime. Res64: F85BC26B657CB806 Time : 1067.0 sec. user=vaughan [2010-07-15 16:10:01] 563*2^841634-1 is not prime. Res64: 3696203D280AABA8 Time : 1048.0 sec. user=vaughan [2010-07-15 16:14:41] 433*2^841635-1 is not prime. Res64: 4753EBA55BA2B166 Time : 1065.0 sec. user=vaughan [2010-07-15 16:34:26] 445*2^841635-1 is not prime. Res64: 72FC7DBD559BE56A Time : 1466.0 sec. user=vaughan [2010-07-15 16:39:27] 591*2^841635-1 is not prime. Res64: E729624AFDBA06E6 Time : 1487.0 sec. user=vaughan [2010-07-15 16:51:48] 495*2^841636-1 is not prime. Res64: B6CF83AAB437E464 Time : 1042.0 sec. user=vaughan [2010-07-15 16:57:13] 539*2^841636-1 is not prime. Res64: 0EB97BAAD2BDF9BD Time : 1066.0 sec. user=vaughan [2010-07-15 17:09:10] 405*2^841637-1 is not prime. Res64: 95229DEB0E8B165D Time : 1043.0 sec. user=vaughan [2010-07-15 17:15:04] 529*2^841637-1 is not prime. Res64: 57D8B6550EAB8CBF Time : 1072.0 sec. user=vaughan [2010-07-15 17:32:08] 417*2^841638-1 is not prime. Res64: 21C059B0C10918FD Time : 1378.0 sec. user=vaughan [2010-07-15 17:38:28] 513*2^841638-1 is not prime. Res64: 1861EE497E74D842 Time : 1405.0 sec. user=vaughan [2010-07-15 17:50:02] 527*2^841638-1 is not prime. Res64: BA9F36A7CF74582A Time : 1074.0 sec. user=vaughan [2010-07-15 17:56:13] 573*2^841638-1 is not prime. Res64: 277BC40CE225875C Time : 1065.0 sec. user=vaughan [2010-07-15 18:07:43] 585*2^841638-1 is not prime. Res64: 705A73A0CBB7937C Time : 1061.0 sec. user=vaughan [2010-07-15 18:14:21] 421*2^841639-1 is not prime. Res64: 005A52A635FBAE6F Time : 1088.0 sec. user=vaughan [2010-07-15 18:25:09] 441*2^841639-1 is not prime. Res64: 9ED8853749CA109F Time : 1047.0 sec. user=vaughan [2010-07-15 18:37:35] 505*2^841639-1 is not prime. Res64: 0E4A1AA84C6E4E03 Time : 1394.0 sec. user=vaughan [2010-07-15 18:48:01] 511*2^841639-1 is not prime. Res64: C41AD1357E56CA6E Time : 1372.0 sec. user=vaughan [2010-07-15 18:55:27] 555*2^841639-1 is not prime. Res64: BD144313BEBA0275 Time : 1073.0 sec. user=vaughan [2010-07-15 19:05:24] 573*2^841639-1 is not prime. Res64: C90806ED8C41F0F3 Time : 1044.0 sec. user=vaughan [2010-07-15 19:13:11] 483*2^841640-1 is not prime. Res64: BCFB47C29D7D2A38 Time : 1064.0 sec. user=vaughan [2010-07-15 19:22:47] 405*2^841641-1 is not prime. Res64: 2BAC8111778F0F60 Time : 1044.0 sec. user=vaughan [2010-07-15 19:32:55] 459*2^841641-1 is not prime. Res64: 136E317A46B75962 Time : 1184.0 sec. user=vaughan [2010-07-15 19:41:01] 591*2^841641-1 is not prime. Res64: 2C620D83D167CB20 Time : 1094.0 sec. user=vaughan [2010-07-15 19:50:40] 405*2^841642-1 is not prime. Res64: D9FE3B582159F350 Time : 1065.0 sec. user=vaughan [2010-07-15 19:58:25] 437*2^841642-1 is not prime. Res64: 27B186DFED090C9C Time : 1044.0 sec. user=vaughan [2010-07-15 20:08:24] 433*2^841643-1 is not prime. Res64: 6F9FCABDEA0F8D0C Time : 1064.0 sec. user=vaughan [2010-07-15 20:15:49] 445*2^841643-1 is not prime. Res64: 550B0BB07A28C224 Time : 1044.0 sec. user=vaughan [2010-07-15 20:26:08] 585*2^841643-1 is not prime. Res64: DAB3E25E1463FB39 Time : 1065.0 sec. user=vaughan [2010-07-15 20:34:04] 447*2^841644-1 is not prime. Res64: 4D124F1E0BCB598F Time : 1096.0 sec. user=vaughan [2010-07-15 20:45:37] 455*2^841644-1 is not prime. Res64: 35BF4D0B4E8AACEA Time : 1169.0 sec. user=vaughan [2010-07-15 20:51:29] 489*2^841644-1 is not prime. Res64: 037D6A7BA2F18E0B Time : 1046.0 sec. user=vaughan [2010-07-15 21:03:17] 539*2^841644-1 is not prime. Res64: CCBA5881B7580CA0 Time : 1060.0 sec. user=vaughan [2010-07-15 21:08:56] 563*2^841644-1 is not prime. Res64: 41D182E1C241C4D0 Time : 1048.0 sec. user=vaughan [2010-07-15 21:20:58] 441*2^841645-1 is not prime. Res64: CFD908F2128B4097 Time : 1061.0 sec. user=vaughan [2010-07-15 21:26:23] 465*2^841645-1 is not prime. Res64: 43393035F8BC22D0 Time : 1047.0 sec. user=vaughan [2010-07-15 21:48:10] 541*2^841645-1 is not prime. Res64: DE02A8F3EF72D6C9 Time : 1633.0 sec. user=vaughan [2010-07-15 21:53:03] 555*2^841645-1 is not prime. Res64: 9C0A6DEEEB83EAEB Time : 1600.0 sec. user=vaughan [2010-07-15 22:05:56] 597*2^841645-1 is not prime. Res64: 8AD645AD9C400A73 Time : 1066.0 sec. user=vaughan [2010-07-15 22:10:36] 503*2^841646-1 is not prime. Res64: 21BC17B9D950EF76 Time : 1053.0 sec. user=vaughan [2010-07-15 22:23:43] 573*2^841646-1 is not prime. Res64: 0659B1FE98147E00 Time : 1068.0 sec. user=vaughan [2010-07-15 22:28:06] 403*2^841647-1 is not prime. Res64: D6B030C0115CC518 Time : 1050.0 sec. user=vaughan [2010-07-15 22:41:44] 405*2^841647-1 is not prime. Res64: 70BA58C4434DE2D9 Time : 1081.0 sec. user=vaughan [2010-07-15 22:45:37] 469*2^841647-1 is not prime. Res64: A10C5A7F46E8AFB5 Time : 1051.0 sec. user=vaughan [2010-07-15 22:59:29] 483*2^841647-1 is not prime. Res64: 2939C8285AF883B8 Time : 1065.0 sec. user=vaughan [2010-07-15 23:03:04] 511*2^841647-1 is not prime. Res64: 1EEC48F3EA6AD9E2 Time : 1048.0 sec. user=vaughan [2010-07-15 23:17:12] 413*2^841648-1 is not prime. Res64: BDA638B390C03249 Time : 1063.0 sec. user=vaughan [2010-07-15 23:20:32] 429*2^841648-1 is not prime. Res64: FC8D16DCEDDAAFDA Time : 1048.0 sec. user=vaughan [2010-07-15 23:34:55] 479*2^841648-1 is not prime. Res64: D3EB1E5E9BD720F9 Time : 1064.0 sec. user=vaughan [2010-07-15 23:37:59] 537*2^841648-1 is not prime. Res64: E9C2B448F5710DDF Time : 1047.0 sec. user=vaughan [2010-07-15 23:52:37] 573*2^841648-1 is not prime. Res64: CCC0EE099158DD28 Time : 1062.0 sec. user=vaughan [2010-07-15 23:55:29] 441*2^841649-1 is not prime. Res64: C1461605AF792B87 Time : 1050.0 sec.