user=mdettweiler [2008-11-16 07:02:07] 923*2^570096-1 is not prime. Res64: CB534EE4B9CFDAE3 Time : 2454.0 sec. user=mdettweiler [2008-11-16 07:10:16] 969*2^570096-1 is not prime. Res64: 92F7FB7C306AFBBF Time : 2453.0 sec. user=mdettweiler [2008-11-16 07:18:33] 983*2^570096-1 is not prime. Res64: FED7D96C9BB7D4E6 Time : 2459.0 sec. user=mdettweiler [2008-11-16 07:26:43] 999*2^570096-1 is not prime. Res64: BE7F238E394A30FA Time : 2458.0 sec. user=mdettweiler [2008-11-16 07:34:54] 435*2^570097-1 is not prime. Res64: 1FF067A3B5DA76E1 Time : 2458.0 sec. user=mdettweiler [2008-11-16 07:43:05] 471*2^570097-1 is not prime. Res64: 2C31B4E0D1FA3664 Time : 2459.0 sec. user=mdettweiler [2008-11-16 07:51:16] 489*2^570097-1 is not prime. Res64: C8F60FA39CCCF29B Time : 2460.0 sec. user=mdettweiler [2008-11-16 07:59:26] 639*2^570097-1 is not prime. Res64: DD3AE02A9B10400C Time : 2453.0 sec. user=mdettweiler [2008-11-16 08:08:01] 717*2^570097-1 is not prime. Res64: CA13EA02AAAC2771 Time : 2478.0 sec. user=mdettweiler [2008-11-16 08:16:17] 741*2^570097-1 is not prime. Res64: 4EE14932E23F6EFA Time : 2483.0 sec. user=mdettweiler [2008-11-16 08:24:32] 747*2^570097-1 is not prime. Res64: BF6A2487043521A1 Time : 2487.0 sec. user=mdettweiler [2008-11-16 08:32:48] 765*2^570097-1 is not prime. Res64: B862A4839478B620 Time : 2492.0 sec. user=mdettweiler [2008-11-16 08:41:03] 771*2^570097-1 is not prime. Res64: 8E9FCC16DCB1D1B0 Time : 2498.0 sec. user=mdettweiler [2008-11-16 08:49:28] 807*2^570097-1 is not prime. Res64: A76CDAD6A7406088 Time : 2487.0 sec. user=mdettweiler [2008-11-16 08:58:14] 819*2^570097-1 is not prime. Res64: FDB07AE21734927C Time : 2517.0 sec. user=mdettweiler [2008-11-16 09:06:45] 849*2^570097-1 is not prime. Res64: 19DF7C679C608ABA Time : 2533.0 sec. user=mdettweiler [2008-11-16 09:15:02] 871*2^570097-1 is not prime. Res64: 8750B88C9C7D1047 Time : 2535.0 sec. user=mdettweiler [2008-11-16 09:23:13] 997*2^570097-1 is not prime. Res64: 051C2CBFA77FC73A Time : 2530.0 sec. user=mdettweiler [2008-11-16 09:31:22] 437*2^570098-1 is not prime. Res64: D77E3185D1264F3F Time : 2514.0 sec. user=mdettweiler [2008-11-16 09:39:31] 507*2^570098-1 is not prime. Res64: 52CDEC58ABE58C4C Time : 2477.0 sec. user=mdettweiler [2008-11-16 09:47:41] 563*2^570098-1 is not prime. Res64: E5995B71C2247F8E Time : 2456.0 sec. user=mdettweiler [2008-11-16 09:55:52] 623*2^570098-1 is not prime. Res64: C4F91B940C00CD0F Time : 2450.0 sec. user=mdettweiler [2008-11-16 10:04:02] 767*2^570098-1 is not prime. Res64: 82542C4A84671383 Time : 2449.0 sec. user=mdettweiler [2008-11-16 10:12:13] 773*2^570098-1 is not prime. Res64: 20A3AA034CE30E33 Time : 2451.0 sec. user=mdettweiler [2008-11-16 10:20:24] 831*2^570098-1 is not prime. Res64: C1E38FA175A92457 Time : 2453.0 sec. user=mdettweiler [2008-11-16 10:28:39] 837*2^570098-1 is not prime. Res64: 6BFA48D7DC750E48 Time : 2459.0 sec. user=mdettweiler [2008-11-16 10:36:53] 843*2^570098-1 is not prime. Res64: 0198B858447E691E Time : 2462.0 sec. user=mdettweiler [2008-11-16 10:45:07] 921*2^570098-1 is not prime. Res64: B5416DA51BC1C20C Time : 2465.0 sec. user=mdettweiler [2008-11-16 10:53:19] 927*2^570098-1 is not prime. Res64: C1EE05074BC9DC72 Time : 2466.0 sec. user=mdettweiler [2008-11-16 11:01:33] 945*2^570098-1 is not prime. Res64: BA52A9433D05B360 Time : 2469.0 sec. user=mdettweiler [2008-11-16 11:09:46] 513*2^570099-1 is not prime. Res64: 1E9FABF6E20A3077 Time : 2467.0 sec. user=mdettweiler [2008-11-16 11:18:00] 549*2^570099-1 is not prime. Res64: 9FC06FABEECC8E87 Time : 2468.0 sec. user=mdettweiler [2008-11-16 11:26:16] 573*2^570099-1 is not prime. Res64: 17847C22B40EF14A Time : 2469.0 sec. user=mdettweiler [2008-11-16 11:34:31] 741*2^570099-1 is not prime. Res64: 2F41A860B5F5438E Time : 2472.0 sec. user=mdettweiler [2008-11-16 11:42:46] 769*2^570099-1 is not prime. Res64: 8CD04FA2711A8B16 Time : 2473.0 sec. user=mdettweiler [2008-11-16 11:51:02] 795*2^570099-1 is not prime. Res64: 64151853434B671F Time : 2476.0 sec. user=mdettweiler [2008-11-16 11:59:17] 843*2^570099-1 is not prime. Res64: 02A1C3959F6CA805 Time : 2477.0 sec. user=mdettweiler [2008-11-16 12:07:31] 879*2^570099-1 is not prime. Res64: 9302F6C7EC7CAF14 Time : 2476.0 sec. user=mdettweiler [2008-11-16 12:15:45] 885*2^570099-1 is not prime. Res64: F94B394B091DBB55 Time : 2474.0 sec. user=mdettweiler [2008-11-16 12:23:54] 891*2^570099-1 is not prime. Res64: 2B1694E1B228B40E Time : 2468.0 sec. user=mdettweiler [2008-11-16 12:32:05] 429*2^570100-1 is not prime. Res64: EF33522BE0FF2548 Time : 2463.0 sec. user=mdettweiler [2008-11-16 12:40:33] 453*2^570100-1 is not prime. Res64: 1713D3B7B7FDB933 Time : 2477.0 sec. user=mdettweiler [2008-11-16 12:49:52] 465*2^570100-1 is not prime. Res64: F17D7DF45F826CC7 Time : 2541.0 sec. user=mdettweiler [2008-11-16 12:58:06] 545*2^570100-1 is not prime. Res64: A69494918475D4DF Time : 2541.0 sec. user=mdettweiler [2008-11-16 13:06:39] 687*2^570100-1 is not prime. Res64: 906EE796D9A3FCFF Time : 2565.0 sec. user=mdettweiler [2008-11-16 13:14:56] 723*2^570100-1 is not prime. Res64: 5DA89F5CEE6ADDF5 Time : 2572.0 sec. user=mdettweiler [2008-11-16 13:23:09] 825*2^570100-1 is not prime. Res64: D990D7F65C0500A0 Time : 2556.0 sec. user=mdettweiler [2008-11-16 13:31:24] 855*2^570100-1 is not prime. Res64: 19381FD21EFE46F8 Time : 2492.0 sec. user=mdettweiler [2008-11-16 13:39:35] 875*2^570100-1 is not prime. Res64: 833A34920BCBBD31 Time : 2489.0 sec. user=mdettweiler [2008-11-16 13:47:50] 909*2^570100-1 is not prime. Res64: 9D21AE72857E6C50 Time : 2471.0 sec. user=mdettweiler [2008-11-16 13:56:08] 929*2^570100-1 is not prime. Res64: 6F36A2AEBD861BC2 Time : 2472.0 sec. user=mdettweiler [2008-11-16 14:04:27] 959*2^570100-1 is not prime. Res64: D78587BFAFD7D6E4 Time : 2478.0 sec. user=mdettweiler [2008-11-16 14:12:46] 999*2^570100-1 is not prime. Res64: 77734FBE7BEBF26E Time : 2482.0 sec. user=mdettweiler [2008-11-16 14:21:07] 495*2^570101-1 is not prime. Res64: EDDDAA4EB764092F Time : 2492.0 sec. user=mdettweiler [2008-11-16 14:29:33] 537*2^570101-1 is not prime. Res64: 77D1F245EA0D376B Time : 2503.0 sec. user=mdettweiler [2008-11-16 14:38:06] 547*2^570101-1 is not prime. Res64: A25DACE1D69CB2EB Time : 2518.0 sec. user=mdettweiler [2008-11-16 14:46:47] 571*2^570101-1 is not prime. Res64: 679B7891E1DFC204 Time : 2540.0 sec. user=mdettweiler [2008-11-16 14:54:54] 619*2^570101-1 is not prime. Res64: ED42FCB615B4CDEC Time : 2529.0 sec. user=mdettweiler [2008-11-16 15:03:05] 949*2^570101-1 is not prime. Res64: 21490EAF2FFAB1CD Time : 2519.0 sec. user=mdettweiler [2008-11-16 15:11:17] 951*2^570101-1 is not prime. Res64: 148EA20880BA151E Time : 2505.0 sec. user=mdettweiler [2008-11-16 15:19:28] 417*2^570102-1 is not prime. Res64: 24A6F73782781819 Time : 2483.0 sec. user=mdettweiler [2008-11-16 15:27:39] 567*2^570102-1 is not prime. Res64: 87A84FFE3FF0E6F7 Time : 2453.0 sec. user=mdettweiler [2008-11-16 15:35:51] 621*2^570102-1 is not prime. Res64: DF4494FA9F8FAFFA Time : 2457.0 sec. user=mdettweiler [2008-11-16 15:44:14] 671*2^570102-1 is not prime. Res64: 6B47D00E6110D505 Time : 2469.0 sec. user=mdettweiler [2008-11-16 15:52:39] 833*2^570102-1 is not prime. Res64: 0A82CE61BB89B82F Time : 2482.0 sec. user=mdettweiler [2008-11-16 16:01:05] 463*2^570103-1 is not prime. Res64: DBA49BF1D25701A0 Time : 2497.0 sec. user=mdettweiler [2008-11-16 16:09:30] 589*2^570103-1 is not prime. Res64: 62F825050EA72EBC Time : 2511.0 sec. user=mdettweiler [2008-11-16 16:17:56] 679*2^570103-1 is not prime. Res64: 4C488603777E80C8 Time : 2525.0 sec. user=mdettweiler [2008-11-16 16:26:21] 693*2^570103-1 is not prime. Res64: 0152F88F7BD92D27 Time : 2527.0 sec. user=mdettweiler [2008-11-16 16:34:48] 703*2^570103-1 is not prime. Res64: 07E0D064D8B44231 Time : 2529.0 sec. user=mdettweiler [2008-11-16 16:43:13] 729*2^570103-1 is not prime. Res64: BDECBF376B279550 Time : 2528.0 sec. user=mdettweiler [2008-11-16 16:51:31] 789*2^570103-1 is not prime. Res64: 7BB914784372376A Time : 2521.0 sec. user=mdettweiler [2008-11-16 16:59:42] 859*2^570103-1 is not prime. Res64: B86ACD5F0E3167FB Time : 2506.0 sec. user=mdettweiler [2008-11-16 17:07:54] 943*2^570103-1 is not prime. Res64: 5D414E9DE16AC156 Time : 2493.0 sec. user=mdettweiler [2008-11-16 17:16:39] 417*2^570104-1 is not prime. Res64: 4665E7765057BD98 Time : 2511.0 sec. user=mdettweiler [2008-11-16 17:25:59] 465*2^570104-1 is not prime. Res64: 8C187F9DFC3F857D Time : 2566.0 sec. user=mdettweiler [2008-11-16 17:34:34] 495*2^570104-1 is not prime. Res64: A7941AE83F8264A2 Time : 2583.0 sec. user=mdettweiler [2008-11-16 17:43:08] 503*2^570104-1 is not prime. Res64: 7DA3BA5EAB7240ED Time : 2606.0 sec. user=mdettweiler [2008-11-16 17:51:51] 609*2^570104-1 is not prime. Res64: E26C57618ABF589B Time : 2637.0 sec. user=mdettweiler [2008-11-16 18:00:37] 675*2^570104-1 is not prime. Res64: 35BBE57705E5F022 Time : 2639.0 sec. user=mdettweiler [2008-11-16 18:09:26] 923*2^570104-1 is not prime. Res64: 05EE1EA74BCF605F Time : 2608.0 sec. user=mdettweiler [2008-11-16 18:17:50] 945*2^570104-1 is not prime. Res64: 5DA4E8D02435D4C4 Time : 2596.0 sec. user=mdettweiler [2008-11-16 18:26:10] 495*2^570105-1 is not prime. Res64: BCA6180F09A36C2A Time : 2583.0 sec. user=mdettweiler [2008-11-16 18:34:34] 517*2^570105-1 is not prime. Res64: 17014FE856141347 Time : 2564.0 sec. user=mdettweiler [2008-11-16 18:42:56] 535*2^570105-1 is not prime. Res64: 116D8D3DD7C6DAC7 Time : 2539.0 sec. user=mdettweiler [2008-11-16 18:51:18] 601*2^570105-1 is not prime. Res64: 344F645E7212E31E Time : 2512.0 sec. user=mdettweiler [2008-11-16 18:59:41] 651*2^570105-1 is not prime. Res64: 694CDED01774DF75 Time : 2511.0 sec. user=mdettweiler [2008-11-16 19:08:05] 735*2^570105-1 is not prime. Res64: 64D6A4684122167F Time : 2515.0 sec. user=mdettweiler [2008-11-16 19:16:28] 751*2^570105-1 is not prime. Res64: FA9B561388E6B7BF Time : 2515.0 sec. user=mdettweiler [2008-11-16 19:24:50] 777*2^570105-1 is not prime. Res64: 869F757EAD3DF905 Time : 2515.0 sec. user=mdettweiler [2008-11-16 19:33:13] 837*2^570105-1 is not prime. Res64: FEC39B7B2B84C1E5 Time : 2516.0 sec. user=mdettweiler [2008-11-16 19:41:35] 921*2^570105-1 is not prime. Res64: 8871D64EF8FB2C6C Time : 2515.0 sec. user=mdettweiler [2008-11-16 19:49:57] 985*2^570105-1 is not prime. Res64: 248280CF7836B1CC Time : 2513.0 sec. user=mdettweiler [2008-11-16 19:58:18] 999*2^570105-1 is not prime. Res64: 247FB711882A0257 Time : 2511.0 sec. user=mdettweiler [2008-11-16 20:06:39] 483*2^570106-1 is not prime. Res64: CDCE989029883305 Time : 2510.0 sec. user=mdettweiler [2008-11-16 20:15:10] 561*2^570106-1 is not prime. Res64: 41E3C4A13EB37A4A Time : 2518.0 sec. user=mdettweiler [2008-11-16 20:23:23] 575*2^570106-1 is not prime. Res64: 3109B148EBBE1CB9 Time : 2508.0 sec. user=mdettweiler [2008-11-16 20:31:35] 587*2^570106-1 is not prime. Res64: 9E99510F762A15FE Time : 2498.0 sec. user=mdettweiler [2008-11-16 20:40:20] 651*2^570106-1 is not prime. Res64: B44BADA5ECEC6ECC Time : 2522.0 sec. user=mdettweiler [2008-11-16 20:50:22] 663*2^570106-1 is not prime. Res64: CAA88D8B2834FF10 Time : 2623.0 sec. user=mdettweiler [2008-11-16 20:58:51] 675*2^570106-1 is not prime. Res64: 564EA63C51969E77 Time : 2621.0 sec. user=mdettweiler [2008-11-16 21:07:19] 747*2^570106-1 is not prime. Res64: B081EF918F9EC905 Time : 2636.0 sec. user=mdettweiler [2008-11-16 21:16:24] 755*2^570106-1 is not prime. Res64: 0662AB90ECDC5A8D Time : 2689.0 sec. user=mdettweiler [2008-11-16 21:24:58] 773*2^570106-1 is not prime. Res64: 5667050CA79726B1 Time : 2678.0 sec. user=mdettweiler [2008-11-16 21:33:35] 813*2^570106-1 is not prime. Res64: 85D7457092E774A2 Time : 2593.0 sec. user=mdettweiler [2008-11-16 21:42:07] 815*2^570106-1 is not prime. Res64: 4537B77CE1AB406E Time : 2596.0 sec. user=mdettweiler [2008-11-16 21:50:33] 873*2^570106-1 is not prime. Res64: E9FDC1AA3C56FD9D Time : 2594.0 sec. user=mdettweiler [2008-11-16 21:59:03] 403*2^570107-1 is not prime. Res64: 266E82DE102DF490 Time : 2559.0 sec. user=mdettweiler [2008-11-16 22:07:31] 435*2^570107-1 is not prime. Res64: 0E2354EDC8CCB05D Time : 2554.0 sec. user=mdettweiler [2008-11-16 22:15:58] 511*2^570107-1 is not prime. Res64: DD8DF9EF462EFF0D Time : 2543.0 sec. user=mdettweiler [2008-11-16 22:24:24] 529*2^570107-1 is not prime. Res64: F9E51037FDE7FC71 Time : 2537.0 sec. user=mdettweiler [2008-11-16 22:32:51] 735*2^570107-1 is not prime. Res64: 569A2AF85D7A627C Time : 2538.0 sec. user=mdettweiler [2008-11-16 22:41:19] 879*2^570107-1 is not prime. Res64: 7DADBFE76489F2F1 Time : 2537.0 sec. user=mdettweiler [2008-11-16 22:49:47] 889*2^570107-1 is not prime. Res64: 56B177622B8F7C80 Time : 2536.0 sec. user=mdettweiler [2008-11-16 22:58:13] 993*2^570107-1 is not prime. Res64: 9B831FF1074E5819 Time : 2535.0 sec. user=mdettweiler [2008-11-16 23:06:38] 459*2^570108-1 is not prime. Res64: FC76D73D4420AB17 Time : 2534.0 sec. user=mdettweiler [2008-11-16 23:17:25] 467*2^570108-1 is not prime. Res64: 3F2626AEF002BD37 Time : 2674.0 sec. user=mdettweiler [2008-11-16 23:23:30] 479*2^570108-1 is not prime. Res64: 2C70E3608AD5A0CD Time : 2531.0 sec. user=mdettweiler [2008-11-16 23:32:03] 515*2^570108-1 is not prime. Res64: 1DE57B26B27D813F Time : 2536.0 sec. user=mdettweiler [2008-11-16 23:40:34] 545*2^570108-1 is not prime. Res64: D0F2F43616F9B7EF Time : 2541.0 sec. user=mdettweiler [2008-11-16 23:49:02] 605*2^570108-1 is not prime. Res64: B59CDEAE854F4C7B Time : 2544.0 sec. user=mdettweiler [2008-11-16 23:57:48] 669*2^570108-1 is not prime. Res64: 31D33807295FAF62 Time : 2423.0 sec. user=mdettweiler [2008-11-17 00:06:28] 809*2^570108-1 is not prime. Res64: BCDF98CD5C400251 Time : 2578.0 sec. user=mdettweiler [2008-11-17 00:15:07] 839*2^570108-1 is not prime. Res64: 1C8DDC396CB69772 Time : 2584.0 sec. user=mdettweiler [2008-11-17 00:24:01] 899*2^570108-1 is not prime. Res64: 48D58213EC10E06D Time : 2607.0 sec. user=mdettweiler [2008-11-17 00:33:13] 959*2^570108-1 is not prime. Res64: A22E8DCD89FBD884 Time : 2651.0 sec.