user=ototero [2012-12-25 00:07:34] 333*2^1952475-1 is not prime. Res64: 538F5C97E78C3AC3 Time : 14235.0 sec. user=ototero [2012-12-25 00:07:34] 315*2^1952478-1 is not prime. Res64: 9653BD3B1F75A046 Time : 14234.0 sec. user=kar_bon [2012-12-25 00:26:01] 321*2^1952503-1 is not prime. Res64: 0948E7B39E7DFF22 Time : 3861.0 sec. user=kar_bon [2012-12-25 00:56:09] 315*2^1952511-1 is not prime. Res64: 7D21BD9179FFB893 Time : 3861.0 sec. user=kar_bon [2012-12-25 01:30:25] 327*2^1952520-1 is not prime. Res64: 66FB7D49DEEEC496 Time : 3864.0 sec. user=ototero [2012-12-25 01:44:06] 315*2^1952499-1 is not prime. Res64: C7D344B691F06B3F Time : 10073.0 sec. user=ototero [2012-12-25 01:44:07] 327*2^1952501-1 is not prime. Res64: 993C6612DC7EB40A Time : 10074.0 sec. user=ototero [2012-12-25 01:57:52] 315*2^1952462-1 is not prime. Res64: 10CB63CD0FCB39DB Time : 21323.0 sec. user=ototero [2012-12-25 01:57:52] 339*2^1952467-1 is not prime. Res64: 0952B0FC8DCDBC1A Time : 21322.0 sec. user=ototero [2012-12-25 01:57:52] 327*2^1952469-1 is not prime. Res64: 0A013997A1A1E678 Time : 21322.0 sec. user=kar_bon [2012-12-25 02:00:36] 321*2^1952521-1 is not prime. Res64: CD74F8069BDADE56 Time : 3866.0 sec. user=kar_bon [2012-12-25 02:34:50] 315*2^1952524-1 is not prime. Res64: 11AAFAEA7C741145 Time : 3864.0 sec. user=ototero [2012-12-25 03:41:41] 339*2^1952120-1 is not prime. Res64: 2724DB2B6C00AF2C Time : 71020.0 sec. user=ototero [2012-12-25 03:41:41] 327*2^1952122-1 is not prime. Res64: 05DD324C24246F2F Time : 71020.0 sec. user=ototero [2012-12-25 03:41:41] 315*2^1952126-1 is not prime. Res64: C5C08F01521A5C2A Time : 71019.0 sec. user=ototero [2012-12-25 03:41:42] 315*2^1952128-1 is not prime. Res64: 5873B5E7BD6C5B6F Time : 71020.0 sec. user=ototero [2012-12-25 03:41:42] 321*2^1952134-1 is not prime. Res64: 9D3D71F84203DFF1 Time : 71020.0 sec. user=ototero [2012-12-25 03:41:42] 321*2^1952135-1 is not prime. Res64: 321686BA8DE2AEC3 Time : 71019.0 sec. user=ototero [2012-12-25 03:41:42] 339*2^1952135-1 is not prime. Res64: 32CB93BBA764D796 Time : 71019.0 sec. user=ototero [2012-12-25 03:41:42] 321*2^1952142-1 is not prime. Res64: 1FBED329FA293057 Time : 71019.0 sec. user=ototero [2012-12-25 03:41:42] 339*2^1952143-1 is not prime. Res64: E4783047E867ACBA Time : 71018.0 sec. user=ototero [2012-12-25 03:41:43] 333*2^1952144-1 is not prime. Res64: 5948F7EB05238D50 Time : 71019.0 sec. user=ototero [2012-12-25 04:00:50] 315*2^1952512-1 is not prime. Res64: 92568961835530AB Time : 13996.0 sec. user=ototero [2012-12-25 04:00:51] 315*2^1952514-1 is not prime. Res64: 924EAFF3C83DACE4 Time : 13997.0 sec. user=ototero [2012-12-25 04:36:51] 315*2^1952525-1 is not prime. Res64: 1641A25C2487AF9C Time : 10364.0 sec. user=ototero [2012-12-25 04:36:52] 321*2^1952525-1 is not prime. Res64: 319A4CB091A58E45 Time : 10365.0 sec. user=kar_bon [2012-12-25 04:53:27] 333*2^1952535-1 is not prime. Res64: AF90D8D33CBA8404 Time : 10370.0 sec. user=kar_bon [2012-12-25 05:27:03] 315*2^1952539-1 is not prime. Res64: 14143E7A7BB583DA Time : 10332.0 sec. user=kar_bon [2012-12-25 05:59:00] 315*2^1952590-1 is not prime. Res64: E9580D783B7C15A3 Time : 3933.0 sec. user=kar_bon [2012-12-25 06:32:43] 321*2^1952590-1 is not prime. Res64: 559D0577D6480B1A Time : 3940.0 sec. user=kar_bon [2012-12-25 07:05:04] 333*2^1952594-1 is not prime. Res64: 956EAE8FED489DAF Time : 3964.0 sec. user=ototero [2012-12-25 07:30:34] 345*2^1952487-1 is not prime. Res64: 5F5498E2B29B8F7B Time : 34892.0 sec. user=ototero [2012-12-25 07:30:34] 339*2^1952489-1 is not prime. Res64: F569ECCC631011B1 Time : 34892.0 sec. user=ototero [2012-12-25 07:30:34] 333*2^1952490-1 is not prime. Res64: EF0F15BB0CB72C5A Time : 34891.0 sec. user=ototero [2012-12-25 07:30:35] 345*2^1952490-1 is not prime. Res64: 4701353E11BDAD70 Time : 34892.0 sec. user=ototero [2012-12-25 07:30:35] 339*2^1952493-1 is not prime. Res64: 0213285F694322EC Time : 34892.0 sec. user=ototero [2012-12-25 07:37:54] 327*2^1952588-1 is not prime. Res64: EC70B99F7C08ACDF Time : 10862.0 sec. user=ototero [2012-12-25 07:37:55] 327*2^1952589-1 is not prime. Res64: E0436047F2D259F1 Time : 10863.0 sec. user=kar_bon [2012-12-25 07:38:07] 345*2^1952595-1 is not prime. Res64: AE116ED041BB63AA Time : 3923.0 sec. user=ototero [2012-12-25 07:41:31] 327*2^1952525-1 is not prime. Res64: D258E529A97B0E36 Time : 20619.0 sec. user=ototero [2012-12-25 07:41:31] 345*2^1952532-1 is not prime. Res64: 016CC17884D79506 Time : 20618.0 sec. user=ototero [2012-12-25 07:41:32] 315*2^1952535-1 is not prime. Res64: 344CC253C1F71AB9 Time : 20619.0 sec. user=ototero [2012-12-25 07:49:14] 315*2^1952578-1 is not prime. Res64: 1C55F0F559A08CED Time : 13703.0 sec. user=ototero [2012-12-25 07:49:14] 327*2^1952581-1 is not prime. Res64: 5CE665A35FD4F644 Time : 13703.0 sec. user=kar_bon [2012-12-25 08:10:20] 315*2^1952604-1 is not prime. Res64: 2FED0674FE412F3F Time : 3915.0 sec. user=kar_bon [2012-12-25 08:43:28] 327*2^1952629-1 is not prime. Res64: 8AAB801447E2C084 Time : 3920.0 sec. user=kar_bon [2012-12-25 09:15:37] 315*2^1952655-1 is not prime. Res64: 6C326AFBE496EEDB Time : 3916.0 sec. user=kar_bon [2012-12-25 09:48:38] 327*2^1952660-1 is not prime. Res64: 8D162052DCF88B44 Time : 3910.0 sec. user=kar_bon [2012-12-25 10:20:47] 333*2^1952663-1 is not prime. Res64: 4D340826CFFD6908 Time : 3909.0 sec. user=ototero [2012-12-25 10:25:53] 327*2^1952421-1 is not prime. Res64: 8AC3E5F8EFA50F33 Time : 52263.0 sec. user=ototero [2012-12-25 10:25:54] 345*2^1952427-1 is not prime. Res64: 2A9EF42A2F621CC6 Time : 52264.0 sec. user=ototero [2012-12-25 10:25:55] 333*2^1952430-1 is not prime. Res64: 446292CC73686019 Time : 52265.0 sec. user=ototero [2012-12-25 10:25:56] 345*2^1952431-1 is not prime. Res64: 59C75FB37C40F9D8 Time : 52265.0 sec. user=ototero [2012-12-25 10:26:00] 327*2^1952433-1 is not prime. Res64: 47CE49E3275360D8 Time : 52269.0 sec. user=ototero [2012-12-25 10:26:01] 321*2^1952434-1 is not prime. Res64: 713441CE4A310101 Time : 52270.0 sec. user=ototero [2012-12-25 10:26:01] 315*2^1952439-1 is not prime. Res64: EC00F18E774731DD Time : 52269.0 sec. user=ototero [2012-12-25 10:26:09] 321*2^1952454-1 is not prime. Res64: C7A1FAF5E8835553 Time : 52277.0 sec. user=ototero [2012-12-25 10:26:10] 315*2^1952459-1 is not prime. Res64: A6DB7FB7F8C3233C Time : 52278.0 sec. user=ototero [2012-12-25 10:26:11] 339*2^1952459-1 is not prime. Res64: CB8B4BAB00F9663C Time : 52278.0 sec. user=ototero [2012-12-25 10:38:00] 333*2^1952624-1 is not prime. Res64: B3CEDD3B5AC1F0DF Time : 10805.0 sec. user=ototero [2012-12-25 10:38:01] 345*2^1952626-1 is not prime. Res64: 4C39826922C9EBC1 Time : 10806.0 sec. user=kar_bon [2012-12-25 10:54:00] 327*2^1952665-1 is not prime. Res64: 9CBB874CFB3943C0 Time : 3921.0 sec. user=kar_bon [2012-12-25 11:26:08] 315*2^1952667-1 is not prime. Res64: 128E074839AC6478 Time : 3921.0 sec. user=ototero [2012-12-25 11:46:29] 315*2^1952642-1 is not prime. Res64: 08132DB0EBE6AC63 Time : 14235.0 sec. user=ototero [2012-12-25 11:46:29] 327*2^1952652-1 is not prime. Res64: 36F5362132508303 Time : 14234.0 sec. user=kar_bon [2012-12-25 11:59:18] 315*2^1952691-1 is not prime. Res64: 2122D2C5B328D504 Time : 3918.0 sec. user=kar_bon [2012-12-25 12:31:45] 339*2^1952691-1 is not prime. Res64: C4E133BCA551B1FB Time : 3935.0 sec. user=kar_bon [2012-12-25 13:04:36] 315*2^1952699-1 is not prime. Res64: EAB08E441B3810E0 Time : 3917.0 sec. user=ototero [2012-12-25 13:32:18] 333*2^1952688-1 is not prime. Res64: 1CF46BFEE5109831 Time : 10456.0 sec. user=ototero [2012-12-25 13:32:19] 321*2^1952690-1 is not prime. Res64: E322235978D8A561 Time : 10455.0 sec. user=ototero [2012-12-25 13:35:50] 339*2^1952631-1 is not prime. Res64: EC15A28A489FD581 Time : 21258.0 sec. user=ototero [2012-12-25 13:35:50] 315*2^1952632-1 is not prime. Res64: B237308A36ED2110 Time : 21258.0 sec. user=ototero [2012-12-25 13:35:51] 339*2^1952639-1 is not prime. Res64: 27CFF05079300B01 Time : 21258.0 sec. user=kar_bon [2012-12-25 13:37:04] 327*2^1952705-1 is not prime. Res64: 48F3E6EE8535A28A Time : 3918.0 sec. user=kar_bon [2012-12-25 14:09:55] 327*2^1952709-1 is not prime. Res64: 774BEF2B85AE220A Time : 3918.0 sec. user=kar_bon [2012-12-25 14:42:20] 321*2^1952726-1 is not prime. Res64: 20914D909CED904A Time : 3916.0 sec. user=kar_bon [2012-12-25 15:15:15] 339*2^1952729-1 is not prime. Res64: 4E43591B849838C9 Time : 3916.0 sec. user=ototero [2012-12-25 15:42:00] 315*2^1952695-1 is not prime. Res64: 8C5F139D6DE8E0DC Time : 14131.0 sec. user=ototero [2012-12-25 15:42:00] 327*2^1952698-1 is not prime. Res64: 8549CFA519784167 Time : 14130.0 sec. user=kar_bon [2012-12-25 15:47:40] 315*2^1952731-1 is not prime. Res64: F1D73D00B3B80439 Time : 3916.0 sec. user=kar_bon [2012-12-25 16:03:30] 339*2^1952265-1 is not prime. Res64: 8555B7CA70DD8645 Time : 85365.0 sec. user=kar_bon [2012-12-25 16:03:30] 315*2^1952266-1 is not prime. Res64: 513C19EE99D97496 Time : 85364.0 sec. user=kar_bon [2012-12-25 16:03:30] 327*2^1952266-1 is not prime. Res64: 7B63F5ACD8CEDC2A Time : 85364.0 sec. user=kar_bon [2012-12-25 16:03:30] 333*2^1952268-1 is not prime. Res64: 916FB813C846DA3D Time : 85363.0 sec. user=kar_bon [2012-12-25 16:03:31] 339*2^1952269-1 is not prime. Res64: E53C8F41DC259294 Time : 85364.0 sec. user=kar_bon [2012-12-25 16:03:31] 339*2^1952271-1 is not prime. Res64: A4D7FE20B645C11E Time : 85363.0 sec. user=kar_bon [2012-12-25 16:04:02] 327*2^1952272-1 is not prime. Res64: 7D1ECBCBBB6BE88B Time : 85394.0 sec. user=kar_bon [2012-12-25 16:04:02] 315*2^1952274-1 is not prime. Res64: 2599D7130C1C643B Time : 85393.0 sec. user=kar_bon [2012-12-25 16:04:03] 315*2^1952275-1 is not prime. Res64: E6FBF4A139D4C1B4 Time : 85394.0 sec. user=kar_bon [2012-12-25 16:04:03] 315*2^1952279-1 is not prime. Res64: E9E578F5EB1F7300 Time : 85393.0 sec. user=kar_bon [2012-12-25 16:04:03] 327*2^1952282-1 is not prime. Res64: E7EA04951E09F6DE Time : 85393.0 sec. user=kar_bon [2012-12-25 16:04:04] 327*2^1952285-1 is not prime. Res64: DB61230E64E1CD51 Time : 85393.0 sec. user=kar_bon [2012-12-25 16:04:40] 339*2^1952288-1 is not prime. Res64: E4E4809CC40C90D5 Time : 85428.0 sec. user=kar_bon [2012-12-25 16:04:41] 321*2^1952294-1 is not prime. Res64: AB08A235E90A6B94 Time : 85429.0 sec. user=kar_bon [2012-12-25 16:04:41] 339*2^1952295-1 is not prime. Res64: C0310E3AD8F3C7DD Time : 85428.0 sec. user=kar_bon [2012-12-25 16:04:41] 315*2^1952301-1 is not prime. Res64: 061E437373B14620 Time : 85428.0 sec. user=kar_bon [2012-12-25 16:04:41] 339*2^1952303-1 is not prime. Res64: 974D4EEEBA1B75C7 Time : 85427.0 sec. user=kar_bon [2012-12-25 16:04:42] 327*2^1952304-1 is not prime. Res64: 3DB54857C55B8856 Time : 85428.0 sec. user=kar_bon [2012-12-25 16:05:37] 315*2^1952307-1 is not prime. Res64: B5FE61473E59EE4F Time : 85479.0 sec. user=kar_bon [2012-12-25 16:05:37] 321*2^1952317-1 is not prime. Res64: 3852964636983F63 Time : 85478.0 sec. user=kar_bon [2012-12-25 16:05:38] 327*2^1952321-1 is not prime. Res64: 3554AF78E8FF7EEB Time : 85479.0 sec. user=kar_bon [2012-12-25 16:05:38] 339*2^1952321-1 is not prime. Res64: 61BE080C87FE6373 Time : 85478.0 sec. user=kar_bon [2012-12-25 16:05:38] 315*2^1952325-1 is not prime. Res64: F26A477125148D91 Time : 85478.0 sec. user=kar_bon [2012-12-25 16:05:39] 315*2^1952326-1 is not prime. Res64: CBC2F2A2BC4151D0 Time : 85478.0 sec. user=kar_bon [2012-12-25 16:06:50] 345*2^1952326-1 is not prime. Res64: 3B4E1F065CC91599 Time : 85548.0 sec. user=kar_bon [2012-12-25 16:06:50] 315*2^1952328-1 is not prime. Res64: D31DD38B62798931 Time : 85548.0 sec. user=kar_bon [2012-12-25 16:06:50] 315*2^1952332-1 is not prime. Res64: CB26D6BC943AEC5D Time : 85547.0 sec. user=kar_bon [2012-12-25 16:06:51] 345*2^1952332-1 is not prime. Res64: FC3E9495A4A221D5 Time : 85547.0 sec. user=kar_bon [2012-12-25 16:06:51] 321*2^1952338-1 is not prime. Res64: E035AE812356D34D Time : 85547.0 sec. user=kar_bon [2012-12-25 16:06:51] 333*2^1952348-1 is not prime. Res64: C2AF7CECEA74608E Time : 85546.0 sec. user=kar_bon [2012-12-25 16:07:29] 315*2^1952350-1 is not prime. Res64: 1CB579FD2F2FE030 Time : 85582.0 sec. user=kar_bon [2012-12-25 16:07:29] 345*2^1952350-1 is not prime. Res64: AECD1F435415BB6F Time : 85581.0 sec. user=kar_bon [2012-12-25 16:07:30] 345*2^1952352-1 is not prime. Res64: E5DAD41E060021FD Time : 85582.0 sec. user=kar_bon [2012-12-25 16:07:30] 321*2^1952354-1 is not prime. Res64: B615CD216973F47F Time : 85581.0 sec. user=kar_bon [2012-12-25 16:07:31] 327*2^1952356-1 is not prime. Res64: 47A86983E0AD428E Time : 85582.0 sec. user=kar_bon [2012-12-25 16:07:31] 339*2^1952365-1 is not prime. Res64: AB1F2ABC618E8131 Time : 85581.0 sec. user=kar_bon [2012-12-25 16:08:47] 333*2^1952363-1 is not prime. Res64: B817C44D1401AB7E Time : 85657.0 sec. user=kar_bon [2012-12-25 16:08:47] 339*2^1952381-1 is not prime. Res64: 616D311ED687F3BA Time : 85657.0 sec. user=kar_bon [2012-12-25 16:08:47] 345*2^1952385-1 is not prime. Res64: C65168214645831F Time : 85656.0 sec. user=kar_bon [2012-12-25 16:08:48] 315*2^1952387-1 is not prime. Res64: C1FD2477F19235A4 Time : 85657.0 sec. user=kar_bon [2012-12-25 16:08:48] 315*2^1952390-1 is not prime. Res64: B69BA0E5DE8D004C Time : 85656.0 sec. user=kar_bon [2012-12-25 16:08:48] 339*2^1952393-1 is not prime. Res64: AF1C9117B696094A Time : 85656.0 sec. user=kar_bon [2012-12-25 16:09:54] 339*2^1952395-1 is not prime. Res64: 05C306EFE8A77923 Time : 85719.0 sec. user=kar_bon [2012-12-25 16:09:54] 339*2^1952399-1 is not prime. Res64: AAB7328E91233832 Time : 85718.0 sec. user=kar_bon [2012-12-25 16:09:54] 321*2^1952402-1 is not prime. Res64: 8BB30C1452ABA437 Time : 85718.0 sec. user=kar_bon [2012-12-25 16:09:55] 315*2^1952406-1 is not prime. Res64: B610003895A405E5 Time : 85718.0 sec. user=kar_bon [2012-12-25 16:09:55] 345*2^1952407-1 is not prime. Res64: 3BF1F760D6EF28EA Time : 85718.0 sec. user=kar_bon [2012-12-25 16:09:55] 339*2^1952409-1 is not prime. Res64: 36F933E2AE1D28F7 Time : 85717.0 sec. user=ototero [2012-12-25 16:32:26] 315*2^1952712-1 is not prime. Res64: 06E39F913519AE1C Time : 10806.0 sec. user=ototero [2012-12-25 16:32:27] 315*2^1952719-1 is not prime. Res64: FAA21FC01A6BEF8C Time : 10806.0 sec. user=ototero [2012-12-25 17:23:33] 327*2^1952604-1 is not prime. Res64: D3A7D0699052ED22 Time : 35578.0 sec. user=ototero [2012-12-25 17:23:33] 333*2^1952607-1 is not prime. Res64: 7B0283A607581A1E Time : 35578.0 sec. user=ototero [2012-12-25 17:23:34] 327*2^1952612-1 is not prime. Res64: 53598D285BEB3D65 Time : 35578.0 sec. user=ototero [2012-12-25 17:23:34] 327*2^1952613-1 is not prime. Res64: DAA2676184E13095 Time : 35578.0 sec. user=ototero [2012-12-25 17:23:34] 345*2^1952616-1 is not prime. Res64: 02D2BFD51E457239 Time : 35577.0 sec. user=ototero [2012-12-25 19:32:01] 339*2^1952720-1 is not prime. Res64: 9BB8A6BD28B59B70 Time : 21369.0 sec. user=ototero [2012-12-25 19:32:01] 321*2^1952725-1 is not prime. Res64: 735ED20227DBA96A Time : 21366.0 sec. user=ototero [2012-12-25 19:32:01] 315*2^1952726-1 is not prime. Res64: 07AC0694CF52FBBE Time : 21365.0 sec. user=ototero [2012-12-25 19:36:53] 345*2^1952736-1 is not prime. Res64: 0A52FAA2DDBCB1A0 Time : 14092.0 sec. user=ototero [2012-12-25 19:36:53] 321*2^1952737-1 is not prime. Res64: F91CE4405B15FB81 Time : 14092.0 sec. user=ototero [2012-12-25 19:38:29] 339*2^1952927-1 is not prime. Res64: 4FB043C9FF34CEEF Time : 11162.0 sec. user=ototero [2012-12-25 19:38:29] 339*2^1952929-1 is not prime. Res64: 8EC28C86A6B76A68 Time : 11162.0 sec. user=kar_bon [2012-12-25 20:05:18] 321*2^1952735-1 is not prime. Res64: 69D4D5F083F39098 Time : 17403.0 sec. user=kar_bon [2012-12-25 20:36:41] 315*2^1952740-1 is not prime. Res64: B47F9E2A7F7A6F19 Time : 17341.0 sec. user=kar_bon [2012-12-25 21:09:48] 339*2^1952991-1 is not prime. Res64: CA79D7BE15F4F9D2 Time : 3868.0 sec. user=kar_bon [2012-12-25 21:41:15] 339*2^1952992-1 is not prime. Res64: D2B78B91D5D8F47F Time : 3873.0 sec. user=kar_bon [2012-12-25 22:14:24] 315*2^1952997-1 is not prime. Res64: E649406A6A31C160 Time : 3875.0 sec. user=ototero [2012-12-25 22:37:57] 315*2^1952986-1 is not prime. Res64: 54D0A16827AF05FF Time : 10766.0 sec. user=ototero [2012-12-25 22:37:58] 315*2^1952987-1 is not prime. Res64: 25A96D1AAD73A966 Time : 10767.0 sec. user=kar_bon [2012-12-25 22:45:50] 315*2^1953000-1 is not prime. Res64: BEB60A2464D3976B Time : 3874.0 sec. user=ototero [2012-12-25 23:03:08] 315*2^1952542-1 is not prime. Res64: F6082E0F851B2821 Time : 69685.0 sec. user=ototero [2012-12-25 23:03:08] 321*2^1952546-1 is not prime. Res64: 218E9A18A3A79957 Time : 69685.0 sec. user=ototero [2012-12-25 23:03:08] 339*2^1952552-1 is not prime. Res64: 01E219C1F1444963 Time : 69684.0 sec. user=ototero [2012-12-25 23:03:08] 327*2^1952553-1 is not prime. Res64: 223BE7340E427EED Time : 69684.0 sec. user=ototero [2012-12-25 23:03:08] 333*2^1952555-1 is not prime. Res64: 878CFA43349FC0D7 Time : 69684.0 sec. user=ototero [2012-12-25 23:03:08] 345*2^1952560-1 is not prime. Res64: A3761BF926F1AD3D Time : 69683.0 sec. user=ototero [2012-12-25 23:03:09] 339*2^1952571-1 is not prime. Res64: 22F9ABDBFE3C7D8C Time : 69684.0 sec. user=ototero [2012-12-25 23:03:09] 345*2^1952571-1 is not prime. Res64: FBA995572E01CAC4 Time : 69683.0 sec. user=ototero [2012-12-25 23:03:09] 321*2^1952574-1 is not prime. Res64: 13321C2889A945B7 Time : 69683.0 sec. user=ototero [2012-12-25 23:03:09] 333*2^1952574-1 is not prime. Res64: 68A1BA6AB0F05334 Time : 69683.0 sec. user=kar_bon [2012-12-25 23:18:58] 327*2^1953001-1 is not prime. Res64: 5A32E00A6A3D8428 Time : 3875.0 sec. user=ototero [2012-12-25 23:25:39] 345*2^1952980-1 is not prime. Res64: 8347A8235333A0FB Time : 13725.0 sec. user=ototero [2012-12-25 23:25:39] 315*2^1952982-1 is not prime. Res64: 74E183256E7CE7D9 Time : 13725.0 sec. user=kar_bon [2012-12-25 23:50:30] 315*2^1953030-1 is not prime. Res64: 8A4E700D6EC73087 Time : 3879.0 sec.