/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty H-Termination with start terms of the given HASKELL could be proven: (0) HASKELL (1) LR [EQUIVALENT, 0 ms] (2) HASKELL (3) CR [EQUIVALENT, 0 ms] (4) HASKELL (5) IFR [EQUIVALENT, 0 ms] (6) HASKELL (7) BR [EQUIVALENT, 0 ms] (8) HASKELL (9) COR [EQUIVALENT, 10 ms] (10) HASKELL (11) NumRed [SOUND, 0 ms] (12) HASKELL (13) Narrow [SOUND, 0 ms] (14) AND (15) QDP (16) QDPSizeChangeProof [EQUIVALENT, 0 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"];2211[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];10 -> 2211[label="",style="solid", color="burlywood", weight=9]; 2211 -> 11[label="",style="solid", color="burlywood", weight=3]; 2212[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 2212[label="",style="solid", color="burlywood", weight=9]; 2212 -> 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 -> 1493[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 -> 1494[label="",style="dashed", color="magenta", weight=3]; 23 -> 1495[label="",style="dashed", color="magenta", weight=3]; 23 -> 1496[label="",style="dashed", color="magenta", weight=3]; 1494[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];2213[label="yu41/yu410 : yu411",fontsize=10,color="white",style="solid",shape="box"];1494 -> 2213[label="",style="solid", color="burlywood", weight=9]; 2213 -> 1519[label="",style="solid", color="burlywood", weight=3]; 2214[label="yu41/[]",fontsize=10,color="white",style="solid",shape="box"];1494 -> 2214[label="",style="solid", color="burlywood", weight=9]; 2214 -> 1520[label="",style="solid", color="burlywood", weight=3]; 1495[label="yu3 == yu40",fontsize=16,color="burlywood",shape="triangle"];2215[label="yu3/Nothing",fontsize=10,color="white",style="solid",shape="box"];1495 -> 2215[label="",style="solid", color="burlywood", weight=9]; 2215 -> 1521[label="",style="solid", color="burlywood", weight=3]; 2216[label="yu3/Just yu30",fontsize=10,color="white",style="solid",shape="box"];1495 -> 2216[label="",style="solid", color="burlywood", weight=9]; 2216 -> 1522[label="",style="solid", color="burlywood", weight=3]; 1496[label="Zero",fontsize=16,color="green",shape="box"];1493[label="(++) List.findIndices000 (Pos yu60) yu62 yu58",fontsize=16,color="burlywood",shape="triangle"];2217[label="yu62/False",fontsize=10,color="white",style="solid",shape="box"];1493 -> 2217[label="",style="solid", color="burlywood", weight=9]; 2217 -> 1523[label="",style="solid", color="burlywood", weight=3]; 2218[label="yu62/True",fontsize=10,color="white",style="solid",shape="box"];1493 -> 2218[label="",style="solid", color="burlywood", weight=9]; 2218 -> 1524[label="",style="solid", color="burlywood", weight=3]; 1519[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1519 -> 1525[label="",style="solid", color="black", weight=3]; 1520[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1520 -> 1526[label="",style="solid", color="black", weight=3]; 1521[label="Nothing == yu40",fontsize=16,color="burlywood",shape="box"];2219[label="yu40/Nothing",fontsize=10,color="white",style="solid",shape="box"];1521 -> 2219[label="",style="solid", color="burlywood", weight=9]; 2219 -> 1527[label="",style="solid", color="burlywood", weight=3]; 2220[label="yu40/Just yu400",fontsize=10,color="white",style="solid",shape="box"];1521 -> 2220[label="",style="solid", color="burlywood", weight=9]; 2220 -> 1528[label="",style="solid", color="burlywood", weight=3]; 1522[label="Just yu30 == yu40",fontsize=16,color="burlywood",shape="box"];2221[label="yu40/Nothing",fontsize=10,color="white",style="solid",shape="box"];1522 -> 2221[label="",style="solid", color="burlywood", weight=9]; 2221 -> 1529[label="",style="solid", color="burlywood", weight=3]; 2222[label="yu40/Just yu400",fontsize=10,color="white",style="solid",shape="box"];1522 -> 2222[label="",style="solid", color="burlywood", weight=9]; 2222 -> 1530[label="",style="solid", color="burlywood", weight=3]; 1523[label="(++) List.findIndices000 (Pos yu60) False yu58",fontsize=16,color="black",shape="box"];1523 -> 1531[label="",style="solid", color="black", weight=3]; 1524[label="(++) List.findIndices000 (Pos yu60) True yu58",fontsize=16,color="black",shape="box"];1524 -> 1532[label="",style="solid", color="black", weight=3]; 1525 -> 2151[label="",style="dashed", color="red", weight=0]; 1525[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"];1525 -> 2152[label="",style="dashed", color="magenta", weight=3]; 1525 -> 2153[label="",style="dashed", color="magenta", weight=3]; 1525 -> 2154[label="",style="dashed", color="magenta", weight=3]; 1525 -> 2155[label="",style="dashed", color="magenta", weight=3]; 1526 -> 14[label="",style="dashed", color="red", weight=0]; 1526[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="magenta"];1527[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];1527 -> 1534[label="",style="solid", color="black", weight=3]; 1528[label="Nothing == Just yu400",fontsize=16,color="black",shape="box"];1528 -> 1535[label="",style="solid", color="black", weight=3]; 1529[label="Just yu30 == Nothing",fontsize=16,color="black",shape="box"];1529 -> 1536[label="",style="solid", color="black", weight=3]; 1530[label="Just yu30 == Just yu400",fontsize=16,color="black",shape="box"];1530 -> 1537[label="",style="solid", color="black", weight=3]; 1531[label="(++) [] yu58",fontsize=16,color="black",shape="triangle"];1531 -> 1538[label="",style="solid", color="black", weight=3]; 1532[label="(++) (Pos yu60 : []) yu58",fontsize=16,color="black",shape="box"];1532 -> 1539[label="",style="solid", color="black", weight=3]; 2152[label="yu411",fontsize=16,color="green",shape="box"];2153[label="Zero",fontsize=16,color="green",shape="box"];2154[label="yu410",fontsize=16,color="green",shape="box"];2155[label="Zero",fontsize=16,color="green",shape="box"];2151[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu82 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu83 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="triangle"];2151 -> 2158[label="",style="solid", color="black", weight=3]; 1534[label="True",fontsize=16,color="green",shape="box"];1535[label="False",fontsize=16,color="green",shape="box"];1536[label="False",fontsize=16,color="green",shape="box"];1537[label="yu30 == yu400",fontsize=16,color="blue",shape="box"];2223[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2223[label="",style="solid", color="blue", weight=9]; 2223 -> 1541[label="",style="solid", color="blue", weight=3]; 2224[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2224[label="",style="solid", color="blue", weight=9]; 2224 -> 1542[label="",style="solid", color="blue", weight=3]; 2225[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2225[label="",style="solid", color="blue", weight=9]; 2225 -> 1543[label="",style="solid", color="blue", weight=3]; 2226[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2226[label="",style="solid", color="blue", weight=9]; 2226 -> 1544[label="",style="solid", color="blue", weight=3]; 2227[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2227[label="",style="solid", color="blue", weight=9]; 2227 -> 1545[label="",style="solid", color="blue", weight=3]; 2228[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2228[label="",style="solid", color="blue", weight=9]; 2228 -> 1546[label="",style="solid", color="blue", weight=3]; 2229[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2229[label="",style="solid", color="blue", weight=9]; 2229 -> 1547[label="",style="solid", color="blue", weight=3]; 2230[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2230[label="",style="solid", color="blue", weight=9]; 2230 -> 1548[label="",style="solid", color="blue", weight=3]; 2231[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2231[label="",style="solid", color="blue", weight=9]; 2231 -> 1549[label="",style="solid", color="blue", weight=3]; 2232[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2232[label="",style="solid", color="blue", weight=9]; 2232 -> 1550[label="",style="solid", color="blue", weight=3]; 2233[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2233[label="",style="solid", color="blue", weight=9]; 2233 -> 1551[label="",style="solid", color="blue", weight=3]; 2234[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2234[label="",style="solid", color="blue", weight=9]; 2234 -> 1552[label="",style="solid", color="blue", weight=3]; 2235[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2235[label="",style="solid", color="blue", weight=9]; 2235 -> 1553[label="",style="solid", color="blue", weight=3]; 2236[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2236[label="",style="solid", color="blue", weight=9]; 2236 -> 1554[label="",style="solid", color="blue", weight=3]; 1538[label="yu58",fontsize=16,color="green",shape="box"];1539[label="Pos yu60 : [] ++ yu58",fontsize=16,color="green",shape="box"];1539 -> 1555[label="",style="dashed", color="green", weight=3]; 2158[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu82 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yu83 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];2158 -> 2161[label="",style="solid", color="black", weight=3]; 1541[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2237[label="yu30/()",fontsize=10,color="white",style="solid",shape="box"];1541 -> 2237[label="",style="solid", color="burlywood", weight=9]; 2237 -> 1557[label="",style="solid", color="burlywood", weight=3]; 1542[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2238[label="yu30/(yu300,yu301,yu302)",fontsize=10,color="white",style="solid",shape="box"];1542 -> 2238[label="",style="solid", color="burlywood", weight=9]; 2238 -> 1558[label="",style="solid", color="burlywood", weight=3]; 1543[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1543 -> 1559[label="",style="solid", color="black", weight=3]; 1544[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2239[label="yu30/False",fontsize=10,color="white",style="solid",shape="box"];1544 -> 2239[label="",style="solid", color="burlywood", weight=9]; 2239 -> 1560[label="",style="solid", color="burlywood", weight=3]; 2240[label="yu30/True",fontsize=10,color="white",style="solid",shape="box"];1544 -> 2240[label="",style="solid", color="burlywood", weight=9]; 2240 -> 1561[label="",style="solid", color="burlywood", weight=3]; 1545[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2241[label="yu30/Left yu300",fontsize=10,color="white",style="solid",shape="box"];1545 -> 2241[label="",style="solid", color="burlywood", weight=9]; 2241 -> 1562[label="",style="solid", color="burlywood", weight=3]; 2242[label="yu30/Right yu300",fontsize=10,color="white",style="solid",shape="box"];1545 -> 2242[label="",style="solid", color="burlywood", weight=9]; 2242 -> 1563[label="",style="solid", color="burlywood", weight=3]; 1546[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1546 -> 1564[label="",style="solid", color="black", weight=3]; 1547[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2243[label="yu30/yu300 :% yu301",fontsize=10,color="white",style="solid",shape="box"];1547 -> 2243[label="",style="solid", color="burlywood", weight=9]; 2243 -> 1565[label="",style="solid", color="burlywood", weight=3]; 1548[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2244[label="yu30/(yu300,yu301)",fontsize=10,color="white",style="solid",shape="box"];1548 -> 2244[label="",style="solid", color="burlywood", weight=9]; 2244 -> 1566[label="",style="solid", color="burlywood", weight=3]; 1549[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1549 -> 1567[label="",style="solid", color="black", weight=3]; 1550 -> 1495[label="",style="dashed", color="red", weight=0]; 1550[label="yu30 == yu400",fontsize=16,color="magenta"];1550 -> 1568[label="",style="dashed", color="magenta", weight=3]; 1550 -> 1569[label="",style="dashed", color="magenta", weight=3]; 1551[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1551 -> 1570[label="",style="solid", color="black", weight=3]; 1552[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2245[label="yu30/LT",fontsize=10,color="white",style="solid",shape="box"];1552 -> 2245[label="",style="solid", color="burlywood", weight=9]; 2245 -> 1571[label="",style="solid", color="burlywood", weight=3]; 2246[label="yu30/EQ",fontsize=10,color="white",style="solid",shape="box"];1552 -> 2246[label="",style="solid", color="burlywood", weight=9]; 2246 -> 1572[label="",style="solid", color="burlywood", weight=3]; 2247[label="yu30/GT",fontsize=10,color="white",style="solid",shape="box"];1552 -> 2247[label="",style="solid", color="burlywood", weight=9]; 2247 -> 1573[label="",style="solid", color="burlywood", weight=3]; 1553[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2248[label="yu30/Integer yu300",fontsize=10,color="white",style="solid",shape="box"];1553 -> 2248[label="",style="solid", color="burlywood", weight=9]; 2248 -> 1574[label="",style="solid", color="burlywood", weight=3]; 1554[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2249[label="yu30/yu300 : yu301",fontsize=10,color="white",style="solid",shape="box"];1554 -> 2249[label="",style="solid", color="burlywood", weight=9]; 2249 -> 1575[label="",style="solid", color="burlywood", weight=3]; 2250[label="yu30/[]",fontsize=10,color="white",style="solid",shape="box"];1554 -> 2250[label="",style="solid", color="burlywood", weight=9]; 2250 -> 1576[label="",style="solid", color="burlywood", weight=3]; 1555 -> 1531[label="",style="dashed", color="red", weight=0]; 1555[label="[] ++ yu58",fontsize=16,color="magenta"];2161[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu82) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yu83) (fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];2161 -> 2166[label="",style="solid", color="black", weight=3]; 1557[label="() == yu400",fontsize=16,color="burlywood",shape="box"];2251[label="yu400/()",fontsize=10,color="white",style="solid",shape="box"];1557 -> 2251[label="",style="solid", color="burlywood", weight=9]; 2251 -> 1578[label="",style="solid", color="burlywood", weight=3]; 1558[label="(yu300,yu301,yu302) == yu400",fontsize=16,color="burlywood",shape="box"];2252[label="yu400/(yu4000,yu4001,yu4002)",fontsize=10,color="white",style="solid",shape="box"];1558 -> 2252[label="",style="solid", color="burlywood", weight=9]; 2252 -> 1579[label="",style="solid", color="burlywood", weight=3]; 1559[label="primEqInt yu30 yu400",fontsize=16,color="burlywood",shape="triangle"];2253[label="yu30/Pos yu300",fontsize=10,color="white",style="solid",shape="box"];1559 -> 2253[label="",style="solid", color="burlywood", weight=9]; 2253 -> 1580[label="",style="solid", color="burlywood", weight=3]; 2254[label="yu30/Neg yu300",fontsize=10,color="white",style="solid",shape="box"];1559 -> 2254[label="",style="solid", color="burlywood", weight=9]; 2254 -> 1581[label="",style="solid", color="burlywood", weight=3]; 1560[label="False == yu400",fontsize=16,color="burlywood",shape="box"];2255[label="yu400/False",fontsize=10,color="white",style="solid",shape="box"];1560 -> 2255[label="",style="solid", color="burlywood", weight=9]; 2255 -> 1582[label="",style="solid", color="burlywood", weight=3]; 2256[label="yu400/True",fontsize=10,color="white",style="solid",shape="box"];1560 -> 2256[label="",style="solid", color="burlywood", weight=9]; 2256 -> 1583[label="",style="solid", color="burlywood", weight=3]; 1561[label="True == yu400",fontsize=16,color="burlywood",shape="box"];2257[label="yu400/False",fontsize=10,color="white",style="solid",shape="box"];1561 -> 2257[label="",style="solid", color="burlywood", weight=9]; 2257 -> 1584[label="",style="solid", color="burlywood", weight=3]; 2258[label="yu400/True",fontsize=10,color="white",style="solid",shape="box"];1561 -> 2258[label="",style="solid", color="burlywood", weight=9]; 2258 -> 1585[label="",style="solid", color="burlywood", weight=3]; 1562[label="Left yu300 == yu400",fontsize=16,color="burlywood",shape="box"];2259[label="yu400/Left yu4000",fontsize=10,color="white",style="solid",shape="box"];1562 -> 2259[label="",style="solid", color="burlywood", weight=9]; 2259 -> 1586[label="",style="solid", color="burlywood", weight=3]; 2260[label="yu400/Right yu4000",fontsize=10,color="white",style="solid",shape="box"];1562 -> 2260[label="",style="solid", color="burlywood", weight=9]; 2260 -> 1587[label="",style="solid", color="burlywood", weight=3]; 1563[label="Right yu300 == yu400",fontsize=16,color="burlywood",shape="box"];2261[label="yu400/Left yu4000",fontsize=10,color="white",style="solid",shape="box"];1563 -> 2261[label="",style="solid", color="burlywood", weight=9]; 2261 -> 1588[label="",style="solid", color="burlywood", weight=3]; 2262[label="yu400/Right yu4000",fontsize=10,color="white",style="solid",shape="box"];1563 -> 2262[label="",style="solid", color="burlywood", weight=9]; 2262 -> 1589[label="",style="solid", color="burlywood", weight=3]; 1564[label="primEqChar yu30 yu400",fontsize=16,color="burlywood",shape="box"];2263[label="yu30/Char yu300",fontsize=10,color="white",style="solid",shape="box"];1564 -> 2263[label="",style="solid", color="burlywood", weight=9]; 2263 -> 1590[label="",style="solid", color="burlywood", weight=3]; 1565[label="yu300 :% yu301 == yu400",fontsize=16,color="burlywood",shape="box"];2264[label="yu400/yu4000 :% yu4001",fontsize=10,color="white",style="solid",shape="box"];1565 -> 2264[label="",style="solid", color="burlywood", weight=9]; 2264 -> 1591[label="",style="solid", color="burlywood", weight=3]; 1566[label="(yu300,yu301) == yu400",fontsize=16,color="burlywood",shape="box"];2265[label="yu400/(yu4000,yu4001)",fontsize=10,color="white",style="solid",shape="box"];1566 -> 2265[label="",style="solid", color="burlywood", weight=9]; 2265 -> 1592[label="",style="solid", color="burlywood", weight=3]; 1567[label="primEqDouble yu30 yu400",fontsize=16,color="burlywood",shape="box"];2266[label="yu30/Double yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2266[label="",style="solid", color="burlywood", weight=9]; 2266 -> 1593[label="",style="solid", color="burlywood", weight=3]; 1568[label="yu30",fontsize=16,color="green",shape="box"];1569[label="yu400",fontsize=16,color="green",shape="box"];1570[label="primEqFloat yu30 yu400",fontsize=16,color="burlywood",shape="box"];2267[label="yu30/Float yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1570 -> 2267[label="",style="solid", color="burlywood", weight=9]; 2267 -> 1594[label="",style="solid", color="burlywood", weight=3]; 1571[label="LT == yu400",fontsize=16,color="burlywood",shape="box"];2268[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1571 -> 2268[label="",style="solid", color="burlywood", weight=9]; 2268 -> 1595[label="",style="solid", color="burlywood", weight=3]; 2269[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1571 -> 2269[label="",style="solid", color="burlywood", weight=9]; 2269 -> 1596[label="",style="solid", color="burlywood", weight=3]; 2270[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1571 -> 2270[label="",style="solid", color="burlywood", weight=9]; 2270 -> 1597[label="",style="solid", color="burlywood", weight=3]; 1572[label="EQ == yu400",fontsize=16,color="burlywood",shape="box"];2271[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1572 -> 2271[label="",style="solid", color="burlywood", weight=9]; 2271 -> 1598[label="",style="solid", color="burlywood", weight=3]; 2272[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1572 -> 2272[label="",style="solid", color="burlywood", weight=9]; 2272 -> 1599[label="",style="solid", color="burlywood", weight=3]; 2273[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1572 -> 2273[label="",style="solid", color="burlywood", weight=9]; 2273 -> 1600[label="",style="solid", color="burlywood", weight=3]; 1573[label="GT == yu400",fontsize=16,color="burlywood",shape="box"];2274[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2274[label="",style="solid", color="burlywood", weight=9]; 2274 -> 1601[label="",style="solid", color="burlywood", weight=3]; 2275[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2275[label="",style="solid", color="burlywood", weight=9]; 2275 -> 1602[label="",style="solid", color="burlywood", weight=3]; 2276[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2276[label="",style="solid", color="burlywood", weight=9]; 2276 -> 1603[label="",style="solid", color="burlywood", weight=3]; 1574[label="Integer yu300 == yu400",fontsize=16,color="burlywood",shape="box"];2277[label="yu400/Integer yu4000",fontsize=10,color="white",style="solid",shape="box"];1574 -> 2277[label="",style="solid", color="burlywood", weight=9]; 2277 -> 1604[label="",style="solid", color="burlywood", weight=3]; 1575[label="yu300 : yu301 == yu400",fontsize=16,color="burlywood",shape="box"];2278[label="yu400/yu4000 : yu4001",fontsize=10,color="white",style="solid",shape="box"];1575 -> 2278[label="",style="solid", color="burlywood", weight=9]; 2278 -> 1605[label="",style="solid", color="burlywood", weight=3]; 2279[label="yu400/[]",fontsize=10,color="white",style="solid",shape="box"];1575 -> 2279[label="",style="solid", color="burlywood", weight=9]; 2279 -> 1606[label="",style="solid", color="burlywood", weight=3]; 1576[label="[] == yu400",fontsize=16,color="burlywood",shape="box"];2280[label="yu400/yu4000 : yu4001",fontsize=10,color="white",style="solid",shape="box"];1576 -> 2280[label="",style="solid", color="burlywood", weight=9]; 2280 -> 1607[label="",style="solid", color="burlywood", weight=3]; 2281[label="yu400/[]",fontsize=10,color="white",style="solid",shape="box"];1576 -> 2281[label="",style="solid", color="burlywood", weight=9]; 2281 -> 1608[label="",style="solid", color="burlywood", weight=3]; 2166[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu82) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yu83) (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];2166 -> 2169[label="",style="solid", color="black", weight=3]; 1578[label="() == ()",fontsize=16,color="black",shape="box"];1578 -> 1610[label="",style="solid", color="black", weight=3]; 1579[label="(yu300,yu301,yu302) == (yu4000,yu4001,yu4002)",fontsize=16,color="black",shape="box"];1579 -> 1611[label="",style="solid", color="black", weight=3]; 1580[label="primEqInt (Pos yu300) yu400",fontsize=16,color="burlywood",shape="box"];2282[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1580 -> 2282[label="",style="solid", color="burlywood", weight=9]; 2282 -> 1612[label="",style="solid", color="burlywood", weight=3]; 2283[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1580 -> 2283[label="",style="solid", color="burlywood", weight=9]; 2283 -> 1613[label="",style="solid", color="burlywood", weight=3]; 1581[label="primEqInt (Neg yu300) yu400",fontsize=16,color="burlywood",shape="box"];2284[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1581 -> 2284[label="",style="solid", color="burlywood", weight=9]; 2284 -> 1614[label="",style="solid", color="burlywood", weight=3]; 2285[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1581 -> 2285[label="",style="solid", color="burlywood", weight=9]; 2285 -> 1615[label="",style="solid", color="burlywood", weight=3]; 1582[label="False == False",fontsize=16,color="black",shape="box"];1582 -> 1616[label="",style="solid", color="black", weight=3]; 1583[label="False == True",fontsize=16,color="black",shape="box"];1583 -> 1617[label="",style="solid", color="black", weight=3]; 1584[label="True == False",fontsize=16,color="black",shape="box"];1584 -> 1618[label="",style="solid", color="black", weight=3]; 1585[label="True == True",fontsize=16,color="black",shape="box"];1585 -> 1619[label="",style="solid", color="black", weight=3]; 1586[label="Left yu300 == Left yu4000",fontsize=16,color="black",shape="box"];1586 -> 1620[label="",style="solid", color="black", weight=3]; 1587[label="Left yu300 == Right yu4000",fontsize=16,color="black",shape="box"];1587 -> 1621[label="",style="solid", color="black", weight=3]; 1588[label="Right yu300 == Left yu4000",fontsize=16,color="black",shape="box"];1588 -> 1622[label="",style="solid", color="black", weight=3]; 1589[label="Right yu300 == Right yu4000",fontsize=16,color="black",shape="box"];1589 -> 1623[label="",style="solid", color="black", weight=3]; 1590[label="primEqChar (Char yu300) yu400",fontsize=16,color="burlywood",shape="box"];2286[label="yu400/Char yu4000",fontsize=10,color="white",style="solid",shape="box"];1590 -> 2286[label="",style="solid", color="burlywood", weight=9]; 2286 -> 1624[label="",style="solid", color="burlywood", weight=3]; 1591[label="yu300 :% yu301 == yu4000 :% yu4001",fontsize=16,color="black",shape="box"];1591 -> 1625[label="",style="solid", color="black", weight=3]; 1592[label="(yu300,yu301) == (yu4000,yu4001)",fontsize=16,color="black",shape="box"];1592 -> 1626[label="",style="solid", color="black", weight=3]; 1593[label="primEqDouble (Double yu300 yu301) yu400",fontsize=16,color="burlywood",shape="box"];2287[label="yu400/Double yu4000 yu4001",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2287[label="",style="solid", color="burlywood", weight=9]; 2287 -> 1627[label="",style="solid", color="burlywood", weight=3]; 1594[label="primEqFloat (Float yu300 yu301) yu400",fontsize=16,color="burlywood",shape="box"];2288[label="yu400/Float yu4000 yu4001",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2288[label="",style="solid", color="burlywood", weight=9]; 2288 -> 1628[label="",style="solid", color="burlywood", weight=3]; 1595[label="LT == LT",fontsize=16,color="black",shape="box"];1595 -> 1629[label="",style="solid", color="black", weight=3]; 1596[label="LT == EQ",fontsize=16,color="black",shape="box"];1596 -> 1630[label="",style="solid", color="black", weight=3]; 1597[label="LT == GT",fontsize=16,color="black",shape="box"];1597 -> 1631[label="",style="solid", color="black", weight=3]; 1598[label="EQ == LT",fontsize=16,color="black",shape="box"];1598 -> 1632[label="",style="solid", color="black", weight=3]; 1599[label="EQ == EQ",fontsize=16,color="black",shape="box"];1599 -> 1633[label="",style="solid", color="black", weight=3]; 1600[label="EQ == GT",fontsize=16,color="black",shape="box"];1600 -> 1634[label="",style="solid", color="black", weight=3]; 1601[label="GT == LT",fontsize=16,color="black",shape="box"];1601 -> 1635[label="",style="solid", color="black", weight=3]; 1602[label="GT == EQ",fontsize=16,color="black",shape="box"];1602 -> 1636[label="",style="solid", color="black", weight=3]; 1603[label="GT == GT",fontsize=16,color="black",shape="box"];1603 -> 1637[label="",style="solid", color="black", weight=3]; 1604[label="Integer yu300 == Integer yu4000",fontsize=16,color="black",shape="box"];1604 -> 1638[label="",style="solid", color="black", weight=3]; 1605[label="yu300 : yu301 == yu4000 : yu4001",fontsize=16,color="black",shape="box"];1605 -> 1639[label="",style="solid", color="black", weight=3]; 1606[label="yu300 : yu301 == []",fontsize=16,color="black",shape="box"];1606 -> 1640[label="",style="solid", color="black", weight=3]; 1607[label="[] == yu4000 : yu4001",fontsize=16,color="black",shape="box"];1607 -> 1641[label="",style="solid", color="black", weight=3]; 1608[label="[] == []",fontsize=16,color="black",shape="box"];1608 -> 1642[label="",style="solid", color="black", weight=3]; 2169 -> 2171[label="",style="dashed", color="red", weight=0]; 2169[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos (primPlusNat yu82 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yu82 (Succ Zero)))))))",fontsize=16,color="magenta"];2169 -> 2172[label="",style="dashed", color="magenta", weight=3]; 2169 -> 2173[label="",style="dashed", color="magenta", weight=3]; 1610[label="True",fontsize=16,color="green",shape="box"];1611 -> 1716[label="",style="dashed", color="red", weight=0]; 1611[label="yu300 == yu4000 && yu301 == yu4001 && yu302 == yu4002",fontsize=16,color="magenta"];1611 -> 1717[label="",style="dashed", color="magenta", weight=3]; 1611 -> 1718[label="",style="dashed", color="magenta", weight=3]; 1612[label="primEqInt (Pos (Succ yu3000)) yu400",fontsize=16,color="burlywood",shape="box"];2289[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1612 -> 2289[label="",style="solid", color="burlywood", weight=9]; 2289 -> 1650[label="",style="solid", color="burlywood", weight=3]; 2290[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1612 -> 2290[label="",style="solid", color="burlywood", weight=9]; 2290 -> 1651[label="",style="solid", color="burlywood", weight=3]; 1613[label="primEqInt (Pos Zero) yu400",fontsize=16,color="burlywood",shape="box"];2291[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1613 -> 2291[label="",style="solid", color="burlywood", weight=9]; 2291 -> 1652[label="",style="solid", color="burlywood", weight=3]; 2292[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1613 -> 2292[label="",style="solid", color="burlywood", weight=9]; 2292 -> 1653[label="",style="solid", color="burlywood", weight=3]; 1614[label="primEqInt (Neg (Succ yu3000)) yu400",fontsize=16,color="burlywood",shape="box"];2293[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1614 -> 2293[label="",style="solid", color="burlywood", weight=9]; 2293 -> 1654[label="",style="solid", color="burlywood", weight=3]; 2294[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1614 -> 2294[label="",style="solid", color="burlywood", weight=9]; 2294 -> 1655[label="",style="solid", color="burlywood", weight=3]; 1615[label="primEqInt (Neg Zero) yu400",fontsize=16,color="burlywood",shape="box"];2295[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2295[label="",style="solid", color="burlywood", weight=9]; 2295 -> 1656[label="",style="solid", color="burlywood", weight=3]; 2296[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2296[label="",style="solid", color="burlywood", weight=9]; 2296 -> 1657[label="",style="solid", color="burlywood", weight=3]; 1616[label="True",fontsize=16,color="green",shape="box"];1617[label="False",fontsize=16,color="green",shape="box"];1618[label="False",fontsize=16,color="green",shape="box"];1619[label="True",fontsize=16,color="green",shape="box"];1620[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2297[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2297[label="",style="solid", color="blue", weight=9]; 2297 -> 1658[label="",style="solid", color="blue", weight=3]; 2298[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2298[label="",style="solid", color="blue", weight=9]; 2298 -> 1659[label="",style="solid", color="blue", weight=3]; 2299[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2299[label="",style="solid", color="blue", weight=9]; 2299 -> 1660[label="",style="solid", color="blue", weight=3]; 2300[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2300[label="",style="solid", color="blue", weight=9]; 2300 -> 1661[label="",style="solid", color="blue", weight=3]; 2301[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2301[label="",style="solid", color="blue", weight=9]; 2301 -> 1662[label="",style="solid", color="blue", weight=3]; 2302[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2302[label="",style="solid", color="blue", weight=9]; 2302 -> 1663[label="",style="solid", color="blue", weight=3]; 2303[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2303[label="",style="solid", color="blue", weight=9]; 2303 -> 1664[label="",style="solid", color="blue", weight=3]; 2304[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2304[label="",style="solid", color="blue", weight=9]; 2304 -> 1665[label="",style="solid", color="blue", weight=3]; 2305[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2305[label="",style="solid", color="blue", weight=9]; 2305 -> 1666[label="",style="solid", color="blue", weight=3]; 2306[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2306[label="",style="solid", color="blue", weight=9]; 2306 -> 1667[label="",style="solid", color="blue", weight=3]; 2307[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2307[label="",style="solid", color="blue", weight=9]; 2307 -> 1668[label="",style="solid", color="blue", weight=3]; 2308[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2308[label="",style="solid", color="blue", weight=9]; 2308 -> 1669[label="",style="solid", color="blue", weight=3]; 2309[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2309[label="",style="solid", color="blue", weight=9]; 2309 -> 1670[label="",style="solid", color="blue", weight=3]; 2310[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1620 -> 2310[label="",style="solid", color="blue", weight=9]; 2310 -> 1671[label="",style="solid", color="blue", weight=3]; 1621[label="False",fontsize=16,color="green",shape="box"];1622[label="False",fontsize=16,color="green",shape="box"];1623[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2311[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2311[label="",style="solid", color="blue", weight=9]; 2311 -> 1672[label="",style="solid", color="blue", weight=3]; 2312[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2312[label="",style="solid", color="blue", weight=9]; 2312 -> 1673[label="",style="solid", color="blue", weight=3]; 2313[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2313[label="",style="solid", color="blue", weight=9]; 2313 -> 1674[label="",style="solid", color="blue", weight=3]; 2314[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2314[label="",style="solid", color="blue", weight=9]; 2314 -> 1675[label="",style="solid", color="blue", weight=3]; 2315[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2315[label="",style="solid", color="blue", weight=9]; 2315 -> 1676[label="",style="solid", color="blue", weight=3]; 2316[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2316[label="",style="solid", color="blue", weight=9]; 2316 -> 1677[label="",style="solid", color="blue", weight=3]; 2317[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2317[label="",style="solid", color="blue", weight=9]; 2317 -> 1678[label="",style="solid", color="blue", weight=3]; 2318[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2318[label="",style="solid", color="blue", weight=9]; 2318 -> 1679[label="",style="solid", color="blue", weight=3]; 2319[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2319[label="",style="solid", color="blue", weight=9]; 2319 -> 1680[label="",style="solid", color="blue", weight=3]; 2320[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2320[label="",style="solid", color="blue", weight=9]; 2320 -> 1681[label="",style="solid", color="blue", weight=3]; 2321[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2321[label="",style="solid", color="blue", weight=9]; 2321 -> 1682[label="",style="solid", color="blue", weight=3]; 2322[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2322[label="",style="solid", color="blue", weight=9]; 2322 -> 1683[label="",style="solid", color="blue", weight=3]; 2323[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2323[label="",style="solid", color="blue", weight=9]; 2323 -> 1684[label="",style="solid", color="blue", weight=3]; 2324[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1623 -> 2324[label="",style="solid", color="blue", weight=9]; 2324 -> 1685[label="",style="solid", color="blue", weight=3]; 1624[label="primEqChar (Char yu300) (Char yu4000)",fontsize=16,color="black",shape="box"];1624 -> 1686[label="",style="solid", color="black", weight=3]; 1625 -> 1716[label="",style="dashed", color="red", weight=0]; 1625[label="yu300 == yu4000 && yu301 == yu4001",fontsize=16,color="magenta"];1625 -> 1719[label="",style="dashed", color="magenta", weight=3]; 1625 -> 1720[label="",style="dashed", color="magenta", weight=3]; 1626 -> 1716[label="",style="dashed", color="red", weight=0]; 1626[label="yu300 == yu4000 && yu301 == yu4001",fontsize=16,color="magenta"];1626 -> 1721[label="",style="dashed", color="magenta", weight=3]; 1626 -> 1722[label="",style="dashed", color="magenta", weight=3]; 1627[label="primEqDouble (Double yu300 yu301) (Double yu4000 yu4001)",fontsize=16,color="black",shape="box"];1627 -> 1697[label="",style="solid", color="black", weight=3]; 1628[label="primEqFloat (Float yu300 yu301) (Float yu4000 yu4001)",fontsize=16,color="black",shape="box"];1628 -> 1698[label="",style="solid", color="black", weight=3]; 1629[label="True",fontsize=16,color="green",shape="box"];1630[label="False",fontsize=16,color="green",shape="box"];1631[label="False",fontsize=16,color="green",shape="box"];1632[label="False",fontsize=16,color="green",shape="box"];1633[label="True",fontsize=16,color="green",shape="box"];1634[label="False",fontsize=16,color="green",shape="box"];1635[label="False",fontsize=16,color="green",shape="box"];1636[label="False",fontsize=16,color="green",shape="box"];1637[label="True",fontsize=16,color="green",shape="box"];1638 -> 1559[label="",style="dashed", color="red", weight=0]; 1638[label="primEqInt yu300 yu4000",fontsize=16,color="magenta"];1638 -> 1699[label="",style="dashed", color="magenta", weight=3]; 1638 -> 1700[label="",style="dashed", color="magenta", weight=3]; 1639 -> 1716[label="",style="dashed", color="red", weight=0]; 1639[label="yu300 == yu4000 && yu301 == yu4001",fontsize=16,color="magenta"];1639 -> 1723[label="",style="dashed", color="magenta", weight=3]; 1639 -> 1724[label="",style="dashed", color="magenta", weight=3]; 1640[label="False",fontsize=16,color="green",shape="box"];1641[label="False",fontsize=16,color="green",shape="box"];1642[label="True",fontsize=16,color="green",shape="box"];2172 -> 2159[label="",style="dashed", color="red", weight=0]; 2172[label="primPlusNat yu82 (Succ Zero)",fontsize=16,color="magenta"];2172 -> 2174[label="",style="dashed", color="magenta", weight=3]; 2172 -> 2175[label="",style="dashed", color="magenta", weight=3]; 2173 -> 2159[label="",style="dashed", color="red", weight=0]; 2173[label="primPlusNat yu82 (Succ Zero)",fontsize=16,color="magenta"];2173 -> 2176[label="",style="dashed", color="magenta", weight=3]; 2173 -> 2177[label="",style="dashed", color="magenta", weight=3]; 2171[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu86)) (numericEnumFrom (Pos yu85)))))",fontsize=16,color="black",shape="triangle"];2171 -> 2178[label="",style="solid", color="black", weight=3]; 1717[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2325[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2325[label="",style="solid", color="blue", weight=9]; 2325 -> 1728[label="",style="solid", color="blue", weight=3]; 2326[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2326[label="",style="solid", color="blue", weight=9]; 2326 -> 1729[label="",style="solid", color="blue", weight=3]; 2327[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2327[label="",style="solid", color="blue", weight=9]; 2327 -> 1730[label="",style="solid", color="blue", weight=3]; 2328[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2328[label="",style="solid", color="blue", weight=9]; 2328 -> 1731[label="",style="solid", color="blue", weight=3]; 2329[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2329[label="",style="solid", color="blue", weight=9]; 2329 -> 1732[label="",style="solid", color="blue", weight=3]; 2330[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2330[label="",style="solid", color="blue", weight=9]; 2330 -> 1733[label="",style="solid", color="blue", weight=3]; 2331[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2331[label="",style="solid", color="blue", weight=9]; 2331 -> 1734[label="",style="solid", color="blue", weight=3]; 2332[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2332[label="",style="solid", color="blue", weight=9]; 2332 -> 1735[label="",style="solid", color="blue", weight=3]; 2333[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2333[label="",style="solid", color="blue", weight=9]; 2333 -> 1736[label="",style="solid", color="blue", weight=3]; 2334[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2334[label="",style="solid", color="blue", weight=9]; 2334 -> 1737[label="",style="solid", color="blue", weight=3]; 2335[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2335[label="",style="solid", color="blue", weight=9]; 2335 -> 1738[label="",style="solid", color="blue", weight=3]; 2336[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2336[label="",style="solid", color="blue", weight=9]; 2336 -> 1739[label="",style="solid", color="blue", weight=3]; 2337[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2337[label="",style="solid", color="blue", weight=9]; 2337 -> 1740[label="",style="solid", color="blue", weight=3]; 2338[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1717 -> 2338[label="",style="solid", color="blue", weight=9]; 2338 -> 1741[label="",style="solid", color="blue", weight=3]; 1718 -> 1716[label="",style="dashed", color="red", weight=0]; 1718[label="yu301 == yu4001 && yu302 == yu4002",fontsize=16,color="magenta"];1718 -> 1742[label="",style="dashed", color="magenta", weight=3]; 1718 -> 1743[label="",style="dashed", color="magenta", weight=3]; 1716[label="yu69 && yu81",fontsize=16,color="burlywood",shape="triangle"];2339[label="yu69/False",fontsize=10,color="white",style="solid",shape="box"];1716 -> 2339[label="",style="solid", color="burlywood", weight=9]; 2339 -> 1744[label="",style="solid", color="burlywood", weight=3]; 2340[label="yu69/True",fontsize=10,color="white",style="solid",shape="box"];1716 -> 2340[label="",style="solid", color="burlywood", weight=9]; 2340 -> 1745[label="",style="solid", color="burlywood", weight=3]; 1650[label="primEqInt (Pos (Succ yu3000)) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2341[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1650 -> 2341[label="",style="solid", color="burlywood", weight=9]; 2341 -> 1746[label="",style="solid", color="burlywood", weight=3]; 2342[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1650 -> 2342[label="",style="solid", color="burlywood", weight=9]; 2342 -> 1747[label="",style="solid", color="burlywood", weight=3]; 1651[label="primEqInt (Pos (Succ yu3000)) (Neg yu4000)",fontsize=16,color="black",shape="box"];1651 -> 1748[label="",style="solid", color="black", weight=3]; 1652[label="primEqInt (Pos Zero) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2343[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1652 -> 2343[label="",style="solid", color="burlywood", weight=9]; 2343 -> 1749[label="",style="solid", color="burlywood", weight=3]; 2344[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1652 -> 2344[label="",style="solid", color="burlywood", weight=9]; 2344 -> 1750[label="",style="solid", color="burlywood", weight=3]; 1653[label="primEqInt (Pos Zero) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2345[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1653 -> 2345[label="",style="solid", color="burlywood", weight=9]; 2345 -> 1751[label="",style="solid", color="burlywood", weight=3]; 2346[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1653 -> 2346[label="",style="solid", color="burlywood", weight=9]; 2346 -> 1752[label="",style="solid", color="burlywood", weight=3]; 1654[label="primEqInt (Neg (Succ yu3000)) (Pos yu4000)",fontsize=16,color="black",shape="box"];1654 -> 1753[label="",style="solid", color="black", weight=3]; 1655[label="primEqInt (Neg (Succ yu3000)) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2347[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1655 -> 2347[label="",style="solid", color="burlywood", weight=9]; 2347 -> 1754[label="",style="solid", color="burlywood", weight=3]; 2348[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1655 -> 2348[label="",style="solid", color="burlywood", weight=9]; 2348 -> 1755[label="",style="solid", color="burlywood", weight=3]; 1656[label="primEqInt (Neg Zero) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2349[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1656 -> 2349[label="",style="solid", color="burlywood", weight=9]; 2349 -> 1756[label="",style="solid", color="burlywood", weight=3]; 2350[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1656 -> 2350[label="",style="solid", color="burlywood", weight=9]; 2350 -> 1757[label="",style="solid", color="burlywood", weight=3]; 1657[label="primEqInt (Neg Zero) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2351[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1657 -> 2351[label="",style="solid", color="burlywood", weight=9]; 2351 -> 1758[label="",style="solid", color="burlywood", weight=3]; 2352[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1657 -> 2352[label="",style="solid", color="burlywood", weight=9]; 2352 -> 1759[label="",style="solid", color="burlywood", weight=3]; 1658 -> 1541[label="",style="dashed", color="red", weight=0]; 1658[label="yu300 == yu4000",fontsize=16,color="magenta"];1658 -> 1760[label="",style="dashed", color="magenta", weight=3]; 1658 -> 1761[label="",style="dashed", color="magenta", weight=3]; 1659 -> 1542[label="",style="dashed", color="red", weight=0]; 1659[label="yu300 == yu4000",fontsize=16,color="magenta"];1659 -> 1762[label="",style="dashed", color="magenta", weight=3]; 1659 -> 1763[label="",style="dashed", color="magenta", weight=3]; 1660 -> 1543[label="",style="dashed", color="red", weight=0]; 1660[label="yu300 == yu4000",fontsize=16,color="magenta"];1660 -> 1764[label="",style="dashed", color="magenta", weight=3]; 1660 -> 1765[label="",style="dashed", color="magenta", weight=3]; 1661 -> 1544[label="",style="dashed", color="red", weight=0]; 1661[label="yu300 == yu4000",fontsize=16,color="magenta"];1661 -> 1766[label="",style="dashed", color="magenta", weight=3]; 1661 -> 1767[label="",style="dashed", color="magenta", weight=3]; 1662 -> 1545[label="",style="dashed", color="red", weight=0]; 1662[label="yu300 == yu4000",fontsize=16,color="magenta"];1662 -> 1768[label="",style="dashed", color="magenta", weight=3]; 1662 -> 1769[label="",style="dashed", color="magenta", weight=3]; 1663 -> 1546[label="",style="dashed", color="red", weight=0]; 1663[label="yu300 == yu4000",fontsize=16,color="magenta"];1663 -> 1770[label="",style="dashed", color="magenta", weight=3]; 1663 -> 1771[label="",style="dashed", color="magenta", weight=3]; 1664 -> 1547[label="",style="dashed", color="red", weight=0]; 1664[label="yu300 == yu4000",fontsize=16,color="magenta"];1664 -> 1772[label="",style="dashed", color="magenta", weight=3]; 1664 -> 1773[label="",style="dashed", color="magenta", weight=3]; 1665 -> 1548[label="",style="dashed", color="red", weight=0]; 1665[label="yu300 == yu4000",fontsize=16,color="magenta"];1665 -> 1774[label="",style="dashed", color="magenta", weight=3]; 1665 -> 1775[label="",style="dashed", color="magenta", weight=3]; 1666 -> 1549[label="",style="dashed", color="red", weight=0]; 1666[label="yu300 == yu4000",fontsize=16,color="magenta"];1666 -> 1776[label="",style="dashed", color="magenta", weight=3]; 1666 -> 1777[label="",style="dashed", color="magenta", weight=3]; 1667 -> 1495[label="",style="dashed", color="red", weight=0]; 1667[label="yu300 == yu4000",fontsize=16,color="magenta"];1667 -> 1778[label="",style="dashed", color="magenta", weight=3]; 1667 -> 1779[label="",style="dashed", color="magenta", weight=3]; 1668 -> 1551[label="",style="dashed", color="red", weight=0]; 1668[label="yu300 == yu4000",fontsize=16,color="magenta"];1668 -> 1780[label="",style="dashed", color="magenta", weight=3]; 1668 -> 1781[label="",style="dashed", color="magenta", weight=3]; 1669 -> 1552[label="",style="dashed", color="red", weight=0]; 1669[label="yu300 == yu4000",fontsize=16,color="magenta"];1669 -> 1782[label="",style="dashed", color="magenta", weight=3]; 1669 -> 1783[label="",style="dashed", color="magenta", weight=3]; 1670 -> 1553[label="",style="dashed", color="red", weight=0]; 1670[label="yu300 == yu4000",fontsize=16,color="magenta"];1670 -> 1784[label="",style="dashed", color="magenta", weight=3]; 1670 -> 1785[label="",style="dashed", color="magenta", weight=3]; 1671 -> 1554[label="",style="dashed", color="red", weight=0]; 1671[label="yu300 == yu4000",fontsize=16,color="magenta"];1671 -> 1786[label="",style="dashed", color="magenta", weight=3]; 1671 -> 1787[label="",style="dashed", color="magenta", weight=3]; 1672 -> 1541[label="",style="dashed", color="red", weight=0]; 1672[label="yu300 == yu4000",fontsize=16,color="magenta"];1672 -> 1788[label="",style="dashed", color="magenta", weight=3]; 1672 -> 1789[label="",style="dashed", color="magenta", weight=3]; 1673 -> 1542[label="",style="dashed", color="red", weight=0]; 1673[label="yu300 == yu4000",fontsize=16,color="magenta"];1673 -> 1790[label="",style="dashed", color="magenta", weight=3]; 1673 -> 1791[label="",style="dashed", color="magenta", weight=3]; 1674 -> 1543[label="",style="dashed", color="red", weight=0]; 1674[label="yu300 == yu4000",fontsize=16,color="magenta"];1674 -> 1792[label="",style="dashed", color="magenta", weight=3]; 1674 -> 1793[label="",style="dashed", color="magenta", weight=3]; 1675 -> 1544[label="",style="dashed", color="red", weight=0]; 1675[label="yu300 == yu4000",fontsize=16,color="magenta"];1675 -> 1794[label="",style="dashed", color="magenta", weight=3]; 1675 -> 1795[label="",style="dashed", color="magenta", weight=3]; 1676 -> 1545[label="",style="dashed", color="red", weight=0]; 1676[label="yu300 == yu4000",fontsize=16,color="magenta"];1676 -> 1796[label="",style="dashed", color="magenta", weight=3]; 1676 -> 1797[label="",style="dashed", color="magenta", weight=3]; 1677 -> 1546[label="",style="dashed", color="red", weight=0]; 1677[label="yu300 == yu4000",fontsize=16,color="magenta"];1677 -> 1798[label="",style="dashed", color="magenta", weight=3]; 1677 -> 1799[label="",style="dashed", color="magenta", weight=3]; 1678 -> 1547[label="",style="dashed", color="red", weight=0]; 1678[label="yu300 == yu4000",fontsize=16,color="magenta"];1678 -> 1800[label="",style="dashed", color="magenta", weight=3]; 1678 -> 1801[label="",style="dashed", color="magenta", weight=3]; 1679 -> 1548[label="",style="dashed", color="red", weight=0]; 1679[label="yu300 == yu4000",fontsize=16,color="magenta"];1679 -> 1802[label="",style="dashed", color="magenta", weight=3]; 1679 -> 1803[label="",style="dashed", color="magenta", weight=3]; 1680 -> 1549[label="",style="dashed", color="red", weight=0]; 1680[label="yu300 == yu4000",fontsize=16,color="magenta"];1680 -> 1804[label="",style="dashed", color="magenta", weight=3]; 1680 -> 1805[label="",style="dashed", color="magenta", weight=3]; 1681 -> 1495[label="",style="dashed", color="red", weight=0]; 1681[label="yu300 == yu4000",fontsize=16,color="magenta"];1681 -> 1806[label="",style="dashed", color="magenta", weight=3]; 1681 -> 1807[label="",style="dashed", color="magenta", weight=3]; 1682 -> 1551[label="",style="dashed", color="red", weight=0]; 1682[label="yu300 == yu4000",fontsize=16,color="magenta"];1682 -> 1808[label="",style="dashed", color="magenta", weight=3]; 1682 -> 1809[label="",style="dashed", color="magenta", weight=3]; 1683 -> 1552[label="",style="dashed", color="red", weight=0]; 1683[label="yu300 == yu4000",fontsize=16,color="magenta"];1683 -> 1810[label="",style="dashed", color="magenta", weight=3]; 1683 -> 1811[label="",style="dashed", color="magenta", weight=3]; 1684 -> 1553[label="",style="dashed", color="red", weight=0]; 1684[label="yu300 == yu4000",fontsize=16,color="magenta"];1684 -> 1812[label="",style="dashed", color="magenta", weight=3]; 1684 -> 1813[label="",style="dashed", color="magenta", weight=3]; 1685 -> 1554[label="",style="dashed", color="red", weight=0]; 1685[label="yu300 == yu4000",fontsize=16,color="magenta"];1685 -> 1814[label="",style="dashed", color="magenta", weight=3]; 1685 -> 1815[label="",style="dashed", color="magenta", weight=3]; 1686[label="primEqNat yu300 yu4000",fontsize=16,color="burlywood",shape="triangle"];2353[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1686 -> 2353[label="",style="solid", color="burlywood", weight=9]; 2353 -> 1816[label="",style="solid", color="burlywood", weight=3]; 2354[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1686 -> 2354[label="",style="solid", color="burlywood", weight=9]; 2354 -> 1817[label="",style="solid", color="burlywood", weight=3]; 1719[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2355[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1719 -> 2355[label="",style="solid", color="blue", weight=9]; 2355 -> 1818[label="",style="solid", color="blue", weight=3]; 2356[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1719 -> 2356[label="",style="solid", color="blue", weight=9]; 2356 -> 1819[label="",style="solid", color="blue", weight=3]; 1720[label="yu301 == yu4001",fontsize=16,color="blue",shape="box"];2357[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2357[label="",style="solid", color="blue", weight=9]; 2357 -> 1820[label="",style="solid", color="blue", weight=3]; 2358[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2358[label="",style="solid", color="blue", weight=9]; 2358 -> 1821[label="",style="solid", color="blue", weight=3]; 1721[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2359[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2359[label="",style="solid", color="blue", weight=9]; 2359 -> 1822[label="",style="solid", color="blue", weight=3]; 2360[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2360[label="",style="solid", color="blue", weight=9]; 2360 -> 1823[label="",style="solid", color="blue", weight=3]; 2361[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2361[label="",style="solid", color="blue", weight=9]; 2361 -> 1824[label="",style="solid", color="blue", weight=3]; 2362[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2362[label="",style="solid", color="blue", weight=9]; 2362 -> 1825[label="",style="solid", color="blue", weight=3]; 2363[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2363[label="",style="solid", color="blue", weight=9]; 2363 -> 1826[label="",style="solid", color="blue", weight=3]; 2364[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2364[label="",style="solid", color="blue", weight=9]; 2364 -> 1827[label="",style="solid", color="blue", weight=3]; 2365[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2365[label="",style="solid", color="blue", weight=9]; 2365 -> 1828[label="",style="solid", color="blue", weight=3]; 2366[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2366[label="",style="solid", color="blue", weight=9]; 2366 -> 1829[label="",style="solid", color="blue", weight=3]; 2367[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2367[label="",style="solid", color="blue", weight=9]; 2367 -> 1830[label="",style="solid", color="blue", weight=3]; 2368[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2368[label="",style="solid", color="blue", weight=9]; 2368 -> 1831[label="",style="solid", color="blue", weight=3]; 2369[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2369[label="",style="solid", color="blue", weight=9]; 2369 -> 1832[label="",style="solid", color="blue", weight=3]; 2370[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2370[label="",style="solid", color="blue", weight=9]; 2370 -> 1833[label="",style="solid", color="blue", weight=3]; 2371[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2371[label="",style="solid", color="blue", weight=9]; 2371 -> 1834[label="",style="solid", color="blue", weight=3]; 2372[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2372[label="",style="solid", color="blue", weight=9]; 2372 -> 1835[label="",style="solid", color="blue", weight=3]; 1722[label="yu301 == yu4001",fontsize=16,color="blue",shape="box"];2373[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2373[label="",style="solid", color="blue", weight=9]; 2373 -> 1836[label="",style="solid", color="blue", weight=3]; 2374[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2374[label="",style="solid", color="blue", weight=9]; 2374 -> 1837[label="",style="solid", color="blue", weight=3]; 2375[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2375[label="",style="solid", color="blue", weight=9]; 2375 -> 1838[label="",style="solid", color="blue", weight=3]; 2376[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2376[label="",style="solid", color="blue", weight=9]; 2376 -> 1839[label="",style="solid", color="blue", weight=3]; 2377[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2377[label="",style="solid", color="blue", weight=9]; 2377 -> 1840[label="",style="solid", color="blue", weight=3]; 2378[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2378[label="",style="solid", color="blue", weight=9]; 2378 -> 1841[label="",style="solid", color="blue", weight=3]; 2379[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2379[label="",style="solid", color="blue", weight=9]; 2379 -> 1842[label="",style="solid", color="blue", weight=3]; 2380[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2380[label="",style="solid", color="blue", weight=9]; 2380 -> 1843[label="",style="solid", color="blue", weight=3]; 2381[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2381[label="",style="solid", color="blue", weight=9]; 2381 -> 1844[label="",style="solid", color="blue", weight=3]; 2382[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2382[label="",style="solid", color="blue", weight=9]; 2382 -> 1845[label="",style="solid", color="blue", weight=3]; 2383[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2383[label="",style="solid", color="blue", weight=9]; 2383 -> 1846[label="",style="solid", color="blue", weight=3]; 2384[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2384[label="",style="solid", color="blue", weight=9]; 2384 -> 1847[label="",style="solid", color="blue", weight=3]; 2385[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2385[label="",style="solid", color="blue", weight=9]; 2385 -> 1848[label="",style="solid", color="blue", weight=3]; 2386[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1722 -> 2386[label="",style="solid", color="blue", weight=9]; 2386 -> 1849[label="",style="solid", color="blue", weight=3]; 1697 -> 1543[label="",style="dashed", color="red", weight=0]; 1697[label="yu300 * yu4001 == yu301 * yu4000",fontsize=16,color="magenta"];1697 -> 1850[label="",style="dashed", color="magenta", weight=3]; 1697 -> 1851[label="",style="dashed", color="magenta", weight=3]; 1698 -> 1543[label="",style="dashed", color="red", weight=0]; 1698[label="yu300 * yu4001 == yu301 * yu4000",fontsize=16,color="magenta"];1698 -> 1852[label="",style="dashed", color="magenta", weight=3]; 1698 -> 1853[label="",style="dashed", color="magenta", weight=3]; 1699[label="yu4000",fontsize=16,color="green",shape="box"];1700[label="yu300",fontsize=16,color="green",shape="box"];1723[label="yu300 == yu4000",fontsize=16,color="blue",shape="box"];2387[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2387[label="",style="solid", color="blue", weight=9]; 2387 -> 1854[label="",style="solid", color="blue", weight=3]; 2388[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2388[label="",style="solid", color="blue", weight=9]; 2388 -> 1855[label="",style="solid", color="blue", weight=3]; 2389[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2389[label="",style="solid", color="blue", weight=9]; 2389 -> 1856[label="",style="solid", color="blue", weight=3]; 2390[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2390[label="",style="solid", color="blue", weight=9]; 2390 -> 1857[label="",style="solid", color="blue", weight=3]; 2391[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2391[label="",style="solid", color="blue", weight=9]; 2391 -> 1858[label="",style="solid", color="blue", weight=3]; 2392[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2392[label="",style="solid", color="blue", weight=9]; 2392 -> 1859[label="",style="solid", color="blue", weight=3]; 2393[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2393[label="",style="solid", color="blue", weight=9]; 2393 -> 1860[label="",style="solid", color="blue", weight=3]; 2394[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2394[label="",style="solid", color="blue", weight=9]; 2394 -> 1861[label="",style="solid", color="blue", weight=3]; 2395[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2395[label="",style="solid", color="blue", weight=9]; 2395 -> 1862[label="",style="solid", color="blue", weight=3]; 2396[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2396[label="",style="solid", color="blue", weight=9]; 2396 -> 1863[label="",style="solid", color="blue", weight=3]; 2397[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2397[label="",style="solid", color="blue", weight=9]; 2397 -> 1864[label="",style="solid", color="blue", weight=3]; 2398[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2398[label="",style="solid", color="blue", weight=9]; 2398 -> 1865[label="",style="solid", color="blue", weight=3]; 2399[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2399[label="",style="solid", color="blue", weight=9]; 2399 -> 1866[label="",style="solid", color="blue", weight=3]; 2400[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1723 -> 2400[label="",style="solid", color="blue", weight=9]; 2400 -> 1867[label="",style="solid", color="blue", weight=3]; 1724 -> 1554[label="",style="dashed", color="red", weight=0]; 1724[label="yu301 == yu4001",fontsize=16,color="magenta"];1724 -> 1868[label="",style="dashed", color="magenta", weight=3]; 1724 -> 1869[label="",style="dashed", color="magenta", weight=3]; 2174[label="Zero",fontsize=16,color="green",shape="box"];2175[label="yu82",fontsize=16,color="green",shape="box"];2159[label="primPlusNat yu84 (Succ yu400000)",fontsize=16,color="burlywood",shape="triangle"];2401[label="yu84/Succ yu840",fontsize=10,color="white",style="solid",shape="box"];2159 -> 2401[label="",style="solid", color="burlywood", weight=9]; 2401 -> 2164[label="",style="solid", color="burlywood", weight=3]; 2402[label="yu84/Zero",fontsize=10,color="white",style="solid",shape="box"];2159 -> 2402[label="",style="solid", color="burlywood", weight=9]; 2402 -> 2165[label="",style="solid", color="burlywood", weight=3]; 2176[label="Zero",fontsize=16,color="green",shape="box"];2177[label="yu82",fontsize=16,color="green",shape="box"];2178[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (numericEnumFrom (Pos yu85))))",fontsize=16,color="black",shape="box"];2178 -> 2181[label="",style="solid", color="black", weight=3]; 1728 -> 1541[label="",style="dashed", color="red", weight=0]; 1728[label="yu300 == yu4000",fontsize=16,color="magenta"];1728 -> 1871[label="",style="dashed", color="magenta", weight=3]; 1728 -> 1872[label="",style="dashed", color="magenta", weight=3]; 1729 -> 1542[label="",style="dashed", color="red", weight=0]; 1729[label="yu300 == yu4000",fontsize=16,color="magenta"];1729 -> 1873[label="",style="dashed", color="magenta", weight=3]; 1729 -> 1874[label="",style="dashed", color="magenta", weight=3]; 1730 -> 1543[label="",style="dashed", color="red", weight=0]; 1730[label="yu300 == yu4000",fontsize=16,color="magenta"];1730 -> 1875[label="",style="dashed", color="magenta", weight=3]; 1730 -> 1876[label="",style="dashed", color="magenta", weight=3]; 1731 -> 1544[label="",style="dashed", color="red", weight=0]; 1731[label="yu300 == yu4000",fontsize=16,color="magenta"];1731 -> 1877[label="",style="dashed", color="magenta", weight=3]; 1731 -> 1878[label="",style="dashed", color="magenta", weight=3]; 1732 -> 1545[label="",style="dashed", color="red", weight=0]; 1732[label="yu300 == yu4000",fontsize=16,color="magenta"];1732 -> 1879[label="",style="dashed", color="magenta", weight=3]; 1732 -> 1880[label="",style="dashed", color="magenta", weight=3]; 1733 -> 1546[label="",style="dashed", color="red", weight=0]; 1733[label="yu300 == yu4000",fontsize=16,color="magenta"];1733 -> 1881[label="",style="dashed", color="magenta", weight=3]; 1733 -> 1882[label="",style="dashed", color="magenta", weight=3]; 1734 -> 1547[label="",style="dashed", color="red", weight=0]; 1734[label="yu300 == yu4000",fontsize=16,color="magenta"];1734 -> 1883[label="",style="dashed", color="magenta", weight=3]; 1734 -> 1884[label="",style="dashed", color="magenta", weight=3]; 1735 -> 1548[label="",style="dashed", color="red", weight=0]; 1735[label="yu300 == yu4000",fontsize=16,color="magenta"];1735 -> 1885[label="",style="dashed", color="magenta", weight=3]; 1735 -> 1886[label="",style="dashed", color="magenta", weight=3]; 1736 -> 1549[label="",style="dashed", color="red", weight=0]; 1736[label="yu300 == yu4000",fontsize=16,color="magenta"];1736 -> 1887[label="",style="dashed", color="magenta", weight=3]; 1736 -> 1888[label="",style="dashed", color="magenta", weight=3]; 1737 -> 1495[label="",style="dashed", color="red", weight=0]; 1737[label="yu300 == yu4000",fontsize=16,color="magenta"];1737 -> 1889[label="",style="dashed", color="magenta", weight=3]; 1737 -> 1890[label="",style="dashed", color="magenta", weight=3]; 1738 -> 1551[label="",style="dashed", color="red", weight=0]; 1738[label="yu300 == yu4000",fontsize=16,color="magenta"];1738 -> 1891[label="",style="dashed", color="magenta", weight=3]; 1738 -> 1892[label="",style="dashed", color="magenta", weight=3]; 1739 -> 1552[label="",style="dashed", color="red", weight=0]; 1739[label="yu300 == yu4000",fontsize=16,color="magenta"];1739 -> 1893[label="",style="dashed", color="magenta", weight=3]; 1739 -> 1894[label="",style="dashed", color="magenta", weight=3]; 1740 -> 1553[label="",style="dashed", color="red", weight=0]; 1740[label="yu300 == yu4000",fontsize=16,color="magenta"];1740 -> 1895[label="",style="dashed", color="magenta", weight=3]; 1740 -> 1896[label="",style="dashed", color="magenta", weight=3]; 1741 -> 1554[label="",style="dashed", color="red", weight=0]; 1741[label="yu300 == yu4000",fontsize=16,color="magenta"];1741 -> 1897[label="",style="dashed", color="magenta", weight=3]; 1741 -> 1898[label="",style="dashed", color="magenta", weight=3]; 1742[label="yu301 == yu4001",fontsize=16,color="blue",shape="box"];2403[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2403[label="",style="solid", color="blue", weight=9]; 2403 -> 1899[label="",style="solid", color="blue", weight=3]; 2404[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2404[label="",style="solid", color="blue", weight=9]; 2404 -> 1900[label="",style="solid", color="blue", weight=3]; 2405[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2405[label="",style="solid", color="blue", weight=9]; 2405 -> 1901[label="",style="solid", color="blue", weight=3]; 2406[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2406[label="",style="solid", color="blue", weight=9]; 2406 -> 1902[label="",style="solid", color="blue", weight=3]; 2407[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2407[label="",style="solid", color="blue", weight=9]; 2407 -> 1903[label="",style="solid", color="blue", weight=3]; 2408[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2408[label="",style="solid", color="blue", weight=9]; 2408 -> 1904[label="",style="solid", color="blue", weight=3]; 2409[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2409[label="",style="solid", color="blue", weight=9]; 2409 -> 1905[label="",style="solid", color="blue", weight=3]; 2410[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2410[label="",style="solid", color="blue", weight=9]; 2410 -> 1906[label="",style="solid", color="blue", weight=3]; 2411[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2411[label="",style="solid", color="blue", weight=9]; 2411 -> 1907[label="",style="solid", color="blue", weight=3]; 2412[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2412[label="",style="solid", color="blue", weight=9]; 2412 -> 1908[label="",style="solid", color="blue", weight=3]; 2413[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2413[label="",style="solid", color="blue", weight=9]; 2413 -> 1909[label="",style="solid", color="blue", weight=3]; 2414[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2414[label="",style="solid", color="blue", weight=9]; 2414 -> 1910[label="",style="solid", color="blue", weight=3]; 2415[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2415[label="",style="solid", color="blue", weight=9]; 2415 -> 1911[label="",style="solid", color="blue", weight=3]; 2416[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1742 -> 2416[label="",style="solid", color="blue", weight=9]; 2416 -> 1912[label="",style="solid", color="blue", weight=3]; 1743[label="yu302 == yu4002",fontsize=16,color="blue",shape="box"];2417[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2417[label="",style="solid", color="blue", weight=9]; 2417 -> 1913[label="",style="solid", color="blue", weight=3]; 2418[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2418[label="",style="solid", color="blue", weight=9]; 2418 -> 1914[label="",style="solid", color="blue", weight=3]; 2419[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2419[label="",style="solid", color="blue", weight=9]; 2419 -> 1915[label="",style="solid", color="blue", weight=3]; 2420[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2420[label="",style="solid", color="blue", weight=9]; 2420 -> 1916[label="",style="solid", color="blue", weight=3]; 2421[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2421[label="",style="solid", color="blue", weight=9]; 2421 -> 1917[label="",style="solid", color="blue", weight=3]; 2422[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2422[label="",style="solid", color="blue", weight=9]; 2422 -> 1918[label="",style="solid", color="blue", weight=3]; 2423[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2423[label="",style="solid", color="blue", weight=9]; 2423 -> 1919[label="",style="solid", color="blue", weight=3]; 2424[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2424[label="",style="solid", color="blue", weight=9]; 2424 -> 1920[label="",style="solid", color="blue", weight=3]; 2425[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2425[label="",style="solid", color="blue", weight=9]; 2425 -> 1921[label="",style="solid", color="blue", weight=3]; 2426[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2426[label="",style="solid", color="blue", weight=9]; 2426 -> 1922[label="",style="solid", color="blue", weight=3]; 2427[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2427[label="",style="solid", color="blue", weight=9]; 2427 -> 1923[label="",style="solid", color="blue", weight=3]; 2428[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2428[label="",style="solid", color="blue", weight=9]; 2428 -> 1924[label="",style="solid", color="blue", weight=3]; 2429[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2429[label="",style="solid", color="blue", weight=9]; 2429 -> 1925[label="",style="solid", color="blue", weight=3]; 2430[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1743 -> 2430[label="",style="solid", color="blue", weight=9]; 2430 -> 1926[label="",style="solid", color="blue", weight=3]; 1744[label="False && yu81",fontsize=16,color="black",shape="box"];1744 -> 1927[label="",style="solid", color="black", weight=3]; 1745[label="True && yu81",fontsize=16,color="black",shape="box"];1745 -> 1928[label="",style="solid", color="black", weight=3]; 1746[label="primEqInt (Pos (Succ yu3000)) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1746 -> 1929[label="",style="solid", color="black", weight=3]; 1747[label="primEqInt (Pos (Succ yu3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1747 -> 1930[label="",style="solid", color="black", weight=3]; 1748[label="False",fontsize=16,color="green",shape="box"];1749[label="primEqInt (Pos Zero) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1749 -> 1931[label="",style="solid", color="black", weight=3]; 1750[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1750 -> 1932[label="",style="solid", color="black", weight=3]; 1751[label="primEqInt (Pos Zero) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1751 -> 1933[label="",style="solid", color="black", weight=3]; 1752[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1752 -> 1934[label="",style="solid", color="black", weight=3]; 1753[label="False",fontsize=16,color="green",shape="box"];1754[label="primEqInt (Neg (Succ yu3000)) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1754 -> 1935[label="",style="solid", color="black", weight=3]; 1755[label="primEqInt (Neg (Succ yu3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1755 -> 1936[label="",style="solid", color="black", weight=3]; 1756[label="primEqInt (Neg Zero) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1756 -> 1937[label="",style="solid", color="black", weight=3]; 1757[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1757 -> 1938[label="",style="solid", color="black", weight=3]; 1758[label="primEqInt (Neg Zero) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1758 -> 1939[label="",style="solid", color="black", weight=3]; 1759[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1759 -> 1940[label="",style="solid", color="black", weight=3]; 1760[label="yu4000",fontsize=16,color="green",shape="box"];1761[label="yu300",fontsize=16,color="green",shape="box"];1762[label="yu4000",fontsize=16,color="green",shape="box"];1763[label="yu300",fontsize=16,color="green",shape="box"];1764[label="yu4000",fontsize=16,color="green",shape="box"];1765[label="yu300",fontsize=16,color="green",shape="box"];1766[label="yu4000",fontsize=16,color="green",shape="box"];1767[label="yu300",fontsize=16,color="green",shape="box"];1768[label="yu4000",fontsize=16,color="green",shape="box"];1769[label="yu300",fontsize=16,color="green",shape="box"];1770[label="yu4000",fontsize=16,color="green",shape="box"];1771[label="yu300",fontsize=16,color="green",shape="box"];1772[label="yu4000",fontsize=16,color="green",shape="box"];1773[label="yu300",fontsize=16,color="green",shape="box"];1774[label="yu4000",fontsize=16,color="green",shape="box"];1775[label="yu300",fontsize=16,color="green",shape="box"];1776[label="yu4000",fontsize=16,color="green",shape="box"];1777[label="yu300",fontsize=16,color="green",shape="box"];1778[label="yu300",fontsize=16,color="green",shape="box"];1779[label="yu4000",fontsize=16,color="green",shape="box"];1780[label="yu4000",fontsize=16,color="green",shape="box"];1781[label="yu300",fontsize=16,color="green",shape="box"];1782[label="yu4000",fontsize=16,color="green",shape="box"];1783[label="yu300",fontsize=16,color="green",shape="box"];1784[label="yu4000",fontsize=16,color="green",shape="box"];1785[label="yu300",fontsize=16,color="green",shape="box"];1786[label="yu4000",fontsize=16,color="green",shape="box"];1787[label="yu300",fontsize=16,color="green",shape="box"];1788[label="yu4000",fontsize=16,color="green",shape="box"];1789[label="yu300",fontsize=16,color="green",shape="box"];1790[label="yu4000",fontsize=16,color="green",shape="box"];1791[label="yu300",fontsize=16,color="green",shape="box"];1792[label="yu4000",fontsize=16,color="green",shape="box"];1793[label="yu300",fontsize=16,color="green",shape="box"];1794[label="yu4000",fontsize=16,color="green",shape="box"];1795[label="yu300",fontsize=16,color="green",shape="box"];1796[label="yu4000",fontsize=16,color="green",shape="box"];1797[label="yu300",fontsize=16,color="green",shape="box"];1798[label="yu4000",fontsize=16,color="green",shape="box"];1799[label="yu300",fontsize=16,color="green",shape="box"];1800[label="yu4000",fontsize=16,color="green",shape="box"];1801[label="yu300",fontsize=16,color="green",shape="box"];1802[label="yu4000",fontsize=16,color="green",shape="box"];1803[label="yu300",fontsize=16,color="green",shape="box"];1804[label="yu4000",fontsize=16,color="green",shape="box"];1805[label="yu300",fontsize=16,color="green",shape="box"];1806[label="yu300",fontsize=16,color="green",shape="box"];1807[label="yu4000",fontsize=16,color="green",shape="box"];1808[label="yu4000",fontsize=16,color="green",shape="box"];1809[label="yu300",fontsize=16,color="green",shape="box"];1810[label="yu4000",fontsize=16,color="green",shape="box"];1811[label="yu300",fontsize=16,color="green",shape="box"];1812[label="yu4000",fontsize=16,color="green",shape="box"];1813[label="yu300",fontsize=16,color="green",shape="box"];1814[label="yu4000",fontsize=16,color="green",shape="box"];1815[label="yu300",fontsize=16,color="green",shape="box"];1816[label="primEqNat (Succ yu3000) yu4000",fontsize=16,color="burlywood",shape="box"];2431[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1816 -> 2431[label="",style="solid", color="burlywood", weight=9]; 2431 -> 1941[label="",style="solid", color="burlywood", weight=3]; 2432[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1816 -> 2432[label="",style="solid", color="burlywood", weight=9]; 2432 -> 1942[label="",style="solid", color="burlywood", weight=3]; 1817[label="primEqNat Zero yu4000",fontsize=16,color="burlywood",shape="box"];2433[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1817 -> 2433[label="",style="solid", color="burlywood", weight=9]; 2433 -> 1943[label="",style="solid", color="burlywood", weight=3]; 2434[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1817 -> 2434[label="",style="solid", color="burlywood", weight=9]; 2434 -> 1944[label="",style="solid", color="burlywood", weight=3]; 1818 -> 1543[label="",style="dashed", color="red", weight=0]; 1818[label="yu300 == yu4000",fontsize=16,color="magenta"];1818 -> 1945[label="",style="dashed", color="magenta", weight=3]; 1818 -> 1946[label="",style="dashed", color="magenta", weight=3]; 1819 -> 1553[label="",style="dashed", color="red", weight=0]; 1819[label="yu300 == yu4000",fontsize=16,color="magenta"];1819 -> 1947[label="",style="dashed", color="magenta", weight=3]; 1819 -> 1948[label="",style="dashed", color="magenta", weight=3]; 1820 -> 1543[label="",style="dashed", color="red", weight=0]; 1820[label="yu301 == yu4001",fontsize=16,color="magenta"];1820 -> 1949[label="",style="dashed", color="magenta", weight=3]; 1820 -> 1950[label="",style="dashed", color="magenta", weight=3]; 1821 -> 1553[label="",style="dashed", color="red", weight=0]; 1821[label="yu301 == yu4001",fontsize=16,color="magenta"];1821 -> 1951[label="",style="dashed", color="magenta", weight=3]; 1821 -> 1952[label="",style="dashed", color="magenta", weight=3]; 1822 -> 1541[label="",style="dashed", color="red", weight=0]; 1822[label="yu300 == yu4000",fontsize=16,color="magenta"];1822 -> 1953[label="",style="dashed", color="magenta", weight=3]; 1822 -> 1954[label="",style="dashed", color="magenta", weight=3]; 1823 -> 1542[label="",style="dashed", color="red", weight=0]; 1823[label="yu300 == yu4000",fontsize=16,color="magenta"];1823 -> 1955[label="",style="dashed", color="magenta", weight=3]; 1823 -> 1956[label="",style="dashed", color="magenta", weight=3]; 1824 -> 1543[label="",style="dashed", color="red", weight=0]; 1824[label="yu300 == yu4000",fontsize=16,color="magenta"];1824 -> 1957[label="",style="dashed", color="magenta", weight=3]; 1824 -> 1958[label="",style="dashed", color="magenta", weight=3]; 1825 -> 1544[label="",style="dashed", color="red", weight=0]; 1825[label="yu300 == yu4000",fontsize=16,color="magenta"];1825 -> 1959[label="",style="dashed", color="magenta", weight=3]; 1825 -> 1960[label="",style="dashed", color="magenta", weight=3]; 1826 -> 1545[label="",style="dashed", color="red", weight=0]; 1826[label="yu300 == yu4000",fontsize=16,color="magenta"];1826 -> 1961[label="",style="dashed", color="magenta", weight=3]; 1826 -> 1962[label="",style="dashed", color="magenta", weight=3]; 1827 -> 1546[label="",style="dashed", color="red", weight=0]; 1827[label="yu300 == yu4000",fontsize=16,color="magenta"];1827 -> 1963[label="",style="dashed", color="magenta", weight=3]; 1827 -> 1964[label="",style="dashed", color="magenta", weight=3]; 1828 -> 1547[label="",style="dashed", color="red", weight=0]; 1828[label="yu300 == yu4000",fontsize=16,color="magenta"];1828 -> 1965[label="",style="dashed", color="magenta", weight=3]; 1828 -> 1966[label="",style="dashed", color="magenta", weight=3]; 1829 -> 1548[label="",style="dashed", color="red", weight=0]; 1829[label="yu300 == yu4000",fontsize=16,color="magenta"];1829 -> 1967[label="",style="dashed", color="magenta", weight=3]; 1829 -> 1968[label="",style="dashed", color="magenta", weight=3]; 1830 -> 1549[label="",style="dashed", color="red", weight=0]; 1830[label="yu300 == yu4000",fontsize=16,color="magenta"];1830 -> 1969[label="",style="dashed", color="magenta", weight=3]; 1830 -> 1970[label="",style="dashed", color="magenta", weight=3]; 1831 -> 1495[label="",style="dashed", color="red", weight=0]; 1831[label="yu300 == yu4000",fontsize=16,color="magenta"];1831 -> 1971[label="",style="dashed", color="magenta", weight=3]; 1831 -> 1972[label="",style="dashed", color="magenta", weight=3]; 1832 -> 1551[label="",style="dashed", color="red", weight=0]; 1832[label="yu300 == yu4000",fontsize=16,color="magenta"];1832 -> 1973[label="",style="dashed", color="magenta", weight=3]; 1832 -> 1974[label="",style="dashed", color="magenta", weight=3]; 1833 -> 1552[label="",style="dashed", color="red", weight=0]; 1833[label="yu300 == yu4000",fontsize=16,color="magenta"];1833 -> 1975[label="",style="dashed", color="magenta", weight=3]; 1833 -> 1976[label="",style="dashed", color="magenta", weight=3]; 1834 -> 1553[label="",style="dashed", color="red", weight=0]; 1834[label="yu300 == yu4000",fontsize=16,color="magenta"];1834 -> 1977[label="",style="dashed", color="magenta", weight=3]; 1834 -> 1978[label="",style="dashed", color="magenta", weight=3]; 1835 -> 1554[label="",style="dashed", color="red", weight=0]; 1835[label="yu300 == yu4000",fontsize=16,color="magenta"];1835 -> 1979[label="",style="dashed", color="magenta", weight=3]; 1835 -> 1980[label="",style="dashed", color="magenta", weight=3]; 1836 -> 1541[label="",style="dashed", color="red", weight=0]; 1836[label="yu301 == yu4001",fontsize=16,color="magenta"];1836 -> 1981[label="",style="dashed", color="magenta", weight=3]; 1836 -> 1982[label="",style="dashed", color="magenta", weight=3]; 1837 -> 1542[label="",style="dashed", color="red", weight=0]; 1837[label="yu301 == yu4001",fontsize=16,color="magenta"];1837 -> 1983[label="",style="dashed", color="magenta", weight=3]; 1837 -> 1984[label="",style="dashed", color="magenta", weight=3]; 1838 -> 1543[label="",style="dashed", color="red", weight=0]; 1838[label="yu301 == yu4001",fontsize=16,color="magenta"];1838 -> 1985[label="",style="dashed", color="magenta", weight=3]; 1838 -> 1986[label="",style="dashed", color="magenta", weight=3]; 1839 -> 1544[label="",style="dashed", color="red", weight=0]; 1839[label="yu301 == yu4001",fontsize=16,color="magenta"];1839 -> 1987[label="",style="dashed", color="magenta", weight=3]; 1839 -> 1988[label="",style="dashed", color="magenta", weight=3]; 1840 -> 1545[label="",style="dashed", color="red", weight=0]; 1840[label="yu301 == yu4001",fontsize=16,color="magenta"];1840 -> 1989[label="",style="dashed", color="magenta", weight=3]; 1840 -> 1990[label="",style="dashed", color="magenta", weight=3]; 1841 -> 1546[label="",style="dashed", color="red", weight=0]; 1841[label="yu301 == yu4001",fontsize=16,color="magenta"];1841 -> 1991[label="",style="dashed", color="magenta", weight=3]; 1841 -> 1992[label="",style="dashed", color="magenta", weight=3]; 1842 -> 1547[label="",style="dashed", color="red", weight=0]; 1842[label="yu301 == yu4001",fontsize=16,color="magenta"];1842 -> 1993[label="",style="dashed", color="magenta", weight=3]; 1842 -> 1994[label="",style="dashed", color="magenta", weight=3]; 1843 -> 1548[label="",style="dashed", color="red", weight=0]; 1843[label="yu301 == yu4001",fontsize=16,color="magenta"];1843 -> 1995[label="",style="dashed", color="magenta", weight=3]; 1843 -> 1996[label="",style="dashed", color="magenta", weight=3]; 1844 -> 1549[label="",style="dashed", color="red", weight=0]; 1844[label="yu301 == yu4001",fontsize=16,color="magenta"];1844 -> 1997[label="",style="dashed", color="magenta", weight=3]; 1844 -> 1998[label="",style="dashed", color="magenta", weight=3]; 1845 -> 1495[label="",style="dashed", color="red", weight=0]; 1845[label="yu301 == yu4001",fontsize=16,color="magenta"];1845 -> 1999[label="",style="dashed", color="magenta", weight=3]; 1845 -> 2000[label="",style="dashed", color="magenta", weight=3]; 1846 -> 1551[label="",style="dashed", color="red", weight=0]; 1846[label="yu301 == yu4001",fontsize=16,color="magenta"];1846 -> 2001[label="",style="dashed", color="magenta", weight=3]; 1846 -> 2002[label="",style="dashed", color="magenta", weight=3]; 1847 -> 1552[label="",style="dashed", color="red", weight=0]; 1847[label="yu301 == yu4001",fontsize=16,color="magenta"];1847 -> 2003[label="",style="dashed", color="magenta", weight=3]; 1847 -> 2004[label="",style="dashed", color="magenta", weight=3]; 1848 -> 1553[label="",style="dashed", color="red", weight=0]; 1848[label="yu301 == yu4001",fontsize=16,color="magenta"];1848 -> 2005[label="",style="dashed", color="magenta", weight=3]; 1848 -> 2006[label="",style="dashed", color="magenta", weight=3]; 1849 -> 1554[label="",style="dashed", color="red", weight=0]; 1849[label="yu301 == yu4001",fontsize=16,color="magenta"];1849 -> 2007[label="",style="dashed", color="magenta", weight=3]; 1849 -> 2008[label="",style="dashed", color="magenta", weight=3]; 1850[label="yu301 * yu4000",fontsize=16,color="black",shape="triangle"];1850 -> 2009[label="",style="solid", color="black", weight=3]; 1851 -> 1850[label="",style="dashed", color="red", weight=0]; 1851[label="yu300 * yu4001",fontsize=16,color="magenta"];1851 -> 2010[label="",style="dashed", color="magenta", weight=3]; 1851 -> 2011[label="",style="dashed", color="magenta", weight=3]; 1852 -> 1850[label="",style="dashed", color="red", weight=0]; 1852[label="yu301 * yu4000",fontsize=16,color="magenta"];1852 -> 2012[label="",style="dashed", color="magenta", weight=3]; 1852 -> 2013[label="",style="dashed", color="magenta", weight=3]; 1853 -> 1850[label="",style="dashed", color="red", weight=0]; 1853[label="yu300 * yu4001",fontsize=16,color="magenta"];1853 -> 2014[label="",style="dashed", color="magenta", weight=3]; 1853 -> 2015[label="",style="dashed", color="magenta", weight=3]; 1854 -> 1541[label="",style="dashed", color="red", weight=0]; 1854[label="yu300 == yu4000",fontsize=16,color="magenta"];1854 -> 2016[label="",style="dashed", color="magenta", weight=3]; 1854 -> 2017[label="",style="dashed", color="magenta", weight=3]; 1855 -> 1542[label="",style="dashed", color="red", weight=0]; 1855[label="yu300 == yu4000",fontsize=16,color="magenta"];1855 -> 2018[label="",style="dashed", color="magenta", weight=3]; 1855 -> 2019[label="",style="dashed", color="magenta", weight=3]; 1856 -> 1543[label="",style="dashed", color="red", weight=0]; 1856[label="yu300 == yu4000",fontsize=16,color="magenta"];1856 -> 2020[label="",style="dashed", color="magenta", weight=3]; 1856 -> 2021[label="",style="dashed", color="magenta", weight=3]; 1857 -> 1544[label="",style="dashed", color="red", weight=0]; 1857[label="yu300 == yu4000",fontsize=16,color="magenta"];1857 -> 2022[label="",style="dashed", color="magenta", weight=3]; 1857 -> 2023[label="",style="dashed", color="magenta", weight=3]; 1858 -> 1545[label="",style="dashed", color="red", weight=0]; 1858[label="yu300 == yu4000",fontsize=16,color="magenta"];1858 -> 2024[label="",style="dashed", color="magenta", weight=3]; 1858 -> 2025[label="",style="dashed", color="magenta", weight=3]; 1859 -> 1546[label="",style="dashed", color="red", weight=0]; 1859[label="yu300 == yu4000",fontsize=16,color="magenta"];1859 -> 2026[label="",style="dashed", color="magenta", weight=3]; 1859 -> 2027[label="",style="dashed", color="magenta", weight=3]; 1860 -> 1547[label="",style="dashed", color="red", weight=0]; 1860[label="yu300 == yu4000",fontsize=16,color="magenta"];1860 -> 2028[label="",style="dashed", color="magenta", weight=3]; 1860 -> 2029[label="",style="dashed", color="magenta", weight=3]; 1861 -> 1548[label="",style="dashed", color="red", weight=0]; 1861[label="yu300 == yu4000",fontsize=16,color="magenta"];1861 -> 2030[label="",style="dashed", color="magenta", weight=3]; 1861 -> 2031[label="",style="dashed", color="magenta", weight=3]; 1862 -> 1549[label="",style="dashed", color="red", weight=0]; 1862[label="yu300 == yu4000",fontsize=16,color="magenta"];1862 -> 2032[label="",style="dashed", color="magenta", weight=3]; 1862 -> 2033[label="",style="dashed", color="magenta", weight=3]; 1863 -> 1495[label="",style="dashed", color="red", weight=0]; 1863[label="yu300 == yu4000",fontsize=16,color="magenta"];1863 -> 2034[label="",style="dashed", color="magenta", weight=3]; 1863 -> 2035[label="",style="dashed", color="magenta", weight=3]; 1864 -> 1551[label="",style="dashed", color="red", weight=0]; 1864[label="yu300 == yu4000",fontsize=16,color="magenta"];1864 -> 2036[label="",style="dashed", color="magenta", weight=3]; 1864 -> 2037[label="",style="dashed", color="magenta", weight=3]; 1865 -> 1552[label="",style="dashed", color="red", weight=0]; 1865[label="yu300 == yu4000",fontsize=16,color="magenta"];1865 -> 2038[label="",style="dashed", color="magenta", weight=3]; 1865 -> 2039[label="",style="dashed", color="magenta", weight=3]; 1866 -> 1553[label="",style="dashed", color="red", weight=0]; 1866[label="yu300 == yu4000",fontsize=16,color="magenta"];1866 -> 2040[label="",style="dashed", color="magenta", weight=3]; 1866 -> 2041[label="",style="dashed", color="magenta", weight=3]; 1867 -> 1554[label="",style="dashed", color="red", weight=0]; 1867[label="yu300 == yu4000",fontsize=16,color="magenta"];1867 -> 2042[label="",style="dashed", color="magenta", weight=3]; 1867 -> 2043[label="",style="dashed", color="magenta", weight=3]; 1868[label="yu4001",fontsize=16,color="green",shape="box"];1869[label="yu301",fontsize=16,color="green",shape="box"];2164[label="primPlusNat (Succ yu840) (Succ yu400000)",fontsize=16,color="black",shape="box"];2164 -> 2167[label="",style="solid", color="black", weight=3]; 2165[label="primPlusNat Zero (Succ yu400000)",fontsize=16,color="black",shape="box"];2165 -> 2168[label="",style="solid", color="black", weight=3]; 2181[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu85 : (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];2181 -> 2186[label="",style="solid", color="black", weight=3]; 1871[label="yu4000",fontsize=16,color="green",shape="box"];1872[label="yu300",fontsize=16,color="green",shape="box"];1873[label="yu4000",fontsize=16,color="green",shape="box"];1874[label="yu300",fontsize=16,color="green",shape="box"];1875[label="yu4000",fontsize=16,color="green",shape="box"];1876[label="yu300",fontsize=16,color="green",shape="box"];1877[label="yu4000",fontsize=16,color="green",shape="box"];1878[label="yu300",fontsize=16,color="green",shape="box"];1879[label="yu4000",fontsize=16,color="green",shape="box"];1880[label="yu300",fontsize=16,color="green",shape="box"];1881[label="yu4000",fontsize=16,color="green",shape="box"];1882[label="yu300",fontsize=16,color="green",shape="box"];1883[label="yu4000",fontsize=16,color="green",shape="box"];1884[label="yu300",fontsize=16,color="green",shape="box"];1885[label="yu4000",fontsize=16,color="green",shape="box"];1886[label="yu300",fontsize=16,color="green",shape="box"];1887[label="yu4000",fontsize=16,color="green",shape="box"];1888[label="yu300",fontsize=16,color="green",shape="box"];1889[label="yu300",fontsize=16,color="green",shape="box"];1890[label="yu4000",fontsize=16,color="green",shape="box"];1891[label="yu4000",fontsize=16,color="green",shape="box"];1892[label="yu300",fontsize=16,color="green",shape="box"];1893[label="yu4000",fontsize=16,color="green",shape="box"];1894[label="yu300",fontsize=16,color="green",shape="box"];1895[label="yu4000",fontsize=16,color="green",shape="box"];1896[label="yu300",fontsize=16,color="green",shape="box"];1897[label="yu4000",fontsize=16,color="green",shape="box"];1898[label="yu300",fontsize=16,color="green",shape="box"];1899 -> 1541[label="",style="dashed", color="red", weight=0]; 1899[label="yu301 == yu4001",fontsize=16,color="magenta"];1899 -> 2045[label="",style="dashed", color="magenta", weight=3]; 1899 -> 2046[label="",style="dashed", color="magenta", weight=3]; 1900 -> 1542[label="",style="dashed", color="red", weight=0]; 1900[label="yu301 == yu4001",fontsize=16,color="magenta"];1900 -> 2047[label="",style="dashed", color="magenta", weight=3]; 1900 -> 2048[label="",style="dashed", color="magenta", weight=3]; 1901 -> 1543[label="",style="dashed", color="red", weight=0]; 1901[label="yu301 == yu4001",fontsize=16,color="magenta"];1901 -> 2049[label="",style="dashed", color="magenta", weight=3]; 1901 -> 2050[label="",style="dashed", color="magenta", weight=3]; 1902 -> 1544[label="",style="dashed", color="red", weight=0]; 1902[label="yu301 == yu4001",fontsize=16,color="magenta"];1902 -> 2051[label="",style="dashed", color="magenta", weight=3]; 1902 -> 2052[label="",style="dashed", color="magenta", weight=3]; 1903 -> 1545[label="",style="dashed", color="red", weight=0]; 1903[label="yu301 == yu4001",fontsize=16,color="magenta"];1903 -> 2053[label="",style="dashed", color="magenta", weight=3]; 1903 -> 2054[label="",style="dashed", color="magenta", weight=3]; 1904 -> 1546[label="",style="dashed", color="red", weight=0]; 1904[label="yu301 == yu4001",fontsize=16,color="magenta"];1904 -> 2055[label="",style="dashed", color="magenta", weight=3]; 1904 -> 2056[label="",style="dashed", color="magenta", weight=3]; 1905 -> 1547[label="",style="dashed", color="red", weight=0]; 1905[label="yu301 == yu4001",fontsize=16,color="magenta"];1905 -> 2057[label="",style="dashed", color="magenta", weight=3]; 1905 -> 2058[label="",style="dashed", color="magenta", weight=3]; 1906 -> 1548[label="",style="dashed", color="red", weight=0]; 1906[label="yu301 == yu4001",fontsize=16,color="magenta"];1906 -> 2059[label="",style="dashed", color="magenta", weight=3]; 1906 -> 2060[label="",style="dashed", color="magenta", weight=3]; 1907 -> 1549[label="",style="dashed", color="red", weight=0]; 1907[label="yu301 == yu4001",fontsize=16,color="magenta"];1907 -> 2061[label="",style="dashed", color="magenta", weight=3]; 1907 -> 2062[label="",style="dashed", color="magenta", weight=3]; 1908 -> 1495[label="",style="dashed", color="red", weight=0]; 1908[label="yu301 == yu4001",fontsize=16,color="magenta"];1908 -> 2063[label="",style="dashed", color="magenta", weight=3]; 1908 -> 2064[label="",style="dashed", color="magenta", weight=3]; 1909 -> 1551[label="",style="dashed", color="red", weight=0]; 1909[label="yu301 == yu4001",fontsize=16,color="magenta"];1909 -> 2065[label="",style="dashed", color="magenta", weight=3]; 1909 -> 2066[label="",style="dashed", color="magenta", weight=3]; 1910 -> 1552[label="",style="dashed", color="red", weight=0]; 1910[label="yu301 == yu4001",fontsize=16,color="magenta"];1910 -> 2067[label="",style="dashed", color="magenta", weight=3]; 1910 -> 2068[label="",style="dashed", color="magenta", weight=3]; 1911 -> 1553[label="",style="dashed", color="red", weight=0]; 1911[label="yu301 == yu4001",fontsize=16,color="magenta"];1911 -> 2069[label="",style="dashed", color="magenta", weight=3]; 1911 -> 2070[label="",style="dashed", color="magenta", weight=3]; 1912 -> 1554[label="",style="dashed", color="red", weight=0]; 1912[label="yu301 == yu4001",fontsize=16,color="magenta"];1912 -> 2071[label="",style="dashed", color="magenta", weight=3]; 1912 -> 2072[label="",style="dashed", color="magenta", weight=3]; 1913 -> 1541[label="",style="dashed", color="red", weight=0]; 1913[label="yu302 == yu4002",fontsize=16,color="magenta"];1913 -> 2073[label="",style="dashed", color="magenta", weight=3]; 1913 -> 2074[label="",style="dashed", color="magenta", weight=3]; 1914 -> 1542[label="",style="dashed", color="red", weight=0]; 1914[label="yu302 == yu4002",fontsize=16,color="magenta"];1914 -> 2075[label="",style="dashed", color="magenta", weight=3]; 1914 -> 2076[label="",style="dashed", color="magenta", weight=3]; 1915 -> 1543[label="",style="dashed", color="red", weight=0]; 1915[label="yu302 == yu4002",fontsize=16,color="magenta"];1915 -> 2077[label="",style="dashed", color="magenta", weight=3]; 1915 -> 2078[label="",style="dashed", color="magenta", weight=3]; 1916 -> 1544[label="",style="dashed", color="red", weight=0]; 1916[label="yu302 == yu4002",fontsize=16,color="magenta"];1916 -> 2079[label="",style="dashed", color="magenta", weight=3]; 1916 -> 2080[label="",style="dashed", color="magenta", weight=3]; 1917 -> 1545[label="",style="dashed", color="red", weight=0]; 1917[label="yu302 == yu4002",fontsize=16,color="magenta"];1917 -> 2081[label="",style="dashed", color="magenta", weight=3]; 1917 -> 2082[label="",style="dashed", color="magenta", weight=3]; 1918 -> 1546[label="",style="dashed", color="red", weight=0]; 1918[label="yu302 == yu4002",fontsize=16,color="magenta"];1918 -> 2083[label="",style="dashed", color="magenta", weight=3]; 1918 -> 2084[label="",style="dashed", color="magenta", weight=3]; 1919 -> 1547[label="",style="dashed", color="red", weight=0]; 1919[label="yu302 == yu4002",fontsize=16,color="magenta"];1919 -> 2085[label="",style="dashed", color="magenta", weight=3]; 1919 -> 2086[label="",style="dashed", color="magenta", weight=3]; 1920 -> 1548[label="",style="dashed", color="red", weight=0]; 1920[label="yu302 == yu4002",fontsize=16,color="magenta"];1920 -> 2087[label="",style="dashed", color="magenta", weight=3]; 1920 -> 2088[label="",style="dashed", color="magenta", weight=3]; 1921 -> 1549[label="",style="dashed", color="red", weight=0]; 1921[label="yu302 == yu4002",fontsize=16,color="magenta"];1921 -> 2089[label="",style="dashed", color="magenta", weight=3]; 1921 -> 2090[label="",style="dashed", color="magenta", weight=3]; 1922 -> 1495[label="",style="dashed", color="red", weight=0]; 1922[label="yu302 == yu4002",fontsize=16,color="magenta"];1922 -> 2091[label="",style="dashed", color="magenta", weight=3]; 1922 -> 2092[label="",style="dashed", color="magenta", weight=3]; 1923 -> 1551[label="",style="dashed", color="red", weight=0]; 1923[label="yu302 == yu4002",fontsize=16,color="magenta"];1923 -> 2093[label="",style="dashed", color="magenta", weight=3]; 1923 -> 2094[label="",style="dashed", color="magenta", weight=3]; 1924 -> 1552[label="",style="dashed", color="red", weight=0]; 1924[label="yu302 == yu4002",fontsize=16,color="magenta"];1924 -> 2095[label="",style="dashed", color="magenta", weight=3]; 1924 -> 2096[label="",style="dashed", color="magenta", weight=3]; 1925 -> 1553[label="",style="dashed", color="red", weight=0]; 1925[label="yu302 == yu4002",fontsize=16,color="magenta"];1925 -> 2097[label="",style="dashed", color="magenta", weight=3]; 1925 -> 2098[label="",style="dashed", color="magenta", weight=3]; 1926 -> 1554[label="",style="dashed", color="red", weight=0]; 1926[label="yu302 == yu4002",fontsize=16,color="magenta"];1926 -> 2099[label="",style="dashed", color="magenta", weight=3]; 1926 -> 2100[label="",style="dashed", color="magenta", weight=3]; 1927[label="False",fontsize=16,color="green",shape="box"];1928[label="yu81",fontsize=16,color="green",shape="box"];1929 -> 1686[label="",style="dashed", color="red", weight=0]; 1929[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];1929 -> 2101[label="",style="dashed", color="magenta", weight=3]; 1929 -> 2102[label="",style="dashed", color="magenta", weight=3]; 1930[label="False",fontsize=16,color="green",shape="box"];1931[label="False",fontsize=16,color="green",shape="box"];1932[label="True",fontsize=16,color="green",shape="box"];1933[label="False",fontsize=16,color="green",shape="box"];1934[label="True",fontsize=16,color="green",shape="box"];1935 -> 1686[label="",style="dashed", color="red", weight=0]; 1935[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];1935 -> 2103[label="",style="dashed", color="magenta", weight=3]; 1935 -> 2104[label="",style="dashed", color="magenta", weight=3]; 1936[label="False",fontsize=16,color="green",shape="box"];1937[label="False",fontsize=16,color="green",shape="box"];1938[label="True",fontsize=16,color="green",shape="box"];1939[label="False",fontsize=16,color="green",shape="box"];1940[label="True",fontsize=16,color="green",shape="box"];1941[label="primEqNat (Succ yu3000) (Succ yu40000)",fontsize=16,color="black",shape="box"];1941 -> 2105[label="",style="solid", color="black", weight=3]; 1942[label="primEqNat (Succ yu3000) Zero",fontsize=16,color="black",shape="box"];1942 -> 2106[label="",style="solid", color="black", weight=3]; 1943[label="primEqNat Zero (Succ yu40000)",fontsize=16,color="black",shape="box"];1943 -> 2107[label="",style="solid", color="black", weight=3]; 1944[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1944 -> 2108[label="",style="solid", color="black", weight=3]; 1945[label="yu4000",fontsize=16,color="green",shape="box"];1946[label="yu300",fontsize=16,color="green",shape="box"];1947[label="yu4000",fontsize=16,color="green",shape="box"];1948[label="yu300",fontsize=16,color="green",shape="box"];1949[label="yu4001",fontsize=16,color="green",shape="box"];1950[label="yu301",fontsize=16,color="green",shape="box"];1951[label="yu4001",fontsize=16,color="green",shape="box"];1952[label="yu301",fontsize=16,color="green",shape="box"];1953[label="yu4000",fontsize=16,color="green",shape="box"];1954[label="yu300",fontsize=16,color="green",shape="box"];1955[label="yu4000",fontsize=16,color="green",shape="box"];1956[label="yu300",fontsize=16,color="green",shape="box"];1957[label="yu4000",fontsize=16,color="green",shape="box"];1958[label="yu300",fontsize=16,color="green",shape="box"];1959[label="yu4000",fontsize=16,color="green",shape="box"];1960[label="yu300",fontsize=16,color="green",shape="box"];1961[label="yu4000",fontsize=16,color="green",shape="box"];1962[label="yu300",fontsize=16,color="green",shape="box"];1963[label="yu4000",fontsize=16,color="green",shape="box"];1964[label="yu300",fontsize=16,color="green",shape="box"];1965[label="yu4000",fontsize=16,color="green",shape="box"];1966[label="yu300",fontsize=16,color="green",shape="box"];1967[label="yu4000",fontsize=16,color="green",shape="box"];1968[label="yu300",fontsize=16,color="green",shape="box"];1969[label="yu4000",fontsize=16,color="green",shape="box"];1970[label="yu300",fontsize=16,color="green",shape="box"];1971[label="yu300",fontsize=16,color="green",shape="box"];1972[label="yu4000",fontsize=16,color="green",shape="box"];1973[label="yu4000",fontsize=16,color="green",shape="box"];1974[label="yu300",fontsize=16,color="green",shape="box"];1975[label="yu4000",fontsize=16,color="green",shape="box"];1976[label="yu300",fontsize=16,color="green",shape="box"];1977[label="yu4000",fontsize=16,color="green",shape="box"];1978[label="yu300",fontsize=16,color="green",shape="box"];1979[label="yu4000",fontsize=16,color="green",shape="box"];1980[label="yu300",fontsize=16,color="green",shape="box"];1981[label="yu4001",fontsize=16,color="green",shape="box"];1982[label="yu301",fontsize=16,color="green",shape="box"];1983[label="yu4001",fontsize=16,color="green",shape="box"];1984[label="yu301",fontsize=16,color="green",shape="box"];1985[label="yu4001",fontsize=16,color="green",shape="box"];1986[label="yu301",fontsize=16,color="green",shape="box"];1987[label="yu4001",fontsize=16,color="green",shape="box"];1988[label="yu301",fontsize=16,color="green",shape="box"];1989[label="yu4001",fontsize=16,color="green",shape="box"];1990[label="yu301",fontsize=16,color="green",shape="box"];1991[label="yu4001",fontsize=16,color="green",shape="box"];1992[label="yu301",fontsize=16,color="green",shape="box"];1993[label="yu4001",fontsize=16,color="green",shape="box"];1994[label="yu301",fontsize=16,color="green",shape="box"];1995[label="yu4001",fontsize=16,color="green",shape="box"];1996[label="yu301",fontsize=16,color="green",shape="box"];1997[label="yu4001",fontsize=16,color="green",shape="box"];1998[label="yu301",fontsize=16,color="green",shape="box"];1999[label="yu301",fontsize=16,color="green",shape="box"];2000[label="yu4001",fontsize=16,color="green",shape="box"];2001[label="yu4001",fontsize=16,color="green",shape="box"];2002[label="yu301",fontsize=16,color="green",shape="box"];2003[label="yu4001",fontsize=16,color="green",shape="box"];2004[label="yu301",fontsize=16,color="green",shape="box"];2005[label="yu4001",fontsize=16,color="green",shape="box"];2006[label="yu301",fontsize=16,color="green",shape="box"];2007[label="yu4001",fontsize=16,color="green",shape="box"];2008[label="yu301",fontsize=16,color="green",shape="box"];2009[label="primMulInt yu301 yu4000",fontsize=16,color="burlywood",shape="box"];2435[label="yu301/Pos yu3010",fontsize=10,color="white",style="solid",shape="box"];2009 -> 2435[label="",style="solid", color="burlywood", weight=9]; 2435 -> 2109[label="",style="solid", color="burlywood", weight=3]; 2436[label="yu301/Neg yu3010",fontsize=10,color="white",style="solid",shape="box"];2009 -> 2436[label="",style="solid", color="burlywood", weight=9]; 2436 -> 2110[label="",style="solid", color="burlywood", weight=3]; 2010[label="yu4001",fontsize=16,color="green",shape="box"];2011[label="yu300",fontsize=16,color="green",shape="box"];2012[label="yu4000",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="yu300",fontsize=16,color="green",shape="box"];2016[label="yu4000",fontsize=16,color="green",shape="box"];2017[label="yu300",fontsize=16,color="green",shape="box"];2018[label="yu4000",fontsize=16,color="green",shape="box"];2019[label="yu300",fontsize=16,color="green",shape="box"];2020[label="yu4000",fontsize=16,color="green",shape="box"];2021[label="yu300",fontsize=16,color="green",shape="box"];2022[label="yu4000",fontsize=16,color="green",shape="box"];2023[label="yu300",fontsize=16,color="green",shape="box"];2024[label="yu4000",fontsize=16,color="green",shape="box"];2025[label="yu300",fontsize=16,color="green",shape="box"];2026[label="yu4000",fontsize=16,color="green",shape="box"];2027[label="yu300",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="yu300",fontsize=16,color="green",shape="box"];2035[label="yu4000",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"];2167[label="Succ (Succ (primPlusNat yu840 yu400000))",fontsize=16,color="green",shape="box"];2167 -> 2170[label="",style="dashed", color="green", weight=3]; 2168[label="Succ yu400000",fontsize=16,color="green",shape="box"];2186[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zip0 yu4110 (Pos yu85) : zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2186 -> 2191[label="",style="solid", color="black", weight=3]; 2045[label="yu4001",fontsize=16,color="green",shape="box"];2046[label="yu301",fontsize=16,color="green",shape="box"];2047[label="yu4001",fontsize=16,color="green",shape="box"];2048[label="yu301",fontsize=16,color="green",shape="box"];2049[label="yu4001",fontsize=16,color="green",shape="box"];2050[label="yu301",fontsize=16,color="green",shape="box"];2051[label="yu4001",fontsize=16,color="green",shape="box"];2052[label="yu301",fontsize=16,color="green",shape="box"];2053[label="yu4001",fontsize=16,color="green",shape="box"];2054[label="yu301",fontsize=16,color="green",shape="box"];2055[label="yu4001",fontsize=16,color="green",shape="box"];2056[label="yu301",fontsize=16,color="green",shape="box"];2057[label="yu4001",fontsize=16,color="green",shape="box"];2058[label="yu301",fontsize=16,color="green",shape="box"];2059[label="yu4001",fontsize=16,color="green",shape="box"];2060[label="yu301",fontsize=16,color="green",shape="box"];2061[label="yu4001",fontsize=16,color="green",shape="box"];2062[label="yu301",fontsize=16,color="green",shape="box"];2063[label="yu301",fontsize=16,color="green",shape="box"];2064[label="yu4001",fontsize=16,color="green",shape="box"];2065[label="yu4001",fontsize=16,color="green",shape="box"];2066[label="yu301",fontsize=16,color="green",shape="box"];2067[label="yu4001",fontsize=16,color="green",shape="box"];2068[label="yu301",fontsize=16,color="green",shape="box"];2069[label="yu4001",fontsize=16,color="green",shape="box"];2070[label="yu301",fontsize=16,color="green",shape="box"];2071[label="yu4001",fontsize=16,color="green",shape="box"];2072[label="yu301",fontsize=16,color="green",shape="box"];2073[label="yu4002",fontsize=16,color="green",shape="box"];2074[label="yu302",fontsize=16,color="green",shape="box"];2075[label="yu4002",fontsize=16,color="green",shape="box"];2076[label="yu302",fontsize=16,color="green",shape="box"];2077[label="yu4002",fontsize=16,color="green",shape="box"];2078[label="yu302",fontsize=16,color="green",shape="box"];2079[label="yu4002",fontsize=16,color="green",shape="box"];2080[label="yu302",fontsize=16,color="green",shape="box"];2081[label="yu4002",fontsize=16,color="green",shape="box"];2082[label="yu302",fontsize=16,color="green",shape="box"];2083[label="yu4002",fontsize=16,color="green",shape="box"];2084[label="yu302",fontsize=16,color="green",shape="box"];2085[label="yu4002",fontsize=16,color="green",shape="box"];2086[label="yu302",fontsize=16,color="green",shape="box"];2087[label="yu4002",fontsize=16,color="green",shape="box"];2088[label="yu302",fontsize=16,color="green",shape="box"];2089[label="yu4002",fontsize=16,color="green",shape="box"];2090[label="yu302",fontsize=16,color="green",shape="box"];2091[label="yu302",fontsize=16,color="green",shape="box"];2092[label="yu4002",fontsize=16,color="green",shape="box"];2093[label="yu4002",fontsize=16,color="green",shape="box"];2094[label="yu302",fontsize=16,color="green",shape="box"];2095[label="yu4002",fontsize=16,color="green",shape="box"];2096[label="yu302",fontsize=16,color="green",shape="box"];2097[label="yu4002",fontsize=16,color="green",shape="box"];2098[label="yu302",fontsize=16,color="green",shape="box"];2099[label="yu4002",fontsize=16,color="green",shape="box"];2100[label="yu302",fontsize=16,color="green",shape="box"];2101[label="yu3000",fontsize=16,color="green",shape="box"];2102[label="yu40000",fontsize=16,color="green",shape="box"];2103[label="yu3000",fontsize=16,color="green",shape="box"];2104[label="yu40000",fontsize=16,color="green",shape="box"];2105 -> 1686[label="",style="dashed", color="red", weight=0]; 2105[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];2105 -> 2112[label="",style="dashed", color="magenta", weight=3]; 2105 -> 2113[label="",style="dashed", color="magenta", weight=3]; 2106[label="False",fontsize=16,color="green",shape="box"];2107[label="False",fontsize=16,color="green",shape="box"];2108[label="True",fontsize=16,color="green",shape="box"];2109[label="primMulInt (Pos yu3010) yu4000",fontsize=16,color="burlywood",shape="box"];2437[label="yu4000/Pos yu40000",fontsize=10,color="white",style="solid",shape="box"];2109 -> 2437[label="",style="solid", color="burlywood", weight=9]; 2437 -> 2114[label="",style="solid", color="burlywood", weight=3]; 2438[label="yu4000/Neg yu40000",fontsize=10,color="white",style="solid",shape="box"];2109 -> 2438[label="",style="solid", color="burlywood", weight=9]; 2438 -> 2115[label="",style="solid", color="burlywood", weight=3]; 2110[label="primMulInt (Neg yu3010) yu4000",fontsize=16,color="burlywood",shape="box"];2439[label="yu4000/Pos yu40000",fontsize=10,color="white",style="solid",shape="box"];2110 -> 2439[label="",style="solid", color="burlywood", weight=9]; 2439 -> 2116[label="",style="solid", color="burlywood", weight=3]; 2440[label="yu4000/Neg yu40000",fontsize=10,color="white",style="solid",shape="box"];2110 -> 2440[label="",style="solid", color="burlywood", weight=9]; 2440 -> 2117[label="",style="solid", color="burlywood", weight=3]; 2170[label="primPlusNat yu840 yu400000",fontsize=16,color="burlywood",shape="triangle"];2441[label="yu840/Succ yu8400",fontsize=10,color="white",style="solid",shape="box"];2170 -> 2441[label="",style="solid", color="burlywood", weight=9]; 2441 -> 2179[label="",style="solid", color="burlywood", weight=3]; 2442[label="yu840/Zero",fontsize=10,color="white",style="solid",shape="box"];2170 -> 2442[label="",style="solid", color="burlywood", weight=9]; 2442 -> 2180[label="",style="solid", color="burlywood", weight=3]; 2191[label="foldr (++) [] (List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu85)) : map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2191 -> 2193[label="",style="solid", color="black", weight=3]; 2112[label="yu3000",fontsize=16,color="green",shape="box"];2113[label="yu40000",fontsize=16,color="green",shape="box"];2114[label="primMulInt (Pos yu3010) (Pos yu40000)",fontsize=16,color="black",shape="box"];2114 -> 2119[label="",style="solid", color="black", weight=3]; 2115[label="primMulInt (Pos yu3010) (Neg yu40000)",fontsize=16,color="black",shape="box"];2115 -> 2120[label="",style="solid", color="black", weight=3]; 2116[label="primMulInt (Neg yu3010) (Pos yu40000)",fontsize=16,color="black",shape="box"];2116 -> 2121[label="",style="solid", color="black", weight=3]; 2117[label="primMulInt (Neg yu3010) (Neg yu40000)",fontsize=16,color="black",shape="box"];2117 -> 2122[label="",style="solid", color="black", weight=3]; 2179[label="primPlusNat (Succ yu8400) yu400000",fontsize=16,color="burlywood",shape="box"];2443[label="yu400000/Succ yu4000000",fontsize=10,color="white",style="solid",shape="box"];2179 -> 2443[label="",style="solid", color="burlywood", weight=9]; 2443 -> 2182[label="",style="solid", color="burlywood", weight=3]; 2444[label="yu400000/Zero",fontsize=10,color="white",style="solid",shape="box"];2179 -> 2444[label="",style="solid", color="burlywood", weight=9]; 2444 -> 2183[label="",style="solid", color="burlywood", weight=3]; 2180[label="primPlusNat Zero yu400000",fontsize=16,color="burlywood",shape="box"];2445[label="yu400000/Succ yu4000000",fontsize=10,color="white",style="solid",shape="box"];2180 -> 2445[label="",style="solid", color="burlywood", weight=9]; 2445 -> 2184[label="",style="solid", color="burlywood", weight=3]; 2446[label="yu400000/Zero",fontsize=10,color="white",style="solid",shape="box"];2180 -> 2446[label="",style="solid", color="burlywood", weight=9]; 2446 -> 2185[label="",style="solid", color="burlywood", weight=3]; 2193[label="(++) List.findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu85)) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2193 -> 2196[label="",style="solid", color="black", weight=3]; 2119[label="Pos (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2119 -> 2124[label="",style="dashed", color="green", weight=3]; 2120[label="Neg (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2120 -> 2125[label="",style="dashed", color="green", weight=3]; 2121[label="Neg (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2121 -> 2126[label="",style="dashed", color="green", weight=3]; 2122[label="Pos (primMulNat yu3010 yu40000)",fontsize=16,color="green",shape="box"];2122 -> 2127[label="",style="dashed", color="green", weight=3]; 2182[label="primPlusNat (Succ yu8400) (Succ yu4000000)",fontsize=16,color="black",shape="box"];2182 -> 2187[label="",style="solid", color="black", weight=3]; 2183[label="primPlusNat (Succ yu8400) Zero",fontsize=16,color="black",shape="box"];2183 -> 2188[label="",style="solid", color="black", weight=3]; 2184[label="primPlusNat Zero (Succ yu4000000)",fontsize=16,color="black",shape="box"];2184 -> 2189[label="",style="solid", color="black", weight=3]; 2185[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2185 -> 2190[label="",style="solid", color="black", weight=3]; 2196[label="(++) List.findIndices00 (yu3 ==) (zip0 yu4110 (Pos yu85)) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2196 -> 2197[label="",style="solid", color="black", weight=3]; 2124[label="primMulNat yu3010 yu40000",fontsize=16,color="burlywood",shape="triangle"];2447[label="yu3010/Succ yu30100",fontsize=10,color="white",style="solid",shape="box"];2124 -> 2447[label="",style="solid", color="burlywood", weight=9]; 2447 -> 2131[label="",style="solid", color="burlywood", weight=3]; 2448[label="yu3010/Zero",fontsize=10,color="white",style="solid",shape="box"];2124 -> 2448[label="",style="solid", color="burlywood", weight=9]; 2448 -> 2132[label="",style="solid", color="burlywood", weight=3]; 2125 -> 2124[label="",style="dashed", color="red", weight=0]; 2125[label="primMulNat yu3010 yu40000",fontsize=16,color="magenta"];2125 -> 2133[label="",style="dashed", color="magenta", weight=3]; 2126 -> 2124[label="",style="dashed", color="red", weight=0]; 2126[label="primMulNat yu3010 yu40000",fontsize=16,color="magenta"];2126 -> 2134[label="",style="dashed", color="magenta", weight=3]; 2127 -> 2124[label="",style="dashed", color="red", weight=0]; 2127[label="primMulNat yu3010 yu40000",fontsize=16,color="magenta"];2127 -> 2135[label="",style="dashed", color="magenta", weight=3]; 2127 -> 2136[label="",style="dashed", color="magenta", weight=3]; 2187[label="Succ (Succ (primPlusNat yu8400 yu4000000))",fontsize=16,color="green",shape="box"];2187 -> 2192[label="",style="dashed", color="green", weight=3]; 2188[label="Succ yu8400",fontsize=16,color="green",shape="box"];2189[label="Succ yu4000000",fontsize=16,color="green",shape="box"];2190[label="Zero",fontsize=16,color="green",shape="box"];2197[label="(++) List.findIndices00 (yu3 ==) (yu4110,Pos yu85) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2197 -> 2198[label="",style="solid", color="black", weight=3]; 2131[label="primMulNat (Succ yu30100) yu40000",fontsize=16,color="burlywood",shape="box"];2449[label="yu40000/Succ yu400000",fontsize=10,color="white",style="solid",shape="box"];2131 -> 2449[label="",style="solid", color="burlywood", weight=9]; 2449 -> 2141[label="",style="solid", color="burlywood", weight=3]; 2450[label="yu40000/Zero",fontsize=10,color="white",style="solid",shape="box"];2131 -> 2450[label="",style="solid", color="burlywood", weight=9]; 2450 -> 2142[label="",style="solid", color="burlywood", weight=3]; 2132[label="primMulNat Zero yu40000",fontsize=16,color="burlywood",shape="box"];2451[label="yu40000/Succ yu400000",fontsize=10,color="white",style="solid",shape="box"];2132 -> 2451[label="",style="solid", color="burlywood", weight=9]; 2451 -> 2143[label="",style="solid", color="burlywood", weight=3]; 2452[label="yu40000/Zero",fontsize=10,color="white",style="solid",shape="box"];2132 -> 2452[label="",style="solid", color="burlywood", weight=9]; 2452 -> 2144[label="",style="solid", color="burlywood", weight=3]; 2133[label="yu40000",fontsize=16,color="green",shape="box"];2134[label="yu3010",fontsize=16,color="green",shape="box"];2135[label="yu3010",fontsize=16,color="green",shape="box"];2136[label="yu40000",fontsize=16,color="green",shape="box"];2192 -> 2170[label="",style="dashed", color="red", weight=0]; 2192[label="primPlusNat yu8400 yu4000000",fontsize=16,color="magenta"];2192 -> 2194[label="",style="dashed", color="magenta", weight=3]; 2192 -> 2195[label="",style="dashed", color="magenta", weight=3]; 2198 -> 1493[label="",style="dashed", color="red", weight=0]; 2198[label="(++) List.findIndices000 (Pos yu85) (yu3 == yu4110) foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="magenta"];2198 -> 2199[label="",style="dashed", color="magenta", weight=3]; 2198 -> 2200[label="",style="dashed", color="magenta", weight=3]; 2198 -> 2201[label="",style="dashed", color="magenta", weight=3]; 2141[label="primMulNat (Succ yu30100) (Succ yu400000)",fontsize=16,color="black",shape="box"];2141 -> 2147[label="",style="solid", color="black", weight=3]; 2142[label="primMulNat (Succ yu30100) Zero",fontsize=16,color="black",shape="box"];2142 -> 2148[label="",style="solid", color="black", weight=3]; 2143[label="primMulNat Zero (Succ yu400000)",fontsize=16,color="black",shape="box"];2143 -> 2149[label="",style="solid", color="black", weight=3]; 2144[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];2144 -> 2150[label="",style="solid", color="black", weight=3]; 2194[label="yu4000000",fontsize=16,color="green",shape="box"];2195[label="yu8400",fontsize=16,color="green",shape="box"];2199[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];2453[label="yu4111/yu41110 : yu41111",fontsize=10,color="white",style="solid",shape="box"];2199 -> 2453[label="",style="solid", color="burlywood", weight=9]; 2453 -> 2202[label="",style="solid", color="burlywood", weight=3]; 2454[label="yu4111/[]",fontsize=10,color="white",style="solid",shape="box"];2199 -> 2454[label="",style="solid", color="burlywood", weight=9]; 2454 -> 2203[label="",style="solid", color="burlywood", weight=3]; 2200 -> 1495[label="",style="dashed", color="red", weight=0]; 2200[label="yu3 == yu4110",fontsize=16,color="magenta"];2200 -> 2204[label="",style="dashed", color="magenta", weight=3]; 2201[label="yu85",fontsize=16,color="green",shape="box"];2147 -> 2159[label="",style="dashed", color="red", weight=0]; 2147[label="primPlusNat (primMulNat yu30100 (Succ yu400000)) (Succ yu400000)",fontsize=16,color="magenta"];2147 -> 2160[label="",style="dashed", color="magenta", weight=3]; 2148[label="Zero",fontsize=16,color="green",shape="box"];2149[label="Zero",fontsize=16,color="green",shape="box"];2150[label="Zero",fontsize=16,color="green",shape="box"];2202[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2202 -> 2205[label="",style="solid", color="black", weight=3]; 2203[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yu85 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];2203 -> 2206[label="",style="solid", color="black", weight=3]; 2204[label="yu4110",fontsize=16,color="green",shape="box"];2160 -> 2124[label="",style="dashed", color="red", weight=0]; 2160[label="primMulNat yu30100 (Succ yu400000)",fontsize=16,color="magenta"];2160 -> 2162[label="",style="dashed", color="magenta", weight=3]; 2160 -> 2163[label="",style="dashed", color="magenta", weight=3]; 2205 -> 2151[label="",style="dashed", color="red", weight=0]; 2205[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (Pos yu85 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu85 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];2205 -> 2207[label="",style="dashed", color="magenta", weight=3]; 2205 -> 2208[label="",style="dashed", color="magenta", weight=3]; 2205 -> 2209[label="",style="dashed", color="magenta", weight=3]; 2205 -> 2210[label="",style="dashed", color="magenta", weight=3]; 2206 -> 14[label="",style="dashed", color="red", weight=0]; 2206[label="foldr (++) [] (map (List.findIndices0 (yu3 ==)) [])",fontsize=16,color="magenta"];2162[label="yu30100",fontsize=16,color="green",shape="box"];2163[label="Succ yu400000",fontsize=16,color="green",shape="box"];2207[label="yu41111",fontsize=16,color="green",shape="box"];2208[label="yu85",fontsize=16,color="green",shape="box"];2209[label="yu41110",fontsize=16,color="green",shape="box"];2210[label="yu85",fontsize=16,color="green",shape="box"];} ---------------------------------------- (14) Complex Obligation (AND) ---------------------------------------- (15) Obligation: Q DP problem: The TRS P consists of the following rules: new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], bdc)) -> new_esEs3(yu301, yu4001, bdc) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(app(app(ty_@3, bah), bba), bbb)) -> new_esEs(yu301, yu4001, bah, bba, bbb) new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(app(ty_@3, bcb), bcc), bcd))) -> new_esEs(yu300, yu4000, bcb, bcc, bcd) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(app(ty_Either, bbc), bbd)) -> new_esEs0(yu301, yu4001, bbc, bbd) new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_Either, fd), ff)), fc)) -> new_esEs0(yu300, yu4000, fd, ff) new_esEs0(Right(yu300), Right(yu4000), gc, app(ty_[], hd)) -> new_esEs3(yu300, yu4000, hd) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(app(ty_@3, ba), bb), bc)), bd), be)) -> new_esEs(yu300, yu4000, ba, bb, bc) new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_[], gb)), fc)) -> new_esEs3(yu300, yu4000, gb) new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_Either, bce), bcf))) -> new_esEs0(yu300, yu4000, bce, bcf) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_[], baf)), hh)) -> new_esEs3(yu300, yu4000, baf) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(app(ty_@2, ed), ee))) -> new_esEs1(yu302, yu4002, ed, ee) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_Either, baa), bab)), hh)) -> new_esEs0(yu300, yu4000, baa, bab) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_[], baf), hh) -> new_esEs3(yu300, yu4000, baf) new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_@2, bcg), bch))) -> new_esEs1(yu300, yu4000, bcg, bch) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(app(ty_@2, dc), dd)), be)) -> new_esEs1(yu301, yu4001, dc, dd) new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_@2, bcg), bch)) -> new_esEs1(yu300, yu4000, bcg, bch) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(ty_[], bbh)) -> new_esEs3(yu301, yu4001, bbh) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_Maybe, bae)), hh)) -> new_esEs2(yu300, yu4000, bae) new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_Maybe, bda))) -> new_esEs2(yu300, yu4000, bda) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(app(ty_@2, dc), dd), be) -> new_esEs1(yu301, yu4001, dc, dd) new_esEs0(Left(yu300), Left(yu4000), app(ty_[], gb), fc) -> new_esEs3(yu300, yu4000, gb) new_esEs0(Left(yu300), Left(yu4000), app(app(ty_Either, fd), ff), fc) -> new_esEs0(yu300, yu4000, fd, ff) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(app(ty_Either, da), db), be) -> new_esEs0(yu301, yu4001, da, db) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(ty_[], df)), be)) -> new_esEs3(yu301, yu4001, df) new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(app(ty_@2, ha), hb))) -> new_esEs1(yu300, yu4000, ha, hb) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(app(ty_Either, eb), ec))) -> new_esEs0(yu302, yu4002, eb, ec) new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(app(ty_@3, bcb), bcc), bcd)) -> new_esEs(yu300, yu4000, bcb, bcc, bcd) new_esEs0(Right(yu300), Right(yu4000), gc, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs(yu300, yu4000, gd, ge, gf) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(app(ty_@3, he), hf), hg), hh) -> new_esEs(yu300, yu4000, he, hf, hg) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_@2, bac), bad), hh) -> new_esEs1(yu300, yu4000, bac, bad) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_@2, bh), ca)), bd), be)) -> new_esEs1(yu300, yu4000, bh, ca) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(ty_Maybe, ef)) -> new_esEs2(yu302, yu4002, ef) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(app(ty_Either, da), db)), be)) -> new_esEs0(yu301, yu4001, da, db) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(app(app(ty_@3, ce), cf), cg)), be)) -> new_esEs(yu301, yu4001, ce, cf, cg) new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_Either, bce), bcf)) -> new_esEs0(yu300, yu4000, bce, bcf) new_esEs0(Left(yu300), Left(yu4000), app(app(app(ty_@3, eh), fa), fb), fc) -> new_esEs(yu300, yu4000, eh, fa, fb) new_esEs0(Left(yu300), Left(yu4000), app(app(ty_@2, fg), fh), fc) -> new_esEs1(yu300, yu4000, fg, fh) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_@2, bh), ca), bd, be) -> new_esEs1(yu300, yu4000, bh, ca) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(app(app(ty_@3, dg), dh), ea)) -> new_esEs(yu302, yu4002, dg, dh, ea) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_Either, baa), bab), hh) -> new_esEs0(yu300, yu4000, baa, bab) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(app(ty_@2, ed), ee)) -> new_esEs1(yu302, yu4002, ed, ee) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(ty_[], eg)) -> new_esEs3(yu302, yu4002, eg) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(ty_[], eg))) -> new_esEs3(yu302, yu4002, eg) new_esEs0(Left(yu300), Left(yu4000), app(ty_Maybe, ga), fc) -> new_esEs2(yu300, yu4000, ga) new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_Maybe, bda)) -> new_esEs2(yu300, yu4000, bda) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(app(ty_@2, bbe), bbf))) -> new_esEs1(yu301, yu4001, bbe, bbf) new_esEs0(Right(yu300), Right(yu4000), gc, app(app(ty_Either, gg), gh)) -> new_esEs0(yu300, yu4000, gg, gh) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(app(app(ty_@3, dg), dh), ea))) -> new_esEs(yu302, yu4002, dg, dh, ea) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_Maybe, cb), bd, be) -> new_esEs2(yu300, yu4000, cb) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(ty_Maybe, de)), be)) -> new_esEs2(yu301, yu4001, de) new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_[], bdb)) -> new_esEs3(yu300, yu4000, bdb) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(ty_Maybe, ef))) -> new_esEs2(yu302, yu4002, ef) new_esEs2(Just(yu30), Just(yu400), app(ty_Maybe, bca)) -> new_esEs2(yu30, yu400, bca) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(ty_[], df), be) -> new_esEs3(yu301, yu4001, df) new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(ty_Maybe, hc))) -> new_esEs2(yu300, yu4000, hc) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_[], cc), bd, be) -> new_esEs3(yu300, yu4000, cc) new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_Maybe, ga)), fc)) -> new_esEs2(yu300, yu4000, ga) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(app(app(ty_@3, bah), bba), bbb))) -> new_esEs(yu301, yu4001, bah, bba, bbb) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_[], cc)), bd), be)) -> new_esEs3(yu300, yu4000, cc) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(ty_Maybe, bbg)) -> new_esEs2(yu301, yu4001, bbg) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(app(ty_Either, bbc), bbd))) -> new_esEs0(yu301, yu4001, bbc, bbd) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(app(app(ty_@3, ce), cf), cg), be) -> new_esEs(yu301, yu4001, ce, cf, cg) new_esEs0(Right(yu300), Right(yu4000), gc, app(ty_Maybe, hc)) -> new_esEs2(yu300, yu4000, hc) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_Maybe, bae), hh) -> new_esEs2(yu300, yu4000, bae) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(ty_Maybe, bbg))) -> new_esEs2(yu301, yu4001, bbg) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_Either, bf), bg), bd, be) -> new_esEs0(yu300, yu4000, bf, bg) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(ty_[], bbh))) -> new_esEs3(yu301, yu4001, bbh) new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_[], bdb))) -> new_esEs3(yu300, yu4000, bdb) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_@2, bac), bad)), hh)) -> new_esEs1(yu300, yu4000, bac, bad) new_esEs3(:(yu300, yu301), :(yu4000, yu4001), bdc) -> new_esEs3(yu301, yu4001, bdc) new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(ty_[], hd))) -> new_esEs3(yu300, yu4000, hd) new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(app(ty_@3, eh), fa), fb)), fc)) -> new_esEs(yu300, yu4000, eh, fa, fb) new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(app(app(ty_@3, gd), ge), gf))) -> new_esEs(yu300, yu4000, gd, ge, gf) new_esEs0(Right(yu300), Right(yu4000), gc, app(app(ty_@2, ha), hb)) -> new_esEs1(yu300, yu4000, ha, hb) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(app(ty_@3, ba), bb), bc), bd, be) -> new_esEs(yu300, yu4000, ba, bb, bc) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_Maybe, cb)), bd), be)) -> new_esEs2(yu300, yu4000, cb) new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_@2, fg), fh)), fc)) -> new_esEs1(yu300, yu4000, fg, fh) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(ty_Maybe, de), be) -> new_esEs2(yu301, yu4001, de) new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(app(ty_@3, he), hf), hg)), hh)) -> new_esEs(yu300, yu4000, he, hf, hg) new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(app(ty_Either, eb), ec)) -> new_esEs0(yu302, yu4002, eb, ec) new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(app(ty_@2, bbe), bbf)) -> new_esEs1(yu301, yu4001, bbe, bbf) new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_Either, bf), bg)), bd), be)) -> new_esEs0(yu300, yu4000, bf, bg) new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(app(ty_Either, gg), gh))) -> new_esEs0(yu300, yu4000, gg, gh) 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_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_Maybe, bda)) -> new_esEs2(yu300, yu4000, bda) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_@2, bcg), bch)) -> new_esEs1(yu300, yu4000, bcg, bch) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_Either, bce), bcf)) -> new_esEs0(yu300, yu4000, bce, bcf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(app(ty_@3, bcb), bcc), bcd)) -> new_esEs(yu300, yu4000, bcb, bcc, bcd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_[], bdb)) -> new_esEs3(yu300, yu4000, bdb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(:(yu300, yu301), :(yu4000, yu4001), bdc) -> new_esEs3(yu301, yu4001, bdc) The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(ty_Maybe, ef)) -> new_esEs2(yu302, yu4002, ef) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_Maybe, cb), bd, be) -> new_esEs2(yu300, yu4000, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(ty_Maybe, de), be) -> new_esEs2(yu301, yu4001, de) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs0(Left(yu300), Left(yu4000), app(ty_Maybe, ga), fc) -> new_esEs2(yu300, yu4000, ga) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(Right(yu300), Right(yu4000), gc, app(ty_Maybe, hc)) -> new_esEs2(yu300, yu4000, hc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(ty_Maybe, bbg)) -> new_esEs2(yu301, yu4001, bbg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_Maybe, bae), hh) -> new_esEs2(yu300, yu4000, bae) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_Maybe, bae)), hh)) -> new_esEs2(yu300, yu4000, bae) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_Maybe, bda))) -> new_esEs2(yu300, yu4000, bda) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(ty_Maybe, de)), be)) -> new_esEs2(yu301, yu4001, de) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(ty_Maybe, ef))) -> new_esEs2(yu302, yu4002, ef) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(yu30), Just(yu400), app(ty_Maybe, bca)) -> new_esEs2(yu30, yu400, bca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(ty_Maybe, hc))) -> new_esEs2(yu300, yu4000, hc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_Maybe, ga)), fc)) -> new_esEs2(yu300, yu4000, ga) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(ty_Maybe, bbg))) -> new_esEs2(yu301, yu4001, bbg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_Maybe, cb)), bd), be)) -> new_esEs2(yu300, yu4000, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(app(ty_@2, dc), dd), be) -> new_esEs1(yu301, yu4001, dc, dd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_@2, bh), ca), bd, be) -> new_esEs1(yu300, yu4000, bh, ca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(app(ty_@2, ed), ee)) -> new_esEs1(yu302, yu4002, ed, ee) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(app(ty_Either, da), db), be) -> new_esEs0(yu301, yu4001, da, db) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_Either, bf), bg), bd, be) -> new_esEs0(yu300, yu4000, bf, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(app(ty_Either, eb), ec)) -> new_esEs0(yu302, yu4002, eb, ec) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(ty_[], eg)) -> new_esEs3(yu302, yu4002, eg) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(ty_[], df), be) -> new_esEs3(yu301, yu4001, df) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_[], cc), bd, be) -> new_esEs3(yu300, yu4000, cc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, bd, app(app(app(ty_@3, dg), dh), ea)) -> new_esEs(yu302, yu4002, dg, dh, ea) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), cd, app(app(app(ty_@3, ce), cf), cg), be) -> new_esEs(yu301, yu4001, ce, cf, cg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(app(ty_@3, ba), bb), bc), bd, be) -> new_esEs(yu300, yu4000, ba, bb, bc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs0(Left(yu300), Left(yu4000), app(app(ty_@2, fg), fh), fc) -> new_esEs1(yu300, yu4000, fg, fh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(Right(yu300), Right(yu4000), gc, app(app(ty_@2, ha), hb)) -> new_esEs1(yu300, yu4000, ha, hb) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_@2, bac), bad), hh) -> new_esEs1(yu300, yu4000, bac, bad) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(app(ty_@2, bbe), bbf)) -> new_esEs1(yu301, yu4001, bbe, bbf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(app(ty_@2, ed), ee))) -> new_esEs1(yu302, yu4002, ed, ee) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_@2, bcg), bch))) -> new_esEs1(yu300, yu4000, bcg, bch) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(app(ty_@2, dc), dd)), be)) -> new_esEs1(yu301, yu4001, dc, dd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(app(ty_@2, ha), hb))) -> new_esEs1(yu300, yu4000, ha, hb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_@2, bh), ca)), bd), be)) -> new_esEs1(yu300, yu4000, bh, ca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(app(ty_@2, bbe), bbf))) -> new_esEs1(yu301, yu4001, bbe, bbf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_@2, bac), bad)), hh)) -> new_esEs1(yu300, yu4000, bac, bad) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_@2, fg), fh)), fc)) -> new_esEs1(yu300, yu4000, fg, fh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(Left(yu300), Left(yu4000), app(app(ty_Either, fd), ff), fc) -> new_esEs0(yu300, yu4000, fd, ff) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(Right(yu300), Right(yu4000), gc, app(app(ty_Either, gg), gh)) -> new_esEs0(yu300, yu4000, gg, gh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs0(Right(yu300), Right(yu4000), gc, app(ty_[], hd)) -> new_esEs3(yu300, yu4000, hd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs0(Left(yu300), Left(yu4000), app(ty_[], gb), fc) -> new_esEs3(yu300, yu4000, gb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(Right(yu300), Right(yu4000), gc, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs(yu300, yu4000, gd, ge, gf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs0(Left(yu300), Left(yu4000), app(app(app(ty_@3, eh), fa), fb), fc) -> new_esEs(yu300, yu4000, eh, fa, fb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(app(ty_Either, bbc), bbd)) -> new_esEs0(yu301, yu4001, bbc, bbd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_Either, baa), bab), hh) -> new_esEs0(yu300, yu4000, baa, bab) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_Either, fd), ff)), fc)) -> new_esEs0(yu300, yu4000, fd, ff) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_Either, bce), bcf))) -> new_esEs0(yu300, yu4000, bce, bcf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_Either, baa), bab)), hh)) -> new_esEs0(yu300, yu4000, baa, bab) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(app(ty_Either, eb), ec))) -> new_esEs0(yu302, yu4002, eb, ec) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(app(ty_Either, da), db)), be)) -> new_esEs0(yu301, yu4001, da, db) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(app(ty_Either, bbc), bbd))) -> new_esEs0(yu301, yu4001, bbc, bbd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_Either, bf), bg)), bd), be)) -> new_esEs0(yu300, yu4000, bf, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(app(ty_Either, gg), gh))) -> new_esEs0(yu300, yu4000, gg, gh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_[], baf), hh) -> new_esEs3(yu300, yu4000, baf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(ty_[], bbh)) -> new_esEs3(yu301, yu4001, bbh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), bag, app(app(app(ty_@3, bah), bba), bbb)) -> new_esEs(yu301, yu4001, bah, bba, bbb) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(app(ty_@3, he), hf), hg), hh) -> new_esEs(yu300, yu4000, he, hf, hg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], bdc)) -> new_esEs3(yu301, yu4001, bdc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_[], gb)), fc)) -> new_esEs3(yu300, yu4000, gb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_[], baf)), hh)) -> new_esEs3(yu300, yu4000, baf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(ty_[], df)), be)) -> new_esEs3(yu301, yu4001, df) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(ty_[], eg))) -> new_esEs3(yu302, yu4002, eg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_[], cc)), bd), be)) -> new_esEs3(yu300, yu4000, cc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(ty_[], bbh))) -> new_esEs3(yu301, yu4001, bbh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_[], bdb))) -> new_esEs3(yu300, yu4000, bdb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(ty_[], hd))) -> new_esEs3(yu300, yu4000, hd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(app(ty_@3, bcb), bcc), bcd))) -> new_esEs(yu300, yu4000, bcb, bcc, bcd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(app(ty_@3, ba), bb), bc)), bd), be)) -> new_esEs(yu300, yu4000, ba, bb, bc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), app(app(app(ty_@3, ce), cf), cg)), be)) -> new_esEs(yu301, yu4001, ce, cf, cg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, cd), bd), app(app(app(ty_@3, dg), dh), ea))) -> new_esEs(yu302, yu4002, dg, dh, ea) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, bag), app(app(app(ty_@3, bah), bba), bbb))) -> new_esEs(yu301, yu4001, bah, bba, bbb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(app(ty_@3, eh), fa), fb)), fc)) -> new_esEs(yu300, yu4000, eh, fa, fb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, gc), app(app(app(ty_@3, gd), ge), gf))) -> new_esEs(yu300, yu4000, gd, ge, gf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(app(ty_@3, he), hf), hg)), hh)) -> new_esEs(yu300, yu4000, he, hf, hg) 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), yu86, yu85, ba) -> new_foldr(yu3, yu41110, yu41111, yu85, yu85, ba) new_foldr(yu3, yu4110, yu4111, yu82, yu83, ba) -> new_foldr0(yu3, yu4110, yu4111, new_primPlusNat0(yu82, Zero), new_primPlusNat0(yu82, Zero), ba) The TRS R consists of the following rules: new_primPlusNat0(Succ(yu840), yu400000) -> Succ(Succ(new_primPlusNat1(yu840, yu400000))) new_primPlusNat1(Succ(yu8400), Zero) -> Succ(yu8400) new_primPlusNat1(Zero, Succ(yu4000000)) -> Succ(yu4000000) new_primPlusNat1(Succ(yu8400), Succ(yu4000000)) -> Succ(Succ(new_primPlusNat1(yu8400, yu4000000))) new_primPlusNat1(Zero, Zero) -> Zero new_primPlusNat0(Zero, yu400000) -> Succ(yu400000) The set Q consists of the following terms: new_primPlusNat1(Succ(x0), Succ(x1)) new_primPlusNat1(Zero, Zero) new_primPlusNat0(Succ(x0), x1) new_primPlusNat1(Succ(x0), 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, yu82, yu83, ba) -> new_foldr0(yu3, yu4110, yu4111, new_primPlusNat0(yu82, Zero), new_primPlusNat0(yu82, Zero), ba) we obtained the following new rules [LPAR04]: (new_foldr(z0, z2, z3, z5, z5, z6) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6),new_foldr(z0, z2, z3, z5, z5, z6) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6)) ---------------------------------------- (20) Obligation: Q DP problem: The TRS P consists of the following rules: new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu86, yu85, ba) -> new_foldr(yu3, yu41110, yu41111, yu85, yu85, ba) new_foldr(z0, z2, z3, z5, z5, z6) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6) The TRS R consists of the following rules: new_primPlusNat0(Succ(yu840), yu400000) -> Succ(Succ(new_primPlusNat1(yu840, yu400000))) new_primPlusNat1(Succ(yu8400), Zero) -> Succ(yu8400) new_primPlusNat1(Zero, Succ(yu4000000)) -> Succ(yu4000000) new_primPlusNat1(Succ(yu8400), Succ(yu4000000)) -> Succ(Succ(new_primPlusNat1(yu8400, yu4000000))) new_primPlusNat1(Zero, Zero) -> Zero new_primPlusNat0(Zero, yu400000) -> Succ(yu400000) The set Q consists of the following terms: new_primPlusNat1(Succ(x0), Succ(x1)) new_primPlusNat1(Zero, Zero) new_primPlusNat0(Succ(x0), x1) new_primPlusNat1(Succ(x0), 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) -> new_foldr0(z0, z2, z3, new_primPlusNat0(z5, Zero), new_primPlusNat0(z5, Zero), z6) The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 >= 6 *new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu86, yu85, ba) -> new_foldr(yu3, yu41110, yu41111, yu85, yu85, ba) The graph contains the following edges 1 >= 1, 3 > 2, 3 > 3, 5 >= 4, 5 >= 5, 6 >= 6 ---------------------------------------- (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(yu8400), Succ(yu4000000)) -> new_primPlusNat(yu8400, 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(yu8400), Succ(yu4000000)) -> new_primPlusNat(yu8400, 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