user=Sloth [2010-10-13 00:09:11] 513*2^911220-1 is not prime. Res64: 5D64D0A11927CED5 Time : 0.0 sec. user=Sloth [2010-10-13 00:09:18] 585*2^911220-1 is not prime. Res64: B2E2618DFC0075DC Time : 0.0 sec. user=mdettweiler [2010-10-13 00:09:51] 575*2^911218-1 is not prime. Res64: CD2CBB391AE4E8EE Time : 0.0 sec. user=mdettweiler [2010-10-13 00:09:51] 439*2^911219-1 is not prime. Res64: F1BEB7B3A8223C7B Time : 0.0 sec. user=mdettweiler [2010-10-13 00:10:05] 481*2^911219-1 is not prime. Res64: DA92E5F7B5631CEF Time : 0.0 sec. user=mdettweiler [2010-10-13 00:10:05] 455*2^911220-1 is not prime. Res64: 7B3783C979E872BA Time : 0.0 sec. user=mdettweiler [2010-10-13 00:10:26] 465*2^911220-1 is not prime. Res64: 2F50B4CB1CE028EB Time : 0.0 sec. user=mdettweiler [2010-10-13 00:10:27] 483*2^911220-1 is not prime. Res64: 1BA0E40BAAEDC3A1 Time : 0.0 sec. user=mdettweiler [2010-10-13 00:26:50] 415*2^911221-1 is not prime. Res64: 574B5AF66B21347A Time : 0.0 sec. user=mdettweiler [2010-10-13 00:26:50] 429*2^911221-1 is not prime. Res64: C2A456C94EE4C990 Time : 0.0 sec. user=Sloth [2010-10-13 00:27:08] 507*2^911221-1 is not prime. Res64: A194890A347C54C8 Time : 0.0 sec. user=Sloth [2010-10-13 00:27:15] 525*2^911221-1 is not prime. Res64: 7445BA052AEBA9FB Time : 0.0 sec. user=mdettweiler [2010-10-13 00:40:20] 541*2^911221-1 is not prime. Res64: 192CA23F8D1693D1 Time : 0.0 sec. user=mdettweiler [2010-10-13 00:40:20] 417*2^911222-1 is not prime. Res64: F7EE44AF9D5AE90D Time : 0.0 sec. user=mdettweiler [2010-10-13 00:40:35] 467*2^911222-1 is not prime. Res64: 84319C3AE31AB609 Time : 0.0 sec. user=mdettweiler [2010-10-13 00:40:35] 507*2^911222-1 is not prime. Res64: 913887396005C811 Time : 0.0 sec. user=mdettweiler [2010-10-13 00:40:58] 515*2^911222-1 is not prime. Res64: D71D5DDCF6CD1B5A Time : 0.0 sec. user=mdettweiler [2010-10-13 00:40:58] 561*2^911222-1 is not prime. Res64: C54AAD5D5923066E Time : 0.0 sec. user=Sloth [2010-10-13 00:45:00] 453*2^911223-1 is not prime. Res64: FC30D3D23CB983F0 Time : 0.0 sec. user=Sloth [2010-10-13 00:45:13] 583*2^911223-1 is not prime. Res64: 4B9664A7D9A60632 Time : 0.0 sec. user=mdettweiler [2010-10-13 00:57:19] 567*2^911222-1 is not prime. Res64: 457DB0BF2B4FB402 Time : 0.0 sec. user=mdettweiler [2010-10-13 00:57:19] 441*2^911223-1 is not prime. Res64: B8088D86CFC2D9CC Time : 0.0 sec. user=Sloth [2010-10-13 01:02:53] 437*2^911226-1 is not prime. Res64: E5BB8945D2D26051 Time : 0.0 sec. user=Sloth [2010-10-13 01:03:06] 483*2^911226-1 is not prime. Res64: C743F52626B70BFE Time : 0.0 sec. user=mdettweiler [2010-10-13 01:10:49] 591*2^911223-1 is not prime. Res64: 4F2BBD99C7573346 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:10:49] 453*2^911224-1 is not prime. Res64: 7FC524AD64DFB25D Time : 0.0 sec. user=mdettweiler [2010-10-13 01:11:23] 489*2^911224-1 is not prime. Res64: 3CE518E117081B20 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:11:23] 411*2^911225-1 is not prime. Res64: DA05B1A7D134BE87 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:11:35] 585*2^911225-1 is not prime. Res64: 4C05ED830C6EB060 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:11:35] 413*2^911226-1 is not prime. Res64: F7ED8C4F241283C3 Time : 0.0 sec. user=henryzz [2010-10-13 01:13:08] 429*2^911167-1 is not prime. Res64: 9443852901E0F39D Time : 0.0 sec. user=henryzz [2010-10-13 01:13:56] 563*2^911166-1 is not prime. Res64: 89245568FEEDB2AA Time : 0.0 sec. user=henryzz [2010-10-13 01:19:00] 493*2^911167-1 is not prime. Res64: 2CE928A77B3C49AE Time : 0.0 sec. user=Sloth [2010-10-13 01:21:07] 515*2^911226-1 is not prime. Res64: 7393A2C95D50A12F Time : 0.0 sec. user=Sloth [2010-10-13 01:21:21] 521*2^911226-1 is not prime. Res64: 4024557D40718764 Time : 0.0 sec. user=henryzz [2010-10-13 01:23:33] 559*2^911167-1 is not prime. Res64: 30EC99604AC674E3 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:28:05] 485*2^911226-1 is not prime. Res64: B53FBC552E7F7E9D Time : 0.0 sec. user=mdettweiler [2010-10-13 01:28:05] 503*2^911226-1 is not prime. Res64: EA276CC7ADE932F9 Time : 0.0 sec. user=marco.bs [2010-10-13 01:29:49] 401*2^911218-1 is not prime. Res64: 7F59E51FDD95B192 Time : 0.0 sec. user=henryzz [2010-10-13 01:30:25] 573*2^911228-1 is not prime. Res64: 8DE2EE16D1C6D792 Time : 0.0 sec. user=henryzz [2010-10-13 01:30:31] 495*2^911228-1 is not prime. Res64: D5D7554F2C28EB77 Time : 0.0 sec. user=henryzz [2010-10-13 01:36:23] 585*2^911228-1 is not prime. Res64: F9F9347F1703C164 Time : 0.0 sec. user=Sloth [2010-10-13 01:38:59] 469*2^911229-1 is not prime. Res64: 3F161368261A230D Time : 0.0 sec. user=Sloth [2010-10-13 01:39:13] 511*2^911229-1 is not prime. Res64: E863CE3B89EAD89E Time : 0.0 sec. user=mdettweiler [2010-10-13 01:41:19] 405*2^911227-1 is not prime. Res64: E0FAA5C7852A96F6 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:41:19] 475*2^911227-1 is not prime. Res64: A248DB060D325FEC Time : 0.0 sec. user=mdettweiler [2010-10-13 01:41:51] 495*2^911227-1 is not prime. Res64: FB18B314A86A4469 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:41:51] 511*2^911227-1 is not prime. Res64: BFBC3CFB0B893386 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:42:05] 589*2^911227-1 is not prime. Res64: 8BAD98961E243F80 Time : 0.0 sec. user=mdettweiler [2010-10-13 01:42:05] 459*2^911228-1 is not prime. Res64: 68B2D56D5D608C01 Time : 0.0 sec. user=Sloth [2010-10-13 01:56:51] 571*2^911231-1 is not prime. Res64: 57C6A817B31C056F Time : 0.0 sec. user=Sloth [2010-10-13 01:57:05] 425*2^911232-1 is not prime. Res64: 132CE08441F2AA0B Time : 0.0 sec. user=mdettweiler [2010-10-13 01:58:37] 521*2^911230-1 is not prime. Res64: 3A51CBDB729BCFED Time : 0.0 sec. user=mdettweiler [2010-10-13 01:58:37] 433*2^911231-1 is not prime. Res64: 657E2B9F10EBA69B Time : 0.0 sec. user=mdettweiler [2010-10-13 02:12:27] 479*2^911232-1 is not prime. Res64: 76F94D0D919795E3 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:12:27] 539*2^911232-1 is not prime. Res64: 28AB3D385CBCC309 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:13:04] 563*2^911232-1 is not prime. Res64: 91FDDEB331B254E5 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:13:05] 441*2^911233-1 is not prime. Res64: 26EA32AE9C1192F0 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:13:10] 567*2^911233-1 is not prime. Res64: E3BF878594B7BE9A Time : 0.0 sec. user=mdettweiler [2010-10-13 02:13:11] 447*2^911234-1 is not prime. Res64: 9AD67F8ECCEB6604 Time : 0.0 sec. user=Sloth [2010-10-13 02:14:44] 473*2^911234-1 is not prime. Res64: D11D701F303987CC Time : 0.0 sec. user=Sloth [2010-10-13 02:14:57] 459*2^911235-1 is not prime. Res64: 3891CE802367AF99 Time : 0.0 sec. user=marco.bs [2010-10-13 02:21:46] 441*2^911231-1 is not prime. Res64: 33D67CCF8ADE4270 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:30:23] 501*2^911235-1 is not prime. Res64: 82DB22EF57260C31 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:30:23] 583*2^911235-1 is not prime. Res64: 12F9CC0BA5404295 Time : 0.0 sec. user=Sloth [2010-10-13 02:32:37] 417*2^911238-1 is not prime. Res64: 08A58E9889DB9485 Time : 0.0 sec. user=Sloth [2010-10-13 02:32:50] 431*2^911238-1 is not prime. Res64: 4CB1970B557A5E16 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:43:31] 537*2^911236-1 is not prime. Res64: E9246061708C59BB Time : 0.0 sec. user=mdettweiler [2010-10-13 02:43:31] 539*2^911236-1 is not prime. Res64: 26CE6399C32A9B9B Time : 0.0 sec. user=mdettweiler [2010-10-13 02:44:08] 417*2^911237-1 is not prime. Res64: 5CFC597651B1FD50 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:44:08] 475*2^911237-1 is not prime. Res64: 34D181C93293EF90 Time : 0.0 sec. user=mdettweiler [2010-10-13 02:44:14] 507*2^911237-1 is not prime. Res64: A13F7D971CEABEBF Time : 0.0 sec. user=mdettweiler [2010-10-13 02:44:14] 517*2^911237-1 is not prime. Res64: 748FAD4D6853B718 Time : 0.0 sec. user=Sloth [2010-10-13 02:50:30] 555*2^911238-1 is not prime. Res64: BBEE8CAB00AD258E Time : 0.0 sec. user=Sloth [2010-10-13 02:50:45] 493*2^911239-1 is not prime. Res64: 155A2D8B00C5B6FF Time : 0.0 sec. user=mdettweiler [2010-10-13 03:00:48] 501*2^911238-1 is not prime. Res64: F4ED000698F1206B Time : 0.0 sec. user=mdettweiler [2010-10-13 03:00:49] 515*2^911238-1 is not prime. Res64: 45C90B45ED95FF70 Time : 0.0 sec. user=marco.bs [2010-10-13 03:05:55] 485*2^911238-1 is not prime. Res64: 971BEC9CD2CFD6D6 Time : 0.0 sec. user=Sloth [2010-10-13 03:08:25] 525*2^911240-1 is not prime. Res64: 3371C3B9B704CCD2 Time : 0.0 sec. user=Sloth [2010-10-13 03:08:37] 593*2^911240-1 is not prime. Res64: 20A21BA15DBFCC66 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:13:57] 511*2^911239-1 is not prime. Res64: B80560448EC8A494 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:13:57] 525*2^911239-1 is not prime. Res64: 2D2AB717FB1697BC Time : 0.0 sec. user=mdettweiler [2010-10-13 03:14:37] 549*2^911239-1 is not prime. Res64: 4E26647582D0C3A3 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:14:37] 447*2^911240-1 is not prime. Res64: FEB081F58F2AE0A9 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:14:37] 495*2^911240-1 is not prime. Res64: D8F881D40B53BB22 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:14:37] 425*2^911240-1 is not prime. Res64: 93611F83DCEADFAE Time : 0.0 sec. user=Sloth [2010-10-13 03:26:28] 475*2^911243-1 is not prime. Res64: B615BA3079CFD744 Time : 0.0 sec. user=Sloth [2010-10-13 03:26:29] 567*2^911242-1 is not prime. Res64: F65DA3F6178629FF Time : 0.0 sec. user=mdettweiler [2010-10-13 03:31:18] 429*2^911241-1 is not prime. Res64: 5696643A5AB115C2 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:31:18] 511*2^911241-1 is not prime. Res64: 346A5E3912931808 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:44:21] 495*2^911243-1 is not prime. Res64: 09F8BC9EDEDCE9F9 Time : 0.0 sec. user=Sloth [2010-10-13 03:44:21] 503*2^911244-1 is not prime. Res64: EE85C35D1F013886 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:44:21] 589*2^911243-1 is not prime. Res64: 75AB85BB6E3FB26D Time : 0.0 sec. user=Sloth [2010-10-13 03:44:22] 513*2^911244-1 is not prime. Res64: 7A3DD809CF8A423F Time : 0.0 sec. user=mdettweiler [2010-10-13 03:45:01] 459*2^911244-1 is not prime. Res64: 55D49666DB43CC0E Time : 0.0 sec. user=mdettweiler [2010-10-13 03:45:01] 483*2^911244-1 is not prime. Res64: 7644BD2C1E4EA6E7 Time : 0.0 sec. user=mdettweiler [2010-10-13 03:45:07] 423*2^911244-1 is not prime. Res64: 73A5DA0E21B49FAC Time : 0.0 sec. user=mdettweiler [2010-10-13 03:45:07] 455*2^911244-1 is not prime. Res64: 7017E9F39FCA64C5 Time : 0.0 sec. user=marco.bs [2010-10-13 03:46:58] 425*2^911242-1 is not prime. Res64: C7C4543D038E1670 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:01:48] 525*2^911244-1 is not prime. Res64: 83A5BE3FCEA9FE46 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:01:52] 579*2^911244-1 is not prime. Res64: D39E29D3D684340D Time : 0.0 sec. user=Sloth [2010-10-13 04:02:16] 525*2^911245-1 is not prime. Res64: FDA7F3C758D66DF7 Time : 0.0 sec. user=Sloth [2010-10-13 04:02:17] 417*2^911246-1 is not prime. Res64: 91EE6A73ABA7DAD5 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:14:40] 451*2^911245-1 is not prime. Res64: 93DCC22FAFAC836E Time : 0.0 sec. user=mdettweiler [2010-10-13 04:14:40] 457*2^911245-1 is not prime. Res64: C9E86BD65375CB31 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:15:24] 591*2^911246-1 is not prime. Res64: C907B37A90014A5A Time : 0.0 sec. user=mdettweiler [2010-10-13 04:15:25] 465*2^911247-1 is not prime. Res64: 7D704B06CCF07A6D Time : 0.0 sec. user=mdettweiler [2010-10-13 04:15:30] 483*2^911246-1 is not prime. Res64: 93A5B3152B95568D Time : 0.0 sec. user=mdettweiler [2010-10-13 04:15:31] 557*2^911246-1 is not prime. Res64: 01C26EF88DEFFD47 Time : 0.0 sec. user=Sloth [2010-10-13 04:20:10] 519*2^911248-1 is not prime. Res64: 7C00DC6F19DC8964 Time : 0.0 sec. user=Sloth [2010-10-13 04:20:10] 533*2^911248-1 is not prime. Res64: AB19B5D50F0168C0 Time : 0.0 sec. user=marco.bs [2010-10-13 04:28:31] 573*2^911247-1 is not prime. Res64: B96A3D988849E55A Time : 0.0 sec. user=mdettweiler [2010-10-13 04:32:16] 485*2^911248-1 is not prime. Res64: B4AEA5DC1EDB811E Time : 0.0 sec. user=mdettweiler [2010-10-13 04:32:16] 509*2^911248-1 is not prime. Res64: 89F849CDCE6C0B2C Time : 0.0 sec. user=Sloth [2010-10-13 04:38:02] 519*2^911251-1 is not prime. Res64: 03308E1D0EA827D9 Time : 0.0 sec. user=Sloth [2010-10-13 04:38:07] 549*2^911251-1 is not prime. Res64: 4ABF69BF8235CE24 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:45:10] 459*2^911249-1 is not prime. Res64: E766F36FFAAE7315 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:45:10] 571*2^911249-1 is not prime. Res64: 4BDB48FA269F697E Time : 0.0 sec. user=mdettweiler [2010-10-13 04:45:50] 461*2^911250-1 is not prime. Res64: F46098038D149B84 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:45:50] 411*2^911251-1 is not prime. Res64: 92E424654DD203E1 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:45:56] 429*2^911251-1 is not prime. Res64: 722C24FD741235F6 Time : 0.0 sec. user=mdettweiler [2010-10-13 04:45:56] 451*2^911251-1 is not prime. Res64: CA48712BE36D349A Time : 0.0 sec. user=marco.bs [2010-10-13 04:49:45] 555*2^911215-1 is not prime. Res64: AC05801FF4B876F7 Time : 0.0 sec. user=Sloth [2010-10-13 04:55:54] 519*2^911252-1 is not prime. Res64: A84935E9C41C9C65 Time : 0.0 sec. user=Sloth [2010-10-13 04:56:00] 417*2^911253-1 is not prime. Res64: 73C9FA2949DC7D4B Time : 0.0 sec. user=mdettweiler [2010-10-13 05:02:42] 435*2^911252-1 is not prime. Res64: 9498F827B7C3DEF5 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:02:43] 515*2^911252-1 is not prime. Res64: D242F5EF8271DF7F Time : 0.0 sec. user=marco.bs [2010-10-13 05:07:05] 417*2^911252-1 is not prime. Res64: A89FCE7A37670D5E Time : 0.0 sec. user=Sloth [2010-10-13 05:13:46] 423*2^911255-1 is not prime. Res64: 732BD7F7E2DADFA5 Time : 0.0 sec. user=Sloth [2010-10-13 05:13:52] 543*2^911255-1 is not prime. Res64: 481271AA5644B21F Time : 0.0 sec. user=mdettweiler [2010-10-13 05:15:36] 441*2^911253-1 is not prime. Res64: 97E451B5B7930549 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:15:36] 499*2^911253-1 is not prime. Res64: 93A239B61191CC10 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:16:13] 595*2^911253-1 is not prime. Res64: 89C5F5CF4E599390 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:16:14] 411*2^911254-1 is not prime. Res64: 26364FE99B4919DD Time : 0.0 sec. user=mdettweiler [2010-10-13 05:16:19] 555*2^911253-1 is not prime. Res64: 6F7D22136B3F1F1F Time : 0.0 sec. user=mdettweiler [2010-10-13 05:16:20] 565*2^911253-1 is not prime. Res64: A0DEA87C0030CF7D Time : 0.0 sec. user=marco.bs [2010-10-13 05:28:41] 403*2^911255-1 is not prime. Res64: 5DE09FD8A5C90B83 Time : 0.0 sec. user=Sloth [2010-10-13 05:31:39] 597*2^911256-1 is not prime. Res64: 72A5CC1874A5F0F6 Time : 0.0 sec. user=Sloth [2010-10-13 05:31:45] 507*2^911257-1 is not prime. Res64: 5A58685755260903 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:33:28] 579*2^911255-1 is not prime. Res64: B38636C84D8E0084 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:33:28] 479*2^911256-1 is not prime. Res64: 87A737A7089AC1C7 Time : 0.0 sec. user=marco.bs [2010-10-13 05:46:02] 557*2^911256-1 is not prime. Res64: E26EEF5031475D59 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:46:08] 537*2^911257-1 is not prime. Res64: 9F609C530D2B6D85 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:46:08] 405*2^911258-1 is not prime. Res64: FDE00397DBD3564B Time : 0.0 sec. user=mdettweiler [2010-10-13 05:46:38] 459*2^911259-1 is not prime. Res64: AF587381BC62CDA2 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:46:38] 471*2^911259-1 is not prime. Res64: 1E12FCB0CBAAC5B5 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:46:44] 417*2^911258-1 is not prime. Res64: FCB5EC4695A65559 Time : 0.0 sec. user=mdettweiler [2010-10-13 05:46:44] 533*2^911258-1 is not prime. Res64: 29E4CB434B6A2F91 Time : 0.0 sec. user=Sloth [2010-10-13 05:49:31] 429*2^911260-1 is not prime. Res64: 7E4A2390C0328B34 Time : 0.0 sec. user=Sloth [2010-10-13 05:49:38] 443*2^911260-1 is not prime. Res64: 9FC517D1DF0DF06B Time : 0.0 sec. user=mdettweiler [2010-10-13 06:03:57] 593*2^911260-1 is not prime. Res64: F47A65D6553C9B2B Time : 0.0 sec. user=mdettweiler [2010-10-13 06:03:57] 459*2^911261-1 is not prime. Res64: B880BDA4BE9FF88C Time : 0.0 sec. user=marco.bs [2010-10-13 06:06:55] 523*2^911259-1 is not prime. Res64: 48EFB01DE0A6EE52 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:16:30] 423*2^911262-1 is not prime. Res64: 08A936430CA9397D Time : 0.0 sec. user=mdettweiler [2010-10-13 06:16:30] 437*2^911262-1 is not prime. Res64: 832F9DA21CF7C1FA Time : 0.0 sec. user=mdettweiler [2010-10-13 06:17:09] 525*2^911262-1 is not prime. Res64: 9DCF78C03EFB51B2 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:17:10] 567*2^911262-1 is not prime. Res64: 6731CB1CE1F20527 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:17:10] 411*2^911263-1 is not prime. Res64: 29470DB3EFB0C285 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:17:10] 415*2^911263-1 is not prime. Res64: 3FC60E17EBDFBAF7 Time : 0.0 sec. user=marco.bs [2010-10-13 06:24:27] 455*2^911262-1 is not prime. Res64: A13F73A3E9A6C82E Time : 0.0 sec. user=mdettweiler [2010-10-13 06:34:35] 483*2^911263-1 is not prime. Res64: 5E71C3B788A5AAE9 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:34:35] 499*2^911263-1 is not prime. Res64: 255BA90BF6E3946D Time : 0.0 sec. user=marco.bs [2010-10-13 06:45:53] 525*2^911263-1 is not prime. Res64: 44BF819B8AAFA9BA Time : 0.0 sec. user=mdettweiler [2010-10-13 06:47:01] 559*2^911263-1 is not prime. Res64: F67BA34791C97749 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:47:01] 519*2^911264-1 is not prime. Res64: 5F0980A3B8654E22 Time : 0.0 sec. user=mdettweiler [2010-10-13 06:47:31] 525*2^911265-1 is not prime. Res64: 64E3B8A954784C0C Time : 0.0 sec. user=mdettweiler [2010-10-13 06:47:32] 461*2^911266-1 is not prime. Res64: 99DE7A37115393BC Time : 0.0 sec. user=mdettweiler [2010-10-13 06:47:44] 539*2^911264-1 is not prime. Res64: 874FBA5449781CAC Time : 0.0 sec. user=mdettweiler [2010-10-13 06:47:44] 471*2^911265-1 is not prime. Res64: 7E30FDDA13D07BCA Time : 0.0 sec. user=marco.bs [2010-10-13 07:03:21] 495*2^911266-1 is not prime. Res64: 46D16837DB596C6A Time : 0.0 sec. user=mdettweiler [2010-10-13 07:05:01] 525*2^911266-1 is not prime. Res64: 981271DE1D37B689 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:05:01] 551*2^911266-1 is not prime. Res64: FEC4BFFA626C1C8A Time : 0.0 sec. user=mdettweiler [2010-10-13 07:17:21] 463*2^911267-1 is not prime. Res64: 70DB6BC34F9393F6 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:17:21] 505*2^911267-1 is not prime. Res64: 19B17073B4ED7812 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:17:55] 549*2^911267-1 is not prime. Res64: 45FE1153E1C716A6 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:17:55] 585*2^911267-1 is not prime. Res64: A38555C440EA8D3F Time : 0.0 sec. user=mdettweiler [2010-10-13 07:18:14] 405*2^911268-1 is not prime. Res64: 3BCBB08E879B2EC2 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:18:14] 473*2^911268-1 is not prime. Res64: 466B5B3957DCE15D Time : 0.0 sec. user=mdettweiler [2010-10-13 07:35:29] 555*2^911268-1 is not prime. Res64: 64AA2464F283D337 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:35:29] 557*2^911268-1 is not prime. Res64: FED14D6B1C0C8CF4 Time : 0.0 sec. user=marco.bs [2010-10-13 07:47:24] 435*2^911267-1 is not prime. Res64: B704F1C2518DE3A0 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:47:47] 411*2^911269-1 is not prime. Res64: F2AFF06FE25CEEED Time : 0.0 sec. user=mdettweiler [2010-10-13 07:47:48] 429*2^911269-1 is not prime. Res64: 19D32093C270D48C Time : 0.0 sec. user=mdettweiler [2010-10-13 07:48:17] 469*2^911269-1 is not prime. Res64: F81B5A578613FC5D Time : 0.0 sec. user=mdettweiler [2010-10-13 07:48:17] 507*2^911269-1 is not prime. Res64: 1B8FF3235F9DA125 Time : 0.0 sec. user=mdettweiler [2010-10-13 07:48:42] 473*2^911270-1 is not prime. Res64: 0DBE2A1A2E31DEED Time : 0.0 sec. user=mdettweiler [2010-10-13 07:48:43] 515*2^911270-1 is not prime. Res64: 8AE1A463A5B99E73 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:05:57] 591*2^911270-1 is not prime. Res64: ACE9D59761144C01 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:05:57] 405*2^911271-1 is not prime. Res64: 8A79371C67B11C92 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:18:09] 423*2^911271-1 is not prime. Res64: 8898A58445078E3C Time : 0.0 sec. user=mdettweiler [2010-10-13 08:18:09] 459*2^911271-1 is not prime. Res64: 65ABC205C2AE5B8B Time : 0.0 sec. user=mdettweiler [2010-10-13 08:18:43] 489*2^911271-1 is not prime. Res64: 31E91BAAEC06C63B Time : 0.0 sec. user=mdettweiler [2010-10-13 08:18:43] 549*2^911271-1 is not prime. Res64: FAB4EE93005AC9AB Time : 0.0 sec. user=mdettweiler [2010-10-13 08:19:07] 413*2^911272-1 is not prime. Res64: C738F05C94146761 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:19:07] 435*2^911272-1 is not prime. Res64: A2EAC5AB3B23943A Time : 0.0 sec. user=marco.bs [2010-10-13 08:25:08] 525*2^911268-1 is not prime. Res64: 4C15ACB2AA2D3D45 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:36:26] 537*2^911272-1 is not prime. Res64: 58454A6F5ECB9597 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:36:26] 549*2^911272-1 is not prime. Res64: A5921E282E1C7DCC Time : 0.0 sec. user=mdettweiler [2010-10-13 08:48:40] 411*2^911273-1 is not prime. Res64: 025B7AD55EA1D68A Time : 0.0 sec. user=mdettweiler [2010-10-13 08:48:40] 481*2^911273-1 is not prime. Res64: AEC4092B2B31772F Time : 0.0 sec. user=mdettweiler [2010-10-13 08:49:08] 529*2^911273-1 is not prime. Res64: 47C796F0690968D8 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:49:08] 585*2^911273-1 is not prime. Res64: A797D5EEF458865A Time : 0.0 sec. user=mdettweiler [2010-10-13 08:49:33] 595*2^911273-1 is not prime. Res64: 064FE1FC2DDAAD42 Time : 0.0 sec. user=mdettweiler [2010-10-13 08:49:33] 411*2^911274-1 is not prime. Res64: 1503E33F10546315 Time : 0.0 sec. user=marco.bs [2010-10-13 09:02:40] 409*2^911271-1 is not prime. Res64: E50BEEC48A7E4132 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:06:50] 497*2^911274-1 is not prime. Res64: C6CD9EB5D7850B35 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:06:51] 507*2^911274-1 is not prime. Res64: A5512C4320730DCE Time : 0.0 sec. user=mdettweiler [2010-10-13 09:19:34] 573*2^911274-1 is not prime. Res64: 4C34D25FCA7C7C4C Time : 0.0 sec. user=mdettweiler [2010-10-13 09:19:34] 585*2^911274-1 is not prime. Res64: A3BCCB4CCBD78F25 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:19:47] 411*2^911275-1 is not prime. Res64: A64FBEC424DCE1BB Time : 0.0 sec. user=mdettweiler [2010-10-13 09:19:47] 415*2^911275-1 is not prime. Res64: 01C9FF723B1A1906 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:20:09] 451*2^911275-1 is not prime. Res64: CB1ED856AC9BB623 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:20:09] 573*2^911275-1 is not prime. Res64: 50026209345ECD5A Time : 0.0 sec. user=mdettweiler [2010-10-13 09:37:51] 595*2^911275-1 is not prime. Res64: 7C49FF44928EFF46 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:37:51] 409*2^911277-1 is not prime. Res64: BDE9C8649A4DF10E Time : 0.0 sec. user=marco.bs [2010-10-13 09:38:27] 453*2^911274-1 is not prime. Res64: B0B3F28FD8CA4C15 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:50:13] 517*2^911277-1 is not prime. Res64: 0BE9FA79ED5659EF Time : 0.0 sec. user=mdettweiler [2010-10-13 09:50:13] 537*2^911277-1 is not prime. Res64: 36F962AAACC6CBF8 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:50:37] 413*2^911278-1 is not prime. Res64: CA545482A9E32BDE Time : 0.0 sec. user=mdettweiler [2010-10-13 09:50:37] 495*2^911278-1 is not prime. Res64: 3F809998ED17C4AD Time : 0.0 sec. user=mdettweiler [2010-10-13 09:50:43] 581*2^911278-1 is not prime. Res64: 7B99331A3CED57D5 Time : 0.0 sec. user=mdettweiler [2010-10-13 09:50:43] 591*2^911278-1 is not prime. Res64: D2E99DA372804AB7 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:08:19] 421*2^911279-1 is not prime. Res64: F6708AAF03DED41B Time : 0.0 sec. user=mdettweiler [2010-10-13 10:08:19] 433*2^911279-1 is not prime. Res64: 80089E8A3579E32B Time : 0.0 sec. user=marco.bs [2010-10-13 10:14:44] 589*2^911275-1 is not prime. Res64: 13CAA81B10BF49E3 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:20:35] 559*2^911279-1 is not prime. Res64: 99C2911435530699 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:20:35] 573*2^911279-1 is not prime. Res64: ABAC79BA0E7E6371 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:21:03] 563*2^911280-1 is not prime. Res64: 8ADD8EE398F17F40 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:21:03] 585*2^911280-1 is not prime. Res64: A7043ADF3991DCDC Time : 0.0 sec. user=mdettweiler [2010-10-13 10:21:09] 579*2^911279-1 is not prime. Res64: E609967C36379C6D Time : 0.0 sec. user=mdettweiler [2010-10-13 10:21:09] 437*2^911280-1 is not prime. Res64: 35FCB21DFEE9729C Time : 0.0 sec. user=mdettweiler [2010-10-13 10:38:50] 421*2^911281-1 is not prime. Res64: 76FDC017DE03A950 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:38:50] 477*2^911281-1 is not prime. Res64: 39DAAAFDEF77E7D7 Time : 0.0 sec. user=henryzz [2010-10-13 10:41:25] 471*2^911230-1 is not prime. Res64: AD2CC7059696CD70 Time : 0.0 sec. user=henryzz [2010-10-13 10:44:05] 459*2^911231-1 is not prime. Res64: B716E35374019B74 Time : 0.0 sec. user=henryzz [2010-10-13 10:44:21] 465*2^911231-1 is not prime. Res64: 7C7E592BE6AB0055 Time : 0.0 sec. user=henryzz [2010-10-13 10:49:41] 525*2^911231-1 is not prime. Res64: 82B706475C4298AC Time : 0.0 sec. user=mdettweiler [2010-10-13 10:51:07] 549*2^911281-1 is not prime. Res64: 0AF148DBC5DE0763 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:51:08] 423*2^911282-1 is not prime. Res64: 2184FFB6900AF415 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:51:31] 581*2^911282-1 is not prime. Res64: 87203A8D3EBF8E57 Time : 0.0 sec. user=mdettweiler [2010-10-13 10:51:31] 415*2^911283-1 is not prime. Res64: 0D14A856A35EFC1F Time : 0.0 sec. user=mdettweiler [2010-10-13 10:51:32] 477*2^911282-1 is not prime. Res64: EC9C6F28546818AC Time : 0.0 sec. user=mdettweiler [2010-10-13 10:51:32] 507*2^911282-1 is not prime. Res64: 3C88445EAE60DAE0 Time : 0.0 sec. user=henryzz [2010-10-13 11:01:14] 585*2^911283-1 is not prime. Res64: 84FAD365F38B4B78 Time : 0.0 sec. user=henryzz [2010-10-13 11:03:14] 413*2^911284-1 is not prime. Res64: 99EF43F1F6B64175 Time : 0.0 sec. user=henryzz [2010-10-13 11:03:59] 513*2^911284-1 is not prime. Res64: DB1777C28AA41A22 Time : 0.0 sec. user=marco.bs [2010-10-13 11:04:00] 523*2^911279-1 is not prime. Res64: 42FC6F7275E90826 Time : 0.0 sec. user=henryzz [2010-10-13 11:08:39] 549*2^911284-1 is not prime. Res64: 650A79B36BB97255 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:09:19] 543*2^911283-1 is not prime. Res64: 0CFA10355F27F353 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:09:20] 553*2^911283-1 is not prime. Res64: 24287CB628C8A904 Time : 0.0 sec. user=henryzz [2010-10-13 11:19:00] 413*2^911286-1 is not prime. Res64: 1D447D53E3AEA0A0 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:21:32] 597*2^911284-1 is not prime. Res64: 786E63D7376AFF77 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:21:33] 441*2^911285-1 is not prime. Res64: 06A818B1ED5319E1 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:21:52] 589*2^911285-1 is not prime. Res64: 1831AE6EA5CDC5A0 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:21:52] 411*2^911286-1 is not prime. Res64: D8E44505C4CDEA42 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:21:58] 537*2^911285-1 is not prime. Res64: 6F279AC5058FC926 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:21:58] 577*2^911285-1 is not prime. Res64: 3818142290A05F7C Time : 0.0 sec. user=henryzz [2010-10-13 11:22:07] 593*2^911286-1 is not prime. Res64: 06B105626EF1A2AB Time : 0.0 sec. user=henryzz [2010-10-13 11:25:13] 501*2^911286-1 is not prime. Res64: EDEEC0386C40820D Time : 0.0 sec. user=henryzz [2010-10-13 11:28:09] 483*2^911287-1 is not prime. Res64: CB295A959EB0D3EE Time : 0.0 sec. user=marco.bs [2010-10-13 11:34:36] 547*2^911281-1 is not prime. Res64: 06539C08C26C1F89 Time : 0.0 sec. user=henryzz [2010-10-13 11:36:35] 563*2^911288-1 is not prime. Res64: 3E784F198FE8EABE Time : 0.0 sec. user=mdettweiler [2010-10-13 11:39:46] 503*2^911288-1 is not prime. Res64: B836B80A621AF483 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:39:47] 515*2^911288-1 is not prime. Res64: A9651DAEAD781A4C Time : 0.0 sec. user=henryzz [2010-10-13 11:42:09] 521*2^911290-1 is not prime. Res64: 320B0A1B6A00669C Time : 0.0 sec. user=henryzz [2010-10-13 11:43:08] 531*2^911290-1 is not prime. Res64: A48F6789C4366E9E Time : 0.0 sec. user=henryzz [2010-10-13 11:47:23] 545*2^911290-1 is not prime. Res64: 82E1D10D5826290C Time : 0.0 sec. user=mdettweiler [2010-10-13 11:52:25] 567*2^911288-1 is not prime. Res64: 7B448B1A71019B35 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:52:25] 469*2^911289-1 is not prime. Res64: 320F3958FF674703 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:52:31] 597*2^911289-1 is not prime. Res64: 9B4EBA39E709F6DC Time : 0.0 sec. user=mdettweiler [2010-10-13 11:52:31] 471*2^911289-1 is not prime. Res64: 8825CD0DA101F06E Time : 0.0 sec. user=mdettweiler [2010-10-13 11:52:31] 453*2^911290-1 is not prime. Res64: 93705DA34BD5F0D0 Time : 0.0 sec. user=mdettweiler [2010-10-13 11:52:31] 535*2^911289-1 is not prime. Res64: 88518F5E5E7600A5 Time : 0.0 sec. user=henryzz [2010-10-13 11:54:25] 451*2^911291-1 is not prime. Res64: DEBD4F147D7C455B Time : 0.0 sec. user=marco.bs [2010-10-13 11:59:26] 429*2^911287-1 is not prime. Res64: D1B1453D365DB00E Time : 0.0 sec. user=henryzz [2010-10-13 12:00:10] 419*2^911292-1 is not prime. Res64: 8ABA0B3D5E3AE0B6 Time : 0.0 sec. user=henryzz [2010-10-13 12:01:28] 423*2^911292-1 is not prime. Res64: 7FCC3D79D6D24207 Time : 0.0 sec. user=henryzz [2010-10-13 12:04:36] 539*2^911292-1 is not prime. Res64: 3F819305AC799D15 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:10:44] 505*2^911291-1 is not prime. Res64: 968FA6454F9E81FC Time : 0.0 sec. user=mdettweiler [2010-10-13 12:10:44] 519*2^911291-1 is not prime. Res64: E50E735CBE8DBA34 Time : 0.0 sec. user=henryzz [2010-10-13 12:11:40] 597*2^911293-1 is not prime. Res64: A1AFA977F207A8D3 Time : 0.0 sec. user=marco.bs [2010-10-13 12:15:52] 587*2^911290-1 is not prime. Res64: 27531944CE31C094 Time : 0.0 sec. user=henryzz [2010-10-13 12:16:39] 501*2^911294-1 is not prime. Res64: A024951A3CDD64A2 Time : 0.0 sec. user=henryzz [2010-10-13 12:18:11] 451*2^911295-1 is not prime. Res64: 515BB3CDA1C0C661 Time : 0.0 sec. user=henryzz [2010-10-13 12:21:27] 471*2^911295-1 is not prime. Res64: 72A48A2E9EC3E881 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:23:02] 549*2^911292-1 is not prime. Res64: F6D16192EE538437 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:23:02] 593*2^911292-1 is not prime. Res64: E6013C4BD95B137A Time : 0.0 sec. user=mdettweiler [2010-10-13 12:23:26] 405*2^911293-1 is not prime. Res64: 0A881BC91D792EE2 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:23:26] 435*2^911293-1 is not prime. Res64: 906ABCF68401A0B4 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:23:32] 451*2^911293-1 is not prime. Res64: 347F7DFD550C68E2 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:23:32] 549*2^911293-1 is not prime. Res64: 723F2D4BFC08C0FE Time : 0.0 sec. user=henryzz [2010-10-13 12:30:16] 579*2^911295-1 is not prime. Res64: E8451F68735801C9 Time : 0.0 sec. user=henryzz [2010-10-13 12:33:59] 405*2^911296-1 is not prime. Res64: FE36DC12D5F89B72 Time : 0.0 sec. user=henryzz [2010-10-13 12:34:07] 407*2^911296-1 is not prime. Res64: 55BE73FE5BAC92FA Time : 0.0 sec. user=marco.bs [2010-10-13 12:38:17] 461*2^911294-1 is not prime. Res64: 992CF5925A0F2B53 Time : 0.0 sec. user=henryzz [2010-10-13 12:38:48] 439*2^911297-1 is not prime. Res64: DEDF1BA37CF070D6 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:41:42] 541*2^911295-1 is not prime. Res64: 620A556BF7EF9029 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:41:42] 573*2^911295-1 is not prime. Res64: 0E9703A595DEAA65 Time : 0.0 sec. user=henryzz [2010-10-13 12:46:31] 595*2^911297-1 is not prime. Res64: 38581C7EBF37B30F Time : 0.0 sec. user=henryzz [2010-10-13 12:50:32] 473*2^911298-1 is not prime. Res64: 1A1C29457868DFF6 Time : 0.0 sec. user=henryzz [2010-10-13 12:51:32] 431*2^911298-1 is not prime. Res64: 2384D658BF5FDA8E Time : 0.0 sec. user=mdettweiler [2010-10-13 12:53:40] 441*2^911297-1 is not prime. Res64: 3E21022DE00D21F0 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:53:41] 507*2^911297-1 is not prime. Res64: E74CD960C71601DD Time : 0.0 sec. user=mdettweiler [2010-10-13 12:54:06] 571*2^911297-1 is not prime. Res64: E1F069AC6A33A2C7 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:54:06] 585*2^911297-1 is not prime. Res64: 92FE843F411CFF14 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:54:12] 511*2^911297-1 is not prime. Res64: B203C68D805E7F74 Time : 0.0 sec. user=mdettweiler [2010-10-13 12:54:12] 567*2^911297-1 is not prime. Res64: 4442D6D972EC9179 Time : 0.0 sec. user=marco.bs [2010-10-13 12:54:14] 595*2^911295-1 is not prime. Res64: C8AAA8097BD67690 Time : 0.0 sec. user=henryzz [2010-10-13 12:56:28] 503*2^911298-1 is not prime. Res64: 5B527F8E96BE7F66 Time : 0.0 sec. user=henryzz [2010-10-13 13:02:44] 417*2^911300-1 is not prime. Res64: DFE416632D8462D5 Time : 0.0 sec. user=henryzz [2010-10-13 13:08:26] 447*2^911300-1 is not prime. Res64: A3D6842F4937149A Time : 0.0 sec. user=mdettweiler [2010-10-13 13:12:22] 507*2^911298-1 is not prime. Res64: DD2743EADB3AA593 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:12:23] 511*2^911299-1 is not prime. Res64: 2DF61DAF81DF8D98 Time : 0.0 sec. user=henryzz [2010-10-13 13:12:35] 459*2^911300-1 is not prime. Res64: 114A53DC48B7B043 Time : 0.0 sec. user=marco.bs [2010-10-13 13:17:38] 485*2^911298-1 is not prime. Res64: BE1A2561C99C9664 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:24:14] 519*2^911300-1 is not prime. Res64: 24E48630FFE85177 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:24:15] 557*2^911300-1 is not prime. Res64: DDA5BC7684D9D213 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:24:39] 423*2^911302-1 is not prime. Res64: 0C6254663F47F581 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:24:40] 467*2^911302-1 is not prime. Res64: 83487C6476F2007D Time : 0.0 sec. user=mdettweiler [2010-10-13 13:24:46] 427*2^911301-1 is not prime. Res64: 2B9BAA1B03004C9D Time : 0.0 sec. user=mdettweiler [2010-10-13 13:24:46] 585*2^911301-1 is not prime. Res64: 7A96B29AE15BD72A Time : 0.0 sec. user=marco.bs [2010-10-13 13:38:27] 489*2^911303-1 is not prime. Res64: 7B4AA25A62F8D810 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:43:08] 453*2^911304-1 is not prime. Res64: 842689682AE830AE Time : 0.0 sec. user=mdettweiler [2010-10-13 13:43:08] 503*2^911304-1 is not prime. Res64: 66E85B69112EBF4B Time : 0.0 sec. user=mdettweiler [2010-10-13 13:55:11] 563*2^911304-1 is not prime. Res64: BFAF0A12438EB829 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:55:11] 597*2^911304-1 is not prime. Res64: 344A4282CDD75B9F Time : 0.0 sec. user=mdettweiler [2010-10-13 13:55:28] 489*2^911305-1 is not prime. Res64: 1E07F918262EBD4E Time : 0.0 sec. user=mdettweiler [2010-10-13 13:55:28] 495*2^911305-1 is not prime. Res64: DCDA421FC2BDDE39 Time : 0.0 sec. user=mdettweiler [2010-10-13 13:55:34] 507*2^911305-1 is not prime. Res64: 85626C11970DF1CA Time : 0.0 sec. user=mdettweiler [2010-10-13 13:55:35] 425*2^911306-1 is not prime. Res64: 4F3F4534610DDBDF Time : 0.0 sec. user=mdettweiler [2010-10-13 14:14:27] 587*2^911306-1 is not prime. Res64: 77E94A4C99529699 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:14:27] 501*2^911307-1 is not prime. Res64: 79171A36B642325D Time : 0.0 sec. user=mdettweiler [2010-10-13 14:26:48] 523*2^911307-1 is not prime. Res64: 55303D9C8DBA4DB9 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:26:49] 565*2^911307-1 is not prime. Res64: B2FEF5DBC4D48D1E Time : 0.0 sec. user=mdettweiler [2010-10-13 14:26:54] 437*2^911308-1 is not prime. Res64: C1BD529B33AFD847 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:26:54] 453*2^911308-1 is not prime. Res64: 208071F657FA4ECC Time : 0.0 sec. user=mdettweiler [2010-10-13 14:26:57] 483*2^911308-1 is not prime. Res64: 86D83E2752CEA426 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:26:57] 569*2^911308-1 is not prime. Res64: A8283599DD4BD86D Time : 0.0 sec. user=mdettweiler [2010-10-13 14:46:10] 469*2^911309-1 is not prime. Res64: 6ABB96A865581371 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:46:11] 489*2^911309-1 is not prime. Res64: CE0B19C656697423 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:57:40] 415*2^911311-1 is not prime. Res64: D79D2F9A207B013E Time : 0.0 sec. user=mdettweiler [2010-10-13 14:57:40] 511*2^911311-1 is not prime. Res64: DB436C84EA96CA42 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:58:06] 405*2^911310-1 is not prime. Res64: 532E84CC7101DB09 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:58:06] 515*2^911310-1 is not prime. Res64: ABF8361F679E2C23 Time : 0.0 sec. user=mdettweiler [2010-10-13 14:58:19] 541*2^911311-1 is not prime. Res64: A5FE10FBC315598F Time : 0.0 sec. user=mdettweiler [2010-10-13 14:58:20] 405*2^911312-1 is not prime. Res64: FB99D216FB2090CE Time : 0.0 sec. user=mdettweiler [2010-10-13 15:16:44] 413*2^911312-1 is not prime. Res64: 4A987DD1AEC048C1 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:16:45] 453*2^911312-1 is not prime. Res64: F5C3786E7BF0B527 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:28:04] 507*2^911312-1 is not prime. Res64: ECAF20F0C6FD3F26 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:28:04] 563*2^911312-1 is not prime. Res64: 10AEF5DA6E01CCCB Time : 0.0 sec. user=mdettweiler [2010-10-13 15:28:34] 525*2^911313-1 is not prime. Res64: 8BD1C61BDE6369D7 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:28:35] 595*2^911313-1 is not prime. Res64: 3AF77E3193ED56E1 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:28:48] 413*2^911314-1 is not prime. Res64: 0A67E52C32113E0F Time : 0.0 sec. user=mdettweiler [2010-10-13 15:28:48] 483*2^911314-1 is not prime. Res64: 29EA6143F8320FF4 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:47:12] 525*2^911314-1 is not prime. Res64: F01BDE8072D1AF64 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:47:13] 531*2^911314-1 is not prime. Res64: 6B4535DB8B73763A Time : 0.0 sec. user=marco.bs [2010-10-13 15:48:49] 557*2^911304-1 is not prime. Res64: 29409424E79F18BC Time : 0.0 sec. user=marco.bs [2010-10-13 15:51:33] 561*2^911306-1 is not prime. Res64: 1499CDAB6687F26F Time : 0.0 sec. user=mdettweiler [2010-10-13 15:58:30] 551*2^911314-1 is not prime. Res64: F3CB10172C3E0DEB Time : 0.0 sec. user=mdettweiler [2010-10-13 15:58:30] 511*2^911315-1 is not prime. Res64: A07CA9C4F345826D Time : 0.0 sec. user=mdettweiler [2010-10-13 15:59:00] 595*2^911315-1 is not prime. Res64: 15567956FC652130 Time : 0.0 sec. user=mdettweiler [2010-10-13 15:59:01] 515*2^911316-1 is not prime. Res64: 27976E82A9F70CBD Time : 0.0 sec. user=mdettweiler [2010-10-13 15:59:18] 537*2^911316-1 is not prime. Res64: 4237FB7836DC7EFA Time : 0.0 sec. user=mdettweiler [2010-10-13 15:59:19] 427*2^911317-1 is not prime. Res64: CF2385338BA0E41A Time : 0.0 sec. user=mdettweiler [2010-10-13 16:17:40] 439*2^911317-1 is not prime. Res64: 4A6E010E323693E0 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:17:41] 465*2^911317-1 is not prime. Res64: 67103D0BFB3F18F5 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:29:00] 473*2^911318-1 is not prime. Res64: CEA8E28B48C1239E Time : 0.0 sec. user=mdettweiler [2010-10-13 16:29:00] 507*2^911318-1 is not prime. Res64: 58890BA1EBC59B80 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:29:26] 411*2^911319-1 is not prime. Res64: 0EF3B5B16803A6EC Time : 0.0 sec. user=mdettweiler [2010-10-13 16:29:26] 513*2^911319-1 is not prime. Res64: 5DC5D1FEF0057A55 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:29:42] 549*2^911319-1 is not prime. Res64: DFBCE8BBE855B92C Time : 0.0 sec. user=mdettweiler [2010-10-13 16:29:43] 423*2^911320-1 is not prime. Res64: 7D3197F8A6DFE13E Time : 0.0 sec. user=mdettweiler [2010-10-13 16:48:14] 447*2^911320-1 is not prime. Res64: E3140F77F2B991EC Time : 0.0 sec. user=mdettweiler [2010-10-13 16:48:15] 539*2^911320-1 is not prime. Res64: 225FB8464DB89095 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:59:28] 487*2^911321-1 is not prime. Res64: 61A39BA29A580939 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:59:28] 485*2^911322-1 is not prime. Res64: 81BB8063F73F132A Time : 0.0 sec. user=mdettweiler [2010-10-13 16:59:56] 525*2^911322-1 is not prime. Res64: 089F265E21B49746 Time : 0.0 sec. user=mdettweiler [2010-10-13 16:59:56] 543*2^911322-1 is not prime. Res64: 1D041C912076BBC1 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:00:09] 573*2^911322-1 is not prime. Res64: 6FABBFCB56B7DD26 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:00:09] 453*2^911323-1 is not prime. Res64: 2C910FBD6C2A1FCC Time : 0.0 sec. user=mdettweiler [2010-10-13 17:18:40] 519*2^911323-1 is not prime. Res64: 0CF40707040B6C03 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:18:40] 465*2^911324-1 is not prime. Res64: 3DDC4646119D7408 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:29:54] 503*2^911324-1 is not prime. Res64: 0EE6B45875D8B8E5 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:29:55] 525*2^911324-1 is not prime. Res64: 981EFDAA67909B6A Time : 0.0 sec. user=mdettweiler [2010-10-13 17:30:20] 409*2^911325-1 is not prime. Res64: CA60A918C270BF82 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:30:21] 459*2^911325-1 is not prime. Res64: FA9CADC79B34E4DE Time : 0.0 sec. user=mdettweiler [2010-10-13 17:30:38] 465*2^911325-1 is not prime. Res64: 122AFC7D9723EA1E Time : 0.0 sec. user=mdettweiler [2010-10-13 17:30:39] 481*2^911325-1 is not prime. Res64: 08E6E27DE3944027 Time : 0.0 sec. user=mdettweiler [2010-10-13 17:49:06] 565*2^911325-1 is not prime. Res64: C9BBC0A25724D01F Time : 0.0 sec. user=mdettweiler [2010-10-13 17:49:06] 595*2^911325-1 is not prime. Res64: EDE72F8B9BA85E21 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:00:28] 471*2^911326-1 is not prime. Res64: EDE26C435876CBFB Time : 0.0 sec. user=mdettweiler [2010-10-13 18:00:29] 507*2^911326-1 is not prime. Res64: 1247BDFD0F98DF1D Time : 0.0 sec. user=mdettweiler [2010-10-13 18:00:51] 545*2^911326-1 is not prime. Res64: 89E1585E51B2837F Time : 0.0 sec. user=mdettweiler [2010-10-13 18:00:52] 559*2^911327-1 is not prime. Res64: 0FC4A011A8B5C717 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:01:09] 565*2^911327-1 is not prime. Res64: 676DDAE98E4B4471 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:01:10] 595*2^911327-1 is not prime. Res64: 97E8298CF4E4091C Time : 0.0 sec. user=marco.bs [2010-10-13 18:08:41] 565*2^911317-1 is not prime. Res64: F7196059A220E4E3 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:19:38] 413*2^911328-1 is not prime. Res64: BB88D7DC6E346E21 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:19:39] 423*2^911328-1 is not prime. Res64: 782885EA8CB28CBB Time : 0.0 sec. user=mdettweiler [2010-10-13 18:30:57] 465*2^911329-1 is not prime. Res64: 36284CCDE716AA7D Time : 0.0 sec. user=mdettweiler [2010-10-13 18:30:58] 535*2^911329-1 is not prime. Res64: 5BFB009486A01929 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:31:25] 589*2^911329-1 is not prime. Res64: 8859211EE84AE650 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:31:26] 453*2^911330-1 is not prime. Res64: 2AFCDFACB9A625DE Time : 0.0 sec. user=mdettweiler [2010-10-13 18:31:40] 405*2^911331-1 is not prime. Res64: 28699992E36E05F9 Time : 0.0 sec. user=mdettweiler [2010-10-13 18:31:41] 483*2^911331-1 is not prime. Res64: E2C9CCEBE2281DB8 Time : 0.0 sec. user=Sloth [2010-10-13 18:47:13] 433*2^911263-1 is not prime. Res64: 1526162A901128A1 Time : 0.0 sec. user=Sloth [2010-10-13 18:47:18] 481*2^911263-1 is not prime. Res64: B45B30B47DE73E1B Time : 0.0 sec. user=mdettweiler [2010-10-13 18:50:08] 455*2^911332-1 is not prime. Res64: 4261BF333AFF5EEA Time : 0.0 sec. user=mdettweiler [2010-10-13 18:50:08] 495*2^911332-1 is not prime. Res64: 4D46F811925A4B58 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:01:30] 497*2^911332-1 is not prime. Res64: D55C1411DC82141A Time : 0.0 sec. user=mdettweiler [2010-10-13 19:01:30] 417*2^911333-1 is not prime. Res64: 9A59515DB2ABC018 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:01:50] 441*2^911333-1 is not prime. Res64: A573ED9943FFBB02 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:01:51] 517*2^911333-1 is not prime. Res64: B6A19EDF73DA7573 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:02:15] 537*2^911333-1 is not prime. Res64: 5D4E0F2DB01D576E Time : 0.0 sec. user=mdettweiler [2010-10-13 19:02:16] 571*2^911333-1 is not prime. Res64: 9B5FA8E45B153854 Time : 0.0 sec. user=Sloth [2010-10-13 19:05:05] 443*2^911334-1 is not prime. Res64: 8C94B0FF04DCBCBD Time : 0.0 sec. user=Sloth [2010-10-13 19:05:12] 453*2^911334-1 is not prime. Res64: F051CF9B2DB04435 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:20:31] 421*2^911335-1 is not prime. Res64: 16ED0B500D9C5DA8 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:20:32] 451*2^911335-1 is not prime. Res64: 54F0D14647BA88E2 Time : 0.0 sec. user=Sloth [2010-10-13 19:23:05] 469*2^911337-1 is not prime. Res64: AAB312314A8CE8BE Time : 0.0 sec. user=Sloth [2010-10-13 19:23:12] 531*2^911337-1 is not prime. Res64: 0B02FAB932495502 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:32:03] 475*2^911335-1 is not prime. Res64: FFE49A271B7F2FF7 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:32:04] 511*2^911335-1 is not prime. Res64: AC598CC9E2F62BB6 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:32:18] 435*2^911336-1 is not prime. Res64: 630325959C167F6A Time : 0.0 sec. user=mdettweiler [2010-10-13 19:32:18] 449*2^911336-1 is not prime. Res64: 04C1E9887187F3CD Time : 0.0 sec. user=mdettweiler [2010-10-13 19:32:42] 593*2^911336-1 is not prime. Res64: 31A5871B187BE324 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:32:42] 439*2^911337-1 is not prime. Res64: 3E347F6E89E0BB68 Time : 0.0 sec. user=Sloth [2010-10-13 19:40:58] 437*2^911338-1 is not prime. Res64: 8910353986942940 Time : 0.0 sec. user=Sloth [2010-10-13 19:41:04] 461*2^911338-1 is not prime. Res64: 2BC0EF90EF44E442 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:50:58] 423*2^911338-1 is not prime. Res64: 0F225B61062D2203 Time : 0.0 sec. user=mdettweiler [2010-10-13 19:50:58] 435*2^911338-1 is not prime. Res64: 0D016E165B4B8814 Time : 0.0 sec. user=Sloth [2010-10-13 19:58:50] 451*2^911339-1 is not prime. Res64: 8152D9E40CE91B3C Time : 0.0 sec. user=Sloth [2010-10-13 19:58:56] 463*2^911339-1 is not prime. Res64: DAC3182CEE0DCE0E Time : 0.0 sec. user=mdettweiler [2010-10-13 20:02:30] 483*2^911338-1 is not prime. Res64: 484B0F7E6982A084 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:02:31] 507*2^911338-1 is not prime. Res64: 0D107828A6FA20D6 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:02:48] 525*2^911338-1 is not prime. Res64: 3D005FD2E887B2D5 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:02:54] 421*2^911339-1 is not prime. Res64: 9FE11F503508177B Time : 0.0 sec. user=mdettweiler [2010-10-13 20:03:11] 433*2^911339-1 is not prime. Res64: 336056148E2CD27E Time : 0.0 sec. user=mdettweiler [2010-10-13 20:03:11] 435*2^911339-1 is not prime. Res64: 8309501B1AC6BC7E Time : 0.0 sec. user=Sloth [2010-10-13 20:16:43] 565*2^911339-1 is not prime. Res64: 255EBD5631D8140D Time : 0.0 sec. user=Sloth [2010-10-13 20:16:50] 459*2^911340-1 is not prime. Res64: 79045F835902C653 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:21:24] 465*2^911339-1 is not prime. Res64: 77B3BF9888590829 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:21:25] 469*2^911339-1 is not prime. Res64: 05F106AE9575BF40 Time : 0.0 sec. user=marco.bs [2010-10-13 20:33:11] 591*2^911331-1 is not prime. Res64: 198BEB584945DB79 Time : 0.0 sec. user=marco.bs [2010-10-13 20:33:11] 405*2^911332-1 is not prime. Res64: 54812D361A5C97F0 Time : 0.0 sec. user=marco.bs [2010-10-13 20:33:12] 447*2^911332-1 is not prime. Res64: 50D5E5691BA896CB Time : 0.0 sec. user=mdettweiler [2010-10-13 20:33:12] 549*2^911340-1 is not prime. Res64: 985F4C0D2CC843C4 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:33:12] 555*2^911340-1 is not prime. Res64: 5F16A0BBA9384537 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:33:25] 465*2^911341-1 is not prime. Res64: 9FFA8D677AE8186E Time : 0.0 sec. user=mdettweiler [2010-10-13 20:33:25] 447*2^911342-1 is not prime. Res64: A9E875E56D456FCB Time : 0.0 sec. user=mdettweiler [2010-10-13 20:33:38] 521*2^911342-1 is not prime. Res64: 17E58F1DFEAC7DD2 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:33:38] 573*2^911342-1 is not prime. Res64: C4E841A982390222 Time : 0.0 sec. user=Sloth [2010-10-13 20:34:34] 409*2^911343-1 is not prime. Res64: 58410D2BD012EF9A Time : 0.0 sec. user=Sloth [2010-10-13 20:34:41] 489*2^911343-1 is not prime. Res64: 9325E3FDCEEC9772 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:51:58] 493*2^911343-1 is not prime. Res64: B8475D59151A08F3 Time : 0.0 sec. user=mdettweiler [2010-10-13 20:51:58] 523*2^911343-1 is not prime. Res64: BAEA09A233D26C3D Time : 0.0 sec. user=Sloth [2010-10-13 20:52:26] 517*2^911345-1 is not prime. Res64: DC4617BD6F8FBE2A Time : 0.0 sec. user=Sloth [2010-10-13 20:52:33] 565*2^911345-1 is not prime. Res64: 864EFF144BC10BD0 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:03:59] 429*2^911344-1 is not prime. Res64: C36907CDB53ADEC9 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:04:00] 485*2^911344-1 is not prime. Res64: 71717136263A86CE Time : 0.0 sec. user=mdettweiler [2010-10-13 21:04:21] 563*2^911344-1 is not prime. Res64: 42EA5F88A7ABB408 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:04:22] 465*2^911345-1 is not prime. Res64: B98F807DE4E45DDA Time : 0.0 sec. user=mdettweiler [2010-10-13 21:04:23] 507*2^911345-1 is not prime. Res64: 678D161D6DD83262 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:04:23] 511*2^911345-1 is not prime. Res64: 914EA840A9DEF518 Time : 0.0 sec. user=Sloth [2010-10-13 21:10:20] 497*2^911346-1 is not prime. Res64: 97D50A717E3786C9 Time : 0.0 sec. user=Sloth [2010-10-13 21:10:27] 507*2^911346-1 is not prime. Res64: F8471839225B8D20 Time : 0.0 sec. user=marco.bs [2010-10-13 21:16:58] 567*2^911317-1 is not prime. Res64: 744D782C0574B64D Time : 0.0 sec. user=marco.bs [2010-10-13 21:17:49] 585*2^911343-1 is not prime. Res64: F90A3801691D00FA Time : 0.0 sec. user=mdettweiler [2010-10-13 21:22:56] 437*2^911346-1 is not prime. Res64: 5148792BAB6B0D6A Time : 0.0 sec. user=mdettweiler [2010-10-13 21:22:56] 443*2^911346-1 is not prime. Res64: 86782135EFBA4260 Time : 0.0 sec. user=Sloth [2010-10-13 21:28:12] 515*2^911348-1 is not prime. Res64: AFBF95CB8EBFA32F Time : 0.0 sec. user=Sloth [2010-10-13 21:28:19] 471*2^911349-1 is not prime. Res64: 07EFA357514003D3 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:35:14] 513*2^911346-1 is not prime. Res64: 798A56B224937998 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:35:15] 405*2^911347-1 is not prime. Res64: 2321D3A2DB74084F Time : 0.0 sec. user=mdettweiler [2010-10-13 21:35:22] 493*2^911347-1 is not prime. Res64: 546C795C8EDBBAB2 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:35:22] 489*2^911348-1 is not prime. Res64: 299D2D1CE6AEF5EB Time : 0.0 sec. user=mdettweiler [2010-10-13 21:35:23] 531*2^911347-1 is not prime. Res64: 778D1B879F59E016 Time : 0.0 sec. user=mdettweiler [2010-10-13 21:35:23] 507*2^911348-1 is not prime. Res64: 589653847168AAEB Time : 0.0 sec. user=Sloth [2010-10-13 21:46:03] 531*2^911351-1 is not prime. Res64: AEE55C2656568F98 Time : 0.0 sec. user=Sloth [2010-10-13 21:46:26] 405*2^911352-1 is not prime. Res64: 459D1654FCBC8EFC Time : 0.0 sec. user=mdettweiler [2010-10-13 21:53:55] 463*2^911351-1 is not prime. Res64: EB22ABAA3393608E Time : 0.0 sec. user=mdettweiler [2010-10-13 21:53:56] 525*2^911351-1 is not prime. Res64: B02E3AD3C060831B Time : 0.0 sec. user=Sloth [2010-10-13 22:03:57] 595*2^911353-1 is not prime. Res64: BFD3B8202432EE67 Time : 0.0 sec. user=Sloth [2010-10-13 22:04:19] 495*2^911354-1 is not prime. Res64: 06051D9692246AA3 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:06:43] 437*2^911352-1 is not prime. Res64: 6055E01942702464 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:06:43] 507*2^911352-1 is not prime. Res64: 0DEEF29E7DF4354E Time : 0.0 sec. user=mdettweiler [2010-10-13 22:06:43] 455*2^911352-1 is not prime. Res64: F99F15F26B8EBABF Time : 0.0 sec. user=mdettweiler [2010-10-13 22:06:43] 569*2^911352-1 is not prime. Res64: F8DD3BF50D1EBC35 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:06:49] 499*2^911353-1 is not prime. Res64: A009D12D6F11E678 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:06:50] 549*2^911353-1 is not prime. Res64: 91BC9E98D5B8AA93 Time : 0.0 sec. user=marco.bs [2010-10-13 22:11:26] 405*2^911350-1 is not prime. Res64: 3B8F2984EAC8FF5E Time : 0.0 sec. user=marco.bs [2010-10-13 22:15:23] 453*2^911351-1 is not prime. Res64: 45E7F4817F1D1C2B Time : 0.0 sec. user=Sloth [2010-10-13 22:21:58] 545*2^911354-1 is not prime. Res64: 5A83A98D3F15F00E Time : 0.0 sec. user=Sloth [2010-10-13 22:22:27] 563*2^911354-1 is not prime. Res64: 78D0601CF30C2A49 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:27:43] 497*2^911354-1 is not prime. Res64: AEF45CDC966A032D Time : 0.0 sec. user=mdettweiler [2010-10-13 22:27:44] 531*2^911354-1 is not prime. Res64: B3DDA8E4289BD036 Time : 0.0 sec. user=Sloth [2010-10-13 22:39:50] 495*2^911356-1 is not prime. Res64: EBD496C6BB9B189E Time : 0.0 sec. user=Sloth [2010-10-13 22:40:20] 575*2^911356-1 is not prime. Res64: FBD44BBFB28E81D5 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:40:58] 465*2^911355-1 is not prime. Res64: 95DA1C6A74F54FF7 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:40:58] 475*2^911355-1 is not prime. Res64: FCC751C39BCFD4C9 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:41:13] 595*2^911355-1 is not prime. Res64: 52939BFADE7E6FA4 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:41:14] 449*2^911356-1 is not prime. Res64: CE1166E2B8572607 Time : 0.0 sec. user=mdettweiler [2010-10-13 22:41:37] 433*2^911355-1 is not prime. Res64: E5736BC2748F18EE Time : 0.0 sec. user=mdettweiler [2010-10-13 22:41:37] 585*2^911355-1 is not prime. Res64: D4146F6AB70321BB Time : 0.0 sec. user=Sloth [2010-10-13 22:57:59] 445*2^911357-1 is not prime. Res64: 4B9CC04D1DFE8C03 Time : 0.0 sec. user=Sloth [2010-10-13 22:58:28] 489*2^911357-1 is not prime. Res64: E91F9164CA5E5368 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:01:42] 435*2^911357-1 is not prime. Res64: E9A2754C32BC7535 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:01:43] 441*2^911357-1 is not prime. Res64: E615D00D0FD7394F Time : 0.0 sec. user=mdettweiler [2010-10-13 23:12:48] 577*2^911357-1 is not prime. Res64: 644108F35B7C2AD7 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:12:48] 503*2^911358-1 is not prime. Res64: 2D5D9CB7F1BB6FA4 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:13:19] 507*2^911357-1 is not prime. Res64: CF4340A4251714C8 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:13:19] 565*2^911357-1 is not prime. Res64: 70BD127247605782 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:14:10] 507*2^911358-1 is not prime. Res64: 6E5F135340472F85 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:14:10] 515*2^911358-1 is not prime. Res64: 1EFB7BB9988931CA Time : 0.0 sec. user=Sloth [2010-10-13 23:15:51] 525*2^911358-1 is not prime. Res64: E663A12FC60E2898 Time : 0.0 sec. user=Sloth [2010-10-13 23:16:21] 551*2^911358-1 is not prime. Res64: 1BC89C1BEDF07AE0 Time : 0.0 sec. user=marco.bs [2010-10-13 23:20:45] 453*2^911356-1 is not prime. Res64: F2546FCA27E3378C Time : 0.0 sec. user=marco.bs [2010-10-13 23:23:34] 465*2^911356-1 is not prime. Res64: 0304CD736B6AFA74 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:33:22] 563*2^911358-1 is not prime. Res64: B12D3A8F12B3966B Time : 0.0 sec. user=mdettweiler [2010-10-13 23:33:22] 573*2^911358-1 is not prime. Res64: 32A99AC40E0F6328 Time : 0.0 sec. user=Sloth [2010-10-13 23:33:44] 489*2^911360-1 is not prime. Res64: 73FE315DDDB3CF1D Time : 0.0 sec. user=Sloth [2010-10-13 23:34:29] 585*2^911360-1 is not prime. Res64: 4B725B20243F97EC Time : 0.0 sec. user=mdettweiler [2010-10-13 23:44:35] 489*2^911359-1 is not prime. Res64: 6CBF420027C426F2 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:44:35] 553*2^911359-1 is not prime. Res64: 87E9DD8AFE61C345 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:44:51] 421*2^911359-1 is not prime. Res64: F61C6582046540E8 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:44:51] 483*2^911359-1 is not prime. Res64: 21595A93DBD8DED8 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:46:23] 559*2^911359-1 is not prime. Res64: 0F6CBF3FF50FCCF7 Time : 0.0 sec. user=mdettweiler [2010-10-13 23:46:23] 465*2^911360-1 is not prime. Res64: 4452ABC0D9446405 Time : 0.0 sec. user=Sloth [2010-10-13 23:51:36] 467*2^911362-1 is not prime. Res64: 7F7B233766A54968 Time : 0.0 sec. user=Sloth [2010-10-13 23:52:21] 471*2^911362-1 is not prime. Res64: 4F1A9D052396620F Time : 0.0 sec.