+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2121 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2121 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2121 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2121 _N_ _N_ _N_ _N_} _N_ _N_ },
+ max = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ min = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)L)U(U(P)L)" {_A_ 4 _U_ 2121 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
+instance Ord (Int, Int, Int)
+ {-# GHC_PRAGMA _M_ PreludeBuiltin {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq (Int, Int, Int)}}, ((Int, Int, Int) -> (Int, Int, Int) -> Bool), ((Int, Int, Int) -> (Int, Int, Int) -> Bool), ((Int, Int, Int) -> (Int, Int, Int) -> Bool), ((Int, Int, Int) -> (Int, Int, Int) -> Bool), ((Int, Int, Int) -> (Int, Int, Int) -> (Int, Int, Int)), ((Int, Int, Int) -> (Int, Int, Int) -> (Int, Int, Int)), ((Int, Int, Int) -> (Int, Int, Int) -> _CMP_TAG)] [_DFUN_ Eq ((Int, Int, Int)), _CONSTM_ Ord (<) ((Int, Int, Int)), _CONSTM_ Ord (<=) ((Int, Int, Int)), _CONSTM_ Ord (>=) ((Int, Int, Int)), _CONSTM_ Ord (>) ((Int, Int, Int)), _CONSTM_ Ord max ((Int, Int, Int)), _CONSTM_ Ord min ((Int, Int, Int)), _CONSTM_ Ord _tagCmp ((Int, Int, Int))] _N_
+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ max = { _A_ 2 _U_ 12 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ min = { _A_ 2 _U_ 12 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LL)U(U(P)LL)" {_A_ 4 _U_ 2111 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
+instance Ord (Int, Int, Int, Int)
+ {-# GHC_PRAGMA _M_ PreludeBuiltin {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq (Int, Int, Int, Int)}}, ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> (Int, Int, Int, Int)), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> (Int, Int, Int, Int)), ((Int, Int, Int, Int) -> (Int, Int, Int, Int) -> _CMP_TAG)] [_DFUN_ Eq ((Int, Int, Int, Int)), _CONSTM_ Ord (<) ((Int, Int, Int, Int)), _CONSTM_ Ord (<=) ((Int, Int, Int, Int)), _CONSTM_ Ord (>=) ((Int, Int, Int, Int)), _CONSTM_ Ord (>) ((Int, Int, Int, Int)), _CONSTM_ Ord max ((Int, Int, Int, Int)), _CONSTM_ Ord min ((Int, Int, Int, Int)), _CONSTM_ Ord _tagCmp ((Int, Int, Int, Int))] _N_
+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ },
+ max = { _A_ 2 _U_ 12 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 22222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ min = { _A_ 2 _U_ 12 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 22222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLL)U(U(P)LLL)" {_A_ 5 _U_ 21111 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
+instance Ord (Int, Int, Int, Int, Int)
+ {-# GHC_PRAGMA _M_ PreludeBuiltin {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq (Int, Int, Int, Int, Int)}}, ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> Bool), ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int)), ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int)), ((Int, Int, Int, Int, Int) -> (Int, Int, Int, Int, Int) -> _CMP_TAG)] [_DFUN_ Eq ((Int, Int, Int, Int, Int)), _CONSTM_ Ord (<) ((Int, Int, Int, Int, Int)), _CONSTM_ Ord (<=) ((Int, Int, Int, Int, Int)), _CONSTM_ Ord (>=) ((Int, Int, Int, Int, Int)), _CONSTM_ Ord (>) ((Int, Int, Int, Int, Int)), _CONSTM_ Ord max ((Int, Int, Int, Int, Int)), _CONSTM_ Ord min ((Int, Int, Int, Int, Int)), _CONSTM_ Ord _tagCmp ((Int, Int, Int, Int, Int))] _N_
+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ },
+ max = { _A_ 2 _U_ 22 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ },
+ min = { _A_ 2 _U_ 22 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(U(P)LLLL)U(U(P)LLLL)" _N_ _N_ } #-}
+instance Ord ([Char], [Char])
+ {-# GHC_PRAGMA _M_ PreludeBuiltin {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq ([Char], [Char])}}, (([Char], [Char]) -> ([Char], [Char]) -> Bool), (([Char], [Char]) -> ([Char], [Char]) -> Bool), (([Char], [Char]) -> ([Char], [Char]) -> Bool), (([Char], [Char]) -> ([Char], [Char]) -> Bool), (([Char], [Char]) -> ([Char], [Char]) -> ([Char], [Char])), (([Char], [Char]) -> ([Char], [Char]) -> ([Char], [Char])), (([Char], [Char]) -> ([Char], [Char]) -> _CMP_TAG)] [_DFUN_ Eq (([Char], [Char])), _CONSTM_ Ord (<) (([Char], [Char])), _CONSTM_ Ord (<=) (([Char], [Char])), _CONSTM_ Ord (>=) (([Char], [Char])), _CONSTM_ Ord (>) (([Char], [Char])), _CONSTM_ Ord max (([Char], [Char])), _CONSTM_ Ord min (([Char], [Char])), _CONSTM_ Ord _tagCmp (([Char], [Char]))] _N_
+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ max = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ min = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ } #-}
+instance Ord ([Int], [Int])
+ {-# GHC_PRAGMA _M_ PreludeBuiltin {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq ([Int], [Int])}}, (([Int], [Int]) -> ([Int], [Int]) -> Bool), (([Int], [Int]) -> ([Int], [Int]) -> Bool), (([Int], [Int]) -> ([Int], [Int]) -> Bool), (([Int], [Int]) -> ([Int], [Int]) -> Bool), (([Int], [Int]) -> ([Int], [Int]) -> ([Int], [Int])), (([Int], [Int]) -> ([Int], [Int]) -> ([Int], [Int])), (([Int], [Int]) -> ([Int], [Int]) -> _CMP_TAG)] [_DFUN_ Eq (([Int], [Int])), _CONSTM_ Ord (<) (([Int], [Int])), _CONSTM_ Ord (<=) (([Int], [Int])), _CONSTM_ Ord (>=) (([Int], [Int])), _CONSTM_ Ord (>) (([Int], [Int])), _CONSTM_ Ord max (([Int], [Int])), _CONSTM_ Ord min (([Int], [Int])), _CONSTM_ Ord _tagCmp (([Int], [Int]))] _N_
+ (<) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (<=) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>=) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ (>) = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ max = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ min = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ },
+ _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "U(SL)U(SL)" {_A_ 4 _U_ 2222 _N_ _N_ _N_ _N_} _N_ _N_ } #-}