user=mdettweiler [2010-02-03 07:56:08] 391*2^349157-1 is not prime. Res64: 6EFF2B6256022B03 Time : 0.0 sec. user=mdettweiler [2010-02-03 07:56:19] 395*2^349156-1 is not prime. Res64: 1254808FB1420E47 Time : 0.0 sec. user=mdettweiler [2010-02-03 07:58:48] 397*2^349157-1 is not prime. Res64: 1868619A69E701A5 Time : 0.0 sec. user=mdettweiler [2010-02-03 07:58:48] 317*2^349162-1 is not prime. Res64: 65E13CD76535087E Time : 0.0 sec. user=mdettweiler [2010-02-03 07:59:00] 319*2^349161-1 is not prime. Res64: F7E2A197A287F0C1 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:00:01] 339*2^349161-1 is not prime. Res64: 07DDF419901B4BD1 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:01:07] 303*2^349164-1 is not prime. Res64: 5D808910CC2260AD Time : 0.0 sec. user=mdettweiler [2010-02-03 08:01:07] 313*2^349163-1 is not prime. Res64: 46E9F745F8E1CCDD Time : 0.0 sec. user=mdettweiler [2010-02-03 08:01:44] 319*2^349163-1 is not prime. Res64: 381FCEEDDD1EF514 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:02:46] 321*2^349166-1 is not prime. Res64: 34D3F6A74A346BA2 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:03:32] 333*2^349164-1 is not prime. Res64: C64C01C5E6D03FC3 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:03:32] 357*2^349165-1 is not prime. Res64: 29078AA075FB9778 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:04:29] 303*2^349167-1 is not prime. Res64: 45B95C258837C06C Time : 0.0 sec. user=mdettweiler [2010-02-03 08:05:35] 313*2^349167-1 is not prime. Res64: 09C77B5D1ACE8FE8 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:05:56] 333*2^349167-1 is not prime. Res64: D2D279A5AE8BE7F0 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:05:56] 339*2^349169-1 is not prime. Res64: 68355D3FE9917AFD Time : 0.0 sec. user=mdettweiler [2010-02-03 08:07:19] 377*2^349166-1 is not prime. Res64: F900F12805BF1822 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:08:20] 379*2^349169-1 is not prime. Res64: FC86ABEF205B5097 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:08:20] 393*2^349166-1 is not prime. Res64: 0C1527EF07FFD7C5 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:08:21] 397*2^349169-1 is not prime. Res64: D01513EEF28553BA Time : 0.0 sec. user=mdettweiler [2010-02-03 08:10:09] 365*2^349172-1 is not prime. Res64: BEA58F504910F3AB Time : 0.0 sec. user=mdettweiler [2010-02-03 08:10:45] 371*2^349170-1 is not prime. Res64: 4849C8CAAD7AA85F Time : 0.0 sec. user=mdettweiler [2010-02-03 08:10:45] 389*2^349172-1 is not prime. Res64: BA978BAA2AC180C4 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:10:46] 315*2^349175-1 is not prime. Res64: CFEDF22300DE7145 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:12:59] 335*2^349174-1 is not prime. Res64: 9C6E3D8F05274597 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:13:09] 347*2^349176-1 is not prime. Res64: 93FE3C02022300C0 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:13:09] 353*2^349176-1 is not prime. Res64: 6A054BE792663B1F Time : 0.0 sec. user=mdettweiler [2010-02-03 08:13:10] 355*2^349173-1 is not prime. Res64: FE59E02A0B13A391 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:15:34] 365*2^349174-1 is not prime. Res64: 4332C0C9B1F7C555 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:15:34] 377*2^349174-1 is not prime. Res64: C0DEA06EBF339CD3 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:15:34] 305*2^349178-1 is not prime. Res64: 0E44F0C6A3A5D62D Time : 0.0 sec. user=mdettweiler [2010-02-03 08:15:35] 357*2^349177-1 is not prime. Res64: C04445E876BA755C Time : 0.0 sec. user=mdettweiler [2010-02-03 08:17:59] 369*2^349176-1 is not prime. Res64: 57E9FFDAA1F4D48B Time : 0.0 sec. user=mdettweiler [2010-02-03 08:17:59] 369*2^349177-1 is not prime. Res64: FF7B1468127A80DE Time : 0.0 sec. user=mdettweiler [2010-02-03 08:17:59] 303*2^349180-1 is not prime. Res64: B585F41AD457AB5C Time : 0.0 sec. user=mdettweiler [2010-02-03 08:18:00] 309*2^349181-1 is not prime. Res64: 4A40D648C9642B09 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:20:24] 319*2^349181-1 is not prime. Res64: D14C8AE197944CC0 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:20:24] 339*2^349181-1 is not prime. Res64: 736AA9BFCC8C2838 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:20:24] 355*2^349181-1 is not prime. Res64: 0120F0D5DD852B1C Time : 0.0 sec. user=mdettweiler [2010-02-03 08:20:24] 357*2^349180-1 is not prime. Res64: 109A58463D790F7F Time : 0.0 sec. user=mdettweiler [2010-02-03 08:22:49] 371*2^349182-1 is not prime. Res64: AF56AE5E4B17300C Time : 0.0 sec. user=mdettweiler [2010-02-03 08:22:49] 395*2^349180-1 is not prime. Res64: 5BDF5A3F5254DB50 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:22:49] 397*2^349181-1 is not prime. Res64: B20D546C0BAD9635 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:22:50] 301*2^349185-1 is not prime. Res64: A2981688C537EFE8 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:25:14] 303*2^349183-1 is not prime. Res64: C18F20BDF5C8AB53 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:25:14] 315*2^349186-1 is not prime. Res64: 65141A87A6150A3A Time : 0.0 sec. user=mdettweiler [2010-02-03 08:25:14] 317*2^349186-1 is not prime. Res64: C6FEDE72331BC6B9 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:25:14] 321*2^349183-1 is not prime. Res64: C87B8DBB8C2F9436 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:27:38] 327*2^349186-1 is not prime. Res64: 772847517551E38D Time : 0.0 sec. user=mdettweiler [2010-02-03 08:27:39] 339*2^349185-1 is not prime. Res64: 1D79AAC2A7DEC316 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:27:39] 345*2^349186-1 is not prime. Res64: 9C976A096779D808 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:27:39] 385*2^349183-1 is not prime. Res64: 401C54D7588CEBBA Time : 0.0 sec. user=mdettweiler [2010-02-03 08:30:03] 333*2^349188-1 is not prime. Res64: D522A365F6352CB8 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:30:04] 347*2^349188-1 is not prime. Res64: 0A796A24182D369A Time : 0.0 sec. user=mdettweiler [2010-02-03 08:30:04] 351*2^349187-1 is not prime. Res64: FF80DA1E32A9AAEE Time : 0.0 sec. user=mdettweiler [2010-02-03 08:30:04] 315*2^349190-1 is not prime. Res64: 97DDFF3721F18693 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:32:29] 333*2^349190-1 is not prime. Res64: 1AD7C9B14F4648B8 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:32:29] 333*2^349191-1 is not prime. Res64: 6534C801DB875B86 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:32:29] 355*2^349191-1 is not prime. Res64: 88ACC63491896923 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:32:29] 363*2^349191-1 is not prime. Res64: 525C437C91B68081 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:34:53] 307*2^349193-1 is not prime. Res64: E07528D2239CA5EF Time : 0.0 sec. user=mdettweiler [2010-02-03 08:34:54] 319*2^349193-1 is not prime. Res64: B0C2D69A2ED99E15 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:34:54] 327*2^349193-1 is not prime. Res64: D5FC88EDE8BA7E32 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:34:54] 345*2^349194-1 is not prime. Res64: F3142FC0A9E6C28E Time : 0.0 sec. user=mdettweiler [2010-02-03 08:37:18] 377*2^349194-1 is not prime. Res64: E0718947E4AD9FCF Time : 0.0 sec. user=mdettweiler [2010-02-03 08:37:19] 311*2^349198-1 is not prime. Res64: 0AF4ECE0D4FFA26F Time : 0.0 sec. user=mdettweiler [2010-02-03 08:37:19] 315*2^349199-1 is not prime. Res64: CD5855ACC4B0DB5E Time : 0.0 sec. user=mdettweiler [2010-02-03 08:37:19] 339*2^349199-1 is not prime. Res64: B75234EE6C67F21F Time : 0.0 sec. user=mdettweiler [2010-02-03 08:39:43] 357*2^349198-1 is not prime. Res64: B47ADE6F3AEEABF0 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:39:44] 363*2^349196-1 is not prime. Res64: E97A34B98B923ABF Time : 0.0 sec. user=mdettweiler [2010-02-03 08:39:44] 383*2^349196-1 is not prime. Res64: 4EB3C1613A1AA466 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:39:44] 395*2^349196-1 is not prime. Res64: 68BBA14F8BF8F516 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:42:08] 399*2^349196-1 is not prime. Res64: FBA3A535A54A0FA0 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:42:09] 309*2^349201-1 is not prime. Res64: 6B1C2AB95DA0294A Time : 0.0 sec. user=mdettweiler [2010-02-03 08:42:09] 321*2^349201-1 is not prime. Res64: EA7401159C298A58 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:42:09] 301*2^349203-1 is not prime. Res64: 688FDC425FAAF31B Time : 0.0 sec. user=mdettweiler [2010-02-03 08:44:38] 303*2^349203-1 is not prime. Res64: 13C5C839166E6F64 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:44:39] 325*2^349205-1 is not prime. Res64: F8D4A0FC9DC675CA Time : 0.0 sec. user=mdettweiler [2010-02-03 08:44:39] 327*2^349204-1 is not prime. Res64: E6D588FD8368E7C0 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:44:39] 353*2^349204-1 is not prime. Res64: D6501679CB63ADEA Time : 0.0 sec. user=mdettweiler [2010-02-03 08:47:03] 301*2^349209-1 is not prime. Res64: AE872FF3405F5FED Time : 0.0 sec. user=mdettweiler [2010-02-03 08:47:04] 315*2^349207-1 is not prime. Res64: 7CC6F670CC9504B4 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:47:04] 347*2^349206-1 is not prime. Res64: BE64BAB9D09A593F Time : 0.0 sec. user=mdettweiler [2010-02-03 08:47:04] 371*2^349206-1 is not prime. Res64: DEB7C8A0D53A63FD Time : 0.0 sec. user=mdettweiler [2010-02-03 08:49:28] 377*2^349206-1 is not prime. Res64: F3B77DA4BE052127 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:49:28] 381*2^349207-1 is not prime. Res64: 82990C4E41982BE1 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:49:29] 399*2^349208-1 is not prime. Res64: B0E1ACC5D98E19B2 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:49:29] 341*2^349210-1 is not prime. Res64: 488CDCF7C4CF073D Time : 0.0 sec. user=mdettweiler [2010-02-03 08:51:53] 371*2^349210-1 is not prime. Res64: ABB735CA0A2CC2F6 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:51:53] 377*2^349210-1 is not prime. Res64: 40001E2EB557CD69 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:51:54] 301*2^349215-1 is not prime. Res64: 9253FF47852E47AA Time : 0.0 sec. user=mdettweiler [2010-02-03 08:51:54] 321*2^349214-1 is not prime. Res64: 6104304C393350B3 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:54:18] 363*2^349215-1 is not prime. Res64: 9EA7DEC81EB1225E Time : 0.0 sec. user=mdettweiler [2010-02-03 08:54:18] 381*2^349215-1 is not prime. Res64: 46926E662C5E79EE Time : 0.0 sec. user=mdettweiler [2010-02-03 08:54:19] 303*2^349218-1 is not prime. Res64: 9CFEF5AAA17E3C4A Time : 0.0 sec. user=mdettweiler [2010-02-03 08:54:19] 317*2^349218-1 is not prime. Res64: FD7C9CDAE19A5B23 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:56:43] 321*2^349217-1 is not prime. Res64: E836BDF1AB23C2FC Time : 0.0 sec. user=mdettweiler [2010-02-03 08:56:43] 327*2^349218-1 is not prime. Res64: B0D35D74C5963F9D Time : 0.0 sec. user=mdettweiler [2010-02-03 08:56:44] 379*2^349219-1 is not prime. Res64: FDF269F48BEBC607 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:56:44] 381*2^349217-1 is not prime. Res64: 8C8C2E479574F150 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:59:08] 385*2^349219-1 is not prime. Res64: D7A3AA79432E7447 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:59:08] 391*2^349219-1 is not prime. Res64: EB6D7A5ED84361D9 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:59:09] 323*2^349222-1 is not prime. Res64: E5CB614B14C52991 Time : 0.0 sec. user=mdettweiler [2010-02-03 08:59:09] 335*2^349220-1 is not prime. Res64: 08D1BAA129DFEAC0 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:01:33] 341*2^349222-1 is not prime. Res64: 9BF0FE0856CFDFB8 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:01:33] 351*2^349222-1 is not prime. Res64: 6E3670DAABDC41A7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:01:34] 365*2^349220-1 is not prime. Res64: 0E3A1447429B6064 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:01:34] 365*2^349222-1 is not prime. Res64: D09E3BC8A9B2095B Time : 0.0 sec. user=mdettweiler [2010-02-03 09:03:58] 371*2^349222-1 is not prime. Res64: 59F2951B93CDF7A4 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:03:58] 309*2^349223-1 is not prime. Res64: 899D6BB4E990A081 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:03:58] 311*2^349226-1 is not prime. Res64: EE8B9FCF97E64B0B Time : 0.0 sec. user=mdettweiler [2010-02-03 09:03:59] 349*2^349223-1 is not prime. Res64: 53784D0362BBFD14 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:06:23] 367*2^349225-1 is not prime. Res64: D71E31E66E8A3989 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:06:23] 379*2^349225-1 is not prime. Res64: 35C9231DCF43F4B7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:06:24] 381*2^349225-1 is not prime. Res64: 9263C49352AE1344 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:06:24] 319*2^349229-1 is not prime. Res64: 7E10A13B8860966F Time : 0.0 sec. user=mdettweiler [2010-02-03 09:08:48] 395*2^349228-1 is not prime. Res64: 3C645753BA655AD3 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:08:48] 309*2^349231-1 is not prime. Res64: 692A3C04D8341F09 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:08:49] 327*2^349232-1 is not prime. Res64: FDC126DB4F0321E3 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:08:49] 335*2^349230-1 is not prime. Res64: 0CC2898982BB01FC Time : 0.0 sec. user=mdettweiler [2010-02-03 09:11:13] 351*2^349231-1 is not prime. Res64: 7242147150C7430D Time : 0.0 sec. user=mdettweiler [2010-02-03 09:11:13] 363*2^349232-1 is not prime. Res64: 8E7D25E1F79BFB87 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:11:13] 365*2^349232-1 is not prime. Res64: A09695E86D1A514B Time : 0.0 sec. user=mdettweiler [2010-02-03 09:11:14] 379*2^349231-1 is not prime. Res64: 99FC70506DFD0840 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:13:38] 381*2^349231-1 is not prime. Res64: B2356A836BC91280 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:13:38] 389*2^349232-1 is not prime. Res64: 5B3DF4F0D080D14B Time : 0.0 sec. user=mdettweiler [2010-02-03 09:13:38] 397*2^349229-1 is not prime. Res64: C433AF0AD69D0E29 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:13:39] 325*2^349233-1 is not prime. Res64: FDF1CEA6028765BF Time : 0.0 sec. user=mdettweiler [2010-02-03 09:16:03] 333*2^349235-1 is not prime. Res64: F89E8E68F922C178 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:16:03] 335*2^349234-1 is not prime. Res64: 0F45AF467CAFF2C4 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:16:03] 393*2^349234-1 is not prime. Res64: 18543CBD0EC2C76D Time : 0.0 sec. user=mdettweiler [2010-02-03 09:16:04] 317*2^349236-1 is not prime. Res64: C0ED23CE08D16A09 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:18:28] 369*2^349237-1 is not prime. Res64: 1B4058101A333951 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:18:28] 391*2^349237-1 is not prime. Res64: 7BA114731CEB5D4D Time : 0.0 sec. user=mdettweiler [2010-02-03 09:18:29] 315*2^349240-1 is not prime. Res64: ACFDEF82F13F010C Time : 0.0 sec. user=mdettweiler [2010-02-03 09:18:29] 395*2^349242-1 is not prime. Res64: 77075D6018F488FE Time : 0.0 sec. user=mdettweiler [2010-02-03 09:20:53] 301*2^349245-1 is not prime. Res64: 48BF7ADBFB9D2B9B Time : 0.0 sec. user=mdettweiler [2010-02-03 09:20:53] 399*2^349241-1 is not prime. Res64: 321BC328B0986379 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:20:53] 309*2^349243-1 is not prime. Res64: 98D5AB121A68BB7A Time : 0.0 sec. user=mdettweiler [2010-02-03 09:20:54] 345*2^349245-1 is not prime. Res64: 5D0B2B6ECD4F362A Time : 0.0 sec. user=mdettweiler [2010-02-03 09:23:18] 365*2^349244-1 is not prime. Res64: 15F26B2C54B2220E Time : 0.0 sec. user=mdettweiler [2010-02-03 09:23:18] 385*2^349243-1 is not prime. Res64: BD99E8681423FED1 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:23:18] 393*2^349243-1 is not prime. Res64: 63B1A3C57F2D05F1 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:23:19] 307*2^349249-1 is not prime. Res64: 07FD8C04B651E29A Time : 0.0 sec. user=mdettweiler [2010-02-03 09:25:43] 317*2^349246-1 is not prime. Res64: FC9798473CD8DC65 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:25:43] 317*2^349248-1 is not prime. Res64: E4FCA4FEF3A0D844 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:25:43] 355*2^349247-1 is not prime. Res64: D334B66C02B43528 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:25:44] 313*2^349251-1 is not prime. Res64: 2F90E48BA591828E Time : 0.0 sec. user=mdettweiler [2010-02-03 09:28:08] 315*2^349250-1 is not prime. Res64: B140728F220361D1 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:28:08] 315*2^349251-1 is not prime. Res64: 03057A1938339502 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:28:08] 333*2^349251-1 is not prime. Res64: AEB21E1C71AF6AA9 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:28:09] 353*2^349252-1 is not prime. Res64: 14A7B14ED289B940 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:30:33] 301*2^349253-1 is not prime. Res64: EA03C369179B17C8 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:30:33] 315*2^349254-1 is not prime. Res64: 0027466E555E821F Time : 0.0 sec. user=mdettweiler [2010-02-03 09:30:33] 319*2^349253-1 is not prime. Res64: FFE9B1CD848EB733 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:30:34] 327*2^349253-1 is not prime. Res64: C86501167729835E Time : 0.0 sec. user=mdettweiler [2010-02-03 09:32:58] 357*2^349254-1 is not prime. Res64: 940B786DA8001AC8 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:32:58] 377*2^349254-1 is not prime. Res64: F7CF2DB378B5CF3E Time : 0.0 sec. user=mdettweiler [2010-02-03 09:32:58] 315*2^349259-1 is not prime. Res64: 9F9D033AE26F9DF2 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:32:59] 325*2^349259-1 is not prime. Res64: B0FC4889F469F348 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:35:23] 357*2^349258-1 is not prime. Res64: 5A7F101619369D13 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:35:23] 369*2^349256-1 is not prime. Res64: 6BE25AF7CF460A5A Time : 0.0 sec. user=mdettweiler [2010-02-03 09:35:23] 387*2^349257-1 is not prime. Res64: 3F5CAFFF952E0E44 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:35:24] 395*2^349258-1 is not prime. Res64: 7BBE291D37954CC5 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:37:48] 315*2^349262-1 is not prime. Res64: E83C14417CA4DA40 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:37:48] 327*2^349260-1 is not prime. Res64: EC7E8CF04C34E0A7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:37:48] 333*2^349260-1 is not prime. Res64: 85EA853A3AB97440 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:37:48] 383*2^349260-1 is not prime. Res64: DE9F5A5D4437C5C7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:40:13] 383*2^349262-1 is not prime. Res64: 9F2DBD41A10CADF4 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:40:13] 301*2^349263-1 is not prime. Res64: 9FA8BE3F0821B930 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:40:13] 321*2^349265-1 is not prime. Res64: 3E76D6D8083F174A Time : 0.0 sec. user=mdettweiler [2010-02-03 09:40:14] 327*2^349264-1 is not prime. Res64: 5380D14A9407B0AD Time : 0.0 sec. user=mdettweiler [2010-02-03 09:42:38] 373*2^349263-1 is not prime. Res64: EC950BD83CB5B3AE Time : 0.0 sec. user=mdettweiler [2010-02-03 09:42:38] 385*2^349265-1 is not prime. Res64: 153DEEC4ACE19754 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:42:38] 397*2^349265-1 is not prime. Res64: 8B80496C21BAD695 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:42:38] 313*2^349267-1 is not prime. Res64: E3C7E207E6C89E64 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:45:02] 327*2^349268-1 is not prime. Res64: D2EFAD63934B13DB Time : 0.0 sec. user=mdettweiler [2010-02-03 09:45:03] 333*2^349268-1 is not prime. Res64: A5075CC780E92E43 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:45:03] 341*2^349266-1 is not prime. Res64: C63D216E09DFB929 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:45:03] 381*2^349267-1 is not prime. Res64: B2332A6B69087816 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:47:27] 317*2^349272-1 is not prime. Res64: 96497D47FE1EC224 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:47:28] 349*2^349271-1 is not prime. Res64: 19B51749DD6ACD42 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:47:28] 353*2^349272-1 is not prime. Res64: F7B2381C78D2779C Time : 0.0 sec. user=mdettweiler [2010-02-03 09:47:28] 371*2^349270-1 is not prime. Res64: 43691FF6638332D7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:49:52] 385*2^349271-1 is not prime. Res64: 105AFABB83FA7C03 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:49:53] 387*2^349270-1 is not prime. Res64: 42555477D9B32E88 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:49:53] 393*2^349270-1 is not prime. Res64: 5212C9C7043D68A7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:49:53] 333*2^349275-1 is not prime. Res64: 7CD0064E68D777D7 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:52:17] 355*2^349273-1 is not prime. Res64: F453A6A9091FFD6D Time : 0.0 sec. user=mdettweiler [2010-02-03 09:52:18] 363*2^349274-1 is not prime. Res64: 40A0922A868205AC Time : 0.0 sec. user=mdettweiler [2010-02-03 09:52:18] 381*2^349274-1 is not prime. Res64: 4C99AC2044FF892D Time : 0.0 sec. user=mdettweiler [2010-02-03 09:52:18] 387*2^349273-1 is not prime. Res64: 94C877FFDC09DDF4 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:54:42] 301*2^349279-1 is not prime. Res64: 44153A10AA157FCA Time : 0.0 sec. user=mdettweiler [2010-02-03 09:54:43] 315*2^349276-1 is not prime. Res64: EFE38AF5B8F62B89 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:54:43] 317*2^349276-1 is not prime. Res64: 6AD15D50FA10B34F Time : 0.0 sec. user=mdettweiler [2010-02-03 09:54:43] 317*2^349278-1 is not prime. Res64: 4BFFA165B5116B6E Time : 0.0 sec. user=mdettweiler [2010-02-03 09:57:07] 337*2^349277-1 is not prime. Res64: BCD27A739B1D7B85 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:57:08] 345*2^349276-1 is not prime. Res64: 7CE015A545EA25B2 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:57:08] 353*2^349276-1 is not prime. Res64: D0BD38C70C3AF209 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:57:08] 357*2^349277-1 is not prime. Res64: BD1F677BD501675F Time : 0.0 sec. user=mdettweiler [2010-02-03 09:59:32] 365*2^349276-1 is not prime. Res64: A1507A6FB2366B6C Time : 0.0 sec. user=mdettweiler [2010-02-03 09:59:32] 369*2^349277-1 is not prime. Res64: D1DA048F9611413B Time : 0.0 sec. user=mdettweiler [2010-02-03 09:59:33] 387*2^349276-1 is not prime. Res64: A58D1CC8E6D52E46 Time : 0.0 sec. user=mdettweiler [2010-02-03 09:59:33] 393*2^349276-1 is not prime. Res64: D1120B8ADA50AC76 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:01:57] 397*2^349277-1 is not prime. Res64: F0163F0D444B917C Time : 0.0 sec. user=mdettweiler [2010-02-03 10:01:57] 327*2^349282-1 is not prime. Res64: 5D39ACA18549DDA0 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:01:58] 331*2^349281-1 is not prime. Res64: 10E0F56CB35C8114 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:01:58] 333*2^349280-1 is not prime. Res64: 86C76B9D2244FCDE Time : 0.0 sec. user=mdettweiler [2010-02-03 10:04:22] 335*2^349282-1 is not prime. Res64: 0E75C3C83FA90D57 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:04:22] 339*2^349280-1 is not prime. Res64: 3290382939BAD751 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:04:23] 351*2^349279-1 is not prime. Res64: 273DE4221577EDA6 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:04:23] 355*2^349281-1 is not prime. Res64: 40F89A8DE04C1F31 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:06:47] 367*2^349281-1 is not prime. Res64: 25B22FBF9644DF1A Time : 0.0 sec. user=mdettweiler [2010-02-03 10:06:47] 379*2^349279-1 is not prime. Res64: E3AE639B66B916AF Time : 0.0 sec. user=mdettweiler [2010-02-03 10:06:47] 381*2^349281-1 is not prime. Res64: BFEC244780DD1BD8 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:06:48] 315*2^349285-1 is not prime. Res64: 22F261B74872070E Time : 0.0 sec. user=mdettweiler [2010-02-03 10:09:12] 339*2^349285-1 is not prime. Res64: 324735B050FC9D12 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:09:12] 349*2^349285-1 is not prime. Res64: 2F3EB82564BC9A80 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:09:12] 309*2^349289-1 is not prime. Res64: C4600E20D9D2CC81 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:09:13] 313*2^349287-1 is not prime. Res64: 4F8070810B0200AF Time : 0.0 sec. user=mdettweiler [2010-02-03 10:11:37] 341*2^349286-1 is not prime. Res64: 3242B54F3F947BCF Time : 0.0 sec. user=mdettweiler [2010-02-03 10:11:37] 383*2^349288-1 is not prime. Res64: 09865CE7BCA4FC0C Time : 0.0 sec. user=mdettweiler [2010-02-03 10:11:37] 393*2^349286-1 is not prime. Res64: F70A4BC7B1CAC2C2 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:11:38] 395*2^349288-1 is not prime. Res64: A7F9F7BB7E74248A Time : 0.0 sec. user=mdettweiler [2010-02-03 10:14:02] 329*2^349292-1 is not prime. Res64: C94D142379AC147F Time : 0.0 sec. user=mdettweiler [2010-02-03 10:14:02] 351*2^349289-1 is not prime. Res64: 67C06E0578140625 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:14:02] 373*2^349291-1 is not prime. Res64: BA3E1827EBAA210D Time : 0.0 sec. user=mdettweiler [2010-02-03 10:14:02] 379*2^349291-1 is not prime. Res64: FA9D9930692E62BB Time : 0.0 sec. user=mdettweiler [2010-02-03 10:16:27] 311*2^349294-1 is not prime. Res64: 3FFECCAC48BC0479 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:16:27] 325*2^349293-1 is not prime. Res64: 937B2F58372D0FF8 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:16:27] 327*2^349293-1 is not prime. Res64: 1EE9708EDD6C3221 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:16:27] 349*2^349293-1 is not prime. Res64: 61AB4F4E3D4FEC0B Time : 0.0 sec. user=mdettweiler [2010-02-03 10:18:51] 355*2^349293-1 is not prime. Res64: 0ED9A2544DF52A78 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:18:52] 357*2^349293-1 is not prime. Res64: 839F05A5A70A25B8 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:18:52] 367*2^349293-1 is not prime. Res64: EB5520C9651472A3 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:18:52] 393*2^349294-1 is not prime. Res64: 6B62BEA35E8A34F3 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:21:16] 307*2^349297-1 is not prime. Res64: E3D4C0440D7C0854 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:21:17] 325*2^349299-1 is not prime. Res64: A6F2455F3243C09C Time : 0.0 sec. user=mdettweiler [2010-02-03 10:21:17] 355*2^349297-1 is not prime. Res64: 4890D5655DDD1ABE Time : 0.0 sec. user=mdettweiler [2010-02-03 10:21:17] 357*2^349298-1 is not prime. Res64: 3541C8D0A23FC80E Time : 0.0 sec. user=mdettweiler [2010-02-03 10:23:41] 363*2^349298-1 is not prime. Res64: B85C822093610308 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:23:42] 315*2^349300-1 is not prime. Res64: C0669711C13FB556 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:23:42] 315*2^349302-1 is not prime. Res64: E9CFBA0E013181A4 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:23:42] 339*2^349301-1 is not prime. Res64: 9D95C8ACD2A88603 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:26:06] 357*2^349300-1 is not prime. Res64: D8BE268BF28B3D4A Time : 0.0 sec. user=mdettweiler [2010-02-03 10:26:07] 381*2^349302-1 is not prime. Res64: 7856DE0DA8AAE076 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:26:07] 393*2^349300-1 is not prime. Res64: 4992D62AD2735975 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:26:07] 325*2^349305-1 is not prime. Res64: 5969D7B263F053AC Time : 0.0 sec. user=mdettweiler [2010-02-03 10:28:31] 339*2^349303-1 is not prime. Res64: 0D29E45E67DDA65E Time : 0.0 sec. user=mdettweiler [2010-02-03 10:28:32] 351*2^349303-1 is not prime. Res64: 58D46D6EEFB9A881 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:28:32] 367*2^349305-1 is not prime. Res64: 199CE203C25BAF62 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:28:32] 369*2^349304-1 is not prime. Res64: B3D7DDF681001B61 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:30:56] 385*2^349303-1 is not prime. Res64: 0CDFD8E7BC945002 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:30:56] 301*2^349309-1 is not prime. Res64: 069D4F274516A866 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:30:57] 333*2^349307-1 is not prime. Res64: 7FCBF61FCDAEF724 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:30:57] 351*2^349306-1 is not prime. Res64: BD971CF4304815FA Time : 0.0 sec. user=mdettweiler [2010-02-03 10:33:21] 369*2^349307-1 is not prime. Res64: FBE15267EAD56C7D Time : 0.0 sec. user=mdettweiler [2010-02-03 10:33:21] 321*2^349310-1 is not prime. Res64: 80EBB590879E5A04 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:33:22] 381*2^349310-1 is not prime. Res64: 92029D4F64B4C023 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:33:22] 385*2^349311-1 is not prime. Res64: 32EA60DAC5E3B838 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:35:46] 393*2^349310-1 is not prime. Res64: 27F3317029A18100 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:35:46] 393*2^349312-1 is not prime. Res64: C62D98FE3FFBA506 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:35:47] 399*2^349311-1 is not prime. Res64: 245DB38CF05D92A5 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:35:47] 327*2^349313-1 is not prime. Res64: CBB2764804A1BAA4 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:38:11] 345*2^349315-1 is not prime. Res64: C0F0828A03AFE998 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:38:11] 381*2^349315-1 is not prime. Res64: EB14317A9D940705 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:38:12] 315*2^349318-1 is not prime. Res64: AA5247C5E674238B Time : 0.0 sec. user=mdettweiler [2010-02-03 10:38:12] 315*2^349319-1 is not prime. Res64: 352DFB987B285C5A Time : 0.0 sec. user=mdettweiler [2010-02-03 10:40:36] 353*2^349318-1 is not prime. Res64: 89657BF5BC809AE8 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:40:36] 363*2^349316-1 is not prime. Res64: 9CFB3A156821F175 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:40:36] 377*2^349316-1 is not prime. Res64: E9531F46619A3F5A Time : 0.0 sec. user=mdettweiler [2010-02-03 10:40:37] 399*2^349316-1 is not prime. Res64: D3AC6ADB2CA74CE5 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:43:01] 327*2^349322-1 is not prime. Res64: 79CA1E0B40A127E4 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:43:01] 339*2^349319-1 is not prime. Res64: D5D2C97568A277F0 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:43:01] 341*2^349322-1 is not prime. Res64: 599A58A18F2BE225 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:43:02] 347*2^349322-1 is not prime. Res64: 0B61FA9EDD8AD4DA Time : 0.0 sec. user=mdettweiler [2010-02-03 10:45:26] 379*2^349321-1 is not prime. Res64: A94B2F4D36E09B26 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:45:26] 391*2^349319-1 is not prime. Res64: 213B156304D305C9 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:45:26] 395*2^349322-1 is not prime. Res64: 43A6A89113CF956B Time : 0.0 sec. user=mdettweiler [2010-02-03 10:45:27] 315*2^349324-1 is not prime. Res64: A3136A2F05B698B5 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:47:50] 345*2^349324-1 is not prime. Res64: A229C11926F208B3 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:47:51] 349*2^349323-1 is not prime. Res64: AE4C75F836BD51BF Time : 0.0 sec. user=mdettweiler [2010-02-03 10:47:51] 303*2^349326-1 is not prime. Res64: E2D1FB8773FD8F6B Time : 0.0 sec. user=mdettweiler [2010-02-03 10:47:51] 317*2^349326-1 is not prime. Res64: B17179E7FB0AAABA Time : 0.0 sec. user=mdettweiler [2010-02-03 10:50:15] 345*2^349327-1 is not prime. Res64: 50B7CFA36A82D462 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:50:16] 395*2^349328-1 is not prime. Res64: 06CFB4BD22FEC628 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:50:16] 321*2^349330-1 is not prime. Res64: B0FBB83B0C761F14 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:50:16] 345*2^349329-1 is not prime. Res64: 068E0052B3AED7FF Time : 0.0 sec. user=mdettweiler [2010-02-03 10:52:40] 355*2^349329-1 is not prime. Res64: 5DF5A466178B07D3 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:52:41] 393*2^349331-1 is not prime. Res64: 871B7EC838BDBBB0 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:52:41] 399*2^349331-1 is not prime. Res64: 0E9BF1232B2DA0D8 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:52:41] 315*2^349335-1 is not prime. Res64: 7178EA027987E2FD Time : 0.0 sec. user=mdettweiler [2010-02-03 10:55:05] 323*2^349334-1 is not prime. Res64: EFD86E7D93F94EC0 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:55:06] 347*2^349334-1 is not prime. Res64: 3C15DB4B43612F67 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:55:06] 349*2^349335-1 is not prime. Res64: E14766695A2A1C30 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:55:06] 371*2^349334-1 is not prime. Res64: 30652D4F5C41A71B Time : 0.0 sec. user=mdettweiler [2010-02-03 10:57:30] 385*2^349335-1 is not prime. Res64: A4DA6AA36D695A91 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:57:31] 323*2^349336-1 is not prime. Res64: D29CD4812A5B96A3 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:57:31] 327*2^349336-1 is not prime. Res64: E22C5A580A38E36E Time : 0.0 sec. user=mdettweiler [2010-02-03 10:57:31] 345*2^349336-1 is not prime. Res64: CF686E3FFC0AC34B Time : 0.0 sec. user=mdettweiler [2010-02-03 10:59:55] 357*2^349337-1 is not prime. Res64: 3A6F3E6487988EC9 Time : 0.0 sec. user=mdettweiler [2010-02-03 10:59:56] 363*2^349336-1 is not prime. Res64: 666BFA7405E865BB Time : 0.0 sec. user=mdettweiler [2010-02-03 10:59:56] 313*2^349339-1 is not prime. Res64: 9C7A839044A569AF Time : 0.0 sec. user=mdettweiler [2010-02-03 10:59:56] 315*2^349342-1 is not prime. Res64: 6E5E43D33234EC6A Time : 0.0 sec. user=mdettweiler [2010-02-03 11:02:25] 319*2^349341-1 is not prime. Res64: AD1C899459BA2410 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:02:26] 321*2^349342-1 is not prime. Res64: 04B04CBA63B6BCA0 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:02:26] 323*2^349342-1 is not prime. Res64: B3817E5A622A67E9 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:02:26] 347*2^349340-1 is not prime. Res64: E876F855AE6BAFF4 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:04:45] 383*2^349340-1 is not prime. Res64: 929EA32F64AAE199 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:04:46] 321*2^349345-1 is not prime. Res64: 32AD09CD8E87663F Time : 0.0 sec. user=mdettweiler [2010-02-03 11:04:46] 327*2^349344-1 is not prime. Res64: 40D5837798E2D990 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:04:46] 349*2^349343-1 is not prime. Res64: F4EF3599AA95BB2A Time : 0.0 sec. user=mdettweiler [2010-02-03 11:07:05] 355*2^349345-1 is not prime. Res64: D313CE12094A160D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:07:06] 385*2^349345-1 is not prime. Res64: AC2794DE8291C084 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:07:06] 387*2^349342-1 is not prime. Res64: 9F176B06358CA43D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:07:06] 341*2^349346-1 is not prime. Res64: 79D778C01C5D191D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:09:30] 363*2^349348-1 is not prime. Res64: EE94365780685752 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:09:31] 381*2^349346-1 is not prime. Res64: 3E69390FBAF165C9 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:09:31] 383*2^349346-1 is not prime. Res64: F1568D318BECC721 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:09:31] 313*2^349351-1 is not prime. Res64: 73352D82F5A4E576 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:11:55] 325*2^349349-1 is not prime. Res64: 7C7C5431398A246D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:11:56] 339*2^349352-1 is not prime. Res64: 617A783CDCC0FCFF Time : 0.0 sec. user=mdettweiler [2010-02-03 11:11:56] 387*2^349350-1 is not prime. Res64: D893DA77D13F88DF Time : 0.0 sec. user=mdettweiler [2010-02-03 11:11:56] 315*2^349355-1 is not prime. Res64: DD5FD4EA593747B4 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:14:20] 369*2^349353-1 is not prime. Res64: ED3CB4A5A9507B5C Time : 0.0 sec. user=mdettweiler [2010-02-03 11:14:21] 391*2^349353-1 is not prime. Res64: 07BB4ED0DF64ECC4 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:14:21] 329*2^349356-1 is not prime. Res64: EC9A013832C74318 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:14:21] 363*2^349358-1 is not prime. Res64: 108AB5C568C148E6 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:16:45] 377*2^349356-1 is not prime. Res64: 8E25A4FDC14565CF Time : 0.0 sec. user=mdettweiler [2010-02-03 11:16:46] 399*2^349356-1 is not prime. Res64: E3708C375A9A5A48 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:16:46] 327*2^349361-1 is not prime. Res64: 906E62A972933905 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:16:46] 333*2^349359-1 is not prime. Res64: 2A0C1AAE9C58D408 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:19:10] 335*2^349360-1 is not prime. Res64: 7F2AC642C91095BF Time : 0.0 sec. user=mdettweiler [2010-02-03 11:19:11] 363*2^349360-1 is not prime. Res64: 6AACE477CCCDAE4D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:19:11] 303*2^349363-1 is not prime. Res64: 3FD05E099F662F82 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:19:11] 313*2^349363-1 is not prime. Res64: 2B6B657534D9A8FD Time : 0.0 sec. user=mdettweiler [2010-02-03 11:21:35] 321*2^349365-1 is not prime. Res64: 4F2ED8EF0A699F30 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:21:36] 357*2^349364-1 is not prime. Res64: AC5410B1F81E41DD Time : 0.0 sec. user=mdettweiler [2010-02-03 11:21:36] 369*2^349363-1 is not prime. Res64: 0B319E6973279617 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:21:36] 377*2^349364-1 is not prime. Res64: 4E675AAA80A935A5 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:24:00] 379*2^349363-1 is not prime. Res64: B28304C42C1FA592 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:24:01] 385*2^349363-1 is not prime. Res64: 1A8B84CD965CD0B6 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:24:01] 391*2^349363-1 is not prime. Res64: C0F36BEE4B869193 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:24:01] 397*2^349365-1 is not prime. Res64: 5323CCE85C2A20E4 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:26:25] 303*2^349368-1 is not prime. Res64: F7E3D7DF77243C6A Time : 0.0 sec. user=mdettweiler [2010-02-03 11:26:25] 315*2^349366-1 is not prime. Res64: 6AE53BB6165ECC6C Time : 0.0 sec. user=mdettweiler [2010-02-03 11:26:26] 317*2^349368-1 is not prime. Res64: C269F9D5F35697BA Time : 0.0 sec. user=mdettweiler [2010-02-03 11:26:26] 347*2^349368-1 is not prime. Res64: 77866F9E2F778ED1 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:28:50] 313*2^349371-1 is not prime. Res64: E7C92A846540E745 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:28:50] 315*2^349371-1 is not prime. Res64: 2308F560138CF728 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:28:50] 323*2^349370-1 is not prime. Res64: 71533A4CFFCE0D45 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:28:51] 353*2^349372-1 is not prime. Res64: 0393A61410789F40 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:31:15] 355*2^349369-1 is not prime. Res64: C15C2EF6547FF159 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:31:15] 373*2^349371-1 is not prime. Res64: 1B2099C909ACBF30 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:31:15] 399*2^349369-1 is not prime. Res64: DB516B0D2730619B Time : 0.0 sec. user=mdettweiler [2010-02-03 11:31:16] 303*2^349374-1 is not prime. Res64: 2056D99E6802F066 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:33:40] 321*2^349375-1 is not prime. Res64: 724EC8CC9962F954 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:33:40] 325*2^349373-1 is not prime. Res64: 42544ABC2AE952E9 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:33:40] 327*2^349373-1 is not prime. Res64: 3A615C2B913E8EA4 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:33:41] 395*2^349372-1 is not prime. Res64: E73BD42C051E3573 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:36:05] 305*2^349376-1 is not prime. Res64: 9617D00A969D9D3C Time : 0.0 sec. user=mdettweiler [2010-02-03 11:36:05] 309*2^349376-1 is not prime. Res64: 0CAB212C68B972AE Time : 0.0 sec. user=mdettweiler [2010-02-03 11:36:05] 317*2^349378-1 is not prime. Res64: F70ABFF9A8F782CF Time : 0.0 sec. user=mdettweiler [2010-02-03 11:36:06] 329*2^349376-1 is not prime. Res64: E9401946ECB45E31 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:38:30] 345*2^349377-1 is not prime. Res64: 3EC95EB5827C7C1C Time : 0.0 sec. user=mdettweiler [2010-02-03 11:38:30] 355*2^349377-1 is not prime. Res64: 165CE275E912B426 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:38:30] 377*2^349378-1 is not prime. Res64: 7E3503A98C08380D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:38:31] 387*2^349377-1 is not prime. Res64: 400758311C1197D3 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:40:55] 399*2^349376-1 is not prime. Res64: 7C24ABD6335B45E7 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:40:55] 399*2^349377-1 is not prime. Res64: 0BC0C1B0DA843717 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:40:55] 313*2^349379-1 is not prime. Res64: 119DDECE1B41B649 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:40:56] 327*2^349380-1 is not prime. Res64: 4693CD9BA7467D81 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:43:20] 333*2^349380-1 is not prime. Res64: E86341EC441EF8CA Time : 0.0 sec. user=mdettweiler [2010-02-03 11:43:20] 369*2^349379-1 is not prime. Res64: BCDC7F88DFB0C916 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:43:20] 377*2^349380-1 is not prime. Res64: D593958C4CB2108F Time : 0.0 sec. user=mdettweiler [2010-02-03 11:43:21] 379*2^349381-1 is not prime. Res64: 0710AB989EFAF827 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:45:45] 381*2^349381-1 is not prime. Res64: C346415FF4ED5640 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:45:45] 387*2^349381-1 is not prime. Res64: 3FA78E557C46A28A Time : 0.0 sec. user=mdettweiler [2010-02-03 11:45:45] 393*2^349379-1 is not prime. Res64: 8C1958449915D0EA Time : 0.0 sec. user=mdettweiler [2010-02-03 11:45:46] 399*2^349380-1 is not prime. Res64: CDFF6DEA532BA15D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:48:10] 357*2^349384-1 is not prime. Res64: 19E7B0258C8DBF0E Time : 0.0 sec. user=mdettweiler [2010-02-03 11:48:10] 371*2^349382-1 is not prime. Res64: 66E45766CADE6966 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:48:10] 391*2^349383-1 is not prime. Res64: D36F5A7AC749A2E7 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:48:10] 393*2^349382-1 is not prime. Res64: A0C40764B1754C35 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:50:34] 399*2^349385-1 is not prime. Res64: 9926C1BEE16AEB2E Time : 0.0 sec. user=mdettweiler [2010-02-03 11:50:35] 327*2^349386-1 is not prime. Res64: 5BF8977A0F534281 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:50:35] 345*2^349386-1 is not prime. Res64: C5CC135B2B0D000D Time : 0.0 sec. user=mdettweiler [2010-02-03 11:50:35] 347*2^349386-1 is not prime. Res64: 031394C69CB073C3 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:52:59] 371*2^349386-1 is not prime. Res64: F0D1F8F5C0FC1E36 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:53:00] 383*2^349386-1 is not prime. Res64: 24A767710B66E378 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:53:00] 319*2^349389-1 is not prime. Res64: F8F64621FB361F62 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:53:00] 323*2^349390-1 is not prime. Res64: 1DFD791C39AC63FC Time : 0.0 sec. user=mdettweiler [2010-02-03 11:55:24] 327*2^349389-1 is not prime. Res64: A9369247CDADAFF9 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:55:25] 357*2^349390-1 is not prime. Res64: 693A31F40D8BD213 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:55:25] 399*2^349391-1 is not prime. Res64: 07EBE9F77B4D6C36 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:55:25] 339*2^349395-1 is not prime. Res64: 37B4B85C010FF636 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:57:49] 345*2^349392-1 is not prime. Res64: BF57DE0E355C6EF5 Time : 0.0 sec. user=mdettweiler [2010-02-03 11:57:50] 349*2^349395-1 is not prime. Res64: 3E639F20F9D627BD Time : 0.0 sec. user=mdettweiler [2010-02-03 11:57:50] 363*2^349392-1 is not prime. Res64: C12FBD70D65A25CD Time : 0.0 sec. user=mdettweiler [2010-02-03 11:57:50] 363*2^349395-1 is not prime. Res64: ED80DF1ABEA4CE0F Time : 0.0 sec. user=mdettweiler [2010-02-03 12:00:14] 399*2^349393-1 is not prime. Res64: A8DA3400C91AE066 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:00:14] 317*2^349396-1 is not prime. Res64: 71C2CD2BFCB0BFC5 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:00:15] 371*2^349398-1 is not prime. Res64: 4E8D26539631E453 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:00:15] 377*2^349398-1 is not prime. Res64: FBD2FFE82116F66F Time : 0.0 sec. user=mdettweiler [2010-02-03 12:02:39] 393*2^349396-1 is not prime. Res64: 6B573E257B55ADE2 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:02:39] 331*2^349401-1 is not prime. Res64: 9160E4C0A247D0A9 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:02:40] 367*2^349401-1 is not prime. Res64: 375B75BA81CB6732 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:02:40] 387*2^349401-1 is not prime. Res64: 11BE559BE25F6582 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:05:04] 333*2^349403-1 is not prime. Res64: BDB21D982633AF15 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:05:04] 341*2^349402-1 is not prime. Res64: D7DFD7B0C2570ABF Time : 0.0 sec. user=mdettweiler [2010-02-03 12:05:05] 345*2^349404-1 is not prime. Res64: 2EFFD7DD5D3874BC Time : 0.0 sec. user=mdettweiler [2010-02-03 12:05:05] 349*2^349403-1 is not prime. Res64: 5B65CCC77C1687F2 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:07:29] 349*2^349405-1 is not prime. Res64: 9B5B2D69D8C2E0E9 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:07:29] 381*2^349405-1 is not prime. Res64: 3C654CAC26B31B57 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:07:30] 383*2^349402-1 is not prime. Res64: DF9C5F07EE9CDB39 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:07:30] 387*2^349405-1 is not prime. Res64: 5C8B69C39703767B Time : 0.0 sec. user=mdettweiler [2010-02-03 12:09:54] 393*2^349402-1 is not prime. Res64: 968C211FEF98771E Time : 0.0 sec. user=mdettweiler [2010-02-03 12:09:54] 311*2^349406-1 is not prime. Res64: 8156CEFFDFBD2D92 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:09:55] 339*2^349408-1 is not prime. Res64: 559CD598CC6EA08F Time : 0.0 sec. user=mdettweiler [2010-02-03 12:09:55] 353*2^349408-1 is not prime. Res64: DCC42C525411A9C2 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:12:19] 355*2^349407-1 is not prime. Res64: EF866B59F42335C9 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:12:19] 377*2^349408-1 is not prime. Res64: A931EC014CBA4068 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:12:20] 381*2^349407-1 is not prime. Res64: E6816CEB8BDBDC72 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:12:20] 335*2^349410-1 is not prime. Res64: 2672464E1D488B60 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:14:44] 345*2^349410-1 is not prime. Res64: 71BF3D2CA8DB9974 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:14:44] 325*2^349413-1 is not prime. Res64: E52A9DF52A8C6BDE Time : 0.0 sec. user=mdettweiler [2010-02-03 12:14:44] 327*2^349412-1 is not prime. Res64: 07DF3993EE2E18A4 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:14:45] 335*2^349414-1 is not prime. Res64: 8A6C6B0684041E50 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:17:09] 365*2^349412-1 is not prime. Res64: BF27EF6310FE75DD Time : 0.0 sec. user=mdettweiler [2010-02-03 12:17:09] 367*2^349413-1 is not prime. Res64: C8653C513E76D93B Time : 0.0 sec. user=mdettweiler [2010-02-03 12:17:09] 389*2^349412-1 is not prime. Res64: 9A8DACD5C334C5B4 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:17:10] 311*2^349418-1 is not prime. Res64: 8DF858691155999A Time : 0.0 sec. user=mdettweiler [2010-02-03 12:19:34] 321*2^349417-1 is not prime. Res64: 6EB616EA3D00A416 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:19:34] 337*2^349417-1 is not prime. Res64: D66C3F8C65D9BC07 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:19:35] 365*2^349418-1 is not prime. Res64: E8A0EDEB6027FF09 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:19:35] 377*2^349418-1 is not prime. Res64: 7E37971FE69ABA93 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:21:59] 381*2^349418-1 is not prime. Res64: C0803EB3E3DB53BD Time : 0.0 sec. user=mdettweiler [2010-02-03 12:21:59] 395*2^349418-1 is not prime. Res64: B5CCDF3B930050C9 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:22:00] 399*2^349417-1 is not prime. Res64: 8553019F574747AD Time : 0.0 sec. user=mdettweiler [2010-02-03 12:22:00] 319*2^349419-1 is not prime. Res64: 45EAE7A9D6099CBF Time : 0.0 sec. user=mdettweiler [2010-02-03 12:24:24] 357*2^349420-1 is not prime. Res64: B27727F90F18B7DC Time : 0.0 sec. user=mdettweiler [2010-02-03 12:24:24] 367*2^349421-1 is not prime. Res64: F6A2AE73D64C5066 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:24:24] 369*2^349420-1 is not prime. Res64: CDA28563C0B0B77F Time : 0.0 sec. user=mdettweiler [2010-02-03 12:24:25] 383*2^349420-1 is not prime. Res64: B1646E8F30C7F8E0 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:26:49] 385*2^349419-1 is not prime. Res64: 04B63FA85CF94FB7 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:26:49] 391*2^349419-1 is not prime. Res64: 083F031923F6F480 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:26:49] 397*2^349421-1 is not prime. Res64: 0E5D67AE3BAD6C79 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:26:50] 333*2^349424-1 is not prime. Res64: 0EFA57348189C833 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:29:14] 347*2^349424-1 is not prime. Res64: 9E101D9BF169A323 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:29:14] 353*2^349424-1 is not prime. Res64: C49FF63B2A2A2EBF Time : 0.0 sec. user=mdettweiler [2010-02-03 12:29:14] 365*2^349424-1 is not prime. Res64: 98AB0B20C0F2F341 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:29:15] 369*2^349425-1 is not prime. Res64: 8770156EE7AFB794 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:31:39] 377*2^349424-1 is not prime. Res64: 703EE7163BA09106 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:31:39] 389*2^349424-1 is not prime. Res64: B0C6213783A0F144 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:31:39] 303*2^349428-1 is not prime. Res64: F3992E5A897528EF Time : 0.0 sec. user=mdettweiler [2010-02-03 12:31:40] 315*2^349427-1 is not prime. Res64: A1CE5F1A0248E5DA Time : 0.0 sec. user=mdettweiler [2010-02-03 12:34:04] 347*2^349428-1 is not prime. Res64: DFC661A0835976C0 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:34:04] 357*2^349428-1 is not prime. Res64: 0D1CFD3539E8327C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:34:04] 363*2^349426-1 is not prime. Res64: AE4D485718793476 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:34:05] 377*2^349428-1 is not prime. Res64: 650C26F3B85761A5 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:36:29] 393*2^349426-1 is not prime. Res64: 211E16DC95A87DFF Time : 0.0 sec. user=mdettweiler [2010-02-03 12:36:29] 395*2^349428-1 is not prime. Res64: BE503D25A374545C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:36:30] 333*2^349431-1 is not prime. Res64: 1A9E4949692DE944 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:36:30] 339*2^349431-1 is not prime. Res64: 9D66B14A891B4C17 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:38:54] 349*2^349431-1 is not prime. Res64: 487D0EF7C2B787E0 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:38:54] 301*2^349435-1 is not prime. Res64: 81FDB97E75C46F0E Time : 0.0 sec. user=mdettweiler [2010-02-03 12:38:54] 309*2^349433-1 is not prime. Res64: 72DE63243481A595 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:38:55] 351*2^349433-1 is not prime. Res64: D9CB4C224A09916C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:41:19] 357*2^349434-1 is not prime. Res64: 9909F5865173EEA0 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:41:19] 323*2^349436-1 is not prime. Res64: B991E51D06AC174A Time : 0.0 sec. user=mdettweiler [2010-02-03 12:41:19] 325*2^349437-1 is not prime. Res64: C7F96E8F3CF4AE24 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:41:20] 353*2^349438-1 is not prime. Res64: 4598D692F53CAA4C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:43:44] 363*2^349436-1 is not prime. Res64: 35409CE16C584531 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:43:44] 371*2^349438-1 is not prime. Res64: 99AE84ED69BEF1ED Time : 0.0 sec. user=mdettweiler [2010-02-03 12:43:44] 389*2^349436-1 is not prime. Res64: CE43C8EA78A268AF Time : 0.0 sec. user=mdettweiler [2010-02-03 12:43:45] 397*2^349437-1 is not prime. Res64: 89028CEB36EA78E8 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:46:09] 319*2^349439-1 is not prime. Res64: 3E4E8E91CCAEEB3E Time : 0.0 sec. user=mdettweiler [2010-02-03 12:46:09] 331*2^349441-1 is not prime. Res64: 114C157A9B8AA75E Time : 0.0 sec. user=mdettweiler [2010-02-03 12:46:09] 333*2^349440-1 is not prime. Res64: 2F6AAEB9E31380D7 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:46:10] 339*2^349441-1 is not prime. Res64: 4C683F39F0A30D19 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:48:34] 367*2^349441-1 is not prime. Res64: 4FF6827F3AD53FAB Time : 0.0 sec. user=mdettweiler [2010-02-03 12:48:34] 369*2^349439-1 is not prime. Res64: 033039136B92E75E Time : 0.0 sec. user=mdettweiler [2010-02-03 12:48:34] 309*2^349445-1 is not prime. Res64: 61EB448CAA9F660B Time : 0.0 sec. user=mdettweiler [2010-02-03 12:48:35] 327*2^349442-1 is not prime. Res64: 208CED8DD7015480 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:50:59] 335*2^349444-1 is not prime. Res64: 33BD5B72EB66235D Time : 0.0 sec. user=mdettweiler [2010-02-03 12:50:59] 339*2^349445-1 is not prime. Res64: 6E2DEC977BB046A0 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:51:00] 347*2^349442-1 is not prime. Res64: 7F6798CCB013EEB7 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:51:00] 357*2^349442-1 is not prime. Res64: D3FAAA24C34BB2AA Time : 0.0 sec. user=mdettweiler [2010-02-03 12:53:24] 371*2^349442-1 is not prime. Res64: 7E2C6F79695AAC82 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:53:24] 399*2^349443-1 is not prime. Res64: FC31BD3F0A80F53C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:53:25] 321*2^349446-1 is not prime. Res64: 865F852B2A0812D6 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:53:25] 329*2^349448-1 is not prime. Res64: 0731C452299E08C5 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:55:49] 333*2^349448-1 is not prime. Res64: 03A98CD06FCE9C00 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:55:49] 345*2^349446-1 is not prime. Res64: 20B548CF840B8670 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:55:50] 379*2^349445-1 is not prime. Res64: D28ED1782113516A Time : 0.0 sec. user=mdettweiler [2010-02-03 12:55:50] 313*2^349451-1 is not prime. Res64: 62533D536C7273A5 Time : 0.0 sec. user=mdettweiler [2010-02-03 12:58:09] 319*2^349449-1 is not prime. Res64: 905FA51516CE119D Time : 0.0 sec. user=mdettweiler [2010-02-03 12:58:09] 345*2^349450-1 is not prime. Res64: AB7E1AFA9824BE5C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:58:10] 355*2^349449-1 is not prime. Res64: 751B2A7D03DBC57C Time : 0.0 sec. user=mdettweiler [2010-02-03 12:58:10] 309*2^349453-1 is not prime. Res64: 4B3DE08FAEA50167 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:00:29] 311*2^349454-1 is not prime. Res64: 3831AD802D3F0D02 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:00:29] 317*2^349452-1 is not prime. Res64: E23D4ED752FE2359 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:00:30] 321*2^349453-1 is not prime. Res64: 7246182474D08861 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:00:30] 321*2^349454-1 is not prime. Res64: 8C197F3A12E8E45F Time : 0.0 sec. user=mdettweiler [2010-02-03 13:02:54] 325*2^349453-1 is not prime. Res64: 339EBB91A200B7EF Time : 0.0 sec. user=mdettweiler [2010-02-03 13:02:54] 327*2^349452-1 is not prime. Res64: 46AB849FA4D6FB98 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:02:55] 315*2^349456-1 is not prime. Res64: 7413D731B3C2375A Time : 0.0 sec. user=mdettweiler [2010-02-03 13:02:55] 317*2^349458-1 is not prime. Res64: 20F79756C6806BB7 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:05:19] 319*2^349457-1 is not prime. Res64: 3835510D0C815936 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:05:19] 335*2^349458-1 is not prime. Res64: 0E1F79332729650D Time : 0.0 sec. user=mdettweiler [2010-02-03 13:05:20] 395*2^349458-1 is not prime. Res64: 2FE1E5988510FA02 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:05:20] 345*2^349461-1 is not prime. Res64: 57396DFC2AAEFB4F Time : 0.0 sec. user=mdettweiler [2010-02-03 13:07:44] 387*2^349461-1 is not prime. Res64: 0161D8FA57504B0E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:07:44] 395*2^349460-1 is not prime. Res64: F1F883ADDDEC52E8 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:07:45] 347*2^349464-1 is not prime. Res64: B2BFAC12976C3FE1 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:07:45] 353*2^349462-1 is not prime. Res64: 1C1DD5AB30F672DE Time : 0.0 sec. user=mdettweiler [2010-02-03 13:10:09] 353*2^349464-1 is not prime. Res64: 77BABD34C71B0F4E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:10:09] 357*2^349462-1 is not prime. Res64: 09AA6C4B30D38760 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:10:10] 357*2^349464-1 is not prime. Res64: 33DF9657D7AEBF60 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:10:10] 377*2^349464-1 is not prime. Res64: 0B2305AD288D4C59 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:12:34] 315*2^349467-1 is not prime. Res64: D3BBA9A6888CDAA2 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:12:34] 345*2^349467-1 is not prime. Res64: 1B63FF9B217142F9 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:12:35] 365*2^349466-1 is not prime. Res64: C6D3AA3022B3308D Time : 0.0 sec. user=mdettweiler [2010-02-03 13:12:35] 383*2^349466-1 is not prime. Res64: 19B3DCD6B5E977D9 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:14:59] 391*2^349467-1 is not prime. Res64: 4FC228E6EDE339B9 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:14:59] 393*2^349466-1 is not prime. Res64: 316BD12AAA39EC74 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:15:00] 399*2^349465-1 is not prime. Res64: 4CC5CB67727A5E9B Time : 0.0 sec. user=mdettweiler [2010-02-03 13:15:00] 309*2^349471-1 is not prime. Res64: CB8175B1406B5849 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:17:24] 339*2^349469-1 is not prime. Res64: 6C2AF7FD9A85D320 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:17:25] 371*2^349470-1 is not prime. Res64: A7A29D9D286A12F6 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:17:25] 309*2^349475-1 is not prime. Res64: 2466107FA0261C72 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:17:25] 315*2^349475-1 is not prime. Res64: 2F95B2DFC22879B1 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:19:49] 329*2^349472-1 is not prime. Res64: 4D5F5DA765A7C7ED Time : 0.0 sec. user=mdettweiler [2010-02-03 13:19:49] 339*2^349473-1 is not prime. Res64: 60F9F8B90C6A46B0 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:19:50] 365*2^349474-1 is not prime. Res64: D1CADC8DC799D4DA Time : 0.0 sec. user=mdettweiler [2010-02-03 13:19:50] 369*2^349472-1 is not prime. Res64: 307377955C0A1AE4 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:22:14] 301*2^349477-1 is not prime. Res64: 02D4ECE27995AF0E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:22:15] 315*2^349478-1 is not prime. Res64: DAC993B0060D8B60 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:22:15] 327*2^349476-1 is not prime. Res64: 8ADE12D9ED110B9E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:22:15] 333*2^349476-1 is not prime. Res64: 2EBFB97F41EC0148 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:24:39] 349*2^349475-1 is not prime. Res64: 8F142DB85FF8EF53 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:24:40] 377*2^349478-1 is not prime. Res64: D25441C3AE799692 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:24:40] 389*2^349476-1 is not prime. Res64: 7C363E314AED6923 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:24:40] 345*2^349480-1 is not prime. Res64: 9C5E379F4AADEADA Time : 0.0 sec. user=mdettweiler [2010-02-03 13:27:04] 381*2^349479-1 is not prime. Res64: 4FBEAF7869B1DCE1 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:27:05] 385*2^349479-1 is not prime. Res64: 2342EA73D3966891 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:27:05] 399*2^349481-1 is not prime. Res64: 51F59C7ACF42576A Time : 0.0 sec. user=mdettweiler [2010-02-03 13:27:05] 303*2^349482-1 is not prime. Res64: 92ACD989F12FE8D2 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:29:30] 315*2^349485-1 is not prime. Res64: E2B644CEEBDAE860 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:29:30] 327*2^349482-1 is not prime. Res64: 1F50E5A3F3DEC16D Time : 0.0 sec. user=mdettweiler [2010-02-03 13:29:31] 327*2^349485-1 is not prime. Res64: 8C24AA973B24BE1B Time : 0.0 sec. user=mdettweiler [2010-02-03 13:29:31] 339*2^349485-1 is not prime. Res64: 82FA132F9EB58AF9 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:31:55] 385*2^349483-1 is not prime. Res64: EA22011D04CF4FAB Time : 0.0 sec. user=mdettweiler [2010-02-03 13:31:55] 329*2^349488-1 is not prime. Res64: 8881278F2B73F75F Time : 0.0 sec. user=mdettweiler [2010-02-03 13:31:56] 333*2^349488-1 is not prime. Res64: 1F795DD8E511C255 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:31:56] 345*2^349485-1 is not prime. Res64: F4677A7271D02A60 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:34:20] 367*2^349485-1 is not prime. Res64: 694136B4ACAF5A68 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:34:21] 371*2^349486-1 is not prime. Res64: D0E39709F0223C6D Time : 0.0 sec. user=mdettweiler [2010-02-03 13:34:21] 377*2^349488-1 is not prime. Res64: 419F76091EABB058 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:34:21] 391*2^349485-1 is not prime. Res64: 446E072371BE0F52 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:36:45] 313*2^349491-1 is not prime. Res64: 7E390C81548E9E5E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:36:46] 319*2^349491-1 is not prime. Res64: 606BDD84C77698D6 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:36:46] 363*2^349490-1 is not prime. Res64: 96D3BD43D5F9324E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:36:46] 371*2^349490-1 is not prime. Res64: DDC8B62AEF5B83FE Time : 0.0 sec. user=mdettweiler [2010-02-03 13:39:10] 315*2^349495-1 is not prime. Res64: 01BD863DF6A639F4 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:39:11] 395*2^349492-1 is not prime. Res64: 49FC54811A3353C7 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:39:11] 305*2^349496-1 is not prime. Res64: FACB326B3AA0F8E6 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:39:11] 325*2^349497-1 is not prime. Res64: A7FF7D34368BD71C Time : 0.0 sec. user=mdettweiler [2010-02-03 13:41:36] 355*2^349495-1 is not prime. Res64: ADB42B8D5AF1A75C Time : 0.0 sec. user=mdettweiler [2010-02-03 13:41:36] 363*2^349496-1 is not prime. Res64: 9E713BE93DF8DED8 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:41:36] 365*2^349496-1 is not prime. Res64: F22A791D5369C8AB Time : 0.0 sec. user=mdettweiler [2010-02-03 13:41:36] 367*2^349497-1 is not prime. Res64: 86F7AFC99A8C2A8F Time : 0.0 sec. user=mdettweiler [2010-02-03 13:44:01] 369*2^349496-1 is not prime. Res64: 296EEBF763CBED71 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:44:01] 307*2^349501-1 is not prime. Res64: D108180FAB5343FF Time : 0.0 sec. user=mdettweiler [2010-02-03 13:44:01] 309*2^349499-1 is not prime. Res64: BDA3B8EFE51BDFD5 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:44:01] 367*2^349501-1 is not prime. Res64: B77C0162CFD8E9FA Time : 0.0 sec. user=mdettweiler [2010-02-03 13:46:26] 381*2^349501-1 is not prime. Res64: A435C0FA436E405E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:46:26] 385*2^349499-1 is not prime. Res64: CC890F77125C791E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:46:26] 395*2^349500-1 is not prime. Res64: CB4AA85AD7756D13 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:46:27] 303*2^349504-1 is not prime. Res64: 7EDF0FD1E545BFF7 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:48:56] 363*2^349502-1 is not prime. Res64: 023F791248C833D3 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:48:56] 319*2^349505-1 is not prime. Res64: E99A277A3D1C5AA6 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:48:56] 347*2^349506-1 is not prime. Res64: 2C1F733A1B68CE20 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:48:57] 349*2^349503-1 is not prime. Res64: 146410E7256F964F Time : 0.0 sec. user=mdettweiler [2010-02-03 13:51:21] 319*2^349511-1 is not prime. Res64: 4169C9356E6ED183 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:51:21] 353*2^349508-1 is not prime. Res64: 1E4210CF94D9CA21 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:51:22] 321*2^349510-1 is not prime. Res64: 1AF682E4793F8ADB Time : 0.0 sec. user=mdettweiler [2010-02-03 13:51:22] 355*2^349511-1 is not prime. Res64: 019072AF0C1649EE Time : 0.0 sec. user=mdettweiler [2010-02-03 13:53:46] 377*2^349510-1 is not prime. Res64: 0172330631B8B777 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:53:47] 321*2^349513-1 is not prime. Res64: FA38A2C08E014C9C Time : 0.0 sec. user=mdettweiler [2010-02-03 13:53:47] 333*2^349514-1 is not prime. Res64: 7B302D6D2084A9EC Time : 0.0 sec. user=mdettweiler [2010-02-03 13:53:47] 381*2^349514-1 is not prime. Res64: 1EB2D47618800511 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:56:12] 393*2^349514-1 is not prime. Res64: 149B118387C37966 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:56:12] 369*2^349512-1 is not prime. Res64: 372C314ED3C4499E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:56:12] 315*2^349516-1 is not prime. Res64: 3AEE8E82A5AF0EED Time : 0.0 sec. user=mdettweiler [2010-02-03 13:56:12] 327*2^349516-1 is not prime. Res64: 56F8F132DBF6325F Time : 0.0 sec. user=mdettweiler [2010-02-03 13:58:37] 351*2^349517-1 is not prime. Res64: 28A40587ABD1DE80 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:58:37] 377*2^349516-1 is not prime. Res64: 0D89AD6A7A181FD5 Time : 0.0 sec. user=mdettweiler [2010-02-03 13:58:37] 381*2^349515-1 is not prime. Res64: 6C0027BA0D18E20E Time : 0.0 sec. user=mdettweiler [2010-02-03 13:58:37] 381*2^349521-1 is not prime. Res64: 6506D788208C7B66 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:01:01] 369*2^349520-1 is not prime. Res64: 0B73CAF33C7ADFC3 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:01:02] 303*2^349524-1 is not prime. Res64: A4639A2C8F9E7829 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:01:02] 315*2^349522-1 is not prime. Res64: E3AF760E570F3C9E Time : 0.0 sec. user=mdettweiler [2010-02-03 14:01:02] 329*2^349524-1 is not prime. Res64: 8D2913E73C6955DE Time : 0.0 sec. user=mdettweiler [2010-02-03 14:03:26] 335*2^349524-1 is not prime. Res64: 5AEED398B49778AD Time : 0.0 sec. user=mdettweiler [2010-02-03 14:03:27] 357*2^349522-1 is not prime. Res64: 42A935879D4D7392 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:03:27] 377*2^349524-1 is not prime. Res64: 57D530C031D15790 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:03:27] 369*2^349524-1 is not prime. Res64: 3C107FC23ACD7F74 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:05:51] 327*2^349525-1 is not prime. Res64: 1D51E358E2394EDE Time : 0.0 sec. user=mdettweiler [2010-02-03 14:05:52] 383*2^349528-1 is not prime. Res64: 27F363D734920E2D Time : 0.0 sec. user=mdettweiler [2010-02-03 14:05:52] 385*2^349525-1 is not prime. Res64: BCBFFEF4054FDC45 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:05:52] 369*2^349528-1 is not prime. Res64: E402C04213E9F7F6 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:08:17] 301*2^349531-1 is not prime. Res64: 75E0A6651CF8A9CE Time : 0.0 sec. user=mdettweiler [2010-02-03 14:08:17] 341*2^349530-1 is not prime. Res64: 21FFCD4F29B2E65C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:08:18] 357*2^349529-1 is not prime. Res64: C3BFB06CBD0C5FED Time : 0.0 sec. user=mdettweiler [2010-02-03 14:08:18] 399*2^349529-1 is not prime. Res64: D7DF3CD748652BEE Time : 0.0 sec. user=mdettweiler [2010-02-03 14:10:42] 341*2^349534-1 is not prime. Res64: 301C0F91B8CD2D74 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:10:42] 357*2^349532-1 is not prime. Res64: FE4D57F4BECDA6C1 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:10:43] 367*2^349533-1 is not prime. Res64: D2674EC64B10AC6C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:10:43] 389*2^349532-1 is not prime. Res64: F2ED71D474FA0AAC Time : 0.0 sec. user=mdettweiler [2010-02-03 14:13:07] 391*2^349533-1 is not prime. Res64: 63724A8277834305 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:13:08] 307*2^349537-1 is not prime. Res64: 141AEC50732AAC33 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:13:08] 315*2^349538-1 is not prime. Res64: 5315EF5DDD1352DC Time : 0.0 sec. user=mdettweiler [2010-02-03 14:13:08] 321*2^349535-1 is not prime. Res64: 47D56286E6352AE5 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:15:32] 321*2^349537-1 is not prime. Res64: AE79342D125C0A24 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:15:33] 333*2^349535-1 is not prime. Res64: FF27ED0C20320184 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:15:33] 363*2^349536-1 is not prime. Res64: 3A0EB066ABB41042 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:15:33] 363*2^349538-1 is not prime. Res64: CC025203BC0BDC99 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:17:57] 391*2^349535-1 is not prime. Res64: EE38B0FF54207517 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:17:58] 391*2^349537-1 is not prime. Res64: F4136278F4813631 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:17:58] 399*2^349537-1 is not prime. Res64: 1A7FBBD7249B04EE Time : 0.0 sec. user=mdettweiler [2010-02-03 14:17:58] 303*2^349540-1 is not prime. Res64: 54E9D293BD910E37 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:20:22] 309*2^349541-1 is not prime. Res64: 2CD83569ADABCC6D Time : 0.0 sec. user=mdettweiler [2010-02-03 14:20:23] 315*2^349539-1 is not prime. Res64: 1EB138290B1BC954 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:20:23] 363*2^349539-1 is not prime. Res64: 0B25BC9070567F84 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:20:23] 395*2^349538-1 is not prime. Res64: 7077B34ABD3B32BD Time : 0.0 sec. user=mdettweiler [2010-02-03 14:22:47] 313*2^349543-1 is not prime. Res64: 5A07D2BDBDD1C7F3 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:22:48] 355*2^349543-1 is not prime. Res64: AF4BD66A047D8BEC Time : 0.0 sec. user=mdettweiler [2010-02-03 14:22:48] 395*2^349544-1 is not prime. Res64: A96BA5450FCC9D78 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:22:48] 369*2^349543-1 is not prime. Res64: 72EDA49AFEAFFEDF Time : 0.0 sec. user=mdettweiler [2010-02-03 14:25:08] 317*2^349546-1 is not prime. Res64: BB8CED75B1DAE0E2 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:25:08] 319*2^349547-1 is not prime. Res64: 166B42637328BA1C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:25:08] 327*2^349548-1 is not prime. Res64: 773406D275A103AA Time : 0.0 sec. user=mdettweiler [2010-02-03 14:25:08] 345*2^349546-1 is not prime. Res64: 5733F08968173E29 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:27:28] 377*2^349546-1 is not prime. Res64: E2AD4185520C7202 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:27:28] 387*2^349545-1 is not prime. Res64: C0A07D72F32073C2 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:27:28] 399*2^349545-1 is not prime. Res64: 029AB5565027AEFC Time : 0.0 sec. user=mdettweiler [2010-02-03 14:27:29] 307*2^349549-1 is not prime. Res64: A25B4C7F79A095FE Time : 0.0 sec. user=mdettweiler [2010-02-03 14:29:48] 315*2^349550-1 is not prime. Res64: AA3FEDCC0368DE7D Time : 0.0 sec. user=mdettweiler [2010-02-03 14:29:48] 325*2^349549-1 is not prime. Res64: 880B4A0F4BCD424A Time : 0.0 sec. user=mdettweiler [2010-02-03 14:29:48] 355*2^349549-1 is not prime. Res64: 51EED9787667B58C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:29:48] 327*2^349553-1 is not prime. Res64: 45F7C7545B261C69 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:32:13] 333*2^349554-1 is not prime. Res64: E0ECBB3CAFBBAA1E Time : 0.0 sec. user=mdettweiler [2010-02-03 14:32:13] 335*2^349554-1 is not prime. Res64: 37DF18273490DA2A Time : 0.0 sec. user=mdettweiler [2010-02-03 14:32:13] 367*2^349553-1 is not prime. Res64: 22842D697E4F6FC6 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:32:13] 315*2^349555-1 is not prime. Res64: 5FD9C64525C0930C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:34:37] 327*2^349556-1 is not prime. Res64: 946F136C3E06A98B Time : 0.0 sec. user=mdettweiler [2010-02-03 14:34:38] 329*2^349556-1 is not prime. Res64: E0DDD869D942D02F Time : 0.0 sec. user=mdettweiler [2010-02-03 14:34:38] 341*2^349558-1 is not prime. Res64: 3A07CC3A036BD29C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:34:38] 345*2^349557-1 is not prime. Res64: F974FFB2A22E4D9C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:37:02] 357*2^349557-1 is not prime. Res64: 734A8D30765F0E97 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:37:03] 369*2^349555-1 is not prime. Res64: CEC3AFEE70E50811 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:37:03] 313*2^349559-1 is not prime. Res64: 472246D0E69310BA Time : 0.0 sec. user=mdettweiler [2010-02-03 14:37:03] 339*2^349559-1 is not prime. Res64: 10B2E62A8D3EF247 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:39:27] 349*2^349559-1 is not prime. Res64: EDA0DD6EA6A185C2 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:39:28] 345*2^349560-1 is not prime. Res64: B986D5574E59BED8 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:39:28] 363*2^349558-1 is not prime. Res64: 5436D01FC0417210 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:39:28] 377*2^349558-1 is not prime. Res64: F2A94EE3B46909AB Time : 0.0 sec. user=mdettweiler [2010-02-03 14:41:53] 377*2^349560-1 is not prime. Res64: 8E688172BD6B2279 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:41:53] 385*2^349559-1 is not prime. Res64: 6864564BBFEBB7F0 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:41:53] 399*2^349561-1 is not prime. Res64: 61723242E6B1E984 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:41:53] 313*2^349563-1 is not prime. Res64: 74FC94CCFB98347D Time : 0.0 sec. user=mdettweiler [2010-02-03 14:44:18] 353*2^349564-1 is not prime. Res64: C51824ED54F912E0 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:44:18] 357*2^349564-1 is not prime. Res64: AF183B8D1F08CD24 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:44:18] 363*2^349562-1 is not prime. Res64: FA975EB143595D4A Time : 0.0 sec. user=mdettweiler [2010-02-03 14:44:18] 383*2^349562-1 is not prime. Res64: 6F57AA322FD9F0C9 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:46:43] 385*2^349563-1 is not prime. Res64: CFD55A565CF9D218 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:46:43] 393*2^349562-1 is not prime. Res64: 9DE15C387AD73CD9 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:46:43] 301*2^349565-1 is not prime. Res64: 4F76EDB984B62823 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:46:44] 309*2^349565-1 is not prime. Res64: 931DBDFDF8D02992 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:49:08] 313*2^349567-1 is not prime. Res64: E34C043B52218B5C Time : 0.0 sec. user=mdettweiler [2010-02-03 14:49:08] 321*2^349566-1 is not prime. Res64: A39304787CAFC3FF Time : 0.0 sec. user=mdettweiler [2010-02-03 14:49:09] 325*2^349565-1 is not prime. Res64: 66A69A24EC83F8E6 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:49:09] 377*2^349566-1 is not prime. Res64: E1CFFC29927971A3 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:51:33] 325*2^349569-1 is not prime. Res64: 307F71599F6D309E Time : 0.0 sec. user=mdettweiler [2010-02-03 14:51:33] 327*2^349569-1 is not prime. Res64: B76C689A7CFF7521 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:51:34] 355*2^349569-1 is not prime. Res64: BA118EEF12B0F1B0 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:51:34] 381*2^349571-1 is not prime. Res64: F7914CE169C95F97 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:53:58] 317*2^349572-1 is not prime. Res64: D71E22AA7DCAE38F Time : 0.0 sec. user=mdettweiler [2010-02-03 14:53:58] 321*2^349573-1 is not prime. Res64: D492E3309C92AAEA Time : 0.0 sec. user=mdettweiler [2010-02-03 14:53:59] 347*2^349574-1 is not prime. Res64: 6AEC0DBF637FCB34 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:53:59] 353*2^349574-1 is not prime. Res64: BF6890C237585B59 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:56:23] 385*2^349573-1 is not prime. Res64: A00D77F13FAC4F91 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:56:23] 319*2^349577-1 is not prime. Res64: AAC215E40878CC66 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:56:23] 327*2^349578-1 is not prime. Res64: 35AC80DB39B05D85 Time : 0.0 sec. user=mdettweiler [2010-02-03 14:56:24] 339*2^349575-1 is not prime. Res64: 583F7C40356F6FE4 Time : 0.0 sec.