-- to be found T
-- to be found T
-- to be found t1
-- to be found t2
-- to be found t3
-- to be found t4
-- to be found t5
data T = T {
  t1 :: Int
, t2 :: Int
, t3 :: Int
, t4 :: Int
, t5 :: Int
}