module T12127 where

import T12127a( T(..), C(..) )