user=mdettweiler [2008-11-15 07:04:14] 871*2^570081-1 is not prime. Res64: 591E3D3FB4034650 Time : 2489.0 sec. user=mdettweiler [2008-11-15 07:12:28] 949*2^570081-1 is not prime. Res64: D6E3CEF00C0A09F8 Time : 2483.0 sec. user=mdettweiler [2008-11-15 07:20:39] 447*2^570082-1 is not prime. Res64: EE75B9B855BF3AC8 Time : 2476.0 sec. user=mdettweiler [2008-11-15 07:28:50] 477*2^570082-1 is not prime. Res64: 46C3727058C59521 Time : 2465.0 sec. user=mdettweiler [2008-11-15 07:37:04] 503*2^570082-1 is not prime. Res64: 7108F82788851D41 Time : 2464.0 sec. user=mdettweiler [2008-11-15 07:45:15] 611*2^570082-1 is not prime. Res64: 36FF79ABB28798DF Time : 2461.0 sec. user=mdettweiler [2008-11-15 07:53:25] 635*2^570082-1 is not prime. Res64: 9DFB23C2449AB121 Time : 2457.0 sec. user=mdettweiler [2008-11-15 08:01:34] 647*2^570082-1 is not prime. Res64: 595B2AB1EFA3BEAD Time : 2456.0 sec. user=mdettweiler [2008-11-15 08:09:44] 651*2^570082-1 is not prime. Res64: 8F669CCF968424FD Time : 2454.0 sec. user=mdettweiler [2008-11-15 08:17:55] 717*2^570082-1 is not prime. Res64: C58A5124DCA98F3B Time : 2451.0 sec. user=mdettweiler [2008-11-15 08:26:06] 741*2^570082-1 is not prime. Res64: 0FB736285781D718 Time : 2451.0 sec. user=mdettweiler [2008-11-15 08:34:16] 833*2^570082-1 is not prime. Res64: 1351D4869234ED8D Time : 2452.0 sec. user=mdettweiler [2008-11-15 08:42:27] 411*2^570083-1 is not prime. Res64: 1A740CA41979F6BF Time : 2453.0 sec. user=mdettweiler [2008-11-15 08:50:38] 735*2^570083-1 is not prime. Res64: EAE36259E8A98269 Time : 2454.0 sec. user=mdettweiler [2008-11-15 08:58:49] 781*2^570083-1 is not prime. Res64: 5DF9735B328F1DBE Time : 2454.0 sec. user=mdettweiler [2008-11-15 09:07:00] 943*2^570083-1 is not prime. Res64: 4FD7AC7C651D73E0 Time : 2455.0 sec. user=mdettweiler [2008-11-15 09:15:10] 949*2^570083-1 is not prime. Res64: 9833CFE5B0BFCE0D Time : 2454.0 sec. user=mdettweiler [2008-11-15 09:23:21] 981*2^570083-1 is not prime. Res64: FA69DC24E1C501DF Time : 2454.0 sec. user=mdettweiler [2008-11-15 09:31:31] 419*2^570084-1 is not prime. Res64: 037AC30A0EBB602E Time : 2453.0 sec. user=mdettweiler [2008-11-15 09:39:41] 497*2^570084-1 is not prime. Res64: F3FD0DD587C83423 Time : 2452.0 sec. user=mdettweiler [2008-11-15 09:47:51] 539*2^570084-1 is not prime. Res64: 64BB8358C23191BC Time : 2451.0 sec. user=mdettweiler [2008-11-15 09:56:01] 545*2^570084-1 is not prime. Res64: 1E264D4CEEA64F5C Time : 2451.0 sec. user=mdettweiler [2008-11-15 10:04:12] 549*2^570084-1 is not prime. Res64: 879E1A4925E9EB0B Time : 2451.0 sec. user=mdettweiler [2008-11-15 10:12:24] 557*2^570084-1 is not prime. Res64: DA14F7B41D580169 Time : 2453.0 sec. user=mdettweiler [2008-11-15 10:20:35] 563*2^570084-1 is not prime. Res64: 9A29AC269A39364D Time : 2454.0 sec. user=mdettweiler [2008-11-15 10:28:45] 585*2^570084-1 is not prime. Res64: A544F20E43763E28 Time : 2454.0 sec. user=mdettweiler [2008-11-15 10:36:56] 609*2^570084-1 is not prime. Res64: 18CF33CAE7EB16B7 Time : 2455.0 sec. user=mdettweiler [2008-11-15 10:45:06] 719*2^570084-1 is not prime. Res64: 7E3699A18E563FE5 Time : 2454.0 sec. user=mdettweiler [2008-11-15 10:53:14] 753*2^570084-1 is not prime. Res64: B569D86F487BC880 Time : 2450.0 sec. user=mdettweiler [2008-11-15 11:01:24] 773*2^570084-1 is not prime. Res64: E26D59C0251A510A Time : 2449.0 sec. user=mdettweiler [2008-11-15 11:09:35] 825*2^570084-1 is not prime. Res64: 9ADDFA8ACDFCA195 Time : 2450.0 sec. user=mdettweiler [2008-11-15 11:17:48] 965*2^570084-1 is not prime. Res64: 3F35C24427908F72 Time : 2452.0 sec. user=mdettweiler [2008-11-15 11:25:59] 481*2^570085-1 is not prime. Res64: 494C374EE006CEF3 Time : 2453.0 sec. user=mdettweiler [2008-11-15 11:34:14] 519*2^570085-1 is not prime. Res64: EA965D22D2585892 Time : 2460.0 sec. user=mdettweiler [2008-11-15 11:42:27] 607*2^570085-1 is not prime. Res64: 5850B177A4B60599 Time : 2463.0 sec. user=mdettweiler [2008-11-15 11:50:39] 667*2^570085-1 is not prime. Res64: 6E074953B9D6971E Time : 2464.0 sec. user=mdettweiler [2008-11-15 11:58:49] 691*2^570085-1 is not prime. Res64: 01D75EAE2C1DB823 Time : 2462.0 sec. user=mdettweiler [2008-11-15 12:06:58] 789*2^570085-1 is not prime. Res64: 5E57DDB4B8368F0D Time : 2459.0 sec. user=mdettweiler [2008-11-15 12:15:08] 831*2^570085-1 is not prime. Res64: FD2CC7E3235E2319 Time : 2454.0 sec. user=mdettweiler [2008-11-15 12:23:18] 861*2^570085-1 is not prime. Res64: 11E5E5C346E24D9D Time : 2451.0 sec. user=mdettweiler [2008-11-15 12:31:27] 939*2^570085-1 is not prime. Res64: 2D78866D2B0F55F4 Time : 2448.0 sec. user=mdettweiler [2008-11-15 12:39:36] 961*2^570085-1 is not prime. Res64: FB9780FEEC74E207 Time : 2447.0 sec. user=mdettweiler [2008-11-15 12:47:46] 999*2^570085-1 is not prime. Res64: F3AB107F78423378 Time : 2448.0 sec. user=mdettweiler [2008-11-15 12:55:56] 407*2^570086-1 is not prime. Res64: 0BE1CC09B3CE07D4 Time : 2448.0 sec. user=mdettweiler [2008-11-15 13:04:07] 417*2^570086-1 is not prime. Res64: 11430134282E448F Time : 2449.0 sec. user=mdettweiler [2008-11-15 13:12:17] 525*2^570086-1 is not prime. Res64: 9CE6A6DEEA7026DB Time : 2450.0 sec. user=mdettweiler [2008-11-15 13:20:28] 641*2^570086-1 is not prime. Res64: DCEB64582F71BDA5 Time : 2452.0 sec. user=mdettweiler [2008-11-15 13:28:37] 683*2^570086-1 is not prime. Res64: 3450336DA9CFCBF8 Time : 2451.0 sec. user=mdettweiler [2008-11-15 13:36:47] 705*2^570086-1 is not prime. Res64: 3C24CBF372736899 Time : 2451.0 sec. user=mdettweiler [2008-11-15 13:44:57] 743*2^570086-1 is not prime. Res64: DD9FBC9DDEE17E03 Time : 2450.0 sec. user=mdettweiler [2008-11-15 13:53:07] 843*2^570086-1 is not prime. Res64: 7ED450E8C7C99C6A Time : 2450.0 sec. user=mdettweiler [2008-11-15 14:01:17] 851*2^570086-1 is not prime. Res64: B807E6CF0E8ED2B3 Time : 2450.0 sec. user=mdettweiler [2008-11-15 14:09:27] 867*2^570086-1 is not prime. Res64: C505E46792881D35 Time : 2450.0 sec. user=mdettweiler [2008-11-15 14:17:38] 983*2^570086-1 is not prime. Res64: FF931AD2574D5AD4 Time : 2451.0 sec. user=mdettweiler [2008-11-15 14:25:48] 441*2^570087-1 is not prime. Res64: 4A98511BE6A7EA14 Time : 2451.0 sec. user=mdettweiler [2008-11-15 14:33:59] 553*2^570087-1 is not prime. Res64: C03138AF17564E79 Time : 2452.0 sec. user=mdettweiler [2008-11-15 14:42:09] 709*2^570087-1 is not prime. Res64: 399AB440AC4001E3 Time : 2452.0 sec. user=mdettweiler [2008-11-15 14:50:20] 795*2^570087-1 is not prime. Res64: 5E238659F7E18BA8 Time : 2454.0 sec. user=mdettweiler [2008-11-15 14:58:30] 805*2^570087-1 is not prime. Res64: 4EC7449F7A7F06A6 Time : 2452.0 sec. user=mdettweiler [2008-11-15 15:06:40] 823*2^570087-1 is not prime. Res64: 1121D0A547421C2B Time : 2453.0 sec. user=mdettweiler [2008-11-15 15:14:50] 825*2^570087-1 is not prime. Res64: AC45CC71C3149634 Time : 2451.0 sec. user=mdettweiler [2008-11-15 15:23:01] 865*2^570087-1 is not prime. Res64: E1974D08021A6FD3 Time : 2452.0 sec. user=mdettweiler [2008-11-15 15:31:12] 871*2^570087-1 is not prime. Res64: 2C2EF88EA6574775 Time : 2452.0 sec. user=mdettweiler [2008-11-15 15:39:21] 879*2^570087-1 is not prime. Res64: 4C654E66F82242D4 Time : 2451.0 sec. user=mdettweiler [2008-11-15 15:47:31] 895*2^570087-1 is not prime. Res64: D917621C5F29D8EF Time : 2451.0 sec. user=mdettweiler [2008-11-15 15:55:40] 951*2^570087-1 is not prime. Res64: 89E22E800D6D5113 Time : 2450.0 sec. user=mdettweiler [2008-11-15 16:03:52] 973*2^570087-1 is not prime. Res64: 6F6208CC5418867B Time : 2451.0 sec. user=mdettweiler [2008-11-15 16:12:01] 979*2^570087-1 is not prime. Res64: 9ACA740053AF397D Time : 2450.0 sec. user=mdettweiler [2008-11-15 16:20:11] 435*2^570088-1 is not prime. Res64: 558B73797086BF8E Time : 2450.0 sec. user=mdettweiler [2008-11-15 16:28:21] 573*2^570088-1 is not prime. Res64: B4E9C3AF2D7FAD51 Time : 2450.0 sec. user=mdettweiler [2008-11-15 16:36:32] 605*2^570088-1 is not prime. Res64: 879C633814E523AF Time : 2452.0 sec. user=mdettweiler [2008-11-15 16:44:43] 665*2^570088-1 is not prime. Res64: 9F7200A6C60C44DD Time : 2451.0 sec. user=mdettweiler [2008-11-15 16:53:34] 797*2^570088-1 is not prime. Res64: 443784C8A57AC159 Time : 2494.0 sec. user=mdettweiler [2008-11-15 17:02:02] 863*2^570088-1 is not prime. Res64: 72F6B1FDC0FE7FDF Time : 2511.0 sec. user=mdettweiler [2008-11-15 17:10:38] 909*2^570088-1 is not prime. Res64: 270B0032587F1980 Time : 2537.0 sec. user=mdettweiler [2008-11-15 17:19:17] 975*2^570088-1 is not prime. Res64: 2B10C5CD61853E88 Time : 2565.0 sec. user=mdettweiler [2008-11-15 17:27:43] 435*2^570089-1 is not prime. Res64: F32E41DFA08B718D Time : 2580.0 sec. user=mdettweiler [2008-11-15 17:36:27] 439*2^570089-1 is not prime. Res64: 564FD296EF8F705B Time : 2573.0 sec. user=mdettweiler [2008-11-15 17:45:56] 469*2^570089-1 is not prime. Res64: CACEF594A8CEC952 Time : 2634.0 sec. user=mdettweiler [2008-11-15 17:57:09] 481*2^570089-1 is not prime. Res64: D254CBF1C857E42B Time : 2792.0 sec. user=mdettweiler [2008-11-15 18:06:03] 501*2^570089-1 is not prime. Res64: E6BACAA2020A153A Time : 2806.0 sec. user=mdettweiler [2008-11-15 18:14:43] 627*2^570089-1 is not prime. Res64: F42F87841CE464CD Time : 2820.0 sec. user=mdettweiler [2008-11-15 18:23:22] 649*2^570089-1 is not prime. Res64: 2A6127942F551BC8 Time : 2815.0 sec. user=mdettweiler [2008-11-15 18:31:49] 657*2^570089-1 is not prime. Res64: 7A5D4F8CF2832EF3 Time : 2753.0 sec. user=mdettweiler [2008-11-15 18:40:08] 747*2^570089-1 is not prime. Res64: C15AE1A8B28AB827 Time : 2579.0 sec. user=mdettweiler [2008-11-15 18:48:39] 775*2^570089-1 is not prime. Res64: 9624CF87EC2FC76B Time : 2556.0 sec. user=mdettweiler [2008-11-15 18:57:01] 795*2^570089-1 is not prime. Res64: 1FD6E8127B1BB288 Time : 2538.0 sec. user=mdettweiler [2008-11-15 19:05:44] 855*2^570089-1 is not prime. Res64: F1DDB5D2E70ABE12 Time : 2542.0 sec. user=mdettweiler [2008-11-15 19:14:11] 865*2^570089-1 is not prime. Res64: 7D0BA0B5EA8771CE Time : 2542.0 sec. user=mdettweiler [2008-11-15 19:22:46] 997*2^570089-1 is not prime. Res64: 951DC1A79EEAAD08 Time : 2558.0 sec. user=mdettweiler [2008-11-15 19:31:14] 417*2^570090-1 is not prime. Res64: 5D5B2103458173DD Time : 2555.0 sec. user=mdettweiler [2008-11-15 19:39:41] 461*2^570090-1 is not prime. Res64: 1B3CCA883B290E90 Time : 2560.0 sec. user=mdettweiler [2008-11-15 19:48:37] 513*2^570090-1 is not prime. Res64: 9B60FF23054D5508 Time : 2573.0 sec. user=mdettweiler [2008-11-15 19:56:52] 525*2^570090-1 is not prime. Res64: 080BF194A5395FA1 Time : 2561.0 sec. user=mdettweiler [2008-11-15 20:05:04] 543*2^570090-1 is not prime. Res64: E48F0A57A703F375 Time : 2538.0 sec. user=mdettweiler [2008-11-15 20:13:16] 735*2^570090-1 is not prime. Res64: A45D3EF27DF801F9 Time : 2522.0 sec. user=mdettweiler [2008-11-15 20:21:28] 861*2^570090-1 is not prime. Res64: 28DA3C2A2BD0F5B9 Time : 2507.0 sec. user=mdettweiler [2008-11-15 20:29:41] 885*2^570090-1 is not prime. Res64: 07C43E2AB72E260B Time : 2464.0 sec. user=mdettweiler [2008-11-15 20:37:55] 891*2^570090-1 is not prime. Res64: E0EEA288B8369594 Time : 2463.0 sec. user=mdettweiler [2008-11-15 20:46:11] 977*2^570090-1 is not prime. Res64: C0BA9F2359D5ABFE Time : 2467.0 sec. user=mdettweiler [2008-11-15 20:54:47] 453*2^570091-1 is not prime. Res64: AD741770C8F785D2 Time : 2491.0 sec. user=mdettweiler [2008-11-15 21:03:27] 495*2^570091-1 is not prime. Res64: 4ADEB678BFD9249B Time : 2519.0 sec. user=mdettweiler [2008-11-15 21:11:57] 603*2^570091-1 is not prime. Res64: B4F3F1333F61135D Time : 2536.0 sec. user=mdettweiler [2008-11-15 21:20:19] 645*2^570091-1 is not prime. Res64: 635D20C837357015 Time : 2544.0 sec. user=mdettweiler [2008-11-15 21:29:07] 679*2^570091-1 is not prime. Res64: 8C43D97EDE83D284 Time : 2576.0 sec. user=mdettweiler [2008-11-15 21:37:36] 771*2^570091-1 is not prime. Res64: E08BF4C5D3FE643E Time : 2570.0 sec. user=mdettweiler [2008-11-15 21:45:50] 819*2^570091-1 is not prime. Res64: 2DE55B0E5FFA275A Time : 2543.0 sec. user=mdettweiler [2008-11-15 21:54:18] 843*2^570091-1 is not prime. Res64: 0EADA35407EB6AF5 Time : 2541.0 sec. user=mdettweiler [2008-11-15 22:02:47] 859*2^570091-1 is not prime. Res64: 07E71F3BA954159E Time : 2548.0 sec. user=mdettweiler [2008-11-15 22:11:24] 861*2^570091-1 is not prime. Res64: C36AF9B1C6166640 Time : 2537.0 sec. user=mdettweiler [2008-11-15 22:19:53] 873*2^570091-1 is not prime. Res64: 0B51E5ED53FB3910 Time : 2537.0 sec. user=mdettweiler [2008-11-15 22:28:45] 913*2^570091-1 is not prime. Res64: 1BFF331AD0A4C9AF Time : 2575.0 sec. user=mdettweiler [2008-11-15 22:38:10] 943*2^570091-1 is not prime. Res64: 4A8857132F980C8A Time : 2632.0 sec. user=mdettweiler [2008-11-15 22:46:35] 979*2^570091-1 is not prime. Res64: 594E416FBA38188A Time : 2628.0 sec. user=mdettweiler [2008-11-15 22:54:57] 993*2^570091-1 is not prime. Res64: 7B31BFF0B3A1CD2C Time : 2613.0 sec. user=mdettweiler [2008-11-15 23:03:19] 999*2^570091-1 is not prime. Res64: DDBE72CBF41278C8 Time : 2606.0 sec. user=mdettweiler [2008-11-15 23:11:58] 417*2^570092-1 is not prime. Res64: 1B6893C479823A92 Time : 2593.0 sec. user=mdettweiler [2008-11-15 23:20:31] 603*2^570092-1 is not prime. Res64: 4AFD4A57C9BAEB4A Time : 2542.0 sec. user=mdettweiler [2008-11-15 23:29:01] 623*2^570092-1 is not prime. Res64: 950D4A2A95DA6608 Time : 2546.0 sec. user=mdettweiler [2008-11-15 23:37:27] 693*2^570092-1 is not prime. Res64: 012C4B9FC8B875BA Time : 2550.0 sec. user=mdettweiler [2008-11-15 23:46:07] 803*2^570092-1 is not prime. Res64: E3A24EA1A1223389 Time : 2568.0 sec. user=mdettweiler [2008-11-15 23:54:21] 897*2^570092-1 is not prime. Res64: 5FECE16625B45C39 Time : 2543.0 sec. user=mdettweiler [2008-11-16 00:02:32] 959*2^570092-1 is not prime. Res64: 63C7E6D76C1F1552 Time : 2521.0 sec. user=mdettweiler [2008-11-16 00:11:14] 983*2^570092-1 is not prime. Res64: 94F5A0E659693B04 Time : 2533.0 sec. user=mdettweiler [2008-11-16 00:19:56] 987*2^570092-1 is not prime. Res64: 9147C409D5DB6189 Time : 2549.0 sec. user=mdettweiler [2008-11-16 00:28:23] 507*2^570093-1 is not prime. Res64: 2311A4747155904D Time : 2536.0 sec. user=mdettweiler [2008-11-16 00:36:38] 511*2^570093-1 is not prime. Res64: 378D5957910FBF58 Time : 2537.0 sec. user=mdettweiler [2008-11-16 00:44:52] 621*2^570093-1 is not prime. Res64: 2D3DA49914A34EB1 Time : 2540.0 sec. user=mdettweiler [2008-11-16 00:53:06] 625*2^570093-1 is not prime. Res64: 8DCBF532DC073206 Time : 2512.0 sec. user=mdettweiler [2008-11-16 01:01:20] 669*2^570093-1 is not prime. Res64: E4DB9002D21038DE Time : 2484.0 sec. user=mdettweiler [2008-11-16 01:09:34] 727*2^570093-1 is not prime. Res64: CC2B16601B910305 Time : 2472.0 sec. user=mdettweiler [2008-11-16 01:17:48] 877*2^570093-1 is not prime. Res64: 0693F9111A748AEE Time : 2470.0 sec. user=mdettweiler [2008-11-16 01:26:01] 915*2^570093-1 is not prime. Res64: 85DEE3A1348E28F1 Time : 2469.0 sec. user=mdettweiler [2008-11-16 01:34:15] 985*2^570093-1 is not prime. Res64: BAB3283610A54A4F Time : 2469.0 sec. user=mdettweiler [2008-11-16 01:42:29] 987*2^570093-1 is not prime. Res64: 9D6C64B6E1457E20 Time : 2469.0 sec. user=mdettweiler [2008-11-16 01:50:44] 435*2^570094-1 is not prime. Res64: 0D10332B5DB27214 Time : 2470.0 sec. user=mdettweiler [2008-11-16 01:58:57] 461*2^570094-1 is not prime. Res64: 11E8013D0177B57C Time : 2469.0 sec. user=mdettweiler [2008-11-16 02:07:12] 465*2^570094-1 is not prime. Res64: 883225D080E6B1B0 Time : 2471.0 sec. user=mdettweiler [2008-11-16 02:15:26] 477*2^570094-1 is not prime. Res64: 82148B0379B855D0 Time : 2471.0 sec. user=mdettweiler [2008-11-16 02:23:40] 495*2^570094-1 is not prime. Res64: C975F38C0EA01CA4 Time : 2471.0 sec. user=mdettweiler [2008-11-16 02:31:54] 503*2^570094-1 is not prime. Res64: B12D702C3F62B69E Time : 2470.0 sec. user=mdettweiler [2008-11-16 02:40:09] 587*2^570094-1 is not prime. Res64: 1533C4FE9A39C824 Time : 2472.0 sec. user=mdettweiler [2008-11-16 02:48:20] 623*2^570094-1 is not prime. Res64: FE954A7BC3E81900 Time : 2468.0 sec. user=mdettweiler [2008-11-16 02:56:30] 785*2^570094-1 is not prime. Res64: 69660993444B56F7 Time : 2464.0 sec. user=mdettweiler [2008-11-16 03:04:42] 815*2^570094-1 is not prime. Res64: E0F682FC9675B5F8 Time : 2462.0 sec. user=mdettweiler [2008-11-16 03:12:54] 831*2^570094-1 is not prime. Res64: 1D7D6D1BA379CFC4 Time : 2460.0 sec. user=mdettweiler [2008-11-16 03:21:06] 971*2^570094-1 is not prime. Res64: CFD09F925E338F76 Time : 2458.0 sec. user=mdettweiler [2008-11-16 03:29:19] 981*2^570094-1 is not prime. Res64: 7AE91997CADEA0EF Time : 2460.0 sec. user=mdettweiler [2008-11-16 03:37:30] 411*2^570095-1 is not prime. Res64: D0A46A1E4354A2F6 Time : 2460.0 sec. user=mdettweiler [2008-11-16 03:45:42] 433*2^570095-1 is not prime. Res64: CEF3EAD3723B71B5 Time : 2460.0 sec. user=mdettweiler [2008-11-16 03:53:55] 519*2^570095-1 is not prime. Res64: 21A68DFC1E4F39FF Time : 2461.0 sec. user=mdettweiler [2008-11-16 04:02:06] 531*2^570095-1 is not prime. Res64: A19D31077AB598A6 Time : 2461.0 sec. user=mdettweiler [2008-11-16 04:10:17] 543*2^570095-1 is not prime. Res64: 0BAD977D7ECA1958 Time : 2459.0 sec. user=mdettweiler [2008-11-16 04:18:28] 661*2^570095-1 is not prime. Res64: 07D90B83637F7D20 Time : 2458.0 sec. user=mdettweiler [2008-11-16 04:26:39] 669*2^570095-1 is not prime. Res64: A34D874FCF45B879 Time : 2457.0 sec. user=mdettweiler [2008-11-16 04:34:52] 693*2^570095-1 is not prime. Res64: EF0E3036CEFFF861 Time : 2457.0 sec. user=mdettweiler [2008-11-16 04:43:06] 735*2^570095-1 is not prime. Res64: 81DFF6AD794888F5 Time : 2460.0 sec. user=mdettweiler [2008-11-16 04:51:17] 783*2^570095-1 is not prime. Res64: 8CF4CEBEB681759D Time : 2460.0 sec. user=mdettweiler [2008-11-16 04:59:27] 823*2^570095-1 is not prime. Res64: B58788E0A9EDB4AC Time : 2460.0 sec. user=mdettweiler [2008-11-16 05:07:38] 915*2^570095-1 is not prime. Res64: C16414E0F0237CCA Time : 2459.0 sec. user=mdettweiler [2008-11-16 05:15:48] 943*2^570095-1 is not prime. Res64: E9F8215B190940E2 Time : 2456.0 sec. user=mdettweiler [2008-11-16 05:23:59] 981*2^570095-1 is not prime. Res64: D451C16D146F2B3E Time : 2453.0 sec. user=mdettweiler [2008-11-16 05:32:09] 425*2^570096-1 is not prime. Res64: F836A85B705559BD Time : 2452.0 sec. user=mdettweiler [2008-11-16 05:40:20] 473*2^570096-1 is not prime. Res64: BBDEF73C0D8641FE Time : 2453.0 sec. user=mdettweiler [2008-11-16 05:48:29] 509*2^570096-1 is not prime. Res64: E768F91706683865 Time : 2451.0 sec. user=mdettweiler [2008-11-16 05:56:40] 525*2^570096-1 is not prime. Res64: AE3FAF181371B427 Time : 2453.0 sec. user=mdettweiler [2008-11-16 06:04:51] 615*2^570096-1 is not prime. Res64: 086F0D563E02E605 Time : 2452.0 sec. user=mdettweiler [2008-11-16 06:13:02] 627*2^570096-1 is not prime. Res64: 348ECC808789022C Time : 2453.0 sec. user=mdettweiler [2008-11-16 06:21:13] 693*2^570096-1 is not prime. Res64: AC3C56C9D34A97E0 Time : 2454.0 sec. user=mdettweiler [2008-11-16 06:29:23] 773*2^570096-1 is not prime. Res64: BFDA3C9DBE091F9B Time : 2454.0 sec. user=mdettweiler [2008-11-16 06:37:34] 839*2^570096-1 is not prime. Res64: CE1C99E09011F30A Time : 2454.0 sec. user=mdettweiler [2008-11-16 06:45:45] 843*2^570096-1 is not prime. Res64: 737BA5C832EB9FAB Time : 2454.0 sec. user=mdettweiler [2008-11-16 06:53:56] 909*2^570096-1 is not prime. Res64: C7676133134D3B19 Time : 2454.0 sec.