module T20588_aux where

import {-# SOURCE #-} T20588