“Lote o premio mayor de la lotería pública, y especialmente el correspondiente a la de Navidad” (DRAE, “premio gordo”).