user=vaughan [2009-06-27 00:03:49] 427*2^701509-1 is not prime. Res64: EF388E2D2B2D6D06 Time : 4985.0 sec. user=vaughan [2009-06-27 00:04:27] 441*2^701509-1 is not prime. Res64: 9E204618C790D63A Time : 4957.0 sec. user=gd_barnes [2009-06-27 00:10:38] 441*2^701511-1 is not prime. Res64: 0A1F8853E2FF1CD3 Time : 3321.0 sec. user=vaughan [2009-06-27 00:11:53] 505*2^701509-1 is not prime. Res64: F952D6A270F15841 Time : 4962.0 sec. user=vaughan [2009-06-27 00:12:36] 405*2^701510-1 is not prime. Res64: DF92E72B839E767B Time : 4930.0 sec. user=vaughan [2009-06-27 00:19:51] 483*2^701510-1 is not prime. Res64: 5FF3B7F66D8E8E0C Time : 4946.0 sec. user=vaughan [2009-06-27 00:20:26] 521*2^701510-1 is not prime. Res64: EBEAB31FFB1F805A Time : 4914.0 sec. user=gd_barnes [2009-06-27 00:21:46] 549*2^701511-1 is not prime. Res64: 551DB474CB56B3E9 Time : 3326.0 sec. user=vaughan [2009-06-27 00:27:58] 557*2^701510-1 is not prime. Res64: 987E7FA14FCEAF78 Time : 4937.0 sec. user=vaughan [2009-06-27 00:28:25] 585*2^701510-1 is not prime. Res64: DC8D60A58EA7D39D Time : 4912.0 sec. user=gd_barnes [2009-06-27 00:32:53] 527*2^701512-1 is not prime. Res64: 594E413E6F32284C Time : 3329.0 sec. user=vaughan [2009-06-27 00:35:53] 409*2^701511-1 is not prime. Res64: 0F8610CA65A3494B Time : 4915.0 sec. user=vaughan [2009-06-27 00:36:13] 423*2^701511-1 is not prime. Res64: 62F3B01AB8C652C6 Time : 4897.0 sec. user=gd_barnes [2009-06-27 00:44:02] 437*2^701514-1 is not prime. Res64: DD182BAFCA1F9AAF Time : 3335.0 sec. user=vaughan [2009-06-27 00:44:30] 493*2^701511-1 is not prime. Res64: 23EC0523497F512C Time : 4944.0 sec. user=vaughan [2009-06-27 00:45:12] 513*2^701511-1 is not prime. Res64: 2E2C626BD8F961F3 Time : 4946.0 sec. user=vaughan [2009-06-27 00:53:21] 565*2^701511-1 is not prime. Res64: 41126368156C6E4F Time : 4975.0 sec. user=vaughan [2009-06-27 00:53:59] 525*2^701512-1 is not prime. Res64: 703CDD8864A5E327 Time : 4963.0 sec. user=gd_barnes [2009-06-27 00:55:11] 421*2^701515-1 is not prime. Res64: 6F2AFD21D3ABC19A Time : 3341.0 sec. user=vaughan [2009-06-27 01:02:05] 549*2^701512-1 is not prime. Res64: 8A76AA95B22C05A7 Time : 5017.0 sec. user=vaughan [2009-06-27 01:02:31] 511*2^701513-1 is not prime. Res64: 00778A401945AE6A Time : 4999.0 sec. user=gd_barnes [2009-06-27 01:06:17] 495*2^701517-1 is not prime. Res64: AB5881F63DC69151 Time : 3339.0 sec. user=vaughan [2009-06-27 01:11:18] 517*2^701513-1 is not prime. Res64: 76454BFBF64863C9 Time : 5050.0 sec. user=vaughan [2009-06-27 01:11:37] 571*2^701513-1 is not prime. Res64: 80A2E8C87F0CE28F Time : 5022.0 sec. user=gd_barnes [2009-06-27 01:17:23] 483*2^701518-1 is not prime. Res64: 90CBD0400AFE44C9 Time : 3337.0 sec. user=vaughan [2009-06-27 01:19:05] 497*2^701514-1 is not prime. Res64: C3CCB163E4A1C334 Time : 5028.0 sec. user=vaughan [2009-06-27 01:19:24] 543*2^701514-1 is not prime. Res64: ED89F0E8747A2EFE Time : 5012.0 sec. user=vaughan [2009-06-27 01:27:18] 437*2^701516-1 is not prime. Res64: 3824E522750D2C59 Time : 5012.0 sec. user=vaughan [2009-06-27 01:27:33] 451*2^701517-1 is not prime. Res64: A22CD58538DD9F75 Time : 4986.0 sec. user=gd_barnes [2009-06-27 01:28:30] 489*2^701519-1 is not prime. Res64: 3CA0F5722F9F3144 Time : 3337.0 sec. user=vaughan [2009-06-27 01:35:04] 517*2^701517-1 is not prime. Res64: 01AD094946BF808D Time : 4991.0 sec. user=vaughan [2009-06-27 01:35:23] 531*2^701517-1 is not prime. Res64: FBAEBC130007D7B8 Time : 4967.0 sec. user=gd_barnes [2009-06-27 01:39:39] 509*2^701520-1 is not prime. Res64: 14F9BABCA1E038AB Time : 3337.0 sec. user=vaughan [2009-06-27 01:42:54] 549*2^701517-1 is not prime. Res64: 8697B040DD020D90 Time : 4984.0 sec. user=vaughan [2009-06-27 01:43:12] 461*2^701518-1 is not prime. Res64: 1AC33CC5627D8733 Time : 4966.0 sec. user=vaughan [2009-06-27 01:50:37] 545*2^701518-1 is not prime. Res64: 107C2618477E831B Time : 4960.0 sec. user=gd_barnes [2009-06-27 01:50:47] 407*2^701522-1 is not prime. Res64: 3C9BCBDB8FA8961F Time : 3336.0 sec. user=vaughan [2009-06-27 01:50:59] 463*2^701519-1 is not prime. Res64: 35EA1EA388B86EAC Time : 4954.0 sec. user=vaughan [2009-06-27 01:58:20] 511*2^701519-1 is not prime. Res64: 5F473667CE07E859 Time : 4947.0 sec. user=vaughan [2009-06-27 01:58:48] 479*2^701520-1 is not prime. Res64: 0C5BB7238009FB09 Time : 4956.0 sec. user=gd_barnes [2009-06-27 02:01:56] 563*2^701522-1 is not prime. Res64: A027797AAE4B6078 Time : 3339.0 sec. user=vaughan [2009-06-27 02:06:04] 555*2^701520-1 is not prime. Res64: 5DAEC766543D0FB5 Time : 4894.0 sec. user=vaughan [2009-06-27 02:06:38] 429*2^701521-1 is not prime. Res64: 6B2425EB5FF2CB35 Time : 4886.0 sec. user=gd_barnes [2009-06-27 02:13:02] 583*2^701523-1 is not prime. Res64: BA1A146541318B3B Time : 3339.0 sec. user=vaughan [2009-06-27 02:13:48] 495*2^701521-1 is not prime. Res64: 03DA334FFC3346BE Time : 4828.0 sec. user=vaughan [2009-06-27 02:14:25] 507*2^701521-1 is not prime. Res64: 5C95E2D2C7A07EBE Time : 4827.0 sec. user=vaughan [2009-06-27 02:21:34] 507*2^701522-1 is not prime. Res64: 66FCEB2EC7D4A239 Time : 4770.0 sec. user=vaughan [2009-06-27 02:22:13] 551*2^701522-1 is not prime. Res64: 48FD76C0BFB74590 Time : 4782.0 sec. user=gd_barnes [2009-06-27 02:24:07] 411*2^701525-1 is not prime. Res64: AAB5659D7F6AE8E0 Time : 3337.0 sec. user=vaughan [2009-06-27 02:29:20] 581*2^701522-1 is not prime. Res64: F738E7F3618A7FFA Time : 4682.0 sec. user=vaughan [2009-06-27 02:29:59] 523*2^701523-1 is not prime. Res64: 7F43D98981B41BF4 Time : 4702.0 sec. user=gd_barnes [2009-06-27 02:35:12] 519*2^701525-1 is not prime. Res64: 13606EB6FBAFA698 Time : 3333.0 sec. user=vaughan [2009-06-27 02:37:11] 443*2^701524-1 is not prime. Res64: 71BD3A75A1EF70D8 Time : 4686.0 sec. user=vaughan [2009-06-27 02:38:02] 455*2^701524-1 is not prime. Res64: 75CD200795979C9F Time : 4718.0 sec. user=vaughan [2009-06-27 02:45:31] 483*2^701524-1 is not prime. Res64: A83444AB0C24F764 Time : 4693.0 sec. user=vaughan [2009-06-27 02:46:09] 525*2^701524-1 is not prime. Res64: E76D33D9EFD02AAB Time : 4716.0 sec. user=gd_barnes [2009-06-27 02:46:16] 573*2^701526-1 is not prime. Res64: B4387390A94BF330 Time : 3329.0 sec. user=vaughan [2009-06-27 02:53:50] 447*2^701525-1 is not prime. Res64: 057ED9A396F25013 Time : 4726.0 sec. user=vaughan [2009-06-27 02:54:12] 459*2^701525-1 is not prime. Res64: B9D3982C1E290435 Time : 4730.0 sec. user=gd_barnes [2009-06-27 02:57:20] 493*2^701527-1 is not prime. Res64: DB7BD0B034AE647A Time : 3324.0 sec. user=vaughan [2009-06-27 03:02:17] 567*2^701525-1 is not prime. Res64: 279B155168536869 Time : 4763.0 sec. user=vaughan [2009-06-27 03:02:27] 443*2^701526-1 is not prime. Res64: D52F38E51F0C272A Time : 4755.0 sec. user=gd_barnes [2009-06-27 03:08:24] 539*2^701528-1 is not prime. Res64: 2F1B1174E13B66E6 Time : 3323.0 sec. user=vaughan [2009-06-27 03:10:39] 525*2^701526-1 is not prime. Res64: 2B1D0750F68B27B6 Time : 4802.0 sec. user=vaughan [2009-06-27 03:10:41] 593*2^701526-1 is not prime. Res64: FA89E5973F34B2B9 Time : 4783.0 sec. user=vaughan [2009-06-27 03:18:23] 465*2^701527-1 is not prime. Res64: C1904ED5D8A3988E Time : 4803.0 sec. user=vaughan [2009-06-27 03:18:26] 483*2^701527-1 is not prime. Res64: 41FD08E7601F63D5 Time : 4778.0 sec. user=gd_barnes [2009-06-27 03:19:29] 421*2^701531-1 is not prime. Res64: 8D374D0E0458EEB2 Time : 3322.0 sec. user=vaughan [2009-06-27 03:26:13] 523*2^701527-1 is not prime. Res64: 15BD68CC1F2AEE1C Time : 4809.0 sec. user=vaughan [2009-06-27 03:26:16] 519*2^701528-1 is not prime. Res64: 23002DA589BEA279 Time : 4778.0 sec. user=gd_barnes [2009-06-27 03:30:34] 579*2^701531-1 is not prime. Res64: 4E4776057B98CEE0 Time : 3322.0 sec. user=vaughan [2009-06-27 03:35:26] 439*2^701529-1 is not prime. Res64: 210A409E88E5FB3B Time : 4861.0 sec. user=vaughan [2009-06-27 03:35:55] 585*2^701528-1 is not prime. Res64: 926EF49CE5120856 Time : 4927.0 sec. user=gd_barnes [2009-06-27 03:41:38] 567*2^701532-1 is not prime. Res64: 27EC4A33343F3D7E Time : 3322.0 sec. user=vaughan [2009-06-27 03:44:31] 453*2^701530-1 is not prime. Res64: 86A45B22D1ECC10C Time : 4939.0 sec. user=vaughan [2009-06-27 03:45:19] 501*2^701529-1 is not prime. Res64: 0127C1C80568326C Time : 5025.0 sec. user=gd_barnes [2009-06-27 03:52:45] 555*2^701533-1 is not prime. Res64: 46B81606C2933897 Time : 3325.0 sec. user=vaughan [2009-06-27 03:53:13] 505*2^701531-1 is not prime. Res64: E43EA1600C6EDE92 Time : 4995.0 sec. user=vaughan [2009-06-27 03:54:01] 465*2^701531-1 is not prime. Res64: FCCB59CCC92D6284 Time : 5082.0 sec. user=vaughan [2009-06-27 04:02:19] 455*2^701532-1 is not prime. Res64: 283871983AA38BA8 Time : 5057.0 sec. user=vaughan [2009-06-27 04:03:18] 429*2^701532-1 is not prime. Res64: 3192091D797C3E8D Time : 5168.0 sec. user=gd_barnes [2009-06-27 04:04:19] 433*2^701535-1 is not prime. Res64: FA4597174360A8E9 Time : 3355.0 sec. user=vaughan [2009-06-27 04:11:26] 515*2^701532-1 is not prime. Res64: 0ABA29FCEF91078A Time : 5117.0 sec. user=vaughan [2009-06-27 04:12:27] 467*2^701532-1 is not prime. Res64: 4D94AE244EB2C328 Time : 5216.0 sec. user=gd_barnes [2009-06-27 04:15:33] 543*2^701535-1 is not prime. Res64: 7E6CA3740792C00E Time : 3364.0 sec. user=vaughan [2009-06-27 04:20:35] 517*2^701533-1 is not prime. Res64: B0A213235D153409 Time : 5183.0 sec. user=vaughan [2009-06-27 04:21:43] 441*2^701533-1 is not prime. Res64: A5087284E820C35D Time : 5273.0 sec. user=gd_barnes [2009-06-27 04:26:54] 437*2^701536-1 is not prime. Res64: 187555017B8F4A77 Time : 3380.0 sec. user=vaughan [2009-06-27 04:29:54] 587*2^701534-1 is not prime. Res64: 7A2C195DFD8148C8 Time : 5247.0 sec. user=vaughan [2009-06-27 04:31:15] 503*2^701534-1 is not prime. Res64: 33C7469C7C2B136D Time : 5339.0 sec. user=gd_barnes [2009-06-27 04:38:10] 563*2^701536-1 is not prime. Res64: DEA4403DFCB37ADE Time : 3393.0 sec. user=vaughan [2009-06-27 04:39:01] 489*2^701535-1 is not prime. Res64: 57BA56AD18E76B97 Time : 5300.0 sec. user=vaughan [2009-06-27 04:40:16] 453*2^701535-1 is not prime. Res64: 935E80795702B979 Time : 5377.0 sec. user=vaughan [2009-06-27 04:47:57] 541*2^701535-1 is not prime. Res64: 8E81B31A8A0A2CEF Time : 5371.0 sec. user=gd_barnes [2009-06-27 04:49:27] 589*2^701537-1 is not prime. Res64: D41ECBE6DEC8A483 Time : 3402.0 sec. user=vaughan [2009-06-27 04:49:35] 501*2^701535-1 is not prime. Res64: 0E41255E7D54662F Time : 5472.0 sec. user=vaughan [2009-06-27 04:57:01] 435*2^701536-1 is not prime. Res64: E7CC63C15C458BF4 Time : 5445.0 sec. user=vaughan [2009-06-27 04:58:53] 553*2^701535-1 is not prime. Res64: 6876CBCAB1C93CAE Time : 5560.0 sec. user=gd_barnes [2009-06-27 05:00:39] 415*2^701539-1 is not prime. Res64: 7CE8784EB3454C5B Time : 3380.0 sec. user=vaughan [2009-06-27 05:06:17] 465*2^701536-1 is not prime. Res64: 7E755A5AA68C8599 Time : 5451.0 sec. user=vaughan [2009-06-27 05:08:29] 495*2^701536-1 is not prime. Res64: 63B4C3E7803965E3 Time : 5554.0 sec. user=gd_barnes [2009-06-27 05:11:47] 413*2^701540-1 is not prime. Res64: 009367E48DC9CD58 Time : 3374.0 sec. user=vaughan [2009-06-27 05:15:32] 439*2^701537-1 is not prime. Res64: 76F3110F8BBE8CDF Time : 5461.0 sec. user=vaughan [2009-06-27 05:18:14] 469*2^701537-1 is not prime. Res64: 1AC32F7E7D268DF6 Time : 5575.0 sec. user=gd_barnes [2009-06-27 05:22:57] 467*2^701540-1 is not prime. Res64: E34BEEB7C22B639B Time : 3363.0 sec. user=vaughan [2009-06-27 05:24:54] 447*2^701538-1 is not prime. Res64: FFF27A5CA3AE01B0 Time : 5501.0 sec. user=vaughan [2009-06-27 05:27:34] 465*2^701538-1 is not prime. Res64: 818084C656157CD4 Time : 5613.0 sec. user=vaughan [2009-06-27 05:33:49] 507*2^701538-1 is not prime. Res64: 06ACF9C5EBD4ADFE Time : 5490.0 sec. user=gd_barnes [2009-06-27 05:34:07] 591*2^701541-1 is not prime. Res64: FAF196FCCA5C1EDE Time : 3357.0 sec. user=vaughan [2009-06-27 05:36:59] 567*2^701538-1 is not prime. Res64: 665D8B80F2B80A9D Time : 5621.0 sec. user=vaughan [2009-06-27 05:42:57] 549*2^701539-1 is not prime. Res64: A69DB23550F44392 Time : 5491.0 sec. user=gd_barnes [2009-06-27 05:45:11] 559*2^701543-1 is not prime. Res64: D5F90068668B2A1D Time : 3344.0 sec. user=vaughan [2009-06-27 05:46:00] 583*2^701539-1 is not prime. Res64: 892C470C252FAC22 Time : 5614.0 sec. user=vaughan [2009-06-27 05:51:57] 447*2^701540-1 is not prime. Res64: 85633CF5E22EB620 Time : 5482.0 sec. user=vaughan [2009-06-27 05:55:01] 459*2^701540-1 is not prime. Res64: E050B15EE82D7206 Time : 5598.0 sec. user=gd_barnes [2009-06-27 05:56:16] 587*2^701544-1 is not prime. Res64: B0424FA3D7CA7E83 Time : 3337.0 sec. user=vaughan [2009-06-27 06:01:06] 585*2^701540-1 is not prime. Res64: 5BEBA8859AA21A22 Time : 5472.0 sec. user=vaughan [2009-06-27 06:04:05] 471*2^701541-1 is not prime. Res64: 98D9ADB16F5FEE0C Time : 5570.0 sec. user=gd_barnes [2009-06-27 06:07:19] 525*2^701545-1 is not prime. Res64: 7E877339C52AB33F Time : 3332.0 sec. user=vaughan [2009-06-27 06:09:59] 491*2^701542-1 is not prime. Res64: 9F2AC2B0CEE381C2 Time : 5458.0 sec. user=vaughan [2009-06-27 06:12:44] 409*2^701543-1 is not prime. Res64: FF81E621A441599B Time : 5548.0 sec. user=gd_barnes [2009-06-27 06:18:23] 561*2^701546-1 is not prime. Res64: CCC1D68620223609 Time : 3326.0 sec. user=vaughan [2009-06-27 06:18:31] 519*2^701543-1 is not prime. Res64: F9FFA81CC59D5FB3 Time : 5434.0 sec. user=vaughan [2009-06-27 06:21:49] 419*2^701544-1 is not prime. Res64: 0BA8ADC3673B95A3 Time : 5534.0 sec. user=vaughan [2009-06-27 06:27:33] 509*2^701544-1 is not prime. Res64: 2CAFC8C7341A0F62 Time : 5433.0 sec. user=gd_barnes [2009-06-27 06:29:26] 443*2^701548-1 is not prime. Res64: E6921EDD2B5B1AD1 Time : 3319.0 sec. user=vaughan [2009-06-27 06:31:15] 549*2^701544-1 is not prime. Res64: D3C598F875509059 Time : 5542.0 sec. user=vaughan [2009-06-27 06:36:33] 415*2^701545-1 is not prime. Res64: 22F1B8BE5A686765 Time : 5416.0 sec. user=vaughan [2009-06-27 06:40:13] 427*2^701545-1 is not prime. Res64: 9D46ABE8CBF8F8F0 Time : 5504.0 sec. user=gd_barnes [2009-06-27 06:40:30] 451*2^701549-1 is not prime. Res64: 2948442E212BA7F0 Time : 3319.0 sec. user=vaughan [2009-06-27 06:44:49] 589*2^701545-1 is not prime. Res64: 700C2832394E62F0 Time : 5357.0 sec. user=vaughan [2009-06-27 06:48:59] 501*2^701546-1 is not prime. Res64: D58FA016C2EC0096 Time : 5446.0 sec. user=gd_barnes [2009-06-27 06:51:33] 525*2^701550-1 is not prime. Res64: 52A01FF1D8118A45 Time : 3318.0 sec. user=vaughan [2009-06-27 06:53:53] 573*2^701546-1 is not prime. Res64: 67A2BBD8E5E1C1C9 Time : 5339.0 sec. user=vaughan [2009-06-27 06:58:23] 575*2^701546-1 is not prime. Res64: 5E87E5D9AE3E876D Time : 5449.0 sec. user=vaughan [2009-06-27 07:02:27] 585*2^701547-1 is not prime. Res64: A3B87073ADDDEFEF Time : 5318.0 sec. user=gd_barnes [2009-06-27 07:02:37] 421*2^701551-1 is not prime. Res64: B750E367C3F64EB6 Time : 3318.0 sec. user=vaughan [2009-06-27 07:07:20] 507*2^701548-1 is not prime. Res64: BA95CF37016A0F76 Time : 5421.0 sec. user=vaughan [2009-06-27 07:11:19] 549*2^701548-1 is not prime. Res64: 67397E0F5E0988C8 Time : 5303.0 sec. user=gd_barnes [2009-06-27 07:13:41] 541*2^701551-1 is not prime. Res64: 6D99788872A64C94 Time : 3318.0 sec. user=vaughan [2009-06-27 07:16:32] 459*2^701549-1 is not prime. Res64: 4B505337D15F4549 Time : 5432.0 sec. user=vaughan [2009-06-27 07:20:13] 469*2^701549-1 is not prime. Res64: 37384B73509B783C Time : 5296.0 sec. user=gd_barnes [2009-06-27 07:24:44] 501*2^701553-1 is not prime. Res64: 81CE1AF7FC33DB5B Time : 3318.0 sec. user=vaughan [2009-06-27 07:25:49] 431*2^701550-1 is not prime. Res64: D6BC63DB835A9BC8 Time : 5448.0 sec. user=vaughan [2009-06-27 07:29:23] 581*2^701550-1 is not prime. Res64: AFBB1C67E02E904A Time : 5297.0 sec. user=vaughan [2009-06-27 07:34:58] 415*2^701551-1 is not prime. Res64: AB2D8B0D2655EFA1 Time : 5453.0 sec. user=gd_barnes [2009-06-27 07:35:48] 527*2^701554-1 is not prime. Res64: 92D9AF98AE15554C Time : 3318.0 sec. user=vaughan [2009-06-27 07:38:23] 433*2^701551-1 is not prime. Res64: DB6279659B5A6966 Time : 5304.0 sec. user=vaughan [2009-06-27 07:44:01] 453*2^701551-1 is not prime. Res64: 5E68BA9A8C6EA130 Time : 5477.0 sec. user=gd_barnes [2009-06-27 07:46:50] 585*2^701555-1 is not prime. Res64: 2422931279F37018 Time : 3317.0 sec. user=vaughan [2009-06-27 07:47:19] 405*2^701552-1 is not prime. Res64: 8F1BC4B2C8853071 Time : 5328.0 sec. user=vaughan [2009-06-27 07:53:13] 417*2^701552-1 is not prime. Res64: 0A342C7A2D1DF9D6 Time : 5485.0 sec. user=vaughan [2009-06-27 07:55:59] 483*2^701552-1 is not prime. Res64: D80483661DC5290E Time : 5306.0 sec. user=gd_barnes [2009-06-27 07:57:54] 431*2^701558-1 is not prime. Res64: D2EF72A76B700EF0 Time : 3317.0 sec. user=vaughan [2009-06-27 08:01:21] 511*2^701553-1 is not prime. Res64: 6DDC2F7642D9A40A Time : 5406.0 sec. user=vaughan [2009-06-27 08:04:03] 447*2^701554-1 is not prime. Res64: 4518BFAAA4436C22 Time : 5251.0 sec. user=gd_barnes [2009-06-27 08:08:56] 585*2^701558-1 is not prime. Res64: 0D7646DF5054C5F0 Time : 3316.0 sec. user=vaughan [2009-06-27 08:10:18] 497*2^701554-1 is not prime. Res64: D96BB3FB62A771B6 Time : 5405.0 sec. user=vaughan [2009-06-27 08:13:08] 489*2^701555-1 is not prime. Res64: E1BF9ECABAD21A7A Time : 5299.0 sec. user=vaughan [2009-06-27 08:19:12] 511*2^701555-1 is not prime. Res64: F3BBB0685C23DB55 Time : 5413.0 sec. user=gd_barnes [2009-06-27 08:20:00] 511*2^701559-1 is not prime. Res64: 98BD435D060EFEE3 Time : 3316.0 sec. user=vaughan [2009-06-27 08:22:11] 513*2^701556-1 is not prime. Res64: 6C76B5CFA3DFCE00 Time : 5298.0 sec. user=vaughan [2009-06-27 08:28:30] 557*2^701556-1 is not prime. Res64: 9E256160EA097181 Time : 5408.0 sec. user=gd_barnes [2009-06-27 08:31:03] 583*2^701559-1 is not prime. Res64: 2CD634885ECF903B Time : 3315.0 sec. user=vaughan [2009-06-27 08:31:19] 537*2^701557-1 is not prime. Res64: CCF8E85892BFCB6D Time : 5332.0 sec. user=vaughan [2009-06-27 08:37:20] 525*2^701558-1 is not prime. Res64: 13C7781E2F56DE3A Time : 5400.0 sec. user=vaughan [2009-06-27 08:40:23] 545*2^701558-1 is not prime. Res64: AC58ADF894F35E93 Time : 5344.0 sec. user=gd_barnes [2009-06-27 08:42:06] 453*2^701560-1 is not prime. Res64: ACF1B3EE3B6B4748 Time : 3316.0 sec. user=vaughan [2009-06-27 08:45:34] 445*2^701559-1 is not prime. Res64: 563ACE90DF15CB6E Time : 5342.0 sec. user=vaughan [2009-06-27 08:48:13] 465*2^701559-1 is not prime. Res64: 65A2888880DD04CE Time : 5280.0 sec. user=gd_barnes [2009-06-27 08:53:09] 439*2^701561-1 is not prime. Res64: 79C3412BE9A7CE27 Time : 3315.0 sec. user=vaughan [2009-06-27 08:53:22] 513*2^701559-1 is not prime. Res64: 7F237F617ADB62F8 Time : 5253.0 sec. user=vaughan [2009-06-27 08:55:59] 559*2^701559-1 is not prime. Res64: B14B185ACF99665C Time : 5196.0 sec. user=vaughan [2009-06-27 09:01:07] 573*2^701559-1 is not prime. Res64: 1869B5C8E198EA29 Time : 5169.0 sec. user=vaughan [2009-06-27 09:03:44] 407*2^701560-1 is not prime. Res64: 99B2BAB3A652ED30 Time : 5121.0 sec. user=gd_barnes [2009-06-27 09:04:13] 447*2^701562-1 is not prime. Res64: 0AC5923A65C03C2F Time : 3317.0 sec. user=vaughan [2009-06-27 09:08:54] 447*2^701560-1 is not prime. Res64: 352AD77C911B5F3F Time : 5094.0 sec. user=vaughan [2009-06-27 09:11:28] 483*2^701560-1 is not prime. Res64: 4870D39DBC7391E7 Time : 5049.0 sec. user=gd_barnes [2009-06-27 09:15:16] 441*2^701563-1 is not prime. Res64: CA1CDC7741EABE68 Time : 3316.0 sec. user=vaughan [2009-06-27 09:16:39] 563*2^701560-1 is not prime. Res64: 536E2ABA440F69A6 Time : 5006.0 sec. user=vaughan [2009-06-27 09:19:15] 567*2^701560-1 is not prime. Res64: EBEF53F994F9C42F Time : 4996.0 sec. user=vaughan [2009-06-27 09:24:26] 571*2^701561-1 is not prime. Res64: F8F854CECE09C675 Time : 4985.0 sec. user=gd_barnes [2009-06-27 09:26:19] 589*2^701563-1 is not prime. Res64: F685810A216E5FEE Time : 3316.0 sec. user=vaughan [2009-06-27 09:27:01] 405*2^701562-1 is not prime. Res64: EFAF6B26BAB2D769 Time : 4978.0 sec. user=vaughan [2009-06-27 09:32:12] 495*2^701562-1 is not prime. Res64: B902217D79BE6ED0 Time : 4914.0 sec. user=vaughan [2009-06-27 09:34:52] 527*2^701562-1 is not prime. Res64: 97DCEE99F52FCAA2 Time : 4905.0 sec. user=gd_barnes [2009-06-27 09:37:23] 507*2^701564-1 is not prime. Res64: 929C6C5E55B75B09 Time : 3317.0 sec. user=vaughan [2009-06-27 09:40:04] 429*2^701563-1 is not prime. Res64: C970EEE9537A05E0 Time : 4852.0 sec. user=vaughan [2009-06-27 09:42:40] 483*2^701563-1 is not prime. Res64: CF8B065AC66A1861 Time : 4829.0 sec. user=vaughan [2009-06-27 09:47:49] 519*2^701563-1 is not prime. Res64: A4AB1C26372684DC Time : 4759.0 sec. user=gd_barnes [2009-06-27 09:48:26] 405*2^701565-1 is not prime. Res64: 6B44CD3E3F80EC05 Time : 3317.0 sec. user=vaughan [2009-06-27 09:50:26] 437*2^701564-1 is not prime. Res64: 50C3F459A7A63168 Time : 4747.0 sec. user=vaughan [2009-06-27 09:55:34] 473*2^701564-1 is not prime. Res64: 645FEBA37BE8276D Time : 4694.0 sec. user=vaughan [2009-06-27 09:58:14] 495*2^701564-1 is not prime. Res64: 7E00153AE2818997 Time : 4671.0 sec. user=gd_barnes [2009-06-27 09:59:30] 503*2^701566-1 is not prime. Res64: 324C6A3E5B3254A0 Time : 3317.0 sec. user=vaughan [2009-06-27 10:03:21] 533*2^701564-1 is not prime. Res64: 46BD9ED3A07BFC35 Time : 4667.0 sec. user=vaughan [2009-06-27 10:06:02] 599*2^701564-1 is not prime. Res64: 00B71DE346EB8BF4 Time : 4669.0 sec. user=gd_barnes [2009-06-27 10:10:36] 413*2^701568-1 is not prime. Res64: AFD65E5B8A3C0015 Time : 3320.0 sec. user=vaughan [2009-06-27 10:11:05] 409*2^701565-1 is not prime. Res64: A630BC8ECE1FE119 Time : 4664.0 sec. user=vaughan [2009-06-27 10:13:49] 487*2^701565-1 is not prime. Res64: 29ECE89393E39708 Time : 4670.0 sec. user=vaughan [2009-06-27 10:18:55] 461*2^701566-1 is not prime. Res64: 9F279C9471A2EB50 Time : 4668.0 sec. user=gd_barnes [2009-06-27 10:21:41] 525*2^701568-1 is not prime. Res64: 88A38DF50017BC17 Time : 3322.0 sec. user=vaughan [2009-06-27 10:21:50] 495*2^701566-1 is not prime. Res64: 7639D2523E8D9C96 Time : 4686.0 sec. user=vaughan [2009-06-27 10:26:52] 597*2^701566-1 is not prime. Res64: F9EFB1F2AE5B4226 Time : 4678.0 sec. user=vaughan [2009-06-27 10:29:34] 549*2^701567-1 is not prime. Res64: 9E978381C4C00796 Time : 4686.0 sec. user=gd_barnes [2009-06-27 10:32:49] 457*2^701569-1 is not prime. Res64: 429DFEB3244BC94E Time : 3326.0 sec. user=vaughan [2009-06-27 10:34:38] 479*2^701568-1 is not prime. Res64: EC05917203D47CD7 Time : 4679.0 sec. user=vaughan [2009-06-27 10:37:20] 489*2^701568-1 is not prime. Res64: C5D3AB51F85FA219 Time : 4685.0 sec. user=vaughan [2009-06-27 10:42:28] 507*2^701568-1 is not prime. Res64: CF0622CE075E2EDE Time : 4682.0 sec. user=gd_barnes [2009-06-27 10:43:58] 405*2^701571-1 is not prime. Res64: B1056430B7A67758 Time : 3332.0 sec. user=vaughan [2009-06-27 10:45:04] 539*2^701568-1 is not prime. Res64: 8A18EB993702814B Time : 4684.0 sec. user=vaughan [2009-06-27 10:50:26] 555*2^701568-1 is not prime. Res64: C6E5035D2E0EF237 Time : 4695.0 sec. user=vaughan [2009-06-27 10:53:09] 557*2^701568-1 is not prime. Res64: 426D017817A35F1C Time : 4697.0 sec. user=gd_barnes [2009-06-27 10:55:02] 571*2^701571-1 is not prime. Res64: C4E0AA573C4BEF08 Time : 3332.0 sec. user=vaughan [2009-06-27 10:58:19] 473*2^701570-1 is not prime. Res64: 5830629CDFCB1940 Time : 4695.0 sec. user=vaughan [2009-06-27 11:00:57] 483*2^701570-1 is not prime. Res64: 5FB3FF8AF735C615 Time : 4697.0 sec. user=vaughan [2009-06-27 11:06:05] 503*2^701570-1 is not prime. Res64: E3C181C688B32206 Time : 4696.0 sec. user=gd_barnes [2009-06-27 11:06:11] 539*2^701572-1 is not prime. Res64: FCD50EA5F0E69B30 Time : 3335.0 sec. user=vaughan [2009-06-27 11:08:44] 433*2^701571-1 is not prime. Res64: 011CD6A500074D21 Time : 4698.0 sec. user=vaughan [2009-06-27 11:13:52] 459*2^701571-1 is not prime. Res64: 7AA276DF20D0FF10 Time : 4698.0 sec. user=vaughan [2009-06-27 11:16:28] 465*2^701571-1 is not prime. Res64: B81001CA537AFA2C Time : 4694.0 sec. user=gd_barnes [2009-06-27 11:17:19] 547*2^701573-1 is not prime. Res64: 537EB6EC6315728C Time : 3339.0 sec. user=vaughan [2009-06-27 11:21:41] 449*2^701572-1 is not prime. Res64: 17B39A6018AE9E18 Time : 4701.0 sec. user=vaughan [2009-06-27 11:24:19] 483*2^701572-1 is not prime. Res64: 14D3FAB274BBC6B8 Time : 4698.0 sec. user=gd_barnes [2009-06-27 11:28:28] 503*2^701574-1 is not prime. Res64: 3092B3F4185019C4 Time : 3339.0 sec. user=vaughan [2009-06-27 11:29:47] 411*2^701573-1 is not prime. Res64: BF155F69C06BE697 Time : 4723.0 sec. user=vaughan [2009-06-27 11:32:08] 465*2^701573-1 is not prime. Res64: 87035421F413CAAD Time : 4700.0 sec. user=vaughan [2009-06-27 11:38:06] 487*2^701573-1 is not prime. Res64: 624BBAB650377B1F Time : 4751.0 sec. user=gd_barnes [2009-06-27 11:39:38] 493*2^701575-1 is not prime. Res64: 8FD5C52A3DEAC529 Time : 3340.0 sec. user=vaughan [2009-06-27 11:40:40] 571*2^701573-1 is not prime. Res64: 66CBB5D5D46A5635 Time : 4730.0 sec. user=vaughan [2009-06-27 11:46:50] 413*2^701574-1 is not prime. Res64: 2CD9D4B6FC069564 Time : 4798.0 sec. user=vaughan [2009-06-27 11:48:57] 453*2^701574-1 is not prime. Res64: 5B28C9CFF7167FB0 Time : 4763.0 sec. user=gd_barnes [2009-06-27 11:50:44] 595*2^701575-1 is not prime. Res64: 18FA3AC6C30A6535 Time : 3342.0 sec. user=vaughan [2009-06-27 11:54:40] 411*2^701575-1 is not prime. Res64: BFD41641327E191A Time : 4802.0 sec. user=vaughan [2009-06-27 11:56:48] 441*2^701575-1 is not prime. Res64: 337ECB50B2A2E64A Time : 4768.0 sec. user=gd_barnes [2009-06-27 12:01:53] 503*2^701576-1 is not prime. Res64: 908B01162981A29B Time : 3342.0 sec. user=vaughan [2009-06-27 12:02:33] 453*2^701575-1 is not prime. Res64: 6311CE5B37DCD758 Time : 4806.0 sec. user=vaughan [2009-06-27 12:05:04] 499*2^701575-1 is not prime. Res64: 0ADCD3C11349E6DF Time : 4800.0 sec. user=vaughan [2009-06-27 12:11:21] 519*2^701575-1 is not prime. Res64: D718CF0616A2CAE2 Time : 4855.0 sec. user=gd_barnes [2009-06-27 12:13:02] 441*2^701577-1 is not prime. Res64: 8B86F01058783872 Time : 3343.0 sec. user=vaughan [2009-06-27 12:13:58] 589*2^701575-1 is not prime. Res64: 4919BF7BDF135DEA Time : 4849.0 sec. user=vaughan [2009-06-27 12:19:21] 417*2^701576-1 is not prime. Res64: 9C880557647C0B0A Time : 4862.0 sec. user=vaughan [2009-06-27 12:21:47] 425*2^701576-1 is not prime. Res64: E4E4778FFAA9D0F7 Time : 4850.0 sec. user=gd_barnes [2009-06-27 12:24:10] 483*2^701578-1 is not prime. Res64: 8B82920BB4E6A58E Time : 3342.0 sec. user=vaughan [2009-06-27 12:27:15] 447*2^701576-1 is not prime. Res64: E81E28E59F9E87E5 Time : 4870.0 sec. user=vaughan [2009-06-27 12:29:43] 515*2^701576-1 is not prime. Res64: 45F4CE86D1A1F61B Time : 4860.0 sec. user=gd_barnes [2009-06-27 12:35:20] 581*2^701578-1 is not prime. Res64: 066818F185CD3081 Time : 3343.0 sec. user=vaughan [2009-06-27 12:35:22] 539*2^701576-1 is not prime. Res64: 5A60189127C32C82 Time : 4890.0 sec. user=vaughan [2009-06-27 12:37:46] 563*2^701576-1 is not prime. Res64: AFB5DE8816BCAB9E Time : 4878.0 sec. user=vaughan [2009-06-27 12:43:16] 549*2^701577-1 is not prime. Res64: AC29B778F3EF0003 Time : 4895.0 sec. user=vaughan [2009-06-27 12:45:46] 413*2^701578-1 is not prime. Res64: 3AF662816B0B6717 Time : 4887.0 sec. user=gd_barnes [2009-06-27 12:46:27] 495*2^701579-1 is not prime. Res64: B648496E8D8CBCDC Time : 3343.0 sec. user=vaughan [2009-06-27 12:51:27] 497*2^701578-1 is not prime. Res64: 0BCE54F91EDCD96A Time : 4900.0 sec. user=vaughan [2009-06-27 12:53:41] 527*2^701578-1 is not prime. Res64: 33D52DA134C29564 Time : 4893.0 sec. user=gd_barnes [2009-06-27 12:57:37] 467*2^701580-1 is not prime. Res64: D8CF3DC6356FC053 Time : 3344.0 sec. user=vaughan [2009-06-27 12:59:13] 573*2^701578-1 is not prime. Res64: C7840281FA1FFB06 Time : 4867.0 sec. user=vaughan [2009-06-27 13:01:37] 411*2^701579-1 is not prime. Res64: C503F17B10CEE19A Time : 4857.0 sec. user=vaughan [2009-06-27 13:07:20] 445*2^701579-1 is not prime. Res64: 198657A4FF13CF5A Time : 4830.0 sec. user=gd_barnes [2009-06-27 13:08:45] 569*2^701580-1 is not prime. Res64: 643A5D218932F02A Time : 3344.0 sec. user=vaughan [2009-06-27 13:09:34] 469*2^701579-1 is not prime. Res64: F2EB66C06C9CD8D9 Time : 4837.0 sec. user=vaughan [2009-06-27 13:15:06] 571*2^701579-1 is not prime. Res64: CEE0E14CABE9A98E Time : 4826.0 sec. user=vaughan [2009-06-27 13:17:21] 465*2^701580-1 is not prime. Res64: 5ABDD2D474682DF4 Time : 4833.0 sec. user=gd_barnes [2009-06-27 13:19:54] 545*2^701582-1 is not prime. Res64: 130A7399DAFA0C82 Time : 3344.0 sec. user=vaughan [2009-06-27 13:22:51] 473*2^701580-1 is not prime. Res64: 809E2A5246A40FA8 Time : 4819.0 sec. user=vaughan [2009-06-27 13:25:10] 515*2^701580-1 is not prime. Res64: 4CC214C96712D847 Time : 4806.0 sec. user=vaughan [2009-06-27 13:30:35] 567*2^701580-1 is not prime. Res64: C2C424D208DA1464 Time : 4754.0 sec. user=gd_barnes [2009-06-27 13:31:02] 481*2^701583-1 is not prime. Res64: 738A4D42CC7154A6 Time : 3342.0 sec. user=vaughan [2009-06-27 13:32:58] 585*2^701580-1 is not prime. Res64: 0AC9CAFB2F04683C Time : 4741.0 sec. user=vaughan [2009-06-27 13:38:20] 565*2^701581-1 is not prime. Res64: 3CFE0F3911A7D3EC Time : 4740.0 sec. user=vaughan [2009-06-27 13:40:47] 503*2^701582-1 is not prime. Res64: BA4A061162EDB564 Time : 4740.0 sec. user=gd_barnes [2009-06-27 13:42:11] 575*2^701584-1 is not prime. Res64: 1704BB1451A5D754 Time : 3344.0 sec. user=vaughan [2009-06-27 13:46:03] 557*2^701582-1 is not prime. Res64: CE60ECD6FDB0DB71 Time : 4728.0 sec. user=vaughan [2009-06-27 13:48:35] 593*2^701582-1 is not prime. Res64: 7208E2DAC9BB52A0 Time : 4732.0 sec. user=gd_barnes [2009-06-27 13:53:20] 567*2^701585-1 is not prime. Res64: 744F0606B0323FD0 Time : 3343.0 sec. user=vaughan [2009-06-27 13:53:51] 553*2^701583-1 is not prime. Res64: 430F49793369B87C Time : 4709.0 sec. user=vaughan [2009-06-27 13:56:29] 419*2^701584-1 is not prime. Res64: 0D56D6AB66394DAB Time : 4723.0 sec. user=vaughan [2009-06-27 14:01:39] 507*2^701584-1 is not prime. Res64: 7BFE5F0BC057A055 Time : 4704.0 sec. user=vaughan [2009-06-27 14:04:18] 563*2^701584-1 is not prime. Res64: 26AC364D526C2C56 Time : 4712.0 sec. user=gd_barnes [2009-06-27 14:04:28] 525*2^701586-1 is not prime. Res64: B38BFB6E988930AA Time : 3343.0 sec. user=vaughan [2009-06-27 14:09:23] 459*2^701585-1 is not prime. Res64: F15CAA4F9FCC747F Time : 4676.0 sec. user=vaughan [2009-06-27 14:12:05] 535*2^701585-1 is not prime. Res64: 574042E97EB3FDBF Time : 4704.0 sec. user=gd_barnes [2009-06-27 14:15:37] 519*2^701587-1 is not prime. Res64: 257F6C5617705AB8 Time : 3343.0 sec. user=vaughan [2009-06-27 14:17:26] 453*2^701586-1 is not prime. Res64: D819FEFAAC121078 Time : 4693.0 sec. user=vaughan [2009-06-27 14:20:09] 461*2^701586-1 is not prime. Res64: 0CF15B02F066C1E7 Time : 4713.0 sec. user=vaughan [2009-06-27 14:25:13] 507*2^701586-1 is not prime. Res64: EA6B5048516BA8B4 Time : 4674.0 sec. user=gd_barnes [2009-06-27 14:26:45] 585*2^701588-1 is not prime. Res64: EE8A852A424392E4 Time : 3343.0 sec. user=vaughan [2009-06-27 14:27:55] 537*2^701586-1 is not prime. Res64: 97B5B2A2FD88473B Time : 4702.0 sec. user=vaughan [2009-06-27 14:32:57] 567*2^701586-1 is not prime. Res64: 38681F15EDBC36D5 Time : 4671.0 sec. user=vaughan [2009-06-27 14:35:42] 495*2^701587-1 is not prime. Res64: 5FC7A748E2969181 Time : 4702.0 sec. user=gd_barnes [2009-06-27 14:37:54] 481*2^701589-1 is not prime. Res64: 8FBF1AF1BFE170BC Time : 3343.0 sec. user=vaughan [2009-06-27 14:40:43] 531*2^701587-1 is not prime. Res64: 70BAA0D2B84FE12D Time : 4672.0 sec. user=vaughan [2009-06-27 14:43:29] 553*2^701587-1 is not prime. Res64: 131C9AD5A8A6F343 Time : 4699.0 sec. user=vaughan [2009-06-27 14:48:25] 413*2^701588-1 is not prime. Res64: D554CCA0BD500A84 Time : 4670.0 sec. user=gd_barnes [2009-06-27 14:49:02] 595*2^701589-1 is not prime. Res64: 3F4B46488AAE6716 Time : 3342.0 sec. user=vaughan [2009-06-27 14:51:19] 457*2^701589-1 is not prime. Res64: 5386F04FA0ACDDC7 Time : 4701.0 sec. user=vaughan [2009-06-27 14:56:10] 465*2^701589-1 is not prime. Res64: 9060F05E99607729 Time : 4670.0 sec. user=vaughan [2009-06-27 14:59:08] 471*2^701589-1 is not prime. Res64: 36D15E9628E2FACA Time : 4701.0 sec. user=gd_barnes [2009-06-27 15:00:11] 451*2^701591-1 is not prime. Res64: 622AB691CDD7B599 Time : 3343.0 sec. user=vaughan [2009-06-27 15:03:54] 507*2^701589-1 is not prime. Res64: FC7766F528116817 Time : 4671.0 sec. user=vaughan [2009-06-27 15:06:55] 559*2^701589-1 is not prime. Res64: D3175DCEE9A37623 Time : 4700.0 sec. user=gd_barnes [2009-06-27 15:11:20] 455*2^701592-1 is not prime. Res64: 74FE61D5B13A013B Time : 3343.0 sec. user=vaughan [2009-06-27 15:11:39] 467*2^701590-1 is not prime. Res64: 243B613197299456 Time : 4668.0 sec. user=vaughan [2009-06-27 15:14:43] 525*2^701590-1 is not prime. Res64: 606991AEB59889D1 Time : 4694.0 sec. user=vaughan [2009-06-27 15:19:23] 527*2^701590-1 is not prime. Res64: F8533D6044D357DF Time : 4664.0 sec. user=gd_barnes [2009-06-27 15:22:28] 561*2^701593-1 is not prime. Res64: F4D2870C22128D32 Time : 3343.0 sec. user=vaughan [2009-06-27 15:22:31] 591*2^701590-1 is not prime. Res64: 4BC708A9583309F5 Time : 4694.0 sec. user=vaughan [2009-06-27 15:27:08] 511*2^701591-1 is not prime. Res64: 47A71985D8D5D94D Time : 4665.0 sec. user=vaughan [2009-06-27 15:30:19] 579*2^701591-1 is not prime. Res64: CE54861AB2D4191C Time : 4694.0 sec. user=gd_barnes [2009-06-27 15:33:37] 545*2^701594-1 is not prime. Res64: 933B9376B1EA221E Time : 3343.0 sec. user=vaughan [2009-06-27 15:34:52] 569*2^701592-1 is not prime. Res64: 5B512EAD4DC6FA4D Time : 4646.0 sec. user=vaughan [2009-06-27 15:38:17] 411*2^701593-1 is not prime. Res64: B68B619B003CA3F4 Time : 4688.0 sec. user=vaughan [2009-06-27 15:42:38] 477*2^701593-1 is not prime. Res64: 96864A69D3B07006 Time : 4645.0 sec. user=gd_barnes [2009-06-27 15:44:45] 559*2^701597-1 is not prime. Res64: 8DB989E8DB59CF0C Time : 3343.0 sec. user=vaughan [2009-06-27 15:46:06] 431*2^701594-1 is not prime. Res64: CE70D611B9B6589F Time : 4691.0 sec. user=vaughan [2009-06-27 15:50:31] 483*2^701594-1 is not prime. Res64: 0391CF89226EF532 Time : 4655.0 sec. user=vaughan [2009-06-27 15:54:40] 521*2^701594-1 is not prime. Res64: C78D9673B18DEC99 Time : 4738.0 sec. user=gd_barnes [2009-06-27 15:55:55] 437*2^701598-1 is not prime. Res64: 7523B72B51B06130 Time : 3344.0 sec. user=vaughan [2009-06-27 15:59:24] 465*2^701595-1 is not prime. Res64: B04E45AB0EAF7F73 Time : 4722.0 sec. user=vaughan [2009-06-27 16:03:36] 413*2^701596-1 is not prime. Res64: FB05C9357048B900 Time : 4807.0 sec. user=gd_barnes [2009-06-27 16:07:03] 507*2^701598-1 is not prime. Res64: 387C7025343F56C7 Time : 3344.0 sec. user=vaughan [2009-06-27 16:08:08] 519*2^701597-1 is not prime. Res64: CB6E3044650EE812 Time : 4784.0 sec. user=vaughan [2009-06-27 16:11:28] 567*2^701597-1 is not prime. Res64: B88E5CEE4BED5759 Time : 4810.0 sec. user=vaughan [2009-06-27 16:16:19] 417*2^701598-1 is not prime. Res64: 3C46147FE4FCDEF0 Time : 4809.0 sec. user=gd_barnes [2009-06-27 16:18:11] 555*2^701599-1 is not prime. Res64: 58094CA5F2A0829B Time : 3343.0 sec. user=vaughan [2009-06-27 16:19:50] 423*2^701598-1 is not prime. Res64: ABF4C38879FE6E64 Time : 4843.0 sec. user=vaughan [2009-06-27 16:24:16] 465*2^701598-1 is not prime. Res64: E9F72EB1087D0E2D Time : 4822.0 sec. user=vaughan [2009-06-27 16:27:37] 485*2^701598-1 is not prime. Res64: EA5C21F21503C354 Time : 4843.0 sec. user=gd_barnes [2009-06-27 16:29:19] 487*2^701601-1 is not prime. Res64: 93449EC3640E796D Time : 3342.0 sec. user=vaughan [2009-06-27 16:32:02] 525*2^701598-1 is not prime. Res64: 02F80F28712D9419 Time : 4823.0 sec. user=vaughan [2009-06-27 16:35:24] 423*2^701599-1 is not prime. Res64: D91B3F512AAE736D Time : 4841.0 sec. user=vaughan [2009-06-27 16:39:48] 511*2^701599-1 is not prime. Res64: 1A50CC4466A34B04 Time : 4825.0 sec. user=gd_barnes [2009-06-27 16:40:28] 551*2^701602-1 is not prime. Res64: D2399E767A8FABB4 Time : 3343.0 sec. user=vaughan [2009-06-27 16:43:08] 587*2^701600-1 is not prime. Res64: 28FCA7C6DA2C92A3 Time : 4837.0 sec. user=vaughan [2009-06-27 16:47:34] 405*2^701601-1 is not prime. Res64: 858133598E23DA25 Time : 4826.0 sec. user=vaughan [2009-06-27 16:50:54] 471*2^701601-1 is not prime. Res64: DAFDD9588E673665 Time : 4835.0 sec. user=gd_barnes [2009-06-27 16:51:36] 549*2^701603-1 is not prime. Res64: 92004692888C3505 Time : 3341.0 sec. user=vaughan [2009-06-27 16:55:19] 565*2^701601-1 is not prime. Res64: B7C2FAC905C29CBD Time : 4827.0 sec. user=vaughan [2009-06-27 16:58:40] 425*2^701602-1 is not prime. Res64: 9543E83075B8B6C1 Time : 4823.0 sec. user=gd_barnes [2009-06-27 17:02:45] 567*2^701604-1 is not prime. Res64: FAA739FB4CCEE5C3 Time : 3342.0 sec. user=vaughan [2009-06-27 17:03:07] 435*2^701602-1 is not prime. Res64: 51325300E30034AE Time : 4829.0 sec. user=vaughan [2009-06-27 17:06:26] 435*2^701603-1 is not prime. Res64: 79877CDBCADB51BB Time : 4821.0 sec. user=vaughan [2009-06-27 17:11:20] 441*2^701603-1 is not prime. Res64: 1AD9152E14D3E9A4 Time : 4849.0 sec. user=gd_barnes [2009-06-27 17:13:49] 431*2^701606-1 is not prime. Res64: A7CCA69DBCB9252D Time : 3338.0 sec. user=vaughan [2009-06-27 17:14:54] 445*2^701603-1 is not prime. Res64: B8E4DA1097B10693 Time : 4814.0 sec. user=vaughan [2009-06-27 17:19:29] 453*2^701604-1 is not prime. Res64: 413EC39D0769B637 Time : 4805.0 sec. user=vaughan [2009-06-27 17:23:00] 483*2^701604-1 is not prime. Res64: D74DDA7E7B55829C Time : 4764.0 sec. user=gd_barnes [2009-06-27 17:24:51] 587*2^701606-1 is not prime. Res64: A7C7F728950E6697 Time : 3332.0 sec. user=vaughan [2009-06-27 17:27:18] 451*2^701605-1 is not prime. Res64: 9CE394A4F745DD52 Time : 4751.0 sec. user=vaughan [2009-06-27 17:30:45] 511*2^701605-1 is not prime. Res64: FA3CC7F20D4937AD Time : 4757.0 sec. user=vaughan [2009-06-27 17:35:06] 567*2^701605-1 is not prime. Res64: 029882813F4828E6 Time : 4727.0 sec. user=gd_barnes [2009-06-27 17:35:54] 493*2^701607-1 is not prime. Res64: 120C80B5B1F2F2BE Time : 3326.0 sec. user=vaughan [2009-06-27 17:38:31] 453*2^701606-1 is not prime. Res64: 19C14E7E6200C3EF Time : 4722.0 sec. user=vaughan [2009-06-27 17:42:51] 501*2^701606-1 is not prime. Res64: 0A419C11D2886762 Time : 4715.0 sec. user=vaughan [2009-06-27 17:46:18] 515*2^701606-1 is not prime. Res64: 574C11D7A0234BC9 Time : 4721.0 sec. user=gd_barnes [2009-06-27 17:46:57] 569*2^701608-1 is not prime. Res64: 14C6A33E68C03D2F Time : 3321.0 sec. user=vaughan [2009-06-27 17:50:37] 441*2^701607-1 is not prime. Res64: 9C2C5BEB9BB69AD4 Time : 4715.0 sec. user=vaughan [2009-06-27 17:54:04] 451*2^701607-1 is not prime. Res64: ED7E7D568068143E Time : 4720.0 sec. user=gd_barnes [2009-06-27 17:58:00] 531*2^701610-1 is not prime. Res64: 66FA2D43E1C777AA Time : 3315.0 sec. user=vaughan [2009-06-27 17:58:28] 483*2^701607-1 is not prime. Res64: 9F995DE2651C3CC1 Time : 4720.0 sec. user=vaughan [2009-06-27 18:02:14] 571*2^701607-1 is not prime. Res64: 8D3612536B4F0C41 Time : 4746.0 sec. user=vaughan [2009-06-27 18:06:31] 453*2^701608-1 is not prime. Res64: 2EA42AF52C8B8B53 Time : 4737.0 sec. user=gd_barnes [2009-06-27 18:09:02] 405*2^701612-1 is not prime. Res64: BF389DBCBBDE2B19 Time : 3314.0 sec. user=vaughan [2009-06-27 18:10:25] 507*2^701608-1 is not prime. Res64: 80D25A000885AC2E Time : 4771.0 sec. user=vaughan [2009-06-27 18:14:50] 489*2^701609-1 is not prime. Res64: E91B5D07C6EAA921 Time : 4771.0 sec. user=vaughan [2009-06-27 18:18:30] 495*2^701610-1 is not prime. Res64: 0627ADA4A7EF8C74 Time : 4790.0 sec. user=gd_barnes [2009-06-27 18:20:06] 413*2^701614-1 is not prime. Res64: 183006D2EFA193C7 Time : 3315.0 sec. user=vaughan [2009-06-27 18:22:54] 585*2^701610-1 is not prime. Res64: BBF514EA3C4D105D Time : 4787.0 sec. user=vaughan [2009-06-27 18:26:30] 593*2^701610-1 is not prime. Res64: CE1C0C31BBC5A199 Time : 4804.0 sec. user=vaughan [2009-06-27 18:30:42] 483*2^701611-1 is not prime. Res64: D2579F52089B8F9E Time : 4762.0 sec. user=gd_barnes [2009-06-27 18:31:09] 545*2^701614-1 is not prime. Res64: 8C94FB49785419A6 Time : 3315.0 sec. user=vaughan [2009-06-27 18:34:16] 495*2^701612-1 is not prime. Res64: 2831A5656995F0C9 Time : 4762.0 sec. user=vaughan [2009-06-27 18:38:29] 429*2^701613-1 is not prime. Res64: 5793E363C0876801 Time : 4741.0 sec. user=vaughan [2009-06-27 18:42:06] 529*2^701613-1 is not prime. Res64: 573AEEFDFDA389E5 Time : 4747.0 sec. user=gd_barnes [2009-06-27 18:42:11] 465*2^701615-1 is not prime. Res64: 9ABB3EF0314A6FD6 Time : 3314.0 sec. user=vaughan [2009-06-27 18:46:21] 453*2^701614-1 is not prime. Res64: BCA727BBE04C46BB Time : 4743.0 sec. user=vaughan [2009-06-27 18:50:05] 491*2^701614-1 is not prime. Res64: 4A1A8CAD1A6B3285 Time : 4760.0 sec. user=gd_barnes [2009-06-27 18:53:13] 497*2^701616-1 is not prime. Res64: D6D60C9D4D46F855 Time : 3313.0 sec. user=vaughan [2009-06-27 18:54:28] 533*2^701614-1 is not prime. Res64: 4CC29FB859232DA6 Time : 4762.0 sec. user=vaughan [2009-06-27 18:58:15] 593*2^701614-1 is not prime. Res64: 6CD1503EEA5992C4 Time : 4784.0 sec. user=vaughan [2009-06-27 19:02:37] 409*2^701615-1 is not prime. Res64: 84420DC41044DC4C Time : 4786.0 sec. user=gd_barnes [2009-06-27 19:04:15] 457*2^701617-1 is not prime. Res64: 9D2FEE5CBDF60695 Time : 3313.0 sec. user=vaughan [2009-06-27 19:06:08] 411*2^701615-1 is not prime. Res64: 26F3478638C535FF Time : 4790.0 sec. user=vaughan [2009-06-27 19:10:24] 585*2^701615-1 is not prime. Res64: 25437041558F148D Time : 4787.0 sec. user=vaughan [2009-06-27 19:13:56] 473*2^701616-1 is not prime. Res64: 320D2C1210065312 Time : 4792.0 sec. user=gd_barnes [2009-06-27 19:15:17] 447*2^701618-1 is not prime. Res64: 124D26DC9E0790BC Time : 3311.0 sec. user=vaughan [2009-06-27 19:18:07] 527*2^701616-1 is not prime. Res64: F914A04BB234B61F Time : 4779.0 sec. user=vaughan [2009-06-27 19:21:56] 563*2^701616-1 is not prime. Res64: 1DF3D9F4E2D8725A Time : 4782.0 sec. user=vaughan [2009-06-27 19:26:16] 593*2^701616-1 is not prime. Res64: 9D9E1D38DED295EA Time : 4785.0 sec. user=gd_barnes [2009-06-27 19:26:20] 525*2^701618-1 is not prime. Res64: 5B84B2CBD106B25F Time : 3312.0 sec. user=vaughan [2009-06-27 19:29:50] 511*2^701617-1 is not prime. Res64: 22917E640B6394AD Time : 4765.0 sec. user=vaughan [2009-06-27 19:34:02] 577*2^701617-1 is not prime. Res64: D4AD5033BF588AD2 Time : 4752.0 sec. user=gd_barnes [2009-06-27 19:37:24] 437*2^701620-1 is not prime. Res64: 8744D39085217E49 Time : 3313.0 sec. user=vaughan [2009-06-27 19:37:35] 589*2^701617-1 is not prime. Res64: 2730DA6F36E5F6D3 Time : 4745.0 sec. user=vaughan [2009-06-27 19:42:11] 473*2^701618-1 is not prime. Res64: 1EABCE2A22C166D1 Time : 4757.0 sec. user=vaughan [2009-06-27 19:45:54] 497*2^701618-1 is not prime. Res64: 403BE22447D9B0FD Time : 4764.0 sec. user=gd_barnes [2009-06-27 19:48:26] 569*2^701620-1 is not prime. Res64: 2941B4E2206E5D2D Time : 3313.0 sec. user=vaughan [2009-06-27 19:50:04] 503*2^701618-1 is not prime. Res64: C14CF29D50632F0D Time : 4763.0 sec. user=vaughan [2009-06-27 19:53:51] 533*2^701618-1 is not prime. Res64: 7E1C032512A3B339 Time : 4775.0 sec. user=vaughan [2009-06-27 19:57:57] 585*2^701618-1 is not prime. Res64: ABFC815391E76A15 Time : 4768.0 sec. user=gd_barnes [2009-06-27 19:59:30] 417*2^701622-1 is not prime. Res64: F6475D24EC9E2F48 Time : 3315.0 sec. user=vaughan [2009-06-27 20:01:40] 511*2^701619-1 is not prime. Res64: F31DD535A58B3C1C Time : 4774.0 sec. user=vaughan [2009-06-27 20:05:46] 443*2^701620-1 is not prime. Res64: B5E5C556C106B15D Time : 4765.0 sec. user=vaughan [2009-06-27 20:09:59] 537*2^701620-1 is not prime. Res64: 6C84AC69672BCBD4 Time : 4794.0 sec. user=gd_barnes [2009-06-27 20:10:34] 563*2^701624-1 is not prime. Res64: 216C485041F43C53 Time : 3317.0 sec. user=vaughan [2009-06-27 20:14:04] 409*2^701621-1 is not prime. Res64: 4644A8887D7DE559 Time : 4776.0 sec. user=vaughan [2009-06-27 20:17:53] 495*2^701621-1 is not prime. Res64: F2389E198203C338 Time : 4779.0 sec. user=gd_barnes [2009-06-27 20:21:36] 425*2^701626-1 is not prime. Res64: 8F969668B0CF3933 Time : 3316.0 sec. user=vaughan [2009-06-27 20:21:52] 507*2^701621-1 is not prime. Res64: E3D707E56E01F040 Time : 4755.0 sec. user=vaughan [2009-06-27 20:25:44] 471*2^701622-1 is not prime. Res64: CAFAAFE7CB299A18 Time : 4776.0 sec. user=vaughan [2009-06-27 20:29:41] 581*2^701622-1 is not prime. Res64: 6EF227D643FDC97C Time : 4758.0 sec. user=gd_barnes [2009-06-27 20:32:38] 465*2^701627-1 is not prime. Res64: 49E27DB86C9B8F1B Time : 3314.0 sec. user=vaughan [2009-06-27 20:34:09] 511*2^701623-1 is not prime. Res64: ACB803065A55C47E Time : 4813.0 sec. user=vaughan [2009-06-27 20:38:18] 465*2^701625-1 is not prime. Res64: D9180DC3128CCE76 Time : 4811.0 sec. user=vaughan [2009-06-27 20:41:59] 555*2^701625-1 is not prime. Res64: A27BE663127F1C3E Time : 4803.0 sec. user=gd_barnes [2009-06-27 20:43:40] 483*2^701628-1 is not prime. Res64: 1D033882277D6559 Time : 3314.0 sec. user=vaughan [2009-06-27 20:46:04] 411*2^701626-1 is not prime. Res64: 9DF3C93A608AAA86 Time : 4788.0 sec. user=vaughan [2009-06-27 20:49:45] 587*2^701626-1 is not prime. Res64: 3AC4D3F4C8B110AF Time : 4795.0 sec. user=vaughan [2009-06-27 20:54:15] 593*2^701626-1 is not prime. Res64: D07619D5EE5FDCF8 Time : 4813.0 sec. user=gd_barnes [2009-06-27 20:54:42] 481*2^701629-1 is not prime. Res64: 49044FA4C0DDA04B Time : 3312.0 sec. user=vaughan [2009-06-27 20:57:51] 469*2^701627-1 is not prime. Res64: CB1D2D411B03AA5B Time : 4816.0 sec. user=vaughan [2009-06-27 21:02:12] 511*2^701627-1 is not prime. Res64: F430B6FD7E92B639 Time : 4801.0 sec. user=gd_barnes [2009-06-27 21:05:44] 581*2^701630-1 is not prime. Res64: EC2C301AEA63EB00 Time : 3311.0 sec. user=vaughan [2009-06-27 21:05:55] 595*2^701627-1 is not prime. Res64: 8639B96850EF7606 Time : 4801.0 sec. user=vaughan [2009-06-27 21:10:39] 527*2^701628-1 is not prime. Res64: 5DE3C60F4B62D765 Time : 4835.0 sec. user=vaughan [2009-06-27 21:13:59] 563*2^701628-1 is not prime. Res64: 5CBEB405B65DC1F2 Time : 4808.0 sec. user=gd_barnes [2009-06-27 21:16:49] 489*2^701631-1 is not prime. Res64: E1D8312894F0FE5F Time : 3313.0 sec. user=vaughan [2009-06-27 21:18:28] 421*2^701629-1 is not prime. Res64: 62028EEDDC0DECFB Time : 4831.0 sec. user=vaughan [2009-06-27 21:21:43] 503*2^701630-1 is not prime. Res64: BAED6197FEE9FF64 Time : 4803.0 sec. user=vaughan [2009-06-27 21:26:13] 537*2^701630-1 is not prime. Res64: E714C7C0F59F0D40 Time : 4828.0 sec. user=gd_barnes [2009-06-27 21:27:53] 539*2^701632-1 is not prime. Res64: 6F69C202B241E0E8 Time : 3315.0 sec. user=vaughan [2009-06-27 21:29:28] 545*2^701630-1 is not prime. Res64: 5D2996A3C527D7BF Time : 4769.0 sec. user=vaughan [2009-06-27 21:34:03] 415*2^701631-1 is not prime. Res64: E0B874942AC7611D Time : 4799.0 sec. user=vaughan [2009-06-27 21:37:12] 445*2^701631-1 is not prime. Res64: 97BF7FBE3A53AFF6 Time : 4759.0 sec. user=gd_barnes [2009-06-27 21:38:58] 571*2^701633-1 is not prime. Res64: 0E266DD3F0815D82 Time : 3318.0 sec. user=vaughan [2009-06-27 21:41:50] 583*2^701631-1 is not prime. Res64: 08A652EE27A1D166 Time : 4798.0 sec. user=vaughan [2009-06-27 21:44:57] 495*2^701632-1 is not prime. Res64: F7CF283A40AFE4AF Time : 4754.0 sec. user=vaughan [2009-06-27 21:49:46] 527*2^701632-1 is not prime. Res64: F1BF0C385B07956B Time : 4806.0 sec. user=gd_barnes [2009-06-27 21:50:02] 435*2^701636-1 is not prime. Res64: D3DEE05065ABA53B Time : 3320.0 sec. user=vaughan [2009-06-27 21:52:46] 549*2^701632-1 is not prime. Res64: F6DB3A0174C0E72D Time : 4718.0 sec. user=vaughan [2009-06-27 21:58:02] 569*2^701632-1 is not prime. Res64: 782DA1E6EFCD8555 Time : 4784.0 sec. user=vaughan [2009-06-27 22:00:48] 445*2^701633-1 is not prime. Res64: 51F97CA19AE7D16D Time : 4730.0 sec. user=gd_barnes [2009-06-27 22:01:03] 545*2^701636-1 is not prime. Res64: A02840F5C187D23B Time : 3319.0 sec. user=vaughan [2009-06-27 22:05:47] 453*2^701634-1 is not prime. Res64: 6443F3F320FDF84A Time : 4783.0 sec. user=vaughan [2009-06-27 22:08:38] 525*2^701634-1 is not prime. Res64: 5A87DE3B664AF10E Time : 4733.0 sec. user=gd_barnes [2009-06-27 22:12:06] 529*2^701637-1 is not prime. Res64: 0921D343C1939A75 Time : 3317.0 sec. user=vaughan [2009-06-27 22:14:01] 405*2^701636-1 is not prime. Res64: 74F6097659F732EC Time : 4786.0 sec. user=vaughan [2009-06-27 22:16:51] 447*2^701636-1 is not prime. Res64: 839A235C14830F99 Time : 4740.0 sec. user=vaughan [2009-06-27 22:21:47] 519*2^701636-1 is not prime. Res64: 4A605392A76A7AF6 Time : 4775.0 sec. user=gd_barnes [2009-06-27 22:23:07] 511*2^701639-1 is not prime. Res64: 6491F9B32B51AEF7 Time : 3314.0 sec. user=vaughan [2009-06-27 22:24:42] 405*2^701637-1 is not prime. Res64: 0EFB55B52019AE6E Time : 4727.0 sec. user=vaughan [2009-06-27 22:30:00] 409*2^701637-1 is not prime. Res64: 53F2C0CC5FD9F17C Time : 4762.0 sec. user=vaughan [2009-06-27 22:32:39] 439*2^701637-1 is not prime. Res64: F1B08BC137AF1480 Time : 4720.0 sec. user=gd_barnes [2009-06-27 22:34:11] 473*2^701640-1 is not prime. Res64: 88F90B3F3D19C3D4 Time : 3313.0 sec. user=vaughan [2009-06-27 22:37:48] 413*2^701638-1 is not prime. Res64: 4075F3012728A822 Time : 4760.0 sec. user=vaughan [2009-06-27 22:40:25] 465*2^701639-1 is not prime. Res64: 9E40D1F82D9DEE20 Time : 4722.0 sec. user=gd_barnes [2009-06-27 22:45:15] 427*2^701641-1 is not prime. Res64: C09143BE1969C702 Time : 3314.0 sec. user=vaughan [2009-06-27 22:46:04] 481*2^701639-1 is not prime. Res64: BF52E15ACAC960BE Time : 4791.0 sec. user=vaughan [2009-06-27 22:48:23] 531*2^701639-1 is not prime. Res64: FFE98A05F5D62878 Time : 4735.0 sec. user=vaughan [2009-06-27 22:53:53] 571*2^701639-1 is not prime. Res64: E7AE6D7262C690F8 Time : 4791.0 sec. user=vaughan [2009-06-27 22:56:08] 429*2^701640-1 is not prime. Res64: 07E92AB05D85FDC0 Time : 4736.0 sec. user=gd_barnes [2009-06-27 22:56:20] 561*2^701642-1 is not prime. Res64: E246CE59B4186D28 Time : 3317.0 sec. user=vaughan [2009-06-27 23:01:42] 515*2^701640-1 is not prime. Res64: E6AD4E070B618A29 Time : 4793.0 sec. user=vaughan [2009-06-27 23:03:51] 597*2^701640-1 is not prime. Res64: 32C1CA07B289FB88 Time : 4734.0 sec. user=gd_barnes [2009-06-27 23:07:24] 573*2^701643-1 is not prime. Res64: C829D0A1A88ED6CE Time : 3318.0 sec. user=vaughan [2009-06-27 23:09:35] 415*2^701641-1 is not prime. Res64: FB2F33E2EB00A343 Time : 4789.0 sec. user=vaughan [2009-06-27 23:11:40] 439*2^701641-1 is not prime. Res64: 69C9144EA634A8AA Time : 4734.0 sec. user=vaughan [2009-06-27 23:17:24] 591*2^701641-1 is not prime. Res64: 94D1F039217F5894 Time : 4762.0 sec. user=gd_barnes [2009-06-27 23:18:27] 477*2^701645-1 is not prime. Res64: 13390CC34B49D7B0 Time : 3320.0 sec. user=vaughan [2009-06-27 23:19:25] 431*2^701642-1 is not prime. Res64: C00AE69BDD393D53 Time : 4717.0 sec. user=vaughan [2009-06-27 23:25:12] 587*2^701642-1 is not prime. Res64: FA47EA6F58C3DE67 Time : 4765.0 sec. user=vaughan [2009-06-27 23:27:10] 441*2^701643-1 is not prime. Res64: 80DCEE5E385C4A91 Time : 4713.0 sec. user=gd_barnes [2009-06-27 23:29:30] 591*2^701645-1 is not prime. Res64: 6BCF72CD90891E5A Time : 3319.0 sec. user=vaughan [2009-06-27 23:33:08] 585*2^701643-1 is not prime. Res64: 180E3C25CDB32360 Time : 4747.0 sec. user=vaughan [2009-06-27 23:35:27] 429*2^701644-1 is not prime. Res64: 800409AC67EE1FE0 Time : 4716.0 sec. user=gd_barnes [2009-06-27 23:40:33] 503*2^701646-1 is not prime. Res64: 0250A07F1B955BAB Time : 3318.0 sec. user=vaughan [2009-06-27 23:41:15] 527*2^701644-1 is not prime. Res64: 4EB9A59A77C05F4A Time : 4769.0 sec. user=vaughan [2009-06-27 23:43:12] 481*2^701645-1 is not prime. Res64: 9A3C9225D19891A3 Time : 4710.0 sec. user=vaughan [2009-06-27 23:49:03] 529*2^701645-1 is not prime. Res64: 4ABF49111EE0B1EC Time : 4744.0 sec. user=vaughan [2009-06-27 23:50:55] 589*2^701645-1 is not prime. Res64: 4884FE044B631AB8 Time : 4696.0 sec. user=gd_barnes [2009-06-27 23:51:36] 405*2^701648-1 is not prime. Res64: 4E405E95EDDD1FC9 Time : 3316.0 sec. user=vaughan [2009-06-27 23:56:52] 413*2^701646-1 is not prime. Res64: BACC9988BFED0B50 Time : 4744.0 sec. user=vaughan [2009-06-27 23:58:40] 471*2^701646-1 is not prime. Res64: 01FE278A20381471 Time : 4695.0 sec.