module T1133Aa where

import {-# SOURCE #-} T1133A