/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty H-Termination with start terms of the given HASKELL could be proven: (0) HASKELL (1) LR [EQUIVALENT, 0 ms] (2) HASKELL (3) CR [EQUIVALENT, 0 ms] (4) HASKELL (5) IFR [EQUIVALENT, 0 ms] (6) HASKELL (7) BR [EQUIVALENT, 17 ms] (8) HASKELL (9) COR [EQUIVALENT, 0 ms] (10) HASKELL (11) NumRed [SOUND, 0 ms] (12) HASKELL (13) Narrow [SOUND, 0 ms] (14) AND (15) QDP (16) QDPSizeChangeProof [EQUIVALENT, 7 ms] (17) YES (18) QDP (19) TransformationProof [EQUIVALENT, 0 ms] (20) QDP (21) QDPSizeChangeProof [EQUIVALENT, 0 ms] (22) YES (23) QDP (24) QDPSizeChangeProof [EQUIVALENT, 0 ms] (25) YES (26) QDP (27) QDPSizeChangeProof [EQUIVALENT, 0 ms] (28) YES (29) QDP (30) QDPSizeChangeProof [EQUIVALENT, 0 ms] (31) YES ---------------------------------------- (0) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (\vv1 ->case vv1 of { (x,i)-> if p x then i : [] else []; _-> []; } ) (zip xs (enumFrom 0)); } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (1) LR (EQUIVALENT) Lambda Reductions: The following Lambda expression "\ab->(a,b)" is transformed to "zip0 a b = (a,b); " The following Lambda expression "\vv1->case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} " is transformed to "findIndices0 p vv1 = case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} ; " ---------------------------------------- (2) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = case vv1 of { (x,i)-> if p x then i : [] else []; _-> []; } ; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (3) CR (EQUIVALENT) Case Reductions: The following Case expression "case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} " is transformed to "findIndices00 p (x,i) = if p x then i : [] else []; findIndices00 p _ = []; " ---------------------------------------- (4) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = if p x then i : [] else []; findIndices00 p _ = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (5) IFR (EQUIVALENT) If Reductions: The following If expression "if p x then i : [] else []" is transformed to "findIndices000 i True = i : []; findIndices000 i False = []; " ---------------------------------------- (6) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p _ = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (7) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (8) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p xz = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (9) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " ---------------------------------------- (10) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p xz = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (11) NumRed (SOUND) Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. ---------------------------------------- (12) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndices :: Eq a => a -> [a] -> [Int]; elemIndices x = findIndices (== x); findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero))); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p xz = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (13) Narrow (SOUND) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="List.elemIndices",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="List.elemIndices yu3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 4[label="List.elemIndices yu3 yu4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3]; 5[label="List.findIndices (yu3 ==) yu4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 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]; 7[label="concat . map (List.findIndices0 (yu3 ==))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 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]; 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]; 10[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4 (enumFrom (Pos Zero))))",fontsize=16,color="burlywood",shape="box"];2295[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];10 -> 2295[label="",style="solid", color="burlywood", weight=9]; 2295 -> 11[label="",style="solid", color="burlywood", weight=3]; 2296[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 2296[label="",style="solid", color="burlywood", weight=9]; 2296 -> 12[label="",style="solid", color="burlywood", weight=3]; 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]; 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]; 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]; 14[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="black",shape="triangle"];14 -> 16[label="",style="solid", color="black", weight=3]; 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]; 16[label="foldr (++) [] []",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3]; 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]; 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]; 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="black",shape="box"];20 -> 21[label="",style="solid", color="black", weight=3]; 21[label="(++) List.findIndices00 (yu3 ==) (zip0 yu40 (Pos Zero)) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];21 -> 22[label="",style="solid", color="black", weight=3]; 22[label="(++) List.findIndices00 (yu3 ==) (yu40,Pos Zero) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];22 -> 23[label="",style="solid", color="black", weight=3]; 23 -> 1583[label="",style="dashed", color="red", weight=0]; 23[label="(++) List.findIndices000 (Pos Zero) (yu3 == yu40) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];23 -> 1584[label="",style="dashed", color="magenta", weight=3]; 23 -> 1585[label="",style="dashed", color="magenta", weight=3]; 23 -> 1586[label="",style="dashed", color="magenta", weight=3]; 1584[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];2297[label="yu41/yu410 : yu411",fontsize=10,color="white",style="solid",shape="box"];1584 -> 2297[label="",style="solid", color="burlywood", weight=9]; 2297 -> 1609[label="",style="solid", color="burlywood", weight=3]; 2298[label="yu41/[]",fontsize=10,color="white",style="solid",shape="box"];1584 -> 2298[label="",style="solid", color="burlywood", weight=9]; 2298 -> 1610[label="",style="solid", color="burlywood", weight=3]; 1585[label="yu3 == yu40",fontsize=16,color="burlywood",shape="triangle"];2299[label="yu3/Left yu30",fontsize=10,color="white",style="solid",shape="box"];1585 -> 2299[label="",style="solid", color="burlywood", weight=9]; 2299 -> 1611[label="",style="solid", color="burlywood", weight=3]; 2300[label="yu3/Right yu30",fontsize=10,color="white",style="solid",shape="box"];1585 -> 2300[label="",style="solid", color="burlywood", weight=9]; 2300 -> 1612[label="",style="solid", color="burlywood", weight=3]; 1586[label="Zero",fontsize=16,color="green",shape="box"];1583[label="(++) List.findIndices000 (Pos yu54) yu59 yu53",fontsize=16,color="burlywood",shape="triangle"];2301[label="yu59/False",fontsize=10,color="white",style="solid",shape="box"];1583 -> 2301[label="",style="solid", color="burlywood", weight=9]; 2301 -> 1613[label="",style="solid", color="burlywood", weight=3]; 2302[label="yu59/True",fontsize=10,color="white",style="solid",shape="box"];1583 -> 2302[label="",style="solid", color="burlywood", weight=9]; 2302 -> 1614[label="",style="solid", color="burlywood", weight=3]; 1609[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1609 -> 1615[label="",style="solid", color="black", weight=3]; 1610[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1610 -> 1616[label="",style="solid", color="black", weight=3]; 1611[label="Left yu30 == yu40",fontsize=16,color="burlywood",shape="box"];2303[label="yu40/Left yu400",fontsize=10,color="white",style="solid",shape="box"];1611 -> 2303[label="",style="solid", color="burlywood", weight=9]; 2303 -> 1617[label="",style="solid", color="burlywood", weight=3]; 2304[label="yu40/Right yu400",fontsize=10,color="white",style="solid",shape="box"];1611 -> 2304[label="",style="solid", color="burlywood", weight=9]; 2304 -> 1618[label="",style="solid", color="burlywood", weight=3]; 1612[label="Right yu30 == yu40",fontsize=16,color="burlywood",shape="box"];2305[label="yu40/Left yu400",fontsize=10,color="white",style="solid",shape="box"];1612 -> 2305[label="",style="solid", color="burlywood", weight=9]; 2305 -> 1619[label="",style="solid", color="burlywood", weight=3]; 2306[label="yu40/Right yu400",fontsize=10,color="white",style="solid",shape="box"];1612 -> 2306[label="",style="solid", color="burlywood", weight=9]; 2306 -> 1620[label="",style="solid", color="burlywood", weight=3]; 1613[label="(++) List.findIndices000 (Pos yu54) False yu53",fontsize=16,color="black",shape="box"];1613 -> 1621[label="",style="solid", color="black", weight=3]; 1614[label="(++) List.findIndices000 (Pos yu54) True yu53",fontsize=16,color="black",shape="box"];1614 -> 1622[label="",style="solid", color="black", weight=3]; 1615 -> 2235[label="",style="dashed", color="red", weight=0]; 1615[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (Pos Zero + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1615 -> 2236[label="",style="dashed", color="magenta", weight=3]; 1615 -> 2237[label="",style="dashed", color="magenta", weight=3]; 1615 -> 2238[label="",style="dashed", color="magenta", weight=3]; 1615 -> 2239[label="",style="dashed", color="magenta", weight=3]; 1616 -> 14[label="",style="dashed", color="red", weight=0]; 1616[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="magenta"];1617[label="Left yu30 == Left yu400",fontsize=16,color="black",shape="box"];1617 -> 1624[label="",style="solid", color="black", weight=3]; 1618[label="Left yu30 == Right yu400",fontsize=16,color="black",shape="box"];1618 -> 1625[label="",style="solid", color="black", weight=3]; 1619[label="Right yu30 == Left yu400",fontsize=16,color="black",shape="box"];1619 -> 1626[label="",style="solid", color="black", weight=3]; 1620[label="Right yu30 == Right yu400",fontsize=16,color="black",shape="box"];1620 -> 1627[label="",style="solid", color="black", weight=3]; 1621[label="(++) [] yu53",fontsize=16,color="black",shape="triangle"];1621 -> 1628[label="",style="solid", color="black", weight=3]; 1622[label="(++) (Pos yu54 : []) yu53",fontsize=16,color="black",shape="box"];1622 -> 1629[label="",style="solid", color="black", weight=3]; 2236[label="yu410",fontsize=16,color="green",shape="box"];2237[label="Zero",fontsize=16,color="green",shape="box"];2238[label="Zero",fontsize=16,color="green",shape="box"];2239[label="yu411",fontsize=16,color="green",shape="box"];2235[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu73 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu74 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="triangle"];2235 -> 2242[label="",style="solid", color="black", weight=3]; 1624[label="yu30 == yu400",fontsize=16,color="blue",shape="box"];2307[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2307[label="",style="solid", color="blue", weight=9]; 2307 -> 1631[label="",style="solid", color="blue", weight=3]; 2308[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2308[label="",style="solid", color="blue", weight=9]; 2308 -> 1632[label="",style="solid", color="blue", weight=3]; 2309[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2309[label="",style="solid", color="blue", weight=9]; 2309 -> 1633[label="",style="solid", color="blue", weight=3]; 2310[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2310[label="",style="solid", color="blue", weight=9]; 2310 -> 1634[label="",style="solid", color="blue", weight=3]; 2311[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2311[label="",style="solid", color="blue", weight=9]; 2311 -> 1635[label="",style="solid", color="blue", weight=3]; 2312[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2312[label="",style="solid", color="blue", weight=9]; 2312 -> 1636[label="",style="solid", color="blue", weight=3]; 2313[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2313[label="",style="solid", color="blue", weight=9]; 2313 -> 1637[label="",style="solid", color="blue", weight=3]; 2314[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2314[label="",style="solid", color="blue", weight=9]; 2314 -> 1638[label="",style="solid", color="blue", weight=3]; 2315[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2315[label="",style="solid", color="blue", weight=9]; 2315 -> 1639[label="",style="solid", color="blue", weight=3]; 2316[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2316[label="",style="solid", color="blue", weight=9]; 2316 -> 1640[label="",style="solid", color="blue", weight=3]; 2317[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2317[label="",style="solid", color="blue", weight=9]; 2317 -> 1641[label="",style="solid", color="blue", weight=3]; 2318[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2318[label="",style="solid", color="blue", weight=9]; 2318 -> 1642[label="",style="solid", color="blue", weight=3]; 2319[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2319[label="",style="solid", color="blue", weight=9]; 2319 -> 1643[label="",style="solid", color="blue", weight=3]; 2320[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1624 -> 2320[label="",style="solid", color="blue", weight=9]; 2320 -> 1644[label="",style="solid", color="blue", weight=3]; 1625[label="False",fontsize=16,color="green",shape="box"];1626[label="False",fontsize=16,color="green",shape="box"];1627[label="yu30 == yu400",fontsize=16,color="blue",shape="box"];2321[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2321[label="",style="solid", color="blue", weight=9]; 2321 -> 1645[label="",style="solid", color="blue", weight=3]; 2322[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2322[label="",style="solid", color="blue", weight=9]; 2322 -> 1646[label="",style="solid", color="blue", weight=3]; 2323[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2323[label="",style="solid", color="blue", weight=9]; 2323 -> 1647[label="",style="solid", color="blue", weight=3]; 2324[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2324[label="",style="solid", color="blue", weight=9]; 2324 -> 1648[label="",style="solid", color="blue", weight=3]; 2325[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2325[label="",style="solid", color="blue", weight=9]; 2325 -> 1649[label="",style="solid", color="blue", weight=3]; 2326[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2326[label="",style="solid", color="blue", weight=9]; 2326 -> 1650[label="",style="solid", color="blue", weight=3]; 2327[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2327[label="",style="solid", color="blue", weight=9]; 2327 -> 1651[label="",style="solid", color="blue", weight=3]; 2328[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2328[label="",style="solid", color="blue", weight=9]; 2328 -> 1652[label="",style="solid", color="blue", weight=3]; 2329[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2329[label="",style="solid", color="blue", weight=9]; 2329 -> 1653[label="",style="solid", color="blue", weight=3]; 2330[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2330[label="",style="solid", color="blue", weight=9]; 2330 -> 1654[label="",style="solid", color="blue", weight=3]; 2331[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2331[label="",style="solid", color="blue", weight=9]; 2331 -> 1655[label="",style="solid", color="blue", weight=3]; 2332[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2332[label="",style="solid", color="blue", weight=9]; 2332 -> 1656[label="",style="solid", color="blue", weight=3]; 2333[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2333[label="",style="solid", color="blue", weight=9]; 2333 -> 1657[label="",style="solid", color="blue", weight=3]; 2334[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1627 -> 2334[label="",style="solid", color="blue", weight=9]; 2334 -> 1658[label="",style="solid", color="blue", weight=3]; 1628[label="yu53",fontsize=16,color="green",shape="box"];1629[label="Pos yu54 : [] ++ yu53",fontsize=16,color="green",shape="box"];1629 -> 1659[label="",style="dashed", color="green", weight=3]; 2242[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu73 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yu74 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];2242 -> 2245[label="",style="solid", color="black", weight=3]; 1631[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1631 -> 1661[label="",style="solid", color="black", weight=3]; 1632[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2335[label="yu30/Integer yu300",fontsize=10,color="white",style="solid",shape="box"];1632 -> 2335[label="",style="solid", color="burlywood", weight=9]; 2335 -> 1662[label="",style="solid", color="burlywood", weight=3]; 1633[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2336[label="yu30/False",fontsize=10,color="white",style="solid",shape="box"];1633 -> 2336[label="",style="solid", color="burlywood", weight=9]; 2336 -> 1663[label="",style="solid", color="burlywood", weight=3]; 2337[label="yu30/True",fontsize=10,color="white",style="solid",shape="box"];1633 -> 2337[label="",style="solid", color="burlywood", weight=9]; 2337 -> 1664[label="",style="solid", color="burlywood", weight=3]; 1634[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2338[label="yu30/Nothing",fontsize=10,color="white",style="solid",shape="box"];1634 -> 2338[label="",style="solid", color="burlywood", weight=9]; 2338 -> 1665[label="",style="solid", color="burlywood", weight=3]; 2339[label="yu30/Just yu300",fontsize=10,color="white",style="solid",shape="box"];1634 -> 2339[label="",style="solid", color="burlywood", weight=9]; 2339 -> 1666[label="",style="solid", color="burlywood", weight=3]; 1635[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1635 -> 1667[label="",style="solid", color="black", weight=3]; 1636[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2340[label="yu30/yu300 :% yu301",fontsize=10,color="white",style="solid",shape="box"];1636 -> 2340[label="",style="solid", color="burlywood", weight=9]; 2340 -> 1668[label="",style="solid", color="burlywood", weight=3]; 1637[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2341[label="yu30/(yu300,yu301)",fontsize=10,color="white",style="solid",shape="box"];1637 -> 2341[label="",style="solid", color="burlywood", weight=9]; 2341 -> 1669[label="",style="solid", color="burlywood", weight=3]; 1638[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2342[label="yu30/()",fontsize=10,color="white",style="solid",shape="box"];1638 -> 2342[label="",style="solid", color="burlywood", weight=9]; 2342 -> 1670[label="",style="solid", color="burlywood", weight=3]; 1639[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2343[label="yu30/yu300 : yu301",fontsize=10,color="white",style="solid",shape="box"];1639 -> 2343[label="",style="solid", color="burlywood", weight=9]; 2343 -> 1671[label="",style="solid", color="burlywood", weight=3]; 2344[label="yu30/[]",fontsize=10,color="white",style="solid",shape="box"];1639 -> 2344[label="",style="solid", color="burlywood", weight=9]; 2344 -> 1672[label="",style="solid", color="burlywood", weight=3]; 1640[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2345[label="yu30/(yu300,yu301,yu302)",fontsize=10,color="white",style="solid",shape="box"];1640 -> 2345[label="",style="solid", color="burlywood", weight=9]; 2345 -> 1673[label="",style="solid", color="burlywood", weight=3]; 1641[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2346[label="yu30/LT",fontsize=10,color="white",style="solid",shape="box"];1641 -> 2346[label="",style="solid", color="burlywood", weight=9]; 2346 -> 1674[label="",style="solid", color="burlywood", weight=3]; 2347[label="yu30/EQ",fontsize=10,color="white",style="solid",shape="box"];1641 -> 2347[label="",style="solid", color="burlywood", weight=9]; 2347 -> 1675[label="",style="solid", color="burlywood", weight=3]; 2348[label="yu30/GT",fontsize=10,color="white",style="solid",shape="box"];1641 -> 2348[label="",style="solid", color="burlywood", weight=9]; 2348 -> 1676[label="",style="solid", color="burlywood", weight=3]; 1642[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1642 -> 1677[label="",style="solid", color="black", weight=3]; 1643 -> 1585[label="",style="dashed", color="red", weight=0]; 1643[label="yu30 == yu400",fontsize=16,color="magenta"];1643 -> 1678[label="",style="dashed", color="magenta", weight=3]; 1643 -> 1679[label="",style="dashed", color="magenta", weight=3]; 1644[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1644 -> 1680[label="",style="solid", color="black", weight=3]; 1645 -> 1631[label="",style="dashed", color="red", weight=0]; 1645[label="yu30 == yu400",fontsize=16,color="magenta"];1645 -> 1681[label="",style="dashed", color="magenta", weight=3]; 1645 -> 1682[label="",style="dashed", color="magenta", weight=3]; 1646 -> 1632[label="",style="dashed", color="red", weight=0]; 1646[label="yu30 == yu400",fontsize=16,color="magenta"];1646 -> 1683[label="",style="dashed", color="magenta", weight=3]; 1646 -> 1684[label="",style="dashed", color="magenta", weight=3]; 1647 -> 1633[label="",style="dashed", color="red", weight=0]; 1647[label="yu30 == yu400",fontsize=16,color="magenta"];1647 -> 1685[label="",style="dashed", color="magenta", weight=3]; 1647 -> 1686[label="",style="dashed", color="magenta", weight=3]; 1648 -> 1634[label="",style="dashed", color="red", weight=0]; 1648[label="yu30 == yu400",fontsize=16,color="magenta"];1648 -> 1687[label="",style="dashed", color="magenta", weight=3]; 1648 -> 1688[label="",style="dashed", color="magenta", weight=3]; 1649 -> 1635[label="",style="dashed", color="red", weight=0]; 1649[label="yu30 == yu400",fontsize=16,color="magenta"];1649 -> 1689[label="",style="dashed", color="magenta", weight=3]; 1649 -> 1690[label="",style="dashed", color="magenta", weight=3]; 1650 -> 1636[label="",style="dashed", color="red", weight=0]; 1650[label="yu30 == yu400",fontsize=16,color="magenta"];1650 -> 1691[label="",style="dashed", color="magenta", weight=3]; 1650 -> 1692[label="",style="dashed", color="magenta", weight=3]; 1651 -> 1637[label="",style="dashed", color="red", weight=0]; 1651[label="yu30 == yu400",fontsize=16,color="magenta"];1651 -> 1693[label="",style="dashed", color="magenta", weight=3]; 1651 -> 1694[label="",style="dashed", color="magenta", weight=3]; 1652 -> 1638[label="",style="dashed", color="red", weight=0]; 1652[label="yu30 == yu400",fontsize=16,color="magenta"];1652 -> 1695[label="",style="dashed", color="magenta", weight=3]; 1652 -> 1696[label="",style="dashed", color="magenta", weight=3]; 1653 -> 1639[label="",style="dashed", color="red", weight=0]; 1653[label="yu30 == yu400",fontsize=16,color="magenta"];1653 -> 1697[label="",style="dashed", color="magenta", weight=3]; 1653 -> 1698[label="",style="dashed", color="magenta", weight=3]; 1654 -> 1640[label="",style="dashed", color="red", weight=0]; 1654[label="yu30 == yu400",fontsize=16,color="magenta"];1654 -> 1699[label="",style="dashed", color="magenta", weight=3]; 1654 -> 1700[label="",style="dashed", color="magenta", weight=3]; 1655 -> 1641[label="",style="dashed", color="red", weight=0]; 1655[label="yu30 == yu400",fontsize=16,color="magenta"];1655 -> 1701[label="",style="dashed", color="magenta", weight=3]; 1655 -> 1702[label="",style="dashed", color="magenta", weight=3]; 1656 -> 1642[label="",style="dashed", color="red", weight=0]; 1656[label="yu30 == yu400",fontsize=16,color="magenta"];1656 -> 1703[label="",style="dashed", color="magenta", weight=3]; 1656 -> 1704[label="",style="dashed", color="magenta", weight=3]; 1657 -> 1585[label="",style="dashed", color="red", weight=0]; 1657[label="yu30 == yu400",fontsize=16,color="magenta"];1657 -> 1705[label="",style="dashed", color="magenta", weight=3]; 1657 -> 1706[label="",style="dashed", color="magenta", weight=3]; 1658 -> 1644[label="",style="dashed", color="red", weight=0]; 1658[label="yu30 == yu400",fontsize=16,color="magenta"];1658 -> 1707[label="",style="dashed", color="magenta", weight=3]; 1658 -> 1708[label="",style="dashed", color="magenta", weight=3]; 1659 -> 1621[label="",style="dashed", color="red", weight=0]; 1659[label="[] ++ yu53",fontsize=16,color="magenta"];2245[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu73) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yu74) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];2245 -> 2250[label="",style="solid", color="black", weight=3]; 1661[label="primEqChar yu30 yu400",fontsize=16,color="burlywood",shape="box"];2349[label="yu30/Char yu300",fontsize=10,color="white",style="solid",shape="box"];1661 -> 2349[label="",style="solid", color="burlywood", weight=9]; 2349 -> 1710[label="",style="solid", color="burlywood", weight=3]; 1662[label="Integer yu300 == yu400",fontsize=16,color="burlywood",shape="box"];2350[label="yu400/Integer yu4000",fontsize=10,color="white",style="solid",shape="box"];1662 -> 2350[label="",style="solid", color="burlywood", weight=9]; 2350 -> 1711[label="",style="solid", color="burlywood", weight=3]; 1663[label="False == yu400",fontsize=16,color="burlywood",shape="box"];2351[label="yu400/False",fontsize=10,color="white",style="solid",shape="box"];1663 -> 2351[label="",style="solid", color="burlywood", weight=9]; 2351 -> 1712[label="",style="solid", color="burlywood", weight=3]; 2352[label="yu400/True",fontsize=10,color="white",style="solid",shape="box"];1663 -> 2352[label="",style="solid", color="burlywood", weight=9]; 2352 -> 1713[label="",style="solid", color="burlywood", weight=3]; 1664[label="True == yu400",fontsize=16,color="burlywood",shape="box"];2353[label="yu400/False",fontsize=10,color="white",style="solid",shape="box"];1664 -> 2353[label="",style="solid", color="burlywood", weight=9]; 2353 -> 1714[label="",style="solid", color="burlywood", weight=3]; 2354[label="yu400/True",fontsize=10,color="white",style="solid",shape="box"];1664 -> 2354[label="",style="solid", color="burlywood", weight=9]; 2354 -> 1715[label="",style="solid", color="burlywood", weight=3]; 1665[label="Nothing == yu400",fontsize=16,color="burlywood",shape="box"];2355[label="yu400/Nothing",fontsize=10,color="white",style="solid",shape="box"];1665 -> 2355[label="",style="solid", color="burlywood", weight=9]; 2355 -> 1716[label="",style="solid", color="burlywood", weight=3]; 2356[label="yu400/Just yu4000",fontsize=10,color="white",style="solid",shape="box"];1665 -> 2356[label="",style="solid", color="burlywood", weight=9]; 2356 -> 1717[label="",style="solid", color="burlywood", weight=3]; 1666[label="Just yu300 == yu400",fontsize=16,color="burlywood",shape="box"];2357[label="yu400/Nothing",fontsize=10,color="white",style="solid",shape="box"];1666 -> 2357[label="",style="solid", color="burlywood", weight=9]; 2357 -> 1718[label="",style="solid", color="burlywood", weight=3]; 2358[label="yu400/Just yu4000",fontsize=10,color="white",style="solid",shape="box"];1666 -> 2358[label="",style="solid", color="burlywood", weight=9]; 2358 -> 1719[label="",style="solid", color="burlywood", weight=3]; 1667[label="primEqFloat yu30 yu400",fontsize=16,color="burlywood",shape="box"];2359[label="yu30/Float yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1667 -> 2359[label="",style="solid", color="burlywood", weight=9]; 2359 -> 1720[label="",style="solid", color="burlywood", weight=3]; 1668[label="yu300 :% yu301 == yu400",fontsize=16,color="burlywood",shape="box"];2360[label="yu400/yu4000 :% yu4001",fontsize=10,color="white",style="solid",shape="box"];1668 -> 2360[label="",style="solid", color="burlywood", weight=9]; 2360 -> 1721[label="",style="solid", color="burlywood", weight=3]; 1669[label="(yu300,yu301) == yu400",fontsize=16,color="burlywood",shape="box"];2361[label="yu400/(yu4000,yu4001)",fontsize=10,color="white",style="solid",shape="box"];1669 -> 2361[label="",style="solid", color="burlywood", weight=9]; 2361 -> 1722[label="",style="solid", color="burlywood", weight=3]; 1670[label="() == yu400",fontsize=16,color="burlywood",shape="box"];2362[label="yu400/()",fontsize=10,color="white",style="solid",shape="box"];1670 -> 2362[label="",style="solid", color="burlywood", weight=9]; 2362 -> 1723[label="",style="solid", color="burlywood", weight=3]; 1671[label="yu300 : yu301 == yu400",fontsize=16,color="burlywood",shape="box"];2363[label="yu400/yu4000 : yu4001",fontsize=10,color="white",style="solid",shape="box"];1671 -> 2363[label="",style="solid", color="burlywood", weight=9]; 2363 -> 1724[label="",style="solid", color="burlywood", weight=3]; 2364[label="yu400/[]",fontsize=10,color="white",style="solid",shape="box"];1671 -> 2364[label="",style="solid", color="burlywood", weight=9]; 2364 -> 1725[label="",style="solid", color="burlywood", weight=3]; 1672[label="[] == yu400",fontsize=16,color="burlywood",shape="box"];2365[label="yu400/yu4000 : yu4001",fontsize=10,color="white",style="solid",shape="box"];1672 -> 2365[label="",style="solid", color="burlywood", weight=9]; 2365 -> 1726[label="",style="solid", color="burlywood", weight=3]; 2366[label="yu400/[]",fontsize=10,color="white",style="solid",shape="box"];1672 -> 2366[label="",style="solid", color="burlywood", weight=9]; 2366 -> 1727[label="",style="solid", color="burlywood", weight=3]; 1673[label="(yu300,yu301,yu302) == yu400",fontsize=16,color="burlywood",shape="box"];2367[label="yu400/(yu4000,yu4001,yu4002)",fontsize=10,color="white",style="solid",shape="box"];1673 -> 2367[label="",style="solid", color="burlywood", weight=9]; 2367 -> 1728[label="",style="solid", color="burlywood", weight=3]; 1674[label="LT == yu400",fontsize=16,color="burlywood",shape="box"];2368[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1674 -> 2368[label="",style="solid", color="burlywood", weight=9]; 2368 -> 1729[label="",style="solid", color="burlywood", weight=3]; 2369[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1674 -> 2369[label="",style="solid", color="burlywood", weight=9]; 2369 -> 1730[label="",style="solid", color="burlywood", weight=3]; 2370[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1674 -> 2370[label="",style="solid", color="burlywood", weight=9]; 2370 -> 1731[label="",style="solid", color="burlywood", weight=3]; 1675[label="EQ == yu400",fontsize=16,color="burlywood",shape="box"];2371[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1675 -> 2371[label="",style="solid", color="burlywood", weight=9]; 2371 -> 1732[label="",style="solid", color="burlywood", weight=3]; 2372[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1675 -> 2372[label="",style="solid", color="burlywood", weight=9]; 2372 -> 1733[label="",style="solid", color="burlywood", weight=3]; 2373[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1675 -> 2373[label="",style="solid", color="burlywood", weight=9]; 2373 -> 1734[label="",style="solid", color="burlywood", weight=3]; 1676[label="GT == yu400",fontsize=16,color="burlywood",shape="box"];2374[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1676 -> 2374[label="",style="solid", color="burlywood", weight=9]; 2374 -> 1735[label="",style="solid", color="burlywood", weight=3]; 2375[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1676 -> 2375[label="",style="solid", color="burlywood", weight=9]; 2375 -> 1736[label="",style="solid", color="burlywood", weight=3]; 2376[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1676 -> 2376[label="",style="solid", color="burlywood", weight=9]; 2376 -> 1737[label="",style="solid", color="burlywood", weight=3]; 1677[label="primEqDouble yu30 yu400",fontsize=16,color="burlywood",shape="box"];2377[label="yu30/Double yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1677 -> 2377[label="",style="solid", color="burlywood", weight=9]; 2377 -> 1738[label="",style="solid", color="burlywood", weight=3]; 1678[label="yu400",fontsize=16,color="green",shape="box"];1679[label="yu30",fontsize=16,color="green",shape="box"];1680[label="primEqInt yu30 yu400",fontsize=16,color="burlywood",shape="triangle"];2378[label="yu30/Pos yu300",fontsize=10,color="white",style="solid",shape="box"];1680 -> 2378[label="",style="solid", color="burlywood", weight=9]; 2378 -> 1739[label="",style="solid", color="burlywood", weight=3]; 2379[label="yu30/Neg yu300",fontsize=10,color="white",style="solid",shape="box"];1680 -> 2379[label="",style="solid", color="burlywood", weight=9]; 2379 -> 1740[label="",style="solid", color="burlywood", weight=3]; 1681[label="yu400",fontsize=16,color="green",shape="box"];1682[label="yu30",fontsize=16,color="green",shape="box"];1683[label="yu400",fontsize=16,color="green",shape="box"];1684[label="yu30",fontsize=16,color="green",shape="box"];1685[label="yu400",fontsize=16,color="green",shape="box"];1686[label="yu30",fontsize=16,color="green",shape="box"];1687[label="yu400",fontsize=16,color="green",shape="box"];1688[label="yu30",fontsize=16,color="green",shape="box"];1689[label="yu400",fontsize=16,color="green",shape="box"];1690[label="yu30",fontsize=16,color="green",shape="box"];1691[label="yu400",fontsize=16,color="green",shape="box"];1692[label="yu30",fontsize=16,color="green",shape="box"];1693[label="yu400",fontsize=16,color="green",shape="box"];1694[label="yu30",fontsize=16,color="green",shape="box"];1695[label="yu400",fontsize=16,color="green",shape="box"];1696[label="yu30",fontsize=16,color="green",shape="box"];1697[label="yu400",fontsize=16,color="green",shape="box"];1698[label="yu30",fontsize=16,color="green",shape="box"];1699[label="yu400",fontsize=16,color="green",shape="box"];1700[label="yu30",fontsize=16,color="green",shape="box"];1701[label="yu400",fontsize=16,color="green",shape="box"];1702[label="yu30",fontsize=16,color="green",shape="box"];1703[label="yu400",fontsize=16,color="green",shape="box"];1704[label="yu30",fontsize=16,color="green",shape="box"];1705[label="yu400",fontsize=16,color="green",shape="box"];1706[label="yu30",fontsize=16,color="green",shape="box"];1707[label="yu400",fontsize=16,color="green",shape="box"];1708[label="yu30",fontsize=16,color="green",shape="box"];2250[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu73) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yu74) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];2250 -> 2253[label="",style="solid", color="black", weight=3]; 1710[label="primEqChar (Char yu300) yu400",fontsize=16,color="burlywood",shape="box"];2380[label="yu400/Char yu4000",fontsize=10,color="white",style="solid",shape="box"];1710 -> 2380[label="",style="solid", color="burlywood", weight=9]; 2380 -> 1742[label="",style="solid", color="burlywood", weight=3]; 1711[label="Integer yu300 == Integer yu4000",fontsize=16,color="black",shape="box"];1711 -> 1743[label="",style="solid", color="black", weight=3]; 1712[label="False == False",fontsize=16,color="black",shape="box"];1712 -> 1744[label="",style="solid", color="black", weight=3]; 1713[label="False == True",fontsize=16,color="black",shape="box"];1713 -> 1745[label="",style="solid", color="black", weight=3]; 1714[label="True == False",fontsize=16,color="black",shape="box"];1714 -> 1746[label="",style="solid", color="black", weight=3]; 1715[label="True == True",fontsize=16,color="black",shape="box"];1715 -> 1747[label="",style="solid", color="black", weight=3]; 1716[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];1716 -> 1748[label="",style="solid", color="black", weight=3]; 1717[label="Nothing == Just yu4000",fontsize=16,color="black",shape="box"];1717 -> 1749[label="",style="solid", color="black", weight=3]; 1718[label="Just yu300 == Nothing",fontsize=16,color="black",shape="box"];1718 -> 1750[label="",style="solid", color="black", weight=3]; 1719[label="Just yu300 == Just yu4000",fontsize=16,color="black",shape="box"];1719 -> 1751[label="",style="solid", color="black", weight=3]; 1720[label="primEqFloat (Float yu300 yu301) yu400",fontsize=16,color="burlywood",shape="box"];2381[label="yu400/Float yu4000 yu4001",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2381[label="",style="solid", color="burlywood", weight=9]; 2381 -> 1752[label="",style="solid", color="burlywood", weight=3]; 1721[label="yu300 :% yu301 == yu4000 :% yu4001",fontsize=16,color="black",shape="box"];1721 -> 1753[label="",style="solid", color="black", weight=3]; 1722[label="(yu300,yu301) == (yu4000,yu4001)",fontsize=16,color="black",shape="box"];1722 -> 1754[label="",style="solid", color="black", weight=3]; 1723[label="() == ()",fontsize=16,color="black",shape="box"];1723 -> 1755[label="",style="solid", color="black", weight=3]; 1724[label="yu300 : yu301 == yu4000 : yu4001",fontsize=16,color="black",shape="box"];1724 -> 1756[label="",style="solid", color="black", weight=3]; 1725[label="yu300 : yu301 == []",fontsize=16,color="black",shape="box"];1725 -> 1757[label="",style="solid", color="black", weight=3]; 1726[label="[] == yu4000 : yu4001",fontsize=16,color="black",shape="box"];1726 -> 1758[label="",style="solid", color="black", weight=3]; 1727[label="[] == []",fontsize=16,color="black",shape="box"];1727 -> 1759[label="",style="solid", color="black", weight=3]; 1728[label="(yu300,yu301,yu302) == (yu4000,yu4001,yu4002)",fontsize=16,color="black",shape="box"];1728 -> 1760[label="",style="solid", color="black", weight=3]; 1729[label="LT == LT",fontsize=16,color="black",shape="box"];1729 -> 1761[label="",style="solid", color="black", weight=3]; 1730[label="LT == EQ",fontsize=16,color="black",shape="box"];1730 -> 1762[label="",style="solid", color="black", weight=3]; 1731[label="LT == GT",fontsize=16,color="black",shape="box"];1731 -> 1763[label="",style="solid", color="black", weight=3]; 1732[label="EQ == LT",fontsize=16,color="black",shape="box"];1732 -> 1764[label="",style="solid", color="black", weight=3]; 1733[label="EQ == EQ",fontsize=16,color="black",shape="box"];1733 -> 1765[label="",style="solid", color="black", weight=3]; 1734[label="EQ == GT",fontsize=16,color="black",shape="box"];1734 -> 1766[label="",style="solid", color="black", weight=3]; 1735[label="GT == LT",fontsize=16,color="black",shape="box"];1735 -> 1767[label="",style="solid", color="black", weight=3]; 1736[label="GT == EQ",fontsize=16,color="black",shape="box"];1736 -> 1768[label="",style="solid", color="black", weight=3]; 1737[label="GT == GT",fontsize=16,color="black",shape="box"];1737 -> 1769[label="",style="solid", color="black", weight=3]; 1738[label="primEqDouble (Double yu300 yu301) yu400",fontsize=16,color="burlywood",shape="box"];2382[label="yu400/Double yu4000 yu4001",fontsize=10,color="white",style="solid",shape="box"];1738 -> 2382[label="",style="solid", color="burlywood", weight=9]; 2382 -> 1770[label="",style="solid", color="burlywood", weight=3]; 1739[label="primEqInt (Pos yu300) yu400",fontsize=16,color="burlywood",shape="box"];2383[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1739 -> 2383[label="",style="solid", color="burlywood", weight=9]; 2383 -> 1771[label="",style="solid", color="burlywood", weight=3]; 2384[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1739 -> 2384[label="",style="solid", color="burlywood", weight=9]; 2384 -> 1772[label="",style="solid", color="burlywood", weight=3]; 1740[label="primEqInt (Neg yu300) yu400",fontsize=16,color="burlywood",shape="box"];2385[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1740 -> 2385[label="",style="solid", color="burlywood", weight=9]; 2385 -> 1773[label="",style="solid", color="burlywood", weight=3]; 2386[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1740 -> 2386[label="",style="solid", color="burlywood", weight=9]; 2386 -> 1774[label="",style="solid", color="burlywood", weight=3]; 2253 -> 2255[label="",style="dashed", color="red", weight=0]; 2253[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos (primPlusNat yu73 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yu73 (Succ Zero)))))))",fontsize=16,color="magenta"];2253 -> 2256[label="",style="dashed", color="magenta", weight=3]; 2253 -> 2257[label="",style="dashed", color="magenta", weight=3]; 1742[label="primEqChar (Char yu300) (Char yu4000)",fontsize=16,color="black",shape="box"];1742 -> 1776[label="",style="solid", color="black", weight=3]; 1743 -> 1680[label="",style="dashed", color="red", weight=0]; 1743[label="primEqInt yu300 yu4000",fontsize=16,color="magenta"];1743 -> 1777[label="",style="dashed", color="magenta", weight=3]; 1743 -> 1778[label="",style="dashed", color="magenta", weight=3]; 1744[label="True",fontsize=16,color="green",shape="box"];1745[label="False",fontsize=16,color="green",shape="box"];1746[label="False",fontsize=16,color="green",shape="box"];1747[label="True",fontsize=16,color="green",shape="box"];1748[label="True",fontsize=16,color="green",shape="box"];1749[label="False",fontsize=16,color="green",shape="box"];1750[label="False",fontsize=16,color="green",shape="box"];1751[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2387[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2387[label="",style="solid", color="blue", weight=9]; 2387 -> 1779[label="",style="solid", color="blue", weight=3]; 2388[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2388[label="",style="solid", color="blue", weight=9]; 2388 -> 1780[label="",style="solid", color="blue", weight=3]; 2389[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2389[label="",style="solid", color="blue", weight=9]; 2389 -> 1781[label="",style="solid", color="blue", weight=3]; 2390[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2390[label="",style="solid", color="blue", weight=9]; 2390 -> 1782[label="",style="solid", color="blue", weight=3]; 2391[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2391[label="",style="solid", color="blue", weight=9]; 2391 -> 1783[label="",style="solid", color="blue", weight=3]; 2392[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2392[label="",style="solid", color="blue", weight=9]; 2392 -> 1784[label="",style="solid", color="blue", weight=3]; 2393[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2393[label="",style="solid", color="blue", weight=9]; 2393 -> 1785[label="",style="solid", color="blue", weight=3]; 2394[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2394[label="",style="solid", color="blue", weight=9]; 2394 -> 1786[label="",style="solid", color="blue", weight=3]; 2395[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2395[label="",style="solid", color="blue", weight=9]; 2395 -> 1787[label="",style="solid", color="blue", weight=3]; 2396[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2396[label="",style="solid", color="blue", weight=9]; 2396 -> 1788[label="",style="solid", color="blue", weight=3]; 2397[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2397[label="",style="solid", color="blue", weight=9]; 2397 -> 1789[label="",style="solid", color="blue", weight=3]; 2398[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2398[label="",style="solid", color="blue", weight=9]; 2398 -> 1790[label="",style="solid", color="blue", weight=3]; 2399[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2399[label="",style="solid", color="blue", weight=9]; 2399 -> 1791[label="",style="solid", color="blue", weight=3]; 2400[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1751 -> 2400[label="",style="solid", color="blue", weight=9]; 2400 -> 1792[label="",style="solid", color="blue", weight=3]; 1752[label="primEqFloat (Float yu300 yu301) (Float yu4000 yu4001)",fontsize=16,color="black",shape="box"];1752 -> 1793[label="",style="solid", color="black", weight=3]; 1753 -> 1859[label="",style="dashed", color="red", weight=0]; 1753[label="yu300 == yu4000 && yu301 == yu4001",fontsize=16,color="magenta"];1753 -> 1860[label="",style="dashed", color="magenta", weight=3]; 1753 -> 1861[label="",style="dashed", color="magenta", weight=3]; 1754 -> 1859[label="",style="dashed", color="red", weight=0]; 1754[label="yu300 == yu4000 && yu301 == yu4001",fontsize=16,color="magenta"];1754 -> 1862[label="",style="dashed", color="magenta", weight=3]; 1754 -> 1863[label="",style="dashed", color="magenta", weight=3]; 1755[label="True",fontsize=16,color="green",shape="box"];1756 -> 1859[label="",style="dashed", color="red", weight=0]; 1756[label="yu300 == yu4000 && yu301 == yu4001",fontsize=16,color="magenta"];1756 -> 1864[label="",style="dashed", color="magenta", weight=3]; 1756 -> 1865[label="",style="dashed", color="magenta", weight=3]; 1757[label="False",fontsize=16,color="green",shape="box"];1758[label="False",fontsize=16,color="green",shape="box"];1759[label="True",fontsize=16,color="green",shape="box"];1760 -> 1859[label="",style="dashed", color="red", weight=0]; 1760[label="yu300 == yu4000 && yu301 == yu4001 && yu302 == yu4002",fontsize=16,color="magenta"];1760 -> 1866[label="",style="dashed", color="magenta", weight=3]; 1760 -> 1867[label="",style="dashed", color="magenta", weight=3]; 1761[label="True",fontsize=16,color="green",shape="box"];1762[label="False",fontsize=16,color="green",shape="box"];1763[label="False",fontsize=16,color="green",shape="box"];1764[label="False",fontsize=16,color="green",shape="box"];1765[label="True",fontsize=16,color="green",shape="box"];1766[label="False",fontsize=16,color="green",shape="box"];1767[label="False",fontsize=16,color="green",shape="box"];1768[label="False",fontsize=16,color="green",shape="box"];1769[label="True",fontsize=16,color="green",shape="box"];1770[label="primEqDouble (Double yu300 yu301) (Double yu4000 yu4001)",fontsize=16,color="black",shape="box"];1770 -> 1815[label="",style="solid", color="black", weight=3]; 1771[label="primEqInt (Pos (Succ yu3000)) yu400",fontsize=16,color="burlywood",shape="box"];2401[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1771 -> 2401[label="",style="solid", color="burlywood", weight=9]; 2401 -> 1816[label="",style="solid", color="burlywood", weight=3]; 2402[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1771 -> 2402[label="",style="solid", color="burlywood", weight=9]; 2402 -> 1817[label="",style="solid", color="burlywood", weight=3]; 1772[label="primEqInt (Pos Zero) yu400",fontsize=16,color="burlywood",shape="box"];2403[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1772 -> 2403[label="",style="solid", color="burlywood", weight=9]; 2403 -> 1818[label="",style="solid", color="burlywood", weight=3]; 2404[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1772 -> 2404[label="",style="solid", color="burlywood", weight=9]; 2404 -> 1819[label="",style="solid", color="burlywood", weight=3]; 1773[label="primEqInt (Neg (Succ yu3000)) yu400",fontsize=16,color="burlywood",shape="box"];2405[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1773 -> 2405[label="",style="solid", color="burlywood", weight=9]; 2405 -> 1820[label="",style="solid", color="burlywood", weight=3]; 2406[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1773 -> 2406[label="",style="solid", color="burlywood", weight=9]; 2406 -> 1821[label="",style="solid", color="burlywood", weight=3]; 1774[label="primEqInt (Neg Zero) yu400",fontsize=16,color="burlywood",shape="box"];2407[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1774 -> 2407[label="",style="solid", color="burlywood", weight=9]; 2407 -> 1822[label="",style="solid", color="burlywood", weight=3]; 2408[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1774 -> 2408[label="",style="solid", color="burlywood", weight=9]; 2408 -> 1823[label="",style="solid", color="burlywood", weight=3]; 2256 -> 2243[label="",style="dashed", color="red", weight=0]; 2256[label="primPlusNat yu73 (Succ Zero)",fontsize=16,color="magenta"];2256 -> 2258[label="",style="dashed", color="magenta", weight=3]; 2256 -> 2259[label="",style="dashed", color="magenta", weight=3]; 2257 -> 2243[label="",style="dashed", color="red", weight=0]; 2257[label="primPlusNat yu73 (Succ Zero)",fontsize=16,color="magenta"];2257 -> 2260[label="",style="dashed", color="magenta", weight=3]; 2257 -> 2261[label="",style="dashed", color="magenta", weight=3]; 2255[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu77)) (numericEnumFrom (Pos yu76)))))",fontsize=16,color="black",shape="triangle"];2255 -> 2262[label="",style="solid", color="black", weight=3]; 1776[label="primEqNat yu300 yu4000",fontsize=16,color="burlywood",shape="triangle"];2409[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1776 -> 2409[label="",style="solid", color="burlywood", weight=9]; 2409 -> 1825[label="",style="solid", color="burlywood", weight=3]; 2410[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1776 -> 2410[label="",style="solid", color="burlywood", weight=9]; 2410 -> 1826[label="",style="solid", color="burlywood", weight=3]; 1777[label="yu4000",fontsize=16,color="green",shape="box"];1778[label="yu300",fontsize=16,color="green",shape="box"];1779 -> 1631[label="",style="dashed", color="red", weight=0]; 1779[label="yu300 == yu4000",fontsize=16,color="magenta"];1779 -> 1827[label="",style="dashed", color="magenta", weight=3]; 1779 -> 1828[label="",style="dashed", color="magenta", weight=3]; 1780 -> 1632[label="",style="dashed", color="red", weight=0]; 1780[label="yu300 == yu4000",fontsize=16,color="magenta"];1780 -> 1829[label="",style="dashed", color="magenta", weight=3]; 1780 -> 1830[label="",style="dashed", color="magenta", weight=3]; 1781 -> 1633[label="",style="dashed", color="red", weight=0]; 1781[label="yu300 == yu4000",fontsize=16,color="magenta"];1781 -> 1831[label="",style="dashed", color="magenta", weight=3]; 1781 -> 1832[label="",style="dashed", color="magenta", weight=3]; 1782 -> 1634[label="",style="dashed", color="red", weight=0]; 1782[label="yu300 == yu4000",fontsize=16,color="magenta"];1782 -> 1833[label="",style="dashed", color="magenta", weight=3]; 1782 -> 1834[label="",style="dashed", color="magenta", weight=3]; 1783 -> 1635[label="",style="dashed", color="red", weight=0]; 1783[label="yu300 == yu4000",fontsize=16,color="magenta"];1783 -> 1835[label="",style="dashed", color="magenta", weight=3]; 1783 -> 1836[label="",style="dashed", color="magenta", weight=3]; 1784 -> 1636[label="",style="dashed", color="red", weight=0]; 1784[label="yu300 == yu4000",fontsize=16,color="magenta"];1784 -> 1837[label="",style="dashed", color="magenta", weight=3]; 1784 -> 1838[label="",style="dashed", color="magenta", weight=3]; 1785 -> 1637[label="",style="dashed", color="red", weight=0]; 1785[label="yu300 == yu4000",fontsize=16,color="magenta"];1785 -> 1839[label="",style="dashed", color="magenta", weight=3]; 1785 -> 1840[label="",style="dashed", color="magenta", weight=3]; 1786 -> 1638[label="",style="dashed", color="red", weight=0]; 1786[label="yu300 == yu4000",fontsize=16,color="magenta"];1786 -> 1841[label="",style="dashed", color="magenta", weight=3]; 1786 -> 1842[label="",style="dashed", color="magenta", weight=3]; 1787 -> 1639[label="",style="dashed", color="red", weight=0]; 1787[label="yu300 == yu4000",fontsize=16,color="magenta"];1787 -> 1843[label="",style="dashed", color="magenta", weight=3]; 1787 -> 1844[label="",style="dashed", color="magenta", weight=3]; 1788 -> 1640[label="",style="dashed", color="red", weight=0]; 1788[label="yu300 == yu4000",fontsize=16,color="magenta"];1788 -> 1845[label="",style="dashed", color="magenta", weight=3]; 1788 -> 1846[label="",style="dashed", color="magenta", weight=3]; 1789 -> 1641[label="",style="dashed", color="red", weight=0]; 1789[label="yu300 == yu4000",fontsize=16,color="magenta"];1789 -> 1847[label="",style="dashed", color="magenta", weight=3]; 1789 -> 1848[label="",style="dashed", color="magenta", weight=3]; 1790 -> 1642[label="",style="dashed", color="red", weight=0]; 1790[label="yu300 == yu4000",fontsize=16,color="magenta"];1790 -> 1849[label="",style="dashed", color="magenta", weight=3]; 1790 -> 1850[label="",style="dashed", color="magenta", weight=3]; 1791 -> 1585[label="",style="dashed", color="red", weight=0]; 1791[label="yu300 == yu4000",fontsize=16,color="magenta"];1791 -> 1851[label="",style="dashed", color="magenta", weight=3]; 1791 -> 1852[label="",style="dashed", color="magenta", weight=3]; 1792 -> 1644[label="",style="dashed", color="red", weight=0]; 1792[label="yu300 == yu4000",fontsize=16,color="magenta"];1792 -> 1853[label="",style="dashed", color="magenta", weight=3]; 1792 -> 1854[label="",style="dashed", color="magenta", weight=3]; 1793 -> 1644[label="",style="dashed", color="red", weight=0]; 1793[label="yu300 * yu4001 == yu301 * yu4000",fontsize=16,color="magenta"];1793 -> 1855[label="",style="dashed", color="magenta", weight=3]; 1793 -> 1856[label="",style="dashed", color="magenta", weight=3]; 1860[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2411[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1860 -> 2411[label="",style="solid", color="blue", weight=9]; 2411 -> 1872[label="",style="solid", color="blue", weight=3]; 2412[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1860 -> 2412[label="",style="solid", color="blue", weight=9]; 2412 -> 1873[label="",style="solid", color="blue", weight=3]; 1861[label="yu301 == yu4001",fontsize=16,color="blue",shape="box"];2413[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1861 -> 2413[label="",style="solid", color="blue", weight=9]; 2413 -> 1874[label="",style="solid", color="blue", weight=3]; 2414[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1861 -> 2414[label="",style="solid", color="blue", weight=9]; 2414 -> 1875[label="",style="solid", color="blue", weight=3]; 1859[label="yu71 && yu72",fontsize=16,color="burlywood",shape="triangle"];2415[label="yu71/False",fontsize=10,color="white",style="solid",shape="box"];1859 -> 2415[label="",style="solid", color="burlywood", weight=9]; 2415 -> 1876[label="",style="solid", color="burlywood", weight=3]; 2416[label="yu71/True",fontsize=10,color="white",style="solid",shape="box"];1859 -> 2416[label="",style="solid", color="burlywood", weight=9]; 2416 -> 1877[label="",style="solid", color="burlywood", weight=3]; 1862[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2417[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2417[label="",style="solid", color="blue", weight=9]; 2417 -> 1878[label="",style="solid", color="blue", weight=3]; 2418[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2418[label="",style="solid", color="blue", weight=9]; 2418 -> 1879[label="",style="solid", color="blue", weight=3]; 2419[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2419[label="",style="solid", color="blue", weight=9]; 2419 -> 1880[label="",style="solid", color="blue", weight=3]; 2420[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2420[label="",style="solid", color="blue", weight=9]; 2420 -> 1881[label="",style="solid", color="blue", weight=3]; 2421[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2421[label="",style="solid", color="blue", weight=9]; 2421 -> 1882[label="",style="solid", color="blue", weight=3]; 2422[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2422[label="",style="solid", color="blue", weight=9]; 2422 -> 1883[label="",style="solid", color="blue", weight=3]; 2423[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2423[label="",style="solid", color="blue", weight=9]; 2423 -> 1884[label="",style="solid", color="blue", weight=3]; 2424[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2424[label="",style="solid", color="blue", weight=9]; 2424 -> 1885[label="",style="solid", color="blue", weight=3]; 2425[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2425[label="",style="solid", color="blue", weight=9]; 2425 -> 1886[label="",style="solid", color="blue", weight=3]; 2426[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2426[label="",style="solid", color="blue", weight=9]; 2426 -> 1887[label="",style="solid", color="blue", weight=3]; 2427[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2427[label="",style="solid", color="blue", weight=9]; 2427 -> 1888[label="",style="solid", color="blue", weight=3]; 2428[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2428[label="",style="solid", color="blue", weight=9]; 2428 -> 1889[label="",style="solid", color="blue", weight=3]; 2429[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2429[label="",style="solid", color="blue", weight=9]; 2429 -> 1890[label="",style="solid", color="blue", weight=3]; 2430[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1862 -> 2430[label="",style="solid", color="blue", weight=9]; 2430 -> 1891[label="",style="solid", color="blue", weight=3]; 1863[label="yu301 == yu4001",fontsize=16,color="blue",shape="box"];2431[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2431[label="",style="solid", color="blue", weight=9]; 2431 -> 1892[label="",style="solid", color="blue", weight=3]; 2432[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2432[label="",style="solid", color="blue", weight=9]; 2432 -> 1893[label="",style="solid", color="blue", weight=3]; 2433[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2433[label="",style="solid", color="blue", weight=9]; 2433 -> 1894[label="",style="solid", color="blue", weight=3]; 2434[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2434[label="",style="solid", color="blue", weight=9]; 2434 -> 1895[label="",style="solid", color="blue", weight=3]; 2435[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2435[label="",style="solid", color="blue", weight=9]; 2435 -> 1896[label="",style="solid", color="blue", weight=3]; 2436[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2436[label="",style="solid", color="blue", weight=9]; 2436 -> 1897[label="",style="solid", color="blue", weight=3]; 2437[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2437[label="",style="solid", color="blue", weight=9]; 2437 -> 1898[label="",style="solid", color="blue", weight=3]; 2438[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2438[label="",style="solid", color="blue", weight=9]; 2438 -> 1899[label="",style="solid", color="blue", weight=3]; 2439[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2439[label="",style="solid", color="blue", weight=9]; 2439 -> 1900[label="",style="solid", color="blue", weight=3]; 2440[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2440[label="",style="solid", color="blue", weight=9]; 2440 -> 1901[label="",style="solid", color="blue", weight=3]; 2441[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2441[label="",style="solid", color="blue", weight=9]; 2441 -> 1902[label="",style="solid", color="blue", weight=3]; 2442[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2442[label="",style="solid", color="blue", weight=9]; 2442 -> 1903[label="",style="solid", color="blue", weight=3]; 2443[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2443[label="",style="solid", color="blue", weight=9]; 2443 -> 1904[label="",style="solid", color="blue", weight=3]; 2444[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1863 -> 2444[label="",style="solid", color="blue", weight=9]; 2444 -> 1905[label="",style="solid", color="blue", weight=3]; 1864[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2445[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2445[label="",style="solid", color="blue", weight=9]; 2445 -> 1906[label="",style="solid", color="blue", weight=3]; 2446[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2446[label="",style="solid", color="blue", weight=9]; 2446 -> 1907[label="",style="solid", color="blue", weight=3]; 2447[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2447[label="",style="solid", color="blue", weight=9]; 2447 -> 1908[label="",style="solid", color="blue", weight=3]; 2448[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2448[label="",style="solid", color="blue", weight=9]; 2448 -> 1909[label="",style="solid", color="blue", weight=3]; 2449[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2449[label="",style="solid", color="blue", weight=9]; 2449 -> 1910[label="",style="solid", color="blue", weight=3]; 2450[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2450[label="",style="solid", color="blue", weight=9]; 2450 -> 1911[label="",style="solid", color="blue", weight=3]; 2451[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2451[label="",style="solid", color="blue", weight=9]; 2451 -> 1912[label="",style="solid", color="blue", weight=3]; 2452[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2452[label="",style="solid", color="blue", weight=9]; 2452 -> 1913[label="",style="solid", color="blue", weight=3]; 2453[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2453[label="",style="solid", color="blue", weight=9]; 2453 -> 1914[label="",style="solid", color="blue", weight=3]; 2454[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2454[label="",style="solid", color="blue", weight=9]; 2454 -> 1915[label="",style="solid", color="blue", weight=3]; 2455[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2455[label="",style="solid", color="blue", weight=9]; 2455 -> 1916[label="",style="solid", color="blue", weight=3]; 2456[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2456[label="",style="solid", color="blue", weight=9]; 2456 -> 1917[label="",style="solid", color="blue", weight=3]; 2457[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2457[label="",style="solid", color="blue", weight=9]; 2457 -> 1918[label="",style="solid", color="blue", weight=3]; 2458[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1864 -> 2458[label="",style="solid", color="blue", weight=9]; 2458 -> 1919[label="",style="solid", color="blue", weight=3]; 1865 -> 1639[label="",style="dashed", color="red", weight=0]; 1865[label="yu301 == yu4001",fontsize=16,color="magenta"];1865 -> 1920[label="",style="dashed", color="magenta", weight=3]; 1865 -> 1921[label="",style="dashed", color="magenta", weight=3]; 1866[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2459[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2459[label="",style="solid", color="blue", weight=9]; 2459 -> 1922[label="",style="solid", color="blue", weight=3]; 2460[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2460[label="",style="solid", color="blue", weight=9]; 2460 -> 1923[label="",style="solid", color="blue", weight=3]; 2461[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2461[label="",style="solid", color="blue", weight=9]; 2461 -> 1924[label="",style="solid", color="blue", weight=3]; 2462[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2462[label="",style="solid", color="blue", weight=9]; 2462 -> 1925[label="",style="solid", color="blue", weight=3]; 2463[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2463[label="",style="solid", color="blue", weight=9]; 2463 -> 1926[label="",style="solid", color="blue", weight=3]; 2464[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2464[label="",style="solid", color="blue", weight=9]; 2464 -> 1927[label="",style="solid", color="blue", weight=3]; 2465[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2465[label="",style="solid", color="blue", weight=9]; 2465 -> 1928[label="",style="solid", color="blue", weight=3]; 2466[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2466[label="",style="solid", color="blue", weight=9]; 2466 -> 1929[label="",style="solid", color="blue", weight=3]; 2467[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2467[label="",style="solid", color="blue", weight=9]; 2467 -> 1930[label="",style="solid", color="blue", weight=3]; 2468[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2468[label="",style="solid", color="blue", weight=9]; 2468 -> 1931[label="",style="solid", color="blue", weight=3]; 2469[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2469[label="",style="solid", color="blue", weight=9]; 2469 -> 1932[label="",style="solid", color="blue", weight=3]; 2470[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2470[label="",style="solid", color="blue", weight=9]; 2470 -> 1933[label="",style="solid", color="blue", weight=3]; 2471[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2471[label="",style="solid", color="blue", weight=9]; 2471 -> 1934[label="",style="solid", color="blue", weight=3]; 2472[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1866 -> 2472[label="",style="solid", color="blue", weight=9]; 2472 -> 1935[label="",style="solid", color="blue", weight=3]; 1867 -> 1859[label="",style="dashed", color="red", weight=0]; 1867[label="yu301 == yu4001 && yu302 == yu4002",fontsize=16,color="magenta"];1867 -> 1936[label="",style="dashed", color="magenta", weight=3]; 1867 -> 1937[label="",style="dashed", color="magenta", weight=3]; 1815 -> 1644[label="",style="dashed", color="red", weight=0]; 1815[label="yu300 * yu4001 == yu301 * yu4000",fontsize=16,color="magenta"];1815 -> 1938[label="",style="dashed", color="magenta", weight=3]; 1815 -> 1939[label="",style="dashed", color="magenta", weight=3]; 1816[label="primEqInt (Pos (Succ yu3000)) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2473[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1816 -> 2473[label="",style="solid", color="burlywood", weight=9]; 2473 -> 1940[label="",style="solid", color="burlywood", weight=3]; 2474[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1816 -> 2474[label="",style="solid", color="burlywood", weight=9]; 2474 -> 1941[label="",style="solid", color="burlywood", weight=3]; 1817[label="primEqInt (Pos (Succ yu3000)) (Neg yu4000)",fontsize=16,color="black",shape="box"];1817 -> 1942[label="",style="solid", color="black", weight=3]; 1818[label="primEqInt (Pos Zero) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2475[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1818 -> 2475[label="",style="solid", color="burlywood", weight=9]; 2475 -> 1943[label="",style="solid", color="burlywood", weight=3]; 2476[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1818 -> 2476[label="",style="solid", color="burlywood", weight=9]; 2476 -> 1944[label="",style="solid", color="burlywood", weight=3]; 1819[label="primEqInt (Pos Zero) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2477[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1819 -> 2477[label="",style="solid", color="burlywood", weight=9]; 2477 -> 1945[label="",style="solid", color="burlywood", weight=3]; 2478[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1819 -> 2478[label="",style="solid", color="burlywood", weight=9]; 2478 -> 1946[label="",style="solid", color="burlywood", weight=3]; 1820[label="primEqInt (Neg (Succ yu3000)) (Pos yu4000)",fontsize=16,color="black",shape="box"];1820 -> 1947[label="",style="solid", color="black", weight=3]; 1821[label="primEqInt (Neg (Succ yu3000)) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2479[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1821 -> 2479[label="",style="solid", color="burlywood", weight=9]; 2479 -> 1948[label="",style="solid", color="burlywood", weight=3]; 2480[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1821 -> 2480[label="",style="solid", color="burlywood", weight=9]; 2480 -> 1949[label="",style="solid", color="burlywood", weight=3]; 1822[label="primEqInt (Neg Zero) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2481[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1822 -> 2481[label="",style="solid", color="burlywood", weight=9]; 2481 -> 1950[label="",style="solid", color="burlywood", weight=3]; 2482[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1822 -> 2482[label="",style="solid", color="burlywood", weight=9]; 2482 -> 1951[label="",style="solid", color="burlywood", weight=3]; 1823[label="primEqInt (Neg Zero) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2483[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1823 -> 2483[label="",style="solid", color="burlywood", weight=9]; 2483 -> 1952[label="",style="solid", color="burlywood", weight=3]; 2484[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1823 -> 2484[label="",style="solid", color="burlywood", weight=9]; 2484 -> 1953[label="",style="solid", color="burlywood", weight=3]; 2258[label="yu73",fontsize=16,color="green",shape="box"];2259[label="Zero",fontsize=16,color="green",shape="box"];2243[label="primPlusNat yu75 (Succ yu400000)",fontsize=16,color="burlywood",shape="triangle"];2485[label="yu75/Succ yu750",fontsize=10,color="white",style="solid",shape="box"];2243 -> 2485[label="",style="solid", color="burlywood", weight=9]; 2485 -> 2248[label="",style="solid", color="burlywood", weight=3]; 2486[label="yu75/Zero",fontsize=10,color="white",style="solid",shape="box"];2243 -> 2486[label="",style="solid", color="burlywood", weight=9]; 2486 -> 2249[label="",style="solid", color="burlywood", weight=3]; 2260[label="yu73",fontsize=16,color="green",shape="box"];2261[label="Zero",fontsize=16,color="green",shape="box"];2262[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (numericEnumFrom (Pos yu76))))",fontsize=16,color="black",shape="box"];2262 -> 2265[label="",style="solid", color="black", weight=3]; 1825[label="primEqNat (Succ yu3000) yu4000",fontsize=16,color="burlywood",shape="box"];2487[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1825 -> 2487[label="",style="solid", color="burlywood", weight=9]; 2487 -> 1955[label="",style="solid", color="burlywood", weight=3]; 2488[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1825 -> 2488[label="",style="solid", color="burlywood", weight=9]; 2488 -> 1956[label="",style="solid", color="burlywood", weight=3]; 1826[label="primEqNat Zero yu4000",fontsize=16,color="burlywood",shape="box"];2489[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1826 -> 2489[label="",style="solid", color="burlywood", weight=9]; 2489 -> 1957[label="",style="solid", color="burlywood", weight=3]; 2490[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1826 -> 2490[label="",style="solid", color="burlywood", weight=9]; 2490 -> 1958[label="",style="solid", color="burlywood", weight=3]; 1827[label="yu4000",fontsize=16,color="green",shape="box"];1828[label="yu300",fontsize=16,color="green",shape="box"];1829[label="yu4000",fontsize=16,color="green",shape="box"];1830[label="yu300",fontsize=16,color="green",shape="box"];1831[label="yu4000",fontsize=16,color="green",shape="box"];1832[label="yu300",fontsize=16,color="green",shape="box"];1833[label="yu4000",fontsize=16,color="green",shape="box"];1834[label="yu300",fontsize=16,color="green",shape="box"];1835[label="yu4000",fontsize=16,color="green",shape="box"];1836[label="yu300",fontsize=16,color="green",shape="box"];1837[label="yu4000",fontsize=16,color="green",shape="box"];1838[label="yu300",fontsize=16,color="green",shape="box"];1839[label="yu4000",fontsize=16,color="green",shape="box"];1840[label="yu300",fontsize=16,color="green",shape="box"];1841[label="yu4000",fontsize=16,color="green",shape="box"];1842[label="yu300",fontsize=16,color="green",shape="box"];1843[label="yu4000",fontsize=16,color="green",shape="box"];1844[label="yu300",fontsize=16,color="green",shape="box"];1845[label="yu4000",fontsize=16,color="green",shape="box"];1846[label="yu300",fontsize=16,color="green",shape="box"];1847[label="yu4000",fontsize=16,color="green",shape="box"];1848[label="yu300",fontsize=16,color="green",shape="box"];1849[label="yu4000",fontsize=16,color="green",shape="box"];1850[label="yu300",fontsize=16,color="green",shape="box"];1851[label="yu4000",fontsize=16,color="green",shape="box"];1852[label="yu300",fontsize=16,color="green",shape="box"];1853[label="yu4000",fontsize=16,color="green",shape="box"];1854[label="yu300",fontsize=16,color="green",shape="box"];1855[label="yu301 * yu4000",fontsize=16,color="black",shape="triangle"];1855 -> 1959[label="",style="solid", color="black", weight=3]; 1856 -> 1855[label="",style="dashed", color="red", weight=0]; 1856[label="yu300 * yu4001",fontsize=16,color="magenta"];1856 -> 1960[label="",style="dashed", color="magenta", weight=3]; 1856 -> 1961[label="",style="dashed", color="magenta", weight=3]; 1872 -> 1632[label="",style="dashed", color="red", weight=0]; 1872[label="yu300 == yu4000",fontsize=16,color="magenta"];1872 -> 1962[label="",style="dashed", color="magenta", weight=3]; 1872 -> 1963[label="",style="dashed", color="magenta", weight=3]; 1873 -> 1644[label="",style="dashed", color="red", weight=0]; 1873[label="yu300 == yu4000",fontsize=16,color="magenta"];1873 -> 1964[label="",style="dashed", color="magenta", weight=3]; 1873 -> 1965[label="",style="dashed", color="magenta", weight=3]; 1874 -> 1632[label="",style="dashed", color="red", weight=0]; 1874[label="yu301 == yu4001",fontsize=16,color="magenta"];1874 -> 1966[label="",style="dashed", color="magenta", weight=3]; 1874 -> 1967[label="",style="dashed", color="magenta", weight=3]; 1875 -> 1644[label="",style="dashed", color="red", weight=0]; 1875[label="yu301 == yu4001",fontsize=16,color="magenta"];1875 -> 1968[label="",style="dashed", color="magenta", weight=3]; 1875 -> 1969[label="",style="dashed", color="magenta", weight=3]; 1876[label="False && yu72",fontsize=16,color="black",shape="box"];1876 -> 1970[label="",style="solid", color="black", weight=3]; 1877[label="True && yu72",fontsize=16,color="black",shape="box"];1877 -> 1971[label="",style="solid", color="black", weight=3]; 1878 -> 1631[label="",style="dashed", color="red", weight=0]; 1878[label="yu300 == yu4000",fontsize=16,color="magenta"];1878 -> 1972[label="",style="dashed", color="magenta", weight=3]; 1878 -> 1973[label="",style="dashed", color="magenta", weight=3]; 1879 -> 1632[label="",style="dashed", color="red", weight=0]; 1879[label="yu300 == yu4000",fontsize=16,color="magenta"];1879 -> 1974[label="",style="dashed", color="magenta", weight=3]; 1879 -> 1975[label="",style="dashed", color="magenta", weight=3]; 1880 -> 1633[label="",style="dashed", color="red", weight=0]; 1880[label="yu300 == yu4000",fontsize=16,color="magenta"];1880 -> 1976[label="",style="dashed", color="magenta", weight=3]; 1880 -> 1977[label="",style="dashed", color="magenta", weight=3]; 1881 -> 1634[label="",style="dashed", color="red", weight=0]; 1881[label="yu300 == yu4000",fontsize=16,color="magenta"];1881 -> 1978[label="",style="dashed", color="magenta", weight=3]; 1881 -> 1979[label="",style="dashed", color="magenta", weight=3]; 1882 -> 1635[label="",style="dashed", color="red", weight=0]; 1882[label="yu300 == yu4000",fontsize=16,color="magenta"];1882 -> 1980[label="",style="dashed", color="magenta", weight=3]; 1882 -> 1981[label="",style="dashed", color="magenta", weight=3]; 1883 -> 1636[label="",style="dashed", color="red", weight=0]; 1883[label="yu300 == yu4000",fontsize=16,color="magenta"];1883 -> 1982[label="",style="dashed", color="magenta", weight=3]; 1883 -> 1983[label="",style="dashed", color="magenta", weight=3]; 1884 -> 1637[label="",style="dashed", color="red", weight=0]; 1884[label="yu300 == yu4000",fontsize=16,color="magenta"];1884 -> 1984[label="",style="dashed", color="magenta", weight=3]; 1884 -> 1985[label="",style="dashed", color="magenta", weight=3]; 1885 -> 1638[label="",style="dashed", color="red", weight=0]; 1885[label="yu300 == yu4000",fontsize=16,color="magenta"];1885 -> 1986[label="",style="dashed", color="magenta", weight=3]; 1885 -> 1987[label="",style="dashed", color="magenta", weight=3]; 1886 -> 1639[label="",style="dashed", color="red", weight=0]; 1886[label="yu300 == yu4000",fontsize=16,color="magenta"];1886 -> 1988[label="",style="dashed", color="magenta", weight=3]; 1886 -> 1989[label="",style="dashed", color="magenta", weight=3]; 1887 -> 1640[label="",style="dashed", color="red", weight=0]; 1887[label="yu300 == yu4000",fontsize=16,color="magenta"];1887 -> 1990[label="",style="dashed", color="magenta", weight=3]; 1887 -> 1991[label="",style="dashed", color="magenta", weight=3]; 1888 -> 1641[label="",style="dashed", color="red", weight=0]; 1888[label="yu300 == yu4000",fontsize=16,color="magenta"];1888 -> 1992[label="",style="dashed", color="magenta", weight=3]; 1888 -> 1993[label="",style="dashed", color="magenta", weight=3]; 1889 -> 1642[label="",style="dashed", color="red", weight=0]; 1889[label="yu300 == yu4000",fontsize=16,color="magenta"];1889 -> 1994[label="",style="dashed", color="magenta", weight=3]; 1889 -> 1995[label="",style="dashed", color="magenta", weight=3]; 1890 -> 1585[label="",style="dashed", color="red", weight=0]; 1890[label="yu300 == yu4000",fontsize=16,color="magenta"];1890 -> 1996[label="",style="dashed", color="magenta", weight=3]; 1890 -> 1997[label="",style="dashed", color="magenta", weight=3]; 1891 -> 1644[label="",style="dashed", color="red", weight=0]; 1891[label="yu300 == yu4000",fontsize=16,color="magenta"];1891 -> 1998[label="",style="dashed", color="magenta", weight=3]; 1891 -> 1999[label="",style="dashed", color="magenta", weight=3]; 1892 -> 1631[label="",style="dashed", color="red", weight=0]; 1892[label="yu301 == yu4001",fontsize=16,color="magenta"];1892 -> 2000[label="",style="dashed", color="magenta", weight=3]; 1892 -> 2001[label="",style="dashed", color="magenta", weight=3]; 1893 -> 1632[label="",style="dashed", color="red", weight=0]; 1893[label="yu301 == yu4001",fontsize=16,color="magenta"];1893 -> 2002[label="",style="dashed", color="magenta", weight=3]; 1893 -> 2003[label="",style="dashed", color="magenta", weight=3]; 1894 -> 1633[label="",style="dashed", color="red", weight=0]; 1894[label="yu301 == yu4001",fontsize=16,color="magenta"];1894 -> 2004[label="",style="dashed", color="magenta", weight=3]; 1894 -> 2005[label="",style="dashed", color="magenta", weight=3]; 1895 -> 1634[label="",style="dashed", color="red", weight=0]; 1895[label="yu301 == yu4001",fontsize=16,color="magenta"];1895 -> 2006[label="",style="dashed", color="magenta", weight=3]; 1895 -> 2007[label="",style="dashed", color="magenta", weight=3]; 1896 -> 1635[label="",style="dashed", color="red", weight=0]; 1896[label="yu301 == yu4001",fontsize=16,color="magenta"];1896 -> 2008[label="",style="dashed", color="magenta", weight=3]; 1896 -> 2009[label="",style="dashed", color="magenta", weight=3]; 1897 -> 1636[label="",style="dashed", color="red", weight=0]; 1897[label="yu301 == yu4001",fontsize=16,color="magenta"];1897 -> 2010[label="",style="dashed", color="magenta", weight=3]; 1897 -> 2011[label="",style="dashed", color="magenta", weight=3]; 1898 -> 1637[label="",style="dashed", color="red", weight=0]; 1898[label="yu301 == yu4001",fontsize=16,color="magenta"];1898 -> 2012[label="",style="dashed", color="magenta", weight=3]; 1898 -> 2013[label="",style="dashed", color="magenta", weight=3]; 1899 -> 1638[label="",style="dashed", color="red", weight=0]; 1899[label="yu301 == yu4001",fontsize=16,color="magenta"];1899 -> 2014[label="",style="dashed", color="magenta", weight=3]; 1899 -> 2015[label="",style="dashed", color="magenta", weight=3]; 1900 -> 1639[label="",style="dashed", color="red", weight=0]; 1900[label="yu301 == yu4001",fontsize=16,color="magenta"];1900 -> 2016[label="",style="dashed", color="magenta", weight=3]; 1900 -> 2017[label="",style="dashed", color="magenta", weight=3]; 1901 -> 1640[label="",style="dashed", color="red", weight=0]; 1901[label="yu301 == yu4001",fontsize=16,color="magenta"];1901 -> 2018[label="",style="dashed", color="magenta", weight=3]; 1901 -> 2019[label="",style="dashed", color="magenta", weight=3]; 1902 -> 1641[label="",style="dashed", color="red", weight=0]; 1902[label="yu301 == yu4001",fontsize=16,color="magenta"];1902 -> 2020[label="",style="dashed", color="magenta", weight=3]; 1902 -> 2021[label="",style="dashed", color="magenta", weight=3]; 1903 -> 1642[label="",style="dashed", color="red", weight=0]; 1903[label="yu301 == yu4001",fontsize=16,color="magenta"];1903 -> 2022[label="",style="dashed", color="magenta", weight=3]; 1903 -> 2023[label="",style="dashed", color="magenta", weight=3]; 1904 -> 1585[label="",style="dashed", color="red", weight=0]; 1904[label="yu301 == yu4001",fontsize=16,color="magenta"];1904 -> 2024[label="",style="dashed", color="magenta", weight=3]; 1904 -> 2025[label="",style="dashed", color="magenta", weight=3]; 1905 -> 1644[label="",style="dashed", color="red", weight=0]; 1905[label="yu301 == yu4001",fontsize=16,color="magenta"];1905 -> 2026[label="",style="dashed", color="magenta", weight=3]; 1905 -> 2027[label="",style="dashed", color="magenta", weight=3]; 1906 -> 1631[label="",style="dashed", color="red", weight=0]; 1906[label="yu300 == yu4000",fontsize=16,color="magenta"];1906 -> 2028[label="",style="dashed", color="magenta", weight=3]; 1906 -> 2029[label="",style="dashed", color="magenta", weight=3]; 1907 -> 1632[label="",style="dashed", color="red", weight=0]; 1907[label="yu300 == yu4000",fontsize=16,color="magenta"];1907 -> 2030[label="",style="dashed", color="magenta", weight=3]; 1907 -> 2031[label="",style="dashed", color="magenta", weight=3]; 1908 -> 1633[label="",style="dashed", color="red", weight=0]; 1908[label="yu300 == yu4000",fontsize=16,color="magenta"];1908 -> 2032[label="",style="dashed", color="magenta", weight=3]; 1908 -> 2033[label="",style="dashed", color="magenta", weight=3]; 1909 -> 1634[label="",style="dashed", color="red", weight=0]; 1909[label="yu300 == yu4000",fontsize=16,color="magenta"];1909 -> 2034[label="",style="dashed", color="magenta", weight=3]; 1909 -> 2035[label="",style="dashed", color="magenta", weight=3]; 1910 -> 1635[label="",style="dashed", color="red", weight=0]; 1910[label="yu300 == yu4000",fontsize=16,color="magenta"];1910 -> 2036[label="",style="dashed", color="magenta", weight=3]; 1910 -> 2037[label="",style="dashed", color="magenta", weight=3]; 1911 -> 1636[label="",style="dashed", color="red", weight=0]; 1911[label="yu300 == yu4000",fontsize=16,color="magenta"];1911 -> 2038[label="",style="dashed", color="magenta", weight=3]; 1911 -> 2039[label="",style="dashed", color="magenta", weight=3]; 1912 -> 1637[label="",style="dashed", color="red", weight=0]; 1912[label="yu300 == yu4000",fontsize=16,color="magenta"];1912 -> 2040[label="",style="dashed", color="magenta", weight=3]; 1912 -> 2041[label="",style="dashed", color="magenta", weight=3]; 1913 -> 1638[label="",style="dashed", color="red", weight=0]; 1913[label="yu300 == yu4000",fontsize=16,color="magenta"];1913 -> 2042[label="",style="dashed", color="magenta", weight=3]; 1913 -> 2043[label="",style="dashed", color="magenta", weight=3]; 1914 -> 1639[label="",style="dashed", color="red", weight=0]; 1914[label="yu300 == yu4000",fontsize=16,color="magenta"];1914 -> 2044[label="",style="dashed", color="magenta", weight=3]; 1914 -> 2045[label="",style="dashed", color="magenta", weight=3]; 1915 -> 1640[label="",style="dashed", color="red", weight=0]; 1915[label="yu300 == yu4000",fontsize=16,color="magenta"];1915 -> 2046[label="",style="dashed", color="magenta", weight=3]; 1915 -> 2047[label="",style="dashed", color="magenta", weight=3]; 1916 -> 1641[label="",style="dashed", color="red", weight=0]; 1916[label="yu300 == yu4000",fontsize=16,color="magenta"];1916 -> 2048[label="",style="dashed", color="magenta", weight=3]; 1916 -> 2049[label="",style="dashed", color="magenta", weight=3]; 1917 -> 1642[label="",style="dashed", color="red", weight=0]; 1917[label="yu300 == yu4000",fontsize=16,color="magenta"];1917 -> 2050[label="",style="dashed", color="magenta", weight=3]; 1917 -> 2051[label="",style="dashed", color="magenta", weight=3]; 1918 -> 1585[label="",style="dashed", color="red", weight=0]; 1918[label="yu300 == yu4000",fontsize=16,color="magenta"];1918 -> 2052[label="",style="dashed", color="magenta", weight=3]; 1918 -> 2053[label="",style="dashed", color="magenta", weight=3]; 1919 -> 1644[label="",style="dashed", color="red", weight=0]; 1919[label="yu300 == yu4000",fontsize=16,color="magenta"];1919 -> 2054[label="",style="dashed", color="magenta", weight=3]; 1919 -> 2055[label="",style="dashed", color="magenta", weight=3]; 1920[label="yu4001",fontsize=16,color="green",shape="box"];1921[label="yu301",fontsize=16,color="green",shape="box"];1922 -> 1631[label="",style="dashed", color="red", weight=0]; 1922[label="yu300 == yu4000",fontsize=16,color="magenta"];1922 -> 2056[label="",style="dashed", color="magenta", weight=3]; 1922 -> 2057[label="",style="dashed", color="magenta", weight=3]; 1923 -> 1632[label="",style="dashed", color="red", weight=0]; 1923[label="yu300 == yu4000",fontsize=16,color="magenta"];1923 -> 2058[label="",style="dashed", color="magenta", weight=3]; 1923 -> 2059[label="",style="dashed", color="magenta", weight=3]; 1924 -> 1633[label="",style="dashed", color="red", weight=0]; 1924[label="yu300 == yu4000",fontsize=16,color="magenta"];1924 -> 2060[label="",style="dashed", color="magenta", weight=3]; 1924 -> 2061[label="",style="dashed", color="magenta", weight=3]; 1925 -> 1634[label="",style="dashed", color="red", weight=0]; 1925[label="yu300 == yu4000",fontsize=16,color="magenta"];1925 -> 2062[label="",style="dashed", color="magenta", weight=3]; 1925 -> 2063[label="",style="dashed", color="magenta", weight=3]; 1926 -> 1635[label="",style="dashed", color="red", weight=0]; 1926[label="yu300 == yu4000",fontsize=16,color="magenta"];1926 -> 2064[label="",style="dashed", color="magenta", weight=3]; 1926 -> 2065[label="",style="dashed", color="magenta", weight=3]; 1927 -> 1636[label="",style="dashed", color="red", weight=0]; 1927[label="yu300 == yu4000",fontsize=16,color="magenta"];1927 -> 2066[label="",style="dashed", color="magenta", weight=3]; 1927 -> 2067[label="",style="dashed", color="magenta", weight=3]; 1928 -> 1637[label="",style="dashed", color="red", weight=0]; 1928[label="yu300 == yu4000",fontsize=16,color="magenta"];1928 -> 2068[label="",style="dashed", color="magenta", weight=3]; 1928 -> 2069[label="",style="dashed", color="magenta", weight=3]; 1929 -> 1638[label="",style="dashed", color="red", weight=0]; 1929[label="yu300 == yu4000",fontsize=16,color="magenta"];1929 -> 2070[label="",style="dashed", color="magenta", weight=3]; 1929 -> 2071[label="",style="dashed", color="magenta", weight=3]; 1930 -> 1639[label="",style="dashed", color="red", weight=0]; 1930[label="yu300 == yu4000",fontsize=16,color="magenta"];1930 -> 2072[label="",style="dashed", color="magenta", weight=3]; 1930 -> 2073[label="",style="dashed", color="magenta", weight=3]; 1931 -> 1640[label="",style="dashed", color="red", weight=0]; 1931[label="yu300 == yu4000",fontsize=16,color="magenta"];1931 -> 2074[label="",style="dashed", color="magenta", weight=3]; 1931 -> 2075[label="",style="dashed", color="magenta", weight=3]; 1932 -> 1641[label="",style="dashed", color="red", weight=0]; 1932[label="yu300 == yu4000",fontsize=16,color="magenta"];1932 -> 2076[label="",style="dashed", color="magenta", weight=3]; 1932 -> 2077[label="",style="dashed", color="magenta", weight=3]; 1933 -> 1642[label="",style="dashed", color="red", weight=0]; 1933[label="yu300 == yu4000",fontsize=16,color="magenta"];1933 -> 2078[label="",style="dashed", color="magenta", weight=3]; 1933 -> 2079[label="",style="dashed", color="magenta", weight=3]; 1934 -> 1585[label="",style="dashed", color="red", weight=0]; 1934[label="yu300 == yu4000",fontsize=16,color="magenta"];1934 -> 2080[label="",style="dashed", color="magenta", weight=3]; 1934 -> 2081[label="",style="dashed", color="magenta", weight=3]; 1935 -> 1644[label="",style="dashed", color="red", weight=0]; 1935[label="yu300 == yu4000",fontsize=16,color="magenta"];1935 -> 2082[label="",style="dashed", color="magenta", weight=3]; 1935 -> 2083[label="",style="dashed", color="magenta", weight=3]; 1936[label="yu301 == yu4001",fontsize=16,color="blue",shape="box"];2491[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2491[label="",style="solid", color="blue", weight=9]; 2491 -> 2084[label="",style="solid", color="blue", weight=3]; 2492[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2492[label="",style="solid", color="blue", weight=9]; 2492 -> 2085[label="",style="solid", color="blue", weight=3]; 2493[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2493[label="",style="solid", color="blue", weight=9]; 2493 -> 2086[label="",style="solid", color="blue", weight=3]; 2494[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2494[label="",style="solid", color="blue", weight=9]; 2494 -> 2087[label="",style="solid", color="blue", weight=3]; 2495[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2495[label="",style="solid", color="blue", weight=9]; 2495 -> 2088[label="",style="solid", color="blue", weight=3]; 2496[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2496[label="",style="solid", color="blue", weight=9]; 2496 -> 2089[label="",style="solid", color="blue", weight=3]; 2497[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2497[label="",style="solid", color="blue", weight=9]; 2497 -> 2090[label="",style="solid", color="blue", weight=3]; 2498[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2498[label="",style="solid", color="blue", weight=9]; 2498 -> 2091[label="",style="solid", color="blue", weight=3]; 2499[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2499[label="",style="solid", color="blue", weight=9]; 2499 -> 2092[label="",style="solid", color="blue", weight=3]; 2500[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2500[label="",style="solid", color="blue", weight=9]; 2500 -> 2093[label="",style="solid", color="blue", weight=3]; 2501[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2501[label="",style="solid", color="blue", weight=9]; 2501 -> 2094[label="",style="solid", color="blue", weight=3]; 2502[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2502[label="",style="solid", color="blue", weight=9]; 2502 -> 2095[label="",style="solid", color="blue", weight=3]; 2503[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2503[label="",style="solid", color="blue", weight=9]; 2503 -> 2096[label="",style="solid", color="blue", weight=3]; 2504[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1936 -> 2504[label="",style="solid", color="blue", weight=9]; 2504 -> 2097[label="",style="solid", color="blue", weight=3]; 1937[label="yu302 == yu4002",fontsize=16,color="blue",shape="box"];2505[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2505[label="",style="solid", color="blue", weight=9]; 2505 -> 2098[label="",style="solid", color="blue", weight=3]; 2506[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2506[label="",style="solid", color="blue", weight=9]; 2506 -> 2099[label="",style="solid", color="blue", weight=3]; 2507[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2507[label="",style="solid", color="blue", weight=9]; 2507 -> 2100[label="",style="solid", color="blue", weight=3]; 2508[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2508[label="",style="solid", color="blue", weight=9]; 2508 -> 2101[label="",style="solid", color="blue", weight=3]; 2509[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2509[label="",style="solid", color="blue", weight=9]; 2509 -> 2102[label="",style="solid", color="blue", weight=3]; 2510[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2510[label="",style="solid", color="blue", weight=9]; 2510 -> 2103[label="",style="solid", color="blue", weight=3]; 2511[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2511[label="",style="solid", color="blue", weight=9]; 2511 -> 2104[label="",style="solid", color="blue", weight=3]; 2512[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2512[label="",style="solid", color="blue", weight=9]; 2512 -> 2105[label="",style="solid", color="blue", weight=3]; 2513[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2513[label="",style="solid", color="blue", weight=9]; 2513 -> 2106[label="",style="solid", color="blue", weight=3]; 2514[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2514[label="",style="solid", color="blue", weight=9]; 2514 -> 2107[label="",style="solid", color="blue", weight=3]; 2515[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2515[label="",style="solid", color="blue", weight=9]; 2515 -> 2108[label="",style="solid", color="blue", weight=3]; 2516[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2516[label="",style="solid", color="blue", weight=9]; 2516 -> 2109[label="",style="solid", color="blue", weight=3]; 2517[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2517[label="",style="solid", color="blue", weight=9]; 2517 -> 2110[label="",style="solid", color="blue", weight=3]; 2518[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1937 -> 2518[label="",style="solid", color="blue", weight=9]; 2518 -> 2111[label="",style="solid", color="blue", weight=3]; 1938 -> 1855[label="",style="dashed", color="red", weight=0]; 1938[label="yu301 * yu4000",fontsize=16,color="magenta"];1938 -> 2112[label="",style="dashed", color="magenta", weight=3]; 1938 -> 2113[label="",style="dashed", color="magenta", weight=3]; 1939 -> 1855[label="",style="dashed", color="red", weight=0]; 1939[label="yu300 * yu4001",fontsize=16,color="magenta"];1939 -> 2114[label="",style="dashed", color="magenta", weight=3]; 1939 -> 2115[label="",style="dashed", color="magenta", weight=3]; 1940[label="primEqInt (Pos (Succ yu3000)) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1940 -> 2116[label="",style="solid", color="black", weight=3]; 1941[label="primEqInt (Pos (Succ yu3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1941 -> 2117[label="",style="solid", color="black", weight=3]; 1942[label="False",fontsize=16,color="green",shape="box"];1943[label="primEqInt (Pos Zero) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1943 -> 2118[label="",style="solid", color="black", weight=3]; 1944[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1944 -> 2119[label="",style="solid", color="black", weight=3]; 1945[label="primEqInt (Pos Zero) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1945 -> 2120[label="",style="solid", color="black", weight=3]; 1946[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1946 -> 2121[label="",style="solid", color="black", weight=3]; 1947[label="False",fontsize=16,color="green",shape="box"];1948[label="primEqInt (Neg (Succ yu3000)) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1948 -> 2122[label="",style="solid", color="black", weight=3]; 1949[label="primEqInt (Neg (Succ yu3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1949 -> 2123[label="",style="solid", color="black", weight=3]; 1950[label="primEqInt (Neg Zero) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1950 -> 2124[label="",style="solid", color="black", weight=3]; 1951[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1951 -> 2125[label="",style="solid", color="black", weight=3]; 1952[label="primEqInt (Neg Zero) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1952 -> 2126[label="",style="solid", color="black", weight=3]; 1953[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1953 -> 2127[label="",style="solid", color="black", weight=3]; 2248[label="primPlusNat (Succ yu750) (Succ yu400000)",fontsize=16,color="black",shape="box"];2248 -> 2251[label="",style="solid", color="black", weight=3]; 2249[label="primPlusNat Zero (Succ yu400000)",fontsize=16,color="black",shape="box"];2249 -> 2252[label="",style="solid", color="black", weight=3]; 2265[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu76 : (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];2265 -> 2270[label="",style="solid", color="black", weight=3]; 1955[label="primEqNat (Succ yu3000) (Succ yu40000)",fontsize=16,color="black",shape="box"];1955 -> 2129[label="",style="solid", color="black", weight=3]; 1956[label="primEqNat (Succ yu3000) Zero",fontsize=16,color="black",shape="box"];1956 -> 2130[label="",style="solid", color="black", weight=3]; 1957[label="primEqNat Zero (Succ yu40000)",fontsize=16,color="black",shape="box"];1957 -> 2131[label="",style="solid", color="black", weight=3]; 1958[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1958 -> 2132[label="",style="solid", color="black", weight=3]; 1959[label="primMulInt yu301 yu4000",fontsize=16,color="burlywood",shape="box"];2519[label="yu301/Pos yu3010",fontsize=10,color="white",style="solid",shape="box"];1959 -> 2519[label="",style="solid", color="burlywood", weight=9]; 2519 -> 2133[label="",style="solid", color="burlywood", weight=3]; 2520[label="yu301/Neg yu3010",fontsize=10,color="white",style="solid",shape="box"];1959 -> 2520[label="",style="solid", color="burlywood", weight=9]; 2520 -> 2134[label="",style="solid", color="burlywood", weight=3]; 1960[label="yu4001",fontsize=16,color="green",shape="box"];1961[label="yu300",fontsize=16,color="green",shape="box"];1962[label="yu4000",fontsize=16,color="green",shape="box"];1963[label="yu300",fontsize=16,color="green",shape="box"];1964[label="yu4000",fontsize=16,color="green",shape="box"];1965[label="yu300",fontsize=16,color="green",shape="box"];1966[label="yu4001",fontsize=16,color="green",shape="box"];1967[label="yu301",fontsize=16,color="green",shape="box"];1968[label="yu4001",fontsize=16,color="green",shape="box"];1969[label="yu301",fontsize=16,color="green",shape="box"];1970[label="False",fontsize=16,color="green",shape="box"];1971[label="yu72",fontsize=16,color="green",shape="box"];1972[label="yu4000",fontsize=16,color="green",shape="box"];1973[label="yu300",fontsize=16,color="green",shape="box"];1974[label="yu4000",fontsize=16,color="green",shape="box"];1975[label="yu300",fontsize=16,color="green",shape="box"];1976[label="yu4000",fontsize=16,color="green",shape="box"];1977[label="yu300",fontsize=16,color="green",shape="box"];1978[label="yu4000",fontsize=16,color="green",shape="box"];1979[label="yu300",fontsize=16,color="green",shape="box"];1980[label="yu4000",fontsize=16,color="green",shape="box"];1981[label="yu300",fontsize=16,color="green",shape="box"];1982[label="yu4000",fontsize=16,color="green",shape="box"];1983[label="yu300",fontsize=16,color="green",shape="box"];1984[label="yu4000",fontsize=16,color="green",shape="box"];1985[label="yu300",fontsize=16,color="green",shape="box"];1986[label="yu4000",fontsize=16,color="green",shape="box"];1987[label="yu300",fontsize=16,color="green",shape="box"];1988[label="yu4000",fontsize=16,color="green",shape="box"];1989[label="yu300",fontsize=16,color="green",shape="box"];1990[label="yu4000",fontsize=16,color="green",shape="box"];1991[label="yu300",fontsize=16,color="green",shape="box"];1992[label="yu4000",fontsize=16,color="green",shape="box"];1993[label="yu300",fontsize=16,color="green",shape="box"];1994[label="yu4000",fontsize=16,color="green",shape="box"];1995[label="yu300",fontsize=16,color="green",shape="box"];1996[label="yu4000",fontsize=16,color="green",shape="box"];1997[label="yu300",fontsize=16,color="green",shape="box"];1998[label="yu4000",fontsize=16,color="green",shape="box"];1999[label="yu300",fontsize=16,color="green",shape="box"];2000[label="yu4001",fontsize=16,color="green",shape="box"];2001[label="yu301",fontsize=16,color="green",shape="box"];2002[label="yu4001",fontsize=16,color="green",shape="box"];2003[label="yu301",fontsize=16,color="green",shape="box"];2004[label="yu4001",fontsize=16,color="green",shape="box"];2005[label="yu301",fontsize=16,color="green",shape="box"];2006[label="yu4001",fontsize=16,color="green",shape="box"];2007[label="yu301",fontsize=16,color="green",shape="box"];2008[label="yu4001",fontsize=16,color="green",shape="box"];2009[label="yu301",fontsize=16,color="green",shape="box"];2010[label="yu4001",fontsize=16,color="green",shape="box"];2011[label="yu301",fontsize=16,color="green",shape="box"];2012[label="yu4001",fontsize=16,color="green",shape="box"];2013[label="yu301",fontsize=16,color="green",shape="box"];2014[label="yu4001",fontsize=16,color="green",shape="box"];2015[label="yu301",fontsize=16,color="green",shape="box"];2016[label="yu4001",fontsize=16,color="green",shape="box"];2017[label="yu301",fontsize=16,color="green",shape="box"];2018[label="yu4001",fontsize=16,color="green",shape="box"];2019[label="yu301",fontsize=16,color="green",shape="box"];2020[label="yu4001",fontsize=16,color="green",shape="box"];2021[label="yu301",fontsize=16,color="green",shape="box"];2022[label="yu4001",fontsize=16,color="green",shape="box"];2023[label="yu301",fontsize=16,color="green",shape="box"];2024[label="yu4001",fontsize=16,color="green",shape="box"];2025[label="yu301",fontsize=16,color="green",shape="box"];2026[label="yu4001",fontsize=16,color="green",shape="box"];2027[label="yu301",fontsize=16,color="green",shape="box"];2028[label="yu4000",fontsize=16,color="green",shape="box"];2029[label="yu300",fontsize=16,color="green",shape="box"];2030[label="yu4000",fontsize=16,color="green",shape="box"];2031[label="yu300",fontsize=16,color="green",shape="box"];2032[label="yu4000",fontsize=16,color="green",shape="box"];2033[label="yu300",fontsize=16,color="green",shape="box"];2034[label="yu4000",fontsize=16,color="green",shape="box"];2035[label="yu300",fontsize=16,color="green",shape="box"];2036[label="yu4000",fontsize=16,color="green",shape="box"];2037[label="yu300",fontsize=16,color="green",shape="box"];2038[label="yu4000",fontsize=16,color="green",shape="box"];2039[label="yu300",fontsize=16,color="green",shape="box"];2040[label="yu4000",fontsize=16,color="green",shape="box"];2041[label="yu300",fontsize=16,color="green",shape="box"];2042[label="yu4000",fontsize=16,color="green",shape="box"];2043[label="yu300",fontsize=16,color="green",shape="box"];2044[label="yu4000",fontsize=16,color="green",shape="box"];2045[label="yu300",fontsize=16,color="green",shape="box"];2046[label="yu4000",fontsize=16,color="green",shape="box"];2047[label="yu300",fontsize=16,color="green",shape="box"];2048[label="yu4000",fontsize=16,color="green",shape="box"];2049[label="yu300",fontsize=16,color="green",shape="box"];2050[label="yu4000",fontsize=16,color="green",shape="box"];2051[label="yu300",fontsize=16,color="green",shape="box"];2052[label="yu4000",fontsize=16,color="green",shape="box"];2053[label="yu300",fontsize=16,color="green",shape="box"];2054[label="yu4000",fontsize=16,color="green",shape="box"];2055[label="yu300",fontsize=16,color="green",shape="box"];2056[label="yu4000",fontsize=16,color="green",shape="box"];2057[label="yu300",fontsize=16,color="green",shape="box"];2058[label="yu4000",fontsize=16,color="green",shape="box"];2059[label="yu300",fontsize=16,color="green",shape="box"];2060[label="yu4000",fontsize=16,color="green",shape="box"];2061[label="yu300",fontsize=16,color="green",shape="box"];2062[label="yu4000",fontsize=16,color="green",shape="box"];2063[label="yu300",fontsize=16,color="green",shape="box"];2064[label="yu4000",fontsize=16,color="green",shape="box"];2065[label="yu300",fontsize=16,color="green",shape="box"];2066[label="yu4000",fontsize=16,color="green",shape="box"];2067[label="yu300",fontsize=16,color="green",shape="box"];2068[label="yu4000",fontsize=16,color="green",shape="box"];2069[label="yu300",fontsize=16,color="green",shape="box"];2070[label="yu4000",fontsize=16,color="green",shape="box"];2071[label="yu300",fontsize=16,color="green",shape="box"];2072[label="yu4000",fontsize=16,color="green",shape="box"];2073[label="yu300",fontsize=16,color="green",shape="box"];2074[label="yu4000",fontsize=16,color="green",shape="box"];2075[label="yu300",fontsize=16,color="green",shape="box"];2076[label="yu4000",fontsize=16,color="green",shape="box"];2077[label="yu300",fontsize=16,color="green",shape="box"];2078[label="yu4000",fontsize=16,color="green",shape="box"];2079[label="yu300",fontsize=16,color="green",shape="box"];2080[label="yu4000",fontsize=16,color="green",shape="box"];2081[label="yu300",fontsize=16,color="green",shape="box"];2082[label="yu4000",fontsize=16,color="green",shape="box"];2083[label="yu300",fontsize=16,color="green",shape="box"];2084 -> 1631[label="",style="dashed", color="red", weight=0]; 2084[label="yu301 == yu4001",fontsize=16,color="magenta"];2084 -> 2135[label="",style="dashed", color="magenta", weight=3]; 2084 -> 2136[label="",style="dashed", color="magenta", weight=3]; 2085 -> 1632[label="",style="dashed", color="red", weight=0]; 2085[label="yu301 == yu4001",fontsize=16,color="magenta"];2085 -> 2137[label="",style="dashed", color="magenta", weight=3]; 2085 -> 2138[label="",style="dashed", color="magenta", weight=3]; 2086 -> 1633[label="",style="dashed", color="red", weight=0]; 2086[label="yu301 == yu4001",fontsize=16,color="magenta"];2086 -> 2139[label="",style="dashed", color="magenta", weight=3]; 2086 -> 2140[label="",style="dashed", color="magenta", weight=3]; 2087 -> 1634[label="",style="dashed", color="red", weight=0]; 2087[label="yu301 == yu4001",fontsize=16,color="magenta"];2087 -> 2141[label="",style="dashed", color="magenta", weight=3]; 2087 -> 2142[label="",style="dashed", color="magenta", weight=3]; 2088 -> 1635[label="",style="dashed", color="red", weight=0]; 2088[label="yu301 == yu4001",fontsize=16,color="magenta"];2088 -> 2143[label="",style="dashed", color="magenta", weight=3]; 2088 -> 2144[label="",style="dashed", color="magenta", weight=3]; 2089 -> 1636[label="",style="dashed", color="red", weight=0]; 2089[label="yu301 == yu4001",fontsize=16,color="magenta"];2089 -> 2145[label="",style="dashed", color="magenta", weight=3]; 2089 -> 2146[label="",style="dashed", color="magenta", weight=3]; 2090 -> 1637[label="",style="dashed", color="red", weight=0]; 2090[label="yu301 == yu4001",fontsize=16,color="magenta"];2090 -> 2147[label="",style="dashed", color="magenta", weight=3]; 2090 -> 2148[label="",style="dashed", color="magenta", weight=3]; 2091 -> 1638[label="",style="dashed", color="red", weight=0]; 2091[label="yu301 == yu4001",fontsize=16,color="magenta"];2091 -> 2149[label="",style="dashed", color="magenta", weight=3]; 2091 -> 2150[label="",style="dashed", color="magenta", weight=3]; 2092 -> 1639[label="",style="dashed", color="red", weight=0]; 2092[label="yu301 == yu4001",fontsize=16,color="magenta"];2092 -> 2151[label="",style="dashed", color="magenta", weight=3]; 2092 -> 2152[label="",style="dashed", color="magenta", weight=3]; 2093 -> 1640[label="",style="dashed", color="red", weight=0]; 2093[label="yu301 == yu4001",fontsize=16,color="magenta"];2093 -> 2153[label="",style="dashed", color="magenta", weight=3]; 2093 -> 2154[label="",style="dashed", color="magenta", weight=3]; 2094 -> 1641[label="",style="dashed", color="red", weight=0]; 2094[label="yu301 == yu4001",fontsize=16,color="magenta"];2094 -> 2155[label="",style="dashed", color="magenta", weight=3]; 2094 -> 2156[label="",style="dashed", color="magenta", weight=3]; 2095 -> 1642[label="",style="dashed", color="red", weight=0]; 2095[label="yu301 == yu4001",fontsize=16,color="magenta"];2095 -> 2157[label="",style="dashed", color="magenta", weight=3]; 2095 -> 2158[label="",style="dashed", color="magenta", weight=3]; 2096 -> 1585[label="",style="dashed", color="red", weight=0]; 2096[label="yu301 == yu4001",fontsize=16,color="magenta"];2096 -> 2159[label="",style="dashed", color="magenta", weight=3]; 2096 -> 2160[label="",style="dashed", color="magenta", weight=3]; 2097 -> 1644[label="",style="dashed", color="red", weight=0]; 2097[label="yu301 == yu4001",fontsize=16,color="magenta"];2097 -> 2161[label="",style="dashed", color="magenta", weight=3]; 2097 -> 2162[label="",style="dashed", color="magenta", weight=3]; 2098 -> 1631[label="",style="dashed", color="red", weight=0]; 2098[label="yu302 == yu4002",fontsize=16,color="magenta"];2098 -> 2163[label="",style="dashed", color="magenta", weight=3]; 2098 -> 2164[label="",style="dashed", color="magenta", weight=3]; 2099 -> 1632[label="",style="dashed", color="red", weight=0]; 2099[label="yu302 == yu4002",fontsize=16,color="magenta"];2099 -> 2165[label="",style="dashed", color="magenta", weight=3]; 2099 -> 2166[label="",style="dashed", color="magenta", weight=3]; 2100 -> 1633[label="",style="dashed", color="red", weight=0]; 2100[label="yu302 == yu4002",fontsize=16,color="magenta"];2100 -> 2167[label="",style="dashed", color="magenta", weight=3]; 2100 -> 2168[label="",style="dashed", color="magenta", weight=3]; 2101 -> 1634[label="",style="dashed", color="red", weight=0]; 2101[label="yu302 == yu4002",fontsize=16,color="magenta"];2101 -> 2169[label="",style="dashed", color="magenta", weight=3]; 2101 -> 2170[label="",style="dashed", color="magenta", weight=3]; 2102 -> 1635[label="",style="dashed", color="red", weight=0]; 2102[label="yu302 == yu4002",fontsize=16,color="magenta"];2102 -> 2171[label="",style="dashed", color="magenta", weight=3]; 2102 -> 2172[label="",style="dashed", color="magenta", weight=3]; 2103 -> 1636[label="",style="dashed", color="red", weight=0]; 2103[label="yu302 == yu4002",fontsize=16,color="magenta"];2103 -> 2173[label="",style="dashed", color="magenta", weight=3]; 2103 -> 2174[label="",style="dashed", color="magenta", weight=3]; 2104 -> 1637[label="",style="dashed", color="red", weight=0]; 2104[label="yu302 == yu4002",fontsize=16,color="magenta"];2104 -> 2175[label="",style="dashed", color="magenta", weight=3]; 2104 -> 2176[label="",style="dashed", color="magenta", weight=3]; 2105 -> 1638[label="",style="dashed", color="red", weight=0]; 2105[label="yu302 == yu4002",fontsize=16,color="magenta"];2105 -> 2177[label="",style="dashed", color="magenta", weight=3]; 2105 -> 2178[label="",style="dashed", color="magenta", weight=3]; 2106 -> 1639[label="",style="dashed", color="red", weight=0]; 2106[label="yu302 == yu4002",fontsize=16,color="magenta"];2106 -> 2179[label="",style="dashed", color="magenta", weight=3]; 2106 -> 2180[label="",style="dashed", color="magenta", weight=3]; 2107 -> 1640[label="",style="dashed", color="red", weight=0]; 2107[label="yu302 == yu4002",fontsize=16,color="magenta"];2107 -> 2181[label="",style="dashed", color="magenta", weight=3]; 2107 -> 2182[label="",style="dashed", color="magenta", weight=3]; 2108 -> 1641[label="",style="dashed", color="red", weight=0]; 2108[label="yu302 == yu4002",fontsize=16,color="magenta"];2108 -> 2183[label="",style="dashed", color="magenta", weight=3]; 2108 -> 2184[label="",style="dashed", color="magenta", weight=3]; 2109 -> 1642[label="",style="dashed", color="red", weight=0]; 2109[label="yu302 == yu4002",fontsize=16,color="magenta"];2109 -> 2185[label="",style="dashed", color="magenta", weight=3]; 2109 -> 2186[label="",style="dashed", color="magenta", weight=3]; 2110 -> 1585[label="",style="dashed", color="red", weight=0]; 2110[label="yu302 == yu4002",fontsize=16,color="magenta"];2110 -> 2187[label="",style="dashed", color="magenta", weight=3]; 2110 -> 2188[label="",style="dashed", color="magenta", weight=3]; 2111 -> 1644[label="",style="dashed", color="red", weight=0]; 2111[label="yu302 == yu4002",fontsize=16,color="magenta"];2111 -> 2189[label="",style="dashed", color="magenta", weight=3]; 2111 -> 2190[label="",style="dashed", color="magenta", weight=3]; 2112[label="yu4000",fontsize=16,color="green",shape="box"];2113[label="yu301",fontsize=16,color="green",shape="box"];2114[label="yu4001",fontsize=16,color="green",shape="box"];2115[label="yu300",fontsize=16,color="green",shape="box"];2116 -> 1776[label="",style="dashed", color="red", weight=0]; 2116[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];2116 -> 2191[label="",style="dashed", color="magenta", weight=3]; 2116 -> 2192[label="",style="dashed", color="magenta", weight=3]; 2117[label="False",fontsize=16,color="green",shape="box"];2118[label="False",fontsize=16,color="green",shape="box"];2119[label="True",fontsize=16,color="green",shape="box"];2120[label="False",fontsize=16,color="green",shape="box"];2121[label="True",fontsize=16,color="green",shape="box"];2122 -> 1776[label="",style="dashed", color="red", weight=0]; 2122[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];2122 -> 2193[label="",style="dashed", color="magenta", weight=3]; 2122 -> 2194[label="",style="dashed", color="magenta", weight=3]; 2123[label="False",fontsize=16,color="green",shape="box"];2124[label="False",fontsize=16,color="green",shape="box"];2125[label="True",fontsize=16,color="green",shape="box"];2126[label="False",fontsize=16,color="green",shape="box"];2127[label="True",fontsize=16,color="green",shape="box"];2251[label="Succ (Succ (primPlusNat yu750 yu400000))",fontsize=16,color="green",shape="box"];2251 -> 2254[label="",style="dashed", color="green", weight=3]; 2252[label="Succ yu400000",fontsize=16,color="green",shape="box"];2270[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zip0 yu4110 (Pos yu76) : zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2270 -> 2275[label="",style="solid", color="black", weight=3]; 2129 -> 1776[label="",style="dashed", color="red", weight=0]; 2129[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];2129 -> 2196[label="",style="dashed", color="magenta", weight=3]; 2129 -> 2197[label="",style="dashed", color="magenta", weight=3]; 2130[label="False",fontsize=16,color="green",shape="box"];2131[label="False",fontsize=16,color="green",shape="box"];2132[label="True",fontsize=16,color="green",shape="box"];2133[label="primMulInt (Pos yu3010) yu4000",fontsize=16,color="burlywood",shape="box"];2521[label="yu4000/Pos yu40000",fontsize=10,color="white",style="solid",shape="box"];2133 -> 2521[label="",style="solid", color="burlywood", weight=9]; 2521 -> 2198[label="",style="solid", color="burlywood", weight=3]; 2522[label="yu4000/Neg yu40000",fontsize=10,color="white",style="solid",shape="box"];2133 -> 2522[label="",style="solid", color="burlywood", weight=9]; 2522 -> 2199[label="",style="solid", color="burlywood", weight=3]; 2134[label="primMulInt (Neg yu3010) yu4000",fontsize=16,color="burlywood",shape="box"];2523[label="yu4000/Pos yu40000",fontsize=10,color="white",style="solid",shape="box"];2134 -> 2523[label="",style="solid", color="burlywood", weight=9]; 2523 -> 2200[label="",style="solid", color="burlywood", weight=3]; 2524[label="yu4000/Neg yu40000",fontsize=10,color="white",style="solid",shape="box"];2134 -> 2524[label="",style="solid", color="burlywood", weight=9]; 2524 -> 2201[label="",style="solid", color="burlywood", weight=3]; 2135[label="yu4001",fontsize=16,color="green",shape="box"];2136[label="yu301",fontsize=16,color="green",shape="box"];2137[label="yu4001",fontsize=16,color="green",shape="box"];2138[label="yu301",fontsize=16,color="green",shape="box"];2139[label="yu4001",fontsize=16,color="green",shape="box"];2140[label="yu301",fontsize=16,color="green",shape="box"];2141[label="yu4001",fontsize=16,color="green",shape="box"];2142[label="yu301",fontsize=16,color="green",shape="box"];2143[label="yu4001",fontsize=16,color="green",shape="box"];2144[label="yu301",fontsize=16,color="green",shape="box"];2145[label="yu4001",fontsize=16,color="green",shape="box"];2146[label="yu301",fontsize=16,color="green",shape="box"];2147[label="yu4001",fontsize=16,color="green",shape="box"];2148[label="yu301",fontsize=16,color="green",shape="box"];2149[label="yu4001",fontsize=16,color="green",shape="box"];2150[label="yu301",fontsize=16,color="green",shape="box"];2151[label="yu4001",fontsize=16,color="green",shape="box"];2152[label="yu301",fontsize=16,color="green",shape="box"];2153[label="yu4001",fontsize=16,color="green",shape="box"];2154[label="yu301",fontsize=16,color="green",shape="box"];2155[label="yu4001",fontsize=16,color="green",shape="box"];2156[label="yu301",fontsize=16,color="green",shape="box"];2157[label="yu4001",fontsize=16,color="green",shape="box"];2158[label="yu301",fontsize=16,color="green",shape="box"];2159[label="yu4001",fontsize=16,color="green",shape="box"];2160[label="yu301",fontsize=16,color="green",shape="box"];2161[label="yu4001",fontsize=16,color="green",shape="box"];2162[label="yu301",fontsize=16,color="green",shape="box"];2163[label="yu4002",fontsize=16,color="green",shape="box"];2164[label="yu302",fontsize=16,color="green",shape="box"];2165[label="yu4002",fontsize=16,color="green",shape="box"];2166[label="yu302",fontsize=16,color="green",shape="box"];2167[label="yu4002",fontsize=16,color="green",shape="box"];2168[label="yu302",fontsize=16,color="green",shape="box"];2169[label="yu4002",fontsize=16,color="green",shape="box"];2170[label="yu302",fontsize=16,color="green",shape="box"];2171[label="yu4002",fontsize=16,color="green",shape="box"];2172[label="yu302",fontsize=16,color="green",shape="box"];2173[label="yu4002",fontsize=16,color="green",shape="box"];2174[label="yu302",fontsize=16,color="green",shape="box"];2175[label="yu4002",fontsize=16,color="green",shape="box"];2176[label="yu302",fontsize=16,color="green",shape="box"];2177[label="yu4002",fontsize=16,color="green",shape="box"];2178[label="yu302",fontsize=16,color="green",shape="box"];2179[label="yu4002",fontsize=16,color="green",shape="box"];2180[label="yu302",fontsize=16,color="green",shape="box"];2181[label="yu4002",fontsize=16,color="green",shape="box"];2182[label="yu302",fontsize=16,color="green",shape="box"];2183[label="yu4002",fontsize=16,color="green",shape="box"];2184[label="yu302",fontsize=16,color="green",shape="box"];2185[label="yu4002",fontsize=16,color="green",shape="box"];2186[label="yu302",fontsize=16,color="green",shape="box"];2187[label="yu4002",fontsize=16,color="green",shape="box"];2188[label="yu302",fontsize=16,color="green",shape="box"];2189[label="yu4002",fontsize=16,color="green",shape="box"];2190[label="yu302",fontsize=16,color="green",shape="box"];2191[label="yu40000",fontsize=16,color="green",shape="box"];2192[label="yu3000",fontsize=16,color="green",shape="box"];2193[label="yu40000",fontsize=16,color="green",shape="box"];2194[label="yu3000",fontsize=16,color="green",shape="box"];2254[label="primPlusNat yu750 yu400000",fontsize=16,color="burlywood",shape="triangle"];2525[label="yu750/Succ yu7500",fontsize=10,color="white",style="solid",shape="box"];2254 -> 2525[label="",style="solid", color="burlywood", weight=9]; 2525 -> 2263[label="",style="solid", color="burlywood", weight=3]; 2526[label="yu750/Zero",fontsize=10,color="white",style="solid",shape="box"];2254 -> 2526[label="",style="solid", color="burlywood", weight=9]; 2526 -> 2264[label="",style="solid", color="burlywood", weight=3]; 2275[label="foldr (++) [] (List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu76)) : map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2275 -> 2277[label="",style="solid", color="black", weight=3]; 2196[label="yu40000",fontsize=16,color="green",shape="box"];2197[label="yu3000",fontsize=16,color="green",shape="box"];2198[label="primMulInt (Pos yu3010) (Pos yu40000)",fontsize=16,color="black",shape="box"];2198 -> 2203[label="",style="solid", color="black", weight=3]; 2199[label="primMulInt (Pos yu3010) (Neg yu40000)",fontsize=16,color="black",shape="box"];2199 -> 2204[label="",style="solid", color="black", weight=3]; 2200[label="primMulInt (Neg yu3010) (Pos yu40000)",fontsize=16,color="black",shape="box"];2200 -> 2205[label="",style="solid", color="black", weight=3]; 2201[label="primMulInt (Neg yu3010) (Neg yu40000)",fontsize=16,color="black",shape="box"];2201 -> 2206[label="",style="solid", color="black", weight=3]; 2263[label="primPlusNat (Succ yu7500) yu400000",fontsize=16,color="burlywood",shape="box"];2527[label="yu400000/Succ yu4000000",fontsize=10,color="white",style="solid",shape="box"];2263 -> 2527[label="",style="solid", color="burlywood", weight=9]; 2527 -> 2266[label="",style="solid", color="burlywood", weight=3]; 2528[label="yu400000/Zero",fontsize=10,color="white",style="solid",shape="box"];2263 -> 2528[label="",style="solid", color="burlywood", weight=9]; 2528 -> 2267[label="",style="solid", color="burlywood", weight=3]; 2264[label="primPlusNat Zero yu400000",fontsize=16,color="burlywood",shape="box"];2529[label="yu400000/Succ yu4000000",fontsize=10,color="white",style="solid",shape="box"];2264 -> 2529[label="",style="solid", color="burlywood", weight=9]; 2529 -> 2268[label="",style="solid", color="burlywood", weight=3]; 2530[label="yu400000/Zero",fontsize=10,color="white",style="solid",shape="box"];2264 -> 2530[label="",style="solid", color="burlywood", weight=9]; 2530 -> 2269[label="",style="solid", color="burlywood", weight=3]; 2277[label="(++) List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu76)) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2277 -> 2280[label="",style="solid", color="black", weight=3]; 2203[label="Pos (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2203 -> 2208[label="",style="dashed", color="green", weight=3]; 2204[label="Neg (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2204 -> 2209[label="",style="dashed", color="green", weight=3]; 2205[label="Neg (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2205 -> 2210[label="",style="dashed", color="green", weight=3]; 2206[label="Pos (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2206 -> 2211[label="",style="dashed", color="green", weight=3]; 2266[label="primPlusNat (Succ yu7500) (Succ yu4000000)",fontsize=16,color="black",shape="box"];2266 -> 2271[label="",style="solid", color="black", weight=3]; 2267[label="primPlusNat (Succ yu7500) Zero",fontsize=16,color="black",shape="box"];2267 -> 2272[label="",style="solid", color="black", weight=3]; 2268[label="primPlusNat Zero (Succ yu4000000)",fontsize=16,color="black",shape="box"];2268 -> 2273[label="",style="solid", color="black", weight=3]; 2269[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2269 -> 2274[label="",style="solid", color="black", weight=3]; 2280[label="(++) List.findIndices00 (yu3 ==) (zip0 yu4110 (Pos yu76)) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2280 -> 2281[label="",style="solid", color="black", weight=3]; 2208[label="primMulNat yu3010 yu40000",fontsize=16,color="burlywood",shape="triangle"];2531[label="yu3010/Succ yu30100",fontsize=10,color="white",style="solid",shape="box"];2208 -> 2531[label="",style="solid", color="burlywood", weight=9]; 2531 -> 2215[label="",style="solid", color="burlywood", weight=3]; 2532[label="yu3010/Zero",fontsize=10,color="white",style="solid",shape="box"];2208 -> 2532[label="",style="solid", color="burlywood", weight=9]; 2532 -> 2216[label="",style="solid", color="burlywood", weight=3]; 2209 -> 2208[label="",style="dashed", color="red", weight=0]; 2209[label="primMulNat yu3010 yu40000",fontsize=16,color="magenta"];2209 -> 2217[label="",style="dashed", color="magenta", weight=3]; 2210 -> 2208[label="",style="dashed", color="red", weight=0]; 2210[label="primMulNat yu3010 yu40000",fontsize=16,color="magenta"];2210 -> 2218[label="",style="dashed", color="magenta", weight=3]; 2211 -> 2208[label="",style="dashed", color="red", weight=0]; 2211[label="primMulNat yu3010 yu40000",fontsize=16,color="magenta"];2211 -> 2219[label="",style="dashed", color="magenta", weight=3]; 2211 -> 2220[label="",style="dashed", color="magenta", weight=3]; 2271[label="Succ (Succ (primPlusNat yu7500 yu4000000))",fontsize=16,color="green",shape="box"];2271 -> 2276[label="",style="dashed", color="green", weight=3]; 2272[label="Succ yu7500",fontsize=16,color="green",shape="box"];2273[label="Succ yu4000000",fontsize=16,color="green",shape="box"];2274[label="Zero",fontsize=16,color="green",shape="box"];2281[label="(++) List.findIndices00 (yu3 ==) (yu4110,Pos yu76) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2281 -> 2282[label="",style="solid", color="black", weight=3]; 2215[label="primMulNat (Succ yu30100) yu40000",fontsize=16,color="burlywood",shape="box"];2533[label="yu40000/Succ yu400000",fontsize=10,color="white",style="solid",shape="box"];2215 -> 2533[label="",style="solid", color="burlywood", weight=9]; 2533 -> 2225[label="",style="solid", color="burlywood", weight=3]; 2534[label="yu40000/Zero",fontsize=10,color="white",style="solid",shape="box"];2215 -> 2534[label="",style="solid", color="burlywood", weight=9]; 2534 -> 2226[label="",style="solid", color="burlywood", weight=3]; 2216[label="primMulNat Zero yu40000",fontsize=16,color="burlywood",shape="box"];2535[label="yu40000/Succ yu400000",fontsize=10,color="white",style="solid",shape="box"];2216 -> 2535[label="",style="solid", color="burlywood", weight=9]; 2535 -> 2227[label="",style="solid", color="burlywood", weight=3]; 2536[label="yu40000/Zero",fontsize=10,color="white",style="solid",shape="box"];2216 -> 2536[label="",style="solid", color="burlywood", weight=9]; 2536 -> 2228[label="",style="solid", color="burlywood", weight=3]; 2217[label="yu40000",fontsize=16,color="green",shape="box"];2218[label="yu3010",fontsize=16,color="green",shape="box"];2219[label="yu3010",fontsize=16,color="green",shape="box"];2220[label="yu40000",fontsize=16,color="green",shape="box"];2276 -> 2254[label="",style="dashed", color="red", weight=0]; 2276[label="primPlusNat yu7500 yu4000000",fontsize=16,color="magenta"];2276 -> 2278[label="",style="dashed", color="magenta", weight=3]; 2276 -> 2279[label="",style="dashed", color="magenta", weight=3]; 2282 -> 1583[label="",style="dashed", color="red", weight=0]; 2282[label="(++) List.findIndices000 (Pos yu76) (yu3 == yu4110) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];2282 -> 2283[label="",style="dashed", color="magenta", weight=3]; 2282 -> 2284[label="",style="dashed", color="magenta", weight=3]; 2282 -> 2285[label="",style="dashed", color="magenta", weight=3]; 2225[label="primMulNat (Succ yu30100) (Succ yu400000)",fontsize=16,color="black",shape="box"];2225 -> 2231[label="",style="solid", color="black", weight=3]; 2226[label="primMulNat (Succ yu30100) Zero",fontsize=16,color="black",shape="box"];2226 -> 2232[label="",style="solid", color="black", weight=3]; 2227[label="primMulNat Zero (Succ yu400000)",fontsize=16,color="black",shape="box"];2227 -> 2233[label="",style="solid", color="black", weight=3]; 2228[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];2228 -> 2234[label="",style="solid", color="black", weight=3]; 2278[label="yu7500",fontsize=16,color="green",shape="box"];2279[label="yu4000000",fontsize=16,color="green",shape="box"];2283[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];2537[label="yu4111/yu41110 : yu41111",fontsize=10,color="white",style="solid",shape="box"];2283 -> 2537[label="",style="solid", color="burlywood", weight=9]; 2537 -> 2286[label="",style="solid", color="burlywood", weight=3]; 2538[label="yu4111/[]",fontsize=10,color="white",style="solid",shape="box"];2283 -> 2538[label="",style="solid", color="burlywood", weight=9]; 2538 -> 2287[label="",style="solid", color="burlywood", weight=3]; 2284 -> 1585[label="",style="dashed", color="red", weight=0]; 2284[label="yu3 == yu4110",fontsize=16,color="magenta"];2284 -> 2288[label="",style="dashed", color="magenta", weight=3]; 2285[label="yu76",fontsize=16,color="green",shape="box"];2231 -> 2243[label="",style="dashed", color="red", weight=0]; 2231[label="primPlusNat (primMulNat yu30100 (Succ yu400000)) (Succ yu400000)",fontsize=16,color="magenta"];2231 -> 2244[label="",style="dashed", color="magenta", weight=3]; 2232[label="Zero",fontsize=16,color="green",shape="box"];2233[label="Zero",fontsize=16,color="green",shape="box"];2234[label="Zero",fontsize=16,color="green",shape="box"];2286[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2286 -> 2289[label="",style="solid", color="black", weight=3]; 2287[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yu76 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2287 -> 2290[label="",style="solid", color="black", weight=3]; 2288[label="yu4110",fontsize=16,color="green",shape="box"];2244 -> 2208[label="",style="dashed", color="red", weight=0]; 2244[label="primMulNat yu30100 (Succ yu400000)",fontsize=16,color="magenta"];2244 -> 2246[label="",style="dashed", color="magenta", weight=3]; 2244 -> 2247[label="",style="dashed", color="magenta", weight=3]; 2289 -> 2235[label="",style="dashed", color="red", weight=0]; 2289[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (Pos yu76 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu76 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];2289 -> 2291[label="",style="dashed", color="magenta", weight=3]; 2289 -> 2292[label="",style="dashed", color="magenta", weight=3]; 2289 -> 2293[label="",style="dashed", color="magenta", weight=3]; 2289 -> 2294[label="",style="dashed", color="magenta", weight=3]; 2290 -> 14[label="",style="dashed", color="red", weight=0]; 2290[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="magenta"];2246[label="yu30100",fontsize=16,color="green",shape="box"];2247[label="Succ yu400000",fontsize=16,color="green",shape="box"];2291[label="yu41110",fontsize=16,color="green",shape="box"];2292[label="yu76",fontsize=16,color="green",shape="box"];2293[label="yu76",fontsize=16,color="green",shape="box"];2294[label="yu41111",fontsize=16,color="green",shape="box"];} ---------------------------------------- (14) Complex Obligation (AND) ---------------------------------------- (15) Obligation: Q DP problem: The TRS P consists of the following rules: new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(ty_Maybe, df)) -> new_esEs(yu301, yu4001, df) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_@2, ge), gf)), gc), gd), bbh) -> new_esEs0(yu300, yu4000, ge, gf) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(app(app(ty_@3, eb), ec), ed)), bbh) -> new_esEs2(yu301, yu4001, eb, ec, ed) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(ty_[], bbb)), bbh) -> new_esEs1(yu302, yu4002, bbb) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_[], cf)), cc), bbh) -> new_esEs1(yu300, yu4000, cf) new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(ty_[], bd)), bbh) -> new_esEs1(yu300, yu4000, bd) new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(ty_Maybe, eg)), bbh) -> new_esEs(yu300, yu4000, eg) new_esEs3(Right(yu30), Right(yu400), bcc, app(ty_Maybe, bcd)) -> new_esEs(yu30, yu400, bcd) new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_Either, fg), fh)) -> new_esEs3(yu300, yu4000, fg, fh) new_esEs(Just(yu300), Just(yu4000), app(ty_Maybe, ba)) -> new_esEs(yu300, yu4000, ba) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(app(ty_Either, ee), ef)), bbh) -> new_esEs3(yu301, yu4001, ee, ef) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(app(ty_Either, bbf), bbg)) -> new_esEs3(yu302, yu4002, bbf, bbg) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_Maybe, gb)), gc), gd), bbh) -> new_esEs(yu300, yu4000, gb) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(ty_Maybe, bag)), bbh) -> new_esEs(yu302, yu4002, bag) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(app(app(ty_@3, bab), bac), bad), gd) -> new_esEs2(yu301, yu4001, bab, bac, bad) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_Either, dc), dd)), cc), bbh) -> new_esEs3(yu300, yu4000, dc, dd) new_esEs3(Right(yu30), Right(yu400), bcc, app(app(ty_Either, bdc), bdd)) -> new_esEs3(yu30, yu400, bdc, bdd) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(app(ty_Either, ee), ef)) -> new_esEs3(yu301, yu4001, ee, ef) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(app(ty_@3, gh), ha), hb), gc, gd) -> new_esEs2(yu300, yu4000, gh, ha, hb) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_Maybe, cb), cc) -> new_esEs(yu300, yu4000, cb) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(app(ty_Either, bbf), bbg)), bbh) -> new_esEs3(yu302, yu4002, bbf, bbg) new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(app(app(ty_@3, be), bf), bg)), bbh) -> new_esEs2(yu300, yu4000, be, bf, bg) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(app(ty_@2, bah), bba)), bbh) -> new_esEs0(yu302, yu4002, bah, bba) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(app(app(ty_@3, eb), ec), ed)) -> new_esEs2(yu301, yu4001, eb, ec, ed) new_esEs3(Right(yu30), Right(yu400), bcc, app(app(app(ty_@3, bch), bda), bdb)) -> new_esEs2(yu30, yu400, bch, bda, bdb) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(app(ty_Either, bae), baf), gd) -> new_esEs3(yu301, yu4001, bae, baf) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_[], gg), gc, gd) -> new_esEs1(yu300, yu4000, gg) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(ty_Maybe, bag)) -> new_esEs(yu302, yu4002, bag) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_@2, cd), ce), cc) -> new_esEs0(yu300, yu4000, cd, ce) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_Maybe, gb), gc, gd) -> new_esEs(yu300, yu4000, gb) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(ty_[], bbb)) -> new_esEs1(yu302, yu4002, bbb) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_[], gg)), gc), gd), bbh) -> new_esEs1(yu300, yu4000, gg) new_esEs3(Left(yu30), Left(yu400), app(app(ty_Either, bca), bcb), bbh) -> new_esEs3(yu30, yu400, bca, bcb) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(app(ty_@2, hg), hh)), gd), bbh) -> new_esEs0(yu301, yu4001, hg, hh) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(app(app(ty_@3, cg), da), db), cc) -> new_esEs2(yu300, yu4000, cg, da, db) new_esEs3(Right(yu30), Right(yu400), bcc, app(ty_[], bcg)) -> new_esEs1(yu30, yu400, bcg) new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(ty_Maybe, eg)) -> new_esEs(yu300, yu4000, eg) new_esEs(Just(yu300), Just(yu4000), app(ty_[], bd)) -> new_esEs1(yu300, yu4000, bd) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(app(ty_@2, bah), bba)) -> new_esEs0(yu302, yu4002, bah, bba) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_Either, hc), hd)), gc), gd), bbh) -> new_esEs3(yu300, yu4000, hc, hd) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(app(app(ty_@3, bbc), bbd), bbe)), bbh) -> new_esEs2(yu302, yu4002, bbc, bbd, bbe) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(app(ty_@2, dg), dh)) -> new_esEs0(yu301, yu4001, dg, dh) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_@2, ge), gf), gc, gd) -> new_esEs0(yu300, yu4000, ge, gf) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_Either, dc), dd), cc) -> new_esEs3(yu300, yu4000, dc, dd) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(app(ty_@2, dg), dh)), bbh) -> new_esEs0(yu301, yu4001, dg, dh) new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], ga), bbh) -> new_esEs1(yu301, yu4001, ga) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_[], cf), cc) -> new_esEs1(yu300, yu4000, cf) new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(app(ty_Either, fg), fh)), bbh) -> new_esEs3(yu300, yu4000, fg, fh) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(app(app(ty_@3, bab), bac), bad)), gd), bbh) -> new_esEs2(yu301, yu4001, bab, bac, bad) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(ty_[], ea)), bbh) -> new_esEs1(yu301, yu4001, ea) new_esEs(Just(yu300), Just(yu4000), app(app(ty_@2, bb), bc)) -> new_esEs0(yu300, yu4000, bb, bc) new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(app(app(ty_@3, fc), fd), ff)), bbh) -> new_esEs2(yu300, yu4000, fc, fd, ff) new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(ty_[], ea)) -> new_esEs1(yu301, yu4001, ea) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(app(ty_Either, bae), baf)), gd), bbh) -> new_esEs3(yu301, yu4001, bae, baf) new_esEs3(Right(yu30), Right(yu400), bcc, app(app(ty_@2, bce), bcf)) -> new_esEs0(yu30, yu400, bce, bcf) new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_@2, eh), fa)) -> new_esEs0(yu300, yu4000, eh, fa) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(app(app(ty_@3, cg), da), db)), cc), bbh) -> new_esEs2(yu300, yu4000, cg, da, db) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(ty_Maybe, df)), bbh) -> new_esEs(yu301, yu4001, df) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(ty_Maybe, hf)), gd), bbh) -> new_esEs(yu301, yu4001, hf) new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(app(ty_Either, bh), ca)), bbh) -> new_esEs3(yu300, yu4000, bh, ca) new_esEs(Just(yu300), Just(yu4000), app(app(ty_Either, bh), ca)) -> new_esEs3(yu300, yu4000, bh, ca) new_esEs(Just(yu300), Just(yu4000), app(app(app(ty_@3, be), bf), bg)) -> new_esEs2(yu300, yu4000, be, bf, bg) new_esEs1(:(yu300, yu301), :(yu4000, yu4001), ga) -> new_esEs1(yu301, yu4001, ga) new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(ty_[], fb)) -> new_esEs1(yu300, yu4000, fb) new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(ty_Maybe, ba)), bbh) -> new_esEs(yu300, yu4000, ba) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(app(ty_@3, gh), ha), hb)), gc), gd), bbh) -> new_esEs2(yu300, yu4000, gh, ha, hb) new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(ty_[], baa)), gd), bbh) -> new_esEs1(yu301, yu4001, baa) new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(ty_[], fb)), bbh) -> new_esEs1(yu300, yu4000, fb) new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(app(app(ty_@3, fc), fd), ff)) -> new_esEs2(yu300, yu4000, fc, fd, ff) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(app(app(ty_@3, bbc), bbd), bbe)) -> new_esEs2(yu302, yu4002, bbc, bbd, bbe) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_Maybe, cb)), cc), bbh) -> new_esEs(yu300, yu4000, cb) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(ty_Maybe, hf), gd) -> new_esEs(yu301, yu4001, hf) new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_@2, cd), ce)), cc), bbh) -> new_esEs0(yu300, yu4000, cd, ce) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(ty_[], baa), gd) -> new_esEs1(yu301, yu4001, baa) new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(app(ty_@2, eh), fa)), bbh) -> new_esEs0(yu300, yu4000, eh, fa) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_Either, hc), hd), gc, gd) -> new_esEs3(yu300, yu4000, hc, hd) new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(app(ty_@2, hg), hh), gd) -> new_esEs0(yu301, yu4001, hg, hh) new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(app(ty_@2, bb), bc)), bbh) -> new_esEs0(yu300, yu4000, bb, bc) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (16) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_esEs(Just(yu300), Just(yu4000), app(app(ty_@2, bb), bc)) -> new_esEs0(yu300, yu4000, bb, bc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Just(yu300), Just(yu4000), app(app(ty_Either, bh), ca)) -> new_esEs3(yu300, yu4000, bh, ca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_@2, eh), fa)) -> new_esEs0(yu300, yu4000, eh, fa) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_Either, fg), fh)) -> new_esEs3(yu300, yu4000, fg, fh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Just(yu300), Just(yu4000), app(ty_[], bd)) -> new_esEs1(yu300, yu4000, bd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Just(yu300), Just(yu4000), app(ty_Maybe, ba)) -> new_esEs(yu300, yu4000, ba) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Just(yu300), Just(yu4000), app(app(app(ty_@3, be), bf), bg)) -> new_esEs2(yu300, yu4000, be, bf, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(ty_Maybe, eg)) -> new_esEs(yu300, yu4000, eg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(app(app(ty_@3, fc), fd), ff)) -> new_esEs2(yu300, yu4000, fc, fd, ff) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_@2, cd), ce), cc) -> new_esEs0(yu300, yu4000, cd, ce) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(app(ty_@2, dg), dh)) -> new_esEs0(yu301, yu4001, dg, dh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(app(ty_@2, bah), bba)) -> new_esEs0(yu302, yu4002, bah, bba) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_@2, ge), gf), gc, gd) -> new_esEs0(yu300, yu4000, ge, gf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(app(ty_@2, hg), hh), gd) -> new_esEs0(yu301, yu4001, hg, hh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_@2, ge), gf)), gc), gd), bbh) -> new_esEs0(yu300, yu4000, ge, gf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(app(ty_@2, bah), bba)), bbh) -> new_esEs0(yu302, yu4002, bah, bba) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(app(ty_@2, hg), hh)), gd), bbh) -> new_esEs0(yu301, yu4001, hg, hh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(app(ty_@2, dg), dh)), bbh) -> new_esEs0(yu301, yu4001, dg, dh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Right(yu30), Right(yu400), bcc, app(app(ty_@2, bce), bcf)) -> new_esEs0(yu30, yu400, bce, bcf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_@2, cd), ce)), cc), bbh) -> new_esEs0(yu300, yu4000, cd, ce) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(app(ty_@2, eh), fa)), bbh) -> new_esEs0(yu300, yu4000, eh, fa) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(app(ty_@2, bb), bc)), bbh) -> new_esEs0(yu300, yu4000, bb, bc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(app(ty_Either, ee), ef)) -> new_esEs3(yu301, yu4001, ee, ef) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_Either, dc), dd), cc) -> new_esEs3(yu300, yu4000, dc, dd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_[], cf), cc) -> new_esEs1(yu300, yu4000, cf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(ty_[], ea)) -> new_esEs1(yu301, yu4001, ea) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(ty_Maybe, df)) -> new_esEs(yu301, yu4001, df) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_Maybe, cb), cc) -> new_esEs(yu300, yu4000, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), de, app(app(app(ty_@3, eb), ec), ed)) -> new_esEs2(yu301, yu4001, eb, ec, ed) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs0(@2(yu300, yu301), @2(yu4000, yu4001), app(app(app(ty_@3, cg), da), db), cc) -> new_esEs2(yu300, yu4000, cg, da, db) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(app(ty_Either, bbf), bbg)) -> new_esEs3(yu302, yu4002, bbf, bbg) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(app(ty_Either, bae), baf), gd) -> new_esEs3(yu301, yu4001, bae, baf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_Either, hc), hd), gc, gd) -> new_esEs3(yu300, yu4000, hc, hd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(app(ty_Either, ee), ef)), bbh) -> new_esEs3(yu301, yu4001, ee, ef) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_Either, dc), dd)), cc), bbh) -> new_esEs3(yu300, yu4000, dc, dd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Right(yu30), Right(yu400), bcc, app(app(ty_Either, bdc), bdd)) -> new_esEs3(yu30, yu400, bdc, bdd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(app(ty_Either, bbf), bbg)), bbh) -> new_esEs3(yu302, yu4002, bbf, bbg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(yu30), Left(yu400), app(app(ty_Either, bca), bcb), bbh) -> new_esEs3(yu30, yu400, bca, bcb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_Either, hc), hd)), gc), gd), bbh) -> new_esEs3(yu300, yu4000, hc, hd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(app(ty_Either, fg), fh)), bbh) -> new_esEs3(yu300, yu4000, fg, fh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(app(ty_Either, bae), baf)), gd), bbh) -> new_esEs3(yu301, yu4001, bae, baf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(app(ty_Either, bh), ca)), bbh) -> new_esEs3(yu300, yu4000, bh, ca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_[], gg), gc, gd) -> new_esEs1(yu300, yu4000, gg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(ty_[], bbb)) -> new_esEs1(yu302, yu4002, bbb) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(ty_[], baa), gd) -> new_esEs1(yu301, yu4001, baa) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(ty_Maybe, bag)) -> new_esEs(yu302, yu4002, bag) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_Maybe, gb), gc, gd) -> new_esEs(yu300, yu4000, gb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(ty_Maybe, hf), gd) -> new_esEs(yu301, yu4001, hf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, app(app(app(ty_@3, bab), bac), bad), gd) -> new_esEs2(yu301, yu4001, bab, bac, bad) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(app(ty_@3, gh), ha), hb), gc, gd) -> new_esEs2(yu300, yu4000, gh, ha, hb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), he, gc, app(app(app(ty_@3, bbc), bbd), bbe)) -> new_esEs2(yu302, yu4002, bbc, bbd, bbe) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5 *new_esEs1(:(yu300, yu301), :(yu4000, yu4001), ga) -> new_esEs1(yu301, yu4001, ga) The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3 *new_esEs1(:(yu300, yu301), :(yu4000, yu4001), app(ty_[], fb)) -> new_esEs1(yu300, yu4000, fb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(ty_[], bbb)), bbh) -> new_esEs1(yu302, yu4002, bbb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_[], cf)), cc), bbh) -> new_esEs1(yu300, yu4000, cf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(ty_[], bd)), bbh) -> new_esEs1(yu300, yu4000, bd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_[], gg)), gc), gd), bbh) -> new_esEs1(yu300, yu4000, gg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Right(yu30), Right(yu400), bcc, app(ty_[], bcg)) -> new_esEs1(yu30, yu400, bcg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], ga), bbh) -> new_esEs1(yu301, yu4001, ga) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(ty_[], ea)), bbh) -> new_esEs1(yu301, yu4001, ea) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(ty_[], baa)), gd), bbh) -> new_esEs1(yu301, yu4001, baa) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(ty_[], fb)), bbh) -> new_esEs1(yu300, yu4000, fb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(ty_Maybe, eg)), bbh) -> new_esEs(yu300, yu4000, eg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Right(yu30), Right(yu400), bcc, app(ty_Maybe, bcd)) -> new_esEs(yu30, yu400, bcd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_Maybe, gb)), gc), gd), bbh) -> new_esEs(yu300, yu4000, gb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(ty_Maybe, bag)), bbh) -> new_esEs(yu302, yu4002, bag) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(ty_Maybe, df)), bbh) -> new_esEs(yu301, yu4001, df) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(ty_Maybe, hf)), gd), bbh) -> new_esEs(yu301, yu4001, hf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(ty_Maybe, ba)), bbh) -> new_esEs(yu300, yu4000, ba) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_Maybe, cb)), cc), bbh) -> new_esEs(yu300, yu4000, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, de), app(app(app(ty_@3, eb), ec), ed)), bbh) -> new_esEs2(yu301, yu4001, eb, ec, ed) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(Left(Just(yu300)), Left(Just(yu4000)), app(ty_Maybe, app(app(app(ty_@3, be), bf), bg)), bbh) -> new_esEs2(yu300, yu4000, be, bf, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(Right(yu30), Right(yu400), bcc, app(app(app(ty_@3, bch), bda), bdb)) -> new_esEs2(yu30, yu400, bch, bda, bdb) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), gc), app(app(app(ty_@3, bbc), bbd), bbe)), bbh) -> new_esEs2(yu302, yu4002, bbc, bbd, bbe) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, he), app(app(app(ty_@3, bab), bac), bad)), gd), bbh) -> new_esEs2(yu301, yu4001, bab, bac, bad) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(Left(:(yu300, yu301)), Left(:(yu4000, yu4001)), app(ty_[], app(app(app(ty_@3, fc), fd), ff)), bbh) -> new_esEs2(yu300, yu4000, fc, fd, ff) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(Left(@2(yu300, yu301)), Left(@2(yu4000, yu4001)), app(app(ty_@2, app(app(app(ty_@3, cg), da), db)), cc), bbh) -> new_esEs2(yu300, yu4000, cg, da, db) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(Left(@3(yu300, yu301, yu302)), Left(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(app(ty_@3, gh), ha), hb)), gc), gd), bbh) -> new_esEs2(yu300, yu4000, gh, ha, hb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 ---------------------------------------- (17) YES ---------------------------------------- (18) Obligation: Q DP problem: The TRS P consists of the following rules: new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu77, yu76, ba, bb) -> new_foldr(yu3, yu41110, yu41111, yu76, yu76, ba, bb) new_foldr(yu3, yu4110, yu4111, yu73, yu74, ba, bb) -> new_foldr0(yu3, yu4110, yu4111, new_primPlusNat0(yu73, Zero), new_primPlusNat0(yu73, Zero), ba, bb) The TRS R consists of the following rules: new_primPlusNat0(Succ(yu750), yu400000) -> Succ(Succ(new_primPlusNat1(yu750, yu400000))) new_primPlusNat1(Succ(yu7500), Zero) -> Succ(yu7500) new_primPlusNat1(Zero, Succ(yu4000000)) -> Succ(yu4000000) new_primPlusNat1(Succ(yu7500), Succ(yu4000000)) -> Succ(Succ(new_primPlusNat1(yu7500, yu4000000))) new_primPlusNat1(Zero, Zero) -> Zero new_primPlusNat0(Zero, yu400000) -> Succ(yu400000) The set Q consists of the following terms: new_primPlusNat1(Succ(x0), Zero) new_primPlusNat0(Succ(x0), x1) new_primPlusNat1(Succ(x0), Succ(x1)) new_primPlusNat1(Zero, Zero) new_primPlusNat0(Zero, x0) new_primPlusNat1(Zero, Succ(x0)) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (19) TransformationProof (EQUIVALENT) By instantiating [LPAR04] the rule new_foldr(yu3, yu4110, yu4111, yu73, yu74, ba, bb) -> new_foldr0(yu3, yu4110, yu4111, new_primPlusNat0(yu73, Zero), new_primPlusNat0(yu73, Zero), ba, bb) we obtained the following new rules [LPAR04]: (new_foldr(z0, z2, z3, z5, z5, z6, z7) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6, z7),new_foldr(z0, z2, z3, z5, z5, z6, z7) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6, z7)) ---------------------------------------- (20) Obligation: Q DP problem: The TRS P consists of the following rules: new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu77, yu76, ba, bb) -> new_foldr(yu3, yu41110, yu41111, yu76, yu76, ba, bb) new_foldr(z0, z2, z3, z5, z5, z6, z7) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6, z7) The TRS R consists of the following rules: new_primPlusNat0(Succ(yu750), yu400000) -> Succ(Succ(new_primPlusNat1(yu750, yu400000))) new_primPlusNat1(Succ(yu7500), Zero) -> Succ(yu7500) new_primPlusNat1(Zero, Succ(yu4000000)) -> Succ(yu4000000) new_primPlusNat1(Succ(yu7500), Succ(yu4000000)) -> Succ(Succ(new_primPlusNat1(yu7500, yu4000000))) new_primPlusNat1(Zero, Zero) -> Zero new_primPlusNat0(Zero, yu400000) -> Succ(yu400000) The set Q consists of the following terms: new_primPlusNat1(Succ(x0), Zero) new_primPlusNat0(Succ(x0), x1) new_primPlusNat1(Succ(x0), Succ(x1)) new_primPlusNat1(Zero, Zero) new_primPlusNat0(Zero, x0) new_primPlusNat1(Zero, Succ(x0)) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (21) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_foldr(z0, z2, z3, z5, z5, z6, z7) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6, z7) The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 >= 6, 7 >= 7 *new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu77, yu76, ba, bb) -> new_foldr(yu3, yu41110, yu41111, yu76, yu76, ba, bb) The graph contains the following edges 1 >= 1, 3 > 2, 3 > 3, 5 >= 4, 5 >= 5, 6 >= 6, 7 >= 7 ---------------------------------------- (22) YES ---------------------------------------- (23) Obligation: Q DP problem: The TRS P consists of the following rules: new_primMulNat(Succ(yu30100), Succ(yu400000)) -> new_primMulNat(yu30100, Succ(yu400000)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (24) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primMulNat(Succ(yu30100), Succ(yu400000)) -> new_primMulNat(yu30100, Succ(yu400000)) The graph contains the following edges 1 > 1, 2 >= 2 ---------------------------------------- (25) YES ---------------------------------------- (26) Obligation: Q DP problem: The TRS P consists of the following rules: new_primPlusNat(Succ(yu7500), Succ(yu4000000)) -> new_primPlusNat(yu7500, yu4000000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (27) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primPlusNat(Succ(yu7500), Succ(yu4000000)) -> new_primPlusNat(yu7500, yu4000000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (28) YES ---------------------------------------- (29) Obligation: Q DP problem: The TRS P consists of the following rules: new_primEqNat(Succ(yu3000), Succ(yu40000)) -> new_primEqNat(yu3000, yu40000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (30) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primEqNat(Succ(yu3000), Succ(yu40000)) -> new_primEqNat(yu3000, yu40000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (31) YES