module T20588c_aux where

import {-# SOURCE #-} T20588c