reset data Codewords_fgh_strict;

let index := 0;

for{master_f in {1}, slave_g in 1..1680}
{
  printf "%d",slave_g;
  for{(master_f,slave_g,slave_h) in Codewords_fgh[master_f,slave_g]}
  {
    reset data f,g,h;
    for{i in 1..5}
    {
      let f[i] := codes5vec[master_f,i];
      let g[i] := Codewords_vec[master_f,slave_g,i];
      let h[i] := Codewords_vec[master_f,slave_h,i];
    }

    if forall{i in 1..5, j in i+1..5, k in j+1..5}
      op_xor[

        op_reverse[
          op_xor[op_reverse[g[i],g[j]],op_reverse[f[i],f[j]]],
          op_xor[op_reverse[g[i],g[k]],op_reverse[f[i],f[k]]]
        ],
        op_reverse[
          op_xor[op_reverse[h[i],h[j]],op_reverse[f[i],f[j]]],
          op_xor[op_reverse[h[i],h[k]],op_reverse[f[i],f[k]]]
        ]

      ] != 0
    then
      ;
    else
      continue;

    printf ".";

    if forall{i in 1..5, j in i+1..5, k in j+1..5, l in k+1..5}
      op_xor[
        op_reverse[
          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]
            ]
          ],
          op_xor[
            op_reverse[
              op_xor[op_reverse[f[i],f[j]],11],
              op_xor[op_reverse[f[i],f[l]],11]
            ],
            op_reverse[
              op_xor[op_reverse[g[i],g[j]],11],
              op_xor[op_reverse[g[i],g[l]],11]
            ]
          ]
        ],
        op_reverse[
          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[h[i],h[j]],11],
              op_xor[op_reverse[h[i],h[k]],11]
            ]
          ],
          op_xor[
            op_reverse[
              op_xor[op_reverse[f[i],f[j]],11],
              op_xor[op_reverse[f[i],f[l]],11]
            ],
            op_reverse[
              op_xor[op_reverse[h[i],h[j]],11],
              op_xor[op_reverse[h[i],h[l]],11]
            ]
          ]
        ]
      ] != 0
    then
      ;
    else
      continue;

    printf "+";

    let Codewords_fgh_strict := Codewords_fgh_strict union {(master_f,slave_g,slave_h)};
    let index := index + 1;
  }
  printf "\n";
}

display index;

display Codewords_fgh_strict > a24_4-out-Codewords_fgh_strict.txt; close a24_4-out-Codewords_fgh_strict.txt;

end;