M=63；
Q=表格[整数位数[n+64，2]，{n，0，M}]；
不相容[i_，j_]：=模块[{d}，d=Q[[i+1]]-Q[[j+1]]；成员Q[d，1]&&成员Q[d-1]]；
AntichainCount[S_]：=反链计数[S]=模块[{t，r}，1+总和[AntichaineCount[Select[S[[1；；t-1]]，不匹配[#，S[[t]]&]]，{t，1，长度[S]}]]；
表[反链计数[范围[0，n]]，{n，-1，M}]//差异(*Jean-François Alcover公司2023年2月9日之后罗伯特·伊斯雷尔*)
