module T10181 where

t a = t a