Number of existing points
Number of distinct lengths
Maximum number of free variables
b+j
m+2j