typedef int[1,6] girls; bool knows[girls][girls]; chan call[girls][girls]; void share (girls a, girls b){ for (c : girls){ knows[a][c] := knows[a][c] || knows[b][c]; knows[b][c] := knows[a][c]; } } system Girl;