/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty H-Termination with start terms of the given HASKELL could be proven: (0) HASKELL (1) LR [EQUIVALENT, 0 ms] (2) HASKELL (3) CR [EQUIVALENT, 0 ms] (4) HASKELL (5) IFR [EQUIVALENT, 0 ms] (6) HASKELL (7) BR [EQUIVALENT, 0 ms] (8) HASKELL (9) COR [EQUIVALENT, 0 ms] (10) HASKELL (11) NumRed [SOUND, 2 ms] (12) HASKELL (13) Narrow [SOUND, 0 ms] (14) AND (15) QDP (16) QDPSizeChangeProof [EQUIVALENT, 12 ms] (17) YES (18) QDP (19) QDPSizeChangeProof [EQUIVALENT, 0 ms] (20) YES (21) QDP (22) QDPSizeChangeProof [EQUIVALENT, 0 ms] (23) YES (24) QDP (25) QDPSizeChangeProof [EQUIVALENT, 0 ms] (26) YES (27) QDP (28) QDPSizeChangeProof [EQUIVALENT, 0 ms] (29) YES ---------------------------------------- (0) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (\vv1 ->case vv1 of { (x,i)-> if p x then i : [] else []; _-> []; } ) (zip xs (enumFrom 0)); } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (1) LR (EQUIVALENT) Lambda Reductions: The following Lambda expression "\ab->(a,b)" is transformed to "zip0 a b = (a,b); " The following Lambda expression "\vv1->case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} " is transformed to "findIndices0 p vv1 = case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} ; " ---------------------------------------- (2) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = case vv1 of { (x,i)-> if p x then i : [] else []; _-> []; } ; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (3) CR (EQUIVALENT) Case Reductions: The following Case expression "case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} " is transformed to "findIndices00 p (x,i) = if p x then i : [] else []; findIndices00 p _ = []; " ---------------------------------------- (4) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = if p x then i : [] else []; findIndices00 p _ = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (5) IFR (EQUIVALENT) If Reductions: The following If expression "if p x then i : [] else []" is transformed to "findIndices000 i True = i : []; findIndices000 i False = []; " ---------------------------------------- (6) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p _ = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (7) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (8) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : xz) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p yu = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (9) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " ---------------------------------------- (10) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : xz) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p yu = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (11) NumRed (SOUND) Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. ---------------------------------------- (12) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : xz) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero))); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p yu = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (13) Narrow (SOUND) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="List.elemIndex",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="List.elemIndex yv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 4[label="List.elemIndex yv3 yv4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3]; 5[label="List.findIndex (yv3 ==) yv4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 6[label="Maybe.listToMaybe . List.findIndices (yv3 ==)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 7[label="Maybe.listToMaybe (List.findIndices (yv3 ==) yv4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 8[label="Maybe.listToMaybe (concatMap (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 9[label="Maybe.listToMaybe (concat . map (List.findIndices0 (yv3 ==)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 10[label="Maybe.listToMaybe (concat (map (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 11[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 12[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="burlywood",shape="box"];1391[label="yv4/yv40 : yv41",fontsize=10,color="white",style="solid",shape="box"];12 -> 1391[label="",style="solid", color="burlywood", weight=9]; 1391 -> 13[label="",style="solid", color="burlywood", weight=3]; 1392[label="yv4/[]",fontsize=10,color="white",style="solid",shape="box"];12 -> 1392[label="",style="solid", color="burlywood", weight=9]; 1392 -> 14[label="",style="solid", color="burlywood", weight=3]; 13[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 (yv40 : yv41) (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3]; 14[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];14 -> 16[label="",style="solid", color="black", weight=3]; 15[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 (yv40 : yv41) (numericEnumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3]; 16[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) []))",fontsize=16,color="black",shape="triangle"];16 -> 18[label="",style="solid", color="black", weight=3]; 17[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 (yv40 : yv41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3]; 18[label="Maybe.listToMaybe (foldr (++) [] [])",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3]; 19[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zip0 yv40 (Pos Zero) : zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3]; 20[label="Maybe.listToMaybe []",fontsize=16,color="black",shape="box"];20 -> 22[label="",style="solid", color="black", weight=3]; 21[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (yv3 ==) (zip0 yv40 (Pos Zero)) : map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];21 -> 23[label="",style="solid", color="black", weight=3]; 22[label="Nothing",fontsize=16,color="green",shape="box"];23 -> 688[label="",style="dashed", color="red", weight=0]; 23[label="Maybe.listToMaybe ((++) List.findIndices0 (yv3 ==) (zip0 yv40 (Pos Zero)) foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];23 -> 689[label="",style="dashed", color="magenta", weight=3]; 23 -> 690[label="",style="dashed", color="magenta", weight=3]; 23 -> 691[label="",style="dashed", color="magenta", weight=3]; 23 -> 692[label="",style="dashed", color="magenta", weight=3]; 23 -> 693[label="",style="dashed", color="magenta", weight=3]; 689[label="yv41",fontsize=16,color="green",shape="box"];690[label="yv40",fontsize=16,color="green",shape="box"];691[label="yv3",fontsize=16,color="green",shape="box"];692[label="Zero",fontsize=16,color="green",shape="box"];693[label="Zero",fontsize=16,color="green",shape="box"];688[label="Maybe.listToMaybe ((++) List.findIndices0 (yv10 ==) (zip0 yv110 (Pos yv26)) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv27 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="triangle"];688 -> 696[label="",style="solid", color="black", weight=3]; 696[label="Maybe.listToMaybe ((++) List.findIndices00 (yv10 ==) (zip0 yv110 (Pos yv26)) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv27 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];696 -> 697[label="",style="solid", color="black", weight=3]; 697[label="Maybe.listToMaybe ((++) List.findIndices00 (yv10 ==) (yv110,Pos yv26) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv27 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];697 -> 698[label="",style="solid", color="black", weight=3]; 698 -> 699[label="",style="dashed", color="red", weight=0]; 698[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv26) (yv10 == yv110) foldr (++) [] (map (List.findIndices0 (yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv27 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];698 -> 700[label="",style="dashed", color="magenta", weight=3]; 698 -> 701[label="",style="dashed", color="magenta", weight=3]; 698 -> 702[label="",style="dashed", color="magenta", weight=3]; 698 -> 703[label="",style="dashed", color="magenta", weight=3]; 698 -> 704[label="",style="dashed", color="magenta", weight=3]; 700[label="yv27",fontsize=16,color="green",shape="box"];701[label="yv26",fontsize=16,color="green",shape="box"];702[label="yv10",fontsize=16,color="green",shape="box"];703[label="yv111",fontsize=16,color="green",shape="box"];704[label="yv10 == yv110",fontsize=16,color="blue",shape="box"];1393[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1393[label="",style="solid", color="blue", weight=9]; 1393 -> 705[label="",style="solid", color="blue", weight=3]; 1394[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1394[label="",style="solid", color="blue", weight=9]; 1394 -> 706[label="",style="solid", color="blue", weight=3]; 1395[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1395[label="",style="solid", color="blue", weight=9]; 1395 -> 707[label="",style="solid", color="blue", weight=3]; 1396[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1396[label="",style="solid", color="blue", weight=9]; 1396 -> 708[label="",style="solid", color="blue", weight=3]; 1397[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1397[label="",style="solid", color="blue", weight=9]; 1397 -> 709[label="",style="solid", color="blue", weight=3]; 1398[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1398[label="",style="solid", color="blue", weight=9]; 1398 -> 710[label="",style="solid", color="blue", weight=3]; 1399[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1399[label="",style="solid", color="blue", weight=9]; 1399 -> 711[label="",style="solid", color="blue", weight=3]; 1400[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1400[label="",style="solid", color="blue", weight=9]; 1400 -> 712[label="",style="solid", color="blue", weight=3]; 1401[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1401[label="",style="solid", color="blue", weight=9]; 1401 -> 713[label="",style="solid", color="blue", weight=3]; 1402[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1402[label="",style="solid", color="blue", weight=9]; 1402 -> 714[label="",style="solid", color="blue", weight=3]; 1403[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1403[label="",style="solid", color="blue", weight=9]; 1403 -> 715[label="",style="solid", color="blue", weight=3]; 1404[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1404[label="",style="solid", color="blue", weight=9]; 1404 -> 716[label="",style="solid", color="blue", weight=3]; 1405[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1405[label="",style="solid", color="blue", weight=9]; 1405 -> 717[label="",style="solid", color="blue", weight=3]; 1406[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];704 -> 1406[label="",style="solid", color="blue", weight=9]; 1406 -> 718[label="",style="solid", color="blue", weight=3]; 699[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv34) yv35 foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];1407[label="yv35/False",fontsize=10,color="white",style="solid",shape="box"];699 -> 1407[label="",style="solid", color="burlywood", weight=9]; 1407 -> 719[label="",style="solid", color="burlywood", weight=3]; 1408[label="yv35/True",fontsize=10,color="white",style="solid",shape="box"];699 -> 1408[label="",style="solid", color="burlywood", weight=9]; 1408 -> 720[label="",style="solid", color="burlywood", weight=3]; 705[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1409[label="yv10/Nothing",fontsize=10,color="white",style="solid",shape="box"];705 -> 1409[label="",style="solid", color="burlywood", weight=9]; 1409 -> 721[label="",style="solid", color="burlywood", weight=3]; 1410[label="yv10/Just yv100",fontsize=10,color="white",style="solid",shape="box"];705 -> 1410[label="",style="solid", color="burlywood", weight=9]; 1410 -> 722[label="",style="solid", color="burlywood", weight=3]; 706[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1411[label="yv10/()",fontsize=10,color="white",style="solid",shape="box"];706 -> 1411[label="",style="solid", color="burlywood", weight=9]; 1411 -> 723[label="",style="solid", color="burlywood", weight=3]; 707[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1412[label="yv10/yv100 :% yv101",fontsize=10,color="white",style="solid",shape="box"];707 -> 1412[label="",style="solid", color="burlywood", weight=9]; 1412 -> 724[label="",style="solid", color="burlywood", weight=3]; 708[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1413[label="yv10/yv100 : yv101",fontsize=10,color="white",style="solid",shape="box"];708 -> 1413[label="",style="solid", color="burlywood", weight=9]; 1413 -> 725[label="",style="solid", color="burlywood", weight=3]; 1414[label="yv10/[]",fontsize=10,color="white",style="solid",shape="box"];708 -> 1414[label="",style="solid", color="burlywood", weight=9]; 1414 -> 726[label="",style="solid", color="burlywood", weight=3]; 709[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1415[label="yv10/Left yv100",fontsize=10,color="white",style="solid",shape="box"];709 -> 1415[label="",style="solid", color="burlywood", weight=9]; 1415 -> 727[label="",style="solid", color="burlywood", weight=3]; 1416[label="yv10/Right yv100",fontsize=10,color="white",style="solid",shape="box"];709 -> 1416[label="",style="solid", color="burlywood", weight=9]; 1416 -> 728[label="",style="solid", color="burlywood", weight=3]; 710[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1417[label="yv10/(yv100,yv101,yv102)",fontsize=10,color="white",style="solid",shape="box"];710 -> 1417[label="",style="solid", color="burlywood", weight=9]; 1417 -> 729[label="",style="solid", color="burlywood", weight=3]; 711[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];711 -> 730[label="",style="solid", color="black", weight=3]; 712[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];712 -> 731[label="",style="solid", color="black", weight=3]; 713[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1418[label="yv10/(yv100,yv101)",fontsize=10,color="white",style="solid",shape="box"];713 -> 1418[label="",style="solid", color="burlywood", weight=9]; 1418 -> 732[label="",style="solid", color="burlywood", weight=3]; 714[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1419[label="yv10/Integer yv100",fontsize=10,color="white",style="solid",shape="box"];714 -> 1419[label="",style="solid", color="burlywood", weight=9]; 1419 -> 733[label="",style="solid", color="burlywood", weight=3]; 715[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];715 -> 734[label="",style="solid", color="black", weight=3]; 716[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1420[label="yv10/False",fontsize=10,color="white",style="solid",shape="box"];716 -> 1420[label="",style="solid", color="burlywood", weight=9]; 1420 -> 735[label="",style="solid", color="burlywood", weight=3]; 1421[label="yv10/True",fontsize=10,color="white",style="solid",shape="box"];716 -> 1421[label="",style="solid", color="burlywood", weight=9]; 1421 -> 736[label="",style="solid", color="burlywood", weight=3]; 717[label="yv10 == yv110",fontsize=16,color="burlywood",shape="triangle"];1422[label="yv10/LT",fontsize=10,color="white",style="solid",shape="box"];717 -> 1422[label="",style="solid", color="burlywood", weight=9]; 1422 -> 737[label="",style="solid", color="burlywood", weight=3]; 1423[label="yv10/EQ",fontsize=10,color="white",style="solid",shape="box"];717 -> 1423[label="",style="solid", color="burlywood", weight=9]; 1423 -> 738[label="",style="solid", color="burlywood", weight=3]; 1424[label="yv10/GT",fontsize=10,color="white",style="solid",shape="box"];717 -> 1424[label="",style="solid", color="burlywood", weight=9]; 1424 -> 739[label="",style="solid", color="burlywood", weight=3]; 718[label="yv10 == yv110",fontsize=16,color="black",shape="triangle"];718 -> 740[label="",style="solid", color="black", weight=3]; 719[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv34) False foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];719 -> 741[label="",style="solid", color="black", weight=3]; 720[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv34) True foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];720 -> 742[label="",style="solid", color="black", weight=3]; 721[label="Nothing == yv110",fontsize=16,color="burlywood",shape="box"];1425[label="yv110/Nothing",fontsize=10,color="white",style="solid",shape="box"];721 -> 1425[label="",style="solid", color="burlywood", weight=9]; 1425 -> 743[label="",style="solid", color="burlywood", weight=3]; 1426[label="yv110/Just yv1100",fontsize=10,color="white",style="solid",shape="box"];721 -> 1426[label="",style="solid", color="burlywood", weight=9]; 1426 -> 744[label="",style="solid", color="burlywood", weight=3]; 722[label="Just yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1427[label="yv110/Nothing",fontsize=10,color="white",style="solid",shape="box"];722 -> 1427[label="",style="solid", color="burlywood", weight=9]; 1427 -> 745[label="",style="solid", color="burlywood", weight=3]; 1428[label="yv110/Just yv1100",fontsize=10,color="white",style="solid",shape="box"];722 -> 1428[label="",style="solid", color="burlywood", weight=9]; 1428 -> 746[label="",style="solid", color="burlywood", weight=3]; 723[label="() == yv110",fontsize=16,color="burlywood",shape="box"];1429[label="yv110/()",fontsize=10,color="white",style="solid",shape="box"];723 -> 1429[label="",style="solid", color="burlywood", weight=9]; 1429 -> 747[label="",style="solid", color="burlywood", weight=3]; 724[label="yv100 :% yv101 == yv110",fontsize=16,color="burlywood",shape="box"];1430[label="yv110/yv1100 :% yv1101",fontsize=10,color="white",style="solid",shape="box"];724 -> 1430[label="",style="solid", color="burlywood", weight=9]; 1430 -> 748[label="",style="solid", color="burlywood", weight=3]; 725[label="yv100 : yv101 == yv110",fontsize=16,color="burlywood",shape="box"];1431[label="yv110/yv1100 : yv1101",fontsize=10,color="white",style="solid",shape="box"];725 -> 1431[label="",style="solid", color="burlywood", weight=9]; 1431 -> 749[label="",style="solid", color="burlywood", weight=3]; 1432[label="yv110/[]",fontsize=10,color="white",style="solid",shape="box"];725 -> 1432[label="",style="solid", color="burlywood", weight=9]; 1432 -> 750[label="",style="solid", color="burlywood", weight=3]; 726[label="[] == yv110",fontsize=16,color="burlywood",shape="box"];1433[label="yv110/yv1100 : yv1101",fontsize=10,color="white",style="solid",shape="box"];726 -> 1433[label="",style="solid", color="burlywood", weight=9]; 1433 -> 751[label="",style="solid", color="burlywood", weight=3]; 1434[label="yv110/[]",fontsize=10,color="white",style="solid",shape="box"];726 -> 1434[label="",style="solid", color="burlywood", weight=9]; 1434 -> 752[label="",style="solid", color="burlywood", weight=3]; 727[label="Left yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1435[label="yv110/Left yv1100",fontsize=10,color="white",style="solid",shape="box"];727 -> 1435[label="",style="solid", color="burlywood", weight=9]; 1435 -> 753[label="",style="solid", color="burlywood", weight=3]; 1436[label="yv110/Right yv1100",fontsize=10,color="white",style="solid",shape="box"];727 -> 1436[label="",style="solid", color="burlywood", weight=9]; 1436 -> 754[label="",style="solid", color="burlywood", weight=3]; 728[label="Right yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1437[label="yv110/Left yv1100",fontsize=10,color="white",style="solid",shape="box"];728 -> 1437[label="",style="solid", color="burlywood", weight=9]; 1437 -> 755[label="",style="solid", color="burlywood", weight=3]; 1438[label="yv110/Right yv1100",fontsize=10,color="white",style="solid",shape="box"];728 -> 1438[label="",style="solid", color="burlywood", weight=9]; 1438 -> 756[label="",style="solid", color="burlywood", weight=3]; 729[label="(yv100,yv101,yv102) == yv110",fontsize=16,color="burlywood",shape="box"];1439[label="yv110/(yv1100,yv1101,yv1102)",fontsize=10,color="white",style="solid",shape="box"];729 -> 1439[label="",style="solid", color="burlywood", weight=9]; 1439 -> 757[label="",style="solid", color="burlywood", weight=3]; 730[label="primEqInt yv10 yv110",fontsize=16,color="burlywood",shape="triangle"];1440[label="yv10/Pos yv100",fontsize=10,color="white",style="solid",shape="box"];730 -> 1440[label="",style="solid", color="burlywood", weight=9]; 1440 -> 758[label="",style="solid", color="burlywood", weight=3]; 1441[label="yv10/Neg yv100",fontsize=10,color="white",style="solid",shape="box"];730 -> 1441[label="",style="solid", color="burlywood", weight=9]; 1441 -> 759[label="",style="solid", color="burlywood", weight=3]; 731[label="primEqChar yv10 yv110",fontsize=16,color="burlywood",shape="box"];1442[label="yv10/Char yv100",fontsize=10,color="white",style="solid",shape="box"];731 -> 1442[label="",style="solid", color="burlywood", weight=9]; 1442 -> 760[label="",style="solid", color="burlywood", weight=3]; 732[label="(yv100,yv101) == yv110",fontsize=16,color="burlywood",shape="box"];1443[label="yv110/(yv1100,yv1101)",fontsize=10,color="white",style="solid",shape="box"];732 -> 1443[label="",style="solid", color="burlywood", weight=9]; 1443 -> 761[label="",style="solid", color="burlywood", weight=3]; 733[label="Integer yv100 == yv110",fontsize=16,color="burlywood",shape="box"];1444[label="yv110/Integer yv1100",fontsize=10,color="white",style="solid",shape="box"];733 -> 1444[label="",style="solid", color="burlywood", weight=9]; 1444 -> 762[label="",style="solid", color="burlywood", weight=3]; 734[label="primEqFloat yv10 yv110",fontsize=16,color="burlywood",shape="box"];1445[label="yv10/Float yv100 yv101",fontsize=10,color="white",style="solid",shape="box"];734 -> 1445[label="",style="solid", color="burlywood", weight=9]; 1445 -> 763[label="",style="solid", color="burlywood", weight=3]; 735[label="False == yv110",fontsize=16,color="burlywood",shape="box"];1446[label="yv110/False",fontsize=10,color="white",style="solid",shape="box"];735 -> 1446[label="",style="solid", color="burlywood", weight=9]; 1446 -> 764[label="",style="solid", color="burlywood", weight=3]; 1447[label="yv110/True",fontsize=10,color="white",style="solid",shape="box"];735 -> 1447[label="",style="solid", color="burlywood", weight=9]; 1447 -> 765[label="",style="solid", color="burlywood", weight=3]; 736[label="True == yv110",fontsize=16,color="burlywood",shape="box"];1448[label="yv110/False",fontsize=10,color="white",style="solid",shape="box"];736 -> 1448[label="",style="solid", color="burlywood", weight=9]; 1448 -> 766[label="",style="solid", color="burlywood", weight=3]; 1449[label="yv110/True",fontsize=10,color="white",style="solid",shape="box"];736 -> 1449[label="",style="solid", color="burlywood", weight=9]; 1449 -> 767[label="",style="solid", color="burlywood", weight=3]; 737[label="LT == yv110",fontsize=16,color="burlywood",shape="box"];1450[label="yv110/LT",fontsize=10,color="white",style="solid",shape="box"];737 -> 1450[label="",style="solid", color="burlywood", weight=9]; 1450 -> 768[label="",style="solid", color="burlywood", weight=3]; 1451[label="yv110/EQ",fontsize=10,color="white",style="solid",shape="box"];737 -> 1451[label="",style="solid", color="burlywood", weight=9]; 1451 -> 769[label="",style="solid", color="burlywood", weight=3]; 1452[label="yv110/GT",fontsize=10,color="white",style="solid",shape="box"];737 -> 1452[label="",style="solid", color="burlywood", weight=9]; 1452 -> 770[label="",style="solid", color="burlywood", weight=3]; 738[label="EQ == yv110",fontsize=16,color="burlywood",shape="box"];1453[label="yv110/LT",fontsize=10,color="white",style="solid",shape="box"];738 -> 1453[label="",style="solid", color="burlywood", weight=9]; 1453 -> 771[label="",style="solid", color="burlywood", weight=3]; 1454[label="yv110/EQ",fontsize=10,color="white",style="solid",shape="box"];738 -> 1454[label="",style="solid", color="burlywood", weight=9]; 1454 -> 772[label="",style="solid", color="burlywood", weight=3]; 1455[label="yv110/GT",fontsize=10,color="white",style="solid",shape="box"];738 -> 1455[label="",style="solid", color="burlywood", weight=9]; 1455 -> 773[label="",style="solid", color="burlywood", weight=3]; 739[label="GT == yv110",fontsize=16,color="burlywood",shape="box"];1456[label="yv110/LT",fontsize=10,color="white",style="solid",shape="box"];739 -> 1456[label="",style="solid", color="burlywood", weight=9]; 1456 -> 774[label="",style="solid", color="burlywood", weight=3]; 1457[label="yv110/EQ",fontsize=10,color="white",style="solid",shape="box"];739 -> 1457[label="",style="solid", color="burlywood", weight=9]; 1457 -> 775[label="",style="solid", color="burlywood", weight=3]; 1458[label="yv110/GT",fontsize=10,color="white",style="solid",shape="box"];739 -> 1458[label="",style="solid", color="burlywood", weight=9]; 1458 -> 776[label="",style="solid", color="burlywood", weight=3]; 740[label="primEqDouble yv10 yv110",fontsize=16,color="burlywood",shape="box"];1459[label="yv10/Double yv100 yv101",fontsize=10,color="white",style="solid",shape="box"];740 -> 1459[label="",style="solid", color="burlywood", weight=9]; 1459 -> 777[label="",style="solid", color="burlywood", weight=3]; 741[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];741 -> 778[label="",style="solid", color="black", weight=3]; 742[label="Maybe.listToMaybe ((++) (Pos yv34 : []) foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];742 -> 779[label="",style="solid", color="black", weight=3]; 743[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];743 -> 780[label="",style="solid", color="black", weight=3]; 744[label="Nothing == Just yv1100",fontsize=16,color="black",shape="box"];744 -> 781[label="",style="solid", color="black", weight=3]; 745[label="Just yv100 == Nothing",fontsize=16,color="black",shape="box"];745 -> 782[label="",style="solid", color="black", weight=3]; 746[label="Just yv100 == Just yv1100",fontsize=16,color="black",shape="box"];746 -> 783[label="",style="solid", color="black", weight=3]; 747[label="() == ()",fontsize=16,color="black",shape="box"];747 -> 784[label="",style="solid", color="black", weight=3]; 748[label="yv100 :% yv101 == yv1100 :% yv1101",fontsize=16,color="black",shape="box"];748 -> 785[label="",style="solid", color="black", weight=3]; 749[label="yv100 : yv101 == yv1100 : yv1101",fontsize=16,color="black",shape="box"];749 -> 786[label="",style="solid", color="black", weight=3]; 750[label="yv100 : yv101 == []",fontsize=16,color="black",shape="box"];750 -> 787[label="",style="solid", color="black", weight=3]; 751[label="[] == yv1100 : yv1101",fontsize=16,color="black",shape="box"];751 -> 788[label="",style="solid", color="black", weight=3]; 752[label="[] == []",fontsize=16,color="black",shape="box"];752 -> 789[label="",style="solid", color="black", weight=3]; 753[label="Left yv100 == Left yv1100",fontsize=16,color="black",shape="box"];753 -> 790[label="",style="solid", color="black", weight=3]; 754[label="Left yv100 == Right yv1100",fontsize=16,color="black",shape="box"];754 -> 791[label="",style="solid", color="black", weight=3]; 755[label="Right yv100 == Left yv1100",fontsize=16,color="black",shape="box"];755 -> 792[label="",style="solid", color="black", weight=3]; 756[label="Right yv100 == Right yv1100",fontsize=16,color="black",shape="box"];756 -> 793[label="",style="solid", color="black", weight=3]; 757[label="(yv100,yv101,yv102) == (yv1100,yv1101,yv1102)",fontsize=16,color="black",shape="box"];757 -> 794[label="",style="solid", color="black", weight=3]; 758[label="primEqInt (Pos yv100) yv110",fontsize=16,color="burlywood",shape="box"];1460[label="yv100/Succ yv1000",fontsize=10,color="white",style="solid",shape="box"];758 -> 1460[label="",style="solid", color="burlywood", weight=9]; 1460 -> 795[label="",style="solid", color="burlywood", weight=3]; 1461[label="yv100/Zero",fontsize=10,color="white",style="solid",shape="box"];758 -> 1461[label="",style="solid", color="burlywood", weight=9]; 1461 -> 796[label="",style="solid", color="burlywood", weight=3]; 759[label="primEqInt (Neg yv100) yv110",fontsize=16,color="burlywood",shape="box"];1462[label="yv100/Succ yv1000",fontsize=10,color="white",style="solid",shape="box"];759 -> 1462[label="",style="solid", color="burlywood", weight=9]; 1462 -> 797[label="",style="solid", color="burlywood", weight=3]; 1463[label="yv100/Zero",fontsize=10,color="white",style="solid",shape="box"];759 -> 1463[label="",style="solid", color="burlywood", weight=9]; 1463 -> 798[label="",style="solid", color="burlywood", weight=3]; 760[label="primEqChar (Char yv100) yv110",fontsize=16,color="burlywood",shape="box"];1464[label="yv110/Char yv1100",fontsize=10,color="white",style="solid",shape="box"];760 -> 1464[label="",style="solid", color="burlywood", weight=9]; 1464 -> 799[label="",style="solid", color="burlywood", weight=3]; 761[label="(yv100,yv101) == (yv1100,yv1101)",fontsize=16,color="black",shape="box"];761 -> 800[label="",style="solid", color="black", weight=3]; 762[label="Integer yv100 == Integer yv1100",fontsize=16,color="black",shape="box"];762 -> 801[label="",style="solid", color="black", weight=3]; 763[label="primEqFloat (Float yv100 yv101) yv110",fontsize=16,color="burlywood",shape="box"];1465[label="yv110/Float yv1100 yv1101",fontsize=10,color="white",style="solid",shape="box"];763 -> 1465[label="",style="solid", color="burlywood", weight=9]; 1465 -> 802[label="",style="solid", color="burlywood", weight=3]; 764[label="False == False",fontsize=16,color="black",shape="box"];764 -> 803[label="",style="solid", color="black", weight=3]; 765[label="False == True",fontsize=16,color="black",shape="box"];765 -> 804[label="",style="solid", color="black", weight=3]; 766[label="True == False",fontsize=16,color="black",shape="box"];766 -> 805[label="",style="solid", color="black", weight=3]; 767[label="True == True",fontsize=16,color="black",shape="box"];767 -> 806[label="",style="solid", color="black", weight=3]; 768[label="LT == LT",fontsize=16,color="black",shape="box"];768 -> 807[label="",style="solid", color="black", weight=3]; 769[label="LT == EQ",fontsize=16,color="black",shape="box"];769 -> 808[label="",style="solid", color="black", weight=3]; 770[label="LT == GT",fontsize=16,color="black",shape="box"];770 -> 809[label="",style="solid", color="black", weight=3]; 771[label="EQ == LT",fontsize=16,color="black",shape="box"];771 -> 810[label="",style="solid", color="black", weight=3]; 772[label="EQ == EQ",fontsize=16,color="black",shape="box"];772 -> 811[label="",style="solid", color="black", weight=3]; 773[label="EQ == GT",fontsize=16,color="black",shape="box"];773 -> 812[label="",style="solid", color="black", weight=3]; 774[label="GT == LT",fontsize=16,color="black",shape="box"];774 -> 813[label="",style="solid", color="black", weight=3]; 775[label="GT == EQ",fontsize=16,color="black",shape="box"];775 -> 814[label="",style="solid", color="black", weight=3]; 776[label="GT == GT",fontsize=16,color="black",shape="box"];776 -> 815[label="",style="solid", color="black", weight=3]; 777[label="primEqDouble (Double yv100 yv101) yv110",fontsize=16,color="burlywood",shape="box"];1466[label="yv110/Double yv1100 yv1101",fontsize=10,color="white",style="solid",shape="box"];777 -> 1466[label="",style="solid", color="burlywood", weight=9]; 1466 -> 816[label="",style="solid", color="burlywood", weight=3]; 778[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];1467[label="yv37/yv370 : yv371",fontsize=10,color="white",style="solid",shape="box"];778 -> 1467[label="",style="solid", color="burlywood", weight=9]; 1467 -> 817[label="",style="solid", color="burlywood", weight=3]; 1468[label="yv37/[]",fontsize=10,color="white",style="solid",shape="box"];778 -> 1468[label="",style="solid", color="burlywood", weight=9]; 1468 -> 818[label="",style="solid", color="burlywood", weight=3]; 779[label="Maybe.listToMaybe (Pos yv34 : [] ++ foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv37 (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];779 -> 819[label="",style="solid", color="black", weight=3]; 780[label="True",fontsize=16,color="green",shape="box"];781[label="False",fontsize=16,color="green",shape="box"];782[label="False",fontsize=16,color="green",shape="box"];783[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1469[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1469[label="",style="solid", color="blue", weight=9]; 1469 -> 820[label="",style="solid", color="blue", weight=3]; 1470[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1470[label="",style="solid", color="blue", weight=9]; 1470 -> 821[label="",style="solid", color="blue", weight=3]; 1471[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1471[label="",style="solid", color="blue", weight=9]; 1471 -> 822[label="",style="solid", color="blue", weight=3]; 1472[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1472[label="",style="solid", color="blue", weight=9]; 1472 -> 823[label="",style="solid", color="blue", weight=3]; 1473[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1473[label="",style="solid", color="blue", weight=9]; 1473 -> 824[label="",style="solid", color="blue", weight=3]; 1474[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1474[label="",style="solid", color="blue", weight=9]; 1474 -> 825[label="",style="solid", color="blue", weight=3]; 1475[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1475[label="",style="solid", color="blue", weight=9]; 1475 -> 826[label="",style="solid", color="blue", weight=3]; 1476[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1476[label="",style="solid", color="blue", weight=9]; 1476 -> 827[label="",style="solid", color="blue", weight=3]; 1477[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1477[label="",style="solid", color="blue", weight=9]; 1477 -> 828[label="",style="solid", color="blue", weight=3]; 1478[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1478[label="",style="solid", color="blue", weight=9]; 1478 -> 829[label="",style="solid", color="blue", weight=3]; 1479[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1479[label="",style="solid", color="blue", weight=9]; 1479 -> 830[label="",style="solid", color="blue", weight=3]; 1480[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1480[label="",style="solid", color="blue", weight=9]; 1480 -> 831[label="",style="solid", color="blue", weight=3]; 1481[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1481[label="",style="solid", color="blue", weight=9]; 1481 -> 832[label="",style="solid", color="blue", weight=3]; 1482[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];783 -> 1482[label="",style="solid", color="blue", weight=9]; 1482 -> 833[label="",style="solid", color="blue", weight=3]; 784[label="True",fontsize=16,color="green",shape="box"];785 -> 928[label="",style="dashed", color="red", weight=0]; 785[label="yv100 == yv1100 && yv101 == yv1101",fontsize=16,color="magenta"];785 -> 929[label="",style="dashed", color="magenta", weight=3]; 785 -> 930[label="",style="dashed", color="magenta", weight=3]; 786 -> 928[label="",style="dashed", color="red", weight=0]; 786[label="yv100 == yv1100 && yv101 == yv1101",fontsize=16,color="magenta"];786 -> 931[label="",style="dashed", color="magenta", weight=3]; 786 -> 932[label="",style="dashed", color="magenta", weight=3]; 787[label="False",fontsize=16,color="green",shape="box"];788[label="False",fontsize=16,color="green",shape="box"];789[label="True",fontsize=16,color="green",shape="box"];790[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1483[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1483[label="",style="solid", color="blue", weight=9]; 1483 -> 844[label="",style="solid", color="blue", weight=3]; 1484[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1484[label="",style="solid", color="blue", weight=9]; 1484 -> 845[label="",style="solid", color="blue", weight=3]; 1485[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1485[label="",style="solid", color="blue", weight=9]; 1485 -> 846[label="",style="solid", color="blue", weight=3]; 1486[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1486[label="",style="solid", color="blue", weight=9]; 1486 -> 847[label="",style="solid", color="blue", weight=3]; 1487[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1487[label="",style="solid", color="blue", weight=9]; 1487 -> 848[label="",style="solid", color="blue", weight=3]; 1488[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1488[label="",style="solid", color="blue", weight=9]; 1488 -> 849[label="",style="solid", color="blue", weight=3]; 1489[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1489[label="",style="solid", color="blue", weight=9]; 1489 -> 850[label="",style="solid", color="blue", weight=3]; 1490[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1490[label="",style="solid", color="blue", weight=9]; 1490 -> 851[label="",style="solid", color="blue", weight=3]; 1491[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1491[label="",style="solid", color="blue", weight=9]; 1491 -> 852[label="",style="solid", color="blue", weight=3]; 1492[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1492[label="",style="solid", color="blue", weight=9]; 1492 -> 853[label="",style="solid", color="blue", weight=3]; 1493[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1493[label="",style="solid", color="blue", weight=9]; 1493 -> 854[label="",style="solid", color="blue", weight=3]; 1494[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1494[label="",style="solid", color="blue", weight=9]; 1494 -> 855[label="",style="solid", color="blue", weight=3]; 1495[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1495[label="",style="solid", color="blue", weight=9]; 1495 -> 856[label="",style="solid", color="blue", weight=3]; 1496[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];790 -> 1496[label="",style="solid", color="blue", weight=9]; 1496 -> 857[label="",style="solid", color="blue", weight=3]; 791[label="False",fontsize=16,color="green",shape="box"];792[label="False",fontsize=16,color="green",shape="box"];793[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1497[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1497[label="",style="solid", color="blue", weight=9]; 1497 -> 858[label="",style="solid", color="blue", weight=3]; 1498[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1498[label="",style="solid", color="blue", weight=9]; 1498 -> 859[label="",style="solid", color="blue", weight=3]; 1499[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1499[label="",style="solid", color="blue", weight=9]; 1499 -> 860[label="",style="solid", color="blue", weight=3]; 1500[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1500[label="",style="solid", color="blue", weight=9]; 1500 -> 861[label="",style="solid", color="blue", weight=3]; 1501[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1501[label="",style="solid", color="blue", weight=9]; 1501 -> 862[label="",style="solid", color="blue", weight=3]; 1502[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1502[label="",style="solid", color="blue", weight=9]; 1502 -> 863[label="",style="solid", color="blue", weight=3]; 1503[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1503[label="",style="solid", color="blue", weight=9]; 1503 -> 864[label="",style="solid", color="blue", weight=3]; 1504[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1504[label="",style="solid", color="blue", weight=9]; 1504 -> 865[label="",style="solid", color="blue", weight=3]; 1505[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1505[label="",style="solid", color="blue", weight=9]; 1505 -> 866[label="",style="solid", color="blue", weight=3]; 1506[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1506[label="",style="solid", color="blue", weight=9]; 1506 -> 867[label="",style="solid", color="blue", weight=3]; 1507[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1507[label="",style="solid", color="blue", weight=9]; 1507 -> 868[label="",style="solid", color="blue", weight=3]; 1508[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1508[label="",style="solid", color="blue", weight=9]; 1508 -> 869[label="",style="solid", color="blue", weight=3]; 1509[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1509[label="",style="solid", color="blue", weight=9]; 1509 -> 870[label="",style="solid", color="blue", weight=3]; 1510[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];793 -> 1510[label="",style="solid", color="blue", weight=9]; 1510 -> 871[label="",style="solid", color="blue", weight=3]; 794 -> 928[label="",style="dashed", color="red", weight=0]; 794[label="yv100 == yv1100 && yv101 == yv1101 && yv102 == yv1102",fontsize=16,color="magenta"];794 -> 933[label="",style="dashed", color="magenta", weight=3]; 794 -> 934[label="",style="dashed", color="magenta", weight=3]; 795[label="primEqInt (Pos (Succ yv1000)) yv110",fontsize=16,color="burlywood",shape="box"];1511[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];795 -> 1511[label="",style="solid", color="burlywood", weight=9]; 1511 -> 883[label="",style="solid", color="burlywood", weight=3]; 1512[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];795 -> 1512[label="",style="solid", color="burlywood", weight=9]; 1512 -> 884[label="",style="solid", color="burlywood", weight=3]; 796[label="primEqInt (Pos Zero) yv110",fontsize=16,color="burlywood",shape="box"];1513[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];796 -> 1513[label="",style="solid", color="burlywood", weight=9]; 1513 -> 885[label="",style="solid", color="burlywood", weight=3]; 1514[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];796 -> 1514[label="",style="solid", color="burlywood", weight=9]; 1514 -> 886[label="",style="solid", color="burlywood", weight=3]; 797[label="primEqInt (Neg (Succ yv1000)) yv110",fontsize=16,color="burlywood",shape="box"];1515[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];797 -> 1515[label="",style="solid", color="burlywood", weight=9]; 1515 -> 887[label="",style="solid", color="burlywood", weight=3]; 1516[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];797 -> 1516[label="",style="solid", color="burlywood", weight=9]; 1516 -> 888[label="",style="solid", color="burlywood", weight=3]; 798[label="primEqInt (Neg Zero) yv110",fontsize=16,color="burlywood",shape="box"];1517[label="yv110/Pos yv1100",fontsize=10,color="white",style="solid",shape="box"];798 -> 1517[label="",style="solid", color="burlywood", weight=9]; 1517 -> 889[label="",style="solid", color="burlywood", weight=3]; 1518[label="yv110/Neg yv1100",fontsize=10,color="white",style="solid",shape="box"];798 -> 1518[label="",style="solid", color="burlywood", weight=9]; 1518 -> 890[label="",style="solid", color="burlywood", weight=3]; 799[label="primEqChar (Char yv100) (Char yv1100)",fontsize=16,color="black",shape="box"];799 -> 891[label="",style="solid", color="black", weight=3]; 800 -> 928[label="",style="dashed", color="red", weight=0]; 800[label="yv100 == yv1100 && yv101 == yv1101",fontsize=16,color="magenta"];800 -> 935[label="",style="dashed", color="magenta", weight=3]; 800 -> 936[label="",style="dashed", color="magenta", weight=3]; 801 -> 730[label="",style="dashed", color="red", weight=0]; 801[label="primEqInt yv100 yv1100",fontsize=16,color="magenta"];801 -> 892[label="",style="dashed", color="magenta", weight=3]; 801 -> 893[label="",style="dashed", color="magenta", weight=3]; 802[label="primEqFloat (Float yv100 yv101) (Float yv1100 yv1101)",fontsize=16,color="black",shape="box"];802 -> 894[label="",style="solid", color="black", weight=3]; 803[label="True",fontsize=16,color="green",shape="box"];804[label="False",fontsize=16,color="green",shape="box"];805[label="False",fontsize=16,color="green",shape="box"];806[label="True",fontsize=16,color="green",shape="box"];807[label="True",fontsize=16,color="green",shape="box"];808[label="False",fontsize=16,color="green",shape="box"];809[label="False",fontsize=16,color="green",shape="box"];810[label="False",fontsize=16,color="green",shape="box"];811[label="True",fontsize=16,color="green",shape="box"];812[label="False",fontsize=16,color="green",shape="box"];813[label="False",fontsize=16,color="green",shape="box"];814[label="False",fontsize=16,color="green",shape="box"];815[label="True",fontsize=16,color="green",shape="box"];816[label="primEqDouble (Double yv100 yv101) (Double yv1100 yv1101)",fontsize=16,color="black",shape="box"];816 -> 895[label="",style="solid", color="black", weight=3]; 817[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];817 -> 896[label="",style="solid", color="black", weight=3]; 818[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv38 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];818 -> 897[label="",style="solid", color="black", weight=3]; 819[label="Just (Pos yv34)",fontsize=16,color="green",shape="box"];820 -> 705[label="",style="dashed", color="red", weight=0]; 820[label="yv100 == yv1100",fontsize=16,color="magenta"];820 -> 898[label="",style="dashed", color="magenta", weight=3]; 820 -> 899[label="",style="dashed", color="magenta", weight=3]; 821 -> 706[label="",style="dashed", color="red", weight=0]; 821[label="yv100 == yv1100",fontsize=16,color="magenta"];821 -> 900[label="",style="dashed", color="magenta", weight=3]; 821 -> 901[label="",style="dashed", color="magenta", weight=3]; 822 -> 707[label="",style="dashed", color="red", weight=0]; 822[label="yv100 == yv1100",fontsize=16,color="magenta"];822 -> 902[label="",style="dashed", color="magenta", weight=3]; 822 -> 903[label="",style="dashed", color="magenta", weight=3]; 823 -> 708[label="",style="dashed", color="red", weight=0]; 823[label="yv100 == yv1100",fontsize=16,color="magenta"];823 -> 904[label="",style="dashed", color="magenta", weight=3]; 823 -> 905[label="",style="dashed", color="magenta", weight=3]; 824 -> 709[label="",style="dashed", color="red", weight=0]; 824[label="yv100 == yv1100",fontsize=16,color="magenta"];824 -> 906[label="",style="dashed", color="magenta", weight=3]; 824 -> 907[label="",style="dashed", color="magenta", weight=3]; 825 -> 710[label="",style="dashed", color="red", weight=0]; 825[label="yv100 == yv1100",fontsize=16,color="magenta"];825 -> 908[label="",style="dashed", color="magenta", weight=3]; 825 -> 909[label="",style="dashed", color="magenta", weight=3]; 826 -> 711[label="",style="dashed", color="red", weight=0]; 826[label="yv100 == yv1100",fontsize=16,color="magenta"];826 -> 910[label="",style="dashed", color="magenta", weight=3]; 826 -> 911[label="",style="dashed", color="magenta", weight=3]; 827 -> 712[label="",style="dashed", color="red", weight=0]; 827[label="yv100 == yv1100",fontsize=16,color="magenta"];827 -> 912[label="",style="dashed", color="magenta", weight=3]; 827 -> 913[label="",style="dashed", color="magenta", weight=3]; 828 -> 713[label="",style="dashed", color="red", weight=0]; 828[label="yv100 == yv1100",fontsize=16,color="magenta"];828 -> 914[label="",style="dashed", color="magenta", weight=3]; 828 -> 915[label="",style="dashed", color="magenta", weight=3]; 829 -> 714[label="",style="dashed", color="red", weight=0]; 829[label="yv100 == yv1100",fontsize=16,color="magenta"];829 -> 916[label="",style="dashed", color="magenta", weight=3]; 829 -> 917[label="",style="dashed", color="magenta", weight=3]; 830 -> 715[label="",style="dashed", color="red", weight=0]; 830[label="yv100 == yv1100",fontsize=16,color="magenta"];830 -> 918[label="",style="dashed", color="magenta", weight=3]; 830 -> 919[label="",style="dashed", color="magenta", weight=3]; 831 -> 716[label="",style="dashed", color="red", weight=0]; 831[label="yv100 == yv1100",fontsize=16,color="magenta"];831 -> 920[label="",style="dashed", color="magenta", weight=3]; 831 -> 921[label="",style="dashed", color="magenta", weight=3]; 832 -> 717[label="",style="dashed", color="red", weight=0]; 832[label="yv100 == yv1100",fontsize=16,color="magenta"];832 -> 922[label="",style="dashed", color="magenta", weight=3]; 832 -> 923[label="",style="dashed", color="magenta", weight=3]; 833 -> 718[label="",style="dashed", color="red", weight=0]; 833[label="yv100 == yv1100",fontsize=16,color="magenta"];833 -> 924[label="",style="dashed", color="magenta", weight=3]; 833 -> 925[label="",style="dashed", color="magenta", weight=3]; 929[label="yv101 == yv1101",fontsize=16,color="blue",shape="box"];1519[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];929 -> 1519[label="",style="solid", color="blue", weight=9]; 1519 -> 941[label="",style="solid", color="blue", weight=3]; 1520[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];929 -> 1520[label="",style="solid", color="blue", weight=9]; 1520 -> 942[label="",style="solid", color="blue", weight=3]; 930[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1521[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];930 -> 1521[label="",style="solid", color="blue", weight=9]; 1521 -> 943[label="",style="solid", color="blue", weight=3]; 1522[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];930 -> 1522[label="",style="solid", color="blue", weight=9]; 1522 -> 944[label="",style="solid", color="blue", weight=3]; 928[label="yv50 && yv51",fontsize=16,color="burlywood",shape="triangle"];1523[label="yv50/False",fontsize=10,color="white",style="solid",shape="box"];928 -> 1523[label="",style="solid", color="burlywood", weight=9]; 1523 -> 945[label="",style="solid", color="burlywood", weight=3]; 1524[label="yv50/True",fontsize=10,color="white",style="solid",shape="box"];928 -> 1524[label="",style="solid", color="burlywood", weight=9]; 1524 -> 946[label="",style="solid", color="burlywood", weight=3]; 931 -> 708[label="",style="dashed", color="red", weight=0]; 931[label="yv101 == yv1101",fontsize=16,color="magenta"];931 -> 947[label="",style="dashed", color="magenta", weight=3]; 931 -> 948[label="",style="dashed", color="magenta", weight=3]; 932[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1525[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1525[label="",style="solid", color="blue", weight=9]; 1525 -> 949[label="",style="solid", color="blue", weight=3]; 1526[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1526[label="",style="solid", color="blue", weight=9]; 1526 -> 950[label="",style="solid", color="blue", weight=3]; 1527[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1527[label="",style="solid", color="blue", weight=9]; 1527 -> 951[label="",style="solid", color="blue", weight=3]; 1528[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1528[label="",style="solid", color="blue", weight=9]; 1528 -> 952[label="",style="solid", color="blue", weight=3]; 1529[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1529[label="",style="solid", color="blue", weight=9]; 1529 -> 953[label="",style="solid", color="blue", weight=3]; 1530[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1530[label="",style="solid", color="blue", weight=9]; 1530 -> 954[label="",style="solid", color="blue", weight=3]; 1531[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1531[label="",style="solid", color="blue", weight=9]; 1531 -> 955[label="",style="solid", color="blue", weight=3]; 1532[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1532[label="",style="solid", color="blue", weight=9]; 1532 -> 956[label="",style="solid", color="blue", weight=3]; 1533[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1533[label="",style="solid", color="blue", weight=9]; 1533 -> 957[label="",style="solid", color="blue", weight=3]; 1534[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1534[label="",style="solid", color="blue", weight=9]; 1534 -> 958[label="",style="solid", color="blue", weight=3]; 1535[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1535[label="",style="solid", color="blue", weight=9]; 1535 -> 959[label="",style="solid", color="blue", weight=3]; 1536[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1536[label="",style="solid", color="blue", weight=9]; 1536 -> 960[label="",style="solid", color="blue", weight=3]; 1537[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1537[label="",style="solid", color="blue", weight=9]; 1537 -> 961[label="",style="solid", color="blue", weight=3]; 1538[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];932 -> 1538[label="",style="solid", color="blue", weight=9]; 1538 -> 962[label="",style="solid", color="blue", weight=3]; 844 -> 705[label="",style="dashed", color="red", weight=0]; 844[label="yv100 == yv1100",fontsize=16,color="magenta"];844 -> 963[label="",style="dashed", color="magenta", weight=3]; 844 -> 964[label="",style="dashed", color="magenta", weight=3]; 845 -> 706[label="",style="dashed", color="red", weight=0]; 845[label="yv100 == yv1100",fontsize=16,color="magenta"];845 -> 965[label="",style="dashed", color="magenta", weight=3]; 845 -> 966[label="",style="dashed", color="magenta", weight=3]; 846 -> 707[label="",style="dashed", color="red", weight=0]; 846[label="yv100 == yv1100",fontsize=16,color="magenta"];846 -> 967[label="",style="dashed", color="magenta", weight=3]; 846 -> 968[label="",style="dashed", color="magenta", weight=3]; 847 -> 708[label="",style="dashed", color="red", weight=0]; 847[label="yv100 == yv1100",fontsize=16,color="magenta"];847 -> 969[label="",style="dashed", color="magenta", weight=3]; 847 -> 970[label="",style="dashed", color="magenta", weight=3]; 848 -> 709[label="",style="dashed", color="red", weight=0]; 848[label="yv100 == yv1100",fontsize=16,color="magenta"];848 -> 971[label="",style="dashed", color="magenta", weight=3]; 848 -> 972[label="",style="dashed", color="magenta", weight=3]; 849 -> 710[label="",style="dashed", color="red", weight=0]; 849[label="yv100 == yv1100",fontsize=16,color="magenta"];849 -> 973[label="",style="dashed", color="magenta", weight=3]; 849 -> 974[label="",style="dashed", color="magenta", weight=3]; 850 -> 711[label="",style="dashed", color="red", weight=0]; 850[label="yv100 == yv1100",fontsize=16,color="magenta"];850 -> 975[label="",style="dashed", color="magenta", weight=3]; 850 -> 976[label="",style="dashed", color="magenta", weight=3]; 851 -> 712[label="",style="dashed", color="red", weight=0]; 851[label="yv100 == yv1100",fontsize=16,color="magenta"];851 -> 977[label="",style="dashed", color="magenta", weight=3]; 851 -> 978[label="",style="dashed", color="magenta", weight=3]; 852 -> 713[label="",style="dashed", color="red", weight=0]; 852[label="yv100 == yv1100",fontsize=16,color="magenta"];852 -> 979[label="",style="dashed", color="magenta", weight=3]; 852 -> 980[label="",style="dashed", color="magenta", weight=3]; 853 -> 714[label="",style="dashed", color="red", weight=0]; 853[label="yv100 == yv1100",fontsize=16,color="magenta"];853 -> 981[label="",style="dashed", color="magenta", weight=3]; 853 -> 982[label="",style="dashed", color="magenta", weight=3]; 854 -> 715[label="",style="dashed", color="red", weight=0]; 854[label="yv100 == yv1100",fontsize=16,color="magenta"];854 -> 983[label="",style="dashed", color="magenta", weight=3]; 854 -> 984[label="",style="dashed", color="magenta", weight=3]; 855 -> 716[label="",style="dashed", color="red", weight=0]; 855[label="yv100 == yv1100",fontsize=16,color="magenta"];855 -> 985[label="",style="dashed", color="magenta", weight=3]; 855 -> 986[label="",style="dashed", color="magenta", weight=3]; 856 -> 717[label="",style="dashed", color="red", weight=0]; 856[label="yv100 == yv1100",fontsize=16,color="magenta"];856 -> 987[label="",style="dashed", color="magenta", weight=3]; 856 -> 988[label="",style="dashed", color="magenta", weight=3]; 857 -> 718[label="",style="dashed", color="red", weight=0]; 857[label="yv100 == yv1100",fontsize=16,color="magenta"];857 -> 989[label="",style="dashed", color="magenta", weight=3]; 857 -> 990[label="",style="dashed", color="magenta", weight=3]; 858 -> 705[label="",style="dashed", color="red", weight=0]; 858[label="yv100 == yv1100",fontsize=16,color="magenta"];858 -> 991[label="",style="dashed", color="magenta", weight=3]; 858 -> 992[label="",style="dashed", color="magenta", weight=3]; 859 -> 706[label="",style="dashed", color="red", weight=0]; 859[label="yv100 == yv1100",fontsize=16,color="magenta"];859 -> 993[label="",style="dashed", color="magenta", weight=3]; 859 -> 994[label="",style="dashed", color="magenta", weight=3]; 860 -> 707[label="",style="dashed", color="red", weight=0]; 860[label="yv100 == yv1100",fontsize=16,color="magenta"];860 -> 995[label="",style="dashed", color="magenta", weight=3]; 860 -> 996[label="",style="dashed", color="magenta", weight=3]; 861 -> 708[label="",style="dashed", color="red", weight=0]; 861[label="yv100 == yv1100",fontsize=16,color="magenta"];861 -> 997[label="",style="dashed", color="magenta", weight=3]; 861 -> 998[label="",style="dashed", color="magenta", weight=3]; 862 -> 709[label="",style="dashed", color="red", weight=0]; 862[label="yv100 == yv1100",fontsize=16,color="magenta"];862 -> 999[label="",style="dashed", color="magenta", weight=3]; 862 -> 1000[label="",style="dashed", color="magenta", weight=3]; 863 -> 710[label="",style="dashed", color="red", weight=0]; 863[label="yv100 == yv1100",fontsize=16,color="magenta"];863 -> 1001[label="",style="dashed", color="magenta", weight=3]; 863 -> 1002[label="",style="dashed", color="magenta", weight=3]; 864 -> 711[label="",style="dashed", color="red", weight=0]; 864[label="yv100 == yv1100",fontsize=16,color="magenta"];864 -> 1003[label="",style="dashed", color="magenta", weight=3]; 864 -> 1004[label="",style="dashed", color="magenta", weight=3]; 865 -> 712[label="",style="dashed", color="red", weight=0]; 865[label="yv100 == yv1100",fontsize=16,color="magenta"];865 -> 1005[label="",style="dashed", color="magenta", weight=3]; 865 -> 1006[label="",style="dashed", color="magenta", weight=3]; 866 -> 713[label="",style="dashed", color="red", weight=0]; 866[label="yv100 == yv1100",fontsize=16,color="magenta"];866 -> 1007[label="",style="dashed", color="magenta", weight=3]; 866 -> 1008[label="",style="dashed", color="magenta", weight=3]; 867 -> 714[label="",style="dashed", color="red", weight=0]; 867[label="yv100 == yv1100",fontsize=16,color="magenta"];867 -> 1009[label="",style="dashed", color="magenta", weight=3]; 867 -> 1010[label="",style="dashed", color="magenta", weight=3]; 868 -> 715[label="",style="dashed", color="red", weight=0]; 868[label="yv100 == yv1100",fontsize=16,color="magenta"];868 -> 1011[label="",style="dashed", color="magenta", weight=3]; 868 -> 1012[label="",style="dashed", color="magenta", weight=3]; 869 -> 716[label="",style="dashed", color="red", weight=0]; 869[label="yv100 == yv1100",fontsize=16,color="magenta"];869 -> 1013[label="",style="dashed", color="magenta", weight=3]; 869 -> 1014[label="",style="dashed", color="magenta", weight=3]; 870 -> 717[label="",style="dashed", color="red", weight=0]; 870[label="yv100 == yv1100",fontsize=16,color="magenta"];870 -> 1015[label="",style="dashed", color="magenta", weight=3]; 870 -> 1016[label="",style="dashed", color="magenta", weight=3]; 871 -> 718[label="",style="dashed", color="red", weight=0]; 871[label="yv100 == yv1100",fontsize=16,color="magenta"];871 -> 1017[label="",style="dashed", color="magenta", weight=3]; 871 -> 1018[label="",style="dashed", color="magenta", weight=3]; 933 -> 928[label="",style="dashed", color="red", weight=0]; 933[label="yv101 == yv1101 && yv102 == yv1102",fontsize=16,color="magenta"];933 -> 1019[label="",style="dashed", color="magenta", weight=3]; 933 -> 1020[label="",style="dashed", color="magenta", weight=3]; 934[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1539[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1539[label="",style="solid", color="blue", weight=9]; 1539 -> 1021[label="",style="solid", color="blue", weight=3]; 1540[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1540[label="",style="solid", color="blue", weight=9]; 1540 -> 1022[label="",style="solid", color="blue", weight=3]; 1541[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1541[label="",style="solid", color="blue", weight=9]; 1541 -> 1023[label="",style="solid", color="blue", weight=3]; 1542[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1542[label="",style="solid", color="blue", weight=9]; 1542 -> 1024[label="",style="solid", color="blue", weight=3]; 1543[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1543[label="",style="solid", color="blue", weight=9]; 1543 -> 1025[label="",style="solid", color="blue", weight=3]; 1544[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1544[label="",style="solid", color="blue", weight=9]; 1544 -> 1026[label="",style="solid", color="blue", weight=3]; 1545[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1545[label="",style="solid", color="blue", weight=9]; 1545 -> 1027[label="",style="solid", color="blue", weight=3]; 1546[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1546[label="",style="solid", color="blue", weight=9]; 1546 -> 1028[label="",style="solid", color="blue", weight=3]; 1547[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1547[label="",style="solid", color="blue", weight=9]; 1547 -> 1029[label="",style="solid", color="blue", weight=3]; 1548[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1548[label="",style="solid", color="blue", weight=9]; 1548 -> 1030[label="",style="solid", color="blue", weight=3]; 1549[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1549[label="",style="solid", color="blue", weight=9]; 1549 -> 1031[label="",style="solid", color="blue", weight=3]; 1550[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1550[label="",style="solid", color="blue", weight=9]; 1550 -> 1032[label="",style="solid", color="blue", weight=3]; 1551[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1551[label="",style="solid", color="blue", weight=9]; 1551 -> 1033[label="",style="solid", color="blue", weight=3]; 1552[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];934 -> 1552[label="",style="solid", color="blue", weight=9]; 1552 -> 1034[label="",style="solid", color="blue", weight=3]; 883[label="primEqInt (Pos (Succ yv1000)) (Pos yv1100)",fontsize=16,color="burlywood",shape="box"];1553[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];883 -> 1553[label="",style="solid", color="burlywood", weight=9]; 1553 -> 1035[label="",style="solid", color="burlywood", weight=3]; 1554[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];883 -> 1554[label="",style="solid", color="burlywood", weight=9]; 1554 -> 1036[label="",style="solid", color="burlywood", weight=3]; 884[label="primEqInt (Pos (Succ yv1000)) (Neg yv1100)",fontsize=16,color="black",shape="box"];884 -> 1037[label="",style="solid", color="black", weight=3]; 885[label="primEqInt (Pos Zero) (Pos yv1100)",fontsize=16,color="burlywood",shape="box"];1555[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];885 -> 1555[label="",style="solid", color="burlywood", weight=9]; 1555 -> 1038[label="",style="solid", color="burlywood", weight=3]; 1556[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];885 -> 1556[label="",style="solid", color="burlywood", weight=9]; 1556 -> 1039[label="",style="solid", color="burlywood", weight=3]; 886[label="primEqInt (Pos Zero) (Neg yv1100)",fontsize=16,color="burlywood",shape="box"];1557[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];886 -> 1557[label="",style="solid", color="burlywood", weight=9]; 1557 -> 1040[label="",style="solid", color="burlywood", weight=3]; 1558[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];886 -> 1558[label="",style="solid", color="burlywood", weight=9]; 1558 -> 1041[label="",style="solid", color="burlywood", weight=3]; 887[label="primEqInt (Neg (Succ yv1000)) (Pos yv1100)",fontsize=16,color="black",shape="box"];887 -> 1042[label="",style="solid", color="black", weight=3]; 888[label="primEqInt (Neg (Succ yv1000)) (Neg yv1100)",fontsize=16,color="burlywood",shape="box"];1559[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];888 -> 1559[label="",style="solid", color="burlywood", weight=9]; 1559 -> 1043[label="",style="solid", color="burlywood", weight=3]; 1560[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];888 -> 1560[label="",style="solid", color="burlywood", weight=9]; 1560 -> 1044[label="",style="solid", color="burlywood", weight=3]; 889[label="primEqInt (Neg Zero) (Pos yv1100)",fontsize=16,color="burlywood",shape="box"];1561[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];889 -> 1561[label="",style="solid", color="burlywood", weight=9]; 1561 -> 1045[label="",style="solid", color="burlywood", weight=3]; 1562[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];889 -> 1562[label="",style="solid", color="burlywood", weight=9]; 1562 -> 1046[label="",style="solid", color="burlywood", weight=3]; 890[label="primEqInt (Neg Zero) (Neg yv1100)",fontsize=16,color="burlywood",shape="box"];1563[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];890 -> 1563[label="",style="solid", color="burlywood", weight=9]; 1563 -> 1047[label="",style="solid", color="burlywood", weight=3]; 1564[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];890 -> 1564[label="",style="solid", color="burlywood", weight=9]; 1564 -> 1048[label="",style="solid", color="burlywood", weight=3]; 891[label="primEqNat yv100 yv1100",fontsize=16,color="burlywood",shape="triangle"];1565[label="yv100/Succ yv1000",fontsize=10,color="white",style="solid",shape="box"];891 -> 1565[label="",style="solid", color="burlywood", weight=9]; 1565 -> 1049[label="",style="solid", color="burlywood", weight=3]; 1566[label="yv100/Zero",fontsize=10,color="white",style="solid",shape="box"];891 -> 1566[label="",style="solid", color="burlywood", weight=9]; 1566 -> 1050[label="",style="solid", color="burlywood", weight=3]; 935[label="yv101 == yv1101",fontsize=16,color="blue",shape="box"];1567[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1567[label="",style="solid", color="blue", weight=9]; 1567 -> 1051[label="",style="solid", color="blue", weight=3]; 1568[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1568[label="",style="solid", color="blue", weight=9]; 1568 -> 1052[label="",style="solid", color="blue", weight=3]; 1569[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1569[label="",style="solid", color="blue", weight=9]; 1569 -> 1053[label="",style="solid", color="blue", weight=3]; 1570[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1570[label="",style="solid", color="blue", weight=9]; 1570 -> 1054[label="",style="solid", color="blue", weight=3]; 1571[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1571[label="",style="solid", color="blue", weight=9]; 1571 -> 1055[label="",style="solid", color="blue", weight=3]; 1572[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1572[label="",style="solid", color="blue", weight=9]; 1572 -> 1056[label="",style="solid", color="blue", weight=3]; 1573[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1573[label="",style="solid", color="blue", weight=9]; 1573 -> 1057[label="",style="solid", color="blue", weight=3]; 1574[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1574[label="",style="solid", color="blue", weight=9]; 1574 -> 1058[label="",style="solid", color="blue", weight=3]; 1575[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1575[label="",style="solid", color="blue", weight=9]; 1575 -> 1059[label="",style="solid", color="blue", weight=3]; 1576[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1576[label="",style="solid", color="blue", weight=9]; 1576 -> 1060[label="",style="solid", color="blue", weight=3]; 1577[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1577[label="",style="solid", color="blue", weight=9]; 1577 -> 1061[label="",style="solid", color="blue", weight=3]; 1578[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1578[label="",style="solid", color="blue", weight=9]; 1578 -> 1062[label="",style="solid", color="blue", weight=3]; 1579[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1579[label="",style="solid", color="blue", weight=9]; 1579 -> 1063[label="",style="solid", color="blue", weight=3]; 1580[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];935 -> 1580[label="",style="solid", color="blue", weight=9]; 1580 -> 1064[label="",style="solid", color="blue", weight=3]; 936[label="yv100 == yv1100",fontsize=16,color="blue",shape="box"];1581[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1581[label="",style="solid", color="blue", weight=9]; 1581 -> 1065[label="",style="solid", color="blue", weight=3]; 1582[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1582[label="",style="solid", color="blue", weight=9]; 1582 -> 1066[label="",style="solid", color="blue", weight=3]; 1583[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1583[label="",style="solid", color="blue", weight=9]; 1583 -> 1067[label="",style="solid", color="blue", weight=3]; 1584[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1584[label="",style="solid", color="blue", weight=9]; 1584 -> 1068[label="",style="solid", color="blue", weight=3]; 1585[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1585[label="",style="solid", color="blue", weight=9]; 1585 -> 1069[label="",style="solid", color="blue", weight=3]; 1586[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1586[label="",style="solid", color="blue", weight=9]; 1586 -> 1070[label="",style="solid", color="blue", weight=3]; 1587[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1587[label="",style="solid", color="blue", weight=9]; 1587 -> 1071[label="",style="solid", color="blue", weight=3]; 1588[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1588[label="",style="solid", color="blue", weight=9]; 1588 -> 1072[label="",style="solid", color="blue", weight=3]; 1589[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1589[label="",style="solid", color="blue", weight=9]; 1589 -> 1073[label="",style="solid", color="blue", weight=3]; 1590[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1590[label="",style="solid", color="blue", weight=9]; 1590 -> 1074[label="",style="solid", color="blue", weight=3]; 1591[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1591[label="",style="solid", color="blue", weight=9]; 1591 -> 1075[label="",style="solid", color="blue", weight=3]; 1592[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1592[label="",style="solid", color="blue", weight=9]; 1592 -> 1076[label="",style="solid", color="blue", weight=3]; 1593[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1593[label="",style="solid", color="blue", weight=9]; 1593 -> 1077[label="",style="solid", color="blue", weight=3]; 1594[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];936 -> 1594[label="",style="solid", color="blue", weight=9]; 1594 -> 1078[label="",style="solid", color="blue", weight=3]; 892[label="yv1100",fontsize=16,color="green",shape="box"];893[label="yv100",fontsize=16,color="green",shape="box"];894 -> 711[label="",style="dashed", color="red", weight=0]; 894[label="yv100 * yv1101 == yv101 * yv1100",fontsize=16,color="magenta"];894 -> 1079[label="",style="dashed", color="magenta", weight=3]; 894 -> 1080[label="",style="dashed", color="magenta", weight=3]; 895 -> 711[label="",style="dashed", color="red", weight=0]; 895[label="yv100 * yv1101 == yv101 * yv1100",fontsize=16,color="magenta"];895 -> 1081[label="",style="dashed", color="magenta", weight=3]; 895 -> 1082[label="",style="dashed", color="magenta", weight=3]; 896[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (Pos yv38 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv38 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];896 -> 1083[label="",style="solid", color="black", weight=3]; 897 -> 16[label="",style="dashed", color="red", weight=0]; 897[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) []))",fontsize=16,color="magenta"];897 -> 1084[label="",style="dashed", color="magenta", weight=3]; 898[label="yv1100",fontsize=16,color="green",shape="box"];899[label="yv100",fontsize=16,color="green",shape="box"];900[label="yv1100",fontsize=16,color="green",shape="box"];901[label="yv100",fontsize=16,color="green",shape="box"];902[label="yv1100",fontsize=16,color="green",shape="box"];903[label="yv100",fontsize=16,color="green",shape="box"];904[label="yv1100",fontsize=16,color="green",shape="box"];905[label="yv100",fontsize=16,color="green",shape="box"];906[label="yv1100",fontsize=16,color="green",shape="box"];907[label="yv100",fontsize=16,color="green",shape="box"];908[label="yv1100",fontsize=16,color="green",shape="box"];909[label="yv100",fontsize=16,color="green",shape="box"];910[label="yv1100",fontsize=16,color="green",shape="box"];911[label="yv100",fontsize=16,color="green",shape="box"];912[label="yv1100",fontsize=16,color="green",shape="box"];913[label="yv100",fontsize=16,color="green",shape="box"];914[label="yv1100",fontsize=16,color="green",shape="box"];915[label="yv100",fontsize=16,color="green",shape="box"];916[label="yv1100",fontsize=16,color="green",shape="box"];917[label="yv100",fontsize=16,color="green",shape="box"];918[label="yv1100",fontsize=16,color="green",shape="box"];919[label="yv100",fontsize=16,color="green",shape="box"];920[label="yv1100",fontsize=16,color="green",shape="box"];921[label="yv100",fontsize=16,color="green",shape="box"];922[label="yv1100",fontsize=16,color="green",shape="box"];923[label="yv100",fontsize=16,color="green",shape="box"];924[label="yv1100",fontsize=16,color="green",shape="box"];925[label="yv100",fontsize=16,color="green",shape="box"];941 -> 711[label="",style="dashed", color="red", weight=0]; 941[label="yv101 == yv1101",fontsize=16,color="magenta"];941 -> 1085[label="",style="dashed", color="magenta", weight=3]; 941 -> 1086[label="",style="dashed", color="magenta", weight=3]; 942 -> 714[label="",style="dashed", color="red", weight=0]; 942[label="yv101 == yv1101",fontsize=16,color="magenta"];942 -> 1087[label="",style="dashed", color="magenta", weight=3]; 942 -> 1088[label="",style="dashed", color="magenta", weight=3]; 943 -> 711[label="",style="dashed", color="red", weight=0]; 943[label="yv100 == yv1100",fontsize=16,color="magenta"];943 -> 1089[label="",style="dashed", color="magenta", weight=3]; 943 -> 1090[label="",style="dashed", color="magenta", weight=3]; 944 -> 714[label="",style="dashed", color="red", weight=0]; 944[label="yv100 == yv1100",fontsize=16,color="magenta"];944 -> 1091[label="",style="dashed", color="magenta", weight=3]; 944 -> 1092[label="",style="dashed", color="magenta", weight=3]; 945[label="False && yv51",fontsize=16,color="black",shape="box"];945 -> 1093[label="",style="solid", color="black", weight=3]; 946[label="True && yv51",fontsize=16,color="black",shape="box"];946 -> 1094[label="",style="solid", color="black", weight=3]; 947[label="yv1101",fontsize=16,color="green",shape="box"];948[label="yv101",fontsize=16,color="green",shape="box"];949 -> 705[label="",style="dashed", color="red", weight=0]; 949[label="yv100 == yv1100",fontsize=16,color="magenta"];949 -> 1095[label="",style="dashed", color="magenta", weight=3]; 949 -> 1096[label="",style="dashed", color="magenta", weight=3]; 950 -> 706[label="",style="dashed", color="red", weight=0]; 950[label="yv100 == yv1100",fontsize=16,color="magenta"];950 -> 1097[label="",style="dashed", color="magenta", weight=3]; 950 -> 1098[label="",style="dashed", color="magenta", weight=3]; 951 -> 707[label="",style="dashed", color="red", weight=0]; 951[label="yv100 == yv1100",fontsize=16,color="magenta"];951 -> 1099[label="",style="dashed", color="magenta", weight=3]; 951 -> 1100[label="",style="dashed", color="magenta", weight=3]; 952 -> 708[label="",style="dashed", color="red", weight=0]; 952[label="yv100 == yv1100",fontsize=16,color="magenta"];952 -> 1101[label="",style="dashed", color="magenta", weight=3]; 952 -> 1102[label="",style="dashed", color="magenta", weight=3]; 953 -> 709[label="",style="dashed", color="red", weight=0]; 953[label="yv100 == yv1100",fontsize=16,color="magenta"];953 -> 1103[label="",style="dashed", color="magenta", weight=3]; 953 -> 1104[label="",style="dashed", color="magenta", weight=3]; 954 -> 710[label="",style="dashed", color="red", weight=0]; 954[label="yv100 == yv1100",fontsize=16,color="magenta"];954 -> 1105[label="",style="dashed", color="magenta", weight=3]; 954 -> 1106[label="",style="dashed", color="magenta", weight=3]; 955 -> 711[label="",style="dashed", color="red", weight=0]; 955[label="yv100 == yv1100",fontsize=16,color="magenta"];955 -> 1107[label="",style="dashed", color="magenta", weight=3]; 955 -> 1108[label="",style="dashed", color="magenta", weight=3]; 956 -> 712[label="",style="dashed", color="red", weight=0]; 956[label="yv100 == yv1100",fontsize=16,color="magenta"];956 -> 1109[label="",style="dashed", color="magenta", weight=3]; 956 -> 1110[label="",style="dashed", color="magenta", weight=3]; 957 -> 713[label="",style="dashed", color="red", weight=0]; 957[label="yv100 == yv1100",fontsize=16,color="magenta"];957 -> 1111[label="",style="dashed", color="magenta", weight=3]; 957 -> 1112[label="",style="dashed", color="magenta", weight=3]; 958 -> 714[label="",style="dashed", color="red", weight=0]; 958[label="yv100 == yv1100",fontsize=16,color="magenta"];958 -> 1113[label="",style="dashed", color="magenta", weight=3]; 958 -> 1114[label="",style="dashed", color="magenta", weight=3]; 959 -> 715[label="",style="dashed", color="red", weight=0]; 959[label="yv100 == yv1100",fontsize=16,color="magenta"];959 -> 1115[label="",style="dashed", color="magenta", weight=3]; 959 -> 1116[label="",style="dashed", color="magenta", weight=3]; 960 -> 716[label="",style="dashed", color="red", weight=0]; 960[label="yv100 == yv1100",fontsize=16,color="magenta"];960 -> 1117[label="",style="dashed", color="magenta", weight=3]; 960 -> 1118[label="",style="dashed", color="magenta", weight=3]; 961 -> 717[label="",style="dashed", color="red", weight=0]; 961[label="yv100 == yv1100",fontsize=16,color="magenta"];961 -> 1119[label="",style="dashed", color="magenta", weight=3]; 961 -> 1120[label="",style="dashed", color="magenta", weight=3]; 962 -> 718[label="",style="dashed", color="red", weight=0]; 962[label="yv100 == yv1100",fontsize=16,color="magenta"];962 -> 1121[label="",style="dashed", color="magenta", weight=3]; 962 -> 1122[label="",style="dashed", color="magenta", weight=3]; 963[label="yv1100",fontsize=16,color="green",shape="box"];964[label="yv100",fontsize=16,color="green",shape="box"];965[label="yv1100",fontsize=16,color="green",shape="box"];966[label="yv100",fontsize=16,color="green",shape="box"];967[label="yv1100",fontsize=16,color="green",shape="box"];968[label="yv100",fontsize=16,color="green",shape="box"];969[label="yv1100",fontsize=16,color="green",shape="box"];970[label="yv100",fontsize=16,color="green",shape="box"];971[label="yv1100",fontsize=16,color="green",shape="box"];972[label="yv100",fontsize=16,color="green",shape="box"];973[label="yv1100",fontsize=16,color="green",shape="box"];974[label="yv100",fontsize=16,color="green",shape="box"];975[label="yv1100",fontsize=16,color="green",shape="box"];976[label="yv100",fontsize=16,color="green",shape="box"];977[label="yv1100",fontsize=16,color="green",shape="box"];978[label="yv100",fontsize=16,color="green",shape="box"];979[label="yv1100",fontsize=16,color="green",shape="box"];980[label="yv100",fontsize=16,color="green",shape="box"];981[label="yv1100",fontsize=16,color="green",shape="box"];982[label="yv100",fontsize=16,color="green",shape="box"];983[label="yv1100",fontsize=16,color="green",shape="box"];984[label="yv100",fontsize=16,color="green",shape="box"];985[label="yv1100",fontsize=16,color="green",shape="box"];986[label="yv100",fontsize=16,color="green",shape="box"];987[label="yv1100",fontsize=16,color="green",shape="box"];988[label="yv100",fontsize=16,color="green",shape="box"];989[label="yv1100",fontsize=16,color="green",shape="box"];990[label="yv100",fontsize=16,color="green",shape="box"];991[label="yv1100",fontsize=16,color="green",shape="box"];992[label="yv100",fontsize=16,color="green",shape="box"];993[label="yv1100",fontsize=16,color="green",shape="box"];994[label="yv100",fontsize=16,color="green",shape="box"];995[label="yv1100",fontsize=16,color="green",shape="box"];996[label="yv100",fontsize=16,color="green",shape="box"];997[label="yv1100",fontsize=16,color="green",shape="box"];998[label="yv100",fontsize=16,color="green",shape="box"];999[label="yv1100",fontsize=16,color="green",shape="box"];1000[label="yv100",fontsize=16,color="green",shape="box"];1001[label="yv1100",fontsize=16,color="green",shape="box"];1002[label="yv100",fontsize=16,color="green",shape="box"];1003[label="yv1100",fontsize=16,color="green",shape="box"];1004[label="yv100",fontsize=16,color="green",shape="box"];1005[label="yv1100",fontsize=16,color="green",shape="box"];1006[label="yv100",fontsize=16,color="green",shape="box"];1007[label="yv1100",fontsize=16,color="green",shape="box"];1008[label="yv100",fontsize=16,color="green",shape="box"];1009[label="yv1100",fontsize=16,color="green",shape="box"];1010[label="yv100",fontsize=16,color="green",shape="box"];1011[label="yv1100",fontsize=16,color="green",shape="box"];1012[label="yv100",fontsize=16,color="green",shape="box"];1013[label="yv1100",fontsize=16,color="green",shape="box"];1014[label="yv100",fontsize=16,color="green",shape="box"];1015[label="yv1100",fontsize=16,color="green",shape="box"];1016[label="yv100",fontsize=16,color="green",shape="box"];1017[label="yv1100",fontsize=16,color="green",shape="box"];1018[label="yv100",fontsize=16,color="green",shape="box"];1019[label="yv102 == yv1102",fontsize=16,color="blue",shape="box"];1595[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1595[label="",style="solid", color="blue", weight=9]; 1595 -> 1123[label="",style="solid", color="blue", weight=3]; 1596[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1596[label="",style="solid", color="blue", weight=9]; 1596 -> 1124[label="",style="solid", color="blue", weight=3]; 1597[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1597[label="",style="solid", color="blue", weight=9]; 1597 -> 1125[label="",style="solid", color="blue", weight=3]; 1598[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1598[label="",style="solid", color="blue", weight=9]; 1598 -> 1126[label="",style="solid", color="blue", weight=3]; 1599[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1599[label="",style="solid", color="blue", weight=9]; 1599 -> 1127[label="",style="solid", color="blue", weight=3]; 1600[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1600[label="",style="solid", color="blue", weight=9]; 1600 -> 1128[label="",style="solid", color="blue", weight=3]; 1601[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1601[label="",style="solid", color="blue", weight=9]; 1601 -> 1129[label="",style="solid", color="blue", weight=3]; 1602[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1602[label="",style="solid", color="blue", weight=9]; 1602 -> 1130[label="",style="solid", color="blue", weight=3]; 1603[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1603[label="",style="solid", color="blue", weight=9]; 1603 -> 1131[label="",style="solid", color="blue", weight=3]; 1604[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1604[label="",style="solid", color="blue", weight=9]; 1604 -> 1132[label="",style="solid", color="blue", weight=3]; 1605[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1605[label="",style="solid", color="blue", weight=9]; 1605 -> 1133[label="",style="solid", color="blue", weight=3]; 1606[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1606[label="",style="solid", color="blue", weight=9]; 1606 -> 1134[label="",style="solid", color="blue", weight=3]; 1607[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1607[label="",style="solid", color="blue", weight=9]; 1607 -> 1135[label="",style="solid", color="blue", weight=3]; 1608[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1608[label="",style="solid", color="blue", weight=9]; 1608 -> 1136[label="",style="solid", color="blue", weight=3]; 1020[label="yv101 == yv1101",fontsize=16,color="blue",shape="box"];1609[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1609[label="",style="solid", color="blue", weight=9]; 1609 -> 1137[label="",style="solid", color="blue", weight=3]; 1610[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1610[label="",style="solid", color="blue", weight=9]; 1610 -> 1138[label="",style="solid", color="blue", weight=3]; 1611[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1611[label="",style="solid", color="blue", weight=9]; 1611 -> 1139[label="",style="solid", color="blue", weight=3]; 1612[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1612[label="",style="solid", color="blue", weight=9]; 1612 -> 1140[label="",style="solid", color="blue", weight=3]; 1613[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1613[label="",style="solid", color="blue", weight=9]; 1613 -> 1141[label="",style="solid", color="blue", weight=3]; 1614[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1614[label="",style="solid", color="blue", weight=9]; 1614 -> 1142[label="",style="solid", color="blue", weight=3]; 1615[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1615[label="",style="solid", color="blue", weight=9]; 1615 -> 1143[label="",style="solid", color="blue", weight=3]; 1616[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1616[label="",style="solid", color="blue", weight=9]; 1616 -> 1144[label="",style="solid", color="blue", weight=3]; 1617[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1617[label="",style="solid", color="blue", weight=9]; 1617 -> 1145[label="",style="solid", color="blue", weight=3]; 1618[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1618[label="",style="solid", color="blue", weight=9]; 1618 -> 1146[label="",style="solid", color="blue", weight=3]; 1619[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1619[label="",style="solid", color="blue", weight=9]; 1619 -> 1147[label="",style="solid", color="blue", weight=3]; 1620[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1620[label="",style="solid", color="blue", weight=9]; 1620 -> 1148[label="",style="solid", color="blue", weight=3]; 1621[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1621[label="",style="solid", color="blue", weight=9]; 1621 -> 1149[label="",style="solid", color="blue", weight=3]; 1622[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1622[label="",style="solid", color="blue", weight=9]; 1622 -> 1150[label="",style="solid", color="blue", weight=3]; 1021 -> 705[label="",style="dashed", color="red", weight=0]; 1021[label="yv100 == yv1100",fontsize=16,color="magenta"];1021 -> 1151[label="",style="dashed", color="magenta", weight=3]; 1021 -> 1152[label="",style="dashed", color="magenta", weight=3]; 1022 -> 706[label="",style="dashed", color="red", weight=0]; 1022[label="yv100 == yv1100",fontsize=16,color="magenta"];1022 -> 1153[label="",style="dashed", color="magenta", weight=3]; 1022 -> 1154[label="",style="dashed", color="magenta", weight=3]; 1023 -> 707[label="",style="dashed", color="red", weight=0]; 1023[label="yv100 == yv1100",fontsize=16,color="magenta"];1023 -> 1155[label="",style="dashed", color="magenta", weight=3]; 1023 -> 1156[label="",style="dashed", color="magenta", weight=3]; 1024 -> 708[label="",style="dashed", color="red", weight=0]; 1024[label="yv100 == yv1100",fontsize=16,color="magenta"];1024 -> 1157[label="",style="dashed", color="magenta", weight=3]; 1024 -> 1158[label="",style="dashed", color="magenta", weight=3]; 1025 -> 709[label="",style="dashed", color="red", weight=0]; 1025[label="yv100 == yv1100",fontsize=16,color="magenta"];1025 -> 1159[label="",style="dashed", color="magenta", weight=3]; 1025 -> 1160[label="",style="dashed", color="magenta", weight=3]; 1026 -> 710[label="",style="dashed", color="red", weight=0]; 1026[label="yv100 == yv1100",fontsize=16,color="magenta"];1026 -> 1161[label="",style="dashed", color="magenta", weight=3]; 1026 -> 1162[label="",style="dashed", color="magenta", weight=3]; 1027 -> 711[label="",style="dashed", color="red", weight=0]; 1027[label="yv100 == yv1100",fontsize=16,color="magenta"];1027 -> 1163[label="",style="dashed", color="magenta", weight=3]; 1027 -> 1164[label="",style="dashed", color="magenta", weight=3]; 1028 -> 712[label="",style="dashed", color="red", weight=0]; 1028[label="yv100 == yv1100",fontsize=16,color="magenta"];1028 -> 1165[label="",style="dashed", color="magenta", weight=3]; 1028 -> 1166[label="",style="dashed", color="magenta", weight=3]; 1029 -> 713[label="",style="dashed", color="red", weight=0]; 1029[label="yv100 == yv1100",fontsize=16,color="magenta"];1029 -> 1167[label="",style="dashed", color="magenta", weight=3]; 1029 -> 1168[label="",style="dashed", color="magenta", weight=3]; 1030 -> 714[label="",style="dashed", color="red", weight=0]; 1030[label="yv100 == yv1100",fontsize=16,color="magenta"];1030 -> 1169[label="",style="dashed", color="magenta", weight=3]; 1030 -> 1170[label="",style="dashed", color="magenta", weight=3]; 1031 -> 715[label="",style="dashed", color="red", weight=0]; 1031[label="yv100 == yv1100",fontsize=16,color="magenta"];1031 -> 1171[label="",style="dashed", color="magenta", weight=3]; 1031 -> 1172[label="",style="dashed", color="magenta", weight=3]; 1032 -> 716[label="",style="dashed", color="red", weight=0]; 1032[label="yv100 == yv1100",fontsize=16,color="magenta"];1032 -> 1173[label="",style="dashed", color="magenta", weight=3]; 1032 -> 1174[label="",style="dashed", color="magenta", weight=3]; 1033 -> 717[label="",style="dashed", color="red", weight=0]; 1033[label="yv100 == yv1100",fontsize=16,color="magenta"];1033 -> 1175[label="",style="dashed", color="magenta", weight=3]; 1033 -> 1176[label="",style="dashed", color="magenta", weight=3]; 1034 -> 718[label="",style="dashed", color="red", weight=0]; 1034[label="yv100 == yv1100",fontsize=16,color="magenta"];1034 -> 1177[label="",style="dashed", color="magenta", weight=3]; 1034 -> 1178[label="",style="dashed", color="magenta", weight=3]; 1035[label="primEqInt (Pos (Succ yv1000)) (Pos (Succ yv11000))",fontsize=16,color="black",shape="box"];1035 -> 1179[label="",style="solid", color="black", weight=3]; 1036[label="primEqInt (Pos (Succ yv1000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1036 -> 1180[label="",style="solid", color="black", weight=3]; 1037[label="False",fontsize=16,color="green",shape="box"];1038[label="primEqInt (Pos Zero) (Pos (Succ yv11000))",fontsize=16,color="black",shape="box"];1038 -> 1181[label="",style="solid", color="black", weight=3]; 1039[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1039 -> 1182[label="",style="solid", color="black", weight=3]; 1040[label="primEqInt (Pos Zero) (Neg (Succ yv11000))",fontsize=16,color="black",shape="box"];1040 -> 1183[label="",style="solid", color="black", weight=3]; 1041[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1041 -> 1184[label="",style="solid", color="black", weight=3]; 1042[label="False",fontsize=16,color="green",shape="box"];1043[label="primEqInt (Neg (Succ yv1000)) (Neg (Succ yv11000))",fontsize=16,color="black",shape="box"];1043 -> 1185[label="",style="solid", color="black", weight=3]; 1044[label="primEqInt (Neg (Succ yv1000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1044 -> 1186[label="",style="solid", color="black", weight=3]; 1045[label="primEqInt (Neg Zero) (Pos (Succ yv11000))",fontsize=16,color="black",shape="box"];1045 -> 1187[label="",style="solid", color="black", weight=3]; 1046[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1046 -> 1188[label="",style="solid", color="black", weight=3]; 1047[label="primEqInt (Neg Zero) (Neg (Succ yv11000))",fontsize=16,color="black",shape="box"];1047 -> 1189[label="",style="solid", color="black", weight=3]; 1048[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1048 -> 1190[label="",style="solid", color="black", weight=3]; 1049[label="primEqNat (Succ yv1000) yv1100",fontsize=16,color="burlywood",shape="box"];1623[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];1049 -> 1623[label="",style="solid", color="burlywood", weight=9]; 1623 -> 1191[label="",style="solid", color="burlywood", weight=3]; 1624[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];1049 -> 1624[label="",style="solid", color="burlywood", weight=9]; 1624 -> 1192[label="",style="solid", color="burlywood", weight=3]; 1050[label="primEqNat Zero yv1100",fontsize=16,color="burlywood",shape="box"];1625[label="yv1100/Succ yv11000",fontsize=10,color="white",style="solid",shape="box"];1050 -> 1625[label="",style="solid", color="burlywood", weight=9]; 1625 -> 1193[label="",style="solid", color="burlywood", weight=3]; 1626[label="yv1100/Zero",fontsize=10,color="white",style="solid",shape="box"];1050 -> 1626[label="",style="solid", color="burlywood", weight=9]; 1626 -> 1194[label="",style="solid", color="burlywood", weight=3]; 1051 -> 705[label="",style="dashed", color="red", weight=0]; 1051[label="yv101 == yv1101",fontsize=16,color="magenta"];1051 -> 1195[label="",style="dashed", color="magenta", weight=3]; 1051 -> 1196[label="",style="dashed", color="magenta", weight=3]; 1052 -> 706[label="",style="dashed", color="red", weight=0]; 1052[label="yv101 == yv1101",fontsize=16,color="magenta"];1052 -> 1197[label="",style="dashed", color="magenta", weight=3]; 1052 -> 1198[label="",style="dashed", color="magenta", weight=3]; 1053 -> 707[label="",style="dashed", color="red", weight=0]; 1053[label="yv101 == yv1101",fontsize=16,color="magenta"];1053 -> 1199[label="",style="dashed", color="magenta", weight=3]; 1053 -> 1200[label="",style="dashed", color="magenta", weight=3]; 1054 -> 708[label="",style="dashed", color="red", weight=0]; 1054[label="yv101 == yv1101",fontsize=16,color="magenta"];1054 -> 1201[label="",style="dashed", color="magenta", weight=3]; 1054 -> 1202[label="",style="dashed", color="magenta", weight=3]; 1055 -> 709[label="",style="dashed", color="red", weight=0]; 1055[label="yv101 == yv1101",fontsize=16,color="magenta"];1055 -> 1203[label="",style="dashed", color="magenta", weight=3]; 1055 -> 1204[label="",style="dashed", color="magenta", weight=3]; 1056 -> 710[label="",style="dashed", color="red", weight=0]; 1056[label="yv101 == yv1101",fontsize=16,color="magenta"];1056 -> 1205[label="",style="dashed", color="magenta", weight=3]; 1056 -> 1206[label="",style="dashed", color="magenta", weight=3]; 1057 -> 711[label="",style="dashed", color="red", weight=0]; 1057[label="yv101 == yv1101",fontsize=16,color="magenta"];1057 -> 1207[label="",style="dashed", color="magenta", weight=3]; 1057 -> 1208[label="",style="dashed", color="magenta", weight=3]; 1058 -> 712[label="",style="dashed", color="red", weight=0]; 1058[label="yv101 == yv1101",fontsize=16,color="magenta"];1058 -> 1209[label="",style="dashed", color="magenta", weight=3]; 1058 -> 1210[label="",style="dashed", color="magenta", weight=3]; 1059 -> 713[label="",style="dashed", color="red", weight=0]; 1059[label="yv101 == yv1101",fontsize=16,color="magenta"];1059 -> 1211[label="",style="dashed", color="magenta", weight=3]; 1059 -> 1212[label="",style="dashed", color="magenta", weight=3]; 1060 -> 714[label="",style="dashed", color="red", weight=0]; 1060[label="yv101 == yv1101",fontsize=16,color="magenta"];1060 -> 1213[label="",style="dashed", color="magenta", weight=3]; 1060 -> 1214[label="",style="dashed", color="magenta", weight=3]; 1061 -> 715[label="",style="dashed", color="red", weight=0]; 1061[label="yv101 == yv1101",fontsize=16,color="magenta"];1061 -> 1215[label="",style="dashed", color="magenta", weight=3]; 1061 -> 1216[label="",style="dashed", color="magenta", weight=3]; 1062 -> 716[label="",style="dashed", color="red", weight=0]; 1062[label="yv101 == yv1101",fontsize=16,color="magenta"];1062 -> 1217[label="",style="dashed", color="magenta", weight=3]; 1062 -> 1218[label="",style="dashed", color="magenta", weight=3]; 1063 -> 717[label="",style="dashed", color="red", weight=0]; 1063[label="yv101 == yv1101",fontsize=16,color="magenta"];1063 -> 1219[label="",style="dashed", color="magenta", weight=3]; 1063 -> 1220[label="",style="dashed", color="magenta", weight=3]; 1064 -> 718[label="",style="dashed", color="red", weight=0]; 1064[label="yv101 == yv1101",fontsize=16,color="magenta"];1064 -> 1221[label="",style="dashed", color="magenta", weight=3]; 1064 -> 1222[label="",style="dashed", color="magenta", weight=3]; 1065 -> 705[label="",style="dashed", color="red", weight=0]; 1065[label="yv100 == yv1100",fontsize=16,color="magenta"];1065 -> 1223[label="",style="dashed", color="magenta", weight=3]; 1065 -> 1224[label="",style="dashed", color="magenta", weight=3]; 1066 -> 706[label="",style="dashed", color="red", weight=0]; 1066[label="yv100 == yv1100",fontsize=16,color="magenta"];1066 -> 1225[label="",style="dashed", color="magenta", weight=3]; 1066 -> 1226[label="",style="dashed", color="magenta", weight=3]; 1067 -> 707[label="",style="dashed", color="red", weight=0]; 1067[label="yv100 == yv1100",fontsize=16,color="magenta"];1067 -> 1227[label="",style="dashed", color="magenta", weight=3]; 1067 -> 1228[label="",style="dashed", color="magenta", weight=3]; 1068 -> 708[label="",style="dashed", color="red", weight=0]; 1068[label="yv100 == yv1100",fontsize=16,color="magenta"];1068 -> 1229[label="",style="dashed", color="magenta", weight=3]; 1068 -> 1230[label="",style="dashed", color="magenta", weight=3]; 1069 -> 709[label="",style="dashed", color="red", weight=0]; 1069[label="yv100 == yv1100",fontsize=16,color="magenta"];1069 -> 1231[label="",style="dashed", color="magenta", weight=3]; 1069 -> 1232[label="",style="dashed", color="magenta", weight=3]; 1070 -> 710[label="",style="dashed", color="red", weight=0]; 1070[label="yv100 == yv1100",fontsize=16,color="magenta"];1070 -> 1233[label="",style="dashed", color="magenta", weight=3]; 1070 -> 1234[label="",style="dashed", color="magenta", weight=3]; 1071 -> 711[label="",style="dashed", color="red", weight=0]; 1071[label="yv100 == yv1100",fontsize=16,color="magenta"];1071 -> 1235[label="",style="dashed", color="magenta", weight=3]; 1071 -> 1236[label="",style="dashed", color="magenta", weight=3]; 1072 -> 712[label="",style="dashed", color="red", weight=0]; 1072[label="yv100 == yv1100",fontsize=16,color="magenta"];1072 -> 1237[label="",style="dashed", color="magenta", weight=3]; 1072 -> 1238[label="",style="dashed", color="magenta", weight=3]; 1073 -> 713[label="",style="dashed", color="red", weight=0]; 1073[label="yv100 == yv1100",fontsize=16,color="magenta"];1073 -> 1239[label="",style="dashed", color="magenta", weight=3]; 1073 -> 1240[label="",style="dashed", color="magenta", weight=3]; 1074 -> 714[label="",style="dashed", color="red", weight=0]; 1074[label="yv100 == yv1100",fontsize=16,color="magenta"];1074 -> 1241[label="",style="dashed", color="magenta", weight=3]; 1074 -> 1242[label="",style="dashed", color="magenta", weight=3]; 1075 -> 715[label="",style="dashed", color="red", weight=0]; 1075[label="yv100 == yv1100",fontsize=16,color="magenta"];1075 -> 1243[label="",style="dashed", color="magenta", weight=3]; 1075 -> 1244[label="",style="dashed", color="magenta", weight=3]; 1076 -> 716[label="",style="dashed", color="red", weight=0]; 1076[label="yv100 == yv1100",fontsize=16,color="magenta"];1076 -> 1245[label="",style="dashed", color="magenta", weight=3]; 1076 -> 1246[label="",style="dashed", color="magenta", weight=3]; 1077 -> 717[label="",style="dashed", color="red", weight=0]; 1077[label="yv100 == yv1100",fontsize=16,color="magenta"];1077 -> 1247[label="",style="dashed", color="magenta", weight=3]; 1077 -> 1248[label="",style="dashed", color="magenta", weight=3]; 1078 -> 718[label="",style="dashed", color="red", weight=0]; 1078[label="yv100 == yv1100",fontsize=16,color="magenta"];1078 -> 1249[label="",style="dashed", color="magenta", weight=3]; 1078 -> 1250[label="",style="dashed", color="magenta", weight=3]; 1079[label="yv101 * yv1100",fontsize=16,color="black",shape="triangle"];1079 -> 1251[label="",style="solid", color="black", weight=3]; 1080 -> 1079[label="",style="dashed", color="red", weight=0]; 1080[label="yv100 * yv1101",fontsize=16,color="magenta"];1080 -> 1252[label="",style="dashed", color="magenta", weight=3]; 1080 -> 1253[label="",style="dashed", color="magenta", weight=3]; 1081 -> 1079[label="",style="dashed", color="red", weight=0]; 1081[label="yv101 * yv1100",fontsize=16,color="magenta"];1081 -> 1254[label="",style="dashed", color="magenta", weight=3]; 1081 -> 1255[label="",style="dashed", color="magenta", weight=3]; 1082 -> 1079[label="",style="dashed", color="red", weight=0]; 1082[label="yv100 * yv1101",fontsize=16,color="magenta"];1082 -> 1256[label="",style="dashed", color="magenta", weight=3]; 1082 -> 1257[label="",style="dashed", color="magenta", weight=3]; 1083[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (enforceWHNF (WHNF (Pos yv38 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv38 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1083 -> 1258[label="",style="solid", color="black", weight=3]; 1084[label="yv36",fontsize=16,color="green",shape="box"];1085[label="yv1101",fontsize=16,color="green",shape="box"];1086[label="yv101",fontsize=16,color="green",shape="box"];1087[label="yv1101",fontsize=16,color="green",shape="box"];1088[label="yv101",fontsize=16,color="green",shape="box"];1089[label="yv1100",fontsize=16,color="green",shape="box"];1090[label="yv100",fontsize=16,color="green",shape="box"];1091[label="yv1100",fontsize=16,color="green",shape="box"];1092[label="yv100",fontsize=16,color="green",shape="box"];1093[label="False",fontsize=16,color="green",shape="box"];1094[label="yv51",fontsize=16,color="green",shape="box"];1095[label="yv1100",fontsize=16,color="green",shape="box"];1096[label="yv100",fontsize=16,color="green",shape="box"];1097[label="yv1100",fontsize=16,color="green",shape="box"];1098[label="yv100",fontsize=16,color="green",shape="box"];1099[label="yv1100",fontsize=16,color="green",shape="box"];1100[label="yv100",fontsize=16,color="green",shape="box"];1101[label="yv1100",fontsize=16,color="green",shape="box"];1102[label="yv100",fontsize=16,color="green",shape="box"];1103[label="yv1100",fontsize=16,color="green",shape="box"];1104[label="yv100",fontsize=16,color="green",shape="box"];1105[label="yv1100",fontsize=16,color="green",shape="box"];1106[label="yv100",fontsize=16,color="green",shape="box"];1107[label="yv1100",fontsize=16,color="green",shape="box"];1108[label="yv100",fontsize=16,color="green",shape="box"];1109[label="yv1100",fontsize=16,color="green",shape="box"];1110[label="yv100",fontsize=16,color="green",shape="box"];1111[label="yv1100",fontsize=16,color="green",shape="box"];1112[label="yv100",fontsize=16,color="green",shape="box"];1113[label="yv1100",fontsize=16,color="green",shape="box"];1114[label="yv100",fontsize=16,color="green",shape="box"];1115[label="yv1100",fontsize=16,color="green",shape="box"];1116[label="yv100",fontsize=16,color="green",shape="box"];1117[label="yv1100",fontsize=16,color="green",shape="box"];1118[label="yv100",fontsize=16,color="green",shape="box"];1119[label="yv1100",fontsize=16,color="green",shape="box"];1120[label="yv100",fontsize=16,color="green",shape="box"];1121[label="yv1100",fontsize=16,color="green",shape="box"];1122[label="yv100",fontsize=16,color="green",shape="box"];1123 -> 705[label="",style="dashed", color="red", weight=0]; 1123[label="yv102 == yv1102",fontsize=16,color="magenta"];1123 -> 1259[label="",style="dashed", color="magenta", weight=3]; 1123 -> 1260[label="",style="dashed", color="magenta", weight=3]; 1124 -> 706[label="",style="dashed", color="red", weight=0]; 1124[label="yv102 == yv1102",fontsize=16,color="magenta"];1124 -> 1261[label="",style="dashed", color="magenta", weight=3]; 1124 -> 1262[label="",style="dashed", color="magenta", weight=3]; 1125 -> 707[label="",style="dashed", color="red", weight=0]; 1125[label="yv102 == yv1102",fontsize=16,color="magenta"];1125 -> 1263[label="",style="dashed", color="magenta", weight=3]; 1125 -> 1264[label="",style="dashed", color="magenta", weight=3]; 1126 -> 708[label="",style="dashed", color="red", weight=0]; 1126[label="yv102 == yv1102",fontsize=16,color="magenta"];1126 -> 1265[label="",style="dashed", color="magenta", weight=3]; 1126 -> 1266[label="",style="dashed", color="magenta", weight=3]; 1127 -> 709[label="",style="dashed", color="red", weight=0]; 1127[label="yv102 == yv1102",fontsize=16,color="magenta"];1127 -> 1267[label="",style="dashed", color="magenta", weight=3]; 1127 -> 1268[label="",style="dashed", color="magenta", weight=3]; 1128 -> 710[label="",style="dashed", color="red", weight=0]; 1128[label="yv102 == yv1102",fontsize=16,color="magenta"];1128 -> 1269[label="",style="dashed", color="magenta", weight=3]; 1128 -> 1270[label="",style="dashed", color="magenta", weight=3]; 1129 -> 711[label="",style="dashed", color="red", weight=0]; 1129[label="yv102 == yv1102",fontsize=16,color="magenta"];1129 -> 1271[label="",style="dashed", color="magenta", weight=3]; 1129 -> 1272[label="",style="dashed", color="magenta", weight=3]; 1130 -> 712[label="",style="dashed", color="red", weight=0]; 1130[label="yv102 == yv1102",fontsize=16,color="magenta"];1130 -> 1273[label="",style="dashed", color="magenta", weight=3]; 1130 -> 1274[label="",style="dashed", color="magenta", weight=3]; 1131 -> 713[label="",style="dashed", color="red", weight=0]; 1131[label="yv102 == yv1102",fontsize=16,color="magenta"];1131 -> 1275[label="",style="dashed", color="magenta", weight=3]; 1131 -> 1276[label="",style="dashed", color="magenta", weight=3]; 1132 -> 714[label="",style="dashed", color="red", weight=0]; 1132[label="yv102 == yv1102",fontsize=16,color="magenta"];1132 -> 1277[label="",style="dashed", color="magenta", weight=3]; 1132 -> 1278[label="",style="dashed", color="magenta", weight=3]; 1133 -> 715[label="",style="dashed", color="red", weight=0]; 1133[label="yv102 == yv1102",fontsize=16,color="magenta"];1133 -> 1279[label="",style="dashed", color="magenta", weight=3]; 1133 -> 1280[label="",style="dashed", color="magenta", weight=3]; 1134 -> 716[label="",style="dashed", color="red", weight=0]; 1134[label="yv102 == yv1102",fontsize=16,color="magenta"];1134 -> 1281[label="",style="dashed", color="magenta", weight=3]; 1134 -> 1282[label="",style="dashed", color="magenta", weight=3]; 1135 -> 717[label="",style="dashed", color="red", weight=0]; 1135[label="yv102 == yv1102",fontsize=16,color="magenta"];1135 -> 1283[label="",style="dashed", color="magenta", weight=3]; 1135 -> 1284[label="",style="dashed", color="magenta", weight=3]; 1136 -> 718[label="",style="dashed", color="red", weight=0]; 1136[label="yv102 == yv1102",fontsize=16,color="magenta"];1136 -> 1285[label="",style="dashed", color="magenta", weight=3]; 1136 -> 1286[label="",style="dashed", color="magenta", weight=3]; 1137 -> 705[label="",style="dashed", color="red", weight=0]; 1137[label="yv101 == yv1101",fontsize=16,color="magenta"];1137 -> 1287[label="",style="dashed", color="magenta", weight=3]; 1137 -> 1288[label="",style="dashed", color="magenta", weight=3]; 1138 -> 706[label="",style="dashed", color="red", weight=0]; 1138[label="yv101 == yv1101",fontsize=16,color="magenta"];1138 -> 1289[label="",style="dashed", color="magenta", weight=3]; 1138 -> 1290[label="",style="dashed", color="magenta", weight=3]; 1139 -> 707[label="",style="dashed", color="red", weight=0]; 1139[label="yv101 == yv1101",fontsize=16,color="magenta"];1139 -> 1291[label="",style="dashed", color="magenta", weight=3]; 1139 -> 1292[label="",style="dashed", color="magenta", weight=3]; 1140 -> 708[label="",style="dashed", color="red", weight=0]; 1140[label="yv101 == yv1101",fontsize=16,color="magenta"];1140 -> 1293[label="",style="dashed", color="magenta", weight=3]; 1140 -> 1294[label="",style="dashed", color="magenta", weight=3]; 1141 -> 709[label="",style="dashed", color="red", weight=0]; 1141[label="yv101 == yv1101",fontsize=16,color="magenta"];1141 -> 1295[label="",style="dashed", color="magenta", weight=3]; 1141 -> 1296[label="",style="dashed", color="magenta", weight=3]; 1142 -> 710[label="",style="dashed", color="red", weight=0]; 1142[label="yv101 == yv1101",fontsize=16,color="magenta"];1142 -> 1297[label="",style="dashed", color="magenta", weight=3]; 1142 -> 1298[label="",style="dashed", color="magenta", weight=3]; 1143 -> 711[label="",style="dashed", color="red", weight=0]; 1143[label="yv101 == yv1101",fontsize=16,color="magenta"];1143 -> 1299[label="",style="dashed", color="magenta", weight=3]; 1143 -> 1300[label="",style="dashed", color="magenta", weight=3]; 1144 -> 712[label="",style="dashed", color="red", weight=0]; 1144[label="yv101 == yv1101",fontsize=16,color="magenta"];1144 -> 1301[label="",style="dashed", color="magenta", weight=3]; 1144 -> 1302[label="",style="dashed", color="magenta", weight=3]; 1145 -> 713[label="",style="dashed", color="red", weight=0]; 1145[label="yv101 == yv1101",fontsize=16,color="magenta"];1145 -> 1303[label="",style="dashed", color="magenta", weight=3]; 1145 -> 1304[label="",style="dashed", color="magenta", weight=3]; 1146 -> 714[label="",style="dashed", color="red", weight=0]; 1146[label="yv101 == yv1101",fontsize=16,color="magenta"];1146 -> 1305[label="",style="dashed", color="magenta", weight=3]; 1146 -> 1306[label="",style="dashed", color="magenta", weight=3]; 1147 -> 715[label="",style="dashed", color="red", weight=0]; 1147[label="yv101 == yv1101",fontsize=16,color="magenta"];1147 -> 1307[label="",style="dashed", color="magenta", weight=3]; 1147 -> 1308[label="",style="dashed", color="magenta", weight=3]; 1148 -> 716[label="",style="dashed", color="red", weight=0]; 1148[label="yv101 == yv1101",fontsize=16,color="magenta"];1148 -> 1309[label="",style="dashed", color="magenta", weight=3]; 1148 -> 1310[label="",style="dashed", color="magenta", weight=3]; 1149 -> 717[label="",style="dashed", color="red", weight=0]; 1149[label="yv101 == yv1101",fontsize=16,color="magenta"];1149 -> 1311[label="",style="dashed", color="magenta", weight=3]; 1149 -> 1312[label="",style="dashed", color="magenta", weight=3]; 1150 -> 718[label="",style="dashed", color="red", weight=0]; 1150[label="yv101 == yv1101",fontsize=16,color="magenta"];1150 -> 1313[label="",style="dashed", color="magenta", weight=3]; 1150 -> 1314[label="",style="dashed", color="magenta", weight=3]; 1151[label="yv1100",fontsize=16,color="green",shape="box"];1152[label="yv100",fontsize=16,color="green",shape="box"];1153[label="yv1100",fontsize=16,color="green",shape="box"];1154[label="yv100",fontsize=16,color="green",shape="box"];1155[label="yv1100",fontsize=16,color="green",shape="box"];1156[label="yv100",fontsize=16,color="green",shape="box"];1157[label="yv1100",fontsize=16,color="green",shape="box"];1158[label="yv100",fontsize=16,color="green",shape="box"];1159[label="yv1100",fontsize=16,color="green",shape="box"];1160[label="yv100",fontsize=16,color="green",shape="box"];1161[label="yv1100",fontsize=16,color="green",shape="box"];1162[label="yv100",fontsize=16,color="green",shape="box"];1163[label="yv1100",fontsize=16,color="green",shape="box"];1164[label="yv100",fontsize=16,color="green",shape="box"];1165[label="yv1100",fontsize=16,color="green",shape="box"];1166[label="yv100",fontsize=16,color="green",shape="box"];1167[label="yv1100",fontsize=16,color="green",shape="box"];1168[label="yv100",fontsize=16,color="green",shape="box"];1169[label="yv1100",fontsize=16,color="green",shape="box"];1170[label="yv100",fontsize=16,color="green",shape="box"];1171[label="yv1100",fontsize=16,color="green",shape="box"];1172[label="yv100",fontsize=16,color="green",shape="box"];1173[label="yv1100",fontsize=16,color="green",shape="box"];1174[label="yv100",fontsize=16,color="green",shape="box"];1175[label="yv1100",fontsize=16,color="green",shape="box"];1176[label="yv100",fontsize=16,color="green",shape="box"];1177[label="yv1100",fontsize=16,color="green",shape="box"];1178[label="yv100",fontsize=16,color="green",shape="box"];1179 -> 891[label="",style="dashed", color="red", weight=0]; 1179[label="primEqNat yv1000 yv11000",fontsize=16,color="magenta"];1179 -> 1315[label="",style="dashed", color="magenta", weight=3]; 1179 -> 1316[label="",style="dashed", color="magenta", weight=3]; 1180[label="False",fontsize=16,color="green",shape="box"];1181[label="False",fontsize=16,color="green",shape="box"];1182[label="True",fontsize=16,color="green",shape="box"];1183[label="False",fontsize=16,color="green",shape="box"];1184[label="True",fontsize=16,color="green",shape="box"];1185 -> 891[label="",style="dashed", color="red", weight=0]; 1185[label="primEqNat yv1000 yv11000",fontsize=16,color="magenta"];1185 -> 1317[label="",style="dashed", color="magenta", weight=3]; 1185 -> 1318[label="",style="dashed", color="magenta", weight=3]; 1186[label="False",fontsize=16,color="green",shape="box"];1187[label="False",fontsize=16,color="green",shape="box"];1188[label="True",fontsize=16,color="green",shape="box"];1189[label="False",fontsize=16,color="green",shape="box"];1190[label="True",fontsize=16,color="green",shape="box"];1191[label="primEqNat (Succ yv1000) (Succ yv11000)",fontsize=16,color="black",shape="box"];1191 -> 1319[label="",style="solid", color="black", weight=3]; 1192[label="primEqNat (Succ yv1000) Zero",fontsize=16,color="black",shape="box"];1192 -> 1320[label="",style="solid", color="black", weight=3]; 1193[label="primEqNat Zero (Succ yv11000)",fontsize=16,color="black",shape="box"];1193 -> 1321[label="",style="solid", color="black", weight=3]; 1194[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1194 -> 1322[label="",style="solid", color="black", weight=3]; 1195[label="yv1101",fontsize=16,color="green",shape="box"];1196[label="yv101",fontsize=16,color="green",shape="box"];1197[label="yv1101",fontsize=16,color="green",shape="box"];1198[label="yv101",fontsize=16,color="green",shape="box"];1199[label="yv1101",fontsize=16,color="green",shape="box"];1200[label="yv101",fontsize=16,color="green",shape="box"];1201[label="yv1101",fontsize=16,color="green",shape="box"];1202[label="yv101",fontsize=16,color="green",shape="box"];1203[label="yv1101",fontsize=16,color="green",shape="box"];1204[label="yv101",fontsize=16,color="green",shape="box"];1205[label="yv1101",fontsize=16,color="green",shape="box"];1206[label="yv101",fontsize=16,color="green",shape="box"];1207[label="yv1101",fontsize=16,color="green",shape="box"];1208[label="yv101",fontsize=16,color="green",shape="box"];1209[label="yv1101",fontsize=16,color="green",shape="box"];1210[label="yv101",fontsize=16,color="green",shape="box"];1211[label="yv1101",fontsize=16,color="green",shape="box"];1212[label="yv101",fontsize=16,color="green",shape="box"];1213[label="yv1101",fontsize=16,color="green",shape="box"];1214[label="yv101",fontsize=16,color="green",shape="box"];1215[label="yv1101",fontsize=16,color="green",shape="box"];1216[label="yv101",fontsize=16,color="green",shape="box"];1217[label="yv1101",fontsize=16,color="green",shape="box"];1218[label="yv101",fontsize=16,color="green",shape="box"];1219[label="yv1101",fontsize=16,color="green",shape="box"];1220[label="yv101",fontsize=16,color="green",shape="box"];1221[label="yv1101",fontsize=16,color="green",shape="box"];1222[label="yv101",fontsize=16,color="green",shape="box"];1223[label="yv1100",fontsize=16,color="green",shape="box"];1224[label="yv100",fontsize=16,color="green",shape="box"];1225[label="yv1100",fontsize=16,color="green",shape="box"];1226[label="yv100",fontsize=16,color="green",shape="box"];1227[label="yv1100",fontsize=16,color="green",shape="box"];1228[label="yv100",fontsize=16,color="green",shape="box"];1229[label="yv1100",fontsize=16,color="green",shape="box"];1230[label="yv100",fontsize=16,color="green",shape="box"];1231[label="yv1100",fontsize=16,color="green",shape="box"];1232[label="yv100",fontsize=16,color="green",shape="box"];1233[label="yv1100",fontsize=16,color="green",shape="box"];1234[label="yv100",fontsize=16,color="green",shape="box"];1235[label="yv1100",fontsize=16,color="green",shape="box"];1236[label="yv100",fontsize=16,color="green",shape="box"];1237[label="yv1100",fontsize=16,color="green",shape="box"];1238[label="yv100",fontsize=16,color="green",shape="box"];1239[label="yv1100",fontsize=16,color="green",shape="box"];1240[label="yv100",fontsize=16,color="green",shape="box"];1241[label="yv1100",fontsize=16,color="green",shape="box"];1242[label="yv100",fontsize=16,color="green",shape="box"];1243[label="yv1100",fontsize=16,color="green",shape="box"];1244[label="yv100",fontsize=16,color="green",shape="box"];1245[label="yv1100",fontsize=16,color="green",shape="box"];1246[label="yv100",fontsize=16,color="green",shape="box"];1247[label="yv1100",fontsize=16,color="green",shape="box"];1248[label="yv100",fontsize=16,color="green",shape="box"];1249[label="yv1100",fontsize=16,color="green",shape="box"];1250[label="yv100",fontsize=16,color="green",shape="box"];1251[label="primMulInt yv101 yv1100",fontsize=16,color="burlywood",shape="box"];1627[label="yv101/Pos yv1010",fontsize=10,color="white",style="solid",shape="box"];1251 -> 1627[label="",style="solid", color="burlywood", weight=9]; 1627 -> 1323[label="",style="solid", color="burlywood", weight=3]; 1628[label="yv101/Neg yv1010",fontsize=10,color="white",style="solid",shape="box"];1251 -> 1628[label="",style="solid", color="burlywood", weight=9]; 1628 -> 1324[label="",style="solid", color="burlywood", weight=3]; 1252[label="yv1101",fontsize=16,color="green",shape="box"];1253[label="yv100",fontsize=16,color="green",shape="box"];1254[label="yv1100",fontsize=16,color="green",shape="box"];1255[label="yv101",fontsize=16,color="green",shape="box"];1256[label="yv1101",fontsize=16,color="green",shape="box"];1257[label="yv100",fontsize=16,color="green",shape="box"];1258[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (enforceWHNF (WHNF (primPlusInt (Pos yv38) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv38) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];1258 -> 1325[label="",style="solid", color="black", weight=3]; 1259[label="yv1102",fontsize=16,color="green",shape="box"];1260[label="yv102",fontsize=16,color="green",shape="box"];1261[label="yv1102",fontsize=16,color="green",shape="box"];1262[label="yv102",fontsize=16,color="green",shape="box"];1263[label="yv1102",fontsize=16,color="green",shape="box"];1264[label="yv102",fontsize=16,color="green",shape="box"];1265[label="yv1102",fontsize=16,color="green",shape="box"];1266[label="yv102",fontsize=16,color="green",shape="box"];1267[label="yv1102",fontsize=16,color="green",shape="box"];1268[label="yv102",fontsize=16,color="green",shape="box"];1269[label="yv1102",fontsize=16,color="green",shape="box"];1270[label="yv102",fontsize=16,color="green",shape="box"];1271[label="yv1102",fontsize=16,color="green",shape="box"];1272[label="yv102",fontsize=16,color="green",shape="box"];1273[label="yv1102",fontsize=16,color="green",shape="box"];1274[label="yv102",fontsize=16,color="green",shape="box"];1275[label="yv1102",fontsize=16,color="green",shape="box"];1276[label="yv102",fontsize=16,color="green",shape="box"];1277[label="yv1102",fontsize=16,color="green",shape="box"];1278[label="yv102",fontsize=16,color="green",shape="box"];1279[label="yv1102",fontsize=16,color="green",shape="box"];1280[label="yv102",fontsize=16,color="green",shape="box"];1281[label="yv1102",fontsize=16,color="green",shape="box"];1282[label="yv102",fontsize=16,color="green",shape="box"];1283[label="yv1102",fontsize=16,color="green",shape="box"];1284[label="yv102",fontsize=16,color="green",shape="box"];1285[label="yv1102",fontsize=16,color="green",shape="box"];1286[label="yv102",fontsize=16,color="green",shape="box"];1287[label="yv1101",fontsize=16,color="green",shape="box"];1288[label="yv101",fontsize=16,color="green",shape="box"];1289[label="yv1101",fontsize=16,color="green",shape="box"];1290[label="yv101",fontsize=16,color="green",shape="box"];1291[label="yv1101",fontsize=16,color="green",shape="box"];1292[label="yv101",fontsize=16,color="green",shape="box"];1293[label="yv1101",fontsize=16,color="green",shape="box"];1294[label="yv101",fontsize=16,color="green",shape="box"];1295[label="yv1101",fontsize=16,color="green",shape="box"];1296[label="yv101",fontsize=16,color="green",shape="box"];1297[label="yv1101",fontsize=16,color="green",shape="box"];1298[label="yv101",fontsize=16,color="green",shape="box"];1299[label="yv1101",fontsize=16,color="green",shape="box"];1300[label="yv101",fontsize=16,color="green",shape="box"];1301[label="yv1101",fontsize=16,color="green",shape="box"];1302[label="yv101",fontsize=16,color="green",shape="box"];1303[label="yv1101",fontsize=16,color="green",shape="box"];1304[label="yv101",fontsize=16,color="green",shape="box"];1305[label="yv1101",fontsize=16,color="green",shape="box"];1306[label="yv101",fontsize=16,color="green",shape="box"];1307[label="yv1101",fontsize=16,color="green",shape="box"];1308[label="yv101",fontsize=16,color="green",shape="box"];1309[label="yv1101",fontsize=16,color="green",shape="box"];1310[label="yv101",fontsize=16,color="green",shape="box"];1311[label="yv1101",fontsize=16,color="green",shape="box"];1312[label="yv101",fontsize=16,color="green",shape="box"];1313[label="yv1101",fontsize=16,color="green",shape="box"];1314[label="yv101",fontsize=16,color="green",shape="box"];1315[label="yv1000",fontsize=16,color="green",shape="box"];1316[label="yv11000",fontsize=16,color="green",shape="box"];1317[label="yv1000",fontsize=16,color="green",shape="box"];1318[label="yv11000",fontsize=16,color="green",shape="box"];1319 -> 891[label="",style="dashed", color="red", weight=0]; 1319[label="primEqNat yv1000 yv11000",fontsize=16,color="magenta"];1319 -> 1326[label="",style="dashed", color="magenta", weight=3]; 1319 -> 1327[label="",style="dashed", color="magenta", weight=3]; 1320[label="False",fontsize=16,color="green",shape="box"];1321[label="False",fontsize=16,color="green",shape="box"];1322[label="True",fontsize=16,color="green",shape="box"];1323[label="primMulInt (Pos yv1010) yv1100",fontsize=16,color="burlywood",shape="box"];1629[label="yv1100/Pos yv11000",fontsize=10,color="white",style="solid",shape="box"];1323 -> 1629[label="",style="solid", color="burlywood", weight=9]; 1629 -> 1328[label="",style="solid", color="burlywood", weight=3]; 1630[label="yv1100/Neg yv11000",fontsize=10,color="white",style="solid",shape="box"];1323 -> 1630[label="",style="solid", color="burlywood", weight=9]; 1630 -> 1329[label="",style="solid", color="burlywood", weight=3]; 1324[label="primMulInt (Neg yv1010) yv1100",fontsize=16,color="burlywood",shape="box"];1631[label="yv1100/Pos yv11000",fontsize=10,color="white",style="solid",shape="box"];1324 -> 1631[label="",style="solid", color="burlywood", weight=9]; 1631 -> 1330[label="",style="solid", color="burlywood", weight=3]; 1632[label="yv1100/Neg yv11000",fontsize=10,color="white",style="solid",shape="box"];1324 -> 1632[label="",style="solid", color="burlywood", weight=9]; 1632 -> 1331[label="",style="solid", color="burlywood", weight=3]; 1325[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (enforceWHNF (WHNF (primPlusInt (Pos yv38) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv38) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1325 -> 1332[label="",style="solid", color="black", weight=3]; 1326[label="yv1000",fontsize=16,color="green",shape="box"];1327[label="yv11000",fontsize=16,color="green",shape="box"];1328[label="primMulInt (Pos yv1010) (Pos yv11000)",fontsize=16,color="black",shape="box"];1328 -> 1333[label="",style="solid", color="black", weight=3]; 1329[label="primMulInt (Pos yv1010) (Neg yv11000)",fontsize=16,color="black",shape="box"];1329 -> 1334[label="",style="solid", color="black", weight=3]; 1330[label="primMulInt (Neg yv1010) (Pos yv11000)",fontsize=16,color="black",shape="box"];1330 -> 1335[label="",style="solid", color="black", weight=3]; 1331[label="primMulInt (Neg yv1010) (Neg yv11000)",fontsize=16,color="black",shape="box"];1331 -> 1336[label="",style="solid", color="black", weight=3]; 1332[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (enforceWHNF (WHNF (Pos (primPlusNat yv38 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv38 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1332 -> 1337[label="",style="solid", color="black", weight=3]; 1333[label="Pos (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1333 -> 1338[label="",style="dashed", color="green", weight=3]; 1334[label="Neg (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1334 -> 1339[label="",style="dashed", color="green", weight=3]; 1335[label="Neg (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1335 -> 1340[label="",style="dashed", color="green", weight=3]; 1336[label="Pos (primMulNat yv1010 yv11000)",fontsize=16,color="green",shape="box"];1336 -> 1341[label="",style="dashed", color="green", weight=3]; 1337[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (numericEnumFrom (Pos (primPlusNat yv38 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1337 -> 1342[label="",style="solid", color="black", weight=3]; 1338[label="primMulNat yv1010 yv11000",fontsize=16,color="burlywood",shape="triangle"];1633[label="yv1010/Succ yv10100",fontsize=10,color="white",style="solid",shape="box"];1338 -> 1633[label="",style="solid", color="burlywood", weight=9]; 1633 -> 1343[label="",style="solid", color="burlywood", weight=3]; 1634[label="yv1010/Zero",fontsize=10,color="white",style="solid",shape="box"];1338 -> 1634[label="",style="solid", color="burlywood", weight=9]; 1634 -> 1344[label="",style="solid", color="burlywood", weight=3]; 1339 -> 1338[label="",style="dashed", color="red", weight=0]; 1339[label="primMulNat yv1010 yv11000",fontsize=16,color="magenta"];1339 -> 1345[label="",style="dashed", color="magenta", weight=3]; 1340 -> 1338[label="",style="dashed", color="red", weight=0]; 1340[label="primMulNat yv1010 yv11000",fontsize=16,color="magenta"];1340 -> 1346[label="",style="dashed", color="magenta", weight=3]; 1341 -> 1338[label="",style="dashed", color="red", weight=0]; 1341[label="primMulNat yv1010 yv11000",fontsize=16,color="magenta"];1341 -> 1347[label="",style="dashed", color="magenta", weight=3]; 1341 -> 1348[label="",style="dashed", color="magenta", weight=3]; 1342[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 (yv370 : yv371) (Pos (primPlusNat yv38 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv38 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1342 -> 1349[label="",style="solid", color="black", weight=3]; 1343[label="primMulNat (Succ yv10100) yv11000",fontsize=16,color="burlywood",shape="box"];1635[label="yv11000/Succ yv110000",fontsize=10,color="white",style="solid",shape="box"];1343 -> 1635[label="",style="solid", color="burlywood", weight=9]; 1635 -> 1350[label="",style="solid", color="burlywood", weight=3]; 1636[label="yv11000/Zero",fontsize=10,color="white",style="solid",shape="box"];1343 -> 1636[label="",style="solid", color="burlywood", weight=9]; 1636 -> 1351[label="",style="solid", color="burlywood", weight=3]; 1344[label="primMulNat Zero yv11000",fontsize=16,color="burlywood",shape="box"];1637[label="yv11000/Succ yv110000",fontsize=10,color="white",style="solid",shape="box"];1344 -> 1637[label="",style="solid", color="burlywood", weight=9]; 1637 -> 1352[label="",style="solid", color="burlywood", weight=3]; 1638[label="yv11000/Zero",fontsize=10,color="white",style="solid",shape="box"];1344 -> 1638[label="",style="solid", color="burlywood", weight=9]; 1638 -> 1353[label="",style="solid", color="burlywood", weight=3]; 1345[label="yv11000",fontsize=16,color="green",shape="box"];1346[label="yv1010",fontsize=16,color="green",shape="box"];1347[label="yv1010",fontsize=16,color="green",shape="box"];1348[label="yv11000",fontsize=16,color="green",shape="box"];1349[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zip0 yv370 (Pos (primPlusNat yv38 (Succ Zero))) : zipWith zip0 yv371 (numericEnumFrom $! Pos (primPlusNat yv38 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1349 -> 1354[label="",style="solid", color="black", weight=3]; 1350[label="primMulNat (Succ yv10100) (Succ yv110000)",fontsize=16,color="black",shape="box"];1350 -> 1355[label="",style="solid", color="black", weight=3]; 1351[label="primMulNat (Succ yv10100) Zero",fontsize=16,color="black",shape="box"];1351 -> 1356[label="",style="solid", color="black", weight=3]; 1352[label="primMulNat Zero (Succ yv110000)",fontsize=16,color="black",shape="box"];1352 -> 1357[label="",style="solid", color="black", weight=3]; 1353[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];1353 -> 1358[label="",style="solid", color="black", weight=3]; 1354[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (yv36 ==) (zip0 yv370 (Pos (primPlusNat yv38 (Succ Zero)))) : map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv371 (numericEnumFrom $! Pos (primPlusNat yv38 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1354 -> 1359[label="",style="solid", color="black", weight=3]; 1355 -> 1360[label="",style="dashed", color="red", weight=0]; 1355[label="primPlusNat (primMulNat yv10100 (Succ yv110000)) (Succ yv110000)",fontsize=16,color="magenta"];1355 -> 1361[label="",style="dashed", color="magenta", weight=3]; 1356[label="Zero",fontsize=16,color="green",shape="box"];1357[label="Zero",fontsize=16,color="green",shape="box"];1358[label="Zero",fontsize=16,color="green",shape="box"];1359 -> 688[label="",style="dashed", color="red", weight=0]; 1359[label="Maybe.listToMaybe ((++) List.findIndices0 (yv36 ==) (zip0 yv370 (Pos (primPlusNat yv38 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (yv36 ==)) (zipWith zip0 yv371 (numericEnumFrom $! Pos (primPlusNat yv38 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1359 -> 1362[label="",style="dashed", color="magenta", weight=3]; 1359 -> 1363[label="",style="dashed", color="magenta", weight=3]; 1359 -> 1364[label="",style="dashed", color="magenta", weight=3]; 1359 -> 1365[label="",style="dashed", color="magenta", weight=3]; 1359 -> 1366[label="",style="dashed", color="magenta", weight=3]; 1361 -> 1338[label="",style="dashed", color="red", weight=0]; 1361[label="primMulNat yv10100 (Succ yv110000)",fontsize=16,color="magenta"];1361 -> 1367[label="",style="dashed", color="magenta", weight=3]; 1361 -> 1368[label="",style="dashed", color="magenta", weight=3]; 1360[label="primPlusNat yv52 (Succ yv110000)",fontsize=16,color="burlywood",shape="triangle"];1639[label="yv52/Succ yv520",fontsize=10,color="white",style="solid",shape="box"];1360 -> 1639[label="",style="solid", color="burlywood", weight=9]; 1639 -> 1369[label="",style="solid", color="burlywood", weight=3]; 1640[label="yv52/Zero",fontsize=10,color="white",style="solid",shape="box"];1360 -> 1640[label="",style="solid", color="burlywood", weight=9]; 1640 -> 1370[label="",style="solid", color="burlywood", weight=3]; 1362[label="yv371",fontsize=16,color="green",shape="box"];1363[label="yv370",fontsize=16,color="green",shape="box"];1364[label="yv36",fontsize=16,color="green",shape="box"];1365 -> 1360[label="",style="dashed", color="red", weight=0]; 1365[label="primPlusNat yv38 (Succ Zero)",fontsize=16,color="magenta"];1365 -> 1371[label="",style="dashed", color="magenta", weight=3]; 1365 -> 1372[label="",style="dashed", color="magenta", weight=3]; 1366 -> 1360[label="",style="dashed", color="red", weight=0]; 1366[label="primPlusNat yv38 (Succ Zero)",fontsize=16,color="magenta"];1366 -> 1373[label="",style="dashed", color="magenta", weight=3]; 1366 -> 1374[label="",style="dashed", color="magenta", weight=3]; 1367[label="yv10100",fontsize=16,color="green",shape="box"];1368[label="Succ yv110000",fontsize=16,color="green",shape="box"];1369[label="primPlusNat (Succ yv520) (Succ yv110000)",fontsize=16,color="black",shape="box"];1369 -> 1375[label="",style="solid", color="black", weight=3]; 1370[label="primPlusNat Zero (Succ yv110000)",fontsize=16,color="black",shape="box"];1370 -> 1376[label="",style="solid", color="black", weight=3]; 1371[label="yv38",fontsize=16,color="green",shape="box"];1372[label="Zero",fontsize=16,color="green",shape="box"];1373[label="yv38",fontsize=16,color="green",shape="box"];1374[label="Zero",fontsize=16,color="green",shape="box"];1375[label="Succ (Succ (primPlusNat yv520 yv110000))",fontsize=16,color="green",shape="box"];1375 -> 1377[label="",style="dashed", color="green", weight=3]; 1376[label="Succ yv110000",fontsize=16,color="green",shape="box"];1377[label="primPlusNat yv520 yv110000",fontsize=16,color="burlywood",shape="triangle"];1641[label="yv520/Succ yv5200",fontsize=10,color="white",style="solid",shape="box"];1377 -> 1641[label="",style="solid", color="burlywood", weight=9]; 1641 -> 1378[label="",style="solid", color="burlywood", weight=3]; 1642[label="yv520/Zero",fontsize=10,color="white",style="solid",shape="box"];1377 -> 1642[label="",style="solid", color="burlywood", weight=9]; 1642 -> 1379[label="",style="solid", color="burlywood", weight=3]; 1378[label="primPlusNat (Succ yv5200) yv110000",fontsize=16,color="burlywood",shape="box"];1643[label="yv110000/Succ yv1100000",fontsize=10,color="white",style="solid",shape="box"];1378 -> 1643[label="",style="solid", color="burlywood", weight=9]; 1643 -> 1380[label="",style="solid", color="burlywood", weight=3]; 1644[label="yv110000/Zero",fontsize=10,color="white",style="solid",shape="box"];1378 -> 1644[label="",style="solid", color="burlywood", weight=9]; 1644 -> 1381[label="",style="solid", color="burlywood", weight=3]; 1379[label="primPlusNat Zero yv110000",fontsize=16,color="burlywood",shape="box"];1645[label="yv110000/Succ yv1100000",fontsize=10,color="white",style="solid",shape="box"];1379 -> 1645[label="",style="solid", color="burlywood", weight=9]; 1645 -> 1382[label="",style="solid", color="burlywood", weight=3]; 1646[label="yv110000/Zero",fontsize=10,color="white",style="solid",shape="box"];1379 -> 1646[label="",style="solid", color="burlywood", weight=9]; 1646 -> 1383[label="",style="solid", color="burlywood", weight=3]; 1380[label="primPlusNat (Succ yv5200) (Succ yv1100000)",fontsize=16,color="black",shape="box"];1380 -> 1384[label="",style="solid", color="black", weight=3]; 1381[label="primPlusNat (Succ yv5200) Zero",fontsize=16,color="black",shape="box"];1381 -> 1385[label="",style="solid", color="black", weight=3]; 1382[label="primPlusNat Zero (Succ yv1100000)",fontsize=16,color="black",shape="box"];1382 -> 1386[label="",style="solid", color="black", weight=3]; 1383[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1383 -> 1387[label="",style="solid", color="black", weight=3]; 1384[label="Succ (Succ (primPlusNat yv5200 yv1100000))",fontsize=16,color="green",shape="box"];1384 -> 1388[label="",style="dashed", color="green", weight=3]; 1385[label="Succ yv5200",fontsize=16,color="green",shape="box"];1386[label="Succ yv1100000",fontsize=16,color="green",shape="box"];1387[label="Zero",fontsize=16,color="green",shape="box"];1388 -> 1377[label="",style="dashed", color="red", weight=0]; 1388[label="primPlusNat yv5200 yv1100000",fontsize=16,color="magenta"];1388 -> 1389[label="",style="dashed", color="magenta", weight=3]; 1388 -> 1390[label="",style="dashed", color="magenta", weight=3]; 1389[label="yv1100000",fontsize=16,color="green",shape="box"];1390[label="yv5200",fontsize=16,color="green",shape="box"];} ---------------------------------------- (14) Complex Obligation (AND) ---------------------------------------- (15) Obligation: Q DP problem: The TRS P consists of the following rules: new_esEs1(Left(yv100), Left(yv1100), app(app(ty_Either, dh), ea), df) -> new_esEs1(yv100, yv1100, dh, ea) new_esEs1(Right(yv100), Right(yv1100), eg, app(ty_[], fa)) -> new_esEs0(yv100, yv1100, fa) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(ty_[], ge)) -> new_esEs0(yv102, yv1102, ge) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_Either, bde), bdf), bdc) -> new_esEs1(yv100, yv1100, bde, bdf) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(app(ty_Either, bcc), bcd)) -> new_esEs1(yv101, yv1101, bcc, bcd) new_esEs(Just(yv100), Just(yv1100), app(app(ty_@2, bh), ca)) -> new_esEs3(yv100, yv1100, bh, ca) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_[], bah), gc, hf) -> new_esEs0(yv100, yv1100, bah) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(app(ty_@2, hc), hd)) -> new_esEs3(yv102, yv1102, hc, hd) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(ty_[], hg), hf) -> new_esEs0(yv101, yv1101, hg) new_esEs1(Right(yv100), Right(yv1100), eg, app(app(ty_@2, fh), ga)) -> new_esEs3(yv100, yv1100, fh, ga) new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_@2, dc), dd)) -> new_esEs3(yv100, yv1100, dc, dd) new_esEs1(Right(yv100), Right(yv1100), eg, app(app(app(ty_@3, fd), ff), fg)) -> new_esEs2(yv100, yv1100, fd, ff, fg) new_esEs(Just(yv100), Just(yv1100), app(ty_Maybe, ba)) -> new_esEs(yv100, yv1100, ba) new_esEs1(Left(yv100), Left(yv1100), app(ty_[], dg), df) -> new_esEs0(yv100, yv1100, dg) new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_Either, ce), cf)) -> new_esEs1(yv100, yv1100, ce, cf) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_@2, bbf), bbg), gc, hf) -> new_esEs3(yv100, yv1100, bbf, bbg) new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(ty_[], cd)) -> new_esEs0(yv100, yv1100, cd) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(app(ty_@2, bae), baf), hf) -> new_esEs3(yv101, yv1101, bae, baf) new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(app(app(ty_@3, cg), da), db)) -> new_esEs2(yv100, yv1100, cg, da, db) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(app(app(ty_@3, bab), bac), bad), hf) -> new_esEs2(yv101, yv1101, bab, bac, bad) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_Either, bba), bbb), gc, hf) -> new_esEs1(yv100, yv1100, bba, bbb) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(app(ty_@2, bch), bda)) -> new_esEs3(yv101, yv1101, bch, bda) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(app(ty_@3, bbc), bbd), bbe), gc, hf) -> new_esEs2(yv100, yv1100, bbc, bbd, bbe) new_esEs0(:(yv100, yv101), :(yv1100, yv1101), cb) -> new_esEs0(yv101, yv1101, cb) new_esEs1(Right(yv100), Right(yv1100), eg, app(ty_Maybe, eh)) -> new_esEs(yv100, yv1100, eh) new_esEs(Just(yv100), Just(yv1100), app(app(ty_Either, bc), bd)) -> new_esEs1(yv100, yv1100, bc, bd) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_[], bdd), bdc) -> new_esEs0(yv100, yv1100, bdd) new_esEs1(Left(yv100), Left(yv1100), app(ty_Maybe, de), df) -> new_esEs(yv100, yv1100, de) new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(ty_Maybe, cc)) -> new_esEs(yv100, yv1100, cc) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(ty_[], bcb)) -> new_esEs0(yv101, yv1101, bcb) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_@2, beb), bec), bdc) -> new_esEs3(yv100, yv1100, beb, bec) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(app(ty_Either, hh), baa), hf) -> new_esEs1(yv101, yv1101, hh, baa) new_esEs(Just(yv100), Just(yv1100), app(app(app(ty_@3, be), bf), bg)) -> new_esEs2(yv100, yv1100, be, bf, bg) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(app(app(ty_@3, bdg), bdh), bea), bdc) -> new_esEs2(yv100, yv1100, bdg, bdh, bea) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(ty_Maybe, bca)) -> new_esEs(yv101, yv1101, bca) new_esEs1(Left(yv100), Left(yv1100), app(app(app(ty_@3, eb), ec), ed), df) -> new_esEs2(yv100, yv1100, eb, ec, ed) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(ty_Maybe, gd)) -> new_esEs(yv102, yv1102, gd) new_esEs(Just(yv100), Just(yv1100), app(ty_[], bb)) -> new_esEs0(yv100, yv1100, bb) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(app(app(ty_@3, gh), ha), hb)) -> new_esEs2(yv102, yv1102, gh, ha, hb) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_Maybe, bdb), bdc) -> new_esEs(yv100, yv1100, bdb) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(ty_Maybe, he), hf) -> new_esEs(yv101, yv1101, he) new_esEs1(Right(yv100), Right(yv1100), eg, app(app(ty_Either, fb), fc)) -> new_esEs1(yv100, yv1100, fb, fc) new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(app(app(ty_@3, bce), bcf), bcg)) -> new_esEs2(yv101, yv1101, bce, bcf, bcg) new_esEs1(Left(yv100), Left(yv1100), app(app(ty_@2, ee), ef), df) -> new_esEs3(yv100, yv1100, ee, ef) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_Maybe, bag), gc, hf) -> new_esEs(yv100, yv1100, bag) new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(app(ty_Either, gf), gg)) -> new_esEs1(yv102, yv1102, gf, gg) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (16) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_Either, ce), cf)) -> new_esEs1(yv100, yv1100, ce, cf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(app(app(ty_@3, cg), da), db)) -> new_esEs2(yv100, yv1100, cg, da, db) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(app(ty_@2, dc), dd)) -> new_esEs3(yv100, yv1100, dc, dd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(ty_Maybe, cc)) -> new_esEs(yv100, yv1100, cc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Just(yv100), Just(yv1100), app(app(ty_Either, bc), bd)) -> new_esEs1(yv100, yv1100, bc, bd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Just(yv100), Just(yv1100), app(app(app(ty_@3, be), bf), bg)) -> new_esEs2(yv100, yv1100, be, bf, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs(Just(yv100), Just(yv1100), app(app(ty_@2, bh), ca)) -> new_esEs3(yv100, yv1100, bh, ca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Just(yv100), Just(yv1100), app(ty_Maybe, ba)) -> new_esEs(yv100, yv1100, ba) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Just(yv100), Just(yv1100), app(ty_[], bb)) -> new_esEs0(yv100, yv1100, bb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs1(Left(yv100), Left(yv1100), app(app(ty_Either, dh), ea), df) -> new_esEs1(yv100, yv1100, dh, ea) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Right(yv100), Right(yv1100), eg, app(app(ty_Either, fb), fc)) -> new_esEs1(yv100, yv1100, fb, fc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs1(Right(yv100), Right(yv1100), eg, app(app(app(ty_@3, fd), ff), fg)) -> new_esEs2(yv100, yv1100, fd, ff, fg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs1(Left(yv100), Left(yv1100), app(app(app(ty_@3, eb), ec), ed), df) -> new_esEs2(yv100, yv1100, eb, ec, ed) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs1(Right(yv100), Right(yv1100), eg, app(app(ty_@2, fh), ga)) -> new_esEs3(yv100, yv1100, fh, ga) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs1(Left(yv100), Left(yv1100), app(app(ty_@2, ee), ef), df) -> new_esEs3(yv100, yv1100, ee, ef) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Right(yv100), Right(yv1100), eg, app(ty_Maybe, eh)) -> new_esEs(yv100, yv1100, eh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(Left(yv100), Left(yv1100), app(ty_Maybe, de), df) -> new_esEs(yv100, yv1100, de) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs1(Right(yv100), Right(yv1100), eg, app(ty_[], fa)) -> new_esEs0(yv100, yv1100, fa) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(Left(yv100), Left(yv1100), app(ty_[], dg), df) -> new_esEs0(yv100, yv1100, dg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_Either, bde), bdf), bdc) -> new_esEs1(yv100, yv1100, bde, bdf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(app(ty_Either, bcc), bcd)) -> new_esEs1(yv101, yv1101, bcc, bcd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_Either, bba), bbb), gc, hf) -> new_esEs1(yv100, yv1100, bba, bbb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(app(ty_Either, hh), baa), hf) -> new_esEs1(yv101, yv1101, hh, baa) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(app(ty_Either, gf), gg)) -> new_esEs1(yv102, yv1102, gf, gg) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs0(:(yv100, yv101), :(yv1100, yv1101), app(ty_[], cd)) -> new_esEs0(yv100, yv1100, cd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(:(yv100, yv101), :(yv1100, yv1101), cb) -> new_esEs0(yv101, yv1101, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(app(app(ty_@3, bdg), bdh), bea), bdc) -> new_esEs2(yv100, yv1100, bdg, bdh, bea) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(app(app(ty_@3, bce), bcf), bcg)) -> new_esEs2(yv101, yv1101, bce, bcf, bcg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(app(app(ty_@3, bab), bac), bad), hf) -> new_esEs2(yv101, yv1101, bab, bac, bad) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(app(ty_@3, bbc), bbd), bbe), gc, hf) -> new_esEs2(yv100, yv1100, bbc, bbd, bbe) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(app(app(ty_@3, gh), ha), hb)) -> new_esEs2(yv102, yv1102, gh, ha, hb) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(app(ty_@2, bch), bda)) -> new_esEs3(yv101, yv1101, bch, bda) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(app(ty_@2, beb), bec), bdc) -> new_esEs3(yv100, yv1100, beb, bec) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(app(ty_@2, hc), hd)) -> new_esEs3(yv102, yv1102, hc, hd) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(app(ty_@2, bbf), bbg), gc, hf) -> new_esEs3(yv100, yv1100, bbf, bbg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(app(ty_@2, bae), baf), hf) -> new_esEs3(yv101, yv1101, bae, baf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(ty_Maybe, bca)) -> new_esEs(yv101, yv1101, bca) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_Maybe, bdb), bdc) -> new_esEs(yv100, yv1100, bdb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), app(ty_[], bdd), bdc) -> new_esEs0(yv100, yv1100, bdd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv100, yv101), @2(yv1100, yv1101), bbh, app(ty_[], bcb)) -> new_esEs0(yv101, yv1101, bcb) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(ty_Maybe, gd)) -> new_esEs(yv102, yv1102, gd) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(ty_Maybe, he), hf) -> new_esEs(yv101, yv1101, he) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_Maybe, bag), gc, hf) -> new_esEs(yv100, yv1100, bag) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, gc, app(ty_[], ge)) -> new_esEs0(yv102, yv1102, ge) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), app(ty_[], bah), gc, hf) -> new_esEs0(yv100, yv1100, bah) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), gb, app(ty_[], hg), hf) -> new_esEs0(yv101, yv1101, hg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 ---------------------------------------- (17) YES ---------------------------------------- (18) Obligation: Q DP problem: The TRS P consists of the following rules: new_listToMaybe0(yv10, yv110, yv26, yv111, yv27, bb) -> new_listToMaybe(yv26, new_esEs4(yv10, yv110, bb), yv10, yv111, yv27, bb) new_listToMaybe(yv34, False, yv36, :(yv370, yv371), yv38, ba) -> new_listToMaybe0(yv36, yv370, new_primPlusNat0(yv38, Zero), yv371, new_primPlusNat0(yv38, Zero), ba) The TRS R consists of the following rules: new_primEqInt(Pos(Zero), Pos(Zero)) -> True new_esEs13(Right(yv100), Right(yv1100), ga, ty_Integer) -> new_esEs17(yv100, yv1100) new_esEs18(Float(yv100, yv101), Float(yv1100, yv1101)) -> new_esEs14(new_sr(yv100, yv1101), new_sr(yv101, yv1100)) new_esEs8(yv100, yv1100, ty_Float) -> new_esEs18(yv100, yv1100) new_esEs13(Left(yv100), Left(yv1100), ty_@0, gb) -> new_esEs10(yv100, yv1100) new_esEs17(Integer(yv100), Integer(yv1100)) -> new_primEqInt(yv100, yv1100) new_esEs13(Right(yv100), Right(yv1100), ga, app(app(app(ty_@3, bbf), bbg), bbh)) -> new_esEs5(yv100, yv1100, bbf, bbg, bbh) new_esEs8(yv100, yv1100, app(app(ty_@2, fc), fd)) -> new_esEs16(yv100, yv1100, fc, fd) new_esEs19(False, True) -> False new_esEs19(True, False) -> False new_esEs4(yv10, yv110, app(app(ty_Either, ga), gb)) -> new_esEs13(yv10, yv110, ga, gb) new_esEs24(yv101, yv1101, ty_Char) -> new_esEs15(yv101, yv1101) new_esEs8(yv100, yv1100, app(ty_[], ee)) -> new_esEs12(yv100, yv1100, ee) new_esEs8(yv100, yv1100, ty_Double) -> new_esEs21(yv100, yv1100) new_esEs12(:(yv100, yv101), [], fh) -> False new_esEs12([], :(yv1100, yv1101), fh) -> False new_esEs13(Left(yv100), Left(yv1100), ty_Int, gb) -> new_esEs14(yv100, yv1100) new_esEs13(Right(yv100), Right(yv1100), ga, ty_Bool) -> new_esEs19(yv100, yv1100) new_esEs7(yv101, yv1101, app(ty_Ratio, db)) -> new_esEs11(yv101, yv1101, db) new_esEs25(yv100, yv1100, ty_Double) -> new_esEs21(yv100, yv1100) new_esEs13(Right(yv100), Right(yv1100), ga, ty_Ordering) -> new_esEs20(yv100, yv1100) new_esEs6(yv102, yv1102, ty_Float) -> new_esEs18(yv102, yv1102) new_esEs13(Left(yv100), Left(yv1100), ty_Integer, gb) -> new_esEs17(yv100, yv1100) new_esEs9(Just(yv100), Just(yv1100), ty_Ordering) -> new_esEs20(yv100, yv1100) new_esEs20(EQ, GT) -> False new_esEs20(GT, EQ) -> False new_esEs20(EQ, EQ) -> True new_esEs9(Just(yv100), Just(yv1100), ty_@0) -> new_esEs10(yv100, yv1100) new_esEs26(yv100, yv1100, ty_@0) -> new_esEs10(yv100, yv1100) new_esEs6(yv102, yv1102, app(ty_Maybe, bf)) -> new_esEs9(yv102, yv1102, bf) new_esEs25(yv100, yv1100, app(app(ty_Either, bdh), bea)) -> new_esEs13(yv100, yv1100, bdh, bea) new_esEs25(yv100, yv1100, ty_Float) -> new_esEs18(yv100, yv1100) new_esEs6(yv102, yv1102, app(app(ty_@2, cf), cg)) -> new_esEs16(yv102, yv1102, cf, cg) new_esEs13(Left(yv100), Right(yv1100), ga, gb) -> False new_esEs13(Right(yv100), Left(yv1100), ga, gb) -> False new_esEs13(Left(yv100), Left(yv1100), app(app(ty_@2, bag), bah), gb) -> new_esEs16(yv100, yv1100, bag, bah) new_asAs(True, yv51) -> yv51 new_esEs9(Just(yv100), Just(yv1100), ty_Bool) -> new_esEs19(yv100, yv1100) new_esEs23(yv100, yv1100, ty_Integer) -> new_esEs17(yv100, yv1100) new_esEs7(yv101, yv1101, ty_Ordering) -> new_esEs20(yv101, yv1101) new_esEs16(@2(yv100, yv101), @2(yv1100, yv1101), gc, gd) -> new_asAs(new_esEs25(yv100, yv1100, gc), new_esEs24(yv101, yv1101, gd)) new_primEqInt(Pos(Succ(yv1000)), Pos(Zero)) -> False new_primEqInt(Pos(Zero), Pos(Succ(yv11000))) -> False new_esEs21(Double(yv100, yv101), Double(yv1100, yv1101)) -> new_esEs14(new_sr(yv100, yv1101), new_sr(yv101, yv1100)) new_esEs26(yv100, yv1100, ty_Char) -> new_esEs15(yv100, yv1100) new_esEs24(yv101, yv1101, ty_@0) -> new_esEs10(yv101, yv1101) new_esEs4(yv10, yv110, ty_Float) -> new_esEs18(yv10, yv110) new_esEs26(yv100, yv1100, ty_Integer) -> new_esEs17(yv100, yv1100) new_primEqNat0(Succ(yv1000), Succ(yv11000)) -> new_primEqNat0(yv1000, yv11000) new_esEs26(yv100, yv1100, app(ty_Ratio, beh)) -> new_esEs11(yv100, yv1100, beh) new_esEs13(Left(yv100), Left(yv1100), ty_Ordering, gb) -> new_esEs20(yv100, yv1100) new_esEs9(Just(yv100), Just(yv1100), ty_Integer) -> new_esEs17(yv100, yv1100) new_esEs8(yv100, yv1100, app(ty_Maybe, ec)) -> new_esEs9(yv100, yv1100, ec) new_esEs9(Just(yv100), Just(yv1100), app(ty_Ratio, gf)) -> new_esEs11(yv100, yv1100, gf) new_esEs8(yv100, yv1100, ty_Char) -> new_esEs15(yv100, yv1100) new_esEs13(Left(yv100), Left(yv1100), ty_Char, gb) -> new_esEs15(yv100, yv1100) new_esEs24(yv101, yv1101, ty_Ordering) -> new_esEs20(yv101, yv1101) new_primMulNat0(Zero, Zero) -> Zero new_esEs4(yv10, yv110, app(ty_[], fh)) -> new_esEs12(yv10, yv110, fh) new_esEs9(Just(yv100), Just(yv1100), ty_Char) -> new_esEs15(yv100, yv1100) new_esEs7(yv101, yv1101, ty_Char) -> new_esEs15(yv101, yv1101) new_esEs4(yv10, yv110, app(app(ty_@2, gc), gd)) -> new_esEs16(yv10, yv110, gc, gd) new_esEs7(yv101, yv1101, app(app(app(ty_@3, df), dg), dh)) -> new_esEs5(yv101, yv1101, df, dg, dh) new_esEs4(yv10, yv110, ty_Integer) -> new_esEs17(yv10, yv110) new_esEs13(Left(yv100), Left(yv1100), app(app(ty_Either, bab), bac), gb) -> new_esEs13(yv100, yv1100, bab, bac) new_primEqNat0(Succ(yv1000), Zero) -> False new_primEqNat0(Zero, Succ(yv11000)) -> False new_esEs4(yv10, yv110, app(ty_Ratio, fg)) -> new_esEs11(yv10, yv110, fg) new_esEs6(yv102, yv1102, ty_Ordering) -> new_esEs20(yv102, yv1102) new_esEs25(yv100, yv1100, ty_Int) -> new_esEs14(yv100, yv1100) new_esEs13(Right(yv100), Right(yv1100), ga, ty_Char) -> new_esEs15(yv100, yv1100) new_esEs4(yv10, yv110, ty_Double) -> new_esEs21(yv10, yv110) new_esEs6(yv102, yv1102, ty_Char) -> new_esEs15(yv102, yv1102) new_esEs25(yv100, yv1100, app(app(app(ty_@3, beb), bec), bed)) -> new_esEs5(yv100, yv1100, beb, bec, bed) new_esEs4(yv10, yv110, ty_Bool) -> new_esEs19(yv10, yv110) new_esEs5(@3(yv100, yv101, yv102), @3(yv1100, yv1101, yv1102), bc, bd, be) -> new_asAs(new_esEs8(yv100, yv1100, bc), new_asAs(new_esEs7(yv101, yv1101, bd), new_esEs6(yv102, yv1102, be))) new_esEs13(Right(yv100), Right(yv1100), ga, ty_Float) -> new_esEs18(yv100, yv1100) new_esEs22(yv101, yv1101, ty_Integer) -> new_esEs17(yv101, yv1101) new_primEqInt(Neg(Succ(yv1000)), Neg(Zero)) -> False new_primEqInt(Neg(Zero), Neg(Succ(yv11000))) -> False new_esEs19(False, False) -> True new_esEs6(yv102, yv1102, app(app(ty_Either, ca), cb)) -> new_esEs13(yv102, yv1102, ca, cb) new_esEs14(yv10, yv110) -> new_primEqInt(yv10, yv110) new_primEqInt(Pos(Succ(yv1000)), Pos(Succ(yv11000))) -> new_primEqNat0(yv1000, yv11000) new_esEs26(yv100, yv1100, ty_Int) -> new_esEs14(yv100, yv1100) new_esEs24(yv101, yv1101, app(app(app(ty_@3, bch), bda), bdb)) -> new_esEs5(yv101, yv1101, bch, bda, bdb) new_esEs7(yv101, yv1101, ty_Int) -> new_esEs14(yv101, yv1101) new_esEs4(yv10, yv110, app(ty_Maybe, ff)) -> new_esEs9(yv10, yv110, ff) new_sr(Pos(yv1010), Neg(yv11000)) -> Neg(new_primMulNat0(yv1010, yv11000)) new_sr(Neg(yv1010), Pos(yv11000)) -> Neg(new_primMulNat0(yv1010, yv11000)) new_esEs4(yv10, yv110, ty_@0) -> new_esEs10(yv10, yv110) new_primPlusNat1(Succ(yv5200), Succ(yv1100000)) -> Succ(Succ(new_primPlusNat1(yv5200, yv1100000))) new_primEqInt(Pos(Succ(yv1000)), Neg(yv1100)) -> False new_primEqInt(Neg(Succ(yv1000)), Pos(yv1100)) -> False new_esEs9(Just(yv100), Just(yv1100), ty_Int) -> new_esEs14(yv100, yv1100) new_esEs26(yv100, yv1100, ty_Float) -> new_esEs18(yv100, yv1100) new_esEs9(Nothing, Just(yv1100), ff) -> False new_esEs9(Just(yv100), Nothing, ff) -> False new_esEs13(Left(yv100), Left(yv1100), app(app(app(ty_@3, bad), bae), baf), gb) -> new_esEs5(yv100, yv1100, bad, bae, baf) new_esEs9(Nothing, Nothing, ff) -> True new_esEs24(yv101, yv1101, app(app(ty_Either, bcf), bcg)) -> new_esEs13(yv101, yv1101, bcf, bcg) new_esEs6(yv102, yv1102, app(app(app(ty_@3, cc), cd), ce)) -> new_esEs5(yv102, yv1102, cc, cd, ce) new_esEs13(Right(yv100), Right(yv1100), ga, ty_Int) -> new_esEs14(yv100, yv1100) new_esEs25(yv100, yv1100, ty_Char) -> new_esEs15(yv100, yv1100) new_esEs9(Just(yv100), Just(yv1100), app(app(ty_@2, he), hf)) -> new_esEs16(yv100, yv1100, he, hf) new_esEs8(yv100, yv1100, ty_@0) -> new_esEs10(yv100, yv1100) new_esEs7(yv101, yv1101, ty_Double) -> new_esEs21(yv101, yv1101) new_esEs7(yv101, yv1101, ty_Float) -> new_esEs18(yv101, yv1101) new_esEs8(yv100, yv1100, app(ty_Ratio, ed)) -> new_esEs11(yv100, yv1100, ed) new_esEs7(yv101, yv1101, app(ty_Maybe, da)) -> new_esEs9(yv101, yv1101, da) new_esEs9(Just(yv100), Just(yv1100), app(ty_Maybe, ge)) -> new_esEs9(yv100, yv1100, ge) new_esEs26(yv100, yv1100, ty_Double) -> new_esEs21(yv100, yv1100) new_esEs13(Left(yv100), Left(yv1100), ty_Float, gb) -> new_esEs18(yv100, yv1100) new_sr(Neg(yv1010), Neg(yv11000)) -> Pos(new_primMulNat0(yv1010, yv11000)) new_esEs9(Just(yv100), Just(yv1100), ty_Float) -> new_esEs18(yv100, yv1100) new_primEqInt(Pos(Zero), Neg(Succ(yv11000))) -> False new_primEqInt(Neg(Zero), Pos(Succ(yv11000))) -> False new_esEs26(yv100, yv1100, app(app(ty_@2, bfg), bfh)) -> new_esEs16(yv100, yv1100, bfg, bfh) new_esEs13(Left(yv100), Left(yv1100), ty_Double, gb) -> new_esEs21(yv100, yv1100) new_esEs8(yv100, yv1100, ty_Int) -> new_esEs14(yv100, yv1100) new_esEs9(Just(yv100), Just(yv1100), app(app(app(ty_@3, hb), hc), hd)) -> new_esEs5(yv100, yv1100, hb, hc, hd) new_esEs20(LT, EQ) -> False new_esEs20(EQ, LT) -> False new_esEs22(yv101, yv1101, ty_Int) -> new_esEs14(yv101, yv1101) new_esEs7(yv101, yv1101, app(ty_[], dc)) -> new_esEs12(yv101, yv1101, dc) new_esEs10(@0, @0) -> True new_primEqInt(Neg(Succ(yv1000)), Neg(Succ(yv11000))) -> new_primEqNat0(yv1000, yv11000) new_primPlusNat0(Succ(yv520), yv110000) -> Succ(Succ(new_primPlusNat1(yv520, yv110000))) new_esEs6(yv102, yv1102, ty_@0) -> new_esEs10(yv102, yv1102) new_esEs8(yv100, yv1100, ty_Integer) -> new_esEs17(yv100, yv1100) new_esEs24(yv101, yv1101, ty_Bool) -> new_esEs19(yv101, yv1101) new_esEs24(yv101, yv1101, app(ty_Maybe, bcc)) -> new_esEs9(yv101, yv1101, bcc) new_esEs20(LT, GT) -> False new_esEs20(GT, LT) -> False new_esEs26(yv100, yv1100, app(ty_Maybe, beg)) -> new_esEs9(yv100, yv1100, beg) new_esEs25(yv100, yv1100, ty_Ordering) -> new_esEs20(yv100, yv1100) new_primPlusNat1(Zero, Zero) -> Zero new_primMulNat0(Succ(yv10100), Zero) -> Zero new_primMulNat0(Zero, Succ(yv110000)) -> Zero new_sr(Pos(yv1010), Pos(yv11000)) -> Pos(new_primMulNat0(yv1010, yv11000)) new_primPlusNat0(Zero, yv110000) -> Succ(yv110000) new_esEs24(yv101, yv1101, app(app(ty_@2, bdc), bdd)) -> new_esEs16(yv101, yv1101, bdc, bdd) new_esEs7(yv101, yv1101, app(app(ty_Either, dd), de)) -> new_esEs13(yv101, yv1101, dd, de) new_esEs13(Right(yv100), Right(yv1100), ga, app(app(ty_Either, bbd), bbe)) -> new_esEs13(yv100, yv1100, bbd, bbe) new_esEs13(Right(yv100), Right(yv1100), ga, ty_Double) -> new_esEs21(yv100, yv1100) new_esEs26(yv100, yv1100, app(ty_[], bfa)) -> new_esEs12(yv100, yv1100, bfa) new_esEs8(yv100, yv1100, ty_Bool) -> new_esEs19(yv100, yv1100) new_esEs9(Just(yv100), Just(yv1100), ty_Double) -> new_esEs21(yv100, yv1100) new_esEs20(LT, LT) -> True new_esEs9(Just(yv100), Just(yv1100), app(ty_[], gg)) -> new_esEs12(yv100, yv1100, gg) new_esEs6(yv102, yv1102, ty_Int) -> new_esEs14(yv102, yv1102) new_esEs26(yv100, yv1100, ty_Bool) -> new_esEs19(yv100, yv1100) new_esEs13(Right(yv100), Right(yv1100), ga, app(ty_Ratio, bbb)) -> new_esEs11(yv100, yv1100, bbb) new_esEs4(yv10, yv110, ty_Ordering) -> new_esEs20(yv10, yv110) new_primEqInt(Neg(Zero), Neg(Zero)) -> True new_esEs13(Left(yv100), Left(yv1100), app(ty_Maybe, hg), gb) -> new_esEs9(yv100, yv1100, hg) new_esEs13(Right(yv100), Right(yv1100), ga, app(ty_Maybe, bba)) -> new_esEs9(yv100, yv1100, bba) new_esEs25(yv100, yv1100, ty_Integer) -> new_esEs17(yv100, yv1100) new_esEs24(yv101, yv1101, app(ty_[], bce)) -> new_esEs12(yv101, yv1101, bce) new_primMulNat0(Succ(yv10100), Succ(yv110000)) -> new_primPlusNat0(new_primMulNat0(yv10100, Succ(yv110000)), yv110000) new_esEs7(yv101, yv1101, ty_Bool) -> new_esEs19(yv101, yv1101) new_esEs9(Just(yv100), Just(yv1100), app(app(ty_Either, gh), ha)) -> new_esEs13(yv100, yv1100, gh, ha) new_esEs13(Left(yv100), Left(yv1100), app(ty_Ratio, hh), gb) -> new_esEs11(yv100, yv1100, hh) new_esEs8(yv100, yv1100, app(app(ty_Either, ef), eg)) -> new_esEs13(yv100, yv1100, ef, eg) new_esEs24(yv101, yv1101, ty_Int) -> new_esEs14(yv101, yv1101) new_esEs26(yv100, yv1100, app(app(app(ty_@3, bfd), bfe), bff)) -> new_esEs5(yv100, yv1100, bfd, bfe, bff) new_esEs24(yv101, yv1101, app(ty_Ratio, bcd)) -> new_esEs11(yv101, yv1101, bcd) new_primPlusNat1(Succ(yv5200), Zero) -> Succ(yv5200) new_primPlusNat1(Zero, Succ(yv1100000)) -> Succ(yv1100000) new_esEs24(yv101, yv1101, ty_Integer) -> new_esEs17(yv101, yv1101) new_esEs25(yv100, yv1100, app(ty_[], bdg)) -> new_esEs12(yv100, yv1100, bdg) new_esEs24(yv101, yv1101, ty_Float) -> new_esEs18(yv101, yv1101) new_esEs12([], [], fh) -> True new_esEs7(yv101, yv1101, ty_Integer) -> new_esEs17(yv101, yv1101) new_esEs4(yv10, yv110, ty_Int) -> new_esEs14(yv10, yv110) new_primEqInt(Pos(Zero), Neg(Zero)) -> True new_primEqInt(Neg(Zero), Pos(Zero)) -> True new_esEs8(yv100, yv1100, app(app(app(ty_@3, eh), fa), fb)) -> new_esEs5(yv100, yv1100, eh, fa, fb) new_esEs6(yv102, yv1102, ty_Bool) -> new_esEs19(yv102, yv1102) new_esEs26(yv100, yv1100, app(app(ty_Either, bfb), bfc)) -> new_esEs13(yv100, yv1100, bfb, bfc) new_esEs4(yv10, yv110, app(app(app(ty_@3, bc), bd), be)) -> new_esEs5(yv10, yv110, bc, bd, be) new_esEs25(yv100, yv1100, app(ty_Maybe, bde)) -> new_esEs9(yv100, yv1100, bde) new_esEs25(yv100, yv1100, ty_@0) -> new_esEs10(yv100, yv1100) new_primEqNat0(Zero, Zero) -> True new_esEs24(yv101, yv1101, ty_Double) -> new_esEs21(yv101, yv1101) new_esEs26(yv100, yv1100, ty_Ordering) -> new_esEs20(yv100, yv1100) new_esEs25(yv100, yv1100, app(ty_Ratio, bdf)) -> new_esEs11(yv100, yv1100, bdf) new_esEs6(yv102, yv1102, app(ty_Ratio, bg)) -> new_esEs11(yv102, yv1102, bg) new_esEs11(:%(yv100, yv101), :%(yv1100, yv1101), fg) -> new_asAs(new_esEs23(yv100, yv1100, fg), new_esEs22(yv101, yv1101, fg)) new_esEs15(Char(yv100), Char(yv1100)) -> new_primEqNat0(yv100, yv1100) new_esEs13(Right(yv100), Right(yv1100), ga, ty_@0) -> new_esEs10(yv100, yv1100) new_esEs13(Left(yv100), Left(yv1100), app(ty_[], baa), gb) -> new_esEs12(yv100, yv1100, baa) new_asAs(False, yv51) -> False new_esEs25(yv100, yv1100, app(app(ty_@2, bee), bef)) -> new_esEs16(yv100, yv1100, bee, bef) new_esEs12(:(yv100, yv101), :(yv1100, yv1101), fh) -> new_asAs(new_esEs26(yv100, yv1100, fh), new_esEs12(yv101, yv1101, fh)) new_esEs20(GT, GT) -> True new_esEs13(Right(yv100), Right(yv1100), ga, app(ty_[], bbc)) -> new_esEs12(yv100, yv1100, bbc) new_esEs13(Right(yv100), Right(yv1100), ga, app(app(ty_@2, bca), bcb)) -> new_esEs16(yv100, yv1100, bca, bcb) new_esEs6(yv102, yv1102, app(ty_[], bh)) -> new_esEs12(yv102, yv1102, bh) new_esEs6(yv102, yv1102, ty_Integer) -> new_esEs17(yv102, yv1102) new_esEs8(yv100, yv1100, ty_Ordering) -> new_esEs20(yv100, yv1100) new_esEs13(Left(yv100), Left(yv1100), ty_Bool, gb) -> new_esEs19(yv100, yv1100) new_esEs6(yv102, yv1102, ty_Double) -> new_esEs21(yv102, yv1102) new_esEs7(yv101, yv1101, ty_@0) -> new_esEs10(yv101, yv1101) new_esEs7(yv101, yv1101, app(app(ty_@2, ea), eb)) -> new_esEs16(yv101, yv1101, ea, eb) new_esEs23(yv100, yv1100, ty_Int) -> new_esEs14(yv100, yv1100) new_esEs19(True, True) -> True new_esEs25(yv100, yv1100, ty_Bool) -> new_esEs19(yv100, yv1100) new_esEs4(yv10, yv110, ty_Char) -> new_esEs15(yv10, yv110) The set Q consists of the following terms: new_esEs24(x0, x1, app(ty_Maybe, x2)) new_esEs26(x0, x1, ty_Float) new_primEqNat0(Succ(x0), Succ(x1)) new_esEs7(x0, x1, ty_Double) new_esEs9(Just(x0), Just(x1), app(app(ty_@2, x2), x3)) new_esEs26(x0, x1, ty_Ordering) new_esEs9(Just(x0), Just(x1), app(ty_[], x2)) new_esEs25(x0, x1, ty_Double) new_esEs25(x0, x1, ty_Ordering) new_esEs26(x0, x1, ty_Double) new_esEs4(x0, x1, app(app(ty_@2, x2), x3)) new_esEs4(x0, x1, app(ty_Ratio, x2)) new_esEs12([], [], x0) new_esEs7(x0, x1, app(app(ty_@2, x2), x3)) new_esEs4(x0, x1, ty_Float) new_primMulNat0(Zero, Zero) new_primPlusNat1(Succ(x0), Succ(x1)) new_esEs6(x0, x1, app(ty_[], x2)) new_primPlusNat1(Zero, Zero) new_esEs12(:(x0, x1), [], x2) new_esEs24(x0, x1, app(app(ty_Either, x2), x3)) new_esEs7(x0, x1, ty_Float) new_esEs20(LT, GT) new_esEs20(GT, LT) new_esEs4(x0, x1, ty_Ordering) new_primEqInt(Neg(Succ(x0)), Neg(Zero)) new_esEs19(False, False) new_esEs24(x0, x1, ty_Char) new_asAs(True, x0) new_esEs9(Nothing, Nothing, x0) new_primEqInt(Pos(Zero), Pos(Zero)) new_esEs13(Right(x0), Right(x1), x2, ty_Bool) new_esEs13(Right(x0), Right(x1), x2, app(ty_[], x3)) new_esEs8(x0, x1, app(ty_Ratio, x2)) new_esEs8(x0, x1, ty_Integer) new_esEs13(Left(x0), Left(x1), app(ty_Ratio, x2), x3) new_esEs24(x0, x1, ty_Int) new_esEs6(x0, x1, ty_Ordering) new_primEqInt(Pos(Succ(x0)), Pos(Zero)) new_esEs23(x0, x1, ty_Int) new_esEs6(x0, x1, ty_Double) new_esEs24(x0, x1, ty_Ordering) new_esEs26(x0, x1, app(ty_Ratio, x2)) new_esEs6(x0, x1, ty_Char) new_esEs9(Just(x0), Just(x1), ty_@0) new_esEs6(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs25(x0, x1, app(ty_Ratio, x2)) new_primEqInt(Neg(Zero), Neg(Zero)) new_esEs6(x0, x1, ty_Int) new_esEs26(x0, x1, app(app(ty_@2, x2), x3)) new_esEs13(Left(x0), Left(x1), ty_Double, x2) new_esEs7(x0, x1, app(app(ty_Either, x2), x3)) new_esEs13(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5)) new_esEs26(x0, x1, ty_Int) new_esEs13(Left(x0), Left(x1), ty_Bool, x2) new_sr(Pos(x0), Neg(x1)) new_sr(Neg(x0), Pos(x1)) new_esEs20(LT, EQ) new_esEs20(EQ, LT) new_esEs4(x0, x1, app(ty_[], x2)) new_esEs6(x0, x1, app(ty_Ratio, x2)) new_esEs12(:(x0, x1), :(x2, x3), x4) new_esEs5(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8) new_primPlusNat1(Succ(x0), Zero) new_esEs24(x0, x1, ty_Float) new_esEs13(Left(x0), Left(x1), app(ty_[], x2), x3) new_esEs20(GT, GT) new_sr(Pos(x0), Pos(x1)) new_esEs4(x0, x1, ty_Integer) new_esEs8(x0, x1, ty_Float) new_esEs26(x0, x1, ty_Char) new_esEs7(x0, x1, ty_Integer) new_esEs6(x0, x1, app(ty_Maybe, x2)) new_esEs13(Right(x0), Right(x1), x2, ty_Char) new_esEs25(x0, x1, ty_Char) new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs13(Left(x0), Left(x1), ty_Ordering, x2) new_esEs4(x0, x1, app(app(ty_Either, x2), x3)) new_esEs6(x0, x1, ty_Bool) new_esEs26(x0, x1, ty_Integer) new_primPlusNat0(Succ(x0), x1) new_esEs9(Nothing, Just(x0), x1) new_primEqInt(Pos(Zero), Neg(Zero)) new_primEqInt(Neg(Zero), Pos(Zero)) new_esEs11(:%(x0, x1), :%(x2, x3), x4) new_esEs25(x0, x1, app(app(ty_@2, x2), x3)) new_esEs20(LT, LT) new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1))) new_esEs25(x0, x1, app(ty_[], x2)) new_esEs25(x0, x1, ty_Int) new_esEs24(x0, x1, app(app(ty_@2, x2), x3)) new_primMulNat0(Zero, Succ(x0)) new_esEs13(Left(x0), Left(x1), ty_Integer, x2) new_esEs13(Right(x0), Right(x1), x2, ty_Float) new_esEs14(x0, x1) new_esEs7(x0, x1, ty_Ordering) new_esEs25(x0, x1, ty_@0) new_primEqInt(Pos(Succ(x0)), Neg(x1)) new_primEqInt(Neg(Succ(x0)), Pos(x1)) new_esEs13(Right(x0), Right(x1), x2, ty_Int) new_esEs19(True, True) new_esEs13(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4)) new_esEs25(x0, x1, ty_Float) new_esEs13(Right(x0), Right(x1), x2, ty_@0) new_esEs22(x0, x1, ty_Int) new_esEs4(x0, x1, app(ty_Maybe, x2)) new_esEs6(x0, x1, ty_Integer) new_esEs26(x0, x1, app(ty_[], x2)) new_esEs26(x0, x1, ty_Bool) new_esEs7(x0, x1, ty_@0) new_esEs6(x0, x1, app(app(ty_@2, x2), x3)) new_primEqInt(Neg(Zero), Neg(Succ(x0))) new_esEs7(x0, x1, ty_Bool) new_esEs8(x0, x1, app(ty_[], x2)) new_esEs26(x0, x1, ty_@0) new_esEs24(x0, x1, ty_Integer) new_esEs7(x0, x1, app(ty_Ratio, x2)) new_esEs24(x0, x1, app(ty_Ratio, x2)) new_esEs8(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs8(x0, x1, ty_Char) new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1))) new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs13(Right(x0), Right(x1), x2, ty_Double) new_primEqInt(Pos(Zero), Neg(Succ(x0))) new_primEqInt(Neg(Zero), Pos(Succ(x0))) new_primEqInt(Pos(Zero), Pos(Succ(x0))) new_esEs4(x0, x1, ty_Bool) new_esEs13(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4)) new_esEs9(Just(x0), Just(x1), ty_Double) new_esEs13(Right(x0), Right(x1), x2, app(ty_Maybe, x3)) new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs9(Just(x0), Nothing, x1) new_esEs22(x0, x1, ty_Integer) new_esEs4(x0, x1, ty_@0) new_esEs15(Char(x0), Char(x1)) new_esEs13(Left(x0), Right(x1), x2, x3) new_esEs13(Right(x0), Left(x1), x2, x3) new_esEs25(x0, x1, app(ty_Maybe, x2)) new_esEs26(x0, x1, app(app(ty_Either, x2), x3)) new_primMulNat0(Succ(x0), Succ(x1)) new_esEs26(x0, x1, app(ty_Maybe, x2)) new_esEs9(Just(x0), Just(x1), ty_Float) new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_primEqNat0(Zero, Succ(x0)) new_esEs8(x0, x1, app(app(ty_Either, x2), x3)) new_esEs13(Left(x0), Left(x1), ty_Int, x2) new_asAs(False, x0) new_esEs23(x0, x1, ty_Integer) new_esEs8(x0, x1, ty_Int) new_esEs19(False, True) new_esEs19(True, False) new_esEs8(x0, x1, app(app(ty_@2, x2), x3)) new_esEs9(Just(x0), Just(x1), app(app(ty_Either, x2), x3)) new_esEs8(x0, x1, ty_@0) new_esEs20(EQ, GT) new_esEs20(GT, EQ) new_esEs13(Left(x0), Left(x1), ty_Char, x2) new_esEs16(@2(x0, x1), @2(x2, x3), x4, x5) new_esEs18(Float(x0, x1), Float(x2, x3)) new_esEs8(x0, x1, app(ty_Maybe, x2)) new_esEs9(Just(x0), Just(x1), ty_Ordering) new_primPlusNat0(Zero, x0) new_esEs8(x0, x1, ty_Ordering) new_esEs13(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5) new_esEs25(x0, x1, ty_Bool) new_primMulNat0(Succ(x0), Zero) new_esEs13(Right(x0), Right(x1), x2, ty_Integer) new_primEqNat0(Zero, Zero) new_esEs7(x0, x1, ty_Char) new_esEs24(x0, x1, app(ty_[], x2)) new_esEs24(x0, x1, ty_@0) new_esEs25(x0, x1, app(app(ty_Either, x2), x3)) new_esEs13(Left(x0), Left(x1), ty_Float, x2) new_esEs8(x0, x1, ty_Bool) new_esEs9(Just(x0), Just(x1), ty_Integer) new_esEs9(Just(x0), Just(x1), ty_Int) new_sr(Neg(x0), Neg(x1)) new_esEs7(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs4(x0, x1, ty_Int) new_esEs6(x0, x1, ty_@0) new_esEs13(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4) new_primPlusNat1(Zero, Succ(x0)) new_esEs13(Left(x0), Left(x1), ty_@0, x2) new_esEs9(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4)) new_esEs9(Just(x0), Just(x1), ty_Char) new_esEs9(Just(x0), Just(x1), app(ty_Maybe, x2)) new_esEs6(x0, x1, ty_Float) new_esEs24(x0, x1, ty_Double) new_esEs8(x0, x1, ty_Double) new_esEs6(x0, x1, app(app(ty_Either, x2), x3)) new_esEs13(Right(x0), Right(x1), x2, ty_Ordering) new_esEs13(Left(x0), Left(x1), app(ty_Maybe, x2), x3) new_esEs20(EQ, EQ) new_esEs25(x0, x1, ty_Integer) new_esEs7(x0, x1, app(ty_Maybe, x2)) new_esEs21(Double(x0, x1), Double(x2, x3)) new_esEs13(Right(x0), Right(x1), x2, app(ty_Ratio, x3)) new_primEqNat0(Succ(x0), Zero) new_esEs9(Just(x0), Just(x1), app(ty_Ratio, x2)) new_esEs10(@0, @0) new_esEs12([], :(x0, x1), x2) new_esEs7(x0, x1, app(ty_[], x2)) new_esEs9(Just(x0), Just(x1), ty_Bool) new_esEs13(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4) new_esEs24(x0, x1, ty_Bool) new_esEs7(x0, x1, ty_Int) new_esEs17(Integer(x0), Integer(x1)) new_esEs4(x0, x1, ty_Double) new_esEs4(x0, x1, ty_Char) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (19) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_listToMaybe(yv34, False, yv36, :(yv370, yv371), yv38, ba) -> new_listToMaybe0(yv36, yv370, new_primPlusNat0(yv38, Zero), yv371, new_primPlusNat0(yv38, Zero), ba) The graph contains the following edges 3 >= 1, 4 > 2, 4 > 4, 6 >= 6 *new_listToMaybe0(yv10, yv110, yv26, yv111, yv27, bb) -> new_listToMaybe(yv26, new_esEs4(yv10, yv110, bb), yv10, yv111, yv27, bb) The graph contains the following edges 3 >= 1, 1 >= 3, 4 >= 4, 5 >= 5, 6 >= 6 ---------------------------------------- (20) YES ---------------------------------------- (21) Obligation: Q DP problem: The TRS P consists of the following rules: new_primMulNat(Succ(yv10100), Succ(yv110000)) -> new_primMulNat(yv10100, Succ(yv110000)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (22) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primMulNat(Succ(yv10100), Succ(yv110000)) -> new_primMulNat(yv10100, Succ(yv110000)) The graph contains the following edges 1 > 1, 2 >= 2 ---------------------------------------- (23) YES ---------------------------------------- (24) Obligation: Q DP problem: The TRS P consists of the following rules: new_primEqNat(Succ(yv1000), Succ(yv11000)) -> new_primEqNat(yv1000, yv11000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (25) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primEqNat(Succ(yv1000), Succ(yv11000)) -> new_primEqNat(yv1000, yv11000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (26) YES ---------------------------------------- (27) Obligation: Q DP problem: The TRS P consists of the following rules: new_primPlusNat(Succ(yv5200), Succ(yv1100000)) -> new_primPlusNat(yv5200, yv1100000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (28) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primPlusNat(Succ(yv5200), Succ(yv1100000)) -> new_primPlusNat(yv5200, yv1100000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (29) YES