Set Partitions avoiding 1212,1222,1231,1234

Proof tree for set partitions avoiding 1212,1222,1231,1234

System of equations and generating function currently unavailable