Running example (3, 2l, -4)

Add example of the maximal rank of semistabilizers with each of the theorems to compare performance.