user=mdettweiler [2008-11-12 07:05:18] 663*2^570043-1 is not prime. Res64: 54F25EF1A48734DA Time : 2460.0 sec. user=mdettweiler [2008-11-12 07:13:30] 703*2^570043-1 is not prime. Res64: 1012F400A82FDAC0 Time : 2459.0 sec. user=mdettweiler [2008-11-12 07:21:42] 801*2^570043-1 is not prime. Res64: 7057743B2F7ED571 Time : 2458.0 sec. user=mdettweiler [2008-11-12 08:08:11] 835*2^570043-1 is not prime. Res64: 3B03CD8CD32A8DD7 Time : 4756.0 sec. user=mdettweiler [2008-11-12 08:17:03] 849*2^570043-1 is not prime. Res64: 7390982D68C76589 Time : 4796.0 sec. user=mdettweiler [2008-11-12 08:25:42] 901*2^570043-1 is not prime. Res64: 8A33D22E0CDD81BE Time : 4824.0 sec. user=mdettweiler [2008-11-12 08:34:41] 919*2^570043-1 is not prime. Res64: EED4F02F1C31F14D Time : 4872.0 sec. user=mdettweiler [2008-11-12 08:43:17] 545*2^570044-1 is not prime. Res64: 9E59D7F43E6451E1 Time : 4895.0 sec. user=mdettweiler [2008-11-12 08:51:36] 587*2^570044-1 is not prime. Res64: 9C00A91E3DC675AF Time : 2605.0 sec. user=mdettweiler [2008-11-12 08:59:51] 605*2^570044-1 is not prime. Res64: 04A8CC1E2377316A Time : 2568.0 sec. user=mdettweiler [2008-11-12 09:08:05] 629*2^570044-1 is not prime. Res64: 6BF855824EC8F498 Time : 2543.0 sec. user=mdettweiler [2008-11-12 09:16:20] 683*2^570044-1 is not prime. Res64: D579C48A0B2220FB Time : 2499.0 sec. user=mdettweiler [2008-11-12 09:24:36] 699*2^570044-1 is not prime. Res64: 7A4729DD5FA58B8D Time : 2480.0 sec. user=mdettweiler [2008-11-12 09:33:00] 707*2^570044-1 is not prime. Res64: 2E02F0E10DAF29DA Time : 2484.0 sec. user=mdettweiler [2008-11-12 09:41:50] 855*2^570044-1 is not prime. Res64: 8DBB5FEBA4142BC5 Time : 2519.0 sec. user=mdettweiler [2008-11-12 09:50:04] 935*2^570044-1 is not prime. Res64: AB7CEB5DC5B4CDA6 Time : 2519.0 sec. user=mdettweiler [2008-11-12 09:58:17] 457*2^570045-1 is not prime. Res64: 01B124BDDD699974 Time : 2517.0 sec. user=mdettweiler [2008-11-12 10:06:30] 469*2^570045-1 is not prime. Res64: 22E3AC74A311746A Time : 2514.0 sec. user=mdettweiler [2008-11-12 10:14:46] 531*2^570045-1 is not prime. Res64: 31B208EC46C65B58 Time : 2506.0 sec. user=mdettweiler [2008-11-12 10:23:01] 655*2^570045-1 is not prime. Res64: CCA1CD405649FDC7 Time : 2472.0 sec. user=mdettweiler [2008-11-12 10:31:15] 667*2^570045-1 is not prime. Res64: B9087DA17A1AE2B1 Time : 2471.0 sec. user=mdettweiler [2008-11-12 10:39:30] 717*2^570045-1 is not prime. Res64: B64AF210E5A667C2 Time : 2473.0 sec. user=mdettweiler [2008-11-12 10:47:42] 751*2^570045-1 is not prime. Res64: 4B189B8F0B4EE436 Time : 2472.0 sec. user=mdettweiler [2008-11-12 10:55:53] 781*2^570045-1 is not prime. Res64: 2F703226FCF6E757 Time : 2467.0 sec. user=mdettweiler [2008-11-12 11:04:06] 787*2^570045-1 is not prime. Res64: FA20DBAB5C631907 Time : 2465.0 sec. user=mdettweiler [2008-11-12 11:12:20] 871*2^570045-1 is not prime. Res64: 41CDA16C77035848 Time : 2465.0 sec. user=mdettweiler [2008-11-12 11:20:34] 885*2^570045-1 is not prime. Res64: 8F1AC1629E834E72 Time : 2464.0 sec. user=mdettweiler [2008-11-12 11:28:47] 937*2^570045-1 is not prime. Res64: 410EA63AAFE614C2 Time : 2465.0 sec. user=mdettweiler [2008-11-12 11:37:02] 961*2^570045-1 is not prime. Res64: FEDEC11B5CB114CA Time : 2469.0 sec. user=mdettweiler [2008-11-12 11:45:17] 979*2^570045-1 is not prime. Res64: 7518A9C4F2892121 Time : 2471.0 sec. user=mdettweiler [2008-11-12 11:53:32] 991*2^570045-1 is not prime. Res64: 46DD44C1DB77E17F Time : 2472.0 sec. user=mdettweiler [2008-11-12 12:01:47] 593*2^570046-1 is not prime. Res64: C67C78379E507D37 Time : 2474.0 sec. user=mdettweiler [2008-11-12 12:09:57] 723*2^570046-1 is not prime. Res64: B28EDB2EC9A63C46 Time : 2470.0 sec. user=mdettweiler [2008-11-12 12:18:11] 773*2^570046-1 is not prime. Res64: C73EFDC861E87B9F Time : 2469.0 sec. user=mdettweiler [2008-11-12 12:26:24] 813*2^570046-1 is not prime. Res64: AEBF94693C72DF2E Time : 2467.0 sec. user=mdettweiler [2008-11-12 12:34:36] 815*2^570046-1 is not prime. Res64: EF1A900229F915E1 Time : 2464.0 sec. user=mdettweiler [2008-11-12 12:42:47] 917*2^570046-1 is not prime. Res64: DFED6E7BB07B9E9B Time : 2460.0 sec. user=mdettweiler [2008-11-12 12:51:01] 941*2^570046-1 is not prime. Res64: 7D966E1471612835 Time : 2464.0 sec. user=mdettweiler [2008-11-12 12:59:16] 945*2^570046-1 is not prime. Res64: 74F2815CD302EF5C Time : 2465.0 sec. user=mdettweiler [2008-11-12 01:07:32] 971*2^570046-1 is not prime. Res64: 55B4556A96B38035 Time : 2468.0 sec. user=mdettweiler [2008-11-12 01:15:45] 423*2^570047-1 is not prime. Res64: F52071E2B766CC37 Time : 2469.0 sec. user=mdettweiler [2008-11-12 01:23:57] 441*2^570047-1 is not prime. Res64: E9993EDCED4EE3E3 Time : 2471.0 sec. user=mdettweiler [2008-11-12 01:32:12] 451*2^570047-1 is not prime. Res64: 21A831E0EFCA29C8 Time : 2471.0 sec. user=mdettweiler [2008-11-12 01:40:27] 465*2^570047-1 is not prime. Res64: 3A160B1E1DC7ED02 Time : 2471.0 sec. user=mdettweiler [2008-11-12 01:48:41] 511*2^570047-1 is not prime. Res64: 53CF53B5B90E2035 Time : 2469.0 sec. user=mdettweiler [2008-11-12 01:56:52] 571*2^570047-1 is not prime. Res64: FCB779C04F8C41D1 Time : 2468.0 sec. user=mdettweiler [2008-11-12 02:05:03] 669*2^570047-1 is not prime. Res64: 6C05E5D0996ED9CA Time : 2466.0 sec. user=mdettweiler [2008-11-12 02:13:17] 715*2^570047-1 is not prime. Res64: 42135B5FBFDEE625 Time : 2465.0 sec. user=mdettweiler [2008-11-12 02:21:30] 735*2^570047-1 is not prime. Res64: 6687925B9C9C9EA7 Time : 2463.0 sec. user=mdettweiler [2008-11-12 02:29:44] 759*2^570047-1 is not prime. Res64: C1E4E3908E509829 Time : 2463.0 sec. user=mdettweiler [2008-11-12 02:38:00] 813*2^570047-1 is not prime. Res64: 5652308B3C0C1C58 Time : 2469.0 sec. user=mdettweiler [2008-11-12 02:46:15] 825*2^570047-1 is not prime. Res64: 4122B81859F55D54 Time : 2472.0 sec. user=mdettweiler [2008-11-12 02:54:30] 879*2^570047-1 is not prime. Res64: 1F35F65F5114EE08 Time : 2473.0 sec. user=mdettweiler [2008-11-12 03:02:45] 885*2^570047-1 is not prime. Res64: 45F89D2648C88368 Time : 2475.0 sec. user=mdettweiler [2008-11-12 03:11:00] 895*2^570047-1 is not prime. Res64: 0ECF2A9ACEA10B5D Time : 2476.0 sec. user=mdettweiler [2008-11-12 03:19:13] 973*2^570047-1 is not prime. Res64: C429F761D5F4A87B Time : 2473.0 sec. user=mdettweiler [2008-11-12 03:27:26] 479*2^570048-1 is not prime. Res64: F4C6D211B2A2A2D4 Time : 2471.0 sec. user=mdettweiler [2008-11-12 03:35:40] 569*2^570048-1 is not prime. Res64: DA01E350DD6184AC Time : 2470.0 sec. user=mdettweiler [2008-11-12 03:44:19] 737*2^570048-1 is not prime. Res64: 6EBB1B64F39E21D9 Time : 2494.0 sec. user=mdettweiler [2008-11-12 03:52:34] 765*2^570048-1 is not prime. Res64: 13355A3F6F137BC7 Time : 2494.0 sec. user=mdettweiler [2008-11-12 04:00:47] 411*2^570049-1 is not prime. Res64: 6AA51DDCFA2F8815 Time : 2494.0 sec. user=mdettweiler [2008-11-12 04:08:59] 429*2^570049-1 is not prime. Res64: BB7041C25A44E1C8 Time : 2493.0 sec. user=mdettweiler [2008-11-12 04:17:16] 517*2^570049-1 is not prime. Res64: F4681C405D603194 Time : 2496.0 sec. user=mdettweiler [2008-11-12 04:25:51] 535*2^570049-1 is not prime. Res64: E2FF5057E807D3A4 Time : 2492.0 sec. user=mdettweiler [2008-11-12 04:34:43] 561*2^570049-1 is not prime. Res64: DBC70EF7A38DA65F Time : 2529.0 sec. user=mdettweiler [2008-11-12 04:43:13] 811*2^570049-1 is not prime. Res64: F1ECE5D5CACD6438 Time : 2546.0 sec. user=mdettweiler [2008-11-12 04:51:42] 835*2^570049-1 is not prime. Res64: A5DBD1869AEFD769 Time : 2563.0 sec. user=mdettweiler [2008-11-12 05:00:00] 855*2^570049-1 is not prime. Res64: EC8A74332E8699AE Time : 2564.0 sec. user=mdettweiler [2008-11-12 05:08:17] 877*2^570049-1 is not prime. Res64: C94AA467C03CBDFA Time : 2546.0 sec. user=mdettweiler [2008-11-12 05:16:38] 895*2^570049-1 is not prime. Res64: BE80E21785FC4E82 Time : 2515.0 sec. user=mdettweiler [2008-11-12 05:25:02] 931*2^570049-1 is not prime. Res64: 8804F11A9B7CBA37 Time : 2509.0 sec. user=mdettweiler [2008-11-12 05:33:21] 593*2^570050-1 is not prime. Res64: 761E3DDD4A807B7B Time : 2499.0 sec. user=mdettweiler [2008-11-12 05:41:46] 603*2^570050-1 is not prime. Res64: 5E6D0FB2C0FC57BE Time : 2506.0 sec. user=mdettweiler [2008-11-12 05:50:15] 615*2^570050-1 is not prime. Res64: 1C9EE94FA398F02C Time : 2518.0 sec. user=mdettweiler [2008-11-12 05:58:37] 677*2^570050-1 is not prime. Res64: 6C1F1D6669D25F6C Time : 2519.0 sec. user=mdettweiler [2008-11-12 06:06:58] 773*2^570050-1 is not prime. Res64: B6013454713DACE2 Time : 2516.0 sec. user=mdettweiler [2008-11-12 06:15:20] 783*2^570050-1 is not prime. Res64: D9E98493B56FF244 Time : 2520.0 sec. user=mdettweiler [2008-11-12 06:23:42] 785*2^570050-1 is not prime. Res64: 59D164BDD264B474 Time : 2517.0 sec. user=mdettweiler [2008-11-12 06:32:06] 825*2^570050-1 is not prime. Res64: B69FAC29B73AAB87 Time : 2511.0 sec. user=mdettweiler [2008-11-12 06:40:28] 885*2^570050-1 is not prime. Res64: 2A527FF61EDDFD87 Time : 2511.0 sec. user=mdettweiler [2008-11-12 06:48:46] 945*2^570050-1 is not prime. Res64: BE94FE323CC20644 Time : 2508.0 sec. user=mdettweiler [2008-11-12 06:57:01] 1001*2^570050-1 is not prime. Res64: AC18B7FA3B7D2EC3 Time : 2501.0 sec. user=mdettweiler [2008-11-12 07:05:19] 465*2^570051-1 is not prime. Res64: F2FDCA58663E473E Time : 2498.0 sec. user=mdettweiler [2008-11-12 07:13:36] 483*2^570051-1 is not prime. Res64: 474E939427206EC7 Time : 2490.0 sec. user=mdettweiler [2008-11-12 07:21:52] 489*2^570051-1 is not prime. Res64: F7C7402C73EB1161 Time : 2484.0 sec. user=mdettweiler [2008-11-12 07:30:10] 529*2^570051-1 is not prime. Res64: E5A9D4FA0BAE8BC4 Time : 2484.0 sec. user=mdettweiler [2008-11-12 07:38:30] 643*2^570051-1 is not prime. Res64: 749987688AB684C6 Time : 2489.0 sec. user=mdettweiler [2008-11-12 07:46:48] 685*2^570051-1 is not prime. Res64: 17EE0145A9F7DB7C Time : 2489.0 sec. user=mdettweiler [2008-11-12 07:55:10] 691*2^570051-1 is not prime. Res64: 60E6FAABE27E203F Time : 2494.0 sec. user=mdettweiler [2008-11-12 08:15:01] 735*2^570051-1 is not prime. Res64: 993AF0FED777D4EF Time : 3189.0 sec. user=mdettweiler [2008-11-12 08:15:02] 741*2^570051-1 is not prime. Res64: 02436D32E2A34777 Time : 2692.0 sec. user=mdettweiler [2008-11-12 08:20:21] 783*2^570051-1 is not prime. Res64: 0ACC08C5323E7B4A Time : 2512.0 sec. user=mdettweiler [2008-11-12 08:29:09] 823*2^570051-1 is not prime. Res64: 4DF962A17EDA230A Time : 2541.0 sec. user=mdettweiler [2008-11-12 08:37:41] 895*2^570051-1 is not prime. Res64: BDCFA65876DB6B25 Time : 2551.0 sec. user=mdettweiler [2008-11-12 08:46:05] 931*2^570051-1 is not prime. Res64: 66B7CBCBF3B34C04 Time : 1803.0 sec. user=mdettweiler [2008-11-12 08:54:28] 943*2^570051-1 is not prime. Res64: ED9EA56809AA76D0 Time : 2305.0 sec. user=mdettweiler [2008-11-12 09:02:51] 955*2^570051-1 is not prime. Res64: 3817855F0275DCFC Time : 2550.0 sec. user=mdettweiler [2008-11-12 09:11:13] 961*2^570051-1 is not prime. Res64: 03C41B61BFBE3F94 Time : 2525.0 sec. user=mdettweiler [2008-11-12 09:19:39] 435*2^570052-1 is not prime. Res64: 20930D3302EE0CA5 Time : 2518.0 sec. user=mdettweiler [2008-11-12 09:28:00] 507*2^570052-1 is not prime. Res64: 75F8CA6312292F23 Time : 2515.0 sec. user=mdettweiler [2008-11-12 09:36:15] 695*2^570052-1 is not prime. Res64: 71A11E8E50325408 Time : 2507.0 sec. user=mdettweiler [2008-11-12 09:44:32] 717*2^570052-1 is not prime. Res64: D718ABB19E9597A6 Time : 2501.0 sec. user=mdettweiler [2008-11-12 09:52:51] 939*2^570052-1 is not prime. Res64: 1BC1A9B1F6E577C3 Time : 2498.0 sec. user=mdettweiler [2008-11-12 10:01:09] 957*2^570052-1 is not prime. Res64: A4016B808DD0C3B5 Time : 2490.0 sec. user=mdettweiler [2008-11-12 10:09:27] 519*2^570053-1 is not prime. Res64: C4383CFCB5958F1E Time : 2487.0 sec. user=mdettweiler [2008-11-12 10:17:45] 525*2^570053-1 is not prime. Res64: 2DA5E1EE3AA6BB9F Time : 2490.0 sec. user=mdettweiler [2008-11-12 10:26:02] 549*2^570053-1 is not prime. Res64: DD138150FBB29F28 Time : 2490.0 sec. user=mdettweiler [2008-11-12 10:34:18] 657*2^570053-1 is not prime. Res64: 71DF70CC0663D0E6 Time : 2487.0 sec. user=mdettweiler [2008-11-12 10:42:35] 675*2^570053-1 is not prime. Res64: 3D7C601BD50F6C59 Time : 2486.0 sec. user=mdettweiler [2008-11-12 10:51:01] 721*2^570053-1 is not prime. Res64: 902531A7CD2FFBE3 Time : 2495.0 sec. user=mdettweiler [2008-11-12 10:59:18] 837*2^570053-1 is not prime. Res64: 20170E8AF4F9E15D Time : 2493.0 sec. user=mdettweiler [2008-11-12 11:07:30] 927*2^570053-1 is not prime. Res64: F184B884648CDD03 Time : 2488.0 sec. user=mdettweiler [2008-11-12 11:19:34] 951*2^570053-1 is not prime. Res64: 10779F794B9D3A58 Time : 2716.0 sec. user=mdettweiler [2008-11-12 11:24:13] 985*2^570053-1 is not prime. Res64: 4B8A3D423ED320E9 Time : 2498.0 sec. user=mdettweiler [2008-11-12 11:32:38] 431*2^570054-1 is not prime. Res64: 74AABE0E41806A42 Time : 2497.0 sec. user=mdettweiler [2008-11-12 11:41:09] 453*2^570054-1 is not prime. Res64: E2BFEED78441A341 Time : 2511.0 sec. user=mdettweiler [2008-11-12 11:50:24] 461*2^570054-1 is not prime. Res64: A3C372AA42B969E3 Time : 2574.0 sec. user=mdettweiler [2008-11-12 11:58:53] 483*2^570054-1 is not prime. Res64: B65EBD92A232C2C3 Time : 2299.0 sec. user=mdettweiler [2008-11-13 12:07:15] 555*2^570054-1 is not prime. Res64: 49F41D3214B10340 Time : 2582.0 sec. user=mdettweiler [2008-11-13 12:15:35] 621*2^570054-1 is not prime. Res64: ACB6821176B2DFB8 Time : 2577.0 sec. user=mdettweiler [2008-11-13 12:24:02] 663*2^570054-1 is not prime. Res64: 29FEC298606E2AE6 Time : 2574.0 sec. user=mdettweiler [2008-11-13 12:32:41] 755*2^570054-1 is not prime. Res64: C3AA51720D94A125 Time : 2537.0 sec. user=mdettweiler [2008-11-13 12:40:55] 791*2^570054-1 is not prime. Res64: 6C3D8125CEBEC5D5 Time : 2522.0 sec. user=mdettweiler [2008-11-13 12:49:12] 861*2^570054-1 is not prime. Res64: CA55D791CCA62A76 Time : 2517.0 sec. user=mdettweiler [2008-11-13 12:57:27] 923*2^570054-1 is not prime. Res64: 09BB83E168D2864E Time : 2512.0 sec. user=mdettweiler [2008-11-13 01:05:41] 451*2^570055-1 is not prime. Res64: 3227D1AA9E03E05C Time : 2499.0 sec. user=mdettweiler [2008-11-13 01:13:55] 579*2^570055-1 is not prime. Res64: 86469F85AE2766D4 Time : 2474.0 sec. user=mdettweiler [2008-11-13 01:22:10] 589*2^570055-1 is not prime. Res64: 7D1503F622CB3B59 Time : 2475.0 sec. user=mdettweiler [2008-11-13 01:30:26] 723*2^570055-1 is not prime. Res64: E350888728AEBE7E Time : 2474.0 sec. user=mdettweiler [2008-11-13 01:38:41] 759*2^570055-1 is not prime. Res64: 6170D49309D9BE72 Time : 2474.0 sec. user=mdettweiler [2008-11-13 01:46:54] 819*2^570055-1 is not prime. Res64: EC4FC3FE82D13438 Time : 2473.0 sec. user=mdettweiler [2008-11-13 01:55:06] 915*2^570055-1 is not prime. Res64: 29222088B3CCC542 Time : 2471.0 sec. user=mdettweiler [2008-11-13 02:03:19] 933*2^570055-1 is not prime. Res64: 29765259BF348350 Time : 2469.0 sec. user=mdettweiler [2008-11-13 02:11:34] 407*2^570056-1 is not prime. Res64: F7CBEB8455E77C5E Time : 2468.0 sec. user=mdettweiler [2008-11-13 02:19:50] 425*2^570056-1 is not prime. Res64: 7BBF2326B8A59423 Time : 2469.0 sec. user=mdettweiler [2008-11-13 02:28:04] 539*2^570056-1 is not prime. Res64: 835915E309FA32AC Time : 2470.0 sec. user=mdettweiler [2008-11-13 02:36:20] 615*2^570056-1 is not prime. Res64: B372CA60276653B8 Time : 2474.0 sec. user=mdettweiler [2008-11-13 02:44:34] 725*2^570056-1 is not prime. Res64: A4688605AAFEE9AD Time : 2475.0 sec. user=mdettweiler [2008-11-13 02:52:49] 743*2^570056-1 is not prime. Res64: 1C100ABD0BFCD5EC Time : 2475.0 sec. user=mdettweiler [2008-11-13 03:01:05] 759*2^570056-1 is not prime. Res64: 3A62B3DDE47FB2EC Time : 2475.0 sec. user=mdettweiler [2008-11-13 03:09:21] 767*2^570056-1 is not prime. Res64: 1CBB9F07B3FD94DF Time : 2477.0 sec. user=mdettweiler [2008-11-13 03:17:37] 857*2^570056-1 is not prime. Res64: F67ABEC943D3D8C7 Time : 2477.0 sec. user=mdettweiler [2008-11-13 03:25:47] 945*2^570056-1 is not prime. Res64: 5BCD0AD3A57C71CF Time : 2473.0 sec. user=mdettweiler [2008-11-13 03:33:58] 999*2^570056-1 is not prime. Res64: 05807C59B0219EC9 Time : 2469.0 sec. user=mdettweiler [2008-11-13 03:42:13] 441*2^570057-1 is not prime. Res64: 5D0DE621027CC4C7 Time : 2468.0 sec. user=mdettweiler [2008-11-13 03:50:28] 447*2^570057-1 is not prime. Res64: C50BA7779124CEBB Time : 2467.0 sec. user=mdettweiler [2008-11-13 03:58:41] 499*2^570057-1 is not prime. Res64: DB179FEA4E0CD4E3 Time : 2464.0 sec. user=mdettweiler [2008-11-13 04:06:55] 531*2^570057-1 is not prime. Res64: E84E2E7ED14700F8 Time : 2468.0 sec. user=mdettweiler [2008-11-13 04:15:07] 549*2^570057-1 is not prime. Res64: B668C0CF29020C4C Time : 2469.0 sec. user=mdettweiler [2008-11-13 04:25:43] 577*2^570057-1 is not prime. Res64: 3588C7D1EB3B239D Time : 2610.0 sec. user=mdettweiler [2008-11-13 04:31:38] 625*2^570057-1 is not prime. Res64: 0D0D44AD44D4A2DE Time : 2470.0 sec. user=mdettweiler [2008-11-13 04:39:54] 627*2^570057-1 is not prime. Res64: 36DB51F16AF3A2EA Time : 2473.0 sec. user=mdettweiler [2008-11-13 04:48:09] 675*2^570057-1 is not prime. Res64: 9E2B17108D42647C Time : 2474.0 sec. user=mdettweiler [2008-11-13 04:56:23] 685*2^570057-1 is not prime. Res64: AD5723FD2F3050C3 Time : 2476.0 sec. user=mdettweiler [2008-11-13 05:04:39] 805*2^570057-1 is not prime. Res64: D43147A406A8721D Time : 2336.0 sec. user=mdettweiler [2008-11-13 05:12:55] 835*2^570057-1 is not prime. Res64: 629AF4846CB64698 Time : 2477.0 sec. user=mdettweiler [2008-11-13 05:21:11] 895*2^570057-1 is not prime. Res64: BA2A2F682B850AF0 Time : 2477.0 sec. user=mdettweiler [2008-11-13 05:29:23] 915*2^570057-1 is not prime. Res64: B67178DFFB162D96 Time : 2474.0 sec. user=mdettweiler [2008-11-13 05:37:36] 949*2^570057-1 is not prime. Res64: 64E91D0CBD15E070 Time : 2473.0 sec. user=mdettweiler [2008-11-13 05:45:49] 975*2^570057-1 is not prime. Res64: 8A78D4FE927BD836 Time : 2470.0 sec. user=mdettweiler [2008-11-13 05:54:06] 997*2^570057-1 is not prime. Res64: 6E31D3380EF1A844 Time : 2471.0 sec. user=mdettweiler [2008-11-13 06:02:16] 467*2^570058-1 is not prime. Res64: 9667FE11C4A39569 Time : 2466.0 sec. user=mdettweiler [2008-11-13 06:10:28] 503*2^570058-1 is not prime. Res64: A8163019112EC508 Time : 2465.0 sec. user=mdettweiler [2008-11-13 06:18:43] 573*2^570058-1 is not prime. Res64: 851DED8847BF562C Time : 2467.0 sec. user=mdettweiler [2008-11-13 06:26:57] 575*2^570058-1 is not prime. Res64: 01C60C84DF7B533F Time : 2468.0 sec. user=mdettweiler [2008-11-13 06:35:13] 611*2^570058-1 is not prime. Res64: CB7C6F90BF379EAD Time : 2468.0 sec. user=mdettweiler [2008-11-13 06:43:28] 647*2^570058-1 is not prime. Res64: 395FE0C710E847A8 Time : 2472.0 sec. user=mdettweiler [2008-11-13 06:51:43] 705*2^570058-1 is not prime. Res64: BD7BB197FDCD08FF Time : 2475.0 sec.