module T20588d_aux where

import {-# SOURCE #-} T20588d