#for {i in 1..192: Whichslaves[i] not within{}} display i,Whichslaves[i];
#for {i in 1..192, j in 1..192: Codewords[i,j] not within {}} display i,j,Codewords[i,j];

#133 or 0 combinations for each (master,slave)

for{master in 1..192, slave in 1..192}
{
  let Codewords_strict[master,slave] := {};
}

for{master in 1..192, slave in 1..192, (g1,g2,g3,g4,g5,g6,g7) in Codewords[master,slave]}
{

  for{i in 1..7}
  {
    let f[i] := codes7vec[master,i];
    let g[i] :=
         if i = 1 then g1
    else if i = 2 then g2
    else if i = 3 then g3
    else if i = 4 then g4
    else if i = 5 then g5
    else if i = 6 then g6
    else if i = 7 then g7
  }


  if forall{i in 1..7, j in i+1..7, k in j+1..7} # for any three
  (

    op_xor[
      op_reverse[
        op_xor[op_reverse[f[i],f[j]],11],
        op_xor[op_reverse[f[i],f[k]],11]
      ],

      op_reverse[
        op_xor[op_reverse[g[i],g[j]],11],
        op_xor[op_reverse[g[i],g[k]],11]
      ]
    ] != 0

  )
  then
  {
     let Codewords_strict[master,slave] := Codewords_strict[master,slave] union {(g1,g2,g3,g4,g5,g6,g7)};
  }
}


display {i in 1..192,j in 1..192: Codewords[i,j] not within {}} card(Codewords_strict[i,j]);
display Codewords_strict > a22_3-out-Codewords_strict.txt; close a22_3-out-Codewords_strict.txt;

end;