module T9204b2 where

import {-# SOURCE #-} T9204b