module T20588b_aux where

import {-# SOURCE #-} T20588b