let index := 0; reset data Codewords_vec; let index := 0; for{master in 1..1344} for{slave in 1..1344, (g1,g2,g3,g4,g5,g6) in Codewords[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 index := 0; for{(master_f,slave_g,slave_h) in Codewords_fgh} { reset data f,g,h; for{i in 1..6} { let f[i] := codes6vec[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..6, j in i+1..6, k in j+1..6} 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,master_f,slave_g,slave_h; } } display index; end;