m=10: Cat=42 unknowns=1764 equations (non-trivial (s,t) of weight (0,0))=43640 trivial pairs=19864 rank mod p1/p2=1722/1722 dim X_m <= 42; equal to Cat: True  [10.0s]
