Redirecting to Chaitin's constant