module Main where
import Control.Exception
import Data.Semigroup
import Data.Tuple.Strict
infixr 5 ===
(===) :: Eq a => a -> a -> IO ()
x === y
| x == y = pure ()
| otherwise = throwIO (userError "")
times2 :: Semigroup a => a -> a
times2 = stimes (2 :: Int)
main :: IO ()
main = do
T1 "" === mempty
T2 "" "" === mempty
T3 "" "" "" === mempty
T4 "" "" "" "" === mempty
T5 "" "" "" "" "" === mempty
T6 "" "" "" "" "" "" === mempty
T7 "" "" "" "" "" "" "" === mempty
T8 "" "" "" "" "" "" "" "" === mempty
T9 "" "" "" "" "" "" "" "" "" === mempty
T10 "" "" "" "" "" "" "" "" "" "" === mempty
T11 "" "" "" "" "" "" "" "" "" "" "" === mempty
T12 "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T13 "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T14 "" "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T15 "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T16 "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T17 "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T18 "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T19 "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" === mempty
T1 "a1a2" === T1 "a1" <> T1 "a2"
T2 "a1a2" "b1b2" === T2 "a1" "b1" <> T2 "a2" "b2"
T3 "a1a2" "b1b2" "c1c2" === T3 "a1" "b1" "c1" <> T3 "a2" "b2" "c2"
T4 "a1a2" "b1b2" "c1c2" "d1d2" === T4 "a1" "b1" "c1" "d1" <> T4 "a2" "b2" "c2" "d2"
T5 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" === T5 "a1" "b1" "c1" "d1" "e1" <> T5 "a2" "b2" "c2" "d2" "e2"
T6 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" === T6 "a1" "b1" "c1" "d1" "e1" "f1" <> T6 "a2" "b2" "c2" "d2" "e2" "f2"
T7 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" === T7 "a1" "b1" "c1" "d1" "e1" "f1" "g1" <> T7 "a2" "b2" "c2" "d2" "e2" "f2" "g2"
T8 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" === T8 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" <> T8 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2"
T9 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" === T9 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" <> T9 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2"
T10 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" === T10 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" <> T10 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2"
T11 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" === T11 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" <> T11 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2"
T12 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" === T12 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" <> T12 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2"
T13 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" === T13 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" <> T13 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2"
T14 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" "n1n2" === T14 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" "n1" <> T14 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2" "n2"
T15 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" "n1n2" "o1o2" === T15 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" "n1" "o1" <> T15 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2" "n2" "o2"
T16 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" "n1n2" "o1o2" "p1p2" === T16 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" "n1" "o1" "p1" <> T16 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2" "n2" "o2" "p2"
T17 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" "n1n2" "o1o2" "p1p2" "q1q2" === T17 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" "n1" "o1" "p1" "q1" <> T17 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2" "n2" "o2" "p2" "q2"
T18 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" "n1n2" "o1o2" "p1p2" "q1q2" "r1r2" === T18 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" "n1" "o1" "p1" "q1" "r1" <> T18 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2" "n2" "o2" "p2" "q2" "r2"
T19 "a1a2" "b1b2" "c1c2" "d1d2" "e1e2" "f1f2" "g1g2" "h1h2" "i1i2" "j1j2" "k1k2" "l1l2" "m1m2" "n1n2" "o1o2" "p1p2" "q1q2" "r1r2" "s1s2" === T19 "a1" "b1" "c1" "d1" "e1" "f1" "g1" "h1" "i1" "j1" "k1" "l1" "m1" "n1" "o1" "p1" "q1" "r1" "s1" <> T19 "a2" "b2" "c2" "d2" "e2" "f2" "g2" "h2" "i2" "j2" "k2" "l2" "m2" "n2" "o2" "p2" "q2" "r2" "s2"
times2 (T1 "a") === T1 "aa"
times2 (T2 "a" "a") === T2 "aa" "aa"
times2 (T3 "a" "a" "a") === T3 "aa" "aa" "aa"
times2 (T4 "a" "a" "a" "a") === T4 "aa" "aa" "aa" "aa"
times2 (T5 "a" "a" "a" "a" "a") === T5 "aa" "aa" "aa" "aa" "aa"
times2 (T6 "a" "a" "a" "a" "a" "a") === T6 "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T7 "a" "a" "a" "a" "a" "a" "a") === T7 "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T8 "a" "a" "a" "a" "a" "a" "a" "a") === T8 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T9 "a" "a" "a" "a" "a" "a" "a" "a" "a") === T9 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T10 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T10 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T11 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T11 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T12 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T12 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T13 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T13 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T14 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T14 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T15 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T15 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T16 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T16 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T17 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T17 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T18 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T18 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"
times2 (T19 "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a" "a") === T19 "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa" "aa"