user=vaughan [2011-02-01 00:06:46] 2303*2^251956-1 is not prime. Res64: DBE435FF94B32B12 Time : 992.0 sec. user=mdettweiler [2011-02-01 00:17:50] 2303*2^251992-1 is not prime. Res64: 0B12495B0D9948F7 Time : 1447.0 sec. user=vaughan [2011-02-01 00:23:20] 2303*2^252000-1 is not prime. Res64: 2D77C6ECE044B677 Time : 993.0 sec. user=mdettweiler [2011-02-01 00:35:45] 2303*2^252004-1 is not prime. Res64: 1286F69A80F6F1D3 Time : 1075.0 sec. user=vaughan [2011-02-01 00:39:54] 2303*2^252030-1 is not prime. Res64: 971743B4E04F7EAF Time : 994.0 sec. user=mdettweiler [2011-02-01 00:53:53] 2303*2^252064-1 is not prime. Res64: 17C30B5BDDD5F1C8 Time : 1087.0 sec. user=vaughan [2011-02-01 00:56:27] 2303*2^252114-1 is not prime. Res64: 4E3DC05C8A123523 Time : 993.0 sec. user=mdettweiler [2011-02-01 01:12:17] 2303*2^252126-1 is not prime. Res64: 5B3BFE2C9B68D98D Time : 1104.0 sec. user=vaughan [2011-02-01 01:13:00] 2303*2^252136-1 is not prime. Res64: E0F051D608700B8D Time : 993.0 sec. user=vaughan [2011-02-01 01:29:33] 2303*2^252172-1 is not prime. Res64: 5BAC168415C594A0 Time : 993.0 sec. user=mdettweiler [2011-02-01 01:30:11] 2303*2^252162-1 is not prime. Res64: D499C4E295D743A6 Time : 1077.0 sec. user=vaughan [2011-02-01 01:46:20] 2303*2^252192-1 is not prime. Res64: FB30DA275E9E4A6F Time : 1006.0 sec. user=mdettweiler [2011-02-01 01:48:08] 2303*2^252252-1 is not prime. Res64: 9A6F25663DA03A94 Time : 1074.0 sec. user=vaughan [2011-02-01 02:02:54] 2303*2^252260-1 is not prime. Res64: 850314CCAAAB08C6 Time : 994.0 sec. user=vaughan [2011-02-01 02:19:30] 2303*2^252264-1 is not prime. Res64: 3F6B3BC40323295B Time : 994.0 sec. user=mdettweiler [2011-02-01 02:30:37] 2303*2^252262-1 is not prime. Res64: EB385240E9EC028C Time : 2549.0 sec. user=vaughan [2011-02-01 02:36:10] 2303*2^252346-1 is not prime. Res64: 77F182F8393EAB74 Time : 1000.0 sec. user=vaughan [2011-02-01 02:52:46] 2303*2^252402-1 is not prime. Res64: 2B7400491176818A Time : 995.0 sec. user=vaughan [2011-02-01 03:09:22] 2303*2^252410-1 is not prime. Res64: A51943A1A7A29B30 Time : 996.0 sec. user=mdettweiler [2011-02-01 03:11:12] 2303*2^252390-1 is not prime. Res64: 714584C77B8E29B1 Time : 2435.0 sec. user=vaughan [2011-02-01 03:25:57] 2303*2^252436-1 is not prime. Res64: 2417B7F6524701D2 Time : 994.0 sec. user=mdettweiler [2011-02-01 03:29:10] 2303*2^252460-1 is not prime. Res64: EDC500C488F6A439 Time : 1078.0 sec. user=vaughan [2011-02-01 03:42:34] 2303*2^252462-1 is not prime. Res64: 2E0D547A037226CF Time : 996.0 sec. user=mdettweiler [2011-02-01 03:47:09] 2303*2^252494-1 is not prime. Res64: D80F42B617C0C8A5 Time : 1079.0 sec. user=vaughan [2011-02-01 03:59:10] 2303*2^252504-1 is not prime. Res64: 0F170A872F10DD1A Time : 995.0 sec. user=mdettweiler [2011-02-01 04:05:30] 2303*2^252514-1 is not prime. Res64: 9A253C7489825D47 Time : 1101.0 sec. user=vaughan [2011-02-01 04:15:44] 2303*2^252522-1 is not prime. Res64: 78AC9CF85B5DCD0C Time : 994.0 sec. user=mdettweiler [2011-02-01 04:24:13] 2303*2^252570-1 is not prime. Res64: 31C71E81F7F75A9B Time : 1123.0 sec. user=vaughan [2011-02-01 04:32:24] 2303*2^252590-1 is not prime. Res64: 81B55128E1C02838 Time : 999.0 sec. user=mdettweiler [2011-02-01 04:42:55] 2303*2^252616-1 is not prime. Res64: 062CA5BBD3296189 Time : 1122.0 sec. user=vaughan [2011-02-01 04:49:06] 2303*2^252650-1 is not prime. Res64: 7A891C2E76C10A88 Time : 1001.0 sec. user=mdettweiler [2011-02-01 05:00:53] 2303*2^252656-1 is not prime. Res64: D2A99EA483B40A3F Time : 1078.0 sec. user=vaughan [2011-02-01 05:05:42] 2303*2^252666-1 is not prime. Res64: A7F73D1B24585ABD Time : 995.0 sec. user=mdettweiler [2011-02-01 05:18:49] 2303*2^252694-1 is not prime. Res64: 0B6AD10FE97C4C90 Time : 1076.0 sec. user=vaughan [2011-02-01 05:22:16] 2303*2^252716-1 is not prime. Res64: 5CD529F3AE3EB706 Time : 994.0 sec. user=mdettweiler [2011-02-01 05:38:09] 2303*2^252720-1 is not prime. Res64: 5FF798B22B16331C Time : 1160.0 sec. user=vaughan [2011-02-01 05:38:53] 2303*2^252726-1 is not prime. Res64: DE592676B52CF8C4 Time : 997.0 sec. user=vaughan [2011-02-01 05:55:29] 2303*2^252766-1 is not prime. Res64: 9B17F06762477C4B Time : 996.0 sec. user=mdettweiler [2011-02-01 05:56:05] 2303*2^252734-1 is not prime. Res64: F2DD90FDDDD659D5 Time : 1076.0 sec. user=vaughan [2011-02-01 06:12:03] 2303*2^252836-1 is not prime. Res64: 2FB2EF7DC38F838F Time : 993.0 sec. user=mdettweiler [2011-02-01 06:14:00] 2303*2^252840-1 is not prime. Res64: D3466B4A30D69A51 Time : 1074.0 sec. user=vaughan [2011-02-01 06:28:42] 2303*2^252846-1 is not prime. Res64: 6924A65F171F72DF Time : 998.0 sec. user=mdettweiler [2011-02-01 06:31:59] 2303*2^252864-1 is not prime. Res64: 3F9E602F1847F1FA Time : 1078.0 sec. user=vaughan [2011-02-01 06:45:29] 2303*2^252900-1 is not prime. Res64: 4CC851EC90B88714 Time : 1007.0 sec. user=mdettweiler [2011-02-01 06:49:57] 2303*2^252940-1 is not prime. Res64: 383FE5F82499664E Time : 1078.0 sec. user=vaughan [2011-02-01 07:02:03] 2303*2^252986-1 is not prime. Res64: 7BACB311A3B588B4 Time : 994.0 sec. user=mdettweiler [2011-02-01 07:07:56] 2303*2^252994-1 is not prime. Res64: 2902C6FCAF782293 Time : 1078.0 sec. user=vaughan [2011-02-01 07:18:42] 2303*2^253004-1 is not prime. Res64: C5A93F11ED81546C Time : 998.0 sec. user=mdettweiler [2011-02-01 07:25:56] 2303*2^253026-1 is not prime. Res64: B7BA0EA66A3F8D55 Time : 1079.0 sec. user=vaughan [2011-02-01 07:35:23] 2303*2^253030-1 is not prime. Res64: 7C4CE2D70D5C87F7 Time : 1000.0 sec. user=mdettweiler [2011-02-01 07:43:56] 2303*2^253044-1 is not prime. Res64: EEE42B5F8F09D880 Time : 1080.0 sec. user=vaughan [2011-02-01 07:52:02] 2303*2^253072-1 is not prime. Res64: 664D96B501F1AD83 Time : 998.0 sec. user=mdettweiler [2011-02-01 08:02:00] 2303*2^253092-1 is not prime. Res64: 9E32386AE7D08D66 Time : 1084.0 sec. user=vaughan [2011-02-01 08:09:15] 2303*2^253120-1 is not prime. Res64: E8A9521627E515BF Time : 1032.0 sec. user=mdettweiler [2011-02-01 08:21:27] 2303*2^253122-1 is not prime. Res64: 403909D22E592B80 Time : 1167.0 sec. user=vaughan [2011-02-01 08:25:48] 2303*2^253126-1 is not prime. Res64: 8C85EC172F9A93C9 Time : 993.0 sec. user=mdettweiler [2011-02-01 08:39:28] 2303*2^253160-1 is not prime. Res64: A8107DB2756C9CD7 Time : 1081.0 sec. user=vaughan [2011-02-01 08:42:29] 2303*2^253182-1 is not prime. Res64: 228F154E43BAA744 Time : 1000.0 sec. user=mdettweiler [2011-02-01 08:57:28] 2303*2^253184-1 is not prime. Res64: 75C8BF73ADC3391A Time : 1079.0 sec. user=vaughan [2011-02-01 08:59:03] 2303*2^253214-1 is not prime. Res64: 491A0CE7A4CCDC03 Time : 993.0 sec. user=mdettweiler [2011-02-01 09:15:26] 2303*2^253226-1 is not prime. Res64: 79837FBA2C603FD7 Time : 1078.0 sec. user=vaughan [2011-02-01 09:15:38] 2303*2^253254-1 is not prime. Res64: 193F64C74DEF8005 Time : 994.0 sec. user=mdettweiler [2011-02-01 09:33:26] 2303*2^253264-1 is not prime. Res64: 67306D58ACEB8559 Time : 1079.0 sec. user=vaughan [2011-02-01 09:33:36] 2303*2^253296-1 is not prime. Res64: 6320D71C2D85F34D Time : 1077.0 sec. user=vaughan [2011-02-01 09:50:13] 2303*2^253386-1 is not prime. Res64: 19BC366BCA43A50C Time : 997.0 sec. user=mdettweiler [2011-02-01 09:51:25] 2303*2^253350-1 is not prime. Res64: 2ECE678FA99B15C2 Time : 1079.0 sec. user=vaughan [2011-02-01 10:06:48] 2303*2^253390-1 is not prime. Res64: 0DBB6998111A0398 Time : 995.0 sec. user=mdettweiler [2011-02-01 10:09:25] 2303*2^253392-1 is not prime. Res64: CF445E14C1F650F5 Time : 1079.0 sec. user=vaughan [2011-02-01 10:23:23] 2303*2^253406-1 is not prime. Res64: 165B45D10D8485F6 Time : 995.0 sec. user=mdettweiler [2011-02-01 10:27:31] 2303*2^253414-1 is not prime. Res64: BFE722CC4BB6F1DD Time : 1086.0 sec. user=vaughan [2011-02-01 10:40:15] 2303*2^253430-1 is not prime. Res64: 58CD82C7495D5FB5 Time : 1011.0 sec. user=mdettweiler [2011-02-01 10:45:32] 2303*2^253436-1 is not prime. Res64: 220E4423187349B3 Time : 1081.0 sec. user=vaughan [2011-02-01 10:57:29] 2303*2^253440-1 is not prime. Res64: 404B886B3DE50FD8 Time : 1034.0 sec. user=mdettweiler [2011-02-01 11:03:31] 2303*2^253452-1 is not prime. Res64: AB93CAF07D26872E Time : 1079.0 sec. user=vaughan [2011-02-01 11:14:05] 2303*2^253464-1 is not prime. Res64: C23595D482471F17 Time : 996.0 sec. user=mdettweiler [2011-02-01 11:21:32] 2303*2^253486-1 is not prime. Res64: 68667BE812092561 Time : 1081.0 sec. user=vaughan [2011-02-01 11:30:48] 2303*2^253494-1 is not prime. Res64: 25A7BFE7F50FCDA9 Time : 1003.0 sec. user=mdettweiler [2011-02-01 11:39:32] 2303*2^253514-1 is not prime. Res64: 258223CB4739DD07 Time : 1080.0 sec. user=vaughan [2011-02-01 11:47:25] 2303*2^253526-1 is not prime. Res64: 128CEF1E288A1C45 Time : 997.0 sec. user=mdettweiler [2011-02-01 11:57:35] 2303*2^253536-1 is not prime. Res64: FF82B147204E1A39 Time : 1082.0 sec. user=vaughan [2011-02-01 12:04:01] 2303*2^253556-1 is not prime. Res64: 56F4551199239040 Time : 995.0 sec. user=mdettweiler [2011-02-01 12:15:57] 2303*2^253596-1 is not prime. Res64: 4122B064238327F3 Time : 1102.0 sec. user=vaughan [2011-02-01 12:20:37] 2303*2^253656-1 is not prime. Res64: 87906DC94B3F20D8 Time : 995.0 sec. user=mdettweiler [2011-02-01 12:34:00] 2303*2^253662-1 is not prime. Res64: 1692421234516E12 Time : 1083.0 sec. user=vaughan [2011-02-01 12:37:16] 2303*2^253670-1 is not prime. Res64: 0B0E01CC41EB34EB Time : 998.0 sec. user=mdettweiler [2011-02-01 12:52:08] 2303*2^253706-1 is not prime. Res64: 60CBB800EEBEAABF Time : 1088.0 sec. user=vaughan [2011-02-01 12:53:54] 2303*2^253752-1 is not prime. Res64: C42C3C02FDECE923 Time : 998.0 sec. user=mdettweiler [2011-02-01 13:10:11] 2303*2^253760-1 is not prime. Res64: A5839369516D862A Time : 1082.0 sec. user=vaughan [2011-02-01 13:10:31] 2303*2^253770-1 is not prime. Res64: 1268FE27BF2BDBF2 Time : 996.0 sec. user=vaughan [2011-02-01 13:27:08] 2303*2^253794-1 is not prime. Res64: DCB266BB398014AE Time : 996.0 sec. user=mdettweiler [2011-02-01 13:28:15] 2303*2^253774-1 is not prime. Res64: DE54B93829293249 Time : 1084.0 sec. user=vaughan [2011-02-01 13:43:47] 2303*2^253864-1 is not prime. Res64: 6D7C411A820AF3D1 Time : 998.0 sec. user=mdettweiler [2011-02-01 13:46:18] 2303*2^253880-1 is not prime. Res64: 8E043598682E5FA4 Time : 1083.0 sec. user=vaughan [2011-02-01 14:00:24] 2303*2^253886-1 is not prime. Res64: 82801CAB052FFA93 Time : 997.0 sec. user=mdettweiler [2011-02-01 14:04:21] 2303*2^253970-1 is not prime. Res64: D67823C9053084DA Time : 1083.0 sec. user=vaughan [2011-02-01 14:17:02] 2303*2^253972-1 is not prime. Res64: F25B5E937385FE6C Time : 998.0 sec. user=mdettweiler [2011-02-01 14:22:23] 2303*2^253992-1 is not prime. Res64: 39F9423CA282FA1D Time : 1082.0 sec. user=vaughan [2011-02-01 14:33:43] 2303*2^254002-1 is not prime. Res64: 2812EBF0E2880587 Time : 1001.0 sec. user=mdettweiler [2011-02-01 14:40:26] 2303*2^254016-1 is not prime. Res64: 6380B6130517250A Time : 1083.0 sec. user=vaughan [2011-02-01 14:50:21] 2303*2^254020-1 is not prime. Res64: 96CD40ABECA29327 Time : 997.0 sec. user=mdettweiler [2011-02-01 14:58:28] 2303*2^254060-1 is not prime. Res64: D1C459EA0F4AA9D6 Time : 1082.0 sec. user=vaughan [2011-02-01 15:06:59] 2303*2^254062-1 is not prime. Res64: 9156B5772B40D38A Time : 998.0 sec. user=mdettweiler [2011-02-01 15:16:38] 2303*2^254106-1 is not prime. Res64: 7B2D5345ED9F692C Time : 1089.0 sec. user=vaughan [2011-02-01 15:23:38] 2303*2^254154-1 is not prime. Res64: 2C8BF5CD5AEEABD5 Time : 998.0 sec. user=mdettweiler [2011-02-01 15:34:42] 2303*2^254160-1 is not prime. Res64: 4FC6BC3C16D47344 Time : 1084.0 sec. user=vaughan [2011-02-01 15:40:18] 2303*2^254196-1 is not prime. Res64: 5768669D05020A96 Time : 1000.0 sec. user=mdettweiler [2011-02-01 15:52:48] 2303*2^254264-1 is not prime. Res64: AD86DB0EC3D3DEDB Time : 1086.0 sec. user=vaughan [2011-02-01 15:56:57] 2303*2^254292-1 is not prime. Res64: B85C4959880E28AA Time : 999.0 sec. user=mdettweiler [2011-02-01 16:11:15] 2303*2^254326-1 is not prime. Res64: CEF6BA65D077B2D7 Time : 1107.0 sec. user=vaughan [2011-02-01 16:13:35] 2303*2^254330-1 is not prime. Res64: DFE9C387BA725CF1 Time : 998.0 sec. user=mdettweiler [2011-02-01 16:29:20] 2303*2^254344-1 is not prime. Res64: F3A9A08B0F249D19 Time : 1085.0 sec. user=vaughan [2011-02-01 16:30:22] 2303*2^254362-1 is not prime. Res64: 0F1D03441DD1916A Time : 1006.0 sec. user=vaughan [2011-02-01 16:47:09] 2303*2^254382-1 is not prime. Res64: 29FD4BDA9DEEA612 Time : 1006.0 sec. user=mdettweiler [2011-02-01 16:47:26] 2303*2^254366-1 is not prime. Res64: 55BC48C1326C3413 Time : 1086.0 sec. user=vaughan [2011-02-01 17:03:49] 2303*2^254414-1 is not prime. Res64: F4A5B00D2ECF1101 Time : 999.0 sec. user=mdettweiler [2011-02-01 17:05:31] 2303*2^254420-1 is not prime. Res64: 46B72144F9AAB201 Time : 1084.0 sec. user=vaughan [2011-02-01 17:20:32] 2303*2^254454-1 is not prime. Res64: 97C6B99F1F25BED3 Time : 1003.0 sec. user=mdettweiler [2011-02-01 17:23:35] 2303*2^254480-1 is not prime. Res64: 8C97B0DE9C0CB577 Time : 1084.0 sec. user=vaughan [2011-02-01 17:37:26] 2303*2^254494-1 is not prime. Res64: F1044DB63B22FC22 Time : 1013.0 sec. user=mdettweiler [2011-02-01 17:41:41] 2303*2^254546-1 is not prime. Res64: C07F863D0AB03D94 Time : 1086.0 sec. user=vaughan [2011-02-01 17:54:08] 2303*2^254592-1 is not prime. Res64: 2D7156CC64FA6D69 Time : 1002.0 sec. user=mdettweiler [2011-02-01 18:06:53] 2303*2^254594-1 is not prime. Res64: D444354B1F331305 Time : 1512.0 sec. user=vaughan [2011-02-01 18:10:51] 2303*2^254622-1 is not prime. Res64: 5068B87505510691 Time : 1003.0 sec. user=vaughan [2011-02-01 18:27:33] 2303*2^254690-1 is not prime. Res64: 3608A6AC7DB6A2A1 Time : 1001.0 sec. user=mdettweiler [2011-02-01 18:31:59] 2303*2^254674-1 is not prime. Res64: F7D97A1DD896286E Time : 1506.0 sec. user=vaughan [2011-02-01 18:44:18] 2303*2^254740-1 is not prime. Res64: 9BF282E4E376DEE8 Time : 1004.0 sec. user=mdettweiler [2011-02-01 18:57:08] 2303*2^254744-1 is not prime. Res64: 152EBBAFDC823E04 Time : 1509.0 sec. user=vaughan [2011-02-01 19:01:04] 2303*2^254790-1 is not prime. Res64: 499920916BE0E08E Time : 1005.0 sec. user=vaughan [2011-02-01 19:17:45] 2303*2^254816-1 is not prime. Res64: 3E320DE7D5B0D7A4 Time : 1001.0 sec. user=mdettweiler [2011-02-01 19:22:16] 2303*2^254800-1 is not prime. Res64: 8465FDA3AC314F1D Time : 1508.0 sec. user=vaughan [2011-02-01 19:34:30] 2303*2^254836-1 is not prime. Res64: E6311BD2E9298DFB Time : 1004.0 sec. user=mdettweiler [2011-02-01 19:47:24] 2303*2^254844-1 is not prime. Res64: C7538508434F25FE Time : 1508.0 sec. user=vaughan [2011-02-01 19:51:14] 2303*2^254846-1 is not prime. Res64: 3ACC935D0DE87ABD Time : 1003.0 sec. user=vaughan [2011-02-01 20:07:56] 2303*2^254876-1 is not prime. Res64: 4658A61647586F15 Time : 1001.0 sec. user=mdettweiler [2011-02-01 20:12:51] 2303*2^254850-1 is not prime. Res64: 51CBC6BCAFA653A7 Time : 1527.0 sec. user=vaughan [2011-02-01 20:24:39] 2303*2^254920-1 is not prime. Res64: AE895C5EA41BB2DF Time : 1002.0 sec. user=mdettweiler [2011-02-01 20:37:59] 2303*2^254934-1 is not prime. Res64: 32568D2A48A36F76 Time : 1508.0 sec. user=vaughan [2011-02-01 20:41:23] 2303*2^254940-1 is not prime. Res64: B6988419186A0C8C Time : 1003.0 sec. user=vaughan [2011-02-01 20:58:06] 2303*2^254974-1 is not prime. Res64: DF558A62EFDFC5BC Time : 1002.0 sec. user=mdettweiler [2011-02-01 21:03:06] 2303*2^254956-1 is not prime. Res64: F9B7AEBEB7574BE6 Time : 1506.0 sec. user=vaughan [2011-02-01 21:14:50] 2303*2^254982-1 is not prime. Res64: A8CD47A2C48BAD0D Time : 1003.0 sec. user=mdettweiler [2011-02-01 21:28:20] 2303*2^254984-1 is not prime. Res64: 0DDE828283CB79CD Time : 1514.0 sec. user=vaughan [2011-02-01 21:31:47] 2303*2^255020-1 is not prime. Res64: 78F2D892676A4CF9 Time : 1017.0 sec. user=vaughan [2011-02-01 21:48:33] 2303*2^255046-1 is not prime. Res64: A215D3BD41D4CCA1 Time : 1006.0 sec. user=mdettweiler [2011-02-01 21:53:31] 2303*2^255034-1 is not prime. Res64: FA02619D8F47382A Time : 1511.0 sec. user=vaughan [2011-02-01 22:05:17] 2303*2^255072-1 is not prime. Res64: A20527E57DDAD18D Time : 1003.0 sec. user=mdettweiler [2011-02-01 22:18:40] 2303*2^255120-1 is not prime. Res64: D10B49288A2ECD16 Time : 1509.0 sec. user=vaughan [2011-02-01 22:22:03] 2303*2^255154-1 is not prime. Res64: 495B6CF8B7EEA8B8 Time : 1005.0 sec. user=vaughan [2011-02-01 22:38:55] 2303*2^255194-1 is not prime. Res64: 78A190524741917F Time : 1012.0 sec. user=mdettweiler [2011-02-01 22:44:21] 2303*2^255172-1 is not prime. Res64: FCED72C3725916AB Time : 1541.0 sec. user=vaughan [2011-02-01 22:55:39] 2303*2^255216-1 is not prime. Res64: 29029511A42A4597 Time : 1004.0 sec. user=mdettweiler [2011-02-01 23:09:28] 2303*2^255222-1 is not prime. Res64: 61BB458ECA510ECE Time : 1507.0 sec. user=vaughan [2011-02-01 23:12:56] 2303*2^255250-1 is not prime. Res64: C463877BCBBF7C93 Time : 1036.0 sec. user=vaughan [2011-02-01 23:29:43] 2303*2^255270-1 is not prime. Res64: 8A15D6B8C64D9FB1 Time : 1006.0 sec. user=mdettweiler [2011-02-01 23:34:38] 2303*2^255254-1 is not prime. Res64: 38240E1DD379E6C0 Time : 1510.0 sec. user=vaughan [2011-02-01 23:46:31] 2303*2^255282-1 is not prime. Res64: 773FB5973BD6F49C Time : 1008.0 sec. user=mdettweiler [2011-02-02 00:00:01] 2303*2^255284-1 is not prime. Res64: 991259099D876260 Time : 1523.0 sec.