Tetratri

The tetratri is equal to {3,3,3,3} in BEAF.