The next step is to extract encodings of permutations from high rank grids using results of [1]}.
Unfortunately, we need a slightly stronger statement than the one found in [1]}:
this extraction is done by selecting at most one column or row from each block of columns or rows of the division.
