user=vaughan [2011-03-05 02:00:57] 813*2^797686-1 is not prime. Res64: E0CE15DD96CACF24 Time : 934.0 sec. user=vaughan [2011-03-05 02:01:34] 815*2^797686-1 is not prime. Res64: CD382C48C4134D90 Time : 936.0 sec. user=vaughan [2011-03-05 02:02:36] 917*2^797686-1 is not prime. Res64: 4BF306CA9D6B8E2C Time : 986.0 sec. user=vaughan [2011-03-05 02:02:46] 933*2^797686-1 is not prime. Res64: E51EB6CE33979EED Time : 995.0 sec. user=vaughan [2011-03-05 02:16:14] 981*2^796451-1 is not prime. Res64: 6A26B38EA626ADCC Time : 917.0 sec. user=vaughan [2011-03-05 02:16:59] 965*2^797686-1 is not prime. Res64: 51EDC4F2587DB4CC Time : 925.0 sec. user=vaughan [2011-03-05 02:18:51] 975*2^797686-1 is not prime. Res64: 01FBA8D8F40F6626 Time : 976.0 sec. user=vaughan [2011-03-05 02:19:15] 1001*2^797686-1 is not prime. Res64: 27A87C76D1B03A76 Time : 989.0 sec. user=vaughan [2011-03-05 02:31:33] 841*2^797687-1 is not prime. Res64: D0411E155E34126A Time : 919.0 sec. user=vaughan [2011-03-05 02:32:23] 861*2^797687-1 is not prime. Res64: 1A096FDF0377361D Time : 924.0 sec. user=vaughan [2011-03-05 02:35:02] 985*2^797687-1 is not prime. Res64: C25454E77290F4FB Time : 972.0 sec. user=vaughan [2011-03-05 02:35:44] 809*2^797688-1 is not prime. Res64: 1DD5FD3933FCBD89 Time : 989.0 sec. user=vaughan [2011-03-05 02:46:50] 833*2^797690-1 is not prime. Res64: 1D2E5401B6E730D6 Time : 917.0 sec. user=vaughan [2011-03-05 02:47:43] 835*2^797691-1 is not prime. Res64: 3900976804F88A5F Time : 920.0 sec. user=vaughan [2011-03-05 02:51:14] 895*2^797691-1 is not prime. Res64: 3CF562AF548AE7F0 Time : 972.0 sec. user=vaughan [2011-03-05 02:52:16] 949*2^797691-1 is not prime. Res64: FB425246F3E540B9 Time : 992.0 sec. user=vaughan [2011-03-05 02:55:27] 855*2^797689-1 is not prime. Res64: 9241B1CE7C3F2454 Time : 1988.0 sec. user=ototero [2011-03-05 03:01:15] 915*2^797684-1 is not prime. Res64: 8D87577459AC8B2D Time : 11729.0 sec. user=ototero [2011-03-05 03:01:15] 929*2^797684-1 is not prime. Res64: 6B85300F1274214A Time : 11729.0 sec. user=ototero [2011-03-05 03:01:15] 935*2^797684-1 is not prime. Res64: BE6C118B7C1E7679 Time : 11728.0 sec. user=ototero [2011-03-05 03:01:15] 995*2^797684-1 is not prime. Res64: B01FBECA230380ED Time : 11728.0 sec. user=ototero [2011-03-05 03:01:15] 849*2^797685-1 is not prime. Res64: 76461C17DDEADFBF Time : 11728.0 sec. user=ototero [2011-03-05 03:01:16] 927*2^797685-1 is not prime. Res64: 726D6793297F12E9 Time : 11728.0 sec. user=ototero [2011-03-05 03:01:16] 949*2^797685-1 is not prime. Res64: 4D0ED995D90EEB1C Time : 11728.0 sec. user=ototero [2011-03-05 03:01:16] 955*2^797685-1 is not prime. Res64: A116D7796ED567FE Time : 11728.0 sec. user=ototero [2011-03-05 03:01:16] 979*2^797685-1 is not prime. Res64: FAE007BBF17E2836 Time : 11727.0 sec. user=ototero [2011-03-05 03:01:16] 997*2^797685-1 is not prime. Res64: EA444D183E8E8436 Time : 11727.0 sec. user=vaughan [2011-03-05 03:02:13] 973*2^797691-1 is not prime. Res64: E4700A93AA171392 Time : 924.0 sec. user=vaughan [2011-03-05 03:03:05] 975*2^797691-1 is not prime. Res64: 438302EF9DB5A602 Time : 923.0 sec. user=vaughan [2011-03-05 03:07:26] 803*2^797692-1 is not prime. Res64: 72C2E813FB9D25CF Time : 972.0 sec. user=vaughan [2011-03-05 03:08:47] 875*2^797692-1 is not prime. Res64: 1885CAB41E607085 Time : 991.0 sec. user=vaughan [2011-03-05 03:09:48] 955*2^797689-1 is not prime. Res64: 8749A66ABFDEFF24 Time : 2844.0 sec. user=vaughan [2011-03-05 03:17:03] 975*2^797688-1 is not prime. Res64: 6E65173A341209CA Time : 3298.0 sec. user=vaughan [2011-03-05 03:17:30] 999*2^797697-1 is not prime. Res64: 8088B0D83DA9964B Time : 918.0 sec. user=vaughan [2011-03-05 03:18:27] 813*2^797698-1 is not prime. Res64: E8B7E16A4564B8EB Time : 923.0 sec. user=vaughan [2011-03-05 03:20:31] 845*2^797688-1 is not prime. Res64: 179FCED1B81F2D50 Time : 3513.0 sec. user=vaughan [2011-03-05 03:20:49] 893*2^797688-1 is not prime. Res64: 371DCE2861A2F7D1 Time : 3524.0 sec. user=vaughan [2011-03-05 03:23:41] 825*2^797699-1 is not prime. Res64: BB94853AC2487A2A Time : 975.0 sec. user=vaughan [2011-03-05 03:25:17] 861*2^797699-1 is not prime. Res64: 4C6B69A56CFB00E0 Time : 990.0 sec. user=vaughan [2011-03-05 03:32:49] 943*2^797699-1 is not prime. Res64: EF880920976F28BC Time : 919.0 sec. user=vaughan [2011-03-05 03:33:48] 863*2^797700-1 is not prime. Res64: 6B7A64EED82100D5 Time : 922.0 sec. user=vaughan [2011-03-05 03:39:53] 923*2^797700-1 is not prime. Res64: AB9BA2CCD0A8BD9D Time : 972.0 sec. user=vaughan [2011-03-05 03:41:47] 927*2^797700-1 is not prime. Res64: 5F5C9090DBA155C5 Time : 990.0 sec. user=vaughan [2011-03-05 03:48:06] 965*2^797700-1 is not prime. Res64: 7B144398F26344AE Time : 918.0 sec. user=vaughan [2011-03-05 03:49:12] 801*2^797701-1 is not prime. Res64: 66C338DD81EFEEEA Time : 924.0 sec. user=vaughan [2011-03-05 03:56:06] 817*2^797701-1 is not prime. Res64: 22DBB61FD0DE3351 Time : 973.0 sec. user=vaughan [2011-03-05 03:58:16] 867*2^797702-1 is not prime. Res64: F9E9D9295DC6A15E Time : 989.0 sec. user=vaughan [2011-03-05 04:03:21] 951*2^797702-1 is not prime. Res64: AAF51AE7C683F1C1 Time : 916.0 sec. user=vaughan [2011-03-05 04:04:32] 977*2^797702-1 is not prime. Res64: 6136D89EBBAA3153 Time : 920.0 sec. user=vaughan [2011-03-05 04:11:28] 863*2^797704-1 is not prime. Res64: E2C74B391F71084E Time : 922.0 sec. user=vaughan [2011-03-05 04:14:07] 869*2^797704-1 is not prime. Res64: 6950CE2B94F3C4D6 Time : 951.0 sec. user=vaughan [2011-03-05 04:18:30] 875*2^797704-1 is not prime. Res64: ADB7433519A97B0D Time : 909.0 sec. user=vaughan [2011-03-05 04:19:43] 917*2^797704-1 is not prime. Res64: A405560498E2F2E3 Time : 911.0 sec. user=vaughan [2011-03-05 04:26:36] 885*2^797705-1 is not prime. Res64: B2913A911254FD3C Time : 908.0 sec. user=vaughan [2011-03-05 04:30:05] 949*2^797705-1 is not prime. Res64: 0FE02961C385B750 Time : 958.0 sec. user=vaughan [2011-03-05 04:33:46] 981*2^797705-1 is not prime. Res64: 7F311B827AC66BC2 Time : 916.0 sec. user=vaughan [2011-03-05 04:35:03] 873*2^797706-1 is not prime. Res64: A338162CC966B983 Time : 920.0 sec. user=vaughan [2011-03-05 04:41:53] 923*2^797706-1 is not prime. Res64: F8ABFB21A7D467FD Time : 918.0 sec. user=vaughan [2011-03-05 04:45:51] 933*2^797706-1 is not prime. Res64: E9E2A853DA13EFA9 Time : 946.0 sec. user=vaughan [2011-03-05 04:48:55] 971*2^797706-1 is not prime. Res64: A4E99810E3BE2EF5 Time : 910.0 sec. user=vaughan [2011-03-05 04:50:14] 993*2^797706-1 is not prime. Res64: BD142168A40ABDB4 Time : 912.0 sec. user=vaughan [2011-03-05 04:57:01] 1001*2^797706-1 is not prime. Res64: 0C78E0B8F6C2817D Time : 909.0 sec. user=vaughan [2011-03-05 05:01:36] 931*2^797707-1 is not prime. Res64: FB676438120DF971 Time : 946.0 sec. user=vaughan [2011-03-05 05:04:05] 975*2^797707-1 is not prime. Res64: 6731EB78BBB42F73 Time : 910.0 sec. user=vaughan [2011-03-05 05:05:25] 825*2^797708-1 is not prime. Res64: 72458ACA55BA6BFC Time : 911.0 sec. user=vaughan [2011-03-05 05:12:08] 833*2^797708-1 is not prime. Res64: F6B9A2DFE5F9C5C2 Time : 907.0 sec. user=vaughan [2011-03-05 05:17:21] 963*2^797708-1 is not prime. Res64: D179C72C278C1B28 Time : 945.0 sec. user=vaughan [2011-03-05 05:19:13] 817*2^797709-1 is not prime. Res64: C75BE4A34FD66003 Time : 908.0 sec. user=vaughan [2011-03-05 05:20:36] 945*2^797709-1 is not prime. Res64: 89314B78909F199E Time : 911.0 sec. user=vaughan [2011-03-05 05:27:14] 813*2^797710-1 is not prime. Res64: C05CB326F63769A4 Time : 907.0 sec. user=vaughan [2011-03-05 05:33:07] 923*2^797710-1 is not prime. Res64: B03C0DE3C942CC17 Time : 946.0 sec. user=vaughan [2011-03-05 05:34:23] 859*2^797711-1 is not prime. Res64: A6F5688DAF355B55 Time : 910.0 sec. user=vaughan [2011-03-05 05:35:46] 883*2^797711-1 is not prime. Res64: 31180AFDC5C1EB67 Time : 911.0 sec. user=vaughan [2011-03-05 05:42:23] 955*2^797711-1 is not prime. Res64: 5C244DBFB6C6BE21 Time : 909.0 sec. user=vaughan [2011-03-05 05:48:51] 979*2^797711-1 is not prime. Res64: 261F94A004A65BCE Time : 945.0 sec. user=vaughan [2011-03-05 05:49:36] 981*2^797711-1 is not prime. Res64: CF45253B61F3CE50 Time : 913.0 sec. user=vaughan [2011-03-05 05:50:58] 825*2^797712-1 is not prime. Res64: FE6EBD27040315E7 Time : 912.0 sec. user=vaughan [2011-03-05 05:57:35] 875*2^797712-1 is not prime. Res64: C3CC881DD2EECDEE Time : 913.0 sec. user=vaughan [2011-03-05 06:07:26] 877*2^797713-1 is not prime. Res64: 5F12B51410C97577 Time : 1071.0 sec. user=vaughan [2011-03-05 06:08:57] 805*2^797713-1 is not prime. Res64: E9D197737E6D6CA2 Time : 1206.0 sec. user=vaughan [2011-03-05 06:09:06] 937*2^797713-1 is not prime. Res64: FF4A47B5D0B7BEAB Time : 1089.0 sec. user=vaughan [2011-03-05 06:17:17] 957*2^797713-1 is not prime. Res64: ED6D75B7E446A55E Time : 1182.0 sec. user=ototero [2011-03-05 06:25:00] 903*2^797692-1 is not prime. Res64: 246F6A38F6E6D508 Time : 12223.0 sec. user=ototero [2011-03-05 06:25:00] 959*2^797692-1 is not prime. Res64: 0B283A16473884FA Time : 12223.0 sec. user=ototero [2011-03-05 06:25:01] 937*2^797693-1 is not prime. Res64: 28929C1E1C9D6382 Time : 12224.0 sec. user=ototero [2011-03-05 06:25:01] 947*2^797694-1 is not prime. Res64: F9930CF61F623D2A Time : 12223.0 sec. user=ototero [2011-03-05 06:25:01] 951*2^797694-1 is not prime. Res64: 9444FA7959B848B8 Time : 12223.0 sec. user=ototero [2011-03-05 06:25:02] 913*2^797695-1 is not prime. Res64: B9166C2CCED4646A Time : 12224.0 sec. user=ototero [2011-03-05 06:25:02] 867*2^797696-1 is not prime. Res64: 3573BABBFF7087D8 Time : 12223.0 sec. user=ototero [2011-03-05 06:25:02] 891*2^797697-1 is not prime. Res64: 622CC042CAE81099 Time : 12223.0 sec. user=ototero [2011-03-05 06:25:02] 915*2^797697-1 is not prime. Res64: A9E4C1F45288EE96 Time : 12223.0 sec. user=ototero [2011-03-05 06:25:03] 937*2^797697-1 is not prime. Res64: 07DDD81187DF2529 Time : 12223.0 sec. user=vaughan [2011-03-05 06:27:57] 967*2^797713-1 is not prime. Res64: 2E04A2D3AF2C3E95 Time : 1231.0 sec. user=vaughan [2011-03-05 06:29:19] 903*2^797714-1 is not prime. Res64: 9459DF658079E88F Time : 1213.0 sec. user=vaughan [2011-03-05 06:34:06] 851*2^797714-1 is not prime. Res64: 0A2F4DA5F345EB6F Time : 1510.0 sec. user=vaughan [2011-03-05 06:36:55] 917*2^797714-1 is not prime. Res64: 9A12A5CB20B3A851 Time : 1178.0 sec. user=vaughan [2011-03-05 06:48:22] 975*2^797718-1 is not prime. Res64: 87D2970FFF061F3D Time : 1226.0 sec. user=vaughan [2011-03-05 06:49:31] 829*2^797719-1 is not prime. Res64: F9F721B15AD9A1A8 Time : 1212.0 sec. user=vaughan [2011-03-05 06:56:33] 913*2^797719-1 is not prime. Res64: D075CC9FDFFCC9BD Time : 1178.0 sec. user=vaughan [2011-03-05 06:59:11] 855*2^797719-1 is not prime. Res64: 01B5F8426A8D8C9F Time : 1505.0 sec. user=vaughan [2011-03-05 07:08:45] 919*2^797719-1 is not prime. Res64: D1696A0B087A1A05 Time : 1223.0 sec. user=vaughan [2011-03-05 07:09:38] 961*2^797719-1 is not prime. Res64: B4D2FB71B156EBA3 Time : 1208.0 sec. user=vaughan [2011-03-05 07:16:09] 845*2^797720-1 is not prime. Res64: 9C6384E024FFDDB4 Time : 1176.0 sec. user=vaughan [2011-03-05 07:24:15] 923*2^797720-1 is not prime. Res64: A9A422EAD2EAB681 Time : 1504.0 sec. user=vaughan [2011-03-05 07:29:06] 927*2^797720-1 is not prime. Res64: BADB6B28E031DB49 Time : 1222.0 sec. user=vaughan [2011-03-05 07:29:49] 835*2^797721-1 is not prime. Res64: 4E15C191731F670E Time : 1212.0 sec. user=vaughan [2011-03-05 07:35:52] 865*2^797721-1 is not prime. Res64: 4FE8703CC9B75EF8 Time : 1183.0 sec. user=vaughan [2011-03-05 07:49:20] 877*2^797721-1 is not prime. Res64: D4E455A9EE692E9C Time : 1505.0 sec. user=vaughan [2011-03-05 07:49:36] 873*2^797722-1 is not prime. Res64: AA2FBACD57CE2E2B Time : 1230.0 sec. user=vaughan [2011-03-05 07:49:55] 885*2^797722-1 is not prime. Res64: 36D6DF9FD4BE9FEF Time : 1206.0 sec. user=vaughan [2011-03-05 07:55:33] 887*2^797722-1 is not prime. Res64: F9A6BA7EF74178DC Time : 1182.0 sec. user=vaughan [2011-03-05 08:09:53] 923*2^797722-1 is not prime. Res64: F148BA9B23FBC629 Time : 1217.0 sec. user=vaughan [2011-03-05 08:10:04] 945*2^797722-1 is not prime. Res64: 38B1C5A870DD3C44 Time : 1209.0 sec. user=vaughan [2011-03-05 08:14:17] 915*2^797722-1 is not prime. Res64: D387495CF9A6994E Time : 1497.0 sec. user=vaughan [2011-03-05 08:15:12] 951*2^797722-1 is not prime. Res64: F649D2BD0CE5532D Time : 1179.0 sec. user=vaughan [2011-03-05 08:30:11] 913*2^797723-1 is not prime. Res64: 4EAD89D8AF126821 Time : 1218.0 sec. user=vaughan [2011-03-05 08:30:14] 915*2^797723-1 is not prime. Res64: F01EDD3B5FC32B66 Time : 1210.0 sec. user=vaughan [2011-03-05 08:34:58] 991*2^797723-1 is not prime. Res64: 66358391C64C85E1 Time : 1186.0 sec. user=vaughan [2011-03-05 08:38:56] 921*2^797723-1 is not prime. Res64: 4AF43B978EA43493 Time : 1479.0 sec. user=ototero [2011-03-05 10:24:23] 979*2^797715-1 is not prime. Res64: 3BF21EAAA1DA124F Time : 14360.0 sec. user=ototero [2011-03-05 10:24:24] 985*2^797715-1 is not prime. Res64: 7E42D81E416391FE Time : 14360.0 sec. user=ototero [2011-03-05 10:24:24] 875*2^797716-1 is not prime. Res64: 77324789C5880523 Time : 14359.0 sec. user=ototero [2011-03-05 10:24:24] 899*2^797716-1 is not prime. Res64: 3AA3BE74662EBA08 Time : 14359.0 sec. user=ototero [2011-03-05 10:24:24] 923*2^797716-1 is not prime. Res64: C23959884E5F74EB Time : 14359.0 sec. user=ototero [2011-03-05 10:24:24] 953*2^797716-1 is not prime. Res64: 3B29DE35CAB9A857 Time : 14358.0 sec. user=ototero [2011-03-05 10:24:25] 989*2^797716-1 is not prime. Res64: 93E59B743AF872E0 Time : 14359.0 sec. user=ototero [2011-03-05 10:24:25] 955*2^797717-1 is not prime. Res64: 86CE4388A6286275 Time : 14359.0 sec. user=ototero [2011-03-05 10:24:25] 957*2^797717-1 is not prime. Res64: 96DDE04537AE0939 Time : 14358.0 sec. user=ototero [2011-03-05 10:24:25] 971*2^797718-1 is not prime. Res64: 78008E5D2A81E3F7 Time : 14358.0 sec. user=ototero [2011-03-05 13:40:56] 889*2^797725-1 is not prime. Res64: 15738DDD767EC38C Time : 11791.0 sec. user=ototero [2011-03-05 13:40:57] 897*2^797725-1 is not prime. Res64: F7BF2FF222D76425 Time : 11791.0 sec. user=ototero [2011-03-05 13:40:57] 939*2^797725-1 is not prime. Res64: F51906F60317CB35 Time : 11791.0 sec. user=ototero [2011-03-05 13:40:58] 867*2^797726-1 is not prime. Res64: 8139D7A17D2B2EE3 Time : 11792.0 sec. user=ototero [2011-03-05 13:40:58] 873*2^797726-1 is not prime. Res64: 29C26FC755F3D610 Time : 11791.0 sec. user=ototero [2011-03-05 13:40:59] 887*2^797726-1 is not prime. Res64: 1963005553211504 Time : 11791.0 sec. user=ototero [2011-03-05 13:40:59] 911*2^797726-1 is not prime. Res64: D948461EB99CD0D0 Time : 11791.0 sec. user=ototero [2011-03-05 13:41:00] 963*2^797726-1 is not prime. Res64: 22E342DDE22D9FB0 Time : 11791.0 sec. user=ototero [2011-03-05 13:41:00] 983*2^797726-1 is not prime. Res64: 69574AEFCA9B6707 Time : 11791.0 sec. user=ototero [2011-03-05 13:41:01] 985*2^797727-1 is not prime. Res64: C696E6FA235F51CA Time : 11792.0 sec. user=ototero [2011-03-05 16:55:32] 901*2^797167-1 is not prime. Res64: CAF82D4B8D1AEBE6 Time : 11670.0 sec. user=ototero [2011-03-05 16:55:32] 915*2^797167-1 is not prime. Res64: 986D696BE749F0E7 Time : 11670.0 sec. user=ototero [2011-03-05 16:55:33] 925*2^797167-1 is not prime. Res64: CD7F856FD2E87F5F Time : 11670.0 sec. user=ototero [2011-03-05 16:55:33] 993*2^797167-1 is not prime. Res64: C4F2318FF5554D2E Time : 11669.0 sec. user=ototero [2011-03-05 16:55:33] 813*2^797168-1 is not prime. Res64: E5CD05FA11355FA4 Time : 11668.0 sec. user=ototero [2011-03-05 16:55:33] 843*2^797168-1 is not prime. Res64: B3E44BCC466850E7 Time : 11667.0 sec. user=ototero [2011-03-05 16:55:33] 845*2^797168-1 is not prime. Res64: F7D24FE1FB72433A Time : 11665.0 sec. user=ototero [2011-03-05 16:55:33] 875*2^797168-1 is not prime. Res64: 8BAE9B745C48C404 Time : 11664.0 sec. user=ototero [2011-03-05 16:55:34] 923*2^797168-1 is not prime. Res64: 1C036AC7456EFE0C Time : 11664.0 sec. user=ototero [2011-03-05 16:55:34] 929*2^797168-1 is not prime. Res64: 6D5B43B54786B5D8 Time : 11662.0 sec. user=vaughan [2011-03-05 18:13:12] 831*2^797725-1 is not prime. Res64: C213D14C26963DFA Time : 34978.0 sec. user=vaughan [2011-03-05 18:13:25] 923*2^797724-1 is not prime. Res64: A8EB750B5CF4F100 Time : 34994.0 sec. user=vaughan [2011-03-05 18:19:43] 849*2^797725-1 is not prime. Res64: 3556263AF8D1D129 Time : 35086.0 sec. user=vaughan [2011-03-05 18:28:28] 867*2^797725-1 is not prime. Res64: C2210ED85174AB9B Time : 35372.0 sec. user=vaughan [2011-03-05 18:30:14] 871*2^797171-1 is not prime. Res64: EC7D2FFFF95BDD9A Time : 1919.0 sec. user=vaughan [2011-03-05 18:38:51] 977*2^797172-1 is not prime. Res64: 67486B84643C2954 Time : 1539.0 sec. user=vaughan [2011-03-05 18:39:26] 885*2^797173-1 is not prime. Res64: 0511E172F1121B4F Time : 1561.0 sec. user=vaughan [2011-03-05 18:42:27] 813*2^797171-1 is not prime. Res64: EEEA41BD660701DA Time : 2660.0 sec. user=vaughan [2011-03-05 18:42:30] 855*2^797171-1 is not prime. Res64: E8CADEB9AF72DC90 Time : 2658.0 sec. user=vaughan [2011-03-05 18:42:39] 895*2^797171-1 is not prime. Res64: E676C057C9E5120C Time : 2661.0 sec. user=vaughan [2011-03-05 18:44:00] 939*2^797173-1 is not prime. Res64: 1637FDBB7F6D365D Time : 1457.0 sec. user=vaughan [2011-03-05 18:50:16] 979*2^797173-1 is not prime. Res64: B29D9A9D68A41AF2 Time : 1309.0 sec. user=vaughan [2011-03-05 18:54:34] 819*2^797172-1 is not prime. Res64: 3C3D28BA128FE2F7 Time : 3304.0 sec. user=vaughan [2011-03-05 18:54:44] 825*2^797174-1 is not prime. Res64: 7AA4B7E8916E065D Time : 954.0 sec. user=vaughan [2011-03-05 18:54:53] 873*2^797172-1 is not prime. Res64: AE47C62EFDACBD06 Time : 3322.0 sec. user=vaughan [2011-03-05 18:55:02] 857*2^797174-1 is not prime. Res64: 7489681640EB94DF Time : 936.0 sec. user=vaughan [2011-03-05 19:01:05] 897*2^797174-1 is not prime. Res64: 8455BDDA054F85CB Time : 1025.0 sec. user=vaughan [2011-03-05 19:06:50] 921*2^797174-1 is not prime. Res64: DC4537D530F38380 Time : 994.0 sec. user=vaughan [2011-03-05 19:10:03] 921*2^797175-1 is not prime. Res64: D0EE82C7B3C79F98 Time : 919.0 sec. user=vaughan [2011-03-05 19:10:12] 989*2^797176-1 is not prime. Res64: A39069CFBB6FF0EF Time : 911.0 sec. user=kar_bon [2011-03-05 19:16:15] 911*2^797522-1 is not prime. Res64: 0BB255A1257C88E2 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:15] 935*2^797522-1 is not prime. Res64: DE184D1ADD106992 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:16] 849*2^797523-1 is not prime. Res64: 48F032401D85A95E Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:16] 963*2^797523-1 is not prime. Res64: FD60128904125E56 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:16] 969*2^797523-1 is not prime. Res64: 5F5B58DEBD284EBF Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:16] 803*2^797524-1 is not prime. Res64: 8F1FD55C34B1733A Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:17] 873*2^797524-1 is not prime. Res64: D2BE961BBAC9AD6C Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:17] 865*2^797525-1 is not prime. Res64: B2E5F65C239417A9 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:17] 851*2^797526-1 is not prime. Res64: 3A663845E9238BCF Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:17] 959*2^797524-1 is not prime. Res64: BA41B7AD6857E069 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:17] 923*2^797526-1 is not prime. Res64: 24C75C5E7A08DCFA Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:18] 815*2^797526-1 is not prime. Res64: 8BCF28E311EE6DDD Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:18] 843*2^797527-1 is not prime. Res64: 04EFD149BCC4362F Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:18] 867*2^797526-1 is not prime. Res64: 76D002CB0F96841F Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:18] 861*2^797527-1 is not prime. Res64: 737638B3C1FBF292 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:19] 945*2^797526-1 is not prime. Res64: 6C07F1D8D096E781 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:19] 895*2^797527-1 is not prime. Res64: DFF47423B76A76F6 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:19] 849*2^797527-1 is not prime. Res64: 3F066C9DD84D7475 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:19] 999*2^797529-1 is not prime. Res64: 02315EEA20302887 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:19] 885*2^797527-1 is not prime. Res64: D0A7131E79B4EADB Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:20] 867*2^797530-1 is not prime. Res64: 213F2367C6E3FF71 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:20] 963*2^797528-1 is not prime. Res64: E3DB1A5EC1B1DE13 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:20] 1001*2^797530-1 is not prime. Res64: ED2C9725695E9E4E Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:20] 825*2^797530-1 is not prime. Res64: 2C9056C102FAF149 Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:20] 825*2^797532-1 is not prime. Res64: 631911E619F2A8C3 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:20] 873*2^797530-1 is not prime. Res64: 7B38DB312C207F7C Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:20] 807*2^797529-1 is not prime. Res64: 96D0DD589B18C0AD Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:20] 981*2^797533-1 is not prime. Res64: EAD6EEADDB559324 Time : 87876.0 sec. user=kar_bon [2011-03-05 19:16:21] 883*2^797531-1 is not prime. Res64: 27F04F7B610779CF Time : 87877.0 sec. user=kar_bon [2011-03-05 19:16:23] 857*2^797530-1 is not prime. Res64: 2DF9112E57F58DAF Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:23] 927*2^797534-1 is not prime. Res64: B9E835894BAA4DFA Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:23] 887*2^797532-1 is not prime. Res64: 113C752FE7F62F49 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:24] 941*2^797530-1 is not prime. Res64: A0A788D72C242294 Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:24] 933*2^797535-1 is not prime. Res64: 43B520164B9C4600 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:24] 813*2^797534-1 is not prime. Res64: F43FAC862FAC0904 Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:24] 999*2^797531-1 is not prime. Res64: 626A018721A26A73 Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:24] 927*2^797536-1 is not prime. Res64: B8E529B1AA6612FE Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:24] 945*2^797534-1 is not prime. Res64: 78D743294032A229 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:24] 811*2^797533-1 is not prime. Res64: 1414825979318E8C Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:24] 861*2^797537-1 is not prime. Res64: BEC914F2D3B1A6D6 Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:24] 857*2^797536-1 is not prime. Res64: F5A2DACEE2CA9445 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:24] 831*2^797534-1 is not prime. Res64: C67618A95AE1C928 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:25] 921*2^797538-1 is not prime. Res64: 0983004E089BAC7C Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:25] 975*2^797536-1 is not prime. Res64: B64B23D409C74C61 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:25] 819*2^797535-1 is not prime. Res64: 5CE7A893C07A4E04 Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:25] 853*2^797539-1 is not prime. Res64: F3F28FAC67F67BC6 Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:25] 937*2^797537-1 is not prime. Res64: 8A1E29478112ED03 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:25] 905*2^797536-1 is not prime. Res64: 26B26064C9F821F9 Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:25] 813*2^797539-1 is not prime. Res64: E0987969029526F1 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:25] 943*2^797539-1 is not prime. Res64: 09B38163E45D8102 Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:25] 983*2^797536-1 is not prime. Res64: 3FF00FF81CC1AF36 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:25] 891*2^797539-1 is not prime. Res64: 6223435E227D1B80 Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:25] 991*2^797541-1 is not prime. Res64: FE7E20691237FC97 Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:25] 905*2^797538-1 is not prime. Res64: D451EFC5ED2DB2BC Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:26] 861*2^797541-1 is not prime. Res64: 7BD584D3A2F7E525 Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:26] 885*2^797543-1 is not prime. Res64: F1283FBED6114573 Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:26] 829*2^797539-1 is not prime. Res64: 03CB23A07698A39E Time : 87880.0 sec. user=kar_bon [2011-03-05 19:16:26] 923*2^797542-1 is not prime. Res64: 7D5C09177E3F8E4E Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:26] 855*2^797536-1 is not prime. Res64: 5C7A7FAB966B0B39 Time : 87881.0 sec. user=kar_bon [2011-03-05 19:16:26] 811*2^797545-1 is not prime. Res64: AD202C227EA0A59A Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:26] 919*2^797539-1 is not prime. Res64: F0EE503398FE151A Time : 87879.0 sec. user=kar_bon [2011-03-05 19:16:26] 809*2^797544-1 is not prime. Res64: BF6617027F381F0B Time : 87878.0 sec. user=kar_bon [2011-03-05 19:16:30] 965*2^797536-1 is not prime. Res64: 6FFE9DE8AA1CDDD6 Time : 87884.0 sec. user=kar_bon [2011-03-05 19:16:30] 949*2^797541-1 is not prime. Res64: B287318394CD4D1A Time : 87883.0 sec. user=kar_bon [2011-03-05 19:16:30] 999*2^797545-1 is not prime. Res64: C1BEF11BB070BCC1 Time : 87881.0 sec. user=kar_bon [2011-03-05 19:16:30] 925*2^797545-1 is not prime. Res64: 802ED4F92C649CEA Time : 87881.0 sec. user=kar_bon [2011-03-05 19:16:31] 901*2^797537-1 is not prime. Res64: BFAFB080C8346560 Time : 87885.0 sec. user=kar_bon [2011-03-05 19:16:32] 951*2^797542-1 is not prime. Res64: BCB2A69A0B368414 Time : 87884.0 sec. user=kar_bon [2011-03-05 19:16:32] 911*2^797546-1 is not prime. Res64: 5BF81BE369DE1F2E Time : 87883.0 sec. user=kar_bon [2011-03-05 19:16:32] 861*2^797546-1 is not prime. Res64: A50EB00F853F7E35 Time : 87883.0 sec. user=kar_bon [2011-03-05 19:16:33] 923*2^797538-1 is not prime. Res64: 87DC7F658D10975F Time : 87887.0 sec. user=kar_bon [2011-03-05 19:16:34] 959*2^797544-1 is not prime. Res64: 845D6450ABA175F3 Time : 87886.0 sec. user=kar_bon [2011-03-05 19:16:34] 903*2^797547-1 is not prime. Res64: 674F9EA6011C65C5 Time : 87884.0 sec. user=kar_bon [2011-03-05 19:16:35] 805*2^797547-1 is not prime. Res64: 3DCEDA39B15C61AA Time : 87886.0 sec. user=kar_bon [2011-03-05 19:16:35] 885*2^797539-1 is not prime. Res64: BFEADEC7A90D18C6 Time : 87888.0 sec. user=kar_bon [2011-03-05 19:16:35] 937*2^797545-1 is not prime. Res64: DFE1B28C23BDE8F1 Time : 87886.0 sec. user=kar_bon [2011-03-05 19:16:36] 885*2^797548-1 is not prime. Res64: DC09E7953A18A5F0 Time : 87886.0 sec. user=kar_bon [2011-03-05 19:16:37] 963*2^797547-1 is not prime. Res64: 4D4E39E602910882 Time : 87887.0 sec. user=kar_bon [2011-03-05 19:16:37] 999*2^797539-1 is not prime. Res64: B2FF55DF10D93FCF Time : 87890.0 sec. user=kar_bon [2011-03-05 19:16:37] 887*2^797546-1 is not prime. Res64: 541D54FADED1B5AE Time : 87888.0 sec. user=kar_bon [2011-03-05 19:16:37] 957*2^797549-1 is not prime. Res64: 6DDF51B25F9FDC29 Time : 87887.0 sec. user=kar_bon [2011-03-05 19:16:38] 831*2^797549-1 is not prime. Res64: 1B4175701C8E1ED1 Time : 87888.0 sec. user=kar_bon [2011-03-05 19:16:39] 831*2^797542-1 is not prime. Res64: 53673BA07C810C15 Time : 87892.0 sec. user=kar_bon [2011-03-05 19:16:39] 859*2^797547-1 is not prime. Res64: C2766FD01A64A595 Time : 87890.0 sec. user=kar_bon [2011-03-05 19:16:39] 927*2^797550-1 is not prime. Res64: FEC65A9F40986182 Time : 87888.0 sec. user=kar_bon [2011-03-05 19:16:40] 861*2^797550-1 is not prime. Res64: 711C2E8BBBB356CD Time : 87890.0 sec. user=kar_bon [2011-03-05 19:16:40] 939*2^797543-1 is not prime. Res64: 86664286DF04D288 Time : 87892.0 sec. user=kar_bon [2011-03-05 19:16:41] 991*2^797547-1 is not prime. Res64: 6F7E40D386D6A276 Time : 87891.0 sec. user=kar_bon [2011-03-05 19:16:42] 859*2^797551-1 is not prime. Res64: 6F4CEDF05C6D7303 Time : 87891.0 sec. user=kar_bon [2011-03-05 19:16:42] 963*2^797550-1 is not prime. Res64: 6375595AF8491533 Time : 87891.0 sec. user=kar_bon [2011-03-05 19:16:42] 871*2^797545-1 is not prime. Res64: 17712961593310A1 Time : 87894.0 sec. user=kar_bon [2011-03-05 19:16:43] 837*2^797549-1 is not prime. Res64: 7F4BB99E1B52BEFE Time : 87893.0 sec. user=kar_bon [2011-03-05 19:16:44] 963*2^797552-1 is not prime. Res64: EADCEF0FBBE7B92D Time : 87892.0 sec. user=kar_bon [2011-03-05 19:16:44] 979*2^797551-1 is not prime. Res64: 46B8F2EF0E056F28 Time : 87893.0 sec. user=kar_bon [2011-03-05 19:16:44] 831*2^797546-1 is not prime. Res64: 91AF81D4BBF97580 Time : 87895.0 sec. user=kar_bon [2011-03-05 19:16:45] 873*2^797550-1 is not prime. Res64: A2FA206F6E6FCC45 Time : 87894.0 sec. user=kar_bon [2011-03-05 19:16:45] 969*2^797553-1 is not prime. Res64: 7D711E7FB5DC6708 Time : 87893.0 sec. user=kar_bon [2011-03-05 19:16:46] 895*2^797553-1 is not prime. Res64: E9CB0A385F122902 Time : 87894.0 sec. user=kar_bon [2011-03-05 19:16:46] 935*2^797546-1 is not prime. Res64: 079660388B170584 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:47] 811*2^797551-1 is not prime. Res64: 0D81623B014E4B28 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:47] 825*2^797555-1 is not prime. Res64: 09442D8757328764 Time : 87895.0 sec. user=kar_bon [2011-03-05 19:16:47] 857*2^797554-1 is not prime. Res64: FB65C7C3C27EFC7D Time : 87895.0 sec. user=kar_bon [2011-03-05 19:16:48] 919*2^797547-1 is not prime. Res64: E48E825CD5FBA72F Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:49] 825*2^797552-1 is not prime. Res64: 39E3046347AC6FD5 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:49] 927*2^797556-1 is not prime. Res64: 14BA39D90986D331 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:49] 991*2^797555-1 is not prime. Res64: DEE276F4AAD1830E Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:50] 999*2^797548-1 is not prime. Res64: 3147B4721AEDB37E Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:51] 915*2^797553-1 is not prime. Res64: F6CE2205F45FBA30 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:51] 975*2^797556-1 is not prime. Res64: 23A267889095D8BF Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:51] 979*2^797549-1 is not prime. Res64: 0AE36280E45DF871 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:51] 903*2^797554-1 is not prime. Res64: 15BEE44C07BDCE17 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:51] 931*2^797557-1 is not prime. Res64: AA423B3E7A4DEA53 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:51] 951*2^797550-1 is not prime. Res64: E22C9D512184C456 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:51] 873*2^797556-1 is not prime. Res64: D36813E7F5B64155 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:52] 997*2^797557-1 is not prime. Res64: 2FA55517400FBBB2 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:52] 883*2^797551-1 is not prime. Res64: 8C62BE6FAE371FCC Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:52] 805*2^797557-1 is not prime. Res64: 59FFA6C8667D2944 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:52] 861*2^797559-1 is not prime. Res64: AD9908532BCF87E8 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:52] 889*2^797553-1 is not prime. Res64: 4D97C64A4ED09EB6 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:52] 945*2^797557-1 is not prime. Res64: 2D6A9EF5931030C0 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:52] 951*2^797559-1 is not prime. Res64: B0ED0C98FE7F3242 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:52] 855*2^797554-1 is not prime. Res64: 55BAFF571A1F1D65 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:52] 885*2^797558-1 is not prime. Res64: D95CF64F752812FC Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:52] 849*2^797560-1 is not prime. Res64: 9E9FA7BC1ABCA222 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:52] 979*2^797555-1 is not prime. Res64: 2F7D0DCCC72E205D Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:52] 913*2^797559-1 is not prime. Res64: 33E90F86B59FD965 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:53] 811*2^797561-1 is not prime. Res64: 6B4A635DE0FEF3AB Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:53] 945*2^797556-1 is not prime. Res64: 7405171F189D79D2 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:53] 975*2^797559-1 is not prime. Res64: 5F89975146394DE4 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:53] 803*2^797562-1 is not prime. Res64: 1CBC14CDDBD87B67 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:53] 897*2^797557-1 is not prime. Res64: 859ED0A7D33EEBAE Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:53] 917*2^797560-1 is not prime. Res64: 8C0BFA61E8EF5F08 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:53] 975*2^797562-1 is not prime. Res64: 945CF20369A781FE Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:53] 845*2^797558-1 is not prime. Res64: B0F4A091B81D026B Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:53] 931*2^797561-1 is not prime. Res64: 2707486549757426 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:53] 895*2^797559-1 is not prime. Res64: E4214C1399462C63 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:53] 893*2^797562-1 is not prime. Res64: 59F68A30E0107A99 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:54] 955*2^797559-1 is not prime. Res64: C1D2ECC9C7B7234A Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:54] 901*2^797563-1 is not prime. Res64: C77FFDCB4E40979E Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:54] 887*2^797560-1 is not prime. Res64: A31DBB5FBFC33912 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:54] 857*2^797564-1 is not prime. Res64: 0542B19DB06E0B40 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:54] 901*2^797561-1 is not prime. Res64: 1315C527B1F656FA Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:54] 889*2^797557-1 is not prime. Res64: 257F5254B61357F6 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:55] 815*2^797566-1 is not prime. Res64: 79EAAB74BCC42B2D Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:55] 843*2^797562-1 is not prime. Res64: 95E820FCF64A5362 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:55] 975*2^797557-1 is not prime. Res64: 1CCFE7A502DC47FB Time : 87902.0 sec. user=kar_bon [2011-03-05 19:16:55] 1001*2^797566-1 is not prime. Res64: 81C0E42D87C5C70B Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:55] 855*2^797563-1 is not prime. Res64: B7B8092D7CBAFA89 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:55] 893*2^797558-1 is not prime. Res64: C442355B4DAD2DD6 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:55] 981*2^797567-1 is not prime. Res64: 67BC60CE0DC3C383 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:55] 999*2^797563-1 is not prime. Res64: 759DC74BD6899DE4 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:55] 949*2^797559-1 is not prime. Res64: 850E0F51A2E96025 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:55] 847*2^797569-1 is not prime. Res64: 2D67A884E526FDAF Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:55] 969*2^797565-1 is not prime. Res64: 061FC69809F03027 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:55] 813*2^797560-1 is not prime. Res64: 0DABFD466437A044 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:55] 927*2^797570-1 is not prime. Res64: 3E19871417A2E119 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:56] 987*2^797566-1 is not prime. Res64: 5E9A42F8512E93D5 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:56] 975*2^797560-1 is not prime. Res64: AC5C788083ADD673 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:56] 943*2^797571-1 is not prime. Res64: F064E4E4BB7B5291 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:56] 979*2^797567-1 is not prime. Res64: 4E3F9982803D8FB6 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:56] 937*2^797561-1 is not prime. Res64: 486D4E5CA1A4AAB8 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:56] 909*2^797572-1 is not prime. Res64: F1FD0B7EA13D6C39 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:56] 909*2^797568-1 is not prime. Res64: E2D0C9A1624C17F1 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:56] 917*2^797562-1 is not prime. Res64: 089E6DBE0DFBD68C Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:56] 861*2^797573-1 is not prime. Res64: 8F12E193A0159484 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:56] 831*2^797570-1 is not prime. Res64: 3E9FEF54E200A5A1 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:56] 919*2^797563-1 is not prime. Res64: 9B81203880FAA0FE Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:56] 891*2^797574-1 is not prime. Res64: 2A9D4815B20FC813 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:56] 913*2^797571-1 is not prime. Res64: 82DC41F2C6CB7D20 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:57] 811*2^797565-1 is not prime. Res64: 24B71CFA36188EA2 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:16:57] 859*2^797575-1 is not prime. Res64: 77B3639A43AA8A8D Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:57] 873*2^797572-1 is not prime. Res64: C9C394C1ABBD04E8 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:57] 945*2^797566-1 is not prime. Res64: 31F63EA97F4E2BEE Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:57] 855*2^797576-1 is not prime. Res64: 35711B5B52C77373 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:57] 847*2^797573-1 is not prime. Res64: FF0FFCC91E910C0D Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:57] 861*2^797567-1 is not prime. Res64: 63A9C189272B00DE Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:57] 949*2^797577-1 is not prime. Res64: 7DEE0C12FF91E279 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:57] 991*2^797573-1 is not prime. Res64: 1465F5BACE6D04DE Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:57] 879*2^797568-1 is not prime. Res64: 281C0300CDACA6C0 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:57] 827*2^797578-1 is not prime. Res64: BB98C335EDE57D1B Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:57] 819*2^797575-1 is not prime. Res64: 44D6D155D7580782 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:57] 885*2^797569-1 is not prime. Res64: 500E094C40EFFB0E Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:58] 973*2^797579-1 is not prime. Res64: D000E51CAAF9BE1B Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:58] 985*2^797575-1 is not prime. Res64: 2F8F8C060A662EA9 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:58] 801*2^797571-1 is not prime. Res64: 66EDDB0848597D4D Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:58] 927*2^797580-1 is not prime. Res64: 4F6F3C5BC2E9DDA5 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:58] 945*2^797577-1 is not prime. Res64: E3EFCB707BA7F63E Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:58] 973*2^797571-1 is not prime. Res64: 4B06E5016B6A1C35 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:16:58] 855*2^797581-1 is not prime. Res64: 8EE417800B369658 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:58] 825*2^797578-1 is not prime. Res64: 827EBD4AB2E31DBD Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:58] 999*2^797572-1 is not prime. Res64: A61430290C899A50 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:58] 859*2^797583-1 is not prime. Res64: BCE33AA58F846FEA Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:58] 885*2^797579-1 is not prime. Res64: 1BDBA5DA2CA5F5B9 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:58] 871*2^797573-1 is not prime. Res64: 666A82D6325486F1 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:59] 807*2^797584-1 is not prime. Res64: 2CA4E1310E9CF031 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:59] 867*2^797580-1 is not prime. Res64: 92F5670144AD737D Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:59] 971*2^797574-1 is not prime. Res64: 2F276E1725A83D6D Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:59] 999*2^797580-1 is not prime. Res64: 96B5E0B396B8562D Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:59] 951*2^797575-1 is not prime. Res64: B0A6DE9E50C38736 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:59] 975*2^797581-1 is not prime. Res64: CFCB467849B3B61F Time : 87897.0 sec. user=kar_bon [2011-03-05 19:16:59] 885*2^797577-1 is not prime. Res64: 3C95AFF979F75C50 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:16:59] 985*2^797583-1 is not prime. Res64: EE71EAE1AF63D151 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:16:59] 979*2^797577-1 is not prime. Res64: D01FCB8D9A1913D3 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:16:59] 875*2^797584-1 is not prime. Res64: D24463EA9CE7EA62 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:17:00] 801*2^797579-1 is not prime. Res64: 8F692817642C1918 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:00] 949*2^797585-1 is not prime. Res64: AB931071D534E4D1 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:17:00] 979*2^797579-1 is not prime. Res64: F8F8CCB186D4F6CC Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:00] 963*2^797586-1 is not prime. Res64: F0EF8B7BD628100F Time : 87896.0 sec. user=kar_bon [2011-03-05 19:17:00] 957*2^797580-1 is not prime. Res64: 1F43E35277EF44E1 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:00] 869*2^797588-1 is not prime. Res64: C35B13393A9CD4F9 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:17:00] 861*2^797581-1 is not prime. Res64: 366727D78816D33D Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:00] 935*2^797588-1 is not prime. Res64: 6184569DF652BEC1 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:17:00] 901*2^797583-1 is not prime. Res64: F72EDD98E414C5EE Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:01] 837*2^797589-1 is not prime. Res64: 6F1C63AB6315A130 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:17:01] 985*2^797563-1 is not prime. Res64: 1C45A12DD76F9849 Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:01] 813*2^797584-1 is not prime. Res64: ECDDD71AA4CE18BB Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:01] 917*2^797590-1 is not prime. Res64: DE176A41B22CE937 Time : 87896.0 sec. user=kar_bon [2011-03-05 19:17:01] 951*2^797565-1 is not prime. Res64: 4FEBB8230DCDE75D Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:01] 983*2^797584-1 is not prime. Res64: 8F1C95E89B1194E0 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:01] 885*2^797593-1 is not prime. Res64: 733CF4867D40DA4F Time : 87895.0 sec. user=kar_bon [2011-03-05 19:17:02] 923*2^797584-1 is not prime. Res64: E36D3DC64197261A Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:03] 957*2^797566-1 is not prime. Res64: CCE1BD8E407D74DA Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:03] 955*2^797585-1 is not prime. Res64: 0AAA752546797268 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:04] 993*2^797584-1 is not prime. Res64: A60A8E8EA239EF4F Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:05] 931*2^797567-1 is not prime. Res64: 5E2265D831B217D4 Time : 87908.0 sec. user=kar_bon [2011-03-05 19:17:05] 905*2^797586-1 is not prime. Res64: FCA1916CAF23BD52 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:05] 905*2^797568-1 is not prime. Res64: 33C59D2440F234E7 Time : 87908.0 sec. user=kar_bon [2011-03-05 19:17:05] 827*2^797588-1 is not prime. Res64: E89F755894759313 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:05] 851*2^797594-1 is not prime. Res64: 92AC3A3741D07A2B Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:05] 919*2^797569-1 is not prime. Res64: F0671B299182399A Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:05] 915*2^797588-1 is not prime. Res64: C3618D8A1CEAC50E Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:06] 921*2^797595-1 is not prime. Res64: 9CA7F5C9E3D38305 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:17:06] 903*2^797571-1 is not prime. Res64: 0D96B9C980451CA7 Time : 87908.0 sec. user=kar_bon [2011-03-05 19:17:06] 995*2^797588-1 is not prime. Res64: 24527E3ABABF9308 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:06] 927*2^797596-1 is not prime. Res64: 1CCFF2231DBB67BF Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:06] 813*2^797572-1 is not prime. Res64: D3663FB716664AA9 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:06] 997*2^797589-1 is not prime. Res64: 552AFDD7357C237D Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:06] 825*2^797597-1 is not prime. Res64: 134B63D1AEC66FD8 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:06] 801*2^797573-1 is not prime. Res64: D20DD1D41E542102 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:06] 915*2^797592-1 is not prime. Res64: F7475DFA08F3C838 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:17:06] 927*2^797597-1 is not prime. Res64: AF36FFE07BF0464C Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:07] 985*2^797573-1 is not prime. Res64: 11F5F45601329137 Time : 87908.0 sec. user=kar_bon [2011-03-05 19:17:07] 999*2^797593-1 is not prime. Res64: 441E5DF28918C4BD Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:07] 937*2^797597-1 is not prime. Res64: B6C861CA8771F43E Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:07] 1001*2^797574-1 is not prime. Res64: 8CDAF32C90C4F3A3 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:07] 935*2^797594-1 is not prime. Res64: D89F93CA853366E7 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:07] 825*2^797598-1 is not prime. Res64: D03558D5D0693FF2 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:07] 969*2^797575-1 is not prime. Res64: C88D1B2B649AB7B6 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:07] 923*2^797596-1 is not prime. Res64: FE9EA909A0961A59 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:17:07] 927*2^797598-1 is not prime. Res64: 06AA4CA3AF257818 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:07] 919*2^797577-1 is not prime. Res64: FE4D4B3FC1102F81 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:07] 969*2^797596-1 is not prime. Res64: 45634A034F1F00D0 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:17:07] 941*2^797598-1 is not prime. Res64: 1B35ABA2E7E1A808 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:07] 801*2^797578-1 is not prime. Res64: 0CE85A1BA2E7167F Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:08] 885*2^797597-1 is not prime. Res64: 156B4E14F248E167 Time : 87901.0 sec. user=kar_bon [2011-03-05 19:17:08] 971*2^797598-1 is not prime. Res64: F3AA1728C5222684 Time : 87899.0 sec. user=kar_bon [2011-03-05 19:17:08] 883*2^797579-1 is not prime. Res64: FD38BD1031FD7835 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:08] 931*2^797597-1 is not prime. Res64: 2C15B03BB965994E Time : 87900.0 sec. user=kar_bon [2011-03-05 19:17:08] 1001*2^797598-1 is not prime. Res64: 76C2B1790886514F Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:08] 863*2^797580-1 is not prime. Res64: 681E019CD796EC5D Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:08] 981*2^797597-1 is not prime. Res64: F974A17BC21E2E94 Time : 87900.0 sec. user=kar_bon [2011-03-05 19:17:08] 873*2^797599-1 is not prime. Res64: 7124BA1214680AF4 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:08] 975*2^797580-1 is not prime. Res64: 9ECAAD7A95641D9F Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:08] 919*2^797599-1 is not prime. Res64: AEEB337376850D33 Time : 87898.0 sec. user=kar_bon [2011-03-05 19:17:08] 867*2^797581-1 is not prime. Res64: 042CF9CA27402105 Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:08] 825*2^797600-1 is not prime. Res64: 53CA3EA8CDB997F3 Time : 87897.0 sec. user=kar_bon [2011-03-05 19:17:09] 921*2^797583-1 is not prime. Res64: 3CBF8188C46AA229 Time : 87907.0 sec. user=kar_bon [2011-03-05 19:17:09] 849*2^797584-1 is not prime. Res64: 65FDACD809FD9531 Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:09] 989*2^797584-1 is not prime. Res64: D1AA7A98AA77EB41 Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:09] 979*2^797585-1 is not prime. Res64: 5C863698F51F1EF8 Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:10] 973*2^797587-1 is not prime. Res64: 4630FB9CFC13F601 Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:10] 909*2^797588-1 is not prime. Res64: 0F82331E5614BE86 Time : 87906.0 sec. user=kar_bon [2011-03-05 19:17:10] 969*2^797588-1 is not prime. Res64: 9D837D1576D96012 Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:10] 895*2^797589-1 is not prime. Res64: 204E879097905A4D Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:10] 993*2^797591-1 is not prime. Res64: 809259D148377FF6 Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:11] 957*2^797593-1 is not prime. Res64: E4338FD71C135918 Time : 87905.0 sec. user=kar_bon [2011-03-05 19:17:39] 827*2^797600-1 is not prime. Res64: 7D266EDB647E262A Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:40] 843*2^797600-1 is not prime. Res64: DCC20FE51974C1C3 Time : 87749.0 sec. user=kar_bon [2011-03-05 19:17:40] 807*2^797601-1 is not prime. Res64: 5AA37AA43707406B Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:40] 889*2^797601-1 is not prime. Res64: 8EA5382C160528AC Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:40] 987*2^797601-1 is not prime. Res64: 4A7FCCF33023C14E Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:40] 885*2^797602-1 is not prime. Res64: DCE1A7801EB6DA18 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:41] 945*2^797602-1 is not prime. Res64: 40824098D6E905C6 Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:41] 957*2^797602-1 is not prime. Res64: 2A67B173921564C7 Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:41] 955*2^797603-1 is not prime. Res64: 0F7FCF2324C9FE5B Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:41] 863*2^797604-1 is not prime. Res64: AE5E5FA5CABBFB31 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:42] 987*2^797604-1 is not prime. Res64: 2DEC10D0D672717C Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:42] 859*2^797605-1 is not prime. Res64: 10670159BCA292CA Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:42] 861*2^797601-1 is not prime. Res64: 010C701CD100BE78 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:42] 915*2^797605-1 is not prime. Res64: 8C523BBD70B12FFD Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:43] 937*2^797601-1 is not prime. Res64: 7479CB6CC1347890 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:43] 963*2^797607-1 is not prime. Res64: 46C2A35255ACD110 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:43] 975*2^797601-1 is not prime. Res64: 08B332E0EE9A1B84 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:43] 839*2^797608-1 is not prime. Res64: 6AA32EF1161ABF99 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:43] 999*2^797601-1 is not prime. Res64: F1CB60DECFD31E0C Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:43] 879*2^797609-1 is not prime. Res64: 5FF0AFC066A46C26 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:43] 891*2^797602-1 is not prime. Res64: 1FDBD1A84A4FD753 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:43] 851*2^797610-1 is not prime. Res64: 7AC7CF5CDDE6CF66 Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:43] 947*2^797602-1 is not prime. Res64: F53F6DB79E9068D6 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:43] 1001*2^797610-1 is not prime. Res64: DAA9E40F64B8793A Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:44] 939*2^797603-1 is not prime. Res64: F2BEAE4E96E925A4 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:44] 931*2^797611-1 is not prime. Res64: D3653E799B1F93C7 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:44] 837*2^797604-1 is not prime. Res64: F4819D755EE0611A Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:44] 861*2^797613-1 is not prime. Res64: D81C07A273A6E56A Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:44] 929*2^797604-1 is not prime. Res64: DC8A57B2C9CC4A13 Time : 87749.0 sec. user=kar_bon [2011-03-05 19:17:44] 831*2^797615-1 is not prime. Res64: 96510CB5A319B8EC Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:44] 819*2^797605-1 is not prime. Res64: 468EF277ADBF0EE4 Time : 87749.0 sec. user=kar_bon [2011-03-05 19:17:44] 831*2^797617-1 is not prime. Res64: A2224B628D2C5CF6 Time : 87745.0 sec. user=kar_bon [2011-03-05 19:17:45] 895*2^797605-1 is not prime. Res64: E96F5F170852E369 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:45] 985*2^797603-1 is not prime. Res64: 2AB20B4DF44F41ED Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:45] 921*2^797618-1 is not prime. Res64: ADEC72DE82E2BB7E Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:45] 1001*2^797606-1 is not prime. Res64: 2006BCCBD5FFE082 Time : 87749.0 sec. user=kar_bon [2011-03-05 19:17:46] 927*2^797604-1 is not prime. Res64: 2C377A768CBF35E2 Time : 87752.0 sec. user=kar_bon [2011-03-05 19:17:47] 845*2^797620-1 is not prime. Res64: 8DE9148CD5F1775E Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:47] 985*2^797607-1 is not prime. Res64: 73F42DF052D86FED Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:47] 805*2^797605-1 is not prime. Res64: 932423951815CEE9 Time : 87752.0 sec. user=kar_bon [2011-03-05 19:17:47] 995*2^797620-1 is not prime. Res64: 79215C15B9B7A2DA Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:47] 995*2^797608-1 is not prime. Res64: 886FB5C355596F85 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:47] 861*2^797605-1 is not prime. Res64: 40F3DD00A974E09D Time : 87752.0 sec. user=kar_bon [2011-03-05 19:17:47] 931*2^797621-1 is not prime. Res64: 937E5F3FAD744606 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:47] 821*2^797610-1 is not prime. Res64: F1C52545D148B012 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:47] 831*2^797606-1 is not prime. Res64: C9D9174607597580 Time : 87752.0 sec. user=kar_bon [2011-03-05 19:17:47] 871*2^797623-1 is not prime. Res64: 5FBE4AE015E24E67 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:47] 971*2^797610-1 is not prime. Res64: 3578A63868969F77 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:47] 973*2^797607-1 is not prime. Res64: BBE9382BEB1B27E3 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:48] 999*2^797623-1 is not prime. Res64: 8B2148D2340B5E99 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:48] 895*2^797611-1 is not prime. Res64: 76E20EF9DAD67171 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:48] 869*2^797608-1 is not prime. Res64: 88D82AEF8267CE71 Time : 87752.0 sec. user=kar_bon [2011-03-05 19:17:48] 861*2^797625-1 is not prime. Res64: 66B688EA21CC1AEE Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:48] 999*2^797612-1 is not prime. Res64: 2020DC97E7AFE96E Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:48] 897*2^797609-1 is not prime. Res64: F0CA753D9B41BA2F Time : 87752.0 sec. user=kar_bon [2011-03-05 19:17:48] 831*2^797629-1 is not prime. Res64: 2B0F484C76F89084 Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:48] 971*2^797614-1 is not prime. Res64: DE9E84D923F599BD Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:48] 887*2^797610-1 is not prime. Res64: 017E9F7C738083A9 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:48] 961*2^797629-1 is not prime. Res64: 05778B806B551B76 Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:48] 947*2^797616-1 is not prime. Res64: AA4BCAF60C841914 Time : 87749.0 sec. user=kar_bon [2011-03-05 19:17:48] 841*2^797611-1 is not prime. Res64: 4AB50A60A60B00EB Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:49] 857*2^797630-1 is not prime. Res64: 145F818C22A44679 Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:49] 815*2^797618-1 is not prime. Res64: A5F26EE7CD97B1FF Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:49] 975*2^797611-1 is not prime. Res64: D3CF03D72AB0799A Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:49] 887*2^797632-1 is not prime. Res64: 5DC67E4F7556857F Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:49] 975*2^797619-1 is not prime. Res64: 42F3005498A7683B Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:49] 961*2^797613-1 is not prime. Res64: CE5EB7384FB507FB Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:49] 855*2^797633-1 is not prime. Res64: 4BB603750A25DD27 Time : 87746.0 sec. user=kar_bon [2011-03-05 19:17:49] 969*2^797608-1 is not prime. Res64: 7A61599C95DAA523 Time : 87753.0 sec. user=kar_bon [2011-03-05 19:17:49] 923*2^797620-1 is not prime. Res64: 60A61259F9A73B57 Time : 87749.0 sec. user=kar_bon [2011-03-05 19:17:49] 849*2^797616-1 is not prime. Res64: E81AFC492AB1E2D3 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:50] 967*2^797633-1 is not prime. Res64: 87173BF2D5AF27FC Time : 87747.0 sec. user=kar_bon [2011-03-05 19:17:51] 955*2^797609-1 is not prime. Res64: 32D2A6F5BB1FD025 Time : 87754.0 sec. user=kar_bon [2011-03-05 19:17:51] 867*2^797621-1 is not prime. Res64: F94613C5EE40EDAB Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:52] 909*2^797617-1 is not prime. Res64: D5982CBE5B819688 Time : 87753.0 sec. user=kar_bon [2011-03-05 19:17:52] 871*2^797637-1 is not prime. Res64: CCA067B7942876F1 Time : 87748.0 sec. user=kar_bon [2011-03-05 19:17:52] 945*2^797610-1 is not prime. Res64: 0FE4835CECD54063 Time : 87755.0 sec. user=kar_bon [2011-03-05 19:17:53] 859*2^797623-1 is not prime. Res64: C6F3D1B157DEA673 Time : 87753.0 sec. user=kar_bon [2011-03-05 19:17:54] 893*2^797618-1 is not prime. Res64: 15C73DD435B37C41 Time : 87755.0 sec. user=kar_bon [2011-03-05 19:17:54] 931*2^797639-1 is not prime. Res64: FD6B875F50E2C8E4 Time : 87750.0 sec. user=kar_bon [2011-03-05 19:17:55] 855*2^797611-1 is not prime. Res64: 06C79F76AAE9BB78 Time : 87758.0 sec. user=kar_bon [2011-03-05 19:17:55] 993*2^797623-1 is not prime. Res64: 64E5DBE26B4DBFB9 Time : 87754.0 sec. user=kar_bon [2011-03-05 19:17:56] 825*2^797620-1 is not prime. Res64: 3F5B98D0EFF4ABCC Time : 87757.0 sec. user=kar_bon [2011-03-05 19:17:56] 921*2^797642-1 is not prime. Res64: 7ADD85CD2B27B8E5 Time : 87751.0 sec. user=kar_bon [2011-03-05 19:17:56] 987*2^797612-1 is not prime. Res64: 2FA549926176E14C Time : 87758.0 sec. user=kar_bon [2011-03-05 19:17:57] 849*2^797625-1 is not prime. Res64: A2C1307D92F56099 Time : 87756.0 sec. user=kar_bon [2011-03-05 19:17:57] 965*2^797620-1 is not prime. Res64: 2C59AB830888B35E Time : 87757.0 sec. user=kar_bon [2011-03-05 19:17:58] 955*2^797643-1 is not prime. Res64: 2B56620EEB7FB699 Time : 87753.0 sec. user=kar_bon [2011-03-05 19:17:59] 945*2^797614-1 is not prime. Res64: 391D30106F8D56D0 Time : 87761.0 sec. user=kar_bon [2011-03-05 19:17:59] 837*2^797628-1 is not prime. Res64: 49F0C01962145169 Time : 87757.0 sec. user=kar_bon [2011-03-05 19:17:59] 871*2^797621-1 is not prime. Res64: 1DBC4634F5F8CD41 Time : 87759.0 sec. user=kar_bon [2011-03-05 19:17:59] 939*2^797644-1 is not prime. Res64: 59892D1B570A3B22 Time : 87754.0 sec. user=kar_bon [2011-03-05 19:18:00] 909*2^797616-1 is not prime. Res64: D570F1A7BCCE5F68 Time : 87762.0 sec. user=kar_bon [2011-03-05 19:18:01] 927*2^797629-1 is not prime. Res64: CA760F09FD2FD4F8 Time : 87759.0 sec. user=kar_bon [2011-03-05 19:18:01] 801*2^797622-1 is not prime. Res64: D8026D37903A59A4 Time : 87761.0 sec. user=kar_bon [2011-03-05 19:18:02] 805*2^797647-1 is not prime. Res64: E3D02A580E16C5CB Time : 87756.0 sec. user=kar_bon [2011-03-05 19:18:02] 919*2^797617-1 is not prime. Res64: 3AD1F17313712CBB Time : 87763.0 sec. user=kar_bon [2011-03-05 19:18:03] 851*2^797630-1 is not prime. Res64: 5D353C6A49FF1FC2 Time : 87761.0 sec. user=kar_bon [2011-03-05 19:18:03] 943*2^797623-1 is not prime. Res64: E69D826842CDFD69 Time : 87762.0 sec. user=kar_bon [2011-03-05 19:18:04] 845*2^797648-1 is not prime. Res64: 3AFC5ECF4556C8C7 Time : 87758.0 sec. user=kar_bon [2011-03-05 19:18:04] 921*2^797619-1 is not prime. Res64: 7DC956E4E3D0D5B7 Time : 87765.0 sec. user=kar_bon [2011-03-05 19:18:04] 999*2^797631-1 is not prime. Res64: DA8A46B9EBE9A867 Time : 87761.0 sec. user=kar_bon [2011-03-05 19:18:05] 915*2^797624-1 is not prime. Res64: F02AEA676EB19C49 Time : 87764.0 sec. user=kar_bon [2011-03-05 19:18:05] 807*2^797649-1 is not prime. Res64: 1F4887DC0AE8C8FA Time : 87759.0 sec. user=kar_bon [2011-03-05 19:18:06] 875*2^797620-1 is not prime. Res64: C2796FA2E199D36B Time : 87767.0 sec. user=kar_bon [2011-03-05 19:18:07] 847*2^797633-1 is not prime. Res64: 404A2AD51670FB9C Time : 87764.0 sec. user=kar_bon [2011-03-05 19:18:07] 915*2^797627-1 is not prime. Res64: 9115D8FDA0AED2C5 Time : 87765.0 sec. user=kar_bon [2011-03-05 19:18:07] 909*2^797649-1 is not prime. Res64: 17E95B406EE31F42 Time : 87760.0 sec. user=kar_bon [2011-03-05 19:18:07] 825*2^797621-1 is not prime. Res64: A9DE93EB439AFED7 Time : 87767.0 sec. user=kar_bon [2011-03-05 19:18:08] 897*2^797629-1 is not prime. Res64: 7CF624F41066C43A Time : 87766.0 sec. user=kar_bon [2011-03-05 19:18:08] 915*2^797633-1 is not prime. Res64: EC8D11203A691CA4 Time : 87765.0 sec. user=vaughan [2011-03-05 19:18:08] 915*2^797177-1 is not prime. Res64: 31322D98109B3582 Time : 1024.0 sec. user=kar_bon [2011-03-05 19:18:08] 801*2^797651-1 is not prime. Res64: 3890BFEE5DA0125A Time : 87761.0 sec. user=kar_bon [2011-03-05 19:18:09] 981*2^797621-1 is not prime. Res64: 191BD9DA6C04AFCD Time : 87769.0 sec. user=kar_bon [2011-03-05 19:18:09] 839*2^797636-1 is not prime. Res64: DDE87DBFCB242E73 Time : 87765.0 sec. user=kar_bon [2011-03-05 19:18:09] 999*2^797629-1 is not prime. Res64: 322F84E7DD84B30F Time : 87767.0 sec. user=kar_bon [2011-03-05 19:18:10] 921*2^797651-1 is not prime. Res64: 7207F119E683C345 Time : 87762.0 sec. user=kar_bon [2011-03-05 19:18:11] 883*2^797623-1 is not prime. Res64: E8C1488C592FB5D6 Time : 87770.0 sec. user=kar_bon [2011-03-05 19:18:11] 909*2^797639-1 is not prime. Res64: CF64BE42771A4D83 Time : 87767.0 sec. user=kar_bon [2011-03-05 19:18:11] 891*2^797631-1 is not prime. Res64: 6DEF3F5053B98AAA Time : 87768.0 sec. user=kar_bon [2011-03-05 19:18:12] 909*2^797652-1 is not prime. Res64: 6CA45B3804C15CEE Time : 87764.0 sec. user=kar_bon [2011-03-05 19:18:13] 827*2^797624-1 is not prime. Res64: 308A305567529210 Time : 87772.0 sec. user=kar_bon [2011-03-05 19:18:13] 925*2^797641-1 is not prime. Res64: D61D7B279289660D Time : 87768.0 sec. user=kar_bon [2011-03-05 19:18:14] 829*2^797633-1 is not prime. Res64: A68EC51D1ECE5CC3 Time : 87771.0 sec. user=kar_bon [2011-03-05 19:18:14] 857*2^797654-1 is not prime. Res64: 6B4D71DE54214305 Time : 87766.0 sec. user=kar_bon [2011-03-05 19:18:14] 933*2^797626-1 is not prime. Res64: 523CC36E8B53A6DE Time : 87773.0 sec. user=kar_bon [2011-03-05 19:18:15] 823*2^797643-1 is not prime. Res64: 5A9C659E5239910A Time : 87770.0 sec. user=kar_bon [2011-03-05 19:18:16] 889*2^797633-1 is not prime. Res64: 12FEE2227885B77D Time : 87773.0 sec. user=kar_bon [2011-03-05 19:18:16] 979*2^797655-1 is not prime. Res64: A08825DD4E5BAD17 Time : 87767.0 sec. user=kar_bon [2011-03-05 19:18:16] 885*2^797629-1 is not prime. Res64: AB117EF7428A645B Time : 87774.0 sec. user=kar_bon [2011-03-05 19:18:17] 887*2^797644-1 is not prime. Res64: A5D25AF33BA78112 Time : 87772.0 sec. user=kar_bon [2011-03-05 19:18:17] 895*2^797635-1 is not prime. Res64: 8B323FDEB03B80D1 Time : 87773.0 sec. user=kar_bon [2011-03-05 19:18:18] 979*2^797629-1 is not prime. Res64: C24638284698B95B Time : 87776.0 sec. user=kar_bon [2011-03-05 19:18:18] 983*2^797646-1 is not prime. Res64: 41774BA133EA9B87 Time : 87772.0 sec. user=kar_bon [2011-03-05 19:18:18] 985*2^797657-1 is not prime. Res64: 2BDC83E45D565D5B Time : 87769.0 sec. user=kar_bon [2011-03-05 19:18:18] 891*2^797638-1 is not prime. Res64: E82D83F75AA24FE2 Time : 87774.0 sec. user=kar_bon [2011-03-05 19:18:19] 945*2^797630-1 is not prime. Res64: 74DDE519E272F158 Time : 87777.0 sec. user=kar_bon [2011-03-05 19:18:21] 825*2^797648-1 is not prime. Res64: 128E5C869D09E37E Time : 87775.0 sec. user=kar_bon [2011-03-05 19:18:21] 893*2^797658-1 is not prime. Res64: AEBE6496D34442E6 Time : 87772.0 sec. user=kar_bon [2011-03-05 19:18:21] 817*2^797641-1 is not prime. Res64: 4DB5EC3A120C7205 Time : 87777.0 sec. user=kar_bon [2011-03-05 19:18:21] 909*2^797632-1 is not prime. Res64: 23DEC292E5180805 Time : 87778.0 sec. user=kar_bon [2011-03-05 19:18:22] 999*2^797648-1 is not prime. Res64: 0951681D8A22E3E3 Time : 87776.0 sec. user=kar_bon [2011-03-05 19:18:23] 985*2^797659-1 is not prime. Res64: B14D06B3990AF59E Time : 87773.0 sec. user=kar_bon [2011-03-05 19:18:23] 941*2^797642-1 is not prime. Res64: 673F74928266E577 Time : 87778.0 sec. user=kar_bon [2011-03-05 19:18:23] 867*2^797633-1 is not prime. Res64: E16C1323BC328617 Time : 87780.0 sec. user=kar_bon [2011-03-05 19:18:24] 885*2^797649-1 is not prime. Res64: 75212ACDEF36D271 Time : 87777.0 sec. user=kar_bon [2011-03-05 19:18:25] 805*2^797661-1 is not prime. Res64: 5D925E071994F6E6 Time : 87775.0 sec. user=kar_bon [2011-03-05 19:18:25] 991*2^797643-1 is not prime. Res64: 4012BCA9C8BDB0FA Time : 87780.0 sec. user=kar_bon [2011-03-05 19:18:26] 905*2^797634-1 is not prime. Res64: 216FDD7141FB55D1 Time : 87783.0 sec. user=kar_bon [2011-03-05 19:18:26] 987*2^797650-1 is not prime. Res64: 4BC687FB11115944 Time : 87779.0 sec. user=kar_bon [2011-03-05 19:18:27] 999*2^797661-1 is not prime. Res64: 8003FF037CD08736 Time : 87776.0 sec. user=kar_bon [2011-03-05 19:18:28] 821*2^797638-1 is not prime. Res64: 55BBDA2417C2E65C Time : 87784.0 sec. user=kar_bon [2011-03-05 19:18:28] 995*2^797644-1 is not prime. Res64: 7248054A3F9997C6 Time : 87782.0 sec. user=kar_bon [2011-03-05 19:18:28] 909*2^797651-1 is not prime. Res64: 854B1C7479B405E0 Time : 87780.0 sec. user=kar_bon [2011-03-05 19:18:29] 947*2^797662-1 is not prime. Res64: 7166F1CDE7CD72AC Time : 87778.0 sec. user=kar_bon [2011-03-05 19:18:29] 845*2^797640-1 is not prime. Res64: 774D50E83B3FC49F Time : 87785.0 sec. user=kar_bon [2011-03-05 19:18:30] 843*2^797647-1 is not prime. Res64: 7C00E7BC469061F4 Time : 87784.0 sec. user=kar_bon [2011-03-05 19:18:30] 825*2^797652-1 is not prime. Res64: FA9400DB0366271D Time : 87782.0 sec. user=kar_bon [2011-03-05 19:18:30] 913*2^797663-1 is not prime. Res64: D29ED2AAFAB48F33 Time : 87779.0 sec. user=kar_bon [2011-03-05 19:18:30] 879*2^797648-1 is not prime. Res64: EBC2D6CE5DF8A596 Time : 87784.0 sec. user=kar_bon [2011-03-05 19:18:30] 967*2^797653-1 is not prime. Res64: FF4564E6EAFB856E Time : 87782.0 sec. user=kar_bon [2011-03-05 19:18:30] 815*2^797664-1 is not prime. Res64: BEA9A7B4AC7DCE22 Time : 87778.0 sec. user=kar_bon [2011-03-05 19:18:30] 861*2^797649-1 is not prime. Res64: 93706F8596946E2F Time : 87783.0 sec. user=kar_bon [2011-03-05 19:18:30] 819*2^797655-1 is not prime. Res64: 7BE84DF28ACC1D69 Time : 87781.0 sec. user=kar_bon [2011-03-05 19:18:30] 937*2^797665-1 is not prime. Res64: 9B9C3C3821C6FD9C Time : 87778.0 sec. user=kar_bon [2011-03-05 19:18:31] 825*2^797650-1 is not prime. Res64: F1A446C6192C71AF Time : 87784.0 sec. user=kar_bon [2011-03-05 19:18:32] 893*2^797642-1 is not prime. Res64: 5304BD9AA21BA478 Time : 87787.0 sec. user=kar_bon [2011-03-05 19:18:32] 937*2^797657-1 is not prime. Res64: 72F9A6D02B4388E7 Time : 87783.0 sec. user=kar_bon [2011-03-05 19:18:33] 831*2^797666-1 is not prime. Res64: 8BA6C4FBBDB254C7 Time : 87781.0 sec. user=kar_bon [2011-03-05 19:18:33] 811*2^797651-1 is not prime. Res64: 1C3DAC922C406295 Time : 87786.0 sec. user=kar_bon [2011-03-05 19:18:33] 977*2^797642-1 is not prime. Res64: E1BE8B83895EE9CB Time : 87788.0 sec. user=kar_bon [2011-03-05 19:18:34] 875*2^797658-1 is not prime. Res64: B655B7AE7BB2536C Time : 87785.0 sec. user=kar_bon [2011-03-05 19:18:35] 923*2^797666-1 is not prime. Res64: FC095C0ABB57C16E Time : 87782.0 sec. user=kar_bon [2011-03-05 19:18:35] 939*2^797651-1 is not prime. Res64: 2840A142252F4112 Time : 87787.0 sec. user=kar_bon [2011-03-05 19:18:35] 855*2^797644-1 is not prime. Res64: A88E0B0F5961AD60 Time : 87790.0 sec. user=kar_bon [2011-03-05 19:18:35] 943*2^797659-1 is not prime. Res64: 4C801ABB341D76CA Time : 87785.0 sec. user=kar_bon [2011-03-05 19:18:36] 933*2^797652-1 is not prime. Res64: 9AA4832D8CE1FDCC Time : 87788.0 sec. user=kar_bon [2011-03-05 19:18:36] 873*2^797667-1 is not prime. Res64: 7ACF5634D1D6B2FE Time : 87783.0 sec. user=kar_bon [2011-03-05 19:18:37] 815*2^797646-1 is not prime. Res64: A42C922C2AA9A946 Time : 87791.0 sec. user=kar_bon [2011-03-05 19:18:37] 959*2^797660-1 is not prime. Res64: 51BF659BF863D441 Time : 87787.0 sec. user=kar_bon [2011-03-05 19:18:38] 885*2^797654-1 is not prime. Res64: C4794C0E6917EDD9 Time : 87790.0 sec. user=kar_bon [2011-03-05 19:18:39] 951*2^797667-1 is not prime. Res64: 678C0884000A8C45 Time : 87786.0 sec. user=kar_bon [2011-03-05 19:18:39] 993*2^797647-1 is not prime. Res64: 073C20623FEE7203 Time : 87793.0 sec. user=kar_bon [2011-03-05 19:18:39] 955*2^797661-1 is not prime. Res64: 60496C7D1E56211F Time : 87789.0 sec. user=kar_bon [2011-03-05 19:18:40] 825*2^797656-1 is not prime. Res64: 3A9414EBFA92802D Time : 87791.0 sec. user=kar_bon [2011-03-05 19:18:40] 959*2^797668-1 is not prime. Res64: F5523AA92B8A496E Time : 87786.0 sec. user=kar_bon [2011-03-05 19:18:41] 963*2^797648-1 is not prime. Res64: 9E9A6297584C71CB Time : 87795.0 sec. user=kar_bon [2011-03-05 19:18:42] 941*2^797662-1 is not prime. Res64: 72720781561B77B3 Time : 87791.0 sec. user=kar_bon [2011-03-05 19:18:42] 821*2^797658-1 is not prime. Res64: F337FF31FC4EC822 Time : 87793.0 sec. user=kar_bon [2011-03-05 19:18:42] 987*2^797669-1 is not prime. Res64: 40F364732B01151B Time : 87788.0 sec. user=kar_bon [2011-03-05 19:18:42] 867*2^797649-1 is not prime. Res64: 6F47A0584DF63EC4 Time : 87795.0 sec. user=kar_bon [2011-03-05 19:18:43] 879*2^797663-1 is not prime. Res64: 8199532FD2BD137B Time : 87792.0 sec. user=kar_bon [2011-03-05 19:18:44] 1001*2^797658-1 is not prime. Res64: 86085A35A9FDB5DB Time : 87794.0 sec. user=kar_bon [2011-03-05 19:18:44] 895*2^797671-1 is not prime. Res64: 0861BFDECF2BC5F2 Time : 87789.0 sec. user=kar_bon [2011-03-05 19:18:44] 945*2^797650-1 is not prime. Res64: 528823DB7B9AAE9A Time : 87797.0 sec. user=kar_bon [2011-03-05 19:18:45] 809*2^797664-1 is not prime. Res64: 5690166ADCF1E712 Time : 87793.0 sec. user=kar_bon [2011-03-05 19:18:46] 843*2^797660-1 is not prime. Res64: 56FD50FDC4F9EB46 Time : 87796.0 sec. user=kar_bon [2011-03-05 19:18:46] 813*2^797672-1 is not prime. Res64: DD85BB30336D340F Time : 87791.0 sec. user=kar_bon [2011-03-05 19:18:46] 829*2^797651-1 is not prime. Res64: 60442769E8BCB973 Time : 87799.0 sec. user=kar_bon [2011-03-05 19:18:47] 975*2^797664-1 is not prime. Res64: 5634C20565F9F713 Time : 87795.0 sec. user=kar_bon [2011-03-05 19:18:48] 921*2^797661-1 is not prime. Res64: F61AAA58F62A3498 Time : 87798.0 sec. user=kar_bon [2011-03-05 19:18:48] 895*2^797673-1 is not prime. Res64: EF27CFD2A6C18436 Time : 87793.0 sec. user=kar_bon [2011-03-05 19:18:48] 973*2^797651-1 is not prime. Res64: 26CA076D369689CE Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:49] 825*2^797666-1 is not prime. Res64: 24838B1AFF198686 Time : 87797.0 sec. user=kar_bon [2011-03-05 19:18:49] 843*2^797662-1 is not prime. Res64: EE1732197421C98C Time : 87798.0 sec. user=kar_bon [2011-03-05 19:18:50] 999*2^797673-1 is not prime. Res64: FD174508AF30D422 Time : 87794.0 sec. user=kar_bon [2011-03-05 19:18:50] 885*2^797653-1 is not prime. Res64: 285B90441E8F1CDC Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:51] 875*2^797666-1 is not prime. Res64: 7FF06C10B2DC1730 Time : 87798.0 sec. user=kar_bon [2011-03-05 19:18:51] 983*2^797662-1 is not prime. Res64: CFB8CA519EE88E1D Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:52] 939*2^797675-1 is not prime. Res64: D02C172C3A30A159 Time : 87796.0 sec. user=kar_bon [2011-03-05 19:18:52] 965*2^797654-1 is not prime. Res64: 96E269F1A7B9EC49 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:53] 835*2^797667-1 is not prime. Res64: 62D3406FE99A9327 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:53] 915*2^797663-1 is not prime. Res64: 1CD8333F419DAD87 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:54] 855*2^797656-1 is not prime. Res64: 18E2762AB7943374 Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:54] 919*2^797667-1 is not prime. Res64: A71F9302DFBDB967 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:54] 893*2^797664-1 is not prime. Res64: 4A3160160EECF2CB Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:54] 843*2^797658-1 is not prime. Res64: 0182D9D42FE2650C Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:55] 887*2^797668-1 is not prime. Res64: 543DB7226BDBDA34 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:55] 951*2^797665-1 is not prime. Res64: 0272C33537A91A57 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:55] 841*2^797659-1 is not prime. Res64: C4EC989B3B4440A7 Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:55] 925*2^797669-1 is not prime. Res64: 95FC51C636BB3AF2 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:55] 851*2^797666-1 is not prime. Res64: 97CBBED5CDC4CAC6 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:55] 957*2^797660-1 is not prime. Res64: 0F2584AE12B01B4D Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:55] 819*2^797671-1 is not prime. Res64: 44A651983E53C43C Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:55] 987*2^797666-1 is not prime. Res64: E150802E4F91B2B9 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:55] 945*2^797661-1 is not prime. Res64: F3C8FD70980EDCAB Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:55] 973*2^797671-1 is not prime. Res64: 66A01E7E1092A262 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:55] 879*2^797667-1 is not prime. Res64: EC8F5CE50D59696D Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:55] 917*2^797662-1 is not prime. Res64: 4E3DA7D9BFED9C99 Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:55] 861*2^797673-1 is not prime. Res64: 7B1C805E31CC1D43 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:56] 827*2^797668-1 is not prime. Res64: F2099D89B1415826 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:56] 859*2^797663-1 is not prime. Res64: 354C708C0090D63F Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:56] 991*2^797673-1 is not prime. Res64: B9BFAC95031C9623 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:56] 837*2^797669-1 is not prime. Res64: E1471C8A71AA6C1D Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:56] 981*2^797663-1 is not prime. Res64: F86068C32C842B73 Time : 87805.0 sec. user=kar_bon [2011-03-05 19:18:56] 921*2^797675-1 is not prime. Res64: 73F4998A121492AA Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:56] 821*2^797670-1 is not prime. Res64: 7C93D464E83413B6 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:56] 909*2^797664-1 is not prime. Res64: D63FCD9243C6539D Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:56] 927*2^797676-1 is not prime. Res64: FCD3AEE369BD4F16 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:56] 901*2^797671-1 is not prime. Res64: A2DD5A364D9B4187 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:56] 815*2^797666-1 is not prime. Res64: D6D4D734484178AD Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:56] 871*2^797677-1 is not prime. Res64: B6C7F71846940DA6 Time : 87799.0 sec. user=kar_bon [2011-03-05 19:18:56] 833*2^797672-1 is not prime. Res64: 0DF2D43560E37802 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:57] 861*2^797666-1 is not prime. Res64: F2AE7CD3E40D2E54 Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:57] 937*2^797673-1 is not prime. Res64: 3812AD42233FF6B0 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:57] 829*2^797667-1 is not prime. Res64: 84B94CBBFD53D930 Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:57] 915*2^797674-1 is not prime. Res64: F8B04566F5699076 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:57] 913*2^797667-1 is not prime. Res64: FD4A85648DD132A1 Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:57] 843*2^797676-1 is not prime. Res64: 7995F6C78AB54615 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:57] 839*2^797668-1 is not prime. Res64: 71D232E36497BE67 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:57] 975*2^797676-1 is not prime. Res64: E9223AD3308FCA21 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:57] 897*2^797669-1 is not prime. Res64: 1E5CD00C495FEC94 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:58] 957*2^797677-1 is not prime. Res64: 1728DB870C4B1A9E Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:58] 965*2^797670-1 is not prime. Res64: 67F9D399D24DAF76 Time : 87804.0 sec. user=kar_bon [2011-03-05 19:18:58] 825*2^797678-1 is not prime. Res64: 2236FD49E988E116 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:18:58] 969*2^797671-1 is not prime. Res64: 8CDFC3F62C489831 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:58] 845*2^797678-1 is not prime. Res64: 44E3B8127346AA8F Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:58] 923*2^797672-1 is not prime. Res64: 6FE054124FED9FB5 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:58] 843*2^797679-1 is not prime. Res64: B762FF9EB0B36D81 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:58] 945*2^797673-1 is not prime. Res64: 563E6790D3F67E11 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:58] 921*2^797679-1 is not prime. Res64: 73D1352B0FF96407 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:59] 823*2^797675-1 is not prime. Res64: CBA732EA8AFBB72A Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:59] 973*2^797679-1 is not prime. Res64: 12F44A0B2BD30767 Time : 87800.0 sec. user=kar_bon [2011-03-05 19:18:59] 903*2^797676-1 is not prime. Res64: 567EF0874EDF1E15 Time : 87803.0 sec. user=kar_bon [2011-03-05 19:18:59] 825*2^797677-1 is not prime. Res64: 11776A0726AADD31 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:59] 979*2^797677-1 is not prime. Res64: AC908210AB87D137 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:18:59] 831*2^797678-1 is not prime. Res64: C4E3FDE537703ACD Time : 87802.0 sec. user=kar_bon [2011-03-05 19:19:00] 887*2^797678-1 is not prime. Res64: E6AD45B65FFCDAEF Time : 87802.0 sec. user=kar_bon [2011-03-05 19:19:00] 895*2^797679-1 is not prime. Res64: 32535E62EF1BB34A Time : 87802.0 sec. user=kar_bon [2011-03-05 19:19:00] 931*2^797679-1 is not prime. Res64: 883CB097BDBB4ABF Time : 87802.0 sec. user=kar_bon [2011-03-05 19:19:00] 833*2^797680-1 is not prime. Res64: 0C9D7250570909DA Time : 87801.0 sec. user=kar_bon [2011-03-05 19:19:01] 839*2^797680-1 is not prime. Res64: 8E9D734184EB1152 Time : 87802.0 sec. user=kar_bon [2011-03-05 19:19:01] 843*2^797680-1 is not prime. Res64: CD4FB0055F1CC613 Time : 87801.0 sec. user=kar_bon [2011-03-05 19:19:01] 905*2^797680-1 is not prime. Res64: FCA7B285190C0E1B Time : 87800.0 sec. user=kar_bon [2011-03-05 19:19:01] 909*2^797680-1 is not prime. Res64: 3573B7E0B96C854F Time : 87798.0 sec. user=kar_bon [2011-03-05 19:19:01] 949*2^797681-1 is not prime. Res64: 5AB935EE9E2983D4 Time : 87797.0 sec. user=kar_bon [2011-03-05 19:19:02] 951*2^797681-1 is not prime. Res64: 5C82C108EFC6BC7D Time : 87797.0 sec. user=vaughan [2011-03-05 19:23:21] 837*2^797178-1 is not prime. Res64: E7BB1A9B7E604900 Time : 991.0 sec. user=vaughan [2011-03-05 19:25:20] 993*2^797178-1 is not prime. Res64: 321D07D84CE9FE32 Time : 917.0 sec. user=vaughan [2011-03-05 19:25:23] 1001*2^797178-1 is not prime. Res64: EF3E56ACF83D5AC7 Time : 911.0 sec. user=kar_bon [2011-03-05 19:31:01] 861*2^797455-1 is not prime. Res64: 7E54ADEA8737A77E Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:01] 873*2^797455-1 is not prime. Res64: EC712F899E380418 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:02] 885*2^797455-1 is not prime. Res64: 4E90B158A8E3AAE1 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:02] 891*2^797455-1 is not prime. Res64: FB8B2AD2F3F074D3 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:02] 909*2^797455-1 is not prime. Res64: A86044AB9284822D Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:02] 815*2^797456-1 is not prime. Res64: 5EF692D92A36CD13 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:02] 833*2^797456-1 is not prime. Res64: 2695576822B94443 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:03] 839*2^797456-1 is not prime. Res64: 96D2AD96B70D2AF0 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:03] 857*2^797456-1 is not prime. Res64: 6BBBBE17A067E8D6 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:03] 909*2^797456-1 is not prime. Res64: C18AF218BD45CDAD Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:03] 831*2^797458-1 is not prime. Res64: B71F372BD512C390 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:04] 891*2^797458-1 is not prime. Res64: 7EC6B0A0D036C072 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:04] 883*2^797459-1 is not prime. Res64: CBC9DAC1BB773484 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:04] 845*2^797460-1 is not prime. Res64: 3898B8B6324F3F99 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:04] 843*2^797456-1 is not prime. Res64: 96820326EC326026 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:04] 899*2^797460-1 is not prime. Res64: E44E4A66266B01AB Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:05] 903*2^797456-1 is not prime. Res64: 37EAB776D75F51E6 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:05] 867*2^797461-1 is not prime. Res64: EB66D00870226765 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:06] 901*2^797457-1 is not prime. Res64: 4D4744E4F864547D Time : 89553.0 sec. user=kar_bon [2011-03-05 19:31:06] 937*2^797461-1 is not prime. Res64: 576794AD76649231 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:06] 887*2^797458-1 is not prime. Res64: C5ECFB12F2E6B348 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:06] 879*2^797463-1 is not prime. Res64: 9C74E4B180E6832D Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:06] 861*2^797459-1 is not prime. Res64: 2563B63542BBF535 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:06] 909*2^797464-1 is not prime. Res64: 334C090AA05793D4 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:06] 999*2^797459-1 is not prime. Res64: 22562E98D923F449 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:06] 925*2^797465-1 is not prime. Res64: 5C9B997D30844CED Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:07] 893*2^797460-1 is not prime. Res64: E289E41ECC3DF426 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:07] 873*2^797466-1 is not prime. Res64: 81B36463762FF270 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:07] 959*2^797460-1 is not prime. Res64: E06896B2E866AFBE Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:07] 915*2^797467-1 is not prime. Res64: F872729B6A743129 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:07] 801*2^797462-1 is not prime. Res64: FD768FFA962A7A15 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:07] 963*2^797468-1 is not prime. Res64: 81F8B8A1EA62A96B Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:07] 887*2^797464-1 is not prime. Res64: 28D0D3E7752D2BD4 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:07] 867*2^797470-1 is not prime. Res64: FA1B2CE424B71859 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:08] 965*2^797464-1 is not prime. Res64: 1F9511CD90BE10F4 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:08] 901*2^797471-1 is not prime. Res64: 3AE384028C1C6D3C Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:08] 955*2^797465-1 is not prime. Res64: 445592FEE0E9DC52 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:08] 945*2^797472-1 is not prime. Res64: A62D5B4C166C7A5F Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:08] 805*2^797463-1 is not prime. Res64: F2400DB7F60F2812 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:08] 983*2^797466-1 is not prime. Res64: E68D0C8ABF480BFD Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:08] 855*2^797473-1 is not prime. Res64: 8FEC87AEFC0549C9 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:08] 899*2^797464-1 is not prime. Res64: 973C43FE0A8B3C73 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:08] 961*2^797467-1 is not prime. Res64: 4F7B74BF873E1DAB Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:08] 999*2^797473-1 is not prime. Res64: 5C05CC087D24A147 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:08] 867*2^797465-1 is not prime. Res64: E1F1B26C793A35F7 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:08] 985*2^797469-1 is not prime. Res64: 94C80F539D0772DD Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:09] 969*2^797475-1 is not prime. Res64: 6CF0B44AE331A275 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:09] 969*2^797465-1 is not prime. Res64: 8D58EA9CC21BB7C4 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:09] 933*2^797470-1 is not prime. Res64: 624DDD6ACE2896BA Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:09] 905*2^797476-1 is not prime. Res64: 0170C858BBA48644 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:09] 871*2^797467-1 is not prime. Res64: DF3A43319135B14A Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:09] 909*2^797472-1 is not prime. Res64: 8FB997652F646C32 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:09] 939*2^797477-1 is not prime. Res64: 17E9B7CD65A4A2BC Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:09] 875*2^797468-1 is not prime. Res64: 8FC4D8395ABAD340 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:09] 835*2^797473-1 is not prime. Res64: 7A82B99A0D7E3AAD Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:09] 927*2^797478-1 is not prime. Res64: 660B71A0562ACBCC Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:09] 801*2^797470-1 is not prime. Res64: 45FBCDEE399E0174 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:09] 925*2^797473-1 is not prime. Res64: CC3FE0B8320EC68A Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:09] 885*2^797479-1 is not prime. Res64: 4EEB8756F62B0026 Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:09] 981*2^797470-1 is not prime. Res64: A12D39555E44F287 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:10] 823*2^797475-1 is not prime. Res64: 0257BE7562DF2576 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:10] 897*2^797480-1 is not prime. Res64: 3239935A5EFD39C5 Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:10] 933*2^797472-1 is not prime. Res64: C6F188771C82FE9F Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:10] 897*2^797476-1 is not prime. Res64: 84A0E356E0CF1590 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:10] 999*2^797480-1 is not prime. Res64: 9D43AA8DA6CFE05C Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:10] 847*2^797473-1 is not prime. Res64: 62555516B10F970F Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:10] 889*2^797477-1 is not prime. Res64: 6CA37BF6F11C8BDA Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:10] 885*2^797490-1 is not prime. Res64: 4FD1FE3EE9D58436 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:10] 987*2^797473-1 is not prime. Res64: 2F0556F16E5CC9A1 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:10] 867*2^797478-1 is not prime. Res64: F81D2ADFB453BFFE Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:10] 861*2^797491-1 is not prime. Res64: 235AA7F4061C771B Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:11] 963*2^797475-1 is not prime. Res64: E6A6498679BE59B9 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:11] 971*2^797478-1 is not prime. Res64: 049F02817C426A08 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:11] 871*2^797493-1 is not prime. Res64: 002FBA22094B8D73 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:11] 869*2^797476-1 is not prime. Res64: 9F07A35C2EB710DF Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:11] 999*2^797479-1 is not prime. Res64: 7653FEEB2018EF86 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:11] 955*2^797493-1 is not prime. Res64: 050B8A9946E2A1A0 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:11] 989*2^797476-1 is not prime. Res64: ECFF1C1B4CC3BB40 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:11] 959*2^797480-1 is not prime. Res64: 854FE5AEEF9C8BD8 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:11] 899*2^797472-1 is not prime. Res64: 96D205C1BF266F43 Time : 89553.0 sec. user=kar_bon [2011-03-05 19:31:11] 987*2^797494-1 is not prime. Res64: 231FFD0C3A2B18A2 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:12] 979*2^797477-1 is not prime. Res64: F44219CAE0EAD966 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:12] 997*2^797481-1 is not prime. Res64: 0A1D92872BB86FF8 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:12] 947*2^797472-1 is not prime. Res64: 284FF0B425BED5A9 Time : 89553.0 sec. user=kar_bon [2011-03-05 19:31:12] 875*2^797496-1 is not prime. Res64: 574493FD95C0DF82 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:12] 933*2^797478-1 is not prime. Res64: F889C98B39FC630E Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:12] 957*2^797482-1 is not prime. Res64: BE2323F8E2533B77 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:12] 895*2^797473-1 is not prime. Res64: 79E717A353D19009 Time : 89553.0 sec. user=kar_bon [2011-03-05 19:31:12] 955*2^797497-1 is not prime. Res64: E2F66F4C3EEF4470 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:12] 975*2^797479-1 is not prime. Res64: BCE736E8D23DD4BD Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:12] 955*2^797483-1 is not prime. Res64: 40CA346AA9CD0647 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:12] 805*2^797475-1 is not prime. Res64: 1E8C3A44D492FC36 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:12] 831*2^797498-1 is not prime. Res64: 9F67010078C54D48 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:12] 899*2^797480-1 is not prime. Res64: 36C528BE9713FD57 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:12] 863*2^797484-1 is not prime. Res64: 8DB22CC3E1984C45 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:12] 803*2^797476-1 is not prime. Res64: ED53195E547CD36E Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:12] 879*2^797499-1 is not prime. Res64: 4A52FBB24CAD25E5 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:13] 837*2^797481-1 is not prime. Res64: C411031CB6B8991F Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:13] 969*2^797484-1 is not prime. Res64: 398F91DC9BB98375 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:13] 923*2^797476-1 is not prime. Res64: 3B067291D99FD8AB Time : 89553.0 sec. user=kar_bon [2011-03-05 19:31:13] 961*2^797499-1 is not prime. Res64: 43E5BFCF5A3AE627 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:13] 867*2^797482-1 is not prime. Res64: 9AECB945B4EB686F Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:13] 895*2^797485-1 is not prime. Res64: C0A4C5444912A3AE Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:13] 843*2^797478-1 is not prime. Res64: 66CDE54A618D46DD Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:13] 813*2^797500-1 is not prime. Res64: 82F4C01ECFD28BD0 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:13] 975*2^797482-1 is not prime. Res64: 0D2A83D70C55CA3F Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:13] 831*2^797486-1 is not prime. Res64: EB9E01DB62270998 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:13] 945*2^797478-1 is not prime. Res64: FC8A4BB05AE11536 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:13] 857*2^797500-1 is not prime. Res64: 984CE594481F069E Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:13] 973*2^797483-1 is not prime. Res64: 237ED0B99B1C3D58 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:14] 957*2^797486-1 is not prime. Res64: 035E3AE01652EFF1 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:14] 979*2^797479-1 is not prime. Res64: 5185C159904F8A94 Time : 89553.0 sec. user=kar_bon [2011-03-05 19:31:14] 825*2^797501-1 is not prime. Res64: ED87E82591465EAF Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:14] 873*2^797484-1 is not prime. Res64: 22111C08ECA4D59A Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:14] 865*2^797487-1 is not prime. Res64: 1E39E2396A063C35 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:14] 915*2^797480-1 is not prime. Res64: 6AAC6EE5FCD50FAE Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:14] 925*2^797501-1 is not prime. Res64: 05A306175B2E98A7 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:14] 855*2^797485-1 is not prime. Res64: E4FDABAD75896AD0 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:14] 875*2^797488-1 is not prime. Res64: 46C044A70A8D5BA7 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:14] 895*2^797481-1 is not prime. Res64: 54E4D9BCA661E8CD Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:14] 807*2^797502-1 is not prime. Res64: F94CB5305D987383 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:14] 979*2^797485-1 is not prime. Res64: 37A0E8E529E7F327 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:14] 831*2^797489-1 is not prime. Res64: 55A57CBAB5AE9D36 Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:14] 945*2^797482-1 is not prime. Res64: 068EA6E964A349E9 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:14] 805*2^797503-1 is not prime. Res64: 33DB82CE816ED36F Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:14] 857*2^797486-1 is not prime. Res64: 828DF49F4D592E25 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:15] 899*2^797504-1 is not prime. Res64: F18F0F36F5032383 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:15] 983*2^797482-1 is not prime. Res64: 182EE1E3CBCF58EC Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:15] 999*2^797503-1 is not prime. Res64: 7945BBC0D5280671 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:15] 1001*2^797486-1 is not prime. Res64: EE73E6B943864404 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:15] 817*2^797505-1 is not prime. Res64: E463C99733533FCF Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:15] 809*2^797484-1 is not prime. Res64: 78BD82608AB03349 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:15] 959*2^797504-1 is not prime. Res64: 47F2A3499E0F6F3C Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:15] 975*2^797487-1 is not prime. Res64: 1F8CC929C8A56E1A Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:15] 975*2^797505-1 is not prime. Res64: 9D6AF6A86F8811BF Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:15] 875*2^797484-1 is not prime. Res64: B36BB49374F0813B Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:15] 919*2^797505-1 is not prime. Res64: A8852835B69BB04D Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:15] 887*2^797488-1 is not prime. Res64: F93C9245D166609E Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:16] 861*2^797506-1 is not prime. Res64: 51FFB33C2DBAC6CE Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:16] 877*2^797485-1 is not prime. Res64: 1C557E5B1AA1656F Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:16] 837*2^797489-1 is not prime. Res64: 4FB136C800BFB46C Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:16] 951*2^797505-1 is not prime. Res64: 57BE9A7B23191EC2 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:16] 829*2^797507-1 is not prime. Res64: F8A7CCE01198DAE9 Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:16] 985*2^797485-1 is not prime. Res64: 6C5A7943377EBEDA Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:16] 985*2^797489-1 is not prime. Res64: 7C4A781F04D4EA14 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:16] 999*2^797505-1 is not prime. Res64: 9EF284CDECA23B62 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:16] 945*2^797507-1 is not prime. Res64: 0D9328DE06EE3D51 Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:16] 873*2^797486-1 is not prime. Res64: 6CBD1CAF8BAE1478 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:17] 833*2^797490-1 is not prime. Res64: 87DED9CAA7B694F7 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:17] 993*2^797506-1 is not prime. Res64: C7E42772DD0C3B69 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:17] 991*2^797507-1 is not prime. Res64: FFA5C34128895007 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:17] 859*2^797487-1 is not prime. Res64: 1897EFBCE1527534 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:17] 859*2^797491-1 is not prime. Res64: DC830AEBC839E192 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:17] 901*2^797507-1 is not prime. Res64: B80FB0518513BBDC Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:17] 879*2^797508-1 is not prime. Res64: 0B6BAA798470068C Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:17] 999*2^797487-1 is not prime. Res64: 17DF7B8180A9D747 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:17] 885*2^797491-1 is not prime. Res64: 444C45D1FA5E9CC8 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:17] 973*2^797507-1 is not prime. Res64: FB08A5136935521E Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:17] 957*2^797509-1 is not prime. Res64: 816CE09DBA537D8F Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:17] 999*2^797488-1 is not prime. Res64: 3179EB9A14C9C9E5 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:17] 951*2^797493-1 is not prime. Res64: 9EDDDECBC01765D7 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:18] 867*2^797508-1 is not prime. Res64: 3E4D5772F97BA855 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:18] 885*2^797510-1 is not prime. Res64: A619A467A37C998E Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:18] 955*2^797489-1 is not prime. Res64: D6147BD42A683958 Time : 89552.0 sec. user=kar_bon [2011-03-05 19:31:18] 827*2^797494-1 is not prime. Res64: AA3BD2F041D631A6 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:18] 987*2^797510-1 is not prime. Res64: 5D16EC19E9826909 Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:18] 825*2^797490-1 is not prime. Res64: B8AB3156E443447E Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:18] 837*2^797496-1 is not prime. Res64: E8A54A3E991C2DF2 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:18] 843*2^797512-1 is not prime. Res64: 38B1A151A3A67C6F Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:18] 819*2^797491-1 is not prime. Res64: B2707E4F02B1CCC5 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:18] 945*2^797496-1 is not prime. Res64: E8120902FC5C9A85 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:18] 967*2^797513-1 is not prime. Res64: EF368AFBE69A85CB Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:18] 871*2^797491-1 is not prime. Res64: 283C365A8927863B Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:18] 979*2^797505-1 is not prime. Res64: 34B4A45D4410CAD9 Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:18] 881*2^797514-1 is not prime. Res64: 7578DB792624AAAA Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:19] 927*2^797493-1 is not prime. Res64: 527824F86A9E6104 Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:19] 945*2^797506-1 is not prime. Res64: 79DC1EF0654C666C Time : 89545.0 sec. user=kar_bon [2011-03-05 19:31:19] 819*2^797515-1 is not prime. Res64: 475285EA659A13C3 Time : 89541.0 sec. user=kar_bon [2011-03-05 19:31:19] 961*2^797493-1 is not prime. Res64: 01AE6F9ADDEF6A4D Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:19] 841*2^797507-1 is not prime. Res64: 709F156DC3DA3400 Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:19] 909*2^797515-1 is not prime. Res64: 9D7453C7694B7D06 Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:19] 921*2^797495-1 is not prime. Res64: 9052311E0F67F6CF Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:19] 955*2^797507-1 is not prime. Res64: 8C8F931E2A9173C8 Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:19] 803*2^797516-1 is not prime. Res64: 8D54CAB28B9AFA6C Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:19] 903*2^797496-1 is not prime. Res64: EEA66FD5ACA82987 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:20] 819*2^797508-1 is not prime. Res64: 9D22E15FA53E024C Time : 89545.0 sec. user=kar_bon [2011-03-05 19:31:20] 897*2^797516-1 is not prime. Res64: BA3BAE6A1C4AC492 Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:20] 827*2^797498-1 is not prime. Res64: FFFE1A28EA591F3C Time : 89551.0 sec. user=kar_bon [2011-03-05 19:31:20] 969*2^797508-1 is not prime. Res64: 14F6B38010E446E4 Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:20] 847*2^797517-1 is not prime. Res64: E732AC5AD302DEF7 Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:20] 825*2^797499-1 is not prime. Res64: 984B6CE1BECE9DAB Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:20] 961*2^797509-1 is not prime. Res64: BD235A6DB647A1ED Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:20] 861*2^797518-1 is not prime. Res64: D5D82939AAF3D8AB Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:20] 903*2^797499-1 is not prime. Res64: 3B7208A6498ED240 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:20] 923*2^797510-1 is not prime. Res64: 0C460DAAEB259571 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:20] 889*2^797519-1 is not prime. Res64: F39BC3478864C156 Time : 89539.0 sec. user=kar_bon [2011-03-05 19:31:20] 975*2^797499-1 is not prime. Res64: A740014F0BC3AFCA Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:20] 823*2^797511-1 is not prime. Res64: 5493D8924CB03F85 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:21] 979*2^797519-1 is not prime. Res64: 93786A814FF92A86 Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:21] 825*2^797500-1 is not prime. Res64: 67C2331D2D3E3F63 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:21] 975*2^797511-1 is not prime. Res64: 3AA2A440DD8F1A02 Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:21] 861*2^797521-1 is not prime. Res64: EF59076B9B518BC6 Time : 89540.0 sec. user=kar_bon [2011-03-05 19:31:21] 927*2^797500-1 is not prime. Res64: 6829A557D8861284 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:21] 925*2^797513-1 is not prime. Res64: 451D1DA9D94C4A25 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:21] 861*2^797501-1 is not prime. Res64: 842F474437948281 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:21] 875*2^797514-1 is not prime. Res64: F3339B4712A88D49 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:21] 997*2^797501-1 is not prime. Res64: 83923125713A0178 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:21] 983*2^797514-1 is not prime. Res64: 59A4A517199DE3B5 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:21] 977*2^797502-1 is not prime. Res64: F923085EC3F827B1 Time : 89549.0 sec. user=kar_bon [2011-03-05 19:31:22] 859*2^797515-1 is not prime. Res64: 14B218158772F457 Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:22] 915*2^797503-1 is not prime. Res64: B4076D99C059E730 Time : 89550.0 sec. user=kar_bon [2011-03-05 19:31:22] 973*2^797515-1 is not prime. Res64: CAC6894B5B39879C Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:22] 875*2^797504-1 is not prime. Res64: 1A858DA9F848AE5C Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:22] 845*2^797516-1 is not prime. Res64: 68E4024AF6771BB5 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:22] 859*2^797507-1 is not prime. Res64: 8F44E51C9844F48A Time : 89547.0 sec. user=kar_bon [2011-03-05 19:31:22] 983*2^797516-1 is not prime. Res64: 901FA3E6B76C23B8 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:23] 963*2^797507-1 is not prime. Res64: 5A7F235CC99873E0 Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:23] 801*2^797518-1 is not prime. Res64: 82CD0BA3024DF9EF Time : 89543.0 sec. user=kar_bon [2011-03-05 19:31:23] 825*2^797508-1 is not prime. Res64: A208A7EBA97B7014 Time : 89548.0 sec. user=kar_bon [2011-03-05 19:31:23] 957*2^797518-1 is not prime. Res64: 9F7A49001B4A148F Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:23] 951*2^797509-1 is not prime. Res64: A88B020ED8660A7E Time : 89547.0 sec. user=kar_bon [2011-03-05 19:31:23] 949*2^797519-1 is not prime. Res64: 0B249FC53671C73A Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:23] 833*2^797510-1 is not prime. Res64: 1FF7E2D9B5AA6E33 Time : 89547.0 sec. user=kar_bon [2011-03-05 19:31:23] 801*2^797521-1 is not prime. Res64: 30B40134C1AD1EC7 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:24] 935*2^797510-1 is not prime. Res64: 0760276DAC8A001D Time : 89547.0 sec. user=kar_bon [2011-03-05 19:31:24] 801*2^797522-1 is not prime. Res64: 695774538B2E33A7 Time : 89542.0 sec. user=kar_bon [2011-03-05 19:31:24] 895*2^797511-1 is not prime. Res64: E15F97D139592D47 Time : 89547.0 sec. user=kar_bon [2011-03-05 19:31:24] 871*2^797513-1 is not prime. Res64: EA93C2270DE3780B Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:24] 815*2^797514-1 is not prime. Res64: F3211CA054ADAD3F Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:24] 945*2^797514-1 is not prime. Res64: 651E5E96F288B7E9 Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:25] 855*2^797515-1 is not prime. Res64: 611B4994628EF28D Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:25] 961*2^797515-1 is not prime. Res64: 420A6FF6B475F772 Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:25] 843*2^797516-1 is not prime. Res64: A20E68DE584857F6 Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:25] 909*2^797516-1 is not prime. Res64: E082AA165CBD4824 Time : 89545.0 sec. user=kar_bon [2011-03-05 19:31:26] 955*2^797517-1 is not prime. Res64: E3216E0E419A13FE Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:26] 911*2^797518-1 is not prime. Res64: 3F3C47A3DE670BA1 Time : 89546.0 sec. user=kar_bon [2011-03-05 19:31:26] 913*2^797519-1 is not prime. Res64: 6D21479664A69F4F Time : 89545.0 sec. user=kar_bon [2011-03-05 19:31:26] 993*2^797519-1 is not prime. Res64: 011BE7C0CEA261FE Time : 89545.0 sec. user=kar_bon [2011-03-05 19:31:26] 889*2^797521-1 is not prime. Res64: 4356029FC7571D38 Time : 89544.0 sec. user=kar_bon [2011-03-05 19:31:27] 813*2^797522-1 is not prime. Res64: 9CD8CB42C15F7B1B Time : 89545.0 sec. user=vaughan [2011-03-05 19:35:12] 801*2^797813-1 is not prime. Res64: 21736477F337BF0E Time : 1024.0 sec. user=vaughan [2011-03-05 19:39:52] 945*2^797893-1 is not prime. Res64: 0ADEF95F947EC1F1 Time : 992.0 sec. user=vaughan [2011-03-05 19:40:34] 887*2^797894-1 is not prime. Res64: 53611567FCAD2DF8 Time : 911.0 sec. user=vaughan [2011-03-05 19:40:38] 825*2^797894-1 is not prime. Res64: 27826EAAB40DF5D7 Time : 918.0 sec. user=vaughan [2011-03-05 19:44:00] 897*2^797894-1 is not prime. Res64: 0993958BFAD6ACE6 Time : 951.0 sec. user=vaughan [2011-03-05 19:45:04] 923*2^797894-1 is not prime. Res64: 5A9060C4244DCF93 Time : 1006.0 sec. user=vaughan [2011-03-05 19:49:52] 999*2^797961-1 is not prime. Res64: 0210FC0E40F6CBED Time : 930.0 sec. user=vaughan [2011-03-05 19:52:16] 951*2^797962-1 is not prime. Res64: 791AD626FFC7682D Time : 1024.0 sec. user=vaughan [2011-03-05 19:53:01] 811*2^797963-1 is not prime. Res64: F96252B84696492F Time : 943.0 sec. user=vaughan [2011-03-05 19:55:45] 909*2^797964-1 is not prime. Res64: 57670F69EB6FC71D Time : 912.0 sec. user=vaughan [2011-03-05 19:55:56] 861*2^797965-1 is not prime. Res64: 64328F2478D078EF Time : 919.0 sec. user=vaughan [2011-03-05 19:56:23] 943*2^797963-1 is not prime. Res64: 0217DE1179966203 Time : 991.0 sec. user=vaughan [2011-03-05 19:59:49] 867*2^797965-1 is not prime. Res64: D14814DDD94E6F03 Time : 949.0 sec. user=vaughan [2011-03-05 20:01:42] 939*2^797965-1 is not prime. Res64: 7C892C91A9405C3E Time : 999.0 sec. user=vaughan [2011-03-05 20:05:51] 891*2^797967-1 is not prime. Res64: 6D451452A9CF6D0B Time : 959.0 sec. user=vaughan [2011-03-05 20:08:46] 855*2^797968-1 is not prime. Res64: 2C823902B2C36675 Time : 946.0 sec. user=ototero [2011-03-05 20:09:17] 935*2^797168-1 is not prime. Res64: 118C7A64999EF70A Time : 11623.0 sec. user=ototero [2011-03-05 20:09:17] 963*2^797168-1 is not prime. Res64: CB4C86DD6EB889F8 Time : 11622.0 sec. user=ototero [2011-03-05 20:09:17] 999*2^797168-1 is not prime. Res64: 243934375773B4B6 Time : 11622.0 sec. user=ototero [2011-03-05 20:09:18] 861*2^797169-1 is not prime. Res64: 36CB81BF7CCC54A8 Time : 11623.0 sec. user=ototero [2011-03-05 20:09:18] 889*2^797169-1 is not prime. Res64: FD2A4CAFFE353911 Time : 11622.0 sec. user=ototero [2011-03-05 20:09:18] 891*2^797169-1 is not prime. Res64: C78367EB5C1526EF Time : 11622.0 sec. user=ototero [2011-03-05 20:09:18] 979*2^797169-1 is not prime. Res64: 05171925D63658E8 Time : 11622.0 sec. user=ototero [2011-03-05 20:09:18] 997*2^797169-1 is not prime. Res64: D87CF748D1221776 Time : 11621.0 sec. user=ototero [2011-03-05 20:09:18] 911*2^797170-1 is not prime. Res64: CE0F832FCE99ACEF Time : 11621.0 sec. user=ototero [2011-03-05 20:09:19] 971*2^797170-1 is not prime. Res64: BE5043FCE4AB3D4D Time : 11621.0 sec. user=vaughan [2011-03-05 20:09:21] 979*2^797967-1 is not prime. Res64: 864D2E8052541A53 Time : 1025.0 sec. user=vaughan [2011-03-05 20:10:57] 969*2^797968-1 is not prime. Res64: 25497F2247E6A440 Time : 912.0 sec. user=vaughan [2011-03-05 20:11:16] 993*2^797968-1 is not prime. Res64: FB9D7208DC17C39C Time : 920.0 sec. user=vaughan [2011-03-05 20:12:54] 819*2^797969-1 is not prime. Res64: 60F32D5EF6B3952C Time : 992.0 sec. user=vaughan [2011-03-05 20:15:37] 813*2^797971-1 is not prime. Res64: AD8B61DB85D1D854 Time : 948.0 sec. user=vaughan [2011-03-05 20:18:21] 889*2^797971-1 is not prime. Res64: AD2A4EA9B468C097 Time : 1000.0 sec. user=vaughan [2011-03-05 20:21:17] 979*2^797971-1 is not prime. Res64: 0426FA2C709E125E Time : 927.0 sec. user=vaughan [2011-03-05 20:24:28] 897*2^797972-1 is not prime. Res64: 10B2AB8A45F249FC Time : 942.0 sec. user=vaughan [2011-03-05 20:25:45] 991*2^797973-1 is not prime. Res64: B9A1D9057A1CE6BE Time : 984.0 sec. user=vaughan [2011-03-05 20:26:08] 981*2^797975-1 is not prime. Res64: 418556875BC428B1 Time : 911.0 sec. user=vaughan [2011-03-05 20:26:29] 999*2^797975-1 is not prime. Res64: 41C69CA43BC09C5D Time : 913.0 sec. user=vaughan [2011-03-05 20:28:49] 845*2^797976-1 is not prime. Res64: 4474437B94B38EC5 Time : 955.0 sec. user=vaughan [2011-03-05 20:31:20] 887*2^797976-1 is not prime. Res64: D2AEA796B05D47AD Time : 943.0 sec. user=vaughan [2011-03-05 20:34:59] 903*2^797976-1 is not prime. Res64: 46A610C0EF52D7FA Time : 998.0 sec. user=vaughan [2011-03-05 20:36:41] 927*2^797976-1 is not prime. Res64: 7D4AB1E1600B76F6 Time : 924.0 sec. user=vaughan [2011-03-05 20:40:01] 945*2^797976-1 is not prime. Res64: E5D039C107459681 Time : 933.0 sec. user=vaughan [2011-03-05 20:41:16] 997*2^797977-1 is not prime. Res64: 6BA4EA01F5573031 Time : 908.0 sec. user=vaughan [2011-03-05 20:41:21] 955*2^797977-1 is not prime. Res64: 8F639B23C2D8C349 Time : 936.0 sec. user=vaughan [2011-03-05 20:41:39] 999*2^797977-1 is not prime. Res64: 405CDB2D56CD4B70 Time : 910.0 sec. user=vaughan [2011-03-05 20:44:24] 801*2^797978-1 is not prime. Res64: 44245586A4964393 Time : 935.0 sec. user=vaughan [2011-03-05 20:47:00] 867*2^797978-1 is not prime. Res64: B897756AF186F7ED Time : 941.0 sec. user=vaughan [2011-03-05 20:51:34] 911*2^797978-1 is not prime. Res64: 558B9B0389946EA3 Time : 995.0 sec. user=vaughan [2011-03-05 20:52:04] 935*2^797978-1 is not prime. Res64: 87BCFD675147664E Time : 923.0 sec. user=vaughan [2011-03-05 20:55:37] 1001*2^797978-1 is not prime. Res64: C2E511BAE68D3442 Time : 936.0 sec. user=vaughan [2011-03-05 20:56:24] 861*2^797979-1 is not prime. Res64: C9D4BF0D3CA4FEAB Time : 908.0 sec. user=vaughan [2011-03-05 20:56:48] 979*2^797979-1 is not prime. Res64: D740B1F1F305F1A8 Time : 910.0 sec. user=vaughan [2011-03-05 20:56:59] 969*2^797979-1 is not prime. Res64: 74F5F99968AF40F8 Time : 938.0 sec. user=vaughan [2011-03-05 20:59:58] 991*2^797979-1 is not prime. Res64: 6C270B9437FFC3E6 Time : 935.0 sec. user=vaughan [2011-03-05 21:02:42] 855*2^797980-1 is not prime. Res64: 6584F4CD459F2D48 Time : 942.0 sec. user=vaughan [2011-03-05 21:07:29] 885*2^797980-1 is not prime. Res64: 47CE6B920E1A22AB Time : 925.0 sec. user=vaughan [2011-03-05 21:08:12] 875*2^797980-1 is not prime. Res64: 7EE8F5DE15B01829 Time : 998.0 sec. user=vaughan [2011-03-05 21:11:12] 897*2^797980-1 is not prime. Res64: 5846DD6B9334DD4F Time : 935.0 sec. user=vaughan [2011-03-05 21:11:32] 885*2^797981-1 is not prime. Res64: F2B0E063AF6F4C3C Time : 908.0 sec. user=vaughan [2011-03-05 21:11:58] 939*2^797981-1 is not prime. Res64: E8331DB9358CDA26 Time : 910.0 sec. user=vaughan [2011-03-05 21:12:37] 917*2^797982-1 is not prime. Res64: 7F454F30D2CC5B34 Time : 938.0 sec. user=vaughan [2011-03-05 21:15:34] 977*2^797982-1 is not prime. Res64: 52677BD6B54D9252 Time : 936.0 sec. user=vaughan [2011-03-05 21:18:24] 849*2^797983-1 is not prime. Res64: 1A0F795A728B79B4 Time : 943.0 sec. user=vaughan [2011-03-05 21:22:53] 985*2^797983-1 is not prime. Res64: A3B36B3B47CE0842 Time : 925.0 sec. user=vaughan [2011-03-05 21:24:53] 999*2^797983-1 is not prime. Res64: 69CDA70AA6BA58B0 Time : 1001.0 sec. user=vaughan [2011-03-05 21:26:41] 825*2^797984-1 is not prime. Res64: 8FC468FCF3E9ED3B Time : 909.0 sec. user=vaughan [2011-03-05 21:26:45] 803*2^797984-1 is not prime. Res64: 4B32328D64E5BC81 Time : 933.0 sec. user=vaughan [2011-03-05 21:27:07] 843*2^797984-1 is not prime. Res64: 6B637FF6DFBFF538 Time : 909.0 sec. user=vaughan [2011-03-05 21:28:13] 909*2^797984-1 is not prime. Res64: D5B6C22EC02909F2 Time : 937.0 sec. user=vaughan [2011-03-05 21:31:07] 969*2^797984-1 is not prime. Res64: 4AAE97B960C1C9B7 Time : 933.0 sec. user=vaughan [2011-03-05 21:34:04] 983*2^797984-1 is not prime. Res64: 0F9379704E656656 Time : 941.0 sec. user=vaughan [2011-03-05 21:38:18] 867*2^797985-1 is not prime. Res64: 84DF82F0F764BE90 Time : 925.0 sec. user=vaughan [2011-03-05 21:41:29] 921*2^797985-1 is not prime. Res64: 24471BBCB4F2095B Time : 996.0 sec. user=vaughan [2011-03-05 21:41:48] 821*2^797986-1 is not prime. Res64: BD9A21BF194D5E5C Time : 908.0 sec. user=vaughan [2011-03-05 21:42:17] 833*2^797986-1 is not prime. Res64: A2F1795AD2CBA916 Time : 910.0 sec. user=vaughan [2011-03-05 21:42:19] 825*2^797986-1 is not prime. Res64: F0B909D0CDBF7551 Time : 934.0 sec. user=vaughan [2011-03-05 21:43:51] 873*2^797986-1 is not prime. Res64: A5E2E593ECB41C8B Time : 938.0 sec. user=vaughan [2011-03-05 21:46:42] 941*2^797986-1 is not prime. Res64: E4880E81CBCF69B1 Time : 935.0 sec. user=vaughan [2011-03-05 21:49:45] 987*2^797986-1 is not prime. Res64: 1D20F09CB9F40777 Time : 941.0 sec. user=vaughan [2011-03-05 21:53:44] 861*2^797987-1 is not prime. Res64: 8C05A788842D9D72 Time : 926.0 sec. user=vaughan [2011-03-05 21:56:57] 979*2^797987-1 is not prime. Res64: 725C62B3E3969D27 Time : 909.0 sec. user=vaughan [2011-03-05 21:57:27] 875*2^797988-1 is not prime. Res64: 6F8DFC739FC9DC9E Time : 910.0 sec. user=vaughan [2011-03-05 21:57:53] 909*2^797988-1 is not prime. Res64: DC468E282F9514A5 Time : 934.0 sec. user=vaughan [2011-03-05 21:58:02] 909*2^797987-1 is not prime. Res64: 95EC2C56E2637066 Time : 993.0 sec. user=vaughan [2011-03-05 21:59:28] 923*2^797988-1 is not prime. Res64: FF7735F7DA93CEA9 Time : 938.0 sec. user=vaughan [2011-03-05 22:02:16] 877*2^797989-1 is not prime. Res64: 4D24FA0983189463 Time : 934.0 sec. user=vaughan [2011-03-05 22:05:26] 927*2^797989-1 is not prime. Res64: E50F5EC97F0FC050 Time : 941.0 sec. user=vaughan [2011-03-05 22:09:12] 939*2^797989-1 is not prime. Res64: 65DFA6BA53968A34 Time : 928.0 sec. user=vaughan [2011-03-05 22:12:07] 951*2^797989-1 is not prime. Res64: 7BB30970B6A6F83B Time : 910.0 sec. user=vaughan [2011-03-05 22:12:35] 857*2^797990-1 is not prime. Res64: D195F2A7D3F7CFF6 Time : 909.0 sec. user=ototero [2011-03-05 23:22:09] 903*2^797972-1 is not prime. Res64: 2FF0C1CB22729E96 Time : 11570.0 sec. user=ototero [2011-03-05 23:22:09] 923*2^797972-1 is not prime. Res64: D5FA30912471C480 Time : 11570.0 sec. user=ototero [2011-03-05 23:22:09] 957*2^797972-1 is not prime. Res64: A3E0B4E14F3C2591 Time : 11569.0 sec. user=ototero [2011-03-05 23:22:09] 963*2^797972-1 is not prime. Res64: 389CC4C0A660DEA2 Time : 11569.0 sec. user=ototero [2011-03-05 23:22:09] 805*2^797973-1 is not prime. Res64: 180DD8519121177C Time : 11569.0 sec. user=ototero [2011-03-05 23:22:10] 945*2^797973-1 is not prime. Res64: B03C5A6D5D7AFCEC Time : 11569.0 sec. user=ototero [2011-03-05 23:22:10] 881*2^797974-1 is not prime. Res64: A226BFB4AFE7F042 Time : 11569.0 sec. user=ototero [2011-03-05 23:22:10] 861*2^797975-1 is not prime. Res64: 9D5087706B3789B9 Time : 11569.0 sec. user=ototero [2011-03-05 23:22:10] 915*2^797975-1 is not prime. Res64: AFC27F89D82DAF98 Time : 11568.0 sec. user=ototero [2011-03-05 23:22:10] 963*2^797975-1 is not prime. Res64: C5D7E52DF07FFF4D Time : 11568.0 sec.