module T6025 where

import T6025a

other = OTrue