user=vaughan [2009-08-10 00:00:17] 711*2^709527-1 is not prime. Res64: 604CA0C450241148 Time : 543.0 sec. user=vaughan [2009-08-10 00:00:38] 667*2^709525-1 is not prime. Res64: E947AD022C80C986 Time : 795.0 sec. user=vaughan [2009-08-10 00:00:53] 793*2^709527-1 is not prime. Res64: B06FD191575B00B7 Time : 559.0 sec. user=vaughan [2009-08-10 00:01:24] 741*2^709522-1 is not prime. Res64: BEBAC63BDF929357 Time : 1113.0 sec. user=vaughan [2009-08-10 00:02:19] 657*2^709528-1 is not prime. Res64: 537064C562725AF2 Time : 560.0 sec. user=vaughan [2009-08-10 00:02:21] 699*2^709525-1 is not prime. Res64: 006C9FD84CE6EDEE Time : 692.0 sec. user=vaughan [2009-08-10 00:02:34] 615*2^709527-1 is not prime. Res64: 98FE6E20C2B6B8F3 Time : 695.0 sec. user=vaughan [2009-08-10 00:04:14] 663*2^709528-1 is not prime. Res64: 0F3BD40B3CA8785A Time : 562.0 sec. user=vaughan [2009-08-10 00:05:32] 615*2^709528-1 is not prime. Res64: 40976382D05909B6 Time : 797.0 sec. user=vaughan [2009-08-10 00:09:20] 747*2^709529-1 is not prime. Res64: 300F9C923BC357FA Time : 544.0 sec. user=vaughan [2009-08-10 00:09:58] 735*2^709528-1 is not prime. Res64: 6613506771487F11 Time : 807.0 sec. user=vaughan [2009-08-10 00:10:13] 615*2^709530-1 is not prime. Res64: 943FF6C247EC1F86 Time : 561.0 sec. user=vaughan [2009-08-10 00:10:29] 755*2^709528-1 is not prime. Res64: E39ECEE7944E935E Time : 744.0 sec. user=vaughan [2009-08-10 00:11:39] 675*2^709531-1 is not prime. Res64: 2EC029148926B346 Time : 560.0 sec. user=vaughan [2009-08-10 00:11:48] 691*2^709529-1 is not prime. Res64: FF6BEC3FC5110263 Time : 758.0 sec. user=vaughan [2009-08-10 00:13:32] 675*2^709532-1 is not prime. Res64: 2D1F838A7B6EF1D9 Time : 559.0 sec. user=vaughan [2009-08-10 00:13:54] 751*2^709531-1 is not prime. Res64: EDED25B3A541AB1C Time : 693.0 sec. user=vaughan [2009-08-10 00:13:57] 781*2^709529-1 is not prime. Res64: C8CDE81ABE5F922E Time : 799.0 sec. user=vaughan [2009-08-10 00:14:08] 603*2^709532-1 is not prime. Res64: 2E4DA47B5A63C501 Time : 695.0 sec. user=vaughan [2009-08-10 00:18:23] 767*2^709532-1 is not prime. Res64: 608CC6C3D3A4C30B Time : 543.0 sec. user=vaughan [2009-08-10 00:18:49] 749*2^709532-1 is not prime. Res64: E5E693BD791C86CD Time : 798.0 sec. user=vaughan [2009-08-10 00:19:33] 747*2^709533-1 is not prime. Res64: 96A411E299047EFB Time : 560.0 sec. user=vaughan [2009-08-10 00:20:58] 611*2^709534-1 is not prime. Res64: C106E7DA84393842 Time : 560.0 sec. user=tnerual [2009-08-10 00:21:56] 735*2^709527-1 is not prime. Res64: 34F0FC612AFDEDBA Time : 1835.0 sec. user=vaughan [2009-08-10 00:22:43] 777*2^709530-1 is not prime. Res64: 11A15D17FF895DE6 Time : 1279.0 sec. user=vaughan [2009-08-10 00:22:52] 769*2^709533-1 is not prime. Res64: 5FD756DFFB9B1DF0 Time : 743.0 sec. user=vaughan [2009-08-10 00:22:53] 657*2^709534-1 is not prime. Res64: BCB36D8DC1256A7E Time : 561.0 sec. user=vaughan [2009-08-10 00:23:45] 625*2^709533-1 is not prime. Res64: 03E7809915CF078B Time : 828.0 sec. user=vaughan [2009-08-10 00:24:27] 651*2^709534-1 is not prime. Res64: 829AD9160D7C2066 Time : 759.0 sec. user=vaughan [2009-08-10 00:25:24] 675*2^709534-1 is not prime. Res64: 3C22FB77DE5024AE Time : 691.0 sec. user=vaughan [2009-08-10 00:25:43] 717*2^709534-1 is not prime. Res64: EEBBCD73D061C528 Time : 695.0 sec. user=vaughan [2009-08-10 00:27:12] 681*2^709534-1 is not prime. Res64: D8F7B3133E43CB06 Time : 795.0 sec. user=vaughan [2009-08-10 00:27:25] 741*2^709534-1 is not prime. Res64: 7C726A9CFD4579C8 Time : 543.0 sec. user=vaughan [2009-08-10 00:28:52] 781*2^709535-1 is not prime. Res64: 142549EADB80FDED Time : 559.0 sec. user=vaughan [2009-08-10 00:30:19] 623*2^709536-1 is not prime. Res64: 40416C85906959C3 Time : 561.0 sec. user=vaughan [2009-08-10 00:32:04] 763*2^709535-1 is not prime. Res64: BC0D8EAB45690EB4 Time : 796.0 sec. user=vaughan [2009-08-10 00:32:14] 725*2^709536-1 is not prime. Res64: 857277BED5F92E99 Time : 561.0 sec. user=vaughan [2009-08-10 00:35:14] 657*2^709536-1 is not prime. Res64: 2ECF3DABBDE5B087 Time : 742.0 sec. user=vaughan [2009-08-10 00:36:31] 727*2^709537-1 is not prime. Res64: 9337CAAB66F4345F Time : 546.0 sec. user=vaughan [2009-08-10 00:36:56] 687*2^709537-1 is not prime. Res64: 448F9BB8F6F4E4B6 Time : 692.0 sec. user=vaughan [2009-08-10 00:37:05] 667*2^709537-1 is not prime. Res64: 563E74EBA0A550D9 Time : 759.0 sec. user=vaughan [2009-08-10 00:37:17] 691*2^709537-1 is not prime. Res64: DD15BE0CF1DFEB94 Time : 694.0 sec. user=vaughan [2009-08-10 00:37:33] 661*2^709537-1 is not prime. Res64: 519A4730BE1C38F8 Time : 829.0 sec. user=vaughan [2009-08-10 00:38:12] 777*2^709537-1 is not prime. Res64: 9CE965860EAE2A71 Time : 560.0 sec. user=vaughan [2009-08-10 00:39:36] 603*2^709538-1 is not prime. Res64: 9D59CD56BE6160A0 Time : 557.0 sec. user=vaughan [2009-08-10 00:40:27] 717*2^709537-1 is not prime. Res64: E10301C7289BD479 Time : 795.0 sec. user=vaughan [2009-08-10 00:41:18] 633*2^709536-1 is not prime. Res64: B135423D42D68EDC Time : 1115.0 sec. user=vaughan [2009-08-10 00:41:34] 753*2^709538-1 is not prime. Res64: CCFA37F94A902B7C Time : 560.0 sec. user=vaughan [2009-08-10 00:45:20] 743*2^709538-1 is not prime. Res64: 71874F13FA1754A0 Time : 796.0 sec. user=vaughan [2009-08-10 00:45:36] 609*2^709539-1 is not prime. Res64: C652929000F9FE9D Time : 546.0 sec. user=vaughan [2009-08-10 00:47:32] 715*2^709541-1 is not prime. Res64: 5EC78E9C7BA39D36 Time : 560.0 sec. user=vaughan [2009-08-10 00:47:39] 767*2^709538-1 is not prime. Res64: 1EA6B0C220A17F30 Time : 745.0 sec. user=vaughan [2009-08-10 00:48:26] 703*2^709539-1 is not prime. Res64: D2C462571AB7458D Time : 691.0 sec. user=vaughan [2009-08-10 00:48:52] 607*2^709541-1 is not prime. Res64: 692EA1CEF4D57BA8 Time : 695.0 sec. user=vaughan [2009-08-10 00:48:55] 695*2^709542-1 is not prime. Res64: 4BF778CA956CA894 Time : 559.0 sec. user=vaughan [2009-08-10 00:49:44] 735*2^709539-1 is not prime. Res64: 61C18CA1E53EC3F2 Time : 759.0 sec. user=vaughan [2009-08-10 00:50:16] 615*2^709541-1 is not prime. Res64: DA5F186C4FCDC0CE Time : 763.0 sec. user=vaughan [2009-08-10 00:50:52] 639*2^709543-1 is not prime. Res64: A4F5FC57A19DF7E4 Time : 559.0 sec. user=tnerual [2009-08-10 00:52:16] 627*2^709536-1 is not prime. Res64: B798B57A1B96A2B4 Time : 1820.0 sec. user=vaughan [2009-08-10 00:53:41] 777*2^709542-1 is not prime. Res64: 7075D7E23C43B228 Time : 794.0 sec. user=vaughan [2009-08-10 00:54:39] 679*2^709543-1 is not prime. Res64: 8A53465E47975AA9 Time : 544.0 sec. user=vaughan [2009-08-10 00:56:51] 693*2^709543-1 is not prime. Res64: 4FE6E2798A45C5EF Time : 560.0 sec. user=vaughan [2009-08-10 00:58:17] 717*2^709544-1 is not prime. Res64: 2D2BCE0625DE2B8F Time : 562.0 sec. user=vaughan [2009-08-10 00:58:35] 663*2^709543-1 is not prime. Res64: 672A18487F46DCC0 Time : 796.0 sec. user=vaughan [2009-08-10 00:59:58] 765*2^709543-1 is not prime. Res64: 3E86D650EB535CE6 Time : 692.0 sec. user=vaughan [2009-08-10 01:00:02] 735*2^709543-1 is not prime. Res64: B145F64CDE0B9EC4 Time : 743.0 sec. user=vaughan [2009-08-10 01:00:11] 603*2^709546-1 is not prime. Res64: 2409C9371CC62311 Time : 559.0 sec. user=vaughan [2009-08-10 01:00:28] 609*2^709544-1 is not prime. Res64: 0AA2F5FB887D93B3 Time : 696.0 sec. user=vaughan [2009-08-10 01:02:16] 619*2^709543-1 is not prime. Res64: A13DF331915E2A5E Time : 1258.0 sec. user=vaughan [2009-08-10 01:02:22] 609*2^709545-1 is not prime. Res64: 853808C47A9CBC64 Time : 758.0 sec. user=vaughan [2009-08-10 01:03:43] 737*2^709546-1 is not prime. Res64: EDF9B6119B6190EE Time : 544.0 sec. user=vaughan [2009-08-10 01:04:35] 699*2^709545-1 is not prime. Res64: 06F4CA3E3516783F Time : 859.0 sec. user=vaughan [2009-08-10 01:06:12] 603*2^709547-1 is not prime. Res64: B05C7784D5B552FD Time : 561.0 sec. user=vaughan [2009-08-10 01:06:57] 723*2^709546-1 is not prime. Res64: 0857A8503420C1C1 Time : 796.0 sec. user=vaughan [2009-08-10 01:07:36] 631*2^709547-1 is not prime. Res64: CF75D8657FCF160B Time : 560.0 sec. user=vaughan [2009-08-10 01:09:29] 663*2^709548-1 is not prime. Res64: DD9C5E96E38849E5 Time : 558.0 sec. user=vaughan [2009-08-10 01:11:29] 741*2^709547-1 is not prime. Res64: 44FEFD58E36EF547 Time : 692.0 sec. user=vaughan [2009-08-10 01:11:51] 735*2^709547-1 is not prime. Res64: 35AD1D5A4860FA0E Time : 797.0 sec. user=vaughan [2009-08-10 01:12:03] 753*2^709548-1 is not prime. Res64: 9E6207E3A2F7A27E Time : 696.0 sec. user=vaughan [2009-08-10 01:12:27] 781*2^709547-1 is not prime. Res64: 105954CA8EF63966 Time : 745.0 sec. user=vaughan [2009-08-10 01:12:46] 721*2^709549-1 is not prime. Res64: 7402995BBA8A997E Time : 544.0 sec. user=vaughan [2009-08-10 01:15:01] 783*2^709548-1 is not prime. Res64: 10D331D8C669F7DC Time : 759.0 sec. user=vaughan [2009-08-10 01:15:31] 755*2^709550-1 is not prime. Res64: 6DFBFBA3E037D2D8 Time : 559.0 sec. user=vaughan [2009-08-10 01:16:57] 609*2^709551-1 is not prime. Res64: B15717D7DDA192BE Time : 561.0 sec. user=vaughan [2009-08-10 01:18:48] 625*2^709551-1 is not prime. Res64: 78288532818DC2C9 Time : 559.0 sec. user=vaughan [2009-08-10 01:18:58] 745*2^709549-1 is not prime. Res64: 8ECBA351E841312D Time : 864.0 sec. user=vaughan [2009-08-10 01:19:48] 773*2^709548-1 is not prime. Res64: 3058F977798E1287 Time : 1053.0 sec. user=vaughan [2009-08-10 01:20:15] 795*2^709550-1 is not prime. Res64: 78477AAF4A0D2703 Time : 798.0 sec. user=vaughan [2009-08-10 01:21:50] 615*2^709552-1 is not prime. Res64: 581D1B8EACE7A5DD Time : 544.0 sec. user=tnerual [2009-08-10 01:22:32] 647*2^709546-1 is not prime. Res64: DDC39FC836EAFA71 Time : 1816.0 sec. user=vaughan [2009-08-10 01:23:01] 661*2^709551-1 is not prime. Res64: EDE0CAAB66C65A96 Time : 692.0 sec. user=vaughan [2009-08-10 01:23:39] 741*2^709551-1 is not prime. Res64: 998687892DE678E6 Time : 696.0 sec. user=vaughan [2009-08-10 01:24:51] 745*2^709551-1 is not prime. Res64: 20F63F0827FAA67D Time : 744.0 sec. user=vaughan [2009-08-10 01:24:51] 657*2^709552-1 is not prime. Res64: C0E025E581A3E59E Time : 560.0 sec. user=vaughan [2009-08-10 01:25:11] 711*2^709551-1 is not prime. Res64: BA9E6C45B698D933 Time : 800.0 sec. user=vaughan [2009-08-10 01:26:18] 755*2^709552-1 is not prime. Res64: DF327C5E4AC12D0D Time : 562.0 sec. user=vaughan [2009-08-10 01:27:40] 645*2^709552-1 is not prime. Res64: DA111A6B467BED2D Time : 759.0 sec. user=vaughan [2009-08-10 01:28:07] 785*2^709552-1 is not prime. Res64: 2F5EE5BD1C2356DF Time : 559.0 sec. user=vaughan [2009-08-10 01:30:54] 697*2^709553-1 is not prime. Res64: D83FD4D2E6E26C11 Time : 544.0 sec. user=vaughan [2009-08-10 01:33:24] 651*2^709553-1 is not prime. Res64: 2A5C1CF43DA0DD05 Time : 867.0 sec. user=vaughan [2009-08-10 01:33:34] 691*2^709553-1 is not prime. Res64: 21D10F5FBA505905 Time : 800.0 sec. user=vaughan [2009-08-10 01:34:10] 665*2^709554-1 is not prime. Res64: 1B20CB758E64188B Time : 559.0 sec. user=vaughan [2009-08-10 01:34:33] 775*2^709553-1 is not prime. Res64: D30C99224344E359 Time : 692.0 sec. user=vaughan [2009-08-10 01:35:13] 611*2^709554-1 is not prime. Res64: E34C8A1A6DC3D2C6 Time : 694.0 sec. user=vaughan [2009-08-10 01:35:37] 797*2^709554-1 is not prime. Res64: A276ADE8C1E4665B Time : 559.0 sec. user=vaughan [2009-08-10 01:37:05] 627*2^709554-1 is not prime. Res64: AB09E49B8118D94E Time : 735.0 sec. user=vaughan [2009-08-10 01:37:28] 639*2^709555-1 is not prime. Res64: 6C745E3DC8BBAC96 Time : 561.0 sec. user=vaughan [2009-08-10 01:37:32] 685*2^709553-1 is not prime. Res64: F9517D284376D1E7 Time : 1064.0 sec. user=vaughan [2009-08-10 01:38:30] 747*2^709554-1 is not prime. Res64: 3E0B574EF01CE36A Time : 800.0 sec. user=vaughan [2009-08-10 01:39:48] 631*2^709555-1 is not prime. Res64: 4B243474E471654D Time : 728.0 sec. user=vaughan [2009-08-10 01:39:59] 679*2^709555-1 is not prime. Res64: BB7E57AF62661A8F Time : 545.0 sec. user=vaughan [2009-08-10 01:43:30] 659*2^709556-1 is not prime. Res64: 42DD31B8C2D6B31D Time : 561.0 sec. user=vaughan [2009-08-10 01:44:58] 749*2^709556-1 is not prime. Res64: B1232952810DD78C Time : 561.0 sec. user=vaughan [2009-08-10 01:45:59] 693*2^709556-1 is not prime. Res64: 2DF4958EAA62A306 Time : 686.0 sec. user=vaughan [2009-08-10 01:46:40] 707*2^709556-1 is not prime. Res64: B491298D98843956 Time : 687.0 sec. user=vaughan [2009-08-10 01:46:44] 615*2^709557-1 is not prime. Res64: 62A2558C99FCED62 Time : 556.0 sec. user=vaughan [2009-08-10 01:46:53] 715*2^709555-1 is not prime. Res64: D894B8D2C150CF02 Time : 800.0 sec. user=vaughan [2009-08-10 01:48:56] 785*2^709556-1 is not prime. Res64: 5A7B637564E05210 Time : 711.0 sec. user=vaughan [2009-08-10 01:49:04] 699*2^709557-1 is not prime. Res64: 39E0A453A49F806B Time : 546.0 sec. user=vaughan [2009-08-10 01:51:27] 669*2^709557-1 is not prime. Res64: 268B98CDB15FF8BA Time : 699.0 sec. user=vaughan [2009-08-10 01:51:49] 655*2^709557-1 is not prime. Res64: CA38C88AE663FF85 Time : 799.0 sec. user=vaughan [2009-08-10 01:52:50] 623*2^709558-1 is not prime. Res64: CD0D437EA3671E5D Time : 560.0 sec. user=tnerual [2009-08-10 01:53:02] 747*2^709553-1 is not prime. Res64: B25589A123DF8708 Time : 1830.0 sec. user=vaughan [2009-08-10 01:54:21] 657*2^709558-1 is not prime. Res64: 4B2477BA52DC1831 Time : 563.0 sec. user=vaughan [2009-08-10 01:56:03] 713*2^709558-1 is not prime. Res64: 3881CCC263F410AB Time : 559.0 sec. user=vaughan [2009-08-10 01:57:25] 671*2^709558-1 is not prime. Res64: 8008E01EE4566CE7 Time : 686.0 sec. user=vaughan [2009-08-10 01:58:08] 625*2^709557-1 is not prime. Res64: 8A80CCD20BB347BE Time : 1236.0 sec. user=vaughan [2009-08-10 01:58:08] 681*2^709558-1 is not prime. Res64: 308D98C2719620D8 Time : 688.0 sec. user=vaughan [2009-08-10 01:58:12] 693*2^709559-1 is not prime. Res64: E33BFAFB0A0CE401 Time : 548.0 sec. user=vaughan [2009-08-10 02:00:12] 765*2^709558-1 is not prime. Res64: 647037A0CDEFDFF6 Time : 800.0 sec. user=vaughan [2009-08-10 02:00:47] 791*2^709558-1 is not prime. Res64: 97C97B2CCE24B8BD Time : 711.0 sec. user=vaughan [2009-08-10 02:02:12] 771*2^709559-1 is not prime. Res64: F2B75D180914F050 Time : 562.0 sec. user=vaughan [2009-08-10 02:03:06] 729*2^709559-1 is not prime. Res64: 668A208D8C5A979F Time : 699.0 sec. user=vaughan [2009-08-10 02:03:40] 665*2^709560-1 is not prime. Res64: FE4ECD35057D1092 Time : 559.0 sec. user=vaughan [2009-08-10 02:05:08] 753*2^709559-1 is not prime. Res64: F5C0ACFD38AADB70 Time : 799.0 sec. user=vaughan [2009-08-10 02:05:22] 693*2^709560-1 is not prime. Res64: 529B97C4F83CCD42 Time : 559.0 sec. user=vaughan [2009-08-10 02:07:17] 687*2^709561-1 is not prime. Res64: D50851D4BB629263 Time : 545.0 sec. user=vaughan [2009-08-10 02:08:51] 695*2^709560-1 is not prime. Res64: E719CC5062C47790 Time : 686.0 sec. user=vaughan [2009-08-10 02:09:36] 645*2^709561-1 is not prime. Res64: 3EABF87753130A26 Time : 689.0 sec. user=vaughan [2009-08-10 02:11:29] 609*2^709563-1 is not prime. Res64: EAE4214992EB8CE4 Time : 557.0 sec. user=vaughan [2009-08-10 02:12:39] 771*2^709561-1 is not prime. Res64: B1C0F94BDE10324C Time : 712.0 sec. user=vaughan [2009-08-10 02:13:00] 783*2^709563-1 is not prime. Res64: 01FCC51F2A450673 Time : 560.0 sec. user=vaughan [2009-08-10 02:13:30] 741*2^709561-1 is not prime. Res64: 981CF72FB9CD6F03 Time : 799.0 sec. user=vaughan [2009-08-10 02:14:41] 695*2^709564-1 is not prime. Res64: 468F250C8C5919EE Time : 560.0 sec. user=vaughan [2009-08-10 02:14:45] 769*2^709563-1 is not prime. Res64: 326AAC435DA64A94 Time : 699.0 sec. user=vaughan [2009-08-10 02:16:20] 705*2^709564-1 is not prime. Res64: A226491D224625B1 Time : 544.0 sec. user=vaughan [2009-08-10 02:18:28] 665*2^709564-1 is not prime. Res64: 51E9E1858D2F984A Time : 800.0 sec. user=vaughan [2009-08-10 02:19:52] 609*2^709561-1 is not prime. Res64: DBA05667800CB971 Time : 1305.0 sec. user=vaughan [2009-08-10 02:20:17] 719*2^709564-1 is not prime. Res64: C281B8EDE5413795 Time : 686.0 sec. user=vaughan [2009-08-10 02:20:49] 655*2^709565-1 is not prime. Res64: C6098652E8F58524 Time : 560.0 sec. user=vaughan [2009-08-10 02:21:04] 759*2^709564-1 is not prime. Res64: 34F2E45FF250C5A0 Time : 688.0 sec. user=vaughan [2009-08-10 02:22:19] 771*2^709565-1 is not prime. Res64: 851F2C98F5716F94 Time : 559.0 sec. user=tnerual [2009-08-10 02:23:27] 635*2^709560-1 is not prime. Res64: E3658D18027C8855 Time : 1826.0 sec. user=vaughan [2009-08-10 02:24:02] 707*2^709566-1 is not prime. Res64: 8C02E9868194B328 Time : 561.0 sec. user=vaughan [2009-08-10 02:24:30] 697*2^709565-1 is not prime. Res64: 943E4F49D01D5362 Time : 712.0 sec. user=vaughan [2009-08-10 02:25:25] 747*2^709566-1 is not prime. Res64: 924BCAE4C44597FD Time : 545.0 sec. user=vaughan [2009-08-10 02:26:23] 725*2^709566-1 is not prime. Res64: 4A9CC2223796B2E8 Time : 699.0 sec. user=vaughan [2009-08-10 02:26:48] 789*2^709565-1 is not prime. Res64: 006390C139A7F4FD Time : 798.0 sec. user=vaughan [2009-08-10 02:30:10] 705*2^709567-1 is not prime. Res64: 99B922C62058A705 Time : 561.0 sec. user=vaughan [2009-08-10 02:31:41] 603*2^709568-1 is not prime. Res64: 9449995650B9B20C Time : 562.0 sec. user=vaughan [2009-08-10 02:31:44] 685*2^709567-1 is not prime. Res64: 9BC36A6FF89EB255 Time : 687.0 sec. user=vaughan [2009-08-10 02:31:46] 767*2^709566-1 is not prime. Res64: 6F147C7A5FC82F52 Time : 798.0 sec. user=vaughan [2009-08-10 02:32:31] 729*2^709567-1 is not prime. Res64: C0EDB3243C6DD737 Time : 688.0 sec. user=vaughan [2009-08-10 02:33:19] 617*2^709568-1 is not prime. Res64: 3A52E26EFFFD4E17 Time : 558.0 sec. user=vaughan [2009-08-10 02:34:29] 699*2^709568-1 is not prime. Res64: 4013161611DDBA3D Time : 544.0 sec. user=vaughan [2009-08-10 02:35:25] 699*2^709555-1 is not prime. Res64: E6B65EB1FA920CBA Time : 3722.0 sec. user=vaughan [2009-08-10 02:36:22] 657*2^709568-1 is not prime. Res64: 80AAD1A4D0F5DE7F Time : 712.0 sec. user=vaughan [2009-08-10 02:37:44] 621*2^709567-1 is not prime. Res64: 9323E4CC6BE30061 Time : 1073.0 sec. user=vaughan [2009-08-10 02:38:03] 725*2^709568-1 is not prime. Res64: 56FF3445770448FE Time : 700.0 sec. user=vaughan [2009-08-10 02:39:30] 795*2^709568-1 is not prime. Res64: 06D4B2E841BAD0C1 Time : 560.0 sec. user=vaughan [2009-08-10 02:40:05] 773*2^709568-1 is not prime. Res64: 139D436503CAEA05 Time : 797.0 sec. user=vaughan [2009-08-10 02:41:00] 639*2^709569-1 is not prime. Res64: 6C34A438060B4920 Time : 559.0 sec. user=vaughan [2009-08-10 02:42:36] 777*2^709570-1 is not prime. Res64: 88B835FCB596C65B Time : 557.0 sec. user=vaughan [2009-08-10 02:43:10] 645*2^709570-1 is not prime. Res64: 7856308CF5A09792 Time : 687.0 sec. user=vaughan [2009-08-10 02:43:33] 705*2^709571-1 is not prime. Res64: EAE698C9A07CE413 Time : 544.0 sec. user=vaughan [2009-08-10 02:43:59] 747*2^709570-1 is not prime. Res64: 00720FA79D0720B4 Time : 688.0 sec. user=vaughan [2009-08-10 02:45:03] 741*2^709570-1 is not prime. Res64: 9173B23A5C460D65 Time : 797.0 sec. user=vaughan [2009-08-10 02:48:13] 733*2^709571-1 is not prime. Res64: 14C74103FC5AF404 Time : 712.0 sec. user=vaughan [2009-08-10 02:48:50] 693*2^709572-1 is not prime. Res64: E42BB5F646B898CD Time : 561.0 sec. user=vaughan [2009-08-10 02:49:15] 715*2^709571-1 is not prime. Res64: D9492F20B9F5F4DF Time : 830.0 sec. user=vaughan [2009-08-10 02:49:43] 689*2^709572-1 is not prime. Res64: 1B9CAE52EF951D60 Time : 700.0 sec. user=vaughan [2009-08-10 02:50:22] 615*2^709573-1 is not prime. Res64: D19ABA841D5D189D Time : 562.0 sec. user=vaughan [2009-08-10 02:51:55] 619*2^709573-1 is not prime. Res64: 3A8A546EA55DDAE1 Time : 559.0 sec. user=vaughan [2009-08-10 02:52:37] 623*2^709574-1 is not prime. Res64: 7A3C008C94BD1007 Time : 544.0 sec. user=vaughan [2009-08-10 02:53:21] 749*2^709572-1 is not prime. Res64: E4B2ADF071698B8C Time : 796.0 sec. user=tnerual [2009-08-10 02:53:44] 615*2^709568-1 is not prime. Res64: 81A5D487905C270E Time : 1817.0 sec. user=vaughan [2009-08-10 02:54:39] 765*2^709573-1 is not prime. Res64: 7F97DD37A7690B7B Time : 689.0 sec. user=vaughan [2009-08-10 02:55:26] 693*2^709574-1 is not prime. Res64: D39134EA841B898C Time : 688.0 sec. user=vaughan [2009-08-10 02:58:11] 643*2^709575-1 is not prime. Res64: C60F7A6FC755ABA8 Time : 561.0 sec. user=vaughan [2009-08-10 02:58:21] 707*2^709574-1 is not prime. Res64: 53A838CE2A0E59F0 Time : 798.0 sec. user=vaughan [2009-08-10 02:59:24] 669*2^709572-1 is not prime. Res64: 4F9900B0BC9496A9 Time : 1300.0 sec. user=vaughan [2009-08-10 02:59:41] 653*2^709576-1 is not prime. Res64: 3E0E699DCA9627C0 Time : 559.0 sec. user=vaughan [2009-08-10 03:00:04] 741*2^709574-1 is not prime. Res64: 372F77BAA1F60A0B Time : 711.0 sec. user=vaughan [2009-08-10 03:01:16] 743*2^709576-1 is not prime. Res64: CCDF938BE33342AA Time : 561.0 sec. user=vaughan [2009-08-10 03:01:22] 789*2^709575-1 is not prime. Res64: 453A575769E7B49F Time : 699.0 sec. user=vaughan [2009-08-10 03:01:42] 747*2^709576-1 is not prime. Res64: CDFDB5756413C16B Time : 546.0 sec. user=vaughan [2009-08-10 03:02:02] 741*2^709575-1 is not prime. Res64: CF2EE113337101BE Time : 767.0 sec. user=vaughan [2009-08-10 03:06:04] 651*2^709577-1 is not prime. Res64: FD93314B7125FC61 Time : 685.0 sec. user=vaughan [2009-08-10 03:06:39] 765*2^709576-1 is not prime. Res64: D6BEE3AF31E2308F Time : 798.0 sec. user=vaughan [2009-08-10 03:06:54] 685*2^709577-1 is not prime. Res64: 942814709C61B2C8 Time : 688.0 sec. user=vaughan [2009-08-10 03:07:31] 715*2^709577-1 is not prime. Res64: CB835F2C24EBC290 Time : 561.0 sec. user=vaughan [2009-08-10 03:09:01] 621*2^709578-1 is not prime. Res64: CE848A32CBCA5A0E Time : 561.0 sec. user=vaughan [2009-08-10 03:10:37] 615*2^709579-1 is not prime. Res64: 7CB5B881E6ABD154 Time : 561.0 sec. user=vaughan [2009-08-10 03:10:47] 681*2^709579-1 is not prime. Res64: 2C0D6F8BB37A505B Time : 545.0 sec. user=vaughan [2009-08-10 03:11:40] 747*2^709577-1 is not prime. Res64: F61EF7F0A0AF91CB Time : 799.0 sec. user=vaughan [2009-08-10 03:11:57] 641*2^709578-1 is not prime. Res64: B822CF44E1B720BE Time : 713.0 sec. user=vaughan [2009-08-10 03:13:01] 645*2^709579-1 is not prime. Res64: A294526115F52089 Time : 699.0 sec. user=vaughan [2009-08-10 03:15:14] 759*2^709579-1 is not prime. Res64: 26BD78AB9B984CBF Time : 792.0 sec. user=vaughan [2009-08-10 03:16:53] 755*2^709580-1 is not prime. Res64: 7F79FEB8D38B2C54 Time : 562.0 sec. user=vaughan [2009-08-10 03:17:31] 771*2^709579-1 is not prime. Res64: C067479E863664BD Time : 687.0 sec. user=vaughan [2009-08-10 03:18:20] 745*2^709581-1 is not prime. Res64: B9C980C0A3803B04 Time : 559.0 sec. user=vaughan [2009-08-10 03:18:23] 753*2^709580-1 is not prime. Res64: 6F31E9B0F0ABAD29 Time : 689.0 sec. user=vaughan [2009-08-10 03:19:55] 777*2^709581-1 is not prime. Res64: D1ED76893A983E07 Time : 548.0 sec. user=vaughan [2009-08-10 03:19:58] 747*2^709581-1 is not prime. Res64: 98CAD360E800A228 Time : 561.0 sec. user=vaughan [2009-08-10 03:19:58] 659*2^709580-1 is not prime. Res64: 805F21AE42AF1C6D Time : 799.0 sec. user=vaughan [2009-08-10 03:20:18] 605*2^709578-1 is not prime. Res64: 9533A089B34A6A29 Time : 1254.0 sec. user=vaughan [2009-08-10 03:23:48] 695*2^709582-1 is not prime. Res64: B55AA7136ECDDE3E Time : 711.0 sec. user=tnerual [2009-08-10 03:24:06] 777*2^709576-1 is not prime. Res64: 2878F410F224F054 Time : 1822.0 sec. user=vaughan [2009-08-10 03:24:41] 741*2^709582-1 is not prime. Res64: 009703B4267700E5 Time : 700.0 sec. user=vaughan [2009-08-10 03:25:00] 621*2^709582-1 is not prime. Res64: 8F42ED8465D78D47 Time : 800.0 sec. user=vaughan [2009-08-10 03:26:15] 693*2^709583-1 is not prime. Res64: 4CA23F3FE518F81C Time : 563.0 sec. user=vaughan [2009-08-10 03:27:40] 609*2^709584-1 is not prime. Res64: 3FED50D969423861 Time : 561.0 sec. user=vaughan [2009-08-10 03:28:58] 789*2^709583-1 is not prime. Res64: FDAAB7B23A0DC4FE Time : 687.0 sec. user=vaughan [2009-08-10 03:29:02] 725*2^709584-1 is not prime. Res64: 3D4FBBA60339A4F4 Time : 548.0 sec. user=vaughan [2009-08-10 03:29:20] 753*2^709584-1 is not prime. Res64: 30B1D412823504AE Time : 562.0 sec. user=vaughan [2009-08-10 03:29:49] 743*2^709582-1 is not prime. Res64: 2450422961B3F08E Time : 875.0 sec. user=vaughan [2009-08-10 03:29:51] 707*2^709584-1 is not prime. Res64: 040AA18D175AC852 Time : 688.0 sec. user=vaughan [2009-08-10 03:33:17] 607*2^709585-1 is not prime. Res64: EA7F0763CAE781CF Time : 799.0 sec. user=vaughan [2009-08-10 03:35:38] 741*2^709586-1 is not prime. Res64: AB693C47676F8072 Time : 563.0 sec. user=vaughan [2009-08-10 03:35:41] 789*2^709585-1 is not prime. Res64: 01684B94330AC2FA Time : 713.0 sec. user=vaughan [2009-08-10 03:36:22] 713*2^709586-1 is not prime. Res64: 22030766662620D1 Time : 701.0 sec. user=vaughan [2009-08-10 03:36:58] 633*2^709587-1 is not prime. Res64: 4E516FCE60E35006 Time : 558.0 sec. user=vaughan [2009-08-10 03:37:15] 687*2^709585-1 is not prime. Res64: 53AAD784275CBCEA Time : 1017.0 sec. user=vaughan [2009-08-10 03:38:10] 769*2^709587-1 is not prime. Res64: 9A202DCC0471C587 Time : 548.0 sec. user=vaughan [2009-08-10 03:38:18] 735*2^709586-1 is not prime. Res64: D3F4C8A3E8F6F6A9 Time : 798.0 sec. user=vaughan [2009-08-10 03:38:41] 793*2^709587-1 is not prime. Res64: 4678EBF0DD762556 Time : 561.0 sec. user=vaughan [2009-08-10 03:40:24] 753*2^709587-1 is not prime. Res64: 0E70E9FBE201158B Time : 687.0 sec. user=vaughan [2009-08-10 03:41:20] 687*2^709588-1 is not prime. Res64: FAB824A80968E7B0 Time : 689.0 sec. user=vaughan [2009-08-10 03:44:26] 647*2^709588-1 is not prime. Res64: 8E260BBC234FC0AB Time : 877.0 sec. user=vaughan [2009-08-10 03:45:00] 631*2^709589-1 is not prime. Res64: 2D0811171EFAF0B3 Time : 563.0 sec. user=vaughan [2009-08-10 03:46:19] 747*2^709589-1 is not prime. Res64: 4B96A98BEEE1D6DD Time : 561.0 sec. user=vaughan [2009-08-10 03:46:36] 707*2^709588-1 is not prime. Res64: A365E651A3757A90 Time : 799.0 sec. user=vaughan [2009-08-10 03:47:16] 665*2^709590-1 is not prime. Res64: 7DBC22C7763CC315 Time : 547.0 sec. user=vaughan [2009-08-10 03:47:34] 691*2^709589-1 is not prime. Res64: 56127628E571EBAC Time : 713.0 sec. user=vaughan [2009-08-10 03:48:01] 745*2^709589-1 is not prime. Res64: E1442D8B38312D14 Time : 700.0 sec. user=vaughan [2009-08-10 03:48:03] 777*2^709590-1 is not prime. Res64: 72CBE0BFAB3A272F Time : 562.0 sec. user=vaughan [2009-08-10 03:51:37] 747*2^709590-1 is not prime. Res64: 1D9796A7A6AAFC3B Time : 799.0 sec. user=vaughan [2009-08-10 03:51:50] 783*2^709590-1 is not prime. Res64: FB42FB6AB3D6743D Time : 686.0 sec. user=vaughan [2009-08-10 03:52:47] 795*2^709590-1 is not prime. Res64: 2ADF6A275F356903 Time : 687.0 sec. user=tnerual [2009-08-10 03:54:22] 657*2^709586-1 is not prime. Res64: A6394B887A56B524 Time : 1816.0 sec. user=vaughan [2009-08-10 03:54:25] 783*2^709591-1 is not prime. Res64: B1F09D49E85A52B6 Time : 565.0 sec. user=vaughan [2009-08-10 03:55:42] 665*2^709592-1 is not prime. Res64: D516EB841224FD73 Time : 563.0 sec. user=vaughan [2009-08-10 03:56:25] 683*2^709592-1 is not prime. Res64: D31D1EDE4263E25D Time : 549.0 sec. user=vaughan [2009-08-10 03:57:27] 681*2^709593-1 is not prime. Res64: 15C6C1CBED288D13 Time : 564.0 sec. user=vaughan [2009-08-10 03:57:51] 647*2^709590-1 is not prime. Res64: 4D2D08FA456B325D Time : 1236.0 sec. user=vaughan [2009-08-10 03:58:06] 603*2^709591-1 is not prime. Res64: EA3218E933731C8B Time : 820.0 sec. user=vaughan [2009-08-10 03:59:26] 625*2^709593-1 is not prime. Res64: E548336A8C1C27DB Time : 713.0 sec. user=vaughan [2009-08-10 03:59:41] 657*2^709593-1 is not prime. Res64: 229E57375816B9AB Time : 700.0 sec. user=vaughan [2009-08-10 03:59:55] 677*2^709592-1 is not prime. Res64: C33604FE3D73B719 Time : 799.0 sec. user=vaughan [2009-08-10 04:03:17] 745*2^709593-1 is not prime. Res64: 6F2E26A1D65A9855 Time : 687.0 sec. user=vaughan [2009-08-10 04:03:49] 605*2^709594-1 is not prime. Res64: 15CF0C586681D540 Time : 564.0 sec. user=vaughan [2009-08-10 04:04:16] 759*2^709593-1 is not prime. Res64: DC83CDD0047ED720 Time : 689.0 sec. user=vaughan [2009-08-10 04:04:56] 739*2^709593-1 is not prime. Res64: F2B6806602C6C3D7 Time : 799.0 sec. user=vaughan [2009-08-10 04:05:03] 635*2^709594-1 is not prime. Res64: FB981BBA510F7C50 Time : 561.0 sec. user=vaughan [2009-08-10 04:05:31] 663*2^709594-1 is not prime. Res64: FA4BB53646121000 Time : 546.0 sec. user=vaughan [2009-08-10 04:06:50] 737*2^709594-1 is not prime. Res64: C9533D129B47AF0E Time : 563.0 sec. user=vaughan [2009-08-10 04:11:15] 655*2^709595-1 is not prime. Res64: E1A87F8C8B7516AA Time : 789.0 sec. user=vaughan [2009-08-10 04:11:20] 663*2^709595-1 is not prime. Res64: FA981B485D8AC734 Time : 714.0 sec. user=vaughan [2009-08-10 04:11:21] 673*2^709595-1 is not prime. Res64: 008751FE72C3F2D7 Time : 700.0 sec. user=vaughan [2009-08-10 04:13:13] 789*2^709595-1 is not prime. Res64: 80A048C1BF66ABDE Time : 564.0 sec. user=vaughan [2009-08-10 04:13:14] 741*2^709595-1 is not prime. Res64: 6DED1BC0922D169F Time : 799.0 sec. user=vaughan [2009-08-10 04:14:25] 789*2^709596-1 is not prime. Res64: 188DD1A9C24E7ADD Time : 562.0 sec. user=vaughan [2009-08-10 04:14:39] 691*2^709597-1 is not prime. Res64: 9446CCD9FAF96AC5 Time : 548.0 sec. user=vaughan [2009-08-10 04:14:43] 783*2^709595-1 is not prime. Res64: 2EFE092D1F7B55B2 Time : 686.0 sec. user=vaughan [2009-08-10 04:15:45] 683*2^709596-1 is not prime. Res64: 1387B06B558125A9 Time : 689.0 sec. user=vaughan [2009-08-10 04:16:13] 757*2^709597-1 is not prime. Res64: EAEFDBACD46DC4C1 Time : 563.0 sec. user=vaughan [2009-08-10 04:17:59] 643*2^709595-1 is not prime. Res64: 4A98F7B11E38F5FD Time : 1208.0 sec. user=vaughan [2009-08-10 04:18:17] 773*2^709596-1 is not prime. Res64: E5830CEAF18E1605 Time : 801.0 sec. user=vaughan [2009-08-10 04:22:36] 609*2^709599-1 is not prime. Res64: CAC8A0A026478372 Time : 563.0 sec. user=vaughan [2009-08-10 04:23:01] 797*2^709598-1 is not prime. Res64: 39C4995505B8B90C Time : 700.0 sec. user=vaughan [2009-08-10 04:23:13] 713*2^709598-1 is not prime. Res64: 7B01232EBF69A0FA Time : 714.0 sec. user=vaughan [2009-08-10 04:23:44] 615*2^709600-1 is not prime. Res64: 87CC79B1FAC36F71 Time : 559.0 sec. user=vaughan [2009-08-10 04:23:47] 695*2^709600-1 is not prime. Res64: 023C743C28B1EA3C Time : 549.0 sec. user=vaughan [2009-08-10 04:24:28] 663*2^709598-1 is not prime. Res64: 8498B2EF099894D5 Time : 793.0 sec. user=tnerual [2009-08-10 04:24:39] 795*2^709593-1 is not prime. Res64: E06228D74FE64880 Time : 1817.0 sec. user=vaughan [2009-08-10 04:25:37] 723*2^709600-1 is not prime. Res64: 75A56573FAB3BFCD Time : 564.0 sec. user=vaughan [2009-08-10 04:26:10] 699*2^709600-1 is not prime. Res64: 125D8A5D6D6CD646 Time : 687.0 sec. user=vaughan [2009-08-10 04:26:43] 625*2^709599-1 is not prime. Res64: DD53ADA8443EDE91 Time : 809.0 sec. user=vaughan [2009-08-10 04:27:14] 713*2^709600-1 is not prime. Res64: 434A7700E46E0CF2 Time : 689.0 sec. user=vaughan [2009-08-10 04:31:53] 769*2^709601-1 is not prime. Res64: 75D6D9089769B266 Time : 816.0 sec. user=vaughan [2009-08-10 04:31:58] 775*2^709601-1 is not prime. Res64: 12A43B6B992011AC Time : 563.0 sec. user=vaughan [2009-08-10 04:32:56] 707*2^709604-1 is not prime. Res64: 88D183FB48F2132C Time : 549.0 sec. user=vaughan [2009-08-10 04:33:06] 623*2^709604-1 is not prime. Res64: 17339DD14A8AB489 Time : 562.0 sec. user=vaughan [2009-08-10 04:34:40] 611*2^709602-1 is not prime. Res64: 81C7D2DD2070B6CB Time : 699.0 sec. user=vaughan [2009-08-10 04:35:00] 671*2^709606-1 is not prime. Res64: 1377608C14276A6F Time : 563.0 sec. user=vaughan [2009-08-10 04:35:06] 621*2^709603-1 is not prime. Res64: E2325161BA6F1465 Time : 713.0 sec. user=vaughan [2009-08-10 04:37:35] 677*2^709606-1 is not prime. Res64: D2B0F51DC873B120 Time : 685.0 sec. user=vaughan [2009-08-10 04:37:48] 657*2^709605-1 is not prime. Res64: 2341BF31A894D8EE Time : 800.0 sec. user=vaughan [2009-08-10 04:37:52] 777*2^709600-1 is not prime. Res64: 2AB0853C0522F0BD Time : 1193.0 sec. user=vaughan [2009-08-10 04:38:42] 777*2^709606-1 is not prime. Res64: 2F559AC4EE1F9080 Time : 688.0 sec. user=vaughan [2009-08-10 04:40:22] 741*2^709606-1 is not prime. Res64: 9B4B154B0087F891 Time : 819.0 sec. user=vaughan [2009-08-10 04:41:21] 645*2^709607-1 is not prime. Res64: 5F0D68715FE16E16 Time : 563.0 sec. user=vaughan [2009-08-10 04:42:05] 739*2^709607-1 is not prime. Res64: F5395B7697C1F54C Time : 549.0 sec. user=vaughan [2009-08-10 04:42:27] 689*2^709608-1 is not prime. Res64: F86F9AADBBE1BB83 Time : 561.0 sec. user=vaughan [2009-08-10 04:44:22] 747*2^709608-1 is not prime. Res64: 0858415089A8E6B2 Time : 562.0 sec. user=vaughan [2009-08-10 04:45:30] 619*2^709607-1 is not prime. Res64: 61E11D7C3BD4D661 Time : 817.0 sec. user=vaughan [2009-08-10 04:46:20] 737*2^709608-1 is not prime. Res64: 4CB399F4891CA40A Time : 700.0 sec. user=vaughan [2009-08-10 04:47:01] 759*2^709608-1 is not prime. Res64: 4EBDBDDC3D0020DB Time : 715.0 sec. user=vaughan [2009-08-10 04:49:01] 795*2^709608-1 is not prime. Res64: 4FE8D0FC2F8EBDFC Time : 686.0 sec. user=vaughan [2009-08-10 04:50:11] 633*2^709610-1 is not prime. Res64: D3364C97D3785185 Time : 689.0 sec. user=vaughan [2009-08-10 04:50:43] 675*2^709610-1 is not prime. Res64: 9D5ABF28E2C1A00F Time : 562.0 sec. user=vaughan [2009-08-10 04:50:51] 679*2^709609-1 is not prime. Res64: DB5C19DADC7F56A1 Time : 783.0 sec. user=vaughan [2009-08-10 04:51:13] 643*2^709611-1 is not prime. Res64: E14FD428EC7E7D3F Time : 548.0 sec. user=vaughan [2009-08-10 04:51:52] 775*2^709611-1 is not prime. Res64: A3A3A8F44C56D42C Time : 565.0 sec. user=vaughan [2009-08-10 04:53:45] 793*2^709611-1 is not prime. Res64: 834AC9BAD64488E7 Time : 563.0 sec. user=vaughan [2009-08-10 04:53:56] 641*2^709610-1 is not prime. Res64: 1D38422F503A12B5 Time : 814.0 sec. user=tnerual [2009-08-10 04:54:57] 679*2^709605-1 is not prime. Res64: F9F45DCEC75A2E17 Time : 1818.0 sec. user=vaughan [2009-08-10 04:57:49] 729*2^709609-1 is not prime. Res64: D630F89190D3A0A0 Time : 1197.0 sec. user=vaughan [2009-08-10 04:58:01] 647*2^709612-1 is not prime. Res64: 3C626C549F526BE7 Time : 701.0 sec. user=vaughan [2009-08-10 04:58:55] 653*2^709612-1 is not prime. Res64: 56A4DC983A564F5D Time : 714.0 sec. user=vaughan [2009-08-10 04:59:02] 617*2^709612-1 is not prime. Res64: ED967212E814D863 Time : 812.0 sec. user=vaughan [2009-08-10 05:00:09] 631*2^709613-1 is not prime. Res64: 482766C7103AF0B5 Time : 566.0 sec. user=vaughan [2009-08-10 05:00:20] 621*2^709614-1 is not prime. Res64: E20EC3D47166BB4C Time : 548.0 sec. user=vaughan [2009-08-10 05:00:28] 723*2^709612-1 is not prime. Res64: 2C98EC16D0E9F53F Time : 687.0 sec. user=vaughan [2009-08-10 05:01:14] 635*2^709614-1 is not prime. Res64: 8378841AFFCA0263 Time : 563.0 sec. user=vaughan [2009-08-10 05:01:39] 621*2^709613-1 is not prime. Res64: 7ABDBB8B86E195D5 Time : 688.0 sec. user=vaughan [2009-08-10 05:03:06] 705*2^709614-1 is not prime. Res64: DCE5B982D2148E53 Time : 562.0 sec. user=vaughan [2009-08-10 05:04:02] 747*2^709613-1 is not prime. Res64: 39702ABE8DCA9151 Time : 792.0 sec. user=vaughan [2009-08-10 05:07:26] 783*2^709614-1 is not prime. Res64: B4ED9E8809A20B9D Time : 810.0 sec. user=vaughan [2009-08-10 05:09:28] 765*2^709615-1 is not prime. Res64: D70E8D4D105120EE Time : 548.0 sec. user=vaughan [2009-08-10 05:09:32] 763*2^709615-1 is not prime. Res64: 7F651D4F68677553 Time : 564.0 sec. user=vaughan [2009-08-10 05:09:41] 705*2^709615-1 is not prime. Res64: 866459E814D2AD17 Time : 700.0 sec. user=vaughan [2009-08-10 05:10:38] 609*2^709616-1 is not prime. Res64: 06B96F715B6CDA0C Time : 564.0 sec. user=vaughan [2009-08-10 05:10:49] 709*2^709615-1 is not prime. Res64: 2630E459C301C0EB Time : 715.0 sec. user=vaughan [2009-08-10 05:11:54] 603*2^709616-1 is not prime. Res64: 340F174C9C250660 Time : 687.0 sec. user=vaughan [2009-08-10 05:12:27] 633*2^709616-1 is not prime. Res64: 85BA2038FA0CE486 Time : 562.0 sec. user=vaughan [2009-08-10 05:12:32] 715*2^709615-1 is not prime. Res64: A485ADE97BE1A717 Time : 810.0 sec. user=vaughan [2009-08-10 05:13:09] 629*2^709616-1 is not prime. Res64: EA937EE5B738DFD1 Time : 690.0 sec. user=vaughan [2009-08-10 05:16:52] 759*2^709616-1 is not prime. Res64: 56A26401AE239A25 Time : 771.0 sec. user=vaughan [2009-08-10 05:17:33] 625*2^709615-1 is not prime. Res64: AD9503B0D4694587 Time : 1184.0 sec. user=vaughan [2009-08-10 05:18:37] 681*2^709617-1 is not prime. Res64: 0C7F2C315FD9AC8C Time : 550.0 sec. user=vaughan [2009-08-10 05:18:54] 685*2^709617-1 is not prime. Res64: ED1900247AB54EB9 Time : 562.0 sec. user=vaughan [2009-08-10 05:19:58] 741*2^709617-1 is not prime. Res64: 635222DB53F9DBB7 Time : 560.0 sec. user=vaughan [2009-08-10 05:20:56] 651*2^709617-1 is not prime. Res64: E0CF88EA7ED9E2F6 Time : 810.0 sec. user=vaughan [2009-08-10 05:21:21] 739*2^709617-1 is not prime. Res64: B8438E5C3B2D05C8 Time : 700.0 sec. user=vaughan [2009-08-10 05:21:49] 765*2^709618-1 is not prime. Res64: 0388748E420E2E58 Time : 562.0 sec. user=vaughan [2009-08-10 05:22:44] 765*2^709617-1 is not prime. Res64: EA65F262855B7B6D Time : 715.0 sec. user=vaughan [2009-08-10 05:23:20] 687*2^709618-1 is not prime. Res64: 646DDFDE40E459CD Time : 686.0 sec. user=vaughan [2009-08-10 05:24:37] 741*2^709619-1 is not prime. Res64: D0C68DCF76411D37 Time : 688.0 sec. user=tnerual [2009-08-10 05:25:16] 791*2^709614-1 is not prime. Res64: 7AD0F0D2F9ADC97A Time : 1819.0 sec. user=vaughan [2009-08-10 05:26:03] 663*2^709619-1 is not prime. Res64: 7301836A2339E47F Time : 811.0 sec. user=vaughan [2009-08-10 05:27:47] 779*2^709620-1 is not prime. Res64: EB6702F93C468B6C Time : 550.0 sec. user=vaughan [2009-08-10 05:28:15] 607*2^709621-1 is not prime. Res64: 163D59EBAD0FC5A9 Time : 561.0 sec. user=vaughan [2009-08-10 05:29:19] 681*2^709621-1 is not prime. Res64: 573DB197306D0F02 Time : 561.0 sec. user=vaughan [2009-08-10 05:30:38] 629*2^709620-1 is not prime. Res64: 864C81E674F99305 Time : 827.0 sec. user=vaughan [2009-08-10 05:31:11] 755*2^709622-1 is not prime. Res64: 1CEFBBD312F30859 Time : 562.0 sec. user=vaughan [2009-08-10 05:33:02] 615*2^709622-1 is not prime. Res64: 6E4B480A78216BEF Time : 701.0 sec. user=vaughan [2009-08-10 05:34:24] 603*2^709622-1 is not prime. Res64: 20D243F33D5824B9 Time : 808.0 sec. user=vaughan [2009-08-10 05:34:38] 649*2^709623-1 is not prime. Res64: B1B45C9738A6FEF7 Time : 714.0 sec. user=vaughan [2009-08-10 05:34:47] 675*2^709623-1 is not prime. Res64: DF1592E4E11D24E5 Time : 687.0 sec. user=vaughan [2009-08-10 05:36:07] 781*2^709623-1 is not prime. Res64: 930B0127E592C710 Time : 690.0 sec. user=vaughan [2009-08-10 05:36:29] 689*2^709620-1 is not prime. Res64: AA3E5096EF61053F Time : 1136.0 sec. user=vaughan [2009-08-10 05:36:58] 677*2^709626-1 is not prime. Res64: 4EE807BD52A848C5 Time : 551.0 sec. user=vaughan [2009-08-10 05:37:36] 735*2^709626-1 is not prime. Res64: BDA53399FA931C7D Time : 561.0 sec. user=vaughan [2009-08-10 05:38:40] 615*2^709628-1 is not prime. Res64: 6AF8F0054ED2DF7E Time : 561.0 sec. user=vaughan [2009-08-10 05:39:33] 649*2^709625-1 is not prime. Res64: 90A232AD7552AF8D Time : 810.0 sec. user=vaughan [2009-08-10 05:40:32] 749*2^709628-1 is not prime. Res64: 02EBF3A16576E576 Time : 561.0 sec. user=vaughan [2009-08-10 05:44:43] 755*2^709628-1 is not prime. Res64: 2B830C36A42D3F8E Time : 701.0 sec. user=vaughan [2009-08-10 05:45:56] 707*2^709628-1 is not prime. Res64: B0D126C007288452 Time : 919.0 sec. user=vaughan [2009-08-10 05:46:09] 645*2^709631-1 is not prime. Res64: A0BB34E411FDEA6A Time : 551.0 sec. user=vaughan [2009-08-10 05:46:13] 795*2^709629-1 is not prime. Res64: 3B005A15668C66FD Time : 686.0 sec. user=vaughan [2009-08-10 05:46:33] 759*2^709629-1 is not prime. Res64: 99713F23E5A346E8 Time : 716.0 sec. user=vaughan [2009-08-10 05:46:58] 661*2^709631-1 is not prime. Res64: B7F2137A1D0978CC Time : 562.0 sec. user=vaughan [2009-08-10 05:47:36] 635*2^709630-1 is not prime. Res64: 8832C6116232347A Time : 689.0 sec. user=vaughan [2009-08-10 05:47:55] 661*2^709629-1 is not prime. Res64: 949605610B5DAB5E Time : 811.0 sec. user=vaughan [2009-08-10 05:48:02] 673*2^709631-1 is not prime. Res64: 241D189D72D1F526 Time : 562.0 sec. user=vaughan [2009-08-10 05:49:54] 657*2^709632-1 is not prime. Res64: AA3C3B366CF97930 Time : 562.0 sec. user=vaughan [2009-08-10 05:53:06] 693*2^709631-1 is not prime. Res64: 5F6231AF7ABB891A Time : 813.0 sec. user=vaughan [2009-08-10 05:53:45] 675*2^709630-1 is not prime. Res64: 9AD94FEA7AFDFB9F Time : 1036.0 sec. user=vaughan [2009-08-10 05:55:20] 625*2^709633-1 is not prime. Res64: 34C8E353E967BF94 Time : 551.0 sec. user=tnerual [2009-08-10 05:55:52] 789*2^709623-1 is not prime. Res64: 2FF19FE0DF57E5B2 Time : 1836.0 sec. user=vaughan [2009-08-10 05:56:20] 691*2^709633-1 is not prime. Res64: F1268BB9289FA8F2 Time : 562.0 sec. user=vaughan [2009-08-10 05:56:25] 683*2^709632-1 is not prime. Res64: D10DF2519D2F0900 Time : 702.0 sec. user=vaughan [2009-08-10 05:57:23] 741*2^709634-1 is not prime. Res64: 4B6A136C8DF25187 Time : 561.0 sec. user=vaughan [2009-08-10 05:57:40] 639*2^709633-1 is not prime. Res64: 82D37D3D5449FAEA Time : 687.0 sec. user=vaughan [2009-08-10 05:58:28] 649*2^709633-1 is not prime. Res64: 655BCC70C035AED0 Time : 715.0 sec. user=vaughan [2009-08-10 05:59:06] 633*2^709634-1 is not prime. Res64: D2AE4C34BDA28E10 Time : 690.0 sec. user=vaughan [2009-08-10 05:59:15] 743*2^709634-1 is not prime. Res64: 5BBDAE52BFF65235 Time : 562.0 sec. user=vaughan [2009-08-10 05:59:46] 719*2^709632-1 is not prime. Res64: 624DB993291791E4 Time : 830.0 sec. user=vaughan [2009-08-10 06:01:16] 705*2^709634-1 is not prime. Res64: 01CE359E9CDB811E Time : 801.0 sec. user=vaughan [2009-08-10 06:04:30] 723*2^709635-1 is not prime. Res64: 794DD43A29FA6034 Time : 550.0 sec. user=vaughan [2009-08-10 06:05:42] 663*2^709636-1 is not prime. Res64: F871E055A633C9C0 Time : 562.0 sec. user=vaughan [2009-08-10 06:06:19] 691*2^709635-1 is not prime. Res64: 68509BFC8C80AA3F Time : 793.0 sec. user=vaughan [2009-08-10 06:06:44] 717*2^709636-1 is not prime. Res64: E6C8D2CE9FB33A15 Time : 562.0 sec. user=vaughan [2009-08-10 06:08:06] 699*2^709636-1 is not prime. Res64: 5F01AC7DA8E2C252 Time : 702.0 sec. user=vaughan [2009-08-10 06:08:35] 621*2^709638-1 is not prime. Res64: BAFA1103A6D83561 Time : 560.0 sec. user=vaughan [2009-08-10 06:09:07] 777*2^709636-1 is not prime. Res64: 871AACFA88E904BB Time : 687.0 sec. user=vaughan [2009-08-10 06:10:24] 607*2^709637-1 is not prime. Res64: 29F107CB157A476B Time : 716.0 sec. user=vaughan [2009-08-10 06:10:37] 669*2^709637-1 is not prime. Res64: D642F1D5D67C377E Time : 691.0 sec. user=vaughan [2009-08-10 06:12:45] 709*2^709635-1 is not prime. Res64: B2699525ABCFD723 Time : 1140.0 sec. user=vaughan [2009-08-10 06:13:40] 747*2^709638-1 is not prime. Res64: 3F7820B47BEBB588 Time : 550.0 sec. user=vaughan [2009-08-10 06:13:53] 731*2^709638-1 is not prime. Res64: 69DCE907774AE8C5 Time : 847.0 sec. user=vaughan [2009-08-10 06:14:27] 737*2^709638-1 is not prime. Res64: 1CB0018799BBDB93 Time : 791.0 sec. user=vaughan [2009-08-10 06:15:05] 765*2^709638-1 is not prime. Res64: 856542266CFFF120 Time : 564.0 sec. user=vaughan [2009-08-10 06:16:08] 609*2^709639-1 is not prime. Res64: 0CB0650A3C9DE67B Time : 564.0 sec. user=vaughan [2009-08-10 06:17:56] 633*2^709640-1 is not prime. Res64: 749281D6053FA969 Time : 561.0 sec. user=vaughan [2009-08-10 06:19:32] 795*2^709638-1 is not prime. Res64: 87AC1D8CF5C33069 Time : 793.0 sec. user=vaughan [2009-08-10 06:19:47] 765*2^709639-1 is not prime. Res64: F072567032C92816 Time : 701.0 sec. user=vaughan [2009-08-10 06:20:33] 665*2^709640-1 is not prime. Res64: FADC50DF365416D6 Time : 687.0 sec. user=vaughan [2009-08-10 06:22:07] 735*2^709640-1 is not prime. Res64: E9985082FB70EE29 Time : 690.0 sec. user=vaughan [2009-08-10 06:22:19] 689*2^709640-1 is not prime. Res64: F8BD5FEE061AB370 Time : 715.0 sec. user=vaughan [2009-08-10 06:22:49] 755*2^709640-1 is not prime. Res64: AF050E5A7D3B6197 Time : 549.0 sec. user=vaughan [2009-08-10 06:24:27] 747*2^709641-1 is not prime. Res64: 0B2D91CE104401C5 Time : 562.0 sec. user=vaughan [2009-08-10 06:25:26] 657*2^709642-1 is not prime. Res64: 80AAE6DECBD95532 Time : 558.0 sec. user=tnerual [2009-08-10 06:26:12] 623*2^709636-1 is not prime. Res64: 11110801207941EB Time : 1820.0 sec. user=vaughan [2009-08-10 06:27:16] 701*2^709642-1 is not prime. Res64: DBB9E5FF9F1F890E Time : 560.0 sec. user=vaughan [2009-08-10 06:27:28] 711*2^709641-1 is not prime. Res64: D4AE6C41EECB8D82 Time : 815.0 sec. user=vaughan [2009-08-10 06:27:42] 745*2^709641-1 is not prime. Res64: 4155CB454D364C56 Time : 795.0 sec. user=vaughan [2009-08-10 06:31:28] 777*2^709642-1 is not prime. Res64: F7A093D847C521BE Time : 701.0 sec. user=vaughan [2009-08-10 06:31:58] 693*2^709643-1 is not prime. Res64: 0077464B995D053B Time : 550.0 sec. user=vaughan [2009-08-10 06:31:58] 791*2^709642-1 is not prime. Res64: 2D47010EAE8351A4 Time : 685.0 sec. user=vaughan [2009-08-10 06:32:48] 735*2^709642-1 is not prime. Res64: A8A06D33F51B0D33 Time : 796.0 sec. user=vaughan [2009-08-10 06:33:12] 743*2^709640-1 is not prime. Res64: 46EC98D76241EB04 Time : 1227.0 sec. user=vaughan [2009-08-10 06:33:36] 619*2^709643-1 is not prime. Res64: 5D99AFFA3B2B0A60 Time : 690.0 sec. user=vaughan [2009-08-10 06:33:50] 707*2^709644-1 is not prime. Res64: 23C01FCCE4F0BBD2 Time : 563.0 sec. user=vaughan [2009-08-10 06:34:15] 663*2^709643-1 is not prime. Res64: 8C82C8DB333A8B39 Time : 716.0 sec. user=vaughan [2009-08-10 06:34:46] 645*2^709645-1 is not prime. Res64: 9EA733E5F6210E71 Time : 560.0 sec. user=vaughan [2009-08-10 06:36:37] 799*2^709645-1 is not prime. Res64: 3ADDC1AECBC7D158 Time : 562.0 sec. user=vaughan [2009-08-10 06:40:58] 627*2^709646-1 is not prime. Res64: 9792B66E663C2AF5 Time : 796.0 sec. user=vaughan [2009-08-10 06:41:09] 661*2^709647-1 is not prime. Res64: D622C99450A96FFE Time : 551.0 sec. user=vaughan [2009-08-10 06:42:40] 615*2^709646-1 is not prime. Res64: B8AD6AD6058F1EAA Time : 912.0 sec. user=vaughan [2009-08-10 06:43:09] 643*2^709647-1 is not prime. Res64: E8B5D150BCF9F80D Time : 701.0 sec. user=vaughan [2009-08-10 06:43:13] 603*2^709648-1 is not prime. Res64: 2DB7965307ABBBF1 Time : 563.0 sec. user=vaughan [2009-08-10 06:43:25] 669*2^709647-1 is not prime. Res64: FC7409BA8102D77E Time : 687.0 sec. user=vaughan [2009-08-10 06:44:07] 735*2^709648-1 is not prime. Res64: 7C6E01B3B9D396CC Time : 561.0 sec. user=vaughan [2009-08-10 06:45:06] 781*2^709647-1 is not prime. Res64: 8980A423CD229C7A Time : 690.0 sec. user=vaughan [2009-08-10 06:45:58] 789*2^709649-1 is not prime. Res64: 393D3081733DFAF5 Time : 561.0 sec. user=vaughan [2009-08-10 06:46:03] 691*2^709647-1 is not prime. Res64: DD9CD9EE92B75BB9 Time : 795.0 sec. user=vaughan [2009-08-10 06:46:11] 615*2^709648-1 is not prime. Res64: 47A8E9E49C1B0E73 Time : 716.0 sec. user=vaughan [2009-08-10 06:46:52] 693*2^709647-1 is not prime. Res64: 9437027B142A3EA3 Time : 820.0 sec. user=vaughan [2009-08-10 06:50:17] 641*2^709650-1 is not prime. Res64: 636885E8C21738B8 Time : 549.0 sec. user=vaughan [2009-08-10 06:52:34] 619*2^709651-1 is not prime. Res64: 4BFE944D2BCF041A Time : 562.0 sec. user=vaughan [2009-08-10 06:53:25] 703*2^709651-1 is not prime. Res64: 92C514943A3184A1 Time : 558.0 sec. user=vaughan [2009-08-10 06:54:13] 627*2^709650-1 is not prime. Res64: F49F918DEC3F834F Time : 795.0 sec. user=vaughan [2009-08-10 06:54:50] 609*2^709651-1 is not prime. Res64: 4604A804CE649F5B Time : 701.0 sec. user=vaughan [2009-08-10 06:54:50] 679*2^709651-1 is not prime. Res64: CA9FF0E9F976D4A9 Time : 685.0 sec. user=vaughan [2009-08-10 06:55:19] 759*2^709651-1 is not prime. Res64: E7621BE54B88005C Time : 561.0 sec. user=tnerual [2009-08-10 06:56:33] 687*2^709645-1 is not prime. Res64: 470633F047566FEE Time : 1821.0 sec. user=vaughan [2009-08-10 06:56:36] 745*2^709651-1 is not prime. Res64: E14B7C19B71227F4 Time : 690.0 sec. user=vaughan [2009-08-10 06:57:38] 677*2^709650-1 is not prime. Res64: DEEFE12185A5243F Time : 898.0 sec. user=vaughan [2009-08-10 06:58:06] 617*2^709652-1 is not prime. Res64: 38E1B597D839533D Time : 716.0 sec. user=vaughan [2009-08-10 06:59:19] 771*2^709651-1 is not prime. Res64: 1B953D0A9543A800 Time : 796.0 sec. user=vaughan [2009-08-10 06:59:27] 693*2^709652-1 is not prime. Res64: DBC21AFC25EAB04D Time : 550.0 sec. user=vaughan [2009-08-10 07:01:54] 735*2^709652-1 is not prime. Res64: 15A7DC121E278A50 Time : 560.0 sec. user=vaughan [2009-08-10 07:02:44] 607*2^709653-1 is not prime. Res64: 6E19222F06A77AC6 Time : 559.0 sec. user=vaughan [2009-08-10 07:04:42] 605*2^709654-1 is not prime. Res64: A28BCE0E9926ACEC Time : 563.0 sec. user=vaughan [2009-08-10 07:06:18] 765*2^709653-1 is not prime. Res64: 57F7BF8CF17F8A59 Time : 688.0 sec. user=vaughan [2009-08-10 07:06:31] 735*2^709653-1 is not prime. Res64: 5AA579C7A67095C1 Time : 702.0 sec. user=vaughan [2009-08-10 07:07:15] 629*2^709652-1 is not prime. Res64: 2BEB9E890212924F Time : 1223.0 sec. user=vaughan [2009-08-10 07:07:29] 691*2^709653-1 is not prime. Res64: 44471EF28F4D3581 Time : 796.0 sec. user=vaughan [2009-08-10 07:08:07] 621*2^709654-1 is not prime. Res64: 83A4570EEC1975CE Time : 691.0 sec. user=vaughan [2009-08-10 07:08:36] 723*2^709654-1 is not prime. Res64: 79B7A7F3E6E2258E Time : 549.0 sec. user=vaughan [2009-08-10 07:10:03] 687*2^709654-1 is not prime. Res64: 02AB8E8F3AC2CB29 Time : 717.0 sec. user=vaughan [2009-08-10 07:11:14] 603*2^709655-1 is not prime. Res64: 049E55973EE69986 Time : 561.0 sec. user=vaughan [2009-08-10 07:11:16] 665*2^709654-1 is not prime. Res64: 6BA724C727C6F2B2 Time : 818.0 sec. user=vaughan [2009-08-10 07:12:04] 685*2^709655-1 is not prime. Res64: B2F15E47AEB1F283 Time : 560.0 sec. user=vaughan [2009-08-10 07:12:37] 705*2^709654-1 is not prime. Res64: 0F44C3454ACF00B3 Time : 798.0 sec. user=vaughan [2009-08-10 07:14:01] 721*2^709655-1 is not prime. Res64: 471A85ED9DFC33ED Time : 559.0 sec. user=vaughan [2009-08-10 07:17:44] 633*2^709656-1 is not prime. Res64: 4241F1B18C8247F8 Time : 686.0 sec. user=vaughan [2009-08-10 07:17:46] 729*2^709657-1 is not prime. Res64: C1A67EA46126E14E Time : 550.0 sec. user=vaughan [2009-08-10 07:18:12] 639*2^709656-1 is not prime. Res64: F30F1E9051785017 Time : 701.0 sec. user=vaughan [2009-08-10 07:19:37] 637*2^709657-1 is not prime. Res64: 42339FCAA2BDCDE7 Time : 690.0 sec. user=vaughan [2009-08-10 07:20:37] 651*2^709658-1 is not prime. Res64: D36849EC20B8FC78 Time : 563.0 sec. user=vaughan [2009-08-10 07:20:53] 773*2^709656-1 is not prime. Res64: 589D32E907211607 Time : 804.0 sec. user=vaughan [2009-08-10 07:21:26] 613*2^709659-1 is not prime. Res64: D13621D452CD3CC2 Time : 562.0 sec. user=vaughan [2009-08-10 07:21:59] 759*2^709657-1 is not prime. Res64: BF9AF8A825615434 Time : 716.0 sec. user=vaughan [2009-08-10 07:23:21] 775*2^709659-1 is not prime. Res64: 63BC7B3CC5B69805 Time : 560.0 sec. user=vaughan [2009-08-10 07:24:44] 707*2^709658-1 is not prime. Res64: 74D80C3D5760FB9C Time : 808.0 sec. user=vaughan [2009-08-10 07:25:14] 693*2^709656-1 is not prime. Res64: 43D2911C882C4F61 Time : 1079.0 sec. user=vaughan [2009-08-10 07:26:07] 751*2^709659-1 is not prime. Res64: 780B4FE2131B0259 Time : 810.0 sec. user=vaughan [2009-08-10 07:26:57] 635*2^709660-1 is not prime. Res64: 094DA20C92E51132 Time : 551.0 sec. user=tnerual [2009-08-10 07:27:00] 611*2^709654-1 is not prime. Res64: 63D91452A872A7AE Time : 1827.0 sec. user=vaughan [2009-08-10 07:29:10] 623*2^709660-1 is not prime. Res64: 774A3955AA2EFEE8 Time : 687.0 sec. user=vaughan [2009-08-10 07:29:53] 665*2^709660-1 is not prime. Res64: 956C1E2B5ACA5DA6 Time : 701.0 sec. user=vaughan [2009-08-10 07:29:58] 687*2^709660-1 is not prime. Res64: CDDAB1E1A138DE19 Time : 562.0 sec. user=vaughan [2009-08-10 07:30:47] 631*2^709661-1 is not prime. Res64: 9F1E5B95687305F8 Time : 562.0 sec. user=vaughan [2009-08-10 07:31:08] 675*2^709660-1 is not prime. Res64: F23ADAD50E049FCE Time : 691.0 sec. user=vaughan [2009-08-10 07:32:41] 697*2^709661-1 is not prime. Res64: 304E01B0B50C1C80 Time : 560.0 sec. user=vaughan [2009-08-10 07:33:55] 691*2^709661-1 is not prime. Res64: E756C2ADB9868307 Time : 716.0 sec. user=vaughan [2009-08-10 07:34:22] 735*2^709660-1 is not prime. Res64: 358E566E12F38742 Time : 809.0 sec. user=vaughan [2009-08-10 07:36:07] 603*2^709663-1 is not prime. Res64: 05AD569971FC9E20 Time : 550.0 sec. user=vaughan [2009-08-10 07:38:35] 745*2^709661-1 is not prime. Res64: E47C6BB6BB4EC4B1 Time : 831.0 sec. user=vaughan [2009-08-10 07:39:19] 609*2^709664-1 is not prime. Res64: F0D0BE3C86276524 Time : 561.0 sec. user=vaughan [2009-08-10 07:39:38] 797*2^709662-1 is not prime. Res64: 32C52A5B9ED4327E Time : 811.0 sec. user=vaughan [2009-08-10 07:40:09] 659*2^709664-1 is not prime. Res64: 5C921A85EA1E5925 Time : 562.0 sec. user=vaughan [2009-08-10 07:40:35] 675*2^709663-1 is not prime. Res64: 9B4C4A4DA4FCAE9B Time : 685.0 sec. user=vaughan [2009-08-10 07:41:34] 723*2^709663-1 is not prime. Res64: 4BDE6E4F01FFC380 Time : 701.0 sec. user=vaughan [2009-08-10 07:42:03] 627*2^709665-1 is not prime. Res64: 8F874BDD4B6D9973 Time : 562.0 sec. user=vaughan [2009-08-10 07:42:37] 747*2^709664-1 is not prime. Res64: B8BA9D601ACE6ADA Time : 690.0 sec. user=vaughan [2009-08-10 07:44:29] 681*2^709662-1 is not prime. Res64: E7F22B9A7ACD3207 Time : 1155.0 sec. user=vaughan [2009-08-10 07:45:19] 679*2^709665-1 is not prime. Res64: FCC92A2222DD9946 Time : 552.0 sec. user=vaughan [2009-08-10 07:45:52] 667*2^709665-1 is not prime. Res64: D431D602A9AA512D Time : 717.0 sec. user=vaughan [2009-08-10 07:47:51] 675*2^709665-1 is not prime. Res64: D6E7E27854FB8155 Time : 809.0 sec. user=vaughan [2009-08-10 07:48:38] 739*2^709665-1 is not prime. Res64: BCAAAF2582737287 Time : 559.0 sec. user=vaughan [2009-08-10 07:49:29] 609*2^709667-1 is not prime. Res64: C15D09411ACE6BAD Time : 561.0 sec. user=vaughan [2009-08-10 07:51:22] 683*2^709668-1 is not prime. Res64: F110F8C82ABD1C49 Time : 559.0 sec. user=vaughan [2009-08-10 07:52:02] 699*2^709667-1 is not prime. Res64: 3F556CF2F013BC56 Time : 687.0 sec. user=vaughan [2009-08-10 07:52:51] 721*2^709665-1 is not prime. Res64: D908CA54DDFEE631 Time : 856.0 sec. user=vaughan [2009-08-10 07:53:06] 785*2^709666-1 is not prime. Res64: F4156C04ED001F92 Time : 808.0 sec. user=vaughan [2009-08-10 07:53:16] 735*2^709667-1 is not prime. Res64: 7D631B02B90F6895 Time : 702.0 sec. user=vaughan [2009-08-10 07:54:07] 689*2^709668-1 is not prime. Res64: A18114BDD71C0171 Time : 690.0 sec. user=vaughan [2009-08-10 07:54:31] 609*2^709669-1 is not prime. Res64: BD7C9957F636FF78 Time : 553.0 sec. user=vaughan [2009-08-10 07:57:47] 625*2^709669-1 is not prime. Res64: 0BB910E1B41BD6D4 Time : 715.0 sec. user=vaughan [2009-08-10 07:57:59] 769*2^709669-1 is not prime. Res64: 0B23484662FAB5AE Time : 561.0 sec. user=vaughan [2009-08-10 07:58:52] 799*2^709669-1 is not prime. Res64: E73DDD45E2DC4E0F Time : 563.0 sec. user=vaughan [2009-08-10 08:00:43] 743*2^709670-1 is not prime. Res64: 8C0CFF71B5B978C5 Time : 561.0 sec. user=vaughan [2009-08-10 08:01:18] 639*2^709669-1 is not prime. Res64: 77D9FDE6CC266B47 Time : 807.0 sec. user=vaughan [2009-08-10 08:01:28] 749*2^709668-1 is not prime. Res64: 5085305FDE2252EF Time : 1020.0 sec. user=vaughan [2009-08-10 08:03:27] 615*2^709671-1 is not prime. Res64: 89F5B46BA2562D7A Time : 685.0 sec. user=vaughan [2009-08-10 08:03:41] 703*2^709671-1 is not prime. Res64: 334E15D859579A35 Time : 550.0 sec. user=tnerual [2009-08-10 08:04:02] 609*2^709663-1 is not prime. Res64: 7F94EC0C82A15DC0 Time : 2222.0 sec. user=vaughan [2009-08-10 08:04:56] 685*2^709671-1 is not prime. Res64: D7141F9839EEA0D0 Time : 701.0 sec. user=vaughan [2009-08-10 08:05:37] 693*2^709671-1 is not prime. Res64: 2F7CFAC3DF01C31F Time : 690.0 sec. user=vaughan [2009-08-10 08:06:34] 625*2^709671-1 is not prime. Res64: 1EB357CABC2170EC Time : 808.0 sec. user=vaughan [2009-08-10 08:07:21] 793*2^709671-1 is not prime. Res64: 82CC6F48E7A9D355 Time : 563.0 sec. user=vaughan [2009-08-10 08:08:12] 795*2^709671-1 is not prime. Res64: 51B952883FBA7F6F Time : 560.0 sec. user=vaughan [2009-08-10 08:08:31] 619*2^709671-1 is not prime. Res64: C08768BA4F0DC4A2 Time : 940.0 sec. user=vaughan [2009-08-10 08:09:43] 709*2^709671-1 is not prime. Res64: A690FB055F4411BF Time : 716.0 sec. user=vaughan [2009-08-10 08:10:04] 623*2^709672-1 is not prime. Res64: 5F242044827868CE Time : 561.0 sec. user=vaughan [2009-08-10 08:12:53] 663*2^709674-1 is not prime. Res64: 8AF3F6C018CA0129 Time : 552.0 sec. user=vaughan [2009-08-10 08:14:43] 635*2^709672-1 is not prime. Res64: 827A2510A5C86152 Time : 805.0 sec. user=vaughan [2009-08-10 08:14:55] 795*2^709673-1 is not prime. Res64: 1465C6941F62824C Time : 688.0 sec. user=vaughan [2009-08-10 08:16:37] 649*2^709675-1 is not prime. Res64: 45C1275121EA4C98 Time : 701.0 sec. user=vaughan [2009-08-10 08:16:41] 771*2^709675-1 is not prime. Res64: 6D28093B6E8DC662 Time : 560.0 sec. user=vaughan [2009-08-10 08:17:06] 673*2^709675-1 is not prime. Res64: C92A7C5F94308340 Time : 689.0 sec. user=vaughan [2009-08-10 08:17:32] 609*2^709676-1 is not prime. Res64: 95353FDD4D2110DC Time : 560.0 sec. user=vaughan [2009-08-10 08:19:25] 749*2^709676-1 is not prime. Res64: D6C4E85FED2E2603 Time : 562.0 sec. user=vaughan [2009-08-10 08:19:59] 735*2^709675-1 is not prime. Res64: 34779E87E5A36611 Time : 805.0 sec. user=vaughan [2009-08-10 08:21:31] 657*2^709676-1 is not prime. Res64: A0205942F034C5AB Time : 780.0 sec. user=vaughan [2009-08-10 08:21:32] 717*2^709672-1 is not prime. Res64: 433DA971B7E37D36 Time : 1204.0 sec. user=vaughan [2009-08-10 08:21:39] 717*2^709676-1 is not prime. Res64: 1C13D553DBC26D42 Time : 716.0 sec. user=vaughan [2009-08-10 08:22:04] 639*2^709677-1 is not prime. Res64: 9D4EA7762151BA27 Time : 551.0 sec. user=vaughan [2009-08-10 08:25:58] 713*2^709678-1 is not prime. Res64: 98D1FB7873C26CDA Time : 557.0 sec. user=vaughan [2009-08-10 08:26:21] 781*2^709677-1 is not prime. Res64: D0C1235BDFB720D0 Time : 686.0 sec. user=vaughan [2009-08-10 08:26:55] 669*2^709679-1 is not prime. Res64: 71CB6C0906E0D813 Time : 564.0 sec. user=vaughan [2009-08-10 08:28:08] 661*2^709677-1 is not prime. Res64: 0B16818B229C6D68 Time : 805.0 sec. user=vaughan [2009-08-10 08:28:18] 687*2^709678-1 is not prime. Res64: 2F1B946192B60768 Time : 701.0 sec. user=vaughan [2009-08-10 08:28:36] 633*2^709679-1 is not prime. Res64: 79607360EE872F00 Time : 690.0 sec. user=vaughan [2009-08-10 08:28:46] 763*2^709679-1 is not prime. Res64: A36E1BCF7DFDF3B0 Time : 561.0 sec. user=vaughan [2009-08-10 08:31:13] 775*2^709681-1 is not prime. Res64: 72F168753DE99CF7 Time : 550.0 sec. user=vaughan [2009-08-10 08:33:26] 609*2^709680-1 is not prime. Res64: ED4AC1AFEF16192F Time : 807.0 sec. user=vaughan [2009-08-10 08:33:35] 769*2^709681-1 is not prime. Res64: C1FF095C8F83A79C Time : 716.0 sec. user=vaughan [2009-08-10 08:34:44] 615*2^709681-1 is not prime. Res64: 47FF7CA03E37C89A Time : 792.0 sec. user=tnerual [2009-08-10 08:34:45] 765*2^709674-1 is not prime. Res64: 11C0A522B47D60EF Time : 1843.0 sec. user=vaughan [2009-08-10 08:35:19] 617*2^709682-1 is not prime. Res64: B468EBDA41DBAF8A Time : 561.0 sec. user=vaughan [2009-08-10 08:36:15] 755*2^709682-1 is not prime. Res64: 4513F83FA4603540 Time : 560.0 sec. user=vaughan [2009-08-10 08:37:49] 671*2^709682-1 is not prime. Res64: B8F28771475AE649 Time : 688.0 sec. user=vaughan [2009-08-10 08:38:10] 781*2^709683-1 is not prime. Res64: C43E71325960D581 Time : 565.0 sec. user=vaughan [2009-08-10 08:38:30] 723*2^709680-1 is not prime. Res64: 2D96A7DCB0B86287 Time : 1019.0 sec. user=vaughan [2009-08-10 08:39:59] 691*2^709683-1 is not prime. Res64: 663610542B80EB1A Time : 701.0 sec. user=vaughan [2009-08-10 08:40:05] 735*2^709683-1 is not prime. Res64: 5B4C51FD438998F8 Time : 689.0 sec. user=vaughan [2009-08-10 08:40:21] 795*2^709683-1 is not prime. Res64: F772C5232E26804F Time : 548.0 sec. user=vaughan [2009-08-10 08:41:35] 679*2^709683-1 is not prime. Res64: 75CD3130F4E00B64 Time : 807.0 sec. user=vaughan [2009-08-10 08:44:40] 785*2^709684-1 is not prime. Res64: 4DAFD9EBA3D3ADDB Time : 561.0 sec. user=vaughan [2009-08-10 08:45:31] 677*2^709684-1 is not prime. Res64: 43108423A4D05E2F Time : 717.0 sec. user=vaughan [2009-08-10 08:45:37] 685*2^709685-1 is not prime. Res64: E716FCE140A555AE Time : 562.0 sec. user=vaughan [2009-08-10 08:46:54] 663*2^709684-1 is not prime. Res64: 7003505027036503 Time : 808.0 sec. user=vaughan [2009-08-10 08:47:34] 729*2^709685-1 is not prime. Res64: 3F618797EEE9D5CC Time : 564.0 sec. user=vaughan [2009-08-10 08:49:14] 715*2^709685-1 is not prime. Res64: 3D768EEEFB265CB2 Time : 686.0 sec. user=vaughan [2009-08-10 08:49:32] 625*2^709687-1 is not prime. Res64: 403528454D508EA4 Time : 551.0 sec. user=vaughan [2009-08-10 08:51:28] 765*2^709686-1 is not prime. Res64: 909061EEB8674F20 Time : 778.0 sec. user=vaughan [2009-08-10 08:51:35] 603*2^709687-1 is not prime. Res64: 6AE3C4EFE7524565 Time : 690.0 sec. user=vaughan [2009-08-10 08:51:39] 777*2^709686-1 is not prime. Res64: 789526846AF8181B Time : 701.0 sec. user=vaughan [2009-08-10 08:53:18] 705*2^709684-1 is not prime. Res64: 28A2D75D2FF4E191 Time : 1115.0 sec. user=vaughan [2009-08-10 08:53:58] 657*2^709688-1 is not prime. Res64: B333234D92A0EA7A Time : 558.0 sec. user=vaughan [2009-08-10 08:54:58] 747*2^709688-1 is not prime. Res64: 18594F9D492B15BF Time : 561.0 sec. user=vaughan [2009-08-10 08:55:02] 629*2^709688-1 is not prime. Res64: 701650FE4FA4CE62 Time : 807.0 sec. user=vaughan [2009-08-10 08:56:55] 669*2^709689-1 is not prime. Res64: 4F5E7BD969C670E4 Time : 562.0 sec. user=vaughan [2009-08-10 08:57:27] 699*2^709688-1 is not prime. Res64: 6FBD859B94D25A56 Time : 716.0 sec. user=vaughan [2009-08-10 08:58:41] 789*2^709689-1 is not prime. Res64: FD784F479F6E65B3 Time : 550.0 sec. user=vaughan [2009-08-10 09:00:22] 797*2^709688-1 is not prime. Res64: EF3F816CC246CAF0 Time : 808.0 sec. user=vaughan [2009-08-10 09:00:40] 727*2^709689-1 is not prime. Res64: E75549B57F22AC19 Time : 686.0 sec. user=vaughan [2009-08-10 09:03:04] 635*2^709690-1 is not prime. Res64: 7F002772042AAEB2 Time : 690.0 sec. user=vaughan [2009-08-10 09:03:19] 643*2^709691-1 is not prime. Res64: EA36EBD0C36DF0B0 Time : 561.0 sec. user=vaughan [2009-08-10 09:03:21] 677*2^709690-1 is not prime. Res64: 82AA76E469056F03 Time : 702.0 sec. user=vaughan [2009-08-10 09:04:17] 645*2^709691-1 is not prime. Res64: DBB52BE04C30964D Time : 560.0 sec. user=tnerual [2009-08-10 09:05:05] 743*2^709684-1 is not prime. Res64: E89003863BDB9F83 Time : 1820.0 sec. user=vaughan [2009-08-10 09:05:53] 795*2^709689-1 is not prime. Res64: 8FB93AC2ABF04F4F Time : 865.0 sec. user=vaughan [2009-08-10 09:06:16] 775*2^709691-1 is not prime. Res64: 51BBC15B0212C5EF Time : 561.0 sec. user=vaughan [2009-08-10 09:07:49] 675*2^709692-1 is not prime. Res64: A3EEEF1F665CA386 Time : 549.0 sec. user=vaughan [2009-08-10 09:08:29] 753*2^709691-1 is not prime. Res64: B746AFD479C947F7 Time : 807.0 sec. user=vaughan [2009-08-10 09:09:23] 781*2^709691-1 is not prime. Res64: AC91673EF0E3D76F Time : 716.0 sec. user=vaughan [2009-08-10 09:12:06] 675*2^709693-1 is not prime. Res64: 036311B00031E21B Time : 686.0 sec. user=vaughan [2009-08-10 09:12:38] 713*2^709690-1 is not prime. Res64: 59C30F456D8F218B Time : 1161.0 sec. user=vaughan [2009-08-10 09:12:41] 789*2^709693-1 is not prime. Res64: E8BEC5338B565AB2 Time : 563.0 sec. user=vaughan [2009-08-10 09:13:39] 785*2^709694-1 is not prime. Res64: 4CF35E67A861E57B Time : 562.0 sec. user=vaughan [2009-08-10 09:13:51] 737*2^709692-1 is not prime. Res64: 821B80BE36472B5D Time : 809.0 sec. user=vaughan [2009-08-10 09:14:34] 747*2^709693-1 is not prime. Res64: 0C2784C26CB373D7 Time : 690.0 sec. user=vaughan [2009-08-10 09:15:02] 711*2^709694-1 is not prime. Res64: 3F60913A5DEFB78B Time : 701.0 sec. user=vaughan [2009-08-10 09:15:40] 775*2^709695-1 is not prime. Res64: 031863EEA6387752 Time : 564.0 sec. user=vaughan [2009-08-10 09:17:00] 781*2^709695-1 is not prime. Res64: 69AB6DC257DEF9F0 Time : 551.0 sec. user=vaughan [2009-08-10 09:18:56] 735*2^709695-1 is not prime. Res64: 087664E8E35502D0 Time : 784.0 sec. user=vaughan [2009-08-10 09:21:19] 755*2^709696-1 is not prime. Res64: 0ADC86910B4D7977 Time : 716.0 sec. user=vaughan [2009-08-10 09:21:58] 653*2^709696-1 is not prime. Res64: EF821ACBFF40F8ED Time : 809.0 sec. user=vaughan [2009-08-10 09:22:05] 777*2^709697-1 is not prime. Res64: BB6DA96713918BAD Time : 564.0 sec. user=vaughan [2009-08-10 09:23:00] 657*2^709698-1 is not prime. Res64: 8CCA3934A43E417E Time : 562.0 sec. user=vaughan [2009-08-10 09:23:32] 601*2^709697-1 is not prime. Res64: DBAB8DF50FF546EF Time : 686.0 sec. user=vaughan [2009-08-10 09:24:59] 609*2^709699-1 is not prime. Res64: 2FC26A0154C0EB9F Time : 559.0 sec. user=vaughan [2009-08-10 09:26:03] 755*2^709698-1 is not prime. Res64: E8773CA69565977C Time : 689.0 sec. user=vaughan [2009-08-10 09:26:10] 603*2^709700-1 is not prime. Res64: 0FA3A7EF37604F90 Time : 550.0 sec. user=vaughan [2009-08-10 09:26:42] 765*2^709698-1 is not prime. Res64: 6DF38E56A1615A2F Time : 701.0 sec. user=vaughan [2009-08-10 09:27:21] 705*2^709698-1 is not prime. Res64: 89129294E74E1A9D Time : 810.0 sec. user=vaughan [2009-08-10 09:30:58] 699*2^709697-1 is not prime. Res64: E3E4131311F9496B Time : 1101.0 sec. user=vaughan [2009-08-10 09:31:25] 625*2^709701-1 is not prime. Res64: 7E7FD7B0A16C4468 Time : 561.0 sec. user=vaughan [2009-08-10 09:32:20] 679*2^709701-1 is not prime. Res64: CA3F1F2E716FBC0F Time : 560.0 sec. user=vaughan [2009-08-10 09:33:05] 629*2^709700-1 is not prime. Res64: 5253C34B9B31CFA7 Time : 850.0 sec. user=vaughan [2009-08-10 09:33:14] 647*2^709700-1 is not prime. Res64: 652E2191CCEE819F Time : 716.0 sec. user=vaughan [2009-08-10 09:34:21] 741*2^709701-1 is not prime. Res64: 37B30BEE6C5FAEA8 Time : 562.0 sec. user=vaughan [2009-08-10 09:34:58] 727*2^709701-1 is not prime. Res64: 01BEF66CA4514B95 Time : 686.0 sec. user=vaughan [2009-08-10 09:35:19] 621*2^709702-1 is not prime. Res64: 3E2CEB62B02C5399 Time : 550.0 sec. user=tnerual [2009-08-10 09:35:24] 669*2^709695-1 is not prime. Res64: 2F1D26EA2D7E2AA8 Time : 1819.0 sec. user=vaughan [2009-08-10 09:35:26] 777*2^709700-1 is not prime. Res64: A280FF848E626C31 Time : 808.0 sec. user=vaughan [2009-08-10 09:37:33] 795*2^709701-1 is not prime. Res64: 3D7C94A5CC7645FF Time : 690.0 sec. user=vaughan [2009-08-10 09:38:23] 635*2^709702-1 is not prime. Res64: 8BD9A8E0F2A6E454 Time : 701.0 sec. user=vaughan [2009-08-10 09:40:46] 609*2^709703-1 is not prime. Res64: BEE49C50B03E6FBE Time : 562.0 sec. user=vaughan [2009-08-10 09:40:50] 681*2^709702-1 is not prime. Res64: 17C985FB8C979611 Time : 809.0 sec. user=vaughan [2009-08-10 09:41:42] 703*2^709703-1 is not prime. Res64: 47E2C116DDCFBAC6 Time : 562.0 sec. user=vaughan [2009-08-10 09:43:42] 741*2^709703-1 is not prime. Res64: B7A5FA2DF9D156C0 Time : 561.0 sec. user=vaughan [2009-08-10 09:44:30] 663*2^709704-1 is not prime. Res64: 916299843EEAE03F Time : 551.0 sec. user=vaughan [2009-08-10 09:45:10] 735*2^709703-1 is not prime. Res64: 6FFC96E54411A6CE Time : 716.0 sec. user=vaughan [2009-08-10 09:46:24] 759*2^709703-1 is not prime. Res64: 10CAA0A5990B9043 Time : 686.0 sec. user=vaughan [2009-08-10 09:46:36] 729*2^709703-1 is not prime. Res64: 955F30879D453EC6 Time : 811.0 sec. user=vaughan [2009-08-10 09:48:55] 737*2^709704-1 is not prime. Res64: 12FC28FF3193F1CE Time : 809.0 sec. user=vaughan [2009-08-10 09:49:03] 767*2^709704-1 is not prime. Res64: 85093D03D34A9EB2 Time : 690.0 sec. user=vaughan [2009-08-10 09:50:04] 795*2^709704-1 is not prime. Res64: E191F55A9A4E590E Time : 701.0 sec. user=vaughan [2009-08-10 09:50:08] 649*2^709705-1 is not prime. Res64: E6F32C7CD1A72F28 Time : 562.0 sec. user=vaughan [2009-08-10 09:51:02] 617*2^709706-1 is not prime. Res64: C49B86801292191B Time : 561.0 sec. user=vaughan [2009-08-10 09:51:53] 785*2^709702-1 is not prime. Res64: CDBB0104CD640AF4 Time : 1255.0 sec. user=vaughan [2009-08-10 09:53:03] 623*2^709706-1 is not prime. Res64: 16AF496D169F3205 Time : 561.0 sec. user=vaughan [2009-08-10 09:53:40] 635*2^709706-1 is not prime. Res64: D6C5B47D45F3AF9B Time : 550.0 sec. user=vaughan [2009-08-10 09:54:19] 687*2^709705-1 is not prime. Res64: 170CC2CCC1EE3358 Time : 809.0 sec. user=vaughan [2009-08-10 09:57:06] 713*2^709706-1 is not prime. Res64: 9829BF46807B7674 Time : 716.0 sec. user=vaughan [2009-08-10 09:57:50] 735*2^709706-1 is not prime. Res64: 8C4C15E848716897 Time : 686.0 sec. user=vaughan [2009-08-10 09:58:49] 743*2^709706-1 is not prime. Res64: 290A2FCFFEEF3E6B Time : 733.0 sec. user=vaughan [2009-08-10 09:59:29] 773*2^709708-1 is not prime. Res64: B7A0C7D6AB9B8E00 Time : 561.0 sec. user=vaughan [2009-08-10 10:00:22] 783*2^709708-1 is not prime. Res64: C67DB80E1D909CE5 Time : 561.0 sec. user=vaughan [2009-08-10 10:00:34] 775*2^709707-1 is not prime. Res64: 0E450545FCA6DE7C Time : 691.0 sec. user=vaughan [2009-08-10 10:01:46] 795*2^709707-1 is not prime. Res64: 086E91AFAE78825A Time : 702.0 sec. user=vaughan [2009-08-10 10:02:25] 711*2^709709-1 is not prime. Res64: 4F292D10DEFEDA24 Time : 563.0 sec. user=vaughan [2009-08-10 10:02:50] 721*2^709709-1 is not prime. Res64: 085D66A77008561C Time : 550.0 sec. user=tnerual [2009-08-10 10:05:41] 665*2^709704-1 is not prime. Res64: 19784750EF81D9C0 Time : 1817.0 sec. user=vaughan [2009-08-10 10:08:55] 639*2^709711-1 is not prime. Res64: 3B10607C8A1A8B58 Time : 566.0 sec. user=vaughan [2009-08-10 10:09:03] 635*2^709710-1 is not prime. Res64: 7361D4ECAF8F56A6 Time : 717.0 sec. user=vaughan [2009-08-10 10:09:16] 711*2^709710-1 is not prime. Res64: 9514D88854CDE8BE Time : 686.0 sec. user=vaughan [2009-08-10 10:09:44] 675*2^709711-1 is not prime. Res64: 6D8DF53FEDBC9AB3 Time : 562.0 sec. user=vaughan [2009-08-10 10:11:53] 751*2^709711-1 is not prime. Res64: A3FF46C9EA337C1D Time : 568.0 sec. user=vaughan [2009-08-10 10:12:03] 689*2^709712-1 is not prime. Res64: DA0691C089249A86 Time : 554.0 sec. user=vaughan [2009-08-10 10:12:04] 723*2^709711-1 is not prime. Res64: B77432063A33DD5D Time : 690.0 sec. user=vaughan [2009-08-10 10:12:11] 713*2^709710-1 is not prime. Res64: 698F65F4B343D619 Time : 802.0 sec. user=vaughan [2009-08-10 10:13:02] 685*2^709707-1 is not prime. Res64: 0094FAB221ADAC8B Time : 1448.0 sec. user=vaughan [2009-08-10 10:13:21] 631*2^709709-1 is not prime. Res64: 0F51554482290ADA Time : 1288.0 sec. user=vaughan [2009-08-10 10:13:27] 735*2^709711-1 is not prime. Res64: B354BB9DCCE8457F Time : 702.0 sec. user=vaughan [2009-08-10 10:18:27] 625*2^709713-1 is not prime. Res64: 659EEB062C133637 Time : 572.0 sec. user=vaughan [2009-08-10 10:19:15] 691*2^709713-1 is not prime. Res64: AE33372544385817 Time : 571.0 sec. user=vaughan [2009-08-10 10:20:42] 679*2^709713-1 is not prime. Res64: 1A05498C17056D6E Time : 686.0 sec. user=vaughan [2009-08-10 10:20:59] 669*2^709713-1 is not prime. Res64: 1B653A4585FDB90A Time : 717.0 sec. user=vaughan [2009-08-10 10:21:13] 787*2^709709-1 is not prime. Res64: 48C889B3D4DD7D9E Time : 1614.0 sec. user=vaughan [2009-08-10 10:21:15] 741*2^709713-1 is not prime. Res64: F380DC35B37E934A Time : 553.0 sec. user=vaughan [2009-08-10 10:21:25] 699*2^709713-1 is not prime. Res64: 9D137303B7A12F28 Time : 572.0 sec. user=vaughan [2009-08-10 10:23:34] 745*2^709713-1 is not prime. Res64: A6A1CF4163288B6A Time : 690.0 sec. user=vaughan [2009-08-10 10:24:51] 769*2^709713-1 is not prime. Res64: CB1B2FEF41C06343 Time : 760.0 sec. user=vaughan [2009-08-10 10:25:08] 651*2^709715-1 is not prime. Res64: 2D8E426F9A60D54C Time : 702.0 sec. user=vaughan [2009-08-10 10:28:00] 673*2^709715-1 is not prime. Res64: 5A34DAD74B02EA4D Time : 573.0 sec. user=vaughan [2009-08-10 10:28:08] 623*2^709714-1 is not prime. Res64: B94A47BEEDFB5F54 Time : 906.0 sec. user=vaughan [2009-08-10 10:28:43] 741*2^709715-1 is not prime. Res64: F834800B07EA97C9 Time : 568.0 sec. user=vaughan [2009-08-10 10:30:26] 695*2^709716-1 is not prime. Res64: EC68A20CF4316620 Time : 552.0 sec. user=vaughan [2009-08-10 10:30:55] 735*2^709716-1 is not prime. Res64: EA90870773936A42 Time : 570.0 sec. user=vaughan [2009-08-10 10:32:08] 759*2^709715-1 is not prime. Res64: F62B9CAEEFE09B90 Time : 686.0 sec. user=vaughan [2009-08-10 10:32:55] 623*2^709716-1 is not prime. Res64: C27AC8D7C3C5A035 Time : 716.0 sec. user=vaughan [2009-08-10 10:34:43] 669*2^709716-1 is not prime. Res64: 58FC71B5F913B99D Time : 811.0 sec. user=vaughan [2009-08-10 10:35:05] 737*2^709716-1 is not prime. Res64: D3999BB9B70B031E Time : 691.0 sec. user=vaughan [2009-08-10 10:35:10] 635*2^709714-1 is not prime. Res64: 9022025CB4EB924A Time : 1310.0 sec. user=tnerual [2009-08-10 10:35:52] 759*2^709712-1 is not prime. Res64: 380077CCDFC0665B Time : 1811.0 sec. user=vaughan [2009-08-10 10:36:49] 649*2^709717-1 is not prime. Res64: B395C2E96BD0E1BA Time : 702.0 sec. user=vaughan [2009-08-10 10:37:31] 661*2^709717-1 is not prime. Res64: C045476D39E82FEA Time : 571.0 sec. user=vaughan [2009-08-10 10:38:07] 615*2^709717-1 is not prime. Res64: E65959D2F3D02E48 Time : 796.0 sec. user=vaughan [2009-08-10 10:38:14] 777*2^709717-1 is not prime. Res64: 21C36087C4CE3964 Time : 571.0 sec. user=vaughan [2009-08-10 10:39:38] 799*2^709717-1 is not prime. Res64: C8D698F74323E770 Time : 552.0 sec. user=vaughan [2009-08-10 10:40:23] 657*2^709718-1 is not prime. Res64: 1855895EA1631414 Time : 569.0 sec. user=vaughan [2009-08-10 10:41:39] 717*2^709717-1 is not prime. Res64: 66A9B7F57ABCBBFC Time : 811.0 sec. user=vaughan [2009-08-10 10:43:34] 663*2^709718-1 is not prime. Res64: CF44F405790170FE Time : 686.0 sec. user=vaughan [2009-08-10 10:44:50] 705*2^709718-1 is not prime. Res64: 1EB51E1F10B2730F Time : 716.0 sec. user=vaughan [2009-08-10 10:46:34] 731*2^709718-1 is not prime. Res64: FFA8005FD295D8E1 Time : 690.0 sec. user=vaughan [2009-08-10 10:47:04] 669*2^709721-1 is not prime. Res64: AB680EE33BDCB8E1 Time : 573.0 sec. user=vaughan [2009-08-10 10:47:47] 769*2^709721-1 is not prime. Res64: 615F1683A39E3BBE Time : 573.0 sec. user=vaughan [2009-08-10 10:48:14] 711*2^709718-1 is not prime. Res64: 72ABDBBFB07FAC6E Time : 812.0 sec. user=vaughan [2009-08-10 10:48:31] 615*2^709721-1 is not prime. Res64: 71942F33C4568B17 Time : 702.0 sec. user=vaughan [2009-08-10 10:48:51] 681*2^709722-1 is not prime. Res64: EE82BA9D7618EA93 Time : 553.0 sec. user=vaughan [2009-08-10 10:49:51] 725*2^709722-1 is not prime. Res64: F6DFBA33A0990A08 Time : 569.0 sec. user=vaughan [2009-08-10 10:50:30] 711*2^709721-1 is not prime. Res64: 16B8B94575D59707 Time : 743.0 sec. user=vaughan [2009-08-10 10:55:00] 767*2^709722-1 is not prime. Res64: 97342E3622C33D05 Time : 687.0 sec. user=vaughan [2009-08-10 10:55:11] 755*2^709722-1 is not prime. Res64: 64000BDF02D5F8D5 Time : 812.0 sec. user=vaughan [2009-08-10 10:56:23] 741*2^709719-1 is not prime. Res64: 1D99C56C2C9F0463 Time : 1273.0 sec. user=vaughan [2009-08-10 10:56:36] 775*2^709723-1 is not prime. Res64: 7B64211B131E0CAF Time : 572.0 sec. user=vaughan [2009-08-10 10:56:46] 633*2^709723-1 is not prime. Res64: C6229F762F4C20F4 Time : 716.0 sec. user=vaughan [2009-08-10 10:57:15] 793*2^709723-1 is not prime. Res64: 9557D9BA9890E0C7 Time : 568.0 sec. user=vaughan [2009-08-10 10:58:03] 717*2^709725-1 is not prime. Res64: F5CD819BDC8E2CF7 Time : 552.0 sec. user=vaughan [2009-08-10 10:58:03] 765*2^709723-1 is not prime. Res64: 5827F415428A2CC0 Time : 689.0 sec. user=vaughan [2009-08-10 10:59:23] 781*2^709725-1 is not prime. Res64: 2087CA22207616AA Time : 572.0 sec. user=vaughan [2009-08-10 11:00:13] 635*2^709724-1 is not prime. Res64: F2301919CFC4DB7D Time : 702.0 sec. user=vaughan [2009-08-10 11:01:45] 629*2^709724-1 is not prime. Res64: 80A3E0B60FC03AD2 Time : 812.0 sec. user=vaughan [2009-08-10 11:03:01] 795*2^709725-1 is not prime. Res64: 44A9E644FB0E0516 Time : 752.0 sec. user=vaughan [2009-08-10 11:06:07] 705*2^709727-1 is not prime. Res64: B101F73C36097748 Time : 571.0 sec. user=tnerual [2009-08-10 11:06:08] 747*2^709720-1 is not prime. Res64: 88C61EEB30E6BC25 Time : 1816.0 sec. user=vaughan [2009-08-10 11:06:27] 645*2^709726-1 is not prime. Res64: 8C7A84E2ACC856C2 Time : 687.0 sec. user=vaughan [2009-08-10 11:06:42] 799*2^709727-1 is not prime. Res64: 2122A2BB4EA1383A Time : 568.0 sec. user=vaughan [2009-08-10 11:07:16] 627*2^709728-1 is not prime. Res64: 35DF40A2299DF052 Time : 553.0 sec. user=vaughan [2009-08-10 11:08:42] 715*2^709727-1 is not prime. Res64: 408AB555CF68536D Time : 716.0 sec. user=vaughan [2009-08-10 11:08:55] 721*2^709729-1 is not prime. Res64: 060166D3CB604184 Time : 573.0 sec. user=vaughan [2009-08-10 11:09:34] 725*2^709728-1 is not prime. Res64: 388C040D937A2107 Time : 691.0 sec. user=vaughan [2009-08-10 11:11:55] 635*2^709730-1 is not prime. Res64: 75C8A1C9FBE37D80 Time : 702.0 sec. user=vaughan [2009-08-10 11:13:42] 713*2^709726-1 is not prime. Res64: B7E4EA7641B5181B Time : 1112.0 sec. user=vaughan [2009-08-10 11:15:36] 675*2^709730-1 is not prime. Res64: 23DA5FBC2D8566C6 Time : 570.0 sec. user=vaughan [2009-08-10 11:16:12] 741*2^709730-1 is not prime. Res64: 95869D2EC443A774 Time : 570.0 sec. user=vaughan [2009-08-10 11:16:26] 643*2^709731-1 is not prime. Res64: EF22297236045CE4 Time : 550.0 sec. user=vaughan [2009-08-10 11:16:33] 755*2^709726-1 is not prime. Res64: 4342A213C7E4FFBB Time : 1211.0 sec. user=vaughan [2009-08-10 11:16:48] 671*2^709730-1 is not prime. Res64: B788B93BEAFAE8AC Time : 827.0 sec. user=vaughan [2009-08-10 11:17:53] 717*2^709730-1 is not prime. Res64: 03466603B7D532C3 Time : 687.0 sec. user=vaughan [2009-08-10 11:18:25] 769*2^709731-1 is not prime. Res64: 60590605287C3E6B Time : 570.0 sec. user=vaughan [2009-08-10 11:20:19] 665*2^709730-1 is not prime. Res64: 88578092B949923A Time : 1114.0 sec. user=vaughan [2009-08-10 11:20:37] 741*2^709731-1 is not prime. Res64: 4DEE0C3FA3562373 Time : 716.0 sec. user=vaughan [2009-08-10 11:21:03] 775*2^709731-1 is not prime. Res64: A6EA5D9A74E9F775 Time : 689.0 sec. user=vaughan [2009-08-10 11:23:35] 795*2^709731-1 is not prime. Res64: 6851A3133EB78451 Time : 701.0 sec. user=vaughan [2009-08-10 11:25:08] 677*2^709732-1 is not prime. Res64: 44F6F83088E3CE17 Time : 572.0 sec. user=vaughan [2009-08-10 11:25:38] 607*2^709733-1 is not prime. Res64: 235DA6967D9CC3C1 Time : 552.0 sec. user=vaughan [2009-08-10 11:25:39] 735*2^709732-1 is not prime. Res64: 2E4035589EB3EE1E Time : 567.0 sec. user=vaughan [2009-08-10 11:27:13] 623*2^709732-1 is not prime. Res64: CADB202CA0470594 Time : 811.0 sec. user=vaughan [2009-08-10 11:27:58] 681*2^709734-1 is not prime. Res64: CAE410745E2CB23C Time : 573.0 sec. user=vaughan [2009-08-10 11:29:18] 795*2^709733-1 is not prime. Res64: 96360A1D7C27B9E2 Time : 685.0 sec. user=vaughan [2009-08-10 11:29:28] 771*2^709733-1 is not prime. Res64: 3B97ADF01992A719 Time : 760.0 sec. user=vaughan [2009-08-10 11:32:33] 601*2^709735-1 is not prime. Res64: 8E88A0CF68672E56 Time : 716.0 sec. user=vaughan [2009-08-10 11:32:34] 679*2^709735-1 is not prime. Res64: 5454DEBBC125E826 Time : 691.0 sec. user=vaughan [2009-08-10 11:33:52] 797*2^709734-1 is not prime. Res64: D4AF303A91F3F780 Time : 813.0 sec. user=vaughan [2009-08-10 11:34:40] 741*2^709735-1 is not prime. Res64: 93310C53893327AC Time : 572.0 sec. user=vaughan [2009-08-10 11:34:50] 775*2^709735-1 is not prime. Res64: 860E30BB31B3D6F6 Time : 552.0 sec. user=vaughan [2009-08-10 11:35:10] 755*2^709736-1 is not prime. Res64: 55AF3D2023FC579A Time : 571.0 sec. user=vaughan [2009-08-10 11:35:16] 705*2^709735-1 is not prime. Res64: D8750E34C64D65FC Time : 701.0 sec. user=tnerual [2009-08-10 11:36:24] 687*2^709730-1 is not prime. Res64: 641CCADBFB9D1347 Time : 1816.0 sec. user=vaughan [2009-08-10 11:37:00] 619*2^709733-1 is not prime. Res64: 8264BB74BA77E863 Time : 1227.0 sec. user=vaughan [2009-08-10 11:37:30] 691*2^709737-1 is not prime. Res64: D9573D4EA73C67D3 Time : 572.0 sec. user=vaughan [2009-08-10 11:40:44] 669*2^709737-1 is not prime. Res64: C53CC988313A7A40 Time : 811.0 sec. user=vaughan [2009-08-10 11:40:45] 647*2^709738-1 is not prime. Res64: 36B88EABAB0B8E8A Time : 687.0 sec. user=vaughan [2009-08-10 11:43:29] 657*2^709738-1 is not prime. Res64: 6AA050A86F03CA48 Time : 841.0 sec. user=vaughan [2009-08-10 11:44:03] 685*2^709739-1 is not prime. Res64: E25A5098A365C5DF Time : 553.0 sec. user=vaughan [2009-08-10 11:44:04] 705*2^709738-1 is not prime. Res64: D1B75EFA9D1CD9C0 Time : 690.0 sec. user=vaughan [2009-08-10 11:44:09] 619*2^709739-1 is not prime. Res64: 08B34E8F4AABC468 Time : 569.0 sec. user=vaughan [2009-08-10 11:44:29] 665*2^709738-1 is not prime. Res64: 2F658DA42BFFB2F0 Time : 716.0 sec. user=vaughan [2009-08-10 11:44:45] 733*2^709739-1 is not prime. Res64: BD080BE594F0C235 Time : 575.0 sec. user=vaughan [2009-08-10 11:46:57] 741*2^709739-1 is not prime. Res64: 5C9E914E4F07BE93 Time : 701.0 sec. user=vaughan [2009-08-10 11:47:01] 695*2^709740-1 is not prime. Res64: 03B5632F09AA2D86 Time : 572.0 sec. user=vaughan [2009-08-10 11:47:24] 765*2^709738-1 is not prime. Res64: 4B067ACD9044F50B Time : 812.0 sec. user=vaughan [2009-08-10 11:52:10] 639*2^709741-1 is not prime. Res64: 214E90A2CBE474A6 Time : 685.0 sec. user=vaughan [2009-08-10 11:53:16] 769*2^709741-1 is not prime. Res64: A296CFA0CAA032BB Time : 553.0 sec. user=vaughan [2009-08-10 11:53:36] 741*2^709742-1 is not prime. Res64: B21D3F615BDAF378 Time : 568.0 sec. user=vaughan [2009-08-10 11:54:16] 709*2^709743-1 is not prime. Res64: ED35ED06AA7D7D0A Time : 571.0 sec. user=vaughan [2009-08-10 11:54:16] 735*2^709740-1 is not prime. Res64: 0C915C699A16A883 Time : 812.0 sec. user=vaughan [2009-08-10 11:55:35] 677*2^709742-1 is not prime. Res64: ED947D6E8DA594BF Time : 691.0 sec. user=vaughan [2009-08-10 11:56:24] 661*2^709743-1 is not prime. Res64: C3C72D4564D14E88 Time : 716.0 sec. user=vaughan [2009-08-10 11:56:31] 741*2^709741-1 is not prime. Res64: 8692A44CD0EBF0D7 Time : 782.0 sec. user=vaughan [2009-08-10 11:56:33] 765*2^709743-1 is not prime. Res64: DDBE156CA38490BC Time : 573.0 sec. user=vaughan [2009-08-10 11:57:44] 675*2^709740-1 is not prime. Res64: D2088933E525C688 Time : 1245.0 sec. user=vaughan [2009-08-10 11:58:37] 739*2^709743-1 is not prime. Res64: 6F372F4D1CFC0334 Time : 700.0 sec. user=vaughan [2009-08-10 12:00:57] 607*2^709745-1 is not prime. Res64: E825B30212D56253 Time : 813.0 sec. user=vaughan [2009-08-10 12:02:27] 755*2^709746-1 is not prime. Res64: B72DE924559F439C Time : 551.0 sec. user=vaughan [2009-08-10 12:03:07] 625*2^709747-1 is not prime. Res64: 8A40320BD3C72924 Time : 571.0 sec. user=vaughan [2009-08-10 12:03:37] 741*2^709746-1 is not prime. Res64: 1E8945C9640B8720 Time : 687.0 sec. user=vaughan [2009-08-10 12:03:48] 631*2^709747-1 is not prime. Res64: 577F37C2C7683461 Time : 573.0 sec. user=vaughan [2009-08-10 12:06:04] 767*2^709748-1 is not prime. Res64: 9993AB9E5969E0CB Time : 571.0 sec. user=tnerual [2009-08-10 12:06:39] 789*2^709739-1 is not prime. Res64: 87E054D141F305B6 Time : 1815.0 sec. user=vaughan [2009-08-10 12:07:06] 615*2^709748-1 is not prime. Res64: A67AD0CE39C3FCF5 Time : 692.0 sec. user=vaughan [2009-08-10 12:07:47] 681*2^709747-1 is not prime. Res64: 95D7449443D2D98A Time : 811.0 sec. user=vaughan [2009-08-10 12:08:20] 635*2^709748-1 is not prime. Res64: C115F54713B108F3 Time : 716.0 sec. user=vaughan [2009-08-10 12:10:19] 797*2^709748-1 is not prime. Res64: F331A02B8E007897 Time : 702.0 sec. user=vaughan [2009-08-10 12:11:20] 725*2^709748-1 is not prime. Res64: ED98A98893BB7782 Time : 889.0 sec. user=vaughan [2009-08-10 12:11:40] 661*2^709749-1 is not prime. Res64: 4F85EBF3FD43F579 Time : 553.0 sec. user=vaughan [2009-08-10 12:12:41] 611*2^709750-1 is not prime. Res64: D88BFC2242026DA7 Time : 574.0 sec. user=vaughan [2009-08-10 12:13:15] 663*2^709750-1 is not prime. Res64: 8A79B268830AF9D0 Time : 567.0 sec. user=vaughan [2009-08-10 12:14:29] 621*2^709749-1 is not prime. Res64: C5D687BA7F0E027E Time : 812.0 sec. user=vaughan [2009-08-10 12:15:03] 653*2^709750-1 is not prime. Res64: EF444C74C1B5A7FA Time : 686.0 sec. user=vaughan [2009-08-10 12:15:35] 755*2^709750-1 is not prime. Res64: DC81CA027C963BA3 Time : 571.0 sec. user=vaughan [2009-08-10 12:17:36] 795*2^709748-1 is not prime. Res64: 4C6DB801752BFC8B Time : 1193.0 sec. user=vaughan [2009-08-10 12:18:37] 745*2^709751-1 is not prime. Res64: 8F4E00E1874B729F Time : 692.0 sec. user=vaughan [2009-08-10 12:20:16] 635*2^709752-1 is not prime. Res64: 296AA47F64FFC6AF Time : 717.0 sec. user=vaughan [2009-08-10 12:20:55] 615*2^709754-1 is not prime. Res64: 5F7943D00DB70EC8 Time : 555.0 sec. user=vaughan [2009-08-10 12:21:18] 627*2^709752-1 is not prime. Res64: BD7ED2F0D2EDFDF2 Time : 811.0 sec. user=vaughan [2009-08-10 12:22:01] 725*2^709752-1 is not prime. Res64: 8B85FAAB82D4F8F7 Time : 702.0 sec. user=vaughan [2009-08-10 12:22:15] 671*2^709754-1 is not prime. Res64: 762624B4D7DABE69 Time : 575.0 sec. user=vaughan [2009-08-10 12:22:46] 753*2^709754-1 is not prime. Res64: 28BF5B925979A89A Time : 571.0 sec. user=vaughan [2009-08-10 12:25:06] 639*2^709755-1 is not prime. Res64: 426105FE1DE0E334 Time : 571.0 sec. user=vaughan [2009-08-10 12:25:21] 639*2^709753-1 is not prime. Res64: 5D8257006AE7DE0B Time : 841.0 sec. user=vaughan [2009-08-10 12:26:29] 625*2^709755-1 is not prime. Res64: 881896E6E95864F9 Time : 686.0 sec. user=vaughan [2009-08-10 12:28:02] 797*2^709754-1 is not prime. Res64: 611F1E81A27BBC81 Time : 813.0 sec. user=vaughan [2009-08-10 12:30:06] 753*2^709755-1 is not prime. Res64: 7B8351FD60265135 Time : 690.0 sec. user=vaughan [2009-08-10 12:30:09] 615*2^709756-1 is not prime. Res64: B4411C3DA365947E Time : 555.0 sec. user=vaughan [2009-08-10 12:31:47] 675*2^709757-1 is not prime. Res64: FA33C0CA9597E4D9 Time : 573.0 sec. user=vaughan [2009-08-10 12:32:12] 789*2^709755-1 is not prime. Res64: 46B5F9F70E6521E0 Time : 716.0 sec. user=vaughan [2009-08-10 12:32:19] 691*2^709757-1 is not prime. Res64: F0AD44C77FAEBAC1 Time : 573.0 sec. user=vaughan [2009-08-10 12:33:43] 723*2^709756-1 is not prime. Res64: 02D5CABBACB03E31 Time : 702.0 sec. user=vaughan [2009-08-10 12:34:36] 747*2^709757-1 is not prime. Res64: 1B22B1E50A415A70 Time : 571.0 sec. user=vaughan [2009-08-10 12:34:51] 629*2^709756-1 is not prime. Res64: 122A43D89696BF2B Time : 813.0 sec. user=tnerual [2009-08-10 12:36:59] 715*2^709751-1 is not prime. Res64: B7FC6223BB4DF02B Time : 1820.0 sec. user=vaughan [2009-08-10 12:37:36] 649*2^709755-1 is not prime. Res64: C969DCCCDE775E6E Time : 1200.0 sec. user=vaughan [2009-08-10 12:37:40] 759*2^709757-1 is not prime. Res64: C8410BF9F9954E2C Time : 739.0 sec. user=vaughan [2009-08-10 12:37:56] 769*2^709757-1 is not prime. Res64: E891FB9856132267 Time : 687.0 sec. user=vaughan [2009-08-10 12:39:21] 681*2^709758-1 is not prime. Res64: B6FD0031DD5DC609 Time : 552.0 sec. user=vaughan [2009-08-10 12:41:19] 705*2^709758-1 is not prime. Res64: B9358AFF56431B1F Time : 572.0 sec. user=vaughan [2009-08-10 12:41:34] 627*2^709758-1 is not prime. Res64: 191384CE30DDDF54 Time : 813.0 sec. user=vaughan [2009-08-10 12:41:36] 663*2^709758-1 is not prime. Res64: BE22B063A18BAAED Time : 690.0 sec. user=vaughan [2009-08-10 12:41:50] 765*2^709758-1 is not prime. Res64: 54D1458CACD2DBC1 Time : 571.0 sec. user=vaughan [2009-08-10 12:44:06] 625*2^709759-1 is not prime. Res64: 463763AE9CB546CA Time : 570.0 sec. user=vaughan [2009-08-10 12:44:08] 707*2^709758-1 is not prime. Res64: EAF09579920464D0 Time : 717.0 sec. user=vaughan [2009-08-10 12:45:23] 791*2^709758-1 is not prime. Res64: C484E6951E8008F9 Time : 701.0 sec. user=vaughan [2009-08-10 12:48:24] 693*2^709759-1 is not prime. Res64: 74D569613A8FE5A7 Time : 813.0 sec. user=vaughan [2009-08-10 12:48:32] 795*2^709760-1 is not prime. Res64: 9A159D84C094DD0B Time : 551.0 sec. user=vaughan [2009-08-10 12:49:24] 725*2^709760-1 is not prime. Res64: 6FF5B917F693E8CF Time : 688.0 sec. user=vaughan [2009-08-10 12:50:53] 739*2^709761-1 is not prime. Res64: 809B970667C53AF4 Time : 574.0 sec. user=vaughan [2009-08-10 12:51:06] 687*2^709760-1 is not prime. Res64: 968DABE88AFDC3A6 Time : 806.0 sec. user=vaughan [2009-08-10 12:51:19] 695*2^709762-1 is not prime. Res64: ABEB10416BB08275 Time : 569.0 sec. user=vaughan [2009-08-10 12:53:07] 675*2^709762-1 is not prime. Res64: EA73FCC898C84899 Time : 691.0 sec. user=vaughan [2009-08-10 12:53:39] 713*2^709762-1 is not prime. Res64: 84E11525B25FA56F Time : 573.0 sec. user=vaughan [2009-08-10 12:55:07] 635*2^709762-1 is not prime. Res64: 108013FA1306B8E8 Time : 813.0 sec. user=vaughan [2009-08-10 12:56:03] 603*2^709763-1 is not prime. Res64: 9F055563F301C08C Time : 715.0 sec. user=vaughan [2009-08-10 12:57:04] 615*2^709763-1 is not prime. Res64: F420F08777565712 Time : 701.0 sec. user=vaughan [2009-08-10 12:57:43] 623*2^709764-1 is not prime. Res64: 31A7C026009CD00F Time : 551.0 sec. user=vaughan [2009-08-10 12:59:01] 677*2^709760-1 is not prime. Res64: 54C38EC046F33D26 Time : 1285.0 sec. user=vaughan [2009-08-10 13:00:24] 715*2^709765-1 is not prime. Res64: FFF7781D79E4F846 Time : 572.0 sec. user=vaughan [2009-08-10 13:00:49] 741*2^709765-1 is not prime. Res64: 427F17B4C13EA7E5 Time : 570.0 sec. user=vaughan [2009-08-10 13:00:50] 759*2^709764-1 is not prime. Res64: C17F1FB69A95D69F Time : 687.0 sec. user=vaughan [2009-08-10 13:01:58] 679*2^709763-1 is not prime. Res64: FCED2E5162B29F7D Time : 814.0 sec. user=vaughan [2009-08-10 13:03:11] 765*2^709765-1 is not prime. Res64: 06663C39D1DAD068 Time : 572.0 sec. user=vaughan [2009-08-10 13:03:58] 729*2^709765-1 is not prime. Res64: E731107BEB572071 Time : 772.0 sec. user=vaughan [2009-08-10 13:04:37] 759*2^709765-1 is not prime. Res64: C527BA3F4437049D Time : 691.0 sec. user=vaughan [2009-08-10 13:06:53] 785*2^709766-1 is not prime. Res64: D4EB1EF5E613A0EA Time : 550.0 sec. user=tnerual [2009-08-10 13:07:06] 665*2^709760-1 is not prime. Res64: 5FE46951757B3C76 Time : 1807.0 sec. user=vaughan [2009-08-10 13:08:01] 677*2^709766-1 is not prime. Res64: C0B4FF498B537604 Time : 718.0 sec. user=vaughan [2009-08-10 13:08:41] 777*2^709765-1 is not prime. Res64: 63AE59ED7D957296 Time : 814.0 sec. user=vaughan [2009-08-10 13:08:46] 711*2^709766-1 is not prime. Res64: 6931A044F9DF3FE1 Time : 702.0 sec. user=vaughan [2009-08-10 13:09:55] 651*2^709767-1 is not prime. Res64: 3AEDDA5A88726DA9 Time : 571.0 sec. user=vaughan [2009-08-10 13:10:20] 751*2^709767-1 is not prime. Res64: 6B1A68BF41FEE202 Time : 571.0 sec. user=vaughan [2009-08-10 13:12:17] 775*2^709767-1 is not prime. Res64: B51FD14E3F3F801C Time : 687.0 sec. user=vaughan [2009-08-10 13:12:41] 635*2^709768-1 is not prime. Res64: D70762B86E2628D1 Time : 571.0 sec. user=vaughan [2009-08-10 13:15:31] 623*2^709768-1 is not prime. Res64: 81B887C52355DDE9 Time : 813.0 sec. user=vaughan [2009-08-10 13:16:06] 721*2^709769-1 is not prime. Res64: 9B319E0DB494C72D Time : 553.0 sec. user=vaughan [2009-08-10 13:16:07] 797*2^709768-1 is not prime. Res64: 4AC2D394F370D625 Time : 690.0 sec. user=vaughan [2009-08-10 13:17:26] 695*2^709768-1 is not prime. Res64: 5B027B978B7D903D Time : 808.0 sec. user=vaughan [2009-08-10 13:18:20] 615*2^709767-1 is not prime. Res64: 059765B935774DDB Time : 1159.0 sec. user=vaughan [2009-08-10 13:19:28] 723*2^709771-1 is not prime. Res64: 87F4830B08AF5084 Time : 573.0 sec. user=vaughan [2009-08-10 13:19:48] 699*2^709772-1 is not prime. Res64: 2321042427BCE05A Time : 569.0 sec. user=vaughan [2009-08-10 13:19:58] 783*2^709770-1 is not prime. Res64: 03EA28195308F6AE Time : 717.0 sec. user=vaughan [2009-08-10 13:20:26] 651*2^709771-1 is not prime. Res64: 393ABC5593861561 Time : 700.0 sec. user=vaughan [2009-08-10 13:22:12] 749*2^709772-1 is not prime. Res64: 90C836A02AD425B3 Time : 571.0 sec. user=vaughan [2009-08-10 13:22:14] 625*2^709771-1 is not prime. Res64: 2B77865163E4885F Time : 814.0 sec. user=vaughan [2009-08-10 13:23:43] 735*2^709772-1 is not prime. Res64: 7B6AEB20AF510D47 Time : 686.0 sec. user=vaughan [2009-08-10 13:25:20] 639*2^709773-1 is not prime. Res64: AC757C35B9FED3AF Time : 554.0 sec. user=vaughan [2009-08-10 13:27:36] 651*2^709773-1 is not prime. Res64: 4A73611F8C98A477 Time : 689.0 sec. user=vaughan [2009-08-10 13:29:01] 745*2^709773-1 is not prime. Res64: 0E8D0CC2C7B6D695 Time : 573.0 sec. user=vaughan [2009-08-10 13:29:03] 753*2^709772-1 is not prime. Res64: 78B1531B99D80EF3 Time : 812.0 sec. user=vaughan [2009-08-10 13:29:18] 765*2^709773-1 is not prime. Res64: 9F0EF618CBBB3C69 Time : 571.0 sec. user=vaughan [2009-08-10 13:30:03] 669*2^709773-1 is not prime. Res64: 07B4992310E49D52 Time : 758.0 sec. user=vaughan [2009-08-10 13:31:45] 657*2^709774-1 is not prime. Res64: F2084EC38B9AD83C Time : 573.0 sec. user=vaughan [2009-08-10 13:31:54] 621*2^709774-1 is not prime. Res64: B4BA11CACA88071A Time : 717.0 sec. user=vaughan [2009-08-10 13:32:07] 645*2^709774-1 is not prime. Res64: E7FCD786BD29AEEC Time : 701.0 sec. user=vaughan [2009-08-10 13:34:31] 635*2^709776-1 is not prime. Res64: 30157A326F9C7CC5 Time : 552.0 sec. user=vaughan [2009-08-10 13:35:10] 721*2^709775-1 is not prime. Res64: 1E15D2F03FA1B32D Time : 687.0 sec. user=vaughan [2009-08-10 13:35:47] 731*2^709774-1 is not prime. Res64: 83F96D527B1EDEEB Time : 813.0 sec. user=tnerual [2009-08-10 13:37:17] 765*2^709770-1 is not prime. Res64: 91B11F386D88613D Time : 1811.0 sec. user=vaughan [2009-08-10 13:37:48] 741*2^709773-1 is not prime. Res64: EF34849F10851874 Time : 1168.0 sec. user=vaughan [2009-08-10 13:38:30] 693*2^709776-1 is not prime. Res64: 5410FE89B1F6052F Time : 569.0 sec. user=vaughan [2009-08-10 13:38:52] 779*2^709776-1 is not prime. Res64: 592D01765E84DF84 Time : 574.0 sec. user=vaughan [2009-08-10 13:39:07] 675*2^709776-1 is not prime. Res64: E959F3AA98D63786 Time : 691.0 sec. user=vaughan [2009-08-10 13:41:13] 605*2^709778-1 is not prime. Res64: 9E45CCB0AC73BD0D Time : 569.0 sec. user=vaughan [2009-08-10 13:42:36] 719*2^709776-1 is not prime. Res64: 40E9E4744E5F225B Time : 813.0 sec. user=vaughan [2009-08-10 13:43:42] 621*2^709779-1 is not prime. Res64: B4362DF146725D73 Time : 551.0 sec. user=vaughan [2009-08-10 13:43:50] 635*2^709778-1 is not prime. Res64: 45422C0F94323F16 Time : 703.0 sec. user=vaughan [2009-08-10 13:43:51] 617*2^709778-1 is not prime. Res64: 982181D20C4BE61E Time : 717.0 sec. user=vaughan [2009-08-10 13:44:32] 651*2^709777-1 is not prime. Res64: 58EB7CD602D601AB Time : 869.0 sec. user=vaughan [2009-08-10 13:46:36] 691*2^709779-1 is not prime. Res64: 4EE996F7E14EC7B9 Time : 687.0 sec. user=vaughan [2009-08-10 13:48:03] 793*2^709779-1 is not prime. Res64: FFB2B195A9992E04 Time : 573.0 sec. user=vaughan [2009-08-10 13:48:22] 635*2^709780-1 is not prime. Res64: 964F6EEA0B7A9677 Time : 570.0 sec. user=vaughan [2009-08-10 13:49:21] 711*2^709779-1 is not prime. Res64: 0714FB0C8A8736FE Time : 814.0 sec. user=vaughan [2009-08-10 13:50:38] 653*2^709780-1 is not prime. Res64: 4920643FE1292AB1 Time : 691.0 sec. user=vaughan [2009-08-10 13:50:44] 675*2^709780-1 is not prime. Res64: 7B46E6699BB8604A Time : 571.0 sec. user=vaughan [2009-08-10 13:52:53] 645*2^709781-1 is not prime. Res64: 3C1D7637F8A08F67 Time : 551.0 sec. user=vaughan [2009-08-10 13:55:31] 669*2^709781-1 is not prime. Res64: 147951B67D475EB1 Time : 702.0 sec. user=vaughan [2009-08-10 13:55:47] 675*2^709781-1 is not prime. Res64: CF034D4E9ED89301 Time : 717.0 sec. user=vaughan [2009-08-10 13:56:08] 677*2^709780-1 is not prime. Res64: 5B677FC76A6898E6 Time : 813.0 sec. user=vaughan [2009-08-10 13:56:58] 679*2^709781-1 is not prime. Res64: 4B8735E24E83A2FB Time : 746.0 sec. user=vaughan [2009-08-10 13:57:35] 681*2^709782-1 is not prime. Res64: 00A2A5E5AED7D2D0 Time : 572.0 sec. user=vaughan [2009-08-10 13:57:54] 713*2^709782-1 is not prime. Res64: 0E99E65CCDF73B82 Time : 572.0 sec. user=vaughan [2009-08-10 13:58:02] 775*2^709781-1 is not prime. Res64: 695DC2C87EC5A9E3 Time : 686.0 sec. user=vaughan [2009-08-10 13:58:18] 775*2^709779-1 is not prime. Res64: ABEB7353C164236F Time : 1230.0 sec. user=vaughan [2009-08-10 14:00:17] 649*2^709783-1 is not prime. Res64: 71A55FC203FF57F9 Time : 573.0 sec. user=vaughan [2009-08-10 14:02:06] 673*2^709783-1 is not prime. Res64: 0F0EE356E4E85870 Time : 553.0 sec. user=vaughan [2009-08-10 14:02:07] 603*2^709783-1 is not prime. Res64: 9400FF6E448CC7CF Time : 690.0 sec. user=vaughan [2009-08-10 14:02:55] 731*2^709782-1 is not prime. Res64: F7E79245AC8BEAE9 Time : 815.0 sec. user=vaughan [2009-08-10 14:07:07] 665*2^709784-1 is not prime. Res64: D143DE1943D92ABB Time : 572.0 sec. user=vaughan [2009-08-10 14:07:13] 763*2^709783-1 is not prime. Res64: F6EB4EE7A048043C Time : 702.0 sec. user=vaughan [2009-08-10 14:07:24] 683*2^709784-1 is not prime. Res64: 345B24089F4B9694 Time : 570.0 sec. user=vaughan [2009-08-10 14:07:43] 617*2^709784-1 is not prime. Res64: 75FC2B1359EB9C05 Time : 716.0 sec. user=tnerual [2009-08-10 14:07:43] 769*2^709779-1 is not prime. Res64: 4E6067AA9F834AB2 Time : 1826.0 sec. user=vaughan [2009-08-10 14:09:29] 627*2^709785-1 is not prime. Res64: DE40C2167242F40A Time : 687.0 sec. user=vaughan [2009-08-10 14:09:48] 699*2^709785-1 is not prime. Res64: 82D9FC3EE42C7524 Time : 571.0 sec. user=vaughan [2009-08-10 14:09:50] 657*2^709784-1 is not prime. Res64: A5D3C7DEF771BF03 Time : 772.0 sec. user=vaughan [2009-08-10 14:09:51] 635*2^709784-1 is not prime. Res64: E80795F00CD150E3 Time : 824.0 sec. user=vaughan [2009-08-10 14:11:18] 717*2^709785-1 is not prime. Res64: 7DED8BB8F5726990 Time : 552.0 sec. user=vaughan [2009-08-10 14:13:37] 727*2^709785-1 is not prime. Res64: DDFAA0FF421C3EA7 Time : 690.0 sec. user=vaughan [2009-08-10 14:16:57] 735*2^709786-1 is not prime. Res64: E1CA4309F6DF6963 Time : 590.0 sec. user=vaughan [2009-08-10 14:17:14] 643*2^709787-1 is not prime. Res64: 8B58BDB668E648E3 Time : 591.0 sec. user=vaughan [2009-08-10 14:18:32] 611*2^709786-1 is not prime. Res64: 5B860A3B77764D5E Time : 938.0 sec. user=vaughan [2009-08-10 14:18:53] 619*2^709787-1 is not prime. Res64: 1E2CBCA686421A87 Time : 701.0 sec. user=vaughan [2009-08-10 14:19:38] 667*2^709785-1 is not prime. Res64: 873A2D0053DE9EDC Time : 1280.0 sec. user=vaughan [2009-08-10 14:19:39] 669*2^709788-1 is not prime. Res64: 15981EC1DCF0D82D Time : 716.0 sec. user=vaughan [2009-08-10 14:20:02] 741*2^709789-1 is not prime. Res64: 4C9361A97C35263B Time : 615.0 sec. user=vaughan [2009-08-10 14:20:51] 785*2^709790-1 is not prime. Res64: 553347C2916D9879 Time : 573.0 sec. user=vaughan [2009-08-10 14:20:55] 681*2^709789-1 is not prime. Res64: 62B67CF37A88C2CF Time : 686.0 sec. user=vaughan [2009-08-10 14:23:59] 635*2^709790-1 is not prime. Res64: 99D14966ACC3277E Time : 849.0 sec. user=vaughan [2009-08-10 14:25:06] 649*2^709791-1 is not prime. Res64: 39A4CC9D897953DF Time : 689.0 sec. user=vaughan [2009-08-10 14:25:52] 677*2^709790-1 is not prime. Res64: 8DEB2B5C12EFC8FF Time : 961.0 sec. user=vaughan [2009-08-10 14:27:39] 703*2^709791-1 is not prime. Res64: E59BB4E082A55614 Time : 642.0 sec. user=vaughan [2009-08-10 14:27:55] 735*2^709791-1 is not prime. Res64: B591DB427AA76CE4 Time : 641.0 sec. user=vaughan [2009-08-10 14:30:31] 797*2^709792-1 is not prime. Res64: B29CD6CB8A0C1B96 Time : 580.0 sec. user=vaughan [2009-08-10 14:30:34] 629*2^709792-1 is not prime. Res64: 64F8D9AF6370CBD5 Time : 701.0 sec. user=vaughan [2009-08-10 14:30:39] 695*2^709792-1 is not prime. Res64: BFA0210BA8FC0999 Time : 637.0 sec. user=vaughan [2009-08-10 14:31:34] 645*2^709792-1 is not prime. Res64: B8037FD261FE3421 Time : 716.0 sec. user=vaughan [2009-08-10 14:32:22] 631*2^709793-1 is not prime. Res64: A93E8FB6BD9F0CBE Time : 687.0 sec. user=vaughan [2009-08-10 14:35:57] 609*2^709792-1 is not prime. Res64: E1B7B5C4FA0DE6D9 Time : 1045.0 sec. user=vaughan [2009-08-10 14:36:36] 695*2^709794-1 is not prime. Res64: CC5360E62D8AAFC4 Time : 690.0 sec. user=vaughan [2009-08-10 14:37:18] 735*2^709793-1 is not prime. Res64: 7A64B02F250854D2 Time : 799.0 sec. user=tnerual [2009-08-10 14:38:01] 753*2^709788-1 is not prime. Res64: 58A9C4D5EF9B4B28 Time : 1818.0 sec. user=vaughan [2009-08-10 14:38:12] 755*2^709794-1 is not prime. Res64: 84B7641770BCD7B6 Time : 633.0 sec. user=vaughan [2009-08-10 14:38:31] 783*2^709794-1 is not prime. Res64: 30488414D1D5C7DA Time : 636.0 sec. user=vaughan [2009-08-10 14:39:07] 639*2^709792-1 is not prime. Res64: BA7DFDE853DE55B1 Time : 1169.0 sec. user=vaughan [2009-08-10 14:40:10] 603*2^709795-1 is not prime. Res64: 7CA5BA9E20367790 Time : 580.0 sec. user=vaughan [2009-08-10 14:41:14] 631*2^709795-1 is not prime. Res64: 83C9E92FE8351324 Time : 635.0 sec. user=vaughan [2009-08-10 14:41:44] 705*2^709794-1 is not prime. Res64: E1067B0F555BD2F7 Time : 952.0 sec. user=vaughan [2009-08-10 14:42:15] 619*2^709795-1 is not prime. Res64: 8286745FB125A704 Time : 701.0 sec. user=vaughan [2009-08-10 14:43:30] 633*2^709796-1 is not prime. Res64: 435E79577E26610C Time : 716.0 sec. user=vaughan [2009-08-10 14:43:48] 707*2^709796-1 is not prime. Res64: B238304AC9D8C275 Time : 686.0 sec. user=vaughan [2009-08-10 14:48:07] 767*2^709796-1 is not prime. Res64: DD571F9348AF6537 Time : 691.0 sec. user=vaughan [2009-08-10 14:48:42] 759*2^709797-1 is not prime. Res64: A93B3BC1747E2594 Time : 630.0 sec. user=vaughan [2009-08-10 14:49:01] 743*2^709798-1 is not prime. Res64: DAA1ED30A8028D2E Time : 631.0 sec. user=vaughan [2009-08-10 14:49:43] 619*2^709799-1 is not prime. Res64: 2C4E880575D3D472 Time : 573.0 sec. user=vaughan [2009-08-10 14:50:28] 627*2^709797-1 is not prime. Res64: 8D6425A1F71B7EB4 Time : 790.0 sec. user=vaughan [2009-08-10 14:51:16] 655*2^709799-1 is not prime. Res64: 9931CDF0C10868E3 Time : 602.0 sec. user=vaughan [2009-08-10 14:52:05] 759*2^709796-1 is not prime. Res64: 0BBCA49F0D3F48EF Time : 969.0 sec. user=vaughan [2009-08-10 14:53:56] 685*2^709799-1 is not prime. Res64: 3E1A77859E27572F Time : 701.0 sec. user=vaughan [2009-08-10 14:55:15] 775*2^709799-1 is not prime. Res64: A8DDDA5CD443506F Time : 687.0 sec. user=vaughan [2009-08-10 14:55:25] 693*2^709799-1 is not prime. Res64: A57E2D33683DEA36 Time : 715.0 sec. user=vaughan [2009-08-10 14:57:07] 663*2^709799-1 is not prime. Res64: 7423D32B4A9FA52B Time : 923.0 sec. user=vaughan [2009-08-10 14:58:18] 725*2^709800-1 is not prime. Res64: FCAE973B37EA2D9C Time : 576.0 sec. user=vaughan [2009-08-10 14:58:39] 737*2^709800-1 is not prime. Res64: D99A2EFEDAD56A1D Time : 578.0 sec. user=vaughan [2009-08-10 14:58:44] 747*2^709800-1 is not prime. Res64: 5CD63B33F6BF6D60 Time : 542.0 sec. user=vaughan [2009-08-10 14:59:37] 707*2^709800-1 is not prime. Res64: D4C26A401EBE335F Time : 690.0 sec. user=vaughan [2009-08-10 15:01:18] 705*2^709801-1 is not prime. Res64: 6E5C531A8E534411 Time : 602.0 sec. user=vaughan [2009-08-10 15:01:36] 791*2^709798-1 is not prime. Res64: 8D038E0E11DE0025 Time : 1350.0 sec. user=vaughan [2009-08-10 15:02:33] 797*2^709800-1 is not prime. Res64: 096E70CBEB3F5E05 Time : 725.0 sec. user=vaughan [2009-08-10 15:05:37] 747*2^709801-1 is not prime. Res64: 9987A07A9D03FFCD Time : 701.0 sec. user=vaughan [2009-08-10 15:06:41] 799*2^709801-1 is not prime. Res64: 0D30603DC39CBE8F Time : 686.0 sec. user=vaughan [2009-08-10 15:07:21] 675*2^709802-1 is not prime. Res64: EC20F9ABC2646D5E Time : 716.0 sec. user=tnerual [2009-08-10 15:08:19] 651*2^709797-1 is not prime. Res64: B4485011275CE673 Time : 1818.0 sec. user=vaughan [2009-08-10 15:08:29] 669*2^709803-1 is not prime. Res64: C0434550DF2B6405 Time : 585.0 sec. user=vaughan [2009-08-10 15:08:59] 619*2^709803-1 is not prime. Res64: C0226DFE2CD80917 Time : 641.0 sec. user=vaughan [2009-08-10 15:09:21] 643*2^709803-1 is not prime. Res64: C5594A1E25D740D2 Time : 642.0 sec. user=vaughan [2009-08-10 15:09:23] 741*2^709801-1 is not prime. Res64: 697E530D23A83EB0 Time : 1039.0 sec. user=vaughan [2009-08-10 15:11:10] 679*2^709803-1 is not prime. Res64: C7F4A6B9B6DAE9BD Time : 693.0 sec. user=vaughan [2009-08-10 15:11:58] 751*2^709803-1 is not prime. Res64: 92BB903A3C378305 Time : 641.0 sec. user=vaughan [2009-08-10 15:13:24] 753*2^709802-1 is not prime. Res64: 01F4BDB7997FDEF3 Time : 977.0 sec. user=vaughan [2009-08-10 15:16:13] 777*2^709805-1 is not prime. Res64: 641DC5FF411B7085 Time : 821.0 sec. user=vaughan [2009-08-10 15:17:31] 781*2^709805-1 is not prime. Res64: C53F7F5D61BBE9E5 Time : 714.0 sec. user=vaughan [2009-08-10 15:18:10] 783*2^709806-1 is not prime. Res64: 6EFBD1CC971DD169 Time : 581.0 sec. user=vaughan [2009-08-10 15:18:15] 647*2^709806-1 is not prime. Res64: EBF58AA1997638BF Time : 694.0 sec. user=vaughan [2009-08-10 15:19:32] 707*2^709806-1 is not prime. Res64: 33232635E0BC0612 Time : 731.0 sec. user=vaughan [2009-08-10 15:19:36] 609*2^709807-1 is not prime. Res64: 56CA43E0357D2072 Time : 637.0 sec. user=vaughan [2009-08-10 15:19:53] 693*2^709807-1 is not prime. Res64: C30F2BCC97CDDC53 Time : 632.0 sec. user=vaughan [2009-08-10 15:21:14] 645*2^709805-1 is not prime. Res64: 9F22DF109C8942E9 Time : 1179.0 sec. user=vaughan [2009-08-10 15:22:28] 775*2^709807-1 is not prime. Res64: 686A68BF9A608AF8 Time : 630.0 sec. user=vaughan [2009-08-10 15:23:38] 769*2^709807-1 is not prime. Res64: BB048529AF71B4AE Time : 749.0 sec. user=vaughan [2009-08-10 15:27:05] 765*2^709807-1 is not prime. Res64: D909B632336C7DB2 Time : 1062.0 sec. user=vaughan [2009-08-10 15:27:43] 685*2^709809-1 is not prime. Res64: B3F90B192472C248 Time : 574.0 sec. user=vaughan [2009-08-10 15:29:04] 663*2^709808-1 is not prime. Res64: 1CBC258E881FC5F2 Time : 771.0 sec. user=vaughan [2009-08-10 15:29:36] 773*2^709808-1 is not prime. Res64: DC1D55BCBD511F64 Time : 725.0 sec. user=vaughan [2009-08-10 15:29:42] 635*2^709808-1 is not prime. Res64: 0FC8F07635A43A81 Time : 979.0 sec. user=vaughan [2009-08-10 15:29:49] 709*2^709809-1 is not prime. Res64: 256A858B17723D0A Time : 694.0 sec. user=vaughan [2009-08-10 15:30:06] 611*2^709810-1 is not prime. Res64: 6C99708A0C9B6E83 Time : 630.0 sec. user=vaughan [2009-08-10 15:30:20] 663*2^709810-1 is not prime. Res64: 5B05A7E806D89530 Time : 628.0 sec. user=vaughan [2009-08-10 15:31:48] 747*2^709809-1 is not prime. Res64: B0E251D9AA21A6D8 Time : 736.0 sec. user=vaughan [2009-08-10 15:32:53] 701*2^709810-1 is not prime. Res64: 7BF8ECC2E46A4DB4 Time : 625.0 sec. user=vaughan [2009-08-10 15:36:06] 621*2^709811-1 is not prime. Res64: 02E3C379C0D07D46 Time : 748.0 sec. user=vaughan [2009-08-10 15:37:22] 753*2^709811-1 is not prime. Res64: 51C136CCD237D07D Time : 579.0 sec. user=tnerual [2009-08-10 15:38:37] 777*2^709806-1 is not prime. Res64: 9267461FFC097B17 Time : 1818.0 sec. user=vaughan [2009-08-10 15:40:37] 679*2^709813-1 is not prime. Res64: BF7EBCF165677B8D Time : 632.0 sec. user=vaughan [2009-08-10 15:40:50] 681*2^709813-1 is not prime. Res64: D2220F041733A781 Time : 631.0 sec. user=vaughan [2009-08-10 15:41:25] 767*2^709812-1 is not prime. Res64: 1FE26CE5C9BB929D Time : 696.0 sec. user=vaughan [2009-08-10 15:41:26] 695*2^709812-1 is not prime. Res64: 10264C6C53B85662 Time : 743.0 sec. user=vaughan [2009-08-10 15:41:40] 717*2^709812-1 is not prime. Res64: D0490D4E0321391D Time : 725.0 sec. user=vaughan [2009-08-10 15:43:19] 733*2^709811-1 is not prime. Res64: 705A73B189886CD4 Time : 974.0 sec. user=vaughan [2009-08-10 15:43:19] 769*2^709813-1 is not prime. Res64: 3CCC264BC286D932 Time : 626.0 sec. user=vaughan [2009-08-10 15:44:00] 677*2^709810-1 is not prime. Res64: 378E40B8CD59508A Time : 1366.0 sec. user=vaughan [2009-08-10 15:44:04] 699*2^709813-1 is not prime. Res64: 6512D4C26620AA39 Time : 736.0 sec. user=vaughan [2009-08-10 15:45:18] 753*2^709812-1 is not prime. Res64: C647CC4C463E6DD9 Time : 936.0 sec. user=vaughan [2009-08-10 15:46:55] 755*2^709814-1 is not prime. Res64: 1DFBC112DA520373 Time : 573.0 sec. user=vaughan [2009-08-10 15:48:36] 641*2^709814-1 is not prime. Res64: FD6C070620ADB900 Time : 750.0 sec. user=vaughan [2009-08-10 15:50:52] 691*2^709815-1 is not prime. Res64: 24FF6EBA695468B0 Time : 616.0 sec. user=vaughan [2009-08-10 15:51:13] 709*2^709815-1 is not prime. Res64: B72392C830572CCF Time : 623.0 sec. user=vaughan [2009-08-10 15:53:01] 751*2^709815-1 is not prime. Res64: FCB4A77313ABCB5E Time : 696.0 sec. user=vaughan [2009-08-10 15:53:34] 759*2^709816-1 is not prime. Res64: 083FDCB916BE7E61 Time : 615.0 sec. user=vaughan [2009-08-10 15:53:43] 795*2^709815-1 is not prime. Res64: DE95F0E66CDBF0E3 Time : 723.0 sec. user=vaughan [2009-08-10 15:55:01] 763*2^709815-1 is not prime. Res64: FE7464C31AB209B0 Time : 816.0 sec. user=vaughan [2009-08-10 15:56:20] 675*2^709817-1 is not prime. Res64: 89581FE9298A29B4 Time : 736.0 sec. user=vaughan [2009-08-10 15:56:20] 605*2^709818-1 is not prime. Res64: A54E4AF90F759DD3 Time : 565.0 sec. user=vaughan [2009-08-10 15:59:42] 603*2^709816-1 is not prime. Res64: CA2ED525C568D9F1 Time : 983.0 sec. user=vaughan [2009-08-10 16:00:56] 741*2^709817-1 is not prime. Res64: FF36D34F86CAD90A Time : 938.0 sec. user=vaughan [2009-08-10 16:00:59] 671*2^709818-1 is not prime. Res64: 4AE38C948007F16F Time : 607.0 sec. user=vaughan [2009-08-10 16:01:05] 635*2^709818-1 is not prime. Res64: EA80FC9A21462C60 Time : 750.0 sec. user=vaughan [2009-08-10 16:01:18] 747*2^709818-1 is not prime. Res64: E62ED2FEF5569120 Time : 605.0 sec. user=vaughan [2009-08-10 16:03:41] 609*2^709820-1 is not prime. Res64: CB97FE68F9E61C6E Time : 607.0 sec. user=vaughan [2009-08-10 16:04:37] 679*2^709819-1 is not prime. Res64: EE816E913DF91C60 Time : 696.0 sec. user=vaughan [2009-08-10 16:05:05] 645*2^709817-1 is not prime. Res64: 7150B6CD6A887420 Time : 1265.0 sec. user=vaughan [2009-08-10 16:05:47] 797*2^709820-1 is not prime. Res64: 00B2E75F8C4B2C6B Time : 724.0 sec. user=vaughan [2009-08-10 16:05:53] 691*2^709821-1 is not prime. Res64: 487E381DE582A92F Time : 573.0 sec. user=vaughan [2009-08-10 16:07:13] 609*2^709821-1 is not prime. Res64: 1576629C010815AC Time : 732.0 sec. user=vaughan [2009-08-10 16:08:35] 625*2^709821-1 is not prime. Res64: C257A80DDB47E05B Time : 736.0 sec. user=tnerual [2009-08-10 16:08:55] 795*2^709814-1 is not prime. Res64: A27BC99C8E37C205 Time : 1818.0 sec. user=vaughan [2009-08-10 16:11:19] 745*2^709821-1 is not prime. Res64: 6E26CAABECE2F47B Time : 620.0 sec. user=vaughan [2009-08-10 16:11:39] 653*2^709822-1 is not prime. Res64: A92CBD1A4D1907B5 Time : 621.0 sec. user=vaughan [2009-08-10 16:13:34] 747*2^709821-1 is not prime. Res64: 3EAEF3CB1C65015C Time : 749.0 sec. user=vaughan [2009-08-10 16:13:54] 713*2^709822-1 is not prime. Res64: D769C6358B343B09 Time : 613.0 sec. user=vaughan [2009-08-10 16:15:21] 665*2^709824-1 is not prime. Res64: 66673803648BDF36 Time : 568.0 sec. user=vaughan [2009-08-10 16:16:12] 669*2^709823-1 is not prime. Res64: C4370DA8B6502D8E Time : 695.0 sec. user=vaughan [2009-08-10 16:16:31] 727*2^709821-1 is not prime. Res64: B6DD50F6A14FF1B7 Time : 1010.0 sec. user=vaughan [2009-08-10 16:17:01] 735*2^709821-1 is not prime. Res64: 42A7350DD143F2A5 Time : 965.0 sec. user=vaughan [2009-08-10 16:17:51] 745*2^709823-1 is not prime. Res64: A28A40DACDFF38CA Time : 724.0 sec. user=vaughan [2009-08-10 16:19:58] 705*2^709824-1 is not prime. Res64: F44883D2F3068373 Time : 765.0 sec. user=vaughan [2009-08-10 16:20:51] 707*2^709824-1 is not prime. Res64: C0059562886FB583 Time : 736.0 sec. user=vaughan [2009-08-10 16:21:04] 723*2^709824-1 is not prime. Res64: F2F37A7709686758 Time : 585.0 sec. user=vaughan [2009-08-10 16:21:22] 645*2^709825-1 is not prime. Res64: 06EC48B33A1216CE Time : 584.0 sec. user=vaughan [2009-08-10 16:23:35] 765*2^709825-1 is not prime. Res64: BCCBFC356A270EC2 Time : 581.0 sec. user=vaughan [2009-08-10 16:24:34] 771*2^709825-1 is not prime. Res64: 871968FCDFD0FFA6 Time : 553.0 sec. user=vaughan [2009-08-10 16:26:04] 741*2^709825-1 is not prime. Res64: C81596775BE73ADC Time : 750.0 sec. user=vaughan [2009-08-10 16:26:07] 721*2^709823-1 is not prime. Res64: 26FCBC66F7F79420 Time : 1262.0 sec. user=vaughan [2009-08-10 16:27:48] 777*2^709825-1 is not prime. Res64: 71EC456E5166EAF5 Time : 696.0 sec. user=vaughan [2009-08-10 16:29:56] 625*2^709827-1 is not prime. Res64: 109EB7C5990EFC2D Time : 725.0 sec. user=vaughan [2009-08-10 16:30:45] 781*2^709827-1 is not prime. Res64: 803F349AF81AC860 Time : 581.0 sec. user=vaughan [2009-08-10 16:31:02] 665*2^709828-1 is not prime. Res64: 355C061B2335126C Time : 580.0 sec. user=vaughan [2009-08-10 16:32:54] 743*2^709826-1 is not prime. Res64: 47F6BFFF40D3C015 Time : 953.0 sec. user=vaughan [2009-08-10 16:33:07] 751*2^709827-1 is not prime. Res64: 17574C8BC013F638 Time : 736.0 sec. user=vaughan [2009-08-10 16:33:10] 723*2^709828-1 is not prime. Res64: 2D33EDA922E15498 Time : 576.0 sec. user=vaughan [2009-08-10 16:33:27] 789*2^709825-1 is not prime. Res64: DF871B6B54AFCEA3 Time : 1017.0 sec. user=vaughan [2009-08-10 16:33:32] 741*2^709827-1 is not prime. Res64: FA2E32C1D284A039 Time : 814.0 sec. user=vaughan [2009-08-10 16:33:48] 601*2^709829-1 is not prime. Res64: A246A8EB1D552192 Time : 554.0 sec. user=vaughan [2009-08-10 16:38:33] 615*2^709829-1 is not prime. Res64: 20A258B7455DF0C3 Time : 750.0 sec. user=tnerual [2009-08-10 16:39:21] 719*2^709824-1 is not prime. Res64: D43851E9516A3EAF Time : 1826.0 sec. user=vaughan [2009-08-10 16:39:23] 747*2^709829-1 is not prime. Res64: 1A6FA64A0EEADBDE Time : 695.0 sec. user=vaughan [2009-08-10 16:40:22] 627*2^709830-1 is not prime. Res64: 8A9FC120DDA06EC3 Time : 578.0 sec. user=vaughan [2009-08-10 16:40:33] 765*2^709830-1 is not prime. Res64: BFF4221A0ED9DF58 Time : 571.0 sec. user=vaughan [2009-08-10 16:42:00] 771*2^709829-1 is not prime. Res64: 459AE8711D5E8F7C Time : 725.0 sec. user=vaughan [2009-08-10 16:43:04] 603*2^709832-1 is not prime. Res64: 4EE4159A122CE739 Time : 595.0 sec. user=vaughan [2009-08-10 16:43:11] 617*2^709832-1 is not prime. Res64: 9CC75D8A9B5A13DE Time : 563.0 sec. user=vaughan [2009-08-10 16:45:24] 693*2^709831-1 is not prime. Res64: 5567B755B3379E52 Time : 737.0 sec. user=vaughan [2009-08-10 16:46:10] 679*2^709829-1 is not prime. Res64: 327792688FD5C9D8 Time : 1203.0 sec. user=vaughan [2009-08-10 16:46:55] 615*2^709832-1 is not prime. Res64: 9D4CBA3ECC0418F0 Time : 803.0 sec. user=vaughan [2009-08-10 16:48:58] 625*2^709831-1 is not prime. Res64: 5415C615D3DC74D7 Time : 964.0 sec. user=vaughan [2009-08-10 16:50:30] 605*2^709832-1 is not prime. Res64: C9B3AEDCE97CD7D0 Time : 1023.0 sec. user=vaughan [2009-08-10 16:50:59] 797*2^709832-1 is not prime. Res64: 56055BB2FF1A8642 Time : 637.0 sec. user=vaughan [2009-08-10 16:50:59] 735*2^709832-1 is not prime. Res64: EECACFEDE232539C Time : 696.0 sec. user=vaughan [2009-08-10 16:51:02] 623*2^709832-1 is not prime. Res64: 9C0151A3D0B7651A Time : 749.0 sec. user=vaughan [2009-08-10 16:51:09] 681*2^709833-1 is not prime. Res64: 9A4D77787C9C14CD Time : 637.0 sec. user=vaughan [2009-08-10 16:52:47] 765*2^709833-1 is not prime. Res64: E2DB148697457B5D Time : 576.0 sec. user=vaughan [2009-08-10 16:53:31] 747*2^709833-1 is not prime. Res64: 6ED33C736F367B0D Time : 627.0 sec. user=vaughan [2009-08-10 16:54:04] 685*2^709833-1 is not prime. Res64: DD1D49A5ABF21E7A Time : 724.0 sec. user=vaughan [2009-08-10 16:57:40] 787*2^709833-1 is not prime. Res64: E32D7CCA613F4702 Time : 737.0 sec. user=vaughan [2009-08-10 17:00:56] 645*2^709834-1 is not prime. Res64: FA07352601D1F38D Time : 841.0 sec. user=vaughan [2009-08-10 17:01:31] 715*2^709835-1 is not prime. Res64: 3FA3FCD41DF99293 Time : 633.0 sec. user=vaughan [2009-08-10 17:01:41] 633*2^709836-1 is not prime. Res64: F5C10AD3B25BDB78 Time : 632.0 sec. user=vaughan [2009-08-10 17:02:28] 635*2^709836-1 is not prime. Res64: 035A4378356BDD5B Time : 581.0 sec. user=vaughan [2009-08-10 17:02:35] 741*2^709835-1 is not prime. Res64: 4C6C387F7165C086 Time : 696.0 sec. user=vaughan [2009-08-10 17:03:30] 775*2^709835-1 is not prime. Res64: 0FA432ADFF210A1C Time : 749.0 sec. user=vaughan [2009-08-10 17:04:05] 649*2^709837-1 is not prime. Res64: 50B53017AD44730D Time : 634.0 sec. user=vaughan [2009-08-10 17:05:06] 645*2^709835-1 is not prime. Res64: BFC2412E0C8E22FF Time : 968.0 sec. user=vaughan [2009-08-10 17:06:08] 651*2^709837-1 is not prime. Res64: 03C68F57C86E29C8 Time : 724.0 sec. user=vaughan [2009-08-10 17:07:08] 617*2^709834-1 is not prime. Res64: DEDF1B14F30EA027 Time : 1258.0 sec. user=vaughan [2009-08-10 17:07:54] 705*2^709835-1 is not prime. Res64: 2E6AB2C3F58C972F Time : 1044.0 sec. user=tnerual [2009-08-10 17:09:40] 669*2^709832-1 is not prime. Res64: 3C11886D1CC63223 Time : 1819.0 sec. user=vaughan [2009-08-10 17:09:56] 675*2^709837-1 is not prime. Res64: 67D19E8DAA4FAFF6 Time : 736.0 sec. user=vaughan [2009-08-10 17:12:11] 641*2^709838-1 is not prime. Res64: 67BDE51C9440A9E9 Time : 641.0 sec. user=vaughan [2009-08-10 17:12:11] 795*2^709838-1 is not prime. Res64: 892FB6AFF109E76C Time : 583.0 sec. user=vaughan [2009-08-10 17:12:17] 711*2^709838-1 is not prime. Res64: D6341C943C1C106D Time : 636.0 sec. user=vaughan [2009-08-10 17:13:31] 757*2^709837-1 is not prime. Res64: EDBF26B960174695 Time : 755.0 sec. user=vaughan [2009-08-10 17:14:09] 693*2^709839-1 is not prime. Res64: C4CEFA390607B88B Time : 695.0 sec. user=vaughan [2009-08-10 17:14:35] 709*2^709839-1 is not prime. Res64: 97C025625859BCD3 Time : 630.0 sec. user=vaughan [2009-08-10 17:15:59] 705*2^709839-1 is not prime. Res64: 1A443E5813482277 Time : 749.0 sec. user=vaughan [2009-08-10 17:18:13] 777*2^709840-1 is not prime. Res64: 0CBE861AD1FE6A41 Time : 725.0 sec. user=vaughan [2009-08-10 17:21:17] 769*2^709839-1 is not prime. Res64: 2C21ABCF42F4D840 Time : 971.0 sec. user=vaughan [2009-08-10 17:21:57] 619*2^709843-1 is not prime. Res64: A7470D4A37C9BFAB Time : 586.0 sec. user=vaughan [2009-08-10 17:22:12] 651*2^709842-1 is not prime. Res64: 8FBE6762BF870574 Time : 736.0 sec. user=vaughan [2009-08-10 17:22:48] 671*2^709842-1 is not prime. Res64: 08EF4FF238A75652 Time : 638.0 sec. user=vaughan [2009-08-10 17:22:55] 707*2^709844-1 is not prime. Res64: F7C23F06B4836504 Time : 638.0 sec. user=vaughan [2009-08-10 17:24:55] 777*2^709841-1 is not prime. Res64: 9436F9F88D0D1F76 Time : 1021.0 sec. user=vaughan [2009-08-10 17:25:17] 777*2^709845-1 is not prime. Res64: 1749B7A2ADA3C8BD Time : 642.0 sec. user=vaughan [2009-08-10 17:25:45] 759*2^709845-1 is not prime. Res64: 92179CC1AA5D6A03 Time : 696.0 sec. user=vaughan [2009-08-10 17:26:48] 767*2^709844-1 is not prime. Res64: 7AEA88898011FC46 Time : 797.0 sec. user=vaughan [2009-08-10 17:27:47] 631*2^709841-1 is not prime. Res64: C32D90CACC90A68E Time : 1239.0 sec. user=vaughan [2009-08-10 17:28:29] 635*2^709846-1 is not prime. Res64: 2B154976AE829B30 Time : 750.0 sec. user=vaughan [2009-08-10 17:30:17] 663*2^709846-1 is not prime. Res64: 616AE762520C5DB6 Time : 725.0 sec. user=vaughan [2009-08-10 17:31:38] 603*2^709847-1 is not prime. Res64: 682ECC41634DEDDE Time : 581.0 sec. user=vaughan [2009-08-10 17:33:24] 629*2^709848-1 is not prime. Res64: E2C4484739E43878 Time : 636.0 sec. user=vaughan [2009-08-10 17:33:31] 789*2^709848-1 is not prime. Res64: 85B98979123C3F66 Time : 636.0 sec. user=vaughan [2009-08-10 17:34:27] 685*2^709847-1 is not prime. Res64: E457BCDC8AAAF84A Time : 736.0 sec. user=vaughan [2009-08-10 17:35:49] 677*2^709850-1 is not prime. Res64: 4BFE0BD024EF43ED Time : 632.0 sec. user=vaughan [2009-08-10 17:37:03] 671*2^709846-1 is not prime. Res64: 105C9A10D85427DF Time : 946.0 sec. user=vaughan [2009-08-10 17:37:21] 701*2^709850-1 is not prime. Res64: 4582AFF9C90C6004 Time : 696.0 sec. user=tnerual [2009-08-10 17:40:08] 647*2^709842-1 is not prime. Res64: E1EA97544279C372 Time : 1828.0 sec. user=vaughan [2009-08-10 17:40:23] 713*2^709850-1 is not prime. Res64: 804D6BEF84D5CD22 Time : 815.0 sec. user=vaughan [2009-08-10 17:40:58] 651*2^709851-1 is not prime. Res64: 0D69608CF1AB557D Time : 749.0 sec. user=vaughan [2009-08-10 17:41:22] 781*2^709851-1 is not prime. Res64: 3283B6FD8064EBE9 Time : 584.0 sec. user=vaughan [2009-08-10 17:41:38] 765*2^709849-1 is not prime. Res64: 053801B890A31F87 Time : 1003.0 sec. user=vaughan [2009-08-10 17:42:21] 679*2^709851-1 is not prime. Res64: A1A08E1127ECDC12 Time : 724.0 sec. user=vaughan [2009-08-10 17:44:01] 675*2^709852-1 is not prime. Res64: AB8E5AA6DFD5DC4F Time : 637.0 sec. user=vaughan [2009-08-10 17:44:03] 693*2^709852-1 is not prime. Res64: 8BC24523F6256100 Time : 632.0 sec. user=vaughan [2009-08-10 17:46:22] 619*2^709853-1 is not prime. Res64: 55EFB590A2E1C56C Time : 633.0 sec. user=vaughan [2009-08-10 17:46:46] 755*2^709852-1 is not prime. Res64: E5B4173D8369C5AF Time : 739.0 sec. user=vaughan [2009-08-10 17:47:21] 791*2^709850-1 is not prime. Res64: 582331AA05608667 Time : 1174.0 sec. user=vaughan [2009-08-10 17:49:10] 775*2^709853-1 is not prime. Res64: 3B28F93A344C5328 Time : 709.0 sec. user=vaughan [2009-08-10 17:50:56] 797*2^709854-1 is not prime. Res64: 5822FFC7F91D0E1C Time : 575.0 sec. user=vaughan [2009-08-10 17:53:00] 631*2^709853-1 is not prime. Res64: 849DA3DA96D28510 Time : 958.0 sec. user=vaughan [2009-08-10 17:53:01] 681*2^709854-1 is not prime. Res64: F43C5FBD9AA7EE55 Time : 723.0 sec. user=vaughan [2009-08-10 17:53:55] 615*2^709854-1 is not prime. Res64: 9B58899373DEE279 Time : 812.0 sec. user=vaughan [2009-08-10 17:54:28] 615*2^709856-1 is not prime. Res64: DF715F1A837D1075 Time : 727.0 sec. user=vaughan [2009-08-10 17:54:31] 683*2^709856-1 is not prime. Res64: 62F5DD3156248E09 Time : 630.0 sec. user=vaughan [2009-08-10 17:54:34] 735*2^709856-1 is not prime. Res64: 4134B2CDCC19935E Time : 631.0 sec. user=vaughan [2009-08-10 17:56:58] 625*2^709857-1 is not prime. Res64: 5B49B99FC9ABAF97 Time : 637.0 sec. user=vaughan [2009-08-10 17:58:25] 663*2^709855-1 is not prime. Res64: A2D01FE852A82308 Time : 1007.0 sec. user=vaughan [2009-08-10 17:59:05] 637*2^709857-1 is not prime. Res64: EB8A688C6D246556 Time : 740.0 sec. user=vaughan [2009-08-10 18:00:41] 635*2^709858-1 is not prime. Res64: 4324D71494A96F8C Time : 585.0 sec. user=vaughan [2009-08-10 18:01:35] 611*2^709858-1 is not prime. Res64: 08C660FB4C314FA7 Time : 746.0 sec. user=vaughan [2009-08-10 18:04:40] 765*2^709858-1 is not prime. Res64: 656AEBAA068C560B Time : 699.0 sec. user=vaughan [2009-08-10 18:05:08] 705*2^709859-1 is not prime. Res64: 6F5C696E2C0AE7EA Time : 637.0 sec. user=vaughan [2009-08-10 18:05:11] 711*2^709859-1 is not prime. Res64: 2C2876AFE01F291D Time : 638.0 sec. user=vaughan [2009-08-10 18:06:33] 655*2^709859-1 is not prime. Res64: A033CC6CA2352DA6 Time : 726.0 sec. user=vaughan [2009-08-10 18:06:49] 631*2^709859-1 is not prime. Res64: A1D51FDC6C65520B Time : 774.0 sec. user=vaughan [2009-08-10 18:07:38] 733*2^709859-1 is not prime. Res64: 01A2521AE54B4A93 Time : 640.0 sec. user=vaughan [2009-08-10 18:08:32] 751*2^709857-1 is not prime. Res64: 3D89E47701F5B999 Time : 1271.0 sec. user=vaughan [2009-08-10 18:08:49] 663*2^709858-1 is not prime. Res64: 162B725A9262BB54 Time : 949.0 sec. user=vaughan [2009-08-10 18:10:26] 647*2^709860-1 is not prime. Res64: 84AD123873F100FA Time : 585.0 sec. user=vaughan [2009-08-10 18:11:23] 635*2^709860-1 is not prime. Res64: E96FC2CF4F6A5B11 Time : 738.0 sec. user=vaughan [2009-08-10 18:14:00] 693*2^709860-1 is not prime. Res64: 26D8C4592F705D3F Time : 745.0 sec. user=vaughan [2009-08-10 18:14:51] 799*2^709859-1 is not prime. Res64: 58F4DA17D26F7960 Time : 986.0 sec. user=vaughan [2009-08-10 18:15:49] 797*2^709860-1 is not prime. Res64: C74AFD69119FFBCD Time : 641.0 sec. user=vaughan [2009-08-10 18:15:52] 715*2^709861-1 is not prime. Res64: DA1B5E9F6B230DC9 Time : 641.0 sec. user=vaughan [2009-08-10 18:16:20] 753*2^709860-1 is not prime. Res64: C35D1D252D3040CF Time : 700.0 sec. user=vaughan [2009-08-10 18:18:17] 755*2^709862-1 is not prime. Res64: 006DB49C6268ABF8 Time : 639.0 sec. user=vaughan [2009-08-10 18:18:37] 671*2^709862-1 is not prime. Res64: 5F22F8D7C7716248 Time : 724.0 sec. user=vaughan [2009-08-10 18:19:40] 705*2^709862-1 is not prime. Res64: 9F6357B6A7CB0A47 Time : 771.0 sec. user=vaughan [2009-08-10 18:20:10] 765*2^709863-1 is not prime. Res64: EFE46FBF4C572461 Time : 584.0 sec. user=tnerual [2009-08-10 18:20:37] 781*2^709853-1 is not prime. Res64: D94560CB8C8F6BA1 Time : 2429.0 sec. user=vaughan [2009-08-10 18:23:41] 635*2^709864-1 is not prime. Res64: A112666EA877670E Time : 738.0 sec. user=vaughan [2009-08-10 18:24:39] 685*2^709863-1 is not prime. Res64: 7A2B834080CB49A8 Time : 950.0 sec. user=vaughan [2009-08-10 18:26:25] 669*2^709865-1 is not prime. Res64: 4C057C7F6E0905EF Time : 636.0 sec. user=vaughan [2009-08-10 18:26:26] 607*2^709865-1 is not prime. Res64: 0DB069537A8EA2F9 Time : 746.0 sec. user=vaughan [2009-08-10 18:26:27] 675*2^709865-1 is not prime. Res64: 9A20119A6FF4C404 Time : 635.0 sec. user=vaughan [2009-08-10 18:28:00] 685*2^709865-1 is not prime. Res64: 4EE7472E5F0BF3D5 Time : 700.0 sec. user=vaughan [2009-08-10 18:28:47] 789*2^709865-1 is not prime. Res64: A6768ED3C1B28265 Time : 631.0 sec. user=vaughan [2009-08-10 18:29:44] 765*2^709866-1 is not prime. Res64: 2197690671BA99C3 Time : 574.0 sec. user=vaughan [2009-08-10 18:29:50] 797*2^709862-1 is not prime. Res64: 6F739679B5E5318D Time : 1278.0 sec. user=vaughan [2009-08-10 18:30:23] 619*2^709865-1 is not prime. Res64: A69B7E99355EC4F8 Time : 932.0 sec. user=vaughan [2009-08-10 18:30:42] 711*2^709866-1 is not prime. Res64: 41D23344D13CC6C8 Time : 725.0 sec. user=vaughan [2009-08-10 18:32:30] 717*2^709866-1 is not prime. Res64: 4A6E045599D5319A Time : 770.0 sec. user=vaughan [2009-08-10 18:35:59] 615*2^709867-1 is not prime. Res64: 979EA86EF6447851 Time : 738.0 sec. user=vaughan [2009-08-10 18:36:42] 609*2^709869-1 is not prime. Res64: C593B4813CF708CB Time : 616.0 sec. user=vaughan [2009-08-10 18:36:44] 635*2^709868-1 is not prime. Res64: 08156E885FFCB5E5 Time : 619.0 sec. user=vaughan [2009-08-10 18:38:50] 743*2^709868-1 is not prime. Res64: 54AA677EF64EEFDB Time : 744.0 sec. user=vaughan [2009-08-10 18:38:57] 735*2^709869-1 is not prime. Res64: A13C810F4990586E Time : 610.0 sec. user=vaughan [2009-08-10 18:39:10] 731*2^709870-1 is not prime. Res64: 1ACFF33BD29CFC14 Time : 567.0 sec. user=vaughan [2009-08-10 18:39:37] 715*2^709867-1 is not prime. Res64: 0DBCA0A5FD1A0421 Time : 898.0 sec. user=vaughan [2009-08-10 18:39:39] 649*2^709869-1 is not prime. Res64: 0885580B7EC808A4 Time : 700.0 sec. user=vaughan [2009-08-10 18:42:46] 705*2^709871-1 is not prime. Res64: E89F4CB8A0A63A65 Time : 725.0 sec. user=vaughan [2009-08-10 18:46:22] 715*2^709871-1 is not prime. Res64: 9DB4F2DCC4AE7477 Time : 832.0 sec. user=vaughan [2009-08-10 18:46:52] 781*2^709871-1 is not prime. Res64: 750719AAC4BAC496 Time : 610.0 sec. user=vaughan [2009-08-10 18:46:57] 605*2^709872-1 is not prime. Res64: 5EF0623C4E071E70 Time : 613.0 sec. user=vaughan [2009-08-10 18:47:16] 685*2^709871-1 is not prime. Res64: 9BCFFCE088A189FA Time : 1013.0 sec. user=vaughan [2009-08-10 18:48:17] 741*2^709871-1 is not prime. Res64: FB73B6DF569E942F Time : 738.0 sec. user=vaughan [2009-08-10 18:48:44] 747*2^709872-1 is not prime. Res64: 3028E06F678904B1 Time : 574.0 sec. user=vaughan [2009-08-10 18:49:06] 725*2^709872-1 is not prime. Res64: 71A912FBFD26D87F Time : 609.0 sec. user=vaughan [2009-08-10 18:49:44] 663*2^709871-1 is not prime. Res64: 4FB5D403001C6059 Time : 1194.0 sec. user=vaughan [2009-08-10 18:51:16] 723*2^709872-1 is not prime. Res64: 78F57666507A45C9 Time : 746.0 sec. user=vaughan [2009-08-10 18:51:19] 705*2^709873-1 is not prime. Res64: FB029FC21B569A9E Time : 700.0 sec. user=vaughan [2009-08-10 18:54:50] 731*2^709874-1 is not prime. Res64: B07065751CEDF0A4 Time : 724.0 sec. user=vaughan [2009-08-10 18:55:13] 615*2^709873-1 is not prime. Res64: 5BAF2B02514122DE Time : 936.0 sec. user=vaughan [2009-08-10 18:57:04] 753*2^709875-1 is not prime. Res64: 5A255AA12035A7F4 Time : 607.0 sec. user=vaughan [2009-08-10 18:57:05] 613*2^709875-1 is not prime. Res64: 0E9FC30ED73C4608 Time : 613.0 sec. user=vaughan [2009-08-10 18:58:15] 689*2^709876-1 is not prime. Res64: 064F10AF73454F22 Time : 571.0 sec. user=vaughan [2009-08-10 18:59:11] 705*2^709876-1 is not prime. Res64: AC5484812654D89A Time : 606.0 sec. user=vaughan [2009-08-10 18:59:51] 747*2^709874-1 is not prime. Res64: 606938553A11E2D1 Time : 809.0 sec. user=vaughan [2009-08-10 19:00:36] 657*2^709876-1 is not prime. Res64: F78E5F51E9090379 Time : 739.0 sec. user=vaughan [2009-08-10 19:02:54] 765*2^709875-1 is not prime. Res64: 8F5B06BB244B651E Time : 939.0 sec. user=vaughan [2009-08-10 19:02:58] 747*2^709877-1 is not prime. Res64: 241E0AAFD5F5AF3E Time : 699.0 sec. user=vaughan [2009-08-10 19:03:40] 619*2^709877-1 is not prime. Res64: B5E8227F195CA4C9 Time : 744.0 sec. user=vaughan [2009-08-10 19:06:56] 665*2^709878-1 is not prime. Res64: C70594553ABB4062 Time : 726.0 sec. user=vaughan [2009-08-10 19:07:19] 679*2^709879-1 is not prime. Res64: 47812B3CC3F21EBE Time : 614.0 sec. user=vaughan [2009-08-10 19:07:24] 649*2^709879-1 is not prime. Res64: EF3B6F46EAAA63BB Time : 621.0 sec. user=vaughan [2009-08-10 19:07:46] 681*2^709879-1 is not prime. Res64: B7AA6ECD209EFBE0 Time : 571.0 sec. user=vaughan [2009-08-10 19:09:33] 759*2^709879-1 is not prime. Res64: B6EBC275C0011C15 Time : 623.0 sec. user=vaughan [2009-08-10 19:09:39] 603*2^709879-1 is not prime. Res64: 84415038D0B36CDD Time : 866.0 sec. user=vaughan [2009-08-10 19:10:42] 607*2^709877-1 is not prime. Res64: E3D0F6793C428F50 Time : 1258.0 sec. user=tnerual [2009-08-10 19:11:53] 609*2^709867-1 is not prime. Res64: 3B80A9ED053611AF Time : 3076.0 sec. user=vaughan [2009-08-10 19:12:34] 765*2^709879-1 is not prime. Res64: A07E1209C43A435A Time : 763.0 sec. user=vaughan [2009-08-10 19:12:54] 665*2^709880-1 is not prime. Res64: 79B89CDBB92A7AE8 Time : 738.0 sec. user=vaughan [2009-08-10 19:14:37] 615*2^709881-1 is not prime. Res64: D4E7F15FC7B7D845 Time : 699.0 sec. user=vaughan [2009-08-10 19:16:06] 627*2^709881-1 is not prime. Res64: 4B0DB72F0C681496 Time : 746.0 sec. user=vaughan [2009-08-10 19:17:23] 777*2^709881-1 is not prime. Res64: E51012874B330238 Time : 577.0 sec. user=vaughan [2009-08-10 19:17:59] 685*2^709881-1 is not prime. Res64: E2317C4DAD30E5F2 Time : 641.0 sec. user=vaughan [2009-08-10 19:18:04] 747*2^709881-1 is not prime. Res64: 6F4F4F24B9465F94 Time : 641.0 sec. user=vaughan [2009-08-10 19:18:14] 607*2^709881-1 is not prime. Res64: 3B9451C0EC23D838 Time : 920.0 sec. user=vaughan [2009-08-10 19:19:00] 649*2^709881-1 is not prime. Res64: AD21BB2C671E44BA Time : 724.0 sec. user=vaughan [2009-08-10 19:20:16] 695*2^709882-1 is not prime. Res64: 2B53053C97ED0EF8 Time : 643.0 sec. user=vaughan [2009-08-10 19:25:12] 603*2^709883-1 is not prime. Res64: F57324834FCBF7FA Time : 738.0 sec. user=vaughan [2009-08-10 19:25:19] 701*2^709882-1 is not prime. Res64: E8A1EA473B7B2BCF Time : 940.0 sec. user=vaughan [2009-08-10 19:25:43] 747*2^709882-1 is not prime. Res64: E13E266AD3BE77F1 Time : 789.0 sec. user=vaughan [2009-08-10 19:26:15] 619*2^709883-1 is not prime. Res64: E9A174FF6090A66E Time : 699.0 sec. user=vaughan [2009-08-10 19:27:05] 635*2^709884-1 is not prime. Res64: 51137ED9ADFD979A Time : 582.0 sec. user=vaughan [2009-08-10 19:28:30] 771*2^709883-1 is not prime. Res64: 708E0F055003F017 Time : 744.0 sec. user=vaughan [2009-08-10 19:28:31] 765*2^709884-1 is not prime. Res64: 52B716DF7AAA8AEC Time : 632.0 sec. user=vaughan [2009-08-10 19:28:37] 773*2^709884-1 is not prime. Res64: 495A413BBEB18EEF Time : 633.0 sec. user=vaughan [2009-08-10 19:30:47] 799*2^709885-1 is not prime. Res64: 40F20AC92E166AF8 Time : 631.0 sec. user=vaughan [2009-08-10 19:30:54] 717*2^709882-1 is not prime. Res64: 7D852A030A62C193 Time : 1212.0 sec. user=vaughan [2009-08-10 19:31:04] 717*2^709885-1 is not prime. Res64: 37BA78EAE5602073 Time : 724.0 sec. user=vaughan [2009-08-10 19:34:54] 651*2^709885-1 is not prime. Res64: A37A9A976040FEA3 Time : 1000.0 sec. user=vaughan [2009-08-10 19:36:46] 675*2^709887-1 is not prime. Res64: B7546B6B1E4F6EC2 Time : 581.0 sec. user=vaughan [2009-08-10 19:37:30] 773*2^709886-1 is not prime. Res64: DBB574D915D07790 Time : 738.0 sec. user=vaughan [2009-08-10 19:37:54] 669*2^709887-1 is not prime. Res64: 915DAB55CCCFB2D6 Time : 699.0 sec. user=vaughan [2009-08-10 19:39:08] 781*2^709887-1 is not prime. Res64: 1AA0B62C7FF4D6AF Time : 638.0 sec. user=vaughan [2009-08-10 19:39:12] 623*2^709888-1 is not prime. Res64: 0D00389599BFCB47 Time : 636.0 sec. user=vaughan [2009-08-10 19:39:23] 621*2^709887-1 is not prime. Res64: 6C357AA23CDAF152 Time : 820.0 sec. user=vaughan [2009-08-10 19:40:56] 685*2^709887-1 is not prime. Res64: BBD479F8DF8769DA Time : 746.0 sec. user=vaughan [2009-08-10 19:41:12] 795*2^709886-1 is not prime. Res64: 270888C8107B8FD1 Time : 953.0 sec. user=vaughan [2009-08-10 19:41:32] 663*2^709888-1 is not prime. Res64: D6987F4CABF0048D Time : 645.0 sec. user=tnerual [2009-08-10 19:42:11] 731*2^709882-1 is not prime. Res64: C559A526FD77D58B Time : 1818.0 sec. user=vaughan [2009-08-10 19:43:09] 601*2^709889-1 is not prime. Res64: 9B926CE8970EBEA5 Time : 725.0 sec. user=vaughan [2009-08-10 19:46:32] 685*2^709889-1 is not prime. Res64: A9D4AEEC0F911829 Time : 586.0 sec. user=vaughan [2009-08-10 19:49:33] 781*2^709889-1 is not prime. Res64: E37D4AC16D3F140E Time : 699.0 sec. user=vaughan [2009-08-10 19:49:33] 787*2^709889-1 is not prime. Res64: 3D566D0102F23A66 Time : 626.0 sec. user=vaughan [2009-08-10 19:49:41] 789*2^709889-1 is not prime. Res64: 0386570CC1DC54FF Time : 629.0 sec. user=vaughan [2009-08-10 19:49:48] 747*2^709889-1 is not prime. Res64: 30796E45DA98F867 Time : 738.0 sec. user=vaughan [2009-08-10 19:51:41] 603*2^709891-1 is not prime. Res64: 0FDFBE258CA5C933 Time : 609.0 sec. user=vaughan [2009-08-10 19:51:48] 631*2^709889-1 is not prime. Res64: FB8618FCDE8A65CA Time : 1014.0 sec. user=vaughan [2009-08-10 19:52:14] 797*2^709888-1 is not prime. Res64: 93C86A1B45A098EE Time : 1280.0 sec. user=vaughan [2009-08-10 19:52:58] 641*2^709890-1 is not prime. Res64: FF51E35FF58D0F10 Time : 816.0 sec. user=vaughan [2009-08-10 19:53:20] 755*2^709890-1 is not prime. Res64: 302EBDCE0BDD87D1 Time : 744.0 sec. user=vaughan [2009-08-10 19:55:12] 645*2^709891-1 is not prime. Res64: CD70CE8E3A7236B2 Time : 724.0 sec. user=vaughan [2009-08-10 19:55:50] 673*2^709891-1 is not prime. Res64: A3972ADC695BFE06 Time : 558.0 sec. user=vaughan [2009-08-10 19:57:09] 797*2^709890-1 is not prime. Res64: BABA278288298A7F Time : 958.0 sec. user=vaughan [2009-08-10 19:59:19] 783*2^709891-1 is not prime. Res64: CBBE91537A948E99 Time : 586.0 sec. user=vaughan [2009-08-10 19:59:30] 693*2^709892-1 is not prime. Res64: 96418A77CEB12677 Time : 589.0 sec. user=vaughan [2009-08-10 20:01:12] 703*2^709891-1 is not prime. Res64: 685DC18F83F63FDA Time : 700.0 sec. user=vaughan [2009-08-10 20:01:29] 657*2^709893-1 is not prime. Res64: C0766801B4A46F73 Time : 588.0 sec. user=vaughan [2009-08-10 20:02:06] 717*2^709892-1 is not prime. Res64: 57885F65D51C0AED Time : 738.0 sec. user=vaughan [2009-08-10 20:05:06] 717*2^709896-1 is not prime. Res64: 41035481D13A208E Time : 556.0 sec. user=vaughan [2009-08-10 20:05:44] 681*2^709894-1 is not prime. Res64: 54061FB1F958F2E3 Time : 744.0 sec. user=vaughan [2009-08-10 20:07:09] 605*2^709894-1 is not prime. Res64: BA420BEBFA2F0075 Time : 852.0 sec. user=vaughan [2009-08-10 20:07:17] 723*2^709894-1 is not prime. Res64: 97DFABBD06E258C5 Time : 725.0 sec. user=vaughan [2009-08-10 20:08:30] 747*2^709893-1 is not prime. Res64: B9E05221729BE9E5 Time : 1002.0 sec. user=vaughan [2009-08-10 20:09:02] 777*2^709897-1 is not prime. Res64: A476936A3A196F32 Time : 583.0 sec. user=vaughan [2009-08-10 20:09:14] 633*2^709898-1 is not prime. Res64: BC8CACBD675B308C Time : 584.0 sec. user=vaughan [2009-08-10 20:10:22] 781*2^709893-1 is not prime. Res64: FEC6EFEC7031C9E0 Time : 1088.0 sec. user=vaughan [2009-08-10 20:11:11] 657*2^709898-1 is not prime. Res64: D03AE3C0ACBA52C1 Time : 582.0 sec. user=tnerual [2009-08-10 20:12:40] 625*2^709891-1 is not prime. Res64: D93CDB901F204DE1 Time : 1829.0 sec. user=vaughan [2009-08-10 20:12:59] 651*2^709898-1 is not prime. Res64: E55E2D72A8144F1E Time : 707.0 sec. user=vaughan [2009-08-10 20:13:08] 775*2^709897-1 is not prime. Res64: 95D654C2796E6B06 Time : 959.0 sec. user=vaughan [2009-08-10 20:14:16] 743*2^709898-1 is not prime. Res64: 0842EC96C1E960D0 Time : 551.0 sec. user=vaughan [2009-08-10 20:14:25] 705*2^709898-1 is not prime. Res64: C9596ACAB015A9D0 Time : 739.0 sec. user=vaughan [2009-08-10 20:17:41] 639*2^709899-1 is not prime. Res64: 0D4FC625F10255E1 Time : 717.0 sec. user=vaughan [2009-08-10 20:18:58] 687*2^709900-1 is not prime. Res64: C05328BD9A200473 Time : 597.0 sec. user=vaughan [2009-08-10 20:19:15] 757*2^709901-1 is not prime. Res64: 72CD964A8E4C2401 Time : 601.0 sec. user=vaughan [2009-08-10 20:19:20] 741*2^709899-1 is not prime. Res64: 9FB9FBAFBC40677F Time : 723.0 sec. user=vaughan [2009-08-10 20:20:47] 679*2^709899-1 is not prime. Res64: 3B180F870BD80D60 Time : 818.0 sec. user=vaughan [2009-08-10 20:21:19] 767*2^709902-1 is not prime. Res64: E9C41D549280F4CF Time : 608.0 sec. user=vaughan [2009-08-10 20:24:03] 685*2^709905-1 is not prime. Res64: B79F37B2EA1B09E3 Time : 587.0 sec. user=vaughan [2009-08-10 20:24:44] 605*2^709900-1 is not prime. Res64: 73C7F612C20B062A Time : 975.0 sec. user=vaughan [2009-08-10 20:25:09] 705*2^709903-1 is not prime. Res64: 163830811F14D044 Time : 730.0 sec. user=vaughan [2009-08-10 20:26:34] 705*2^709905-1 is not prime. Res64: 900641BD7F269A75 Time : 730.0 sec. user=vaughan [2009-08-10 20:28:04] 793*2^709903-1 is not prime. Res64: ECD1BF9E30865DAB Time : 896.0 sec. user=vaughan [2009-08-10 20:29:20] 727*2^709905-1 is not prime. Res64: 206DFC75569418D8 Time : 700.0 sec. user=vaughan [2009-08-10 20:29:21] 739*2^709905-1 is not prime. Res64: 3A8439392595C254 Time : 623.0 sec. user=vaughan [2009-08-10 20:29:43] 789*2^709905-1 is not prime. Res64: C8D5684EEEF10891 Time : 628.0 sec. user=vaughan [2009-08-10 20:31:24] 651*2^709906-1 is not prime. Res64: 774D86A394DEA0A3 Time : 725.0 sec. user=vaughan [2009-08-10 20:31:33] 723*2^709906-1 is not prime. Res64: 20F1971F04A057CB Time : 614.0 sec. user=vaughan [2009-08-10 20:31:46] 789*2^709901-1 is not prime. Res64: 8C342A007F20894A Time : 1285.0 sec. user=vaughan [2009-08-10 20:33:15] 657*2^709906-1 is not prime. Res64: 0FC2DB672F61B025 Time : 748.0 sec. user=vaughan [2009-08-10 20:33:30] 735*2^709906-1 is not prime. Res64: EC50F8A2C8020D05 Time : 568.0 sec. user=vaughan [2009-08-10 20:37:23] 643*2^709907-1 is not prime. Res64: DCF5479B69072A65 Time : 734.0 sec. user=vaughan [2009-08-10 20:38:49] 759*2^709907-1 is not prime. Res64: 62D00F63A3CC54B7 Time : 735.0 sec. user=vaughan [2009-08-10 20:39:16] 721*2^709909-1 is not prime. Res64: 7DEC957F95C7BBE4 Time : 595.0 sec. user=vaughan [2009-08-10 20:39:35] 769*2^709909-1 is not prime. Res64: CFE4A5069F165082 Time : 592.0 sec. user=vaughan [2009-08-10 20:40:44] 777*2^709906-1 is not prime. Res64: 02C530C0DD838224 Time : 960.0 sec. user=vaughan [2009-08-10 20:40:55] 667*2^709909-1 is not prime. Res64: 08CF963B49927EB1 Time : 695.0 sec. user=vaughan [2009-08-10 20:41:21] 789*2^709909-1 is not prime. Res64: AC7F523403270151 Time : 589.0 sec. user=vaughan [2009-08-10 20:42:46] 643*2^709911-1 is not prime. Res64: E8992FE2418B4A48 Time : 556.0 sec. user=tnerual [2009-08-10 20:43:04] 797*2^709902-1 is not prime. Res64: 8C98D347BD5B9B37 Time : 1824.0 sec. user=vaughan [2009-08-10 20:43:23] 771*2^709909-1 is not prime. Res64: 5326CAA39479C10B Time : 719.0 sec. user=vaughan [2009-08-10 20:43:43] 767*2^709908-1 is not prime. Res64: 076F04F11572E9F0 Time : 939.0 sec. user=vaughan [2009-08-10 20:48:06] 761*2^709910-1 is not prime. Res64: FE6437E3055DB15A Time : 891.0 sec. user=vaughan [2009-08-10 20:48:53] 657*2^709912-1 is not prime. Res64: 1B91A72048F9DB31 Time : 578.0 sec. user=vaughan [2009-08-10 20:49:12] 713*2^709912-1 is not prime. Res64: BCAACB83D755122D Time : 578.0 sec. user=vaughan [2009-08-10 20:49:33] 691*2^709911-1 is not prime. Res64: 77645D8E460E42C3 Time : 731.0 sec. user=vaughan [2009-08-10 20:50:52] 755*2^709910-1 is not prime. Res64: E524FC5F6FA980C3 Time : 1146.0 sec. user=vaughan [2009-08-10 20:50:55] 637*2^709913-1 is not prime. Res64: 2FFAD0E1D247DC4F Time : 574.0 sec. user=vaughan [2009-08-10 20:50:59] 781*2^709911-1 is not prime. Res64: 64662D8EC046A790 Time : 730.0 sec. user=vaughan [2009-08-10 20:52:07] 675*2^709913-1 is not prime. Res64: 3C2AFA71C045E7FE Time : 561.0 sec. user=vaughan [2009-08-10 20:52:27] 627*2^709913-1 is not prime. Res64: 678F4D633507D80D Time : 692.0 sec. user=vaughan [2009-08-10 20:55:23] 721*2^709913-1 is not prime. Res64: 1DB3574342AB42DB Time : 720.0 sec. user=vaughan [2009-08-10 20:57:52] 785*2^709912-1 is not prime. Res64: B70B5B782D3754F2 Time : 1028.0 sec. user=vaughan [2009-08-10 20:59:21] 711*2^709914-1 is not prime. Res64: 4C2A95F066EDC5A9 Time : 628.0 sec. user=vaughan [2009-08-10 20:59:31] 633*2^709914-1 is not prime. Res64: B324E1DF725EEF40 Time : 949.0 sec. user=vaughan [2009-08-10 20:59:44] 657*2^709916-1 is not prime. Res64: BA98596F9FE2925D Time : 633.0 sec. user=vaughan [2009-08-10 21:00:15] 705*2^709914-1 is not prime. Res64: B57A5276170839A8 Time : 729.0 sec. user=vaughan [2009-08-10 21:01:37] 755*2^709916-1 is not prime. Res64: 1DEF29DDC76966C4 Time : 642.0 sec. user=vaughan [2009-08-10 21:01:44] 699*2^709916-1 is not prime. Res64: AA662A86D4A6289E Time : 731.0 sec. user=vaughan [2009-08-10 21:01:51] 601*2^709917-1 is not prime. Res64: 6AB717938959C4BC Time : 585.0 sec. user=vaughan [2009-08-10 21:03:12] 767*2^709916-1 is not prime. Res64: 43CBACA913819087 Time : 734.0 sec. user=vaughan [2009-08-10 21:04:09] 691*2^709917-1 is not prime. Res64: 238BE7649CBF77C2 Time : 702.0 sec. user=vaughan [2009-08-10 21:05:32] 725*2^709916-1 is not prime. Res64: 2294447BCC82A39F Time : 880.0 sec. user=vaughan [2009-08-10 21:07:26] 623*2^709918-1 is not prime. Res64: 6DC9C7DB09A5E3EB Time : 723.0 sec. user=vaughan [2009-08-10 21:09:58] 747*2^709918-1 is not prime. Res64: A869081101C07555 Time : 637.0 sec. user=vaughan [2009-08-10 21:10:14] 669*2^709919-1 is not prime. Res64: 5B5D74F3D4DD11C2 Time : 630.0 sec. user=vaughan [2009-08-10 21:11:32] 629*2^709920-1 is not prime. Res64: B0D7031226A7766E Time : 581.0 sec. user=vaughan [2009-08-10 21:12:07] 745*2^709919-1 is not prime. Res64: 1E9C08A580C78618 Time : 630.0 sec. user=vaughan [2009-08-10 21:12:17] 703*2^709919-1 is not prime. Res64: 368910D9C5EA63D9 Time : 722.0 sec. user=tnerual [2009-08-10 21:13:25] 691*2^709913-1 is not prime. Res64: 08A4CE0FCB3E39D1 Time : 1821.0 sec. user=vaughan [2009-08-10 21:13:56] 753*2^709919-1 is not prime. Res64: F3656226D1E3C781 Time : 732.0 sec. user=vaughan [2009-08-10 21:14:44] 647*2^709918-1 is not prime. Res64: 3BFDF5E93CF76D7A Time : 1012.0 sec. user=vaughan [2009-08-10 21:15:26] 693*2^709920-1 is not prime. Res64: 2EA772FFF53B2CCF Time : 735.0 sec. user=vaughan [2009-08-10 21:15:32] 661*2^709919-1 is not prime. Res64: 24F8394FDAFE8285 Time : 961.0 sec. user=vaughan [2009-08-10 21:15:59] 759*2^709920-1 is not prime. Res64: 04704B5A1D61B366 Time : 710.0 sec. user=vaughan [2009-08-10 21:17:40] 619*2^709921-1 is not prime. Res64: 5212776FD67E65BB Time : 728.0 sec. user=vaughan [2009-08-10 21:19:30] 639*2^709921-1 is not prime. Res64: D7DE895463F34E40 Time : 724.0 sec. user=vaughan [2009-08-10 21:20:21] 717*2^709921-1 is not prime. Res64: EBD4D93433F3010E Time : 623.0 sec. user=vaughan [2009-08-10 21:20:39] 799*2^709921-1 is not prime. Res64: A8B01591291DB76D Time : 625.0 sec. user=vaughan [2009-08-10 21:21:08] 615*2^709922-1 is not prime. Res64: A1946188DB383186 Time : 576.0 sec. user=vaughan [2009-08-10 21:22:29] 633*2^709922-1 is not prime. Res64: BC68AFE06114A241 Time : 622.0 sec. user=vaughan [2009-08-10 21:24:20] 635*2^709922-1 is not prime. Res64: C01AF3667166E09D Time : 723.0 sec. user=vaughan [2009-08-10 21:25:35] 625*2^709923-1 is not prime. Res64: 795C1E6D5F7E319D Time : 699.0 sec. user=vaughan [2009-08-10 21:27:46] 657*2^709924-1 is not prime. Res64: 2DC6988274BE23D2 Time : 740.0 sec. user=vaughan [2009-08-10 21:28:21] 717*2^709924-1 is not prime. Res64: B375E3F4D8B5EC59 Time : 742.0 sec. user=vaughan [2009-08-10 21:29:47] 743*2^709924-1 is not prime. Res64: 5F83FC19935B3C45 Time : 727.0 sec. user=vaughan [2009-08-10 21:30:42] 627*2^709925-1 is not prime. Res64: DF4E0A402F7F890B Time : 621.0 sec. user=vaughan [2009-08-10 21:30:43] 717*2^709925-1 is not prime. Res64: 3DC67706C009684C Time : 575.0 sec. user=vaughan [2009-08-10 21:30:58] 679*2^709925-1 is not prime. Res64: B26615287BFB43C0 Time : 620.0 sec. user=vaughan [2009-08-10 21:31:20] 649*2^709923-1 is not prime. Res64: 773AAF2EB9654AE3 Time : 996.0 sec. user=vaughan [2009-08-10 21:31:28] 677*2^709924-1 is not prime. Res64: BB0EE8CEB32C3ADF Time : 956.0 sec. user=vaughan [2009-08-10 21:31:35] 759*2^709924-1 is not prime. Res64: D02E01691A3328AD Time : 725.0 sec. user=vaughan [2009-08-10 21:33:00] 727*2^709925-1 is not prime. Res64: F35B7503B7BA3A57 Time : 631.0 sec. user=vaughan [2009-08-10 21:36:21] 757*2^709925-1 is not prime. Res64: 6ED6D82CDBBF0E62 Time : 721.0 sec. user=vaughan [2009-08-10 21:37:13] 759*2^709925-1 is not prime. Res64: 646E9C916A325AE0 Time : 698.0 sec. user=vaughan [2009-08-10 21:40:04] 787*2^709925-1 is not prime. Res64: E6C1FEC718BC483C Time : 739.0 sec. user=vaughan [2009-08-10 21:40:14] 725*2^709926-1 is not prime. Res64: 030BBDC1371925A6 Time : 571.0 sec. user=vaughan [2009-08-10 21:40:42] 683*2^709926-1 is not prime. Res64: 0327BD8D0D731DB1 Time : 741.0 sec. user=vaughan [2009-08-10 21:41:06] 717*2^709926-1 is not prime. Res64: 29D1A0B654FEA300 Time : 625.0 sec. user=vaughan [2009-08-10 21:41:21] 747*2^709926-1 is not prime. Res64: 9BB5DF96D7A45A97 Time : 623.0 sec. user=vaughan [2009-08-10 21:41:55] 711*2^709926-1 is not prime. Res64: 84AA6E3E48715EBA Time : 728.0 sec. user=vaughan [2009-08-10 21:43:26] 715*2^709927-1 is not prime. Res64: FDAB7595F8F5EF73 Time : 626.0 sec. user=vaughan [2009-08-10 21:43:40] 673*2^709927-1 is not prime. Res64: B0D83E50B8C23F70 Time : 725.0 sec. user=vaughan [2009-08-10 21:46:09] 645*2^709927-1 is not prime. Res64: 412A1F0C6E493A97 Time : 882.0 sec. user=tnerual [2009-08-10 21:46:24] 671*2^709922-1 is not prime. Res64: CF2159970F2F89F3 Time : 1980.0 sec. user=vaughan [2009-08-10 21:46:28] 619*2^709927-1 is not prime. Res64: 62034FAE13370363 Time : 908.0 sec. user=vaughan [2009-08-10 21:48:26] 603*2^709928-1 is not prime. Res64: 7335C4815BD75D85 Time : 725.0 sec. user=vaughan [2009-08-10 21:48:55] 629*2^709928-1 is not prime. Res64: 0A71AC801BD42FA4 Time : 702.0 sec. user=vaughan [2009-08-10 21:49:46] 687*2^709928-1 is not prime. Res64: A73A12CCE5081694 Time : 572.0 sec. user=vaughan [2009-08-10 21:51:32] 625*2^709929-1 is not prime. Res64: 06163F18027ADD3B Time : 626.0 sec. user=vaughan [2009-08-10 21:51:50] 667*2^709929-1 is not prime. Res64: 2A828EF1C74BD34B Time : 629.0 sec. user=vaughan [2009-08-10 21:52:32] 633*2^709928-1 is not prime. Res64: C46DAE8057314669 Time : 749.0 sec. user=vaughan [2009-08-10 21:52:49] 601*2^709929-1 is not prime. Res64: 6796E64901FE8C35 Time : 727.0 sec. user=vaughan [2009-08-10 21:53:52] 727*2^709929-1 is not prime. Res64: 677D6D6F15E86AD2 Time : 626.0 sec. user=vaughan [2009-08-10 21:54:03] 711*2^709929-1 is not prime. Res64: 27D5ECFC190C78DA Time : 728.0 sec. user=vaughan [2009-08-10 21:55:51] 747*2^709929-1 is not prime. Res64: 8991D10AA4963FA9 Time : 732.0 sec. user=vaughan [2009-08-10 21:59:19] 605*2^709932-1 is not prime. Res64: AA826A2ECA188C8E Time : 573.0 sec. user=vaughan [2009-08-10 22:00:29] 755*2^709930-1 is not prime. Res64: EDA0E75C3C6CEFD2 Time : 723.0 sec. user=vaughan [2009-08-10 22:00:34] 631*2^709931-1 is not prime. Res64: AC0C276A66D7F0D8 Time : 700.0 sec. user=vaughan [2009-08-10 22:01:10] 765*2^709929-1 is not prime. Res64: DF1AB3AAC0A49729 Time : 901.0 sec. user=vaughan [2009-08-10 22:01:53] 663*2^709930-1 is not prime. Res64: E692F5EA0F03F5E2 Time : 926.0 sec. user=vaughan [2009-08-10 22:01:58] 723*2^709932-1 is not prime. Res64: 6FBA8453C9083973 Time : 626.0 sec. user=vaughan [2009-08-10 22:02:12] 619*2^709933-1 is not prime. Res64: DB2635F96D2815B8 Time : 623.0 sec. user=vaughan [2009-08-10 22:04:22] 769*2^709933-1 is not prime. Res64: D1AB99BC3073E511 Time : 630.0 sec. user=vaughan [2009-08-10 22:04:27] 675*2^709933-1 is not prime. Res64: D1B254259BFBF19D Time : 699.0 sec. user=vaughan [2009-08-10 22:05:12] 651*2^709933-1 is not prime. Res64: 3A6DA298B46250F6 Time : 760.0 sec. user=vaughan [2009-08-10 22:06:11] 771*2^709933-1 is not prime. Res64: DEC7638B68D5A823 Time : 728.0 sec. user=vaughan [2009-08-10 22:08:04] 685*2^709935-1 is not prime. Res64: 02114E898C93FC7A Time : 733.0 sec. user=vaughan [2009-08-10 22:08:51] 693*2^709935-1 is not prime. Res64: 83C1C169B4166DB0 Time : 572.0 sec. user=vaughan [2009-08-10 22:12:16] 783*2^709935-1 is not prime. Res64: 773B6874D3BBEE95 Time : 702.0 sec. user=vaughan [2009-08-10 22:12:28] 629*2^709936-1 is not prime. Res64: 5B7C276294DB5DB2 Time : 630.0 sec. user=vaughan [2009-08-10 22:12:33] 723*2^709935-1 is not prime. Res64: A12FC47F126D5A82 Time : 724.0 sec. user=vaughan [2009-08-10 22:12:43] 645*2^709936-1 is not prime. Res64: 75BFD4546E9C53E6 Time : 631.0 sec. user=vaughan [2009-08-10 22:14:44] 653*2^709936-1 is not prime. Res64: 9B08AFB707B06BD3 Time : 622.0 sec. user=vaughan [2009-08-10 22:16:07] 777*2^709936-1 is not prime. Res64: BD2918B951B4EC4E Time : 700.0 sec. user=vaughan [2009-08-10 22:16:44] 789*2^709935-1 is not prime. Res64: CDFD826315F1403C Time : 935.0 sec. user=vaughan [2009-08-10 22:17:54] 637*2^709937-1 is not prime. Res64: F7027AFEDBFAC7B7 Time : 762.0 sec. user=vaughan [2009-08-10 22:18:11] 609*2^709936-1 is not prime. Res64: 60568AAB569A6475 Time : 978.0 sec. user=vaughan [2009-08-10 22:18:17] 685*2^709937-1 is not prime. Res64: 441D918F1CC70946 Time : 726.0 sec. user=vaughan [2009-08-10 22:18:25] 683*2^709938-1 is not prime. Res64: 26B2BA118A0BA374 Time : 574.0 sec. user=tnerual [2009-08-10 22:19:54] 645*2^709930-1 is not prime. Res64: 5F417FC63DF6C2F3 Time : 2010.0 sec. user=vaughan [2009-08-10 22:20:16] 663*2^709938-1 is not prime. Res64: 87F8BD612B48376E Time : 732.0 sec. user=vaughan [2009-08-10 22:22:55] 631*2^709939-1 is not prime. Res64: 13B1CA57C74A86B8 Time : 627.0 sec. user=vaughan [2009-08-10 22:23:14] 765*2^709939-1 is not prime. Res64: 836315ACD80B5220 Time : 631.0 sec. user=vaughan [2009-08-10 22:23:57] 609*2^709939-1 is not prime. Res64: 323854B0D9113A9A Time : 701.0 sec. user=vaughan [2009-08-10 22:24:36] 741*2^709939-1 is not prime. Res64: FD592F8B9C278858 Time : 723.0 sec. user=vaughan [2009-08-10 22:25:14] 735*2^709940-1 is not prime. Res64: B64DAD078CDD32BA Time : 630.0 sec. user=vaughan [2009-08-10 22:27:57] 777*2^709942-1 is not prime. Res64: 5A77C32DB9577958 Time : 573.0 sec. user=vaughan [2009-08-10 22:28:04] 691*2^709941-1 is not prime. Res64: 4B7C52B9CD037316 Time : 717.0 sec. user=vaughan [2009-08-10 22:30:27] 741*2^709942-1 is not prime. Res64: 37EB8E328E0B6932 Time : 730.0 sec. user=vaughan [2009-08-10 22:31:01] 621*2^709942-1 is not prime. Res64: C0445EFFDEDE9686 Time : 788.0 sec. user=vaughan [2009-08-10 22:31:33] 717*2^709941-1 is not prime. Res64: F6E76412FC1019A1 Time : 889.0 sec. user=vaughan [2009-08-10 22:32:59] 663*2^709943-1 is not prime. Res64: 7F3F5DC459482F7D Time : 605.0 sec. user=vaughan [2009-08-10 22:33:17] 643*2^709943-1 is not prime. Res64: 1B0DA85AF161197A Time : 781.0 sec. user=vaughan [2009-08-10 22:33:23] 663*2^709944-1 is not prime. Res64: 4C8018486E878592 Time : 609.0 sec. user=vaughan [2009-08-10 22:33:35] 681*2^709942-1 is not prime. Res64: 002B11E73BD6E8B5 Time : 924.0 sec. user=vaughan [2009-08-10 22:35:11] 607*2^709945-1 is not prime. Res64: 35BD8C0D9010986E Time : 597.0 sec. user=vaughan [2009-08-10 22:36:36] 773*2^709944-1 is not prime. Res64: E9FAE2003762CDC0 Time : 720.0 sec. user=vaughan [2009-08-10 22:36:37] 683*2^709944-1 is not prime. Res64: 8C3DAF4EF21DA806 Time : 760.0 sec. user=vaughan [2009-08-10 22:37:12] 625*2^709945-1 is not prime. Res64: E59BDC612CDB5604 Time : 555.0 sec. user=vaughan [2009-08-10 22:40:41] 645*2^709945-1 is not prime. Res64: 6F49A48C782F090E Time : 757.0 sec. user=vaughan [2009-08-10 22:42:32] 713*2^709946-1 is not prime. Res64: 861F36082F8541B8 Time : 574.0 sec. user=vaughan [2009-08-10 22:42:36] 651*2^709945-1 is not prime. Res64: 9CD4B4FE6DB71FCE Time : 729.0 sec. user=vaughan [2009-08-10 22:42:55] 773*2^709946-1 is not prime. Res64: 8052B37E95006EAD Time : 572.0 sec. user=vaughan [2009-08-10 22:44:41] 685*2^709947-1 is not prime. Res64: 8822FDE4D7353486 Time : 570.0 sec. user=vaughan [2009-08-10 22:44:46] 627*2^709946-1 is not prime. Res64: FBE4B35A7312DC55 Time : 825.0 sec. user=vaughan [2009-08-10 22:46:19] 781*2^709947-1 is not prime. Res64: 2A80B7094233728F Time : 547.0 sec. user=vaughan [2009-08-10 22:46:46] 741*2^709946-1 is not prime. Res64: 96ED8E12A8408610 Time : 810.0 sec. user=vaughan [2009-08-10 22:47:51] 677*2^709946-1 is not prime. Res64: A982B33918BB97DB Time : 979.0 sec. user=vaughan [2009-08-10 22:48:45] 705*2^709947-1 is not prime. Res64: 012F98D1EB4B728B Time : 729.0 sec. user=vaughan [2009-08-10 22:49:22] 739*2^709947-1 is not prime. Res64: 35BD98BEE2F06B53 Time : 765.0 sec. user=tnerual [2009-08-10 22:50:14] 633*2^709943-1 is not prime. Res64: B438312D6DC356DD Time : 1820.0 sec. user=vaughan [2009-08-10 22:50:28] 651*2^709947-1 is not prime. Res64: D4AD24CB3BD908C6 Time : 1014.0 sec. user=vaughan [2009-08-10 22:51:58] 707*2^709948-1 is not prime. Res64: FAC22C9A8F2E5DAC Time : 566.0 sec. user=vaughan [2009-08-10 22:52:21] 619*2^709949-1 is not prime. Res64: FDD17F657B3FEF92 Time : 566.0 sec. user=vaughan [2009-08-10 22:53:20] 793*2^709947-1 is not prime. Res64: 21C8B33A1D299B0E Time : 759.0 sec. user=vaughan [2009-08-10 22:54:08] 675*2^709949-1 is not prime. Res64: 084FFCA6413DB5E7 Time : 567.0 sec. user=vaughan [2009-08-10 22:55:05] 615*2^709949-1 is not prime. Res64: 61ECB7E8822D10DD Time : 749.0 sec. user=vaughan [2009-08-10 22:55:26] 769*2^709949-1 is not prime. Res64: 31A3F4F02D9B3BEA Time : 547.0 sec. user=vaughan [2009-08-10 22:58:37] 745*2^709949-1 is not prime. Res64: C7DDD6CDC3203093 Time : 831.0 sec. user=vaughan [2009-08-10 23:00:23] 787*2^709949-1 is not prime. Res64: E75886817F316A1B Time : 817.0 sec. user=vaughan [2009-08-10 23:01:28] 651*2^709951-1 is not prime. Res64: 28C571671506372F Time : 570.0 sec. user=vaughan [2009-08-10 23:01:49] 663*2^709951-1 is not prime. Res64: 6FF36AFFE3800228 Time : 568.0 sec. user=vaughan [2009-08-10 23:02:13] 627*2^709950-1 is not prime. Res64: A2E49E058F930152 Time : 808.0 sec. user=vaughan [2009-08-10 23:02:14] 665*2^709950-1 is not prime. Res64: 5BF5DB8045D1CD3F Time : 772.0 sec. user=vaughan [2009-08-10 23:03:36] 675*2^709951-1 is not prime. Res64: 8497EC0D5AE00BF5 Time : 569.0 sec. user=vaughan [2009-08-10 23:03:42] 789*2^709949-1 is not prime. Res64: F5A2F3B60CDEE502 Time : 951.0 sec. user=vaughan [2009-08-10 23:04:35] 795*2^709953-1 is not prime. Res64: CAF6588F1B0079C6 Time : 549.0 sec. user=vaughan [2009-08-10 23:06:04] 673*2^709951-1 is not prime. Res64: 6F2B81F2C8079108 Time : 765.0 sec. user=vaughan [2009-08-10 23:07:01] 797*2^709950-1 is not prime. Res64: A7B4DE0C16341A2B Time : 993.0 sec. user=vaughan [2009-08-10 23:10:56] 741*2^709954-1 is not prime. Res64: 69C1CB76AFB14A75 Time : 569.0 sec. user=vaughan [2009-08-10 23:11:16] 791*2^709954-1 is not prime. Res64: EF5DBF1044E34983 Time : 568.0 sec. user=vaughan [2009-08-10 23:12:23] 675*2^709953-1 is not prime. Res64: 7CB37CDE8945DCC4 Time : 1038.0 sec. user=vaughan [2009-08-10 23:12:32] 605*2^709954-1 is not prime. Res64: 7BAEB4CAEC3E6EEF Time : 836.0 sec. user=vaughan [2009-08-10 23:13:04] 669*2^709956-1 is not prime. Res64: D58A77DA75EFC4DB Time : 569.0 sec. user=vaughan [2009-08-10 23:13:42] 725*2^709956-1 is not prime. Res64: EEFC62766361101E Time : 547.0 sec. user=vaughan [2009-08-10 23:13:52] 687*2^709954-1 is not prime. Res64: E634D03C23ED5421 Time : 809.0 sec. user=vaughan [2009-08-10 23:15:06] 693*2^709955-1 is not prime. Res64: 83AE76278B82D550 Time : 772.0 sec. user=vaughan [2009-08-10 23:16:03] 643*2^709955-1 is not prime. Res64: B9B0D1028A6B2A52 Time : 830.0 sec. user=vaughan [2009-08-10 23:18:56] 759*2^709956-1 is not prime. Res64: E1C429CB0AB70228 Time : 772.0 sec. user=vaughan [2009-08-10 23:19:33] 705*2^709956-1 is not prime. Res64: 9B168CAC690938D1 Time : 951.0 sec. user=vaughan [2009-08-10 23:20:23] 779*2^709956-1 is not prime. Res64: B4CD4381E7D2178B Time : 568.0 sec. user=tnerual [2009-08-10 23:20:30] 741*2^709950-1 is not prime. Res64: 52B2AB531C037764 Time : 1816.0 sec. user=vaughan [2009-08-10 23:20:45] 609*2^709957-1 is not prime. Res64: FB8A33E333CB4E7B Time : 570.0 sec. user=vaughan [2009-08-10 23:22:32] 729*2^709957-1 is not prime. Res64: BE8901EB7EC8713A Time : 569.0 sec. user=vaughan [2009-08-10 23:22:50] 757*2^709957-1 is not prime. Res64: AC68F918953BDE63 Time : 548.0 sec. user=vaughan [2009-08-10 23:24:00] 767*2^709956-1 is not prime. Res64: 2390E9786330294C Time : 1019.0 sec. user=vaughan [2009-08-10 23:26:25] 727*2^709957-1 is not prime. Res64: 843956FB73B606CE Time : 833.0 sec. user=vaughan [2009-08-10 23:27:15] 755*2^709958-1 is not prime. Res64: A9ED788DA9EE60E0 Time : 803.0 sec. user=vaughan [2009-08-10 23:27:56] 761*2^709958-1 is not prime. Res64: CE390E34632B5C4A Time : 770.0 sec. user=vaughan [2009-08-10 23:28:39] 791*2^709958-1 is not prime. Res64: F04F4378B83D2436 Time : 756.0 sec. user=vaughan [2009-08-10 23:29:50] 789*2^709959-1 is not prime. Res64: A2EDB953416A8E75 Time : 568.0 sec. user=vaughan [2009-08-10 23:30:15] 675*2^709961-1 is not prime. Res64: 01E5E924B5BF6F23 Time : 571.0 sec. user=vaughan [2009-08-10 23:31:38] 685*2^709959-1 is not prime. Res64: 35DA102777FBE76E Time : 762.0 sec. user=vaughan [2009-08-10 23:31:59] 769*2^709961-1 is not prime. Res64: C8CE068711857D49 Time : 549.0 sec. user=vaughan [2009-08-10 23:32:00] 697*2^709961-1 is not prime. Res64: EE2BE0F45A919159 Time : 569.0 sec. user=vaughan [2009-08-10 23:33:31] 687*2^709957-1 is not prime. Res64: A974FDBA0389E128 Time : 1268.0 sec. user=vaughan [2009-08-10 23:34:56] 693*2^709959-1 is not prime. Res64: B35A2A5339719FF2 Time : 923.0 sec. user=vaughan [2009-08-10 23:39:18] 605*2^709964-1 is not prime. Res64: 050828CCC289FA6B Time : 568.0 sec. user=vaughan [2009-08-10 23:39:43] 675*2^709964-1 is not prime. Res64: 62382C25E3DDD7F4 Time : 568.0 sec. user=vaughan [2009-08-10 23:40:17] 691*2^709963-1 is not prime. Res64: EE54C99FD132D02C Time : 832.0 sec. user=vaughan [2009-08-10 23:40:42] 705*2^709962-1 is not prime. Res64: 53E3A62936426FE5 Time : 1002.0 sec. user=vaughan [2009-08-10 23:40:42] 709*2^709963-1 is not prime. Res64: 2438F7779C17B75D Time : 807.0 sec. user=vaughan [2009-08-10 23:40:54] 735*2^709963-1 is not prime. Res64: 83448F66931F5587 Time : 778.0 sec. user=vaughan [2009-08-10 23:41:09] 741*2^709963-1 is not prime. Res64: F2261C06AB6FEFA3 Time : 750.0 sec. user=vaughan [2009-08-10 23:41:10] 711*2^709965-1 is not prime. Res64: 0BDED29EC29E9C47 Time : 551.0 sec. user=vaughan [2009-08-10 23:41:35] 765*2^709965-1 is not prime. Res64: 286C05F042097824 Time : 575.0 sec. user=vaughan [2009-08-10 23:44:24] 655*2^709965-1 is not prime. Res64: C61C13F465197AD7 Time : 766.0 sec. user=vaughan [2009-08-10 23:49:15] 747*2^709966-1 is not prime. Res64: F7499A9A0A8F9A8C Time : 597.0 sec. user=vaughan [2009-08-10 23:49:33] 723*2^709966-1 is not prime. Res64: A1A4C166403CB4FC Time : 877.0 sec. user=vaughan [2009-08-10 23:49:39] 765*2^709966-1 is not prime. Res64: 9C40B739B9C052B9 Time : 596.0 sec. user=vaughan [2009-08-10 23:50:32] 789*2^709968-1 is not prime. Res64: 5E126C0785E9866B Time : 562.0 sec. user=vaughan [2009-08-10 23:51:28] 705*2^709969-1 is not prime. Res64: 415F6EB0AE296C7F Time : 593.0 sec. user=tnerual [2009-08-10 23:52:17] 675*2^709960-1 is not prime. Res64: 01F753EA30E8089C Time : 1907.0 sec. user=vaughan [2009-08-10 23:53:55] 747*2^709968-1 is not prime. Res64: 86D0B737FA070EE7 Time : 782.0 sec. user=vaughan [2009-08-10 23:54:02] 715*2^709967-1 is not prime. Res64: 4712D1F819ED5C56 Time : 826.0 sec. user=vaughan [2009-08-10 23:54:08] 773*2^709968-1 is not prime. Res64: 9AF191FD0FBF0805 Time : 779.0 sec. user=vaughan [2009-08-10 23:54:11] 775*2^709967-1 is not prime. Res64: 94E8F02655962ABD Time : 809.0 sec. user=vaughan [2009-08-10 23:54:35] 735*2^709967-1 is not prime. Res64: A02F9BCE8A5A2ABF Time : 833.0 sec. user=vaughan [2009-08-10 23:55:03] 603*2^709966-1 is not prime. Res64: 0019AF71C76AD0C1 Time : 1292.0 sec. user=vaughan [2009-08-10 23:57:09] 669*2^709971-1 is not prime. Res64: 56DFF33D2561BEF0 Time : 766.0 sec. user=vaughan [2009-08-10 23:59:10] 705*2^709971-1 is not prime. Res64: 2AABF86E8A93D03D Time : 596.0 sec. user=vaughan [2009-08-10 23:59:36] 735*2^709971-1 is not prime. Res64: E0B3163DC9FBC75A Time : 597.0 sec. user=vaughan [2009-08-10 23:59:54] 741*2^709971-1 is not prime. Res64: B0D696F54B3B227D Time : 563.0 sec.