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 Codewords_fgh := {}; for{master in 1..1,slave_g in 1..1680} { print slave_g; for{slave_h in slave_g+1..1680} { reset data f,g,h; for{i in 1..7} { let f[i] := codes7vec[master,i]; let g[i] := Codewords_vec[master,slave_g,i]; let h[i] := Codewords_vec[master,slave_h,i]; } if forall{i in 1..7,j in i+1..7} op_xor[ op_reverse[g[i],g[j]], op_reverse[h[i],h[j]] ] != 0 then ; else continue; 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]],11], op_xor[op_reverse[g[i],g[k]],11] ], op_reverse[ op_xor[op_reverse[h[i],h[j]],11], op_xor[op_reverse[h[i],h[k]],11] ] ] != 0 ) then ; else continue; let Codewords_fgh := Codewords_fgh union {(master,slave_g,slave_h)}; } } display Codewords_fgh > a22_4-out-Codewords_fgh.txt; close a22_4-out-Codewords_fgh.txt; display card(Codewords_fgh); end;