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