module Main where

import T5441a

main = putStrLn (showNat Z)