user=mdettweiler [2009-06-14 05:39:38] 347*2^320552-1 is not prime. Res64: CD5A62548E195B02 Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 367*2^320553-1 is not prime. Res64: A3E77E936D739A66 Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 385*2^320551-1 is not prime. Res64: 5FCA912FEEDD702F Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 389*2^320552-1 is not prime. Res64: 92654415DC4D269E Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 319*2^320553-1 is not prime. Res64: 1F25B164EC55B0A7 Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 307*2^320557-1 is not prime. Res64: 6AC060C4D94DC7D8 Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 325*2^320555-1 is not prime. Res64: A9DD099E6974A14C Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 339*2^320555-1 is not prime. Res64: 0F503B39A31ECD61 Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 339*2^320557-1 is not prime. Res64: 7D8DEB2307C7BFA9 Time : 0.0 sec. user=mdettweiler [2009-06-14 05:39:38] 369*2^320556-1 is not prime. Res64: CACF36DCA217FFA3 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 369*2^320557-1 is not prime. Res64: 555B8F5696952021 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 391*2^320555-1 is not prime. Res64: B86C66141F337CE4 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 321*2^320558-1 is not prime. Res64: 4330B048BA9044CC Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 345*2^320560-1 is not prime. Res64: 2D8FAD80E55B3474 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 363*2^320560-1 is not prime. Res64: 8DA39BBAFCE1DEF1 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 365*2^320558-1 is not prime. Res64: BE588894A5799244 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 377*2^320560-1 is not prime. Res64: 6F7D3D995FB710C3 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 323*2^320564-1 is not prime. Res64: A00270EDE262E643 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 325*2^320563-1 is not prime. Res64: 77BC4AD5F4EA8010 Time : 0.0 sec. user=mdettweiler [2009-06-14 06:48:17] 341*2^320562-1 is not prime. Res64: 9EB932FE746543D9 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 371*2^320562-1 is not prime. Res64: 6F0D1642E33EB294 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 301*2^320565-1 is not prime. Res64: 4CD66C4F4CA03F3B Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 317*2^320566-1 is not prime. Res64: F2010EADC0A4C4E0 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 339*2^320565-1 is not prime. Res64: BEFDB1F4E776B567 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 339*2^320567-1 is not prime. Res64: 5789C17512EB77D2 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 349*2^320565-1 is not prime. Res64: A8B33FAA866AF1F7 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 391*2^320567-1 is not prime. Res64: 6D127CA253F43E77 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 305*2^320568-1 is not prime. Res64: 8E117907A0D67E90 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 331*2^320569-1 is not prime. Res64: 6924E55F59C75B70 Time : 0.0 sec. user=mdettweiler [2009-06-14 08:03:30] 341*2^320570-1 is not prime. Res64: 2E636D3FC0D49354 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 347*2^320570-1 is not prime. Res64: D92BF7C51353DE9E Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 363*2^320568-1 is not prime. Res64: 551E999E0CA1109E Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 363*2^320570-1 is not prime. Res64: 77E70957A4AC4B39 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 381*2^320569-1 is not prime. Res64: 3499B5A9F8430D54 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 395*2^320568-1 is not prime. Res64: E1922A0BD7E28BD4 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 313*2^320571-1 is not prime. Res64: E5AD5D4C44AABE77 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 321*2^320573-1 is not prime. Res64: 53A9E33C067DC8A0 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 323*2^320572-1 is not prime. Res64: E1A19A5E0DED1E77 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 327*2^320572-1 is not prime. Res64: 4F54FED86C609570 Time : 0.0 sec. user=mdettweiler [2009-06-14 09:16:44] 363*2^320572-1 is not prime. Res64: 9ECE465B56949A1A Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 399*2^320571-1 is not prime. Res64: 5EBCFB9E5D500C5C Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 301*2^320577-1 is not prime. Res64: B99F54314DE0B42C Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 303*2^320575-1 is not prime. Res64: 129AEACF6CD72C39 Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 321*2^320575-1 is not prime. Res64: 85977BFDB662BACC Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 323*2^320576-1 is not prime. Res64: 6A6595EC751C8943 Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 369*2^320575-1 is not prime. Res64: 9B38AF9942F0C635 Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 309*2^320581-1 is not prime. Res64: ECA61628B172FBC4 Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 335*2^320580-1 is not prime. Res64: BE3E2CE06AFA9CDE Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 349*2^320579-1 is not prime. Res64: 40FD4BFB0AFCDB52 Time : 0.0 sec. user=mdettweiler [2009-06-14 10:25:52] 369*2^320579-1 is not prime. Res64: 8BDABFFC2D1F73A1 Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 377*2^320578-1 is not prime. Res64: 1EF5BFFF3A82B546 Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 377*2^320580-1 is not prime. Res64: 3F9DE8208382A6F2 Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 309*2^320584-1 is not prime. Res64: 8DB12FAB682008AA Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 321*2^320582-1 is not prime. Res64: 1A62AE00B74B1E7A Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 327*2^320581-1 is not prime. Res64: 9B3D620D4FC8AD2F Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 365*2^320582-1 is not prime. Res64: 8A684C45E4D3F136 Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 367*2^320581-1 is not prime. Res64: CBD7CDE6B6387019 Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 385*2^320581-1 is not prime. Res64: 5557F4F9BAA27420 Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 313*2^320583-1 is not prime. Res64: EC131DD18169487B Time : 0.0 sec. user=mdettweiler [2009-06-14 11:39:01] 301*2^320585-1 is not prime. Res64: 819C62E9C7B02B84 Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 327*2^320585-1 is not prime. Res64: 5D7555D6CF95C5C4 Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 333*2^320586-1 is not prime. Res64: 9005AC391ABC18FD Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 399*2^320585-1 is not prime. Res64: 05A1CF5D96BF31B4 Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 301*2^320589-1 is not prime. Res64: 478384C199D4294E Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 327*2^320588-1 is not prime. Res64: FFA143ED186C2780 Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 327*2^320589-1 is not prime. Res64: 121387B4DBA1AA27 Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 357*2^320589-1 is not prime. Res64: F9D496C1D6D61B2B Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 365*2^320590-1 is not prime. Res64: 56ECF8163691078E Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 319*2^320589-1 is not prime. Res64: F74972FBD6BD7D68 Time : 0.0 sec. user=mdettweiler [2009-06-14 12:52:40] 327*2^320594-1 is not prime. Res64: 5C55D8FD3E881EB4 Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 341*2^320594-1 is not prime. Res64: 8774B1C4E9E63710 Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 363*2^320591-1 is not prime. Res64: A36B53A9A390BEF3 Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 301*2^320595-1 is not prime. Res64: C93AF40D38422A3C Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 315*2^320597-1 is not prime. Res64: DAE13A3773B6A2AC Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 345*2^320595-1 is not prime. Res64: 24EF33789B9F2F54 Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 345*2^320596-1 is not prime. Res64: 7E13921B2C57874D Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 319*2^320597-1 is not prime. Res64: 2C6EF0FB53A503F6 Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 303*2^320598-1 is not prime. Res64: 8AF001022DE6E37D Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 323*2^320600-1 is not prime. Res64: E2E3BEB3E341CA3D Time : 0.0 sec. user=mdettweiler [2009-06-14 14:07:54] 335*2^320598-1 is not prime. Res64: A1C3547E7568630C Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 339*2^320600-1 is not prime. Res64: 3BEC0B0062D3DBCB Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 347*2^320598-1 is not prime. Res64: 7DDB82C3D30212BF Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 377*2^320598-1 is not prime. Res64: 87AE3726F6B8364F Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 385*2^320599-1 is not prime. Res64: 2E41076AD71F2DEA Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 395*2^320600-1 is not prime. Res64: 3B13525928DE7B66 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 335*2^320604-1 is not prime. Res64: 3E3FAB1922304E61 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 345*2^320601-1 is not prime. Res64: 84B5FBBC82A22605 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 393*2^320602-1 is not prime. Res64: EC4F233061AE7A60 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 395*2^320602-1 is not prime. Res64: C880AC654FFEAF85 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:21:37] 315*2^320607-1 is not prime. Res64: 0B1397E6D3D62C87 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 341*2^320606-1 is not prime. Res64: 7C2CE06BB85FA655 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 355*2^320605-1 is not prime. Res64: D2012D921A2F1735 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 363*2^320607-1 is not prime. Res64: 2E4505ABB3A8014D Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 373*2^320607-1 is not prime. Res64: 881BF4D21EC9E594 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 391*2^320607-1 is not prime. Res64: 1BE8A5B0D973882D Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 309*2^320608-1 is not prime. Res64: 9EE25CD08F6A6383 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 315*2^320608-1 is not prime. Res64: 777012D0728D9E21 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 341*2^320610-1 is not prime. Res64: FDABFA02DDE783E7 Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 371*2^320610-1 is not prime. Res64: BC3A1712AD80B19C Time : 0.0 sec. user=mdettweiler [2009-06-14 15:48:06] 377*2^320610-1 is not prime. Res64: BBF49CC07A6B665C Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 385*2^320609-1 is not prime. Res64: 9E24CD843E8CB0ED Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 397*2^320609-1 is not prime. Res64: 9007825BBB69149F Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 383*2^320610-1 is not prime. Res64: B20D22C69C536F8D Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 349*2^320611-1 is not prime. Res64: 33D60D7952F72ADF Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 353*2^320612-1 is not prime. Res64: 643B2D56648CE972 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 367*2^320613-1 is not prime. Res64: 9BCBBCBDD49E92F4 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 385*2^320611-1 is not prime. Res64: 43BFB3D9692C80F9 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 307*2^320617-1 is not prime. Res64: 892954620026D60B Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 325*2^320617-1 is not prime. Res64: BA8B0A96B9E9756D Time : 0.0 sec. user=mdettweiler [2009-06-14 16:30:37] 351*2^320617-1 is not prime. Res64: CF6C6017ADFB2BAB Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 383*2^320616-1 is not prime. Res64: F216CAD331E0E86C Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 345*2^320619-1 is not prime. Res64: 5F33FA6A374DDF6D Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 349*2^320619-1 is not prime. Res64: C51EAAA7C893ACA7 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 351*2^320618-1 is not prime. Res64: 5F98AA2164D25C35 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 381*2^320618-1 is not prime. Res64: A63787BA4BA20A0E Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 301*2^320621-1 is not prime. Res64: 7AE881C66BBF6778 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 357*2^320622-1 is not prime. Res64: 63EB7D7212AD72A1 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 367*2^320621-1 is not prime. Res64: 7F7EB376E5C5004E Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 397*2^320621-1 is not prime. Res64: 89935DDC1A5A9787 Time : 0.0 sec. user=mdettweiler [2009-06-14 16:52:01] 301*2^320625-1 is not prime. Res64: A0E0EA08A3D997FD Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 309*2^320627-1 is not prime. Res64: 021984E798A20820 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 321*2^320626-1 is not prime. Res64: 47FFC379FEF2FB8D Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 345*2^320626-1 is not prime. Res64: 1F1D7599FB03DB9F Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 355*2^320625-1 is not prime. Res64: 9BF188E21D95167B Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 363*2^320626-1 is not prime. Res64: A462230724046A0E Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 365*2^320624-1 is not prime. Res64: C5F64880DD8AE3EC Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 319*2^320625-1 is not prime. Res64: 6C69239F50AFBF6E Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 383*2^320626-1 is not prime. Res64: 418FE52A4DB410F7 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 307*2^320629-1 is not prime. Res64: 11D60369742299B9 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:13:24] 315*2^320628-1 is not prime. Res64: 8F1D322AAB16D6D9 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 315*2^320630-1 is not prime. Res64: 70B7D23EC82BB469 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 337*2^320629-1 is not prime. Res64: 1AB03E698F43CB78 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 363*2^320630-1 is not prime. Res64: 7B5528F44B6FA0E6 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 365*2^320630-1 is not prime. Res64: EF58989B9298D0E9 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 303*2^320632-1 is not prime. Res64: E476ED80D2C73527 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 345*2^320632-1 is not prime. Res64: 0B60D0E2DAD6B641 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 355*2^320631-1 is not prime. Res64: 5CA091D6C9A26DD5 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 315*2^320637-1 is not prime. Res64: D60D644A736A3C5B Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 323*2^320636-1 is not prime. Res64: 805130127B0C5038 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:34:48] 387*2^320637-1 is not prime. Res64: BDA9525E756BF92E Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 389*2^320636-1 is not prime. Res64: A8F25574941203C0 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 311*2^320638-1 is not prime. Res64: 6D96C9AB784F55D7 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 345*2^320640-1 is not prime. Res64: F824C0F0E9C0AB28 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 349*2^320639-1 is not prime. Res64: 8834EFCE6751B5A9 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 357*2^320638-1 is not prime. Res64: B1E00C5DBCF0676D Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 369*2^320640-1 is not prime. Res64: B8F949F11A90934C Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 383*2^320640-1 is not prime. Res64: C69876CB7BC1DD6A Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 327*2^320644-1 is not prime. Res64: 70597CD55AADE1F7 Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 339*2^320641-1 is not prime. Res64: 0253477FA104962D Time : 0.0 sec. user=mdettweiler [2009-06-14 17:56:06] 355*2^320641-1 is not prime. Res64: B6FF157C711F876E Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 383*2^320642-1 is not prime. Res64: 6BDA846BF324D11C Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 321*2^320647-1 is not prime. Res64: C931EB1F461544FD Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 357*2^320644-1 is not prime. Res64: 3A9A0920F7A1C6BF Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 369*2^320647-1 is not prime. Res64: CC0ED979313E2052 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 373*2^320647-1 is not prime. Res64: FF2F45458E2656EB Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 377*2^320644-1 is not prime. Res64: 3E0D00C69923247B Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 377*2^320646-1 is not prime. Res64: 75F3C0BCD0D9DD58 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 315*2^320650-1 is not prime. Res64: 31CE31E198292053 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 317*2^320650-1 is not prime. Res64: 5E042331BEBF09DB Time : 0.0 sec. user=mdettweiler [2009-06-14 18:17:34] 351*2^320650-1 is not prime. Res64: 7915272A2EC401A0 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 363*2^320650-1 is not prime. Res64: E00E663D4E2428E7 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 371*2^320650-1 is not prime. Res64: 53C44E8EB0B1CFEE Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 319*2^320649-1 is not prime. Res64: F8CC1DD950C8982B Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 339*2^320651-1 is not prime. Res64: C0B6B8AF656E3B31 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 369*2^320653-1 is not prime. Res64: 1557C29384E96782 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 381*2^320651-1 is not prime. Res64: 4BB91FFF161DCFC0 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 301*2^320657-1 is not prime. Res64: 9D7FA46D126637D8 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 321*2^320657-1 is not prime. Res64: 3B30BFF9C9DB85BC Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 381*2^320655-1 is not prime. Res64: EE39C6A61D61D809 Time : 0.0 sec. user=mdettweiler [2009-06-14 18:38:53] 399*2^320655-1 is not prime. Res64: 51897AF5D04399AC Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 371*2^320658-1 is not prime. Res64: 9867133A441A472B Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 395*2^320658-1 is not prime. Res64: DF935D46D6AC5BCF Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 383*2^320660-1 is not prime. Res64: B316E6EEC3176807 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 317*2^320662-1 is not prime. Res64: DF38463AA39D3D0C Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 333*2^320663-1 is not prime. Res64: 4A4D3543E57261C2 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 335*2^320662-1 is not prime. Res64: 373ECDAEDFEC3313 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 365*2^320662-1 is not prime. Res64: 3629678E79044EE8 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 387*2^320662-1 is not prime. Res64: 85F0B0B5A3CF072B Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 325*2^320665-1 is not prime. Res64: 19A149AAF44B0A0C Time : 0.0 sec. user=mdettweiler [2009-06-14 19:00:36] 333*2^320666-1 is not prime. Res64: 8FA81ABBE4C9E614 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 333*2^320667-1 is not prime. Res64: 48DAFE55A7884EBE Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 335*2^320664-1 is not prime. Res64: F174459EDF0126D0 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 351*2^320666-1 is not prime. Res64: 7C4B8B9C42BAE023 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 357*2^320665-1 is not prime. Res64: 953E14475787A46A Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 367*2^320665-1 is not prime. Res64: 30F9ED442631D306 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 399*2^320664-1 is not prime. Res64: DE3F7DF688C72C4A Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 333*2^320670-1 is not prime. Res64: B54047215C262A39 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 353*2^320668-1 is not prime. Res64: DE9ABCB45D387213 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 387*2^320668-1 is not prime. Res64: 2A4D3612919268CE Time : 0.0 sec. user=mdettweiler [2009-06-14 19:22:00] 315*2^320671-1 is not prime. Res64: 5B886A5BDCA1CEBF Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 345*2^320671-1 is not prime. Res64: 8147B756C355AA15 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 355*2^320673-1 is not prime. Res64: 67996D37FE5CA6D0 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 363*2^320672-1 is not prime. Res64: 4575CC5C044729B3 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 367*2^320673-1 is not prime. Res64: 397B6228ABDAE460 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 385*2^320671-1 is not prime. Res64: 420C1CC53871E8D8 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 389*2^320672-1 is not prime. Res64: EE416EB968F7E0D9 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 391*2^320673-1 is not prime. Res64: 0BD9603B51A150DE Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 399*2^320673-1 is not prime. Res64: EAF93AD90D5BBB42 Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 327*2^320674-1 is not prime. Res64: 1D8981ADAC3755CE Time : 0.0 sec. user=mdettweiler [2009-06-14 19:43:18] 327*2^320676-1 is not prime. Res64: EC301830AF662032 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 349*2^320675-1 is not prime. Res64: 5882BC6E74E5A6E6 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 369*2^320675-1 is not prime. Res64: 601F342B41885218 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 381*2^320677-1 is not prime. Res64: 6562CCA215D69780 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 387*2^320677-1 is not prime. Res64: 825C10335DE0EB2B Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 393*2^320675-1 is not prime. Res64: B380AE998772A712 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 305*2^320678-1 is not prime. Res64: 8F2F411DD7B4A59D Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 357*2^320678-1 is not prime. Res64: 91000DC80ED79CD1 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 395*2^320680-1 is not prime. Res64: 704C02CB38979FAA Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 383*2^320680-1 is not prime. Res64: 9E0DA1B62A742D74 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:04:42] 317*2^320682-1 is not prime. Res64: 8326237433B02494 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 321*2^320681-1 is not prime. Res64: E89B14F88C192F4D Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 357*2^320682-1 is not prime. Res64: 2D6408BEFDC1EF06 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 363*2^320683-1 is not prime. Res64: 8EC052E4FDA8B4E6 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 321*2^320687-1 is not prime. Res64: D9DDF39AC8556DB4 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 349*2^320685-1 is not prime. Res64: E0E3A0C73506C2DD Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 367*2^320685-1 is not prime. Res64: AB29C3A47C070888 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 369*2^320687-1 is not prime. Res64: EA88300311784482 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 377*2^320686-1 is not prime. Res64: C25842E6BBAB8AC2 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 309*2^320689-1 is not prime. Res64: 1732A2FC9238CAAD Time : 0.0 sec. user=mdettweiler [2009-06-14 20:26:11] 351*2^320689-1 is not prime. Res64: CB73C8ED8C678490 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 377*2^320688-1 is not prime. Res64: CCB204888833C9A0 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 379*2^320689-1 is not prime. Res64: 3E9CFDA42C909FF5 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 381*2^320689-1 is not prime. Res64: 32AA13743D5D589E Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 387*2^320688-1 is not prime. Res64: 62FAFD72C83A2396 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 395*2^320688-1 is not prime. Res64: 8E8CDD07C04ABA30 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 383*2^320688-1 is not prime. Res64: 0D4F9F9573C510F6 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 315*2^320692-1 is not prime. Res64: 5DB2150CA854C775 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 327*2^320692-1 is not prime. Res64: E3BCFC06F49BCF68 Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 327*2^320693-1 is not prime. Res64: F32336D8C36EA91F Time : 0.0 sec. user=mdettweiler [2009-06-14 20:47:30] 331*2^320691-1 is not prime. Res64: EEA176F6F91F0BBB Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 339*2^320693-1 is not prime. Res64: BBB07505EED87A43 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 363*2^320691-1 is not prime. Res64: BB95A07143E101BB Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 369*2^320693-1 is not prime. Res64: DB41607CB2EFAB7E Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 321*2^320697-1 is not prime. Res64: E9066C6AB5E755BB Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 323*2^320696-1 is not prime. Res64: BFDE8504C0C193BF Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 329*2^320696-1 is not prime. Res64: 19C70116CE755785 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 333*2^320694-1 is not prime. Res64: C692C7FC3487DB93 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 345*2^320695-1 is not prime. Res64: 2AB78694AD2308D8 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 399*2^320696-1 is not prime. Res64: 96308CF2E42ABEDC Time : 0.0 sec. user=mdettweiler [2009-06-14 21:08:48] 313*2^320695-1 is not prime. Res64: 5EB8FC9FF20D4D15 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 363*2^320700-1 is not prime. Res64: 89AC061302CBE6DF Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 391*2^320697-1 is not prime. Res64: 6801C59ED4D159D5 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 327*2^320701-1 is not prime. Res64: 6ECF35DD12EB1346 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 333*2^320703-1 is not prime. Res64: DCE894550DA16DBC Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 339*2^320701-1 is not prime. Res64: A730B2E8E979CD81 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 339*2^320703-1 is not prime. Res64: 8B8872C8275F2C87 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 341*2^320702-1 is not prime. Res64: 88EBD48603E3BE4B Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 347*2^320702-1 is not prime. Res64: B605EF83BED29116 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 351*2^320701-1 is not prime. Res64: 9DFDD906F4C69D79 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:30:07] 363*2^320703-1 is not prime. Res64: B0C305448C4E7182 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 365*2^320702-1 is not prime. Res64: F3996B3B896419E3 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 385*2^320701-1 is not prime. Res64: 9C7BB4707AD7FF6A Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 383*2^320702-1 is not prime. Res64: F2AC48818ACE5331 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 303*2^320706-1 is not prime. Res64: DB3BFF6BB77B2ADC Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 315*2^320704-1 is not prime. Res64: 534A4AB5114696A4 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 315*2^320707-1 is not prime. Res64: 0EE9874E3B6AD855 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 325*2^320707-1 is not prime. Res64: 05E912CFDCAB4476 Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 327*2^320706-1 is not prime. Res64: 56DE6A0AC4ECAB6A Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 335*2^320704-1 is not prime. Res64: 2EF347CA198172FE Time : 0.0 sec. user=mdettweiler [2009-06-14 21:51:30] 377*2^320704-1 is not prime. Res64: 611CCD2735BC4E89 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 385*2^320705-1 is not prime. Res64: 405073881A149D4E Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 391*2^320705-1 is not prime. Res64: A4E0FBAE592782E7 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 301*2^320709-1 is not prime. Res64: 0360FCBEF7559AF0 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 315*2^320709-1 is not prime. Res64: 9335C1E7EAB6392C Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 321*2^320710-1 is not prime. Res64: 618D3AA59183A683 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 349*2^320709-1 is not prime. Res64: 5A18E9DDF3EB0261 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 397*2^320709-1 is not prime. Res64: 643A72930D696241 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 303*2^320712-1 is not prime. Res64: 23261D0F4E2C63F6 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 351*2^320711-1 is not prime. Res64: 955370F7BB09F56A Time : 0.0 sec. user=mdettweiler [2009-06-14 22:12:54] 355*2^320713-1 is not prime. Res64: C7E237236F7A446E Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 357*2^320712-1 is not prime. Res64: 45DDAE2179450DFB Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 367*2^320713-1 is not prime. Res64: 8839A72596D4F0DC Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 369*2^320712-1 is not prime. Res64: 53751B881373C6EA Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 379*2^320713-1 is not prime. Res64: 9E1930FE6195658D Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 389*2^320712-1 is not prime. Res64: A4B2EC47FE45B413 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 309*2^320716-1 is not prime. Res64: 9AA4BEC16B5851E7 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 315*2^320716-1 is not prime. Res64: 104D2A71569FF028 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 317*2^320716-1 is not prime. Res64: 2B88843FC705BEBA Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 325*2^320717-1 is not prime. Res64: 7A5087EF56800FED Time : 0.0 sec. user=mdettweiler [2009-06-14 22:34:42] 391*2^320715-1 is not prime. Res64: D69DDBB2B8233DAD Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 383*2^320716-1 is not prime. Res64: AC800E5220ECC082 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 301*2^320719-1 is not prime. Res64: A6D799C947B91FFF Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 303*2^320718-1 is not prime. Res64: F1696929FEB46EC9 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 303*2^320719-1 is not prime. Res64: 1E3D4F34FFCFCB15 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 317*2^320718-1 is not prime. Res64: 407B1E3598D3ACFF Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 381*2^320719-1 is not prime. Res64: D549BA905D50C2D6 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 397*2^320717-1 is not prime. Res64: 96188CBBF62C8DEC Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 313*2^320719-1 is not prime. Res64: A768822EDB2F8A53 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 301*2^320721-1 is not prime. Res64: 58E9009E108341B3 Time : 0.0 sec. user=mdettweiler [2009-06-14 22:59:06] 315*2^320722-1 is not prime. Res64: E6EA6E985E6B61AF Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:17] 351*2^320722-1 is not prime. Res64: 4762200288634AC1 Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:17] 351*2^320723-1 is not prime. Res64: DE1BC3B8A9D112E0 Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:18] 385*2^320723-1 is not prime. Res64: DDA755968A36172F Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:18] 305*2^320726-1 is not prime. Res64: 1691F3F2DB60DEF2 Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:19] 311*2^320726-1 is not prime. Res64: BFFFE20E56CF7AF0 Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:20] 321*2^320727-1 is not prime. Res64: 8074FEF90B41593B Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:20] 331*2^320727-1 is not prime. Res64: 041EE82CF6906356 Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:21] 369*2^320725-1 is not prime. Res64: 8C9EC403CCB7CDAF Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:22] 377*2^320726-1 is not prime. Res64: F0BED32B7B4876AB Time : 0.0 sec. user=mdettweiler [2009-06-15 00:01:22] 313*2^320727-1 is not prime. Res64: 8AF57E1C30D529BF Time : 0.0 sec.