sps[{}]:={{}};sps[set:{i_,___}]:=联接@@函数[s,前缀[#,s]和/@sps[Complement[set,s]]/@Cases[子集[set],{i,___}];
stabQ[u_]:=stabQ[u,子集Q];stabQ[u_,Q_]:=!应用[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
表[Length[Select[Tuples[sps[Range[n]],2],And[UnsameQ@@Join@@#,stabQ[Join@@#]&]],{n,6}]