user=kar_bon [2009-05-08 00:01:02] 321*2^797717-1 is not prime. Res64: BFA5CF2DA0648CC4 Time : 57722.0 sec. user=kar_bon [2009-05-08 00:01:03] 327*2^797724-1 is not prime. Res64: FD07533A8BB101D9 Time : 57722.0 sec. user=kar_bon [2009-05-08 00:01:04] 333*2^797724-1 is not prime. Res64: 30A2E47CBAF7D33B Time : 57723.0 sec. user=kar_bon [2009-05-08 00:01:05] 321*2^797725-1 is not prime. Res64: A7E1E706F8F78261 Time : 57724.0 sec. user=kar_bon [2009-05-08 00:01:06] 315*2^797728-1 is not prime. Res64: 99E8D8EAEC5134CE Time : 57724.0 sec. user=kar_bon [2009-05-08 00:01:07] 339*2^797728-1 is not prime. Res64: 3EA0491BFCD56CB8 Time : 57725.0 sec. user=kar_bon [2009-05-08 00:01:08] 339*2^797729-1 is not prime. Res64: 44A7A43AD0239CE1 Time : 57725.0 sec. user=kar_bon [2009-05-08 00:01:09] 321*2^797730-1 is not prime. Res64: 499F58B8534F92C4 Time : 57726.0 sec. user=kar_bon [2009-05-08 00:01:10] 321*2^797734-1 is not prime. Res64: 84E670A0EFF050B8 Time : 57727.0 sec. user=kar_bon [2009-05-08 00:01:11] 321*2^797735-1 is not prime. Res64: 8AA86B5455FEF8D8 Time : 57727.0 sec. user=kar_bon [2009-05-08 00:01:12] 327*2^797736-1 is not prime. Res64: 51F575C691F1DC8F Time : 57728.0 sec. user=kar_bon [2009-05-08 00:01:13] 345*2^797742-1 is not prime. Res64: 4DF8BF41E22B7ABA Time : 57728.0 sec. user=kar_bon [2009-05-08 00:01:14] 315*2^797746-1 is not prime. Res64: 959E81F5E73DC5EF Time : 57729.0 sec. user=kar_bon [2009-05-08 00:01:15] 315*2^797750-1 is not prime. Res64: 909C0DC2F5D59B9B Time : 57730.0 sec. user=kar_bon [2009-05-08 00:01:16] 327*2^797752-1 is not prime. Res64: 95E4ECE945559C6E Time : 57730.0 sec. user=kar_bon [2009-05-08 00:01:17] 321*2^797758-1 is not prime. Res64: 5D0D5AFAE2CF1656 Time : 57731.0 sec. user=kar_bon [2009-05-08 00:01:18] 315*2^797764-1 is not prime. Res64: 09A101B15A5712B4 Time : 57731.0 sec. user=kar_bon [2009-05-08 00:01:19] 327*2^797764-1 is not prime. Res64: 44B736837F16C17B Time : 57732.0 sec. user=kar_bon [2009-05-08 00:01:20] 345*2^797764-1 is not prime. Res64: B99E57ACBA226F9E Time : 57733.0 sec. user=kar_bon [2009-05-08 00:01:20] 333*2^797768-1 is not prime. Res64: 2A44FED9C9028DC0 Time : 57732.0 sec. user=kar_bon [2009-05-08 00:01:21] 315*2^797770-1 is not prime. Res64: 6ABF61AD33A2B477 Time : 57733.0 sec. user=kar_bon [2009-05-08 00:01:52] 315*2^795124-1 is not prime. Res64: 457412E32AD1A443 Time : 118740.0 sec. user=kar_bon [2009-05-08 00:01:53] 327*2^795124-1 is not prime. Res64: 59605525CE487FD2 Time : 118741.0 sec. user=kar_bon [2009-05-08 00:01:54] 321*2^795125-1 is not prime. Res64: CD62420CD6F79F9B Time : 118741.0 sec. user=kar_bon [2009-05-08 00:01:55] 321*2^795127-1 is not prime. Res64: 80096A81E3D5D80B Time : 118742.0 sec. user=kar_bon [2009-05-08 00:01:56] 339*2^795127-1 is not prime. Res64: F0FAD672AFF787EB Time : 118742.0 sec. user=kar_bon [2009-05-08 00:01:56] 339*2^797803-1 is not prime. Res64: 08A5E11ACC4C2C1D Time : 57759.0 sec. user=kar_bon [2009-05-08 00:01:57] 321*2^797807-1 is not prime. Res64: 6B965512CC941C33 Time : 57760.0 sec. user=kar_bon [2009-05-08 00:01:58] 333*2^797807-1 is not prime. Res64: CF888612BF454482 Time : 57761.0 sec. user=kar_bon [2009-05-08 00:01:58] 315*2^797811-1 is not prime. Res64: E2D8FDCA9F49DF5F Time : 57760.0 sec. user=kar_bon [2009-05-08 00:01:59] 339*2^797811-1 is not prime. Res64: EC25AD5B86589E52 Time : 57761.0 sec. user=kar_bon [2009-05-08 00:02:00] 339*2^797813-1 is not prime. Res64: 2A9F30B22F0870A4 Time : 57761.0 sec. user=kar_bon [2009-05-08 00:02:00] 315*2^797814-1 is not prime. Res64: F31C8F21785D1EC2 Time : 57761.0 sec. user=kar_bon [2009-05-08 00:02:01] 321*2^797814-1 is not prime. Res64: B7B7BB20DF91DC71 Time : 57762.0 sec. user=kar_bon [2009-05-08 00:02:02] 345*2^797814-1 is not prime. Res64: 99D3574CB522A615 Time : 57762.0 sec. user=kar_bon [2009-05-08 00:02:03] 315*2^797827-1 is not prime. Res64: 9A38DE3BD8BA1EF6 Time : 57763.0 sec. user=kar_bon [2009-05-08 00:02:04] 315*2^797835-1 is not prime. Res64: 14752547A1600F73 Time : 57763.0 sec. user=kar_bon [2009-05-08 00:02:05] 339*2^797837-1 is not prime. Res64: 5F524A07CB543C2E Time : 57764.0 sec. user=kar_bon [2009-05-08 00:02:06] 339*2^797840-1 is not prime. Res64: 5BFB0A60BE8B1452 Time : 57765.0 sec. user=kar_bon [2009-05-08 00:02:07] 315*2^797842-1 is not prime. Res64: CBA2991817566570 Time : 57765.0 sec. user=kar_bon [2009-05-08 00:02:08] 321*2^797842-1 is not prime. Res64: F7D6870175185FDA Time : 57766.0 sec. user=kar_bon [2009-05-08 00:02:09] 315*2^797850-1 is not prime. Res64: 124D297073D63861 Time : 57766.0 sec. user=kar_bon [2009-05-08 00:02:10] 345*2^797851-1 is not prime. Res64: 9308CC6C5D84D636 Time : 57767.0 sec. user=kar_bon [2009-05-08 00:02:11] 339*2^797859-1 is not prime. Res64: D114837FF366E171 Time : 57768.0 sec. user=kar_bon [2009-05-08 00:02:12] 327*2^797861-1 is not prime. Res64: 82959A317D422EBF Time : 57768.0 sec. user=kar_bon [2009-05-08 00:02:13] 327*2^797868-1 is not prime. Res64: 5DEEA6005E7BE0E3 Time : 57769.0 sec. user=kar_bon [2009-05-08 00:02:14] 315*2^797880-1 is not prime. Res64: 98663099D1106893 Time : 57769.0 sec. user=kar_bon [2009-05-08 00:02:14] 327*2^797892-1 is not prime. Res64: 3931EA0A2FEE1C8F Time : 57769.0 sec. user=kar_bon [2009-05-08 00:02:15] 315*2^797904-1 is not prime. Res64: 2F1F9F0A64CD8B90 Time : 57770.0 sec. user=kar_bon [2009-05-08 00:02:16] 339*2^797917-1 is not prime. Res64: 1F6C4CAB144566D5 Time : 57770.0 sec. user=kar_bon [2009-05-08 00:02:17] 321*2^797927-1 is not prime. Res64: C20439AB6F261F96 Time : 57771.0 sec. user=kar_bon [2009-05-08 00:02:18] 321*2^797941-1 is not prime. Res64: 44E043E708633EED Time : 57771.0 sec. user=kar_bon [2009-05-08 00:02:19] 345*2^797946-1 is not prime. Res64: B8C656DFCEA34619 Time : 57772.0 sec. user=kar_bon [2009-05-08 00:02:20] 327*2^797949-1 is not prime. Res64: 2A9F3E08F556E273 Time : 57772.0 sec. user=kar_bon [2009-05-08 00:02:21] 345*2^797956-1 is not prime. Res64: 84EBA9D4365180C0 Time : 57773.0 sec. user=kar_bon [2009-05-08 00:02:21] 327*2^797964-1 is not prime. Res64: 451B953C248C5399 Time : 57773.0 sec. user=kar_bon [2009-05-08 00:02:22] 339*2^797969-1 is not prime. Res64: B6AE8F161322FC38 Time : 57773.0 sec. user=kar_bon [2009-05-08 00:02:23] 345*2^797980-1 is not prime. Res64: DD59E40803741073 Time : 57774.0 sec. user=kar_bon [2009-05-08 00:02:24] 333*2^797991-1 is not prime. Res64: E23676FAD917A191 Time : 57774.0 sec. user=kar_bon [2009-05-08 00:02:25] 327*2^798000-1 is not prime. Res64: 02083D5FE9761A50 Time : 57775.0 sec. user=kar_bon [2009-05-08 00:02:25] 345*2^798006-1 is not prime. Res64: 40B446BE9BD04287 Time : 57775.0 sec. user=kar_bon [2009-05-08 00:02:26] 333*2^798011-1 is not prime. Res64: 809842175B854480 Time : 57775.0 sec. user=kar_bon [2009-05-08 00:02:27] 315*2^798019-1 is not prime. Res64: D560ED09BA416B8F Time : 57776.0 sec. user=kar_bon [2009-05-08 00:02:54] 327*2^795221-1 is not prime. Res64: EFC17EC4A52F1749 Time : 118756.0 sec. user=kar_bon [2009-05-08 00:02:55] 339*2^795221-1 is not prime. Res64: 7F0AFF3818241092 Time : 118756.0 sec. user=kar_bon [2009-05-08 00:02:56] 345*2^795222-1 is not prime. Res64: CC9A416DF49887BA Time : 118757.0 sec. user=kar_bon [2009-05-08 00:02:57] 315*2^795226-1 is not prime. Res64: EA87F766F7A935D8 Time : 118757.0 sec. user=kar_bon [2009-05-08 00:02:58] 315*2^795227-1 is not prime. Res64: 41DEBF5FC09742AF Time : 118758.0 sec. user=kar_bon [2009-05-08 00:02:58] 333*2^795227-1 is not prime. Res64: C7F59E2BB40DA5C5 Time : 118758.0 sec. user=kar_bon [2009-05-08 00:02:59] 333*2^797843-1 is not prime. Res64: 22C69E995707A7AE Time : 57817.0 sec. user=mdettweiler [2009-05-08 00:03:00] 315*2^799887-1 is not prime. Res64: D616E50500246198 Time : 3880.0 sec. user=kar_bon [2009-05-08 00:03:00] 333*2^797850-1 is not prime. Res64: BC0F39C52D249FB2 Time : 57817.0 sec. user=kar_bon [2009-05-08 00:03:01] 339*2^797853-1 is not prime. Res64: A70AB4E7A206F3DE Time : 57818.0 sec. user=kar_bon [2009-05-08 00:03:02] 345*2^797859-1 is not prime. Res64: 0FFA73234D9219C1 Time : 57819.0 sec. user=kar_bon [2009-05-08 00:03:03] 327*2^797865-1 is not prime. Res64: 66A57D8EE610CECD Time : 57819.0 sec. user=kar_bon [2009-05-08 00:03:04] 327*2^797873-1 is not prime. Res64: 857540992B96B02F Time : 57820.0 sec. user=kar_bon [2009-05-08 00:03:05] 339*2^797883-1 is not prime. Res64: 3AA672AE2656DA39 Time : 57820.0 sec. user=kar_bon [2009-05-08 00:03:06] 339*2^797897-1 is not prime. Res64: 0E99DE77002DC0B1 Time : 57821.0 sec. user=kar_bon [2009-05-08 00:03:07] 327*2^797905-1 is not prime. Res64: 131AC0CA65674E4A Time : 57822.0 sec. user=kar_bon [2009-05-08 00:03:08] 333*2^797915-1 is not prime. Res64: C49C5D056120C467 Time : 57822.0 sec. user=kar_bon [2009-05-08 00:03:08] 333*2^797927-1 is not prime. Res64: 27A131490785AD70 Time : 57822.0 sec. user=kar_bon [2009-05-08 00:03:09] 339*2^797939-1 is not prime. Res64: 8015AFD6E3066077 Time : 57822.0 sec. user=kar_bon [2009-05-08 00:03:10] 339*2^797947-1 is not prime. Res64: DAF904EB760F75BD Time : 57823.0 sec. user=kar_bon [2009-05-08 00:03:10] 333*2^797951-1 is not prime. Res64: 37BF74632BF0B057 Time : 57822.0 sec. user=kar_bon [2009-05-08 00:03:11] 339*2^797959-1 is not prime. Res64: BAF4C9DC302FC662 Time : 57823.0 sec. user=kar_bon [2009-05-08 00:03:12] 345*2^797964-1 is not prime. Res64: C15F399E5746E71F Time : 57824.0 sec. user=kar_bon [2009-05-08 00:03:12] 321*2^797977-1 is not prime. Res64: 19110A573F617C70 Time : 57823.0 sec. user=kar_bon [2009-05-08 00:03:13] 327*2^797981-1 is not prime. Res64: 87762D1DFAE24188 Time : 57824.0 sec. user=kar_bon [2009-05-08 00:03:14] 327*2^797989-1 is not prime. Res64: 046C9CCD11D94025 Time : 57824.0 sec. user=kar_bon [2009-05-08 00:03:15] 339*2^798003-1 is not prime. Res64: B20E375CDC21AA1F Time : 57825.0 sec. user=vaughan [2009-05-08 00:03:15] 345*2^799734-1 is not prime. Res64: 6FAC47DD95908CA7 Time : 8095.0 sec. user=kar_bon [2009-05-08 00:03:15] 321*2^798007-1 is not prime. Res64: D2B521E6613A3628 Time : 57825.0 sec. user=kar_bon [2009-05-08 00:03:16] 315*2^798015-1 is not prime. Res64: FD24C5F99042D557 Time : 57825.0 sec. user=kar_bon [2009-05-08 00:03:17] 345*2^798019-1 is not prime. Res64: 57A076B3FD7CE7F7 Time : 57826.0 sec. user=kar_bon [2009-05-08 00:03:18] 327*2^798034-1 is not prime. Res64: 98D16150E1A0381D Time : 57826.0 sec. user=kar_bon [2009-05-08 00:03:18] 333*2^798039-1 is not prime. Res64: C2D4F4C66253189A Time : 57826.0 sec. user=kar_bon [2009-05-08 00:03:19] 315*2^798047-1 is not prime. Res64: 40B35BA5E7E2E189 Time : 57827.0 sec. user=mdettweiler [2009-05-08 00:03:19] 327*2^799889-1 is not prime. Res64: 2C9D9DAD6FB0B8D1 Time : 3883.0 sec. user=kar_bon [2009-05-08 00:03:20] 333*2^798048-1 is not prime. Res64: 411BE40AB5EC43FD Time : 57827.0 sec. user=kar_bon [2009-05-08 00:03:20] 321*2^798053-1 is not prime. Res64: A2D85471621FA728 Time : 57827.0 sec. user=kar_bon [2009-05-08 00:03:21] 339*2^798059-1 is not prime. Res64: FA9B25A7847458F1 Time : 57827.0 sec. user=kar_bon [2009-05-08 00:03:22] 339*2^798067-1 is not prime. Res64: DABA18B2A9DE58B2 Time : 57828.0 sec. user=kar_bon [2009-05-08 00:03:23] 315*2^798077-1 is not prime. Res64: DDF97AE41BA97B6A Time : 57829.0 sec. user=kar_bon [2009-05-08 00:03:24] 315*2^798086-1 is not prime. Res64: 2F2090064F2A3F8A Time : 57829.0 sec. user=kar_bon [2009-05-08 00:03:25] 339*2^798097-1 is not prime. Res64: A136D94ED4A4EC47 Time : 57830.0 sec. user=kar_bon [2009-05-08 00:03:26] 327*2^798101-1 is not prime. Res64: 39EFF7127EC588E6 Time : 57830.0 sec. user=kar_bon [2009-05-08 00:03:26] 345*2^798105-1 is not prime. Res64: 5CC9D3FEE01AA5C5 Time : 57830.0 sec. user=kar_bon [2009-05-08 00:03:27] 345*2^798117-1 is not prime. Res64: F15B157C15393EF9 Time : 57831.0 sec. user=kar_bon [2009-05-08 00:03:54] 333*2^795339-1 is not prime. Res64: C73B287594EDE02C Time : 118758.0 sec. user=kar_bon [2009-05-08 00:03:54] 315*2^795342-1 is not prime. Res64: C3ECDE45667D8910 Time : 118757.0 sec. user=kar_bon [2009-05-08 00:03:55] 339*2^795343-1 is not prime. Res64: B369061E87AB050C Time : 118758.0 sec. user=kar_bon [2009-05-08 00:03:56] 321*2^795345-1 is not prime. Res64: 797BA8240A751535 Time : 118758.0 sec. user=kar_bon [2009-05-08 00:03:56] 345*2^795345-1 is not prime. Res64: 52A350DDF7F43589 Time : 118758.0 sec. user=kar_bon [2009-05-08 00:03:57] 315*2^797866-1 is not prime. Res64: DE8222CFA2E4D52F Time : 57873.0 sec. user=kar_bon [2009-05-08 00:03:58] 321*2^797878-1 is not prime. Res64: BBC309043D3CF525 Time : 57874.0 sec. user=vaughan [2009-05-08 00:03:58] 333*2^799736-1 is not prime. Res64: 49784CECD23ED7D9 Time : 8122.0 sec. user=kar_bon [2009-05-08 00:03:59] 321*2^797886-1 is not prime. Res64: 349B72C0B3CF8800 Time : 57874.0 sec. user=kar_bon [2009-05-08 00:03:59] 315*2^797901-1 is not prime. Res64: 85D8664D373A5DA9 Time : 57874.0 sec. user=kar_bon [2009-05-08 00:04:00] 327*2^797908-1 is not prime. Res64: 72D2218938D191BF Time : 57874.0 sec. user=kar_bon [2009-05-08 00:04:01] 315*2^797919-1 is not prime. Res64: CEDCD3170D4D8C7C Time : 57875.0 sec. user=kar_bon [2009-05-08 00:04:02] 315*2^797934-1 is not prime. Res64: A602D187AB95112D Time : 57876.0 sec. user=kar_bon [2009-05-08 00:04:03] 339*2^797945-1 is not prime. Res64: 03DC76E31A668756 Time : 57876.0 sec. user=kar_bon [2009-05-08 00:04:04] 327*2^797948-1 is not prime. Res64: DEE4EE342BD35DE0 Time : 57877.0 sec. user=kar_bon [2009-05-08 00:04:04] 315*2^797955-1 is not prime. Res64: 77EF80F6E20E6D2A Time : 57876.0 sec. user=kar_bon [2009-05-08 00:04:05] 339*2^797963-1 is not prime. Res64: 4374DDEF87B56614 Time : 57877.0 sec. user=kar_bon [2009-05-08 00:04:06] 339*2^797965-1 is not prime. Res64: B1BB82CE55C5FCA2 Time : 57877.0 sec. user=kar_bon [2009-05-08 00:04:07] 345*2^797979-1 is not prime. Res64: 0C998C24A47E9756 Time : 57878.0 sec. user=kar_bon [2009-05-08 00:04:08] 315*2^797988-1 is not prime. Res64: B2B0684754F53CC2 Time : 57879.0 sec. user=kar_bon [2009-05-08 00:04:08] 333*2^797994-1 is not prime. Res64: 3E189DB06BBE2A2A Time : 57878.0 sec. user=kar_bon [2009-05-08 00:04:09] 321*2^798006-1 is not prime. Res64: 977DBCA9353F32EA Time : 57879.0 sec. user=kar_bon [2009-05-08 00:04:10] 327*2^798009-1 is not prime. Res64: 2948C133AD41ECD4 Time : 57879.0 sec. user=kar_bon [2009-05-08 00:04:11] 345*2^798015-1 is not prime. Res64: 135695D4D14370D6 Time : 57880.0 sec. user=kar_bon [2009-05-08 00:04:12] 327*2^798024-1 is not prime. Res64: 92A0FEFA4A5008AB Time : 57881.0 sec. user=kar_bon [2009-05-08 00:04:13] 333*2^798035-1 is not prime. Res64: 295AA8C76A6F1626 Time : 57881.0 sec. user=kar_bon [2009-05-08 00:04:14] 321*2^798045-1 is not prime. Res64: D000203D8E97EF8E Time : 57882.0 sec. user=kar_bon [2009-05-08 00:04:14] 333*2^798047-1 is not prime. Res64: D1AA543395AEE171 Time : 57882.0 sec. user=kar_bon [2009-05-08 00:04:15] 333*2^798050-1 is not prime. Res64: 2309EA43CFD1D490 Time : 57882.0 sec. user=kar_bon [2009-05-08 00:04:16] 345*2^798055-1 is not prime. Res64: 510D5BAB5C310CA7 Time : 57883.0 sec. user=kar_bon [2009-05-08 00:04:17] 321*2^798066-1 is not prime. Res64: 712BA118EE1D104B Time : 57883.0 sec. user=kar_bon [2009-05-08 00:04:18] 345*2^798072-1 is not prime. Res64: DFC189481505AA60 Time : 57884.0 sec. user=kar_bon [2009-05-08 00:04:19] 327*2^798084-1 is not prime. Res64: C49A33FA610CC712 Time : 57884.0 sec. user=kar_bon [2009-05-08 00:04:20] 321*2^798097-1 is not prime. Res64: 6E28D1F08046AB3E Time : 57885.0 sec. user=kar_bon [2009-05-08 00:04:21] 327*2^798098-1 is not prime. Res64: 512D064769C1263D Time : 57886.0 sec. user=kar_bon [2009-05-08 00:04:22] 327*2^798105-1 is not prime. Res64: 314D2197A75AD4B5 Time : 57886.0 sec. user=kar_bon [2009-05-08 00:04:22] 345*2^798115-1 is not prime. Res64: A35460C2F29D9040 Time : 57886.0 sec. user=kar_bon [2009-05-08 00:04:23] 315*2^798118-1 is not prime. Res64: D76F98825B990BBA Time : 57886.0 sec. user=kar_bon [2009-05-08 00:04:24] 327*2^798122-1 is not prime. Res64: 824776E5F54C731D Time : 57887.0 sec. user=kar_bon [2009-05-08 00:04:25] 339*2^798127-1 is not prime. Res64: BBB3F6F80A6A8E19 Time : 57888.0 sec. user=kar_bon [2009-05-08 00:04:26] 345*2^798129-1 is not prime. Res64: F09DC01E4A2EA1D1 Time : 57888.0 sec. user=kar_bon [2009-05-08 00:04:27] 333*2^798131-1 is not prime. Res64: 685EA4877A8226B6 Time : 57889.0 sec. user=kar_bon [2009-05-08 00:04:28] 321*2^798133-1 is not prime. Res64: FB425F741CB9AE6A Time : 57889.0 sec. user=vaughan [2009-05-08 00:04:44] 315*2^799739-1 is not prime. Res64: 531D6592F8A94657 Time : 8152.0 sec. user=mdettweiler [2009-05-08 00:04:50] 345*2^799899-1 is not prime. Res64: 34D8F4F0476DD0FE Time : 3890.0 sec. user=vaughan [2009-05-08 00:08:15] 339*2^799739-1 is not prime. Res64: 5957B5314BB3C823 Time : 8307.0 sec. user=kar_bon [2009-05-08 00:09:50] 327*2^799473-1 is not prime. Res64: 0EB0BE488D3517EB Time : 13793.0 sec. user=vaughan [2009-05-08 00:12:33] 315*2^800162-1 is not prime. Res64: 39404DA888A48070 Time : 931.0 sec. user=mdettweiler [2009-05-08 00:13:01] 327*2^799908-1 is not prime. Res64: 70E1BE82296824CC Time : 3884.0 sec. user=kar_bon [2009-05-08 00:13:37] 327*2^799474-1 is not prime. Res64: 0C20A54031E228B3 Time : 13837.0 sec. user=vaughan [2009-05-08 00:15:04] 315*2^800506-1 is not prime. Res64: 2C1F01C982C188AF Time : 911.0 sec. user=vaughan [2009-05-08 00:15:09] 339*2^800461-1 is not prime. Res64: 44ECF8496086563B Time : 935.0 sec. user=mdettweiler [2009-05-08 00:15:55] 315*2^799922-1 is not prime. Res64: D8861E615404CBFF Time : 3880.0 sec. user=vaughan [2009-05-08 00:16:44] 345*2^799756-1 is not prime. Res64: D4EC679FCA79C48D Time : 8094.0 sec. user=mdettweiler [2009-05-08 00:17:20] 339*2^799923-1 is not prime. Res64: 3FC302DF2457CA69 Time : 3947.0 sec. user=vaughan [2009-05-08 00:17:30] 315*2^799758-1 is not prime. Res64: 4B742781C4F82AD9 Time : 8122.0 sec. user=mdettweiler [2009-05-08 00:17:47] 345*2^799926-1 is not prime. Res64: BE7F6C01CFC49623 Time : 3888.0 sec. user=vaughan [2009-05-08 00:18:19] 339*2^799761-1 is not prime. Res64: 0521531A9EE5429F Time : 8151.0 sec. user=vaughan [2009-05-08 00:22:06] 327*2^799765-1 is not prime. Res64: C59BCBA4FB0285DA Time : 8308.0 sec. user=mdettweiler [2009-05-08 00:26:01] 345*2^799930-1 is not prime. Res64: E56F2166458401C4 Time : 3887.0 sec. user=vaughan [2009-05-08 00:28:06] 321*2^800974-1 is not prime. Res64: 1EB022AF278C4D18 Time : 933.0 sec. user=mdettweiler [2009-05-08 00:28:53] 339*2^799941-1 is not prime. Res64: 49ACDDA0636142D5 Time : 3882.0 sec. user=mdettweiler [2009-05-08 00:29:13] 327*2^799945-1 is not prime. Res64: DF060BE0C7EBF8F1 Time : 3883.0 sec. user=vaughan [2009-05-08 00:30:13] 333*2^799775-1 is not prime. Res64: 2C105938DAC94944 Time : 8094.0 sec. user=vaughan [2009-05-08 00:30:15] 333*2^800984-1 is not prime. Res64: F10A60A57BE00E58 Time : 911.0 sec. user=vaughan [2009-05-08 00:30:44] 327*2^800985-1 is not prime. Res64: C93EE0BDF3ECC906 Time : 935.0 sec. user=mdettweiler [2009-05-08 00:30:45] 327*2^799946-1 is not prime. Res64: DD517890F02E179A Time : 3890.0 sec. user=vaughan [2009-05-08 00:31:02] 339*2^799783-1 is not prime. Res64: BD2E594B68109904 Time : 8121.0 sec. user=vaughan [2009-05-08 00:31:54] 333*2^799790-1 is not prime. Res64: A5765AE667D69938 Time : 8149.0 sec. user=kar_bon [2009-05-08 00:32:41] 339*2^799627-1 is not prime. Res64: 60D4E0FF84DC2298 Time : 13793.0 sec. user=vaughan [2009-05-08 00:35:57] 321*2^799793-1 is not prime. Res64: 063FC9838987DF2F Time : 8308.0 sec. user=kar_bon [2009-05-08 00:36:26] 315*2^799639-1 is not prime. Res64: 2D1167FA00D6217C Time : 13825.0 sec. user=mdettweiler [2009-05-08 00:38:56] 315*2^799966-1 is not prime. Res64: BABF0D43192B03A4 Time : 3883.0 sec. user=mdettweiler [2009-05-08 00:41:48] 321*2^799981-1 is not prime. Res64: CEFE37F98BF744D7 Time : 3881.0 sec. user=mdettweiler [2009-05-08 00:42:12] 327*2^799984-1 is not prime. Res64: CAF2204BE761CCBD Time : 3886.0 sec. user=vaughan [2009-05-08 00:43:38] 339*2^801005-1 is not prime. Res64: E500D7E7CD6D0150 Time : 933.0 sec. user=vaughan [2009-05-08 00:43:42] 321*2^799814-1 is not prime. Res64: F05A84FF949FFB61 Time : 8094.0 sec. user=mdettweiler [2009-05-08 00:43:43] 321*2^799991-1 is not prime. Res64: 3AF2E9AA821C2E7A Time : 3888.0 sec. user=vaughan [2009-05-08 00:44:34] 345*2^799819-1 is not prime. Res64: F05C6F81B1A6A905 Time : 8121.0 sec. user=vaughan [2009-05-08 00:45:26] 339*2^801016-1 is not prime. Res64: 7F406DAE85CF5116 Time : 911.0 sec. user=vaughan [2009-05-08 00:45:29] 345*2^799827-1 is not prime. Res64: 75DC2442BD4D1246 Time : 8149.0 sec. user=vaughan [2009-05-08 00:46:20] 333*2^801020-1 is not prime. Res64: BED3A2D84363DFE8 Time : 936.0 sec. user=vaughan [2009-05-08 00:49:47] 345*2^799830-1 is not prime. Res64: 6F86353A646ED0CD Time : 8308.0 sec. user=mdettweiler [2009-05-08 00:51:53] 339*2^799999-1 is not prime. Res64: A1CAB00546842F8B Time : 3885.0 sec. user=mdettweiler [2009-05-08 00:54:45] 333*2^800004-1 is not prime. Res64: FE2FD3B2A65F40D2 Time : 3882.0 sec. user=mdettweiler [2009-05-08 00:55:06] 321*2^800007-1 is not prime. Res64: 4CA26A7F06B4D3CF Time : 3884.0 sec. user=kar_bon [2009-05-08 00:55:30] 321*2^799654-1 is not prime. Res64: AB7A0CD9D774C95D Time : 13776.0 sec. user=mdettweiler [2009-05-08 00:56:41] 321*2^800021-1 is not prime. Res64: 4A6F15A3C7AF4288 Time : 3889.0 sec. user=vaughan [2009-05-08 00:57:12] 315*2^799848-1 is not prime. Res64: 1B9A3D6DB9A23785 Time : 8095.0 sec. user=vaughan [2009-05-08 00:58:06] 333*2^799850-1 is not prime. Res64: 86F35E80AA15F1B8 Time : 8120.0 sec. user=kar_bon [2009-05-08 00:59:03] 321*2^799670-1 is not prime. Res64: 4A41FF1007949ABE Time : 13796.0 sec. user=vaughan [2009-05-08 00:59:03] 333*2^799851-1 is not prime. Res64: 6B7153231C98A3E4 Time : 8148.0 sec. user=vaughan [2009-05-08 00:59:11] 321*2^801054-1 is not prime. Res64: 3A479BC03C5C10B4 Time : 933.0 sec. user=vaughan [2009-05-08 01:00:37] 345*2^801064-1 is not prime. Res64: 1FC6E4C1FA96C647 Time : 912.0 sec. user=vaughan [2009-05-08 01:01:55] 327*2^801069-1 is not prime. Res64: 72D37773C6C8C21C Time : 935.0 sec. user=vaughan [2009-05-08 01:03:37] 327*2^799858-1 is not prime. Res64: B0F21E21F2F319AE Time : 8306.0 sec. user=mdettweiler [2009-05-08 01:04:52] 345*2^800512-1 is not prime. Res64: AAC308AACBEA93AF Time : 3886.0 sec. user=mdettweiler [2009-05-08 01:07:52] 315*2^800859-1 is not prime. Res64: 0E59A56881E26992 Time : 3892.0 sec. user=mdettweiler [2009-05-08 01:08:38] 315*2^800869-1 is not prime. Res64: 97146741D57A06AC Time : 3919.0 sec. user=mdettweiler [2009-05-08 01:09:41] 315*2^800968-1 is not prime. Res64: 4C319BBCDD303F8A Time : 3891.0 sec. user=vaughan [2009-05-08 01:10:42] 327*2^799872-1 is not prime. Res64: 26EE002006DEC812 Time : 8095.0 sec. user=vaughan [2009-05-08 01:11:38] 315*2^799879-1 is not prime. Res64: A4797C9894FBDC22 Time : 8119.0 sec. user=vaughan [2009-05-08 01:12:37] 315*2^799882-1 is not prime. Res64: EBED79A38D36A769 Time : 8146.0 sec. user=vaughan [2009-05-08 01:14:43] 315*2^801091-1 is not prime. Res64: BC091DD8B57F0341 Time : 933.0 sec. user=vaughan [2009-05-08 01:15:48] 345*2^801091-1 is not prime. Res64: 13606A9ECDE035CB Time : 911.0 sec. user=vaughan [2009-05-08 01:17:28] 327*2^799896-1 is not prime. Res64: 7669A7D71D02FCD0 Time : 8307.0 sec. user=vaughan [2009-05-08 01:17:31] 339*2^801101-1 is not prime. Res64: 655B439E2EAF0C60 Time : 936.0 sec. user=kar_bon [2009-05-08 01:18:13] 315*2^799702-1 is not prime. Res64: DFFD2DCE943DC439 Time : 13753.0 sec. user=mdettweiler [2009-05-08 01:19:24] 345*2^800974-1 is not prime. Res64: C6D6A3F862E5A48F Time : 3983.0 sec. user=mdettweiler [2009-05-08 01:20:49] 327*2^800988-1 is not prime. Res64: 551232D4C546B78A Time : 3894.0 sec. user=mdettweiler [2009-05-08 01:21:37] 315*2^800991-1 is not prime. Res64: C71F34776B3BF325 Time : 3857.0 sec. user=kar_bon [2009-05-08 01:21:57] 327*2^799708-1 is not prime. Res64: 3804593BA69AB840 Time : 13785.0 sec. user=mdettweiler [2009-05-08 01:22:41] 327*2^800994-1 is not prime. Res64: F720AD09787F121D Time : 3894.0 sec. user=vaughan [2009-05-08 01:24:11] 333*2^799911-1 is not prime. Res64: 42517F32A781DCB3 Time : 8094.0 sec. user=vaughan [2009-05-08 01:25:11] 315*2^799917-1 is not prime. Res64: 2160B894D234C4F8 Time : 8120.0 sec. user=vaughan [2009-05-08 01:26:11] 339*2^799919-1 is not prime. Res64: 1F018114161C7415 Time : 8145.0 sec. user=vaughan [2009-05-08 01:30:16] 333*2^801126-1 is not prime. Res64: 08539A28C47DC343 Time : 933.0 sec. user=mdettweiler [2009-05-08 01:30:57] 327*2^801005-1 is not prime. Res64: BFB54CBA5A0DAAF9 Time : 3896.0 sec. user=vaughan [2009-05-08 01:30:59] 315*2^801135-1 is not prime. Res64: E447AC6838F0DE52 Time : 911.0 sec. user=vaughan [2009-05-08 01:31:18] 321*2^799926-1 is not prime. Res64: 23C028BE440DC03F Time : 8306.0 sec. user=vaughan [2009-05-08 01:33:06] 315*2^801136-1 is not prime. Res64: 994352E3ED952516 Time : 935.0 sec. user=mdettweiler [2009-05-08 01:33:46] 345*2^801006-1 is not prime. Res64: CD0DEA6B750A015C Time : 3893.0 sec. user=mdettweiler [2009-05-08 01:34:36] 327*2^801012-1 is not prime. Res64: 1CAF1D5FE9698478 Time : 3923.0 sec. user=mdettweiler [2009-05-08 01:35:38] 333*2^801027-1 is not prime. Res64: 5327DA711D9D067F Time : 3893.0 sec. user=vaughan [2009-05-08 01:37:40] 345*2^799935-1 is not prime. Res64: 16DE58A6B83DA916 Time : 8093.0 sec. user=vaughan [2009-05-08 01:38:43] 327*2^799938-1 is not prime. Res64: 3B453AF783FEC42C Time : 8120.0 sec. user=vaughan [2009-05-08 01:39:46] 333*2^799940-1 is not prime. Res64: 1B61062EDA0B7823 Time : 8145.0 sec. user=kar_bon [2009-05-08 01:41:00] 321*2^799741-1 is not prime. Res64: 8FBA81D0862C59AF Time : 13724.0 sec. user=mdettweiler [2009-05-08 01:43:54] 315*2^801048-1 is not prime. Res64: FAB8D02926DBF34B Time : 3898.0 sec. user=kar_bon [2009-05-08 01:44:32] 321*2^799751-1 is not prime. Res64: AB8DF4B2ACF101A7 Time : 13755.0 sec. user=vaughan [2009-05-08 01:45:08] 315*2^799950-1 is not prime. Res64: 154FFCE26ED266C1 Time : 8306.0 sec. user=vaughan [2009-05-08 01:45:50] 327*2^801165-1 is not prime. Res64: E6CB19C6E137B6D6 Time : 935.0 sec. user=vaughan [2009-05-08 01:46:10] 327*2^801169-1 is not prime. Res64: CEA494EE270B4E69 Time : 911.0 sec. user=mdettweiler [2009-05-08 01:46:43] 345*2^801051-1 is not prime. Res64: DA8421AC20383712 Time : 3895.0 sec. user=mdettweiler [2009-05-08 01:47:34] 321*2^801053-1 is not prime. Res64: 7CAC310CAB545F20 Time : 3922.0 sec. user=mdettweiler [2009-05-08 01:48:38] 339*2^801055-1 is not prime. Res64: 52BB66BCDF56E7FE Time : 3895.0 sec. user=vaughan [2009-05-08 01:48:42] 321*2^801174-1 is not prime. Res64: BE22F1BB334F22FE Time : 936.0 sec. user=vaughan [2009-05-08 01:51:10] 333*2^799967-1 is not prime. Res64: 0682C1FF3E056666 Time : 8094.0 sec. user=vaughan [2009-05-08 01:52:16] 315*2^799974-1 is not prime. Res64: 196C32E0139AF3A8 Time : 8122.0 sec. user=vaughan [2009-05-08 01:53:21] 345*2^799990-1 is not prime. Res64: 044A5364A6C0D08D Time : 8146.0 sec. user=mdettweiler [2009-05-08 01:56:50] 321*2^801071-1 is not prime. Res64: 7D927E7498D44B7D Time : 3898.0 sec. user=vaughan [2009-05-08 01:58:57] 333*2^799991-1 is not prime. Res64: FC187D46CC0EABB6 Time : 8304.0 sec. user=mdettweiler [2009-05-08 01:59:42] 315*2^801072-1 is not prime. Res64: 8713384EB7D379B7 Time : 3897.0 sec. user=mdettweiler [2009-05-08 02:00:32] 321*2^801073-1 is not prime. Res64: E4D79FC25D2079A9 Time : 3926.0 sec. user=vaughan [2009-05-08 02:01:22] 327*2^801216-1 is not prime. Res64: 329B74124C6E5E84 Time : 912.0 sec. user=vaughan [2009-05-08 02:01:23] 321*2^801215-1 is not prime. Res64: 2D5888A806ABAF6D Time : 934.0 sec. user=mdettweiler [2009-05-08 02:01:39] 345*2^801076-1 is not prime. Res64: BAAAF98F73AD241E Time : 3898.0 sec. user=kar_bon [2009-05-08 02:03:24] 339*2^799775-1 is not prime. Res64: 7FD5054E53777BD7 Time : 13681.0 sec. user=vaughan [2009-05-08 02:04:18] 321*2^801222-1 is not prime. Res64: F4FF3DCE92085DF9 Time : 936.0 sec. user=vaughan [2009-05-08 02:04:41] 345*2^800001-1 is not prime. Res64: BC4E397498A37E99 Time : 8096.0 sec. user=vaughan [2009-05-08 02:05:47] 315*2^800010-1 is not prime. Res64: A2351C3EEB99E510 Time : 8120.0 sec. user=vaughan [2009-05-08 02:06:56] 315*2^800018-1 is not prime. Res64: 4DC6BE71111581DF Time : 8146.0 sec. user=kar_bon [2009-05-08 02:07:09] 345*2^799794-1 is not prime. Res64: 3B8B54C224336F91 Time : 13733.0 sec. user=mdettweiler [2009-05-08 02:09:47] 327*2^801108-1 is not prime. Res64: 58987EE34C1FC5F7 Time : 3895.0 sec. user=mdettweiler [2009-05-08 02:12:39] 333*2^801108-1 is not prime. Res64: 3DE15CEAD89CB5C3 Time : 3887.0 sec. user=vaughan [2009-05-08 02:12:44] 339*2^800027-1 is not prime. Res64: 4AE2B99115FF57AB Time : 8300.0 sec. user=mdettweiler [2009-05-08 02:13:29] 333*2^801110-1 is not prime. Res64: 5EA95E6D3AEC3A2E Time : 3891.0 sec. user=mdettweiler [2009-05-08 02:14:36] 339*2^801111-1 is not prime. Res64: B295A8A29600DC14 Time : 3895.0 sec. user=vaughan [2009-05-08 02:16:33] 345*2^801249-1 is not prime. Res64: 81F873583CBBE006 Time : 912.0 sec. user=vaughan [2009-05-08 02:16:56] 321*2^801250-1 is not prime. Res64: AC672D9E93C077BB Time : 933.0 sec. user=vaughan [2009-05-08 02:18:12] 345*2^800859-1 is not prime. Res64: 829FB8399D1F7EB7 Time : 8097.0 sec. user=vaughan [2009-05-08 02:19:20] 339*2^800963-1 is not prime. Res64: FFE961B5C1184E2E Time : 8122.0 sec. user=vaughan [2009-05-08 02:19:53] 345*2^801264-1 is not prime. Res64: 1692ADF496F65C11 Time : 936.0 sec. user=vaughan [2009-05-08 02:20:34] 333*2^800966-1 is not prime. Res64: F131729794D007A9 Time : 8150.0 sec. user=mdettweiler [2009-05-08 02:22:45] 321*2^801151-1 is not prime. Res64: C0B9CB5A7D525F21 Time : 3801.0 sec. user=mdettweiler [2009-05-08 02:25:36] 315*2^801154-1 is not prime. Res64: 9116A476BA0740DC Time : 3887.0 sec. user=kar_bon [2009-05-08 02:26:13] 315*2^799840-1 is not prime. Res64: 7723B6D41F57CF90 Time : 13671.0 sec. user=mdettweiler [2009-05-08 02:26:28] 315*2^801156-1 is not prime. Res64: E1606DFF3814F3D0 Time : 3891.0 sec. user=vaughan [2009-05-08 02:26:30] 327*2^800973-1 is not prime. Res64: 313AF00A59D0F525 Time : 8295.0 sec. user=mdettweiler [2009-05-08 02:27:34] 345*2^801160-1 is not prime. Res64: 417893D626BE5313 Time : 3893.0 sec. user=kar_bon [2009-05-08 02:29:37] 345*2^799840-1 is not prime. Res64: 73153B3A5091B348 Time : 13706.0 sec. user=vaughan [2009-05-08 02:31:43] 315*2^800989-1 is not prime. Res64: C0383D033D34B48D Time : 8100.0 sec. user=vaughan [2009-05-08 02:31:45] 315*2^801287-1 is not prime. Res64: CBBD4EF7E48B4377 Time : 912.0 sec. user=vaughan [2009-05-08 02:32:29] 333*2^801287-1 is not prime. Res64: 7494256BCA9F1B3B Time : 933.0 sec. user=vaughan [2009-05-08 02:32:53] 327*2^800992-1 is not prime. Res64: 5F5EC177F5517A4D Time : 8123.0 sec. user=vaughan [2009-05-08 02:34:13] 321*2^801001-1 is not prime. Res64: 45165FC912310A97 Time : 8154.0 sec. user=vaughan [2009-05-08 02:35:29] 321*2^801297-1 is not prime. Res64: ABAF67C664D25970 Time : 936.0 sec. user=mdettweiler [2009-05-08 02:35:43] 315*2^801166-1 is not prime. Res64: FE49CB8AFE6E35AC Time : 3886.0 sec. user=mdettweiler [2009-05-08 02:38:34] 345*2^801174-1 is not prime. Res64: 3054183001A8BA66 Time : 3888.0 sec. user=mdettweiler [2009-05-08 02:39:26] 327*2^801180-1 is not prime. Res64: 3F5BB2692BD32BD0 Time : 3890.0 sec. user=vaughan [2009-05-08 02:40:16] 321*2^801005-1 is not prime. Res64: 0BA8AE4522AFD734 Time : 8290.0 sec. user=mdettweiler [2009-05-08 02:40:32] 315*2^801184-1 is not prime. Res64: 604979C53BD255CE Time : 3894.0 sec. user=vaughan [2009-05-08 02:45:14] 333*2^801014-1 is not prime. Res64: 463B86B6D51D4FA5 Time : 8102.0 sec. user=vaughan [2009-05-08 02:46:26] 321*2^801038-1 is not prime. Res64: FC019FF187566046 Time : 8124.0 sec. user=vaughan [2009-05-08 02:46:56] 315*2^801317-1 is not prime. Res64: 3BDBB001CF4127A6 Time : 911.0 sec. user=vaughan [2009-05-08 02:47:52] 315*2^801039-1 is not prime. Res64: 7BD9EDD5076FE3C4 Time : 8159.0 sec. user=vaughan [2009-05-08 02:48:01] 339*2^801319-1 is not prime. Res64: 3E025F967A9A33B6 Time : 933.0 sec. user=kar_bon [2009-05-08 02:48:38] 315*2^799900-1 is not prime. Res64: 0AA49E1531FBB1CA Time : 13666.0 sec. user=mdettweiler [2009-05-08 02:48:41] 339*2^801195-1 is not prime. Res64: 3B3144B11F7B3E4D Time : 3887.0 sec. user=vaughan [2009-05-08 02:51:05] 321*2^801330-1 is not prime. Res64: C6C7BE0517227705 Time : 937.0 sec. user=mdettweiler [2009-05-08 02:51:31] 321*2^801218-1 is not prime. Res64: 95ED88785274A276 Time : 3888.0 sec. user=mdettweiler [2009-05-08 02:52:24] 345*2^801219-1 is not prime. Res64: 420012238B28760A Time : 3890.0 sec. user=kar_bon [2009-05-08 02:52:27] 345*2^799905-1 is not prime. Res64: 34099A1D974FA4E1 Time : 13680.0 sec. user=mdettweiler [2009-05-08 02:53:30] 327*2^801221-1 is not prime. Res64: 85CA8678EBC8FC55 Time : 3892.0 sec. user=vaughan [2009-05-08 02:54:02] 321*2^801042-1 is not prime. Res64: D8EB7FB2872AD4B8 Time : 8286.0 sec. user=vaughan [2009-05-08 02:58:45] 333*2^801054-1 is not prime. Res64: B4E4EC0021AA9959 Time : 8103.0 sec. user=vaughan [2009-05-08 02:59:59] 327*2^801061-1 is not prime. Res64: F187CFBD39FAA034 Time : 8126.0 sec. user=vaughan [2009-05-08 03:01:31] 315*2^801067-1 is not prime. Res64: 403C905DD8FD0143 Time : 8163.0 sec. user=mdettweiler [2009-05-08 03:01:39] 315*2^801227-1 is not prime. Res64: 5444AC893AB102BB Time : 3889.0 sec. user=vaughan [2009-05-08 03:02:07] 345*2^801355-1 is not prime. Res64: DBF70558D43FF551 Time : 911.0 sec. user=vaughan [2009-05-08 03:03:34] 315*2^801362-1 is not prime. Res64: E6F5A0845CC9DFC4 Time : 933.0 sec. user=mdettweiler [2009-05-08 03:04:30] 315*2^801237-1 is not prime. Res64: 2AECF076D9A1B853 Time : 3888.0 sec. user=mdettweiler [2009-05-08 03:05:21] 345*2^801237-1 is not prime. Res64: 16737492667E848E Time : 3889.0 sec. user=mdettweiler [2009-05-08 03:06:29] 321*2^801254-1 is not prime. Res64: 1D9A1E3EF1F4D51F Time : 3890.0 sec. user=vaughan [2009-05-08 03:06:41] 339*2^801365-1 is not prime. Res64: A62DB5D5DDE2D105 Time : 936.0 sec. user=vaughan [2009-05-08 03:07:49] 321*2^801070-1 is not prime. Res64: 2FF899EF1E7E8E46 Time : 8282.0 sec. user=kar_bon [2009-05-08 03:11:17] 345*2^799939-1 is not prime. Res64: 4375B8F9B73DDE20 Time : 13651.0 sec. user=vaughan [2009-05-08 03:12:18] 339*2^801080-1 is not prime. Res64: DB2ADA853A16421E Time : 8106.0 sec. user=vaughan [2009-05-08 03:13:33] 345*2^801082-1 is not prime. Res64: D00B37BCF8F7470E Time : 8127.0 sec. user=mdettweiler [2009-05-08 03:14:37] 345*2^801271-1 is not prime. Res64: 5F962305A81EEBBE Time : 3890.0 sec. user=vaughan [2009-05-08 03:15:09] 315*2^801086-1 is not prime. Res64: 2BDBAC86F89ABB41 Time : 8166.0 sec. user=kar_bon [2009-05-08 03:15:42] 315*2^799951-1 is not prime. Res64: 9B5059C006F252B4 Time : 13693.0 sec. user=vaughan [2009-05-08 03:17:19] 345*2^801412-1 is not prime. Res64: A64D769CB994E79B Time : 912.0 sec. user=mdettweiler [2009-05-08 03:17:27] 315*2^801274-1 is not prime. Res64: 4F18D35D3430B3DC Time : 3888.0 sec. user=mdettweiler [2009-05-08 03:18:19] 315*2^801282-1 is not prime. Res64: E4971595B6212A6C Time : 3890.0 sec. user=vaughan [2009-05-08 03:19:06] 339*2^801413-1 is not prime. Res64: 901DA82ECA509589 Time : 932.0 sec. user=mdettweiler [2009-05-08 03:19:29] 345*2^801286-1 is not prime. Res64: 18BF93BD54585223 Time : 3893.0 sec. user=vaughan [2009-05-08 03:21:35] 315*2^801106-1 is not prime. Res64: 2CE67D2B24AE90D9 Time : 8278.0 sec. user=vaughan [2009-05-08 03:22:16] 339*2^801419-1 is not prime. Res64: CFB4045F18073986 Time : 935.0 sec. user=vaughan [2009-05-08 03:25:50] 345*2^801115-1 is not prime. Res64: 3335FA245BF2F354 Time : 8108.0 sec. user=vaughan [2009-05-08 03:27:07] 321*2^801122-1 is not prime. Res64: 74ECEACDD53FE359 Time : 8129.0 sec. user=mdettweiler [2009-05-08 03:27:35] 333*2^801303-1 is not prime. Res64: 3BF48E49F57B6A55 Time : 3890.0 sec. user=vaughan [2009-05-08 03:28:49] 327*2^801125-1 is not prime. Res64: 74D6C509BF2183A1 Time : 8172.0 sec. user=mdettweiler [2009-05-08 03:30:24] 315*2^801304-1 is not prime. Res64: 0440A4004DC2C663 Time : 3888.0 sec. user=mdettweiler [2009-05-08 03:31:17] 315*2^801307-1 is not prime. Res64: 6C9A4941D6D17A9B Time : 3889.0 sec. user=mdettweiler [2009-05-08 03:32:27] 339*2^801311-1 is not prime. Res64: 721435EDBFE3FBFF Time : 3894.0 sec. user=vaughan [2009-05-08 03:32:31] 333*2^801446-1 is not prime. Res64: 901D5E6C147C04B7 Time : 912.0 sec. user=kar_bon [2009-05-08 03:33:57] 333*2^799998-1 is not prime. Res64: DD83C9AC359651F4 Time : 13627.0 sec. user=vaughan [2009-05-08 03:34:39] 339*2^801449-1 is not prime. Res64: 4D67676F39EFE997 Time : 933.0 sec. user=vaughan [2009-05-08 03:35:22] 339*2^801135-1 is not prime. Res64: 5E699A6B42F9A432 Time : 8275.0 sec. user=vaughan [2009-05-08 03:37:52] 339*2^801455-1 is not prime. Res64: CAC347160F56D30D Time : 936.0 sec. user=kar_bon [2009-05-08 03:38:56] 345*2^800010-1 is not prime. Res64: 039D490A854EC92B Time : 13708.0 sec. user=vaughan [2009-05-08 03:39:20] 339*2^801161-1 is not prime. Res64: E464E16026D0D6EF Time : 8109.0 sec. user=mdettweiler [2009-05-08 03:40:34] 315*2^801339-1 is not prime. Res64: CD571512B00EEC94 Time : 3891.0 sec. user=vaughan [2009-05-08 03:40:41] 339*2^801163-1 is not prime. Res64: C7277AF927650C2D Time : 8131.0 sec. user=vaughan [2009-05-08 03:42:28] 333*2^801164-1 is not prime. Res64: 002DA487BCDD87CA Time : 8177.0 sec. user=mdettweiler [2009-05-08 03:43:22] 333*2^801339-1 is not prime. Res64: 5B6E0DE2BC3A72E9 Time : 3888.0 sec. user=mdettweiler [2009-05-08 03:44:16] 315*2^801340-1 is not prime. Res64: 8F66F5C91368A360 Time : 3890.0 sec. user=mdettweiler [2009-05-08 03:45:26] 327*2^801354-1 is not prime. Res64: D0965CA799F9F0D9 Time : 3894.0 sec. user=vaughan [2009-05-08 03:47:42] 321*2^801477-1 is not prime. Res64: A2A3CFDAEBEC5278 Time : 911.0 sec. user=vaughan [2009-05-08 03:49:08] 339*2^801169-1 is not prime. Res64: 1B43CBA991103C18 Time : 8270.0 sec. user=vaughan [2009-05-08 03:50:13] 345*2^801484-1 is not prime. Res64: E018FB28FB76DCFF Time : 934.0 sec. user=vaughan [2009-05-08 03:52:51] 321*2^801186-1 is not prime. Res64: 40E2F2678FC0337C Time : 8111.0 sec. user=vaughan [2009-05-08 03:53:27] 315*2^801486-1 is not prime. Res64: 38273028FAD793E6 Time : 935.0 sec. user=mdettweiler [2009-05-08 03:53:31] 327*2^801364-1 is not prime. Res64: 3C93D221167F4653 Time : 3890.0 sec. user=vaughan [2009-05-08 03:54:13] 345*2^801187-1 is not prime. Res64: 2501434C790A18BB Time : 8130.0 sec. user=vaughan [2009-05-08 03:56:07] 321*2^801190-1 is not prime. Res64: 93C18FDCDA3AE357 Time : 8181.0 sec. user=mdettweiler [2009-05-08 03:56:21] 333*2^801371-1 is not prime. Res64: 90D45FE5386CB1B1 Time : 3890.0 sec. user=kar_bon [2009-05-08 03:56:47] 315*2^800974-1 is not prime. Res64: FD2FFFA7EC192FAA Time : 13617.0 sec. user=mdettweiler [2009-05-08 03:57:14] 345*2^801372-1 is not prime. Res64: 8BDD65F63D5DADB0 Time : 3890.0 sec. user=mdettweiler [2009-05-08 03:58:27] 339*2^801395-1 is not prime. Res64: 48963A48A4E8C31A Time : 3897.0 sec. user=kar_bon [2009-05-08 04:02:08] 345*2^800980-1 is not prime. Res64: 5EBA8BE51CD25FCE Time : 13711.0 sec. user=vaughan [2009-05-08 04:02:54] 321*2^801501-1 is not prime. Res64: 936D2DCA867EE1A3 Time : 912.0 sec. user=vaughan [2009-05-08 04:02:56] 315*2^801202-1 is not prime. Res64: 8550FD6F5553E589 Time : 8268.0 sec. user=vaughan [2009-05-08 04:05:45] 345*2^801502-1 is not prime. Res64: DC179615F0AE78CD Time : 933.0 sec. user=vaughan [2009-05-08 04:06:21] 339*2^801223-1 is not prime. Res64: 2F42994962CC5CC8 Time : 8111.0 sec. user=mdettweiler [2009-05-08 04:06:26] 327*2^801408-1 is not prime. Res64: 43B155CACFA52302 Time : 3888.0 sec. user=vaughan [2009-05-08 04:07:45] 333*2^801224-1 is not prime. Res64: 98B0CE750B835D3D Time : 8130.0 sec. user=vaughan [2009-05-08 04:09:03] 327*2^801505-1 is not prime. Res64: 42764A73D171F871 Time : 936.0 sec. user=mdettweiler [2009-05-08 04:09:21] 315*2^801414-1 is not prime. Res64: DEA9C2F4FB58AB47 Time : 3891.0 sec. user=vaughan [2009-05-08 04:09:46] 321*2^801225-1 is not prime. Res64: 28D7DFF6C065BF44 Time : 8185.0 sec. user=mdettweiler [2009-05-08 04:10:13] 339*2^801415-1 is not prime. Res64: 92D38DBE17727735 Time : 3892.0 sec. user=mdettweiler [2009-05-08 04:11:24] 345*2^801417-1 is not prime. Res64: 30A0F19BFAAF4287 Time : 3895.0 sec. user=vaughan [2009-05-08 04:16:42] 339*2^801235-1 is not prime. Res64: FACA4251935AD8EC Time : 8265.0 sec. user=vaughan [2009-05-08 04:18:06] 345*2^801520-1 is not prime. Res64: B2A5B096B6AA0854 Time : 913.0 sec. user=mdettweiler [2009-05-08 04:19:27] 339*2^801440-1 is not prime. Res64: 7726DA57EE8C94A4 Time : 3890.0 sec. user=kar_bon [2009-05-08 04:19:35] 345*2^801039-1 is not prime. Res64: 682F628AD66000C1 Time : 13614.0 sec. user=vaughan [2009-05-08 04:19:53] 339*2^801265-1 is not prime. Res64: BE2F95FC68EA7CD8 Time : 8112.0 sec. user=vaughan [2009-05-08 04:21:19] 339*2^801531-1 is not prime. Res64: 20F5747525A6CB47 Time : 934.0 sec. user=vaughan [2009-05-08 04:21:19] 315*2^801267-1 is not prime. Res64: 8FF7551275E1B233 Time : 8133.0 sec. user=vaughan [2009-05-08 04:23:26] 339*2^801269-1 is not prime. Res64: 2CD8F7AB87CDBFF6 Time : 8191.0 sec. user=mdettweiler [2009-05-08 04:23:42] 315*2^801447-1 is not prime. Res64: 92C0BD7ADA819910 Time : 3975.0 sec. user=mdettweiler [2009-05-08 04:24:24] 315*2^801455-1 is not prime. Res64: DF4E7D6802BDE02A Time : 3896.0 sec. user=mdettweiler [2009-05-08 04:24:34] 333*2^801447-1 is not prime. Res64: 80BFBA58FA1F0CB5 Time : 3975.0 sec. user=vaughan [2009-05-08 04:24:39] 345*2^801544-1 is not prime. Res64: 9AC770C2AE703C0A Time : 936.0 sec. user=kar_bon [2009-05-08 04:25:19] 339*2^801043-1 is not prime. Res64: F480BE1A185A61E8 Time : 13733.0 sec. user=vaughan [2009-05-08 04:30:29] 315*2^801279-1 is not prime. Res64: CB0705DAF6D81024 Time : 8266.0 sec. user=mdettweiler [2009-05-08 04:32:25] 345*2^801460-1 is not prime. Res64: A86DF7B92C8EDE5D Time : 3890.0 sec. user=vaughan [2009-05-08 04:33:18] 333*2^801554-1 is not prime. Res64: 2C225EB045FB6D36 Time : 912.0 sec. user=vaughan [2009-05-08 04:33:24] 333*2^801290-1 is not prime. Res64: 3AABB4330375C42D Time : 8112.0 sec. user=vaughan [2009-05-08 04:34:53] 327*2^801292-1 is not prime. Res64: 7ADCA7254A6C2B81 Time : 8133.0 sec. user=mdettweiler [2009-05-08 04:35:17] 315*2^801468-1 is not prime. Res64: 6DED71BC029726DA Time : 3893.0 sec. user=mdettweiler [2009-05-08 04:36:08] 339*2^801473-1 is not prime. Res64: 54B480CB39A88B1B Time : 3891.0 sec. user=vaughan [2009-05-08 04:36:52] 321*2^801570-1 is not prime. Res64: 695C58BC8E9976A4 Time : 933.0 sec. user=vaughan [2009-05-08 04:37:04] 327*2^801298-1 is not prime. Res64: 4828A17CB553AD46 Time : 8190.0 sec. user=mdettweiler [2009-05-08 04:37:23] 327*2^801476-1 is not prime. Res64: DB2295115ADB96CF Time : 3896.0 sec. user=vaughan [2009-05-08 04:40:15] 327*2^801585-1 is not prime. Res64: 284F500A5912F500 Time : 936.0 sec. user=kar_bon [2009-05-08 04:42:38] 315*2^801074-1 is not prime. Res64: D63F6DD93D13B6F5 Time : 13629.0 sec. user=vaughan [2009-05-08 04:44:16] 315*2^801310-1 is not prime. Res64: B2B178A2EC485327 Time : 8266.0 sec. user=mdettweiler [2009-05-08 04:45:22] 327*2^801488-1 is not prime. Res64: 4AFF73DD728FCA52 Time : 3888.0 sec. user=vaughan [2009-05-08 04:46:56] 339*2^801313-1 is not prime. Res64: 03F3CFC8F02653A4 Time : 8113.0 sec. user=kar_bon [2009-05-08 04:48:09] 339*2^801085-1 is not prime. Res64: 25A2E67D61FDE2AC Time : 13747.0 sec. user=mdettweiler [2009-05-08 04:48:15] 339*2^801491-1 is not prime. Res64: 129D29049546F10F Time : 3893.0 sec. user=vaughan [2009-05-08 04:48:26] 339*2^801321-1 is not prime. Res64: 8AE6D6117F4296B0 Time : 8134.0 sec. user=vaughan [2009-05-08 04:48:29] 339*2^801592-1 is not prime. Res64: 82773A1DF8176A12 Time : 911.0 sec. user=mdettweiler [2009-05-08 04:49:05] 345*2^801492-1 is not prime. Res64: 8DE1B0AFDB4C652C Time : 3889.0 sec. user=mdettweiler [2009-05-08 04:50:23] 315*2^801496-1 is not prime. Res64: DD4C630F0AE9BB8E Time : 3897.0 sec. user=vaughan [2009-05-08 04:50:45] 333*2^801324-1 is not prime. Res64: 918E9E3EC37935DC Time : 8192.0 sec. user=vaughan [2009-05-08 04:52:26] 327*2^801605-1 is not prime. Res64: 2D300F0DD27A0083 Time : 934.0 sec. user=vaughan [2009-05-08 04:55:50] 327*2^801625-1 is not prime. Res64: B91F6EA6EF011836 Time : 936.0 sec. user=vaughan [2009-05-08 04:58:02] 327*2^801349-1 is not prime. Res64: FA5E0067243DF931 Time : 8266.0 sec. user=mdettweiler [2009-05-08 04:58:20] 339*2^801505-1 is not prime. Res64: 95970ADB5489C120 Time : 3889.0 sec. user=vaughan [2009-05-08 05:00:27] 333*2^801354-1 is not prime. Res64: 8AE1FF9191CD30C8 Time : 8114.0 sec. user=mdettweiler [2009-05-08 05:01:12] 315*2^801508-1 is not prime. Res64: D975BAAA8904505E Time : 3891.0 sec. user=vaughan [2009-05-08 05:02:01] 339*2^801355-1 is not prime. Res64: 2ED36F4E5453D300 Time : 8135.0 sec. user=mdettweiler [2009-05-08 05:02:05] 315*2^801514-1 is not prime. Res64: 3BD3A9F6B4319605 Time : 3891.0 sec. user=mdettweiler [2009-05-08 05:03:20] 327*2^801514-1 is not prime. Res64: 753D437283BF9223 Time : 3894.0 sec. user=vaughan [2009-05-08 05:03:41] 345*2^801645-1 is not prime. Res64: DA850FAC9561044A Time : 912.0 sec. user=vaughan [2009-05-08 05:04:24] 321*2^801358-1 is not prime. Res64: 4C68449F8073F813 Time : 8192.0 sec. user=kar_bon [2009-05-08 05:05:22] 333*2^801147-1 is not prime. Res64: C336132E46C066A6 Time : 13629.0 sec. user=vaughan [2009-05-08 05:07:59] 339*2^801655-1 is not prime. Res64: 8D872B137D741D0A Time : 933.0 sec. user=mdettweiler [2009-05-08 05:11:19] 315*2^801538-1 is not prime. Res64: 789E7B518026C6A0 Time : 3893.0 sec. user=kar_bon [2009-05-08 05:11:24] 327*2^801156-1 is not prime. Res64: 289CB1C2F70FEA51 Time : 13767.0 sec. user=vaughan [2009-05-08 05:11:27] 321*2^801657-1 is not prime. Res64: 4F553B83C2B9B1D7 Time : 937.0 sec. user=vaughan [2009-05-08 05:11:49] 345*2^801396-1 is not prime. Res64: C993240623672A5E Time : 8267.0 sec. user=vaughan [2009-05-08 05:13:59] 315*2^801399-1 is not prime. Res64: 59189BFE9EAC5B1B Time : 8114.0 sec. user=mdettweiler [2009-05-08 05:14:08] 315*2^801549-1 is not prime. Res64: 7BC9BD5E634EE58D Time : 3887.0 sec. user=mdettweiler [2009-05-08 05:15:04] 345*2^801550-1 is not prime. Res64: 37E8E9282F5F3704 Time : 3891.0 sec. user=vaughan [2009-05-08 05:15:36] 345*2^801405-1 is not prime. Res64: D7408DF0B7C7E535 Time : 8137.0 sec. user=mdettweiler [2009-05-08 05:16:20] 339*2^801551-1 is not prime. Res64: 20AD308729CE3B50 Time : 3896.0 sec. user=vaughan [2009-05-08 05:18:03] 315*2^801406-1 is not prime. Res64: E8F74ED10AF0323B Time : 8192.0 sec. user=vaughan [2009-05-08 05:18:53] 345*2^801675-1 is not prime. Res64: 82D78D2FB95D7F0E Time : 912.0 sec. user=vaughan [2009-05-08 05:23:33] 333*2^801678-1 is not prime. Res64: CDC8D4CF0B6738EE Time : 934.0 sec. user=vaughan [2009-05-08 05:25:36] 333*2^801420-1 is not prime. Res64: 71842299BED22C16 Time : 8268.0 sec. user=mdettweiler [2009-05-08 05:25:41] 315*2^801557-1 is not prime. Res64: 04BCE5D8A94E35B1 Time : 3974.0 sec. user=vaughan [2009-05-08 05:27:03] 327*2^801684-1 is not prime. Res64: FB0D5E7B41AB42E1 Time : 937.0 sec. user=mdettweiler [2009-05-08 05:27:08] 321*2^801574-1 is not prime. Res64: 9E595CA9B1026FE5 Time : 3806.0 sec. user=vaughan [2009-05-08 05:27:31] 339*2^801421-1 is not prime. Res64: 53A15F0474DFC5DC Time : 8113.0 sec. user=mdettweiler [2009-05-08 05:28:03] 321*2^801581-1 is not prime. Res64: 17B1480939F289C5 Time : 3809.0 sec. user=kar_bon [2009-05-08 05:28:17] 321*2^801193-1 is not prime. Res64: 97A28F6D228D1283 Time : 13637.0 sec. user=vaughan [2009-05-08 05:29:09] 345*2^801426-1 is not prime. Res64: 2D2E9BC454E7DE3A Time : 8136.0 sec. user=mdettweiler [2009-05-08 05:29:20] 327*2^801580-1 is not prime. Res64: CACEB0DBDF182C1B Time : 3896.0 sec. user=vaughan [2009-05-08 05:31:42] 321*2^801442-1 is not prime. Res64: 19FE16BE3C5E8009 Time : 8193.0 sec. user=vaughan [2009-05-08 05:34:05] 327*2^801705-1 is not prime. Res64: 3FDBF0A316AED3FF Time : 912.0 sec. user=kar_bon [2009-05-08 05:34:43] 339*2^801197-1 is not prime. Res64: 85CC46B6030F61ED Time : 13811.0 sec. user=mdettweiler [2009-05-08 05:37:16] 345*2^801591-1 is not prime. Res64: A013E3329319D425 Time : 3891.0 sec. user=vaughan [2009-05-08 05:39:05] 327*2^801708-1 is not prime. Res64: A929D99D7DAFCB46 Time : 932.0 sec. user=vaughan [2009-05-08 05:39:23] 333*2^801455-1 is not prime. Res64: 000505FFA634A2F8 Time : 8268.0 sec. user=mdettweiler [2009-05-08 05:40:05] 315*2^801597-1 is not prime. Res64: E51E8A77D3FF68CD Time : 3888.0 sec. user=mdettweiler [2009-05-08 05:40:59] 339*2^801599-1 is not prime. Res64: C80FA1C3E37D1C45 Time : 3891.0 sec. user=vaughan [2009-05-08 05:41:03] 315*2^801459-1 is not prime. Res64: 89C453C8ABFBE889 Time : 8114.0 sec. user=mdettweiler [2009-05-08 05:42:20] 315*2^801622-1 is not prime. Res64: B1AE85F5B492C207 Time : 3897.0 sec. user=vaughan [2009-05-08 05:42:40] 339*2^801711-1 is not prime. Res64: 7BF61CEF0AB9BDAE Time : 937.0 sec. user=vaughan [2009-05-08 05:42:44] 345*2^801459-1 is not prime. Res64: AB7DB10DFCC21873 Time : 8137.0 sec. user=vaughan [2009-05-08 05:45:23] 327*2^801461-1 is not prime. Res64: 29965947F1203DC0 Time : 8194.0 sec. user=vaughan [2009-05-08 05:49:17] 315*2^801735-1 is not prime. Res64: D82EC91E2276F08C Time : 912.0 sec. user=mdettweiler [2009-05-08 05:50:14] 339*2^801635-1 is not prime. Res64: 4F0CCDADB8A7528A Time : 3892.0 sec. user=kar_bon [2009-05-08 05:51:05] 327*2^801261-1 is not prime. Res64: 8133C4D33395A40B Time : 13662.0 sec. user=mdettweiler [2009-05-08 05:53:03] 315*2^801642-1 is not prime. Res64: 1260ABF83D02E3FF Time : 3888.0 sec. user=vaughan [2009-05-08 05:53:10] 327*2^801485-1 is not prime. Res64: 374BDC9A345ED73B Time : 8269.0 sec. user=mdettweiler [2009-05-08 05:53:55] 339*2^801647-1 is not prime. Res64: 738D8744BBC1DE4A Time : 3890.0 sec. user=vaughan [2009-05-08 05:54:35] 345*2^801487-1 is not prime. Res64: 8210426248DE7E13 Time : 8115.0 sec. user=vaughan [2009-05-08 05:54:39] 333*2^801738-1 is not prime. Res64: A1D9B4038CB2FD1B Time : 934.0 sec. user=mdettweiler [2009-05-08 05:55:19] 321*2^801654-1 is not prime. Res64: 45F8016820CE5462 Time : 3896.0 sec. user=vaughan [2009-05-08 05:56:19] 327*2^801489-1 is not prime. Res64: 9E11411A35498767 Time : 8139.0 sec. user=kar_bon [2009-05-08 05:57:37] 333*2^801270-1 is not prime. Res64: F094F93C2AA38DF5 Time : 13828.0 sec. user=vaughan [2009-05-08 05:58:16] 315*2^801750-1 is not prime. Res64: D084B73566656B2F Time : 937.0 sec. user=vaughan [2009-05-08 05:59:04] 321*2^801490-1 is not prime. Res64: EDB74CEF4E31F5EF Time : 8197.0 sec. user=mdettweiler [2009-05-08 06:03:13] 315*2^801661-1 is not prime. Res64: DA9968CB371D7E68 Time : 3893.0 sec. user=vaughan [2009-05-08 06:04:30] 315*2^801755-1 is not prime. Res64: 6BD515CD1AB163A1 Time : 913.0 sec. user=mdettweiler [2009-05-08 06:06:02] 327*2^801669-1 is not prime. Res64: CEC9C7BFE5614FBB Time : 3890.0 sec. user=mdettweiler [2009-05-08 06:06:53] 315*2^801670-1 is not prime. Res64: CD8A2EF287F08E7F Time : 3888.0 sec. user=mdettweiler [2009-05-08 06:08:20] 321*2^801670-1 is not prime. Res64: 2912624B8DE95560 Time : 3900.0 sec. user=vaughan [2009-05-08 06:09:47] 315*2^801502-1 is not prime. Res64: F48C1BD394389860 Time : 8439.0 sec. user=vaughan [2009-05-08 06:09:52] 315*2^801506-1 is not prime. Res64: BA417E15B54F302B Time : 8139.0 sec. user=vaughan [2009-05-08 06:09:53] 339*2^801503-1 is not prime. Res64: 93BAD831F5D846EF Time : 8222.0 sec. user=vaughan [2009-05-08 06:10:12] 321*2^801781-1 is not prime. Res64: A0DB8D3B49A91102 Time : 933.0 sec. user=vaughan [2009-05-08 06:12:44] 327*2^801506-1 is not prime. Res64: 7C45B84AD75AA278 Time : 8197.0 sec. user=vaughan [2009-05-08 06:13:53] 345*2^801790-1 is not prime. Res64: 2EF2CC4E54005BE5 Time : 937.0 sec. user=kar_bon [2009-05-08 06:14:08] 345*2^801306-1 is not prime. Res64: E2865E26C9627FE9 Time : 13675.0 sec. user=mdettweiler [2009-05-08 06:16:10] 327*2^801681-1 is not prime. Res64: AB5C211149161470 Time : 3891.0 sec. user=mdettweiler [2009-05-08 06:19:02] 321*2^801698-1 is not prime. Res64: 9A30787B10C0897A Time : 3894.0 sec. user=vaughan [2009-05-08 06:19:42] 327*2^801796-1 is not prime. Res64: E34252F6DCCB491A Time : 913.0 sec. user=mdettweiler [2009-05-08 06:19:52] 327*2^801698-1 is not prime. Res64: 89FA1A1A33532EC1 Time : 3888.0 sec. user=kar_bon [2009-05-08 06:20:31] 327*2^801312-1 is not prime. Res64: F023434569D25A1F Time : 13854.0 sec. user=vaughan [2009-05-08 06:20:43] 327*2^801529-1 is not prime. Res64: 60C1868A432EB266 Time : 8267.0 sec. user=mdettweiler [2009-05-08 06:21:19] 321*2^801702-1 is not prime. Res64: F89DA1C8B4459C78 Time : 3899.0 sec. user=vaughan [2009-05-08 06:21:39] 321*2^801535-1 is not prime. Res64: 6FB92361D69974B6 Time : 8118.0 sec. user=vaughan [2009-05-08 06:23:27] 327*2^801544-1 is not prime. Res64: 07BFC4E826731125 Time : 8142.0 sec. user=vaughan [2009-05-08 06:25:46] 333*2^801830-1 is not prime. Res64: BEA3247CC5ABE10E Time : 934.0 sec. user=vaughan [2009-05-08 06:26:24] 315*2^801550-1 is not prime. Res64: CA5643B8E2D5D15A Time : 8198.0 sec. user=mdettweiler [2009-05-08 06:29:10] 333*2^801710-1 is not prime. Res64: CF221AD4376BE81A Time : 3809.0 sec. user=vaughan [2009-05-08 06:29:28] 333*2^801840-1 is not prime. Res64: 820712B74FED9A0F Time : 936.0 sec. user=mdettweiler [2009-05-08 06:31:59] 315*2^801712-1 is not prime. Res64: DC1720F265371CF5 Time : 3891.0 sec. user=mdettweiler [2009-05-08 06:32:50] 321*2^801714-1 is not prime. Res64: 1B61E17B302667E0 Time : 3887.0 sec. user=mdettweiler [2009-05-08 06:34:17] 345*2^801729-1 is not prime. Res64: 7E0C788905128930 Time : 3897.0 sec. user=vaughan [2009-05-08 06:34:31] 327*2^801554-1 is not prime. Res64: 4CE6FB6FC6010F79 Time : 8269.0 sec. user=vaughan [2009-05-08 06:34:54] 339*2^801848-1 is not prime. Res64: 40430614BD57DB06 Time : 912.0 sec. user=vaughan [2009-05-08 06:35:12] 345*2^801559-1 is not prime. Res64: 82EF55F1F8BC0E9D Time : 8119.0 sec. user=vaughan [2009-05-08 06:37:01] 315*2^801571-1 is not prime. Res64: 266D349F41CECB3D Time : 8142.0 sec. user=kar_bon [2009-05-08 06:37:02] 321*2^801362-1 is not prime. Res64: 6018847EB5432B4F Time : 13704.0 sec. user=vaughan [2009-05-08 06:40:04] 345*2^801571-1 is not prime. Res64: A639D85170F58AAA Time : 8199.0 sec. user=vaughan [2009-05-08 06:41:20] 321*2^801871-1 is not prime. Res64: CF7D4D08CB419857 Time : 934.0 sec. user=mdettweiler [2009-05-08 06:42:07] 345*2^801736-1 is not prime. Res64: BFEC5FAE76CAD13E Time : 3891.0 sec. user=kar_bon [2009-05-08 06:43:33] 315*2^801389-1 is not prime. Res64: F9C788C46125C3C7 Time : 13867.0 sec. user=mdettweiler [2009-05-08 06:44:59] 333*2^801744-1 is not prime. Res64: 68C95E19F87B4366 Time : 3895.0 sec. user=vaughan [2009-05-08 06:45:04] 315*2^801878-1 is not prime. Res64: 44BA9C997DFDED59 Time : 936.0 sec. user=mdettweiler [2009-05-08 06:45:47] 345*2^801744-1 is not prime. Res64: 731D2D6DADA5245B Time : 3888.0 sec. user=mdettweiler [2009-05-08 06:47:18] 327*2^801748-1 is not prime. Res64: 65D67E6F64501BDB Time : 3898.0 sec. user=vaughan [2009-05-08 06:48:19] 321*2^801591-1 is not prime. Res64: EF9DEEEFC8549ADC Time : 8270.0 sec. user=vaughan [2009-05-08 06:48:44] 339*2^801593-1 is not prime. Res64: B9567513C551C06D Time : 8120.0 sec. user=vaughan [2009-05-08 06:50:06] 315*2^801886-1 is not prime. Res64: 7B5A07F6548F3FCF Time : 912.0 sec. user=vaughan [2009-05-08 06:50:35] 327*2^801594-1 is not prime. Res64: 2E2B97F65B9541F9 Time : 8143.0 sec. user=vaughan [2009-05-08 06:53:43] 315*2^801612-1 is not prime. Res64: 67E0951B711CFFC8 Time : 8199.0 sec. user=mdettweiler [2009-05-08 06:55:08] 315*2^801759-1 is not prime. Res64: 844BFEDD9FF72921 Time : 3894.0 sec. user=vaughan [2009-05-08 06:56:54] 339*2^801893-1 is not prime. Res64: D4088527FAB0015D Time : 935.0 sec. user=mdettweiler [2009-05-08 06:57:56] 315*2^801765-1 is not prime. Res64: E4AD604CCDC6587F Time : 3893.0 sec. user=mdettweiler [2009-05-08 06:58:48] 321*2^801774-1 is not prime. Res64: 05B9929260A97102 Time : 3893.0 sec. user=kar_bon [2009-05-08 06:59:50] 315*2^801421-1 is not prime. Res64: AB7290EEEA5F1D1A Time : 13714.0 sec. user=mdettweiler [2009-05-08 07:00:18] 339*2^801785-1 is not prime. Res64: 7C4918E1E063D135 Time : 3899.0 sec. user=vaughan [2009-05-08 07:00:41] 315*2^801902-1 is not prime. Res64: D2BC7ECC46B3B211 Time : 937.0 sec. user=vaughan [2009-05-08 07:02:06] 315*2^801635-1 is not prime. Res64: C2481FEE1E9BD599 Time : 8271.0 sec. user=vaughan [2009-05-08 07:02:16] 333*2^801639-1 is not prime. Res64: 2EE9971B040FF415 Time : 8121.0 sec. user=vaughan [2009-05-08 07:04:09] 327*2^801645-1 is not prime. Res64: C2C3FC35064F28EC Time : 8143.0 sec. user=vaughan [2009-05-08 07:05:19] 339*2^801920-1 is not prime. Res64: B6C4B0FBA09CC953 Time : 913.0 sec. user=kar_bon [2009-05-08 07:06:18] 321*2^801446-1 is not prime. Res64: 5A09F5D34ECE9A09 Time : 13837.0 sec. user=vaughan [2009-05-08 07:07:23] 333*2^801654-1 is not prime. Res64: F6268DA5B2F0421C Time : 8199.0 sec. user=mdettweiler [2009-05-08 07:08:06] 345*2^801792-1 is not prime. Res64: 0688A12165BDA1CA Time : 3893.0 sec. user=mdettweiler [2009-05-08 07:10:55] 315*2^801807-1 is not prime. Res64: CCB7ED3CA47C088D Time : 3893.0 sec. user=mdettweiler [2009-05-08 07:11:46] 333*2^801815-1 is not prime. Res64: 045B711313702D96 Time : 3893.0 sec. user=vaughan [2009-05-08 07:12:28] 315*2^801927-1 is not prime. Res64: 648D1B20C10632C8 Time : 934.0 sec. user=mdettweiler [2009-05-08 07:13:17] 333*2^801819-1 is not prime. Res64: 16EBDD31D94A1168 Time : 3897.0 sec. user=vaughan [2009-05-08 07:15:48] 339*2^801665-1 is not prime. Res64: C5104A3A0BC78615 Time : 8121.0 sec. user=vaughan [2009-05-08 07:15:53] 327*2^801660-1 is not prime. Res64: 4757F15EECEC0CAC Time : 8271.0 sec. user=vaughan [2009-05-08 07:16:17] 345*2^801931-1 is not prime. Res64: 0DF82957FC3A0D3B Time : 937.0 sec. user=vaughan [2009-05-08 07:17:43] 339*2^801669-1 is not prime. Res64: CCB61044BF3C37AA Time : 8142.0 sec. user=vaughan [2009-05-08 07:20:31] 345*2^801942-1 is not prime. Res64: 04A7EA182A0315D7 Time : 913.0 sec. user=vaughan [2009-05-08 07:21:03] 315*2^801677-1 is not prime. Res64: 0EC72DC47314A9D3 Time : 8199.0 sec. user=mdettweiler [2009-05-08 07:21:03] 315*2^801846-1 is not prime. Res64: 9807AB33E9A107CB Time : 3893.0 sec. user=kar_bon [2009-05-08 07:22:38] 327*2^801481-1 is not prime. Res64: 6AEF2FB393CBDDBA Time : 13721.0 sec. user=mdettweiler [2009-05-08 07:23:53] 339*2^801847-1 is not prime. Res64: AE60A3B7E05B6612 Time : 3891.0 sec. user=mdettweiler [2009-05-08 07:24:44] 327*2^801849-1 is not prime. Res64: 3CE0DA91A8FE05B1 Time : 3892.0 sec. user=mdettweiler [2009-05-08 07:26:16] 327*2^801860-1 is not prime. Res64: 7F14C42A3948240D Time : 3897.0 sec. user=vaughan [2009-05-08 07:28:01] 339*2^801953-1 is not prime. Res64: A1D2EC5615F92FEE Time : 934.0 sec. user=kar_bon [2009-05-08 07:29:05] 339*2^801487-1 is not prime. Res64: 8B9F9717DB7025DA Time : 13810.0 sec. user=vaughan [2009-05-08 07:29:20] 321*2^801686-1 is not prime. Res64: DE943412EF5BE36F Time : 8122.0 sec. user=vaughan [2009-05-08 07:29:42] 333*2^801684-1 is not prime. Res64: 9D45904270C5755E Time : 8273.0 sec. user=vaughan [2009-05-08 07:31:19] 333*2^801699-1 is not prime. Res64: 6E75419C7B383463 Time : 8144.0 sec. user=vaughan [2009-05-08 07:31:56] 327*2^801964-1 is not prime. Res64: 97B8F887E214A8E3 Time : 939.0 sec. user=mdettweiler [2009-05-08 07:34:02] 321*2^801877-1 is not prime. Res64: 569A976BB0637315 Time : 3892.0 sec. user=vaughan [2009-05-08 07:34:43] 321*2^801705-1 is not prime. Res64: 7C9EB3C62BF035DA Time : 8200.0 sec. user=vaughan [2009-05-08 07:35:45] 315*2^801972-1 is not prime. Res64: B92485B5866EC9CE Time : 915.0 sec. user=mdettweiler [2009-05-08 07:36:51] 315*2^801880-1 is not prime. Res64: A6897532C4CC1E95 Time : 3892.0 sec. user=mdettweiler [2009-05-08 07:37:43] 339*2^801883-1 is not prime. Res64: F7E9B03E42666FFF Time : 3893.0 sec. user=mdettweiler [2009-05-08 07:39:15] 333*2^801884-1 is not prime. Res64: 2A64A37DD15B1B32 Time : 3898.0 sec. user=vaughan [2009-05-08 07:43:13] 339*2^801713-1 is not prime. Res64: 474868033A2E943E Time : 8142.0 sec. user=vaughan [2009-05-08 07:43:28] 327*2^801709-1 is not prime. Res64: C166BA269C365D97 Time : 8272.0 sec. user=vaughan [2009-05-08 07:43:35] 339*2^801993-1 is not prime. Res64: B8DB7C8C083A6674 Time : 934.0 sec. user=vaughan [2009-05-08 07:44:51] 333*2^801726-1 is not prime. Res64: B21A09E6496CB08B Time : 8142.0 sec. user=kar_bon [2009-05-08 07:45:14] 339*2^801509-1 is not prime. Res64: 8E4E03BBD7C7A947 Time : 13707.0 sec. user=mdettweiler [2009-05-08 07:47:01] 333*2^801896-1 is not prime. Res64: 044DFCA70AF59381 Time : 3894.0 sec. user=vaughan [2009-05-08 07:47:33] 333*2^802010-1 is not prime. Res64: DA6D418617A93630 Time : 938.0 sec. user=vaughan [2009-05-08 07:48:22] 315*2^801734-1 is not prime. Res64: B020C9F2C7E48D97 Time : 8200.0 sec. user=mdettweiler [2009-05-08 07:49:52] 339*2^801899-1 is not prime. Res64: 6EC18814B1891C8C Time : 3893.0 sec. user=mdettweiler [2009-05-08 07:50:42] 339*2^801903-1 is not prime. Res64: B679E05496091D4D Time : 3895.0 sec. user=vaughan [2009-05-08 07:50:58] 315*2^802015-1 is not prime. Res64: 5DE44FB48D90EF00 Time : 913.0 sec. user=kar_bon [2009-05-08 07:51:47] 315*2^801519-1 is not prime. Res64: 6C2636F6B6D6D2CA Time : 13779.0 sec. user=mdettweiler [2009-05-08 07:52:16] 315*2^801917-1 is not prime. Res64: AF9811DF0330CC79 Time : 3898.0 sec. user=vaughan [2009-05-08 07:56:23] 321*2^801745-1 is not prime. Res64: 9129388A99653932 Time : 8120.0 sec. user=vaughan [2009-05-08 07:57:15] 321*2^801741-1 is not prime. Res64: F96D3AD3FABB969B Time : 8272.0 sec. user=vaughan [2009-05-08 07:58:26] 321*2^801750-1 is not prime. Res64: 2B24C469450A901F Time : 8142.0 sec. user=vaughan [2009-05-08 07:59:08] 333*2^802028-1 is not prime. Res64: A93349EF72ECA52E Time : 934.0 sec. user=mdettweiler [2009-05-08 08:00:30] 321*2^801925-1 is not prime. Res64: 92A98DD93953F4A2 Time : 3922.0 sec. user=vaughan [2009-05-08 08:02:01] 339*2^801753-1 is not prime. Res64: 1B144CFE6B4A5BD9 Time : 8198.0 sec. user=vaughan [2009-05-08 08:03:08] 339*2^802045-1 is not prime. Res64: 128359B725F7A9E3 Time : 936.0 sec. user=mdettweiler [2009-05-08 08:03:35] 345*2^801927-1 is not prime. Res64: 2BF3B20D6E5240F7 Time : 3939.0 sec. user=mdettweiler [2009-05-08 08:04:35] 327*2^801929-1 is not prime. Res64: 35907AFA65A38996 Time : 3947.0 sec. user=vaughan [2009-05-08 08:06:10] 345*2^802056-1 is not prime. Res64: A6DCBA306D19C945 Time : 913.0 sec. user=mdettweiler [2009-05-08 08:06:19] 333*2^801930-1 is not prime. Res64: A093BCC20E4367C5 Time : 3961.0 sec. user=kar_bon [2009-05-08 08:08:07] 339*2^801559-1 is not prime. Res64: C3DCE69831D34E97 Time : 13712.0 sec. user=vaughan [2009-05-08 08:09:59] 315*2^801779-1 is not prime. Res64: 3706C9EE7E5CE810 Time : 8124.0 sec. user=vaughan [2009-05-08 08:11:03] 321*2^801773-1 is not prime. Res64: D5363E91D6995BE1 Time : 8273.0 sec. user=vaughan [2009-05-08 08:12:06] 345*2^801786-1 is not prime. Res64: E7D4EC84C5623950 Time : 8147.0 sec. user=mdettweiler [2009-05-08 08:14:09] 321*2^801945-1 is not prime. Res64: 5F374A6C08FED597 Time : 3963.0 sec. user=vaughan [2009-05-08 08:14:41] 333*2^802067-1 is not prime. Res64: F7AE4DCBE2CAB1C1 Time : 933.0 sec. user=kar_bon [2009-05-08 08:14:43] 327*2^801586-1 is not prime. Res64: 35C960C6986E20BC Time : 13764.0 sec. user=vaughan [2009-05-08 08:15:41] 333*2^801791-1 is not prime. Res64: 7BEE4B315767932C Time : 8198.0 sec. user=mdettweiler [2009-05-08 08:18:09] 333*2^801950-1 is not prime. Res64: ADF1833E5B338FF7 Time : 4034.0 sec. user=mdettweiler [2009-05-08 08:18:19] 321*2^801953-1 is not prime. Res64: 8C4A43E99BE1D666 Time : 3994.0 sec. user=vaughan [2009-05-08 08:18:45] 333*2^802071-1 is not prime. Res64: 99A953AE8BFC8073 Time : 937.0 sec. user=mdettweiler [2009-05-08 08:20:10] 333*2^801956-1 is not prime. Res64: 5672390810FBC8C0 Time : 4013.0 sec. user=vaughan [2009-05-08 08:21:22] 333*2^802074-1 is not prime. Res64: 9979A34D06A83716 Time : 912.0 sec. user=vaughan [2009-05-08 08:23:28] 333*2^801836-1 is not prime. Res64: F831443FB3A1A51C Time : 7954.0 sec. user=vaughan [2009-05-08 08:24:50] 339*2^801831-1 is not prime. Res64: 30A88A71FFDFCE72 Time : 8042.0 sec. user=vaughan [2009-05-08 08:25:34] 339*2^801825-1 is not prime. Res64: 08874C4724271CAF Time : 8142.0 sec. user=mdettweiler [2009-05-08 08:27:20] 315*2^801974-1 is not prime. Res64: 586455D8CE0F830A Time : 3977.0 sec. user=vaughan [2009-05-08 08:29:22] 321*2^801838-1 is not prime. Res64: 8CBC02BB73ADBE2F Time : 8198.0 sec. user=vaughan [2009-05-08 08:30:15] 321*2^802093-1 is not prime. Res64: 57AB67E8D1E738C1 Time : 934.0 sec. user=kar_bon [2009-05-08 08:31:11] 315*2^801630-1 is not prime. Res64: BE98BA59E3BC6A74 Time : 13714.0 sec. user=mdettweiler [2009-05-08 08:31:20] 339*2^801977-1 is not prime. Res64: 80A35C725419496A Time : 4047.0 sec. user=mdettweiler [2009-05-08 08:31:31] 321*2^801982-1 is not prime. Res64: CF33C4D77C964079 Time : 4007.0 sec. user=mdettweiler [2009-05-08 08:33:19] 315*2^801986-1 is not prime. Res64: CE6B85AE4246F96B Time : 4024.0 sec. user=vaughan [2009-05-08 08:34:21] 327*2^802116-1 is not prime. Res64: A4E06DC2CA98FDE5 Time : 936.0 sec. user=vaughan [2009-05-08 08:36:34] 315*2^802118-1 is not prime. Res64: E0B3CACDBD1F0005 Time : 912.0 sec. user=vaughan [2009-05-08 08:37:00] 333*2^801860-1 is not prime. Res64: 0C10F4372812CC3F Time : 8121.0 sec. user=kar_bon [2009-05-08 08:38:05] 327*2^801641-1 is not prime. Res64: 292F743FC5AEE55A Time : 13796.0 sec. user=vaughan [2009-05-08 08:38:37] 339*2^801857-1 is not prime. Res64: 44C601BDA1F504F0 Time : 8274.0 sec. user=vaughan [2009-05-08 08:39:08] 333*2^801864-1 is not prime. Res64: CA94482A2D9A9F73 Time : 8141.0 sec. user=mdettweiler [2009-05-08 08:40:29] 327*2^802013-1 is not prime. Res64: 13BAF72C37C24673 Time : 3987.0 sec. user=vaughan [2009-05-08 08:43:01] 327*2^801874-1 is not prime. Res64: 7848B963C53F93B8 Time : 8197.0 sec. user=mdettweiler [2009-05-08 08:44:35] 339*2^802016-1 is not prime. Res64: F3E38B7AA523CA43 Time : 4064.0 sec. user=mdettweiler [2009-05-08 08:44:42] 333*2^802020-1 is not prime. Res64: B949270209D771E4 Time : 4019.0 sec. user=vaughan [2009-05-08 08:45:48] 339*2^802135-1 is not prime. Res64: 2E398F5468D2A497 Time : 933.0 sec. user=mdettweiler [2009-05-08 08:46:29] 315*2^802024-1 is not prime. Res64: 5A4DB27A9889A1BD Time : 4034.0 sec. user=vaughan [2009-05-08 08:49:58] 345*2^802162-1 is not prime. Res64: F524A7DE069865E9 Time : 937.0 sec. user=vaughan [2009-05-08 08:50:31] 333*2^801888-1 is not prime. Res64: 02BC6E96841F0808 Time : 8120.0 sec. user=vaughan [2009-05-08 08:51:47] 315*2^802164-1 is not prime. Res64: E457EB9291EAA0DD Time : 913.0 sec. user=vaughan [2009-05-08 08:52:25] 327*2^801885-1 is not prime. Res64: 5BE71A2C1D5B046E Time : 8274.0 sec. user=vaughan [2009-05-08 08:52:42] 333*2^801890-1 is not prime. Res64: 1923D70853342883 Time : 8142.0 sec. user=mdettweiler [2009-05-08 08:53:38] 339*2^802041-1 is not prime. Res64: 8D68325F28399C2A Time : 3997.0 sec. user=kar_bon [2009-05-08 08:54:56] 339*2^801677-1 is not prime. Res64: 51623C5F0D03AAA0 Time : 13774.0 sec. user=vaughan [2009-05-08 08:56:41] 339*2^801891-1 is not prime. Res64: 73905EA77E1BF762 Time : 8198.0 sec. user=mdettweiler [2009-05-08 08:57:47] 327*2^802049-1 is not prime. Res64: 992334657837F457 Time : 4075.0 sec. user=mdettweiler [2009-05-08 08:57:50] 321*2^802054-1 is not prime. Res64: EC93BB7B53618A67 Time : 4028.0 sec. user=mdettweiler [2009-05-08 08:59:42] 333*2^802058-1 is not prime. Res64: 753E91CF0C3D12E5 Time : 4046.0 sec. user=vaughan [2009-05-08 09:01:23] 315*2^802178-1 is not prime. Res64: 6F62BB2F39D900D1 Time : 935.0 sec. user=kar_bon [2009-05-08 09:01:35] 315*2^801682-1 is not prime. Res64: 4032D4A8103603FE Time : 13811.0 sec. user=vaughan [2009-05-08 09:04:04] 333*2^801920-1 is not prime. Res64: AE91D5F75AEE07DE Time : 8120.0 sec. user=vaughan [2009-05-08 09:05:35] 333*2^802179-1 is not prime. Res64: C044F6207C1A8BB8 Time : 937.0 sec. user=vaughan [2009-05-08 09:06:13] 339*2^801917-1 is not prime. Res64: 7E4A1EA263E24285 Time : 8274.0 sec. user=vaughan [2009-05-08 09:06:16] 339*2^801921-1 is not prime. Res64: 0259EF8A8D5A6F96 Time : 8141.0 sec. user=mdettweiler [2009-05-08 09:06:53] 327*2^802068-1 is not prime. Res64: 3329C7B18DB69D53 Time : 3983.0 sec. user=vaughan [2009-05-08 09:06:59] 315*2^802186-1 is not prime. Res64: 82FD515972EE54A2 Time : 913.0 sec. user=vaughan [2009-05-08 09:10:21] 345*2^801922-1 is not prime. Res64: 4D7DE95590891186 Time : 8198.0 sec. user=mdettweiler [2009-05-08 09:10:53] 339*2^802072-1 is not prime. Res64: E2E27841B4A4C642 Time : 3978.0 sec. user=mdettweiler [2009-05-08 09:10:55] 339*2^802071-1 is not prime. Res64: 9CB62876EAA03BC6 Time : 4040.0 sec. user=mdettweiler [2009-05-08 09:12:50] 315*2^802075-1 is not prime. Res64: 82497C53C803B7A5 Time : 3991.0 sec. user=vaughan [2009-05-08 09:16:57] 321*2^802215-1 is not prime. Res64: 66BB7C519199B6D4 Time : 935.0 sec. user=vaughan [2009-05-08 09:17:35] 333*2^801936-1 is not prime. Res64: 16211C8EC73527D5 Time : 8120.0 sec. user=kar_bon [2009-05-08 09:17:37] 315*2^801725-1 is not prime. Res64: 389DC2DEE99EE78A Time : 13760.0 sec. user=vaughan [2009-05-08 09:19:52] 339*2^801941-1 is not prime. Res64: 0B4B29EA4C2AE84C Time : 8143.0 sec. user=mdettweiler [2009-05-08 09:19:55] 327*2^802092-1 is not prime. Res64: 85C32EEC70EF0551 Time : 3946.0 sec. user=vaughan [2009-05-08 09:20:00] 339*2^801935-1 is not prime. Res64: 6FDCD87FAEE077A9 Time : 8275.0 sec. user=vaughan [2009-05-08 09:21:11] 339*2^802219-1 is not prime. Res64: 5150659127B05113 Time : 937.0 sec. user=vaughan [2009-05-08 09:22:11] 315*2^802231-1 is not prime. Res64: D72A97AA857EAC83 Time : 912.0 sec. user=mdettweiler [2009-05-08 09:23:55] 315*2^802101-1 is not prime. Res64: 5D41FEFE67FD56E4 Time : 3946.0 sec. user=mdettweiler [2009-05-08 09:23:56] 333*2^802110-1 is not prime. Res64: 39A316B8D0C2D922 Time : 3937.0 sec. user=vaughan [2009-05-08 09:24:01] 339*2^801943-1 is not prime. Res64: 2F97233BE658E3C1 Time : 8198.0 sec. user=kar_bon [2009-05-08 09:24:32] 339*2^801735-1 is not prime. Res64: 3FC567DFEA2DDE83 Time : 13789.0 sec. user=mdettweiler [2009-05-08 09:26:00] 333*2^802116-1 is not prime. Res64: 5F1B507C810088A0 Time : 3950.0 sec. user=vaughan [2009-05-08 09:31:08] 321*2^801958-1 is not prime. Res64: F93BDE83D559E419 Time : 8120.0 sec. user=vaughan [2009-05-08 09:32:30] 321*2^802237-1 is not prime. Res64: 026CDC3DF176CBBD Time : 934.0 sec. user=mdettweiler [2009-05-08 09:32:59] 315*2^802130-1 is not prime. Res64: 4AED61ACC6634492 Time : 3939.0 sec. user=vaughan [2009-05-08 09:33:26] 321*2^801965-1 is not prime. Res64: DEA839881BADFEE1 Time : 8143.0 sec. user=vaughan [2009-05-08 09:33:49] 315*2^801959-1 is not prime. Res64: F5FD1CCF9B20A183 Time : 8276.0 sec. user=vaughan [2009-05-08 09:36:48] 333*2^802248-1 is not prime. Res64: 13334ADD7EEDC024 Time : 937.0 sec. user=mdettweiler [2009-05-08 09:37:04] 327*2^802152-1 is not prime. Res64: 24452DB385D4C822 Time : 3944.0 sec. user=mdettweiler [2009-05-08 09:37:07] 315*2^802155-1 is not prime. Res64: 4AC85F9FE94C8C42 Time : 3936.0 sec. user=vaughan [2009-05-08 09:37:23] 333*2^802250-1 is not prime. Res64: E48DABBD480E0382 Time : 912.0 sec. user=vaughan [2009-05-08 09:37:40] 339*2^801973-1 is not prime. Res64: 27D6095E04DD72F8 Time : 8198.0 sec. user=mdettweiler [2009-05-08 09:39:05] 321*2^802157-1 is not prime. Res64: BF80BEED197CB745 Time : 3946.0 sec. user=kar_bon [2009-05-08 09:40:07] 339*2^801761-1 is not prime. Res64: D87675999A2A4D58 Time : 13743.0 sec. user=vaughan [2009-05-08 09:44:40] 339*2^802000-1 is not prime. Res64: DC4D7C9310DFF299 Time : 8120.0 sec. user=mdettweiler [2009-05-08 09:46:07] 315*2^802174-1 is not prime. Res64: 94333158B192D626 Time : 3938.0 sec. user=vaughan [2009-05-08 09:47:00] 327*2^802005-1 is not prime. Res64: BC3BBDDC3534B988 Time : 8142.0 sec. user=vaughan [2009-05-08 09:47:36] 321*2^802001-1 is not prime. Res64: D2A416C00E6E535E Time : 8275.0 sec. user=kar_bon [2009-05-08 09:47:39] 327*2^801789-1 is not prime. Res64: CB111E7257A20AA9 Time : 13802.0 sec. user=vaughan [2009-05-08 09:48:04] 315*2^802286-1 is not prime. Res64: C87A2C15130368C1 Time : 934.0 sec. user=mdettweiler [2009-05-08 09:50:13] 339*2^802175-1 is not prime. Res64: A05510A631C26145 Time : 3938.0 sec. user=mdettweiler [2009-05-08 09:50:16] 339*2^802177-1 is not prime. Res64: 1D0BBB5135580669 Time : 3934.0 sec. user=vaughan [2009-05-08 09:51:21] 345*2^802014-1 is not prime. Res64: B17485225DA4278E Time : 8198.0 sec. user=mdettweiler [2009-05-08 09:52:13] 333*2^802178-1 is not prime. Res64: 27FAFDD27B24EC3E Time : 3944.0 sec. user=vaughan [2009-05-08 09:52:25] 321*2^802302-1 is not prime. Res64: 74D1E496177ACF20 Time : 938.0 sec. user=vaughan [2009-05-08 09:52:36] 321*2^802310-1 is not prime. Res64: A3EFBF76094D49A6 Time : 913.0 sec. user=vaughan [2009-05-08 09:58:13] 339*2^802025-1 is not prime. Res64: 5BCD04D7150B758E Time : 8101.0 sec. user=mdettweiler [2009-05-08 09:59:05] 315*2^802200-1 is not prime. Res64: 38BE0CF04CB8E5A5 Time : 3927.0 sec. user=vaughan [2009-05-08 10:00:36] 327*2^802032-1 is not prime. Res64: 54FABF82CA050AE7 Time : 8145.0 sec. user=vaughan [2009-05-08 10:01:23] 327*2^802026-1 is not prime. Res64: D7BA77B7CCF5B23A Time : 8275.0 sec. user=kar_bon [2009-05-08 10:02:39] 321*2^801841-1 is not prime. Res64: 0B760303B101B87F Time : 13711.0 sec. user=mdettweiler [2009-05-08 10:03:10] 333*2^802208-1 is not prime. Res64: 854AEA94E828591F Time : 3923.0 sec. user=mdettweiler [2009-05-08 10:03:15] 339*2^802211-1 is not prime. Res64: 2E97732EEE0C8EE7 Time : 3925.0 sec. user=vaughan [2009-05-08 10:03:38] 321*2^802337-1 is not prime. Res64: 6F61DB235C00C12E Time : 934.0 sec. user=vaughan [2009-05-08 10:05:01] 315*2^802046-1 is not prime. Res64: FDF17C57E559D148 Time : 8200.0 sec. user=mdettweiler [2009-05-08 10:05:15] 345*2^802212-1 is not prime. Res64: 6CCA7B2087BC41A7 Time : 3933.0 sec. user=vaughan [2009-05-08 10:07:48] 345*2^802341-1 is not prime. Res64: 6308E883B476F2C1 Time : 912.0 sec. user=vaughan [2009-05-08 10:08:02] 327*2^802341-1 is not prime. Res64: 2C917190D7B86859 Time : 937.0 sec. user=kar_bon [2009-05-08 10:10:35] 315*2^801856-1 is not prime. Res64: 27E9C7227DF56276 Time : 13805.0 sec. user=vaughan [2009-05-08 10:11:44] 315*2^802062-1 is not prime. Res64: 9497A6D0DA430BDA Time : 8121.0 sec. user=mdettweiler [2009-05-08 10:12:03] 321*2^802230-1 is not prime. Res64: 8D67B2DE0FF402A7 Time : 3910.0 sec. user=vaughan [2009-05-08 10:14:11] 339*2^802065-1 is not prime. Res64: E7185A19ED424638 Time : 8145.0 sec. user=vaughan [2009-05-08 10:15:13] 345*2^802062-1 is not prime. Res64: 2870DD5932CB0BE5 Time : 8278.0 sec. user=mdettweiler [2009-05-08 10:16:13] 345*2^802234-1 is not prime. Res64: BF5A7BBA80688C40 Time : 3918.0 sec. user=mdettweiler [2009-05-08 10:16:16] 327*2^802233-1 is not prime. Res64: BA2DC7DB366C14CC Time : 3923.0 sec. user=mdettweiler [2009-05-08 10:18:20] 339*2^802235-1 is not prime. Res64: 9FDCA18942EEAEB3 Time : 3930.0 sec. user=vaughan [2009-05-08 10:18:41] 315*2^802069-1 is not prime. Res64: DD662459049999CA Time : 8200.0 sec. user=vaughan [2009-05-08 10:19:11] 339*2^802365-1 is not prime. Res64: 29668C60A56E4660 Time : 933.0 sec. user=vaughan [2009-05-08 10:23:00] 345*2^802371-1 is not prime. Res64: 0296D0B2025C4723 Time : 913.0 sec. user=vaughan [2009-05-08 10:23:38] 339*2^802379-1 is not prime. Res64: 5B0CE4D421B1C7D6 Time : 937.0 sec. user=mdettweiler [2009-05-08 10:25:19] 339*2^802247-1 is not prime. Res64: EB9C82505EABA3A5 Time : 3924.0 sec. user=vaughan [2009-05-08 10:25:19] 333*2^802080-1 is not prime. Res64: 36824AFCB8A7CD0F Time : 8121.0 sec. user=kar_bon [2009-05-08 10:25:37] 315*2^801891-1 is not prime. Res64: 08F71CA5103016D2 Time : 13715.0 sec. user=vaughan [2009-05-08 10:27:46] 315*2^802090-1 is not prime. Res64: 2B5DCB689D04B85E Time : 8141.0 sec. user=vaughan [2009-05-08 10:29:04] 327*2^802084-1 is not prime. Res64: 38B9E53EAD4193B2 Time : 8282.0 sec. user=mdettweiler [2009-05-08 10:29:29] 333*2^802254-1 is not prime. Res64: F34152A1295AF44B Time : 3934.0 sec. user=mdettweiler [2009-05-08 10:29:29] 339*2^802251-1 is not prime. Res64: 0282B776087922FD Time : 3934.0 sec. user=mdettweiler [2009-05-08 10:31:58] 339*2^802275-1 is not prime. Res64: 06DA91D14930F0B6 Time : 3958.0 sec. user=vaughan [2009-05-08 10:32:23] 339*2^802097-1 is not prime. Res64: 55575E4105A6AFDA Time : 8202.0 sec. user=kar_bon [2009-05-08 10:33:42] 315*2^801898-1 is not prime. Res64: 0F5FCBCF9BFD0768 Time : 13809.0 sec. user=vaughan [2009-05-08 10:34:51] 333*2^802404-1 is not prime. Res64: 63F36D0589ED5DEA Time : 940.0 sec. user=vaughan [2009-05-08 10:38:14] 321*2^802407-1 is not prime. Res64: EBD7CFA259D47C32 Time : 914.0 sec. user=mdettweiler [2009-05-08 10:38:43] 327*2^802288-1 is not prime. Res64: F48FE7FE3406DB96 Time : 3944.0 sec. user=vaughan [2009-05-08 10:38:52] 321*2^802118-1 is not prime. Res64: 0C5E318D6B94CA94 Time : 8125.0 sec. user=vaughan [2009-05-08 10:39:18] 333*2^802407-1 is not prime. Res64: 7EC1256353800338 Time : 940.0 sec. user=vaughan [2009-05-08 10:41:22] 339*2^802127-1 is not prime. Res64: 79E01D0D17695272 Time : 8148.0 sec. user=vaughan [2009-05-08 10:42:48] 321*2^802127-1 is not prime. Res64: 9E88825BF66AE0A4 Time : 8279.0 sec. user=mdettweiler [2009-05-08 10:42:50] 315*2^802309-1 is not prime. Res64: 6F2CC55460E42642 Time : 3943.0 sec. user=mdettweiler [2009-05-08 10:43:00] 327*2^802306-1 is not prime. Res64: B59C9224B5218682 Time : 3956.0 sec. user=mdettweiler [2009-05-08 10:45:38] 345*2^802314-1 is not prime. Res64: 757DB4950BC70BDC Time : 3993.0 sec. user=vaughan [2009-05-08 10:46:03] 333*2^802134-1 is not prime. Res64: 0D14FB8CC4E5B356 Time : 8201.0 sec. user=kar_bon [2009-05-08 10:48:28] 339*2^801929-1 is not prime. Res64: 6B9B1E7F873B2453 Time : 13719.0 sec. user=vaughan [2009-05-08 10:50:26] 315*2^802440-1 is not prime. Res64: 17C02C36B9F4414C Time : 939.0 sec. user=mdettweiler [2009-05-08 10:52:02] 327*2^802321-1 is not prime. Res64: D6DC2A256117B07A Time : 3955.0 sec. user=vaughan [2009-05-08 10:52:23] 315*2^802166-1 is not prime. Res64: 9F0D1119C7BC7289 Time : 8123.0 sec. user=vaughan [2009-05-08 10:53:27] 321*2^802441-1 is not prime. Res64: F0DC840EFCD2C9EC Time : 914.0 sec. user=vaughan [2009-05-08 10:54:53] 327*2^802173-1 is not prime. Res64: C342E3952AA1CB94 Time : 8145.0 sec. user=vaughan [2009-05-08 10:54:54] 327*2^802445-1 is not prime. Res64: 87908F951EE58BCD Time : 937.0 sec. user=mdettweiler [2009-05-08 10:56:25] 315*2^802339-1 is not prime. Res64: 79CC24B4EA4D92F3 Time : 3969.0 sec. user=vaughan [2009-05-08 10:56:36] 327*2^802172-1 is not prime. Res64: 48F699F5F523148B Time : 8279.0 sec. user=kar_bon [2009-05-08 10:56:49] 321*2^801943-1 is not prime. Res64: C9668F3378EB8E68 Time : 13831.0 sec. user=mdettweiler [2009-05-08 10:56:58] 339*2^802337-1 is not prime. Res64: F417EA0E85020E25 Time : 4005.0 sec. user=mdettweiler [2009-05-08 10:59:09] 327*2^802340-1 is not prime. Res64: 4464E0E4B40FBADE Time : 4016.0 sec. user=vaughan [2009-05-08 10:59:42] 345*2^802174-1 is not prime. Res64: ED99023EA1FB69F2 Time : 8201.0 sec. user=mdettweiler [2009-05-08 11:05:22] 333*2^802347-1 is not prime. Res64: 4B8921AE26E892AC Time : 3978.0 sec. user=vaughan [2009-05-08 11:05:55] 339*2^802183-1 is not prime. Res64: E49A52000538FE6C Time : 8124.0 sec. user=vaughan [2009-05-08 11:06:00] 327*2^802473-1 is not prime. Res64: 6253F99503F95C84 Time : 934.0 sec. user=vaughan [2009-05-08 11:08:29] 333*2^802194-1 is not prime. Res64: 0E6418064D5967BB Time : 8148.0 sec. user=vaughan [2009-05-08 11:08:40] 315*2^802478-1 is not prime. Res64: A3A6D0127E27F47A Time : 913.0 sec. user=mdettweiler [2009-05-08 11:09:43] 333*2^802364-1 is not prime. Res64: DC4C87B170174394 Time : 3988.0 sec. user=mdettweiler [2009-05-08 11:10:16] 339*2^802361-1 is not prime. Res64: 6AC58565C3995ED4 Time : 4026.0 sec. user=vaughan [2009-05-08 11:10:25] 321*2^802190-1 is not prime. Res64: C30A96713F90A8A0 Time : 8281.0 sec. user=vaughan [2009-05-08 11:10:30] 327*2^802485-1 is not prime. Res64: C692B717C4E45D83 Time : 936.0 sec. user=kar_bon [2009-05-08 11:11:19] 339*2^801975-1 is not prime. Res64: 7D53CC846888BE97 Time : 13721.0 sec. user=mdettweiler [2009-05-08 11:12:28] 315*2^802371-1 is not prime. Res64: 619610E174720198 Time : 4033.0 sec. user=vaughan [2009-05-08 11:13:24] 327*2^802201-1 is not prime. Res64: 1EAB294823D94D2E Time : 8203.0 sec. user=mdettweiler [2009-05-08 11:18:25] 321*2^802382-1 is not prime. Res64: A7DE480C93DE2D82 Time : 3982.0 sec. user=vaughan [2009-05-08 11:19:30] 339*2^802217-1 is not prime. Res64: 44C8FFF0AC50BD71 Time : 8126.0 sec. user=vaughan [2009-05-08 11:21:33] 339*2^802511-1 is not prime. Res64: 8A38687C00310B83 Time : 934.0 sec. user=vaughan [2009-05-08 11:22:03] 321*2^802225-1 is not prime. Res64: A02738F0BE8998AD Time : 8147.0 sec. user=mdettweiler [2009-05-08 11:22:42] 339*2^802391-1 is not prime. Res64: 3A466FA8452D7C79 Time : 3986.0 sec. user=mdettweiler [2009-05-08 11:23:15] 339*2^802389-1 is not prime. Res64: 5C80D5B4FB25939A Time : 4023.0 sec. user=vaughan [2009-05-08 11:23:53] 321*2^802514-1 is not prime. Res64: BF165EE5A64A93D3 Time : 913.0 sec. user=vaughan [2009-05-08 11:24:11] 333*2^802220-1 is not prime. Res64: C6E590AFC4B11E51 Time : 8278.0 sec. user=mdettweiler [2009-05-08 11:25:29] 345*2^802392-1 is not prime. Res64: 760E218C3842CF4C Time : 4029.0 sec. user=vaughan [2009-05-08 11:26:07] 321*2^802527-1 is not prime. Res64: 7942ABADB0B411E0 Time : 937.0 sec. user=vaughan [2009-05-08 11:27:02] 345*2^802231-1 is not prime. Res64: DD07D1F7CFB467BE Time : 8201.0 sec. user=mdettweiler [2009-05-08 11:31:23] 327*2^802412-1 is not prime. Res64: 6223E30BB340F308 Time : 3964.0 sec. user=vaughan [2009-05-08 11:33:00] 315*2^802238-1 is not prime. Res64: 4EE0EC9736CB3709 Time : 8125.0 sec. user=vaughan [2009-05-08 11:35:38] 327*2^802242-1 is not prime. Res64: A6AE83703C7D2B3B Time : 8147.0 sec. user=mdettweiler [2009-05-08 11:35:42] 333*2^802431-1 is not prime. Res64: 298BCFDA1C71A298 Time : 3974.0 sec. user=mdettweiler [2009-05-08 11:36:12] 339*2^802431-1 is not prime. Res64: 8A39B766A6ECCEC5 Time : 4003.0 sec. user=vaughan [2009-05-08 11:37:08] 327*2^802540-1 is not prime. Res64: 5428007A6D34FCFB Time : 935.0 sec. user=vaughan [2009-05-08 11:37:58] 327*2^802248-1 is not prime. Res64: 788AB63CB2D705EE Time : 8278.0 sec. user=mdettweiler [2009-05-08 11:38:28] 345*2^802432-1 is not prime. Res64: 32C84F91F15923F6 Time : 3990.0 sec. user=vaughan [2009-05-08 11:39:05] 327*2^802553-1 is not prime. Res64: 9F7FA32048278AC6 Time : 913.0 sec. user=vaughan [2009-05-08 11:40:42] 339*2^802263-1 is not prime. Res64: 4DBD38F927B06B91 Time : 8201.0 sec. user=vaughan [2009-05-08 11:41:45] 333*2^802571-1 is not prime. Res64: F9CF9A41EEAE9104 Time : 938.0 sec. user=mdettweiler [2009-05-08 11:44:23] 333*2^802443-1 is not prime. Res64: CA97DEE1DD45C510 Time : 3941.0 sec. user=vaughan [2009-05-08 11:46:32] 333*2^802278-1 is not prime. Res64: 770F2C3F0DE502D0 Time : 8124.0 sec. user=mdettweiler [2009-05-08 11:48:41] 345*2^802455-1 is not prime. Res64: 818AC4BA3E87F494 Time : 3952.0 sec. user=mdettweiler [2009-05-08 11:49:12] 315*2^802456-1 is not prime. Res64: 132AAD9AA9F11050 Time : 3972.0 sec. user=vaughan [2009-05-08 11:49:13] 315*2^802291-1 is not prime. Res64: 3E275A638AF4446F Time : 8148.0 sec. user=mdettweiler [2009-05-08 11:51:27] 321*2^802463-1 is not prime. Res64: 481B1B5EC24343C5 Time : 3949.0 sec. user=vaughan [2009-05-08 11:51:47] 339*2^802301-1 is not prime. Res64: 4D30D61609A6745A Time : 8278.0 sec. user=vaughan [2009-05-08 11:52:42] 327*2^802588-1 is not prime. Res64: 108CB5539F0350A6 Time : 934.0 sec. user=vaughan [2009-05-08 11:54:17] 339*2^802592-1 is not prime. Res64: 5C71E1F5B4A182C1 Time : 913.0 sec. user=vaughan [2009-05-08 11:54:22] 339*2^802313-1 is not prime. Res64: 28C1497FEDA94058 Time : 8202.0 sec. user=mdettweiler [2009-05-08 11:57:21] 339*2^802473-1 is not prime. Res64: 1F03F17C41F4CA72 Time : 3919.0 sec. user=vaughan [2009-05-08 11:57:23] 345*2^802594-1 is not prime. Res64: D042675CF97D06E3 Time : 938.0 sec. user=vaughan [2009-05-08 12:00:06] 321*2^802318-1 is not prime. Res64: A3AB9DC7805D2EA4 Time : 8126.0 sec. user=mdettweiler [2009-05-08 12:01:41] 333*2^802487-1 is not prime. Res64: 3C1DB1C9B1A8D47C Time : 3916.0 sec. user=mdettweiler [2009-05-08 12:02:11] 345*2^802495-1 is not prime. Res64: BBF7974D3A7DB772 Time : 3913.0 sec. user=vaughan [2009-05-08 12:02:51] 315*2^802322-1 is not prime. Res64: 96C1703A9B9E5036 Time : 8151.0 sec. user=mdettweiler [2009-05-08 12:04:27] 321*2^802501-1 is not prime. Res64: 4AE19BBF17E0C84E Time : 3918.0 sec. user=vaughan [2009-05-08 12:05:34] 345*2^802324-1 is not prime. Res64: EDE2B4314C0B55B8 Time : 8278.0 sec. user=vaughan [2009-05-08 12:08:03] 339*2^802339-1 is not prime. Res64: 3AB82D3081E88D68 Time : 8202.0 sec. user=vaughan [2009-05-08 12:08:16] 315*2^802618-1 is not prime. Res64: 94A4793F9DB92156 Time : 934.0 sec. user=vaughan [2009-05-08 12:09:30] 339*2^802621-1 is not prime. Res64: FFC3128F563267DE Time : 913.0 sec. user=mdettweiler [2009-05-08 12:10:21] 339*2^802507-1 is not prime. Res64: 567254050A40F4BF Time : 3899.0 sec. user=vaughan [2009-05-08 12:12:59] 327*2^802625-1 is not prime. Res64: E1FA9F297571142C Time : 937.0 sec. user=vaughan [2009-05-08 12:13:37] 321*2^802345-1 is not prime. Res64: 74191300B075A3F6 Time : 8124.0 sec. user=mdettweiler [2009-05-08 12:14:43] 315*2^802515-1 is not prime. Res64: 198C82A940884E8E Time : 3900.0 sec. user=mdettweiler [2009-05-08 12:15:09] 327*2^802516-1 is not prime. Res64: 2FCA102684DD67D8 Time : 3893.0 sec. user=vaughan [2009-05-08 12:16:26] 315*2^802349-1 is not prime. Res64: 16CE2F811FE473C5 Time : 8151.0 sec. user=mdettweiler [2009-05-08 12:17:26] 345*2^802531-1 is not prime. Res64: A01865DE3AC2C416 Time : 3898.0 sec. user=vaughan [2009-05-08 12:19:23] 339*2^802359-1 is not prime. Res64: B3D4FFD42E6A5AC3 Time : 8280.0 sec. user=vaughan [2009-05-08 12:21:43] 333*2^802368-1 is not prime. Res64: 44CAB053A03D681B Time : 8202.0 sec. user=mdettweiler [2009-05-08 12:23:20] 333*2^802539-1 is not prime. Res64: 1D559BD0B01A5513 Time : 3895.0 sec. user=vaughan [2009-05-08 12:23:50] 315*2^802646-1 is not prime. Res64: 7DB9E1DD4DAF01F8 Time : 935.0 sec. user=vaughan [2009-05-08 12:24:43] 345*2^802647-1 is not prime. Res64: A680340D51487F9D Time : 913.0 sec. user=vaughan [2009-05-08 12:27:09] 327*2^802381-1 is not prime. Res64: C169B7AFAA2076A7 Time : 8125.0 sec. user=mdettweiler [2009-05-08 12:27:41] 333*2^802547-1 is not prime. Res64: 6A6A6A40D21B1C3A Time : 3899.0 sec. user=mdettweiler [2009-05-08 12:28:08] 321*2^802550-1 is not prime. Res64: B62407E0ABFC848C Time : 3893.0 sec. user=vaughan [2009-05-08 12:28:49] 339*2^802651-1 is not prime. Res64: DA6CA0C4C5FE2463 Time : 950.0 sec. user=vaughan [2009-05-08 12:30:02] 321*2^802385-1 is not prime. Res64: CE0C01BE8B7DB638 Time : 8152.0 sec. user=mdettweiler [2009-05-08 12:30:27] 345*2^802560-1 is not prime. Res64: A6ACCE78C8963C39 Time : 3899.0 sec. user=vaughan [2009-05-08 12:33:10] 321*2^802386-1 is not prime. Res64: 0B8036ADA6A30029 Time : 8278.0 sec. user=vaughan [2009-05-08 12:35:24] 339*2^802401-1 is not prime. Res64: 2BDBA101759D863C Time : 8203.0 sec. user=mdettweiler [2009-05-08 12:36:18] 321*2^802575-1 is not prime. Res64: 82CBD10077172763 Time : 3895.0 sec. user=vaughan [2009-05-08 12:39:39] 315*2^802667-1 is not prime. Res64: 3B79ADA079F9A824 Time : 949.0 sec. user=vaughan [2009-05-08 12:40:05] 333*2^802667-1 is not prime. Res64: 206096E65123F102 Time : 922.0 sec. user=vaughan [2009-05-08 12:40:41] 327*2^802413-1 is not prime. Res64: 316F4D37E9B594F1 Time : 8122.0 sec. user=mdettweiler [2009-05-08 12:40:47] 321*2^802582-1 is not prime. Res64: FAD20352B7496C39 Time : 3905.0 sec. user=mdettweiler [2009-05-08 12:41:08] 339*2^802583-1 is not prime. Res64: D220E9784EE177AC Time : 3896.0 sec. user=mdettweiler [2009-05-08 12:43:34] 327*2^802592-1 is not prime. Res64: BC2F01FE7F871626 Time : 3906.0 sec. user=vaughan [2009-05-08 12:43:38] 339*2^802421-1 is not prime. Res64: AF34898C5444D855 Time : 8153.0 sec. user=vaughan [2009-05-08 12:44:27] 345*2^802674-1 is not prime. Res64: C7202BC9053C6DD2 Time : 938.0 sec. user=vaughan [2009-05-08 12:46:57] 321*2^802431-1 is not prime. Res64: 3E7DEE83E08D5D2B Time : 8274.0 sec. user=vaughan [2009-05-08 12:49:05] 345*2^802434-1 is not prime. Res64: 55E1FE4AE65FE62C Time : 8202.0 sec. user=mdettweiler [2009-05-08 12:49:19] 327*2^802596-1 is not prime. Res64: 964C7EF2ED0EA176 Time : 3896.0 sec. user=mdettweiler [2009-05-08 12:53:45] 333*2^802598-1 is not prime. Res64: A3DA39DEA8192E1D Time : 3904.0 sec. user=mdettweiler [2009-05-08 12:54:07] 339*2^802605-1 is not prime. Res64: 3B00FD6C4EEF7584 Time : 3895.0 sec. user=vaughan [2009-05-08 12:54:13] 345*2^802444-1 is not prime. Res64: C0EC67DC10261640 Time : 8122.0 sec. user=vaughan [2009-05-08 12:55:13] 315*2^802696-1 is not prime. Res64: 2C2CCC014C097D40 Time : 935.0 sec. user=vaughan [2009-05-08 12:55:18] 345*2^802699-1 is not prime. Res64: B4D7E88A8B9D263D Time : 914.0 sec. user=mdettweiler [2009-05-08 12:56:33] 339*2^802607-1 is not prime. Res64: E1E4E086CAB7A8CC Time : 3906.0 sec. user=vaughan [2009-05-08 12:57:13] 345*2^802450-1 is not prime. Res64: 3072D8045BAAE435 Time : 8152.0 sec. user=vaughan [2009-05-08 13:00:04] 315*2^802709-1 is not prime. Res64: 039876DFE6E159B4 Time : 938.0 sec. user=vaughan [2009-05-08 13:00:43] 321*2^802455-1 is not prime. Res64: 7135ACDE1B326A3C Time : 8275.0 sec. user=mdettweiler [2009-05-08 13:02:19] 345*2^802624-1 is not prime. Res64: 02FFE622DBD25697 Time : 3898.0 sec. user=vaughan [2009-05-08 13:02:46] 333*2^802464-1 is not prime. Res64: 7B3F6445DE4641D3 Time : 8204.0 sec. user=mdettweiler [2009-05-08 13:06:44] 333*2^802628-1 is not prime. Res64: 78DA883A694E6B27 Time : 3903.0 sec. user=mdettweiler [2009-05-08 13:07:07] 345*2^802630-1 is not prime. Res64: CA2BFB6F99AF15F5 Time : 3896.0 sec. user=vaughan [2009-05-08 13:07:46] 315*2^802476-1 is not prime. Res64: CBE2BDB18251B252 Time : 8124.0 sec. user=mdettweiler [2009-05-08 13:09:33] 345*2^802642-1 is not prime. Res64: 262E1F729EFE3017 Time : 3906.0 sec. user=vaughan [2009-05-08 13:10:31] 339*2^802731-1 is not prime. Res64: DCDA3D63AEFFD083 Time : 913.0 sec. user=vaughan [2009-05-08 13:10:46] 333*2^802728-1 is not prime. Res64: B6BB739BF002DA80 Time : 934.0 sec. user=vaughan [2009-05-08 13:10:49] 339*2^802481-1 is not prime. Res64: FD22301FAF19A0CB Time : 8156.0 sec. user=vaughan [2009-05-08 13:14:31] 321*2^802494-1 is not prime. Res64: 5360D32798DAD161 Time : 8276.0 sec. user=mdettweiler [2009-05-08 13:15:18] 315*2^802650-1 is not prime. Res64: C6D4DAF59BD8891C Time : 3897.0 sec. user=vaughan [2009-05-08 13:15:42] 315*2^802739-1 is not prime. Res64: EA0779F2DF983A13 Time : 938.0 sec. user=vaughan [2009-05-08 13:16:27] 345*2^802506-1 is not prime. Res64: 8F18196C1BF570F8 Time : 8205.0 sec. user=mdettweiler [2009-05-08 13:19:44] 321*2^802658-1 is not prime. Res64: FFDAB764B0B41B5D Time : 3901.0 sec. user=mdettweiler [2009-05-08 13:20:05] 333*2^802659-1 is not prime. Res64: C5BC4BAB13B6F81F Time : 3897.0 sec. user=vaughan [2009-05-08 13:21:19] 345*2^802509-1 is not prime. Res64: AF9130EB2B1C8731 Time : 8124.0 sec. user=mdettweiler [2009-05-08 13:22:32] 321*2^802662-1 is not prime. Res64: 1F23719072992949 Time : 3906.0 sec. user=vaughan [2009-05-08 13:24:24] 327*2^802512-1 is not prime. Res64: 7D5234C6860378DB Time : 8155.0 sec. user=vaughan [2009-05-08 13:25:44] 321*2^802751-1 is not prime. Res64: 967B025B16AAED8F Time : 913.0 sec. user=vaughan [2009-05-08 13:26:21] 333*2^802751-1 is not prime. Res64: 784868E0142D99AA Time : 935.0 sec. user=vaughan [2009-05-08 13:28:18] 327*2^802522-1 is not prime. Res64: CC8AF446F2F0ACFD Time : 8274.0 sec. user=mdettweiler [2009-05-08 13:28:19] 327*2^802666-1 is not prime. Res64: 6654FC39C9E861FE Time : 3899.0 sec. user=vaughan [2009-05-08 13:30:09] 327*2^802538-1 is not prime. Res64: 0402B8CC10115E93 Time : 8205.0 sec. user=vaughan [2009-05-08 13:31:19] 339*2^802761-1 is not prime. Res64: 8BB47969D4ECBC3E Time : 938.0 sec. user=mdettweiler [2009-05-08 13:32:44] 345*2^802672-1 is not prime. Res64: EB6BE1949DC9A40E Time : 3903.0 sec. user=mdettweiler [2009-05-08 13:33:05] 339*2^802673-1 is not prime. Res64: 700D8A1A34EA81A1 Time : 3897.0 sec. user=vaughan [2009-05-08 13:34:51] 315*2^802540-1 is not prime. Res64: B88147F648652692 Time : 8121.0 sec. user=mdettweiler [2009-05-08 13:35:32] 333*2^802683-1 is not prime. Res64: 6A0E9903B1113E69 Time : 3905.0 sec. user=vaughan [2009-05-08 13:38:00] 321*2^802543-1 is not prime. Res64: 95A8E2569B2A45B1 Time : 8157.0 sec. user=vaughan [2009-05-08 13:40:57] 315*2^802780-1 is not prime. Res64: 7B5A50E9431619AF Time : 913.0 sec. user=mdettweiler [2009-05-08 13:41:19] 333*2^802694-1 is not prime. Res64: 822A690D2DD7485F Time : 3901.0 sec. user=vaughan [2009-05-08 13:41:55] 345*2^802791-1 is not prime. Res64: A969078A2D7112BE Time : 935.0 sec. user=vaughan [2009-05-08 13:42:06] 315*2^802559-1 is not prime. Res64: D62C31F5AB8F589B Time : 8275.0 sec. user=vaughan [2009-05-08 13:43:50] 315*2^802575-1 is not prime. Res64: 29E7EF0562AF9D0D Time : 8208.0 sec. user=kar_bon [2009-05-08 13:45:17] 315*2^802034-1 is not prime. Res64: B3F739E9C87ECB42 Time : 21603.0 sec. user=mdettweiler [2009-05-08 13:45:42] 315*2^802704-1 is not prime. Res64: CE0FC379F66ECFCF Time : 3895.0 sec. user=mdettweiler [2009-05-08 13:46:02] 327*2^802705-1 is not prime. Res64: 233656B1885934FB Time : 3894.0 sec. user=vaughan [2009-05-08 13:46:57] 321*2^802801-1 is not prime. Res64: 6DC9EC2A8ED6DC28 Time : 938.0 sec. user=vaughan [2009-05-08 13:48:23] 345*2^802576-1 is not prime. Res64: F2303CC81F6816A3 Time : 8123.0 sec. user=mdettweiler [2009-05-08 13:48:32] 339*2^802705-1 is not prime. Res64: 3DA4FCAECA590AE8 Time : 3898.0 sec. user=vaughan [2009-05-08 13:51:36] 321*2^802581-1 is not prime. Res64: C38A8A66BFE93BBC Time : 8158.0 sec. user=mdettweiler [2009-05-08 13:54:21] 339*2^802720-1 is not prime. Res64: EB10709D1779F19F Time : 3902.0 sec. user=vaughan [2009-05-08 13:55:54] 339*2^802591-1 is not prime. Res64: E9E74135A47E386B Time : 8276.0 sec. user=vaughan [2009-05-08 13:56:10] 315*2^802814-1 is not prime. Res64: 00E1DEAC052C826E Time : 913.0 sec. user=vaughan [2009-05-08 13:57:29] 345*2^802819-1 is not prime. Res64: 4C33540305C82F34 Time : 934.0 sec. user=vaughan [2009-05-08 13:57:31] 327*2^802594-1 is not prime. Res64: E3B0EA432D378909 Time : 8209.0 sec. user=mdettweiler [2009-05-08 13:58:43] 339*2^802721-1 is not prime. Res64: 034484D8B6FE7821 Time : 3898.0 sec. user=mdettweiler [2009-05-08 13:59:00] 315*2^802722-1 is not prime. Res64: EF76840EBB3A5949 Time : 3893.0 sec. user=mdettweiler [2009-05-08 14:01:34] 345*2^802734-1 is not prime. Res64: 8B138886002230AF Time : 3901.0 sec. user=vaughan [2009-05-08 14:01:55] 321*2^802597-1 is not prime. Res64: 01A4AA22528151C9 Time : 8123.0 sec. user=vaughan [2009-05-08 14:02:34] 315*2^802830-1 is not prime. Res64: 281851ADFE8BC123 Time : 938.0 sec. user=vaughan [2009-05-08 14:05:12] 315*2^802607-1 is not prime. Res64: 65B1FCF4456CC8DF Time : 8159.0 sec. user=mdettweiler [2009-05-08 14:07:20] 333*2^802740-1 is not prime. Res64: 4F3F94F450C90376 Time : 3901.0 sec. user=vaughan [2009-05-08 14:09:42] 339*2^802615-1 is not prime. Res64: 4762DB564E6415C7 Time : 8275.0 sec. user=vaughan [2009-05-08 14:11:12] 339*2^802623-1 is not prime. Res64: C8DEAF00D0E9E4BF Time : 8210.0 sec. user=vaughan [2009-05-08 14:11:23] 333*2^802848-1 is not prime. Res64: 21BBB4BFD4299E54 Time : 913.0 sec. user=mdettweiler [2009-05-08 14:11:41] 327*2^802745-1 is not prime. Res64: 6B96991355E8A58D Time : 3897.0 sec. user=mdettweiler [2009-05-08 14:12:00] 315*2^802747-1 is not prime. Res64: 3AD2CD3A11EB2AC5 Time : 3893.0 sec. user=vaughan [2009-05-08 14:13:03] 315*2^802851-1 is not prime. Res64: 58C659BBE7E96DB1 Time : 935.0 sec. user=mdettweiler [2009-05-08 14:14:33] 321*2^802750-1 is not prime. Res64: 50BEF39D18BBA5D3 Time : 3900.0 sec. user=vaughan [2009-05-08 14:15:28] 345*2^802626-1 is not prime. Res64: 78C7430AECC6342B Time : 8123.0 sec. user=vaughan [2009-05-08 14:18:12] 315*2^802859-1 is not prime. Res64: C7EEAF5FDECEC2A4 Time : 938.0 sec. user=vaughan [2009-05-08 14:18:47] 345*2^802636-1 is not prime. Res64: FF90CB3D45B6650B Time : 8156.0 sec. user=mdettweiler [2009-05-08 14:20:20] 315*2^802758-1 is not prime. Res64: EFECDD5DDC0E3213 Time : 3902.0 sec. user=vaughan [2009-05-08 14:23:29] 333*2^802644-1 is not prime. Res64: E9D97BC363BF9E76 Time : 8275.0 sec. user=mdettweiler [2009-05-08 14:24:39] 315*2^802766-1 is not prime. Res64: 49CCBF16786AED11 Time : 3895.0 sec. user=vaughan [2009-05-08 14:24:54] 345*2^802644-1 is not prime. Res64: D158B43C11475F53 Time : 8211.0 sec. user=mdettweiler [2009-05-08 14:24:58] 315*2^802768-1 is not prime. Res64: 7808FB74F248D0B9 Time : 3893.0 sec. user=vaughan [2009-05-08 14:26:37] 327*2^802868-1 is not prime. Res64: 80ECC89794A44062 Time : 914.0 sec. user=mdettweiler [2009-05-08 14:27:40] 339*2^802771-1 is not prime. Res64: 216C226944170579 Time : 3908.0 sec. user=vaughan [2009-05-08 14:28:37] 315*2^802876-1 is not prime. Res64: 88B5716B4B1CF3A8 Time : 934.0 sec. user=vaughan [2009-05-08 14:29:00] 327*2^802653-1 is not prime. Res64: 70392A487D5278A3 Time : 8123.0 sec. user=vaughan [2009-05-08 14:32:20] 327*2^802660-1 is not prime. Res64: 0FE9071921738691 Time : 8155.0 sec. user=mdettweiler [2009-05-08 14:33:24] 339*2^802795-1 is not prime. Res64: B9A40689A130E16E Time : 3905.0 sec. user=vaughan [2009-05-08 14:33:49] 345*2^802884-1 is not prime. Res64: 53A33728EF1B69AC Time : 938.0 sec. user=vaughan [2009-05-08 14:37:17] 339*2^802663-1 is not prime. Res64: AB0D0C8F847948DF Time : 8274.0 sec. user=mdettweiler [2009-05-08 14:37:46] 327*2^802801-1 is not prime. Res64: 1C339F44503AA4C7 Time : 3902.0 sec. user=mdettweiler [2009-05-08 14:38:08] 339*2^802801-1 is not prime. Res64: 035FEA6F695BBC42 Time : 3903.0 sec. user=vaughan [2009-05-08 14:38:35] 321*2^802665-1 is not prime. Res64: B3DD7572961D623A Time : 8212.0 sec. user=mdettweiler [2009-05-08 14:40:49] 339*2^802811-1 is not prime. Res64: 96F562403A34C985 Time : 3917.0 sec. user=vaughan [2009-05-08 14:41:49] 315*2^802899-1 is not prime. Res64: 5CB2FB8A02C610CF Time : 913.0 sec. user=vaughan [2009-05-08 14:42:33] 345*2^802671-1 is not prime. Res64: ED0564B1E22C9B05 Time : 8124.0 sec. user=vaughan [2009-05-08 14:44:12] 333*2^802904-1 is not prime. Res64: BAD4978580651D88 Time : 935.0 sec. user=vaughan [2009-05-08 14:45:54] 315*2^802679-1 is not prime. Res64: 13E6D289BC4F7B22 Time : 8152.0 sec. user=mdettweiler [2009-05-08 14:46:30] 339*2^802817-1 is not prime. Res64: D9404808920D4DBD Time : 3911.0 sec. user=vaughan [2009-05-08 14:49:27] 321*2^802913-1 is not prime. Res64: 846ECD0065BEF951 Time : 938.0 sec. user=mdettweiler [2009-05-08 14:50:53] 321*2^802825-1 is not prime. Res64: CE39B395569FCF37 Time : 3911.0 sec. user=vaughan [2009-05-08 14:51:05] 333*2^802688-1 is not prime. Res64: A9A7109D62CD1017 Time : 8276.0 sec. user=mdettweiler [2009-05-08 14:51:16] 327*2^802829-1 is not prime. Res64: FF91CB9D6DB874F1 Time : 3914.0 sec. user=vaughan [2009-05-08 14:52:15] 345*2^802692-1 is not prime. Res64: 7B39F31E2887E878 Time : 8211.0 sec. user=mdettweiler [2009-05-08 14:53:56] 333*2^802830-1 is not prime. Res64: FD0A5F2732D2ADA1 Time : 3924.0 sec. user=vaughan [2009-05-08 14:56:06] 315*2^802701-1 is not prime. Res64: 40462A6B58684C57 Time : 8125.0 sec. user=vaughan [2009-05-08 14:57:02] 345*2^802929-1 is not prime. Res64: 3976DC078CFE6435 Time : 913.0 sec. user=vaughan [2009-05-08 14:59:28] 315*2^802706-1 is not prime. Res64: E638E323E83CBFCA Time : 8150.0 sec. user=mdettweiler [2009-05-08 14:59:33] 327*2^802832-1 is not prime. Res64: 40BE2B74FAE2C9DE Time : 3912.0 sec. user=vaughan [2009-05-08 14:59:45] 315*2^802935-1 is not prime. Res64: 02EAA3A855DFA356 Time : 933.0 sec. user=mdettweiler [2009-05-08 15:03:53] 345*2^802851-1 is not prime. Res64: 3BE1880C01EB812A Time : 3910.0 sec. user=mdettweiler [2009-05-08 15:04:14] 345*2^802852-1 is not prime. Res64: 435170306E1521F3 Time : 3914.0 sec. user=vaughan [2009-05-08 15:04:53] 315*2^802718-1 is not prime. Res64: 166C2046BE71B7F8 Time : 8276.0 sec. user=vaughan [2009-05-08 15:05:04] 315*2^802948-1 is not prime. Res64: 3AAF8BB5E82C03A2 Time : 938.0 sec. user=vaughan [2009-05-08 15:05:57] 339*2^802719-1 is not prime. Res64: B72DEFBA189AF3C9 Time : 8213.0 sec. user=kar_bon [2009-05-08 15:06:26] 327*2^802076-1 is not prime. Res64: 454FC295596DD09C Time : 25100.0 sec. user=mdettweiler [2009-05-08 15:06:54] 327*2^802853-1 is not prime. Res64: ABBB3DBB3DC7773F Time : 3920.0 sec. user=vaughan [2009-05-08 15:09:40] 339*2^802723-1 is not prime. Res64: 58A41D45B9119156 Time : 8127.0 sec. user=vaughan [2009-05-08 15:12:16] 333*2^802980-1 is not prime. Res64: 4250F1CB53C69676 Time : 914.0 sec. user=mdettweiler [2009-05-08 15:12:33] 327*2^802861-1 is not prime. Res64: 1C486B9FCF1F7C68 Time : 3913.0 sec. user=vaughan [2009-05-08 15:13:03] 345*2^802737-1 is not prime. Res64: AF17C02FD9133201 Time : 8150.0 sec. user=vaughan [2009-05-08 15:15:20] 345*2^802987-1 is not prime. Res64: A38362109972787D Time : 935.0 sec. user=mdettweiler [2009-05-08 15:16:53] 345*2^802870-1 is not prime. Res64: 5B6338ED95AFF348 Time : 3912.0 sec. user=mdettweiler [2009-05-08 15:17:13] 333*2^802874-1 is not prime. Res64: 9D105E35AC159E91 Time : 3913.0 sec. user=vaughan [2009-05-08 15:18:41] 315*2^802740-1 is not prime. Res64: 2CC4A66F260D4AD9 Time : 8278.0 sec. user=vaughan [2009-05-08 15:19:38] 345*2^802740-1 is not prime. Res64: BE1E38167EDC470D Time : 8212.0 sec. user=mdettweiler [2009-05-08 15:19:54] 333*2^802880-1 is not prime. Res64: 4EF7E664B51E06FF Time : 3921.0 sec. user=vaughan [2009-05-08 15:20:42] 321*2^802994-1 is not prime. Res64: B5EC55307CB3C96F Time : 938.0 sec. user=vaughan [2009-05-08 15:23:11] 327*2^802749-1 is not prime. Res64: 89E006EA3DCC2B1A Time : 8125.0 sec. user=mdettweiler [2009-05-08 15:25:33] 333*2^802886-1 is not prime. Res64: 5064BD956A0572A5 Time : 3913.0 sec. user=vaughan [2009-05-08 15:26:38] 339*2^802753-1 is not prime. Res64: 2AD394CE66D5C805 Time : 8150.0 sec. user=vaughan [2009-05-08 15:27:29] 339*2^803008-1 is not prime. Res64: 2ADD712BF0515644 Time : 914.0 sec. user=mdettweiler [2009-05-08 15:29:49] 315*2^802891-1 is not prime. Res64: ABC3DBD12D17A0C1 Time : 3910.0 sec. user=mdettweiler [2009-05-08 15:30:13] 345*2^802896-1 is not prime. Res64: 0C9E72F9D828100E Time : 3915.0 sec. user=vaughan [2009-05-08 15:30:54] 327*2^803020-1 is not prime. Res64: 097274CF6DEBDBDD Time : 934.0 sec. user=vaughan [2009-05-08 15:32:29] 315*2^802756-1 is not prime. Res64: 27E801A21573A2CE Time : 8278.0 sec. user=mdettweiler [2009-05-08 15:32:55] 327*2^802901-1 is not prime. Res64: 9942A3C6BC92763F Time : 3915.0 sec. user=vaughan [2009-05-08 15:33:18] 327*2^802765-1 is not prime. Res64: 94FCE847244F87DD Time : 8211.0 sec. user=vaughan [2009-05-08 15:36:19] 327*2^803042-1 is not prime. Res64: 9877701FE4A92B24 Time : 938.0 sec. user=vaughan [2009-05-08 15:36:44] 315*2^802771-1 is not prime. Res64: F8B75D8564BD4AB6 Time : 8126.0 sec. user=mdettweiler [2009-05-08 15:38:31] 321*2^802910-1 is not prime. Res64: 63D5DC1F486DCDC0 Time : 3907.0 sec. user=vaughan [2009-05-08 15:40:14] 345*2^802776-1 is not prime. Res64: 4029A43F717BB056 Time : 8150.0 sec. user=vaughan [2009-05-08 15:42:42] 345*2^803062-1 is not prime. Res64: A5D086F8820489A1 Time : 914.0 sec. user=mdettweiler [2009-05-08 15:42:48] 333*2^802914-1 is not prime. Res64: 54DABB8D8FD7C35A Time : 3902.0 sec. user=mdettweiler [2009-05-08 15:43:11] 339*2^802919-1 is not prime. Res64: 9CF51CE5E5EA7255 Time : 3903.0 sec. user=mdettweiler [2009-05-08 15:45:57] 339*2^802927-1 is not prime. Res64: 0BC6D211729E65C8 Time : 3908.0 sec. user=vaughan [2009-05-08 15:46:17] 333*2^802794-1 is not prime. Res64: DE891226D9DD0318 Time : 8279.0 sec. user=vaughan [2009-05-08 15:46:29] 315*2^803078-1 is not prime. Res64: 2D48467E7B92C460 Time : 935.0 sec. user=vaughan [2009-05-08 15:47:00] 345*2^802800-1 is not prime. Res64: 082A008BDB442A9B Time : 8211.0 sec. user=vaughan [2009-05-08 15:50:17] 321*2^802806-1 is not prime. Res64: CBB8AF82EB099F89 Time : 8126.0 sec. user=mdettweiler [2009-05-08 15:51:30] 315*2^802946-1 is not prime. Res64: F269257D290ABFE9 Time : 3900.0 sec. user=vaughan [2009-05-08 15:51:57] 339*2^803095-1 is not prime. Res64: 61449BD52E0B43C0 Time : 938.0 sec. user=kar_bon [2009-05-08 15:53:38] 333*2^802143-1 is not prime. Res64: F0BFF5279DEA3B6A Time : 26547.0 sec. user=vaughan [2009-05-08 15:53:50] 321*2^802813-1 is not prime. Res64: E0E48377810219E1 Time : 8150.0 sec. user=mdettweiler [2009-05-08 15:55:46] 345*2^802950-1 is not prime. Res64: 0A3F3F493CDC8AF7 Time : 3893.0 sec. user=mdettweiler [2009-05-08 15:56:11] 315*2^802965-1 is not prime. Res64: 15BA0CAC052F6B13 Time : 3896.0 sec. user=vaughan [2009-05-08 15:57:55] 327*2^803100-1 is not prime. Res64: C3B234522360E20B Time : 913.0 sec. user=mdettweiler [2009-05-08 15:58:56] 315*2^802978-1 is not prime. Res64: 22293E2FD6A14DE8 Time : 3901.0 sec. user=vaughan [2009-05-08 16:00:04] 333*2^802820-1 is not prime. Res64: 9934A9A896038FB8 Time : 8278.0 sec. user=vaughan [2009-05-08 16:00:42] 321*2^802821-1 is not prime. Res64: 48A87DD0FA4EFBFE Time : 8212.0 sec. user=vaughan [2009-05-08 16:02:03] 327*2^803114-1 is not prime. Res64: BB5517C1E6B9581F Time : 934.0 sec. user=vaughan [2009-05-08 16:03:49] 321*2^802830-1 is not prime. Res64: 5DEE8A637F5830A0 Time : 8127.0 sec. user=mdettweiler [2009-05-08 16:04:31] 315*2^802987-1 is not prime. Res64: 0818AFBBDD1FFDCD Time : 3899.0 sec. user=kar_bon [2009-05-08 16:06:14] 315*2^797292-1 is not prime. Res64: 58530672A94AA197 Time : 115940.0 sec. user=kar_bon [2009-05-08 16:06:14] 321*2^797293-1 is not prime. Res64: 877B574FF08B1F39 Time : 115940.0 sec. user=kar_bon [2009-05-08 16:06:15] 339*2^797293-1 is not prime. Res64: B25F67F9551E2F81 Time : 115940.0 sec. user=kar_bon [2009-05-08 16:06:16] 315*2^797295-1 is not prime. Res64: BF8E5150B38A4AF2 Time : 115941.0 sec. user=kar_bon [2009-05-08 16:06:17] 327*2^797296-1 is not prime. Res64: 5DF9FE8BBE2C673C Time : 115942.0 sec. user=kar_bon [2009-05-08 16:06:18] 333*2^797298-1 is not prime. Res64: 74EE912FB7350F62 Time : 115942.0 sec. user=kar_bon [2009-05-08 16:06:18] 345*2^797302-1 is not prime. Res64: E96D73169023D1C4 Time : 115942.0 sec. user=kar_bon [2009-05-08 16:06:19] 339*2^797303-1 is not prime. Res64: 937BF4622E1F9C26 Time : 115943.0 sec. user=kar_bon [2009-05-08 16:06:20] 345*2^797307-1 is not prime. Res64: 24EF911ABBAE8163 Time : 115943.0 sec. user=kar_bon [2009-05-08 16:06:21] 327*2^800032-1 is not prime. Res64: E8F4A1F3B4EE381B Time : 58191.0 sec. user=kar_bon [2009-05-08 16:06:21] 321*2^800033-1 is not prime. Res64: B0D810FFB63741E4 Time : 58190.0 sec. user=kar_bon [2009-05-08 16:06:22] 315*2^800040-1 is not prime. Res64: BFC90D11281C93F3 Time : 58191.0 sec. user=kar_bon [2009-05-08 16:06:23] 321*2^800041-1 is not prime. Res64: 16E360A5D8E32320 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:23] 339*2^800051-1 is not prime. Res64: 0E4DAFE9CA51B7FE Time : 58191.0 sec. user=kar_bon [2009-05-08 16:06:24] 327*2^800052-1 is not prime. Res64: FF2317286CEA2009 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:24] 333*2^800055-1 is not prime. Res64: FCE6F6A1E5119F2B Time : 58191.0 sec. user=kar_bon [2009-05-08 16:06:25] 315*2^800061-1 is not prime. Res64: D42282856F934C7A Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:25] 321*2^800062-1 is not prime. Res64: 8B174504B1516DB1 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:26] 315*2^800064-1 is not prime. Res64: 2A851A9F72ECD97F Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:26] 315*2^800067-1 is not prime. Res64: 8F2436856356BB8A Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:27] 345*2^800067-1 is not prime. Res64: FA7C86C0ED434824 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:27] 333*2^800070-1 is not prime. Res64: 65EBFE63771C5111 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:28] 339*2^800071-1 is not prime. Res64: 86BEC5E95E3A635D Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:28] 327*2^800073-1 is not prime. Res64: 8B960F2F77F307C2 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:29] 327*2^800074-1 is not prime. Res64: 16B2024A90C6210C Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:29] 339*2^800075-1 is not prime. Res64: 974E81368E73C40E Time : 58192.0 sec. user=kar_bon [2009-05-08 16:06:30] 327*2^800076-1 is not prime. Res64: BD56E9C5198D9A0E Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:30] 315*2^800078-1 is not prime. Res64: EBD13B1A65E28264 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:31] 327*2^800081-1 is not prime. Res64: D38CE51C2D68626A Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:31] 321*2^800087-1 is not prime. Res64: 4C25F27FEC15D240 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:32] 321*2^800093-1 is not prime. Res64: A16E89E0FAED91DA Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:32] 327*2^800096-1 is not prime. Res64: E1DA5445A6FE310B Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:33] 315*2^800098-1 is not prime. Res64: 995238C09652A538 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:33] 315*2^800104-1 is not prime. Res64: 5DBFFCC362A7D7B5 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:34] 327*2^800104-1 is not prime. Res64: 3FFE7D0640355935 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:34] 345*2^800115-1 is not prime. Res64: 0D0AEEDA133A2DDB Time : 58193.0 sec. user=kar_bon [2009-05-08 16:06:35] 339*2^800129-1 is not prime. Res64: 5AF82B0D516414CE Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:35] 321*2^800130-1 is not prime. Res64: 01AE687451168F8A Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:36] 333*2^800135-1 is not prime. Res64: AB768BDD3845950E Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:36] 345*2^800136-1 is not prime. Res64: 106FF6CEFCFAF38B Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:37] 333*2^800139-1 is not prime. Res64: FCE6ECFE7A413DC1 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:06:37] 327*2^800140-1 is not prime. Res64: 2D5447EAFB0717FA Time : 58194.0 sec. user=kar_bon [2009-05-08 16:06:38] 339*2^800143-1 is not prime. Res64: C8D3865E39C726A6 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:06:38] 315*2^800146-1 is not prime. Res64: D1A6544D4B23A412 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:07:21] 339*2^797405-1 is not prime. Res64: D865EB652BD3E83D Time : 115947.0 sec. user=kar_bon [2009-05-08 16:07:21] 315*2^797412-1 is not prime. Res64: CF53B22513370A0C Time : 115946.0 sec. user=kar_bon [2009-05-08 16:07:22] 327*2^797412-1 is not prime. Res64: 20BDF8A13082B86C Time : 115947.0 sec. user=kar_bon [2009-05-08 16:07:23] 315*2^797414-1 is not prime. Res64: B9BBF86EBDE8F6F2 Time : 115947.0 sec. user=kar_bon [2009-05-08 16:07:23] 321*2^797414-1 is not prime. Res64: 43B2DE3D698DACEE Time : 115947.0 sec. user=kar_bon [2009-05-08 16:07:24] 315*2^797416-1 is not prime. Res64: 190C31C05AE617D3 Time : 115948.0 sec. user=kar_bon [2009-05-08 16:07:24] 333*2^797423-1 is not prime. Res64: 7DAC3770F597EEA3 Time : 115947.0 sec. user=kar_bon [2009-05-08 16:07:25] 345*2^797424-1 is not prime. Res64: AA27001C9BCE78E1 Time : 115948.0 sec. user=vaughan [2009-05-08 16:07:25] 339*2^802831-1 is not prime. Res64: 0D2B39D8AB530240 Time : 8149.0 sec. user=kar_bon [2009-05-08 16:07:26] 339*2^800165-1 is not prime. Res64: 900312212CBDE7EA Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:26] 345*2^800172-1 is not prime. Res64: 36FBA57E3B0B4FAC Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:27] 315*2^800175-1 is not prime. Res64: 061DD549BD01D22D Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:27] 321*2^800182-1 is not prime. Res64: 4669E5D8CCC333E7 Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:27] 345*2^800182-1 is not prime. Res64: EDECCB98E6784659 Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:28] 315*2^800184-1 is not prime. Res64: F5AD4A878B274F02 Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:28] 339*2^800192-1 is not prime. Res64: EF82D2AB18A0C20C Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:29] 333*2^800195-1 is not prime. Res64: 373A9DDD812E8751 Time : 58205.0 sec. user=kar_bon [2009-05-08 16:07:29] 333*2^800198-1 is not prime. Res64: 2109FF8E5763BE56 Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:30] 339*2^800203-1 is not prime. Res64: 56873DDEB00E2E1F Time : 58205.0 sec. user=kar_bon [2009-05-08 16:07:30] 321*2^800205-1 is not prime. Res64: B13EAAD5AC70D668 Time : 58204.0 sec. user=kar_bon [2009-05-08 16:07:31] 315*2^800206-1 is not prime. Res64: D65BD79E0A94846C Time : 58205.0 sec. user=kar_bon [2009-05-08 16:07:32] 315*2^800211-1 is not prime. Res64: 9F47F40FFB23D184 Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:32] 333*2^800211-1 is not prime. Res64: 9657A684E619B37B Time : 58205.0 sec. user=kar_bon [2009-05-08 16:07:32] 345*2^800211-1 is not prime. Res64: E2F121AA602A4F05 Time : 58205.0 sec. user=kar_bon [2009-05-08 16:07:33] 315*2^800212-1 is not prime. Res64: FB8571CBABA7B756 Time : 58205.0 sec. user=vaughan [2009-05-08 16:07:33] 345*2^803116-1 is not prime. Res64: 0320B62BFD2A3505 Time : 937.0 sec. user=kar_bon [2009-05-08 16:07:33] 345*2^800214-1 is not prime. Res64: 803F974A492D1FAC Time : 58205.0 sec. user=kar_bon [2009-05-08 16:07:34] 321*2^800215-1 is not prime. Res64: 902CE2D30A403907 Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:35] 339*2^800219-1 is not prime. Res64: CC6490E4A1316E16 Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:35] 321*2^800226-1 is not prime. Res64: DE823F5903FD2C9D Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:36] 315*2^800238-1 is not prime. Res64: 5131CF00E1520B50 Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:37] 333*2^800240-1 is not prime. Res64: 4E466A5F13E11321 Time : 58207.0 sec. user=kar_bon [2009-05-08 16:07:37] 315*2^800248-1 is not prime. Res64: C30870495DC6A90C Time : 58207.0 sec. user=kar_bon [2009-05-08 16:07:37] 327*2^800248-1 is not prime. Res64: 65020AD2BC0668F6 Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:38] 315*2^800251-1 is not prime. Res64: CBBD054979CA4980 Time : 58207.0 sec. user=kar_bon [2009-05-08 16:07:38] 339*2^800251-1 is not prime. Res64: B815AC27665A797C Time : 58206.0 sec. user=kar_bon [2009-05-08 16:07:39] 327*2^800253-1 is not prime. Res64: FDE16302F7BB6B20 Time : 58207.0 sec. user=kar_bon [2009-05-08 16:07:40] 339*2^800255-1 is not prime. Res64: C5E0BB3BCF462D06 Time : 58208.0 sec. user=kar_bon [2009-05-08 16:07:40] 327*2^800256-1 is not prime. Res64: B2EBF53169083480 Time : 58207.0 sec. user=kar_bon [2009-05-08 16:07:41] 327*2^800258-1 is not prime. Res64: A96EC87F6A632931 Time : 58208.0 sec. user=kar_bon [2009-05-08 16:07:42] 333*2^800259-1 is not prime. Res64: ED1560307D25A1E7 Time : 58209.0 sec. user=kar_bon [2009-05-08 16:07:42] 345*2^800260-1 is not prime. Res64: 1334145490E538F4 Time : 58208.0 sec. user=kar_bon [2009-05-08 16:07:43] 315*2^800270-1 is not prime. Res64: 471D50A7EA69B00E Time : 58209.0 sec. user=kar_bon [2009-05-08 16:07:43] 321*2^800278-1 is not prime. Res64: 20506696728F31DE Time : 58208.0 sec. user=kar_bon [2009-05-08 16:07:44] 333*2^800280-1 is not prime. Res64: 3414A2F16397A30D Time : 58209.0 sec. user=kar_bon [2009-05-08 16:08:10] 315*2^797539-1 is not prime. Res64: 7A9AD2B9876B4DBB Time : 115886.0 sec. user=kar_bon [2009-05-08 16:08:11] 339*2^797541-1 is not prime. Res64: 84A698B18CA4BA73 Time : 115887.0 sec. user=kar_bon [2009-05-08 16:08:11] 339*2^797543-1 is not prime. Res64: AC2E18F1B650A1EC Time : 115886.0 sec. user=kar_bon [2009-05-08 16:08:12] 333*2^797544-1 is not prime. Res64: 6679055BD7A79C7D Time : 115887.0 sec. user=kar_bon [2009-05-08 16:08:13] 321*2^797550-1 is not prime. Res64: DC3B1FB473BAB549 Time : 115888.0 sec. user=kar_bon [2009-05-08 16:08:13] 333*2^797555-1 is not prime. Res64: AAA735BC9DB48876 Time : 115887.0 sec. user=kar_bon [2009-05-08 16:08:14] 315*2^797556-1 is not prime. Res64: CF1C6E0773D7128F Time : 115888.0 sec. user=kar_bon [2009-05-08 16:08:15] 315*2^797559-1 is not prime. Res64: 977E4EB5355928A1 Time : 115888.0 sec. user=kar_bon [2009-05-08 16:08:15] 333*2^800294-1 is not prime. Res64: CAEA1033ABA8D7CD Time : 58181.0 sec. user=kar_bon [2009-05-08 16:08:16] 339*2^800295-1 is not prime. Res64: 620ED6F06BC7825B Time : 58182.0 sec. user=kar_bon [2009-05-08 16:08:17] 339*2^800297-1 is not prime. Res64: E6738EF01B2ED83E Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:17] 315*2^800298-1 is not prime. Res64: 57FC4E39BAD95250 Time : 58182.0 sec. user=kar_bon [2009-05-08 16:08:18] 315*2^800302-1 is not prime. Res64: 51DA9F62A7BF21D1 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:18] 327*2^800304-1 is not prime. Res64: 5751A1B849F84E38 Time : 58182.0 sec. user=kar_bon [2009-05-08 16:08:19] 339*2^800305-1 is not prime. Res64: B9E43E34B3DC8B0A Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:19] 315*2^800307-1 is not prime. Res64: 9BF2CAE0FC035714 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:20] 321*2^800310-1 is not prime. Res64: F3900A2980409579 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:20] 345*2^800311-1 is not prime. Res64: 83207BA6C439BF88 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:20] 333*2^800315-1 is not prime. Res64: 7D32D6D472673A14 Time : 58182.0 sec. user=kar_bon [2009-05-08 16:08:21] 327*2^800316-1 is not prime. Res64: 7716ECA87ED32D2E Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:21] 315*2^800318-1 is not prime. Res64: 1503CC74E5D3FAAE Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:22] 321*2^800322-1 is not prime. Res64: 5EBA11734969DD14 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:08:23] 327*2^800322-1 is not prime. Res64: 0F75AECC535879F3 Time : 58184.0 sec. user=kar_bon [2009-05-08 16:08:23] 333*2^800324-1 is not prime. Res64: A948CC45867CB8D2 Time : 58184.0 sec. user=kar_bon [2009-05-08 16:08:24] 315*2^800325-1 is not prime. Res64: 1DEC6246425C034C Time : 58184.0 sec. user=kar_bon [2009-05-08 16:08:25] 327*2^800325-1 is not prime. Res64: 6D65F9BB900898FC Time : 58185.0 sec. user=kar_bon [2009-05-08 16:08:25] 333*2^800327-1 is not prime. Res64: 9A07E7555BC02038 Time : 58184.0 sec. user=kar_bon [2009-05-08 16:08:26] 327*2^800329-1 is not prime. Res64: 14E76B91790E9C21 Time : 58185.0 sec. user=kar_bon [2009-05-08 16:08:27] 333*2^800331-1 is not prime. Res64: FF48E0454B0CB875 Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:27] 345*2^800331-1 is not prime. Res64: B5EFA48057622051 Time : 58185.0 sec. user=kar_bon [2009-05-08 16:08:27] 345*2^800332-1 is not prime. Res64: 7BA248020690702D Time : 58185.0 sec. user=kar_bon [2009-05-08 16:08:28] 327*2^800336-1 is not prime. Res64: 490D23620CA2F44B Time : 58185.0 sec. user=kar_bon [2009-05-08 16:08:28] 321*2^800338-1 is not prime. Res64: EC8FD162BCD12650 Time : 58185.0 sec. user=kar_bon [2009-05-08 16:08:29] 339*2^800339-1 is not prime. Res64: 78729C09D85D278C Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:30] 333*2^800343-1 is not prime. Res64: CA64F634B8D60BA8 Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:30] 327*2^800344-1 is not prime. Res64: FB863B22053F642B Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:31] 345*2^800344-1 is not prime. Res64: 0532E09A0890604C Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:31] 327*2^800345-1 is not prime. Res64: 8EEF22AD660B054F Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:31] 339*2^800345-1 is not prime. Res64: 46A6FB08D5A47784 Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:32] 327*2^800352-1 is not prime. Res64: 22701DEC34A403FB Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:32] 315*2^800354-1 is not prime. Res64: 18A9B8B845EE1E24 Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:33] 327*2^800356-1 is not prime. Res64: 42EE03F42E92EFF7 Time : 58186.0 sec. user=kar_bon [2009-05-08 16:08:34] 333*2^800360-1 is not prime. Res64: 0C779011342B61D7 Time : 58187.0 sec. user=mdettweiler [2009-05-08 16:08:45] 327*2^802989-1 is not prime. Res64: 94C236725ABB5A7B Time : 3892.0 sec. user=kar_bon [2009-05-08 16:09:12] 315*2^797667-1 is not prime. Res64: 07A86F43536026C3 Time : 115876.0 sec. user=kar_bon [2009-05-08 16:09:13] 345*2^797670-1 is not prime. Res64: 2E8609C61CDCD65D Time : 115876.0 sec. user=kar_bon [2009-05-08 16:09:13] 339*2^797671-1 is not prime. Res64: 8EE5CB9D5D98318F Time : 115876.0 sec. user=kar_bon [2009-05-08 16:09:14] 339*2^797672-1 is not prime. Res64: 47DB3DF38C68ECE4 Time : 115877.0 sec. user=kar_bon [2009-05-08 16:09:14] 327*2^797673-1 is not prime. Res64: BC99DBB42678BCC7 Time : 115876.0 sec. user=kar_bon [2009-05-08 16:09:15] 345*2^797676-1 is not prime. Res64: 427158D53A5E14BB Time : 115877.0 sec. user=kar_bon [2009-05-08 16:09:15] 345*2^797680-1 is not prime. Res64: AD4966B5A1043263 Time : 115876.0 sec. user=kar_bon [2009-05-08 16:09:16] 327*2^797681-1 is not prime. Res64: 7184396734A89323 Time : 115877.0 sec. user=kar_bon [2009-05-08 16:09:16] 339*2^800379-1 is not prime. Res64: 7F9A1463722A70FC Time : 58192.0 sec. user=kar_bon [2009-05-08 16:09:17] 315*2^800386-1 is not prime. Res64: CCD15E4650FF2EA1 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:09:17] 327*2^800388-1 is not prime. Res64: 82B26DAAB4674CAE Time : 58192.0 sec. user=kar_bon [2009-05-08 16:09:18] 327*2^800392-1 is not prime. Res64: 1F410D78B9A00302 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:09:18] 345*2^800400-1 is not prime. Res64: 3D403C920104A4F6 Time : 58192.0 sec. user=kar_bon [2009-05-08 16:09:19] 327*2^800401-1 is not prime. Res64: 52369783D80E4D80 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:09:19] 345*2^800404-1 is not prime. Res64: 93DA79C09CBF8156 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:09:20] 315*2^800406-1 is not prime. Res64: 6A3F97F7E69140F6 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:09:21] 345*2^800406-1 is not prime. Res64: B722C7CAD64037A5 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:09:21] 333*2^800408-1 is not prime. Res64: BE9575A2087E04A4 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:09:22] 333*2^800418-1 is not prime. Res64: CF4BCFA612D679EB Time : 58194.0 sec. user=mdettweiler [2009-05-08 16:09:22] 327*2^802992-1 is not prime. Res64: 0587CB26B9625BE7 Time : 3908.0 sec. user=kar_bon [2009-05-08 16:09:23] 327*2^800420-1 is not prime. Res64: E4E3E2DA6CD0042A Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:23] 315*2^800427-1 is not prime. Res64: E08C3C0E4CBEEB02 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:09:24] 345*2^800427-1 is not prime. Res64: 723CD31D41C9F776 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:24] 345*2^800430-1 is not prime. Res64: 5486A46511B79107 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:09:25] 339*2^800432-1 is not prime. Res64: 1B9874EB7770C4F6 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:25] 345*2^800434-1 is not prime. Res64: EDD4836287B2FB0B Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:26] 339*2^800437-1 is not prime. Res64: CBA5D111F3183403 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:26] 321*2^800438-1 is not prime. Res64: F4182B96BA6CF630 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:27] 345*2^800446-1 is not prime. Res64: 766CEBE83FB40C68 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:27] 321*2^800447-1 is not prime. Res64: 5F63BB0AA3CCA9DE Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:28] 339*2^800447-1 is not prime. Res64: 2A239A4B671CCD75 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:28] 327*2^800448-1 is not prime. Res64: 7D5120360D24CCBB Time : 58195.0 sec. user=kar_bon [2009-05-08 16:09:29] 333*2^800450-1 is not prime. Res64: 4A491B84CA3FE83B Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:29] 345*2^800455-1 is not prime. Res64: 8542829DD86FBFEB Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:30] 315*2^800459-1 is not prime. Res64: 8CC0B05666449D5F Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:30] 333*2^800460-1 is not prime. Res64: A9256CBECD97284E Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:31] 315*2^800462-1 is not prime. Res64: C6AFD5DA2A6972AE Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:31] 327*2^800464-1 is not prime. Res64: FBADA429DE6588BA Time : 58196.0 sec. user=kar_bon [2009-05-08 16:09:41] 339*2^800465-1 is not prime. Res64: D3FE51A852DFFD69 Time : 58206.0 sec. user=kar_bon [2009-05-08 16:09:45] 333*2^800471-1 is not prime. Res64: B23BB350A9614EAD Time : 58209.0 sec. user=kar_bon [2009-05-08 16:09:46] 339*2^800475-1 is not prime. Res64: 89FD70CF64B97849 Time : 58210.0 sec. user=kar_bon [2009-05-08 16:09:46] 333*2^800478-1 is not prime. Res64: B911245EC11050A6 Time : 58209.0 sec. user=kar_bon [2009-05-08 16:09:47] 327*2^800480-1 is not prime. Res64: 67FC4B5AEFCE4D77 Time : 58210.0 sec. user=kar_bon [2009-05-08 16:09:48] 339*2^800480-1 is not prime. Res64: F8041C77EAB4D489 Time : 58211.0 sec. user=kar_bon [2009-05-08 16:10:15] 339*2^797771-1 is not prime. Res64: DBAC664955D60C47 Time : 115866.0 sec. user=kar_bon [2009-05-08 16:10:16] 315*2^797772-1 is not prime. Res64: 15C0AEAD473BB139 Time : 115867.0 sec. user=kar_bon [2009-05-08 16:10:17] 315*2^797774-1 is not prime. Res64: 02F9E13B14BC2689 Time : 115867.0 sec. user=kar_bon [2009-05-08 16:10:18] 339*2^797776-1 is not prime. Res64: A4CCFBBDAAE33BEA Time : 115868.0 sec. user=kar_bon [2009-05-08 16:10:19] 315*2^797779-1 is not prime. Res64: 749C409AE3BEDC62 Time : 115869.0 sec. user=kar_bon [2009-05-08 16:10:20] 321*2^797782-1 is not prime. Res64: 8F9762458AF784F9 Time : 115869.0 sec. user=kar_bon [2009-05-08 16:10:20] 333*2^797783-1 is not prime. Res64: A93D3C15490F91ED Time : 115869.0 sec. user=kar_bon [2009-05-08 16:10:21] 315*2^797790-1 is not prime. Res64: 584EB0F09CD36935 Time : 115869.0 sec. user=kar_bon [2009-05-08 16:10:21] 333*2^800516-1 is not prime. Res64: 9B91F83DAD789F89 Time : 58193.0 sec. user=kar_bon [2009-05-08 16:10:22] 315*2^800517-1 is not prime. Res64: 4DED8B5796DFD04C Time : 58193.0 sec. user=kar_bon [2009-05-08 16:10:22] 327*2^800522-1 is not prime. Res64: 200C26F7F0DCE18A Time : 58193.0 sec. user=kar_bon [2009-05-08 16:10:23] 315*2^800524-1 is not prime. Res64: A88D8FD64A78CEFD Time : 58193.0 sec. user=kar_bon [2009-05-08 16:10:24] 327*2^800524-1 is not prime. Res64: DB6AB04C6AB5A0BE Time : 58194.0 sec. user=kar_bon [2009-05-08 16:10:24] 345*2^800524-1 is not prime. Res64: 294A78C68367FFD8 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:10:25] 315*2^800526-1 is not prime. Res64: EF8C491FFD9B88F2 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:10:26] 321*2^800526-1 is not prime. Res64: 0DDC44D8CF704DE1 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:26] 315*2^800527-1 is not prime. Res64: EC8D009D53148CD5 Time : 58194.0 sec. user=kar_bon [2009-05-08 16:10:27] 327*2^800529-1 is not prime. Res64: 65054797247C6480 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:27] 321*2^800530-1 is not prime. Res64: DB5C1455732F2FCB Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:28] 315*2^800535-1 is not prime. Res64: 8B7BAAAB5C3FB05B Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:28] 339*2^800535-1 is not prime. Res64: 3F126A55E3BC907A Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:29] 345*2^800535-1 is not prime. Res64: 00586917BC6F3D04 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:29] 345*2^800536-1 is not prime. Res64: 82281BCCED5E71D6 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:30] 333*2^800538-1 is not prime. Res64: 979AE03DA7A61FF2 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:30] 315*2^800539-1 is not prime. Res64: C289EB2D318A140D Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:31] 321*2^800543-1 is not prime. Res64: 0B1E10C685375DA4 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:31] 339*2^800543-1 is not prime. Res64: F4C62317C53A3AC7 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:32] 333*2^800544-1 is not prime. Res64: D298EC9861AA5007 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:32] 321*2^800545-1 is not prime. Res64: 28B2188E98591D92 Time : 58195.0 sec. user=kar_bon [2009-05-08 16:10:33] 345*2^800547-1 is not prime. Res64: A39445199A3854AF Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:33] 321*2^800550-1 is not prime. Res64: 68A23D4B5D0493E4 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:34] 327*2^800553-1 is not prime. Res64: 8BA4978B5D5FB742 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:34] 345*2^800554-1 is not prime. Res64: 209B05B3BC49ACC0 Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:35] 339*2^800555-1 is not prime. Res64: 4AD9506939FFF803 Time : 58197.0 sec. user=kar_bon [2009-05-08 16:10:35] 339*2^800563-1 is not prime. Res64: DC7C781AB4DB9B5D Time : 58196.0 sec. user=kar_bon [2009-05-08 16:10:36] 333*2^800568-1 is not prime. Res64: 0AAAB94D6CD7BCD3 Time : 58197.0 sec. user=kar_bon [2009-05-08 16:10:37] 345*2^800575-1 is not prime. Res64: 446AEB18E6D721ED Time : 58197.0 sec. user=kar_bon [2009-05-08 16:10:37] 327*2^800578-1 is not prime. Res64: E69CB941DEAF29BF Time : 58197.0 sec. user=kar_bon [2009-05-08 16:10:38] 339*2^800579-1 is not prime. Res64: 32BAD14A2633D4CB Time : 58198.0 sec. user=kar_bon [2009-05-08 16:10:38] 333*2^800583-1 is not prime. Res64: AC60032D259A45AD Time : 58197.0 sec. user=kar_bon [2009-05-08 16:10:39] 339*2^800585-1 is not prime. Res64: 6F614DC57C50DDF7 Time : 58198.0 sec. user=kar_bon [2009-05-08 16:10:39] 333*2^800586-1 is not prime. Res64: BE872766BEB27F61 Time : 58197.0 sec. user=kar_bon [2009-05-08 16:10:40] 345*2^800586-1 is not prime. Res64: EF781ACEF7BA5B23 Time : 58198.0 sec. user=kar_bon [2009-05-08 16:11:09] 339*2^798029-1 is not prime. Res64: AAA31D8A802C0BD6 Time : 115898.0 sec. user=kar_bon [2009-05-08 16:11:10] 339*2^798035-1 is not prime. Res64: 5D91072435900B73 Time : 115898.0 sec. user=kar_bon [2009-05-08 16:11:10] 321*2^798046-1 is not prime. Res64: E7AC1818E1341017 Time : 115898.0 sec. user=kar_bon [2009-05-08 16:11:11] 315*2^798048-1 is not prime. Res64: B3FCF1A1FA856C38 Time : 115898.0 sec. user=kar_bon [2009-05-08 16:11:11] 345*2^798051-1 is not prime. Res64: 86BB7921995D293B Time : 115898.0 sec. user=kar_bon [2009-05-08 16:11:12] 315*2^798058-1 is not prime. Res64: 8DBA72DF3C0583C3 Time : 115899.0 sec. user=kar_bon [2009-05-08 16:11:12] 327*2^798066-1 is not prime. Res64: 94FA4B1082909284 Time : 115898.0 sec. user=kar_bon [2009-05-08 16:11:13] 339*2^798075-1 is not prime. Res64: 549B963EA1B72135 Time : 115899.0 sec. user=kar_bon [2009-05-08 16:11:13] 327*2^800621-1 is not prime. Res64: B3D1495332459F58 Time : 58177.0 sec. user=kar_bon [2009-05-08 16:11:14] 321*2^800625-1 is not prime. Res64: 7A2111AB8EE8F228 Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:14] 339*2^800631-1 is not prime. Res64: 5322F04C1374C218 Time : 58177.0 sec. user=kar_bon [2009-05-08 16:11:15] 339*2^800633-1 is not prime. Res64: 54F4F7397F25B118 Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:15] 339*2^800641-1 is not prime. Res64: E24778C8250D7D67 Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:16] 339*2^800643-1 is not prime. Res64: 8B2F6C2FD21A58BC Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:16] 327*2^800645-1 is not prime. Res64: 19945E7E3DBB25AF Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:17] 339*2^800647-1 is not prime. Res64: 5B4E1582DF20090B Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:17] 345*2^800652-1 is not prime. Res64: 3C8FA2CB8BFDD30B Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:18] 321*2^800657-1 is not prime. Res64: ADD7B4715EFD16F5 Time : 58179.0 sec. user=kar_bon [2009-05-08 16:11:18] 321*2^800662-1 is not prime. Res64: FCA08E05C8C43F70 Time : 58178.0 sec. user=kar_bon [2009-05-08 16:11:19] 333*2^800663-1 is not prime. Res64: C22B22F680CDB413 Time : 58179.0 sec. user=kar_bon [2009-05-08 16:11:20] 327*2^800664-1 is not prime. Res64: CB9FB6621FE11B15 Time : 58180.0 sec. user=kar_bon [2009-05-08 16:11:20] 315*2^800668-1 is not prime. Res64: D1A06CAF41F43335 Time : 58179.0 sec. user=kar_bon [2009-05-08 16:11:21] 327*2^800672-1 is not prime. Res64: 4C179263BDB4F0A7 Time : 58180.0 sec. user=kar_bon [2009-05-08 16:11:21] 315*2^800679-1 is not prime. Res64: 05F42D2FC086CA08 Time : 58179.0 sec. user=kar_bon [2009-05-08 16:11:22] 339*2^800681-1 is not prime. Res64: 91283F9B17C68EAA Time : 58180.0 sec. user=kar_bon [2009-05-08 16:11:23] 321*2^800690-1 is not prime. Res64: B68488FE9FE94901 Time : 58181.0 sec. user=kar_bon [2009-05-08 16:11:23] 339*2^800693-1 is not prime. Res64: AC8CDB1342725AF3 Time : 58180.0 sec. user=kar_bon [2009-05-08 16:11:24] 315*2^800695-1 is not prime. Res64: D8AD617D8D0EADCE Time : 58181.0 sec. user=kar_bon [2009-05-08 16:11:25] 327*2^800698-1 is not prime. Res64: 01883D853B9D149D Time : 58181.0 sec. user=kar_bon [2009-05-08 16:11:25] 327*2^800700-1 is not prime. Res64: C50FD45D6DBD740D Time : 58181.0 sec. user=kar_bon [2009-05-08 16:11:26] 345*2^800700-1 is not prime. Res64: 0225EDEE98D35C1D Time : 58182.0 sec. user=kar_bon [2009-05-08 16:11:27] 327*2^800701-1 is not prime. Res64: 228C512D5B5CF118 Time : 58182.0 sec. user=kar_bon [2009-05-08 16:11:27] 327*2^800704-1 is not prime. Res64: 1E61AD3CACA1A988 Time : 58182.0 sec. user=kar_bon [2009-05-08 16:11:28] 327*2^800706-1 is not prime. Res64: 28C707DEE4659BF7 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:28] 321*2^800710-1 is not prime. Res64: 5A11F3CDA532811E Time : 58182.0 sec. user=kar_bon [2009-05-08 16:11:29] 327*2^800712-1 is not prime. Res64: 8B1BA14272334D35 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:29] 333*2^800715-1 is not prime. Res64: 73AB58247E1750D9 Time : 58182.0 sec. user=kar_bon [2009-05-08 16:11:30] 315*2^800716-1 is not prime. Res64: 25BB523946006345 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:30] 339*2^800719-1 is not prime. Res64: CE5E50F5319C7EDA Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:31] 345*2^800719-1 is not prime. Res64: F9F51436AB218F05 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:31] 315*2^800724-1 is not prime. Res64: A07D0455F3A2C1D1 Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:32] 327*2^800724-1 is not prime. Res64: 2A2691A7A335402F Time : 58183.0 sec. user=kar_bon [2009-05-08 16:11:32] 315*2^800725-1 is not prime. Res64: BA98C280FF3D27CD Time : 58183.0 sec. user=mdettweiler [2009-05-08 16:12:00] 333*2^803000-1 is not prime. Res64: 3F30F83EE2B9B942 Time : 3906.0 sec. user=kar_bon [2009-05-08 16:12:01] 315*2^798119-1 is not prime. Res64: C401AEFDA0863826 Time : 115944.0 sec. user=kar_bon [2009-05-08 16:12:01] 315*2^798125-1 is not prime. Res64: B7507112972BC1DE Time : 115944.0 sec. user=kar_bon [2009-05-08 16:12:02] 339*2^798128-1 is not prime. Res64: 23A06EFE6C8CCCE6 Time : 115944.0 sec. user=kar_bon [2009-05-08 16:12:02] 321*2^798130-1 is not prime. Res64: 67FA0526FE042185 Time : 115944.0 sec. user=kar_bon [2009-05-08 16:12:03] 339*2^798131-1 is not prime. Res64: 41EC8FDE52FDA576 Time : 115945.0 sec. user=kar_bon [2009-05-08 16:12:03] 321*2^798135-1 is not prime. Res64: BCAC37CD47FEB084 Time : 115944.0 sec. user=kar_bon [2009-05-08 16:12:04] 315*2^798150-1 is not prime. Res64: B4032023744D9CC6 Time : 115945.0 sec. user=kar_bon [2009-05-08 16:12:04] 345*2^798156-1 is not prime. Res64: 70248BF391CFB380 Time : 115944.0 sec. user=kar_bon [2009-05-08 16:12:05] 327*2^800745-1 is not prime. Res64: ED767E9CFD349C11 Time : 58167.0 sec. user=kar_bon [2009-05-08 16:12:06] 315*2^800746-1 is not prime. Res64: 09EDDDE35B40A4EF Time : 58168.0 sec. user=kar_bon [2009-05-08 16:12:07] 333*2^800747-1 is not prime. Res64: 3FA4FE6C050E2280 Time : 58168.0 sec. user=kar_bon [2009-05-08 16:12:07] 327*2^800748-1 is not prime. Res64: B7D0ED101C497FD1 Time : 58168.0 sec. user=kar_bon [2009-05-08 16:12:08] 315*2^800750-1 is not prime. Res64: 980D561EDFAFA216 Time : 58168.0 sec. user=kar_bon [2009-05-08 16:12:09] 315*2^800751-1 is not prime. Res64: 400B8D390AE9DFF5 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:09] 333*2^800751-1 is not prime. Res64: DA3B4E8CB3CCE735 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:10] 327*2^800753-1 is not prime. Res64: 83EE33885137F7A1 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:10] 333*2^800754-1 is not prime. Res64: B26841346F9D5D53 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:11] 315*2^800755-1 is not prime. Res64: C5B87E52C8895178 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:11] 321*2^800757-1 is not prime. Res64: 1F2A026EF70ABD41 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:12] 321*2^800758-1 is not prime. Res64: ED7A1325E22FA621 Time : 58170.0 sec. user=kar_bon [2009-05-08 16:12:12] 315*2^800760-1 is not prime. Res64: DC48EC033D240970 Time : 58169.0 sec. user=kar_bon [2009-05-08 16:12:13] 327*2^800761-1 is not prime. Res64: F15A92D156C50F09 Time : 58170.0 sec. user=kar_bon [2009-05-08 16:12:14] 321*2^800766-1 is not prime. Res64: BBA536C36FB9BC08 Time : 58171.0 sec. user=kar_bon [2009-05-08 16:12:15] 315*2^800778-1 is not prime. Res64: 5144B43BBF333C34 Time : 58171.0 sec. user=kar_bon [2009-05-08 16:12:15] 315*2^800779-1 is not prime. Res64: 1300755242471F6D Time : 58171.0 sec. user=kar_bon [2009-05-08 16:12:16] 339*2^800781-1 is not prime. Res64: A2B155C8118A68AF Time : 58171.0 sec. user=kar_bon [2009-05-08 16:12:16] 321*2^800782-1 is not prime. Res64: 353D649BC0423872 Time : 58171.0 sec. user=kar_bon [2009-05-08 16:12:17] 315*2^800788-1 is not prime. Res64: F2ABE4D87DA5BF55 Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:17] 327*2^800788-1 is not prime. Res64: 59E3872550015DF6 Time : 58171.0 sec. user=kar_bon [2009-05-08 16:12:18] 327*2^800793-1 is not prime. Res64: 6741A84B73A444F5 Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:18] 315*2^800795-1 is not prime. Res64: 7602B0D231653622 Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:19] 321*2^800798-1 is not prime. Res64: D9E9439CFE33C694 Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:19] 315*2^800802-1 is not prime. Res64: 128A923CEB14B1FC Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:20] 321*2^800802-1 is not prime. Res64: 6422B86A90DD4783 Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:20] 345*2^800802-1 is not prime. Res64: D26DED51112A2542 Time : 58172.0 sec. user=kar_bon [2009-05-08 16:12:21] 345*2^800806-1 is not prime. Res64: 3DA6CB76F214521B Time : 58173.0 sec. user=kar_bon [2009-05-08 16:12:40] 345*2^798139-1 is not prime. Res64: CA9021226DBB163D Time : 115981.0 sec. user=kar_bon [2009-05-08 16:12:41] 315*2^798151-1 is not prime. Res64: BBF1A920E59A1C3E Time : 115982.0 sec. user=kar_bon [2009-05-08 16:12:42] 315*2^798168-1 is not prime. Res64: 54CB075F6D3FF4EF Time : 115982.0 sec. user=kar_bon [2009-05-08 16:12:43] 315*2^798171-1 is not prime. Res64: FED659478B682B5D Time : 115983.0 sec. user=kar_bon [2009-05-08 16:12:44] 315*2^798172-1 is not prime. Res64: 08DD045F2C638E4D Time : 115983.0 sec. user=kar_bon [2009-05-08 16:12:44] 315*2^798175-1 is not prime. Res64: 3D841892E24214DF Time : 115983.0 sec. user=kar_bon [2009-05-08 16:12:45] 321*2^798177-1 is not prime. Res64: BB94BDACE771C6C7 Time : 115984.0 sec. user=kar_bon [2009-05-08 16:12:46] 315*2^798184-1 is not prime. Res64: D2D111721E69D2A3 Time : 115984.0 sec. user=kar_bon [2009-05-08 16:12:47] 321*2^800871-1 is not prime. Res64: 71ADA218178B436C Time : 58150.0 sec. user=kar_bon [2009-05-08 16:12:48] 345*2^800872-1 is not prime. Res64: 557B9968D0DFEC12 Time : 58150.0 sec. user=kar_bon [2009-05-08 16:12:48] 345*2^800875-1 is not prime. Res64: A7FFC930B0A1D50E Time : 58150.0 sec. user=kar_bon [2009-05-08 16:12:49] 327*2^800876-1 is not prime. Res64: B556411C32B7942C Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:49] 315*2^800877-1 is not prime. Res64: 76D493354D0CECBF Time : 58150.0 sec. user=kar_bon [2009-05-08 16:12:50] 321*2^800878-1 is not prime. Res64: 6F01852512C7739E Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:50] 339*2^800879-1 is not prime. Res64: 692CF155190B6B84 Time : 58150.0 sec. user=kar_bon [2009-05-08 16:12:51] 315*2^800882-1 is not prime. Res64: 4843687537668B79 Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:51] 339*2^800883-1 is not prime. Res64: EBEFEAE17E6F4DB2 Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:52] 345*2^800887-1 is not prime. Res64: 23165091D6BFC965 Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:52] 333*2^800888-1 is not prime. Res64: 2A76AA324AF0929B Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:53] 327*2^800889-1 is not prime. Res64: AC7FD9679D4B5EE8 Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:53] 315*2^800890-1 is not prime. Res64: A38482AB157FAC46 Time : 58151.0 sec. user=kar_bon [2009-05-08 16:12:54] 333*2^800898-1 is not prime. Res64: 04FDFD92939D5B27 Time : 58152.0 sec. user=kar_bon [2009-05-08 16:12:59] 327*2^800901-1 is not prime. Res64: 89EE2DB92446728C Time : 58156.0 sec. user=vaughan [2009-05-08 16:13:08] 345*2^803127-1 is not prime. Res64: 67AE0B1AFBE596C0 Time : 913.0 sec. user=vaughan [2009-05-08 16:13:53] 327*2^802845-1 is not prime. Res64: 7746AAA088F2EF8F Time : 8279.0 sec. user=vaughan [2009-05-08 16:14:22] 333*2^802851-1 is not prime. Res64: 063DFD62DFE87818 Time : 8211.0 sec. user=vaughan [2009-05-08 16:17:24] 321*2^802854-1 is not prime. Res64: 1B9B36A014CE2A21 Time : 8129.0 sec. user=mdettweiler [2009-05-08 16:17:31] 333*2^803010-1 is not prime. Res64: A771433F6A9CEEC5 Time : 3898.0 sec. user=vaughan [2009-05-08 16:17:38] 327*2^803138-1 is not prime. Res64: C870D1EFDBD967B0 Time : 935.0 sec. user=kar_bon [2009-05-08 16:18:46] 333*2^802200-1 is not prime. Res64: 325C03064B9B5619 Time : 26630.0 sec. user=vaughan [2009-05-08 16:21:02] 327*2^802860-1 is not prime. Res64: 8EC57AE1054063EC Time : 8150.0 sec. user=mdettweiler [2009-05-08 16:21:46] 321*2^803021-1 is not prime. Res64: DE40B3858228358B Time : 3893.0 sec. user=mdettweiler [2009-05-08 16:22:24] 315*2^803026-1 is not prime. Res64: A9E9A11951D98B7D Time : 3911.0 sec. user=vaughan [2009-05-08 16:23:11] 327*2^803389-1 is not prime. Res64: D83D75F14367CABC Time : 938.0 sec. user=mdettweiler [2009-05-08 16:24:58] 315*2^803042-1 is not prime. Res64: F0A30D7F5F0A7A0F Time : 3904.0 sec. user=vaughan [2009-05-08 16:27:41] 321*2^802866-1 is not prime. Res64: B27C8323167F6E37 Time : 8279.0 sec. user=vaughan [2009-05-08 16:28:04] 327*2^802866-1 is not prime. Res64: F5454AC7D3A8A10F Time : 8212.0 sec. user=vaughan [2009-05-08 16:28:22] 345*2^804022-1 is not prime. Res64: 701436A56A4CA72F Time : 914.0 sec. user=mdettweiler [2009-05-08 16:30:29] 327*2^803058-1 is not prime. Res64: 6422117A52070FEC Time : 3896.0 sec. user=vaughan [2009-05-08 16:30:58] 327*2^802881-1 is not prime. Res64: 45044A98255CA982 Time : 8130.0 sec. user=vaughan [2009-05-08 16:33:13] 327*2^804036-1 is not prime. Res64: 1CA18C44963E0410 Time : 935.0 sec. user=kar_bon [2009-05-08 16:33:50] 345*2^802240-1 is not prime. Res64: E8D86728D42DF55C Time : 26174.0 sec. user=vaughan [2009-05-08 16:34:37] 327*2^802885-1 is not prime. Res64: 39F30364C17BF670 Time : 8150.0 sec. user=mdettweiler [2009-05-08 16:34:44] 333*2^803064-1 is not prime. Res64: BDABF8AEEBE0E9AD Time : 3895.0 sec. user=mdettweiler [2009-05-08 16:35:22] 339*2^803071-1 is not prime. Res64: 75B7F68A33B6EBE6 Time : 3909.0 sec. user=mdettweiler [2009-05-08 16:37:59] 333*2^803079-1 is not prime. Res64: 2FBD6C9BD1EAA5EF Time : 3904.0 sec. user=vaughan [2009-05-08 16:38:49] 339*2^804063-1 is not prime. Res64: E0F52A2A87D53CF6 Time : 939.0 sec. user=vaughan [2009-05-08 16:41:30] 333*2^802890-1 is not prime. Res64: C72CEF3D174FB8A5 Time : 8281.0 sec. user=vaughan [2009-05-08 16:41:44] 339*2^802891-1 is not prime. Res64: 04C07A6719417BCE Time : 8210.0 sec. user=mdettweiler [2009-05-08 16:43:29] 327*2^803098-1 is not prime. Res64: E487C207886AEB4F Time : 3898.0 sec. user=vaughan [2009-05-08 16:43:37] 315*2^804070-1 is not prime. Res64: A13C7BBCDDC5D288 Time : 915.0 sec. user=vaughan [2009-05-08 16:44:31] 327*2^802908-1 is not prime. Res64: 915F3D9C6D448FE1 Time : 8131.0 sec. user=mdettweiler [2009-05-08 16:47:44] 333*2^803103-1 is not prime. Res64: F799EE8114C6497C Time : 3896.0 sec. user=vaughan [2009-05-08 16:48:14] 315*2^802910-1 is not prime. Res64: 55C3D983EEF120AA Time : 8154.0 sec. user=mdettweiler [2009-05-08 16:48:23] 327*2^803105-1 is not prime. Res64: C75A5D7168A9E62C Time : 3912.0 sec. user=vaughan [2009-05-08 16:48:49] 315*2^804072-1 is not prime. Res64: 9186229A3A71C7A9 Time : 936.0 sec. user=kar_bon [2009-05-08 16:48:55] 327*2^802316-1 is not prime. Res64: DCB131F51DFFD163 Time : 25728.0 sec. user=mdettweiler [2009-05-08 16:50:58] 345*2^803106-1 is not prime. Res64: 1EF1807DA68456D3 Time : 3901.0 sec. user=vaughan [2009-05-08 16:54:28] 321*2^804082-1 is not prime. Res64: B0F9A2639B1A3B2A Time : 939.0 sec. user=vaughan [2009-05-08 16:55:18] 327*2^802913-1 is not prime. Res64: B9A036541DF66B85 Time : 8281.0 sec. user=vaughan [2009-05-08 16:55:25] 315*2^802926-1 is not prime. Res64: 48F1A1B6AEC99327 Time : 8210.0 sec. user=mdettweiler [2009-05-08 16:56:29] 327*2^803116-1 is not prime. Res64: 1D4F4F5D77DB6953 Time : 3900.0 sec. user=vaughan [2009-05-08 16:58:04] 321*2^802930-1 is not prime. Res64: 2FEE6E3CF2D91AA6 Time : 8131.0 sec. user=vaughan [2009-05-08 16:58:53] 321*2^804102-1 is not prime. Res64: 0EC2F9D47EC6454D Time : 916.0 sec. user=mdettweiler [2009-05-08 17:00:43] 339*2^803125-1 is not prime. Res64: B054A34828C01A46 Time : 3897.0 sec. user=mdettweiler [2009-05-08 17:01:21] 315*2^803126-1 is not prime. Res64: 8CC81DE92D98AC13 Time : 3910.0 sec. user=vaughan [2009-05-08 17:01:49] 345*2^802936-1 is not prime. Res64: D5BB2F74B7A54842 Time : 8155.0 sec. user=mdettweiler [2009-05-08 17:03:59] 345*2^803130-1 is not prime. Res64: F035E8D98181C194 Time : 3903.0 sec. user=kar_bon [2009-05-08 17:03:59] 327*2^802361-1 is not prime. Res64: EC99B0B77F17D541 Time : 25281.0 sec. user=vaughan [2009-05-08 17:04:26] 327*2^804114-1 is not prime. Res64: FBA02F480C046C24 Time : 938.0 sec. user=vaughan [2009-05-08 17:09:07] 345*2^802966-1 is not prime. Res64: 60BA6E8B335A14E7 Time : 8212.0 sec. user=vaughan [2009-05-08 17:09:07] 339*2^802952-1 is not prime. Res64: B1B3CDC79FBF2F08 Time : 8283.0 sec. user=mdettweiler [2009-05-08 17:09:31] 339*2^803141-1 is not prime. Res64: 4CC75071C1B496FB Time : 3900.0 sec. user=vaughan [2009-05-08 17:10:07] 321*2^804135-1 is not prime. Res64: 45E2A9428E33202B Time : 940.0 sec. user=vaughan [2009-05-08 17:11:38] 321*2^802978-1 is not prime. Res64: 4ECAD36C8EF7AD06 Time : 8132.0 sec. user=mdettweiler [2009-05-08 17:13:43] 345*2^803496-1 is not prime. Res64: CA1EB55243F77494 Time : 3898.0 sec. user=vaughan [2009-05-08 17:14:07] 321*2^804146-1 is not prime. Res64: 6CB854429D23CBEF Time : 915.0 sec. user=mdettweiler [2009-05-08 17:14:19] 327*2^803633-1 is not prime. Res64: 42170F5ABCEE33FE Time : 3897.0 sec. user=vaughan [2009-05-08 17:15:25] 321*2^802981-1 is not prime. Res64: 7B07F3A5C490C3DD Time : 8157.0 sec. user=mdettweiler [2009-05-08 17:16:59] 339*2^803953-1 is not prime. Res64: BEC60994BCDBE9C0 Time : 3900.0 sec. user=kar_bon [2009-05-08 17:19:01] 345*2^802416-1 is not prime. Res64: 027A2B2ACB07FD40 Time : 24805.0 sec. user=vaughan [2009-05-08 17:20:02] 345*2^804159-1 is not prime. Res64: 9DA9D55B9C5E3F0F Time : 936.0 sec. user=mdettweiler [2009-05-08 17:22:31] 327*2^804033-1 is not prime. Res64: 330EEFB6FFF299ED Time : 3900.0 sec. user=vaughan [2009-05-08 17:22:48] 327*2^802994-1 is not prime. Res64: 16E015BC08C6C61F Time : 8212.0 sec. user=vaughan [2009-05-08 17:22:54] 321*2^802993-1 is not prime. Res64: 33B84C1A1E982E4D Time : 8281.0 sec. user=vaughan [2009-05-08 17:25:12] 321*2^803005-1 is not prime. Res64: B5FF0A4A54E912D3 Time : 8133.0 sec. user=vaughan [2009-05-08 17:25:45] 339*2^804167-1 is not prime. Res64: 629BE41ECB349494 Time : 938.0 sec. user=mdettweiler [2009-05-08 17:26:43] 315*2^804045-1 is not prime. Res64: 7FDB446DCD6C8A4C Time : 3897.0 sec. user=mdettweiler [2009-05-08 17:27:19] 327*2^804060-1 is not prime. Res64: F3EBE2C7053A5345 Time : 3896.0 sec. user=vaughan [2009-05-08 17:29:00] 315*2^803015-1 is not prime. Res64: 2A7929B43C641F3C Time : 8157.0 sec. user=vaughan [2009-05-08 17:29:21] 315*2^804190-1 is not prime. Res64: E56103963897EFC7 Time : 914.0 sec. user=mdettweiler [2009-05-08 17:30:01] 315*2^804064-1 is not prime. Res64: 1FF1D40FC2061A0C Time : 3903.0 sec. user=kar_bon [2009-05-08 17:34:04] 315*2^802471-1 is not prime. Res64: EE02BD8CEE57D0CC Time : 24336.0 sec. user=mdettweiler [2009-05-08 17:35:31] 321*2^804070-1 is not prime. Res64: 8D2A73466B874418 Time : 3902.0 sec. user=vaughan [2009-05-08 17:35:38] 345*2^804204-1 is not prime. Res64: 781CA13DC0503471 Time : 936.0 sec. user=vaughan [2009-05-08 17:36:30] 321*2^803041-1 is not prime. Res64: BCFFB439573B17A3 Time : 8212.0 sec. user=vaughan [2009-05-08 17:36:42] 339*2^803035-1 is not prime. Res64: 1923794628328263 Time : 8282.0 sec. user=vaughan [2009-05-08 17:38:44] 315*2^803050-1 is not prime. Res64: E8AE1C7A2D874505 Time : 8133.0 sec. user=mdettweiler [2009-05-08 17:39:44] 345*2^804075-1 is not prime. Res64: 078A5DF42B174E21 Time : 3900.0 sec. user=mdettweiler [2009-05-08 17:40:21] 315*2^804079-1 is not prime. Res64: 3C9BC2114580EDD5 Time : 3899.0 sec. user=vaughan [2009-05-08 17:41:24] 327*2^804216-1 is not prime. Res64: 37F7388F0A8AC79F Time : 939.0 sec. user=vaughan [2009-05-08 17:42:35] 345*2^803059-1 is not prime. Res64: 8EDB69DCAB5EF2CA Time : 8157.0 sec. user=mdettweiler [2009-05-08 17:43:02] 327*2^804081-1 is not prime. Res64: 36FA077AC60975F8 Time : 3903.0 sec. user=vaughan [2009-05-08 17:44:36] 339*2^804223-1 is not prime. Res64: C2E805F4806D4071 Time : 915.0 sec. user=mdettweiler [2009-05-08 17:48:29] 339*2^804101-1 is not prime. Res64: 85064770CE58B66F Time : 3900.0 sec. user=kar_bon [2009-05-08 17:49:10] 315*2^802531-1 is not prime. Res64: 1EF2617A4066A9C4 Time : 23872.0 sec. user=vaughan [2009-05-08 17:50:10] 321*2^803087-1 is not prime. Res64: 508FF51614FC187E Time : 8212.0 sec. user=vaughan [2009-05-08 17:50:31] 333*2^803078-1 is not prime. Res64: 2B287CF9E1CABC6B Time : 8282.0 sec. user=vaughan [2009-05-08 17:51:14] 339*2^804233-1 is not prime. Res64: F8218B78B7D63F7B Time : 936.0 sec. user=vaughan [2009-05-08 17:52:19] 345*2^803097-1 is not prime. Res64: 2018D2A076DC3E3F Time : 8135.0 sec. user=mdettweiler [2009-05-08 17:52:44] 339*2^804111-1 is not prime. Res64: 5FB9B0D31FD4DE02 Time : 3900.0 sec. user=mdettweiler [2009-05-08 17:53:20] 327*2^804113-1 is not prime. Res64: 8B3C813A5A13C99E Time : 3897.0 sec. user=mdettweiler [2009-05-08 17:56:04] 321*2^804121-1 is not prime. Res64: A5D4A322E9EFB595 Time : 3906.0 sec. user=vaughan [2009-05-08 17:56:10] 315*2^803100-1 is not prime. Res64: C96B9CA24E9617D2 Time : 8156.0 sec. user=vaughan [2009-05-08 17:57:03] 333*2^804243-1 is not prime. Res64: 488F1A9C1F8F19FD Time : 939.0 sec. user=vaughan [2009-05-08 17:59:50] 315*2^804258-1 is not prime. Res64: D23D3B63EFE43796 Time : 914.0 sec. user=mdettweiler [2009-05-08 18:01:30] 321*2^804142-1 is not prime. Res64: CD0622BABB8B5719 Time : 3901.0 sec. user=vaughan [2009-05-08 18:03:52] 333*2^803114-1 is not prime. Res64: 341372615FC3122D Time : 8213.0 sec. user=kar_bon [2009-05-08 18:04:18] 315*2^802822-1 is not prime. Res64: 17137D32CE69F326 Time : 15541.0 sec. user=vaughan [2009-05-08 18:04:20] 345*2^803112-1 is not prime. Res64: CB3102EA16EA8321 Time : 8284.0 sec. user=mdettweiler [2009-05-08 18:05:43] 315*2^804150-1 is not prime. Res64: 60E0255157ED3C80 Time : 3900.0 sec. user=vaughan [2009-05-08 18:05:51] 315*2^803116-1 is not prime. Res64: BA5FFC150F7706DD Time : 8134.0 sec. user=mdettweiler [2009-05-08 18:06:22] 321*2^804150-1 is not prime. Res64: 7CA20D3430DAE290 Time : 3901.0 sec. user=vaughan [2009-05-08 18:06:50] 315*2^804269-1 is not prime. Res64: B5BE8013F00BA9B9 Time : 936.0 sec. user=mdettweiler [2009-05-08 18:09:06] 327*2^804156-1 is not prime. Res64: 3C5B934FBA9ABD42 Time : 3907.0 sec. user=vaughan [2009-05-08 18:09:46] 315*2^803124-1 is not prime. Res64: 47EA3303FC9874AD Time : 8157.0 sec. user=vaughan [2009-05-08 18:12:41] 339*2^804281-1 is not prime. Res64: EDE1C17416EA51CE Time : 939.0 sec. user=mdettweiler [2009-05-08 18:14:31] 315*2^804167-1 is not prime. Res64: 4938202492E25FC6 Time : 3900.0 sec. user=vaughan [2009-05-08 18:15:05] 315*2^804286-1 is not prime. Res64: 6B936F4FDCC753F5 Time : 915.0 sec. user=vaughan [2009-05-08 18:17:33] 315*2^803135-1 is not prime. Res64: 78407C4477F7B730 Time : 8211.0 sec. user=vaughan [2009-05-08 18:18:08] 321*2^803134-1 is not prime. Res64: D6A47B05D73B3665 Time : 8284.0 sec. user=mdettweiler [2009-05-08 18:18:42] 315*2^804182-1 is not prime. Res64: 2BDEDDD2E69954EE Time : 3900.0 sec. user=mdettweiler [2009-05-08 18:19:21] 321*2^804190-1 is not prime. Res64: C4B5A268569225B0 Time : 3902.0 sec. user=vaughan [2009-05-08 18:19:24] 345*2^803139-1 is not prime. Res64: 105996841B1BF856 Time : 8135.0 sec. user=kar_bon [2009-05-08 18:19:31] 315*2^802997-1 is not prime. Res64: 8A68434773C58AF0 Time : 11585.0 sec. user=mdettweiler [2009-05-08 18:22:08] 321*2^804197-1 is not prime. Res64: F1262449E2F542E1 Time : 3909.0 sec. user=vaughan [2009-05-08 18:22:27] 321*2^804305-1 is not prime. Res64: 6789FCCFE309E7CA Time : 937.0 sec. user=vaughan [2009-05-08 18:23:21] 339*2^803383-1 is not prime. Res64: 9A467CF0323631E3 Time : 8156.0 sec. user=mdettweiler [2009-05-08 18:27:32] 327*2^804209-1 is not prime. Res64: B02385F496D04A13 Time : 3901.0 sec. user=vaughan [2009-05-08 18:28:20] 327*2^804309-1 is not prime. Res64: 19B00B3159D3B3F3 Time : 939.0 sec. user=vaughan [2009-05-08 18:30:19] 321*2^804326-1 is not prime. Res64: DEC2DE8A2247AC36 Time : 915.0 sec. user=vaughan [2009-05-08 18:31:16] 327*2^804029-1 is not prime. Res64: 7A1232C6AF9FDBD9 Time : 8214.0 sec. user=mdettweiler [2009-05-08 18:31:42] 315*2^804219-1 is not prime. Res64: 72DDFBFA33BBC0A3 Time : 3899.0 sec. user=vaughan [2009-05-08 18:32:04] 327*2^804025-1 is not prime. Res64: B51F27D4190E81C7 Time : 8291.0 sec. user=mdettweiler [2009-05-08 18:32:21] 339*2^804221-1 is not prime. Res64: 22F55F0B6A07EE92 Time : 3902.0 sec. user=vaughan [2009-05-08 18:33:02] 339*2^804029-1 is not prime. Res64: DE75277CB0BD847C Time : 8138.0 sec. user=kar_bon [2009-05-08 18:35:04] 339*2^803121-1 is not prime. Res64: 86824822CD0B957D Time : 9686.0 sec. user=mdettweiler [2009-05-08 18:35:10] 327*2^804226-1 is not prime. Res64: 768A167DE29FB05A Time : 3909.0 sec. user=vaughan [2009-05-08 18:37:01] 327*2^804041-1 is not prime. Res64: ADEDBA4DB20EDE60 Time : 8160.0 sec. user=vaughan [2009-05-08 18:38:02] 315*2^804347-1 is not prime. Res64: A06AA7D347ADD79F Time : 936.0 sec. user=mdettweiler [2009-05-08 18:40:31] 345*2^804232-1 is not prime. Res64: 0E1D3BC57BC74D6C Time : 3900.0 sec. user=vaughan [2009-05-08 18:43:59] 345*2^804354-1 is not prime. Res64: 2F58BF33907AA713 Time : 939.0 sec. user=mdettweiler [2009-05-08 18:44:42] 345*2^804240-1 is not prime. Res64: AF01CCBDB00D3635 Time : 3898.0 sec. user=vaughan [2009-05-08 18:44:59] 345*2^804067-1 is not prime. Res64: E0D8F989B4AEC571 Time : 8216.0 sec. user=mdettweiler [2009-05-08 18:45:21] 327*2^804242-1 is not prime. Res64: B79EF952B954E65E Time : 3900.0 sec. user=vaughan [2009-05-08 18:45:34] 339*2^804363-1 is not prime. Res64: E148AB618C46309C Time : 915.0 sec. user=vaughan [2009-05-08 18:45:51] 345*2^804064-1 is not prime. Res64: EFE7A016C89653A2 Time : 8290.0 sec. user=vaughan [2009-05-08 18:46:38] 339*2^804071-1 is not prime. Res64: 7B539A003A6546EA Time : 8141.0 sec. user=mdettweiler [2009-05-08 18:48:13] 333*2^804251-1 is not prime. Res64: A6A47190CA55D5F9 Time : 3911.0 sec. user=vaughan [2009-05-08 18:50:37] 339*2^804075-1 is not prime. Res64: 385412B22AA72A10 Time : 8160.0 sec. user=kar_bon [2009-05-08 18:50:46] 333*2^804036-1 is not prime. Res64: 7FA163FD9C0401AC Time : 9120.0 sec. user=mdettweiler [2009-05-08 18:53:31] 345*2^804262-1 is not prime. Res64: 7B211369FF23B3AE Time : 3902.0 sec. user=vaughan [2009-05-08 18:53:39] 321*2^804391-1 is not prime. Res64: E315816603EE8550 Time : 937.0 sec. user=mdettweiler [2009-05-08 18:57:42] 333*2^804275-1 is not prime. Res64: F246E046B31D199B Time : 3898.0 sec. user=mdettweiler [2009-05-08 18:58:23] 327*2^804276-1 is not prime. Res64: 87FF26E52CD6C600 Time : 3904.0 sec. user=vaughan [2009-05-08 18:58:43] 315*2^804095-1 is not prime. Res64: 40F42243865EB7EA Time : 8219.0 sec. user=vaughan [2009-05-08 18:59:38] 333*2^804395-1 is not prime. Res64: B68FFE6B6935E66D Time : 940.0 sec. user=vaughan [2009-05-08 18:59:40] 321*2^804094-1 is not prime. Res64: EA409CF993B5D6AB Time : 8290.0 sec. user=vaughan [2009-05-08 19:00:12] 315*2^804106-1 is not prime. Res64: AFEB5DADD56742D3 Time : 8141.0 sec. user=vaughan [2009-05-08 19:00:49] 333*2^804404-1 is not prime. Res64: 424520F48FB68AB2 Time : 915.0 sec. user=mdettweiler [2009-05-08 19:01:14] 315*2^804280-1 is not prime. Res64: F499BBEA70BAD02C Time : 3910.0 sec. user=vaughan [2009-05-08 19:04:15] 345*2^804111-1 is not prime. Res64: E8A162B89058D9D6 Time : 8162.0 sec. user=kar_bon [2009-05-08 19:06:24] 315*2^804075-1 is not prime. Res64: 6F61B1FD445F8D27 Time : 9154.0 sec. user=mdettweiler [2009-05-08 19:06:34] 315*2^804287-1 is not prime. Res64: 92584E92D41D189B Time : 3904.0 sec. user=vaughan [2009-05-08 19:09:14] 315*2^804430-1 is not prime. Res64: B65FAE4A17BE2567 Time : 936.0 sec. user=mdettweiler [2009-05-08 19:10:42] 327*2^804293-1 is not prime. Res64: 5ACF4E91982B5CDA Time : 3899.0 sec. user=mdettweiler [2009-05-08 19:11:24] 333*2^804294-1 is not prime. Res64: 9814BDE631F5E393 Time : 3902.0 sec. user=vaughan [2009-05-08 19:12:25] 327*2^804140-1 is not prime. Res64: AF07145C69678929 Time : 8220.0 sec. user=vaughan [2009-05-08 19:13:30] 327*2^804138-1 is not prime. Res64: 89FF1A006048B9EF Time : 8292.0 sec. user=vaughan [2009-05-08 19:13:46] 327*2^804145-1 is not prime. Res64: 97D747C1A817FF8B Time : 8142.0 sec. user=mdettweiler [2009-05-08 19:14:15] 315*2^804307-1 is not prime. Res64: CCC9510F7A0F0F16 Time : 3909.0 sec. user=vaughan [2009-05-08 19:15:18] 345*2^804439-1 is not prime. Res64: 47CC057DB563BACE Time : 940.0 sec. user=vaughan [2009-05-08 19:16:03] 333*2^804447-1 is not prime. Res64: 052E4BE7918BFE65 Time : 914.0 sec. user=vaughan [2009-05-08 19:17:52] 315*2^804155-1 is not prime. Res64: 4C1FC843837C266C Time : 8163.0 sec. user=mdettweiler [2009-05-08 19:19:33] 315*2^804325-1 is not prime. Res64: 6D26D77B3ECB5BB1 Time : 3902.0 sec. user=kar_bon [2009-05-08 19:21:34] 315*2^804117-1 is not prime. Res64: 0B8E39349750FEFC Time : 9159.0 sec. user=mdettweiler [2009-05-08 19:23:44] 345*2^804330-1 is not prime. Res64: 00B6083105742A14 Time : 3902.0 sec. user=mdettweiler [2009-05-08 19:24:25] 327*2^804332-1 is not prime. Res64: 1FC24D1AEF6A2341 Time : 3904.0 sec. user=vaughan [2009-05-08 19:24:50] 345*2^804472-1 is not prime. Res64: F8C834EBD8CA9DCE Time : 936.0 sec. user=vaughan [2009-05-08 19:26:08] 321*2^804162-1 is not prime. Res64: F16526E7B628407E Time : 8221.0 sec. user=mdettweiler [2009-05-08 19:27:17] 315*2^804346-1 is not prime. Res64: 5071F5F11A70E7ED Time : 3909.0 sec. user=vaughan [2009-05-08 19:27:19] 315*2^804171-1 is not prime. Res64: 56AADF01F2963FFC Time : 8141.0 sec. user=vaughan [2009-05-08 19:27:20] 345*2^804165-1 is not prime. Res64: 48EC6CBE2EA968F7 Time : 8293.0 sec. user=vaughan [2009-05-08 19:30:57] 315*2^804485-1 is not prime. Res64: F73EB1140A360DB1 Time : 940.0 sec. user=vaughan [2009-05-08 19:31:18] 339*2^804485-1 is not prime. Res64: A9EAE32987545F97 Time : 915.0 sec. user=vaughan [2009-05-08 19:31:30] 333*2^804194-1 is not prime. Res64: 96E568073A9D0301 Time : 8166.0 sec. user=mdettweiler [2009-05-08 19:32:34] 315*2^804352-1 is not prime. Res64: CE5FDCDDA4F978EA Time : 3902.0 sec. user=kar_bon [2009-05-08 19:36:34] 321*2^804157-1 is not prime. Res64: 6292E4D2668F4EBD Time : 9155.0 sec. user=mdettweiler [2009-05-08 19:36:45] 327*2^804378-1 is not prime. Res64: 88F199A68065516E Time : 3903.0 sec. user=mdettweiler [2009-05-08 19:37:26] 339*2^804379-1 is not prime. Res64: 6F8CEB9CF4DFF210 Time : 3905.0 sec. user=vaughan [2009-05-08 19:39:52] 321*2^804210-1 is not prime. Res64: EC67D89F0A5A83FA Time : 8224.0 sec. user=mdettweiler [2009-05-08 19:40:19] 333*2^804387-1 is not prime. Res64: 97F5D30F17636AFB Time : 3909.0 sec. user=vaughan [2009-05-08 19:40:26] 327*2^804501-1 is not prime. Res64: 57E21263CBA95A7F Time : 936.0 sec. user=vaughan [2009-05-08 19:40:55] 333*2^804215-1 is not prime. Res64: ED6874A3260C39DD Time : 8144.0 sec. user=vaughan [2009-05-08 19:41:09] 321*2^804214-1 is not prime. Res64: 5CFF604FE04D095B Time : 8295.0 sec. user=vaughan [2009-05-08 19:45:09] 315*2^804222-1 is not prime. Res64: 0452773939F8B84F Time : 8169.0 sec. user=mdettweiler [2009-05-08 19:45:33] 345*2^804391-1 is not prime. Res64: 3AFE431DD3ED99B3 Time : 3902.0 sec. user=vaughan [2009-05-08 19:46:34] 321*2^804526-1 is not prime. Res64: 0191A9EEEBD62737 Time : 916.0 sec. user=vaughan [2009-05-08 19:46:37] 345*2^804525-1 is not prime. Res64: 597668F9415FB6CB Time : 940.0 sec. user=mdettweiler [2009-05-08 19:49:44] 315*2^804398-1 is not prime. Res64: 09699C7537C141C9 Time : 3902.0 sec. user=mdettweiler [2009-05-08 19:50:28] 327*2^804402-1 is not prime. Res64: 237CC36B5E72386B Time : 3907.0 sec. user=kar_bon [2009-05-08 19:51:35] 315*2^804198-1 is not prime. Res64: 2CB6B9A315FD7A5B Time : 9154.0 sec. user=mdettweiler [2009-05-08 19:53:21] 321*2^804413-1 is not prime. Res64: 51034259B4CFB0B3 Time : 3908.0 sec. user=vaughan [2009-05-08 19:53:35] 315*2^804234-1 is not prime. Res64: A0860EA55AF339AC Time : 8225.0 sec. user=vaughan [2009-05-08 19:54:29] 321*2^804237-1 is not prime. Res64: 40700DD9C1FD3276 Time : 8145.0 sec. user=vaughan [2009-05-08 19:54:58] 327*2^804236-1 is not prime. Res64: 4E373E3857752405 Time : 8296.0 sec. user=vaughan [2009-05-08 19:56:03] 327*2^804540-1 is not prime. Res64: E481CE7F0EE9D6C8 Time : 937.0 sec. user=mdettweiler [2009-05-08 19:58:34] 315*2^804422-1 is not prime. Res64: 2FEBA4A1E8C77619 Time : 3903.0 sec. user=vaughan [2009-05-08 19:58:46] 333*2^804246-1 is not prime. Res64: 749509142847A3E5 Time : 8172.0 sec. user=vaughan [2009-05-08 20:01:49] 339*2^804559-1 is not prime. Res64: 1DB1632DDEE500CE Time : 915.0 sec. user=vaughan [2009-05-08 20:02:16] 315*2^804562-1 is not prime. Res64: 4D384897E154AAD5 Time : 940.0 sec. user=mdettweiler [2009-05-08 20:02:45] 345*2^804430-1 is not prime. Res64: 80FDB9234A2F0012 Time : 3903.0 sec. user=mdettweiler [2009-05-08 20:03:28] 339*2^804431-1 is not prime. Res64: 0288564FFCCCA13E Time : 3905.0 sec. user=mdettweiler [2009-05-08 20:06:24] 327*2^804452-1 is not prime. Res64: 565F828E0326A1D1 Time : 3910.0 sec. user=kar_bon [2009-05-08 20:06:34] 333*2^804227-1 is not prime. Res64: 6F6E02A0285F281E Time : 9151.0 sec. user=vaughan [2009-05-08 20:07:18] 327*2^804265-1 is not prime. Res64: 21646BD525240C94 Time : 8228.0 sec. user=vaughan [2009-05-08 20:08:04] 339*2^804269-1 is not prime. Res64: 49B554170F91BCB3 Time : 8146.0 sec. user=vaughan [2009-05-08 20:08:49] 333*2^804266-1 is not prime. Res64: AFB8CD5B46E1AF3A Time : 8298.0 sec. user=mdettweiler [2009-05-08 20:11:34] 339*2^804463-1 is not prime. Res64: DAAE0E585CF6931F Time : 3900.0 sec. user=vaughan [2009-05-08 20:11:39] 327*2^804588-1 is not prime. Res64: C0A55BA908976478 Time : 936.0 sec. user=vaughan [2009-05-08 20:12:24] 345*2^804280-1 is not prime. Res64: 81C35A57522729CF Time : 8174.0 sec. user=mdettweiler [2009-05-08 20:15:47] 333*2^804474-1 is not prime. Res64: A760623F3D275518 Time : 3905.0 sec. user=mdettweiler [2009-05-08 20:16:29] 345*2^804475-1 is not prime. Res64: 65DE22275E2E8F9D Time : 3905.0 sec. user=vaughan [2009-05-08 20:17:05] 333*2^804590-1 is not prime. Res64: E692D9A224EF7860 Time : 916.0 sec. user=vaughan [2009-05-08 20:17:55] 339*2^804591-1 is not prime. Res64: 375C8488AF6C4961 Time : 939.0 sec. user=mdettweiler [2009-05-08 20:19:25] 327*2^804484-1 is not prime. Res64: 1EF4049931803800 Time : 3910.0 sec. user=vaughan [2009-05-08 20:21:02] 327*2^804288-1 is not prime. Res64: 6008A865533A6687 Time : 8231.0 sec. user=kar_bon [2009-05-08 20:21:32] 333*2^804263-1 is not prime. Res64: 0AE3A57F59416640 Time : 9142.0 sec. user=vaughan [2009-05-08 20:21:39] 321*2^804294-1 is not prime. Res64: 146CD069D9CDD9EF Time : 8148.0 sec. user=vaughan [2009-05-08 20:22:38] 333*2^804290-1 is not prime. Res64: 2B4AF12BD7BF39D4 Time : 8299.0 sec. user=mdettweiler [2009-05-08 20:24:36] 321*2^804493-1 is not prime. Res64: 2D46326AD32F5E96 Time : 3903.0 sec. user=vaughan [2009-05-08 20:26:02] 315*2^804309-1 is not prime. Res64: 36854716FDBA1E17 Time : 8177.0 sec. user=vaughan [2009-05-08 20:27:16] 345*2^804615-1 is not prime. Res64: EF999315408A2A41 Time : 937.0 sec. user=mdettweiler [2009-05-08 20:28:46] 315*2^804496-1 is not prime. Res64: 3AF27E589242AF2F Time : 3903.0 sec. user=mdettweiler [2009-05-08 20:29:30] 327*2^804496-1 is not prime. Res64: 564969F71ADCC26C Time : 3905.0 sec. user=vaughan [2009-05-08 20:32:20] 345*2^804627-1 is not prime. Res64: 084FCE9335A7B995 Time : 916.0 sec. user=mdettweiler [2009-05-08 20:32:28] 333*2^804510-1 is not prime. Res64: FAB4F27B1BA0457E Time : 3911.0 sec. user=vaughan [2009-05-08 20:33:35] 321*2^804630-1 is not prime. Res64: F0B142FD46090BD7 Time : 940.0 sec. user=vaughan [2009-05-08 20:34:45] 339*2^804328-1 is not prime. Res64: D8D46C795A07D178 Time : 8232.0 sec. user=vaughan [2009-05-08 20:35:13] 327*2^804338-1 is not prime. Res64: 23C329D659B50FFE Time : 8149.0 sec. user=vaughan [2009-05-08 20:36:29] 315*2^804330-1 is not prime. Res64: C187525A15BA6AD5 Time : 8301.0 sec. user=kar_bon [2009-05-08 20:36:33] 339*2^804289-1 is not prime. Res64: 8459CC0F152E8D5D Time : 9135.0 sec. user=mdettweiler [2009-05-08 20:37:36] 339*2^804529-1 is not prime. Res64: 9DE9E8649DB2342A Time : 3902.0 sec. user=vaughan [2009-05-08 20:39:40] 315*2^804350-1 is not prime. Res64: AFA409DD33F6BD60 Time : 8179.0 sec. user=mdettweiler [2009-05-08 20:41:48] 339*2^804533-1 is not prime. Res64: 76C20394B27CD906 Time : 3903.0 sec. user=mdettweiler [2009-05-08 20:42:32] 339*2^804535-1 is not prime. Res64: B32B09D15C824F1D Time : 3907.0 sec. user=vaughan [2009-05-08 20:42:53] 315*2^804655-1 is not prime. Res64: BF2BD6AEAB8F6D8E Time : 937.0 sec. user=mdettweiler [2009-05-08 20:45:30] 339*2^804536-1 is not prime. Res64: DC1279449C0C0C44 Time : 3911.0 sec. user=vaughan [2009-05-08 20:47:35] 345*2^804660-1 is not prime. Res64: D3D3AADA501E11B0 Time : 916.0 sec. user=vaughan [2009-05-08 20:48:28] 345*2^804366-1 is not prime. Res64: B5FC6E509E0B6F11 Time : 8232.0 sec. user=vaughan [2009-05-08 20:48:48] 321*2^804382-1 is not prime. Res64: 45773F4B782A7216 Time : 8146.0 sec. user=vaughan [2009-05-08 20:49:15] 339*2^804663-1 is not prime. Res64: 15289D16F9322832 Time : 940.0 sec. user=vaughan [2009-05-08 20:50:18] 315*2^804379-1 is not prime. Res64: B21D276D45CA9E78 Time : 8295.0 sec. user=mdettweiler [2009-05-08 20:50:42] 315*2^804550-1 is not prime. Res64: F919E95FE336FCEB Time : 3909.0 sec. user=kar_bon [2009-05-08 20:51:33] 315*2^804339-1 is not prime. Res64: 7F82C0A563051037 Time : 9122.0 sec. user=vaughan [2009-05-08 20:53:17] 327*2^804389-1 is not prime. Res64: 9099A725FD617FCC Time : 8177.0 sec. user=mdettweiler [2009-05-08 20:54:55] 315*2^804566-1 is not prime. Res64: FBADDDF7B2A5B213 Time : 3911.0 sec. user=mdettweiler [2009-05-08 20:55:37] 321*2^804575-1 is not prime. Res64: 33462B152A6FEBF0 Time : 3909.0 sec. user=vaughan [2009-05-08 20:58:29] 333*2^804684-1 is not prime. Res64: 24C91DDD8F08F4CB Time : 937.0 sec. user=mdettweiler [2009-05-08 20:58:35] 321*2^804578-1 is not prime. Res64: 5C0CB85FD34F02B1 Time : 3914.0 sec. user=vaughan [2009-05-08 21:02:13] 315*2^804399-1 is not prime. Res64: 4FDCF7BA0B2987E7 Time : 8234.0 sec. user=vaughan [2009-05-08 21:02:22] 327*2^804412-1 is not prime. Res64: FAD70AB9579EA040 Time : 8144.0 sec. user=vaughan [2009-05-08 21:02:50] 327*2^804701-1 is not prime. Res64: 884F1F18DD460477 Time : 915.0 sec. user=mdettweiler [2009-05-08 21:03:47] 339*2^804589-1 is not prime. Res64: 7FABC991AB3E0CF8 Time : 3913.0 sec. user=vaughan [2009-05-08 21:04:09] 339*2^804407-1 is not prime. Res64: E0DD514CB25EA645 Time : 8298.0 sec. user=vaughan [2009-05-08 21:04:54] 339*2^804705-1 is not prime. Res64: 00538743663BF1C9 Time : 940.0 sec. user=kar_bon [2009-05-08 21:06:33] 333*2^804386-1 is not prime. Res64: 0BC24974BC9457BF Time : 9089.0 sec. user=vaughan [2009-05-08 21:06:54] 327*2^804416-1 is not prime. Res64: 7E45D10CA9F5C1D2 Time : 8177.0 sec. user=mdettweiler [2009-05-08 21:08:07] 321*2^804594-1 is not prime. Res64: 4A4AA346CBD4933B Time : 3922.0 sec. user=mdettweiler [2009-05-08 21:08:42] 333*2^804596-1 is not prime. Res64: 158878B38FBC8B82 Time : 3914.0 sec. user=mdettweiler [2009-05-08 21:11:47] 321*2^804605-1 is not prime. Res64: 80C7384EF827E2F4 Time : 3923.0 sec. user=vaughan [2009-05-08 21:14:05] 321*2^804725-1 is not prime. Res64: B9C015DBA958CBA8 Time : 936.0 sec. user=vaughan [2009-05-08 21:15:54] 339*2^804437-1 is not prime. Res64: D5ABD8DB12787025 Time : 8232.0 sec. user=vaughan [2009-05-08 21:15:58] 339*2^804445-1 is not prime. Res64: D5D5F093F950C65E Time : 8146.0 sec. user=mdettweiler [2009-05-08 21:17:01] 321*2^804614-1 is not prime. Res64: DAED0BC70BE8E21A Time : 3927.0 sec. user=vaughan [2009-05-08 21:17:59] 315*2^804445-1 is not prime. Res64: E042B001FA2163CD Time : 8299.0 sec. user=vaughan [2009-05-08 21:18:05] 315*2^804738-1 is not prime. Res64: 4621D64D3C00B1E1 Time : 915.0 sec. user=vaughan [2009-05-08 21:20:31] 321*2^804454-1 is not prime. Res64: 69598C862100E09B Time : 8177.0 sec. user=vaughan [2009-05-08 21:20:33] 345*2^804742-1 is not prime. Res64: 6435C8187E2E4D86 Time : 939.0 sec. user=mdettweiler [2009-05-08 21:21:32] 327*2^804621-1 is not prime. Res64: 8BC3D5C0896355D5 Time : 3945.0 sec. user=kar_bon [2009-05-08 21:21:33] 327*2^804420-1 is not prime. Res64: 3D2A934CE4B9ECD0 Time : 9048.0 sec. user=mdettweiler [2009-05-08 21:22:01] 327*2^804625-1 is not prime. Res64: 02C21D3DAFD5271C Time : 3932.0 sec. user=mdettweiler [2009-05-08 21:25:26] 333*2^804635-1 is not prime. Res64: C8191742ED674161 Time : 3961.0 sec. user=vaughan [2009-05-08 21:29:32] 339*2^804481-1 is not prime. Res64: 80184F84422C3582 Time : 8146.0 sec. user=vaughan [2009-05-08 21:29:37] 315*2^804477-1 is not prime. Res64: C80FA8E28AE0ED5F Time : 8232.0 sec. user=vaughan [2009-05-08 21:29:42] 333*2^804758-1 is not prime. Res64: EE094D3F27F575B2 Time : 937.0 sec. user=mdettweiler [2009-05-08 21:30:37] 339*2^804651-1 is not prime. Res64: 2E0B1BEEB63D5E25 Time : 3961.0 sec. user=vaughan [2009-05-08 21:31:49] 315*2^804479-1 is not prime. Res64: 3CE7C866CF992A50 Time : 8299.0 sec. user=vaughan [2009-05-08 21:33:20] 339*2^804769-1 is not prime. Res64: 61B3FFCE976AC238 Time : 915.0 sec. user=vaughan [2009-05-08 21:34:10] 345*2^804492-1 is not prime. Res64: 26CBC94C0E1B8420 Time : 8178.0 sec. user=mdettweiler [2009-05-08 21:35:14] 315*2^804658-1 is not prime. Res64: AA8FEF1055D4EA5C Time : 3988.0 sec. user=mdettweiler [2009-05-08 21:35:24] 321*2^804658-1 is not prime. Res64: ADA29E59A2A33901 Time : 3954.0 sec. user=vaughan [2009-05-08 21:36:13] 345*2^804775-1 is not prime. Res64: B1110B82AB1935A0 Time : 940.0 sec. user=kar_bon [2009-05-08 21:36:36] 345*2^804456-1 is not prime. Res64: C21AE42394F4448A Time : 9012.0 sec. user=mdettweiler [2009-05-08 21:38:59] 315*2^804662-1 is not prime. Res64: 8CBE6378B781F2FE Time : 3991.0 sec. user=vaughan [2009-05-08 21:43:07] 345*2^804511-1 is not prime. Res64: D70B51F30500EBD4 Time : 8148.0 sec. user=vaughan [2009-05-08 21:43:21] 315*2^804509-1 is not prime. Res64: 467E9B58CD645DDE Time : 8233.0 sec. user=mdettweiler [2009-05-08 21:44:06] 339*2^804679-1 is not prime. Res64: D15B0C017059A390 Time : 3990.0 sec. user=vaughan [2009-05-08 21:45:18] 315*2^804796-1 is not prime. Res64: 6DACA95AB735DE6C Time : 936.0 sec. user=vaughan [2009-05-08 21:45:38] 327*2^804512-1 is not prime. Res64: 5B2E4CE2E8A1A9CD Time : 8298.0 sec. user=vaughan [2009-05-08 21:47:46] 339*2^804527-1 is not prime. Res64: 9E1D1AD5C06811D6 Time : 8177.0 sec. user=vaughan [2009-05-08 21:48:36] 321*2^804802-1 is not prime. Res64: 657DF2104AEF06E8 Time : 916.0 sec. user=mdettweiler [2009-05-08 21:48:39] 327*2^804682-1 is not prime. Res64: 86171B1C73159F67 Time : 4011.0 sec. user=mdettweiler [2009-05-08 21:48:50] 339*2^804683-1 is not prime. Res64: 17A278AE7CE25FE7 Time : 3978.0 sec. user=kar_bon [2009-05-08 21:51:33] 333*2^804494-1 is not prime. Res64: 6FEBBE571A5FEA6D Time : 8999.0 sec. user=vaughan [2009-05-08 21:51:52] 333*2^804807-1 is not prime. Res64: 1691F16E004407B9 Time : 939.0 sec. user=mdettweiler [2009-05-08 21:52:20] 339*2^804685-1 is not prime. Res64: 3734D0BB84FEFB08 Time : 4010.0 sec. user=vaughan [2009-05-08 21:56:43] 315*2^804542-1 is not prime. Res64: E40C819F4229C481 Time : 8148.0 sec. user=vaughan [2009-05-08 21:57:04] 333*2^804536-1 is not prime. Res64: EA004D3B1FFDD376 Time : 8233.0 sec. user=mdettweiler [2009-05-08 21:57:15] 333*2^804714-1 is not prime. Res64: E16D4C89AC2E7C9B Time : 3993.0 sec. user=vaughan [2009-05-08 21:59:29] 339*2^804545-1 is not prime. Res64: F864A146A4D2CDCA Time : 8301.0 sec. user=vaughan [2009-05-08 22:00:55] 327*2^804836-1 is not prime. Res64: A021B5648F2FB3E6 Time : 937.0 sec. user=vaughan [2009-05-08 22:01:25] 339*2^804547-1 is not prime. Res64: 2A844EF8406A415F Time : 8177.0 sec. user=mdettweiler [2009-05-08 22:01:52] 321*2^804718-1 is not prime. Res64: A62C6214084A1654 Time : 4017.0 sec. user=mdettweiler [2009-05-08 22:02:03] 333*2^804720-1 is not prime. Res64: DA8B69478C68E93A Time : 3986.0 sec. user=vaughan [2009-05-08 22:03:51] 333*2^804854-1 is not prime. Res64: DF2AFDEB1F7259B7 Time : 916.0 sec. user=mdettweiler [2009-05-08 22:05:32] 327*2^804729-1 is not prime. Res64: 1004B7E9E0B03A97 Time : 4017.0 sec. user=kar_bon [2009-05-08 22:06:34] 327*2^804533-1 is not prime. Res64: 37A9AD23412DF93B Time : 9000.0 sec. user=vaughan [2009-05-08 22:07:33] 345*2^804861-1 is not prime. Res64: F9C0D380029F1D37 Time : 941.0 sec. user=vaughan [2009-05-08 22:10:18] 321*2^804583-1 is not prime. Res64: 22CB92EE34C2BC8B Time : 8149.0 sec. user=mdettweiler [2009-05-08 22:10:30] 333*2^804738-1 is not prime. Res64: CAF6585F62EA8F18 Time : 4004.0 sec. user=vaughan [2009-05-08 22:10:46] 333*2^804579-1 is not prime. Res64: C6729A67A68114F3 Time : 8231.0 sec. user=vaughan [2009-05-08 22:13:20] 339*2^804587-1 is not prime. Res64: 556D56C7861E0AF1 Time : 8302.0 sec. user=mdettweiler [2009-05-08 22:15:03] 339*2^804751-1 is not prime. Res64: B31FC91E93C43FFE Time : 4017.0 sec. user=vaughan [2009-05-08 22:15:04] 315*2^804590-1 is not prime. Res64: 8EA0F8D6ED074930 Time : 8178.0 sec. user=mdettweiler [2009-05-08 22:15:15] 327*2^804752-1 is not prime. Res64: 84DCDA7C710D2604 Time : 3993.0 sec. user=vaughan [2009-05-08 22:16:32] 315*2^804878-1 is not prime. Res64: 567D14BA09FBE7A0 Time : 937.0 sec. user=mdettweiler [2009-05-08 22:18:48] 345*2^804754-1 is not prime. Res64: 473A8D001C823570 Time : 4022.0 sec. user=vaughan [2009-05-08 22:19:06] 321*2^804881-1 is not prime. Res64: E7EA0FFDAC328939 Time : 915.0 sec. user=kar_bon [2009-05-08 22:21:34] 321*2^804577-1 is not prime. Res64: E670B05168E3366D Time : 9000.0 sec. user=vaughan [2009-05-08 22:23:13] 315*2^804887-1 is not prime. Res64: 4A916C74C03F0173 Time : 940.0 sec. user=mdettweiler [2009-05-08 22:23:39] 333*2^804767-1 is not prime. Res64: 9CDB7574237C9505 Time : 3998.0 sec. user=vaughan [2009-05-08 22:23:53] 333*2^804611-1 is not prime. Res64: AE239705EAD95358 Time : 8150.0 sec. user=vaughan [2009-05-08 22:24:32] 345*2^804610-1 is not prime. Res64: 56FE58D3155248C2 Time : 8235.0 sec. user=vaughan [2009-05-08 22:27:10] 315*2^804612-1 is not prime. Res64: 4659CA586615101B Time : 8302.0 sec. user=mdettweiler [2009-05-08 22:28:17] 321*2^804777-1 is not prime. Res64: 003EADA9D4F65ADB Time : 4005.0 sec. user=mdettweiler [2009-05-08 22:28:34] 327*2^804785-1 is not prime. Res64: 03C0774399735AE8 Time : 3993.0 sec. user=vaughan [2009-05-08 22:28:42] 345*2^804616-1 is not prime. Res64: 298D61B4B07F8A49 Time : 8179.0 sec. user=vaughan [2009-05-08 22:32:08] 315*2^804915-1 is not prime. Res64: 76CF92D5433A3BC2 Time : 937.0 sec. user=mdettweiler [2009-05-08 22:32:13] 321*2^804790-1 is not prime. Res64: AEA62F7C16ED0B80 Time : 4007.0 sec. user=vaughan [2009-05-08 22:34:21] 321*2^804917-1 is not prime. Res64: 99E640AE4F3D5C5D Time : 915.0 sec. user=kar_bon [2009-05-08 22:36:34] 315*2^804610-1 is not prime. Res64: EB1BB776CCAE6F7E Time : 9000.0 sec. user=mdettweiler [2009-05-08 22:37:05] 315*2^804797-1 is not prime. Res64: BC7CD3248D6ADFD5 Time : 3988.0 sec. user=vaughan [2009-05-08 22:37:28] 345*2^804646-1 is not prime. Res64: 1D99DC63A0858DFC Time : 8149.0 sec. user=vaughan [2009-05-08 22:38:14] 327*2^804640-1 is not prime. Res64: F126A29F659CBCBE Time : 8232.0 sec. user=vaughan [2009-05-08 22:38:52] 339*2^804928-1 is not prime. Res64: 677BB5E40F9ABEC6 Time : 939.0 sec. user=vaughan [2009-05-08 22:41:01] 339*2^804647-1 is not prime. Res64: B0E1F6F513C1EF80 Time : 8303.0 sec. user=mdettweiler [2009-05-08 22:41:39] 321*2^804805-1 is not prime. Res64: 8A1A5A512C94024C Time : 3985.0 sec. user=mdettweiler [2009-05-08 22:41:50] 315*2^804807-1 is not prime. Res64: EC5A071D2D10D74A Time : 3987.0 sec. user=vaughan [2009-05-08 22:42:21] 315*2^804652-1 is not prime. Res64: 81E2C51DE8797676 Time : 8179.0 sec. user=mdettweiler [2009-05-08 22:45:43] 339*2^804821-1 is not prime. Res64: 4A0068F1B1F62FE8 Time : 4004.0 sec. user=vaughan [2009-05-08 22:47:46] 315*2^804947-1 is not prime. Res64: 05B3D6FF0C4CF4D6 Time : 938.0 sec. user=vaughan [2009-05-08 22:49:37] 315*2^804949-1 is not prime. Res64: B443E9139B2C1F29 Time : 916.0 sec. user=mdettweiler [2009-05-08 22:50:25] 339*2^804832-1 is not prime. Res64: 931A393D6773002F Time : 3980.0 sec. user=vaughan [2009-05-08 22:51:03] 345*2^804666-1 is not prime. Res64: E75C6B9F27DBCC1E Time : 8150.0 sec. user=kar_bon [2009-05-08 22:51:34] 315*2^804645-1 is not prime. Res64: AA5955D22EC38182 Time : 9002.0 sec. user=vaughan [2009-05-08 22:51:58] 315*2^804664-1 is not prime. Res64: 5009C1862A02B675 Time : 8234.0 sec. user=vaughan [2009-05-08 22:54:33] 315*2^804955-1 is not prime. Res64: D243C97D9CBB8BF6 Time : 941.0 sec. user=vaughan [2009-05-08 22:54:52] 321*2^804674-1 is not prime. Res64: 1B7E6162138E923B Time : 8303.0 sec. user=mdettweiler [2009-05-08 22:55:17] 321*2^804855-1 is not prime. Res64: CC9F42F7C257F688 Time : 3998.0 sec. user=mdettweiler [2009-05-08 22:55:43] 339*2^804857-1 is not prime. Res64: 68AAB70835736B11 Time : 4013.0 sec. user=vaughan [2009-05-08 22:56:01] 315*2^804682-1 is not prime. Res64: 9A9AF47D592C67E8 Time : 8182.0 sec. user=mdettweiler [2009-05-08 22:59:43] 333*2^804863-1 is not prime. Res64: 2AE8B7FE8BA8A628 Time : 4044.0 sec. user=vaughan [2009-05-08 23:03:22] 345*2^804975-1 is not prime. Res64: 5D4A80DCBC32A0AC Time : 937.0 sec. user=mdettweiler [2009-05-08 23:04:38] 345*2^804871-1 is not prime. Res64: 7C8263AA63FC0B6D Time : 4043.0 sec. user=vaughan [2009-05-08 23:04:39] 321*2^804703-1 is not prime. Res64: E8E24DA0F1493366 Time : 8151.0 sec. user=vaughan [2009-05-08 23:04:52] 333*2^804980-1 is not prime. Res64: A534C504C78B9502 Time : 916.0 sec. user=vaughan [2009-05-08 23:05:43] 315*2^804702-1 is not prime. Res64: 6457198379997D70 Time : 8235.0 sec. user=kar_bon [2009-05-08 23:06:36] 333*2^804674-1 is not prime. Res64: 6019DC09F7B72974 Time : 9003.0 sec. user=mdettweiler [2009-05-08 23:08:39] 345*2^804879-1 is not prime. Res64: 0E4BF701D38EF0EC Time : 4007.0 sec. user=vaughan [2009-05-08 23:08:42] 315*2^804708-1 is not prime. Res64: 4F5BC4FE36D1895C Time : 8304.0 sec. user=mdettweiler [2009-05-08 23:09:07] 339*2^804880-1 is not prime. Res64: 8A270F63051EC636 Time : 4024.0 sec. user=vaughan [2009-05-08 23:09:39] 345*2^804715-1 is not prime. Res64: CE0527FCF5F6DE21 Time : 8182.0 sec. user=vaughan [2009-05-08 23:10:13] 327*2^804986-1 is not prime. Res64: 09E15DDC12EC64EA Time : 940.0 sec. user=mdettweiler [2009-05-08 23:12:48] 333*2^804884-1 is not prime. Res64: DC88BC99EFD5A67E Time : 4036.0 sec. user=mdettweiler [2009-05-08 23:17:38] 333*2^804894-1 is not prime. Res64: DD80E801CA852758 Time : 4028.0 sec. user=vaughan [2009-05-08 23:18:13] 327*2^804736-1 is not prime. Res64: CDDC98DF246AF370 Time : 8151.0 sec. user=vaughan [2009-05-08 23:18:59] 321*2^805006-1 is not prime. Res64: A0A9EDFD6BB53F10 Time : 937.0 sec. user=vaughan [2009-05-08 23:19:27] 345*2^804735-1 is not prime. Res64: D0F06513EC3E9053 Time : 8235.0 sec. user=vaughan [2009-05-08 23:20:08] 321*2^805017-1 is not prime. Res64: E3412D4B3F2EBB34 Time : 917.0 sec. user=kar_bon [2009-05-08 23:21:36] 315*2^804715-1 is not prime. Res64: 1FD6E875C0E73574 Time : 9004.0 sec. user=mdettweiler [2009-05-08 23:21:38] 315*2^804906-1 is not prime. Res64: 16074ADFFA53725F Time : 3995.0 sec. user=mdettweiler [2009-05-08 23:22:09] 321*2^804913-1 is not prime. Res64: DD99A0888F783FA9 Time : 4015.0 sec. user=vaughan [2009-05-08 23:22:32] 345*2^804739-1 is not prime. Res64: E73CD23AAF1F5EAD Time : 8303.0 sec. user=vaughan [2009-05-08 23:23:16] 339*2^804749-1 is not prime. Res64: 845D6F4C658DD22F Time : 8182.0 sec. user=mdettweiler [2009-05-08 23:25:51] 333*2^804915-1 is not prime. Res64: 509D41AA6A8679E4 Time : 4023.0 sec. user=vaughan [2009-05-08 23:25:52] 339*2^805039-1 is not prime. Res64: 3EFAAD78A8F802E8 Time : 940.0 sec. user=mdettweiler [2009-05-08 23:30:40] 321*2^804930-1 is not prime. Res64: ABD4DFAE356E2445 Time : 4021.0 sec. user=vaughan [2009-05-08 23:31:48] 315*2^804765-1 is not prime. Res64: 7489D9C392C5F543 Time : 8151.0 sec. user=vaughan [2009-05-08 23:33:13] 315*2^804762-1 is not prime. Res64: 7B3507D5C97F51B9 Time : 8239.0 sec. user=vaughan [2009-05-08 23:34:35] 321*2^805045-1 is not prime. Res64: 2FA09516C111E9A6 Time : 937.0 sec. user=mdettweiler [2009-05-08 23:34:42] 315*2^804942-1 is not prime. Res64: 930A333DF5DBA3EE Time : 3985.0 sec. user=mdettweiler [2009-05-08 23:35:10] 345*2^804942-1 is not prime. Res64: D945189BFED1E079 Time : 3996.0 sec. user=vaughan [2009-05-08 23:35:23] 327*2^805058-1 is not prime. Res64: B41AF3AA424EB32E Time : 915.0 sec. user=vaughan [2009-05-08 23:36:22] 339*2^804767-1 is not prime. Res64: 43AFCDBF0A00F194 Time : 8303.0 sec. user=kar_bon [2009-05-08 23:36:36] 339*2^804743-1 is not prime. Res64: 278D967045DDCDE2 Time : 9003.0 sec. user=vaughan [2009-05-08 23:36:56] 321*2^804773-1 is not prime. Res64: 87B08CE6F088D721 Time : 8185.0 sec. user=mdettweiler [2009-05-08 23:38:55] 339*2^804947-1 is not prime. Res64: 6D3D4FCE6F38175A Time : 4002.0 sec. user=vaughan [2009-05-08 23:41:32] 345*2^805072-1 is not prime. Res64: EBE5E7AF04DD57B9 Time : 940.0 sec. user=mdettweiler [2009-05-08 23:43:41] 345*2^804952-1 is not prime. Res64: 13836CCD10993B71 Time : 3996.0 sec. user=vaughan [2009-05-08 23:45:24] 339*2^804791-1 is not prime. Res64: 109BAB2AEEC42605 Time : 8152.0 sec. user=vaughan [2009-05-08 23:46:56] 339*2^804795-1 is not prime. Res64: 3D485226B28B534D Time : 8239.0 sec. user=mdettweiler [2009-05-08 23:47:42] 345*2^804960-1 is not prime. Res64: 049874928F5029BC Time : 3963.0 sec. user=mdettweiler [2009-05-08 23:48:10] 315*2^804967-1 is not prime. Res64: 4CA602478294CBF6 Time : 3980.0 sec. user=vaughan [2009-05-08 23:50:12] 315*2^804799-1 is not prime. Res64: 89E1EAFED9E9BD9C Time : 8303.0 sec. user=vaughan [2009-05-08 23:50:13] 333*2^805080-1 is not prime. Res64: 35AFF52A268F9CE3 Time : 938.0 sec. user=vaughan [2009-05-08 23:50:34] 345*2^804802-1 is not prime. Res64: 2D1AE6C34A6CAA53 Time : 8184.0 sec. user=vaughan [2009-05-08 23:50:38] 345*2^805090-1 is not prime. Res64: CD537317DF03FF39 Time : 915.0 sec. user=kar_bon [2009-05-08 23:51:36] 327*2^804784-1 is not prime. Res64: 0DAB512C8ACFD225 Time : 9003.0 sec. user=mdettweiler [2009-05-08 23:51:57] 321*2^804973-1 is not prime. Res64: 98A6AC5871A0EDE8 Time : 3974.0 sec. user=mdettweiler [2009-05-08 23:56:41] 315*2^804982-1 is not prime. Res64: F4994503777351C4 Time : 3976.0 sec. user=vaughan [2009-05-08 23:57:12] 321*2^805106-1 is not prime. Res64: 8CFB502037FE9700 Time : 941.0 sec. user=vaughan [2009-05-08 23:58:59] 333*2^804828-1 is not prime. Res64: 17595472D96A0636 Time : 8152.0 sec. user=vaughan [2009-05-09 00:00:41] 345*2^804831-1 is not prime. Res64: 61F71362E5D5F9E7 Time : 8240.0 sec. user=mdettweiler [2009-05-09 00:00:50] 339*2^804989-1 is not prime. Res64: 50E300FF28F19193 Time : 3933.0 sec.