Petossolplex

The petossolplex is equal to {10,petossol (5) 2} in BEAF.