user=vaughan [2010-07-03 00:01:43] 569*2^838936-1 is not prime. Res64: C212461C644A4276 Time : 43578.0 sec. user=vaughan [2010-07-03 00:02:15] 559*2^839117-1 is not prime. Res64: 4DA92DB50AA4DA45 Time : 3229.0 sec. user=vaughan [2010-07-03 00:03:13] 497*2^839122-1 is not prime. Res64: B59918B169A83B5F Time : 2043.0 sec. user=vaughan [2010-07-03 00:05:02] 409*2^838841-1 is not prime. Res64: 5CA83C2D554A2CC7 Time : 65097.0 sec. user=vaughan [2010-07-03 00:05:58] 447*2^838978-1 is not prime. Res64: D6B70821A0A04B08 Time : 34298.0 sec. user=vaughan [2010-07-03 00:06:19] 445*2^838985-1 is not prime. Res64: 00695CFFF68B5526 Time : 32518.0 sec. user=vaughan [2010-07-03 00:07:05] 555*2^839118-1 is not prime. Res64: DEB75714B4946A15 Time : 3359.0 sec. user=vaughan [2010-07-03 00:07:08] 441*2^838841-1 is not prime. Res64: B4A14101B9ACAAD6 Time : 65183.0 sec. user=vaughan [2010-07-03 00:07:56] 513*2^838998-1 is not prime. Res64: 718BDDFE59E3EB52 Time : 30680.0 sec. user=vaughan [2010-07-03 00:08:45] 451*2^838907-1 is not prime. Res64: 300DF4B7BA1E76E3 Time : 50914.0 sec. user=vaughan [2010-07-03 00:09:02] 585*2^838902-1 is not prime. Res64: FB7B6DB809F527AA Time : 51594.0 sec. user=vaughan [2010-07-03 00:10:34] 531*2^839127-1 is not prime. Res64: 7876261889272C82 Time : 825.0 sec. user=vaughan [2010-07-03 00:14:04] 527*2^838978-1 is not prime. Res64: DF2FA556C6704BF0 Time : 34235.0 sec. user=vaughan [2010-07-03 00:15:04] 437*2^839122-1 is not prime. Res64: 6AF9401F5839EC58 Time : 2933.0 sec. user=vaughan [2010-07-03 00:16:46] 425*2^838990-1 is not prime. Res64: 98645F5BFEB5A1DA Time : 32341.0 sec. user=vaughan [2010-07-03 00:17:10] 503*2^838908-1 is not prime. Res64: AB20EB4DD9ABBC44 Time : 50827.0 sec. user=vaughan [2010-07-03 00:18:14] 411*2^838961-1 is not prime. Res64: CB9D67AC7592B7AF Time : 39029.0 sec. user=vaughan [2010-07-03 00:22:46] 437*2^838992-1 is not prime. Res64: A0BB8C5E2F66E5EB Time : 32527.0 sec. user=vaughan [2010-07-03 00:23:11] 451*2^839123-1 is not prime. Res64: 6409B1DFD1764748 Time : 2857.0 sec. user=vaughan [2010-07-03 00:23:34] 489*2^838981-1 is not prime. Res64: 510252AEAD5705CA Time : 34316.0 sec. user=vaughan [2010-07-03 00:24:03] 521*2^839126-1 is not prime. Res64: 3B116F53477CFBF4 Time : 1841.0 sec. user=vaughan [2010-07-03 00:24:16] 495*2^839126-1 is not prime. Res64: 54D803F53AC1B64B Time : 2053.0 sec. user=vaughan [2010-07-03 00:24:17] 421*2^839131-1 is not prime. Res64: 05ED8ABA02F2A35D Time : 823.0 sec. user=vaughan [2010-07-03 00:25:00] 411*2^838934-1 is not prime. Res64: 47264E5A94447A9B Time : 45767.0 sec. user=vaughan [2010-07-03 00:26:56] 411*2^838945-1 is not prime. Res64: 392A503243D547BE Time : 43144.0 sec. user=vaughan [2010-07-03 00:27:21] 439*2^839001-1 is not prime. Res64: C26136BAED1AF00F Time : 30629.0 sec. user=Flatlander [2010-07-03 00:29:14] 437*2^839120-1 is not prime. Res64: 1007D1B79145B635 Time : 4143.0 sec. user=Flatlander [2010-07-03 00:29:15] 519*2^839120-1 is not prime. Res64: BBB5405841CA7544 Time : 4143.0 sec. user=Flatlander [2010-07-03 00:29:16] 585*2^839120-1 is not prime. Res64: AAB7AB2E53CAE04C Time : 4142.0 sec. user=Flatlander [2010-07-03 00:29:17] 441*2^839121-1 is not prime. Res64: 484828802F56D8BF Time : 4142.0 sec. user=Flatlander [2010-07-03 00:29:18] 487*2^839121-1 is not prime. Res64: 4331BB3736923FA1 Time : 4141.0 sec. user=vaughan [2010-07-03 00:29:54] 531*2^838921-1 is not prime. Res64: 858E228C851355E9 Time : 48507.0 sec. user=vaughan [2010-07-03 00:31:38] 409*2^838985-1 is not prime. Res64: F1EABFC734B6C1A2 Time : 34252.0 sec. user=vaughan [2010-07-03 00:33:06] 539*2^838996-1 is not prime. Res64: CC95610774E283A4 Time : 32345.0 sec. user=vaughan [2010-07-03 00:34:59] 597*2^839124-1 is not prime. Res64: 590065CF3421777E Time : 2994.0 sec. user=vaughan [2010-07-03 00:36:41] 411*2^838909-1 is not prime. Res64: 3BFFD376981D85A1 Time : 51414.0 sec. user=vaughan [2010-07-03 00:37:43] 485*2^839128-1 is not prime. Res64: 546E6B7A03B1B82B Time : 2070.0 sec. user=vaughan [2010-07-03 00:38:00] 479*2^839132-1 is not prime. Res64: D4A3B26E830986F0 Time : 823.0 sec. user=vaughan [2010-07-03 00:39:09] 525*2^838998-1 is not prime. Res64: DF1C0AA979A5EF2A Time : 32530.0 sec. user=vaughan [2010-07-03 00:41:05] 411*2^838915-1 is not prime. Res64: A6E44CECDEA8F4D3 Time : 50675.0 sec. user=vaughan [2010-07-03 00:41:14] 507*2^838985-1 is not prime. Res64: E5D1DA0DC3CFD6AC Time : 34337.0 sec. user=vaughan [2010-07-03 00:42:06] 549*2^838967-1 is not prime. Res64: 3ED1F9FC24C06FDE Time : 39134.0 sec. user=vaughan [2010-07-03 00:42:51] 437*2^839128-1 is not prime. Res64: FF53E89B63DB3612 Time : 2435.0 sec. user=vaughan [2010-07-03 00:43:10] 411*2^839129-1 is not prime. Res64: E9F497F470CF4DA2 Time : 2164.0 sec. user=vaughan [2010-07-03 00:48:59] 531*2^839131-1 is not prime. Res64: A48AE3802C1BE7FE Time : 2036.0 sec. user=vaughan [2010-07-03 00:49:02] 561*2^838990-1 is not prime. Res64: 5425F1BD516F50E6 Time : 34260.0 sec. user=vaughan [2010-07-03 00:49:21] 405*2^839007-1 is not prime. Res64: F510B45F09B85CB9 Time : 30730.0 sec. user=vaughan [2010-07-03 00:49:24] 449*2^839000-1 is not prime. Res64: 04845B21158DC70C Time : 32349.0 sec. user=vaughan [2010-07-03 00:50:10] 411*2^838919-1 is not prime. Res64: 365FBE830D1E3874 Time : 50709.0 sec. user=vaughan [2010-07-03 00:51:44] 531*2^839137-1 is not prime. Res64: 927DECF90AE8062B Time : 824.0 sec. user=vaughan [2010-07-03 00:53:25] 483*2^838954-1 is not prime. Res64: A8F583EDF1A588F6 Time : 42737.0 sec. user=vaughan [2010-07-03 00:54:44] 481*2^838945-1 is not prime. Res64: 8B76B6D4C142F1BE Time : 44707.0 sec. user=vaughan [2010-07-03 00:55:30] 539*2^839000-1 is not prime. Res64: 77EA5BC8C8A9F950 Time : 32531.0 sec. user=Flatlander [2010-07-03 00:58:01] 511*2^839125-1 is not prime. Res64: B7743FCD9CB733F2 Time : 4151.0 sec. user=Flatlander [2010-07-03 00:58:02] 547*2^839125-1 is not prime. Res64: 3C970E5249A66184 Time : 4150.0 sec. user=Flatlander [2010-07-03 00:58:03] 555*2^839125-1 is not prime. Res64: 5279E16B8621478E Time : 4150.0 sec. user=Flatlander [2010-07-03 00:58:04] 565*2^839125-1 is not prime. Res64: 556D8B1122327A2D Time : 4149.0 sec. user=Flatlander [2010-07-03 00:58:05] 473*2^839126-1 is not prime. Res64: B4F186A123CE4F6D Time : 4149.0 sec. user=vaughan [2010-07-03 00:58:28] 467*2^839132-1 is not prime. Res64: 790FBE3C6A97B912 Time : 2052.0 sec. user=vaughan [2010-07-03 00:58:35] 403*2^838995-1 is not prime. Res64: 9AA6E1D130643F82 Time : 34337.0 sec. user=vaughan [2010-07-03 01:02:32] 437*2^839132-1 is not prime. Res64: CECCE6B4B1667699 Time : 2361.0 sec. user=vaughan [2010-07-03 01:03:13] 459*2^839132-1 is not prime. Res64: AF9448F0C784B5B5 Time : 2350.0 sec. user=vaughan [2010-07-03 01:05:04] 561*2^838973-1 is not prime. Res64: 1ABA957E980D5A18 Time : 39119.0 sec. user=vaughan [2010-07-03 01:05:37] 437*2^839140-1 is not prime. Res64: 147F76B50899867A Time : 833.0 sec. user=vaughan [2010-07-03 01:05:40] 497*2^839004-1 is not prime. Res64: 3C6114E231259E48 Time : 32349.0 sec. user=vaughan [2010-07-03 01:06:10] 495*2^838929-1 is not prime. Res64: C7F7AC47A43C6DF2 Time : 49061.0 sec. user=vaughan [2010-07-03 01:06:20] 401*2^838998-1 is not prime. Res64: 5B15F27EE75C435E Time : 34260.0 sec. user=vaughan [2010-07-03 01:06:31] 579*2^838919-1 is not prime. Res64: 39B23A93B5FB3AD1 Time : 50992.0 sec. user=vaughan [2010-07-03 01:06:58] 539*2^838844-1 is not prime. Res64: 20011E79BECEE487 Time : 67675.0 sec. user=vaughan [2010-07-03 01:08:56] 409*2^839137-1 is not prime. Res64: 1819DED4438419E6 Time : 2037.0 sec. user=vaughan [2010-07-03 01:09:04] 511*2^838845-1 is not prime. Res64: 43E793BA8B66CE0D Time : 67759.0 sec. user=vaughan [2010-07-03 01:11:19] 515*2^839012-1 is not prime. Res64: A526D452FEF8E1FA Time : 30817.0 sec. user=vaughan [2010-07-03 01:11:50] 585*2^839004-1 is not prime. Res64: 03337C50EAF9F744 Time : 32532.0 sec. user=vaughan [2010-07-03 01:12:02] 511*2^839137-1 is not prime. Res64: 29E3854D83F121A5 Time : 2059.0 sec. user=vaughan [2010-07-03 01:13:33] 439*2^839139-1 is not prime. Res64: 097D5CA424FE4806 Time : 1822.0 sec. user=vaughan [2010-07-03 01:14:48] 431*2^838926-1 is not prime. Res64: 1011E64AA29CB0B6 Time : 50591.0 sec. user=vaughan [2010-07-03 01:15:55] 469*2^838999-1 is not prime. Res64: 69698DC39E4B2961 Time : 34336.0 sec. user=vaughan [2010-07-03 01:19:32] 435*2^839144-1 is not prime. Res64: 41C3A1C26944F0F8 Time : 836.0 sec. user=vaughan [2010-07-03 01:20:03] 463*2^838963-1 is not prime. Res64: 42D5688F91676D17 Time : 42161.0 sec. user=vaughan [2010-07-03 01:21:31] 469*2^839139-1 is not prime. Res64: 42F2EDFBD2D7869C Time : 1952.0 sec. user=vaughan [2010-07-03 01:21:57] 549*2^839008-1 is not prime. Res64: 1E1E9C854DBF931B Time : 32351.0 sec. user=vaughan [2010-07-03 01:23:38] 483*2^839000-1 is not prime. Res64: 1FA161AE140F9A3E Time : 34262.0 sec. user=vaughan [2010-07-03 01:24:18] 465*2^838928-1 is not prime. Res64: 4450024A961024CA Time : 50639.0 sec. user=vaughan [2010-07-03 01:24:19] 417*2^838958-1 is not prime. Res64: 5241FB259AC7B283 Time : 43317.0 sec. user=vaughan [2010-07-03 01:28:02] 497*2^838978-1 is not prime. Res64: 577971AFE2F2BF6F Time : 38837.0 sec. user=vaughan [2010-07-03 01:28:10] 525*2^839009-1 is not prime. Res64: 739D87B45C96449D Time : 32532.0 sec. user=vaughan [2010-07-03 01:31:44] 465*2^839143-1 is not prime. Res64: AAC9B690333F6A7F Time : 1751.0 sec. user=vaughan [2010-07-03 01:31:59] 433*2^839139-1 is not prime. Res64: 77FA09E25B839ED9 Time : 2947.0 sec. user=vaughan [2010-07-03 01:32:45] 537*2^839142-1 is not prime. Res64: 51FC34C47706BC09 Time : 2057.0 sec. user=vaughan [2010-07-03 01:33:15] 527*2^839002-1 is not prime. Res64: 4E7659729086894E Time : 34333.0 sec. user=vaughan [2010-07-03 01:33:21] 545*2^839018-1 is not prime. Res64: 5970D7AD6FA4B8B6 Time : 30921.0 sec. user=vaughan [2010-07-03 01:33:24] 519*2^839143-1 is not prime. Res64: A10EBA8CAC4BDB03 Time : 1811.0 sec. user=vaughan [2010-07-03 01:33:25] 451*2^839147-1 is not prime. Res64: 40BBC6503DE56A0E Time : 833.0 sec. user=vaughan [2010-07-03 01:36:36] 433*2^838931-1 is not prime. Res64: 6884C2B6A5C3E7CB Time : 50434.0 sec. user=vaughan [2010-07-03 01:38:13] 459*2^839013-1 is not prime. Res64: EA4F00E98F590261 Time : 32346.0 sec. user=Flatlander [2010-07-03 01:38:21] 475*2^839133-1 is not prime. Res64: 69B1E30BBE3E4DBA Time : 4142.0 sec. user=Flatlander [2010-07-03 01:38:22] 525*2^839133-1 is not prime. Res64: 0D02B60FBEC5957A Time : 4141.0 sec. user=Flatlander [2010-07-03 01:38:23] 555*2^839133-1 is not prime. Res64: DE9ABB819650D1EB Time : 4140.0 sec. user=Flatlander [2010-07-03 01:38:23] 591*2^839133-1 is not prime. Res64: 751172C05CD1A69B Time : 4139.0 sec. user=Flatlander [2010-07-03 01:38:24] 453*2^839134-1 is not prime. Res64: 4D5375EE3CBB4BD5 Time : 4138.0 sec. user=vaughan [2010-07-03 01:40:56] 465*2^839005-1 is not prime. Res64: 9596F91211F9ADAB Time : 34264.0 sec. user=vaughan [2010-07-03 01:42:54] 471*2^839145-1 is not prime. Res64: BF05A610F9BC7758 Time : 2039.0 sec. user=vaughan [2010-07-03 01:43:27] 447*2^839146-1 is not prime. Res64: BFCB248F6AEFB657 Time : 1793.0 sec. user=vaughan [2010-07-03 01:44:21] 563*2^838936-1 is not prime. Res64: 6E50C024D1D0CD3F Time : 49741.0 sec. user=vaughan [2010-07-03 01:44:28] 465*2^839015-1 is not prime. Res64: 0A55EF43CCA74B08 Time : 32520.0 sec. user=vaughan [2010-07-03 01:45:49] 411*2^839146-1 is not prime. Res64: CC559F319E5D8CC4 Time : 2028.0 sec. user=vaughan [2010-07-03 01:46:46] 549*2^838972-1 is not prime. Res64: D075AFEF039D5B41 Time : 41755.0 sec. user=vaughan [2010-07-03 01:47:18] 417*2^839150-1 is not prime. Res64: BACD0285A0EE862A Time : 833.0 sec. user=vaughan [2010-07-03 01:48:51] 487*2^838985-1 is not prime. Res64: A0F99BA038CD1800 Time : 38554.0 sec. user=vaughan [2010-07-03 01:49:42] 471*2^838935-1 is not prime. Res64: D967B6D5EB6B6951 Time : 50638.0 sec. user=vaughan [2010-07-03 01:50:35] 583*2^839007-1 is not prime. Res64: 11A5FEC8E2CAE4A8 Time : 34336.0 sec. user=vaughan [2010-07-03 01:53:50] 525*2^838969-1 is not prime. Res64: 501D2A496EA26D9B Time : 42536.0 sec. user=vaughan [2010-07-03 01:54:01] 553*2^839147-1 is not prime. Res64: A09756B5B810C0F1 Time : 1951.0 sec. user=vaughan [2010-07-03 01:54:27] 483*2^839018-1 is not prime. Res64: 6F87955943B9167F Time : 32332.0 sec. user=vaughan [2010-07-03 01:55:19] 471*2^839022-1 is not prime. Res64: E5B80C6CB99A119C Time : 31027.0 sec. user=vaughan [2010-07-03 01:58:13] 543*2^839010-1 is not prime. Res64: 9B68A253D708B691 Time : 34264.0 sec. user=vaughan [2010-07-03 01:59:42] 421*2^839149-1 is not prime. Res64: 6A9770E4F95B89C3 Time : 1662.0 sec. user=vaughan [2010-07-03 01:59:54] 525*2^838936-1 is not prime. Res64: 5ED0C3D617E7603C Time : 50742.0 sec. user=vaughan [2010-07-03 02:00:49] 415*2^839019-1 is not prime. Res64: C006F6717CAC5A31 Time : 32509.0 sec. user=vaughan [2010-07-03 02:01:10] 445*2^839153-1 is not prime. Res64: 1B8E0CE5BC22176C Time : 832.0 sec. user=vaughan [2010-07-03 02:01:34] 411*2^839150-1 is not prime. Res64: 6B5E7FB841E98D84 Time : 1690.0 sec. user=Flatlander [2010-07-03 02:04:29] 477*2^839150-1 is not prime. Res64: 11FED76CFBF5A928 Time : 1563.0 sec. user=Flatlander [2010-07-03 02:04:40] 529*2^839141-1 is not prime. Res64: E348CF9B977B972C Time : 3994.0 sec. user=Flatlander [2010-07-03 02:04:41] 585*2^839141-1 is not prime. Res64: C7DDFF9DB824199A Time : 3993.0 sec. user=Flatlander [2010-07-03 02:04:42] 401*2^839142-1 is not prime. Res64: 44F4236BE228162E Time : 3993.0 sec. user=Flatlander [2010-07-03 02:04:42] 501*2^839142-1 is not prime. Res64: 178CCE25ED42D062 Time : 3991.0 sec. user=vaughan [2010-07-03 02:06:31] 523*2^838943-1 is not prime. Res64: 8D7051FE8F2A6973 Time : 49569.0 sec. user=vaughan [2010-07-03 02:07:07] 499*2^839149-1 is not prime. Res64: 08C7FD587BB02750 Time : 2062.0 sec. user=vaughan [2010-07-03 02:07:47] 531*2^839011-1 is not prime. Res64: DA5A9DE348683FFE Time : 34329.0 sec. user=vaughan [2010-07-03 02:10:44] 533*2^839020-1 is not prime. Res64: 92BBE55B3997E90B Time : 32323.0 sec. user=vaughan [2010-07-03 02:10:48] 597*2^839148-1 is not prime. Res64: BFC9B0F143A461B9 Time : 2343.0 sec. user=vaughan [2010-07-03 02:12:27] 567*2^838997-1 is not prime. Res64: 44D0B25C8FBD8561 Time : 38227.0 sec. user=vaughan [2010-07-03 02:12:28] 483*2^839152-1 is not prime. Res64: 718C9DEAE642B37B Time : 1740.0 sec. user=vaughan [2010-07-03 02:12:57] 415*2^838851-1 is not prime. Res64: 38E57AF96B2A827B Time : 70504.0 sec. user=vaughan [2010-07-03 02:13:43] 547*2^838981-1 is not prime. Res64: 313AA4C938F39039 Time : 40885.0 sec. user=vaughan [2010-07-03 02:14:56] 535*2^839155-1 is not prime. Res64: 5366D40D90961FAC Time : 826.0 sec. user=vaughan [2010-07-03 02:14:59] 459*2^838851-1 is not prime. Res64: 40F0E634751514B7 Time : 70586.0 sec. user=vaughan [2010-07-03 02:15:14] 475*2^839015-1 is not prime. Res64: E108ABAC2E031495 Time : 34251.0 sec. user=vaughan [2010-07-03 02:16:48] 447*2^839152-1 is not prime. Res64: 1D65BAF0ED0AFE12 Time : 2034.0 sec. user=vaughan [2010-07-03 02:17:15] 561*2^839026-1 is not prime. Res64: ABCD71EB7DB48457 Time : 31145.0 sec. user=vaughan [2010-07-03 02:18:01] 417*2^839022-1 is not prime. Res64: 6EBCD17DD2A9AD38 Time : 32550.0 sec. user=vaughan [2010-07-03 02:24:46] 457*2^839017-1 is not prime. Res64: 3D4A17248CA0ABEF Time : 34315.0 sec. user=vaughan [2010-07-03 02:26:57] 471*2^839025-1 is not prime. Res64: E364FC6431E0D7A9 Time : 32310.0 sec. user=vaughan [2010-07-03 02:32:08] 483*2^839019-1 is not prime. Res64: 7888FAF035A7FE64 Time : 34234.0 sec. user=vaughan [2010-07-03 02:35:11] 597*2^839025-1 is not prime. Res64: 04BD7877B733F3FB Time : 32586.0 sec. user=vaughan [2010-07-03 02:41:42] 449*2^839020-1 is not prime. Res64: 0AC5F957B77715C5 Time : 34296.0 sec. user=vaughan [2010-07-03 02:43:09] 481*2^839029-1 is not prime. Res64: 7F18BB28DEB25EA1 Time : 32295.0 sec. user=vaughan [2010-07-03 02:50:42] 513*2^839022-1 is not prime. Res64: 84CE2A83DDE1A5E8 Time : 34315.0 sec. user=vaughan [2010-07-03 02:50:49] 563*2^839156-1 is not prime. Res64: F46204D5B0E87D1F Time : 2153.0 sec. user=vaughan [2010-07-03 02:50:51] 573*2^838975-1 is not prime. Res64: 74D1E1B3DB47CAF5 Time : 44602.0 sec. user=vaughan [2010-07-03 02:50:58] 441*2^838945-1 is not prime. Res64: C2D9252BC300C07D Time : 51718.0 sec. user=vaughan [2010-07-03 02:50:58] 425*2^838944-1 is not prime. Res64: 1A4E2C65B7DA178B Time : 52107.0 sec. user=vaughan [2010-07-03 02:51:00] 573*2^839152-1 is not prime. Res64: EDDE8288D301DC41 Time : 3912.0 sec. user=vaughan [2010-07-03 02:51:00] 545*2^839004-1 is not prime. Res64: B927BD7E9D04EB74 Time : 38546.0 sec. user=vaughan [2010-07-03 02:51:03] 591*2^838953-1 is not prime. Res64: 202F242C0C539552 Time : 50274.0 sec. user=vaughan [2010-07-03 02:51:03] 515*2^839150-1 is not prime. Res64: 935F8E3CDE1A4401 Time : 2637.0 sec. user=vaughan [2010-07-03 02:51:03] 411*2^839033-1 is not prime. Res64: A9581A2693632EC3 Time : 31975.0 sec. user=vaughan [2010-07-03 02:51:05] 585*2^838943-1 is not prime. Res64: 3B3667BE40A0794B Time : 52241.0 sec. user=vaughan [2010-07-03 02:51:07] 429*2^838993-1 is not prime. Res64: 2B67349D17D4B8EF Time : 41378.0 sec. user=vaughan [2010-07-03 02:51:20] 525*2^839154-1 is not prime. Res64: 96BBDDEB3EF124E1 Time : 3439.0 sec. user=vaughan [2010-07-03 02:51:22] 469*2^839157-1 is not prime. Res64: 94A3DB791764F60D Time : 2075.0 sec. user=vaughan [2010-07-03 02:52:24] 411*2^839030-1 is not prime. Res64: C1DA7AFE56FADE81 Time : 32626.0 sec. user=vaughan [2010-07-03 02:55:43] 475*2^838983-1 is not prime. Res64: FA84529F011DDD3C Time : 43264.0 sec. user=vaughan [2010-07-03 02:56:36] 425*2^838954-1 is not prime. Res64: 7D05FFD405EA6153 Time : 50539.0 sec. user=vaughan [2010-07-03 02:58:41] 447*2^839025-1 is not prime. Res64: 724486F92F13D97D Time : 34282.0 sec. user=vaughan [2010-07-03 02:59:16] 545*2^839012-1 is not prime. Res64: 6DFB6DD377F82EE5 Time : 37257.0 sec. user=vaughan [2010-07-03 02:59:22] 465*2^839034-1 is not prime. Res64: 2413E17378FB8717 Time : 32281.0 sec. user=vaughan [2010-07-03 03:00:24] 589*2^839039-1 is not prime. Res64: B654CA85EB9A13A5 Time : 31334.0 sec. user=vaughan [2010-07-03 03:00:41] 413*2^838954-1 is not prime. Res64: DBB8F45F72405728 Time : 50801.0 sec. user=vaughan [2010-07-03 03:04:20] 465*2^837966-1 is not prime. Res64: 42A0E21D5C6D45FC Time : 812.0 sec. user=vaughan [2010-07-03 03:05:56] 551*2^839026-1 is not prime. Res64: 896EBC964CDAF3C9 Time : 34196.0 sec. user=vaughan [2010-07-03 03:08:11] 437*2^839000-1 is not prime. Res64: 52833709945E8DC6 Time : 40687.0 sec. user=vaughan [2010-07-03 03:09:23] 495*2^838954-1 is not prime. Res64: 15D0735A16D9FB37 Time : 50829.0 sec. user=vaughan [2010-07-03 03:09:34] 503*2^839036-1 is not prime. Res64: AE4DBE2C4A67FE00 Time : 32663.0 sec. user=vaughan [2010-07-03 03:10:46] 495*2^838856-1 is not prime. Res64: 52CAE52D7F093342 Time : 72846.0 sec. user=vaughan [2010-07-03 03:12:58] 517*2^838857-1 is not prime. Res64: 0922EE79954C1A20 Time : 72935.0 sec. user=vaughan [2010-07-03 03:15:02] 529*2^838961-1 is not prime. Res64: 0B52CBF1F76C43E5 Time : 49398.0 sec. user=vaughan [2010-07-03 03:15:35] 553*2^839039-1 is not prime. Res64: 88EC756F03E817B8 Time : 32267.0 sec. user=vaughan [2010-07-03 03:15:38] 477*2^839029-1 is not prime. Res64: A72FD8854EED5189 Time : 34264.0 sec. user=vaughan [2010-07-03 03:18:03] 503*2^839166-1 is not prime. Res64: 4C1615F3679BE59A Time : 824.0 sec. user=vaughan [2010-07-03 03:21:59] 571*2^839043-1 is not prime. Res64: 3B8D63FCA700994B Time : 31425.0 sec. user=vaughan [2010-07-03 03:22:50] 459*2^839031-1 is not prime. Res64: 3693A9AD75B302AF Time : 34178.0 sec. user=vaughan [2010-07-03 03:24:08] 567*2^839164-1 is not prime. Res64: 163AA1BC729675A0 Time : 1968.0 sec. user=vaughan [2010-07-03 03:25:11] 575*2^839164-1 is not prime. Res64: 717A70C86B969392 Time : 2029.0 sec. user=vaughan [2010-07-03 03:26:12] 405*2^839021-1 is not prime. Res64: 23E5D270C4BA8AE1 Time : 36827.0 sec. user=vaughan [2010-07-03 03:26:16] 483*2^839163-1 is not prime. Res64: 9C86F5FAE8CC1160 Time : 2116.0 sec. user=vaughan [2010-07-03 03:26:22] 447*2^839164-1 is not prime. Res64: 5E357189201CC09E Time : 2119.0 sec. user=vaughan [2010-07-03 03:26:46] 593*2^839040-1 is not prime. Res64: 2EF6C410EC1355D7 Time : 32703.0 sec. user=vaughan [2010-07-03 03:27:22] 525*2^838989-1 is not prime. Res64: F4D34E8B18C084A9 Time : 43799.0 sec. user=vaughan [2010-07-03 03:28:17] 441*2^838965-1 is not prime. Res64: BFF72C602A0A0C71 Time : 49680.0 sec. user=vaughan [2010-07-03 03:31:39] 415*2^839169-1 is not prime. Res64: 14EA556383DA6C40 Time : 816.0 sec. user=vaughan [2010-07-03 03:31:49] 585*2^839042-1 is not prime. Res64: FCAB5CD83A6D3EBA Time : 32255.0 sec. user=vaughan [2010-07-03 03:32:36] 485*2^839034-1 is not prime. Res64: 0FB0AAE0DC0DFFF7 Time : 34247.0 sec. user=vaughan [2010-07-03 03:35:04] 467*2^838960-1 is not prime. Res64: 5C7DF4A39914B81C Time : 50919.0 sec. user=vaughan [2010-07-03 03:35:58] 559*2^839007-1 is not prime. Res64: 89F3C6F36FBEACAC Time : 40674.0 sec. user=vaughan [2010-07-03 03:39:48] 549*2^839037-1 is not prime. Res64: 1D6C296491E99460 Time : 34163.0 sec. user=vaughan [2010-07-03 03:43:30] 401*2^839050-1 is not prime. Res64: FB2673E92A59109A Time : 31273.0 sec. user=vaughan [2010-07-03 03:44:13] 435*2^839044-1 is not prime. Res64: DDE6282722B3D9D7 Time : 32758.0 sec. user=vaughan [2010-07-03 03:44:33] 587*2^838962-1 is not prime. Res64: D3113EA1884104FE Time : 51000.0 sec. user=vaughan [2010-07-03 03:45:23] 595*2^839171-1 is not prime. Res64: D71A202FEC33171D Time : 824.0 sec. user=vaughan [2010-07-03 03:48:12] 465*2^839047-1 is not prime. Res64: B8E6F3343C8AC838 Time : 32251.0 sec. user=vaughan [2010-07-03 03:49:27] 577*2^838977-1 is not prime. Res64: 116EDB04AAF7E784 Time : 47755.0 sec. user=vaughan [2010-07-03 03:49:44] 595*2^839039-1 is not prime. Res64: D8E1735C0369689A Time : 34241.0 sec. user=vaughan [2010-07-03 03:53:14] 505*2^839027-1 is not prime. Res64: 4A38418CF56D695F Time : 36824.0 sec. user=vaughan [2010-07-03 03:56:52] 555*2^839041-1 is not prime. Res64: 7D5E4338EC7D1BAD Time : 34153.0 sec. user=vaughan [2010-07-03 03:59:01] 465*2^838999-1 is not prime. Res64: E55DCCB4C30D12F2 Time : 44343.0 sec. user=vaughan [2010-07-03 03:59:07] 407*2^839174-1 is not prime. Res64: 0045E7D185FCD997 Time : 824.0 sec. user=vaughan [2010-07-03 04:00:16] 503*2^838974-1 is not prime. Res64: D17BA599A1FBD4F6 Time : 49415.0 sec. user=vaughan [2010-07-03 04:00:53] 461*2^839170-1 is not prime. Res64: B1BB6D94A19F74F2 Time : 2077.0 sec. user=vaughan [2010-07-03 04:00:57] 433*2^839171-1 is not prime. Res64: DA3B02BF24E2F61D Time : 2075.0 sec. user=vaughan [2010-07-03 04:01:25] 471*2^839049-1 is not prime. Res64: C36728BB7FDD9DF3 Time : 32796.0 sec. user=vaughan [2010-07-03 04:03:40] 481*2^839015-1 is not prime. Res64: D914453E39C74AB7 Time : 40689.0 sec. user=vaughan [2010-07-03 04:04:26] 495*2^839050-1 is not prime. Res64: BA833F09DB3FC861 Time : 32236.0 sec. user=vaughan [2010-07-03 04:04:46] 425*2^839170-1 is not prime. Res64: 63E349597FC9DC8F Time : 2439.0 sec. user=vaughan [2010-07-03 04:05:03] 587*2^839056-1 is not prime. Res64: ED30E78DC94141C3 Time : 31112.0 sec. user=vaughan [2010-07-03 04:06:42] 501*2^839043-1 is not prime. Res64: 2B7772034ADBA31A Time : 34223.0 sec. user=vaughan [2010-07-03 04:06:59] 437*2^839170-1 is not prime. Res64: D00B20053195F32A Time : 2508.0 sec. user=vaughan [2010-07-03 04:09:24] 537*2^838968-1 is not prime. Res64: EBEC6727FE0F7781 Time : 51028.0 sec. user=vaughan [2010-07-03 04:12:48] 429*2^839175-1 is not prime. Res64: 74A3CA17FC780011 Time : 821.0 sec. user=vaughan [2010-07-03 04:13:47] 495*2^839046-1 is not prime. Res64: 08F4C572CC57F414 Time : 34134.0 sec. user=vaughan [2010-07-03 04:16:18] 465*2^838863-1 is not prime. Res64: 9B9EF719300ED4E7 Time : 75651.0 sec. user=vaughan [2010-07-03 04:18:35] 411*2^839053-1 is not prime. Res64: A65E17D77EB65A28 Time : 32834.0 sec. user=vaughan [2010-07-03 04:18:36] 483*2^838863-1 is not prime. Res64: D70C5D4FB0D59D30 Time : 75748.0 sec. user=vaughan [2010-07-03 04:19:20] 537*2^838969-1 is not prime. Res64: 8983A7E06D827D90 Time : 51102.0 sec. user=vaughan [2010-07-03 04:20:07] 433*2^839035-1 is not prime. Res64: E755F70CD14D2CC4 Time : 37054.0 sec. user=vaughan [2010-07-03 04:20:37] 539*2^839056-1 is not prime. Res64: 01A5E7D0990777BC Time : 32221.0 sec. user=vaughan [2010-07-03 04:23:54] 441*2^839049-1 is not prime. Res64: 31263C381DB2979E Time : 34220.0 sec. user=vaughan [2010-07-03 04:24:48] 437*2^838990-1 is not prime. Res64: 6D9E8778982693A1 Time : 47211.0 sec. user=vaughan [2010-07-03 04:26:31] 577*2^839177-1 is not prime. Res64: 7D0E3B69B3733629 Time : 823.0 sec. user=vaughan [2010-07-03 04:26:40] 459*2^839064-1 is not prime. Res64: 4CAE65795D6E6EE4 Time : 31028.0 sec. user=vaughan [2010-07-03 04:30:52] 595*2^839003-1 is not prime. Res64: D32F04CB849EB245 Time : 44883.0 sec. user=vaughan [2010-07-03 04:31:03] 555*2^839049-1 is not prime. Res64: BE269E931D24DD1D Time : 34137.0 sec. user=vaughan [2010-07-03 04:31:41] 571*2^839021-1 is not prime. Res64: 20219FDDE2D26DB7 Time : 40665.0 sec. user=vaughan [2010-07-03 04:32:18] 533*2^838984-1 is not prime. Res64: 527B1D3F8486E23C Time : 48712.0 sec. user=vaughan [2010-07-03 04:35:07] 475*2^839175-1 is not prime. Res64: 365C74F3A37069EA Time : 2054.0 sec. user=vaughan [2010-07-03 04:35:15] 493*2^839175-1 is not prime. Res64: 464384CCEBCE2AA1 Time : 2058.0 sec. user=vaughan [2010-07-03 04:36:01] 597*2^839056-1 is not prime. Res64: 99EC3F0D483A84FD Time : 32887.0 sec. user=vaughan [2010-07-03 04:37:12] 463*2^839059-1 is not prime. Res64: 8B7E75F05CF163BB Time : 32229.0 sec. user=vaughan [2010-07-03 04:39:13] 539*2^839176-1 is not prime. Res64: CFFD33E46B768669 Time : 2068.0 sec. user=vaughan [2010-07-03 04:40:09] 445*2^839177-1 is not prime. Res64: 58096F95B284354A Time : 1991.0 sec. user=vaughan [2010-07-03 04:40:17] 437*2^839180-1 is not prime. Res64: 4F945C301FB7DCBD Time : 826.0 sec. user=vaughan [2010-07-03 04:40:56] 569*2^839052-1 is not prime. Res64: AE337AB6199F4508 Time : 34206.0 sec. user=vaughan [2010-07-03 04:44:38] 465*2^838978-1 is not prime. Res64: E45C1764E320A10C Time : 50936.0 sec. user=vaughan [2010-07-03 04:47:16] 549*2^839041-1 is not prime. Res64: 9AFC0FED22A77A00 Time : 37258.0 sec. user=vaughan [2010-07-03 04:48:11] 493*2^839055-1 is not prime. Res64: 937385E24EF52101 Time : 34130.0 sec. user=vaughan [2010-07-03 04:48:18] 533*2^839068-1 is not prime. Res64: 3AC483903E3C033A Time : 30947.0 sec. user=vaughan [2010-07-03 04:53:16] 545*2^839182-1 is not prime. Res64: 3F5428C798DADAA1 Time : 779.0 sec. user=vaughan [2010-07-03 04:53:18] 589*2^839059-1 is not prime. Res64: 3EADCAD6D112D04D Time : 32931.0 sec. user=vaughan [2010-07-03 04:53:37] 525*2^839066-1 is not prime. Res64: F0F3BB5425A51C00 Time : 32231.0 sec. user=vaughan [2010-07-03 04:54:38] 523*2^838979-1 is not prime. Res64: 49FC1817FB35AC41 Time : 50930.0 sec. user=vaughan [2010-07-03 04:56:33] 467*2^839002-1 is not prime. Res64: 11CB22CA2D56D157 Time : 46685.0 sec. user=vaughan [2010-07-03 04:56:56] 465*2^839028-1 is not prime. Res64: AA3ABF81814DB1C6 Time : 40453.0 sec. user=vaughan [2010-07-03 04:57:57] 445*2^839057-1 is not prime. Res64: CFB9F7F3C430CC87 Time : 34192.0 sec. user=vaughan [2010-07-03 05:00:56] 487*2^839009-1 is not prime. Res64: ABD03E0FCD5BDD81 Time : 45301.0 sec. user=vaughan [2010-07-03 05:05:00] 599*2^839180-1 is not prime. Res64: C3DF449B970C56F4 Time : 1793.0 sec. user=vaughan [2010-07-03 05:05:08] 441*2^839059-1 is not prime. Res64: 8B45134E632E729F Time : 34113.0 sec. user=vaughan [2010-07-03 05:05:09] 549*2^839181-1 is not prime. Res64: 79745F0F27C89235 Time : 1794.0 sec. user=vaughan [2010-07-03 05:05:19] 437*2^839184-1 is not prime. Res64: 740E6940FD5D53BD Time : 723.0 sec. user=vaughan [2010-07-03 05:06:15] 587*2^838866-1 is not prime. Res64: 73DF3F925F046389 Time : 77510.0 sec. user=vaughan [2010-07-03 05:08:00] 593*2^838866-1 is not prime. Res64: 6707490225C7B203 Time : 77574.0 sec. user=vaughan [2010-07-03 05:09:50] 567*2^839068-1 is not prime. Res64: 16A676E90DD751E7 Time : 32223.0 sec. user=vaughan [2010-07-03 05:09:57] 533*2^839074-1 is not prime. Res64: CFA8CB0FF5D02273 Time : 31008.0 sec. user=vaughan [2010-07-03 05:10:27] 501*2^839067-1 is not prime. Res64: 3C4C98BFD303E93E Time : 32970.0 sec. user=vaughan [2010-07-03 05:14:54] 593*2^839060-1 is not prime. Res64: BA20C9B5281BB1AC Time : 34174.0 sec. user=vaughan [2010-07-03 05:16:09] 501*2^838995-1 is not prime. Res64: 34983E974B6AC67D Time : 49616.0 sec. user=vaughan [2010-07-03 05:16:53] 507*2^839038-1 is not prime. Res64: F096A8963479F828 Time : 39917.0 sec. user=vaughan [2010-07-03 05:17:09] 515*2^839186-1 is not prime. Res64: 26F0AF96830826F5 Time : 730.0 sec. user=vaughan [2010-07-03 05:17:18] 555*2^839187-1 is not prime. Res64: F09FE9E97A989516 Time : 730.0 sec. user=vaughan [2010-07-03 05:17:23] 429*2^839188-1 is not prime. Res64: C5429D12D18CDC2B Time : 725.0 sec. user=vaughan [2010-07-03 05:18:29] 555*2^839013-1 is not prime. Res64: 6C3E0D4E615089DD Time : 45405.0 sec. user=vaughan [2010-07-03 05:21:39] 459*2^839016-1 is not prime. Res64: C85D8B298F355D72 Time : 45124.0 sec. user=vaughan [2010-07-03 05:22:02] 495*2^839066-1 is not prime. Res64: 881272BB5A071336 Time : 34089.0 sec. user=vaughan [2010-07-03 05:22:37] 529*2^838985-1 is not prime. Res64: 404B227C81E4959C Time : 51155.0 sec. user=vaughan [2010-07-03 05:25:26] 585*2^839181-1 is not prime. Res64: E77F086D496AF473 Time : 2773.0 sec. user=vaughan [2010-07-03 05:26:02] 483*2^839074-1 is not prime. Res64: D75B6C6EC353D046 Time : 32220.0 sec. user=vaughan [2010-07-03 05:27:05] 587*2^839046-1 is not prime. Res64: 3BE26B4DA1B8B20C Time : 38319.0 sec. user=vaughan [2010-07-03 05:27:31] 413*2^839182-1 is not prime. Res64: 761874BD0DBBE7B2 Time : 2842.0 sec. user=vaughan [2010-07-03 05:27:38] 413*2^839070-1 is not prime. Res64: 3856BD8EB2E9EF94 Time : 33013.0 sec. user=vaughan [2010-07-03 05:29:14] 473*2^839190-1 is not prime. Res64: FC547C91FCF85ED1 Time : 725.0 sec. user=vaughan [2010-07-03 05:29:22] 543*2^839190-1 is not prime. Res64: A9624A41AD0CBA90 Time : 724.0 sec. user=vaughan [2010-07-03 05:29:25] 567*2^839190-1 is not prime. Res64: C462478ACCBE08D0 Time : 722.0 sec. user=vaughan [2010-07-03 05:30:06] 453*2^839080-1 is not prime. Res64: C65FDFF700D28A30 Time : 30975.0 sec. user=vaughan [2010-07-03 05:31:39] 593*2^838990-1 is not prime. Res64: 95C666A147FE9306 Time : 51163.0 sec. user=vaughan [2010-07-03 05:31:52] 549*2^839067-1 is not prime. Res64: 0701F3C476654291 Time : 34146.0 sec. user=vaughan [2010-07-03 05:35:48] 511*2^839045-1 is not prime. Res64: 67FEBC55D515F591 Time : 39337.0 sec. user=vaughan [2010-07-03 05:38:35] 523*2^839023-1 is not prime. Res64: 0788CF184AB7515D Time : 43985.0 sec. user=vaughan [2010-07-03 05:38:56] 435*2^839068-1 is not prime. Res64: 9B23829B0A8999A5 Time : 34047.0 sec. user=vaughan [2010-07-03 05:40:25] 447*2^839021-1 is not prime. Res64: B2133242E94D505A Time : 44859.0 sec. user=vaughan [2010-07-03 05:41:13] 577*2^839193-1 is not prime. Res64: E4185D5AF6614E00 Time : 720.0 sec. user=vaughan [2010-07-03 05:41:21] 425*2^839194-1 is not prime. Res64: A888947C1D538E1C Time : 720.0 sec. user=vaughan [2010-07-03 05:41:24] 403*2^839195-1 is not prime. Res64: F5FAAE69B0AEFE81 Time : 720.0 sec. user=vaughan [2010-07-03 05:42:14] 543*2^839075-1 is not prime. Res64: 72BE5946FC0E3958 Time : 32217.0 sec. user=vaughan [2010-07-03 05:44:49] 433*2^839075-1 is not prime. Res64: 4D145EDEF3E95AFD Time : 33064.0 sec. user=vaughan [2010-07-03 05:47:59] 525*2^839002-1 is not prime. Res64: 5689CE8485F96D87 Time : 49660.0 sec. user=vaughan [2010-07-03 05:48:49] 421*2^839071-1 is not prime. Res64: 6C0936051D6AF779 Time : 34118.0 sec. user=vaughan [2010-07-03 05:50:13] 483*2^839086-1 is not prime. Res64: 996BF1E2E9A01C01 Time : 30921.0 sec. user=vaughan [2010-07-03 05:53:12] 567*2^839052-1 is not prime. Res64: 9A904E7F9E935E73 Time : 38588.0 sec. user=vaughan [2010-07-03 05:53:12] 453*2^839200-1 is not prime. Res64: 3CD073E0EE1B64D9 Time : 719.0 sec. user=vaughan [2010-07-03 05:53:20] 465*2^839200-1 is not prime. Res64: 0BD8D820F6073911 Time : 719.0 sec. user=vaughan [2010-07-03 05:53:22] 593*2^839200-1 is not prime. Res64: 15E514B87EF4CBD9 Time : 718.0 sec. user=vaughan [2010-07-03 05:54:44] 465*2^839050-1 is not prime. Res64: 814CFA355F1D129C Time : 38925.0 sec. user=vaughan [2010-07-03 05:55:44] 549*2^838999-1 is not prime. Res64: 7E199B67633A53AB Time : 51125.0 sec. user=vaughan [2010-07-03 05:55:50] 447*2^839074-1 is not prime. Res64: 529453F31913A58D Time : 34019.0 sec. user=vaughan [2010-07-03 05:58:30] 487*2^839081-1 is not prime. Res64: 6B6AD91B74BEB0F2 Time : 32218.0 sec. user=vaughan [2010-07-03 05:58:48] 495*2^839036-1 is not prime. Res64: 51DA59BB6BAB4111 Time : 42915.0 sec. user=vaughan [2010-07-03 05:59:17] 477*2^839026-1 is not prime. Res64: DE4AE5CF3216C0A0 Time : 44632.0 sec. user=vaughan [2010-07-03 06:02:00] 589*2^839077-1 is not prime. Res64: 8A2E95C049A32528 Time : 33114.0 sec. user=vaughan [2010-07-03 06:02:33] 455*2^838872-1 is not prime. Res64: A917D13B42F6C46A Time : 79761.0 sec. user=vaughan [2010-07-03 06:04:22] 467*2^839000-1 is not prime. Res64: FC44B298C6A5E41D Time : 51122.0 sec. user=vaughan [2010-07-03 06:04:23] 525*2^838872-1 is not prime. Res64: A627710F868578CC Time : 79828.0 sec. user=vaughan [2010-07-03 06:04:29] 439*2^839193-1 is not prime. Res64: C9D7F9A6D64A9FCC Time : 2343.0 sec. user=vaughan [2010-07-03 06:05:12] 537*2^839202-1 is not prime. Res64: 93BD778BF244180C Time : 720.0 sec. user=vaughan [2010-07-03 06:05:20] 563*2^839202-1 is not prime. Res64: 582F04989E20FF48 Time : 720.0 sec. user=vaughan [2010-07-03 06:05:21] 411*2^839203-1 is not prime. Res64: 05E1BB69BFE830BF Time : 719.0 sec. user=vaughan [2010-07-03 06:05:30] 525*2^839193-1 is not prime. Res64: DA8BAF9D074E4BAE Time : 2279.0 sec. user=vaughan [2010-07-03 06:05:46] 489*2^839075-1 is not prime. Res64: F97D77073BED90AA Time : 34095.0 sec. user=vaughan [2010-07-03 06:10:20] 517*2^839093-1 is not prime. Res64: 9093473B6FB6C3EC Time : 30960.0 sec. user=vaughan [2010-07-03 06:12:45] 587*2^839076-1 is not prime. Res64: C7FD85641E74379C Time : 33995.0 sec. user=vaughan [2010-07-03 06:13:39] 561*2^839057-1 is not prime. Res64: D37AD29C863A9880 Time : 38434.0 sec. user=vaughan [2010-07-03 06:14:39] 501*2^839087-1 is not prime. Res64: 20B3B43C26941E5E Time : 32212.0 sec. user=vaughan [2010-07-03 06:17:11] 483*2^839206-1 is not prime. Res64: D762BABC8AFEE854 Time : 719.0 sec. user=vaughan [2010-07-03 06:17:19] 491*2^839206-1 is not prime. Res64: D9F22E0872BDF644 Time : 720.0 sec. user=vaughan [2010-07-03 06:17:19] 403*2^839207-1 is not prime. Res64: 6FA2D525C7B9E686 Time : 719.0 sec. user=vaughan [2010-07-03 06:17:56] 467*2^839032-1 is not prime. Res64: C0E69315B7A5D8A8 Time : 44395.0 sec. user=vaughan [2010-07-03 06:18:53] 577*2^839045-1 is not prime. Res64: 4F7362B5C224CA10 Time : 41728.0 sec. user=vaughan [2010-07-03 06:19:09] 553*2^839083-1 is not prime. Res64: 371FB08BEE687C20 Time : 33165.0 sec. user=vaughan [2010-07-03 06:22:44] 489*2^839080-1 is not prime. Res64: 898007253C0ABA04 Time : 34071.0 sec. user=vaughan [2010-07-03 06:26:38] 575*2^839006-1 is not prime. Res64: B78124791F7E7D3B Time : 50973.0 sec. user=vaughan [2010-07-03 06:29:11] 567*2^839208-1 is not prime. Res64: FD61C67B37C12759 Time : 720.0 sec. user=vaughan [2010-07-03 06:29:18] 511*2^839209-1 is not prime. Res64: 1A0E4FB4DEAF3DF4 Time : 719.0 sec. user=vaughan [2010-07-03 06:29:18] 411*2^839209-1 is not prime. Res64: A98893341A57AF9F Time : 719.0 sec. user=vaughan [2010-07-03 06:29:40] 519*2^839083-1 is not prime. Res64: F604F0FCF597BF7E Time : 33974.0 sec. user=vaughan [2010-07-03 06:30:26] 517*2^839097-1 is not prime. Res64: 09FF00C27EC827CA Time : 31022.0 sec. user=vaughan [2010-07-03 06:30:51] 465*2^839093-1 is not prime. Res64: A741961653752563 Time : 32209.0 sec. user=vaughan [2010-07-03 06:31:55] 571*2^839009-1 is not prime. Res64: 9AA66587B32CBAED Time : 50754.0 sec. user=vaughan [2010-07-03 06:32:55] 561*2^839066-1 is not prime. Res64: 4AF199C2CC8FB031 Time : 37999.0 sec. user=vaughan [2010-07-03 06:36:10] 521*2^839010-1 is not prime. Res64: B3A9F9CBA00875AD Time : 50952.0 sec. user=vaughan [2010-07-03 06:36:20] 539*2^839088-1 is not prime. Res64: A3EA3326E89792C2 Time : 33215.0 sec. user=vaughan [2010-07-03 06:36:31] 475*2^838877-1 is not prime. Res64: 8E04CB23770DDF26 Time : 80673.0 sec. user=vaughan [2010-07-03 06:36:43] 585*2^839040-1 is not prime. Res64: 20AA184EDDB63C6E Time : 44161.0 sec. user=vaughan [2010-07-03 06:37:16] 473*2^838878-1 is not prime. Res64: 13C5773ED5A56BF7 Time : 80671.0 sec. user=vaughan [2010-07-03 06:38:05] 515*2^839058-1 is not prime. Res64: 04519922BA860F1A Time : 39862.0 sec. user=vaughan [2010-07-03 06:38:14] 409*2^839207-1 is not prime. Res64: 929534DE8C5DC8FF Time : 1964.0 sec. user=vaughan [2010-07-03 06:38:22] 597*2^839205-1 is not prime. Res64: E862C8ADA9DC672F Time : 2033.0 sec. user=vaughan [2010-07-03 06:38:57] 455*2^839056-1 is not prime. Res64: 416512C062F2D21F Time : 40678.0 sec. user=vaughan [2010-07-03 06:39:43] 507*2^839085-1 is not prime. Res64: DB38C5BC89560505 Time : 34050.0 sec. user=vaughan [2010-07-03 06:41:10] 411*2^839211-1 is not prime. Res64: 7791FFA9004E77C1 Time : 719.0 sec. user=vaughan [2010-07-03 06:41:18] 465*2^839211-1 is not prime. Res64: 953C116466D1A8D9 Time : 720.0 sec. user=vaughan [2010-07-03 06:41:18] 489*2^839211-1 is not prime. Res64: 96152EF989E89C36 Time : 720.0 sec. user=vaughan [2010-07-03 06:44:55] 557*2^839016-1 is not prime. Res64: A29CD6764D4D3590 Time : 50047.0 sec. user=Flatlander [2010-07-03 06:45:38] 473*2^839196-1 is not prime. Res64: 35AA309A56C7AD20 Time : 4396.0 sec. user=Flatlander [2010-07-03 06:45:39] 503*2^839196-1 is not prime. Res64: A5AA681758CE7468 Time : 4395.0 sec. user=Flatlander [2010-07-03 06:45:40] 557*2^839196-1 is not prime. Res64: 47E675E2D3C1D5C8 Time : 4395.0 sec. user=Flatlander [2010-07-03 06:45:41] 563*2^839196-1 is not prime. Res64: 82B2ED987A5F0B0E Time : 4394.0 sec. user=Flatlander [2010-07-03 06:45:42] 579*2^839196-1 is not prime. Res64: 112F1FAF8D04B305 Time : 4393.0 sec. user=vaughan [2010-07-03 06:46:36] 525*2^839088-1 is not prime. Res64: 227426EB535327EA Time : 33952.0 sec. user=Flatlander [2010-07-03 06:46:40] 405*2^839197-1 is not prime. Res64: 6C5A8F8A5B3ACE9A Time : 4451.0 sec. user=Flatlander [2010-07-03 06:46:41] 595*2^839197-1 is not prime. Res64: B382C1F89D43079D Time : 4450.0 sec. user=Flatlander [2010-07-03 06:46:42] 495*2^839198-1 is not prime. Res64: 1289C314520B46BB Time : 4449.0 sec. user=Flatlander [2010-07-03 06:46:42] 533*2^839198-1 is not prime. Res64: 736593E61A66EDB3 Time : 4448.0 sec. user=Flatlander [2010-07-03 06:46:43] 557*2^839198-1 is not prime. Res64: 839FB58860C1578C Time : 4447.0 sec. user=vaughan [2010-07-03 06:47:04] 453*2^839096-1 is not prime. Res64: 6B2514F8F5BE5324 Time : 32207.0 sec. user=vaughan [2010-07-03 06:49:41] 439*2^839019-1 is not prime. Res64: 1FAEE70AC08F029C Time : 49810.0 sec. user=vaughan [2010-07-03 06:50:35] 429*2^839104-1 is not prime. Res64: 7B6417EDF3C2B5D7 Time : 31089.0 sec. user=vaughan [2010-07-03 06:51:30] 405*2^839073-1 is not prime. Res64: 783E9AB2EF584FF2 Time : 37459.0 sec. user=vaughan [2010-07-03 06:53:10] 563*2^839216-1 is not prime. Res64: 55B94D923F021D43 Time : 720.0 sec. user=vaughan [2010-07-03 06:53:17] 439*2^839217-1 is not prime. Res64: F10E0AC099060E71 Time : 720.0 sec. user=vaughan [2010-07-03 06:53:17] 499*2^839217-1 is not prime. Res64: F50A48340F14B041 Time : 720.0 sec. user=vaughan [2010-07-03 06:53:31] 571*2^839093-1 is not prime. Res64: 987610C3264D6214 Time : 33267.0 sec. user=vaughan [2010-07-03 06:55:20] 517*2^838881-1 is not prime. Res64: A718540346872D2F Time : 80676.0 sec. user=vaughan [2010-07-03 06:55:29] 413*2^839046-1 is not prime. Res64: 26BF00CB8F45DF78 Time : 43917.0 sec. user=vaughan [2010-07-03 06:56:06] 579*2^838881-1 is not prime. Res64: C501F8BF4EA48A34 Time : 80667.0 sec. user=vaughan [2010-07-03 06:56:41] 439*2^839091-1 is not prime. Res64: 40220E5542A41911 Time : 34027.0 sec. user=vaughan [2010-07-03 06:59:00] 507*2^839064-1 is not prime. Res64: 6E7763F8F05056A3 Time : 40132.0 sec. user=vaughan [2010-07-03 07:02:36] 421*2^839023-1 is not prime. Res64: D14E6A0C85037774 Time : 49088.0 sec. user=vaughan [2010-07-03 07:03:17] 593*2^839100-1 is not prime. Res64: 7E5AE5D42D635AC9 Time : 32205.0 sec. user=vaughan [2010-07-03 07:03:30] 561*2^839093-1 is not prime. Res64: 06832C37262CE807 Time : 33927.0 sec. user=vaughan [2010-07-03 07:05:09] 591*2^839221-1 is not prime. Res64: AA52B5193941B044 Time : 720.0 sec. user=vaughan [2010-07-03 07:05:16] 417*2^839222-1 is not prime. Res64: 092398A0A36C0206 Time : 719.0 sec. user=vaughan [2010-07-03 07:05:16] 567*2^839222-1 is not prime. Res64: E70BBE6659FBF49B Time : 719.0 sec. user=vaughan [2010-07-03 07:07:21] 461*2^839026-1 is not prime. Res64: 8F99CF93E3D2924F Time : 48843.0 sec. user=vaughan [2010-07-03 07:10:24] 583*2^839079-1 is not prime. Res64: 63E34C248007F26C Time : 37044.0 sec. user=vaughan [2010-07-03 07:10:41] 449*2^839108-1 is not prime. Res64: 27E7CDFE651BD5A6 Time : 31148.0 sec. user=vaughan [2010-07-03 07:10:42] 403*2^839099-1 is not prime. Res64: 9FAD316B07E3518D Time : 33320.0 sec. user=vaughan [2010-07-03 07:13:36] 521*2^839066-1 is not prime. Res64: AC601B217B22C1AF Time : 40673.0 sec. user=vaughan [2010-07-03 07:13:39] 481*2^839095-1 is not prime. Res64: 43DE63403C59DC44 Time : 34005.0 sec. user=vaughan [2010-07-03 07:14:05] 425*2^838886-1 is not prime. Res64: 999C1DDDC97C2142 Time : 80667.0 sec. user=vaughan [2010-07-03 07:14:29] 537*2^839057-1 is not prime. Res64: 06AAF25C63AEB1CA Time : 42309.0 sec. user=vaughan [2010-07-03 07:14:51] 431*2^838886-1 is not prime. Res64: 86B91473F9EF3CE5 Time : 80662.0 sec. user=vaughan [2010-07-03 07:17:10] 455*2^839224-1 is not prime. Res64: ABDECAAD709DAE84 Time : 721.0 sec. user=vaughan [2010-07-03 07:17:17] 573*2^839224-1 is not prime. Res64: 8D92B928FCA38729 Time : 721.0 sec. user=vaughan [2010-07-03 07:17:18] 509*2^839224-1 is not prime. Res64: DFDC2224329F0D4D Time : 722.0 sec. user=vaughan [2010-07-03 07:18:09] 489*2^839017-1 is not prime. Res64: 47890E5265812F33 Time : 51768.0 sec. user=vaughan [2010-07-03 07:19:20] 447*2^839070-1 is not prime. Res64: A23DE8B128153468 Time : 39659.0 sec. user=vaughan [2010-07-03 07:19:28] 501*2^839106-1 is not prime. Res64: EA691FA62DB93394 Time : 32200.0 sec. user=vaughan [2010-07-03 07:20:17] 423*2^839034-1 is not prime. Res64: F7DB817AAB29766D Time : 48024.0 sec. user=vaughan [2010-07-03 07:20:24] 495*2^839098-1 is not prime. Res64: 3FED90771520E909 Time : 33904.0 sec. user=vaughan [2010-07-03 07:23:10] 469*2^839215-1 is not prime. Res64: 5B92548A424E64FD Time : 2697.0 sec. user=vaughan [2010-07-03 07:24:23] 583*2^839215-1 is not prime. Res64: 9C94E8E9A02DF7B6 Time : 2761.0 sec. user=vaughan [2010-07-03 07:25:01] 557*2^839036-1 is not prime. Res64: 5EDC517F8E277102 Time : 47807.0 sec. user=vaughan [2010-07-03 07:27:52] 441*2^839103-1 is not prime. Res64: B749E7BE08E5F01F Time : 33371.0 sec. user=vaughan [2010-07-03 07:29:15] 551*2^839226-1 is not prime. Res64: 88A3E68699096E1F Time : 725.0 sec. user=vaughan [2010-07-03 07:29:20] 421*2^839227-1 is not prime. Res64: A2AEDAB9A6FDEDFB Time : 723.0 sec. user=vaughan [2010-07-03 07:29:21] 441*2^839227-1 is not prime. Res64: CA4B58BC6AF3A422 Time : 724.0 sec. user=vaughan [2010-07-03 07:29:25] 507*2^839088-1 is not prime. Res64: 6141B85A988F12C9 Time : 36550.0 sec. user=vaughan [2010-07-03 07:30:36] 513*2^839100-1 is not prime. Res64: 91A9BC9A1720DC27 Time : 33981.0 sec. user=vaughan [2010-07-03 07:30:59] 497*2^839114-1 is not prime. Res64: E6E606A902D77161 Time : 31216.0 sec. user=vaughan [2010-07-03 07:32:57] 587*2^838892-1 is not prime. Res64: C6FB3BA928832C49 Time : 80671.0 sec. user=vaughan [2010-07-03 07:33:45] 555*2^838893-1 is not prime. Res64: 46FC14EE7CB941E7 Time : 80666.0 sec. user=vaughan [2010-07-03 07:33:47] 571*2^839069-1 is not prime. Res64: 653F18BBF48572D7 Time : 40705.0 sec. user=vaughan [2010-07-03 07:35:40] 579*2^839109-1 is not prime. Res64: 3DAD63962AA95A34 Time : 32197.0 sec. user=vaughan [2010-07-03 07:37:19] 435*2^839104-1 is not prime. Res64: 68A131F7FC728DC0 Time : 33882.0 sec. user=vaughan [2010-07-03 07:38:01] 407*2^839042-1 is not prime. Res64: D28D6EEC403F8F61 Time : 47104.0 sec. user=vaughan [2010-07-03 07:39:53] 507*2^839077-1 is not prime. Res64: 674E2E91322CA716 Time : 39111.0 sec. user=vaughan [2010-07-03 07:40:21] 563*2^839072-1 is not prime. Res64: C43E2AB97C70E6B4 Time : 40525.0 sec. user=vaughan [2010-07-03 07:41:16] 423*2^839231-1 is not prime. Res64: 6C333B42E7779C88 Time : 721.0 sec. user=vaughan [2010-07-03 07:41:20] 475*2^839231-1 is not prime. Res64: 36C163CEA1DC222D Time : 720.0 sec. user=vaughan [2010-07-03 07:41:22] 511*2^839231-1 is not prime. Res64: 6DDC5657288FA54A Time : 721.0 sec. user=vaughan [2010-07-03 07:42:47] 517*2^839045-1 is not prime. Res64: 9EB16FF72374E90E Time : 46884.0 sec. user=vaughan [2010-07-03 07:45:03] 405*2^839107-1 is not prime. Res64: 961AACF25268F658 Time : 33422.0 sec. user=vaughan [2010-07-03 07:47:34] 561*2^839105-1 is not prime. Res64: 98681B1F8342BA60 Time : 33960.0 sec. user=vaughan [2010-07-03 07:48:22] 531*2^839095-1 is not prime. Res64: DF23E39D38C5B75A Time : 35975.0 sec. user=vaughan [2010-07-03 07:48:36] 427*2^839025-1 is not prime. Res64: CE9F9EA53B21E032 Time : 51750.0 sec. user=vaughan [2010-07-03 07:51:09] 417*2^839118-1 is not prime. Res64: E4620BB792FCC9BE Time : 31277.0 sec. user=vaughan [2010-07-03 07:51:42] 567*2^838897-1 is not prime. Res64: 9D22F7F9942A84F7 Time : 80666.0 sec. user=vaughan [2010-07-03 07:51:52] 465*2^839115-1 is not prime. Res64: 80DBA7ABA402DFEB Time : 32195.0 sec. user=vaughan [2010-07-03 07:52:32] 589*2^838897-1 is not prime. Res64: DC3122B966DE5586 Time : 80659.0 sec. user=vaughan [2010-07-03 07:52:36] 545*2^839078-1 is not prime. Res64: 00A5A2C48A591E2B Time : 39731.0 sec. user=vaughan [2010-07-03 07:53:17] 405*2^839235-1 is not prime. Res64: C7BC2D7AC162F9C3 Time : 721.0 sec. user=vaughan [2010-07-03 07:53:19] 415*2^839235-1 is not prime. Res64: AC2E4B620764234B Time : 720.0 sec. user=vaughan [2010-07-03 07:53:22] 535*2^839235-1 is not prime. Res64: F31DD771E0BB87DA Time : 721.0 sec. user=vaughan [2010-07-03 07:54:13] 413*2^839108-1 is not prime. Res64: 80CABE61D16B349F Time : 33859.0 sec. user=Flatlander [2010-07-03 07:55:33] 447*2^839218-1 is not prime. Res64: 82E9EE00D2745808 Time : 4190.0 sec. user=Flatlander [2010-07-03 07:55:34] 491*2^839218-1 is not prime. Res64: 422F1C74754797E3 Time : 4189.0 sec. user=Flatlander [2010-07-03 07:55:35] 555*2^839218-1 is not prime. Res64: 6F8A85DDE87BFD16 Time : 4188.0 sec. user=Flatlander [2010-07-03 07:55:35] 597*2^839218-1 is not prime. Res64: B155DA386D5E8C90 Time : 4187.0 sec. user=Flatlander [2010-07-03 07:55:36] 435*2^839219-1 is not prime. Res64: 0520DA615A16E0AB Time : 4186.0 sec. user=vaughan [2010-07-03 07:55:40] 525*2^839050-1 is not prime. Res64: 8DE7FB6617518B4E Time : 46083.0 sec. user=vaughan [2010-07-03 07:55:55] 585*2^839228-1 is not prime. Res64: F26399A00D924644 Time : 1965.0 sec. user=Flatlander [2010-07-03 07:55:59] 495*2^839219-1 is not prime. Res64: 293A599D61FB9606 Time : 4154.0 sec. user=Flatlander [2010-07-03 07:56:00] 523*2^839219-1 is not prime. Res64: 22354DDB2DC6ADC2 Time : 4154.0 sec. user=Flatlander [2010-07-03 07:56:00] 447*2^839220-1 is not prime. Res64: 5494F247683B4970 Time : 4152.0 sec. user=Flatlander [2010-07-03 07:56:01] 515*2^839220-1 is not prime. Res64: 7D4D9C88AF334CC8 Time : 4151.0 sec. user=Flatlander [2010-07-03 07:56:02] 525*2^839220-1 is not prime. Res64: E95278C5D7914817 Time : 4151.0 sec. user=vaughan [2010-07-03 07:58:19] 487*2^839229-1 is not prime. Res64: B58CE4705564254D Time : 2036.0 sec. user=vaughan [2010-07-03 07:59:59] 493*2^839087-1 is not prime. Res64: 4716EBE201F37CFC Time : 38644.0 sec. user=vaughan [2010-07-03 08:00:30] 477*2^839054-1 is not prime. Res64: 2D834CEDB55E26DC Time : 45879.0 sec. user=vaughan [2010-07-03 08:02:15] 525*2^839113-1 is not prime. Res64: 2FB2B80D3698A2C8 Time : 33474.0 sec. user=vaughan [2010-07-03 08:04:31] 537*2^839109-1 is not prime. Res64: 3753769A6C012278 Time : 33936.0 sec. user=vaughan [2010-07-03 08:05:16] 511*2^839237-1 is not prime. Res64: 4492959FAA7F2FFB Time : 720.0 sec. user=vaughan [2010-07-03 08:05:17] 571*2^839237-1 is not prime. Res64: 3D6719FF0EA63369 Time : 718.0 sec. user=vaughan [2010-07-03 08:05:21] 585*2^839237-1 is not prime. Res64: 8826A485C4F12B9E Time : 719.0 sec. user=vaughan [2010-07-03 08:07:18] 587*2^839104-1 is not prime. Res64: 25EDB2E78EAE6EFC Time : 35490.0 sec. user=vaughan [2010-07-03 08:08:05] 563*2^839118-1 is not prime. Res64: 3DB4F06C2755C27F Time : 32194.0 sec. user=vaughan [2010-07-03 08:10:27] 593*2^838910-1 is not prime. Res64: 5DB469B1DD357099 Time : 78502.0 sec. user=vaughan [2010-07-03 08:11:09] 447*2^839114-1 is not prime. Res64: 8E425FFE84FB288E Time : 33837.0 sec. user=vaughan [2010-07-03 08:11:15] 491*2^839122-1 is not prime. Res64: C8FE77F99008178C Time : 31327.0 sec. user=vaughan [2010-07-03 08:11:17] 419*2^838912-1 is not prime. Res64: D680DCB03E3913ED Time : 78322.0 sec. user=vaughan [2010-07-03 08:11:21] 481*2^839089-1 is not prime. Res64: E21E8A7694E26A86 Time : 38849.0 sec. user=vaughan [2010-07-03 08:14:38] 561*2^839059-1 is not prime. Res64: 06A75FB7E674F654 Time : 45211.0 sec. user=vaughan [2010-07-03 08:17:15] 411*2^839243-1 is not prime. Res64: 8A46DC4746A5CEAE Time : 719.0 sec. user=vaughan [2010-07-03 08:17:16] 529*2^839243-1 is not prime. Res64: 9C144D86ECCB2A00 Time : 719.0 sec. user=vaughan [2010-07-03 08:17:21] 571*2^839243-1 is not prime. Res64: 201695D6C33C7011 Time : 720.0 sec. user=vaughan [2010-07-03 08:19:25] 587*2^839116-1 is not prime. Res64: 5E192221721A3EB7 Time : 33524.0 sec. user=vaughan [2010-07-03 08:20:01] 465*2^839064-1 is not prime. Res64: 371ED5AA1F71FC8C Time : 45024.0 sec. user=vaughan [2010-07-03 08:20:10] 501*2^839094-1 is not prime. Res64: E7E4FA9515E583AA Time : 38353.0 sec. user=vaughan [2010-07-03 08:21:28] 513*2^839115-1 is not prime. Res64: 9ECF21C5129BC00B Time : 33912.0 sec. user=vaughan [2010-07-03 08:24:18] 453*2^839122-1 is not prime. Res64: 8218A9F06C89B4D7 Time : 32191.0 sec. user=vaughan [2010-07-03 08:25:05] 519*2^839080-1 is not prime. Res64: AEDEB95B9D1CEFCC Time : 41398.0 sec. user=vaughan [2010-07-03 08:26:14] 569*2^839112-1 is not prime. Res64: C62701D18190EA30 Time : 34987.0 sec. user=vaughan [2010-07-03 08:28:03] 517*2^839117-1 is not prime. Res64: CFBF4BC40141B566 Time : 33814.0 sec. user=vaughan [2010-07-03 08:29:14] 405*2^839246-1 is not prime. Res64: 236E498364228C00 Time : 719.0 sec. user=vaughan [2010-07-03 08:29:15] 589*2^839245-1 is not prime. Res64: 122202CF1E6692C0 Time : 720.0 sec. user=vaughan [2010-07-03 08:29:20] 407*2^839246-1 is not prime. Res64: E824E86B64A6A9C2 Time : 720.0 sec. user=vaughan [2010-07-03 08:29:27] 477*2^838930-1 is not prime. Res64: 843C9E797D2947ED Time : 75401.0 sec. user=vaughan [2010-07-03 08:30:01] 599*2^839240-1 is not prime. Res64: 5B6014739A59E596 Time : 2046.0 sec. user=vaughan [2010-07-03 08:30:09] 549*2^839097-1 is not prime. Res64: 2970EE82C8BB446C Time : 38119.0 sec. user=vaughan [2010-07-03 08:30:42] 413*2^839242-1 is not prime. Res64: 9EDEB5541B5F1404 Time : 1944.0 sec. user=vaughan [2010-07-03 08:31:11] 441*2^838933-1 is not prime. Res64: 6CC4930B244977FB Time : 75256.0 sec. user=vaughan [2010-07-03 08:31:21] 499*2^839125-1 is not prime. Res64: 016529A858D6F281 Time : 31380.0 sec. user=vaughan [2010-07-03 08:31:57] 559*2^839069-1 is not prime. Res64: 205EAF6A6B50824E Time : 44233.0 sec. user=vaughan [2010-07-03 08:36:35] 573*2^839119-1 is not prime. Res64: 2804065810035943 Time : 33575.0 sec. user=vaughan [2010-07-03 08:37:57] 525*2^839072-1 is not prime. Res64: 43EFE312DA6A81FC Time : 44081.0 sec. user=vaughan [2010-07-03 08:38:26] 463*2^839119-1 is not prime. Res64: 82E5DB175AD25499 Time : 33887.0 sec. user=vaughan [2010-07-03 08:40:14] 557*2^839100-1 is not prime. Res64: 4926E20BB0D93625 Time : 38114.0 sec. user=vaughan [2010-07-03 08:40:30] 579*2^839124-1 is not prime. Res64: 7C34F2809508C679 Time : 32188.0 sec. user=vaughan [2010-07-03 08:41:00] 453*2^839034-1 is not prime. Res64: 112CE58B5C06FB5F Time : 52842.0 sec. user=vaughan [2010-07-03 08:41:12] 453*2^839247-1 is not prime. Res64: 7B13F40E3DD93FDC Time : 718.0 sec. user=vaughan [2010-07-03 08:41:14] 469*2^839247-1 is not prime. Res64: 9B8CD60B4EA2A854 Time : 720.0 sec. user=vaughan [2010-07-03 08:41:19] 513*2^839247-1 is not prime. Res64: E47E0881863D5464 Time : 719.0 sec. user=vaughan [2010-07-03 08:45:10] 485*2^839118-1 is not prime. Res64: 2DE93270295A879C Time : 34485.0 sec. user=vaughan [2010-07-03 08:45:17] 495*2^839121-1 is not prime. Res64: EC7347AA139312B1 Time : 33810.0 sec. user=vaughan [2010-07-03 08:46:51] 563*2^838946-1 is not prime. Res64: C2E17652F2D71839 Time : 72564.0 sec. user=vaughan [2010-07-03 08:48:54] 531*2^839106-1 is not prime. Res64: 0521CD55047BA1D4 Time : 37464.0 sec. user=vaughan [2010-07-03 08:49:14] 519*2^839077-1 is not prime. Res64: 8CECD01554AB71C1 Time : 43243.0 sec. user=vaughan [2010-07-03 08:49:15] 471*2^838947-1 is not prime. Res64: CCA766112145DDB4 Time : 72557.0 sec. user=vaughan [2010-07-03 08:51:28] 571*2^839129-1 is not prime. Res64: 19F47C00B9E698BA Time : 31412.0 sec. user=vaughan [2010-07-03 08:51:59] 577*2^839089-1 is not prime. Res64: 1064201B63FFBA2A Time : 41163.0 sec. user=vaughan [2010-07-03 08:53:12] 555*2^839250-1 is not prime. Res64: 482CD62AA265C981 Time : 720.0 sec. user=vaughan [2010-07-03 08:53:13] 581*2^839250-1 is not prime. Res64: 64B1F591F802F9AE Time : 719.0 sec. user=vaughan [2010-07-03 08:53:19] 405*2^839251-1 is not prime. Res64: 4D9E32BA8A5D5DF4 Time : 720.0 sec. user=vaughan [2010-07-03 08:54:00] 435*2^839123-1 is not prime. Res64: 0BE02EC7A7802A04 Time : 33640.0 sec. user=vaughan [2010-07-03 08:55:40] 527*2^839122-1 is not prime. Res64: D3E526294A0D0932 Time : 33881.0 sec. user=vaughan [2010-07-03 08:56:04] 477*2^839081-1 is not prime. Res64: 62847DC598E10E2F Time : 43108.0 sec. user=vaughan [2010-07-03 08:57:10] 579*2^839127-1 is not prime. Res64: 47659E6C227284AA Time : 32210.0 sec. user=vaughan [2010-07-03 09:00:22] 583*2^839107-1 is not prime. Res64: 1439EDC5A6BB424F Time : 37882.0 sec. user=vaughan [2010-07-03 09:02:26] 481*2^839123-1 is not prime. Res64: 54A064CFF8AF11E3 Time : 33802.0 sec. user=vaughan [2010-07-03 09:04:03] 453*2^839123-1 is not prime. Res64: 8F03A2B45810AEC0 Time : 34054.0 sec. user=vaughan [2010-07-03 09:04:10] 411*2^838963-1 is not prime. Res64: 03C0B532E2F0AF16 Time : 70159.0 sec. user=vaughan [2010-07-03 09:05:11] 437*2^839252-1 is not prime. Res64: 16016D5288EFC03C Time : 720.0 sec. user=vaughan [2010-07-03 09:05:13] 447*2^839252-1 is not prime. Res64: 69642760EE34EDB2 Time : 720.0 sec. user=vaughan [2010-07-03 09:05:18] 477*2^839252-1 is not prime. Res64: EF4CAEF2AF534508 Time : 719.0 sec. user=Flatlander [2010-07-03 09:05:42] 447*2^839238-1 is not prime. Res64: 63F1572E99F4E308 Time : 4204.0 sec. user=Flatlander [2010-07-03 09:05:43] 549*2^839239-1 is not prime. Res64: C7F04568533DBEAA Time : 4204.0 sec. user=Flatlander [2010-07-03 09:05:44] 407*2^839240-1 is not prime. Res64: 6398579614806202 Time : 4203.0 sec. user=Flatlander [2010-07-03 09:05:45] 437*2^839240-1 is not prime. Res64: EB2393ED68180169 Time : 4202.0 sec. user=Flatlander [2010-07-03 09:05:46] 537*2^839240-1 is not prime. Res64: 7CEEA219032B2FEF Time : 4202.0 sec. user=Flatlander [2010-07-03 09:06:02] 429*2^839241-1 is not prime. Res64: AD7FDE71EC1837D6 Time : 4198.0 sec. user=Flatlander [2010-07-03 09:06:03] 465*2^839241-1 is not prime. Res64: C6521B4867369933 Time : 4198.0 sec. user=Flatlander [2010-07-03 09:06:04] 507*2^839241-1 is not prime. Res64: 46CB57BB8DE3E606 Time : 4197.0 sec. user=Flatlander [2010-07-03 09:06:05] 537*2^839241-1 is not prime. Res64: F0DD9BBEDE2BB3F8 Time : 4197.0 sec. user=Flatlander [2010-07-03 09:06:05] 571*2^839241-1 is not prime. Res64: 6313D569D12E1668 Time : 4195.0 sec. user=vaughan [2010-07-03 09:06:32] 527*2^839088-1 is not prime. Res64: DD83D4836DE9157D Time : 42339.0 sec. user=vaughan [2010-07-03 09:07:16] 421*2^838963-1 is not prime. Res64: F88E533F9DA4DB91 Time : 70212.0 sec. user=vaughan [2010-07-03 09:07:41] 585*2^839114-1 is not prime. Res64: 76C1DB294C7A49B7 Time : 36784.0 sec. user=vaughan [2010-07-03 09:11:19] 483*2^839126-1 is not prime. Res64: 3555E78729996E57 Time : 33699.0 sec. user=vaughan [2010-07-03 09:11:37] 459*2^839133-1 is not prime. Res64: E2D5B3FFF4CB5C3A Time : 31456.0 sec. user=vaughan [2010-07-03 09:11:48] 411*2^839043-1 is not prime. Res64: 6F0FEBC2CFF00746 Time : 52543.0 sec. user=vaughan [2010-07-03 09:12:42] 489*2^839125-1 is not prime. Res64: 0BF4221573D87061 Time : 33861.0 sec. user=vaughan [2010-07-03 09:13:39] 555*2^839131-1 is not prime. Res64: 6A5A0BABB4AACE22 Time : 32213.0 sec. user=vaughan [2010-07-03 09:14:06] 459*2^839091-1 is not prime. Res64: E6FC768571C9B22F Time : 42235.0 sec. user=vaughan [2010-07-03 09:17:10] 597*2^839253-1 is not prime. Res64: 97A122220B4994A1 Time : 719.0 sec. user=vaughan [2010-07-03 09:17:12] 453*2^839254-1 is not prime. Res64: 1B8C78906EF2C4D3 Time : 720.0 sec. user=vaughan [2010-07-03 09:17:18] 495*2^839254-1 is not prime. Res64: 9FE897F8B1D92C11 Time : 720.0 sec. user=vaughan [2010-07-03 09:19:26] 429*2^839248-1 is not prime. Res64: 467BF69F2A6F8C42 Time : 2965.0 sec. user=vaughan [2010-07-03 09:19:29] 475*2^839127-1 is not prime. Res64: 0CF201BBEB98BBE7 Time : 33787.0 sec. user=vaughan [2010-07-03 09:20:03] 495*2^839248-1 is not prime. Res64: 3E802EB30AE21CB0 Time : 2961.0 sec. user=vaughan [2010-07-03 09:20:30] 563*2^839114-1 is not prime. Res64: 434B0A1128A10A95 Time : 37646.0 sec. user=vaughan [2010-07-03 09:21:28] 519*2^838975-1 is not prime. Res64: 1C9992CAA1853B6C Time : 68052.0 sec. user=vaughan [2010-07-03 09:22:58] 413*2^839128-1 is not prime. Res64: 03326042BD3D5766 Time : 33675.0 sec. user=vaughan [2010-07-03 09:23:49] 537*2^839097-1 is not prime. Res64: 1EA7567AB024BAD9 Time : 41352.0 sec. user=vaughan [2010-07-03 09:25:20] 437*2^838976-1 is not prime. Res64: FB8966402EBF9899 Time : 68103.0 sec. user=vaughan [2010-07-03 09:26:28] 517*2^839121-1 is not prime. Res64: 588DB3C2AF2074C3 Time : 36117.0 sec. user=vaughan [2010-07-03 09:28:32] 569*2^839128-1 is not prime. Res64: 5BCA4BF8A2173706 Time : 33733.0 sec. user=vaughan [2010-07-03 09:29:10] 459*2^839259-1 is not prime. Res64: 03758EE5BC05B1BA Time : 720.0 sec. user=vaughan [2010-07-03 09:29:12] 483*2^839259-1 is not prime. Res64: 960D377FB5A9B484 Time : 720.0 sec. user=vaughan [2010-07-03 09:29:17] 479*2^839260-1 is not prime. Res64: 7378AA7305D24018 Time : 720.0 sec. user=vaughan [2010-07-03 09:29:41] 549*2^839128-1 is not prime. Res64: F5BB91C26EB247CF Time : 33823.0 sec. user=vaughan [2010-07-03 09:29:54] 405*2^839136-1 is not prime. Res64: F1AB8577D08B1C6D Time : 32208.0 sec. user=vaughan [2010-07-03 09:31:44] 511*2^839139-1 is not prime. Res64: DE33CF483575FC62 Time : 31343.0 sec. user=vaughan [2010-07-03 09:32:14] 595*2^839099-1 is not prime. Res64: 9B91B13F09660414 Time : 41335.0 sec. user=vaughan [2010-07-03 09:32:47] 469*2^839099-1 is not prime. Res64: CE149A02A730C62E Time : 41827.0 sec. user=vaughan [2010-07-03 09:36:24] 489*2^839131-1 is not prime. Res64: ED3BAFD0FBEB58E1 Time : 33740.0 sec. user=vaughan [2010-07-03 09:38:44] 459*2^838992-1 is not prime. Res64: EB973D1A08D18A05 Time : 65840.0 sec. user=vaughan [2010-07-03 09:40:35] 595*2^839119-1 is not prime. Res64: A9266BD73B1126E3 Time : 37407.0 sec. user=vaughan [2010-07-03 09:41:08] 463*2^839107-1 is not prime. Res64: 6D98E378CB7E570B Time : 40365.0 sec. user=vaughan [2010-07-03 09:41:09] 543*2^839262-1 is not prime. Res64: FEA57D5AFB561C7E Time : 719.0 sec. user=vaughan [2010-07-03 09:41:12] 555*2^839262-1 is not prime. Res64: F15758413CE466A7 Time : 721.0 sec. user=vaughan [2010-07-03 09:41:18] 573*2^839262-1 is not prime. Res64: 8EB0A4A26BEB8711 Time : 721.0 sec. user=vaughan [2010-07-03 09:41:53] 533*2^839132-1 is not prime. Res64: 567374625355ADA0 Time : 33297.0 sec. user=vaughan [2010-07-03 09:43:24] 481*2^838993-1 is not prime. Res64: F1C37DE31C4395DE Time : 65963.0 sec. user=vaughan [2010-07-03 09:45:13] 591*2^839126-1 is not prime. Res64: F6E7F508B3B4EFA5 Time : 35437.0 sec. user=vaughan [2010-07-03 09:45:43] 423*2^839132-1 is not prime. Res64: 4994521ACF7CB4A2 Time : 33777.0 sec. user=vaughan [2010-07-03 09:46:07] 513*2^839139-1 is not prime. Res64: CDF059256F7CFDA8 Time : 32203.0 sec. user=vaughan [2010-07-03 09:46:39] 455*2^839132-1 is not prime. Res64: F23DA0196AC31F2B Time : 33785.0 sec. user=vaughan [2010-07-03 09:50:19] 573*2^839108-1 is not prime. Res64: C042E7A0CDE70A1E Time : 40389.0 sec. user=vaughan [2010-07-03 09:51:47] 535*2^839145-1 is not prime. Res64: 6200C6A66CF66C9E Time : 31229.0 sec. user=vaughan [2010-07-03 09:53:08] 503*2^839264-1 is not prime. Res64: D2CA5F0F04B18A6B Time : 719.0 sec. user=vaughan [2010-07-03 09:53:12] 539*2^839264-1 is not prime. Res64: 2F81F47B15E86731 Time : 720.0 sec. user=vaughan [2010-07-03 09:53:17] 513*2^839260-1 is not prime. Res64: 8F71BA2CEE97E7A8 Time : 2031.0 sec. user=vaughan [2010-07-03 09:53:18] 433*2^839135-1 is not prime. Res64: D3765B365BA88C86 Time : 33700.0 sec. user=vaughan [2010-07-03 09:53:19] 563*2^839264-1 is not prime. Res64: C00DB410F7C33B83 Time : 721.0 sec. user=vaughan [2010-07-03 09:53:53] 421*2^839261-1 is not prime. Res64: 3B5F35D8BD8B161A Time : 2030.0 sec. user=vaughan [2010-07-03 09:56:02] 493*2^839011-1 is not prime. Res64: DEA4697F1E8158AE Time : 62572.0 sec. user=vaughan [2010-07-03 09:58:27] 465*2^839117-1 is not prime. Res64: D0C5D545F2BDA3BD Time : 39379.0 sec. user=vaughan [2010-07-03 10:00:41] 489*2^839123-1 is not prime. Res64: ED23B72E5AEA8C1A Time : 37078.0 sec. user=vaughan [2010-07-03 10:00:50] 411*2^839141-1 is not prime. Res64: 31F02DA8C8D31043 Time : 32845.0 sec. user=vaughan [2010-07-03 10:01:27] 479*2^839012-1 is not prime. Res64: D28CEE620647B4FE Time : 62664.0 sec. user=vaughan [2010-07-03 10:02:19] 507*2^839144-1 is not prime. Res64: 808C692FD38A6E3E Time : 32199.0 sec. user=vaughan [2010-07-03 10:02:53] 423*2^839138-1 is not prime. Res64: 270DAAD5C6217D88 Time : 33824.0 sec. user=vaughan [2010-07-03 10:03:38] 495*2^839138-1 is not prime. Res64: 8F3A630F4C201A38 Time : 33744.0 sec. user=vaughan [2010-07-03 10:04:01] 525*2^839132-1 is not prime. Res64: FF7C6A7617F1B6DA Time : 34741.0 sec. user=vaughan [2010-07-03 10:05:08] 591*2^839265-1 is not prime. Res64: 0FF7E0BBFF5FF7DF Time : 720.0 sec. user=vaughan [2010-07-03 10:05:13] 413*2^839266-1 is not prime. Res64: 897B7C0B46013A54 Time : 721.0 sec. user=vaughan [2010-07-03 10:05:20] 521*2^839266-1 is not prime. Res64: 82A56DBE1ABA3E49 Time : 722.0 sec. user=vaughan [2010-07-03 10:07:12] 547*2^839053-1 is not prime. Res64: 42E970EB205C0960 Time : 53598.0 sec. user=vaughan [2010-07-03 10:07:49] 581*2^839106-1 is not prime. Res64: E14133A6BC3F8D9E Time : 42168.0 sec. user=vaughan [2010-07-03 10:08:25] 423*2^839118-1 is not prime. Res64: 2FAD7685D139D41A Time : 39481.0 sec. user=vaughan [2010-07-03 10:10:12] 489*2^839139-1 is not prime. Res64: A3AACEB2096F2691 Time : 33670.0 sec. user=vaughan [2010-07-03 10:11:56] 565*2^839149-1 is not prime. Res64: 60B357AA5E59329B Time : 31115.0 sec. user=vaughan [2010-07-03 10:13:19] 547*2^839029-1 is not prime. Res64: 5D5CE1C8EEC527D7 Time : 59177.0 sec. user=Flatlander [2010-07-03 10:15:18] 405*2^839256-1 is not prime. Res64: A71065D19B47A9F9 Time : 4151.0 sec. user=Flatlander [2010-07-03 10:15:19] 503*2^839256-1 is not prime. Res64: 9B2DC5D989C81F0C Time : 4151.0 sec. user=Flatlander [2010-07-03 10:15:20] 515*2^839256-1 is not prime. Res64: 1A16191C0DD39B4B Time : 4150.0 sec. user=Flatlander [2010-07-03 10:15:20] 567*2^839256-1 is not prime. Res64: C30EBDA5B2D76357 Time : 4148.0 sec. user=Flatlander [2010-07-03 10:15:21] 585*2^839256-1 is not prime. Res64: D9AEE4E1609CEB06 Time : 4148.0 sec. user=Flatlander [2010-07-03 10:15:40] 521*2^839254-1 is not prime. Res64: D017191B167C2FA4 Time : 4193.0 sec. user=Flatlander [2010-07-03 10:15:41] 555*2^839254-1 is not prime. Res64: 5B6BF1474B8BEC6B Time : 4192.0 sec. user=Flatlander [2010-07-03 10:15:41] 463*2^839255-1 is not prime. Res64: 019EEE3B4241F4A4 Time : 4191.0 sec. user=Flatlander [2010-07-03 10:15:42] 501*2^839255-1 is not prime. Res64: 744C6D0FCCD940C2 Time : 4190.0 sec. user=Flatlander [2010-07-03 10:15:43] 523*2^839255-1 is not prime. Res64: 6C32319B7C2C6BA8 Time : 4189.0 sec. user=vaughan [2010-07-03 10:15:43] 445*2^839123-1 is not prime. Res64: F648D7EE847F91C0 Time : 38424.0 sec. user=vaughan [2010-07-03 10:17:07] 585*2^839267-1 is not prime. Res64: 386B19891F43DF20 Time : 719.0 sec. user=vaughan [2010-07-03 10:17:13] 595*2^839267-1 is not prime. Res64: 09FF917138B03336 Time : 721.0 sec. user=vaughan [2010-07-03 10:17:21] 423*2^839268-1 is not prime. Res64: FB12E69D3F0717D9 Time : 721.0 sec. user=vaughan [2010-07-03 10:18:31] 571*2^839147-1 is not prime. Res64: 8339BB2B015E0FF5 Time : 32195.0 sec. user=vaughan [2010-07-03 10:19:32] 483*2^839030-1 is not prime. Res64: 5EE735A7E1EE5986 Time : 59346.0 sec. user=vaughan [2010-07-03 10:19:46] 529*2^839147-1 is not prime. Res64: 0AEBE1D48405E8CA Time : 32383.0 sec. user=vaughan [2010-07-03 10:20:05] 525*2^839141-1 is not prime. Res64: 3510C22F1939DDD2 Time : 33875.0 sec. user=vaughan [2010-07-03 10:20:34] 441*2^839143-1 is not prime. Res64: 6F3B994191A35FE9 Time : 33720.0 sec. user=vaughan [2010-07-03 10:20:47] 415*2^839131-1 is not prime. Res64: 4E48EDD9D65466CA Time : 36706.0 sec. user=vaughan [2010-07-03 10:22:48] 465*2^839141-1 is not prime. Res64: E06DD7659E68D873 Time : 34084.0 sec. user=vaughan [2010-07-03 10:26:29] 587*2^839124-1 is not prime. Res64: F19C2E8D228E2EF2 Time : 38527.0 sec. user=vaughan [2010-07-03 10:27:06] 599*2^839144-1 is not prime. Res64: BC4056841E4CB2D3 Time : 33646.0 sec. user=vaughan [2010-07-03 10:29:07] 411*2^839273-1 is not prime. Res64: 5B79E92E734016D4 Time : 720.0 sec. user=vaughan [2010-07-03 10:29:12] 465*2^839273-1 is not prime. Res64: 5F97F8A4C3B8A158 Time : 719.0 sec. user=vaughan [2010-07-03 10:29:20] 481*2^839273-1 is not prime. Res64: 336A4443DBBAB332 Time : 720.0 sec. user=vaughan [2010-07-03 10:30:38] 501*2^839049-1 is not prime. Res64: EBE53EDC007A8A79 Time : 55891.0 sec. user=vaughan [2010-07-03 10:32:02] 585*2^839154-1 is not prime. Res64: 0F8EAE39DB89D905 Time : 31004.0 sec. user=vaughan [2010-07-03 10:33:04] 431*2^839130-1 is not prime. Res64: A4954E05BE3E11D0 Time : 37459.0 sec. user=vaughan [2010-07-03 10:34:43] 453*2^839150-1 is not prime. Res64: 509D7C10828AE024 Time : 32191.0 sec. user=vaughan [2010-07-03 10:35:26] 417*2^839114-1 is not prime. Res64: 302D42486DB61226 Time : 42494.0 sec. user=vaughan [2010-07-03 10:36:32] 585*2^839063-1 is not prime. Res64: B94BC6F5C8A88A98 Time : 53224.0 sec. user=vaughan [2010-07-03 10:37:14] 585*2^839145-1 is not prime. Res64: 1D3315555F98E1FE Time : 33925.0 sec. user=vaughan [2010-07-03 10:37:33] 497*2^839146-1 is not prime. Res64: DB4FE003C5D06861 Time : 33698.0 sec. user=vaughan [2010-07-03 10:37:36] 443*2^839050-1 is not prime. Res64: F6663466C25CBC95 Time : 56108.0 sec. user=vaughan [2010-07-03 10:38:41] 411*2^839153-1 is not prime. Res64: F42AAFFE93F5A603 Time : 31916.0 sec. user=vaughan [2010-07-03 10:40:51] 499*2^839137-1 is not prime. Res64: DFEEDE1C4B29699E Time : 36251.0 sec. user=vaughan [2010-07-03 10:41:05] 493*2^839275-1 is not prime. Res64: 157BCDE975690DF3 Time : 719.0 sec. user=vaughan [2010-07-03 10:41:12] 535*2^839275-1 is not prime. Res64: 61BA368E387EA4FC Time : 720.0 sec. user=vaughan [2010-07-03 10:41:19] 555*2^839275-1 is not prime. Res64: CCC2E9A4F45BD52A Time : 719.0 sec. user=vaughan [2010-07-03 10:41:32] 465*2^839148-1 is not prime. Res64: 10D01F00267E90B4 Time : 33433.0 sec. user=vaughan [2010-07-03 10:44:01] 405*2^839148-1 is not prime. Res64: F24D4446D12D4A4A Time : 33624.0 sec. user=vaughan [2010-07-03 10:44:29] 573*2^839131-1 is not prime. Res64: E3A1C43EE0570E87 Time : 37640.0 sec. user=vaughan [2010-07-03 10:46:28] 567*2^839266-1 is not prime. Res64: 17570397542D362B Time : 3155.0 sec. user=vaughan [2010-07-03 10:47:27] 483*2^839266-1 is not prime. Res64: 28D467C13F4E9EDD Time : 3250.0 sec. user=vaughan [2010-07-03 10:47:57] 429*2^839068-1 is not prime. Res64: 2F32618AC046927E Time : 52751.0 sec. user=vaughan [2010-07-03 10:50:25] 467*2^839138-1 is not prime. Res64: 05E7D38FDA0AF8F7 Time : 36560.0 sec. user=vaughan [2010-07-03 10:50:56] 543*2^839154-1 is not prime. Res64: 2CDC2D4787C8CDC4 Time : 32189.0 sec. user=vaughan [2010-07-03 10:52:07] 487*2^839157-1 is not prime. Res64: 5AEFBCF1F4853E19 Time : 30892.0 sec. user=vaughan [2010-07-03 10:53:03] 581*2^839278-1 is not prime. Res64: 1FB9A8CEE647F7E9 Time : 718.0 sec. user=vaughan [2010-07-03 10:53:11] 463*2^839279-1 is not prime. Res64: D810A87D52BCE00C Time : 720.0 sec. user=vaughan [2010-07-03 10:53:19] 469*2^839279-1 is not prime. Res64: F7E2B4EDA5035510 Time : 720.0 sec. user=vaughan [2010-07-03 10:54:28] 513*2^839148-1 is not prime. Res64: 3B56AD087A319DC8 Time : 33978.0 sec. user=vaughan [2010-07-03 10:54:32] 525*2^839149-1 is not prime. Res64: C43129787BCBA061 Time : 33677.0 sec. user=vaughan [2010-07-03 10:55:38] 519*2^839068-1 is not prime. Res64: 2B332E6B5B403D18 Time : 53008.0 sec. user=vaughan [2010-07-03 10:58:21] 539*2^839156-1 is not prime. Res64: 81BA1CAF95284FE2 Time : 31478.0 sec. user=vaughan [2010-07-03 11:00:13] 483*2^839154-1 is not prime. Res64: F752C5F2D0F2F243 Time : 32783.0 sec. user=vaughan [2010-07-03 11:00:48] 427*2^839145-1 is not prime. Res64: ED7BEC7C206507F9 Time : 35657.0 sec. user=vaughan [2010-07-03 11:00:54] 413*2^839152-1 is not prime. Res64: 92D6D54DF3E9838E Time : 33598.0 sec. user=vaughan [2010-07-03 11:02:05] 589*2^839117-1 is not prime. Res64: 1839D28C38DC9D6E Time : 42757.0 sec. user=vaughan [2010-07-03 11:02:38] 543*2^839139-1 is not prime. Res64: EDCAF8AB3B2415FA Time : 36748.0 sec. user=vaughan [2010-07-03 11:05:02] 557*2^839280-1 is not prime. Res64: 00C48552A408C153 Time : 719.0 sec. user=vaughan [2010-07-03 11:05:10] 567*2^839280-1 is not prime. Res64: EAD7DEA62B6BCAC0 Time : 719.0 sec. user=vaughan [2010-07-03 11:05:18] 585*2^839280-1 is not prime. Res64: 433B28451B39ABC0 Time : 720.0 sec. user=vaughan [2010-07-03 11:05:24] 483*2^839084-1 is not prime. Res64: EF928BF1CA646088 Time : 50137.0 sec. user=vaughan [2010-07-03 11:07:08] 581*2^839150-1 is not prime. Res64: 60C9CD7455E33DC6 Time : 32185.0 sec. user=vaughan [2010-07-03 11:07:52] 483*2^839146-1 is not prime. Res64: B34CB57BC03A09F4 Time : 35584.0 sec. user=vaughan [2010-07-03 11:07:56] 415*2^839071-1 is not prime. Res64: 9DABC487845B9D3B Time : 53271.0 sec. user=vaughan [2010-07-03 11:11:23] 479*2^839164-1 is not prime. Res64: 72A94C3E3389502B Time : 30020.0 sec. user=vaughan [2010-07-03 11:11:27] 431*2^839154-1 is not prime. Res64: 7471A9262146C508 Time : 33652.0 sec. user=vaughan [2010-07-03 11:11:35] 567*2^839152-1 is not prime. Res64: 65FBC466EDB3C654 Time : 34027.0 sec. user=vaughan [2010-07-03 11:14:00] 405*2^839086-1 is not prime. Res64: A6E233FCA4C3207F Time : 50475.0 sec. user=vaughan [2010-07-03 11:17:00] 497*2^838464-1 is not prime. Res64: 4433A5C942452429 Time : 719.0 sec. user=vaughan [2010-07-03 11:17:13] 527*2^838464-1 is not prime. Res64: 96CF11E6F05ACADD Time : 723.0 sec. user=vaughan [2010-07-03 11:17:17] 439*2^839283-1 is not prime. Res64: B705A778DC3BDCCC Time : 719.0 sec. user=vaughan [2010-07-03 11:17:49] 495*2^839155-1 is not prime. Res64: A1D324995B48FEE3 Time : 33576.0 sec. user=vaughan [2010-07-03 11:18:40] 437*2^839162-1 is not prime. Res64: 2BD2D865BBBDEC2A Time : 30470.0 sec. user=vaughan [2010-07-03 11:20:33] 447*2^839150-1 is not prime. Res64: CB85882E067E3834 Time : 35037.0 sec. user=vaughan [2010-07-03 11:20:34] 533*2^839164-1 is not prime. Res64: C885EBD3E21765D7 Time : 30567.0 sec. user=vaughan [2010-07-03 11:20:47] 459*2^839148-1 is not prime. Res64: BE3DC7765C4F9553 Time : 35790.0 sec. user=vaughan [2010-07-03 11:22:48] 437*2^839104-1 is not prime. Res64: F8018C11F0FF43DA Time : 47392.0 sec. user=vaughan [2010-07-03 11:23:21] 507*2^839158-1 is not prime. Res64: 608BEFEF971FAE17 Time : 32185.0 sec. user=vaughan [2010-07-03 11:25:17] 511*2^839153-1 is not prime. Res64: 8DDD35AF93285C90 Time : 34535.0 sec. user=Flatlander [2010-07-03 11:25:20] 477*2^839269-1 is not prime. Res64: FEE46B11B1BFB7A6 Time : 4197.0 sec. user=Flatlander [2010-07-03 11:25:21] 473*2^839270-1 is not prime. Res64: 712246C77EF1F9A3 Time : 4197.0 sec. user=Flatlander [2010-07-03 11:25:22] 557*2^839270-1 is not prime. Res64: 2695764389462192 Time : 4196.0 sec. user=Flatlander [2010-07-03 11:25:23] 561*2^839270-1 is not prime. Res64: DD170286EE0DA476 Time : 4195.0 sec. user=Flatlander [2010-07-03 11:25:24] 581*2^839270-1 is not prime. Res64: 8AA126B39CDD7ADB Time : 4195.0 sec. user=Flatlander [2010-07-03 11:25:42] 445*2^839271-1 is not prime. Res64: 4ADC7B8AF7172C72 Time : 4197.0 sec. user=Flatlander [2010-07-03 11:25:43] 429*2^839272-1 is not prime. Res64: 0999E865A4273437 Time : 4197.0 sec. user=Flatlander [2010-07-03 11:25:44] 483*2^839272-1 is not prime. Res64: 98B2C8CE6F35EF8E Time : 4196.0 sec. user=Flatlander [2010-07-03 11:25:45] 495*2^839272-1 is not prime. Res64: 808931FD9283BDB3 Time : 4195.0 sec. user=Flatlander [2010-07-03 11:25:45] 539*2^839272-1 is not prime. Res64: 9F3C74CF9C08118A Time : 4194.0 sec. user=vaughan [2010-07-03 11:26:36] 567*2^839122-1 is not prime. Res64: AD4B1B05772FDB48 Time : 42819.0 sec. user=vaughan [2010-07-03 11:28:24] 563*2^839150-1 is not prime. Res64: 1F6FA79BBCA803D6 Time : 33637.0 sec. user=vaughan [2010-07-03 11:28:46] 531*2^839155-1 is not prime. Res64: B658B03596E0101C Time : 34078.0 sec. user=vaughan [2010-07-03 11:28:58] 533*2^839284-1 is not prime. Res64: 1FF5FB94F7FA2A42 Time : 718.0 sec. user=vaughan [2010-07-03 11:29:12] 545*2^839284-1 is not prime. Res64: BF7D480F0E98DEC3 Time : 719.0 sec. user=vaughan [2010-07-03 11:29:17] 495*2^839285-1 is not prime. Res64: D39A38E082E5C74F Time : 720.0 sec. user=vaughan [2010-07-03 11:30:38] 447*2^839166-1 is not prime. Res64: AB092AC535BBF13C Time : 30614.0 sec. user=vaughan [2010-07-03 11:32:04] 519*2^839104-1 is not prime. Res64: 1FB5D8A8088085BC Time : 47834.0 sec. user=vaughan [2010-07-03 11:34:42] 457*2^839157-1 is not prime. Res64: 28029BA507773467 Time : 33568.0 sec. user=vaughan [2010-07-03 11:35:24] 589*2^839279-1 is not prime. Res64: 57BC93D078F5A432 Time : 2936.0 sec. user=vaughan [2010-07-03 11:37:33] 597*2^839164-1 is not prime. Res64: E9A72457D9516B42 Time : 31310.0 sec. user=vaughan [2010-07-03 11:37:38] 465*2^839280-1 is not prime. Res64: 17D98E78C3570622 Time : 3011.0 sec. user=vaughan [2010-07-03 11:38:50] 519*2^839155-1 is not prime. Res64: 59FCA5A3EB8B1665 Time : 34737.0 sec. user=vaughan [2010-07-03 11:39:33] 591*2^839161-1 is not prime. Res64: D4E584E75EA0D259 Time : 32184.0 sec. user=vaughan [2010-07-03 11:40:06] 557*2^839118-1 is not prime. Res64: D821B2369758E131 Time : 44919.0 sec. user=vaughan [2010-07-03 11:40:25] 521*2^839142-1 is not prime. Res64: EC796DA2DD7C76AA Time : 34435.0 sec. user=vaughan [2010-07-03 11:41:01] 537*2^839289-1 is not prime. Res64: 0ED3868ADE2F4666 Time : 723.0 sec. user=vaughan [2010-07-03 11:41:15] 555*2^839289-1 is not prime. Res64: 73769E43402CF318 Time : 723.0 sec. user=vaughan [2010-07-03 11:41:19] 483*2^839290-1 is not prime. Res64: 887C4D0F552FD020 Time : 723.0 sec. user=vaughan [2010-07-03 11:42:18] 477*2^839077-1 is not prime. Res64: 52569E9698286CAA Time : 53691.0 sec. user=vaughan [2010-07-03 11:42:37] 497*2^839164-1 is not prime. Res64: 9BBA5A382AE09002 Time : 31892.0 sec. user=vaughan [2010-07-03 11:42:51] 573*2^839166-1 is not prime. Res64: D64D3975C6C2F5A1 Time : 30881.0 sec. user=vaughan [2010-07-03 11:45:22] 453*2^839158-1 is not prime. Res64: 7029722422170CE2 Time : 33636.0 sec. user=vaughan [2010-07-03 11:45:57] 405*2^839158-1 is not prime. Res64: 695B7877FCEBC1A4 Time : 34076.0 sec. user=vaughan [2010-07-03 11:49:53] 441*2^839169-1 is not prime. Res64: 9DBA27494187CEF0 Time : 30474.0 sec. user=vaughan [2010-07-03 11:50:10] 591*2^839118-1 is not prime. Res64: 876006AFC17C6A66 Time : 45396.0 sec. user=vaughan [2010-07-03 11:51:36] 465*2^839159-1 is not prime. Res64: 6C5AF6AA8B0B70DF Time : 33569.0 sec. user=vaughan [2010-07-03 11:53:00] 413*2^839292-1 is not prime. Res64: D3835B13F38F082C Time : 719.0 sec. user=vaughan [2010-07-03 11:53:16] 447*2^839292-1 is not prime. Res64: B495F26C99F4FB66 Time : 721.0 sec. user=vaughan [2010-07-03 11:53:20] 453*2^839292-1 is not prime. Res64: 5B5BFF6E8ED4394C Time : 721.0 sec. user=vaughan [2010-07-03 11:55:44] 431*2^839166-1 is not prime. Res64: 98E304D70ABABE6D Time : 32182.0 sec. user=vaughan [2010-07-03 11:56:26] 519*2^839171-1 is not prime. Res64: E42BDF7B54CD5E1A Time : 30545.0 sec. user=vaughan [2010-07-03 11:56:54] 447*2^839162-1 is not prime. Res64: 5C6F7ADF565D3413 Time : 32756.0 sec. user=vaughan [2010-07-03 11:57:30] 527*2^839128-1 is not prime. Res64: 623B16375CC47C61 Time : 42748.0 sec. user=vaughan [2010-07-03 11:59:59] 485*2^839166-1 is not prime. Res64: F9E6AECBD7DDBA55 Time : 32359.0 sec. user=vaughan [2010-07-03 12:00:16] 571*2^839163-1 is not prime. Res64: 406A5F299F6BEEEB Time : 32954.0 sec. user=vaughan [2010-07-03 12:02:19] 441*2^839161-1 is not prime. Res64: 0E3F0EF67254CC85 Time : 33637.0 sec. user=vaughan [2010-07-03 12:03:09] 511*2^839159-1 is not prime. Res64: C6CB448CB77F5DCB Time : 34078.0 sec. user=vaughan [2010-07-03 12:04:12] 593*2^839126-1 is not prime. Res64: A2BF42DE3863AB91 Time : 43764.0 sec. user=vaughan [2010-07-03 12:05:00] 591*2^839293-1 is not prime. Res64: 6468A4C370717E64 Time : 720.0 sec. user=vaughan [2010-07-03 12:05:08] 435*2^839173-1 is not prime. Res64: 8C7133DA7467314F Time : 30550.0 sec. user=vaughan [2010-07-03 12:05:16] 477*2^839294-1 is not prime. Res64: 56CAE350D3836F59 Time : 720.0 sec. user=vaughan [2010-07-03 12:05:20] 521*2^839294-1 is not prime. Res64: 917690B462529B1A Time : 720.0 sec. user=vaughan [2010-07-03 12:08:13] 465*2^839129-1 is not prime. Res64: E7ED384CF82CD1B5 Time : 43265.0 sec. user=vaughan [2010-07-03 12:08:29] 587*2^839164-1 is not prime. Res64: 1E28606200D00B5D Time : 33334.0 sec. user=vaughan [2010-07-03 12:09:09] 537*2^839173-1 is not prime. Res64: 02A8A9613D3A5759 Time : 30340.0 sec. user=vaughan [2010-07-03 12:11:56] 563*2^839168-1 is not prime. Res64: 72DF4BF33ABE5CE2 Time : 32181.0 sec. user=vaughan [2010-07-03 12:14:49] 457*2^839145-1 is not prime. Res64: 9BE49CA9240292B8 Time : 40071.0 sec. user=vaughan [2010-07-03 12:14:56] 441*2^839167-1 is not prime. Res64: 84ED96590C2CA167 Time : 32733.0 sec. user=vaughan [2010-07-03 12:14:56] 423*2^839175-1 is not prime. Res64: 5B4D153D666E7890 Time : 29756.0 sec. user=vaughan [2010-07-03 12:17:00] 495*2^839296-1 is not prime. Res64: 8EAF6C133A4EF4F5 Time : 721.0 sec. user=vaughan [2010-07-03 12:17:14] 557*2^839172-1 is not prime. Res64: 23C047061C5DDBF8 Time : 31330.0 sec. user=vaughan [2010-07-03 12:17:17] 597*2^839296-1 is not prime. Res64: 53EB960B85420F54 Time : 721.0 sec. user=vaughan [2010-07-03 12:17:22] 439*2^839297-1 is not prime. Res64: B1C3A1AD18603782 Time : 722.0 sec. user=vaughan [2010-07-03 12:19:00] 567*2^839290-1 is not prime. Res64: 3DABA3C497ADD39B Time : 2616.0 sec. user=vaughan [2010-07-03 12:19:16] 567*2^839165-1 is not prime. Res64: FF16D47502B4B8FF Time : 33635.0 sec. user=vaughan [2010-07-03 12:19:59] 533*2^839168-1 is not prime. Res64: A23E94D046730441 Time : 32698.0 sec. user=vaughan [2010-07-03 12:20:19] 579*2^839164-1 is not prime. Res64: 6588145FE3214DEA Time : 34076.0 sec. user=vaughan [2010-07-03 12:21:12] 445*2^839291-1 is not prime. Res64: E62FDDA78FCC3E00 Time : 2614.0 sec. user=vaughan [2010-07-03 12:25:25] 537*2^839166-1 is not prime. Res64: 7B4007087BCB181C Time : 33569.0 sec. user=vaughan [2010-07-03 12:26:17] 511*2^839145-1 is not prime. Res64: FD9E7AD39E56FA82 Time : 40633.0 sec. user=vaughan [2010-07-03 12:27:23] 555*2^839175-1 is not prime. Res64: 2CAB33539BA7093F Time : 30223.0 sec. user=vaughan [2010-07-03 12:28:08] 525*2^839172-1 is not prime. Res64: 4EF2492753734CEA Time : 32179.0 sec. user=vaughan [2010-07-03 12:28:18] 563*2^839176-1 is not prime. Res64: 7D32C8F44C51DCAD Time : 30195.0 sec. user=vaughan [2010-07-03 12:29:00] 581*2^839298-1 is not prime. Res64: 69260DC7B47E9C5D Time : 720.0 sec. user=vaughan [2010-07-03 12:29:18] 585*2^839298-1 is not prime. Res64: 96EC9119088FA10B Time : 721.0 sec. user=vaughan [2010-07-03 12:29:23] 555*2^839299-1 is not prime. Res64: 1BF64EA29A65C3F2 Time : 721.0 sec. user=vaughan [2010-07-03 12:32:06] 537*2^839156-1 is not prime. Res64: 55A6808943435CDB Time : 37149.0 sec. user=vaughan [2010-07-03 12:33:03] 595*2^839173-1 is not prime. Res64: C4BE68713FA9CFAE Time : 31710.0 sec. user=vaughan [2010-07-03 12:33:19] 467*2^839180-1 is not prime. Res64: AEF9AAE5C76BB202 Time : 28947.0 sec. user=vaughan [2010-07-03 12:34:32] 565*2^839177-1 is not prime. Res64: D335E7A4FA5D213D Time : 30308.0 sec. user=Flatlander [2010-07-03 12:36:01] 483*2^839286-1 is not prime. Res64: B3EE5E6550E2D829 Time : 4236.0 sec. user=Flatlander [2010-07-03 12:36:02] 515*2^839286-1 is not prime. Res64: 7E7AFE4A1861FD49 Time : 4235.0 sec. user=Flatlander [2010-07-03 12:36:03] 429*2^839287-1 is not prime. Res64: 614A7E20C6554507 Time : 4234.0 sec. user=Flatlander [2010-07-03 12:36:03] 439*2^839287-1 is not prime. Res64: EB199CE866E038B4 Time : 4233.0 sec. user=Flatlander [2010-07-03 12:36:04] 505*2^839287-1 is not prime. Res64: 1A06A43DAB3DAF07 Time : 4232.0 sec. user=vaughan [2010-07-03 12:36:14] 585*2^839168-1 is not prime. Res64: C80E559E12468628 Time : 33636.0 sec. user=Flatlander [2010-07-03 12:36:18] 531*2^839287-1 is not prime. Res64: 5C1032E867DCC20B Time : 4231.0 sec. user=Flatlander [2010-07-03 12:36:19] 559*2^839287-1 is not prime. Res64: 5821B99707B68893 Time : 4230.0 sec. user=Flatlander [2010-07-03 12:36:20] 583*2^839287-1 is not prime. Res64: CDC3FD0DBDFCE824 Time : 4230.0 sec. user=Flatlander [2010-07-03 12:36:21] 489*2^839288-1 is not prime. Res64: 471A027578302E41 Time : 4229.0 sec. user=Flatlander [2010-07-03 12:36:21] 567*2^839288-1 is not prime. Res64: E6F53B9F88FE1318 Time : 4228.0 sec. user=vaughan [2010-07-03 12:37:29] 499*2^839167-1 is not prime. Res64: C9AB5D9C20DB4A54 Time : 34076.0 sec. user=vaughan [2010-07-03 12:37:54] 413*2^839132-1 is not prime. Res64: 02757B4C82BDD8E1 Time : 44380.0 sec. user=vaughan [2010-07-03 12:37:55] 461*2^839086-1 is not prime. Res64: 4BB3AF37727601B4 Time : 55416.0 sec. user=vaughan [2010-07-03 12:39:44] 473*2^839174-1 is not prime. Res64: FBE17A41F25C6750 Time : 31818.0 sec. user=vaughan [2010-07-03 12:41:00] 549*2^839301-1 is not prime. Res64: C6F2EC5322B9443B Time : 720.0 sec. user=vaughan [2010-07-03 12:41:18] 555*2^839301-1 is not prime. Res64: F4BE0EF2A5823E94 Time : 721.0 sec. user=vaughan [2010-07-03 12:41:24] 585*2^839301-1 is not prime. Res64: E3BE5A73BFF5FCB6 Time : 721.0 sec. user=vaughan [2010-07-03 12:42:19] 457*2^839169-1 is not prime. Res64: A16A393B3CAD3BF0 Time : 33569.0 sec. user=vaughan [2010-07-03 12:44:21] 411*2^839174-1 is not prime. Res64: 25871B8158421B66 Time : 32170.0 sec. user=vaughan [2010-07-03 12:44:21] 585*2^839156-1 is not prime. Res64: 1C7E0E8587CBF519 Time : 37762.0 sec. user=vaughan [2010-07-03 12:47:33] 447*2^839180-1 is not prime. Res64: 36565C1EF0AF35CE Time : 30053.0 sec. user=vaughan [2010-07-03 12:49:26] 549*2^839167-1 is not prime. Res64: 76C9D9FD928FECC5 Time : 34720.0 sec. user=vaughan [2010-07-03 12:49:36] 539*2^839180-1 is not prime. Res64: 27F38147278CFF12 Time : 29875.0 sec. user=vaughan [2010-07-03 12:51:09] 567*2^839178-1 is not prime. Res64: E7E7105F1C0EF2CA Time : 30709.0 sec. user=vaughan [2010-07-03 12:51:24] 573*2^839299-1 is not prime. Res64: BD61E015240DE0E3 Time : 1944.0 sec. user=vaughan [2010-07-03 12:51:41] 431*2^839186-1 is not prime. Res64: 15DC8D420E8EF785 Time : 28246.0 sec. user=vaughan [2010-07-03 12:51:53] 451*2^839183-1 is not prime. Res64: 21B3233BA7D20262 Time : 29235.0 sec. user=vaughan [2010-07-03 12:52:59] 531*2^839306-1 is not prime. Res64: ADDD9AE13C459CC4 Time : 720.0 sec. user=vaughan [2010-07-03 12:53:10] 527*2^839172-1 is not prime. Res64: 3B6C80EF796A0F9E Time : 33634.0 sec. user=vaughan [2010-07-03 12:53:18] 545*2^839306-1 is not prime. Res64: 0F1A77D545F09CFA Time : 720.0 sec. user=vaughan [2010-07-03 12:53:24] 409*2^839307-1 is not prime. Res64: F7C082AF29BB5966 Time : 720.0 sec. user=vaughan [2010-07-03 12:54:40] 453*2^839171-1 is not prime. Res64: 594D50A818378BF6 Time : 34074.0 sec. user=vaughan [2010-07-03 12:55:17] 585*2^839300-1 is not prime. Res64: 744E57E1872E2C2B Time : 2045.0 sec. user=vaughan [2010-07-03 12:59:26] 425*2^839180-1 is not prime. Res64: D1B53C223965B66B Time : 30878.0 sec. user=vaughan [2010-07-03 12:59:28] 495*2^839173-1 is not prime. Res64: 55331250F15D8BA1 Time : 33580.0 sec. user=vaughan [2010-07-03 13:00:42] 579*2^839175-1 is not prime. Res64: 9104176C1A6566C8 Time : 32176.0 sec. user=vaughan [2010-07-03 13:02:24] 495*2^839168-1 is not prime. Res64: F64EC46FED770AD9 Time : 35367.0 sec. user=vaughan [2010-07-03 13:04:38] 563*2^839138-1 is not prime. Res64: F2D269B118A9CDFF Time : 44552.0 sec. user=vaughan [2010-07-03 13:04:58] 585*2^839307-1 is not prime. Res64: C96302C4CE6AF016 Time : 720.0 sec. user=vaughan [2010-07-03 13:05:18] 435*2^839308-1 is not prime. Res64: DF527585D32B034C Time : 720.0 sec. user=vaughan [2010-07-03 13:05:23] 485*2^839308-1 is not prime. Res64: 691618C3363E6743 Time : 720.0 sec. user=vaughan [2010-07-03 13:06:43] 549*2^839183-1 is not prime. Res64: 36CF4E2323693CA0 Time : 29905.0 sec. user=vaughan [2010-07-03 13:06:48] 405*2^839178-1 is not prime. Res64: 2DD541EC63F8B126 Time : 31830.0 sec. user=vaughan [2010-07-03 13:08:20] 585*2^839094-1 is not prime. Res64: 57882E77626BCF6D Time : 55598.0 sec. user=vaughan [2010-07-03 13:09:11] 599*2^839192-1 is not prime. Res64: 31C387835B1E47D9 Time : 27994.0 sec. user=vaughan [2010-07-03 13:09:12] 411*2^839185-1 is not prime. Res64: 54DC6B5E64F9D385 Time : 29675.0 sec. user=vaughan [2010-07-03 13:10:05] 535*2^839191-1 is not prime. Res64: 5368FCBE6076CB6D Time : 28107.0 sec. user=vaughan [2010-07-03 13:10:41] 507*2^839174-1 is not prime. Res64: 2E612A1004AA2A9C Time : 33657.0 sec. user=vaughan [2010-07-03 13:11:52] 541*2^839185-1 is not prime. Res64: 72587A4C6251E756 Time : 29696.0 sec. user=vaughan [2010-07-03 13:12:05] 567*2^839173-1 is not prime. Res64: 44E23E6A86294518 Time : 34072.0 sec. user=vaughan [2010-07-03 13:16:40] 563*2^839174-1 is not prime. Res64: 1C8C756A07E0742D Time : 33588.0 sec. user=vaughan [2010-07-03 13:16:57] 561*2^839309-1 is not prime. Res64: 5FFB2965A16D0703 Time : 719.0 sec. user=vaughan [2010-07-03 13:16:59] 471*2^839179-1 is not prime. Res64: 5E0E153C2B480F29 Time : 32182.0 sec. user=vaughan [2010-07-03 13:17:18] 423*2^839310-1 is not prime. Res64: B7A428FC72B6875E Time : 721.0 sec. user=vaughan [2010-07-03 13:17:25] 431*2^839310-1 is not prime. Res64: C27EFB80C918728D Time : 722.0 sec. user=vaughan [2010-07-03 13:19:08] 507*2^839185-1 is not prime. Res64: A6514392A7366C4E Time : 30155.0 sec. user=vaughan [2010-07-03 13:20:32] 437*2^839178-1 is not prime. Res64: E41F0EDB1B5683CF Time : 32516.0 sec. user=vaughan [2010-07-03 13:24:06] 435*2^839188-1 is not prime. Res64: B96B320335A9DEF0 Time : 29871.0 sec. user=vaughan [2010-07-03 13:25:52] 597*2^839188-1 is not prime. Res64: E745010687655CA4 Time : 29755.0 sec. user=vaughan [2010-07-03 13:26:30] 493*2^839203-1 is not prime. Res64: B868654327F62E32 Time : 27046.0 sec. user=vaughan [2010-07-03 13:27:18] 493*2^839195-1 is not prime. Res64: 050661148891C36C Time : 28539.0 sec. user=vaughan [2010-07-03 13:27:54] 575*2^839176-1 is not prime. Res64: 683BE4D1032E6305 Time : 33672.0 sec. user=vaughan [2010-07-03 13:28:28] 571*2^839199-1 is not prime. Res64: A669F1E299F3CD3B Time : 28084.0 sec. user=vaughan [2010-07-03 13:28:57] 513*2^839310-1 is not prime. Res64: 34F5382D1CF32B88 Time : 720.0 sec. user=vaughan [2010-07-03 13:29:18] 429*2^839311-1 is not prime. Res64: 9482C91A01F106B2 Time : 720.0 sec. user=vaughan [2010-07-03 13:29:22] 513*2^839175-1 is not prime. Res64: 225A89747549BEFF Time : 34077.0 sec. user=vaughan [2010-07-03 13:29:24] 489*2^839311-1 is not prime. Res64: DC80ACA414FB8E24 Time : 719.0 sec. user=vaughan [2010-07-03 13:31:01] 595*2^839143-1 is not prime. Res64: 7B51692EF0887E5A Time : 44758.0 sec. user=vaughan [2010-07-03 13:33:14] 565*2^839181-1 is not prime. Res64: D18CA8ADB884AFD0 Time : 32162.0 sec. user=vaughan [2010-07-03 13:33:42] 589*2^839177-1 is not prime. Res64: A5C0E75F26889351 Time : 33596.0 sec. user=vaughan [2010-07-03 13:34:10] 589*2^839189-1 is not prime. Res64: A5892654880A4FA3 Time : 29838.0 sec. user=vaughan [2010-07-03 13:38:37] 489*2^839188-1 is not prime. Res64: F9BF0684712EAC8F Time : 30638.0 sec. user=vaughan [2010-07-03 13:38:53] 405*2^839191-1 is not prime. Res64: E1D3059189D63E79 Time : 30024.0 sec. user=vaughan [2010-07-03 13:40:00] 513*2^839307-1 is not prime. Res64: 74375DA8F9B7766C Time : 2916.0 sec. user=vaughan [2010-07-03 13:40:27] 499*2^839101-1 is not prime. Res64: BA1A6F4BC7CCDA30 Time : 55866.0 sec. user=vaughan [2010-07-03 13:40:56] 573*2^839312-1 is not prime. Res64: 17219F6A94F263D4 Time : 719.0 sec. user=vaughan [2010-07-03 13:41:17] 599*2^839312-1 is not prime. Res64: 69A73A29EE72885A Time : 720.0 sec. user=vaughan [2010-07-03 13:41:24] 471*2^839313-1 is not prime. Res64: C2DE09E512568B3B Time : 720.0 sec. user=vaughan [2010-07-03 13:41:27] 585*2^839204-1 is not prime. Res64: B5BF4D66BCF73A60 Time : 27535.0 sec. user=vaughan [2010-07-03 13:43:48] 587*2^839210-1 is not prime. Res64: B18F40107A1BD020 Time : 26230.0 sec. user=vaughan [2010-07-03 13:43:49] 539*2^839308-1 is not prime. Res64: BE7EEB22DBC4E35B Time : 2912.0 sec. user=vaughan [2010-07-03 13:44:52] 531*2^839179-1 is not prime. Res64: 8565C9C1714EB2CC Time : 33659.0 sec. user=vaughan [2010-07-03 13:45:07] 463*2^839195-1 is not prime. Res64: 8EC52F859A850FED Time : 29701.0 sec. user=vaughan [2010-07-03 13:45:22] 441*2^839205-1 is not prime. Res64: 53409216A64BB6C7 Time : 27660.0 sec. user=vaughan [2010-07-03 13:46:32] 417*2^839178-1 is not prime. Res64: F2DCA350C1CB90CF Time : 34077.0 sec. user=vaughan [2010-07-03 13:46:50] 545*2^839204-1 is not prime. Res64: 8DBDD28AB2B02FD3 Time : 28054.0 sec. user=Flatlander [2010-07-03 13:47:08] 561*2^839302-1 is not prime. Res64: 065D58E41E1F114C Time : 4262.0 sec. user=Flatlander [2010-07-03 13:47:08] 423*2^839303-1 is not prime. Res64: 105F1ECE8C9F8D08 Time : 4261.0 sec. user=Flatlander [2010-07-03 13:47:09] 433*2^839303-1 is not prime. Res64: B301DADC996F021D Time : 4260.0 sec. user=Flatlander [2010-07-03 13:47:10] 453*2^839303-1 is not prime. Res64: DA69B7DAD0C09EC1 Time : 4260.0 sec. user=Flatlander [2010-07-03 13:47:11] 559*2^839303-1 is not prime. Res64: 330BEE917F7E55FD Time : 4259.0 sec. user=Flatlander [2010-07-03 13:47:16] 585*2^839303-1 is not prime. Res64: 418CAE34EDF04DA4 Time : 4253.0 sec. user=Flatlander [2010-07-03 13:47:16] 425*2^839304-1 is not prime. Res64: E82A2CDC9C188A72 Time : 4252.0 sec. user=Flatlander [2010-07-03 13:47:17] 479*2^839304-1 is not prime. Res64: 7CADF894F0EFFDD1 Time : 4252.0 sec. user=Flatlander [2010-07-03 13:47:18] 489*2^839304-1 is not prime. Res64: 8ECD77369FE21590 Time : 4252.0 sec. user=Flatlander [2010-07-03 13:47:19] 557*2^839304-1 is not prime. Res64: 3E2252F4B087BBA1 Time : 4252.0 sec. user=vaughan [2010-07-03 13:49:26] 539*2^839184-1 is not prime. Res64: 85F9FF84B301C077 Time : 32149.0 sec. user=vaughan [2010-07-03 13:50:35] 489*2^839180-1 is not prime. Res64: E1309191A70F2951 Time : 33573.0 sec. user=vaughan [2010-07-03 13:52:56] 553*2^839315-1 is not prime. Res64: D75E74BFF6F56974 Time : 720.0 sec. user=vaughan [2010-07-03 13:53:17] 579*2^839315-1 is not prime. Res64: 8CAF6160CCA50528 Time : 720.0 sec. user=vaughan [2010-07-03 13:53:23] 591*2^839315-1 is not prime. Res64: A4FE9A478957E97F Time : 720.0 sec. user=vaughan [2010-07-03 13:56:25] 471*2^839199-1 is not prime. Res64: 15EB6254E83E0F11 Time : 30038.0 sec. user=vaughan [2010-07-03 13:56:38] 577*2^839205-1 is not prime. Res64: 2C65130147950CA6 Time : 28335.0 sec. user=vaughan [2010-07-03 13:57:04] 503*2^839148-1 is not prime. Res64: 6E4EEC6BEAFBD277 Time : 44942.0 sec. user=vaughan [2010-07-03 13:58:36] 501*2^839199-1 is not prime. Res64: B7A7384BBA6B38B3 Time : 30001.0 sec. user=vaughan [2010-07-03 13:58:49] 411*2^839214-1 is not prime. Res64: 39847C62A4D0F03A Time : 26539.0 sec. user=vaughan [2010-07-03 14:01:09] 579*2^839217-1 is not prime. Res64: F32C23847F823001 Time : 26174.0 sec. user=vaughan [2010-07-03 14:01:49] 561*2^839182-1 is not prime. Res64: 1C0EFE83A6BFCA8F Time : 33653.0 sec. user=vaughan [2010-07-03 14:03:27] 437*2^839212-1 is not prime. Res64: 526646F756AE778F Time : 27092.0 sec. user=vaughan [2010-07-03 14:03:42] 555*2^839181-1 is not prime. Res64: DCB74A6DD43E7A4E Time : 34062.0 sec. user=vaughan [2010-07-03 14:04:54] 487*2^839321-1 is not prime. Res64: 0FC6E6D63FF1C3E8 Time : 719.0 sec. user=vaughan [2010-07-03 14:05:16] 525*2^839321-1 is not prime. Res64: 1EC4508C64757232 Time : 720.0 sec. user=vaughan [2010-07-03 14:05:23] 565*2^839321-1 is not prime. Res64: BBEA8A7C43995F40 Time : 720.0 sec. user=vaughan [2010-07-03 14:05:40] 537*2^839188-1 is not prime. Res64: DEECF87E2A5BF8C8 Time : 32150.0 sec. user=vaughan [2010-07-03 14:07:30] 501*2^839183-1 is not prime. Res64: 35D55875C3D02A46 Time : 33559.0 sec. user=vaughan [2010-07-03 14:08:35] 483*2^839202-1 is not prime. Res64: 12C1318A0803122D Time : 29902.0 sec. user=vaughan [2010-07-03 14:12:17] 503*2^839112-1 is not prime. Res64: 2C0EB89352E94476 Time : 55922.0 sec. user=vaughan [2010-07-03 14:14:55] 555*2^839209-1 is not prime. Res64: D9751A8DF86783E0 Time : 28619.0 sec. user=vaughan [2010-07-03 14:16:54] 589*2^839323-1 is not prime. Res64: 5458090360636B5D Time : 720.0 sec. user=vaughan [2010-07-03 14:17:17] 473*2^839324-1 is not prime. Res64: 9E38D383FE14EACB Time : 721.0 sec. user=vaughan [2010-07-03 14:17:22] 483*2^839324-1 is not prime. Res64: 8866EE4FB1C552F8 Time : 720.0 sec. user=vaughan [2010-07-03 14:18:47] 555*2^839185-1 is not prime. Res64: D70374F5EA8D38FD Time : 33651.0 sec. user=vaughan [2010-07-03 14:19:38] 483*2^839214-1 is not prime. Res64: 8CA7B6209D8CAF64 Time : 27742.0 sec. user=vaughan [2010-07-03 14:20:53] 503*2^839184-1 is not prime. Res64: 4CEBCF4764B5ACF3 Time : 34055.0 sec. user=vaughan [2010-07-03 14:21:09] 593*2^839222-1 is not prime. Res64: 87F80F012C439C63 Time : 26749.0 sec. user=vaughan [2010-07-03 14:21:52] 457*2^839193-1 is not prime. Res64: EE02BF2CFFE1DAD7 Time : 32150.0 sec. user=vaughan [2010-07-03 14:22:39] 477*2^839153-1 is not prime. Res64: 26E9B2CCB7B6DE5E Time : 45229.0 sec. user=vaughan [2010-07-03 14:24:23] 531*2^839186-1 is not prime. Res64: 92188E7276E115EE Time : 33555.0 sec. user=vaughan [2010-07-03 14:25:15] 587*2^839314-1 is not prime. Res64: 02E0D60F1E3D1065 Time : 2715.0 sec. user=vaughan [2010-07-03 14:26:17] 523*2^839223-1 is not prime. Res64: 1BF1F4D2379A52F7 Time : 26622.0 sec. user=vaughan [2010-07-03 14:28:55] 469*2^839325-1 is not prime. Res64: 814B2BD3E8185969 Time : 721.0 sec. user=vaughan [2010-07-03 14:29:19] 475*2^839325-1 is not prime. Res64: 8C6561080AF40246 Time : 722.0 sec. user=vaughan [2010-07-03 14:29:24] 529*2^839325-1 is not prime. Res64: 05FDB15112ABE966 Time : 722.0 sec. user=vaughan [2010-07-03 14:30:15] 459*2^839316-1 is not prime. Res64: D128D85ACC24ED47 Time : 2786.0 sec. user=vaughan [2010-07-03 14:35:44] 517*2^839189-1 is not prime. Res64: 68732A55E3E39DAB Time : 33650.0 sec. user=vaughan [2010-07-03 14:38:03] 435*2^839189-1 is not prime. Res64: F0A4D85858A221D5 Time : 34056.0 sec. user=vaughan [2010-07-03 14:38:05] 409*2^839201-1 is not prime. Res64: ADA701D90801F98B Time : 32151.0 sec. user=vaughan [2010-07-03 14:38:49] 477*2^839204-1 is not prime. Res64: A719A4DD110AC8A2 Time : 31203.0 sec. user=vaughan [2010-07-03 14:40:48] 585*2^839220-1 is not prime. Res64: FB7BFC2C000DF3AF Time : 28268.0 sec. user=vaughan [2010-07-03 14:40:54] 585*2^839328-1 is not prime. Res64: C6DA9B616F41D452 Time : 720.0 sec. user=vaughan [2010-07-03 14:41:18] 585*2^839192-1 is not prime. Res64: 72AE1ACF203A2DEA Time : 33556.0 sec. user=vaughan [2010-07-03 14:41:19] 411*2^839329-1 is not prime. Res64: FF910F448E1CB45A Time : 721.0 sec. user=vaughan [2010-07-03 14:41:25] 415*2^839329-1 is not prime. Res64: E8CDAD48EE6E3AF6 Time : 721.0 sec. user=vaughan [2010-07-03 14:43:59] 439*2^839207-1 is not prime. Res64: BEC669CBF7F87C9A Time : 30819.0 sec. user=vaughan [2010-07-03 14:45:21] 405*2^839120-1 is not prime. Res64: 91CC16A35804AC0A Time : 55687.0 sec. user=vaughan [2010-07-03 14:48:05] 425*2^839156-1 is not prime. Res64: FCE79853141BD74C Time : 45338.0 sec. user=vaughan [2010-07-03 14:49:17] 441*2^839203-1 is not prime. Res64: 6DF7F05949AD1139 Time : 32074.0 sec. user=vaughan [2010-07-03 14:51:54] 417*2^839214-1 is not prime. Res64: ADB8BADF6187B893 Time : 29711.0 sec. user=vaughan [2010-07-03 14:52:42] 425*2^839196-1 is not prime. Res64: 7B4882F10F48A271 Time : 33651.0 sec. user=vaughan [2010-07-03 14:52:54] 483*2^839330-1 is not prime. Res64: B34D22A5C4CAC16F Time : 720.0 sec. user=vaughan [2010-07-03 14:53:20] 545*2^839330-1 is not prime. Res64: 5F9C16163F49CC50 Time : 721.0 sec. user=vaughan [2010-07-03 14:53:26] 593*2^839330-1 is not prime. Res64: 2AED90E2D91EBCD3 Time : 721.0 sec. user=vaughan [2010-07-03 14:54:18] 465*2^839204-1 is not prime. Res64: 4CF1DFEEA726A72B Time : 32148.0 sec. user=vaughan [2010-07-03 14:55:13] 565*2^839193-1 is not prime. Res64: 7EDE983F0B5D536D Time : 34055.0 sec. user=Flatlander [2010-07-03 14:56:44] 441*2^839319-1 is not prime. Res64: 655979A9F1F5688C Time : 4164.0 sec. user=Flatlander [2010-07-03 14:56:44] 565*2^839319-1 is not prime. Res64: A85D3111ABADC04B Time : 4163.0 sec. user=Flatlander [2010-07-03 14:56:44] 423*2^839320-1 is not prime. Res64: F4083FE35E973230 Time : 4162.0 sec. user=Flatlander [2010-07-03 14:56:45] 467*2^839320-1 is not prime. Res64: 2DF1EEE6E394B492 Time : 4162.0 sec. user=Flatlander [2010-07-03 14:56:45] 509*2^839320-1 is not prime. Res64: AAEBC85FCE650A25 Time : 4161.0 sec. user=Flatlander [2010-07-03 14:56:46] 441*2^839317-1 is not prime. Res64: F878FAA2E2690A88 Time : 4173.0 sec. user=Flatlander [2010-07-03 14:56:46] 495*2^839317-1 is not prime. Res64: 63D2C3DA104106E6 Time : 4172.0 sec. user=Flatlander [2010-07-03 14:56:47] 537*2^839317-1 is not prime. Res64: 58E337A6CADA2517 Time : 4171.0 sec. user=Flatlander [2010-07-03 14:56:47] 507*2^839318-1 is not prime. Res64: E722D38FC2DFB84C Time : 4170.0 sec. user=Flatlander [2010-07-03 14:56:48] 585*2^839318-1 is not prime. Res64: B620B8B64014EA8D Time : 4169.0 sec. user=vaughan [2010-07-03 14:58:02] 437*2^839328-1 is not prime. Res64: 3B8BEAF6AF45A854 Time : 1967.0 sec. user=vaughan [2010-07-03 14:58:12] 523*2^839199-1 is not prime. Res64: 0E2832BD583B03BB Time : 33557.0 sec. user=vaughan [2010-07-03 14:59:07] 465*2^839226-1 is not prime. Res64: 0BE4F9EFEC905AFE Time : 27903.0 sec. user=vaughan [2010-07-03 15:04:22] 595*2^839227-1 is not prime. Res64: 3FF9C75789A292D8 Time : 27845.0 sec. user=vaughan [2010-07-03 15:04:54] 483*2^839332-1 is not prime. Res64: 1326183FA5327B5A Time : 720.0 sec. user=vaughan [2010-07-03 15:05:21] 411*2^839333-1 is not prime. Res64: 9ACAC10768D0E4D1 Time : 721.0 sec. user=vaughan [2010-07-03 15:05:27] 547*2^839333-1 is not prime. Res64: 92D5D041059602AB Time : 721.0 sec. user=vaughan [2010-07-03 15:09:39] 547*2^839201-1 is not prime. Res64: 5669D609502EFE41 Time : 33650.0 sec. user=vaughan [2010-07-03 15:10:32] 489*2^839208-1 is not prime. Res64: DCF8E945447314E5 Time : 32153.0 sec. user=vaughan [2010-07-03 15:12:23] 525*2^839201-1 is not prime. Res64: 3E9FE05C6012D2C5 Time : 34055.0 sec. user=vaughan [2010-07-03 15:12:45] 559*2^839209-1 is not prime. Res64: B20227CC1735DFA3 Time : 32033.0 sec. user=vaughan [2010-07-03 15:15:01] 555*2^839163-1 is not prime. Res64: 3D31EAAA89A61889 Time : 44641.0 sec. user=vaughan [2010-07-03 15:15:07] 425*2^839204-1 is not prime. Res64: E77EF83401ADA847 Time : 33557.0 sec. user=vaughan [2010-07-03 15:16:26] 545*2^839126-1 is not prime. Res64: 81A63A1A1830D0C7 Time : 55322.0 sec. user=vaughan [2010-07-03 15:16:27] 579*2^839211-1 is not prime. Res64: 25D617AD1FABDF7E Time : 31561.0 sec. user=vaughan [2010-07-03 15:16:53] 401*2^839338-1 is not prime. Res64: 4A5E392997B19DF4 Time : 720.0 sec. user=vaughan [2010-07-03 15:17:21] 405*2^839338-1 is not prime. Res64: FD1219749B8E52B5 Time : 721.0 sec. user=vaughan [2010-07-03 15:17:27] 497*2^839338-1 is not prime. Res64: 61ABA134110C867A Time : 720.0 sec. user=vaughan [2010-07-03 15:17:59] 445*2^839223-1 is not prime. Res64: EE5216048647AC90 Time : 30113.0 sec. user=vaughan [2010-07-03 15:18:55] 433*2^839223-1 is not prime. Res64: E382B5DCAF0E5000 Time : 30206.0 sec. user=vaughan [2010-07-03 15:26:35] 421*2^839207-1 is not prime. Res64: CC876CEF55D86726 Time : 33649.0 sec. user=vaughan [2010-07-03 15:26:45] 419*2^839212-1 is not prime. Res64: 6845C2D282B3E11B Time : 32154.0 sec. user=vaughan [2010-07-03 15:28:52] 597*2^839340-1 is not prime. Res64: 85A1F03A7EFA0A2E Time : 719.0 sec. user=vaughan [2010-07-03 15:29:21] 411*2^839341-1 is not prime. Res64: C126277032C412B6 Time : 721.0 sec. user=vaughan [2010-07-03 15:29:27] 469*2^839341-1 is not prime. Res64: 502FD743CCC17A5A Time : 721.0 sec. user=vaughan [2010-07-03 15:29:35] 563*2^839204-1 is not prime. Res64: 87C2D41D7974A9B4 Time : 34056.0 sec. user=vaughan [2010-07-03 15:29:55] 549*2^839207-1 is not prime. Res64: 59757C919EB5612F Time : 33376.0 sec. user=vaughan [2010-07-03 15:30:08] 477*2^839329-1 is not prime. Res64: 0271210B07EE3100 Time : 3593.0 sec. user=vaughan [2010-07-03 15:32:00] 505*2^839207-1 is not prime. Res64: 2F4543D33E954318 Time : 33556.0 sec. user=vaughan [2010-07-03 15:36:50] 537*2^839232-1 is not prime. Res64: E102F283FBA94A53 Time : 29033.0 sec. user=vaughan [2010-07-03 15:40:50] 477*2^839342-1 is not prime. Res64: 79B19EEC5F77B934 Time : 718.0 sec. user=vaughan [2010-07-03 15:41:22] 515*2^839342-1 is not prime. Res64: F022C8F3EF2431B4 Time : 722.0 sec. user=vaughan [2010-07-03 15:41:26] 525*2^839342-1 is not prime. Res64: 5C13F8FEE2766190 Time : 720.0 sec. user=vaughan [2010-07-03 15:41:47] 425*2^839234-1 is not prime. Res64: CAF702D964164517 Time : 29026.0 sec. user=vaughan [2010-07-03 15:42:59] 563*2^839220-1 is not prime. Res64: 4E72A65DA9BCB1D0 Time : 32156.0 sec. user=vaughan [2010-07-03 15:43:33] 565*2^839209-1 is not prime. Res64: 3A4C97F88D092645 Time : 33649.0 sec. user=vaughan [2010-07-03 15:44:59] 445*2^839225-1 is not prime. Res64: DC4ED8384EBFA768 Time : 31059.0 sec. user=vaughan [2010-07-03 15:46:47] 561*2^839209-1 is not prime. Res64: 8336770FB0F0F100 Time : 34058.0 sec. user=vaughan [2010-07-03 15:47:01] 473*2^839226-1 is not prime. Res64: A930D90315FDBF6C Time : 30752.0 sec. user=vaughan [2010-07-03 15:47:37] 537*2^839221-1 is not prime. Res64: D388043B017B0216 Time : 32223.0 sec. user=vaughan [2010-07-03 15:48:55] 511*2^839211-1 is not prime. Res64: 1E040A94F3A45533 Time : 33555.0 sec. user=vaughan [2010-07-03 15:51:43] 447*2^839216-1 is not prime. Res64: E900F86E81B5B4F4 Time : 33167.0 sec. user=vaughan [2010-07-03 15:52:48] 413*2^839166-1 is not prime. Res64: 8C3F7CBC24CD054B Time : 46413.0 sec. user=vaughan [2010-07-03 15:52:52] 537*2^838561-1 is not prime. Res64: 85862907C2AAFBA0 Time : 722.0 sec. user=vaughan [2010-07-03 15:53:25] 549*2^838561-1 is not prime. Res64: 747FE7E8FB6F81C7 Time : 723.0 sec. user=vaughan [2010-07-03 15:53:29] 591*2^838561-1 is not prime. Res64: CD666026C548E38E Time : 723.0 sec. user=vaughan [2010-07-03 15:57:48] 441*2^839337-1 is not prime. Res64: 0D6A456BAAF68DA7 Time : 3586.0 sec. user=vaughan [2010-07-03 15:57:57] 567*2^839134-1 is not prime. Res64: D63613BBE2D1996F Time : 55683.0 sec. user=vaughan [2010-07-03 15:59:11] 543*2^839223-1 is not prime. Res64: 80568CDFC5EB3E9F Time : 32155.0 sec. user=vaughan [2010-07-03 16:00:30] 459*2^839216-1 is not prime. Res64: 293EF1C602097A6E Time : 33647.0 sec. user=vaughan [2010-07-03 16:03:58] 573*2^839212-1 is not prime. Res64: 4CB0E54D8BA12C9A Time : 34058.0 sec. user=vaughan [2010-07-03 16:04:51] 565*2^839345-1 is not prime. Res64: 812AF28C2BC5FDB3 Time : 719.0 sec. user=vaughan [2010-07-03 16:05:25] 585*2^839345-1 is not prime. Res64: 91CC601394FC339B Time : 720.0 sec. user=vaughan [2010-07-03 16:05:29] 417*2^839346-1 is not prime. Res64: 8C657DE9A1F4A957 Time : 720.0 sec. user=vaughan [2010-07-03 16:05:48] 481*2^839219-1 is not prime. Res64: E5BBE887CFB3FBC4 Time : 33553.0 sec. user=Flatlander [2010-07-03 16:07:34] 453*2^839334-1 is not prime. Res64: 620A8A66FA03A9D5 Time : 4248.0 sec. user=Flatlander [2010-07-03 16:07:34] 465*2^839334-1 is not prime. Res64: 225C8A1CDB4108F8 Time : 4247.0 sec. user=Flatlander [2010-07-03 16:07:35] 485*2^839334-1 is not prime. Res64: 4B42236D7348086D Time : 4247.0 sec. user=Flatlander [2010-07-03 16:07:36] 511*2^839335-1 is not prime. Res64: 99AF19AA7173D543 Time : 4247.0 sec. user=Flatlander [2010-07-03 16:07:36] 553*2^839335-1 is not prime. Res64: BE41C27821CA5E55 Time : 4246.0 sec. user=Flatlander [2010-07-03 16:07:43] 463*2^839335-1 is not prime. Res64: 045E8D2E8AED0670 Time : 4255.0 sec. user=Flatlander [2010-07-03 16:07:44] 523*2^839335-1 is not prime. Res64: C79100AD4E6558D1 Time : 4255.0 sec. user=Flatlander [2010-07-03 16:07:45] 449*2^839336-1 is not prime. Res64: E4076FBC4C83457E Time : 4255.0 sec. user=Flatlander [2010-07-03 16:07:46] 573*2^839336-1 is not prime. Res64: 7001BD6AFE5B02B4 Time : 4255.0 sec. user=Flatlander [2010-07-03 16:07:47] 405*2^839337-1 is not prime. Res64: 9BEC1FF06522D4C8 Time : 4255.0 sec. user=vaughan [2010-07-03 16:10:38] 453*2^839212-1 is not prime. Res64: 0DBAE6CFD648D822 Time : 34663.0 sec. user=vaughan [2010-07-03 16:12:49] 405*2^839237-1 is not prime. Res64: 3D704E2765C68464 Time : 30068.0 sec. user=vaughan [2010-07-03 16:15:25] 579*2^839227-1 is not prime. Res64: 517EAF9C919E8DDD Time : 32157.0 sec. user=vaughan [2010-07-03 16:16:48] 465*2^839233-1 is not prime. Res64: F2223BDC2C670763 Time : 31381.0 sec. user=vaughan [2010-07-03 16:16:50] 553*2^839347-1 is not prime. Res64: 61479757B38EBE4B Time : 719.0 sec. user=vaughan [2010-07-03 16:17:07] 573*2^839239-1 is not prime. Res64: 8E6BCF4B9998DD05 Time : 30087.0 sec. user=vaughan [2010-07-03 16:17:26] 413*2^839348-1 is not prime. Res64: 096D2339EC123C20 Time : 722.0 sec. user=vaughan [2010-07-03 16:17:28] 451*2^839223-1 is not prime. Res64: 6C73BF591552E574 Time : 33647.0 sec. user=vaughan [2010-07-03 16:17:29] 425*2^839348-1 is not prime. Res64: 66F2A2148C1B9A85 Time : 720.0 sec. user=vaughan [2010-07-03 16:20:06] 453*2^839170-1 is not prime. Res64: 576487E8654D5E13 Time : 46434.0 sec. user=vaughan [2010-07-03 16:21:09] 581*2^839222-1 is not prime. Res64: 93A3C7AA00290F93 Time : 34058.0 sec. user=vaughan [2010-07-03 16:21:21] 465*2^839225-1 is not prime. Res64: 3AA1F673C937C7F0 Time : 33041.0 sec. user=vaughan [2010-07-03 16:22:43] 447*2^839224-1 is not prime. Res64: DF48B4A57AB7526C Time : 33553.0 sec. user=vaughan [2010-07-03 16:28:14] 593*2^839144-1 is not prime. Res64: E516C00135E46F40 Time : 55324.0 sec. user=vaughan [2010-07-03 16:28:49] 459*2^839351-1 is not prime. Res64: A5FAC68CC0AC6467 Time : 719.0 sec. user=vaughan [2010-07-03 16:29:27] 557*2^839352-1 is not prime. Res64: D72E10C18987CED8 Time : 722.0 sec. user=vaughan [2010-07-03 16:29:31] 593*2^839352-1 is not prime. Res64: AF51778FC2E31624 Time : 722.0 sec. user=vaughan [2010-07-03 16:30:19] 515*2^839226-1 is not prime. Res64: B8F48FE74173754A Time : 33328.0 sec. user=vaughan [2010-07-03 16:31:26] 587*2^839342-1 is not prime. Res64: 1EEE3AEA8A3D77F8 Time : 3678.0 sec. user=vaughan [2010-07-03 16:31:37] 477*2^839233-1 is not prime. Res64: 9FB213B8ADC0EF80 Time : 32158.0 sec. user=vaughan [2010-07-03 16:31:45] 459*2^839223-1 is not prime. Res64: 5E90ACDB06A534C8 Time : 34366.0 sec. user=vaughan [2010-07-03 16:34:24] 431*2^839226-1 is not prime. Res64: D58B56B7D97BED30 Time : 33646.0 sec. user=vaughan [2010-07-03 16:38:19] 517*2^839225-1 is not prime. Res64: 5D465B68CB1C48EB Time : 34058.0 sec. user=vaughan [2010-07-03 16:39:36] 557*2^839228-1 is not prime. Res64: 309E7B308777C8E7 Time : 33552.0 sec. user=vaughan [2010-07-03 16:40:50] 549*2^839353-1 is not prime. Res64: DC66B4517D92B817 Time : 721.0 sec. user=vaughan [2010-07-03 16:41:30] 561*2^839353-1 is not prime. Res64: B71CB5C5261DE9E9 Time : 723.0 sec. user=vaughan [2010-07-03 16:41:34] 417*2^839354-1 is not prime. Res64: 5003BDD1696AE2D5 Time : 724.0 sec. user=vaughan [2010-07-03 16:42:12] 577*2^839221-1 is not prime. Res64: 4FE1F29C52A5A680 Time : 35442.0 sec. user=vaughan [2010-07-03 16:47:16] 557*2^839174-1 is not prime. Res64: 8F49291739BBAC50 Time : 46442.0 sec. user=vaughan [2010-07-03 16:47:50] 441*2^839237-1 is not prime. Res64: C54744E39D669380 Time : 32158.0 sec. user=vaughan [2010-07-03 16:47:50] 579*2^839244-1 is not prime. Res64: EE1D477DB9448210 Time : 31043.0 sec. user=vaughan [2010-07-03 16:51:01] 455*2^839232-1 is not prime. Res64: 7AA98E96EBE23C67 Time : 33602.0 sec. user=vaughan [2010-07-03 16:51:21] 429*2^839232-1 is not prime. Res64: 4949B769D58D1B19 Time : 33645.0 sec. user=vaughan [2010-07-03 16:52:07] 511*2^839351-1 is not prime. Res64: 578432D7A1AC4DCF Time : 2100.0 sec. user=vaughan [2010-07-03 16:52:54] 531*2^839355-1 is not prime. Res64: 648292947415CBAF Time : 725.0 sec. user=vaughan [2010-07-03 16:53:38] 579*2^839355-1 is not prime. Res64: 2E28A6C9516B60D5 Time : 728.0 sec. user=vaughan [2010-07-03 16:53:43] 583*2^839355-1 is not prime. Res64: 0C3A1C4013D0FDF2 Time : 729.0 sec. user=vaughan [2010-07-03 16:55:29] 525*2^839229-1 is not prime. Res64: B21532C7E3C262C8 Time : 34228.0 sec. user=vaughan [2010-07-03 16:55:37] 483*2^839230-1 is not prime. Res64: 160D9CEB85AABB99 Time : 34065.0 sec. user=vaughan [2010-07-03 16:56:35] 589*2^839233-1 is not prime. Res64: 2086200C7F92DE37 Time : 33556.0 sec. user=vaughan [2010-07-03 16:58:03] 521*2^839346-1 is not prime. Res64: 432337956A2898DE Time : 3615.0 sec. user=vaughan [2010-07-03 16:59:18] 507*2^839152-1 is not prime. Res64: 2C799EBAD1C826C7 Time : 54897.0 sec. user=vaughan [2010-07-03 16:59:39] 555*2^839227-1 is not prime. Res64: 7BD2BECC56A4A0B4 Time : 34819.0 sec. user=vaughan [2010-07-03 16:59:59] 489*2^839237-1 is not prime. Res64: D04D83468AE2B787 Time : 32843.0 sec. user=vaughan [2010-07-03 17:04:10] 557*2^839244-1 is not prime. Res64: E78473D8C875E081 Time : 32165.0 sec. user=vaughan [2010-07-03 17:04:59] 481*2^839359-1 is not prime. Res64: AB5D886B863FFA6B Time : 726.0 sec. user=vaughan [2010-07-03 17:05:48] 559*2^839359-1 is not prime. Res64: 8628B3C341DAA87C Time : 730.0 sec. user=vaughan [2010-07-03 17:05:53] 579*2^839359-1 is not prime. Res64: DC1F65E9662B322C Time : 731.0 sec. user=vaughan [2010-07-03 17:08:21] 537*2^839236-1 is not prime. Res64: 72F91FE27432E629 Time : 33647.0 sec. user=vaughan [2010-07-03 17:08:33] 459*2^839225-1 is not prime. Res64: 88DFBD2E78890389 Time : 35889.0 sec. user=vaughan [2010-07-03 17:12:20] 451*2^839179-1 is not prime. Res64: A5457A6A15DCCDE5 Time : 46333.0 sec. user=vaughan [2010-07-03 17:13:27] 447*2^839236-1 is not prime. Res64: 750B4CCBC78DDB16 Time : 34104.0 sec. user=vaughan [2010-07-03 17:13:31] 405*2^839238-1 is not prime. Res64: DB528A8789D9B493 Time : 33558.0 sec. user=vaughan [2010-07-03 17:17:02] 503*2^839362-1 is not prime. Res64: 6C6BB65D9946EF54 Time : 724.0 sec. user=Flatlander [2010-07-03 17:17:44] 515*2^839348-1 is not prime. Res64: CEBC971386DCE851 Time : 4206.0 sec. user=Flatlander [2010-07-03 17:17:44] 539*2^839348-1 is not prime. Res64: C8349CE6BF91AE34 Time : 4205.0 sec. user=Flatlander [2010-07-03 17:17:46] 579*2^839348-1 is not prime. Res64: 87E032990C15F6A7 Time : 4205.0 sec. user=Flatlander [2010-07-03 17:17:46] 415*2^839349-1 is not prime. Res64: 6FF54C387BE4FC66 Time : 4204.0 sec. user=Flatlander [2010-07-03 17:17:47] 499*2^839349-1 is not prime. Res64: C6AC53DC98C77547 Time : 4203.0 sec. user=vaughan [2010-07-03 17:17:57] 507*2^839362-1 is not prime. Res64: D28B280685213F65 Time : 729.0 sec. user=vaughan [2010-07-03 17:18:01] 555*2^839362-1 is not prime. Res64: B8DF8BE1D8B05173 Time : 729.0 sec. user=Flatlander [2010-07-03 17:18:06] 537*2^839349-1 is not prime. Res64: BB3BF16A699947D0 Time : 4217.0 sec. user=Flatlander [2010-07-03 17:18:06] 549*2^839349-1 is not prime. Res64: 8D93E0C5F220710A Time : 4216.0 sec. user=Flatlander [2010-07-03 17:18:07] 571*2^839349-1 is not prime. Res64: 207F81E96B5C50CF Time : 4216.0 sec. user=Flatlander [2010-07-03 17:18:07] 483*2^839350-1 is not prime. Res64: 899989761AD79A39 Time : 4215.0 sec. user=Flatlander [2010-07-03 17:18:08] 495*2^839350-1 is not prime. Res64: E3EAEE501495BC0D Time : 4214.0 sec. user=vaughan [2010-07-03 17:19:40] 597*2^839236-1 is not prime. Res64: FF08C89978AB7C53 Time : 34111.0 sec. user=vaughan [2010-07-03 17:20:32] 507*2^839246-1 is not prime. Res64: 39AED3A765A104E4 Time : 32174.0 sec. user=vaughan [2010-07-03 17:25:01] 529*2^839357-1 is not prime. Res64: D7C24F73DDC6CE2F Time : 2231.0 sec. user=vaughan [2010-07-03 17:25:18] 561*2^839242-1 is not prime. Res64: 6DBD349D628DFB59 Time : 33647.0 sec. user=vaughan [2010-07-03 17:29:06] 459*2^839364-1 is not prime. Res64: 3602490C9AB54ECA Time : 724.0 sec. user=vaughan [2010-07-03 17:29:35] 573*2^839354-1 is not prime. Res64: 857F4E0925800543 Time : 3490.0 sec. user=vaughan [2010-07-03 17:29:47] 525*2^839234-1 is not prime. Res64: 9C7FFAA256870F2C Time : 35394.0 sec. user=vaughan [2010-07-03 17:29:54] 525*2^839358-1 is not prime. Res64: 918D7C75AE44016E Time : 2267.0 sec. user=vaughan [2010-07-03 17:30:07] 465*2^839365-1 is not prime. Res64: 35D660322056A8AD Time : 731.0 sec. user=vaughan [2010-07-03 17:30:12] 477*2^839365-1 is not prime. Res64: BA40DA0E3AD3A9FD Time : 731.0 sec. user=vaughan [2010-07-03 17:30:16] 465*2^839245-1 is not prime. Res64: DE3452EE4A384557 Time : 33547.0 sec. user=vaughan [2010-07-03 17:30:26] 525*2^839242-1 is not prime. Res64: FC0F1FE69BEDA5D7 Time : 34092.0 sec. user=vaughan [2010-07-03 17:34:10] 569*2^839232-1 is not prime. Res64: DEAF8E548DB72774 Time : 36026.0 sec. user=vaughan [2010-07-03 17:34:36] 465*2^839163-1 is not prime. Res64: D0F864339BA5260A Time : 53018.0 sec. user=vaughan [2010-07-03 17:36:06] 565*2^839245-1 is not prime. Res64: 0170978A79536C23 Time : 33885.0 sec. user=vaughan [2010-07-03 17:36:43] 589*2^839249-1 is not prime. Res64: 66DAC4F22BA66538 Time : 32173.0 sec. user=vaughan [2010-07-03 17:37:15] 595*2^839231-1 is not prime. Res64: 492C6015D30ABA6C Time : 36470.0 sec. user=vaughan [2010-07-03 17:37:16] 489*2^839183-1 is not prime. Res64: AC3B6D4D8093D184 Time : 46200.0 sec. user=vaughan [2010-07-03 17:41:09] 479*2^839368-1 is not prime. Res64: 7C44A0B405A85C56 Time : 723.0 sec. user=vaughan [2010-07-03 17:41:54] 473*2^839246-1 is not prime. Res64: 8FF38D756A8B8A01 Time : 33627.0 sec. user=vaughan [2010-07-03 17:42:15] 559*2^839369-1 is not prime. Res64: FBBBA0D28B09485F Time : 729.0 sec. user=vaughan [2010-07-03 17:42:19] 577*2^839369-1 is not prime. Res64: 278F983EE679B4D7 Time : 728.0 sec. user=vaughan [2010-07-03 17:46:53] 439*2^839247-1 is not prime. Res64: E1BE8CC681F02949 Time : 33530.0 sec. user=vaughan [2010-07-03 17:46:59] 455*2^839246-1 is not prime. Res64: 7AA041A14B705992 Time : 34054.0 sec. user=vaughan [2010-07-03 17:49:00] 499*2^839245-1 is not prime. Res64: 1C70513043D48476 Time : 34665.0 sec. user=vaughan [2010-07-03 17:52:56] 517*2^839253-1 is not prime. Res64: 01CD67F39CD57102 Time : 32146.0 sec. user=vaughan [2010-07-03 17:53:13] 505*2^839371-1 is not prime. Res64: B9FC6A87B00F2672 Time : 725.0 sec. user=vaughan [2010-07-03 17:54:24] 535*2^839371-1 is not prime. Res64: 08A184230D76CFA1 Time : 730.0 sec. user=vaughan [2010-07-03 17:54:28] 533*2^839372-1 is not prime. Res64: 6BD65A3637B8C0FC Time : 729.0 sec. user=vaughan [2010-07-03 17:56:19] 587*2^839360-1 is not prime. Res64: 80A10F94F77034A5 Time : 3496.0 sec. user=vaughan [2010-07-03 17:58:30] 535*2^839249-1 is not prime. Res64: 54ACE2B7190AC543 Time : 33604.0 sec. user=vaughan [2010-07-03 17:59:07] 435*2^839236-1 is not prime. Res64: 7F49EFDB89814502 Time : 36980.0 sec. user=vaughan [2010-07-03 18:01:26] 471*2^839242-1 is not prime. Res64: 9B8DCE62BB20491F Time : 36087.0 sec. user=vaughan [2010-07-03 18:02:34] 555*2^839367-1 is not prime. Res64: B39D99B609DAD928 Time : 2254.0 sec. user=vaughan [2010-07-03 18:03:27] 483*2^839251-1 is not prime. Res64: 3AAD102F4C2072EA Time : 33490.0 sec. user=vaughan [2010-07-03 18:03:33] 465*2^839249-1 is not prime. Res64: 8685953EBDE286E0 Time : 34018.0 sec. user=vaughan [2010-07-03 18:03:38] 509*2^839368-1 is not prime. Res64: E2D0A17D59912EFB Time : 2043.0 sec. user=vaughan [2010-07-03 18:04:56] 475*2^839193-1 is not prime. Res64: 02C24F25AD937CD5 Time : 45471.0 sec. user=vaughan [2010-07-03 18:05:18] 459*2^839373-1 is not prime. Res64: 03BA158FD2C9E21E Time : 726.0 sec. user=vaughan [2010-07-03 18:06:00] 539*2^839236-1 is not prime. Res64: 10C0FFFC73DAA837 Time : 37058.0 sec. user=vaughan [2010-07-03 18:06:32] 471*2^839373-1 is not prime. Res64: 98A40D33C723D1E1 Time : 728.0 sec. user=vaughan [2010-07-03 18:06:36] 555*2^839373-1 is not prime. Res64: 5140E9B30676264A Time : 729.0 sec. user=vaughan [2010-07-03 18:07:52] 501*2^839369-1 is not prime. Res64: F6B08C4F9ECDDBBA Time : 2278.0 sec. user=vaughan [2010-07-03 18:07:57] 507*2^839165-1 is not prime. Res64: F13688D3B16D6083 Time : 54681.0 sec. user=vaughan [2010-07-03 18:09:10] 411*2^839259-1 is not prime. Res64: 23B9F9A8D1F77409 Time : 32131.0 sec. user=vaughan [2010-07-03 18:09:25] 483*2^839248-1 is not prime. Res64: 4FE34C45BBCB544A Time : 34756.0 sec. user=vaughan [2010-07-03 18:15:07] 593*2^839252-1 is not prime. Res64: 8C8FAD6596253727 Time : 33567.0 sec. user=vaughan [2010-07-03 18:17:09] 573*2^839248-1 is not prime. Res64: 012EEDBC57C45054 Time : 35148.0 sec. user=vaughan [2010-07-03 18:17:21] 455*2^839376-1 is not prime. Res64: 53F28683CF7B3DDE Time : 724.0 sec. user=vaughan [2010-07-03 18:18:43] 527*2^839376-1 is not prime. Res64: 73906902D1A9FE43 Time : 732.0 sec. user=vaughan [2010-07-03 18:18:47] 537*2^839376-1 is not prime. Res64: 9E64C42AE86B97F7 Time : 732.0 sec. user=vaughan [2010-07-03 18:20:07] 571*2^839253-1 is not prime. Res64: 7CDB76DF51A5756E Time : 33461.0 sec. user=vaughan [2010-07-03 18:20:08] 525*2^839252-1 is not prime. Res64: B27F3B032E38D284 Time : 33968.0 sec. user=vaughan [2010-07-03 18:25:24] 441*2^839263-1 is not prime. Res64: D11525B825602849 Time : 32130.0 sec. user=vaughan [2010-07-03 18:29:25] 573*2^839378-1 is not prime. Res64: D2E7A84AEB4A73D0 Time : 724.0 sec. user=vaughan [2010-07-03 18:30:22] 413*2^839374-1 is not prime. Res64: D500327E7AD5CEC2 Time : 2044.0 sec. user=vaughan [2010-07-03 18:30:52] 531*2^839379-1 is not prime. Res64: BFD6941F4F499EFE Time : 730.0 sec. user=vaughan [2010-07-03 18:30:56] 429*2^839380-1 is not prime. Res64: 1753405F1E4354DF Time : 730.0 sec. user=vaughan [2010-07-03 18:31:53] 561*2^839258-1 is not prime. Res64: F57D4B53F5A3DA73 Time : 33551.0 sec. user=vaughan [2010-07-03 18:31:59] 461*2^839246-1 is not prime. Res64: DD52F893FC268BE8 Time : 36710.0 sec. user=vaughan [2010-07-03 18:33:23] 485*2^839202-1 is not prime. Res64: AF9E5C6978E2A1B6 Time : 45612.0 sec. user=vaughan [2010-07-03 18:34:43] 527*2^839244-1 is not prime. Res64: 7A400ECFE7F94784 Time : 37646.0 sec. user=Flatlander [2010-07-03 18:36:03] 511*2^839365-1 is not prime. Res64: 7327DB80DD9E262D Time : 4674.0 sec. user=Flatlander [2010-07-03 18:36:04] 537*2^839365-1 is not prime. Res64: 7D46DC91E44B1818 Time : 4674.0 sec. user=Flatlander [2010-07-03 18:36:05] 589*2^839365-1 is not prime. Res64: 5B951FC5BDB90A7A Time : 4674.0 sec. user=Flatlander [2010-07-03 18:36:05] 597*2^839365-1 is not prime. Res64: 06E67AB9EBB19C87 Time : 4673.0 sec. user=Flatlander [2010-07-03 18:36:06] 471*2^839367-1 is not prime. Res64: A713ECC02E6997C8 Time : 4673.0 sec. user=vaughan [2010-07-03 18:36:35] 507*2^839257-1 is not prime. Res64: F21067F8CB9CFD70 Time : 33917.0 sec. user=vaughan [2010-07-03 18:36:45] 585*2^839171-1 is not prime. Res64: 25A14439ACBB5CA1 Time : 54508.0 sec. user=Flatlander [2010-07-03 18:36:47] 503*2^839364-1 is not prime. Res64: C777B8B5B1289AE1 Time : 4740.0 sec. user=Flatlander [2010-07-03 18:36:48] 569*2^839364-1 is not prime. Res64: C66CD77563338001 Time : 4741.0 sec. user=Flatlander [2010-07-03 18:36:49] 593*2^839364-1 is not prime. Res64: 31AE68C702381306 Time : 4741.0 sec. user=Flatlander [2010-07-03 18:36:49] 597*2^839364-1 is not prime. Res64: 42524AD2428CD7B8 Time : 4740.0 sec. user=Flatlander [2010-07-03 18:36:50] 451*2^839365-1 is not prime. Res64: 0B54B28F99A55980 Time : 4740.0 sec. user=vaughan [2010-07-03 18:36:55] 597*2^839260-1 is not prime. Res64: C584F3CDB7156DE3 Time : 33447.0 sec. user=vaughan [2010-07-03 18:37:35] 451*2^839237-1 is not prime. Res64: 9AA8D4AE501DD3DB Time : 38703.0 sec. user=vaughan [2010-07-03 18:37:48] 519*2^839375-1 is not prime. Res64: 6DA6D2B16C08FDCE Time : 2050.0 sec. user=vaughan [2010-07-03 18:40:20] 583*2^839251-1 is not prime. Res64: AD4F695866CFCB0B Time : 35486.0 sec. user=vaughan [2010-07-03 18:41:27] 563*2^839380-1 is not prime. Res64: 195D9D526151F865 Time : 722.0 sec. user=vaughan [2010-07-03 18:41:35] 459*2^839265-1 is not prime. Res64: 29FC2772D528A7BF Time : 32128.0 sec. user=vaughan [2010-07-03 18:42:14] 595*2^839251-1 is not prime. Res64: E97F664166E31053 Time : 35446.0 sec. user=vaughan [2010-07-03 18:42:34] 495*2^839374-1 is not prime. Res64: E988FF60867DA95E Time : 2400.0 sec. user=vaughan [2010-07-03 18:43:04] 593*2^839380-1 is not prime. Res64: 7233DD0D8BF68254 Time : 732.0 sec. user=vaughan [2010-07-03 18:43:04] 417*2^839381-1 is not prime. Res64: EB8BB91E01CD4944 Time : 729.0 sec. user=vaughan [2010-07-03 18:48:09] 405*2^839377-1 is not prime. Res64: A4F515A7611C4437 Time : 2417.0 sec. user=vaughan [2010-07-03 18:48:53] 421*2^839263-1 is not prime. Res64: E0B813BF67B7FA07 Time : 33552.0 sec. user=vaughan [2010-07-03 18:52:57] 525*2^839262-1 is not prime. Res64: 52A8045E4D30E2A6 Time : 33865.0 sec. user=vaughan [2010-07-03 18:53:31] 551*2^839386-1 is not prime. Res64: 08D40BFD2D3B427A Time : 724.0 sec. user=vaughan [2010-07-03 18:53:41] 447*2^839264-1 is not prime. Res64: B665D53FC37EE77A Time : 33437.0 sec. user=vaughan [2010-07-03 18:54:27] 513*2^839242-1 is not prime. Res64: AC47970C6162FF19 Time : 39237.0 sec. user=vaughan [2010-07-03 18:55:13] 519*2^839387-1 is not prime. Res64: D056A4B3371AB23E Time : 729.0 sec. user=vaughan [2010-07-03 18:55:14] 413*2^839388-1 is not prime. Res64: 28D60AFE29D52F75 Time : 730.0 sec. user=vaughan [2010-07-03 18:57:42] 501*2^839267-1 is not prime. Res64: 3BD50B2C120236A4 Time : 32123.0 sec. user=vaughan [2010-07-03 18:58:09] 503*2^839214-1 is not prime. Res64: 1D94E91387FBC2F9 Time : 44404.0 sec. user=vaughan [2010-07-03 19:01:42] 507*2^839258-1 is not prime. Res64: B06B199CC17A5531 Time : 35406.0 sec. user=vaughan [2010-07-03 19:02:55] 593*2^839246-1 is not prime. Res64: 5C4B7CFF439CE313 Time : 38201.0 sec. user=vaughan [2010-07-03 19:03:01] 499*2^839257-1 is not prime. Res64: 80C67F82285F8CD5 Time : 35720.0 sec. user=vaughan [2010-07-03 19:04:31] 569*2^839380-1 is not prime. Res64: AE73957DC1A705F4 Time : 2050.0 sec. user=vaughan [2010-07-03 19:05:33] 563*2^839388-1 is not prime. Res64: AC159EEB22711842 Time : 722.0 sec. user=vaughan [2010-07-03 19:05:44] 531*2^839265-1 is not prime. Res64: 5668EC996A60B8E9 Time : 33545.0 sec. user=vaughan [2010-07-03 19:07:20] 451*2^839389-1 is not prime. Res64: 8E6FC0778CC5E049 Time : 727.0 sec. user=vaughan [2010-07-03 19:07:20] 457*2^839389-1 is not prime. Res64: B185390244867DD0 Time : 726.0 sec. user=vaughan [2010-07-03 19:09:17] 405*2^839265-1 is not prime. Res64: 6F7A555B1AEC1AA1 Time : 33814.0 sec. user=vaughan [2010-07-03 19:10:23] 503*2^839266-1 is not prime. Res64: E9B0AC6486654A26 Time : 33426.0 sec. user=vaughan [2010-07-03 19:11:53] 579*2^839385-1 is not prime. Res64: 6E93B39B4093A62E Time : 2045.0 sec. user=vaughan [2010-07-03 19:12:02] 471*2^839175-1 is not prime. Res64: 9929F823C57CF494 Time : 54707.0 sec. user=vaughan [2010-07-03 19:13:40] 579*2^839249-1 is not prime. Res64: 1B3C7CB8C3230D2F Time : 38007.0 sec. user=vaughan [2010-07-03 19:13:45] 489*2^839273-1 is not prime. Res64: 388962F8FDC3E5F3 Time : 32115.0 sec. user=vaughan [2010-07-03 19:17:37] 539*2^839392-1 is not prime. Res64: 4C3DD50E1EF2F837 Time : 724.0 sec. user=vaughan [2010-07-03 19:19:28] 537*2^839393-1 is not prime. Res64: CEDE05137D54B2B2 Time : 728.0 sec. user=vaughan [2010-07-03 19:19:28] 561*2^839393-1 is not prime. Res64: BBE01B08D4EDDF35 Time : 728.0 sec. user=vaughan [2010-07-03 19:21:07] 481*2^839263-1 is not prime. Res64: EF8286B32584B1AC Time : 35364.0 sec. user=vaughan [2010-07-03 19:21:33] 567*2^839225-1 is not prime. Res64: 0573E9D798C294D6 Time : 43677.0 sec. user=vaughan [2010-07-03 19:22:20] 531*2^839267-1 is not prime. Res64: 14E75FBEA4A79F15 Time : 33523.0 sec. user=vaughan [2010-07-03 19:22:50] 519*2^839245-1 is not prime. Res64: 020393F35B7DF1CC Time : 40294.0 sec. user=vaughan [2010-07-03 19:25:28] 511*2^839387-1 is not prime. Res64: 0D5733543383E379 Time : 2575.0 sec. user=vaughan [2010-07-03 19:25:33] 523*2^839267-1 is not prime. Res64: 44FA3158E52958B7 Time : 33760.0 sec. user=vaughan [2010-07-03 19:25:42] 455*2^839262-1 is not prime. Res64: B2D438917E2FFEA4 Time : 35954.0 sec. user=vaughan [2010-07-03 19:26:55] 411*2^839269-1 is not prime. Res64: 54D6C13168FC8BC6 Time : 33403.0 sec. user=vaughan [2010-07-03 19:29:40] 471*2^839395-1 is not prime. Res64: EB8BF39A50840261 Time : 723.0 sec. user=vaughan [2010-07-03 19:29:48] 595*2^839275-1 is not prime. Res64: 7F9DBCC8569C28E2 Time : 32105.0 sec. user=vaughan [2010-07-03 19:30:55] 483*2^839388-1 is not prime. Res64: F17D0B828FDB6F71 Time : 2566.0 sec. user=vaughan [2010-07-03 19:31:16] 439*2^839251-1 is not prime. Res64: A64BFF8AF105A8E0 Time : 38767.0 sec. user=vaughan [2010-07-03 19:31:35] 495*2^839395-1 is not prime. Res64: 3A9F087721CCAFFB Time : 728.0 sec. user=vaughan [2010-07-03 19:31:35] 507*2^839396-1 is not prime. Res64: 569C1AA39A64D5B4 Time : 727.0 sec. user=vaughan [2010-07-03 19:37:25] 405*2^839392-1 is not prime. Res64: 37FEC21AA47AC2B8 Time : 1975.0 sec. user=vaughan [2010-07-03 19:38:58] 567*2^839273-1 is not prime. Res64: 6C12E9072138CBC9 Time : 33504.0 sec. user=vaughan [2010-07-03 19:39:09] 435*2^839389-1 is not prime. Res64: D59CC55B61728729 Time : 2682.0 sec. user=vaughan [2010-07-03 19:40:31] 577*2^839265-1 is not prime. Res64: 9921639120E12384 Time : 35325.0 sec. user=vaughan [2010-07-03 19:41:43] 433*2^839399-1 is not prime. Res64: F571E1FF035877E2 Time : 724.0 sec. user=vaughan [2010-07-03 19:41:49] 559*2^839273-1 is not prime. Res64: 6A0D8509E7735E5E Time : 33705.0 sec. user=vaughan [2010-07-03 19:43:27] 405*2^839275-1 is not prime. Res64: 8E8472E37C90EE39 Time : 33381.0 sec. user=vaughan [2010-07-03 19:43:43] 439*2^839401-1 is not prime. Res64: 254C38D5ADE82AD7 Time : 729.0 sec. user=vaughan [2010-07-03 19:43:43] 465*2^839401-1 is not prime. Res64: 01A1979F45F88FEB Time : 728.0 sec. user=vaughan [2010-07-03 19:44:31] 545*2^839234-1 is not prime. Res64: 1ADEC0015288E69F Time : 43450.0 sec. user=vaughan [2010-07-03 19:45:46] 447*2^839394-1 is not prime. Res64: BF0E578BB663E315 Time : 2033.0 sec. user=vaughan [2010-07-03 19:45:52] 467*2^839280-1 is not prime. Res64: 67C95D2F8AAE24E5 Time : 32097.0 sec. user=vaughan [2010-07-03 19:48:14] 585*2^839264-1 is not prime. Res64: BE83CAD54C8494D0 Time : 36181.0 sec. user=vaughan [2010-07-03 19:48:26] 585*2^839180-1 is not prime. Res64: 5872F6A4C1ED0BBF Time : 54968.0 sec. user=Flatlander [2010-07-03 19:48:54] 551*2^839382-1 is not prime. Res64: 597559B9065FA0CE Time : 4366.0 sec. user=Flatlander [2010-07-03 19:48:55] 463*2^839383-1 is not prime. Res64: 67F9F053B04BFBAE Time : 4366.0 sec. user=Flatlander [2010-07-03 19:48:55] 489*2^839383-1 is not prime. Res64: B5807811BCD023E7 Time : 4365.0 sec. user=Flatlander [2010-07-03 19:48:56] 511*2^839383-1 is not prime. Res64: 4AA1A74C4784BF59 Time : 4364.0 sec. user=Flatlander [2010-07-03 19:48:57] 519*2^839383-1 is not prime. Res64: 77D655A5137FF16A Time : 4364.0 sec. user=Flatlander [2010-07-03 19:48:59] 559*2^839383-1 is not prime. Res64: 75DB36101AE9F6C0 Time : 4327.0 sec. user=Flatlander [2010-07-03 19:49:00] 459*2^839384-1 is not prime. Res64: 62CA2DA4F1428D5A Time : 4327.0 sec. user=Flatlander [2010-07-03 19:49:01] 495*2^839384-1 is not prime. Res64: 485D44B552C111F6 Time : 4327.0 sec. user=Flatlander [2010-07-03 19:49:02] 429*2^839385-1 is not prime. Res64: 2962B4F7D5CB9AD4 Time : 4327.0 sec. user=Flatlander [2010-07-03 19:49:02] 525*2^839385-1 is not prime. Res64: 230DFBA6F600C437 Time : 4325.0 sec. user=vaughan [2010-07-03 19:53:29] 559*2^839253-1 is not prime. Res64: 219F3F6BE7D8049C Time : 39188.0 sec. user=vaughan [2010-07-03 19:53:48] 415*2^839403-1 is not prime. Res64: 7FF26F23D5CFC1B7 Time : 725.0 sec. user=vaughan [2010-07-03 19:55:33] 475*2^839277-1 is not prime. Res64: 95026468C849D861 Time : 33481.0 sec. user=vaughan [2010-07-03 19:55:52] 523*2^839403-1 is not prime. Res64: 3A92F5263C5798B1 Time : 729.0 sec. user=vaughan [2010-07-03 19:55:52] 553*2^839403-1 is not prime. Res64: 758A4CA76966D70F Time : 729.0 sec. user=vaughan [2010-07-03 19:58:08] 573*2^839276-1 is not prime. Res64: 291059424968CF37 Time : 33654.0 sec. user=vaughan [2010-07-03 19:59:52] 595*2^839253-1 is not prime. Res64: FC491949BC0020A2 Time : 39350.0 sec. user=vaughan [2010-07-03 19:59:56] 471*2^839269-1 is not prime. Res64: A528783E727DE940 Time : 35280.0 sec. user=vaughan [2010-07-03 20:00:09] 559*2^839279-1 is not prime. Res64: B4DAFF8B6DD55DC9 Time : 33368.0 sec. user=vaughan [2010-07-03 20:02:24] 471*2^839283-1 is not prime. Res64: D0788DC6A0131923 Time : 32117.0 sec. user=vaughan [2010-07-03 20:05:55] 589*2^839407-1 is not prime. Res64: EF1E81AA3255389E Time : 727.0 sec. user=vaughan [2010-07-03 20:08:02] 507*2^839408-1 is not prime. Res64: B4A5AD1186F4B063 Time : 730.0 sec. user=vaughan [2010-07-03 20:08:02] 479*2^839408-1 is not prime. Res64: 566DFFF1FE90B265 Time : 730.0 sec. user=vaughan [2010-07-03 20:08:09] 575*2^839398-1 is not prime. Res64: EB31F6282B256BB5 Time : 2562.0 sec. user=vaughan [2010-07-03 20:09:41] 561*2^839246-1 is not prime. Res64: 8E2910A17CE92C94 Time : 42276.0 sec. user=vaughan [2010-07-03 20:09:48] 491*2^839398-1 is not prime. Res64: 67562BC41DE39BB0 Time : 2819.0 sec. user=vaughan [2010-07-03 20:10:59] 549*2^839267-1 is not prime. Res64: 46A22A90F03151F8 Time : 36418.0 sec. user=vaughan [2010-07-03 20:12:30] 407*2^839282-1 is not prime. Res64: 7E554C6834541224 Time : 33479.0 sec. user=vaughan [2010-07-03 20:12:59] 507*2^839401-1 is not prime. Res64: D3079E5EDF71B4B0 Time : 2134.0 sec. user=vaughan [2010-07-03 20:13:20] 571*2^839399-1 is not prime. Res64: 95BD376A8930C1C5 Time : 2546.0 sec. user=vaughan [2010-07-03 20:14:44] 547*2^839281-1 is not prime. Res64: CC0E2CBE5FE185D6 Time : 33617.0 sec. user=vaughan [2010-07-03 20:17:13] 537*2^839282-1 is not prime. Res64: C0D281ADB26AECC8 Time : 33379.0 sec. user=vaughan [2010-07-03 20:18:00] 513*2^839410-1 is not prime. Res64: 60EF91157E6B3B63 Time : 726.0 sec. user=vaughan [2010-07-03 20:19:29] 525*2^839189-1 is not prime. Res64: A804B8BF58BBF863 Time : 54200.0 sec. user=vaughan [2010-07-03 20:19:47] 465*2^839286-1 is not prime. Res64: E743A2C7CB5537A3 Time : 32187.0 sec. user=vaughan [2010-07-03 20:20:12] 581*2^839410-1 is not prime. Res64: 7C695FD2D43A48BA Time : 730.0 sec. user=vaughan [2010-07-03 20:20:12] 521*2^839410-1 is not prime. Res64: 73FEACD8015241DD Time : 731.0 sec. user=vaughan [2010-07-03 20:22:17] 583*2^839403-1 is not prime. Res64: 666957A59D80E322 Time : 2191.0 sec. user=vaughan [2010-07-03 20:22:46] 561*2^839275-1 is not prime. Res64: 484EBB24E432AA27 Time : 35444.0 sec. user=vaughan [2010-07-03 20:26:38] 591*2^839261-1 is not prime. Res64: 355B33AD260AC955 Time : 39820.0 sec. user=vaughan [2010-07-03 20:26:44] 495*2^839261-1 is not prime. Res64: D3ADC4CBEBBAE573 Time : 39975.0 sec. user=vaughan [2010-07-03 20:29:43] 583*2^839283-1 is not prime. Res64: B0D4E47A89B16CD2 Time : 33496.0 sec. user=vaughan [2010-07-03 20:30:05] 597*2^839413-1 is not prime. Res64: 4570363DB97802F4 Time : 725.0 sec. user=vaughan [2010-07-03 20:32:11] 595*2^839283-1 is not prime. Res64: 2F1491F57DB8EC69 Time : 33636.0 sec. user=vaughan [2010-07-03 20:32:24] 525*2^839414-1 is not prime. Res64: EA9AE5933FB34955 Time : 732.0 sec. user=vaughan [2010-07-03 20:32:25] 593*2^839414-1 is not prime. Res64: 7C6F2AD858628AC1 Time : 733.0 sec. user=vaughan [2010-07-03 20:32:53] 537*2^839401-1 is not prime. Res64: F8710FDC43453021 Time : 3224.0 sec. user=vaughan [2010-07-03 20:34:14] 519*2^839285-1 is not prime. Res64: 849952387228804C Time : 33386.0 sec. user=vaughan [2010-07-03 20:36:50] 451*2^839291-1 is not prime. Res64: 835217E25CA8BFB3 Time : 32237.0 sec. user=vaughan [2010-07-03 20:40:50] 435*2^839252-1 is not prime. Res64: AA087CC3A056B56A Time : 42531.0 sec. user=vaughan [2010-07-03 20:42:09] 587*2^839416-1 is not prime. Res64: E0BB6746AD9BAD11 Time : 724.0 sec. user=vaughan [2010-07-03 20:44:34] 529*2^839417-1 is not prime. Res64: 7AAC2BEAB61C4E9C Time : 730.0 sec. user=vaughan [2010-07-03 20:44:34] 501*2^839418-1 is not prime. Res64: C407DA8B5ACD600E Time : 730.0 sec. user=vaughan [2010-07-03 20:45:25] 529*2^839201-1 is not prime. Res64: 03815E17E3BFC23B Time : 53846.0 sec. user=vaughan [2010-07-03 20:46:17] 515*2^839412-1 is not prime. Res64: CA81EFF1D0F32D94 Time : 1999.0 sec. user=vaughan [2010-07-03 20:46:34] 465*2^839289-1 is not prime. Res64: 97428B2D496014C7 Time : 33490.0 sec. user=vaughan [2010-07-03 20:46:45] 587*2^839410-1 is not prime. Res64: 4A11C1E3F9499BFB Time : 2316.0 sec. user=vaughan [2010-07-03 20:46:50] 401*2^839274-1 is not prime. Res64: D20A81DA846EADA0 Time : 37442.0 sec. user=vaughan [2010-07-03 20:48:31] 499*2^839289-1 is not prime. Res64: 9A7E9951019B2F5A Time : 33585.0 sec. user=vaughan [2010-07-03 20:51:03] 521*2^839290-1 is not prime. Res64: 95AA11369564FCE7 Time : 33381.0 sec. user=vaughan [2010-07-03 20:51:25] 511*2^839413-1 is not prime. Res64: 8066F5A23D2618A0 Time : 2286.0 sec. user=vaughan [2010-07-03 20:54:13] 549*2^839419-1 is not prime. Res64: F6791B3D06246540 Time : 724.0 sec. user=vaughan [2010-07-03 20:54:17] 513*2^839280-1 is not prime. Res64: C8559094404AF6AF Time : 36130.0 sec. user=vaughan [2010-07-03 20:54:36] 545*2^839294-1 is not prime. Res64: 50EFD3F16C043900 Time : 32332.0 sec. user=vaughan [2010-07-03 20:55:44] 573*2^839264-1 is not prime. Res64: AA0C8306F7D4C5CB Time : 40432.0 sec. user=vaughan [2010-07-03 20:56:43] 493*2^839415-1 is not prime. Res64: D3E34D5029202C65 Time : 2066.0 sec. user=vaughan [2010-07-03 20:56:43] 589*2^839419-1 is not prime. Res64: 01CC0DDEA38CE013 Time : 729.0 sec. user=vaughan [2010-07-03 20:56:44] 595*2^839419-1 is not prime. Res64: C9315120FF9F6417 Time : 730.0 sec. user=vaughan [2010-07-03 20:59:30] 465*2^839264-1 is not prime. Res64: 7AC93BB3036A1A50 Time : 40735.0 sec. user=Flatlander [2010-07-03 21:01:18] 431*2^839406-1 is not prime. Res64: 521841F41841D594 Time : 4340.0 sec. user=Flatlander [2010-07-03 21:01:18] 483*2^839406-1 is not prime. Res64: 373A4F4E725D1AE3 Time : 4338.0 sec. user=Flatlander [2010-07-03 21:01:19] 525*2^839406-1 is not prime. Res64: 9C7C136C889B471B Time : 4338.0 sec. user=Flatlander [2010-07-03 21:01:19] 551*2^839406-1 is not prime. Res64: 19870C3C208B626C Time : 4336.0 sec. user=Flatlander [2010-07-03 21:01:20] 581*2^839406-1 is not prime. Res64: 6C05D6B42482E7AD Time : 4336.0 sec. user=Flatlander [2010-07-03 21:02:02] 563*2^839406-1 is not prime. Res64: 8FFF66DB4C9DE1CF Time : 4379.0 sec. user=Flatlander [2010-07-03 21:02:03] 429*2^839407-1 is not prime. Res64: 5704A48DCC04990A Time : 4378.0 sec. user=Flatlander [2010-07-03 21:02:04] 465*2^839407-1 is not prime. Res64: A929FCA71305D0AD Time : 4378.0 sec. user=Flatlander [2010-07-03 21:02:04] 523*2^839407-1 is not prime. Res64: 5176BAADD9DF808B Time : 4376.0 sec. user=Flatlander [2010-07-03 21:02:05] 531*2^839407-1 is not prime. Res64: 035FB0BD3B7C648C Time : 4376.0 sec. user=vaughan [2010-07-03 21:03:27] 411*2^839293-1 is not prime. Res64: 27BB4ABFAB73501D Time : 33485.0 sec. user=vaughan [2010-07-03 21:04:55] 451*2^839293-1 is not prime. Res64: 6EC1D168FC89E5FB Time : 33539.0 sec. user=vaughan [2010-07-03 21:06:17] 555*2^839422-1 is not prime. Res64: 012C9DE839A498F8 Time : 724.0 sec. user=vaughan [2010-07-03 21:07:57] 577*2^839293-1 is not prime. Res64: 05A3BCD20B47BD49 Time : 33382.0 sec. user=vaughan [2010-07-03 21:08:52] 465*2^839424-1 is not prime. Res64: 635DA7888B9C63F4 Time : 729.0 sec. user=vaughan [2010-07-03 21:08:53] 419*2^839424-1 is not prime. Res64: F4D9BC962D6110E9 Time : 730.0 sec. user=vaughan [2010-07-03 21:11:26] 525*2^839263-1 is not prime. Res64: 57AB25039A7BCC45 Time : 41919.0 sec. user=vaughan [2010-07-03 21:11:29] 411*2^839411-1 is not prime. Res64: A0D485A0A5B8538A Time : 3701.0 sec. user=vaughan [2010-07-03 21:12:45] 453*2^839298-1 is not prime. Res64: D6FAE72775AE5C45 Time : 32449.0 sec. user=vaughan [2010-07-03 21:13:07] 537*2^839212-1 is not prime. Res64: 17375A6689FBB754 Time : 52617.0 sec. user=vaughan [2010-07-03 21:18:21] 573*2^839427-1 is not prime. Res64: 78656B7CD3870029 Time : 725.0 sec. user=vaughan [2010-07-03 21:19:24] 489*2^839420-1 is not prime. Res64: 8C0ABF4B2686AE1B Time : 1987.0 sec. user=vaughan [2010-07-03 21:20:24] 441*2^839295-1 is not prime. Res64: D65AA4589E957242 Time : 33486.0 sec. user=vaughan [2010-07-03 21:20:53] 553*2^839279-1 is not prime. Res64: 886336F19E5AA86C Time : 38361.0 sec. user=vaughan [2010-07-03 21:21:02] 405*2^839428-1 is not prime. Res64: 76C0DB7B78735149 Time : 730.0 sec. user=vaughan [2010-07-03 21:21:02] 435*2^839428-1 is not prime. Res64: 472C66C726DAFC35 Time : 729.0 sec. user=vaughan [2010-07-03 21:21:25] 573*2^839295-1 is not prime. Res64: 814F0AD610C85EE4 Time : 33496.0 sec. user=vaughan [2010-07-03 21:23:26] 433*2^839267-1 is not prime. Res64: A16A5A596EF3D720 Time : 40956.0 sec. user=vaughan [2010-07-03 21:24:14] 523*2^839283-1 is not prime. Res64: DC1FB7958D55925E Time : 36772.0 sec. user=vaughan [2010-07-03 21:24:48] 517*2^839297-1 is not prime. Res64: 72436FBEDEA577CE Time : 33379.0 sec. user=vaughan [2010-07-03 21:25:28] 533*2^839420-1 is not prime. Res64: D63E0EF2BA381E54 Time : 2324.0 sec. user=vaughan [2010-07-03 21:29:23] 475*2^839301-1 is not prime. Res64: E36C06BD80B194C7 Time : 32476.0 sec. user=vaughan [2010-07-03 21:29:51] 591*2^839423-1 is not prime. Res64: BEF0DD2DAEF66A08 Time : 1988.0 sec. user=vaughan [2010-07-03 21:30:25] 571*2^839429-1 is not prime. Res64: ECDD52E1E1C563D6 Time : 724.0 sec. user=vaughan [2010-07-03 21:30:41] 513*2^839422-1 is not prime. Res64: 9AB11A699BFA72AB Time : 2356.0 sec. user=vaughan [2010-07-03 21:33:12] 405*2^839431-1 is not prime. Res64: 6D95D77FC22EB59E Time : 730.0 sec. user=vaughan [2010-07-03 21:33:12] 415*2^839431-1 is not prime. Res64: 7558CD9560816DC6 Time : 730.0 sec. user=vaughan [2010-07-03 21:34:11] 415*2^839419-1 is not prime. Res64: E5A570856CA09513 Time : 3679.0 sec. user=vaughan [2010-07-03 21:37:03] 425*2^839300-1 is not prime. Res64: 5BE2CCD25A3A7123 Time : 33467.0 sec. user=vaughan [2010-07-03 21:37:55] 579*2^839300-1 is not prime. Res64: 1012FEEB981C2710 Time : 33457.0 sec. user=vaughan [2010-07-03 21:39:19] 541*2^839227-1 is not prime. Res64: 632B1D0209E925EB Time : 51670.0 sec. user=vaughan [2010-07-03 21:41:24] 405*2^839301-1 is not prime. Res64: 45FC202005CD29C2 Time : 33360.0 sec. user=vaughan [2010-07-03 21:42:28] 537*2^839433-1 is not prime. Res64: 8420119DF1E38B43 Time : 723.0 sec. user=vaughan [2010-07-03 21:42:38] 569*2^839268-1 is not prime. Res64: E07BF259D8E665EA Time : 41689.0 sec. user=vaughan [2010-07-03 21:45:22] 483*2^839434-1 is not prime. Res64: 4B5FB15BFD14B83B Time : 731.0 sec. user=vaughan [2010-07-03 21:45:23] 503*2^839434-1 is not prime. Res64: 843B35CEE08920B0 Time : 731.0 sec. user=vaughan [2010-07-03 21:45:30] 475*2^839307-1 is not prime. Res64: E8071F7392CBF83A Time : 32470.0 sec. user=vaughan [2010-07-03 21:47:00] 421*2^839267-1 is not prime. Res64: 7DA5CA09BC575ECC Time : 42379.0 sec. user=vaughan [2010-07-03 21:50:10] 501*2^839273-1 is not prime. Res64: AF6FA3E9EA9F8BD5 Time : 41424.0 sec. user=vaughan [2010-07-03 21:51:42] 513*2^839290-1 is not prime. Res64: C0864221968545C4 Time : 37264.0 sec. user=vaughan [2010-07-03 21:53:39] 565*2^839303-1 is not prime. Res64: 4EF39CFEB82DA588 Time : 33445.0 sec. user=vaughan [2010-07-03 21:54:24] 587*2^839304-1 is not prime. Res64: 0E1D586998EC650D Time : 33415.0 sec. user=vaughan [2010-07-03 21:54:33] 497*2^839436-1 is not prime. Res64: A0096C78D49A1662 Time : 725.0 sec. user=vaughan [2010-07-03 21:56:02] 423*2^839430-1 is not prime. Res64: 006DCA9D78CB965C Time : 2198.0 sec. user=vaughan [2010-07-03 21:56:59] 435*2^839282-1 is not prime. Res64: D33422D227F815BD Time : 39406.0 sec. user=vaughan [2010-07-03 21:57:32] 545*2^839436-1 is not prime. Res64: DE06B171347A7E65 Time : 730.0 sec. user=vaughan [2010-07-03 21:57:33] 597*2^839436-1 is not prime. Res64: 099994CC8392562F Time : 731.0 sec. user=vaughan [2010-07-03 21:57:59] 433*2^839307-1 is not prime. Res64: AF982530395ACC14 Time : 33340.0 sec. user=vaughan [2010-07-03 22:01:34] 469*2^839309-1 is not prime. Res64: A55408F313404976 Time : 32453.0 sec. user=vaughan [2010-07-03 22:04:14] 459*2^839433-1 is not prime. Res64: AA33B8D1D10EF10B Time : 2326.0 sec. user=vaughan [2010-07-03 22:05:26] 511*2^839433-1 is not prime. Res64: 2731FFB98B545E52 Time : 2135.0 sec. user=vaughan [2010-07-03 22:06:37] 437*2^839438-1 is not prime. Res64: F5BCA1EB92C80725 Time : 724.0 sec. user=vaughan [2010-07-03 22:06:53] 515*2^839276-1 is not prime. Res64: 7FA3D79196E27271 Time : 41488.0 sec. user=vaughan [2010-07-03 22:08:56] 597*2^839433-1 is not prime. Res64: DADC6504390F8718 Time : 2296.0 sec. user=vaughan [2010-07-03 22:09:42] 445*2^839439-1 is not prime. Res64: 14FFFA4BB0720EA9 Time : 730.0 sec. user=vaughan [2010-07-03 22:09:43] 471*2^839439-1 is not prime. Res64: 7308B6130C97F9EF Time : 730.0 sec. user=vaughan [2010-07-03 22:10:18] 419*2^839308-1 is not prime. Res64: FDFF50BFD666205C Time : 33428.0 sec. user=vaughan [2010-07-03 22:10:53] 513*2^839308-1 is not prime. Res64: 55E4E8E7AA7C57B5 Time : 33373.0 sec. user=Flatlander [2010-07-03 22:14:03] 569*2^839424-1 is not prime. Res64: 82145060BE80D35A Time : 4362.0 sec. user=Flatlander [2010-07-03 22:14:03] 495*2^839426-1 is not prime. Res64: BB82C4346205B4CB Time : 4317.0 sec. user=Flatlander [2010-07-03 22:14:04] 441*2^839425-1 is not prime. Res64: 90FE7217545287A7 Time : 4362.0 sec. user=Flatlander [2010-07-03 22:14:04] 503*2^839426-1 is not prime. Res64: 86838B4E4A7644F2 Time : 4316.0 sec. user=Flatlander [2010-07-03 22:14:05] 447*2^839425-1 is not prime. Res64: 39683CACE3EC0454 Time : 4361.0 sec. user=Flatlander [2010-07-03 22:14:05] 465*2^839427-1 is not prime. Res64: A0F96BA8F46B2976 Time : 4316.0 sec. user=Flatlander [2010-07-03 22:14:05] 471*2^839425-1 is not prime. Res64: 02911E57B4948580 Time : 4360.0 sec. user=Flatlander [2010-07-03 22:14:05] 493*2^839427-1 is not prime. Res64: F594F85E2A45063D Time : 4314.0 sec. user=Flatlander [2010-07-03 22:14:06] 477*2^839425-1 is not prime. Res64: A86DB84AA75CE0FA Time : 4359.0 sec. user=Flatlander [2010-07-03 22:14:06] 511*2^839427-1 is not prime. Res64: EAFAEFD08B9361BA Time : 4314.0 sec. user=vaughan [2010-07-03 22:14:37] 439*2^839309-1 is not prime. Res64: 0ECDDC252B93553E Time : 33309.0 sec. user=vaughan [2010-07-03 22:14:41] 591*2^839273-1 is not prime. Res64: 513042E0DBE4FACD Time : 42834.0 sec. user=vaughan [2010-07-03 22:15:39] 573*2^839236-1 is not prime. Res64: 6840D6B26A31B8DC Time : 52023.0 sec. user=vaughan [2010-07-03 22:16:05] 423*2^839278-1 is not prime. Res64: 57A6DBAA2CC08111 Time : 41844.0 sec. user=vaughan [2010-07-03 22:16:45] 533*2^839428-1 is not prime. Res64: CEAFCBB03132868D Time : 3916.0 sec. user=vaughan [2010-07-03 22:17:39] 515*2^839310-1 is not prime. Res64: DF182597A91D55AF Time : 32440.0 sec. user=vaughan [2010-07-03 22:18:41] 597*2^839440-1 is not prime. Res64: F6686C40BFB6F7FE Time : 724.0 sec. user=vaughan [2010-07-03 22:19:46] 481*2^839293-1 is not prime. Res64: 322305FCCAC646AD Time : 37793.0 sec. user=vaughan [2010-07-03 22:21:50] 529*2^839441-1 is not prime. Res64: 8B7EEFB001401041 Time : 729.0 sec. user=vaughan [2010-07-03 22:21:51] 401*2^839442-1 is not prime. Res64: D5A3EBAC85D9C8A9 Time : 729.0 sec. user=vaughan [2010-07-03 22:26:52] 473*2^839310-1 is not prime. Res64: 490C4FEEADBA61DE Time : 33371.0 sec. user=vaughan [2010-07-03 22:27:12] 495*2^839310-1 is not prime. Res64: 8DECF0CD3D6383DD Time : 33307.0 sec. user=vaughan [2010-07-03 22:29:16] 567*2^839438-1 is not prime. Res64: 92E84E237F8CDF7B Time : 1995.0 sec. user=vaughan [2010-07-03 22:30:09] 411*2^839283-1 is not prime. Res64: 50FE55D61DF7B7C1 Time : 41285.0 sec. user=vaughan [2010-07-03 22:30:46] 455*2^839446-1 is not prime. Res64: 89FDFA624B307ADD Time : 725.0 sec. user=vaughan [2010-07-03 22:31:09] 503*2^839310-1 is not prime. Res64: 38652E95B4CBB023 Time : 33269.0 sec. user=vaughan [2010-07-03 22:33:43] 517*2^839313-1 is not prime. Res64: C0C92BEFF506074F Time : 32430.0 sec. user=vaughan [2010-07-03 22:34:00] 525*2^839446-1 is not prime. Res64: B6FD6755A3559522 Time : 730.0 sec. user=vaughan [2010-07-03 22:34:01] 567*2^839446-1 is not prime. Res64: 7F3F806E74906632 Time : 730.0 sec. user=vaughan [2010-07-03 22:39:42] 555*2^839434-1 is not prime. Res64: B43BA3B93FAB6309 Time : 3931.0 sec. user=vaughan [2010-07-03 22:39:44] 587*2^839440-1 is not prime. Res64: 27635A64CD4C19F0 Time : 2059.0 sec. user=vaughan [2010-07-03 22:41:25] 435*2^839278-1 is not prime. Res64: B2B4CF1B6F3128B0 Time : 43234.0 sec. user=vaughan [2010-07-03 22:41:29] 483*2^839440-1 is not prime. Res64: 95C16177A3C8CCC0 Time : 2236.0 sec. user=vaughan [2010-07-03 22:42:09] 425*2^839282-1 is not prime. Res64: 28E00D0E45C33139 Time : 42228.0 sec. user=vaughan [2010-07-03 22:42:49] 515*2^839448-1 is not prime. Res64: C92B92591CECF97A Time : 723.0 sec. user=vaughan [2010-07-03 22:43:27] 409*2^839313-1 is not prime. Res64: 480DC6402E7CF725 Time : 33246.0 sec. user=vaughan [2010-07-03 22:43:28] 483*2^839312-1 is not prime. Res64: C08187551E2B13EE Time : 33334.0 sec. user=vaughan [2010-07-03 22:46:08] 415*2^839449-1 is not prime. Res64: 356012004EE2DC89 Time : 728.0 sec. user=vaughan [2010-07-03 22:46:09] 429*2^839449-1 is not prime. Res64: 62EC600440807FCA Time : 728.0 sec. user=vaughan [2010-07-03 22:46:19] 475*2^839441-1 is not prime. Res64: 31B67DD1C68BFCA3 Time : 2243.0 sec. user=vaughan [2010-07-03 22:47:42] 529*2^839313-1 is not prime. Res64: 423A702AD5BF1173 Time : 33240.0 sec. user=vaughan [2010-07-03 22:47:50] 529*2^839297-1 is not prime. Res64: 3A4DD5AB9781BC82 Time : 38321.0 sec. user=vaughan [2010-07-03 22:49:46] 597*2^839320-1 is not prime. Res64: BE0EB4355689DD28 Time : 32420.0 sec. user=vaughan [2010-07-03 22:51:43] 585*2^839288-1 is not prime. Res64: A518E248746F0C25 Time : 41107.0 sec. user=vaughan [2010-07-03 22:54:53] 441*2^839451-1 is not prime. Res64: 095CE9AE91705B13 Time : 724.0 sec. user=vaughan [2010-07-03 22:55:12] 565*2^839285-1 is not prime. Res64: 43C64909A28CE4A8 Time : 41792.0 sec. user=vaughan [2010-07-03 22:55:45] 515*2^839250-1 is not prime. Res64: 4352E6CA6D1DB73D Time : 51285.0 sec. user=vaughan [2010-07-03 22:58:18] 497*2^839452-1 is not prime. Res64: CED655E0D69264E8 Time : 730.0 sec. user=vaughan [2010-07-03 22:58:19] 569*2^839452-1 is not prime. Res64: 89430D537F4A731F Time : 730.0 sec. user=vaughan [2010-07-03 22:59:50] 585*2^839316-1 is not prime. Res64: CF48C3DA32560129 Time : 33198.0 sec. user=vaughan [2010-07-03 23:00:26] 537*2^839316-1 is not prime. Res64: C90FBCECF88238B5 Time : 33334.0 sec. user=vaughan [2010-07-03 23:03:51] 523*2^839447-1 is not prime. Res64: F493C9982601D8B4 Time : 2075.0 sec. user=vaughan [2010-07-03 23:04:38] 475*2^839321-1 is not prime. Res64: C1ADA34A8B09388B Time : 33244.0 sec. user=vaughan [2010-07-03 23:05:57] 495*2^839324-1 is not prime. Res64: 5D595D5AB6AEA1D3 Time : 32418.0 sec. user=vaughan [2010-07-03 23:06:57] 525*2^839454-1 is not prime. Res64: CA36E203687975B4 Time : 724.0 sec. user=vaughan [2010-07-03 23:09:02] 455*2^839286-1 is not prime. Res64: 2ABAFDC735FECDDA Time : 42509.0 sec. user=vaughan [2010-07-03 23:10:28] 481*2^839455-1 is not prime. Res64: C45FBCC00BD48CA5 Time : 730.0 sec. user=vaughan [2010-07-03 23:10:29] 493*2^839455-1 is not prime. Res64: 5246A5FF44CD477E Time : 730.0 sec. user=vaughan [2010-07-03 23:10:40] 517*2^839301-1 is not prime. Res64: 9B130A075A36EACE Time : 38542.0 sec. user=vaughan [2010-07-03 23:13:16] 425*2^839450-1 is not prime. Res64: 30E6B84FC9BDBDE1 Time : 2013.0 sec. user=vaughan [2010-07-03 23:15:39] 435*2^839296-1 is not prime. Res64: 7E0A28C874542E9C Time : 40287.0 sec. user=vaughan [2010-07-03 23:16:13] 439*2^839323-1 is not prime. Res64: D3BF1981F538FB3E Time : 33151.0 sec. user=vaughan [2010-07-03 23:16:15] 587*2^839450-1 is not prime. Res64: D67B116A09195DE1 Time : 2086.0 sec. user=vaughan [2010-07-03 23:17:02] 525*2^839282-1 is not prime. Res64: A8E099DD881EBE8D Time : 44174.0 sec. user=vaughan [2010-07-03 23:17:13] 429*2^839323-1 is not prime. Res64: FB4498FEA3D9DCB2 Time : 33324.0 sec. user=vaughan [2010-07-03 23:19:01] 509*2^839456-1 is not prime. Res64: A075A9F3D03F11C6 Time : 724.0 sec. user=vaughan [2010-07-03 23:20:49] 409*2^839453-1 is not prime. Res64: 76A4616716554A5B Time : 2070.0 sec. user=vaughan [2010-07-03 23:21:28] 405*2^839325-1 is not prime. Res64: F3EA581083476F57 Time : 33238.0 sec. user=vaughan [2010-07-03 23:22:04] 491*2^839326-1 is not prime. Res64: A9591CA678198EEB Time : 32412.0 sec. user=vaughan [2010-07-03 23:22:37] 441*2^839457-1 is not prime. Res64: 76D385B152389205 Time : 730.0 sec. user=vaughan [2010-07-03 23:22:39] 499*2^839457-1 is not prime. Res64: 0C78AED84A1681A2 Time : 731.0 sec. user=vaughan [2010-07-03 23:25:13] 425*2^839446-1 is not prime. Res64: 9902092D3EDCF01F Time : 4108.0 sec. user=vaughan [2010-07-03 23:26:03] 403*2^839291-1 is not prime. Res64: 0567D970EA64A38E Time : 42510.0 sec. user=Flatlander [2010-07-03 23:26:34] 425*2^839444-1 is not prime. Res64: 808E1F418FA0DC0D Time : 4346.0 sec. user=Flatlander [2010-07-03 23:26:35] 447*2^839444-1 is not prime. Res64: 41A975E0264E2ABC Time : 4346.0 sec. user=Flatlander [2010-07-03 23:26:36] 503*2^839444-1 is not prime. Res64: B7ABF2A661035A71 Time : 4345.0 sec. user=Flatlander [2010-07-03 23:26:37] 539*2^839444-1 is not prime. Res64: 0BB0CFBAB980972C Time : 4344.0 sec. user=Flatlander [2010-07-03 23:26:38] 459*2^839445-1 is not prime. Res64: AE202AE8DEDBF1A1 Time : 4343.0 sec. user=Flatlander [2010-07-03 23:27:12] 495*2^839443-1 is not prime. Res64: 0175CE2016775E78 Time : 4384.0 sec. user=Flatlander [2010-07-03 23:27:13] 437*2^839444-1 is not prime. Res64: FE8DE2669C719B14 Time : 4384.0 sec. user=Flatlander [2010-07-03 23:27:14] 473*2^839444-1 is not prime. Res64: F99DC432B5E534CF Time : 4383.0 sec. user=Flatlander [2010-07-03 23:27:15] 519*2^839444-1 is not prime. Res64: 0CC8A11C1A654897 Time : 4382.0 sec. user=Flatlander [2010-07-03 23:27:15] 557*2^839444-1 is not prime. Res64: B72A57D6C765DE25 Time : 4380.0 sec. user=vaughan [2010-07-03 23:31:08] 525*2^839458-1 is not prime. Res64: A101D631372F9215 Time : 727.0 sec. user=vaughan [2010-07-03 23:32:34] 471*2^839326-1 is not prime. Res64: 2978C8A870E681AE Time : 33102.0 sec. user=vaughan [2010-07-03 23:33:08] 489*2^839307-1 is not prime. Res64: 28DEDAA6606C04A7 Time : 38736.0 sec. user=vaughan [2010-07-03 23:34:06] 579*2^839325-1 is not prime. Res64: ADEF3BC90AB33196 Time : 33319.0 sec. user=vaughan [2010-07-03 23:34:50] 481*2^839459-1 is not prime. Res64: 0A0B6AB73D1F1516 Time : 733.0 sec. user=vaughan [2010-07-03 23:34:51] 553*2^839459-1 is not prime. Res64: E69A1B7A6F3E6387 Time : 733.0 sec. user=vaughan [2010-07-03 23:35:19] 533*2^839258-1 is not prime. Res64: 1875FD41E144F304 Time : 51812.0 sec. user=vaughan [2010-07-03 23:37:07] 405*2^839293-1 is not prime. Res64: F1765B04E086D0BE Time : 42856.0 sec. user=vaughan [2010-07-03 23:38:10] 425*2^839330-1 is not prime. Res64: DCF9987A36C7611A Time : 32405.0 sec. user=vaughan [2010-07-03 23:38:12] 523*2^839327-1 is not prime. Res64: 98B06524D06A2DDC Time : 33229.0 sec. user=vaughan [2010-07-03 23:39:08] 553*2^839455-1 is not prime. Res64: CF74EF627B3CD47E Time : 2117.0 sec. user=vaughan [2010-07-03 23:39:08] 415*2^839305-1 is not prime. Res64: 71049A921ABE71CA Time : 39675.0 sec. user=vaughan [2010-07-03 23:43:12] 533*2^839462-1 is not prime. Res64: A93D274BFAA3A6B8 Time : 724.0 sec. user=vaughan [2010-07-03 23:46:58] 413*2^839464-1 is not prime. Res64: 894B5005AD6BCC07 Time : 728.0 sec. user=vaughan [2010-07-03 23:47:00] 455*2^839464-1 is not prime. Res64: 2965F86D9A3BE8C6 Time : 729.0 sec. user=vaughan [2010-07-03 23:48:49] 577*2^839457-1 is not prime. Res64: DC7C6D15B5A10126 Time : 2133.0 sec. user=vaughan [2010-07-03 23:48:52] 407*2^839330-1 is not prime. Res64: 98C1EEE3EE0DB27C Time : 33049.0 sec. user=vaughan [2010-07-03 23:50:34] 435*2^839449-1 is not prime. Res64: D2B0F3B3DFB6E508 Time : 4252.0 sec. user=vaughan [2010-07-03 23:50:43] 481*2^839329-1 is not prime. Res64: 6012DE5CEFF9B4AC Time : 33299.0 sec. user=vaughan [2010-07-03 23:53:53] 471*2^839458-1 is not prime. Res64: C930F64C0E6F42B5 Time : 2258.0 sec. user=vaughan [2010-07-03 23:54:03] 437*2^839286-1 is not prime. Res64: D9F1728D44EC23E0 Time : 45211.0 sec. user=vaughan [2010-07-03 23:54:12] 571*2^839333-1 is not prime. Res64: CD5A66E69F84D51D Time : 32394.0 sec. user=vaughan [2010-07-03 23:54:44] 503*2^839330-1 is not prime. Res64: 88FB2874CE214942 Time : 33206.0 sec. user=vaughan [2010-07-03 23:55:15] 537*2^839465-1 is not prime. Res64: A2CE3055FD85F41C Time : 723.0 sec. user=vaughan [2010-07-03 23:58:56] 527*2^839458-1 is not prime. Res64: FFB6052229F7C505 Time : 2288.0 sec. user=vaughan [2010-07-03 23:59:04] 411*2^839466-1 is not prime. Res64: 865E647C58641B97 Time : 726.0 sec. user=vaughan [2010-07-03 23:59:04] 483*2^839466-1 is not prime. Res64: 70D279FD9496F9FB Time : 725.0 sec. user=vaughan [2010-07-04 00:00:43] 437*2^839310-1 is not prime. Res64: F2B967948F84BF79 Time : 39240.0 sec.