user=vaughan [2011-05-07 00:07:06] 983*2^937906-1 is not prime. Res64: 41A9A356A6BB7B0B Time : 1630.0 sec. user=vaughan [2011-05-07 00:13:32] 999*2^937905-1 is not prime. Res64: 1431584ED0119DEC Time : 3054.0 sec. user=vaughan [2011-05-07 00:18:13] 843*2^937907-1 is not prime. Res64: 0EBD32BCEF53F16D Time : 1672.0 sec. user=vaughan [2011-05-07 00:19:43] 901*2^937907-1 is not prime. Res64: A2419F4FB402A343 Time : 1726.0 sec. user=vaughan [2011-05-07 00:20:47] 861*2^937906-1 is not prime. Res64: 7905E2ABE1A279B1 Time : 3209.0 sec. user=vaughan [2011-05-07 00:21:04] 881*2^937906-1 is not prime. Res64: 6DB69B61047377C7 Time : 3210.0 sec. user=vaughan [2011-05-07 00:25:09] 955*2^937907-1 is not prime. Res64: EEE009D882FA076B Time : 1661.0 sec. user=vaughan [2011-05-07 00:35:24] 979*2^937907-1 is not prime. Res64: 5A63032F111DFD8F Time : 1698.0 sec. user=vaughan [2011-05-07 00:37:33] 949*2^937907-1 is not prime. Res64: 7607E5E4C4AB79CA Time : 2695.0 sec. user=vaughan [2011-05-07 00:45:25] 819*2^937908-1 is not prime. Res64: 98F3D879557EF2D9 Time : 1633.0 sec. user=vaughan [2011-05-07 00:47:39] 839*2^937908-1 is not prime. Res64: 9E404C631BC379A4 Time : 1677.0 sec. user=vaughan [2011-05-07 00:52:34] 915*2^937908-1 is not prime. Res64: CEE25D48A8C598D4 Time : 1645.0 sec. user=vaughan [2011-05-07 00:58:30] 981*2^937907-1 is not prime. Res64: 49F674EA9881027A Time : 2699.0 sec. user=vaughan [2011-05-07 01:04:24] 811*2^937909-1 is not prime. Res64: BCE977C1A3035CF4 Time : 1741.0 sec. user=vaughan [2011-05-07 01:12:50] 831*2^937909-1 is not prime. Res64: DCA243D8608172B8 Time : 1645.0 sec. user=vaughan [2011-05-07 01:15:33] 861*2^937909-1 is not prime. Res64: 617EDD1B04A8326A Time : 1674.0 sec. user=vaughan [2011-05-07 04:08:42] 945*2^937910-1 is not prime. Res64: 6365939D0C1848EF Time : 10552.0 sec. user=vaughan [2011-05-07 04:08:48] 951*2^937910-1 is not prime. Res64: EF82E798E27AF9D8 Time : 10395.0 sec. user=vaughan [2011-05-07 04:08:56] 851*2^937910-1 is not prime. Res64: 74AA95A85EDFA572 Time : 11072.0 sec. user=vaughan [2011-05-07 04:09:22] 931*2^937909-1 is not prime. Res64: FF82B331D72371F5 Time : 11808.0 sec. user=vaughan [2011-05-07 04:10:47] 997*2^937909-1 is not prime. Res64: 42ACADA58CB75173 Time : 11537.0 sec. user=vaughan [2011-05-07 04:10:51] 867*2^937908-1 is not prime. Res64: A78CB71F41681C81 Time : 13805.0 sec. user=vaughan [2011-05-07 04:10:56] 909*2^937908-1 is not prime. Res64: 6137D5BA3DC97C17 Time : 13792.0 sec. user=vaughan [2011-05-07 04:11:24] 817*2^937909-1 is not prime. Res64: 29262DA22DE2D23D Time : 12831.0 sec. user=vaughan [2011-05-07 04:35:46] 825*2^937912-1 is not prime. Res64: A09B2A76E8B010F1 Time : 1610.0 sec. user=vaughan [2011-05-07 04:36:52] 995*2^937910-1 is not prime. Res64: 89824CC04E703C75 Time : 1690.0 sec. user=vaughan [2011-05-07 04:37:24] 975*2^937911-1 is not prime. Res64: 244BFFC044ED59D8 Time : 1716.0 sec. user=vaughan [2011-05-07 04:37:49] 989*2^937912-1 is not prime. Res64: 83C0A468F78D0427 Time : 1707.0 sec. user=vaughan [2011-05-07 04:46:11] 861*2^937913-1 is not prime. Res64: B6F9BDE7B9B03EC2 Time : 2124.0 sec. user=vaughan [2011-05-07 04:47:21] 913*2^937915-1 is not prime. Res64: 01845545845928FC Time : 2157.0 sec. user=vaughan [2011-05-07 04:58:49] 837*2^937914-1 is not prime. Res64: 74A2EF052055FA4D Time : 2878.0 sec. user=vaughan [2011-05-07 04:59:10] 941*2^937914-1 is not prime. Res64: 1AFEDCD3D3822FBE Time : 2894.0 sec. user=vaughan [2011-05-07 05:02:11] 919*2^937915-1 is not prime. Res64: 0028655265980EBF Time : 1586.0 sec. user=vaughan [2011-05-07 05:05:14] 897*2^937916-1 is not prime. Res64: A2E22C3886DDB2B7 Time : 1702.0 sec. user=vaughan [2011-05-07 05:06:05] 899*2^937916-1 is not prime. Res64: 0CC28809B50EFB0B Time : 1721.0 sec. user=vaughan [2011-05-07 05:06:15] 983*2^937916-1 is not prime. Res64: B3DFD9511FBB93E5 Time : 1706.0 sec. user=vaughan [2011-05-07 05:25:51] 829*2^937917-1 is not prime. Res64: B2CA9FD85BA9BA42 Time : 2380.0 sec. user=vaughan [2011-05-07 05:27:00] 833*2^937918-1 is not prime. Res64: 5CE606CEA5D6591E Time : 2379.0 sec. user=vaughan [2011-05-07 05:28:39] 911*2^937918-1 is not prime. Res64: DD88B4C4281424D7 Time : 1588.0 sec. user=vaughan [2011-05-07 05:33:36] 971*2^937918-1 is not prime. Res64: E2666BB7B4350856 Time : 1703.0 sec. user=vaughan [2011-05-07 05:34:28] 895*2^937919-1 is not prime. Res64: F6C3555AC5A7C433 Time : 1694.0 sec. user=vaughan [2011-05-07 05:34:56] 987*2^937918-1 is not prime. Res64: C98AC662A241ABF5 Time : 1731.0 sec. user=vaughan [2011-05-07 05:53:04] 861*2^937918-1 is not prime. Res64: A4D0F822E4D60061 Time : 3255.0 sec. user=vaughan [2011-05-07 05:53:22] 887*2^937918-1 is not prime. Res64: 3BE0B878C45658F9 Time : 3252.0 sec. user=vaughan [2011-05-07 05:59:48] 845*2^937920-1 is not prime. Res64: 6C28EBCD7F4E1FB4 Time : 1870.0 sec. user=vaughan [2011-05-07 06:05:33] 805*2^937921-1 is not prime. Res64: 04A9E734DC2F5AAC Time : 1837.0 sec. user=vaughan [2011-05-07 06:06:01] 909*2^937919-1 is not prime. Res64: 0728130451CC5EC7 Time : 2410.0 sec. user=vaughan [2011-05-07 06:07:15] 993*2^937919-1 is not prime. Res64: 844E9D12E11FE681 Time : 2415.0 sec. user=vaughan [2011-05-07 06:09:08] 929*2^937920-1 is not prime. Res64: A74CDDCBB2694486 Time : 2133.0 sec. user=vaughan [2011-05-07 06:09:53] 801*2^937921-1 is not prime. Res64: 7EA8DDE9834C605A Time : 2125.0 sec. user=vaughan [2011-05-07 06:35:18] 937*2^937921-1 is not prime. Res64: B93B585CFF7543E3 Time : 1785.0 sec. user=vaughan [2011-05-07 06:39:28] 911*2^937922-1 is not prime. Res64: FA67CB2B16E87059 Time : 1820.0 sec. user=vaughan [2011-05-07 06:40:06] 977*2^937922-1 is not prime. Res64: 0F05BA682ACA3DDF Time : 1813.0 sec. user=vaughan [2011-05-07 06:40:33] 829*2^937921-1 is not prime. Res64: E9A4C3924A440FAE Time : 2445.0 sec. user=vaughan [2011-05-07 06:48:47] 819*2^937771-1 is not prime. Res64: 1A60DD177A4B6015 Time : 3343.0 sec. user=vaughan [2011-05-07 06:49:02] 807*2^937921-1 is not prime. Res64: E86BEC861D1CA9E9 Time : 3340.0 sec. user=vaughan [2011-05-07 06:50:17] 955*2^937921-1 is not prime. Res64: B45D48C8A7E79AAF Time : 2656.0 sec. user=vaughan [2011-05-07 06:51:43] 979*2^937921-1 is not prime. Res64: 327BF0A9A85843B7 Time : 2668.0 sec. user=vaughan [2011-05-07 07:03:48] 981*2^937922-1 is not prime. Res64: 43FED06DE9C6B4BE Time : 1710.0 sec. user=vaughan [2011-05-07 07:07:10] 819*2^937923-1 is not prime. Res64: D3C69BF195ABD065 Time : 1662.0 sec. user=vaughan [2011-05-07 07:07:47] 823*2^937923-1 is not prime. Res64: 45F05303CFE8E125 Time : 1661.0 sec. user=vaughan [2011-05-07 07:08:09] 853*2^937923-1 is not prime. Res64: AD916A9E430BABBB Time : 1656.0 sec. user=vaughan [2011-05-07 07:32:12] 927*2^937924-1 is not prime. Res64: A74624363FD314AC Time : 1704.0 sec. user=vaughan [2011-05-07 07:33:03] 871*2^937923-1 is not prime. Res64: 181ABA0AA22A913F Time : 2656.0 sec. user=vaughan [2011-05-07 07:33:13] 873*2^937923-1 is not prime. Res64: 2D1AC447654AE2FE Time : 2652.0 sec. user=vaughan [2011-05-07 07:34:22] 965*2^937924-1 is not prime. Res64: 2DC7DEEBEC326626 Time : 1632.0 sec. user=vaughan [2011-05-07 07:34:48] 975*2^937924-1 is not prime. Res64: 1F11F0487A6F58DA Time : 1621.0 sec. user=vaughan [2011-05-07 07:36:37] 831*2^937925-1 is not prime. Res64: C2FBBBFA7BAA0EFC Time : 1708.0 sec. user=vaughan [2011-05-07 07:37:39] 857*2^937924-1 is not prime. Res64: 482F7C2B170BD162 Time : 2842.0 sec. user=vaughan [2011-05-07 07:38:59] 863*2^937924-1 is not prime. Res64: CDFBA5713DDA11EF Time : 2836.0 sec. user=vaughan [2011-05-07 08:01:09] 861*2^937927-1 is not prime. Res64: 2C3ED059091375DD Time : 1608.0 sec. user=vaughan [2011-05-07 08:01:32] 945*2^937926-1 is not prime. Res64: 21A17ED2CC6EA427 Time : 1760.0 sec. user=vaughan [2011-05-07 08:01:45] 961*2^937927-1 is not prime. Res64: 966C33F65361F74D Time : 1617.0 sec. user=vaughan [2011-05-07 08:05:45] 915*2^937928-1 is not prime. Res64: E4AAE0BF66EC7934 Time : 1749.0 sec. user=vaughan [2011-05-07 08:19:56] 993*2^937926-1 is not prime. Res64: CF575ECE220B4877 Time : 2813.0 sec. user=vaughan [2011-05-07 08:20:11] 849*2^937927-1 is not prime. Res64: F6889F4C1FEACA5A Time : 2819.0 sec. user=vaughan [2011-05-07 08:28:21] 813*2^937930-1 is not prime. Res64: FC7B41D7C91B5752 Time : 1632.0 sec. user=vaughan [2011-05-07 08:29:09] 945*2^937931-1 is not prime. Res64: BB0144890407F398 Time : 1644.0 sec. user=vaughan [2011-05-07 08:31:20] 845*2^937930-1 is not prime. Res64: 0E1659F1DF974388 Time : 1788.0 sec. user=vaughan [2011-05-07 08:34:36] 981*2^937931-1 is not prime. Res64: 7AF35E432EF80E1F Time : 1732.0 sec. user=vaughan [2011-05-07 08:35:55] 999*2^937929-1 is not prime. Res64: D9781F0A80541252 Time : 3496.0 sec. user=vaughan [2011-05-07 08:36:56] 803*2^937930-1 is not prime. Res64: 993DC60648A8AA87 Time : 3477.0 sec. user=vaughan [2011-05-07 08:46:43] 863*2^937932-1 is not prime. Res64: 9A57BE49DEEA1009 Time : 1607.0 sec. user=vaughan [2011-05-07 08:46:58] 873*2^937932-1 is not prime. Res64: 0B3B4EC9C9B6B091 Time : 1607.0 sec. user=vaughan [2011-05-07 08:55:45] 897*2^937933-1 is not prime. Res64: 2385555AB0BE42C6 Time : 1644.0 sec. user=vaughan [2011-05-07 08:56:28] 827*2^937934-1 is not prime. Res64: 47EB18798DE387A6 Time : 1640.0 sec. user=vaughan [2011-05-07 09:01:20] 831*2^937934-1 is not prime. Res64: 5504D67F8B7B15AC Time : 1801.0 sec. user=vaughan [2011-05-07 09:02:31] 887*2^937934-1 is not prime. Res64: A5432BC4657A82F1 Time : 1596.0 sec. user=vaughan [2011-05-07 09:03:29] 861*2^937934-1 is not prime. Res64: 822B30ED3731A04D Time : 1733.0 sec. user=vaughan [2011-05-07 09:03:37] 923*2^937934-1 is not prime. Res64: 92B4E64967C4EBDE Time : 1601.0 sec. user=vaughan [2011-05-07 09:09:33] 941*2^937934-1 is not prime. Res64: 9624D91A956B5F27 Time : 1370.0 sec. user=vaughan [2011-05-07 09:09:41] 983*2^937934-1 is not prime. Res64: 90FF789C203B9644 Time : 1363.0 sec. user=vaughan [2011-05-07 09:23:02] 829*2^937935-1 is not prime. Res64: 07EA84593C1A8276 Time : 1638.0 sec. user=vaughan [2011-05-07 09:23:54] 885*2^937935-1 is not prime. Res64: 4FE2B4CDD46C6919 Time : 1646.0 sec. user=vaughan [2011-05-07 09:29:10] 963*2^937935-1 is not prime. Res64: 0D09E465E9E4C70D Time : 1599.0 sec. user=vaughan [2011-05-07 09:30:15] 869*2^937936-1 is not prime. Res64: DF9DC9811031B8EA Time : 1598.0 sec. user=vaughan [2011-05-07 09:31:14] 909*2^937935-1 is not prime. Res64: 7D78445E668164A0 Time : 1794.0 sec. user=vaughan [2011-05-07 09:32:10] 833*2^937936-1 is not prime. Res64: 1CCBBC8EC1AC7CE9 Time : 1722.0 sec. user=vaughan [2011-05-07 09:32:15] 895*2^937785-1 is not prime. Res64: 5550E3003BBBA6DB Time : 1362.0 sec. user=vaughan [2011-05-07 09:32:26] 975*2^937785-1 is not prime. Res64: CB11C5BDE8C0D529 Time : 1365.0 sec. user=vaughan [2011-05-07 09:50:24] 855*2^937786-1 is not prime. Res64: 04AD1DB9811BE3B6 Time : 1642.0 sec. user=vaughan [2011-05-07 09:51:15] 873*2^937786-1 is not prime. Res64: 52A1D72848CFA438 Time : 1642.0 sec. user=vaughan [2011-05-07 10:36:18] 843*2^937939-1 is not prime. Res64: F02882239DDB8706 Time : 2525.0 sec. user=vaughan [2011-05-07 10:45:36] 913*2^937939-1 is not prime. Res64: 50996F6F2C2B8DC4 Time : 3082.0 sec. user=ototero [2011-05-07 10:48:47] 815*2^937626-1 is not prime. Res64: 239A927C31AF323A Time : 79784.0 sec. user=ototero [2011-05-07 10:48:47] 957*2^937885-1 is not prime. Res64: 9AB5A5B56374AA45 Time : 79784.0 sec. user=ototero [2011-05-07 10:48:47] 975*2^937885-1 is not prime. Res64: A5E213A9E5F664A8 Time : 79784.0 sec. user=ototero [2011-05-07 10:48:48] 897*2^937886-1 is not prime. Res64: 2F2BFB2741ED4ADB Time : 79784.0 sec. user=ototero [2011-05-07 10:48:48] 921*2^937886-1 is not prime. Res64: 98008D87C4400303 Time : 79784.0 sec. user=ototero [2011-05-07 10:48:48] 971*2^937886-1 is not prime. Res64: 55F4A8056B69E90E Time : 79784.0 sec. user=ototero [2011-05-07 10:48:48] 1001*2^937886-1 is not prime. Res64: 822EF9D866833D17 Time : 79783.0 sec. user=ototero [2011-05-07 10:48:48] 859*2^937887-1 is not prime. Res64: 287CE962F66300E2 Time : 79783.0 sec. user=ototero [2011-05-07 10:48:48] 873*2^937887-1 is not prime. Res64: 0FBDA026AEDE44DB Time : 79783.0 sec. user=ototero [2011-05-07 10:48:48] 909*2^937887-1 is not prime. Res64: D3219043805440E4 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:49] 963*2^937887-1 is not prime. Res64: 62FAA1C42040F8E9 Time : 79783.0 sec. user=ototero [2011-05-07 10:48:49] 887*2^937888-1 is not prime. Res64: 864FEB356D5AFC56 Time : 79783.0 sec. user=ototero [2011-05-07 10:48:49] 927*2^937888-1 is not prime. Res64: A6F87E700B2B7D25 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:49] 909*2^937889-1 is not prime. Res64: 3891A370AF537DE5 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:49] 967*2^937889-1 is not prime. Res64: 51D61231992720A0 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:49] 873*2^937890-1 is not prime. Res64: 8C5D94D3EFB326C2 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:50] 885*2^937890-1 is not prime. Res64: BC9C566EAFB9C022 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:50] 927*2^937890-1 is not prime. Res64: F8757CC6042D3166 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:50] 933*2^937890-1 is not prime. Res64: 2F8972EC1E1F9FF1 Time : 79782.0 sec. user=ototero [2011-05-07 10:48:50] 829*2^937891-1 is not prime. Res64: 34EC909BE355C304 Time : 79781.0 sec. user=ototero [2011-05-07 10:48:50] 835*2^937891-1 is not prime. Res64: CBF73F5D013416E9 Time : 79781.0 sec. user=ototero [2011-05-07 10:48:50] 861*2^937891-1 is not prime. Res64: 1EA97A77F7517326 Time : 79781.0 sec. user=ototero [2011-05-07 10:48:51] 999*2^937891-1 is not prime. Res64: F369F1E7E2745F34 Time : 79781.0 sec. user=ototero [2011-05-07 10:48:51] 957*2^937892-1 is not prime. Res64: 5C7CD6159C5ABDA2 Time : 79781.0 sec. user=ototero [2011-05-07 10:48:51] 805*2^937893-1 is not prime. Res64: 859F09B3AB753D1C Time : 79781.0 sec. user=ototero [2011-05-07 10:48:51] 859*2^937893-1 is not prime. Res64: D94976385FBFFF95 Time : 79780.0 sec. user=ototero [2011-05-07 10:48:51] 951*2^937893-1 is not prime. Res64: FD56FAF8D4B02082 Time : 79780.0 sec. user=ototero [2011-05-07 10:48:51] 917*2^937894-1 is not prime. Res64: 0DEA13D3A82AF4EF Time : 79780.0 sec. user=ototero [2011-05-07 10:48:51] 945*2^937894-1 is not prime. Res64: 9989F6AC98C8C015 Time : 79779.0 sec. user=ototero [2011-05-07 10:48:52] 825*2^937895-1 is not prime. Res64: 82B16BEA9632A960 Time : 79780.0 sec. user=ototero [2011-05-07 10:48:52] 943*2^937895-1 is not prime. Res64: C359ED8B621CA493 Time : 79780.0 sec. user=ototero [2011-05-07 10:48:52] 849*2^937896-1 is not prime. Res64: 5440CECBC02423BA Time : 79779.0 sec. user=ototero [2011-05-07 10:48:52] 817*2^937897-1 is not prime. Res64: D31918E1744BB38C Time : 79779.0 sec. user=ototero [2011-05-07 10:48:52] 919*2^937897-1 is not prime. Res64: 08B93A2D86365D1A Time : 79779.0 sec. user=ototero [2011-05-07 10:48:52] 939*2^937897-1 is not prime. Res64: 132BFE7F022EA3BA Time : 79778.0 sec. user=ototero [2011-05-07 10:48:53] 981*2^937897-1 is not prime. Res64: 8B0D9C873066797A Time : 79779.0 sec. user=ototero [2011-05-07 10:48:53] 911*2^937898-1 is not prime. Res64: E87BDC86AAE28B25 Time : 79779.0 sec. user=ototero [2011-05-07 10:48:53] 853*2^937899-1 is not prime. Res64: A3D504235196ADDB Time : 79778.0 sec. user=ototero [2011-05-07 10:48:53] 861*2^937899-1 is not prime. Res64: A4DF00AE0A0FAD8A Time : 79778.0 sec. user=ototero [2011-05-07 10:48:53] 921*2^937899-1 is not prime. Res64: E7F627981A7B2C67 Time : 79778.0 sec. user=ototero [2011-05-07 10:48:53] 985*2^937899-1 is not prime. Res64: 5B03A42F2A987AA1 Time : 79777.0 sec. user=ototero [2011-05-07 10:48:54] 855*2^937900-1 is not prime. Res64: 27CE76D6DD97018B Time : 79778.0 sec. user=ototero [2011-05-07 10:48:54] 837*2^937901-1 is not prime. Res64: 08334BEEB1863C9E Time : 79778.0 sec. user=ototero [2011-05-07 10:48:54] 871*2^937901-1 is not prime. Res64: ED31173A098417DD Time : 79777.0 sec. user=ototero [2011-05-07 10:48:54] 873*2^937902-1 is not prime. Res64: ED94F5A7764C6CCD Time : 79777.0 sec. user=ototero [2011-05-07 10:48:54] 945*2^937902-1 is not prime. Res64: 41B4FCC258ED7FE2 Time : 79777.0 sec. user=ototero [2011-05-07 10:48:54] 977*2^937902-1 is not prime. Res64: 67D9085AB01A4DF6 Time : 79776.0 sec. user=ototero [2011-05-07 10:48:54] 1001*2^937902-1 is not prime. Res64: 1FB3A7FB627A9FEC Time : 79776.0 sec. user=ototero [2011-05-07 10:48:55] 813*2^937903-1 is not prime. Res64: 5559BE3364857FF1 Time : 79777.0 sec. user=ototero [2011-05-07 10:48:55] 919*2^937903-1 is not prime. Res64: 1D01F8A20DC53EAA Time : 79776.0 sec. user=ototero [2011-05-07 16:40:40] 855*2^937940-1 is not prime. Res64: CA9AEBBB9062C9E2 Time : 21105.0 sec. user=ototero [2011-05-07 16:40:40] 885*2^937940-1 is not prime. Res64: 162AE9F10409CCE9 Time : 21105.0 sec. user=ototero [2011-05-07 16:40:40] 899*2^937940-1 is not prime. Res64: 2BBAF260FA7034BC Time : 21104.0 sec. user=ototero [2011-05-07 16:40:40] 819*2^937941-1 is not prime. Res64: D5DE11666B2DEE04 Time : 21104.0 sec. user=ototero [2011-05-07 16:40:40] 877*2^937941-1 is not prime. Res64: DAD4F43BC13B1630 Time : 21104.0 sec. user=ototero [2011-05-07 16:40:40] 885*2^937941-1 is not prime. Res64: 0F5F8B794680B214 Time : 21103.0 sec. user=ototero [2011-05-07 16:40:40] 921*2^937941-1 is not prime. Res64: 2365071BCDA98061 Time : 21103.0 sec. user=ototero [2011-05-07 16:40:41] 991*2^937941-1 is not prime. Res64: 4DB5F03B5C59576D Time : 21104.0 sec. user=ototero [2011-05-07 16:40:41] 825*2^937942-1 is not prime. Res64: 2FCF3CD68F259960 Time : 21103.0 sec. user=ototero [2011-05-07 16:40:41] 827*2^937942-1 is not prime. Res64: 103622B7DFBA4C6B Time : 21103.0 sec. user=ototero [2011-05-07 21:01:54] 983*2^937942-1 is not prime. Res64: 86FA842716281EC6 Time : 15673.0 sec. user=ototero [2011-05-07 21:01:54] 825*2^937943-1 is not prime. Res64: C54946DB05A023E3 Time : 15673.0 sec. user=ototero [2011-05-07 21:01:55] 859*2^937943-1 is not prime. Res64: 5BF0AA1B7B05DF3E Time : 15673.0 sec. user=ototero [2011-05-07 21:01:55] 885*2^937943-1 is not prime. Res64: F1B79740DC277E03 Time : 15673.0 sec. user=ototero [2011-05-07 21:01:55] 889*2^937943-1 is not prime. Res64: D60ADB5B1DBE4333 Time : 15673.0 sec. user=ototero [2011-05-07 21:01:55] 913*2^937943-1 is not prime. Res64: 96F96F3CE26DD73D Time : 15672.0 sec. user=ototero [2011-05-07 21:01:56] 921*2^937943-1 is not prime. Res64: 0065D538665A297A Time : 15673.0 sec. user=ototero [2011-05-07 21:01:56] 843*2^937944-1 is not prime. Res64: 6EB124533E0E366A Time : 15673.0 sec. user=ototero [2011-05-07 21:01:56] 857*2^937944-1 is not prime. Res64: F4A31FE98096951F Time : 15672.0 sec. user=ototero [2011-05-07 21:01:56] 915*2^937944-1 is not prime. Res64: 38F0C2CFECB51AD0 Time : 15672.0 sec. user=vaughan [2011-05-07 21:59:56] 887*2^937938-1 is not prime. Res64: EC4A086AB97111A2 Time : 44850.0 sec. user=vaughan [2011-05-07 22:00:21] 885*2^937938-1 is not prime. Res64: B08815270A336B84 Time : 44886.0 sec. user=vaughan [2011-05-07 22:00:47] 969*2^937936-1 is not prime. Res64: 7CB4465998CB73E6 Time : 45097.0 sec. user=vaughan [2011-05-07 22:01:26] 983*2^937936-1 is not prime. Res64: 6CCAB1C4717BB37F Time : 45071.0 sec. user=vaughan [2011-05-07 22:06:36] 981*2^937937-1 is not prime. Res64: A0532EF895784D16 Time : 45266.0 sec. user=vaughan [2011-05-07 22:06:46] 889*2^937937-1 is not prime. Res64: EBDA6D2DC330AB76 Time : 45332.0 sec. user=vaughan [2011-05-07 22:21:52] 831*2^937946-1 is not prime. Res64: BB763D0BDCE372B9 Time : 1316.0 sec. user=vaughan [2011-05-07 22:23:44] 893*2^937938-1 is not prime. Res64: C551D747FD0D1407 Time : 45200.0 sec. user=vaughan [2011-05-07 22:25:50] 813*2^937939-1 is not prime. Res64: 41534D3620D20D74 Time : 45275.0 sec. user=vaughan [2011-05-07 22:27:08] 835*2^937947-1 is not prime. Res64: 0CB0349C28379404 Time : 1542.0 sec. user=vaughan [2011-05-07 22:27:51] 945*2^937946-1 is not prime. Res64: 082DCC81EEA6824B Time : 1650.0 sec. user=vaughan [2011-05-07 22:28:05] 805*2^937947-1 is not prime. Res64: AC76ABF376074298 Time : 1639.0 sec. user=vaughan [2011-05-07 22:33:55] 819*2^937948-1 is not prime. Res64: A0BC9A1A3ECF545B Time : 1639.0 sec. user=vaughan [2011-05-07 22:34:54] 827*2^937948-1 is not prime. Res64: 96884617E788A268 Time : 1688.0 sec. user=vaughan [2011-05-07 22:43:56] 869*2^937948-1 is not prime. Res64: 0777DD5843AA91F0 Time : 1324.0 sec. user=vaughan [2011-05-07 22:51:19] 953*2^937948-1 is not prime. Res64: 28B53BDDC7645F70 Time : 1655.0 sec. user=vaughan [2011-05-07 22:52:51] 861*2^937949-1 is not prime. Res64: 64D7EC2182822DD0 Time : 1544.0 sec. user=vaughan [2011-05-07 22:54:33] 989*2^937948-1 is not prime. Res64: BBC848020998A9EA Time : 1723.0 sec. user=vaughan [2011-05-07 22:55:24] 879*2^937949-1 is not prime. Res64: 6726745A1A4C2FD2 Time : 1653.0 sec. user=vaughan [2011-05-07 22:55:44] 979*2^937949-1 is not prime. Res64: E6D77DE5E02663CD Time : 1660.0 sec. user=vaughan [2011-05-07 23:01:08] 855*2^937951-1 is not prime. Res64: EEC1D22F4A977C56 Time : 1634.0 sec. user=vaughan [2011-05-07 23:02:51] 891*2^937951-1 is not prime. Res64: 57F608D5F1C7836F Time : 1678.0 sec. user=vaughan [2011-05-07 23:05:59] 961*2^937951-1 is not prime. Res64: 446F457224CF808D Time : 1324.0 sec. user=vaughan [2011-05-07 23:18:28] 945*2^937952-1 is not prime. Res64: 38A52E4053F27D76 Time : 1537.0 sec. user=vaughan [2011-05-07 23:18:35] 857*2^937952-1 is not prime. Res64: BC787520563C1E99 Time : 1637.0 sec. user=vaughan [2011-05-07 23:23:02] 861*2^937953-1 is not prime. Res64: 1C320F1D195AAF2C Time : 1659.0 sec. user=vaughan [2011-05-07 23:23:23] 951*2^937953-1 is not prime. Res64: C7E41B8FBD4C1A17 Time : 1659.0 sec. user=vaughan [2011-05-07 23:24:10] 963*2^937952-1 is not prime. Res64: 55A24FFC7229BEEB Time : 1777.0 sec. user=vaughan [2011-05-07 23:28:00] 981*2^937955-1 is not prime. Res64: ADE3A644455A1251 Time : 1321.0 sec. user=vaughan [2011-05-07 23:28:29] 857*2^937954-1 is not prime. Res64: 90362426500AF3F5 Time : 1641.0 sec. user=vaughan [2011-05-07 23:30:53] 885*2^937955-1 is not prime. Res64: 0416C219ED3FC254 Time : 1682.0 sec. user=vaughan [2011-05-07 23:44:13] 999*2^937955-1 is not prime. Res64: 3EAB3017107EE8E9 Time : 1545.0 sec. user=vaughan [2011-05-07 23:45:55] 999*2^937956-1 is not prime. Res64: 90F244EAFB4EAA83 Time : 1641.0 sec. user=vaughan [2011-05-07 23:49:59] 893*2^937958-1 is not prime. Res64: D8DE33478B499B9B Time : 1319.0 sec. user=vaughan [2011-05-07 23:50:37] 861*2^937957-1 is not prime. Res64: BC4A7119CB0DE6F8 Time : 1655.0 sec. user=vaughan [2011-05-07 23:50:48] 997*2^937957-1 is not prime. Res64: 8031E70885028A0B Time : 1646.0 sec. user=vaughan [2011-05-07 23:53:39] 813*2^937958-1 is not prime. Res64: 113564EEF7CA79AD Time : 1769.0 sec. user=vaughan [2011-05-07 23:55:53] 897*2^937958-1 is not prime. Res64: 451F94351F39FEA1 Time : 1644.0 sec. user=vaughan [2011-05-07 23:58:48] 935*2^937958-1 is not prime. Res64: 83827BA8F7821551 Time : 1675.0 sec.