user=Sloth [2010-10-12 00:09:20] 441*2^911079-1 is not prime. Res64: F104BE720A14878E Time : 0.0 sec. user=mdettweiler [2010-10-12 00:09:30] 537*2^911077-1 is not prime. Res64: E820EA40586DF982 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:09:31] 437*2^911078-1 is not prime. Res64: 4B82EFCBB26AE3AA Time : 0.0 sec. user=mdettweiler [2010-10-12 00:09:33] 525*2^911078-1 is not prime. Res64: CCE8A4FC7182A56D Time : 0.0 sec. user=mdettweiler [2010-10-12 00:09:33] 561*2^911078-1 is not prime. Res64: 942683AD058DE3BA Time : 0.0 sec. user=mdettweiler [2010-10-12 00:10:42] 575*2^911078-1 is not prime. Res64: 9606B65EC98743F2 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:10:42] 585*2^911078-1 is not prime. Res64: 93F8750305280C90 Time : 0.0 sec. user=Sloth [2010-10-12 00:10:54] 483*2^911079-1 is not prime. Res64: 2B94FE912B104C4D Time : 0.0 sec. user=mdettweiler [2010-10-12 00:26:23] 501*2^911079-1 is not prime. Res64: 614A8561BE498F13 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:26:24] 511*2^911079-1 is not prime. Res64: E0D9236C3FDD9DEA Time : 0.0 sec. user=Sloth [2010-10-12 00:27:17] 579*2^911079-1 is not prime. Res64: 253F8E4CF253614A Time : 0.0 sec. user=Sloth [2010-10-12 00:28:48] 577*2^911081-1 is not prime. Res64: 7B2A3D3F71D99A35 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:39:53] 583*2^911079-1 is not prime. Res64: C107F8CBAF6B0C1F Time : 0.0 sec. user=mdettweiler [2010-10-12 00:39:53] 429*2^911080-1 is not prime. Res64: AF206C0DA6214967 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:39:58] 437*2^911080-1 is not prime. Res64: 0B3ADDB24BEDEC22 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:39:59] 539*2^911080-1 is not prime. Res64: F213077B750E2B94 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:41:07] 421*2^911081-1 is not prime. Res64: 85040A21B69481E3 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:41:07] 547*2^911081-1 is not prime. Res64: 4C677EF2100BDCD5 Time : 0.0 sec. user=Sloth [2010-10-12 00:45:09] 573*2^911082-1 is not prime. Res64: 70F1CA9BC0B434C1 Time : 0.0 sec. user=Sloth [2010-10-12 00:46:40] 421*2^911083-1 is not prime. Res64: 6F1BC3E4C6605F8D Time : 0.0 sec. user=mdettweiler [2010-10-12 00:56:50] 423*2^911082-1 is not prime. Res64: C63FE89101C53841 Time : 0.0 sec. user=mdettweiler [2010-10-12 00:56:50] 543*2^911082-1 is not prime. Res64: 834876E5D22C5D44 Time : 0.0 sec. user=Sloth [2010-10-12 01:03:02] 471*2^911086-1 is not prime. Res64: A5BB73E81A5ECD80 Time : 0.0 sec. user=Sloth [2010-10-12 01:04:32] 477*2^911086-1 is not prime. Res64: 519CEDB28F0AD72E Time : 0.0 sec. user=mdettweiler [2010-10-12 01:10:34] 463*2^911083-1 is not prime. Res64: 7D0FF0EB812B813F Time : 0.0 sec. user=mdettweiler [2010-10-12 01:10:35] 457*2^911085-1 is not prime. Res64: 7EB9F67EB441D33F Time : 0.0 sec. user=mdettweiler [2010-10-12 01:10:40] 475*2^911085-1 is not prime. Res64: 334E8D0D31E2EF68 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:10:41] 537*2^911085-1 is not prime. Res64: 4E3FB66826B671EA Time : 0.0 sec. user=mdettweiler [2010-10-12 01:11:53] 405*2^911086-1 is not prime. Res64: 4E2B54262050872F Time : 0.0 sec. user=mdettweiler [2010-10-12 01:11:53] 453*2^911086-1 is not prime. Res64: BAA93E33BBC1F581 Time : 0.0 sec. user=henryzz [2010-10-12 01:13:20] 439*2^911029-1 is not prime. Res64: 7CEF7492A5D35E24 Time : 0.0 sec. user=henryzz [2010-10-12 01:13:27] 525*2^911029-1 is not prime. Res64: 002B99F4169AA640 Time : 0.0 sec. user=Sloth [2010-10-12 01:21:12] 551*2^911086-1 is not prime. Res64: 7B917B90C50AF085 Time : 0.0 sec. user=henryzz [2010-10-12 01:22:24] 477*2^911030-1 is not prime. Res64: 9E5A3A9612BB6721 Time : 0.0 sec. user=Sloth [2010-10-12 01:22:30] 573*2^911086-1 is not prime. Res64: F5A75734180B27E4 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:27:43] 491*2^911086-1 is not prime. Res64: C085F6ECA1A86201 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:27:44] 525*2^911086-1 is not prime. Res64: 37F91E154819C16F Time : 0.0 sec. user=henryzz [2010-10-12 01:27:49] 521*2^911030-1 is not prime. Res64: E968D56A7BEBF503 Time : 0.0 sec. user=henryzz [2010-10-12 01:30:21] 465*2^911089-1 is not prime. Res64: 93ED6791D859BD83 Time : 0.0 sec. user=henryzz [2010-10-12 01:30:26] 569*2^911088-1 is not prime. Res64: 659A3B239945C370 Time : 0.0 sec. user=Sloth [2010-10-12 01:39:05] 517*2^911089-1 is not prime. Res64: F9E1E6CE26BB22BB Time : 0.0 sec. user=Sloth [2010-10-12 01:40:26] 589*2^911089-1 is not prime. Res64: AC4351BAE2BCFF41 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:41:03] 489*2^911087-1 is not prime. Res64: C1F6130EED5E57BF Time : 0.0 sec. user=mdettweiler [2010-10-12 01:41:03] 425*2^911088-1 is not prime. Res64: AB82AC3823B3449B Time : 0.0 sec. user=mdettweiler [2010-10-12 01:41:30] 467*2^911088-1 is not prime. Res64: D64D7D88A81ABF80 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:41:30] 473*2^911088-1 is not prime. Res64: FA985CD845CF9A8C Time : 0.0 sec. user=mdettweiler [2010-10-12 01:42:25] 485*2^911088-1 is not prime. Res64: B55BC5B1D2628E63 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:42:25] 539*2^911088-1 is not prime. Res64: AEC271838280B070 Time : 0.0 sec. user=Sloth [2010-10-12 01:56:56] 489*2^911091-1 is not prime. Res64: C6B29E228A53B5BA Time : 0.0 sec. user=mdettweiler [2010-10-12 01:58:09] 425*2^911090-1 is not prime. Res64: F11D66B0ED228437 Time : 0.0 sec. user=mdettweiler [2010-10-12 01:58:09] 447*2^911090-1 is not prime. Res64: 96FDD9C0CEBF6C22 Time : 0.0 sec. user=Sloth [2010-10-12 01:58:32] 493*2^911091-1 is not prime. Res64: 9EE0F4E8CBB73CF0 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:11:28] 531*2^911091-1 is not prime. Res64: B7FD25F7C01F8B43 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:11:29] 429*2^911092-1 is not prime. Res64: 75419309C29BA441 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:11:50] 449*2^911092-1 is not prime. Res64: 0186F8591625B63E Time : 0.0 sec. user=mdettweiler [2010-10-12 02:11:51] 489*2^911092-1 is not prime. Res64: EC61562F689B3143 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:12:51] 513*2^911092-1 is not prime. Res64: BF30E74CADDF2100 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:12:51] 533*2^911092-1 is not prime. Res64: 0877FDDE1E47010E Time : 0.0 sec. user=Sloth [2010-10-12 02:14:48] 563*2^911092-1 is not prime. Res64: 4B6C19FF1BA933E9 Time : 0.0 sec. user=Sloth [2010-10-12 02:16:24] 511*2^911093-1 is not prime. Res64: F477719CABD58BF4 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:28:36] 417*2^911093-1 is not prime. Res64: F94C32CEA4D80446 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:28:36] 439*2^911093-1 is not prime. Res64: 0B908B88A796FB50 Time : 0.0 sec. user=Sloth [2010-10-12 02:32:40] 411*2^911095-1 is not prime. Res64: 785F206A538CD781 Time : 0.0 sec. user=Sloth [2010-10-12 02:34:16] 453*2^911095-1 is not prime. Res64: 5838E65792A4D774 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:41:58] 529*2^911093-1 is not prime. Res64: 8EA0CDCABE6EF65E Time : 0.0 sec. user=mdettweiler [2010-10-12 02:41:59] 401*2^911094-1 is not prime. Res64: 11B39D764B76CF3F Time : 0.0 sec. user=mdettweiler [2010-10-12 02:42:18] 423*2^911094-1 is not prime. Res64: 85757FEA0F9B88D7 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:42:18] 495*2^911094-1 is not prime. Res64: 4F76DDDA5A4E0B77 Time : 0.0 sec. user=mdettweiler [2010-10-12 02:43:15] 551*2^911094-1 is not prime. Res64: D6F4ED67EEB7781F Time : 0.0 sec. user=mdettweiler [2010-10-12 02:43:15] 585*2^911094-1 is not prime. Res64: 17AA13EA684E76C3 Time : 0.0 sec. user=Sloth [2010-10-12 02:50:35] 573*2^911096-1 is not prime. Res64: A2E41790181B7DFF Time : 0.0 sec. user=Sloth [2010-10-12 02:52:09] 511*2^911097-1 is not prime. Res64: F238426AAC32F6EB Time : 0.0 sec. user=mdettweiler [2010-10-12 02:59:00] 463*2^911095-1 is not prime. Res64: 59B5D201C657CCEC Time : 0.0 sec. user=mdettweiler [2010-10-12 02:59:00] 511*2^911095-1 is not prime. Res64: A521AA38C821A595 Time : 0.0 sec. user=Sloth [2010-10-12 03:08:30] 593*2^911100-1 is not prime. Res64: 131BFA9F3A47EF10 Time : 0.0 sec. user=Sloth [2010-10-12 03:10:01] 409*2^911101-1 is not prime. Res64: 994592D044FAD60A Time : 0.0 sec. user=mdettweiler [2010-10-12 03:12:30] 413*2^911098-1 is not prime. Res64: 3899DB0A6C4B2ACA Time : 0.0 sec. user=mdettweiler [2010-10-12 03:12:30] 575*2^911098-1 is not prime. Res64: 1DB981FA2ADCCDFF Time : 0.0 sec. user=mdettweiler [2010-10-12 03:12:43] 403*2^911099-1 is not prime. Res64: 29E03FCDBF8085EF Time : 0.0 sec. user=mdettweiler [2010-10-12 03:12:43] 553*2^911099-1 is not prime. Res64: 3C75A49F40EE8D97 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:13:39] 455*2^911100-1 is not prime. Res64: A5A0AD20A22BAD24 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:13:39] 479*2^911100-1 is not prime. Res64: 976B82810137FE63 Time : 0.0 sec. user=Sloth [2010-10-12 03:26:24] 489*2^911101-1 is not prime. Res64: C6CBEC7EE10BD821 Time : 0.0 sec. user=Sloth [2010-10-12 03:27:54] 511*2^911101-1 is not prime. Res64: A77B23A5CC0551AA Time : 0.0 sec. user=mdettweiler [2010-10-12 03:29:24] 465*2^911101-1 is not prime. Res64: D63F1A76F5B533C8 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:29:25] 477*2^911101-1 is not prime. Res64: DD1DCBDB4018DB28 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:42:55] 517*2^911101-1 is not prime. Res64: 0DC8175ADD2B0C5F Time : 0.0 sec. user=mdettweiler [2010-10-12 03:42:55] 537*2^911101-1 is not prime. Res64: 191072BFCA835847 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:43:09] 547*2^911101-1 is not prime. Res64: 19ECAE1C925738E8 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:43:10] 549*2^911101-1 is not prime. Res64: 91F007372981364E Time : 0.0 sec. user=mdettweiler [2010-10-12 03:44:01] 417*2^911102-1 is not prime. Res64: C7B2A209D02F7B3C Time : 0.0 sec. user=mdettweiler [2010-10-12 03:44:01] 435*2^911102-1 is not prime. Res64: 5E65EF071ACF9A39 Time : 0.0 sec. user=Sloth [2010-10-12 03:44:16] 483*2^911102-1 is not prime. Res64: A30B76B99811FD57 Time : 0.0 sec. user=Sloth [2010-10-12 03:45:46] 551*2^911102-1 is not prime. Res64: 2358B2AA708F361A Time : 0.0 sec. user=mdettweiler [2010-10-12 03:59:51] 587*2^911102-1 is not prime. Res64: CC52E9DD2F813146 Time : 0.0 sec. user=mdettweiler [2010-10-12 03:59:51] 565*2^911103-1 is not prime. Res64: AF6D35F49FE2CC2B Time : 0.0 sec. user=Sloth [2010-10-12 04:02:10] 585*2^911105-1 is not prime. Res64: 2B8FD4A00DE769AC Time : 0.0 sec. user=Sloth [2010-10-12 04:03:38] 465*2^911106-1 is not prime. Res64: 0F83BD85844878BA Time : 0.0 sec. user=mdettweiler [2010-10-12 04:13:20] 419*2^911104-1 is not prime. Res64: 0915E4DC1353762D Time : 0.0 sec. user=mdettweiler [2010-10-12 04:13:21] 573*2^911104-1 is not prime. Res64: 12AFA6018714A252 Time : 0.0 sec. user=mdettweiler [2010-10-12 04:13:31] 465*2^911105-1 is not prime. Res64: 366E54F3137CE4D6 Time : 0.0 sec. user=mdettweiler [2010-10-12 04:13:31] 495*2^911105-1 is not prime. Res64: E41453FF9EE84B66 Time : 0.0 sec. user=mdettweiler [2010-10-12 04:14:24] 517*2^911105-1 is not prime. Res64: 2C6C6D679225DCCE Time : 0.0 sec. user=mdettweiler [2010-10-12 04:14:25] 579*2^911105-1 is not prime. Res64: 0291C5458477E4B6 Time : 0.0 sec. user=Sloth [2010-10-12 04:20:18] 553*2^911107-1 is not prime. Res64: 5627B3F7F7E8A7F5 Time : 0.0 sec. user=Sloth [2010-10-12 04:21:31] 435*2^911108-1 is not prime. Res64: F693408362708EAE Time : 0.0 sec. user=mdettweiler [2010-10-12 04:30:17] 497*2^911106-1 is not prime. Res64: BCB860B557A44A8F Time : 0.0 sec. user=mdettweiler [2010-10-12 04:30:17] 527*2^911106-1 is not prime. Res64: F07A8D4761E7C805 Time : 0.0 sec. user=Sloth [2010-10-12 04:38:10] 413*2^911110-1 is not prime. Res64: A49EC6F9720FA8A9 Time : 0.0 sec. user=Sloth [2010-10-12 04:39:23] 425*2^911110-1 is not prime. Res64: 461AD316EC1239EE Time : 0.0 sec. user=mdettweiler [2010-10-12 04:43:49] 567*2^911108-1 is not prime. Res64: 9262A2A1F1F7CF94 Time : 0.0 sec. user=mdettweiler [2010-10-12 04:43:49] 579*2^911108-1 is not prime. Res64: 9289EEAC73931A3B Time : 0.0 sec. user=mdettweiler [2010-10-12 04:44:01] 585*2^911108-1 is not prime. Res64: 4037D34F336167F1 Time : 0.0 sec. user=mdettweiler [2010-10-12 04:44:01] 447*2^911109-1 is not prime. Res64: F74C57C01BBA383E Time : 0.0 sec. user=mdettweiler [2010-10-12 04:44:48] 451*2^911109-1 is not prime. Res64: 584265DCACFCF7C1 Time : 0.0 sec. user=mdettweiler [2010-10-12 04:44:48] 549*2^911109-1 is not prime. Res64: B10E29BD35C3B49E Time : 0.0 sec. user=Sloth [2010-10-12 04:56:02] 467*2^911110-1 is not prime. Res64: 56246C69D698EADA Time : 0.0 sec. user=Sloth [2010-10-12 04:57:15] 483*2^911110-1 is not prime. Res64: 47E3D23F631C5C90 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:00:41] 455*2^911110-1 is not prime. Res64: 3F45BE0F96DEADAC Time : 0.0 sec. user=mdettweiler [2010-10-12 05:00:41] 461*2^911110-1 is not prime. Res64: 35B2F5B615956F06 Time : 0.0 sec. user=Sloth [2010-10-12 05:13:54] 419*2^911112-1 is not prime. Res64: 5B1AC703B7758795 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:14:15] 521*2^911110-1 is not prime. Res64: 1CFC5BB2A4DE7B81 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:14:15] 567*2^911110-1 is not prime. Res64: FB3B8F73E8BBE310 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:14:27] 409*2^911111-1 is not prime. Res64: BFF37BD70E6DC4AE Time : 0.0 sec. user=mdettweiler [2010-10-12 05:14:28] 475*2^911111-1 is not prime. Res64: 5941A8CAF0914324 Time : 0.0 sec. user=Sloth [2010-10-12 05:15:07] 447*2^911112-1 is not prime. Res64: 8D58EEF098BD57CB Time : 0.0 sec. user=mdettweiler [2010-10-12 05:15:12] 489*2^911111-1 is not prime. Res64: B0A195230B32164A Time : 0.0 sec. user=mdettweiler [2010-10-12 05:15:13] 595*2^911111-1 is not prime. Res64: BD712B43A1210687 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:31:06] 549*2^911112-1 is not prime. Res64: C1324E6B7A451FC2 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:31:06] 569*2^911112-1 is not prime. Res64: E37E09F55195BD39 Time : 0.0 sec. user=Sloth [2010-10-12 05:32:23] 411*2^911113-1 is not prime. Res64: F3435959BC866F73 Time : 0.0 sec. user=Sloth [2010-10-12 05:33:35] 525*2^911114-1 is not prime. Res64: 2602A087BD31369A Time : 0.0 sec. user=mdettweiler [2010-10-12 05:44:42] 495*2^911113-1 is not prime. Res64: E63184518BCB73A4 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:44:42] 499*2^911113-1 is not prime. Res64: D568F0C0BF588237 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:44:54] 595*2^911113-1 is not prime. Res64: FD55EF163BFAD24E Time : 0.0 sec. user=mdettweiler [2010-10-12 05:44:54] 495*2^911114-1 is not prime. Res64: 3B96ABA195E68198 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:45:33] 533*2^911114-1 is not prime. Res64: 9CE438F8639EF7D4 Time : 0.0 sec. user=mdettweiler [2010-10-12 05:45:33] 411*2^911115-1 is not prime. Res64: 669E54B6748B785E Time : 0.0 sec. user=Sloth [2010-10-12 05:50:16] 479*2^911116-1 is not prime. Res64: 9E92DA9821E9971E Time : 0.0 sec. user=Sloth [2010-10-12 05:51:28] 527*2^911116-1 is not prime. Res64: C3267BF33679436A Time : 0.0 sec. user=mdettweiler [2010-10-12 06:01:29] 415*2^911115-1 is not prime. Res64: CCA2A2C4A8739FFF Time : 0.0 sec. user=mdettweiler [2010-10-12 06:01:29] 553*2^911115-1 is not prime. Res64: 53115ADC5E81EFC6 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:15:07] 545*2^911116-1 is not prime. Res64: 178D7DDCFECC6BC6 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:15:08] 573*2^911116-1 is not prime. Res64: F637F6D014296DF5 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:15:23] 421*2^911117-1 is not prime. Res64: 4DA0996ED91DD65E Time : 0.0 sec. user=mdettweiler [2010-10-12 06:15:24] 439*2^911117-1 is not prime. Res64: 680A811C06FCAA38 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:15:56] 465*2^911117-1 is not prime. Res64: 252F4996211FCEEF Time : 0.0 sec. user=mdettweiler [2010-10-12 06:15:56] 529*2^911117-1 is not prime. Res64: 73227A603A1FA703 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:32:02] 483*2^911118-1 is not prime. Res64: A316AEC75F4EBE3D Time : 0.0 sec. user=mdettweiler [2010-10-12 06:32:03] 525*2^911118-1 is not prime. Res64: 33CF698F79BF435A Time : 0.0 sec. user=mdettweiler [2010-10-12 06:45:44] 527*2^911118-1 is not prime. Res64: A4DF3C159734409A Time : 0.0 sec. user=mdettweiler [2010-10-12 06:45:44] 581*2^911118-1 is not prime. Res64: D0C3DAFE22ABB138 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:45:57] 493*2^911119-1 is not prime. Res64: 56C753C5C266066A Time : 0.0 sec. user=mdettweiler [2010-10-12 06:45:57] 505*2^911119-1 is not prime. Res64: DC18B00FA32FB388 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:46:28] 589*2^911119-1 is not prime. Res64: 6F63F2968F7AE084 Time : 0.0 sec. user=mdettweiler [2010-10-12 06:46:28] 405*2^911120-1 is not prime. Res64: 97495DF728EFDED3 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:02:28] 537*2^911120-1 is not prime. Res64: 367D11D7E3018FCD Time : 0.0 sec. user=mdettweiler [2010-10-12 07:02:28] 459*2^911121-1 is not prime. Res64: 73FFD664288C7BD7 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:16:09] 487*2^911121-1 is not prime. Res64: 2E90576AF1B39CA2 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:16:09] 507*2^911121-1 is not prime. Res64: C2CD9845E02ED865 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:16:23] 447*2^911122-1 is not prime. Res64: 859E1B59E3F65E96 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:16:23] 495*2^911122-1 is not prime. Res64: 1BCE3840B4579070 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:16:49] 551*2^911122-1 is not prime. Res64: CDBDD77D322DB578 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:16:49] 511*2^911123-1 is not prime. Res64: 451A41CB1D1C7E3E Time : 0.0 sec. user=mdettweiler [2010-10-12 07:32:57] 571*2^911123-1 is not prime. Res64: 8FADB56AD60C32A1 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:32:57] 425*2^911124-1 is not prime. Res64: D9CF1A50FB55763A Time : 0.0 sec. user=mdettweiler [2010-10-12 07:46:36] 447*2^911124-1 is not prime. Res64: 51D9E4FEC6438446 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:46:36] 539*2^911124-1 is not prime. Res64: AE4AF2301E363451 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:46:48] 405*2^911125-1 is not prime. Res64: 511B92383C00A6EF Time : 0.0 sec. user=mdettweiler [2010-10-12 07:46:48] 415*2^911125-1 is not prime. Res64: 217173109D952780 Time : 0.0 sec. user=mdettweiler [2010-10-12 07:47:13] 519*2^911125-1 is not prime. Res64: 746A7F98B4F1460F Time : 0.0 sec. user=mdettweiler [2010-10-12 07:47:13] 565*2^911125-1 is not prime. Res64: 69F86D9BB90704C1 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:03:22] 567*2^911125-1 is not prime. Res64: F824227384C3F1B1 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:03:23] 591*2^911125-1 is not prime. Res64: 6DD4F8FD823F9A6B Time : 0.0 sec. user=mdettweiler [2010-10-12 08:16:58] 525*2^911126-1 is not prime. Res64: ACDEC9584569A722 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:16:59] 581*2^911126-1 is not prime. Res64: B222BA395F0AFFAB Time : 0.0 sec. user=mdettweiler [2010-10-12 08:17:13] 593*2^911126-1 is not prime. Res64: B871BC92001DE15E Time : 0.0 sec. user=mdettweiler [2010-10-12 08:17:13] 433*2^911127-1 is not prime. Res64: 79F28A429A77A2F7 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:17:37] 441*2^911127-1 is not prime. Res64: 6616601BB5F90340 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:17:38] 465*2^911127-1 is not prime. Res64: 29DCD97912D3BBD1 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:34:04] 483*2^911127-1 is not prime. Res64: BACE7322D15C6D62 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:34:04] 571*2^911127-1 is not prime. Res64: 9F56E5EFB47259D5 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:47:24] 595*2^911127-1 is not prime. Res64: 62D0C319EC9B8BED Time : 0.0 sec. user=mdettweiler [2010-10-12 08:47:24] 465*2^911128-1 is not prime. Res64: 39E350A68B038772 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:47:39] 569*2^911128-1 is not prime. Res64: 7972492A5C5A7585 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:47:39] 501*2^911129-1 is not prime. Res64: 465522F7C2876D74 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:48:00] 507*2^911129-1 is not prime. Res64: CEFAC10947DA6DA4 Time : 0.0 sec. user=mdettweiler [2010-10-12 08:48:00] 567*2^911129-1 is not prime. Res64: 03B7B443565A4012 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:04:29] 589*2^911129-1 is not prime. Res64: D2B3C4E94E0C74D1 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:04:30] 413*2^911130-1 is not prime. Res64: 2B2A29AD54AE1242 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:17:53] 443*2^911130-1 is not prime. Res64: 7C1EE0562CD0D104 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:17:53] 465*2^911130-1 is not prime. Res64: 907210BF1F335FC4 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:18:06] 521*2^911130-1 is not prime. Res64: 156AD02135D9030F Time : 0.0 sec. user=mdettweiler [2010-10-12 09:18:06] 531*2^911130-1 is not prime. Res64: D1379BB1FCA30084 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:18:30] 563*2^911130-1 is not prime. Res64: CACEC8B3487EE245 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:18:30] 587*2^911130-1 is not prime. Res64: 4CAD5BB16B2D8572 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:35:02] 463*2^911131-1 is not prime. Res64: D3D56CB6D8E3DA03 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:35:02] 573*2^911131-1 is not prime. Res64: 1220553AAB66FCF3 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:48:24] 453*2^911132-1 is not prime. Res64: 7A5B42FF6BDEC0E4 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:48:24] 507*2^911132-1 is not prime. Res64: BD6AB81FF26AFBEA Time : 0.0 sec. user=mdettweiler [2010-10-12 09:48:53] 515*2^911132-1 is not prime. Res64: 0A13DA5FF9AB56DD Time : 0.0 sec. user=mdettweiler [2010-10-12 09:48:53] 573*2^911132-1 is not prime. Res64: 2622535CF77CB335 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:49:06] 579*2^911132-1 is not prime. Res64: 29CB403D27BF1462 Time : 0.0 sec. user=mdettweiler [2010-10-12 09:49:06] 593*2^911132-1 is not prime. Res64: 569C97C2B3F54378 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:05:42] 481*2^911133-1 is not prime. Res64: 501298D16428AA40 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:05:42] 495*2^911133-1 is not prime. Res64: E724F8D6EE168F4A Time : 0.0 sec. user=mdettweiler [2010-10-12 10:19:04] 595*2^911133-1 is not prime. Res64: A48A639B415C7EA6 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:19:04] 597*2^911133-1 is not prime. Res64: 013FDD98BF1CE53B Time : 0.0 sec. user=mdettweiler [2010-10-12 10:19:36] 413*2^911134-1 is not prime. Res64: ED3747DC14C6F66E Time : 0.0 sec. user=mdettweiler [2010-10-12 10:19:36] 435*2^911134-1 is not prime. Res64: E7CA66E29AF320EE Time : 0.0 sec. user=mdettweiler [2010-10-12 10:19:48] 453*2^911134-1 is not prime. Res64: E5C7DB4A93F6AAB8 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:19:48] 461*2^911134-1 is not prime. Res64: 31D1DEFC864AE835 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:36:44] 491*2^911134-1 is not prime. Res64: 1FD60D234E65B8D0 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:36:44] 551*2^911134-1 is not prime. Res64: 446DB35BCA95BB56 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:49:45] 561*2^911134-1 is not prime. Res64: F5727FAA2D3ECD52 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:49:46] 465*2^911135-1 is not prime. Res64: 39C8320FAB15E7C3 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:50:19] 475*2^911135-1 is not prime. Res64: AF7381DFB1D87274 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:50:19] 591*2^911135-1 is not prime. Res64: 7A2AEDFDCA3AADD7 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:50:25] 525*2^911136-1 is not prime. Res64: 9E388E0561DA54B9 Time : 0.0 sec. user=mdettweiler [2010-10-12 10:50:25] 597*2^911136-1 is not prime. Res64: 97DF4D9DFAF27F8A Time : 0.0 sec. user=mdettweiler [2010-10-12 11:07:09] 471*2^911137-1 is not prime. Res64: D44817674A4D9AB0 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:07:10] 505*2^911137-1 is not prime. Res64: 105D1F9AF53EC981 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:20:15] 537*2^911137-1 is not prime. Res64: 6B42EFA688654CBA Time : 0.0 sec. user=mdettweiler [2010-10-12 11:20:15] 417*2^911138-1 is not prime. Res64: B9BF0D21DEC62B0A Time : 0.0 sec. user=mdettweiler [2010-10-12 11:20:41] 425*2^911138-1 is not prime. Res64: 6E119B69DCF46D6B Time : 0.0 sec. user=mdettweiler [2010-10-12 11:20:41] 545*2^911138-1 is not prime. Res64: 8AE01B174499477E Time : 0.0 sec. user=mdettweiler [2010-10-12 11:20:47] 465*2^911139-1 is not prime. Res64: B7E9D3FAFBDF1C82 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:20:47] 489*2^911139-1 is not prime. Res64: B5BB6C50EC24CEFB Time : 0.0 sec. user=henryzz [2010-10-12 11:23:58] 407*2^911090-1 is not prime. Res64: 9C1BDFC9354FA618 Time : 0.0 sec. user=henryzz [2010-10-12 11:31:56] 525*2^911090-1 is not prime. Res64: 29A5DE492D5A5FE7 Time : 0.0 sec. user=henryzz [2010-10-12 11:33:46] 415*2^911091-1 is not prime. Res64: 9C065D19453297F5 Time : 0.0 sec. user=henryzz [2010-10-12 11:34:15] 483*2^911091-1 is not prime. Res64: E64EA81534FBF689 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:37:36] 493*2^911139-1 is not prime. Res64: 9E2FCCD9E2A39EEB Time : 0.0 sec. user=mdettweiler [2010-10-12 11:37:36] 531*2^911139-1 is not prime. Res64: C8330E250450BCDA Time : 0.0 sec. user=henryzz [2010-10-12 11:42:38] 519*2^911140-1 is not prime. Res64: 87D37A4D3BA3E21F Time : 0.0 sec. user=mdettweiler [2010-10-12 11:50:40] 543*2^911139-1 is not prime. Res64: AF6C955116BF94F9 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:50:40] 553*2^911139-1 is not prime. Res64: 3FFD511AF8CF5909 Time : 0.0 sec. user=henryzz [2010-10-12 11:50:53] 579*2^911140-1 is not prime. Res64: 52A5A1949A53C258 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:51:08] 583*2^911139-1 is not prime. Res64: 7400B6A8643E4736 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:51:08] 465*2^911140-1 is not prime. Res64: B787E20CD47F1E21 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:51:09] 437*2^911140-1 is not prime. Res64: 73C672E1AB3CDDF6 Time : 0.0 sec. user=mdettweiler [2010-10-12 11:51:09] 513*2^911140-1 is not prime. Res64: 3009E5C32E35BB17 Time : 0.0 sec. user=henryzz [2010-10-12 11:52:48] 421*2^911141-1 is not prime. Res64: 562F8F96D312106A Time : 0.0 sec. user=henryzz [2010-10-12 11:53:02] 489*2^911141-1 is not prime. Res64: D4C5322DB4CAD689 Time : 0.0 sec. user=henryzz [2010-10-12 11:59:54] 425*2^911142-1 is not prime. Res64: D431FB993AD771C0 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:07:57] 529*2^911141-1 is not prime. Res64: 9B095D0BD4C21B50 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:07:58] 559*2^911141-1 is not prime. Res64: 6A3E4701FAC75B31 Time : 0.0 sec. user=henryzz [2010-10-12 12:08:56] 413*2^911144-1 is not prime. Res64: 80D087908084906B Time : 0.0 sec. user=henryzz [2010-10-12 12:10:22] 433*2^911143-1 is not prime. Res64: 1FB514DF74583DA8 Time : 0.0 sec. user=henryzz [2010-10-12 12:12:39] 473*2^911144-1 is not prime. Res64: C227FDD05D933486 Time : 0.0 sec. user=henryzz [2010-10-12 12:15:45] 563*2^911144-1 is not prime. Res64: 01B9135699E6FA71 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:21:07] 483*2^911142-1 is not prime. Res64: EDD674D100403703 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:21:08] 555*2^911142-1 is not prime. Res64: E43BE4DC1ABE09C7 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:21:32] 493*2^911143-1 is not prime. Res64: 82B63C73DD77AFF7 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:21:33] 589*2^911143-1 is not prime. Res64: 99C1B5795EAECABF Time : 0.0 sec. user=mdettweiler [2010-10-12 12:21:33] 441*2^911143-1 is not prime. Res64: D7A96FD1DE44E36A Time : 0.0 sec. user=mdettweiler [2010-10-12 12:21:33] 451*2^911143-1 is not prime. Res64: 110F9067668CF03B Time : 0.0 sec. user=henryzz [2010-10-12 12:24:59] 597*2^911145-1 is not prime. Res64: CE1EF2009FEC37A1 Time : 0.0 sec. user=henryzz [2010-10-12 12:29:18] 505*2^911147-1 is not prime. Res64: 4C4AF3D40621A248 Time : 0.0 sec. user=henryzz [2010-10-12 12:29:52] 545*2^911146-1 is not prime. Res64: E0CE05171A59321C Time : 0.0 sec. user=henryzz [2010-10-12 12:34:17] 511*2^911147-1 is not prime. Res64: BF137CD79760813B Time : 0.0 sec. user=mdettweiler [2010-10-12 12:38:31] 445*2^911145-1 is not prime. Res64: CAB858ABD5475DA2 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:38:31] 529*2^911145-1 is not prime. Res64: 7C0D3FFC3331AE37 Time : 0.0 sec. user=henryzz [2010-10-12 12:43:28] 555*2^911148-1 is not prime. Res64: E249B6942F10BFEB Time : 0.0 sec. user=henryzz [2010-10-12 12:45:14] 569*2^911148-1 is not prime. Res64: 3D269E679C35DC0C Time : 0.0 sec. user=henryzz [2010-10-12 12:48:43] 489*2^911149-1 is not prime. Res64: B007BFB36527D0EC Time : 0.0 sec. user=henryzz [2010-10-12 12:50:19] 517*2^911149-1 is not prime. Res64: E40D876961BB307D Time : 0.0 sec. user=mdettweiler [2010-10-12 12:51:32] 523*2^911147-1 is not prime. Res64: CA9D86C353A69634 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:51:32] 585*2^911147-1 is not prime. Res64: B7388CA62E7DE2AB Time : 0.0 sec. user=mdettweiler [2010-10-12 12:51:52] 419*2^911148-1 is not prime. Res64: 778B2F7F49C18B0B Time : 0.0 sec. user=mdettweiler [2010-10-12 12:51:52] 503*2^911148-1 is not prime. Res64: C275C356E8893BF6 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:51:57] 525*2^911148-1 is not prime. Res64: E68A2549FE2EB631 Time : 0.0 sec. user=mdettweiler [2010-10-12 12:51:58] 549*2^911148-1 is not prime. Res64: 90E48960B820B45B Time : 0.0 sec. user=henryzz [2010-10-12 13:00:15] 437*2^911150-1 is not prime. Res64: B806A0768B2B9F8A Time : 0.0 sec. user=henryzz [2010-10-12 13:01:15] 467*2^911150-1 is not prime. Res64: C000F962733A49FD Time : 0.0 sec. user=henryzz [2010-10-12 13:06:28] 541*2^911151-1 is not prime. Res64: E16C6A7041CE6A2A Time : 0.0 sec. user=henryzz [2010-10-12 13:06:34] 483*2^911151-1 is not prime. Res64: 78367FC05C6BB5E7 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:09:47] 555*2^911149-1 is not prime. Res64: 079B026753B87425 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:09:48] 559*2^911149-1 is not prime. Res64: A53B3D826B61A257 Time : 0.0 sec. user=henryzz [2010-10-12 13:16:20] 483*2^911154-1 is not prime. Res64: 6F1CB4BE09A9472A Time : 0.0 sec. user=henryzz [2010-10-12 13:18:22] 551*2^911154-1 is not prime. Res64: 0DFEA5EB32304ACC Time : 0.0 sec. user=mdettweiler [2010-10-12 13:23:19] 567*2^911152-1 is not prime. Res64: 5D5C1F415959590D Time : 0.0 sec. user=mdettweiler [2010-10-12 13:23:20] 435*2^911153-1 is not prime. Res64: E9655F2E20AA0DA6 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:23:33] 571*2^911153-1 is not prime. Res64: 47977CA1284C1F73 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:23:33] 413*2^911154-1 is not prime. Res64: C28C5415FD4F5D26 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:23:39] 475*2^911153-1 is not prime. Res64: 04F12B1CE23CCC2C Time : 0.0 sec. user=mdettweiler [2010-10-12 13:23:39] 549*2^911153-1 is not prime. Res64: 7CCA818890C06C82 Time : 0.0 sec. user=henryzz [2010-10-12 13:24:09] 433*2^911155-1 is not prime. Res64: 1A8AF7CAD50F528B Time : 0.0 sec. user=henryzz [2010-10-12 13:27:48] 511*2^911155-1 is not prime. Res64: F133001526DF7392 Time : 0.0 sec. user=henryzz [2010-10-12 13:34:48] 517*2^911157-1 is not prime. Res64: DEB3DF4155B826E7 Time : 0.0 sec. user=henryzz [2010-10-12 13:35:48] 579*2^911157-1 is not prime. Res64: 49EF9A4D6DB940CD Time : 0.0 sec. user=mdettweiler [2010-10-12 13:40:47] 519*2^911155-1 is not prime. Res64: 71DA0EF8978B29AC Time : 0.0 sec. user=mdettweiler [2010-10-12 13:40:47] 465*2^911157-1 is not prime. Res64: CBDDC754C5760571 Time : 0.0 sec. user=henryzz [2010-10-12 13:41:53] 515*2^911160-1 is not prime. Res64: 4694F8328ED03F7A Time : 0.0 sec. user=henryzz [2010-10-12 13:45:35] 525*2^911160-1 is not prime. Res64: 1945F2143EA11995 Time : 0.0 sec. user=henryzz [2010-10-12 13:52:55] 421*2^911161-1 is not prime. Res64: 7111FD9210839234 Time : 0.0 sec. user=henryzz [2010-10-12 13:53:01] 511*2^911161-1 is not prime. Res64: 317BB527023A672A Time : 0.0 sec. user=mdettweiler [2010-10-12 13:54:11] 483*2^911158-1 is not prime. Res64: 68563C9AEB694A77 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:54:11] 527*2^911158-1 is not prime. Res64: 92A3D7756E247ED4 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:54:17] 411*2^911159-1 is not prime. Res64: E0F87518D0267EA9 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:54:18] 433*2^911159-1 is not prime. Res64: FE0DD32A18AE05D2 Time : 0.0 sec. user=mdettweiler [2010-10-12 13:54:24] 565*2^911159-1 is not prime. Res64: A31EDD8D2EAC727D Time : 0.0 sec. user=mdettweiler [2010-10-12 13:54:25] 423*2^911160-1 is not prime. Res64: 5CE3D2B6B91F377D Time : 0.0 sec. user=henryzz [2010-10-12 13:59:52] 475*2^911163-1 is not prime. Res64: 532AD5116B39C560 Time : 0.0 sec. user=henryzz [2010-10-12 14:03:37] 529*2^911163-1 is not prime. Res64: 71F6346685BB79A4 Time : 0.0 sec. user=henryzz [2010-10-12 14:09:54] 575*2^911164-1 is not prime. Res64: 3DAE0C69D39BF188 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:11:33] 533*2^911162-1 is not prime. Res64: 8919EFC52788DA27 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:11:33] 433*2^911163-1 is not prime. Res64: 60DA7A7707C06A58 Time : 0.0 sec. user=henryzz [2010-10-12 14:13:04] 447*2^911164-1 is not prime. Res64: EB447B2DED4EC50F Time : 0.0 sec. user=henryzz [2010-10-12 14:16:51] 485*2^911166-1 is not prime. Res64: 31A12C8305ABB5B6 Time : 0.0 sec. user=henryzz [2010-10-12 14:23:16] 495*2^911166-1 is not prime. Res64: EED9A7BA015A8681 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:24:53] 451*2^911165-1 is not prime. Res64: 6F08CC38DB3B7214 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:24:54] 567*2^911165-1 is not prime. Res64: 399E17B4F962A6AB Time : 0.0 sec. user=mdettweiler [2010-10-12 14:25:07] 591*2^911165-1 is not prime. Res64: C71CBC17E51F9356 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:25:07] 425*2^911166-1 is not prime. Res64: 994B30F0981553AA Time : 0.0 sec. user=mdettweiler [2010-10-12 14:25:13] 443*2^911166-1 is not prime. Res64: 75C680F39B909A94 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:25:14] 483*2^911166-1 is not prime. Res64: B3B7D4CDDC61C81F Time : 0.0 sec. user=mdettweiler [2010-10-12 14:42:23] 573*2^911166-1 is not prime. Res64: 8372F371C3713D4E Time : 0.0 sec. user=mdettweiler [2010-10-12 14:42:23] 593*2^911166-1 is not prime. Res64: DA897637ED9BB57C Time : 0.0 sec. user=mdettweiler [2010-10-12 14:55:49] 465*2^911168-1 is not prime. Res64: B3B5F5EB937404F7 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:55:49] 495*2^911168-1 is not prime. Res64: FEF2C14360027DC5 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:55:49] 415*2^911169-1 is not prime. Res64: 8546BD5EFBFAC967 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:55:49] 457*2^911169-1 is not prime. Res64: 82B207E72F43F613 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:55:57] 459*2^911169-1 is not prime. Res64: 3E9335ECC55BB6A9 Time : 0.0 sec. user=mdettweiler [2010-10-12 14:55:58] 535*2^911169-1 is not prime. Res64: 0FE8C45CE377D3EE Time : 0.0 sec. user=mdettweiler [2010-10-12 15:13:08] 401*2^911170-1 is not prime. Res64: 4DDFEC96594DA2E7 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:13:09] 425*2^911170-1 is not prime. Res64: 738CFB30E1718425 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:26:19] 411*2^911171-1 is not prime. Res64: BB960D1E45E8E8A3 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:26:20] 421*2^911171-1 is not prime. Res64: 57D0F9D300C91C40 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:26:32] 437*2^911170-1 is not prime. Res64: B758668BD9F4F8C6 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:26:32] 467*2^911170-1 is not prime. Res64: 595377C8D97AAD20 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:26:51] 433*2^911171-1 is not prime. Res64: AA8785BD3A3F264E Time : 0.0 sec. user=mdettweiler [2010-10-12 15:26:51] 585*2^911171-1 is not prime. Res64: E8C486C94344CFC7 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:44:05] 455*2^911172-1 is not prime. Res64: E0931AE2C32AAA16 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:44:05] 479*2^911172-1 is not prime. Res64: 0FFFEF8870E571E9 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:57:12] 525*2^911173-1 is not prime. Res64: 1873BC6A7F68477D Time : 0.0 sec. user=mdettweiler [2010-10-12 15:57:12] 537*2^911173-1 is not prime. Res64: 372AC3DA3CB06D6D Time : 0.0 sec. user=mdettweiler [2010-10-12 15:57:18] 549*2^911173-1 is not prime. Res64: 6D110F5D76426C4B Time : 0.0 sec. user=mdettweiler [2010-10-12 15:57:18] 565*2^911173-1 is not prime. Res64: 775B1C5B09772332 Time : 0.0 sec. user=mdettweiler [2010-10-12 15:57:35] 411*2^911174-1 is not prime. Res64: 93B89A145C080CDF Time : 0.0 sec. user=mdettweiler [2010-10-12 15:57:35] 473*2^911174-1 is not prime. Res64: CBCBF759E62CD018 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:14:37] 521*2^911174-1 is not prime. Res64: 71A8386FA4858B98 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:14:38] 593*2^911174-1 is not prime. Res64: 124089B2553853BA Time : 0.0 sec. user=mdettweiler [2010-10-12 16:28:01] 411*2^911175-1 is not prime. Res64: 4B9A816445E770BE Time : 0.0 sec. user=mdettweiler [2010-10-12 16:28:02] 513*2^911175-1 is not prime. Res64: 1ADD391B10893568 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:28:07] 573*2^911175-1 is not prime. Res64: 7D6732C71E092F79 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:28:08] 525*2^911176-1 is not prime. Res64: 032B894DA89B9924 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:28:17] 447*2^911177-1 is not prime. Res64: FD9ED48088812FF0 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:28:17] 423*2^911178-1 is not prime. Res64: 8D0666166AAA1E0F Time : 0.0 sec. user=mdettweiler [2010-10-12 16:45:39] 447*2^911178-1 is not prime. Res64: 1C2355A8051110B7 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:45:40] 461*2^911178-1 is not prime. Res64: 318C8BC984A2555F Time : 0.0 sec. user=mdettweiler [2010-10-12 16:59:32] 567*2^911178-1 is not prime. Res64: 4016167D0130226E Time : 0.0 sec. user=mdettweiler [2010-10-12 16:59:33] 421*2^911179-1 is not prime. Res64: 873D284354C685BB Time : 0.0 sec. user=mdettweiler [2010-10-12 16:59:47] 497*2^911178-1 is not prime. Res64: 625016FBE60124C9 Time : 0.0 sec. user=mdettweiler [2010-10-12 16:59:48] 507*2^911178-1 is not prime. Res64: A155D8899420DACD Time : 0.0 sec. user=mdettweiler [2010-10-12 16:59:57] 429*2^911179-1 is not prime. Res64: C5997D41AED702BC Time : 0.0 sec. user=mdettweiler [2010-10-12 16:59:58] 441*2^911179-1 is not prime. Res64: A8A1BF938196A7BA Time : 0.0 sec. user=Sloth [2010-10-12 17:17:17] 453*2^911118-1 is not prime. Res64: BC2DA4924531284B Time : 0.0 sec. user=Sloth [2010-10-12 17:17:23] 405*2^911118-1 is not prime. Res64: 656044B41CE9CF71 Time : 0.0 sec. user=mdettweiler [2010-10-12 17:18:50] 481*2^911179-1 is not prime. Res64: 332BE9D5C4D096BD Time : 0.0 sec. user=mdettweiler [2010-10-12 17:18:51] 531*2^911179-1 is not prime. Res64: 01D8F3903696AE0B Time : 0.0 sec. user=mdettweiler [2010-10-12 17:32:36] 555*2^911179-1 is not prime. Res64: 018F53A8F4B4B3EA Time : 0.0 sec. user=mdettweiler [2010-10-12 17:32:36] 413*2^911180-1 is not prime. Res64: 681D8D31AD54CBF8 Time : 0.0 sec. user=mdettweiler [2010-10-12 17:32:52] 545*2^911180-1 is not prime. Res64: C76B02119B4148A0 Time : 0.0 sec. user=mdettweiler [2010-10-12 17:32:52] 585*2^911180-1 is not prime. Res64: D8BC0459EA6B1D26 Time : 0.0 sec. user=mdettweiler [2010-10-12 17:33:12] 437*2^911180-1 is not prime. Res64: 19E129E01238DB25 Time : 0.0 sec. user=mdettweiler [2010-10-12 17:33:12] 459*2^911180-1 is not prime. Res64: 554380683214D799 Time : 0.0 sec. user=Sloth [2010-10-12 17:35:10] 599*2^911180-1 is not prime. Res64: B4DA33DDD84CF3FF Time : 0.0 sec. user=Sloth [2010-10-12 17:35:17] 405*2^911181-1 is not prime. Res64: A60EEE1A677D1A6E Time : 0.0 sec. user=mdettweiler [2010-10-12 17:50:20] 417*2^911181-1 is not prime. Res64: 024F2AB500F9947F Time : 0.0 sec. user=mdettweiler [2010-10-12 17:50:20] 549*2^911181-1 is not prime. Res64: 92EDD4380432C87C Time : 0.0 sec. user=Sloth [2010-10-12 17:53:02] 519*2^911183-1 is not prime. Res64: C0146F9F92F7B728 Time : 0.0 sec. user=Sloth [2010-10-12 17:53:09] 525*2^911183-1 is not prime. Res64: A639BDFF76110B3C Time : 0.0 sec. user=mdettweiler [2010-10-12 18:03:17] 577*2^911181-1 is not prime. Res64: 4649826FF854914E Time : 0.0 sec. user=mdettweiler [2010-10-12 18:03:18] 483*2^911182-1 is not prime. Res64: F751D8C62F84EAE0 Time : 0.0 sec. user=mdettweiler [2010-10-12 18:03:34] 545*2^911182-1 is not prime. Res64: 2AC5FA884F01EF20 Time : 0.0 sec. user=mdettweiler [2010-10-12 18:03:37] 581*2^911182-1 is not prime. Res64: 92F9448E42FFF94A Time : 0.0 sec. user=mdettweiler [2010-10-12 18:04:01] 435*2^911183-1 is not prime. Res64: 20B2751352E044EA Time : 0.0 sec. user=mdettweiler [2010-10-12 18:04:02] 505*2^911183-1 is not prime. Res64: 3D0BE5E2B2DCF7B8 Time : 0.0 sec. user=Sloth [2010-10-12 18:10:55] 455*2^911184-1 is not prime. Res64: 930BF14D2A1F9446 Time : 0.0 sec. user=Sloth [2010-10-12 18:11:01] 489*2^911184-1 is not prime. Res64: 88A258FECC8CCA42 Time : 0.0 sec. user=mdettweiler [2010-10-12 18:20:49] 565*2^911183-1 is not prime. Res64: E4036B612F4A7DEC Time : 0.0 sec. user=mdettweiler [2010-10-12 18:20:49] 589*2^911183-1 is not prime. Res64: A8942CC1324C035D Time : 0.0 sec. user=Sloth [2010-10-12 18:28:47] 541*2^911185-1 is not prime. Res64: 5D9E9FF0043D6CFA Time : 0.0 sec. user=Sloth [2010-10-12 18:28:59] 561*2^911185-1 is not prime. Res64: A3AF92B566BAA6ED Time : 0.0 sec. user=mdettweiler [2010-10-12 18:33:59] 421*2^911185-1 is not prime. Res64: 97B0EFEE922D03DB Time : 0.0 sec. user=mdettweiler [2010-10-12 18:33:59] 489*2^911185-1 is not prime. Res64: 67D79530FBBBAFC7 Time : 0.0 sec. user=mdettweiler [2010-10-12 18:34:05] 585*2^911184-1 is not prime. Res64: 338784A751BFE739 Time : 0.0 sec. user=mdettweiler [2010-10-12 18:34:05] 411*2^911185-1 is not prime. Res64: A7A371F1B0D602F5 Time : 0.0 sec. user=mdettweiler [2010-10-12 18:34:29] 525*2^911185-1 is not prime. Res64: CF752EAEF142D62D Time : 0.0 sec. user=mdettweiler [2010-10-12 18:34:29] 537*2^911185-1 is not prime. Res64: 685B1063EA0B9985 Time : 0.0 sec. user=Sloth [2010-10-12 18:46:39] 497*2^911186-1 is not prime. Res64: D8865BCF30129E9C Time : 0.0 sec. user=Sloth [2010-10-12 18:46:52] 503*2^911186-1 is not prime. Res64: 7178BB4F8C53411E Time : 0.0 sec. user=mdettweiler [2010-10-12 18:51:13] 407*2^911186-1 is not prime. Res64: B650243F8CD9419C Time : 0.0 sec. user=mdettweiler [2010-10-12 18:51:13] 447*2^911186-1 is not prime. Res64: 6AC863991FAC0444 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:04:25] 567*2^911186-1 is not prime. Res64: 3149C8B58182803C Time : 0.0 sec. user=mdettweiler [2010-10-12 19:04:25] 581*2^911186-1 is not prime. Res64: CCD11EE38BDD4F6E Time : 0.0 sec. user=mdettweiler [2010-10-12 19:04:26] 551*2^911186-1 is not prime. Res64: 6A35147ECCC26967 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:04:26] 563*2^911186-1 is not prime. Res64: 58167E66C643FDA5 Time : 0.0 sec. user=Sloth [2010-10-12 19:04:28] 501*2^911187-1 is not prime. Res64: 8BF18FDB94BA1882 Time : 0.0 sec. user=Sloth [2010-10-12 19:04:44] 435*2^911188-1 is not prime. Res64: 818151BDC47D373B Time : 0.0 sec. user=mdettweiler [2010-10-12 19:04:57] 441*2^911187-1 is not prime. Res64: 37EC9FA390B72FFB Time : 0.0 sec. user=mdettweiler [2010-10-12 19:04:57] 471*2^911187-1 is not prime. Res64: 6944CC4707F1BC90 Time : 0.0 sec. user=Menipe [2010-10-12 19:06:56] 537*2^911169-1 is not prime. Res64: E02CD48962CA17F8 Time : 0.0 sec. user=Menipe [2010-10-12 19:06:57] 559*2^911169-1 is not prime. Res64: 431AD4DA9FF23A35 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:21:35] 527*2^911188-1 is not prime. Res64: 416154AA8D0F18CC Time : 0.0 sec. user=mdettweiler [2010-10-12 19:21:35] 445*2^911189-1 is not prime. Res64: 31AA2D2CEAA76E47 Time : 0.0 sec. user=Sloth [2010-10-12 19:22:24] 513*2^911190-1 is not prime. Res64: D0283D467AE6D1F2 Time : 0.0 sec. user=Sloth [2010-10-12 19:22:36] 525*2^911190-1 is not prime. Res64: 29F8BFE12C660E15 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:34:48] 507*2^911189-1 is not prime. Res64: 3A0697D84072C147 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:34:48] 577*2^911189-1 is not prime. Res64: 0D1C575EF3D67A0B Time : 0.0 sec. user=mdettweiler [2010-10-12 19:34:55] 443*2^911190-1 is not prime. Res64: 62609A7522111682 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:34:55] 473*2^911190-1 is not prime. Res64: C8A5FBFC5D164311 Time : 0.0 sec. user=mdettweiler [2010-10-12 19:35:24] 537*2^911190-1 is not prime. Res64: E74EE16ED9C7F6FB Time : 0.0 sec. user=mdettweiler [2010-10-12 19:35:25] 585*2^911190-1 is not prime. Res64: ACDFB589065336EE Time : 0.0 sec. user=Sloth [2010-10-12 19:40:16] 425*2^911192-1 is not prime. Res64: D5BE2FD192633C2F Time : 0.0 sec. user=Sloth [2010-10-12 19:40:28] 537*2^911192-1 is not prime. Res64: 79B00FEB88171D9B Time : 0.0 sec. user=mdettweiler [2010-10-12 19:51:58] 511*2^911191-1 is not prime. Res64: 3CB7F7658B43A96F Time : 0.0 sec. user=mdettweiler [2010-10-12 19:51:58] 573*2^911191-1 is not prime. Res64: 65666AACD9C894DF Time : 0.0 sec. user=Sloth [2010-10-12 19:58:20] 483*2^911194-1 is not prime. Res64: 41F9C42E3CF2B497 Time : 0.0 sec. user=Sloth [2010-10-12 19:58:26] 503*2^911194-1 is not prime. Res64: 5AEDF3634CD07944 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:05:12] 539*2^911192-1 is not prime. Res64: 5ED6667F536F72D1 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:05:13] 573*2^911192-1 is not prime. Res64: F5189A5A8729C6AB Time : 0.0 sec. user=mdettweiler [2010-10-12 20:05:22] 429*2^911193-1 is not prime. Res64: 392EDB9A50CEC79A Time : 0.0 sec. user=mdettweiler [2010-10-12 20:05:29] 495*2^911193-1 is not prime. Res64: 0DE911D77699A962 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:05:51] 565*2^911193-1 is not prime. Res64: 0E8C61C752162122 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:05:51] 425*2^911194-1 is not prime. Res64: ECB24D050A7C58A9 Time : 0.0 sec. user=Sloth [2010-10-12 20:16:12] 445*2^911195-1 is not prime. Res64: AD7E70FE501F7E86 Time : 0.0 sec. user=Sloth [2010-10-12 20:16:19] 405*2^911196-1 is not prime. Res64: D3C666E4A0CA8365 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:22:24] 527*2^911194-1 is not prime. Res64: CBCF91262A30F9F4 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:22:24] 573*2^911194-1 is not prime. Res64: B5791E78B0D3DD67 Time : 0.0 sec. user=Sloth [2010-10-12 20:34:07] 549*2^911197-1 is not prime. Res64: 7AA2054215DEDC53 Time : 0.0 sec. user=Sloth [2010-10-12 20:34:19] 473*2^911198-1 is not prime. Res64: 051F46A4AABCB74B Time : 0.0 sec. user=mdettweiler [2010-10-12 20:36:08] 513*2^911196-1 is not prime. Res64: 458B7F07B3CDEB91 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:36:09] 525*2^911196-1 is not prime. Res64: 40AAADBC590AF9D4 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:36:11] 455*2^911196-1 is not prime. Res64: 8B50EB7C12DCFB88 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:36:17] 465*2^911196-1 is not prime. Res64: 7553E5063DB3061E Time : 0.0 sec. user=mdettweiler [2010-10-12 20:36:40] 597*2^911196-1 is not prime. Res64: A7238B870065D978 Time : 0.0 sec. user=mdettweiler [2010-10-12 20:36:40] 499*2^911197-1 is not prime. Res64: C1D4847B444918B2 Time : 0.0 sec. user=Menipe [2010-10-12 20:40:46] 475*2^911191-1 is not prime. Res64: 1E8F759ACC9730B1 Time : 0.0 sec. user=Menipe [2010-10-12 20:40:46] 505*2^911191-1 is not prime. Res64: 8B7F6D9575BC7360 Time : 0.0 sec. user=Sloth [2010-10-12 20:52:00] 591*2^911198-1 is not prime. Res64: 7139D2D6002BF437 Time : 0.0 sec. user=Sloth [2010-10-12 20:52:12] 415*2^911199-1 is not prime. Res64: 1F46ABE60DF9F73E Time : 0.0 sec. user=mdettweiler [2010-10-12 20:53:13] 483*2^911198-1 is not prime. Res64: D8D1F75F8DA949EB Time : 0.0 sec. user=mdettweiler [2010-10-12 20:53:14] 551*2^911198-1 is not prime. Res64: 39C3B8DC8E6222EF Time : 0.0 sec. user=mdettweiler [2010-10-12 21:06:36] 433*2^911199-1 is not prime. Res64: 831862BDFA940B16 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:06:36] 439*2^911199-1 is not prime. Res64: A983D202DD631777 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:06:45] 481*2^911199-1 is not prime. Res64: 07BF52154C03BA6A Time : 0.0 sec. user=mdettweiler [2010-10-12 21:06:48] 559*2^911199-1 is not prime. Res64: 3E9911BAE615D45B Time : 0.0 sec. user=mdettweiler [2010-10-12 21:07:14] 571*2^911199-1 is not prime. Res64: 325FA60101F5FD4B Time : 0.0 sec. user=mdettweiler [2010-10-12 21:07:15] 437*2^911200-1 is not prime. Res64: B4CCDF95E05C22FA Time : 0.0 sec. user=Sloth [2010-10-12 21:09:53] 445*2^911201-1 is not prime. Res64: 1024026C3C329156 Time : 0.0 sec. user=Sloth [2010-10-12 21:10:05] 495*2^911201-1 is not prime. Res64: 7C5C532B2ECBEC98 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:23:41] 517*2^911201-1 is not prime. Res64: AC3611DF4C8310A5 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:23:42] 401*2^911202-1 is not prime. Res64: F2C9BB5629259120 Time : 0.0 sec. user=Sloth [2010-10-12 21:27:46] 599*2^911204-1 is not prime. Res64: 52DFF7FC2992278D Time : 0.0 sec. user=Sloth [2010-10-12 21:27:58] 459*2^911205-1 is not prime. Res64: 81B63C9F56D15942 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:37:09] 485*2^911202-1 is not prime. Res64: 4ED084A147B0ADCB Time : 0.0 sec. user=mdettweiler [2010-10-12 21:37:10] 503*2^911202-1 is not prime. Res64: 706F7D807EE30489 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:37:15] 513*2^911202-1 is not prime. Res64: 2FFAA182DDC4EE85 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:37:16] 523*2^911203-1 is not prime. Res64: 1C37CFF0F04D549C Time : 0.0 sec. user=mdettweiler [2010-10-12 21:37:47] 459*2^911204-1 is not prime. Res64: 06F269FA5423580A Time : 0.0 sec. user=mdettweiler [2010-10-12 21:37:47] 479*2^911204-1 is not prime. Res64: E3E3EFA7249DBB1F Time : 0.0 sec. user=Sloth [2010-10-12 21:45:39] 411*2^911206-1 is not prime. Res64: FF4027F07BF2F391 Time : 0.0 sec. user=Sloth [2010-10-12 21:45:51] 483*2^911206-1 is not prime. Res64: 0471F77C028F9E8E Time : 0.0 sec. user=mdettweiler [2010-10-12 21:54:11] 471*2^911205-1 is not prime. Res64: F56E1DE4D1CD2E22 Time : 0.0 sec. user=mdettweiler [2010-10-12 21:54:12] 591*2^911205-1 is not prime. Res64: 7CA5E6BDA186175A Time : 0.0 sec. user=Sloth [2010-10-12 22:03:32] 435*2^911209-1 is not prime. Res64: 3F79618AB757D176 Time : 0.0 sec. user=Sloth [2010-10-12 22:03:44] 457*2^911209-1 is not prime. Res64: F71BF577D3E4B16C Time : 0.0 sec. user=mdettweiler [2010-10-12 22:07:36] 551*2^911206-1 is not prime. Res64: 2DEAF026A7147AD2 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:07:37] 403*2^911207-1 is not prime. Res64: F9959BC160E26419 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:07:43] 433*2^911207-1 is not prime. Res64: 70D8FAF5C53356BF Time : 0.0 sec. user=mdettweiler [2010-10-12 22:07:46] 505*2^911207-1 is not prime. Res64: 7CDE3BA04AEFE444 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:08:19] 531*2^911207-1 is not prime. Res64: 4D6FB9560AF1B2BA Time : 0.0 sec. user=mdettweiler [2010-10-12 22:08:20] 423*2^911208-1 is not prime. Res64: 431A112795140558 Time : 0.0 sec. user=Sloth [2010-10-12 22:21:44] 425*2^911210-1 is not prime. Res64: BF7AEDF1FDB43B9A Time : 0.0 sec. user=Sloth [2010-10-12 22:21:51] 431*2^911210-1 is not prime. Res64: 4CCA4D9B31190577 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:24:43] 407*2^911210-1 is not prime. Res64: 1FAD9D8D746763F4 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:24:43] 423*2^911210-1 is not prime. Res64: 0893AC9A87C53456 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:38:12] 461*2^911210-1 is not prime. Res64: E523E9B1874BDB8F Time : 0.0 sec. user=mdettweiler [2010-10-12 22:38:13] 483*2^911210-1 is not prime. Res64: 8150EBCB02E1F0F6 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:38:26] 405*2^911211-1 is not prime. Res64: 3AE0090C303CBEED Time : 0.0 sec. user=mdettweiler [2010-10-12 22:38:27] 469*2^911211-1 is not prime. Res64: E03E0759DD23EC6F Time : 0.0 sec. user=mdettweiler [2010-10-12 22:38:55] 595*2^911211-1 is not prime. Res64: F98A6EBB22570F2D Time : 0.0 sec. user=mdettweiler [2010-10-12 22:38:55] 527*2^911212-1 is not prime. Res64: AAA7834022100A99 Time : 0.0 sec. user=Sloth [2010-10-12 22:39:36] 567*2^911212-1 is not prime. Res64: B642EB22F3EE7739 Time : 0.0 sec. user=Sloth [2010-10-12 22:39:43] 579*2^911212-1 is not prime. Res64: 8FA1562AC99C190A Time : 0.0 sec. user=mdettweiler [2010-10-12 22:55:14] 409*2^911213-1 is not prime. Res64: 47D429688F308556 Time : 0.0 sec. user=mdettweiler [2010-10-12 22:55:14] 417*2^911213-1 is not prime. Res64: 801DE80644905D84 Time : 0.0 sec. user=Sloth [2010-10-12 22:57:29] 425*2^911214-1 is not prime. Res64: E707DDBC827EA8E8 Time : 0.0 sec. user=Sloth [2010-10-12 22:57:41] 501*2^911214-1 is not prime. Res64: 89F73A62A0759E58 Time : 0.0 sec. user=marco.bs [2010-10-12 23:08:14] 595*2^911209-1 is not prime. Res64: 6901545B5965B43A Time : 0.0 sec. user=mdettweiler [2010-10-12 23:08:47] 507*2^911213-1 is not prime. Res64: 6F2B062CE7812FC2 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:08:47] 517*2^911213-1 is not prime. Res64: 10F54BDE3D8C2019 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:09:00] 525*2^911213-1 is not prime. Res64: DB176EE20B1D11C0 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:09:01] 529*2^911213-1 is not prime. Res64: 6F2521CB3A5B6105 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:09:29] 547*2^911213-1 is not prime. Res64: D665924B188CFDA7 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:09:29] 559*2^911213-1 is not prime. Res64: 1DD836A3F70594D3 Time : 0.0 sec. user=marco.bs [2010-10-12 23:12:34] 421*2^911209-1 is not prime. Res64: BBFD9465E8E34E87 Time : 0.0 sec. user=Sloth [2010-10-12 23:15:21] 587*2^911214-1 is not prime. Res64: 54CFE8F09AAC3D9D Time : 0.0 sec. user=Sloth [2010-10-12 23:15:33] 535*2^911215-1 is not prime. Res64: 51D93D3D7131821B Time : 0.0 sec. user=mdettweiler [2010-10-12 23:25:46] 563*2^911214-1 is not prime. Res64: 487298D3AE48B96C Time : 0.0 sec. user=mdettweiler [2010-10-12 23:25:47] 573*2^911214-1 is not prime. Res64: EA9A6F3C2277661C Time : 0.0 sec. user=Sloth [2010-10-12 23:33:26] 491*2^911218-1 is not prime. Res64: 1CE9171428E8FCBD Time : 0.0 sec. user=Sloth [2010-10-12 23:33:33] 497*2^911218-1 is not prime. Res64: 966A4FB90D7A3313 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:39:21] 425*2^911216-1 is not prime. Res64: 6242CA41FF3BEA2E Time : 0.0 sec. user=mdettweiler [2010-10-12 23:39:21] 455*2^911216-1 is not prime. Res64: 280CFEF2C0146193 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:39:35] 479*2^911216-1 is not prime. Res64: 4EEC7083C00D23A2 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:39:35] 587*2^911216-1 is not prime. Res64: 3572F9F6E7261A62 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:39:55] 559*2^911217-1 is not prime. Res64: 70623E4CFDE9150B Time : 0.0 sec. user=mdettweiler [2010-10-12 23:39:55] 565*2^911217-1 is not prime. Res64: F73CA15790C49C6F Time : 0.0 sec. user=Sloth [2010-10-12 23:51:19] 555*2^911218-1 is not prime. Res64: F472CD608257F7D7 Time : 0.0 sec. user=Sloth [2010-10-12 23:51:26] 561*2^911218-1 is not prime. Res64: C76EA514EC6C4A62 Time : 0.0 sec. user=mdettweiler [2010-10-12 23:56:20] 527*2^911218-1 is not prime. Res64: D477FC0759B5053F Time : 0.0 sec. user=mdettweiler [2010-10-12 23:56:20] 551*2^911218-1 is not prime. Res64: 9FD8A9B6DF1643B0 Time : 0.0 sec.