x in P: True  c.x = 223/9
exact certificates for x in conv S(T,I_T), all 116 trees of the family: True
