module T12567b where

import T12567a