==============================================================================
(a) dim Hom(1, p^{(x)k}) inside the models   [S_N^+ : Catalan(k);  S_N : Bell(k)]
==============================================================================
  Pauli N=4 (4 random points)           : k=1..4: [1, 2, 5, 14]   (Catalan [1, 2, 5, 14], Bell [1, 2, 5, 15])
  block N=4 (M_2)                       : k=1..4: [2, 6, 20, 70]   (Catalan [1, 2, 5, 14], Bell [1, 2, 5, 15])
  classical S_4 (all 24 permutations)   : k=1..4: [1, 2, 5, 15]   (Catalan [1, 2, 5, 14], Bell [1, 2, 5, 15])
  QLS N=5 (2 random squares)            : k=1..4: [1, 2, 5, 14]   (Catalan [1, 2, 5, 14], Bell [1, 2, 5, 15])
  QLS N=6 (2 random squares)            : k=1..3: [1, 2, 5]   (Catalan [1, 2, 5], Bell [1, 2, 5])

==============================================================================
(b) min over X in U(N) of the G^2_{1_N}-violation of w = X p X^*
==============================================================================
  block model: F(I) = 8.0000,  F(H_2 (+) H_2) = 7.89e-31
    (H_2(+)H_2) p (H_2(+)H_2)^* is diagonal: True ; diagonal entries 1, 2P-1, 1, 2Q-1: True
  Pauli model N=4 (3 points): min F over 44 starts = 0.5213  (F(I) = 11.386, F(H4) = 0.833, F(H2+H2) = 1.816)
  QLS model N=5 (2 squares): min F over 26 starts = 1.3261  (F(I) = 24.049)
DONE s3
