W2 (N = QM, GM mate): dim 22, det Gram(U') = 1, 1 characteristic: True, L' inside U': True, norm-1 vectors: 20
  prediction (unimodular, characteristic, contains L', < 44 norm-1 vectors): True
control (N = M binary, real local graph): dim 22, det Gram(U') = 1, 1 characteristic: True, L' inside U': True, norm-1 vectors: 44
  prediction (U' = Z^22: 44 norm-1 vectors): True
