let index := 0; reset data Codewords_vec; for{master in 1..192} for{slave in 1..192, (g1,g2,g3,g4,g5,g6,g7) in Codewords_strict[master,slave]} { let index := index + 1; let Codewords_vec[master,index,1] := g1; let Codewords_vec[master,index,2] := g2; let Codewords_vec[master,index,3] := g3; let Codewords_vec[master,index,4] := g4; let Codewords_vec[master,index,5] := g5; let Codewords_vec[master,index,6] := g6; let Codewords_vec[master,index,7] := g7; } let index := 0; for{(master_f,slave_g,slave_h) in Codewords_fgh} { reset data f,g,h; for{i in 1..7} { let f[i] := codes7vec[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..7, j in i+1..7, k in j+1..7} # for any three ( 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 { let index := index + 1; print index; } } display index; end;