user=vaughan [2011-02-08 00:05:16] 2303*2^272314-1 is not prime. Res64: 41D6768825528D76 Time : 1072.0 sec. user=mdettweiler [2011-02-08 00:18:20] 2303*2^272382-1 is not prime. Res64: 3F499435254ABB53 Time : 1615.0 sec. user=vaughan [2011-02-08 00:23:12] 2303*2^272420-1 is not prime. Res64: 75C33F6D6002C49D Time : 1076.0 sec. user=vaughan [2011-02-08 00:41:12] 2303*2^272502-1 is not prime. Res64: A4BFC6BD6E174763 Time : 1079.0 sec. user=mdettweiler [2011-02-08 00:45:15] 2303*2^272476-1 is not prime. Res64: E726AF1BF80CF480 Time : 1615.0 sec. user=vaughan [2011-02-08 00:59:04] 2303*2^272520-1 is not prime. Res64: 8961389258F09A78 Time : 1072.0 sec. user=mdettweiler [2011-02-08 01:12:05] 2303*2^272526-1 is not prime. Res64: 2A2E415C66E73419 Time : 1610.0 sec. user=vaughan [2011-02-08 01:16:55] 2303*2^272534-1 is not prime. Res64: 3A0F05679AA62932 Time : 1071.0 sec. user=vaughan [2011-02-08 01:35:07] 2303*2^272574-1 is not prime. Res64: CBC3CE787AAFE491 Time : 1091.0 sec. user=mdettweiler [2011-02-08 01:39:18] 2303*2^272570-1 is not prime. Res64: E0BCB17BAC13EAAF Time : 1633.0 sec. user=vaughan [2011-02-08 01:52:59] 2303*2^272606-1 is not prime. Res64: ADEB210B845902A7 Time : 1072.0 sec. user=mdettweiler [2011-02-08 02:06:09] 2303*2^272632-1 is not prime. Res64: A4BD4DA13D956CD7 Time : 1611.0 sec. user=vaughan [2011-02-08 02:10:54] 2303*2^272666-1 is not prime. Res64: 4A8E254749BF491B Time : 1074.0 sec. user=vaughan [2011-02-08 02:28:46] 2303*2^272706-1 is not prime. Res64: 92F5E094C9AA6BE2 Time : 1071.0 sec. user=vaughan [2011-02-08 02:46:46] 2303*2^272712-1 is not prime. Res64: 53689146D76E4B25 Time : 1080.0 sec. user=mdettweiler [2011-02-08 02:58:01] 2303*2^272690-1 is not prime. Res64: 0FFBE76B64E1E944 Time : 3112.0 sec. user=vaughan [2011-02-08 03:04:39] 2303*2^272714-1 is not prime. Res64: C771BF735DCDE052 Time : 1072.0 sec. user=vaughan [2011-02-08 03:22:31] 2303*2^272802-1 is not prime. Res64: 430D1E1760B1B281 Time : 1071.0 sec. user=mdettweiler [2011-02-08 03:24:55] 2303*2^272722-1 is not prime. Res64: DDBDFFB32B07E634 Time : 1613.0 sec. user=vaughan [2011-02-08 03:40:26] 2303*2^272826-1 is not prime. Res64: 8FD02CE0BE2FC73E Time : 1075.0 sec. user=mdettweiler [2011-02-08 03:51:50] 2303*2^272844-1 is not prime. Res64: FA8B52C4D459E2D4 Time : 1614.0 sec. user=vaughan [2011-02-08 03:58:22] 2303*2^272846-1 is not prime. Res64: 3F1EBC2A524A590E Time : 1076.0 sec. user=vaughan [2011-02-08 04:16:16] 2303*2^272870-1 is not prime. Res64: FDF8E2E33A76BD76 Time : 1073.0 sec. user=mdettweiler [2011-02-08 04:18:42] 2303*2^272854-1 is not prime. Res64: 307D4E5304E8148A Time : 1612.0 sec. user=vaughan [2011-02-08 04:34:51] 2303*2^272872-1 is not prime. Res64: A20596DB3A60C13B Time : 1114.0 sec. user=mdettweiler [2011-02-08 04:45:48] 2303*2^272890-1 is not prime. Res64: 156B33A1F6B76828 Time : 1626.0 sec. user=vaughan [2011-02-08 04:52:48] 2303*2^272906-1 is not prime. Res64: 2F2F1C6F88DB907A Time : 1076.0 sec. user=vaughan [2011-02-08 05:10:45] 2303*2^272954-1 is not prime. Res64: 4FF785FEDD1218C4 Time : 1076.0 sec. user=mdettweiler [2011-02-08 05:12:38] 2303*2^272940-1 is not prime. Res64: DD74920478D78AF3 Time : 1609.0 sec. user=vaughan [2011-02-08 05:28:46] 2303*2^272964-1 is not prime. Res64: B20751DDC0080544 Time : 1081.0 sec. user=mdettweiler [2011-02-08 05:41:11] 2303*2^273014-1 is not prime. Res64: 4661162299DEE839 Time : 1713.0 sec. user=vaughan [2011-02-08 05:46:42] 2303*2^273114-1 is not prime. Res64: 61AA219C428D5EFE Time : 1076.0 sec. user=vaughan [2011-02-08 06:04:42] 2303*2^273174-1 is not prime. Res64: EE6A89281DB855D9 Time : 1079.0 sec. user=mdettweiler [2011-02-08 06:08:02] 2303*2^273126-1 is not prime. Res64: 3A2AEA995E858018 Time : 1611.0 sec. user=vaughan [2011-02-08 06:23:10] 2303*2^273186-1 is not prime. Res64: 113470241F74DFCD Time : 1108.0 sec. user=mdettweiler [2011-02-08 06:34:56] 2303*2^273190-1 is not prime. Res64: B49A9E80BA5E2455 Time : 1614.0 sec. user=vaughan [2011-02-08 06:41:14] 2303*2^273194-1 is not prime. Res64: 83B532F0581547A5 Time : 1083.0 sec. user=vaughan [2011-02-08 06:59:07] 2303*2^273252-1 is not prime. Res64: 550E6273FF3D5B4A Time : 1073.0 sec. user=mdettweiler [2011-02-08 07:01:52] 2303*2^273200-1 is not prime. Res64: 0307CD4FD0FAC40F Time : 1615.0 sec. user=vaughan [2011-02-08 07:17:12] 2303*2^273262-1 is not prime. Res64: B419DDAADB46BA89 Time : 1084.0 sec. user=mdettweiler [2011-02-08 07:28:45] 2303*2^273266-1 is not prime. Res64: 11501CD48BBF2EB5 Time : 1613.0 sec. user=vaughan [2011-02-08 07:36:08] 2303*2^273286-1 is not prime. Res64: 34B812B7AFA0C649 Time : 1135.0 sec. user=mdettweiler [2011-02-08 07:55:48] 2303*2^273316-1 is not prime. Res64: ADAA58D8FD21E141 Time : 1622.0 sec. user=vaughan [2011-02-08 07:56:12] 2303*2^273326-1 is not prime. Res64: 5FBFE63A3EDAA8FA Time : 1203.0 sec. user=vaughan [2011-02-08 08:14:07] 2303*2^273350-1 is not prime. Res64: 1D278B70701A5232 Time : 1074.0 sec. user=mdettweiler [2011-02-08 08:22:43] 2303*2^273340-1 is not prime. Res64: 4C9DD9B97F0CF544 Time : 1615.0 sec. user=vaughan [2011-02-08 08:32:13] 2303*2^273354-1 is not prime. Res64: 1D3C3F57CF343328 Time : 1085.0 sec. user=mdettweiler [2011-02-08 08:49:49] 2303*2^273366-1 is not prime. Res64: 83CD65342DB044A7 Time : 1626.0 sec. user=vaughan [2011-02-08 08:50:07] 2303*2^273376-1 is not prime. Res64: 0B1B885A04685916 Time : 1074.0 sec. user=vaughan [2011-02-08 09:08:03] 2303*2^273394-1 is not prime. Res64: 2976F2C6706C13F0 Time : 1076.0 sec. user=mdettweiler [2011-02-08 09:16:43] 2303*2^273384-1 is not prime. Res64: 18722AC58B9CD662 Time : 1614.0 sec. user=vaughan [2011-02-08 09:27:17] 2303*2^273406-1 is not prime. Res64: D45F0E9B67CC063F Time : 1153.0 sec. user=mdettweiler [2011-02-08 09:43:55] 2303*2^273450-1 is not prime. Res64: E11F80F4C04BD3CD Time : 1632.0 sec. user=vaughan [2011-02-08 09:45:15] 2303*2^273470-1 is not prime. Res64: DDC773608BC14229 Time : 1077.0 sec. user=vaughan [2011-02-08 10:03:10] 2303*2^273520-1 is not prime. Res64: 5FB65C4322CE7BB5 Time : 1074.0 sec. user=mdettweiler [2011-02-08 10:10:50] 2303*2^273492-1 is not prime. Res64: F2AE55600EF11679 Time : 1614.0 sec. user=vaughan [2011-02-08 10:21:05] 2303*2^273556-1 is not prime. Res64: 420E96CFF7456FAC Time : 1074.0 sec. user=mdettweiler [2011-02-08 10:37:47] 2303*2^273596-1 is not prime. Res64: E2F7B3346B931CD2 Time : 1617.0 sec. user=vaughan [2011-02-08 10:39:02] 2303*2^273630-1 is not prime. Res64: 4E2CE0FC8C1F9217 Time : 1077.0 sec. user=vaughan [2011-02-08 10:56:58] 2303*2^273664-1 is not prime. Res64: 2159913A2B630858 Time : 1075.0 sec. user=mdettweiler [2011-02-08 11:04:43] 2303*2^273640-1 is not prime. Res64: 17BB0DAA8B348DE3 Time : 1616.0 sec. user=vaughan [2011-02-08 11:17:13] 2303*2^273676-1 is not prime. Res64: 41E23216027B5408 Time : 1214.0 sec. user=mdettweiler [2011-02-08 11:31:57] 2303*2^273686-1 is not prime. Res64: AB1865B22FE22216 Time : 1634.0 sec. user=vaughan [2011-02-08 11:35:12] 2303*2^273690-1 is not prime. Res64: AE375DA438CD6D6B Time : 1078.0 sec. user=vaughan [2011-02-08 11:53:07] 2303*2^273734-1 is not prime. Res64: C98ED34750D6A364 Time : 1075.0 sec. user=mdettweiler [2011-02-08 11:59:06] 2303*2^273710-1 is not prime. Res64: CE454C849D92E48A Time : 1629.0 sec. user=vaughan [2011-02-08 12:11:02] 2303*2^273754-1 is not prime. Res64: A9F17354D8AE4F1B Time : 1074.0 sec. user=mdettweiler [2011-02-08 12:26:06] 2303*2^273792-1 is not prime. Res64: 456AF5E04DB1ED23 Time : 1620.0 sec. user=vaughan [2011-02-08 12:28:58] 2303*2^273854-1 is not prime. Res64: FF39E47B2ADCFECC Time : 1075.0 sec. user=vaughan [2011-02-08 12:47:13] 2303*2^273934-1 is not prime. Res64: 0CDA4FA7F672FC0D Time : 1095.0 sec. user=mdettweiler [2011-02-08 12:53:12] 2303*2^273882-1 is not prime. Res64: D93A3DD7817C3D26 Time : 1625.0 sec. user=vaughan [2011-02-08 13:05:08] 2303*2^273942-1 is not prime. Res64: E5074A441CFFC6C3 Time : 1075.0 sec. user=mdettweiler [2011-02-08 13:20:12] 2303*2^273974-1 is not prime. Res64: 8F8B3FD13A0FB0EB Time : 1620.0 sec. user=vaughan [2011-02-08 13:23:07] 2303*2^273986-1 is not prime. Res64: FD10B52B11BFD64B Time : 1079.0 sec. user=vaughan [2011-02-08 13:41:10] 2303*2^274014-1 is not prime. Res64: B76280FAA7ADAD20 Time : 1083.0 sec. user=mdettweiler [2011-02-08 13:47:34] 2303*2^274004-1 is not prime. Res64: 7219C17718A0CBE9 Time : 1642.0 sec. user=vaughan [2011-02-08 13:59:08] 2303*2^274044-1 is not prime. Res64: 7F072F7D1B253EE1 Time : 1077.0 sec. user=mdettweiler [2011-02-08 14:14:33] 2303*2^274056-1 is not prime. Res64: 03379574E9128A8B Time : 1619.0 sec. user=vaughan [2011-02-08 14:17:06] 2303*2^274144-1 is not prime. Res64: 2F9AFE5B1582AED5 Time : 1077.0 sec. user=vaughan [2011-02-08 14:35:04] 2303*2^274186-1 is not prime. Res64: 5DE4D186366F5B4D Time : 1078.0 sec. user=mdettweiler [2011-02-08 14:41:34] 2303*2^274154-1 is not prime. Res64: 426E699F246FE8A4 Time : 1621.0 sec. user=vaughan [2011-02-08 14:53:03] 2303*2^274194-1 is not prime. Res64: 689E35FF0D30DE34 Time : 1079.0 sec. user=mdettweiler [2011-02-08 15:08:45] 2303*2^274270-1 is not prime. Res64: 02CEA2DEAFDA6CCE Time : 1631.0 sec. user=vaughan [2011-02-08 15:11:00] 2303*2^274274-1 is not prime. Res64: CFE5FB9D8E10A4C0 Time : 1076.0 sec. user=vaughan [2011-02-08 15:28:58] 2303*2^274342-1 is not prime. Res64: 9BD1BDB69EAEC496 Time : 1077.0 sec. user=mdettweiler [2011-02-08 15:35:48] 2303*2^274306-1 is not prime. Res64: E4CB38628B5EFE34 Time : 1623.0 sec. user=vaughan [2011-02-08 15:46:57] 2303*2^274350-1 is not prime. Res64: 524D98E4FD10917F Time : 1079.0 sec. user=mdettweiler [2011-02-08 16:02:55] 2303*2^274394-1 is not prime. Res64: 8844EA6AD7528730 Time : 1627.0 sec. user=vaughan [2011-02-08 16:04:54] 2303*2^274402-1 is not prime. Res64: BCB1708469F2B832 Time : 1077.0 sec. user=vaughan [2011-02-08 16:22:52] 2303*2^274410-1 is not prime. Res64: D22F23F0B8FE9779 Time : 1077.0 sec. user=mdettweiler [2011-02-08 16:30:18] 2303*2^274406-1 is not prime. Res64: 33B6E3367E980069 Time : 1643.0 sec. user=vaughan [2011-02-08 16:41:09] 2303*2^274456-1 is not prime. Res64: B980C22EE66F12AB Time : 1097.0 sec. user=mdettweiler [2011-02-08 16:57:24] 2303*2^274482-1 is not prime. Res64: F13DA159EED83D37 Time : 1626.0 sec. user=vaughan [2011-02-08 16:59:09] 2303*2^274506-1 is not prime. Res64: EEE6A5ED9855A13B Time : 1079.0 sec. user=vaughan [2011-02-08 17:17:11] 2303*2^274550-1 is not prime. Res64: 1B27BABE85570E8A Time : 1082.0 sec. user=mdettweiler [2011-02-08 17:24:28] 2303*2^274542-1 is not prime. Res64: 327F9E98DAD37364 Time : 1624.0 sec. user=vaughan [2011-02-08 17:35:17] 2303*2^274564-1 is not prime. Res64: 36E003210CAAAFEA Time : 1085.0 sec. user=mdettweiler [2011-02-08 17:51:56] 2303*2^274666-1 is not prime. Res64: A649295DDD684D8A Time : 1647.0 sec. user=vaughan [2011-02-08 17:53:17] 2303*2^274672-1 is not prime. Res64: D239D14554CB84C0 Time : 1079.0 sec. user=vaughan [2011-02-08 18:11:21] 2303*2^274704-1 is not prime. Res64: B3F0EEB9A08DEC7A Time : 1083.0 sec. user=mdettweiler [2011-02-08 18:19:08] 2303*2^274674-1 is not prime. Res64: 6A87E169180EFD2A Time : 1631.0 sec. user=vaughan [2011-02-08 18:29:53] 2303*2^274770-1 is not prime. Res64: 90132A8218A9F060 Time : 1112.0 sec. user=mdettweiler [2011-02-08 18:46:13] 2303*2^274780-1 is not prime. Res64: 2CA3DDAB7979AB30 Time : 1625.0 sec. user=vaughan [2011-02-08 18:47:55] 2303*2^274784-1 is not prime. Res64: 58DB66FC5AE701C9 Time : 1081.0 sec. user=vaughan [2011-02-08 19:05:55] 2303*2^274814-1 is not prime. Res64: DEA8D6EF7C788831 Time : 1079.0 sec. user=mdettweiler [2011-02-08 19:13:21] 2303*2^274792-1 is not prime. Res64: 70D18F8DA1614652 Time : 1627.0 sec. user=vaughan [2011-02-08 19:23:55] 2303*2^274846-1 is not prime. Res64: 8948691DE47DBD66 Time : 1079.0 sec. user=mdettweiler [2011-02-08 19:40:31] 2303*2^274864-1 is not prime. Res64: 1FCAC795F9A2EC6B Time : 1629.0 sec. user=vaughan [2011-02-08 19:42:12] 2303*2^274874-1 is not prime. Res64: 91ABCB74913A8483 Time : 1097.0 sec. user=vaughan [2011-02-08 20:00:11] 2303*2^274960-1 is not prime. Res64: 7094A50374E6A150 Time : 1079.0 sec. user=mdettweiler [2011-02-08 20:07:37] 2303*2^274884-1 is not prime. Res64: 827E34CDA64DADAA Time : 1625.0 sec. user=vaughan [2011-02-08 20:18:12] 2303*2^274986-1 is not prime. Res64: E749680CCBA8EE72 Time : 1080.0 sec. user=mdettweiler [2011-02-08 20:34:46] 2303*2^275000-1 is not prime. Res64: E1C0471A16B3277C Time : 1629.0 sec. user=vaughan [2011-02-08 20:36:19] 2303*2^275016-1 is not prime. Res64: 76A6A6F050DC3912 Time : 1086.0 sec. user=vaughan [2011-02-08 20:54:20] 2303*2^275046-1 is not prime. Res64: B9A781AE107385CB Time : 1081.0 sec. user=mdettweiler [2011-02-08 21:01:53] 2303*2^275030-1 is not prime. Res64: 299489EA7BD7CE4F Time : 1627.0 sec. user=vaughan [2011-02-08 21:12:21] 2303*2^275070-1 is not prime. Res64: 6886BC391C1CC516 Time : 1080.0 sec. user=mdettweiler [2011-02-08 21:28:58] 2303*2^275106-1 is not prime. Res64: 01CFDDDBD95FB6EC Time : 1625.0 sec. user=vaughan [2011-02-08 21:30:24] 2303*2^275114-1 is not prime. Res64: DF0CCACF8A8A673E Time : 1082.0 sec. user=vaughan [2011-02-08 21:48:25] 2303*2^275160-1 is not prime. Res64: E3AB88F6BC627C80 Time : 1081.0 sec. user=mdettweiler [2011-02-08 21:56:32] 2303*2^275144-1 is not prime. Res64: D911CA6DB00838E3 Time : 1654.0 sec. user=vaughan [2011-02-08 22:06:26] 2303*2^275260-1 is not prime. Res64: 4EF0667F9C34C6E5 Time : 1081.0 sec. user=mdettweiler [2011-02-08 22:23:41] 2303*2^275286-1 is not prime. Res64: 7DCE60958A116D1A Time : 1629.0 sec. user=vaughan [2011-02-08 22:24:28] 2303*2^275294-1 is not prime. Res64: 4467C4D3D8F22FC8 Time : 1081.0 sec. user=vaughan [2011-02-08 22:42:31] 2303*2^275396-1 is not prime. Res64: E623E4569C232E17 Time : 1083.0 sec. user=mdettweiler [2011-02-08 22:50:51] 2303*2^275306-1 is not prime. Res64: 0E355620F63DC4EA Time : 1629.0 sec. user=vaughan [2011-02-08 23:00:33] 2303*2^275430-1 is not prime. Res64: A99473841077454B Time : 1081.0 sec. user=mdettweiler [2011-02-08 23:18:06] 2303*2^275436-1 is not prime. Res64: 273343DED894B8D6 Time : 1634.0 sec. user=vaughan [2011-02-08 23:18:36] 2303*2^275472-1 is not prime. Res64: EB3413E3700E2934 Time : 1083.0 sec. user=vaughan [2011-02-08 23:36:40] 2303*2^275512-1 is not prime. Res64: 3B387283B92215D1 Time : 1084.0 sec. user=mdettweiler [2011-02-08 23:45:20] 2303*2^275494-1 is not prime. Res64: 10646ED051534C68 Time : 1634.0 sec. user=vaughan [2011-02-08 23:54:42] 2303*2^275590-1 is not prime. Res64: 27797D32E030290F Time : 1081.0 sec.