module T1133a where

import {-# SOURCE #-} T1133