Some changes in notation in encoder. Clarification regarding the partiy check row count and null space dimension.