module Main (main) where

import Data.Ix

main :: IO ()
main =
  if 2^6  == rangeSize r6  && 2^7  == rangeSize r7  && 2^8  == rangeSize r8  &&
     2^9  == rangeSize r9  && 2^10 == rangeSize r10 && 2^11 == rangeSize r11 &&
     2^12 == rangeSize r12 && 2^13 == rangeSize r13 && 2^14 == rangeSize r14 &&
     2^15 == rangeSize r15
    then putStrLn "Success"
    else putStrLn "Error in large tuple Ix instances"
  where
    r6 = ((0,0,0,0,0,0),(1,1,1,1,1,1))
    r7 = ((0,0,0,0,0,0,0),(1,1,1,1,1,1,1))
    r8 = ((0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1))
    r9 = ((0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1))
    r10 = ((0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1))
    r11 = ((0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1))
    r12 = ((0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1))
    r13 = ((0,0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1,1))
    r14 = ((0,0,0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1,1,1))
    r15 = ((0,0,0,0,0,0,0,0,0,0,0,0,0,0,0),(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1))