unimodular: True W = 4 Den monomial by Thm 1.2(c): True mu = [4, 0, 1, 1, 3] -> upper bound 13
(L) rank 6188/6188 for degree <= 12 -> deg f >= 13 proved (76s)
python3 extra_224_deg13.py  73.75s user 0.49s system 97% cpu 1:16.27 total
