m=2: Cat=1 unknowns=1 equations (non-trivial (s,t) of weight (0,0))=0 trivial pairs=4 rank mod p1/p2=0/0 dim X_m <= 1; equal to Cat: True  [0.0s]
m=4: Cat=2 unknowns=4 equations (non-trivial (s,t) of weight (0,0))=8 trivial pairs=28 rank mod p1/p2=2/2 dim X_m <= 2; equal to Cat: True  [0.0s]
m=6: Cat=5 unknowns=25 equations (non-trivial (s,t) of weight (0,0))=168 trivial pairs=232 rank mod p1/p2=20/20 dim X_m <= 5; equal to Cat: True  [0.0s]
m=8: Cat=14 unknowns=196 equations (non-trivial (s,t) of weight (0,0))=2808 trivial pairs=2092 rank mod p1/p2=182/182 dim X_m <= 14; equal to Cat: True  [0.0s]
