(2,[],[[0]])
(1,[],[[0,1]])
(1,[],[[0,1],[1,0]])
(1,[[0,1]],[[0,1]])
(1,"rho_1",[])
(1,"rho_2",[])
(1,P_2 \cup C_\infty)
([2,3],[],[1,1],[1],8)