module T12035 where
data T