Nonintersecting Paths and the Hahn Orthogonal Polynomial Ensemble

We compute the bulk limit of the correlation functions for the uniform measure on lozenge tilings of a hexagon. The limiting determinantal process is a translation-invariant extension of the discrete sine process, which can also be described by an ergodic Gibbs measure with appropriate parameters.