{-# LANGUAGE TemplateHaskell #-} module Main where import T7919A allDecs main = print test