Graphical model for P(Q, J) assuming markers J_i within a PAR block are independent conditioned on ancestry Q_i. Ancestries of PAR blocks are assumed to be mutually independent.