Tragolplex

Tragolplex is equal to {10,10,10,tragol,7} in BEAF.