user=vaughan [2011-02-28 00:01:11] 865*2^796041-1 is not prime. Res64: 67DEEB366A0809E7 Time : 926.0 sec. user=vaughan [2011-02-28 00:02:34] 907*2^796041-1 is not prime. Res64: 5B86361FEFF3B06F Time : 925.0 sec. user=vaughan [2011-02-28 00:03:19] 983*2^796032-1 is not prime. Res64: 1AFBD0A5060353DE Time : 2386.0 sec. user=vaughan [2011-02-28 00:04:03] 867*2^796042-1 is not prime. Res64: 8850343129E22C51 Time : 966.0 sec. user=vaughan [2011-02-28 00:04:10] 859*2^796043-1 is not prime. Res64: 6C83FECD3B27893D Time : 945.0 sec. user=vaughan [2011-02-28 00:04:46] 913*2^796043-1 is not prime. Res64: 60BB298BBE960506 Time : 954.0 sec. user=vaughan [2011-02-28 00:05:12] 881*2^796042-1 is not prime. Res64: 4270609AD80F22F7 Time : 1020.0 sec. user=vaughan [2011-02-28 00:06:15] 861*2^796041-1 is not prime. Res64: CB49B8A67AADF5F5 Time : 1353.0 sec. user=vaughan [2011-02-28 00:09:03] 987*2^796044-1 is not prime. Res64: 15E16F071F8353D1 Time : 1011.0 sec. user=vaughan [2011-02-28 00:09:35] 867*2^796041-1 is not prime. Res64: 83BCC8C3FA5F4F5B Time : 1358.0 sec. user=vaughan [2011-02-28 00:09:52] 963*2^796043-1 is not prime. Res64: E114F62FF98C42CC Time : 1210.0 sec. user=vaughan [2011-02-28 00:12:33] 825*2^796045-1 is not prime. Res64: CCEFC213192B5433 Time : 1187.0 sec. user=vaughan [2011-02-28 00:13:35] 955*2^796045-1 is not prime. Res64: 69DA4CD9B0A02E41 Time : 1013.0 sec. user=vaughan [2011-02-28 00:13:44] 999*2^796045-1 is not prime. Res64: 831ED18521B4CAFB Time : 958.0 sec. user=vaughan [2011-02-28 00:14:41] 979*2^796045-1 is not prime. Res64: 268F7F0D76A2FFB3 Time : 1056.0 sec. user=vaughan [2011-02-28 00:14:49] 857*2^796044-1 is not prime. Res64: FC6086C6CFE92A9E Time : 1458.0 sec. user=vaughan [2011-02-28 00:14:59] 921*2^796034-1 is not prime. Res64: 17377F11EC53F3AF Time : 2748.0 sec. user=vaughan [2011-02-28 00:15:08] 829*2^796041-1 is not prime. Res64: 81A1FAA79F36F82E Time : 1905.0 sec. user=vaughan [2011-02-28 00:15:20] 827*2^796046-1 is not prime. Res64: 2FF621C2CF73B4DE Time : 1014.0 sec. user=vaughan [2011-02-28 00:16:37] 903*2^796046-1 is not prime. Res64: FB4C9C2F3CA7F63D Time : 927.0 sec. user=vaughan [2011-02-28 00:17:59] 1001*2^796046-1 is not prime. Res64: 529E548B594C8A3C Time : 925.0 sec. user=vaughan [2011-02-28 00:18:26] 927*2^796045-1 is not prime. Res64: 18C23B84749086F4 Time : 1306.0 sec. user=vaughan [2011-02-28 00:18:58] 873*2^796046-1 is not prime. Res64: DFA45178512C52D8 Time : 1143.0 sec. user=vaughan [2011-02-28 00:19:47] 847*2^796021-1 is not prime. Res64: 3A4E878F4E282894 Time : 4359.0 sec. user=vaughan [2011-02-28 00:19:47] 855*2^796021-1 is not prime. Res64: 1303801CCB649D35 Time : 4358.0 sec. user=vaughan [2011-02-28 00:19:47] 877*2^796021-1 is not prime. Res64: 621B036CE44C9116 Time : 4358.0 sec. user=vaughan [2011-02-28 00:19:48] 945*2^796021-1 is not prime. Res64: 5A6C96628B1BA85C Time : 4358.0 sec. user=vaughan [2011-02-28 00:19:48] 917*2^796022-1 is not prime. Res64: 2DBC3E669FAA807C Time : 4357.0 sec. user=vaughan [2011-02-28 00:19:55] 913*2^796047-1 is not prime. Res64: 177A12A283CA1A1F Time : 945.0 sec. user=vaughan [2011-02-28 00:19:56] 857*2^796046-1 is not prime. Res64: 96640E4FBD13B560 Time : 1266.0 sec. user=vaughan [2011-02-28 00:20:07] 921*2^796022-1 is not prime. Res64: 20CD479EFCB84364 Time : 4360.0 sec. user=vaughan [2011-02-28 00:20:08] 923*2^796022-1 is not prime. Res64: 939DEC957D1A3EC3 Time : 4360.0 sec. user=vaughan [2011-02-28 00:20:08] 829*2^796023-1 is not prime. Res64: EB2923B95478EC3C Time : 4359.0 sec. user=vaughan [2011-02-28 00:20:08] 895*2^796023-1 is not prime. Res64: DC0FAD8A36A00967 Time : 4359.0 sec. user=vaughan [2011-02-28 00:20:09] 961*2^796023-1 is not prime. Res64: 421877CFA7C07C14 Time : 4359.0 sec. user=vaughan [2011-02-28 00:20:09] 879*2^796047-1 is not prime. Res64: 4BD44F073F5B84B6 Time : 966.0 sec. user=vaughan [2011-02-28 00:20:21] 905*2^796024-1 is not prime. Res64: FA798DB0DB964EBF Time : 4365.0 sec. user=vaughan [2011-02-28 00:20:22] 927*2^796024-1 is not prime. Res64: 2707A2B27352F4E1 Time : 4365.0 sec. user=vaughan [2011-02-28 00:20:22] 969*2^796024-1 is not prime. Res64: 2C6101D87449FB4C Time : 4364.0 sec. user=vaughan [2011-02-28 00:20:22] 909*2^796025-1 is not prime. Res64: 1B36D7296E1502D9 Time : 4364.0 sec. user=vaughan [2011-02-28 00:20:23] 807*2^796026-1 is not prime. Res64: 81E49F107A73DD6E Time : 4364.0 sec. user=vaughan [2011-02-28 00:20:36] 951*2^796047-1 is not prime. Res64: 19D398B42EB9CC4C Time : 951.0 sec. user=vaughan [2011-02-28 00:22:01] 887*2^796046-1 is not prime. Res64: 7EB3B093DA75A19D Time : 1268.0 sec. user=vaughan [2011-02-28 00:25:21] 825*2^796048-1 is not prime. Res64: 7AB5AABA79C7BF57 Time : 978.0 sec. user=vaughan [2011-02-28 00:28:53] 803*2^796048-1 is not prime. Res64: A3145C7C30C02884 Time : 1359.0 sec. user=vaughan [2011-02-28 00:29:37] 989*2^796048-1 is not prime. Res64: 6E5771FE8B24A339 Time : 954.0 sec. user=vaughan [2011-02-28 00:29:46] 959*2^796048-1 is not prime. Res64: A93407FD060CC912 Time : 972.0 sec. user=vaughan [2011-02-28 00:30:10] 825*2^796031-1 is not prime. Res64: D9B676409913103B Time : 4342.0 sec. user=vaughan [2011-02-28 00:30:10] 859*2^796031-1 is not prime. Res64: F098AB4B5959A7CC Time : 4342.0 sec. user=vaughan [2011-02-28 00:30:10] 883*2^796031-1 is not prime. Res64: 83BE807888AC07C3 Time : 4341.0 sec. user=vaughan [2011-02-28 00:30:10] 901*2^796031-1 is not prime. Res64: 78C285ABDC9D6D28 Time : 4341.0 sec. user=vaughan [2011-02-28 00:30:11] 909*2^796031-1 is not prime. Res64: 1B93E5F30DE2E898 Time : 4341.0 sec. user=vaughan [2011-02-28 00:30:44] 861*2^796045-1 is not prime. Res64: 84CC28148A773F04 Time : 2126.0 sec. user=vaughan [2011-02-28 00:32:01] 827*2^796048-1 is not prime. Res64: E8711E74BA7905D4 Time : 1346.0 sec. user=vaughan [2011-02-28 00:32:04] 961*2^796051-1 is not prime. Res64: 33E246A23666D117 Time : 928.0 sec. user=vaughan [2011-02-28 00:32:12] 895*2^796051-1 is not prime. Res64: 564318FF09A9D6AF Time : 1012.0 sec. user=vaughan [2011-02-28 00:32:21] 829*2^796049-1 is not prime. Res64: 628031B7BFBE194F Time : 1060.0 sec. user=vaughan [2011-02-28 00:32:45] 927*2^796048-1 is not prime. Res64: 111BA87E75FEE854 Time : 1212.0 sec. user=vaughan [2011-02-28 00:33:25] 999*2^796051-1 is not prime. Res64: FE34A69FD126AF97 Time : 926.0 sec. user=vaughan [2011-02-28 00:35:39] 987*2^796054-1 is not prime. Res64: 6669E24BEB8F51B0 Time : 944.0 sec. user=vaughan [2011-02-28 00:36:14] 861*2^796055-1 is not prime. Res64: 68D12EFBCDBF2D41 Time : 965.0 sec. user=vaughan [2011-02-28 00:36:20] 895*2^796057-1 is not prime. Res64: 66E4EFC980042712 Time : 944.0 sec. user=vaughan [2011-02-28 00:40:08] 867*2^796052-1 is not prime. Res64: 801CC701E1C0E17B Time : 1302.0 sec. user=vaughan [2011-02-28 00:41:16] 853*2^796055-1 is not prime. Res64: 6AD64333B9B6A741 Time : 1281.0 sec. user=vaughan [2011-02-28 00:41:41] 875*2^796058-1 is not prime. Res64: E559588130E40432 Time : 980.0 sec. user=vaughan [2011-02-28 00:42:34] 819*2^796051-1 is not prime. Res64: B22B00E03C8C3CDC Time : 1646.0 sec. user=vaughan [2011-02-28 00:43:19] 967*2^796057-1 is not prime. Res64: 24048A298676B98A Time : 1279.0 sec. user=vaughan [2011-02-28 00:45:28] 953*2^796058-1 is not prime. Res64: 9DE1E467D3C73EDE Time : 952.0 sec. user=vaughan [2011-02-28 00:46:19] 977*2^796058-1 is not prime. Res64: 6E29B9926917A928 Time : 993.0 sec. user=vaughan [2011-02-28 00:47:12] 861*2^796047-1 is not prime. Res64: B50634C164B81AEA Time : 2634.0 sec. user=vaughan [2011-02-28 00:47:29] 983*2^796060-1 is not prime. Res64: 1576D7FDB75F05EA Time : 926.0 sec. user=vaughan [2011-02-28 00:48:49] 991*2^796061-1 is not prime. Res64: F511953891701B42 Time : 924.0 sec. user=vaughan [2011-02-28 00:49:24] 801*2^796061-1 is not prime. Res64: 7E27C9B9AB586CEE Time : 1032.0 sec. user=vaughan [2011-02-28 00:51:23] 801*2^796062-1 is not prime. Res64: 5CC294441BA2F1AE Time : 944.0 sec. user=vaughan [2011-02-28 00:51:28] 927*2^796058-1 is not prime. Res64: C41F60C71E993A55 Time : 1355.0 sec. user=vaughan [2011-02-28 00:52:13] 893*2^796062-1 is not prime. Res64: 0F47837B6609BEB2 Time : 953.0 sec. user=vaughan [2011-02-28 00:52:20] 863*2^796062-1 is not prime. Res64: 6E8FCD095CE13249 Time : 966.0 sec. user=vaughan [2011-02-28 00:52:23] 829*2^796061-1 is not prime. Res64: B56772A5F97F5429 Time : 1202.0 sec. user=vaughan [2011-02-28 00:52:55] 967*2^796061-1 is not prime. Res64: 018D0EF1CC127786 Time : 1210.0 sec. user=vaughan [2011-02-28 00:54:42] 965*2^796060-1 is not prime. Res64: 3909C56C9F51768F Time : 1361.0 sec. user=vaughan [2011-02-28 00:58:36] 935*2^796064-1 is not prime. Res64: 962CB9765BB4AAFD Time : 1015.0 sec. user=vaughan [2011-02-28 00:58:54] 887*2^796060-1 is not prime. Res64: DC65F59766A417F0 Time : 1691.0 sec. user=vaughan [2011-02-28 01:01:28] 831*2^796065-1 is not prime. Res64: FF2370CBC41829A7 Time : 961.0 sec. user=vaughan [2011-02-28 01:01:53] 919*2^796063-1 is not prime. Res64: A75FBFA82A066080 Time : 1305.0 sec. user=vaughan [2011-02-28 01:02:27] 813*2^796064-1 is not prime. Res64: A572362EBCBDB2F6 Time : 1271.0 sec. user=vaughan [2011-02-28 01:02:54] 969*2^796065-1 is not prime. Res64: 80773D56307B6850 Time : 926.0 sec. user=vaughan [2011-02-28 01:03:25] 861*2^796065-1 is not prime. Res64: EA382A0C45365F93 Time : 1026.0 sec. user=vaughan [2011-02-28 01:04:15] 813*2^796066-1 is not prime. Res64: A4E58B47C4CA91B1 Time : 927.0 sec. user=vaughan [2011-02-28 01:04:31] 805*2^796065-1 is not prime. Res64: C0748B4BE0D8E9D9 Time : 1273.0 sec. user=vaughan [2011-02-28 01:06:16] 881*2^796066-1 is not prime. Res64: 1D7C6ED77F26D32B Time : 1012.0 sec. user=vaughan [2011-02-28 01:07:06] 957*2^796066-1 is not prime. Res64: 375E0B53E090D2E2 Time : 943.0 sec. user=vaughan [2011-02-28 01:07:52] 927*2^796050-1 is not prime. Res64: 806C822DD6C42400 Time : 3173.0 sec. user=vaughan [2011-02-28 01:08:07] 945*2^796067-1 is not prime. Res64: 78430B035679400F Time : 955.0 sec. user=vaughan [2011-02-28 01:08:25] 855*2^796069-1 is not prime. Res64: 31A53DEBEE6AFCBB Time : 965.0 sec. user=vaughan [2011-02-28 01:09:58] 851*2^796070-1 is not prime. Res64: DB17ED96C51952EC Time : 1055.0 sec. user=vaughan [2011-02-28 01:13:01] 897*2^796070-1 is not prime. Res64: A6D867FAE875FD63 Time : 1206.0 sec. user=vaughan [2011-02-28 01:13:39] 969*2^796064-1 is not prime. Res64: 75D09B3953617B38 Time : 1866.0 sec. user=vaughan [2011-02-28 01:13:39] 867*2^796065-1 is not prime. Res64: 614942239AC23FD0 Time : 1588.0 sec. user=vaughan [2011-02-28 01:13:55] 883*2^796067-1 is not prime. Res64: D5021A0BC400D61A Time : 1347.0 sec. user=vaughan [2011-02-28 01:15:44] 965*2^796070-1 is not prime. Res64: 5EEC42570BAAFD4B Time : 1028.0 sec. user=vaughan [2011-02-28 01:17:11] 945*2^796070-1 is not prime. Res64: C55054B6B57EB9D1 Time : 1350.0 sec. user=vaughan [2011-02-28 01:17:29] 995*2^796070-1 is not prime. Res64: 191B1B0CF91DDB0E Time : 962.0 sec. user=vaughan [2011-02-28 01:18:20] 807*2^796072-1 is not prime. Res64: 7A0A2048B2BF4AE1 Time : 926.0 sec. user=vaughan [2011-02-28 01:19:39] 849*2^796072-1 is not prime. Res64: 0E0D96BE07C627F6 Time : 924.0 sec. user=vaughan [2011-02-28 01:20:31] 833*2^796072-1 is not prime. Res64: 5F9BF2BD64F7C86E Time : 1026.0 sec. user=vaughan [2011-02-28 01:21:06] 971*2^796014-1 is not prime. Res64: D244698AFF7CFCEC Time : 9670.0 sec. user=vaughan [2011-02-28 01:22:48] 805*2^796073-1 is not prime. Res64: ACB4E311F1796080 Time : 943.0 sec. user=vaughan [2011-02-28 01:23:08] 983*2^796072-1 is not prime. Res64: 588EE78D3A15F621 Time : 1012.0 sec. user=vaughan [2011-02-28 01:23:31] 945*2^796071-1 is not prime. Res64: DFD46D26B1B9809B Time : 1264.0 sec. user=vaughan [2011-02-28 01:23:45] 805*2^796071-1 is not prime. Res64: B58287953207E861 Time : 1312.0 sec. user=vaughan [2011-02-28 01:24:02] 945*2^796073-1 is not prime. Res64: E2801812A623F23F Time : 955.0 sec. user=vaughan [2011-02-28 01:24:32] 837*2^796074-1 is not prime. Res64: E1A80B969196AC0F Time : 967.0 sec. user=vaughan [2011-02-28 01:25:37] 869*2^796072-1 is not prime. Res64: CEF31682526E0493 Time : 1266.0 sec. user=vaughan [2011-02-28 01:27:34] 915*2^796074-1 is not prime. Res64: 4CF8C0FFF54C771E Time : 1056.0 sec. user=vaughan [2011-02-28 01:29:26] 977*2^796070-1 is not prime. Res64: F55A1FF92061EDC6 Time : 1832.0 sec. user=vaughan [2011-02-28 01:32:21] 909*2^796075-1 is not prime. Res64: 0B8B452B4B0A8F4A Time : 997.0 sec. user=vaughan [2011-02-28 01:32:35] 963*2^796055-1 is not prime. Res64: 81E84F076190FFDC Time : 4346.0 sec. user=vaughan [2011-02-28 01:32:35] 867*2^796056-1 is not prime. Res64: 264E24588FE7D7BF Time : 4345.0 sec. user=vaughan [2011-02-28 01:32:36] 875*2^796056-1 is not prime. Res64: 6CEB98CA387AADAA Time : 4345.0 sec. user=vaughan [2011-02-28 01:32:36] 893*2^796056-1 is not prime. Res64: C52D194C204F1EF9 Time : 4345.0 sec. user=vaughan [2011-02-28 01:32:36] 903*2^796056-1 is not prime. Res64: 09CF62BDBD2BD96E Time : 4344.0 sec. user=vaughan [2011-02-28 01:32:40] 945*2^796056-1 is not prime. Res64: 941548384D6613B2 Time : 4337.0 sec. user=vaughan [2011-02-28 01:32:40] 817*2^796057-1 is not prime. Res64: 673D3F5B9866E57D Time : 4336.0 sec. user=vaughan [2011-02-28 01:32:40] 831*2^796057-1 is not prime. Res64: AA40209949031AE9 Time : 4335.0 sec. user=vaughan [2011-02-28 01:32:41] 835*2^796057-1 is not prime. Res64: CDBFE4D5E787E1E2 Time : 4335.0 sec. user=vaughan [2011-02-28 01:32:41] 885*2^796057-1 is not prime. Res64: 8B84C7FC51A5CD39 Time : 4335.0 sec. user=vaughan [2011-02-28 01:32:50] 945*2^796053-1 is not prime. Res64: 7AE444529A00E28E Time : 4381.0 sec. user=vaughan [2011-02-28 01:32:50] 951*2^796053-1 is not prime. Res64: 44B360C55ABE105D Time : 4381.0 sec. user=vaughan [2011-02-28 01:32:50] 941*2^796054-1 is not prime. Res64: C406B91762E21C9C Time : 4380.0 sec. user=vaughan [2011-02-28 01:32:51] 945*2^796054-1 is not prime. Res64: 58CEABE2592A6A7A Time : 4381.0 sec. user=vaughan [2011-02-28 01:32:51] 927*2^796074-1 is not prime. Res64: 96EC9E165CB61649 Time : 1190.0 sec. user=vaughan [2011-02-28 01:32:51] 965*2^796054-1 is not prime. Res64: A46DDCC23145EC23 Time : 4380.0 sec. user=vaughan [2011-02-28 01:33:26] 951*2^796075-1 is not prime. Res64: 873BFB75E5328C68 Time : 958.0 sec. user=vaughan [2011-02-28 01:33:47] 979*2^796075-1 is not prime. Res64: 90653B93866B0ECE Time : 927.0 sec. user=vaughan [2011-02-28 01:35:05] 819*2^796077-1 is not prime. Res64: 5FA95F975EF01FA4 Time : 926.0 sec. user=vaughan [2011-02-28 01:36:22] 871*2^796075-1 is not prime. Res64: 07C8E6C357822C54 Time : 1347.0 sec. user=vaughan [2011-02-28 01:37:04] 895*2^796077-1 is not prime. Res64: 29AF1BB1BF8253AC Time : 993.0 sec. user=vaughan [2011-02-28 01:38:19] 849*2^796075-1 is not prime. Res64: 8432A0F77AAF4BC8 Time : 1480.0 sec. user=vaughan [2011-02-28 01:38:32] 815*2^796078-1 is not prime. Res64: 88BDD1FD0396E099 Time : 945.0 sec. user=vaughan [2011-02-28 01:39:46] 925*2^796075-1 is not prime. Res64: DD7452F58E99BDF3 Time : 1356.0 sec. user=vaughan [2011-02-28 01:39:50] 995*2^796078-1 is not prime. Res64: 8299A8FCF9CF7BBC Time : 948.0 sec. user=vaughan [2011-02-28 01:39:59] 867*2^796078-1 is not prime. Res64: D8F73135D39B8437 Time : 1011.0 sec. user=vaughan [2011-02-28 01:40:41] 813*2^796079-1 is not prime. Res64: E5FB4859DC8C73F9 Time : 969.0 sec. user=vaughan [2011-02-28 01:42:37] 993*2^796058-1 is not prime. Res64: 7E7B8E7B47CEAF4E Time : 4346.0 sec. user=vaughan [2011-02-28 01:42:37] 801*2^796059-1 is not prime. Res64: 59DF24D8D6937B54 Time : 4345.0 sec. user=vaughan [2011-02-28 01:42:38] 879*2^796059-1 is not prime. Res64: 82E2CA38FB4919FA Time : 4346.0 sec. user=vaughan [2011-02-28 01:42:38] 903*2^796059-1 is not prime. Res64: D9C17E0353F5005B Time : 4345.0 sec. user=vaughan [2011-02-28 01:42:38] 813*2^796060-1 is not prime. Res64: 6AC726F4D28F8F26 Time : 4345.0 sec. user=vaughan [2011-02-28 01:44:38] 897*2^796078-1 is not prime. Res64: FB1A696D70C47FCE Time : 1267.0 sec. user=vaughan [2011-02-28 01:45:11] 879*2^796079-1 is not prime. Res64: ABA2494780C7B3BE Time : 1057.0 sec. user=vaughan [2011-02-28 01:45:27] 923*2^796078-1 is not prime. Res64: B59A106C4F92C2B2 Time : 1302.0 sec. user=vaughan [2011-02-28 01:46:44] 861*2^796079-1 is not prime. Res64: 4DA38307881443B5 Time : 1267.0 sec. user=vaughan [2011-02-28 01:49:09] 841*2^796075-1 is not prime. Res64: A474E241D6A224F7 Time : 2130.0 sec. user=vaughan [2011-02-28 01:49:09] 939*2^796079-1 is not prime. Res64: 7008DDA1E441D43C Time : 1009.0 sec. user=vaughan [2011-02-28 01:49:14] 831*2^796085-1 is not prime. Res64: AF2B602EB3CED850 Time : 927.0 sec. user=vaughan [2011-02-28 01:49:26] 959*2^796084-1 is not prime. Res64: 1A9A0D2FAFD675A0 Time : 960.0 sec. user=vaughan [2011-02-28 01:50:28] 837*2^796085-1 is not prime. Res64: 35DFA699C9BCECD0 Time : 923.0 sec. user=vaughan [2011-02-28 01:53:13] 923*2^796082-1 is not prime. Res64: D6B42DD0452F2C50 Time : 1222.0 sec. user=vaughan [2011-02-28 01:54:03] 985*2^796085-1 is not prime. Res64: 52AADCD743F3FF75 Time : 1019.0 sec. user=vaughan [2011-02-28 01:54:15] 833*2^796086-1 is not prime. Res64: 7C6534A6B1EDBA99 Time : 943.0 sec. user=vaughan [2011-02-28 01:55:45] 933*2^796087-1 is not prime. Res64: B46EBB15C43199CC Time : 956.0 sec. user=vaughan [2011-02-28 01:56:46] 915*2^796088-1 is not prime. Res64: E6023FD760FAE3CD Time : 965.0 sec. user=vaughan [2011-02-28 01:56:50] 939*2^796087-1 is not prime. Res64: 362F889B4D58A154 Time : 1012.0 sec. user=vaughan [2011-02-28 01:57:20] 847*2^796073-1 is not prime. Res64: EBDE4C975FD8DD44 Time : 2968.0 sec. user=vaughan [2011-02-28 01:58:53] 949*2^796085-1 is not prime. Res64: AA8651ABB9A0DC5A Time : 1351.0 sec. user=vaughan [2011-02-28 02:02:16] 993*2^796086-1 is not prime. Res64: EAB078597DC79030 Time : 1351.0 sec. user=vaughan [2011-02-28 02:02:48] 857*2^796090-1 is not prime. Res64: B9DE4A9105437D14 Time : 1058.0 sec. user=vaughan [2011-02-28 02:03:49] 987*2^796085-1 is not prime. Res64: C310AC071C01BC9B Time : 1530.0 sec. user=vaughan [2011-02-28 02:04:40] 813*2^796091-1 is not prime. Res64: 9690692302FFACF4 Time : 927.0 sec. user=vaughan [2011-02-28 02:05:23] 855*2^796091-1 is not prime. Res64: 3B3BC8579C5B1B7B Time : 957.0 sec. user=vaughan [2011-02-28 02:05:42] 831*2^796090-1 is not prime. Res64: AAB30C4E42EBDF4C Time : 1265.0 sec. user=vaughan [2011-02-28 02:05:53] 825*2^796092-1 is not prime. Res64: DD1D8E0D1B52382E Time : 925.0 sec. user=vaughan [2011-02-28 02:06:01] 811*2^796091-1 is not prime. Res64: 7AB24DE89AFAEA6A Time : 1012.0 sec. user=vaughan [2011-02-28 02:06:39] 985*2^796047-1 is not prime. Res64: 08B82149A8C0B195 Time : 7288.0 sec. user=vaughan [2011-02-28 02:06:41] 909*2^796048-1 is not prime. Res64: 2EDEB8D27A4858D9 Time : 7010.0 sec. user=vaughan [2011-02-28 02:07:00] 867*2^796050-1 is not prime. Res64: 4F788FB2C095DBB8 Time : 6732.0 sec. user=vaughan [2011-02-28 02:07:01] 987*2^796052-1 is not prime. Res64: BC302B256683DFBE Time : 6484.0 sec. user=vaughan [2011-02-28 02:07:17] 887*2^796090-1 is not prime. Res64: 311677795BC6657B Time : 1310.0 sec. user=vaughan [2011-02-28 02:07:49] 917*2^796090-1 is not prime. Res64: 1FCE96C1192E2546 Time : 1266.0 sec. user=vaughan [2011-02-28 02:09:53] 885*2^796079-1 is not prime. Res64: 0E546CB902383A1D Time : 2427.0 sec. user=vaughan [2011-02-28 02:09:58] 981*2^796093-1 is not prime. Res64: E8612D6B3BC7F312 Time : 943.0 sec. user=vaughan [2011-02-28 02:11:03] 915*2^796093-1 is not prime. Res64: 4A7B296305C37941 Time : 1020.0 sec. user=vaughan [2011-02-28 02:11:40] 851*2^796094-1 is not prime. Res64: 2AEE0B5CECB248F5 Time : 955.0 sec. user=vaughan [2011-02-28 02:12:53] 917*2^796094-1 is not prime. Res64: 7103A3BE3E919581 Time : 967.0 sec. user=vaughan [2011-02-28 02:13:06] 819*2^796093-1 is not prime. Res64: 7391E140E4C15574 Time : 1193.0 sec. user=vaughan [2011-02-28 02:13:41] 1001*2^796094-1 is not prime. Res64: CEF250020BF10D9E Time : 1011.0 sec. user=vaughan [2011-02-28 02:20:05] 989*2^796096-1 is not prime. Res64: 4AAAA5FD31FAC325 Time : 926.0 sec. user=vaughan [2011-02-28 02:20:25] 923*2^796096-1 is not prime. Res64: 7E568F184B269B17 Time : 1057.0 sec. user=vaughan [2011-02-28 02:21:17] 821*2^796098-1 is not prime. Res64: 023646FFFD297E64 Time : 924.0 sec. user=vaughan [2011-02-28 02:21:20] 841*2^796097-1 is not prime. Res64: E087B9946EFC3008 Time : 957.0 sec. user=vaughan [2011-02-28 02:21:23] 895*2^796095-1 is not prime. Res64: 7DC8306207D42734 Time : 1350.0 sec. user=vaughan [2011-02-28 02:22:40] 825*2^796098-1 is not prime. Res64: 2366A5F426E90754 Time : 999.0 sec. user=vaughan [2011-02-28 02:23:32] 933*2^796098-1 is not prime. Res64: E6494FB60F1549A5 Time : 1014.0 sec. user=vaughan [2011-02-28 02:24:50] 903*2^796096-1 is not prime. Res64: 244EAD03A13A58F2 Time : 1354.0 sec. user=vaughan [2011-02-28 02:25:04] 995*2^796090-1 is not prime. Res64: 14BB12D0D79BAEB1 Time : 2156.0 sec. user=vaughan [2011-02-28 02:25:42] 909*2^796099-1 is not prime. Res64: FC8A5AEA85B5FA4F Time : 1121.0 sec. user=vaughan [2011-02-28 02:25:42] 813*2^796102-1 is not prime. Res64: 649B52E2DD154B91 Time : 944.0 sec. user=vaughan [2011-02-28 02:26:04] 941*2^796098-1 is not prime. Res64: 4A068038D75A73DE Time : 1163.0 sec. user=vaughan [2011-02-28 02:26:48] 909*2^796097-1 is not prime. Res64: B57E5CE733CF922E Time : 1267.0 sec. user=vaughan [2011-02-28 02:27:31] 885*2^796102-1 is not prime. Res64: 914D44506BF8D0C6 Time : 952.0 sec. user=vaughan [2011-02-28 02:27:36] 857*2^796102-1 is not prime. Res64: 14032928C4E6A935 Time : 994.0 sec. user=vaughan [2011-02-28 02:28:51] 835*2^796101-1 is not prime. Res64: BB80EA0941775B29 Time : 1262.0 sec. user=vaughan [2011-02-28 02:28:58] 915*2^796102-1 is not prime. Res64: D5D1CF9F76BD9F67 Time : 966.0 sec. user=vaughan [2011-02-28 02:29:16] 875*2^796100-1 is not prime. Res64: 7123AB238C154C95 Time : 1320.0 sec. user=vaughan [2011-02-28 02:30:34] 995*2^796102-1 is not prime. Res64: 25C42B18AF0DA2ED Time : 1013.0 sec. user=vaughan [2011-02-28 02:31:20] 855*2^796099-1 is not prime. Res64: 6F81F5EE800460F6 Time : 1461.0 sec. user=vaughan [2011-02-28 02:33:12] 917*2^796102-1 is not prime. Res64: F1F31ADB81C4AC15 Time : 1207.0 sec. user=vaughan [2011-02-28 02:35:34] 861*2^796103-1 is not prime. Res64: DD0B0410FF7D3131 Time : 929.0 sec. user=vaughan [2011-02-28 02:36:15] 865*2^796095-1 is not prime. Res64: 0E5E6BD99B5600E3 Time : 2335.0 sec. user=vaughan [2011-02-28 02:36:44] 999*2^796103-1 is not prime. Res64: 1E8AA57222077D27 Time : 928.0 sec. user=vaughan [2011-02-28 02:37:17] 825*2^796104-1 is not prime. Res64: FC85FAE46586C01E Time : 957.0 sec. user=vaughan [2011-02-28 02:38:04] 913*2^796103-1 is not prime. Res64: 01A4B5A95EA2CEC9 Time : 1059.0 sec. user=vaughan [2011-02-28 02:38:58] 887*2^796104-1 is not prime. Res64: 5C76BF0D3EE63D71 Time : 978.0 sec. user=vaughan [2011-02-28 02:40:00] 927*2^796104-1 is not prime. Res64: 1DDC345A0B91ABC5 Time : 989.0 sec. user=vaughan [2011-02-28 02:41:26] 871*2^796105-1 is not prime. Res64: 5D64AEFD7F3D30FB Time : 944.0 sec. user=vaughan [2011-02-28 02:42:34] 847*2^796105-1 is not prime. Res64: 0F9DE62E64BC38E0 Time : 1012.0 sec. user=vaughan [2011-02-28 02:42:52] 975*2^796096-1 is not prime. Res64: FE57A3CC6F6F969B Time : 2343.0 sec. user=vaughan [2011-02-28 02:43:19] 867*2^796106-1 is not prime. Res64: 16D916F1F17C7054 Time : 948.0 sec. user=vaughan [2011-02-28 02:43:21] 815*2^796106-1 is not prime. Res64: 8D6F480367A76D1C Time : 1037.0 sec. user=vaughan [2011-02-28 02:43:51] 963*2^796106-1 is not prime. Res64: C7CFA21D15329B7C Time : 976.0 sec. user=vaughan [2011-02-28 02:44:05] 857*2^796104-1 is not prime. Res64: E908D1F02D99372D Time : 1362.0 sec. user=vaughan [2011-02-28 02:44:21] 945*2^796101-1 is not prime. Res64: E380447405915B33 Time : 2068.0 sec. user=vaughan [2011-02-28 02:45:04] 979*2^796079-1 is not prime. Res64: 9706DFC3E606A0B1 Time : 4347.0 sec. user=vaughan [2011-02-28 02:45:05] 835*2^796107-1 is not prime. Res64: 14EAE5E77BCE79A8 Time : 967.0 sec. user=vaughan [2011-02-28 02:45:05] 845*2^796080-1 is not prime. Res64: 538AD8AFF579C5B3 Time : 4348.0 sec. user=vaughan [2011-02-28 02:45:05] 923*2^796080-1 is not prime. Res64: E1D946289B7FE205 Time : 4347.0 sec. user=vaughan [2011-02-28 02:45:05] 933*2^796080-1 is not prime. Res64: 56E6C62E5553535B Time : 4347.0 sec. user=vaughan [2011-02-28 02:45:06] 951*2^796081-1 is not prime. Res64: C26D256C1CB35FF6 Time : 4347.0 sec. user=vaughan [2011-02-28 02:45:12] 825*2^796082-1 is not prime. Res64: D260FCEEC6EBF0C9 Time : 4351.0 sec. user=vaughan [2011-02-28 02:45:13] 827*2^796082-1 is not prime. Res64: BB5755311EA77D7C Time : 4351.0 sec. user=vaughan [2011-02-28 02:45:13] 951*2^796082-1 is not prime. Res64: F3589C2404148074 Time : 4342.0 sec. user=vaughan [2011-02-28 02:45:13] 887*2^796082-1 is not prime. Res64: CE7ECAE95A1B6F4F Time : 4350.0 sec. user=vaughan [2011-02-28 02:45:13] 987*2^796082-1 is not prime. Res64: B1E30A16EBE6FD30 Time : 4341.0 sec. user=vaughan [2011-02-28 02:45:13] 911*2^796082-1 is not prime. Res64: 86A32838367E7BB4 Time : 4350.0 sec. user=vaughan [2011-02-28 02:45:13] 995*2^796082-1 is not prime. Res64: 8081C6ACF6E5AD0F Time : 4340.0 sec. user=vaughan [2011-02-28 02:45:14] 921*2^796082-1 is not prime. Res64: 59F5E22E463E55E2 Time : 4350.0 sec. user=vaughan [2011-02-28 02:45:14] 943*2^796083-1 is not prime. Res64: A509E43A67E8E84F Time : 4341.0 sec. user=vaughan [2011-02-28 02:45:14] 903*2^796084-1 is not prime. Res64: 32E9C08DE3EFC218 Time : 4340.0 sec. user=vaughan [2011-02-28 02:47:16] 993*2^796104-1 is not prime. Res64: 2C33B47E64851A62 Time : 1346.0 sec. user=vaughan [2011-02-28 02:47:23] 895*2^796107-1 is not prime. Res64: B4DDC193C00918A3 Time : 1009.0 sec. user=vaughan [2011-02-28 02:47:55] 827*2^796106-1 is not prime. Res64: CB5D6C165EC35BD0 Time : 1268.0 sec. user=vaughan [2011-02-28 02:50:00] 971*2^796106-1 is not prime. Res64: 3E6AF4574DEA7BA5 Time : 1270.0 sec. user=vaughan [2011-02-28 02:50:59] 963*2^796107-1 is not prime. Res64: 3A975B19083CEEDB Time : 926.0 sec. user=vaughan [2011-02-28 02:51:05] 879*2^796107-1 is not prime. Res64: C3F3D0712EB79BE0 Time : 1310.0 sec. user=ototero [2011-02-28 02:52:02] 925*2^796037-1 is not prime. Res64: 4AE4F7AB1DC48AB8 Time : 11533.0 sec. user=ototero [2011-02-28 02:52:02] 939*2^796037-1 is not prime. Res64: 132137EDCD21B245 Time : 11533.0 sec. user=ototero [2011-02-28 02:52:02] 955*2^796037-1 is not prime. Res64: 2B844AFF95127091 Time : 11532.0 sec. user=ototero [2011-02-28 02:52:02] 957*2^796037-1 is not prime. Res64: 90CE0397CDA5D747 Time : 11532.0 sec. user=ototero [2011-02-28 02:52:03] 861*2^796038-1 is not prime. Res64: C561AF2DA7A4E34F Time : 11533.0 sec. user=ototero [2011-02-28 02:52:03] 887*2^796038-1 is not prime. Res64: 750C70C8A56415CF Time : 11532.0 sec. user=ototero [2011-02-28 02:52:03] 915*2^796038-1 is not prime. Res64: E2CD39F822002B6D Time : 11532.0 sec. user=ototero [2011-02-28 02:52:03] 933*2^796038-1 is not prime. Res64: 5A8BC5F7493E0744 Time : 11532.0 sec. user=ototero [2011-02-28 02:52:04] 961*2^796039-1 is not prime. Res64: B88EE09C3FAEB64B Time : 11533.0 sec. user=ototero [2011-02-28 02:52:04] 855*2^796040-1 is not prime. Res64: 09879C17DC3353F2 Time : 11532.0 sec. user=vaughan [2011-02-28 02:52:11] 819*2^796108-1 is not prime. Res64: 5772BF09688338CD Time : 927.0 sec. user=vaughan [2011-02-28 02:53:09] 909*2^796107-1 is not prime. Res64: 8EB02C6C5C7E5844 Time : 1198.0 sec. user=vaughan [2011-02-28 02:53:10] 843*2^796108-1 is not prime. Res64: 1E9A0C247E7F5C62 Time : 954.0 sec. user=vaughan [2011-02-28 02:55:20] 903*2^796107-1 is not prime. Res64: D9EAA741CD42C727 Time : 1440.0 sec. user=vaughan [2011-02-28 02:57:12] 885*2^796109-1 is not prime. Res64: D2D079FEB7B0D783 Time : 946.0 sec. user=vaughan [2011-02-28 03:01:12] 939*2^796111-1 is not prime. Res64: 47F4E1C26C490401 Time : 968.0 sec. user=vaughan [2011-02-28 03:06:33] 867*2^796117-1 is not prime. Res64: 0CE8FE2219343A80 Time : 934.0 sec. user=vaughan [2011-02-28 03:06:41] 849*2^796111-1 is not prime. Res64: D801EA0F7E7A85C5 Time : 1357.0 sec. user=vaughan [2011-02-28 03:07:39] 909*2^796119-1 is not prime. Res64: 68D6D090A5F8C340 Time : 928.0 sec. user=vaughan [2011-02-28 03:10:21] 909*2^796116-1 is not prime. Res64: 4615DBC09135D5F4 Time : 1386.0 sec. user=vaughan [2011-02-28 03:12:37] 975*2^796119-1 is not prime. Res64: AAC72EFE0A68D5B8 Time : 1169.0 sec. user=vaughan [2011-02-28 03:12:57] 927*2^796120-1 is not prime. Res64: 9F92B8921933E3B3 Time : 946.0 sec. user=vaughan [2011-02-28 03:13:02] 871*2^796117-1 is not prime. Res64: 2E152D80E9042993 Time : 1318.0 sec. user=vaughan [2011-02-28 03:17:17] 989*2^796120-1 is not prime. Res64: A6C7FB4ED56EF03B Time : 965.0 sec. user=vaughan [2011-02-28 03:22:06] 815*2^796122-1 is not prime. Res64: C37F269C9B7DC867 Time : 933.0 sec. user=vaughan [2011-02-28 03:23:05] 885*2^796122-1 is not prime. Res64: E41F61021E260E3E Time : 926.0 sec. user=vaughan [2011-02-28 03:28:43] 859*2^796123-1 is not prime. Res64: 8F5718955D7F3DF8 Time : 946.0 sec. user=vaughan [2011-02-28 03:32:41] 947*2^796122-1 is not prime. Res64: 339D21D574A05EE0 Time : 1340.0 sec. user=vaughan [2011-02-28 03:33:21] 985*2^796123-1 is not prime. Res64: 34415CB360B39DB9 Time : 965.0 sec. user=vaughan [2011-02-28 03:35:43] 833*2^796122-1 is not prime. Res64: EEC0189D5FC064CD Time : 1742.0 sec. user=vaughan [2011-02-28 03:35:53] 939*2^796123-1 is not prime. Res64: 05E95E21662B86C4 Time : 1371.0 sec. user=vaughan [2011-02-28 03:37:37] 1001*2^796122-1 is not prime. Res64: 9E73CA6266D7C42E Time : 1501.0 sec. user=vaughan [2011-02-28 03:37:39] 855*2^796124-1 is not prime. Res64: C872CFDE8B8C77B3 Time : 934.0 sec. user=vaughan [2011-02-28 03:38:32] 959*2^796124-1 is not prime. Res64: 00FEFFD1997553CE Time : 928.0 sec. user=vaughan [2011-02-28 03:44:28] 817*2^796125-1 is not prime. Res64: C5E99E02AE1DACC1 Time : 945.0 sec. user=vaughan [2011-02-28 03:49:26] 949*2^796125-1 is not prime. Res64: 28402CC06D3C585B Time : 965.0 sec. user=vaughan [2011-02-28 03:52:41] 859*2^796125-1 is not prime. Res64: E52C724E690A339E Time : 1200.0 sec. user=vaughan [2011-02-28 03:53:11] 987*2^796126-1 is not prime. Res64: CE592F02AC400E75 Time : 932.0 sec. user=vaughan [2011-02-28 03:53:59] 879*2^796127-1 is not prime. Res64: 5D4CBA8767852550 Time : 927.0 sec. user=vaughan [2011-02-28 03:57:28] 911*2^796126-1 is not prime. Res64: C544D70B503AAD0D Time : 1191.0 sec. user=vaughan [2011-02-28 03:59:13] 957*2^796108-1 is not prime. Res64: 458B827EC2F6DD34 Time : 4753.0 sec. user=vaughan [2011-02-28 03:59:21] 917*2^796120-1 is not prime. Res64: 66AEC3EDD7729C88 Time : 3842.0 sec. user=vaughan [2011-02-28 03:59:23] 941*2^796126-1 is not prime. Res64: F81D743F8AC60153 Time : 1305.0 sec. user=vaughan [2011-02-28 03:59:52] 941*2^796110-1 is not prime. Res64: B882D115D84322A8 Time : 4592.0 sec. user=vaughan [2011-02-28 04:00:01] 991*2^796125-1 is not prime. Res64: A57056A8187CB5E7 Time : 1353.0 sec. user=vaughan [2011-02-28 04:00:16] 885*2^796127-1 is not prime. Res64: CD8DFD3ABC805A88 Time : 948.0 sec. user=vaughan [2011-02-28 04:00:17] 931*2^796109-1 is not prime. Res64: 753D9CD3CEA4304F Time : 4663.0 sec. user=vaughan [2011-02-28 04:01:54] 915*2^796077-1 is not prime. Res64: 6853B979C44C5BB5 Time : 9649.0 sec. user=vaughan [2011-02-28 04:05:30] 895*2^796127-1 is not prime. Res64: 574BDFC9709C5753 Time : 964.0 sec. user=vaughan [2011-02-28 04:08:42] 999*2^796127-1 is not prime. Res64: 750B3916BA197AC8 Time : 931.0 sec. user=vaughan [2011-02-28 04:09:26] 815*2^796128-1 is not prime. Res64: 96AA74072F35EE2F Time : 927.0 sec. user=vaughan [2011-02-28 04:15:22] 981*2^796127-1 is not prime. Res64: 3AEB842793E6C1D6 Time : 1362.0 sec. user=vaughan [2011-02-28 04:16:01] 975*2^796128-1 is not prime. Res64: DED05A9E8DA3947F Time : 945.0 sec. user=vaughan [2011-02-28 04:17:07] 959*2^796128-1 is not prime. Res64: DB80F728401224A0 Time : 1012.0 sec. user=vaughan [2011-02-28 04:19:19] 829*2^796129-1 is not prime. Res64: C480A6E96C9F1C20 Time : 1142.0 sec. user=vaughan [2011-02-28 04:19:38] 899*2^796128-1 is not prime. Res64: 1C329DC10A5E201A Time : 1186.0 sec. user=vaughan [2011-02-28 04:21:34] 925*2^796129-1 is not prime. Res64: 768D3349DFE232E0 Time : 965.0 sec. user=vaughan [2011-02-28 04:22:55] 867*2^796128-1 is not prime. Res64: 8711F1B250854C63 Time : 1414.0 sec. user=vaughan [2011-02-28 04:23:17] 875*2^796128-1 is not prime. Res64: CFE35730358C4C99 Time : 1434.0 sec. user=vaughan [2011-02-28 04:23:18] 915*2^796128-1 is not prime. Res64: D8D815529A0CA7DE Time : 1397.0 sec. user=vaughan [2011-02-28 04:24:14] 861*2^796130-1 is not prime. Res64: 88474CBC3D02D5D6 Time : 933.0 sec. user=vaughan [2011-02-28 04:24:54] 941*2^796130-1 is not prime. Res64: 6278BEBC57A25450 Time : 928.0 sec. user=vaughan [2011-02-28 04:31:47] 823*2^796131-1 is not prime. Res64: 6EC9E053BC59A01F Time : 946.0 sec. user=vaughan [2011-02-28 04:33:09] 953*2^796130-1 is not prime. Res64: 65ABD170AA11240E Time : 1067.0 sec. user=vaughan [2011-02-28 04:33:21] 843*2^796128-1 is not prime. Res64: 77F88B6AC32966AF Time : 2154.0 sec. user=vaughan [2011-02-28 04:34:04] 879*2^796131-1 is not prime. Res64: 8D232ED110FC40DE Time : 1017.0 sec. user=vaughan [2011-02-28 04:37:37] 999*2^796131-1 is not prime. Res64: 9B900FC64105A913 Time : 964.0 sec. user=vaughan [2011-02-28 04:38:33] 901*2^796131-1 is not prime. Res64: 72934A1A628BFF94 Time : 1155.0 sec. user=vaughan [2011-02-28 04:39:44] 909*2^796131-1 is not prime. Res64: 166CBB255AFE6496 Time : 1207.0 sec. user=vaughan [2011-02-28 04:39:50] 929*2^796132-1 is not prime. Res64: 44813BFF370BABCC Time : 936.0 sec. user=vaughan [2011-02-28 04:40:24] 965*2^796132-1 is not prime. Res64: DB9BA40A0CC28FF2 Time : 931.0 sec. user=vaughan [2011-02-28 04:46:54] 915*2^796132-1 is not prime. Res64: F24FCFDAB170422E Time : 1439.0 sec. user=vaughan [2011-02-28 04:47:41] 893*2^796134-1 is not prime. Res64: 1D4A3635C89B87D8 Time : 954.0 sec. user=vaughan [2011-02-28 04:51:01] 843*2^796135-1 is not prime. Res64: 2C3CF4365C31567D Time : 1018.0 sec. user=ototero [2011-02-28 06:04:20] 897*2^796117-1 is not prime. Res64: A423209490D2364E Time : 11537.0 sec. user=ototero [2011-02-28 06:04:21] 961*2^796117-1 is not prime. Res64: 5CB7E7ADE0EEB7EA Time : 11537.0 sec. user=ototero [2011-02-28 06:04:21] 801*2^796118-1 is not prime. Res64: C12F5BD7917066A9 Time : 11536.0 sec. user=ototero [2011-02-28 06:04:21] 857*2^796118-1 is not prime. Res64: 8197F0E7C66ABD92 Time : 11536.0 sec. user=ototero [2011-02-28 06:04:21] 897*2^796118-1 is not prime. Res64: 2FDBDDB7933E0411 Time : 11536.0 sec. user=ototero [2011-02-28 06:04:21] 915*2^796118-1 is not prime. Res64: 2279430A478FA6AF Time : 11535.0 sec. user=ototero [2011-02-28 06:04:22] 923*2^796118-1 is not prime. Res64: 7894E6AA4DAEF153 Time : 11536.0 sec. user=ototero [2011-02-28 06:04:22] 935*2^796118-1 is not prime. Res64: B9B826244E03A547 Time : 11536.0 sec. user=ototero [2011-02-28 06:04:22] 971*2^796118-1 is not prime. Res64: 4A4D27126772E79B Time : 11535.0 sec. user=ototero [2011-02-28 06:04:22] 859*2^796119-1 is not prime. Res64: 46C24AE5951B0FB2 Time : 11535.0 sec. user=vaughan [2011-02-28 06:42:53] 919*2^796129-1 is not prime. Res64: 3BE3990EB9A462E9 Time : 9659.0 sec. user=vaughan [2011-02-28 06:45:50] 807*2^796137-1 is not prime. Res64: 84EA274BBACE183D Time : 7566.0 sec. user=vaughan [2011-02-28 06:46:12] 827*2^796138-1 is not prime. Res64: E381BF950BDCC4DB Time : 6911.0 sec. user=vaughan [2011-02-28 06:46:25] 813*2^796138-1 is not prime. Res64: C5B4C01925610968 Time : 7125.0 sec. user=vaughan [2011-02-28 06:46:26] 949*2^796137-1 is not prime. Res64: 9E91301A3DBAA18F Time : 7172.0 sec. user=vaughan [2011-02-28 06:46:31] 835*2^796137-1 is not prime. Res64: 3BC6A8C535B22161 Time : 7567.0 sec. user=vaughan [2011-02-28 06:46:36] 873*2^796136-1 is not prime. Res64: B7302FA737158D9F Time : 7684.0 sec. user=vaughan [2011-02-28 06:46:50] 831*2^796137-1 is not prime. Res64: BEBF2E1E5E73152E Time : 7620.0 sec. user=vaughan [2011-02-28 06:46:59] 979*2^796135-1 is not prime. Res64: CBBA67A03515646C Time : 7762.0 sec. user=vaughan [2011-02-28 07:01:49] 825*2^796142-1 is not prime. Res64: 7234FD25E6FEF6F9 Time : 924.0 sec. user=vaughan [2011-02-28 07:01:51] 903*2^796142-1 is not prime. Res64: AC1641A3417EBCCE Time : 920.0 sec. user=vaughan [2011-02-28 07:02:07] 935*2^796142-1 is not prime. Res64: FDD23D3E20456740 Time : 917.0 sec. user=vaughan [2011-02-28 07:02:48] 965*2^796142-1 is not prime. Res64: 7D273C1CF72733B9 Time : 950.0 sec. user=vaughan [2011-02-28 07:02:50] 987*2^796141-1 is not prime. Res64: A0C3D60AD1B02320 Time : 998.0 sec. user=vaughan [2011-02-28 07:03:20] 957*2^796141-1 is not prime. Res64: 062FE6170A4CA563 Time : 1050.0 sec. user=vaughan [2011-02-28 07:03:37] 915*2^796142-1 is not prime. Res64: E9A07FFAC313B5A6 Time : 1021.0 sec. user=vaughan [2011-02-28 07:06:06] 875*2^796142-1 is not prime. Res64: 160ADBD35AF92090 Time : 1180.0 sec. user=ototero [2011-02-28 09:16:24] 887*2^796138-1 is not prime. Res64: BEA5AC51F580BF2E Time : 11522.0 sec. user=ototero [2011-02-28 09:16:24] 905*2^796138-1 is not prime. Res64: 7A82DAA9F5135757 Time : 11521.0 sec. user=ototero [2011-02-28 09:16:25] 933*2^796138-1 is not prime. Res64: 3695ABBD55F51C99 Time : 11522.0 sec. user=ototero [2011-02-28 09:16:25] 945*2^796138-1 is not prime. Res64: 885542E62117BB7C Time : 11522.0 sec. user=ototero [2011-02-28 09:16:25] 981*2^796138-1 is not prime. Res64: AC169D778FA6C2CA Time : 11521.0 sec. user=ototero [2011-02-28 09:16:25] 973*2^796139-1 is not prime. Res64: 4CBA0812A70045EC Time : 11521.0 sec. user=ototero [2011-02-28 09:16:25] 999*2^796139-1 is not prime. Res64: 4C979B1E054307BA Time : 11521.0 sec. user=ototero [2011-02-28 09:16:25] 879*2^796140-1 is not prime. Res64: F2AB3383F0D2589C Time : 11520.0 sec. user=ototero [2011-02-28 09:16:26] 909*2^796140-1 is not prime. Res64: 0439C301E21F146E Time : 11521.0 sec. user=ototero [2011-02-28 09:16:26] 923*2^796140-1 is not prime. Res64: 92ABE95E42859AF9 Time : 11521.0 sec. user=vaughan [2011-02-28 09:24:06] 937*2^796141-1 is not prime. Res64: 7B6EFEA96A9EEE8C Time : 9673.0 sec. user=vaughan [2011-02-28 12:04:56] 867*2^796150-1 is not prime. Res64: 86B77E6E4DF0E0AF Time : 9651.0 sec. user=ototero [2011-02-28 12:28:40] 887*2^796146-1 is not prime. Res64: 7BFCF2CE4DC2C65E Time : 11534.0 sec. user=ototero [2011-02-28 12:28:40] 973*2^796147-1 is not prime. Res64: 930DE8A4B00E7615 Time : 11534.0 sec. user=ototero [2011-02-28 12:28:40] 855*2^796148-1 is not prime. Res64: A5DDD2C612812E86 Time : 11533.0 sec. user=ototero [2011-02-28 12:28:41] 869*2^796148-1 is not prime. Res64: 92BB7A19D53BBEA0 Time : 11534.0 sec. user=ototero [2011-02-28 12:28:41] 953*2^796148-1 is not prime. Res64: 2B99B7757A20CE61 Time : 11534.0 sec. user=ototero [2011-02-28 12:28:41] 977*2^796148-1 is not prime. Res64: 65086B5CA751A349 Time : 11533.0 sec. user=ototero [2011-02-28 12:28:41] 995*2^796148-1 is not prime. Res64: EF75B19CE567430D Time : 11533.0 sec. user=ototero [2011-02-28 12:28:41] 951*2^796149-1 is not prime. Res64: DCEB252B43AEBFF6 Time : 11533.0 sec. user=ototero [2011-02-28 12:28:41] 979*2^796149-1 is not prime. Res64: 5684C1291DADCE0C Time : 11532.0 sec. user=ototero [2011-02-28 12:28:42] 827*2^796150-1 is not prime. Res64: E901A4EF7BE8996F Time : 11533.0 sec. user=vaughan [2011-02-28 14:42:18] 957*2^796133-1 is not prime. Res64: B92AE7BA8CF32959 Time : 36911.0 sec. user=vaughan [2011-02-28 14:42:18] 921*2^796134-1 is not prime. Res64: 8F92947D2D3A0798 Time : 36542.0 sec. user=vaughan [2011-02-28 14:42:18] 927*2^796134-1 is not prime. Res64: 453A063982EB1576 Time : 36537.0 sec. user=vaughan [2011-02-28 14:42:28] 859*2^796135-1 is not prime. Res64: 233B66EEBE68EC8C Time : 36496.0 sec. user=vaughan [2011-02-28 14:45:29] 885*2^794739-1 is not prime. Res64: 9AEE2746FDE34DAA Time : 9633.0 sec. user=vaughan [2011-02-28 15:10:16] 945*2^796153-1 is not prime. Res64: 55FB1C492D0FA0D7 Time : 1678.0 sec. user=vaughan [2011-02-28 15:10:26] 999*2^796153-1 is not prime. Res64: E660F9930B3E287B Time : 1678.0 sec. user=vaughan [2011-02-28 15:10:27] 937*2^796153-1 is not prime. Res64: 7DF4782F00F4273E Time : 1689.0 sec. user=vaughan [2011-02-28 15:11:37] 939*2^796153-1 is not prime. Res64: 0C7C3B32229B60D6 Time : 1759.0 sec. user=vaughan [2011-02-28 15:38:31] 935*2^796154-1 is not prime. Res64: 3A63883B1AD07303 Time : 1696.0 sec. user=vaughan [2011-02-28 15:38:43] 805*2^796155-1 is not prime. Res64: E7F4AD284187FE1F Time : 1697.0 sec. user=vaughan [2011-02-28 15:38:46] 891*2^796155-1 is not prime. Res64: A16795C4657B5D8D Time : 1699.0 sec. user=ototero [2011-02-28 15:40:43] 909*2^794739-1 is not prime. Res64: C7D30896537FB548 Time : 11521.0 sec. user=ototero [2011-02-28 15:40:44] 961*2^794739-1 is not prime. Res64: 6D834C084EABDA76 Time : 11522.0 sec. user=ototero [2011-02-28 15:40:44] 951*2^796150-1 is not prime. Res64: 637B1F0E6A917EDC Time : 11522.0 sec. user=ototero [2011-02-28 15:40:44] 971*2^796150-1 is not prime. Res64: B27AE8FF18AEFEDD Time : 11521.0 sec. user=ototero [2011-02-28 15:40:44] 859*2^796151-1 is not prime. Res64: 734279B1FDF6D484 Time : 11521.0 sec. user=ototero [2011-02-28 15:40:44] 943*2^796151-1 is not prime. Res64: FF63EC2B93C15577 Time : 11521.0 sec. user=ototero [2011-02-28 15:40:45] 815*2^796152-1 is not prime. Res64: 9F002D85675840F1 Time : 11521.0 sec. user=ototero [2011-02-28 15:40:45] 837*2^796152-1 is not prime. Res64: 77CEF389C9C3FE67 Time : 11521.0 sec. user=ototero [2011-02-28 15:40:45] 829*2^796153-1 is not prime. Res64: 10B2ADEC3653476B Time : 11521.0 sec. user=ototero [2011-02-28 15:40:45] 877*2^796153-1 is not prime. Res64: 41F5F6E71F2F21C4 Time : 11520.0 sec. user=vaughan [2011-02-28 15:41:27] 949*2^796155-1 is not prime. Res64: E45F18B09618D804 Time : 1790.0 sec. user=vaughan [2011-02-28 16:01:27] 957*2^796156-1 is not prime. Res64: AB9D93C5CF9585E4 Time : 1376.0 sec. user=vaughan [2011-02-28 16:01:41] 825*2^796157-1 is not prime. Res64: 8D42185ED7FE1C9D Time : 1375.0 sec. user=vaughan [2011-02-28 16:03:08] 969*2^796156-1 is not prime. Res64: 49B2D57078991FF2 Time : 1465.0 sec. user=vaughan [2011-02-28 16:03:24] 875*2^796160-1 is not prime. Res64: 579ED909C1A53073 Time : 1318.0 sec. user=vaughan [2011-02-28 16:22:38] 963*2^796160-1 is not prime. Res64: FE77CCE03BA53D22 Time : 1272.0 sec. user=vaughan [2011-02-28 16:22:56] 983*2^796160-1 is not prime. Res64: 3391CA0D16388317 Time : 1275.0 sec. user=vaughan [2011-02-28 16:23:49] 909*2^796161-1 is not prime. Res64: 5420D34E392870A7 Time : 1226.0 sec. user=vaughan [2011-02-28 16:25:53] 847*2^796161-1 is not prime. Res64: 9B46F1A312C6384C Time : 1366.0 sec. user=vaughan [2011-02-28 16:43:51] 857*2^796162-1 is not prime. Res64: 17F7333B635FB339 Time : 1202.0 sec. user=vaughan [2011-02-28 16:44:08] 991*2^796161-1 is not prime. Res64: CA9957200704D5EE Time : 1290.0 sec. user=vaughan [2011-02-28 16:44:25] 999*2^796161-1 is not prime. Res64: 79409D1C1E83B661 Time : 1289.0 sec. user=vaughan [2011-02-28 16:50:12] 923*2^796162-1 is not prime. Res64: 47C9800CE974D21A Time : 1459.0 sec. user=vaughan [2011-02-28 17:04:10] 811*2^796163-1 is not prime. Res64: 7EB38CD0FB7E94D8 Time : 1219.0 sec. user=vaughan [2011-02-28 17:05:31] 855*2^796163-1 is not prime. Res64: 600194EDDFE0D333 Time : 1284.0 sec. user=vaughan [2011-02-28 17:05:36] 955*2^796163-1 is not prime. Res64: 2DDC0192ADB95232 Time : 1273.0 sec. user=vaughan [2011-02-28 17:12:52] 963*2^796163-1 is not prime. Res64: 3AD21C6FC0689F08 Time : 1360.0 sec. user=vaughan [2011-02-28 17:24:43] 905*2^796164-1 is not prime. Res64: AA0C112DC9BDD2D8 Time : 1234.0 sec. user=vaughan [2011-02-28 17:26:47] 915*2^796164-1 is not prime. Res64: 91757660A6656484 Time : 1276.0 sec. user=vaughan [2011-02-28 17:26:52] 877*2^796165-1 is not prime. Res64: F056331B15A041BB Time : 1276.0 sec. user=vaughan [2011-02-28 17:30:48] 837*2^796154-1 is not prime. Res64: C7AC4F9BACA20E35 Time : 9919.0 sec. user=vaughan [2011-02-28 17:35:33] 801*2^796166-1 is not prime. Res64: 91ACE7BEF4AE7CBE Time : 1361.0 sec. user=vaughan [2011-02-28 17:45:13] 887*2^796166-1 is not prime. Res64: F43475A389584926 Time : 1230.0 sec. user=vaughan [2011-02-28 17:47:56] 911*2^796166-1 is not prime. Res64: A62FF45F4937A403 Time : 1270.0 sec. user=vaughan [2011-02-28 17:48:14] 971*2^796166-1 is not prime. Res64: 6E37329975009686 Time : 1282.0 sec. user=vaughan [2011-02-28 17:58:06] 823*2^796167-1 is not prime. Res64: 790E219B8A176930 Time : 1353.0 sec. user=vaughan [2011-02-28 18:05:57] 859*2^796167-1 is not prime. Res64: 588E6DF81A0AFB26 Time : 1246.0 sec. user=vaughan [2011-02-28 18:09:22] 963*2^796167-1 is not prime. Res64: D6FD4D3D5ED1B8F5 Time : 1286.0 sec. user=vaughan [2011-02-28 18:09:36] 995*2^796168-1 is not prime. Res64: C4C7B66299900E45 Time : 1283.0 sec. user=vaughan [2011-02-28 18:20:14] 957*2^796169-1 is not prime. Res64: 36185BA251A77078 Time : 1328.0 sec. user=vaughan [2011-02-28 18:26:43] 893*2^796170-1 is not prime. Res64: A480AEEA1EB74A95 Time : 1246.0 sec. user=vaughan [2011-02-28 18:30:49] 927*2^796170-1 is not prime. Res64: 1693544C01161DBC Time : 1287.0 sec. user=vaughan [2011-02-28 18:30:54] 971*2^796170-1 is not prime. Res64: 263BF6A8355C7B58 Time : 1279.0 sec. user=vaughan [2011-02-28 18:42:45] 859*2^796171-1 is not prime. Res64: 67F32472D50BEDFF Time : 1352.0 sec. user=vaughan [2011-02-28 18:47:11] 933*2^796111-1 is not prime. Res64: 88B2ADA856302484 Time : 57770.0 sec. user=vaughan [2011-02-28 18:47:11] 939*2^796109-1 is not prime. Res64: 8950BC54AEE70AAF Time : 57859.0 sec. user=vaughan [2011-02-28 18:47:11] 973*2^796107-1 is not prime. Res64: 0D3915BA0F46C499 Time : 58257.0 sec. user=vaughan [2011-02-28 18:47:14] 801*2^796105-1 is not prime. Res64: 428989F5F35F58A9 Time : 58930.0 sec. user=vaughan [2011-02-28 18:47:14] 861*2^796171-1 is not prime. Res64: 776F7A40EB45E6DE Time : 1231.0 sec. user=vaughan [2011-02-28 18:52:03] 895*2^796171-1 is not prime. Res64: D88A36872B9AB24A Time : 1274.0 sec. user=vaughan [2011-02-28 18:52:17] 827*2^796172-1 is not prime. Res64: 7262434345E3BC3F Time : 1283.0 sec. user=ototero [2011-02-28 18:52:56] 859*2^796157-1 is not prime. Res64: 12654D3D29910C8B Time : 11530.0 sec. user=ototero [2011-02-28 18:52:56] 861*2^796157-1 is not prime. Res64: C6B03596523D9A53 Time : 11530.0 sec. user=ototero [2011-02-28 18:52:56] 963*2^796158-1 is not prime. Res64: D0137BFB6FD94B4B Time : 11530.0 sec. user=ototero [2011-02-28 18:52:56] 811*2^796159-1 is not prime. Res64: 6B568ED7C7C942BA Time : 11529.0 sec. user=ototero [2011-02-28 18:52:56] 855*2^796159-1 is not prime. Res64: 4E21308FC6EBD6B8 Time : 11529.0 sec. user=ototero [2011-02-28 18:52:56] 883*2^796159-1 is not prime. Res64: 86B08FE913AFA20B Time : 11529.0 sec. user=ototero [2011-02-28 18:52:57] 885*2^796159-1 is not prime. Res64: 9E8F6AAA6EA00254 Time : 11529.0 sec. user=ototero [2011-02-28 18:52:57] 925*2^796159-1 is not prime. Res64: C079068039BD3FA8 Time : 11529.0 sec. user=ototero [2011-02-28 18:52:57] 961*2^796159-1 is not prime. Res64: 4CD04E972D6A5B65 Time : 11529.0 sec. user=ototero [2011-02-28 18:52:57] 833*2^796160-1 is not prime. Res64: C74E7B65C6BB2911 Time : 11528.0 sec. user=vaughan [2011-02-28 19:02:16] 995*2^796172-1 is not prime. Res64: 2B19239E59E3A798 Time : 905.0 sec. user=vaughan [2011-02-28 19:02:18] 899*2^796172-1 is not prime. Res64: 3A493E632B5D97A0 Time : 907.0 sec. user=vaughan [2011-02-28 19:02:19] 935*2^796172-1 is not prime. Res64: B8296C176AAB43D0 Time : 908.0 sec. user=vaughan [2011-02-28 19:02:20] 817*2^796173-1 is not prime. Res64: 694B111765B6DDD6 Time : 906.0 sec. user=vaughan [2011-02-28 19:05:15] 875*2^796172-1 is not prime. Res64: 79C0B85AB5A5DA83 Time : 1351.0 sec. user=vaughan [2011-02-28 19:08:01] 847*2^796173-1 is not prime. Res64: 05F80C708152589F Time : 1247.0 sec. user=kar_bon [2011-02-28 19:08:46] 893*2^795788-1 is not prime. Res64: 69FC05CEA0EAC211 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:47] 897*2^795788-1 is not prime. Res64: DE73815F56101F5E Time : 84340.0 sec. user=kar_bon [2011-02-28 19:08:47] 945*2^795788-1 is not prime. Res64: 1F0057C4F2C9F25F Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:47] 953*2^795788-1 is not prime. Res64: 72689D2B607E1D9C Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:47] 889*2^795789-1 is not prime. Res64: DBEE59647EF8CC58 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:48] 919*2^795789-1 is not prime. Res64: DDE798E36816C134 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:48] 951*2^795789-1 is not prime. Res64: 2B7812770015A777 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:48] 997*2^795789-1 is not prime. Res64: 360C950774513AFC Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:48] 945*2^795790-1 is not prime. Res64: 858777080E01E8AB Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:49] 825*2^795791-1 is not prime. Res64: 8BBADBEC80C47416 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:49] 975*2^795799-1 is not prime. Res64: 02E0018746ABE5B7 Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:49] 883*2^795791-1 is not prime. Res64: 0DC52CD7CACD97F9 Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:49] 983*2^795800-1 is not prime. Res64: 4FD5DE6BDF0608B5 Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:49] 943*2^795791-1 is not prime. Res64: 293C1850A63B8A55 Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:50] 999*2^795801-1 is not prime. Res64: 0C321FEDEBA16FBE Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:50] 991*2^795791-1 is not prime. Res64: 7026A49B1EE43553 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:50] 833*2^795802-1 is not prime. Res64: 6F97E184F6D09C22 Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:50] 815*2^795792-1 is not prime. Res64: 4AFF0EA08967856D Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:50] 923*2^795802-1 is not prime. Res64: 81DEF7D1C9C91B98 Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:50] 825*2^795794-1 is not prime. Res64: 5FACAA8337394BF7 Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:50] 895*2^795803-1 is not prime. Res64: A958A2073665FBF1 Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:50] 851*2^795794-1 is not prime. Res64: E1AF3E88B5ADD0B7 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:51] 903*2^795804-1 is not prime. Res64: AF8039BA20DA2711 Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:51] 917*2^795794-1 is not prime. Res64: 396A0F8714BD041C Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:51] 929*2^795804-1 is not prime. Res64: 21B74D1FCE7D489A Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:51] 823*2^795795-1 is not prime. Res64: CF393433985A3006 Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:51] 861*2^795805-1 is not prime. Res64: 7CC1066B6DDD04CF Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:51] 801*2^795797-1 is not prime. Res64: 8768D9F444A668A6 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:51] 917*2^795806-1 is not prime. Res64: 2B33379D2D4D6160 Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:51] 861*2^795797-1 is not prime. Res64: 4954D967BBD6A9CE Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:52] 941*2^795802-1 is not prime. Res64: 3823ED1FA40491DE Time : 84335.0 sec. user=kar_bon [2011-02-28 19:08:52] 825*2^795808-1 is not prime. Res64: 30B903E52687A8AF Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:52] 937*2^795797-1 is not prime. Res64: 955E0DC90FEF55CC Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:52] 921*2^795803-1 is not prime. Res64: AA8D4E605319AAA9 Time : 84335.0 sec. user=kar_bon [2011-02-28 19:08:52] 801*2^795809-1 is not prime. Res64: 021C9BED2178C3D5 Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:52] 815*2^795798-1 is not prime. Res64: B7D706D1FA9A6232 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:52] 915*2^795804-1 is not prime. Res64: 1326D12E86028B6D Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:53] 909*2^795809-1 is not prime. Res64: 0362760EB376CDFE Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:53] 957*2^795798-1 is not prime. Res64: B708A459E9BBAC43 Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:53] 847*2^795805-1 is not prime. Res64: 84A5D13EB73E69D1 Time : 84335.0 sec. user=kar_bon [2011-02-28 19:08:53] 819*2^795811-1 is not prime. Res64: AC0E7B62B076534F Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:53] 875*2^795800-1 is not prime. Res64: 78C957EE7C34A14D Time : 84338.0 sec. user=kar_bon [2011-02-28 19:08:53] 825*2^795806-1 is not prime. Res64: 89C31C44BAA48B3D Time : 84335.0 sec. user=kar_bon [2011-02-28 19:08:53] 879*2^795812-1 is not prime. Res64: 69A9D72999391E93 Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:53] 807*2^795801-1 is not prime. Res64: 0F34B9C4C5D85FC1 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:53] 931*2^795807-1 is not prime. Res64: 4B745F0BB88A0CBE Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:53] 959*2^795812-1 is not prime. Res64: BAB1F381BEC6F66C Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:53] 803*2^795802-1 is not prime. Res64: EEA79B8E6F620F30 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:53] 989*2^795808-1 is not prime. Res64: E3ECA73676C98556 Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:53] 937*2^795813-1 is not prime. Res64: E68F964D9C4AACF6 Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:54] 891*2^795802-1 is not prime. Res64: CAD90C1C5256F6E3 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:54] 897*2^795809-1 is not prime. Res64: 6E62C5CAF143D58D Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:54] 861*2^795814-1 is not prime. Res64: 135D687C1DAF4C9E Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:54] 951*2^795802-1 is not prime. Res64: 65E210EE1275E9AC Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:54] 923*2^795810-1 is not prime. Res64: DCAB6F8E4C62F684 Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:54] 915*2^795814-1 is not prime. Res64: B907F58A12B9F1BB Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:54] 945*2^795803-1 is not prime. Res64: 2FC7CB14240150A7 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:54] 943*2^795811-1 is not prime. Res64: C35436432A61B9B1 Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:54] 909*2^795816-1 is not prime. Res64: A8C2B0F9296F6E0F Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:54] 909*2^795804-1 is not prime. Res64: 8249DC57F01DA5E4 Time : 84336.0 sec. user=kar_bon [2011-02-28 19:08:54] 945*2^795812-1 is not prime. Res64: 16747FE054484E66 Time : 84333.0 sec. user=kar_bon [2011-02-28 19:08:54] 889*2^795817-1 is not prime. Res64: 313CD5B72F8E83FA Time : 84331.0 sec. user=kar_bon [2011-02-28 19:08:54] 819*2^795805-1 is not prime. Res64: 18D68B39BBAFD9FF Time : 84336.0 sec. user=kar_bon [2011-02-28 19:08:55] 861*2^795813-1 is not prime. Res64: E6E3C5E801648BEA Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:55] 843*2^795818-1 is not prime. Res64: 0B4B2DFA01E5F1C6 Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:55] 951*2^795805-1 is not prime. Res64: 4698678B88621F98 Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:55] 885*2^795794-1 is not prime. Res64: 3CACD02B1FA5F678 Time : 84342.0 sec. user=kar_bon [2011-02-28 19:08:55] 825*2^795814-1 is not prime. Res64: 9E4E5AD777886A39 Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:55] 843*2^795820-1 is not prime. Res64: 1D775AA140C7649D Time : 84332.0 sec. user=kar_bon [2011-02-28 19:08:55] 825*2^795807-1 is not prime. Res64: 6342F30340928B44 Time : 84336.0 sec. user=kar_bon [2011-02-28 19:08:56] 971*2^795794-1 is not prime. Res64: 3C90D90B73D12C00 Time : 84343.0 sec. user=kar_bon [2011-02-28 19:08:57] 891*2^795814-1 is not prime. Res64: 5C214755760500B5 Time : 84335.0 sec. user=kar_bon [2011-02-28 19:08:58] 989*2^795820-1 is not prime. Res64: BE862913F4B04E0B Time : 84334.0 sec. user=kar_bon [2011-02-28 19:08:58] 969*2^795808-1 is not prime. Res64: 7F2DB38B8CEE1589 Time : 84339.0 sec. user=kar_bon [2011-02-28 19:08:58] 875*2^795796-1 is not prime. Res64: E3DC5FDF5DA78D84 Time : 84345.0 sec. user=kar_bon [2011-02-28 19:08:59] 963*2^795815-1 is not prime. Res64: A9F97775C1C9904C Time : 84337.0 sec. user=kar_bon [2011-02-28 19:08:59] 889*2^795821-1 is not prime. Res64: 96E40DFE0CE16B4F Time : 84335.0 sec. user=kar_bon [2011-02-28 19:09:00] 867*2^795809-1 is not prime. Res64: 0DB6B653E7673565 Time : 84341.0 sec. user=kar_bon [2011-02-28 19:09:01] 847*2^795797-1 is not prime. Res64: 8D4C112605BF0F9A Time : 84347.0 sec. user=kar_bon [2011-02-28 19:09:01] 871*2^795817-1 is not prime. Res64: FFDAE465AB4702FA Time : 84338.0 sec. user=kar_bon [2011-02-28 19:09:01] 921*2^795822-1 is not prime. Res64: 8E60164AC5BDDB8B Time : 84336.0 sec. user=kar_bon [2011-02-28 19:09:02] 833*2^795810-1 is not prime. Res64: 12F4ADABC23AF3E7 Time : 84342.0 sec. user=kar_bon [2011-02-28 19:09:02] 865*2^795797-1 is not prime. Res64: 6774875099AD8AEF Time : 84348.0 sec. user=kar_bon [2011-02-28 19:09:03] 825*2^795818-1 is not prime. Res64: AF0FFFD6643E459F Time : 84340.0 sec. user=kar_bon [2011-02-28 19:09:03] 999*2^795823-1 is not prime. Res64: 9CF2D374D1BA0CAA Time : 84338.0 sec. user=kar_bon [2011-02-28 19:09:04] 901*2^795811-1 is not prime. Res64: 82F6945BFBD789FC Time : 84344.0 sec. user=kar_bon [2011-02-28 19:09:04] 955*2^795797-1 is not prime. Res64: F20A4916BE5A7557 Time : 84349.0 sec. user=kar_bon [2011-02-28 19:09:04] 843*2^795819-1 is not prime. Res64: 6411C59BBE8AA3C4 Time : 84341.0 sec. user=kar_bon [2011-02-28 19:09:05] 813*2^795826-1 is not prime. Res64: F30C7F389EC0B624 Time : 84340.0 sec. user=kar_bon [2011-02-28 19:09:06] 899*2^795812-1 is not prime. Res64: F05EBD9C9DEB9AA9 Time : 84345.0 sec. user=kar_bon [2011-02-28 19:09:06] 945*2^795798-1 is not prime. Res64: A6DFC2CDCCF4536B Time : 84351.0 sec. user=kar_bon [2011-02-28 19:09:06] 933*2^795820-1 is not prime. Res64: 8BA866FA9B7C9032 Time : 84342.0 sec. user=kar_bon [2011-02-28 19:09:07] 993*2^795827-1 is not prime. Res64: 29A1C93086D38C98 Time : 84341.0 sec. user=kar_bon [2011-02-28 19:09:08] 829*2^795813-1 is not prime. Res64: 956D69930F52E36D Time : 84347.0 sec. user=kar_bon [2011-02-28 19:09:09] 855*2^795799-1 is not prime. Res64: D0AB80955A6C1577 Time : 84354.0 sec. user=kar_bon [2011-02-28 19:09:09] 879*2^795821-1 is not prime. Res64: 1E3C98A2F3CC9F87 Time : 84345.0 sec. user=kar_bon [2011-02-28 19:09:09] 939*2^795829-1 is not prime. Res64: D40212BA2F7DA9BA Time : 84343.0 sec. user=kar_bon [2011-02-28 19:09:10] 979*2^795813-1 is not prime. Res64: 4A4B6F63E5E0E67F Time : 84349.0 sec. user=kar_bon [2011-02-28 19:09:10] 929*2^795800-1 is not prime. Res64: 8A8692FF5AECB12F Time : 84354.0 sec. user=kar_bon [2011-02-28 19:09:11] 955*2^795821-1 is not prime. Res64: 07D5E54EF5FE9EE1 Time : 84347.0 sec. user=kar_bon [2011-02-28 19:09:11] 861*2^795831-1 is not prime. Res64: B791B87B219FCE1D Time : 84345.0 sec. user=kar_bon [2011-02-28 19:09:12] 863*2^795814-1 is not prime. Res64: 869FA669AD910D53 Time : 84350.0 sec. user=kar_bon [2011-02-28 19:09:12] 997*2^795801-1 is not prime. Res64: 5E8F9A2F9CEBDDC6 Time : 84356.0 sec. user=kar_bon [2011-02-28 19:09:12] 939*2^795823-1 is not prime. Res64: D888C0FD21E0E2BC Time : 84347.0 sec. user=kar_bon [2011-02-28 19:09:13] 915*2^795832-1 is not prime. Res64: 50E4E52532CEFF6C Time : 84346.0 sec. user=kar_bon [2011-02-28 19:09:14] 865*2^795815-1 is not prime. Res64: 94DA1D8FFAFE763D Time : 84352.0 sec. user=kar_bon [2011-02-28 19:09:14] 815*2^795802-1 is not prime. Res64: B088B58CF70AB724 Time : 84358.0 sec. user=kar_bon [2011-02-28 19:09:14] 915*2^795825-1 is not prime. Res64: A3C94F48094CA1AF Time : 84349.0 sec. user=kar_bon [2011-02-28 19:09:15] 867*2^795833-1 is not prime. Res64: 851BDB08B95E4CB6 Time : 84348.0 sec. user=kar_bon [2011-02-28 19:09:16] 993*2^795816-1 is not prime. Res64: 015A7AB3B3CF393E Time : 84354.0 sec. user=kar_bon [2011-02-28 19:09:16] 915*2^795802-1 is not prime. Res64: DDD11364902AC4E3 Time : 84359.0 sec. user=kar_bon [2011-02-28 19:09:17] 973*2^795827-1 is not prime. Res64: 859038EE913C846F Time : 84351.0 sec. user=kar_bon [2011-02-28 19:09:17] 819*2^795835-1 is not prime. Res64: DC56FFDE6A84AA31 Time : 84349.0 sec. user=kar_bon [2011-02-28 19:09:18] 919*2^795817-1 is not prime. Res64: 21EC773BFADDBD3B Time : 84355.0 sec. user=kar_bon [2011-02-28 19:09:18] 853*2^795803-1 is not prime. Res64: C9DCB1CB9967DD84 Time : 84361.0 sec. user=kar_bon [2011-02-28 19:09:18] 929*2^795828-1 is not prime. Res64: 69C4485FF02F4DF1 Time : 84352.0 sec. user=kar_bon [2011-02-28 19:09:18] 825*2^795837-1 is not prime. Res64: C4289FC3405D25C6 Time : 84350.0 sec. user=kar_bon [2011-02-28 19:09:19] 885*2^795818-1 is not prime. Res64: 9ABC2505F313C578 Time : 84356.0 sec. user=kar_bon [2011-02-28 19:09:20] 843*2^795804-1 is not prime. Res64: 8A6A084A528EEBA8 Time : 84362.0 sec. user=kar_bon [2011-02-28 19:09:20] 829*2^795831-1 is not prime. Res64: F16FB6B447227479 Time : 84354.0 sec. user=kar_bon [2011-02-28 19:09:20] 961*2^795837-1 is not prime. Res64: 9573FBD5632950EB Time : 84352.0 sec. user=kar_bon [2011-02-28 19:09:21] 905*2^795820-1 is not prime. Res64: 47E99E6EDEB4FB8D Time : 84357.0 sec. user=kar_bon [2011-02-28 19:09:22] 961*2^795831-1 is not prime. Res64: 647CEAAE3F3CEB6B Time : 84355.0 sec. user=kar_bon [2011-02-28 19:09:22] 927*2^795804-1 is not prime. Res64: 1672A3FFD1B052F7 Time : 84364.0 sec. user=kar_bon [2011-02-28 19:09:22] 979*2^795839-1 is not prime. Res64: B21EC9FA695B2216 Time : 84353.0 sec. user=kar_bon [2011-02-28 19:09:23] 825*2^795821-1 is not prime. Res64: 1C0C2F2B10082E2A Time : 84359.0 sec. user=kar_bon [2011-02-28 19:09:24] 867*2^795805-1 is not prime. Res64: FD3A5115E077F40B Time : 84366.0 sec. user=kar_bon [2011-02-28 19:09:24] 855*2^795833-1 is not prime. Res64: C110EFC3E7875553 Time : 84357.0 sec. user=kar_bon [2011-02-28 19:09:25] 819*2^795841-1 is not prime. Res64: ED4F630D0AAEF634 Time : 84356.0 sec. user=kar_bon [2011-02-28 19:09:25] 907*2^795821-1 is not prime. Res64: 559B41E25B4AE430 Time : 84361.0 sec. user=kar_bon [2011-02-28 19:09:25] 983*2^795806-1 is not prime. Res64: E83AED2419329C04 Time : 84366.0 sec. user=kar_bon [2011-02-28 19:09:26] 905*2^795834-1 is not prime. Res64: 22AF9E1E56392253 Time : 84359.0 sec. user=kar_bon [2011-02-28 19:09:26] 921*2^795842-1 is not prime. Res64: AE83FD0D9D910941 Time : 84357.0 sec. user=kar_bon [2011-02-28 19:09:27] 819*2^795823-1 is not prime. Res64: 17244CD78DA235AF Time : 84362.0 sec. user=kar_bon [2011-02-28 19:09:27] 839*2^795808-1 is not prime. Res64: B10F30117D98F208 Time : 84368.0 sec. user=kar_bon [2011-02-28 19:09:27] 857*2^795836-1 is not prime. Res64: 01EE944B44906D89 Time : 84359.0 sec. user=kar_bon [2011-02-28 19:09:28] 895*2^795843-1 is not prime. Res64: 269C8D7D670828B2 Time : 84358.0 sec. user=kar_bon [2011-02-28 19:09:28] 827*2^795824-1 is not prime. Res64: 7767FFF82CDDB0A9 Time : 84363.0 sec. user=kar_bon [2011-02-28 19:09:29] 855*2^795809-1 is not prime. Res64: 781B388B9A7CA1B6 Time : 84370.0 sec. user=kar_bon [2011-02-28 19:09:30] 891*2^795837-1 is not prime. Res64: 5E3BA5F670A55D58 Time : 84362.0 sec. user=kar_bon [2011-02-28 19:09:30] 975*2^795844-1 is not prime. Res64: 33BFAD9D64C95D1A Time : 84360.0 sec. user=kar_bon [2011-02-28 19:09:30] 903*2^795826-1 is not prime. Res64: CD0682BEA7684A93 Time : 84365.0 sec. user=kar_bon [2011-02-28 19:09:31] 967*2^795809-1 is not prime. Res64: DE2D0F54F1017B96 Time : 84371.0 sec. user=kar_bon [2011-02-28 19:09:32] 973*2^795839-1 is not prime. Res64: 520396CC562DF5C4 Time : 84363.0 sec. user=kar_bon [2011-02-28 19:09:32] 899*2^795848-1 is not prime. Res64: 9F7F0977059BA893 Time : 84361.0 sec. user=kar_bon [2011-02-28 19:09:32] 825*2^795828-1 is not prime. Res64: 29B46305EECD6578 Time : 84366.0 sec. user=kar_bon [2011-02-28 19:09:33] 861*2^795811-1 is not prime. Res64: 34E4D4EF7BE55262 Time : 84373.0 sec. user=kar_bon [2011-02-28 19:09:33] 817*2^795841-1 is not prime. Res64: 1DE84338E306A0B2 Time : 84364.0 sec. user=kar_bon [2011-02-28 19:09:34] 955*2^795849-1 is not prime. Res64: B05FD1FD567028CE Time : 84363.0 sec. user=kar_bon [2011-02-28 19:09:35] 867*2^795830-1 is not prime. Res64: 916B88C921F0E842 Time : 84369.0 sec. user=kar_bon [2011-02-28 19:09:35] 903*2^795812-1 is not prime. Res64: DC76EFE7D524C791 Time : 84374.0 sec. user=kar_bon [2011-02-28 19:09:35] 885*2^795842-1 is not prime. Res64: 353D6E73B39441CE Time : 84366.0 sec. user=kar_bon [2011-02-28 19:09:35] 923*2^795850-1 is not prime. Res64: 8E30F3E1D77D90C5 Time : 84364.0 sec. user=kar_bon [2011-02-28 19:09:36] 871*2^795831-1 is not prime. Res64: 8574DC401EA6A49F Time : 84370.0 sec. user=kar_bon [2011-02-28 19:09:37] 847*2^795813-1 is not prime. Res64: 2D7AE1278B7DF982 Time : 84376.0 sec. user=kar_bon [2011-02-28 19:09:37] 995*2^795842-1 is not prime. Res64: B8F45816FBE59E98 Time : 84367.0 sec. user=kar_bon [2011-02-28 19:09:38] 995*2^795850-1 is not prime. Res64: 9227DDBDF53308A3 Time : 84366.0 sec. user=kar_bon [2011-02-28 19:09:38] 965*2^795832-1 is not prime. Res64: AEE84B13652EC453 Time : 84371.0 sec. user=kar_bon [2011-02-28 19:09:39] 991*2^795813-1 is not prime. Res64: 4000C61AB69F66A2 Time : 84378.0 sec. user=kar_bon [2011-02-28 19:09:39] 965*2^795844-1 is not prime. Res64: 12FCB15EA35D92C8 Time : 84369.0 sec. user=kar_bon [2011-02-28 19:09:40] 843*2^795852-1 is not prime. Res64: 0E61FC5683530A99 Time : 84368.0 sec. user=kar_bon [2011-02-28 19:09:40] 881*2^795834-1 is not prime. Res64: 6F1F7EF9281EDABB Time : 84373.0 sec. user=kar_bon [2011-02-28 19:09:40] 881*2^795814-1 is not prime. Res64: 4F36991FA0FAED03 Time : 84378.0 sec. user=kar_bon [2011-02-28 19:09:41] 945*2^795846-1 is not prime. Res64: 82E391F2772D9E6B Time : 84371.0 sec. user=kar_bon [2011-02-28 19:09:41] 915*2^795852-1 is not prime. Res64: E02437DF17A5EF04 Time : 84369.0 sec. user=kar_bon [2011-02-28 19:09:42] 849*2^795835-1 is not prime. Res64: 4C7B5CDECED983D4 Time : 84374.0 sec. user=kar_bon [2011-02-28 19:09:43] 939*2^795815-1 is not prime. Res64: 1BCF8B9C6C26AEF7 Time : 84381.0 sec. user=kar_bon [2011-02-28 19:09:43] 951*2^795849-1 is not prime. Res64: 39C96B01133DD374 Time : 84372.0 sec. user=kar_bon [2011-02-28 19:09:43] 935*2^795854-1 is not prime. Res64: 0C67C714C8B39398 Time : 84370.0 sec. user=kar_bon [2011-02-28 19:09:44] 835*2^795837-1 is not prime. Res64: D128D949B476518D Time : 84376.0 sec. user=kar_bon [2011-02-28 19:09:44] 805*2^795817-1 is not prime. Res64: 948FEABCE35E57FB Time : 84382.0 sec. user=kar_bon [2011-02-28 19:09:45] 861*2^795850-1 is not prime. Res64: 2ED24044252CAFD0 Time : 84374.0 sec. user=kar_bon [2011-02-28 19:09:45] 873*2^795855-1 is not prime. Res64: BF985DF1897EE29F Time : 84372.0 sec. user=kar_bon [2011-02-28 19:09:46] 979*2^795837-1 is not prime. Res64: E8B3D6FE8EAC007F Time : 84378.0 sec. user=kar_bon [2011-02-28 19:09:46] 997*2^795817-1 is not prime. Res64: 1C2062B909CB1E4F Time : 84383.0 sec. user=kar_bon [2011-02-28 19:09:47] 981*2^795850-1 is not prime. Res64: 701FE906B9F1FEA3 Time : 84375.0 sec. user=kar_bon [2011-02-28 19:09:47] 855*2^795856-1 is not prime. Res64: 808721108C75B64B Time : 84373.0 sec. user=kar_bon [2011-02-28 19:09:48] 843*2^795840-1 is not prime. Res64: E2BAD0E9F731FD03 Time : 84379.0 sec. user=kar_bon [2011-02-28 19:09:48] 987*2^795818-1 is not prime. Res64: 89A8469B40758856 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:09:49] 973*2^795851-1 is not prime. Res64: C74124EF6F7C277C Time : 84377.0 sec. user=kar_bon [2011-02-28 19:09:49] 871*2^795857-1 is not prime. Res64: 109AB1BBBFD7EEF3 Time : 84375.0 sec. user=kar_bon [2011-02-28 19:09:49] 999*2^795841-1 is not prime. Res64: BD4BFB0DB654834C Time : 84380.0 sec. user=kar_bon [2011-02-28 19:09:50] 909*2^795820-1 is not prime. Res64: F83827D93F346AAE Time : 84386.0 sec. user=kar_bon [2011-02-28 19:09:51] 899*2^795852-1 is not prime. Res64: D152CA43807273C5 Time : 84379.0 sec. user=kar_bon [2011-02-28 19:09:51] 803*2^795858-1 is not prime. Res64: 77A53833DAE6898D Time : 84377.0 sec. user=kar_bon [2011-02-28 19:09:51] 945*2^795842-1 is not prime. Res64: 6BC43A5E82F978B7 Time : 84382.0 sec. user=kar_bon [2011-02-28 19:09:52] 837*2^795821-1 is not prime. Res64: DE3F169BBA01367B Time : 84388.0 sec. user=kar_bon [2011-02-28 19:09:52] 921*2^795854-1 is not prime. Res64: 2DF5C3177C27E455 Time : 84379.0 sec. user=kar_bon [2011-02-28 19:09:52] 835*2^795859-1 is not prime. Res64: A71FFF804DDAF8EE Time : 84377.0 sec. user=kar_bon [2011-02-28 19:09:53] 961*2^795843-1 is not prime. Res64: E846D8D1CF25FB6E Time : 84383.0 sec. user=kar_bon [2011-02-28 19:09:53] 949*2^795821-1 is not prime. Res64: 7D7773093D494702 Time : 84389.0 sec. user=kar_bon [2011-02-28 19:09:54] 805*2^795855-1 is not prime. Res64: D3DE7F83B0643FE5 Time : 84381.0 sec. user=kar_bon [2011-02-28 19:09:55] 875*2^795860-1 is not prime. Res64: B362F1DDF9989A08 Time : 84380.0 sec. user=kar_bon [2011-02-28 19:09:55] 969*2^795845-1 is not prime. Res64: 039ECE7D4A66514E Time : 84385.0 sec. user=kar_bon [2011-02-28 19:09:55] 885*2^795823-1 is not prime. Res64: 47E4975078548623 Time : 84390.0 sec. user=kar_bon [2011-02-28 19:09:56] 803*2^795856-1 is not prime. Res64: 5828942EA5CB097E Time : 84383.0 sec. user=kar_bon [2011-02-28 19:09:57] 987*2^795860-1 is not prime. Res64: 6408CC4FA703E156 Time : 84382.0 sec. user=kar_bon [2011-02-28 19:09:57] 945*2^795848-1 is not prime. Res64: 894617F3293D6B4E Time : 84386.0 sec. user=kar_bon [2011-02-28 19:09:57] 993*2^795824-1 is not prime. Res64: 656ECB3954D73DE7 Time : 84392.0 sec. user=kar_bon [2011-02-28 19:09:58] 923*2^795856-1 is not prime. Res64: 3C6F0A237751FB24 Time : 84384.0 sec. user=kar_bon [2011-02-28 19:09:58] 895*2^795861-1 is not prime. Res64: CD579B68AA250741 Time : 84382.0 sec. user=kar_bon [2011-02-28 19:09:59] 827*2^795850-1 is not prime. Res64: 2899782342D0E78D Time : 84388.0 sec. user=kar_bon [2011-02-28 19:10:00] 957*2^795826-1 is not prime. Res64: 12FD0B9EE7E323A1 Time : 84395.0 sec. user=kar_bon [2011-02-28 19:10:00] 967*2^795857-1 is not prime. Res64: F02FF5D3E7B1B275 Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:00] 815*2^795862-1 is not prime. Res64: 89AB353B9BBE74F7 Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:01] 899*2^795828-1 is not prime. Res64: 312FEFCD070D12A1 Time : 84395.0 sec. user=kar_bon [2011-02-28 19:10:01] 829*2^795859-1 is not prime. Res64: 7A8C11B9C1DEA3BE Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:01] 929*2^795864-1 is not prime. Res64: B41F0C52F70E8E5B Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:01] 921*2^795830-1 is not prime. Res64: 42382247A26B46E0 Time : 84395.0 sec. user=kar_bon [2011-02-28 19:10:01] 833*2^795860-1 is not prime. Res64: BFB453CC69615759 Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:01] 861*2^795865-1 is not prime. Res64: FB8B0577DA1D3DAE Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:01] 891*2^795831-1 is not prime. Res64: B2BAD689351B8EE8 Time : 84394.0 sec. user=kar_bon [2011-02-28 19:10:02] 963*2^795860-1 is not prime. Res64: CC54CACAD7E88931 Time : 84387.0 sec. user=kar_bon [2011-02-28 19:10:02] 987*2^795865-1 is not prime. Res64: 3FBCF090DFF4F2AD Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:02] 989*2^795832-1 is not prime. Res64: C45E3CE516B95183 Time : 84395.0 sec. user=kar_bon [2011-02-28 19:10:02] 819*2^795861-1 is not prime. Res64: 05D8011C82B79536 Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:02] 867*2^795866-1 is not prime. Res64: 2622248C9EEA5935 Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:02] 891*2^795834-1 is not prime. Res64: 7AE056DC64E5A25D Time : 84395.0 sec. user=kar_bon [2011-02-28 19:10:02] 945*2^795861-1 is not prime. Res64: B619AA71ED6867C7 Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:02] 893*2^795866-1 is not prime. Res64: AEEF8CC0A04D815D Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:02] 827*2^795836-1 is not prime. Res64: 48242537A5FD5444 Time : 84394.0 sec. user=kar_bon [2011-02-28 19:10:02] 943*2^795863-1 is not prime. Res64: EC0DAD0666FC2A76 Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:02] 801*2^795867-1 is not prime. Res64: D9A333962293A118 Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:02] 889*2^795837-1 is not prime. Res64: 4A5EB42A79A9CDE5 Time : 84394.0 sec. user=kar_bon [2011-02-28 19:10:02] 831*2^795865-1 is not prime. Res64: 1E37E18C886AC555 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:03] 909*2^795868-1 is not prime. Res64: 3ECB384CEE2E28C5 Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:03] 995*2^795838-1 is not prime. Res64: B1EA857A9060C00B Time : 84395.0 sec. user=kar_bon [2011-02-28 19:10:03] 915*2^795865-1 is not prime. Res64: 4737F44E62AD5A23 Time : 84386.0 sec. user=kar_bon [2011-02-28 19:10:03] 831*2^795869-1 is not prime. Res64: CC2141B9F5A2924E Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:03] 959*2^795840-1 is not prime. Res64: 2E744B0ACC4AE445 Time : 84394.0 sec. user=kar_bon [2011-02-28 19:10:03] 815*2^795866-1 is not prime. Res64: BD36CC7704E3A2D6 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:03] 867*2^795869-1 is not prime. Res64: 091766438597519B Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:03] 875*2^795842-1 is not prime. Res64: 1A68F8B39B39C7BD Time : 84394.0 sec. user=kar_bon [2011-02-28 19:10:03] 993*2^795866-1 is not prime. Res64: 9420AFED57272C42 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:03] 963*2^795842-1 is not prime. Res64: F5DFC11E4C277FDA Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:03] 895*2^795867-1 is not prime. Res64: BB4E2B687C2A20A0 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:03] 939*2^795844-1 is not prime. Res64: 22B6F39A746E52D5 Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:04] 987*2^795868-1 is not prime. Res64: 1CAC50C15F83265C Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:04] 833*2^795846-1 is not prime. Res64: 631216D0AD35E03A Time : 84394.0 sec. user=kar_bon [2011-02-28 19:10:04] 855*2^795869-1 is not prime. Res64: 1E08DBBB5729B526 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:04] 861*2^795849-1 is not prime. Res64: 9DA3CF6E2493C4DC Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:04] 861*2^795870-1 is not prime. Res64: DD9D67E8249FED66 Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:04] 845*2^795850-1 is not prime. Res64: 5FC675EE4776043C Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:04] 933*2^795870-1 is not prime. Res64: 42060528A70F4639 Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:04] 945*2^795850-1 is not prime. Res64: 8DFB41BC407C6A6D Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:05] 1001*2^795870-1 is not prime. Res64: D4048E2F26732D1B Time : 84385.0 sec. user=kar_bon [2011-02-28 19:10:05] 813*2^795851-1 is not prime. Res64: 2375EFBC693D8B32 Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:05] 859*2^795871-1 is not prime. Res64: 596074934AB31C4C Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:05] 867*2^795852-1 is not prime. Res64: 98928747840111A8 Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:05] 895*2^795871-1 is not prime. Res64: 68BC249CC98A298E Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:05] 959*2^795852-1 is not prime. Res64: 6622139A6FE76D5B Time : 84392.0 sec. user=kar_bon [2011-02-28 19:10:05] 925*2^795871-1 is not prime. Res64: 2C255E70DADD1C3A Time : 84384.0 sec. user=kar_bon [2011-02-28 19:10:05] 971*2^795854-1 is not prime. Res64: AA0521ED9F7E217A Time : 84392.0 sec. user=kar_bon [2011-02-28 19:10:06] 909*2^795855-1 is not prime. Res64: 6DD7D026E5EAE0C8 Time : 84393.0 sec. user=kar_bon [2011-02-28 19:10:06] 905*2^795856-1 is not prime. Res64: A0D323EB2F002850 Time : 84392.0 sec. user=kar_bon [2011-02-28 19:10:06] 945*2^795857-1 is not prime. Res64: B17A1589F224BEA8 Time : 84392.0 sec. user=kar_bon [2011-02-28 19:10:06] 933*2^795858-1 is not prime. Res64: 4DB6D9B91647DC78 Time : 84391.0 sec. user=kar_bon [2011-02-28 19:10:06] 873*2^795859-1 is not prime. Res64: 2A33D43E46451B6D Time : 84391.0 sec. user=kar_bon [2011-02-28 19:10:07] 923*2^795860-1 is not prime. Res64: E8A34988B1BCB387 Time : 84392.0 sec. user=kar_bon [2011-02-28 19:10:07] 817*2^795861-1 is not prime. Res64: 77E5DD3C6899DA9A Time : 84391.0 sec. user=kar_bon [2011-02-28 19:10:07] 907*2^795861-1 is not prime. Res64: 0D69380FE57D906B Time : 84391.0 sec. user=kar_bon [2011-02-28 19:10:07] 901*2^795863-1 is not prime. Res64: 404EA3C5EC50D1A3 Time : 84391.0 sec. user=kar_bon [2011-02-28 19:10:08] 801*2^795865-1 is not prime. Res64: 247CA0A0F0A62FF4 Time : 84391.0 sec. user=kar_bon [2011-02-28 19:10:08] 871*2^795865-1 is not prime. Res64: 1BBFC180137532AC Time : 84391.0 sec. user=kar_bon [2011-02-28 19:12:15] 975*2^795871-1 is not prime. Res64: 8BBA9D6E70469BF4 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:16] 815*2^795872-1 is not prime. Res64: 311A18495D568768 Time : 84490.0 sec. user=kar_bon [2011-02-28 19:12:16] 819*2^795872-1 is not prime. Res64: 311717A7B2707AEB Time : 84490.0 sec. user=kar_bon [2011-02-28 19:12:16] 893*2^795872-1 is not prime. Res64: F232CFF51ECF08C3 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:16] 811*2^795873-1 is not prime. Res64: 213EEADADC708079 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:17] 835*2^795873-1 is not prime. Res64: B53B920F78B689F0 Time : 84490.0 sec. user=kar_bon [2011-02-28 19:12:17] 889*2^795873-1 is not prime. Res64: FB37F73412402673 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:17] 915*2^795873-1 is not prime. Res64: 4325D3DF59EB0439 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:17] 919*2^795873-1 is not prime. Res64: 43F00AA3B0FDCAC1 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:18] 979*2^795873-1 is not prime. Res64: E28A20A2C3C77DEC Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:18] 991*2^795873-1 is not prime. Res64: 283B55FF24C9BECB Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:18] 827*2^795874-1 is not prime. Res64: 7457101C438631BB Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:18] 975*2^795876-1 is not prime. Res64: 99420E901D2F5F1A Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:18] 891*2^795874-1 is not prime. Res64: 0CC2BEB4101F961D Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:19] 895*2^795877-1 is not prime. Res64: FCFC43B3F484216B Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:19] 993*2^795874-1 is not prime. Res64: A9A92CD60EFCC798 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:19] 977*2^795878-1 is not prime. Res64: 0F643E8095D96522 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:19] 909*2^795875-1 is not prime. Res64: 7D77D81E731B71A7 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:19] 831*2^795879-1 is not prime. Res64: 9A790A1CDD2BF1A1 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:19] 963*2^795875-1 is not prime. Res64: 9E4E9B348A031C91 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:20] 975*2^795879-1 is not prime. Res64: A6EDFE361A1F9E0E Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:20] 825*2^795877-1 is not prime. Res64: 3D16143C7FA02AD0 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:20] 803*2^795880-1 is not prime. Res64: 5F59FB009B2B13AD Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:20] 845*2^795878-1 is not prime. Res64: BCA523EE4FF789E7 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:20] 875*2^795880-1 is not prime. Res64: 522D802BAAFFFBE6 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:20] 995*2^795878-1 is not prime. Res64: 1A45AC9D33C89BDF Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:20] 915*2^795880-1 is not prime. Res64: 9445A2007A7158F5 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:20] 895*2^795879-1 is not prime. Res64: 0935D3F540017277 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:21] 819*2^795881-1 is not prime. Res64: 1E8E4D8637064456 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:21] 991*2^795879-1 is not prime. Res64: 4CEAAB51E43B0788 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:21] 981*2^795881-1 is not prime. Res64: E96C54F76632B9EC Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:21] 863*2^795880-1 is not prime. Res64: 7E49C010C25C1F5E Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:21] 875*2^795882-1 is not prime. Res64: 40F07EF75AF7C2C5 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:21] 917*2^795882-1 is not prime. Res64: 1D7DB7539EE432E5 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:21] 899*2^795880-1 is not prime. Res64: 150CF06AC7DD71F2 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:22] 805*2^795883-1 is not prime. Res64: 4007EE65A1E62027 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:23] 825*2^795884-1 is not prime. Res64: 83CA01451411D178 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:23] 989*2^795880-1 is not prime. Res64: 67A9E5966584606B Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:23] 959*2^795884-1 is not prime. Res64: 298DFAB340E3C223 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:23] 985*2^795885-1 is not prime. Res64: 007AA6AF342A31DD Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:23] 865*2^795881-1 is not prime. Res64: 1C45473E7D823188 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:23] 815*2^795886-1 is not prime. Res64: 155D207330E742D8 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:23] 911*2^795886-1 is not prime. Res64: BE5B397E806A747A Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:23] 893*2^795882-1 is not prime. Res64: 1C1CF2B52518B4E8 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:23] 945*2^795886-1 is not prime. Res64: E26EE4F7DE6ADEBE Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:24] 829*2^795887-1 is not prime. Res64: E3E7DD8E3A21E44E Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:24] 915*2^795883-1 is not prime. Res64: 5C0C4FA2B21BBE69 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:24] 883*2^795887-1 is not prime. Res64: FA0A10529B9DE4E7 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:24] 889*2^795887-1 is not prime. Res64: FF4F6211282685CE Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:24] 937*2^795885-1 is not prime. Res64: 277067AB34A97A03 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:24] 909*2^795887-1 is not prime. Res64: D77A480D72B0D4AB Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:24] 975*2^795888-1 is not prime. Res64: F7344100070CF885 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:24] 873*2^795886-1 is not prime. Res64: 447D803FEAA01A4E Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:24] 811*2^795889-1 is not prime. Res64: F27A3FB250E3674C Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:24] 867*2^795889-1 is not prime. Res64: 32D381597AA3362A Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:24] 825*2^795887-1 is not prime. Res64: EECDF45C08FECF0C Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:24] 939*2^795889-1 is not prime. Res64: D3EF71F7F93D8ED2 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:24] 885*2^795891-1 is not prime. Res64: 442C88AF4BBD30EE Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:25] 885*2^795887-1 is not prime. Res64: 5A20565D62BA27C9 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:25] 833*2^795892-1 is not prime. Res64: 40BD9AD7FEDDBA6C Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:25] 873*2^795892-1 is not prime. Res64: 301BD4BD3AC72BAC Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:25] 955*2^795887-1 is not prime. Res64: 30668E04DAAE6B90 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:25] 903*2^795892-1 is not prime. Res64: 1AAF6072E0912841 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:25] 885*2^795893-1 is not prime. Res64: 8CC8F650DC34CE8C Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:25] 831*2^795889-1 is not prime. Res64: FB05D9584E2AF09E Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:25] 927*2^795893-1 is not prime. Res64: F39C3E76C7FB96F6 Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:25] 993*2^795894-1 is not prime. Res64: C8C2FEF367FF675A Time : 84486.0 sec. user=kar_bon [2011-02-28 19:12:25] 847*2^795917-1 is not prime. Res64: BBC11B6974AF2ED2 Time : 84477.0 sec. user=kar_bon [2011-02-28 19:12:25] 985*2^795889-1 is not prime. Res64: E0E41A4499E1AD43 Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:25] 843*2^795895-1 is not prime. Res64: 2079ECC2663F602B Time : 84485.0 sec. user=kar_bon [2011-02-28 19:12:25] 825*2^795896-1 is not prime. Res64: BA2C03FC137A9FCE Time : 84485.0 sec. user=kar_bon [2011-02-28 19:12:27] 893*2^795918-1 is not prime. Res64: 94D389F82C245360 Time : 84478.0 sec. user=kar_bon [2011-02-28 19:12:28] 863*2^795892-1 is not prime. Res64: 93A4494684C2FE49 Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:28] 855*2^795896-1 is not prime. Res64: 54BC0FDEF9E44CA4 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:28] 869*2^795896-1 is not prime. Res64: E6018F8AA91EDF54 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:29] 813*2^795920-1 is not prime. Res64: 0D04480C2EE06263 Time : 84480.0 sec. user=kar_bon [2011-02-28 19:12:30] 909*2^795892-1 is not prime. Res64: B711FB8E9B0733D3 Time : 84491.0 sec. user=kar_bon [2011-02-28 19:12:30] 917*2^795896-1 is not prime. Res64: AB8D458D3DDCC2FE Time : 84490.0 sec. user=kar_bon [2011-02-28 19:12:30] 945*2^795896-1 is not prime. Res64: 13179D00B8D0E99B Time : 84489.0 sec. user=kar_bon [2011-02-28 19:12:30] 871*2^795921-1 is not prime. Res64: BA825D777142A271 Time : 84480.0 sec. user=kar_bon [2011-02-28 19:12:31] 947*2^795894-1 is not prime. Res64: 50FF64B6225B75BB Time : 84492.0 sec. user=kar_bon [2011-02-28 19:12:31] 901*2^795897-1 is not prime. Res64: 59F23511F95B0AB5 Time : 84490.0 sec. user=kar_bon [2011-02-28 19:12:32] 831*2^795898-1 is not prime. Res64: 1FBA9578C14ACB7D Time : 84491.0 sec. user=kar_bon [2011-02-28 19:12:32] 815*2^795922-1 is not prime. Res64: 43F3D2DE7A96FD31 Time : 84482.0 sec. user=kar_bon [2011-02-28 19:12:33] 913*2^795895-1 is not prime. Res64: 7EA6A98CFDD36725 Time : 84493.0 sec. user=kar_bon [2011-02-28 19:12:34] 915*2^795898-1 is not prime. Res64: 72BF3416485524F1 Time : 84493.0 sec. user=kar_bon [2011-02-28 19:12:34] 921*2^795899-1 is not prime. Res64: 1013C3525EC87A76 Time : 84493.0 sec. user=kar_bon [2011-02-28 19:12:34] 861*2^795923-1 is not prime. Res64: 211DCD5BDBB75EDA Time : 84484.0 sec. user=kar_bon [2011-02-28 19:12:35] 867*2^795896-1 is not prime. Res64: 68C23C7AA0CBAE33 Time : 84495.0 sec. user=kar_bon [2011-02-28 19:12:36] 955*2^795899-1 is not prime. Res64: 5436CFD597A58EF4 Time : 84494.0 sec. user=kar_bon [2011-02-28 19:12:36] 861*2^795901-1 is not prime. Res64: F6D05D8F1F7DA4DC Time : 84494.0 sec. user=kar_bon [2011-02-28 19:12:36] 929*2^795924-1 is not prime. Res64: C2E388E470AE55C6 Time : 84485.0 sec. user=kar_bon [2011-02-28 19:12:37] 935*2^795896-1 is not prime. Res64: 2DE76519080BB491 Time : 84497.0 sec. user=kar_bon [2011-02-28 19:12:37] 945*2^795901-1 is not prime. Res64: 74C9F2E4CDDA576A Time : 84495.0 sec. user=kar_bon [2011-02-28 19:12:38] 887*2^795902-1 is not prime. Res64: 333E38C183436DD9 Time : 84496.0 sec. user=kar_bon [2011-02-28 19:12:38] 951*2^795925-1 is not prime. Res64: 1ACF42460C5A808F Time : 84487.0 sec. user=kar_bon [2011-02-28 19:12:38] 991*2^795897-1 is not prime. Res64: 57D5DAAAF975F22E Time : 84497.0 sec. user=kar_bon [2011-02-28 19:12:39] 913*2^795903-1 is not prime. Res64: 0443CA59176E2A9E Time : 84497.0 sec. user=kar_bon [2011-02-28 19:12:39] 875*2^795904-1 is not prime. Res64: 264EFF1925A5A91E Time : 84497.0 sec. user=kar_bon [2011-02-28 19:12:40] 843*2^795926-1 is not prime. Res64: 8C0DC899BACAC743 Time : 84488.0 sec. user=kar_bon [2011-02-28 19:12:40] 855*2^795899-1 is not prime. Res64: 871611CBC23F4535 Time : 84499.0 sec. user=kar_bon [2011-02-28 19:12:41] 903*2^795904-1 is not prime. Res64: F0C829155EB6F296 Time : 84498.0 sec. user=kar_bon [2011-02-28 19:12:41] 939*2^795904-1 is not prime. Res64: 6B70B807FA2AAF08 Time : 84498.0 sec. user=kar_bon [2011-02-28 19:12:42] 879*2^795927-1 is not prime. Res64: FC553E81C6D54F3B Time : 84490.0 sec. user=kar_bon [2011-02-28 19:12:43] 887*2^795900-1 is not prime. Res64: 28C1D95F3428F886 Time : 84501.0 sec. user=kar_bon [2011-02-28 19:12:43] 837*2^795905-1 is not prime. Res64: B5916B76FE105105 Time : 84500.0 sec. user=kar_bon [2011-02-28 19:12:43] 885*2^795905-1 is not prime. Res64: 3726D28855EA8EE1 Time : 84500.0 sec. user=kar_bon [2011-02-28 19:12:44] 985*2^795927-1 is not prime. Res64: D4E458159AAAF951 Time : 84492.0 sec. user=kar_bon [2011-02-28 19:12:44] 801*2^795902-1 is not prime. Res64: 4F382944D8FD3CC8 Time : 84502.0 sec. user=kar_bon [2011-02-28 19:12:45] 915*2^795905-1 is not prime. Res64: 86206BCF644C348E Time : 84502.0 sec. user=kar_bon [2011-02-28 19:12:46] 807*2^795906-1 is not prime. Res64: 4A03ADCFE6E3E1BB Time : 84502.0 sec. user=kar_bon [2011-02-28 19:12:46] 993*2^795928-1 is not prime. Res64: DE9100868B40C52A Time : 84493.0 sec. user=kar_bon [2011-02-28 19:12:46] 933*2^795903-1 is not prime. Res64: C4D7E61A6C11F26B Time : 84504.0 sec. user=kar_bon [2011-02-28 19:12:46] 833*2^795906-1 is not prime. Res64: 3B944C97E9CDF0B4 Time : 84502.0 sec. user=kar_bon [2011-02-28 19:12:47] 923*2^795906-1 is not prime. Res64: C1EFA58C67FC9A27 Time : 84503.0 sec. user=kar_bon [2011-02-28 19:12:48] 939*2^795929-1 is not prime. Res64: 4419AC8451DCD83A Time : 84495.0 sec. user=kar_bon [2011-02-28 19:12:48] 917*2^795904-1 is not prime. Res64: 0F22032F9B12BBCF Time : 84505.0 sec. user=kar_bon [2011-02-28 19:12:48] 813*2^795907-1 is not prime. Res64: B7A30D19CFC9A92C Time : 84504.0 sec. user=kar_bon [2011-02-28 19:12:49] 873*2^795907-1 is not prime. Res64: 7258F5C05AE5F09C Time : 84505.0 sec. user=kar_bon [2011-02-28 19:12:50] 859*2^795931-1 is not prime. Res64: F7BAB60A962A0F79 Time : 84497.0 sec. user=kar_bon [2011-02-28 19:12:50] 841*2^795905-1 is not prime. Res64: 7794AC3D7A6A1982 Time : 84507.0 sec. user=kar_bon [2011-02-28 19:12:50] 931*2^795907-1 is not prime. Res64: 736F473915DB4B7A Time : 84505.0 sec. user=kar_bon [2011-02-28 19:12:51] 985*2^795907-1 is not prime. Res64: B0B6D43275BEE85F Time : 84506.0 sec. user=kar_bon [2011-02-28 19:12:51] 975*2^795931-1 is not prime. Res64: 7B1213A7A88C0E4D Time : 84497.0 sec. user=kar_bon [2011-02-28 19:12:52] 803*2^795906-1 is not prime. Res64: E51556EF4C9DAFA9 Time : 84508.0 sec. user=kar_bon [2011-02-28 19:12:53] 929*2^795908-1 is not prime. Res64: 75CF05BF1D9762E7 Time : 84508.0 sec. user=kar_bon [2011-02-28 19:12:53] 835*2^795909-1 is not prime. Res64: 405FB8B2D4DDA2DD Time : 84508.0 sec. user=kar_bon [2011-02-28 19:12:53] 855*2^795932-1 is not prime. Res64: 05930B918D5628B4 Time : 84499.0 sec. user=kar_bon [2011-02-28 19:12:54] 903*2^795906-1 is not prime. Res64: 027FE95ADEF70647 Time : 84510.0 sec. user=kar_bon [2011-02-28 19:12:54] 949*2^795909-1 is not prime. Res64: A2449D24602F02C2 Time : 84509.0 sec. user=kar_bon [2011-02-28 19:12:55] 927*2^795909-1 is not prime. Res64: 790E2D7ACE21D95F Time : 84510.0 sec. user=kar_bon [2011-02-28 19:12:55] 861*2^795933-1 is not prime. Res64: D0738EDC5394DEF0 Time : 84500.0 sec. user=kar_bon [2011-02-28 19:12:55] 925*2^795907-1 is not prime. Res64: 32C5E0E0EA367C90 Time : 84511.0 sec. user=kar_bon [2011-02-28 19:12:56] 933*2^795910-1 is not prime. Res64: FFE994C148A0C9FA Time : 84510.0 sec. user=kar_bon [2011-02-28 19:12:57] 917*2^795910-1 is not prime. Res64: 2E3EC8C4A551C997 Time : 84511.0 sec. user=kar_bon [2011-02-28 19:12:57] 833*2^795934-1 is not prime. Res64: E0727401EADE6D33 Time : 84502.0 sec. user=kar_bon [2011-02-28 19:12:57] 813*2^795908-1 is not prime. Res64: 641C6FDD260E0AD2 Time : 84512.0 sec. user=kar_bon [2011-02-28 19:12:58] 813*2^795911-1 is not prime. Res64: DAF4004A8C98EE9B Time : 84512.0 sec. user=kar_bon [2011-02-28 19:12:58] 811*2^795911-1 is not prime. Res64: 4BEA45B0CA653058 Time : 84512.0 sec. user=kar_bon [2011-02-28 19:12:59] 915*2^795934-1 is not prime. Res64: F4B6A6FED287CF2A Time : 84504.0 sec. user=kar_bon [2011-02-28 19:12:59] 907*2^795909-1 is not prime. Res64: B4B746F1C6989651 Time : 84514.0 sec. user=kar_bon [2011-02-28 19:13:00] 895*2^795911-1 is not prime. Res64: 2D147860CF9974FA Time : 84513.0 sec. user=kar_bon [2011-02-28 19:13:01] 865*2^795911-1 is not prime. Res64: F06CCC90A9836838 Time : 84515.0 sec. user=kar_bon [2011-02-28 19:13:01] 923*2^795934-1 is not prime. Res64: F84F2B367C46BE6E Time : 84505.0 sec. user=kar_bon [2011-02-28 19:13:01] 969*2^795909-1 is not prime. Res64: 181156C1BB1652A8 Time : 84516.0 sec. user=kar_bon [2011-02-28 19:13:02] 873*2^795912-1 is not prime. Res64: 8B056DD0D9BE46F8 Time : 84515.0 sec. user=kar_bon [2011-02-28 19:13:02] 993*2^795911-1 is not prime. Res64: 6C646B0EBA3B8B4C Time : 84515.0 sec. user=kar_bon [2011-02-28 19:13:03] 841*2^795935-1 is not prime. Res64: 9A787515917AA011 Time : 84507.0 sec. user=kar_bon [2011-02-28 19:13:03] 945*2^795910-1 is not prime. Res64: C23058EBCCD94982 Time : 84517.0 sec. user=kar_bon [2011-02-28 19:13:03] 917*2^795914-1 is not prime. Res64: 836C9819DC241CE9 Time : 84516.0 sec. user=kar_bon [2011-02-28 19:13:04] 837*2^795914-1 is not prime. Res64: 6A44971996D0E12B Time : 84517.0 sec. user=kar_bon [2011-02-28 19:13:05] 973*2^795935-1 is not prime. Res64: 50898D886BA97C59 Time : 84508.0 sec. user=kar_bon [2011-02-28 19:13:05] 855*2^795911-1 is not prime. Res64: 288A759CAC0BE23B Time : 84519.0 sec. user=kar_bon [2011-02-28 19:13:06] 999*2^795915-1 is not prime. Res64: 30B2ABB8579E8F8F Time : 84518.0 sec. user=kar_bon [2011-02-28 19:13:06] 1001*2^795914-1 is not prime. Res64: D78C8FA1FCE44986 Time : 84518.0 sec. user=kar_bon [2011-02-28 19:13:06] 875*2^795936-1 is not prime. Res64: 990534D80137E6F5 Time : 84509.0 sec. user=kar_bon [2011-02-28 19:13:07] 945*2^795911-1 is not prime. Res64: A97DC5CFEFCB6212 Time : 84520.0 sec. user=kar_bon [2011-02-28 19:13:08] 897*2^795916-1 is not prime. Res64: BC4E960104B971E7 Time : 84520.0 sec. user=kar_bon [2011-02-28 19:13:08] 843*2^795916-1 is not prime. Res64: 05141C124043F08F Time : 84520.0 sec. user=kar_bon [2011-02-28 19:13:09] 889*2^795937-1 is not prime. Res64: 0262481300788F5D Time : 84512.0 sec. user=kar_bon [2011-02-28 19:13:09] 999*2^795913-1 is not prime. Res64: 0F9F0EB39D879124 Time : 84522.0 sec. user=kar_bon [2011-02-28 19:13:09] 975*2^795916-1 is not prime. Res64: CEE03A70FD4C73DF Time : 84521.0 sec. user=kar_bon [2011-02-28 19:13:10] 965*2^795916-1 is not prime. Res64: F8625584A44E75D8 Time : 84522.0 sec. user=kar_bon [2011-02-28 19:13:10] 911*2^795938-1 is not prime. Res64: BF7E10CA39C1ED57 Time : 84515.0 sec. user=kar_bon [2011-02-28 19:13:13] 953*2^795914-1 is not prime. Res64: 76085CFC5DC61637 Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:14] 891*2^795918-1 is not prime. Res64: 28FFC3C0E153301D Time : 84525.0 sec. user=kar_bon [2011-02-28 19:13:14] 815*2^795918-1 is not prime. Res64: BD60B1E13B300B42 Time : 84525.0 sec. user=kar_bon [2011-02-28 19:13:15] 927*2^795938-1 is not prime. Res64: 91BE0BA1D45F59EF Time : 84517.0 sec. user=kar_bon [2011-02-28 19:13:15] 803*2^795916-1 is not prime. Res64: 667B9C623C92B7DD Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:16] 961*2^795919-1 is not prime. Res64: 0A0D1D38B29543D7 Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:16] 975*2^795919-1 is not prime. Res64: 24E1F64752682771 Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:16] 825*2^795940-1 is not prime. Res64: 2B6778359C8D7CB4 Time : 84518.0 sec. user=kar_bon [2011-02-28 19:13:17] 923*2^795916-1 is not prime. Res64: 3CCB3AF63D1B5330 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:18] 857*2^795920-1 is not prime. Res64: DC45A0BF326B8192 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:18] 927*2^795920-1 is not prime. Res64: 892ABF413CF727DF Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:18] 933*2^795940-1 is not prime. Res64: 22E2D7C5DA489A33 Time : 84519.0 sec. user=kar_bon [2011-02-28 19:13:19] 967*2^795917-1 is not prime. Res64: C320EFCDEC356ADD Time : 84530.0 sec. user=kar_bon [2011-02-28 19:13:19] 937*2^795921-1 is not prime. Res64: 86926808C2040483 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:20] 991*2^795921-1 is not prime. Res64: A0BA1199DEB760C9 Time : 84530.0 sec. user=kar_bon [2011-02-28 19:13:21] 989*2^795940-1 is not prime. Res64: 6133C6B651A902BB Time : 84522.0 sec. user=kar_bon [2011-02-28 19:13:21] 891*2^795919-1 is not prime. Res64: 2D208EFA9511882A Time : 84532.0 sec. user=kar_bon [2011-02-28 19:13:21] 891*2^795922-1 is not prime. Res64: 1D86424C7249DD3F Time : 84531.0 sec. user=kar_bon [2011-02-28 19:13:22] 987*2^795922-1 is not prime. Res64: 9BA5D0C32D3F2181 Time : 84532.0 sec. user=kar_bon [2011-02-28 19:13:22] 855*2^795941-1 is not prime. Res64: 059783A224AA2F08 Time : 84522.0 sec. user=kar_bon [2011-02-28 19:13:23] 827*2^795920-1 is not prime. Res64: 0EA3D32BFA1FAF7D Time : 84534.0 sec. user=vaughan [2011-02-28 19:13:23] 861*2^796173-1 is not prime. Res64: C3D469C78F59E9E6 Time : 1280.0 sec. user=kar_bon [2011-02-28 19:13:23] 985*2^795923-1 is not prime. Res64: 5229194F6C7201F7 Time : 84532.0 sec. user=kar_bon [2011-02-28 19:13:24] 909*2^795924-1 is not prime. Res64: 4010C3B4D08F9E8A Time : 84533.0 sec. user=kar_bon [2011-02-28 19:13:24] 931*2^795941-1 is not prime. Res64: BA7EBEE435E19B05 Time : 84524.0 sec. user=kar_bon [2011-02-28 19:13:24] 907*2^795921-1 is not prime. Res64: C7DB9A513D4D886F Time : 84534.0 sec. user=kar_bon [2011-02-28 19:13:25] 861*2^795925-1 is not prime. Res64: 5C43EFF517DE557F Time : 84534.0 sec. user=kar_bon [2011-02-28 19:13:25] 895*2^795925-1 is not prime. Res64: 34D73A998619B123 Time : 84534.0 sec. user=kar_bon [2011-02-28 19:13:26] 815*2^795942-1 is not prime. Res64: AE49536D7E98A7C2 Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:26] 827*2^795922-1 is not prime. Res64: C72E46F180E3AC18 Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:27] 961*2^795925-1 is not prime. Res64: C0FC907BF833986D Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:27] 999*2^795925-1 is not prime. Res64: 29F6B45FE1CB0E91 Time : 84535.0 sec. user=kar_bon [2011-02-28 19:13:28] 917*2^795942-1 is not prime. Res64: D04955F72E427DDB Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:29] 963*2^795923-1 is not prime. Res64: 94E1EBE8393153F7 Time : 84539.0 sec. user=kar_bon [2011-02-28 19:13:29] 861*2^795927-1 is not prime. Res64: C37D50E15A1664B7 Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:29] 871*2^795927-1 is not prime. Res64: 1389EDD86F061101 Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:30] 921*2^795942-1 is not prime. Res64: 3554AB84182A7187 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:30] 955*2^795927-1 is not prime. Res64: 7C3631ADCEEEFFCF Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:31] 963*2^795927-1 is not prime. Res64: 3D65AD77167BD89B Time : 84539.0 sec. user=kar_bon [2011-02-28 19:13:31] 975*2^795942-1 is not prime. Res64: BFE2EBBFFD73BECD Time : 84530.0 sec. user=kar_bon [2011-02-28 19:13:31] 849*2^795928-1 is not prime. Res64: A04F60209E8465AF Time : 84539.0 sec. user=kar_bon [2011-02-28 19:13:31] 875*2^795928-1 is not prime. Res64: 5B76B9B08A47D6AE Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:31] 861*2^795943-1 is not prime. Res64: 26022287FD5ABC8E Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:31] 995*2^795928-1 is not prime. Res64: C46D56F7CABF6494 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:31] 865*2^795929-1 is not prime. Res64: F96EC7AAE86D827D Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:32] 969*2^795943-1 is not prime. Res64: 1DD995A8DC4E7546 Time : 84530.0 sec. user=kar_bon [2011-02-28 19:13:32] 945*2^795929-1 is not prime. Res64: D0137318FD0A22EB Time : 84539.0 sec. user=kar_bon [2011-02-28 19:13:32] 875*2^795930-1 is not prime. Res64: 294567C2757B566A Time : 84539.0 sec. user=kar_bon [2011-02-28 19:13:32] 973*2^795943-1 is not prime. Res64: 5C7B24BB245B5FA4 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:32] 913*2^795931-1 is not prime. Res64: F6354BDB5B34B176 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:32] 925*2^795931-1 is not prime. Res64: D10741364605DF53 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:32] 999*2^795943-1 is not prime. Res64: 625E728C94B82F22 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:32] 819*2^795932-1 is not prime. Res64: 7A87BFDBBF9787F1 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:32] 825*2^795932-1 is not prime. Res64: 9E9CEC5CFEF8D1A4 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:32] 813*2^795944-1 is not prime. Res64: 1BEC4971D54BDBA1 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:32] 885*2^795932-1 is not prime. Res64: 46E0CFACDF914B22 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:32] 847*2^795933-1 is not prime. Res64: D399C5000F6B20FD Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:32] 983*2^795944-1 is not prime. Res64: B5404B50962771D6 Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:32] 951*2^795933-1 is not prime. Res64: F251FCFD0AC7578B Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:33] 831*2^795934-1 is not prime. Res64: 24BBB46BF8E13B8A Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:33] 995*2^795944-1 is not prime. Res64: 56C48DF2665773F8 Time : 84529.0 sec. user=kar_bon [2011-02-28 19:13:33] 881*2^795934-1 is not prime. Res64: 464D1CA41A6B2AFF Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:33] 887*2^795934-1 is not prime. Res64: 09D6A34E02868962 Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:33] 861*2^795945-1 is not prime. Res64: C6A4431265906E00 Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:33] 917*2^795934-1 is not prime. Res64: 3B098E0E8934B30C Time : 84538.0 sec. user=kar_bon [2011-02-28 19:13:33] 981*2^795934-1 is not prime. Res64: A42CEFCAA9C639FA Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:33] 873*2^795946-1 is not prime. Res64: 686CACADDA463418 Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:33] 1001*2^795934-1 is not prime. Res64: 3CEF10A54D6129ED Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:33] 969*2^795935-1 is not prime. Res64: 28739CFA51123495 Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:33] 887*2^795946-1 is not prime. Res64: BF6847AE3F1C39CE Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:33] 815*2^795936-1 is not prime. Res64: C6AA0E0E6C87BF2F Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:34] 933*2^795946-1 is not prime. Res64: E37D81932E3F3EE6 Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:34] 905*2^795936-1 is not prime. Res64: 336A168AFB12F85A Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:34] 825*2^795947-1 is not prime. Res64: EB0B0CD9798524F4 Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:34] 893*2^795938-1 is not prime. Res64: E15937471B0D92C9 Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:34] 843*2^795947-1 is not prime. Res64: D41034AA60253885 Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:34] 923*2^795938-1 is not prime. Res64: C249F343E06E0B2B Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:34] 859*2^795947-1 is not prime. Res64: 41F0CA0A3DCFEDF9 Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:34] 801*2^795939-1 is not prime. Res64: D76A5C87D3E5780D Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:35] 861*2^795947-1 is not prime. Res64: C4768E247C5E008A Time : 84528.0 sec. user=kar_bon [2011-02-28 19:13:35] 855*2^795940-1 is not prime. Res64: 4D70511D0D7B2406 Time : 84537.0 sec. user=kar_bon [2011-02-28 19:13:35] 883*2^795947-1 is not prime. Res64: DE122B012A0863CF Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:35] 975*2^795940-1 is not prime. Res64: B366295A118AAA29 Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:35] 909*2^795947-1 is not prime. Res64: 92D9EDC2EFB622DD Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:35] 811*2^795941-1 is not prime. Res64: A586BD5CD400D521 Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:35] 931*2^795947-1 is not prime. Res64: 551CE7557A2EAB98 Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:35] 925*2^795941-1 is not prime. Res64: C99875D6AA67A155 Time : 84535.0 sec. user=kar_bon [2011-02-28 19:13:35] 973*2^795947-1 is not prime. Res64: 6E147A9AA5B74BE9 Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:36] 949*2^795941-1 is not prime. Res64: 273757B7FBCE7E7F Time : 84536.0 sec. user=kar_bon [2011-02-28 19:13:36] 999*2^795947-1 is not prime. Res64: 55A62E0D588079B6 Time : 84527.0 sec. user=kar_bon [2011-02-28 19:13:36] 959*2^795948-1 is not prime. Res64: BBD9942E8304E15A Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:36] 819*2^795949-1 is not prime. Res64: 11DCA9EA12EBE4F3 Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:36] 825*2^795949-1 is not prime. Res64: AC1B015DE56B6E38 Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:37] 855*2^795949-1 is not prime. Res64: 80BF9D696DB768B7 Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:37] 985*2^795949-1 is not prime. Res64: 60C56008578AF3E6 Time : 84526.0 sec. user=vaughan [2011-02-28 19:13:37] 831*2^796174-1 is not prime. Res64: 3750C942F32EBBF8 Time : 1280.0 sec. user=kar_bon [2011-02-28 19:13:37] 999*2^795949-1 is not prime. Res64: 4F580EC4F8FBAF5A Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:37] 813*2^795950-1 is not prime. Res64: DD5850EE2C9C4F43 Time : 84525.0 sec. user=kar_bon [2011-02-28 19:13:38] 831*2^795950-1 is not prime. Res64: A18A4CF51A3D5F90 Time : 84526.0 sec. user=kar_bon [2011-02-28 19:13:38] 857*2^795950-1 is not prime. Res64: FBBB2AEEE32C8704 Time : 84525.0 sec. user=kar_bon [2011-02-28 19:13:38] 861*2^795950-1 is not prime. Res64: 5406C5AF3599C8D5 Time : 84525.0 sec. user=kar_bon [2011-02-28 19:13:38] 885*2^795950-1 is not prime. Res64: 7B2C31CA65692286 Time : 84525.0 sec. user=kar_bon [2011-02-28 19:16:31] 941*2^795690-1 is not prime. Res64: 2FC53FC890D0704A Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:32] 977*2^795690-1 is not prime. Res64: 7DC22A546B719905 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:32] 841*2^795691-1 is not prime. Res64: 9B7B55D4B71CB303 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:32] 849*2^795691-1 is not prime. Res64: 6391E9ED3B1449E2 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:33] 861*2^795691-1 is not prime. Res64: 82784DE2CF976FAB Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:33] 901*2^795691-1 is not prime. Res64: D0946F8D173F0055 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:33] 909*2^795691-1 is not prime. Res64: 22986E0502879782 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:33] 939*2^795691-1 is not prime. Res64: 3D95C944E3F71B8E Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:33] 827*2^795692-1 is not prime. Res64: 3DD7FD6F48D4C562 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:34] 929*2^795692-1 is not prime. Res64: DB8DB0DF2222E6E7 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:34] 885*2^795693-1 is not prime. Res64: 4A178BF6C2B2323F Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:34] 917*2^795694-1 is not prime. Res64: 91C79E6360ABBA03 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:34] 867*2^795696-1 is not prime. Res64: 0EB2E765D793B921 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:35] 893*2^795696-1 is not prime. Res64: C25E2E6619580092 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:35] 973*2^795691-1 is not prime. Res64: 0257734D074C97C4 Time : 88678.0 sec. user=kar_bon [2011-02-28 19:16:35] 801*2^795697-1 is not prime. Res64: 71976E356A79A3E4 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:35] 893*2^795692-1 is not prime. Res64: BB6B8D943F5CA96E Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:35] 841*2^795697-1 is not prime. Res64: 6BDB5524BB52F0CE Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:36] 811*2^795693-1 is not prime. Res64: 0CF1A572615F8828 Time : 88678.0 sec. user=kar_bon [2011-02-28 19:16:36] 921*2^795698-1 is not prime. Res64: C8348260A842664D Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:36] 849*2^795693-1 is not prime. Res64: 14267259BB1436AD Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:36] 957*2^795700-1 is not prime. Res64: A6DCE04F2F003595 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:36] 863*2^795694-1 is not prime. Res64: 250CC54CB8E9A346 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:36] 871*2^795701-1 is not prime. Res64: 2767A5C29489D997 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:36] 945*2^795694-1 is not prime. Res64: EB2DE53D3CEECA90 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:36] 891*2^795702-1 is not prime. Res64: E547F40067DFEB5A Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:37] 873*2^795696-1 is not prime. Res64: 1265CAEE32101EB6 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:37] 859*2^795703-1 is not prime. Res64: A4D93FDB0F9062CD Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:37] 927*2^795696-1 is not prime. Res64: 42C3326E27875FCE Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:37] 927*2^795704-1 is not prime. Res64: 78E661A00186D71D Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:37] 819*2^795697-1 is not prime. Res64: 62D68E7EBA68B7CF Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:37] 825*2^795706-1 is not prime. Res64: 5CD31DFFA331AE89 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:37] 867*2^795698-1 is not prime. Res64: 0812A2C527163C4D Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:37] 1001*2^795706-1 is not prime. Res64: 58EF8EC0DD73D8A9 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:37] 825*2^795699-1 is not prime. Res64: D514FBB179B878B0 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:38] 927*2^795708-1 is not prime. Res64: 891FB22D4DD66138 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:38] 813*2^795698-1 is not prime. Res64: 615AE0BB52F17E4F Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:38] 801*2^795701-1 is not prime. Res64: 0E38D6BD48243CFF Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:38] 951*2^795709-1 is not prime. Res64: B06F4A9F3DD39D20 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:38] 927*2^795698-1 is not prime. Res64: 100DB4AA87839C55 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:38] 949*2^795701-1 is not prime. Res64: BCC44CB7FE98A3B5 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:38] 973*2^795711-1 is not prime. Res64: 6A2BCEE170E08854 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:38] 987*2^795700-1 is not prime. Res64: FBDC8200EEA5A007 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:38] 1001*2^795702-1 is not prime. Res64: 7F3BC328FCDD14B2 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:38] 999*2^795712-1 is not prime. Res64: 1862E0269F00CEED Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:38] 937*2^795701-1 is not prime. Res64: 3E1548D58F319244 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:38] 857*2^795704-1 is not prime. Res64: 596F1936C66A20C7 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:38] 837*2^795714-1 is not prime. Res64: D0F0910FB7B73821 Time : 88672.0 sec. user=kar_bon [2011-02-28 19:16:39] 917*2^795702-1 is not prime. Res64: 552AC048874E4D0B Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:39] 861*2^795705-1 is not prime. Res64: 449536184C43E7D9 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:39] 849*2^795715-1 is not prime. Res64: 05757ACCAE9F728A Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:39] 805*2^795703-1 is not prime. Res64: B0CD1E13E506BC93 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:39] 887*2^795706-1 is not prime. Res64: 29A64AED6F026087 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:39] 909*2^795716-1 is not prime. Res64: 45F381A4509B33B2 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:39] 915*2^795704-1 is not prime. Res64: DA8DF8BFB66B8219 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:39] 915*2^795707-1 is not prime. Res64: 9DE96B6F52C99AF4 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:39] 885*2^795717-1 is not prime. Res64: 80045663273A5799 Time : 88672.0 sec. user=kar_bon [2011-02-28 19:16:39] 895*2^795705-1 is not prime. Res64: 21807E9E7EE831A6 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:39] 801*2^795709-1 is not prime. Res64: 1635224938816920 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:39] 981*2^795718-1 is not prime. Res64: E68AA423FA2AFD9C Time : 88672.0 sec. user=kar_bon [2011-02-28 19:16:40] 905*2^795706-1 is not prime. Res64: F9E8E9AD4BA5EEC2 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:40] 955*2^795709-1 is not prime. Res64: D8F59936F19D7914 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:40] 863*2^795720-1 is not prime. Res64: 6DE032EF96EADBD0 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:40] 905*2^795708-1 is not prime. Res64: 4AC669F784692047 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:40] 825*2^795712-1 is not prime. Res64: 2FBC697812C53F76 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:40] 983*2^795740-1 is not prime. Res64: C53779C24C8E9DA4 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:40] 817*2^795709-1 is not prime. Res64: 48D228BE3455F3DB Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:40] 903*2^795712-1 is not prime. Res64: 9D323BF2F46B2E09 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:40] 889*2^795741-1 is not prime. Res64: 6D99900134C1527F Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:40] 897*2^795710-1 is not prime. Res64: FDC0CD7D3C5DE0C5 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:40] 807*2^795714-1 is not prime. Res64: 5AC7F8258BAA8089 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:40] 981*2^795742-1 is not prime. Res64: FDE899F2029035FD Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:41] 863*2^795712-1 is not prime. Res64: A1F16A46E0714FCE Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:41] 975*2^795714-1 is not prime. Res64: 6A925367FD8F7CE9 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:41] 867*2^795706-1 is not prime. Res64: D927258F0D3C0516 Time : 88678.0 sec. user=kar_bon [2011-02-28 19:16:41] 963*2^795743-1 is not prime. Res64: 9020F6BA8BC26201 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:41] 969*2^795713-1 is not prime. Res64: 14763D19B18FA7E5 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:41] 873*2^795716-1 is not prime. Res64: 915A34143EE7C381 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:41] 917*2^795706-1 is not prime. Res64: CD0886348B800066 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:41] 959*2^795744-1 is not prime. Res64: 46492957873529DC Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:41] 881*2^795714-1 is not prime. Res64: C05F10DA47422BE8 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:41] 805*2^795717-1 is not prime. Res64: 81F629986D5D0287 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:41] 915*2^795708-1 is not prime. Res64: 16D5B56931F00358 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:41] 831*2^795745-1 is not prime. Res64: 5E6A614405E93238 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:41] 979*2^795715-1 is not prime. Res64: 2E9577B008AECD4D Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:41] 863*2^795718-1 is not prime. Res64: 89971D5176D46F1D Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:41] 885*2^795709-1 is not prime. Res64: 4FEFCEC0B9A583BD Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:41] 987*2^795745-1 is not prime. Res64: DCF180CCEF33FDCD Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:41] 945*2^795716-1 is not prime. Res64: 1F06679FBB100B4D Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:42] 995*2^795718-1 is not prime. Res64: 238D12BC9893B197 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:42] 911*2^795710-1 is not prime. Res64: 24ACA045CBFD820D Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:42] 831*2^795746-1 is not prime. Res64: 25815B6545D4DDBF Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:42] 937*2^795717-1 is not prime. Res64: 5BA7E364DC642D5D Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:42] 807*2^795721-1 is not prime. Res64: 7BDD7509840CDFCC Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:42] 897*2^795712-1 is not prime. Res64: E02CD5589DE8A2AD Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:42] 801*2^795747-1 is not prime. Res64: 86CFAC8E9605B97B Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:42] 811*2^795719-1 is not prime. Res64: BABAE8D541B50E04 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:42] 871*2^795723-1 is not prime. Res64: CCF1A5BEB8379A5A Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:42] 803*2^795714-1 is not prime. Res64: 4526ECDA0788F996 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:42] 849*2^795747-1 is not prime. Res64: 18E35782D1620548 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:42] 955*2^795721-1 is not prime. Res64: B389602BA5E96587 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:42] 869*2^795724-1 is not prime. Res64: A8F944BF34BFF3DB Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:43] 893*2^795714-1 is not prime. Res64: D9BFD146A1C2AC3D Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:43] 833*2^795748-1 is not prime. Res64: 58A03542973D15F4 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:43] 803*2^795724-1 is not prime. Res64: 3576894F555A09EF Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:43] 825*2^795725-1 is not prime. Res64: BF0956668570BEB9 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:43] 813*2^795716-1 is not prime. Res64: 27EE6360656C68DF Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:43] 855*2^795748-1 is not prime. Res64: 6E660364FF08773F Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:43] 887*2^795724-1 is not prime. Res64: 95421649F2517C06 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:43] 859*2^795727-1 is not prime. Res64: 06567091C270378E Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:43] 831*2^795717-1 is not prime. Res64: 064F570231FD8F9B Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:43] 885*2^795748-1 is not prime. Res64: 211186734244CE62 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:43] 861*2^795725-1 is not prime. Res64: C0679C174388E1E0 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:43] 875*2^795728-1 is not prime. Res64: 98E2A04414482EC2 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:43] 881*2^795718-1 is not prime. Res64: F2F7F372FE59C37E Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:43] 811*2^795749-1 is not prime. Res64: 100F3C400723FD00 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:43] 815*2^795728-1 is not prime. Res64: D26B5252044FD8A8 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:43] 979*2^795729-1 is not prime. Res64: 744CDEFD734CABF8 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:44] 809*2^795720-1 is not prime. Res64: 069C165EEB459777 Time : 88677.0 sec. user=kar_bon [2011-02-28 19:16:44] 879*2^795749-1 is not prime. Res64: C770A5658A76226B Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:44] 975*2^795729-1 is not prime. Res64: F7183E940D61ABC1 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:44] 945*2^795730-1 is not prime. Res64: 27B14D07921BE1CF Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:44] 951*2^795722-1 is not prime. Res64: BB5E2CA51424A624 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:44] 955*2^795749-1 is not prime. Res64: 30E1035422F82DBF Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:44] 831*2^795730-1 is not prime. Res64: 38F5B09251778E78 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:44] 931*2^795731-1 is not prime. Res64: 1CC68D2E38ECA8BE Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:44] 857*2^795724-1 is not prime. Res64: 4199CEC706AC828D Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:44] 969*2^795749-1 is not prime. Res64: 9538DB2E75DEE998 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:44] 885*2^795731-1 is not prime. Res64: 9133F1FC0EA2DC51 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:44] 903*2^795732-1 is not prime. Res64: C0B1005FCD8F4221 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:44] 905*2^795724-1 is not prime. Res64: 033EEE0C4243BA86 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:45] 917*2^795750-1 is not prime. Res64: 9B39F0038151CDB0 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:45] 843*2^795732-1 is not prime. Res64: B6AA9050DCF204EF Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:45] 847*2^795733-1 is not prime. Res64: C0E1B79DF7047F14 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:45] 897*2^795725-1 is not prime. Res64: C0B5A1E1E14B4BF0 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:45] 943*2^795751-1 is not prime. Res64: F536FF18B01DE05E Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:45] 801*2^795733-1 is not prime. Res64: 65BED93A368B8C15 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:45] 891*2^795750-1 is not prime. Res64: 47E42BB7D3709B2B Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:45] 889*2^795727-1 is not prime. Res64: 195C8ACC062B00BC Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:45] 893*2^795752-1 is not prime. Res64: 433928A2F43D1911 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:45] 877*2^795733-1 is not prime. Res64: 942DBA04DEDB4D5D Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:45] 971*2^795750-1 is not prime. Res64: D5501DCCBE5D5AE7 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:45] 969*2^795729-1 is not prime. Res64: 0A89FE7D60168796 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:46] 915*2^795753-1 is not prime. Res64: 72D9EF10C44FCB45 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:46] 955*2^795733-1 is not prime. Res64: 5C7C5654FA4FD89A Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:46] 837*2^795752-1 is not prime. Res64: C1C8012BD0DB4DD9 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:46] 825*2^795730-1 is not prime. Res64: 2F02F326B1E47B16 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:46] 803*2^795754-1 is not prime. Res64: 2D9C3E5C0DF941A4 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:46] 829*2^795735-1 is not prime. Res64: BD827200EB92ED8C Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:46] 945*2^795752-1 is not prime. Res64: 1B99B4A91EDE0471 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:46] 855*2^795731-1 is not prime. Res64: 4264BA563DDB1F3E Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:46] 981*2^795754-1 is not prime. Res64: BBA772EABB7AE4F4 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:46] 885*2^795735-1 is not prime. Res64: 5DD5CB52E3FFA82C Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:47] 937*2^795753-1 is not prime. Res64: CB9AB35E46842798 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:47] 945*2^795731-1 is not prime. Res64: F21AFA751477798D Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:47] 843*2^795736-1 is not prime. Res64: 057D73132B442DD3 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:47] 857*2^795754-1 is not prime. Res64: 570791D9F7E07B1D Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:47] 909*2^795732-1 is not prime. Res64: 8006B6D415C58626 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:47] 837*2^795737-1 is not prime. Res64: 9A2FE830277A662E Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:47] 801*2^795755-1 is not prime. Res64: 3387C16DB4EC7739 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:47] 861*2^795733-1 is not prime. Res64: DCFC1DE7EA8FCE28 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:47] 843*2^795739-1 is not prime. Res64: 671E22647135B039 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:47] 839*2^795756-1 is not prime. Res64: 64939D942C8D5089 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:47] 939*2^795733-1 is not prime. Res64: B3AF5E7F572AF34E Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:47] 951*2^795739-1 is not prime. Res64: 40F47E74ECA192AC Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:48] 993*2^795756-1 is not prime. Res64: 0A2215ECE403C2E5 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:48] 825*2^795735-1 is not prime. Res64: 08BB086761C5FC10 Time : 88676.0 sec. user=kar_bon [2011-02-28 19:16:48] 855*2^795740-1 is not prime. Res64: 83B1EB5829374286 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:48] 915*2^795757-1 is not prime. Res64: 76F3476681EB17C2 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:48] 853*2^795735-1 is not prime. Res64: 890DBDA4C49269D4 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:48] 843*2^795751-1 is not prime. Res64: E87F8FECF72A5221 Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:48] 955*2^795757-1 is not prime. Res64: 2768961A6687137E Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:48] 951*2^795735-1 is not prime. Res64: F68C1B7B1E6904AE Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:48] 873*2^795752-1 is not prime. Res64: 2FBE9BBD1861CFB7 Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:48] 923*2^795758-1 is not prime. Res64: F4C2B4E939A61EB3 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:48] 989*2^795736-1 is not prime. Res64: 7D0BB2DE167CFA5C Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:48] 837*2^795753-1 is not prime. Res64: D46CBBA2FC15A622 Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:49] 969*2^795759-1 is not prime. Res64: 5125A3BC6ED86E48 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:49] 867*2^795737-1 is not prime. Res64: 0C424C731E101CDC Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:49] 985*2^795753-1 is not prime. Res64: 971A7696E788F699 Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:49] 801*2^795761-1 is not prime. Res64: 9692548719F32B91 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:49] 909*2^795739-1 is not prime. Res64: FCE6802D231048EF Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:49] 945*2^795754-1 is not prime. Res64: 72BD47D70597970A Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:49] 949*2^795761-1 is not prime. Res64: 3995FA857C8DCAD6 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:49] 813*2^795740-1 is not prime. Res64: 769BB66D953DD004 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:50] 843*2^795755-1 is not prime. Res64: 07C10545B14F9AC9 Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:50] 815*2^795762-1 is not prime. Res64: 43EB543CA933010D Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:50] 945*2^795740-1 is not prime. Res64: 0949C3D82C8E125E Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:50] 893*2^795756-1 is not prime. Res64: 7CFE1E49421B913F Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:50] 923*2^795762-1 is not prime. Res64: FB1CA6CD103835C1 Time : 88663.0 sec. user=kar_bon [2011-02-28 19:16:50] 837*2^795741-1 is not prime. Res64: 2AE9A470F2092E50 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:50] 885*2^795757-1 is not prime. Res64: D0386812D76FC95A Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:50] 969*2^795763-1 is not prime. Res64: ACA40A981A2CA6E9 Time : 88662.0 sec. user=kar_bon [2011-02-28 19:16:50] 911*2^795742-1 is not prime. Res64: 718BBBD69BBEF085 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:50] 939*2^795757-1 is not prime. Res64: CAF2330245D65591 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:50] 861*2^795743-1 is not prime. Res64: 6CD85558B5029ED1 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:50] 825*2^795758-1 is not prime. Res64: 88AD4AF1460B0A46 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:51] 909*2^795744-1 is not prime. Res64: DA0E3FCF66A3BBF9 Time : 88675.0 sec. user=kar_bon [2011-02-28 19:16:51] 865*2^795759-1 is not prime. Res64: 62F60C02B17F2456 Time : 88666.0 sec. user=kar_bon [2011-02-28 19:16:51] 801*2^795745-1 is not prime. Res64: FC8DF2FBC5764462 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:51] 843*2^795760-1 is not prime. Res64: 4EADB46EFBA81A5C Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:51] 919*2^795745-1 is not prime. Res64: 834EC28C50AFA24C Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:51] 901*2^795761-1 is not prime. Res64: C2CA536B6162AB0A Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:51] 813*2^795746-1 is not prime. Res64: B222FECE58F920D0 Time : 88673.0 sec. user=kar_bon [2011-02-28 19:16:51] 967*2^795761-1 is not prime. Res64: 5FF59E5D1EC72F86 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:52] 987*2^795746-1 is not prime. Res64: F19DEB91C9954E77 Time : 88674.0 sec. user=kar_bon [2011-02-28 19:16:52] 825*2^795762-1 is not prime. Res64: 78F8CC07D895B1C8 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:52] 879*2^795752-1 is not prime. Res64: 696B755502EEE378 Time : 88670.0 sec. user=kar_bon [2011-02-28 19:16:52] 945*2^795763-1 is not prime. Res64: 3BB6522C07E8BADF Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:52] 901*2^795753-1 is not prime. Res64: 11CFCEEC758C3A17 Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:52] 945*2^795764-1 is not prime. Res64: C45E2641DC1B14F3 Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:52] 999*2^795753-1 is not prime. Res64: 943D75D7469BADE5 Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:53] 885*2^795765-1 is not prime. Res64: C97D4DBEF8FE9847 Time : 88665.0 sec. user=kar_bon [2011-02-28 19:16:53] 947*2^795754-1 is not prime. Res64: A1E57A1DC81ED781 Time : 88670.0 sec. user=kar_bon [2011-02-28 19:16:53] 833*2^795766-1 is not prime. Res64: 0C75F251E6BDE97F Time : 88664.0 sec. user=kar_bon [2011-02-28 19:16:53] 913*2^795755-1 is not prime. Res64: B6BF9AB91CAC48D0 Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:53] 987*2^795756-1 is not prime. Res64: CF19DD3D8E07BAFD Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:53] 901*2^795757-1 is not prime. Res64: 7E46EEDCFEE5CE78 Time : 88668.0 sec. user=kar_bon [2011-02-28 19:16:54] 945*2^795757-1 is not prime. Res64: 8ABCB805E898EBF7 Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:54] 921*2^795758-1 is not prime. Res64: B3CFC11C62809C77 Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:54] 919*2^795759-1 is not prime. Res64: 534C0AABC298A9E7 Time : 88668.0 sec. user=kar_bon [2011-02-28 19:16:54] 927*2^795760-1 is not prime. Res64: D40722B79A250B88 Time : 88668.0 sec. user=kar_bon [2011-02-28 19:16:55] 937*2^795761-1 is not prime. Res64: 10EF1A5A0D687BB3 Time : 88669.0 sec. user=kar_bon [2011-02-28 19:16:55] 803*2^795762-1 is not prime. Res64: 886A37639406208C Time : 88668.0 sec. user=kar_bon [2011-02-28 19:16:55] 915*2^795762-1 is not prime. Res64: 5A1B3CCB27B955BB Time : 88668.0 sec. user=kar_bon [2011-02-28 19:16:55] 951*2^795763-1 is not prime. Res64: 0CE51C9AF5410830 Time : 88667.0 sec. user=kar_bon [2011-02-28 19:16:55] 819*2^795765-1 is not prime. Res64: B1F8B127E746E81B Time : 88667.0 sec. user=kar_bon [2011-02-28 19:16:56] 937*2^795765-1 is not prime. Res64: 5992FCC8BE732D10 Time : 88668.0 sec. user=vaughan [2011-02-28 19:17:20] 861*2^796178-1 is not prime. Res64: 1F171F884BE83C1D Time : 905.0 sec. user=vaughan [2011-02-28 19:17:24] 957*2^796178-1 is not prime. Res64: 5BD1148BA969BACE Time : 906.0 sec. user=vaughan [2011-02-28 19:17:25] 963*2^796178-1 is not prime. Res64: CFFCB5ABF6F1C1D9 Time : 907.0 sec. user=vaughan [2011-02-28 19:17:27] 895*2^796179-1 is not prime. Res64: 69CE6B89FDADE630 Time : 907.0 sec. user=vaughan [2011-02-28 19:27:51] 909*2^796179-1 is not prime. Res64: E0D1A7AF04E27481 Time : 1356.0 sec. user=vaughan [2011-02-28 19:28:40] 857*2^796180-1 is not prime. Res64: 919D9C3097AB54CC Time : 1240.0 sec. user=vaughan [2011-02-28 19:32:41] 813*2^796388-1 is not prime. Res64: 500653C7009F9118 Time : 921.0 sec. user=vaughan [2011-02-28 19:32:52] 845*2^796388-1 is not prime. Res64: 835A45369E44E535 Time : 928.0 sec. user=vaughan [2011-02-28 19:33:03] 999*2^796388-1 is not prime. Res64: 30131BA9071C7E1C Time : 938.0 sec. user=vaughan [2011-02-28 19:33:08] 831*2^796389-1 is not prime. Res64: 62AA4E16DD58F881 Time : 941.0 sec. user=vaughan [2011-02-28 19:34:37] 829*2^796253-1 is not prime. Res64: E811D51F9686B5DA Time : 1274.0 sec. user=vaughan [2011-02-28 19:34:49] 899*2^796260-1 is not prime. Res64: DB3AA1A6C16EC21C Time : 1272.0 sec. user=vaughan [2011-02-28 19:47:59] 975*2^796389-1 is not prime. Res64: 16AC1E91F5B73B7B Time : 918.0 sec. user=vaughan [2011-02-28 19:48:23] 979*2^796389-1 is not prime. Res64: 3DBBDB123F8B2D64 Time : 931.0 sec. user=vaughan [2011-02-28 19:49:01] 831*2^796390-1 is not prime. Res64: 2EE5C81123D55639 Time : 959.0 sec. user=vaughan [2011-02-28 19:49:05] 885*2^796390-1 is not prime. Res64: 99DAE9561A3BE261 Time : 958.0 sec. user=vaughan [2011-02-28 19:49:09] 877*2^796389-1 is not prime. Res64: 1D7120B5990EA393 Time : 1229.0 sec. user=vaughan [2011-02-28 19:50:31] 867*2^796389-1 is not prime. Res64: BF599A663B10BB6F Time : 1361.0 sec. user=vaughan [2011-02-28 19:55:55] 911*2^796390-1 is not prime. Res64: E575A12C4C98D52A Time : 1279.0 sec. user=vaughan [2011-02-28 19:56:04] 981*2^796390-1 is not prime. Res64: 5C3F3B2527BAD166 Time : 1275.0 sec. user=vaughan [2011-02-28 20:03:17] 829*2^796391-1 is not prime. Res64: 1AE7DA7EABB675AA Time : 918.0 sec. user=vaughan [2011-02-28 20:03:52] 943*2^796391-1 is not prime. Res64: 571C22D6897B6875 Time : 930.0 sec. user=vaughan [2011-02-28 20:04:58] 955*2^796391-1 is not prime. Res64: 98C2D9C725243B96 Time : 958.0 sec. user=vaughan [2011-02-28 20:05:03] 991*2^796391-1 is not prime. Res64: 738EA192408E590A Time : 958.0 sec. user=vaughan [2011-02-28 20:09:32] 959*2^796392-1 is not prime. Res64: D04E0E05CE666FC7 Time : 1225.0 sec. user=vaughan [2011-02-28 20:11:37] 1001*2^796166-1 is not prime. Res64: A49D16CEEC8AEB5C Time : 9649.0 sec. user=vaughan [2011-02-28 20:13:28] 975*2^796392-1 is not prime. Res64: 379F421EC92B1CCB Time : 1377.0 sec. user=vaughan [2011-02-28 20:17:05] 817*2^796393-1 is not prime. Res64: 494E4D1EEC316774 Time : 1270.0 sec. user=vaughan [2011-02-28 20:17:14] 847*2^796393-1 is not prime. Res64: B4E91B2929E52E62 Time : 1270.0 sec. user=vaughan [2011-02-28 20:18:34] 849*2^796393-1 is not prime. Res64: C4D5B6948CE47337 Time : 918.0 sec. user=vaughan [2011-02-28 20:19:22] 855*2^796393-1 is not prime. Res64: 70FD3E17039C412A Time : 930.0 sec. user=vaughan [2011-02-28 20:21:00] 957*2^796393-1 is not prime. Res64: 9DB1653171D9762B Time : 962.0 sec. user=vaughan [2011-02-28 20:21:02] 967*2^796393-1 is not prime. Res64: DB39478F65D7E3E7 Time : 960.0 sec. user=vaughan [2011-02-28 20:30:10] 837*2^796394-1 is not prime. Res64: F144CB68D6486059 Time : 1238.0 sec. user=vaughan [2011-02-28 20:33:53] 919*2^796395-1 is not prime. Res64: 81DD591AB23089D6 Time : 919.0 sec. user=vaughan [2011-02-28 20:34:53] 949*2^796395-1 is not prime. Res64: 3899F70898EE1A2C Time : 931.0 sec. user=vaughan [2011-02-28 20:35:58] 957*2^796394-1 is not prime. Res64: AB4CE9E01FFC1BC3 Time : 1350.0 sec. user=vaughan [2011-02-28 20:36:58] 813*2^796396-1 is not prime. Res64: 5DAE040639052D32 Time : 961.0 sec. user=vaughan [2011-02-28 20:37:00] 855*2^796396-1 is not prime. Res64: 5799E16EB7FE77C4 Time : 960.0 sec. user=vaughan [2011-02-28 20:38:26] 983*2^796394-1 is not prime. Res64: D46B1CF3DE94F699 Time : 1282.0 sec. user=vaughan [2011-02-28 20:38:33] 825*2^796395-1 is not prime. Res64: 542E6B02D13F2311 Time : 1279.0 sec. user=vaughan [2011-02-28 20:49:13] 865*2^796397-1 is not prime. Res64: 87AAA4FFDE8E4067 Time : 921.0 sec. user=vaughan [2011-02-28 20:50:24] 871*2^796397-1 is not prime. Res64: 63C37B1798233029 Time : 931.0 sec. user=vaughan [2011-02-28 20:51:03] 861*2^796397-1 is not prime. Res64: A4C50093AD8F51AE Time : 1254.0 sec. user=vaughan [2011-02-28 20:52:56] 967*2^796397-1 is not prime. Res64: DE9BC7F532F44BF0 Time : 958.0 sec. user=vaughan [2011-02-28 20:52:58] 861*2^796398-1 is not prime. Res64: BC3589DF92DB451C Time : 958.0 sec. user=vaughan [2011-02-28 20:58:18] 927*2^796397-1 is not prime. Res64: AEA3CDB046DC3696 Time : 1341.0 sec. user=vaughan [2011-02-28 20:59:41] 863*2^796398-1 is not prime. Res64: 0FA027A4B0C8C927 Time : 1276.0 sec. user=vaughan [2011-02-28 20:59:53] 875*2^796398-1 is not prime. Res64: FD174E0E7D87B4A5 Time : 1280.0 sec. user=vaughan [2011-02-28 21:04:35] 921*2^796398-1 is not prime. Res64: FCB54826EEBF8B22 Time : 922.0 sec. user=vaughan [2011-02-28 21:05:49] 831*2^796399-1 is not prime. Res64: 9FA53EF4EC37210D Time : 925.0 sec. user=vaughan [2011-02-28 21:08:51] 919*2^796399-1 is not prime. Res64: 1D8E0A7C15D7F732 Time : 956.0 sec. user=vaughan [2011-02-28 21:08:54] 935*2^796400-1 is not prime. Res64: 73399BDB039CD02B Time : 956.0 sec. user=vaughan [2011-02-28 21:11:48] 855*2^796399-1 is not prime. Res64: 0795C3F4237CC412 Time : 1245.0 sec. user=vaughan [2011-02-28 21:20:18] 889*2^796401-1 is not prime. Res64: 193C02C86E980D18 Time : 944.0 sec. user=vaughan [2011-02-28 21:21:10] 963*2^796400-1 is not prime. Res64: A4D2B88AE89458D8 Time : 1372.0 sec. user=vaughan [2011-02-28 21:21:14] 999*2^796401-1 is not prime. Res64: AE9C80E1D2D96F88 Time : 925.0 sec. user=vaughan [2011-02-28 21:21:21] 837*2^796401-1 is not prime. Res64: A1D759EC596951B4 Time : 1300.0 sec. user=vaughan [2011-02-28 21:21:34] 861*2^796401-1 is not prime. Res64: C0625B7809ED9BF6 Time : 1301.0 sec. user=vaughan [2011-02-28 21:24:50] 827*2^796402-1 is not prime. Res64: 7CF02203331065C1 Time : 959.0 sec. user=vaughan [2011-02-28 21:24:51] 833*2^796402-1 is not prime. Res64: D5A8971842DBECA2 Time : 957.0 sec. user=vaughan [2011-02-28 21:30:51] 823*2^796143-1 is not prime. Res64: E045F03DD44D8A0B Time : 52142.0 sec. user=vaughan [2011-02-28 21:30:51] 933*2^796143-1 is not prime. Res64: 95431B93AC64E212 Time : 52124.0 sec. user=vaughan [2011-02-28 21:31:26] 901*2^796143-1 is not prime. Res64: 47AEB281B486F596 Time : 52176.0 sec. user=vaughan [2011-02-28 21:31:53] 827*2^796144-1 is not prime. Res64: DF87E0E8D1F7C83E Time : 52145.0 sec. user=vaughan [2011-02-28 21:33:37] 927*2^796116-1 is not prime. Res64: E1AEF4DD2BC7E30F Time : 67574.0 sec. user=vaughan [2011-02-28 21:33:38] 873*2^796402-1 is not prime. Res64: 7136C95491481D62 Time : 1310.0 sec. user=vaughan [2011-02-28 21:33:38] 861*2^796117-1 is not prime. Res64: 46D249508306CD7E Time : 67418.0 sec. user=vaughan [2011-02-28 21:33:42] 875*2^796108-1 is not prime. Res64: 608A346A6E316DBE Time : 68139.0 sec. user=vaughan [2011-02-28 21:33:47] 805*2^796117-1 is not prime. Res64: 988DF1AB3D81481F Time : 67553.0 sec. user=vaughan [2011-02-28 21:35:56] 915*2^796402-1 is not prime. Res64: 0CDDA89329A12F77 Time : 939.0 sec. user=vaughan [2011-02-28 21:36:36] 813*2^796403-1 is not prime. Res64: 6A3C290079E80F07 Time : 922.0 sec. user=vaughan [2011-02-28 21:40:49] 915*2^796403-1 is not prime. Res64: DFDB26DD13CE12A8 Time : 959.0 sec. user=vaughan [2011-02-28 21:40:56] 955*2^796403-1 is not prime. Res64: FEF5B4D4D85E7731 Time : 966.0 sec. user=vaughan [2011-02-28 21:43:14] 951*2^796402-1 is not prime. Res64: 30A2BE9307D8D7B2 Time : 1325.0 sec. user=vaughan [2011-02-28 21:43:16] 829*2^796403-1 is not prime. Res64: 37756C14D41A6DD4 Time : 1315.0 sec. user=vaughan [2011-02-28 21:43:25] 885*2^796403-1 is not prime. Res64: 831612B0D3375CE1 Time : 1312.0 sec. user=vaughan [2011-02-28 21:46:15] 975*2^796404-1 is not prime. Res64: C7CD80BF33A73C1B Time : 924.0 sec. user=vaughan [2011-02-28 21:46:25] 959*2^796404-1 is not prime. Res64: 95AAF55E71BA631B Time : 935.0 sec. user=vaughan [2011-02-28 21:47:07] 993*2^796404-1 is not prime. Res64: 199B5ED030DC659C Time : 941.0 sec. user=vaughan [2011-02-28 21:47:43] 877*2^796405-1 is not prime. Res64: A728B98B45FBF663 Time : 952.0 sec. user=vaughan [2011-02-28 21:49:03] 987*2^796405-1 is not prime. Res64: 65683145C8B5CF77 Time : 925.0 sec. user=vaughan [2011-02-28 21:49:20] 813*2^796406-1 is not prime. Res64: 0D775560A6F7970F Time : 938.0 sec. user=vaughan [2011-02-28 21:49:26] 873*2^796406-1 is not prime. Res64: 749D0FD72867CFDB Time : 939.0 sec. user=vaughan [2011-02-28 21:49:33] 927*2^796405-1 is not prime. Res64: 30B1FD0A3F72CC99 Time : 956.0 sec. user=vaughan [2011-02-28 21:51:40] 945*2^796406-1 is not prime. Res64: E0CA444369C2AEE6 Time : 945.0 sec. user=vaughan [2011-02-28 21:52:12] 831*2^796407-1 is not prime. Res64: 4ABC2FE82387A2EE Time : 936.0 sec. user=vaughan [2011-02-28 21:55:08] 951*2^796405-1 is not prime. Res64: 7D9031F9B710D9DF Time : 1290.0 sec. user=vaughan [2011-02-28 21:56:58] 859*2^796407-1 is not prime. Res64: 830E7A4BBDF084D8 Time : 971.0 sec. user=vaughan [2011-02-28 21:57:04] 871*2^796407-1 is not prime. Res64: 6CFB813D1A2B08AE Time : 973.0 sec. user=vaughan [2011-02-28 22:01:38] 839*2^796408-1 is not prime. Res64: FB667017576CC0B4 Time : 923.0 sec. user=vaughan [2011-02-28 22:01:52] 845*2^796408-1 is not prime. Res64: 9956A722975EB437 Time : 928.0 sec. user=vaughan [2011-02-28 22:02:46] 947*2^796408-1 is not prime. Res64: 0870643D3A0B1FC6 Time : 940.0 sec. user=vaughan [2011-02-28 22:03:33] 999*2^796408-1 is not prime. Res64: 88749F65EC684225 Time : 951.0 sec. user=vaughan [2011-02-28 22:04:23] 931*2^796409-1 is not prime. Res64: 6B82985D64513601 Time : 920.0 sec. user=vaughan [2011-02-28 22:04:51] 949*2^796409-1 is not prime. Res64: 0D59F87B69EB20FC Time : 931.0 sec. user=vaughan [2011-02-28 22:05:01] 845*2^796410-1 is not prime. Res64: 874693BA06674CEC Time : 935.0 sec. user=vaughan [2011-02-28 22:05:09] 819*2^796408-1 is not prime. Res64: 66A5602E8BA69605 Time : 1313.0 sec. user=ototero [2011-02-28 22:05:09] 891*2^796174-1 is not prime. Res64: 118296CB7F51E0B2 Time : 11532.0 sec. user=ototero [2011-02-28 22:05:10] 983*2^796174-1 is not prime. Res64: 52D5C06B2535183F Time : 11532.0 sec. user=ototero [2011-02-28 22:05:10] 1001*2^796174-1 is not prime. Res64: 4128ECEE06B7816B Time : 11532.0 sec. user=ototero [2011-02-28 22:05:10] 831*2^796175-1 is not prime. Res64: 326D9995DB7B7FBB Time : 11532.0 sec. user=ototero [2011-02-28 22:05:10] 899*2^796176-1 is not prime. Res64: 6BBD1A5E271F244C Time : 11531.0 sec. user=ototero [2011-02-28 22:05:10] 945*2^796176-1 is not prime. Res64: 178958103EF63F8E Time : 11531.0 sec. user=ototero [2011-02-28 22:05:10] 847*2^796177-1 is not prime. Res64: 646168F09D7D9590 Time : 11531.0 sec. user=ototero [2011-02-28 22:05:11] 871*2^796177-1 is not prime. Res64: 1F45112C1861C304 Time : 11531.0 sec. user=ototero [2011-02-28 22:05:11] 895*2^796177-1 is not prime. Res64: F629CE87D209F446 Time : 11531.0 sec. user=ototero [2011-02-28 22:05:11] 831*2^796178-1 is not prime. Res64: 633D094B48F23AE6 Time : 11531.0 sec. user=vaughan [2011-02-28 22:05:16] 827*2^796408-1 is not prime. Res64: F780895E4A90DFB1 Time : 1312.0 sec. user=vaughan [2011-02-28 22:05:28] 923*2^796410-1 is not prime. Res64: 6978DA8A2B27504A Time : 955.0 sec. user=vaughan [2011-02-28 22:05:56] 955*2^796407-1 is not prime. Res64: 862596A974E7A000 Time : 1363.0 sec. user=vaughan [2011-02-28 22:07:28] 1001*2^796410-1 is not prime. Res64: FFB06E29F585E4B3 Time : 948.0 sec. user=vaughan [2011-02-28 22:07:50] 813*2^796411-1 is not prime. Res64: 6888C00FFFB2DA94 Time : 938.0 sec. user=vaughan [2011-02-28 22:13:06] 825*2^796412-1 is not prime. Res64: 116421F2BAA3C09E Time : 968.0 sec. user=vaughan [2011-02-28 22:13:13] 923*2^796412-1 is not prime. Res64: 1D31C23526EACAB7 Time : 969.0 sec. user=vaughan [2011-02-28 22:16:21] 925*2^796411-1 is not prime. Res64: B77AC38B2A577872 Time : 1273.0 sec. user=vaughan [2011-02-28 22:17:01] 995*2^796412-1 is not prime. Res64: F291F7B7D634390F Time : 924.0 sec. user=vaughan [2011-02-28 22:17:19] 805*2^796413-1 is not prime. Res64: 4189325BF72C83A1 Time : 927.0 sec. user=vaughan [2011-02-28 22:18:25] 817*2^796413-1 is not prime. Res64: E05645FA440BAAB3 Time : 939.0 sec. user=vaughan [2011-02-28 22:19:23] 835*2^796413-1 is not prime. Res64: 31940A82F5A38B07 Time : 950.0 sec. user=vaughan [2011-02-28 22:19:43] 919*2^796413-1 is not prime. Res64: 81BA4926975D4A02 Time : 921.0 sec. user=vaughan [2011-02-28 22:20:21] 999*2^796413-1 is not prime. Res64: 9D781F2DCAC380CA Time : 931.0 sec. user=vaughan [2011-02-28 22:20:38] 891*2^796414-1 is not prime. Res64: 46E6A7C8E181DDE4 Time : 937.0 sec. user=vaughan [2011-02-28 22:21:23] 919*2^796417-1 is not prime. Res64: CCF0CE8C54F30424 Time : 956.0 sec. user=vaughan [2011-02-28 22:23:15] 825*2^796418-1 is not prime. Res64: 3012055BCF4DCC3F Time : 947.0 sec. user=vaughan [2011-02-28 22:23:26] 893*2^796418-1 is not prime. Res64: 7A710CE330D7B89F Time : 937.0 sec. user=ototero [2011-02-28 22:25:45] 999*2^796168-1 is not prime. Res64: C758EC822B465D03 Time : 16400.0 sec. user=ototero [2011-02-28 22:25:46] 811*2^796169-1 is not prime. Res64: 0F877E28D1B34397 Time : 16401.0 sec. user=ototero [2011-02-28 22:25:46] 865*2^796169-1 is not prime. Res64: 668917FF2854482C Time : 16401.0 sec. user=ototero [2011-02-28 22:25:46] 925*2^796169-1 is not prime. Res64: 0091702058D82752 Time : 16401.0 sec. user=ototero [2011-02-28 22:25:46] 955*2^796169-1 is not prime. Res64: F900F9C519D18B64 Time : 16400.0 sec. user=vaughan [2011-02-28 22:26:51] 951*2^796414-1 is not prime. Res64: AC0677416F3E279B Time : 1303.0 sec. user=vaughan [2011-02-28 22:27:03] 867*2^796417-1 is not prime. Res64: 393C617DCB92315F Time : 1307.0 sec. user=vaughan [2011-02-28 22:28:52] 957*2^796417-1 is not prime. Res64: 8BB45FA00BA32E2F Time : 1376.0 sec. user=vaughan [2011-02-28 22:29:20] 977*2^796418-1 is not prime. Res64: 5C3DDBE28F9B0255 Time : 967.0 sec. user=vaughan [2011-02-28 22:29:21] 911*2^796418-1 is not prime. Res64: D855D5A62F0820DB Time : 975.0 sec. user=vaughan [2011-02-28 22:32:23] 853*2^796419-1 is not prime. Res64: A03C7D9D816B4C48 Time : 922.0 sec. user=vaughan [2011-02-28 22:32:46] 891*2^796419-1 is not prime. Res64: 5816384AC874CB7B Time : 927.0 sec. user=vaughan [2011-02-28 22:34:05] 903*2^796419-1 is not prime. Res64: 898210EE49265264 Time : 940.0 sec. user=vaughan [2011-02-28 22:35:04] 839*2^796420-1 is not prime. Res64: D6EBD580953A8387 Time : 921.0 sec. user=vaughan [2011-02-28 22:35:11] 833*2^796420-1 is not prime. Res64: 947605A2DE602796 Time : 948.0 sec. user=vaughan [2011-02-28 22:35:53] 939*2^796420-1 is not prime. Res64: 8F7DAAF53CF891E0 Time : 932.0 sec. user=vaughan [2011-02-28 22:36:13] 975*2^796420-1 is not prime. Res64: 1649E76BABBA0140 Time : 935.0 sec. user=vaughan [2011-02-28 22:37:18] 819*2^796421-1 is not prime. Res64: 4805DBF7808856A5 Time : 955.0 sec. user=vaughan [2011-02-28 22:37:57] 829*2^796419-1 is not prime. Res64: 8601251E47927739 Time : 1296.0 sec. user=vaughan [2011-02-28 22:39:02] 825*2^796421-1 is not prime. Res64: 5AD1196E6C31B28E Time : 947.0 sec. user=vaughan [2011-02-28 22:39:11] 879*2^796421-1 is not prime. Res64: 9BDB357F7FBAF500 Time : 945.0 sec. user=vaughan [2011-02-28 22:45:28] 805*2^796425-1 is not prime. Res64: D1A9F9E21E9BED2F Time : 968.0 sec. user=vaughan [2011-02-28 22:45:28] 803*2^796424-1 is not prime. Res64: D7919C79740C1B9C Time : 970.0 sec. user=vaughan [2011-02-28 22:47:44] 871*2^796425-1 is not prime. Res64: A633116BD200C7D3 Time : 922.0 sec. user=vaughan [2011-02-28 22:48:13] 915*2^796425-1 is not prime. Res64: 3557448FA7FEF8C1 Time : 928.0 sec. user=vaughan [2011-02-28 22:48:41] 915*2^796423-1 is not prime. Res64: E83BB0CF6216542A Time : 1310.0 sec. user=vaughan [2011-02-28 22:48:48] 973*2^796423-1 is not prime. Res64: 0CBF08E017B592C5 Time : 1305.0 sec. user=vaughan [2011-02-28 22:49:44] 921*2^796425-1 is not prime. Res64: 6EA3AD1BC7B12BF0 Time : 939.0 sec. user=vaughan [2011-02-28 22:50:24] 955*2^796425-1 is not prime. Res64: 5747D1675171424E Time : 921.0 sec. user=vaughan [2011-02-28 22:50:55] 993*2^796423-1 is not prime. Res64: F4056D776B13D9BC Time : 1324.0 sec. user=vaughan [2011-02-28 22:51:00] 975*2^796425-1 is not prime. Res64: 4C14CE6EEB603B5E Time : 950.0 sec. user=vaughan [2011-02-28 22:51:25] 857*2^796426-1 is not prime. Res64: 5F1BF03D5851018A Time : 932.0 sec. user=vaughan [2011-02-28 22:51:49] 873*2^796426-1 is not prime. Res64: CCC4DB8857F03F2F Time : 937.0 sec. user=vaughan [2011-02-28 22:52:56] 941*2^796394-1 is not prime. Res64: 2C574E19E05A5EC4 Time : 9679.0 sec. user=vaughan [2011-02-28 22:53:14] 987*2^796426-1 is not prime. Res64: E786F8C27BC13EB3 Time : 956.0 sec. user=vaughan [2011-02-28 22:54:49] 809*2^796428-1 is not prime. Res64: 8F8A585A69853909 Time : 938.0 sec. user=vaughan [2011-02-28 22:54:51] 885*2^796427-1 is not prime. Res64: 16641482C6C7C846 Time : 949.0 sec. user=vaughan [2011-02-28 22:59:29] 883*2^796427-1 is not prime. Res64: CD9FAF4D40744B4B Time : 1292.0 sec. user=vaughan [2011-02-28 23:01:37] 843*2^796428-1 is not prime. Res64: 8779F726D8F7EAF1 Time : 969.0 sec. user=vaughan [2011-02-28 23:01:37] 945*2^796428-1 is not prime. Res64: B5866839314D22FD Time : 969.0 sec. user=vaughan [2011-02-28 23:03:07] 987*2^796428-1 is not prime. Res64: 759285F144650DF8 Time : 923.0 sec. user=vaughan [2011-02-28 23:03:41] 819*2^796429-1 is not prime. Res64: 60F9395C913C3934 Time : 928.0 sec. user=vaughan [2011-02-28 23:05:22] 945*2^796429-1 is not prime. Res64: 6757893480BD9B12 Time : 939.0 sec. user=vaughan [2011-02-28 23:05:44] 955*2^796429-1 is not prime. Res64: 55E8B22EEA80EE18 Time : 921.0 sec. user=vaughan [2011-02-28 23:06:48] 861*2^796430-1 is not prime. Res64: 71D2451222440C94 Time : 948.0 sec. user=vaughan [2011-02-28 23:06:57] 887*2^796430-1 is not prime. Res64: 5EBA04C18AE1A6EE Time : 932.0 sec. user=vaughan [2011-02-28 23:07:24] 965*2^796430-1 is not prime. Res64: 2EB5425C4D27DF79 Time : 936.0 sec. user=vaughan [2011-02-28 23:09:09] 823*2^796431-1 is not prime. Res64: 1D986D7651621140 Time : 955.0 sec. user=vaughan [2011-02-28 23:10:27] 975*2^796431-1 is not prime. Res64: EC82D5D9A1A49839 Time : 938.0 sec. user=vaughan [2011-02-28 23:10:28] 831*2^796429-1 is not prime. Res64: 91BBE4C1FA75DE9D Time : 1307.0 sec. user=vaughan [2011-02-28 23:10:30] 931*2^796429-1 is not prime. Res64: AA74FDD21A89C077 Time : 1302.0 sec. user=vaughan [2011-02-28 23:10:41] 827*2^796432-1 is not prime. Res64: 86C685E8D7053611 Time : 950.0 sec. user=vaughan [2011-02-28 23:14:11] 985*2^796429-1 is not prime. Res64: 7B3C3042D9899D35 Time : 1396.0 sec. user=vaughan [2011-02-28 23:17:44] 887*2^796432-1 is not prime. Res64: 73924D47AA4A235B Time : 968.0 sec. user=vaughan [2011-02-28 23:17:45] 903*2^796432-1 is not prime. Res64: 5C723742A9848CE9 Time : 969.0 sec. user=vaughan [2011-02-28 23:18:30] 917*2^796432-1 is not prime. Res64: A61C5F781EC3D881 Time : 923.0 sec. user=vaughan [2011-02-28 23:19:08] 879*2^796433-1 is not prime. Res64: 0822AB6D49C0A143 Time : 927.0 sec. user=vaughan [2011-02-28 23:20:08] 833*2^796432-1 is not prime. Res64: 54771A7C780EFB70 Time : 1239.0 sec. user=vaughan [2011-02-28 23:21:01] 987*2^796433-1 is not prime. Res64: 3E7F5B488B27258D Time : 939.0 sec. user=vaughan [2011-02-28 23:21:03] 887*2^796434-1 is not prime. Res64: D77DBB53E17CE22F Time : 919.0 sec. user=vaughan [2011-02-28 23:22:28] 913*2^796435-1 is not prime. Res64: 2C96CD9A0C9B2531 Time : 932.0 sec. user=vaughan [2011-02-28 23:22:35] 859*2^796435-1 is not prime. Res64: 38827B0EEAE68B93 Time : 948.0 sec. user=vaughan [2011-02-28 23:23:01] 951*2^796435-1 is not prime. Res64: B8DEE33642276AEA Time : 937.0 sec. user=vaughan [2011-02-28 23:25:04] 855*2^796436-1 is not prime. Res64: 5E9DA82031EB9711 Time : 955.0 sec. user=vaughan [2011-02-28 23:26:03] 909*2^796436-1 is not prime. Res64: 776DECBD3F269D9F Time : 937.0 sec. user=vaughan [2011-02-28 23:26:23] 803*2^796144-1 is not prime. Res64: AF5A5CE39B953C91 Time : 59014.0 sec. user=vaughan [2011-02-28 23:26:28] 885*2^796437-1 is not prime. Res64: 85C9D60CD8F43C30 Time : 950.0 sec. user=vaughan [2011-02-28 23:26:52] 915*2^796144-1 is not prime. Res64: 10FD45DA0EDFD1B4 Time : 59014.0 sec. user=vaughan [2011-02-28 23:27:04] 811*2^796145-1 is not prime. Res64: EB0886B66A42BDAD Time : 59008.0 sec. user=vaughan [2011-02-28 23:29:29] 837*2^796146-1 is not prime. Res64: 4025AF1E1B00D9E2 Time : 59004.0 sec. user=vaughan [2011-02-28 23:31:42] 983*2^796436-1 is not prime. Res64: C9B13AB63AC32E89 Time : 1272.0 sec. user=vaughan [2011-02-28 23:31:43] 945*2^796436-1 is not prime. Res64: 5732EC11FF541C2C Time : 1276.0 sec. user=vaughan [2011-02-28 23:33:32] 801*2^796438-1 is not prime. Res64: FC9F5E2D53EDB7C5 Time : 948.0 sec. user=vaughan [2011-02-28 23:33:33] 855*2^796438-1 is not prime. Res64: 49DEDC0670C6CAD9 Time : 948.0 sec. user=vaughan [2011-02-28 23:33:51] 843*2^796439-1 is not prime. Res64: 9A71E2ED637072B9 Time : 922.0 sec. user=vaughan [2011-02-28 23:34:35] 943*2^796439-1 is not prime. Res64: 0B2ADFA9F5CE9F9A Time : 927.0 sec. user=vaughan [2011-02-28 23:36:24] 819*2^796440-1 is not prime. Res64: FDE88699073125AB Time : 921.0 sec. user=vaughan [2011-02-28 23:36:38] 919*2^796437-1 is not prime. Res64: 4CD198399D0D32A4 Time : 1347.0 sec. user=vaughan [2011-02-28 23:36:40] 803*2^796440-1 is not prime. Res64: B517B4EBD580CB65 Time : 939.0 sec. user=vaughan [2011-02-28 23:38:00] 863*2^796440-1 is not prime. Res64: 4DA0CEDA1E6AEF9C Time : 932.0 sec. user=vaughan [2011-02-28 23:38:24] 915*2^796440-1 is not prime. Res64: E67EC5D3ED394764 Time : 949.0 sec. user=vaughan [2011-02-28 23:38:38] 927*2^796440-1 is not prime. Res64: BD478F1158F98F51 Time : 937.0 sec. user=vaughan [2011-02-28 23:40:51] 999*2^796439-1 is not prime. Res64: 5519C41CB3773C00 Time : 1243.0 sec. user=vaughan [2011-02-28 23:40:59] 999*2^796440-1 is not prime. Res64: 9D4760DF33776C57 Time : 956.0 sec. user=vaughan [2011-02-28 23:41:15] 999*2^796119-1 is not prime. Res64: 4FAE8F555A859853 Time : 74885.0 sec. user=vaughan [2011-02-28 23:41:18] 967*2^796109-1 is not prime. Res64: 5611E93CCEF25E9F Time : 75480.0 sec. user=vaughan [2011-02-28 23:41:23] 817*2^796441-1 is not prime. Res64: B4572A5063B5A366 Time : 920.0 sec. user=vaughan [2011-02-28 23:41:26] 905*2^796108-1 is not prime. Res64: D2EBCA540597888E Time : 75748.0 sec. user=vaughan [2011-02-28 23:41:30] 841*2^796111-1 is not prime. Res64: 71A603E423C0708A Time : 75459.0 sec. user=vaughan [2011-02-28 23:42:02] 957*2^796441-1 is not prime. Res64: 34483CEDC61BC159 Time : 935.0 sec. user=vaughan [2011-02-28 23:43:23] 931*2^796441-1 is not prime. Res64: 049F10EFC5DD85C3 Time : 1021.0 sec. user=vaughan [2011-02-28 23:45:01] 887*2^796442-1 is not prime. Res64: F7EC7D9DB2FEFCDE Time : 1078.0 sec. user=vaughan [2011-02-28 23:45:02] 979*2^796441-1 is not prime. Res64: 61A2E63F964FC2D2 Time : 1091.0 sec. user=vaughan [2011-02-28 23:47:21] 945*2^796442-1 is not prime. Res64: B6662BEDA068EFB4 Time : 1073.0 sec. user=vaughan [2011-02-28 23:48:49] 909*2^796444-1 is not prime. Res64: E5053507464D18EA Time : 917.0 sec. user=vaughan [2011-02-28 23:48:50] 983*2^796444-1 is not prime. Res64: EAFBE58C22298749 Time : 917.0 sec. user=vaughan [2011-02-28 23:49:13] 801*2^796445-1 is not prime. Res64: 47AAA498503F60D7 Time : 922.0 sec. user=vaughan [2011-02-28 23:50:01] 969*2^796445-1 is not prime. Res64: D0279978F58D3C28 Time : 927.0 sec. user=vaughan [2011-02-28 23:51:45] 815*2^796446-1 is not prime. Res64: 97661E013E667DF2 Time : 921.0 sec. user=vaughan [2011-02-28 23:52:19] 813*2^796447-1 is not prime. Res64: 139603246948831C Time : 940.0 sec. user=vaughan [2011-02-28 23:52:59] 857*2^796444-1 is not prime. Res64: E664E7800A89EA31 Time : 1276.0 sec. user=vaughan [2011-02-28 23:53:01] 819*2^796443-1 is not prime. Res64: D4D71EBD2875803D Time : 1279.0 sec. user=vaughan [2011-02-28 23:53:32] 841*2^796447-1 is not prime. Res64: FA4491C4D7671F56 Time : 932.0 sec. user=vaughan [2011-02-28 23:54:08] 979*2^796155-1 is not prime. Res64: D6F14A8933EE6F6B Time : 30798.0 sec. user=vaughan [2011-02-28 23:54:11] 845*2^796156-1 is not prime. Res64: 5C2F3AAFBC6CBD1B Time : 30801.0 sec. user=vaughan [2011-02-28 23:54:14] 915*2^796447-1 is not prime. Res64: 406955C903D99D1C Time : 937.0 sec. user=vaughan [2011-02-28 23:54:15] 861*2^796447-1 is not prime. Res64: 34E7B24B005422F9 Time : 951.0 sec. user=vaughan [2011-02-28 23:56:45] 845*2^796448-1 is not prime. Res64: 21F12D20176E8B0C Time : 922.0 sec. user=vaughan [2011-02-28 23:56:48] 827*2^796448-1 is not prime. Res64: 04FAB68636C5EDFB Time : 930.0 sec. user=vaughan [2011-02-28 23:56:54] 961*2^796447-1 is not prime. Res64: 3223C6B4A6536BC9 Time : 955.0 sec. user=vaughan [2011-02-28 23:57:00] 949*2^796449-1 is not prime. Res64: 83D5A8C278D81823 Time : 934.0 sec. user=vaughan [2011-02-28 23:59:00] 825*2^796446-1 is not prime. Res64: 71CAD02F10A8A176 Time : 1342.0 sec. user=vaughan [2011-03-01 00:00:50] 939*2^796447-1 is not prime. Res64: 7826534A3BF98E08 Time : 1199.0 sec.