N=5: generators X_(x,y): 8; antisymmetric & span so_N(C) (dim 10) with Cartan: True
N=5 m=7: unknowns=2689 eqs=23716 nullity=0 (exact: rank(M^TM) mod p = 2689) Catalan=0 Banica in kernel=True rank(Banica)=0 | equal: True  [54.0s]
N=5 m=8: unknowns=10661 eqs=101728 nullity=14 (FLOAT eigenvalues: largest "zero" 4.42e-13, next 4.8769) Catalan=14 Banica in kernel=True rank(Banica)=14 | equal: True  [69.6s]
