module T12042 where
import qualified T12042a as B
type S = B.R
type R = B.U