/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) BR [EQUIVALENT, 0 ms] (2) HASKELL (3) COR [EQUIVALENT, 5 ms] (4) HASKELL (5) LetRed [EQUIVALENT, 0 ms] (6) HASKELL (7) Narrow [SOUND, 0 ms] (8) AND (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) QDP (13) QDPSizeChangeProof [EQUIVALENT, 0 ms] (14) YES (15) QDP (16) QDPSizeChangeProof [EQUIVALENT, 0 ms] (17) YES (18) QDP (19) QDPSizeChangeProof [EQUIVALENT, 0 ms] (20) YES (21) QDP (22) QDPSizeChangeProof [EQUIVALENT, 0 ms] (23) 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; nub :: Eq a => [a] -> [a]; nub l = nub' l [] where { nub' [] _ = []; nub' (x : xs) ls | x `elem` ls = nub' xs ls | otherwise = x : nub' xs (x : ls); }; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (1) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (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; nub :: Eq a => [a] -> [a]; nub l = nub' l [] where { nub' [] xw = []; nub' (x : xs) ls | x `elem` ls = nub' xs ls | otherwise = x : nub' xs (x : ls); }; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (3) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " The following Function with conditions "nub' [] xw = []; nub' (x : xs) ls|x `elem` lsnub' xs ls|otherwisex : nub' xs (x : ls); " is transformed to "nub' [] xw = nub'3 [] xw; nub' (x : xs) ls = nub'2 (x : xs) ls; " "nub'1 x xs ls True = nub' xs ls; nub'1 x xs ls False = nub'0 x xs ls otherwise; " "nub'0 x xs ls True = x : nub' xs (x : ls); " "nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls); " "nub'3 [] xw = []; nub'3 xz yu = nub'2 xz yu; " ---------------------------------------- (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; nub :: Eq a => [a] -> [a]; nub l = nub' l [] where { nub' [] xw = nub'3 [] xw; nub' (x : xs) ls = nub'2 (x : xs) ls; nub'0 x xs ls True = x : nub' xs (x : ls); nub'1 x xs ls True = nub' xs ls; nub'1 x xs ls False = nub'0 x xs ls otherwise; nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls); nub'3 [] xw = []; nub'3 xz yu = nub'2 xz yu; }; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (5) LetRed (EQUIVALENT) Let/Where Reductions: The bindings of the following Let/Where expression "nub' l [] where { nub' [] xw = nub'3 [] xw; nub' (x : xs) ls = nub'2 (x : xs) ls; ; nub'0 x xs ls True = x : nub' xs (x : ls); ; nub'1 x xs ls True = nub' xs ls; nub'1 x xs ls False = nub'0 x xs ls otherwise; ; nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls); ; nub'3 [] xw = []; nub'3 xz yu = nub'2 xz yu; } " are unpacked to the following functions on top level "nubNub'1 x xs ls True = nubNub' xs ls; nubNub'1 x xs ls False = nubNub'0 x xs ls otherwise; " "nubNub' [] xw = nubNub'3 [] xw; nubNub' (x : xs) ls = nubNub'2 (x : xs) ls; " "nubNub'3 [] xw = []; nubNub'3 xz yu = nubNub'2 xz yu; " "nubNub'2 (x : xs) ls = nubNub'1 x xs ls (x `elem` ls); " "nubNub'0 x xs ls True = x : nubNub' xs (x : ls); " ---------------------------------------- (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; nub :: Eq a => [a] -> [a]; nub l = nubNub' l []; nubNub' [] xw = nubNub'3 [] xw; nubNub' (x : xs) ls = nubNub'2 (x : xs) ls; nubNub'0 x xs ls True = x : nubNub' xs (x : ls); nubNub'1 x xs ls True = nubNub' xs ls; nubNub'1 x xs ls False = nubNub'0 x xs ls otherwise; nubNub'2 (x : xs) ls = nubNub'1 x xs ls (x `elem` ls); nubNub'3 [] xw = []; nubNub'3 xz yu = nubNub'2 xz yu; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (7) Narrow (SOUND) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="List.nub",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="List.nub yv3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3]; 4[label="List.nubNub' yv3 []",fontsize=16,color="burlywood",shape="box"];3459[label="yv3/yv30 : yv31",fontsize=10,color="white",style="solid",shape="box"];4 -> 3459[label="",style="solid", color="burlywood", weight=9]; 3459 -> 5[label="",style="solid", color="burlywood", weight=3]; 3460[label="yv3/[]",fontsize=10,color="white",style="solid",shape="box"];4 -> 3460[label="",style="solid", color="burlywood", weight=9]; 3460 -> 6[label="",style="solid", color="burlywood", weight=3]; 5[label="List.nubNub' (yv30 : yv31) []",fontsize=16,color="black",shape="box"];5 -> 7[label="",style="solid", color="black", weight=3]; 6[label="List.nubNub' [] []",fontsize=16,color="black",shape="box"];6 -> 8[label="",style="solid", color="black", weight=3]; 7[label="List.nubNub'2 (yv30 : yv31) []",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3]; 8[label="List.nubNub'3 [] []",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3]; 9[label="List.nubNub'1 yv30 yv31 [] (yv30 `elem` [])",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3]; 10[label="[]",fontsize=16,color="green",shape="box"];11[label="List.nubNub'1 yv30 yv31 [] (any . (==))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 12[label="List.nubNub'1 yv30 yv31 [] (any ((==) yv30) [])",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 13[label="List.nubNub'1 yv30 yv31 [] (or . map ((==) yv30))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 14[label="List.nubNub'1 yv30 yv31 [] (or (map ((==) yv30) []))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 15[label="List.nubNub'1 yv30 yv31 [] (foldr (||) False (map ((==) yv30) []))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3]; 16[label="List.nubNub'1 yv30 yv31 [] (foldr (||) False [])",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3]; 17[label="List.nubNub'1 yv30 yv31 [] False",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3]; 18[label="List.nubNub'0 yv30 yv31 [] otherwise",fontsize=16,color="black",shape="box"];18 -> 19[label="",style="solid", color="black", weight=3]; 19[label="List.nubNub'0 yv30 yv31 [] True",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3]; 20[label="yv30 : List.nubNub' yv31 (yv30 : [])",fontsize=16,color="green",shape="box"];20 -> 21[label="",style="dashed", color="green", weight=3]; 21 -> 1653[label="",style="dashed", color="red", weight=0]; 21[label="List.nubNub' yv31 (yv30 : [])",fontsize=16,color="magenta"];21 -> 1654[label="",style="dashed", color="magenta", weight=3]; 21 -> 1655[label="",style="dashed", color="magenta", weight=3]; 21 -> 1656[label="",style="dashed", color="magenta", weight=3]; 1654[label="yv30",fontsize=16,color="green",shape="box"];1655[label="yv31",fontsize=16,color="green",shape="box"];1656[label="[]",fontsize=16,color="green",shape="box"];1653[label="List.nubNub' yv97 (yv98 : yv99)",fontsize=16,color="burlywood",shape="triangle"];3461[label="yv97/yv970 : yv971",fontsize=10,color="white",style="solid",shape="box"];1653 -> 3461[label="",style="solid", color="burlywood", weight=9]; 3461 -> 1765[label="",style="solid", color="burlywood", weight=3]; 3462[label="yv97/[]",fontsize=10,color="white",style="solid",shape="box"];1653 -> 3462[label="",style="solid", color="burlywood", weight=9]; 3462 -> 1766[label="",style="solid", color="burlywood", weight=3]; 1765[label="List.nubNub' (yv970 : yv971) (yv98 : yv99)",fontsize=16,color="black",shape="box"];1765 -> 1767[label="",style="solid", color="black", weight=3]; 1766[label="List.nubNub' [] (yv98 : yv99)",fontsize=16,color="black",shape="box"];1766 -> 1768[label="",style="solid", color="black", weight=3]; 1767[label="List.nubNub'2 (yv970 : yv971) (yv98 : yv99)",fontsize=16,color="black",shape="box"];1767 -> 1769[label="",style="solid", color="black", weight=3]; 1768[label="List.nubNub'3 [] (yv98 : yv99)",fontsize=16,color="black",shape="box"];1768 -> 1770[label="",style="solid", color="black", weight=3]; 1769[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (yv970 `elem` yv98 : yv99)",fontsize=16,color="black",shape="box"];1769 -> 1771[label="",style="solid", color="black", weight=3]; 1770[label="[]",fontsize=16,color="green",shape="box"];1771[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (any . (==))",fontsize=16,color="black",shape="box"];1771 -> 1772[label="",style="solid", color="black", weight=3]; 1772[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (any ((==) yv970) (yv98 : yv99))",fontsize=16,color="black",shape="box"];1772 -> 1773[label="",style="solid", color="black", weight=3]; 1773[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (or . map ((==) yv970))",fontsize=16,color="black",shape="box"];1773 -> 1774[label="",style="solid", color="black", weight=3]; 1774[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (or (map ((==) yv970) (yv98 : yv99)))",fontsize=16,color="black",shape="box"];1774 -> 1775[label="",style="solid", color="black", weight=3]; 1775[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (foldr (||) False (map ((==) yv970) (yv98 : yv99)))",fontsize=16,color="black",shape="box"];1775 -> 1776[label="",style="solid", color="black", weight=3]; 1776 -> 2735[label="",style="dashed", color="red", weight=0]; 1776[label="List.nubNub'1 yv970 yv971 (yv98 : yv99) (foldr (||) False (((==) yv970 yv98) : map ((==) yv970) yv99))",fontsize=16,color="magenta"];1776 -> 2736[label="",style="dashed", color="magenta", weight=3]; 1776 -> 2737[label="",style="dashed", color="magenta", weight=3]; 1776 -> 2738[label="",style="dashed", color="magenta", weight=3]; 1776 -> 2739[label="",style="dashed", color="magenta", weight=3]; 1776 -> 2740[label="",style="dashed", color="magenta", weight=3]; 1776 -> 2741[label="",style="dashed", color="magenta", weight=3]; 2736[label="yv99",fontsize=16,color="green",shape="box"];2737[label="yv971",fontsize=16,color="green",shape="box"];2738[label="yv98",fontsize=16,color="green",shape="box"];2739[label="yv99",fontsize=16,color="green",shape="box"];2740[label="yv970",fontsize=16,color="green",shape="box"];2741[label="yv98",fontsize=16,color="green",shape="box"];2735[label="List.nubNub'1 yv194 yv195 (yv196 : yv197) (foldr (||) False (((==) yv194 yv198) : map ((==) yv194) yv199))",fontsize=16,color="black",shape="triangle"];2735 -> 2772[label="",style="solid", color="black", weight=3]; 2772 -> 2773[label="",style="dashed", color="red", weight=0]; 2772[label="List.nubNub'1 yv194 yv195 (yv196 : yv197) ((||) (==) yv194 yv198 foldr (||) False (map ((==) yv194) yv199))",fontsize=16,color="magenta"];2772 -> 2774[label="",style="dashed", color="magenta", weight=3]; 2772 -> 2775[label="",style="dashed", color="magenta", weight=3]; 2772 -> 2776[label="",style="dashed", color="magenta", weight=3]; 2772 -> 2777[label="",style="dashed", color="magenta", weight=3]; 2772 -> 2778[label="",style="dashed", color="magenta", weight=3]; 2772 -> 2779[label="",style="dashed", color="magenta", weight=3]; 2774[label="yv194",fontsize=16,color="green",shape="box"];2775[label="yv195",fontsize=16,color="green",shape="box"];2776[label="yv196",fontsize=16,color="green",shape="box"];2777[label="yv199",fontsize=16,color="green",shape="box"];2778[label="yv197",fontsize=16,color="green",shape="box"];2779[label="(==) yv194 yv198",fontsize=16,color="blue",shape="box"];3463[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3463[label="",style="solid", color="blue", weight=9]; 3463 -> 2780[label="",style="solid", color="blue", weight=3]; 3464[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3464[label="",style="solid", color="blue", weight=9]; 3464 -> 2781[label="",style="solid", color="blue", weight=3]; 3465[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3465[label="",style="solid", color="blue", weight=9]; 3465 -> 2782[label="",style="solid", color="blue", weight=3]; 3466[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3466[label="",style="solid", color="blue", weight=9]; 3466 -> 2783[label="",style="solid", color="blue", weight=3]; 3467[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3467[label="",style="solid", color="blue", weight=9]; 3467 -> 2784[label="",style="solid", color="blue", weight=3]; 3468[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3468[label="",style="solid", color="blue", weight=9]; 3468 -> 2785[label="",style="solid", color="blue", weight=3]; 3469[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3469[label="",style="solid", color="blue", weight=9]; 3469 -> 2786[label="",style="solid", color="blue", weight=3]; 3470[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3470[label="",style="solid", color="blue", weight=9]; 3470 -> 2787[label="",style="solid", color="blue", weight=3]; 3471[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3471[label="",style="solid", color="blue", weight=9]; 3471 -> 2788[label="",style="solid", color="blue", weight=3]; 3472[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3472[label="",style="solid", color="blue", weight=9]; 3472 -> 2789[label="",style="solid", color="blue", weight=3]; 3473[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3473[label="",style="solid", color="blue", weight=9]; 3473 -> 2790[label="",style="solid", color="blue", weight=3]; 3474[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3474[label="",style="solid", color="blue", weight=9]; 3474 -> 2791[label="",style="solid", color="blue", weight=3]; 3475[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3475[label="",style="solid", color="blue", weight=9]; 3475 -> 2792[label="",style="solid", color="blue", weight=3]; 3476[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2779 -> 3476[label="",style="solid", color="blue", weight=9]; 3476 -> 2793[label="",style="solid", color="blue", weight=3]; 2773[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) ((||) yv211 foldr (||) False (map ((==) yv207) yv212))",fontsize=16,color="burlywood",shape="triangle"];3477[label="yv211/False",fontsize=10,color="white",style="solid",shape="box"];2773 -> 3477[label="",style="solid", color="burlywood", weight=9]; 3477 -> 2794[label="",style="solid", color="burlywood", weight=3]; 3478[label="yv211/True",fontsize=10,color="white",style="solid",shape="box"];2773 -> 3478[label="",style="solid", color="burlywood", weight=9]; 3478 -> 2795[label="",style="solid", color="burlywood", weight=3]; 2780[label="(==) yv194 yv198",fontsize=16,color="black",shape="triangle"];2780 -> 2796[label="",style="solid", color="black", weight=3]; 2781[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3479[label="yv194/()",fontsize=10,color="white",style="solid",shape="box"];2781 -> 3479[label="",style="solid", color="burlywood", weight=9]; 3479 -> 2797[label="",style="solid", color="burlywood", weight=3]; 2782[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3480[label="yv194/Left yv1940",fontsize=10,color="white",style="solid",shape="box"];2782 -> 3480[label="",style="solid", color="burlywood", weight=9]; 3480 -> 2798[label="",style="solid", color="burlywood", weight=3]; 3481[label="yv194/Right yv1940",fontsize=10,color="white",style="solid",shape="box"];2782 -> 3481[label="",style="solid", color="burlywood", weight=9]; 3481 -> 2799[label="",style="solid", color="burlywood", weight=3]; 2783[label="(==) yv194 yv198",fontsize=16,color="black",shape="triangle"];2783 -> 2800[label="",style="solid", color="black", weight=3]; 2784[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3482[label="yv194/(yv1940,yv1941,yv1942)",fontsize=10,color="white",style="solid",shape="box"];2784 -> 3482[label="",style="solid", color="burlywood", weight=9]; 3482 -> 2801[label="",style="solid", color="burlywood", weight=3]; 2785[label="(==) yv194 yv198",fontsize=16,color="black",shape="triangle"];2785 -> 2802[label="",style="solid", color="black", weight=3]; 2786[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3483[label="yv194/LT",fontsize=10,color="white",style="solid",shape="box"];2786 -> 3483[label="",style="solid", color="burlywood", weight=9]; 3483 -> 2803[label="",style="solid", color="burlywood", weight=3]; 3484[label="yv194/EQ",fontsize=10,color="white",style="solid",shape="box"];2786 -> 3484[label="",style="solid", color="burlywood", weight=9]; 3484 -> 2804[label="",style="solid", color="burlywood", weight=3]; 3485[label="yv194/GT",fontsize=10,color="white",style="solid",shape="box"];2786 -> 3485[label="",style="solid", color="burlywood", weight=9]; 3485 -> 2805[label="",style="solid", color="burlywood", weight=3]; 2787[label="(==) yv194 yv198",fontsize=16,color="black",shape="triangle"];2787 -> 2806[label="",style="solid", color="black", weight=3]; 2788[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3486[label="yv194/Nothing",fontsize=10,color="white",style="solid",shape="box"];2788 -> 3486[label="",style="solid", color="burlywood", weight=9]; 3486 -> 2807[label="",style="solid", color="burlywood", weight=3]; 3487[label="yv194/Just yv1940",fontsize=10,color="white",style="solid",shape="box"];2788 -> 3487[label="",style="solid", color="burlywood", weight=9]; 3487 -> 2808[label="",style="solid", color="burlywood", weight=3]; 2789[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3488[label="yv194/False",fontsize=10,color="white",style="solid",shape="box"];2789 -> 3488[label="",style="solid", color="burlywood", weight=9]; 3488 -> 2809[label="",style="solid", color="burlywood", weight=3]; 3489[label="yv194/True",fontsize=10,color="white",style="solid",shape="box"];2789 -> 3489[label="",style="solid", color="burlywood", weight=9]; 3489 -> 2810[label="",style="solid", color="burlywood", weight=3]; 2790[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3490[label="yv194/yv1940 : yv1941",fontsize=10,color="white",style="solid",shape="box"];2790 -> 3490[label="",style="solid", color="burlywood", weight=9]; 3490 -> 2811[label="",style="solid", color="burlywood", weight=3]; 3491[label="yv194/[]",fontsize=10,color="white",style="solid",shape="box"];2790 -> 3491[label="",style="solid", color="burlywood", weight=9]; 3491 -> 2812[label="",style="solid", color="burlywood", weight=3]; 2791[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3492[label="yv194/Integer yv1940",fontsize=10,color="white",style="solid",shape="box"];2791 -> 3492[label="",style="solid", color="burlywood", weight=9]; 3492 -> 2813[label="",style="solid", color="burlywood", weight=3]; 2792[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3493[label="yv194/(yv1940,yv1941)",fontsize=10,color="white",style="solid",shape="box"];2792 -> 3493[label="",style="solid", color="burlywood", weight=9]; 3493 -> 2814[label="",style="solid", color="burlywood", weight=3]; 2793[label="(==) yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3494[label="yv194/yv1940 :% yv1941",fontsize=10,color="white",style="solid",shape="box"];2793 -> 3494[label="",style="solid", color="burlywood", weight=9]; 3494 -> 2815[label="",style="solid", color="burlywood", weight=3]; 2794[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) ((||) False foldr (||) False (map ((==) yv207) yv212))",fontsize=16,color="black",shape="box"];2794 -> 2816[label="",style="solid", color="black", weight=3]; 2795[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) ((||) True foldr (||) False (map ((==) yv207) yv212))",fontsize=16,color="black",shape="box"];2795 -> 2817[label="",style="solid", color="black", weight=3]; 2796[label="primEqFloat yv194 yv198",fontsize=16,color="burlywood",shape="box"];3495[label="yv194/Float yv1940 yv1941",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3495[label="",style="solid", color="burlywood", weight=9]; 3495 -> 2818[label="",style="solid", color="burlywood", weight=3]; 2797[label="(==) () yv198",fontsize=16,color="burlywood",shape="box"];3496[label="yv198/()",fontsize=10,color="white",style="solid",shape="box"];2797 -> 3496[label="",style="solid", color="burlywood", weight=9]; 3496 -> 2819[label="",style="solid", color="burlywood", weight=3]; 2798[label="(==) Left yv1940 yv198",fontsize=16,color="burlywood",shape="box"];3497[label="yv198/Left yv1980",fontsize=10,color="white",style="solid",shape="box"];2798 -> 3497[label="",style="solid", color="burlywood", weight=9]; 3497 -> 2820[label="",style="solid", color="burlywood", weight=3]; 3498[label="yv198/Right yv1980",fontsize=10,color="white",style="solid",shape="box"];2798 -> 3498[label="",style="solid", color="burlywood", weight=9]; 3498 -> 2821[label="",style="solid", color="burlywood", weight=3]; 2799[label="(==) Right yv1940 yv198",fontsize=16,color="burlywood",shape="box"];3499[label="yv198/Left yv1980",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3499[label="",style="solid", color="burlywood", weight=9]; 3499 -> 2822[label="",style="solid", color="burlywood", weight=3]; 3500[label="yv198/Right yv1980",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3500[label="",style="solid", color="burlywood", weight=9]; 3500 -> 2823[label="",style="solid", color="burlywood", weight=3]; 2800[label="primEqDouble yv194 yv198",fontsize=16,color="burlywood",shape="box"];3501[label="yv194/Double yv1940 yv1941",fontsize=10,color="white",style="solid",shape="box"];2800 -> 3501[label="",style="solid", color="burlywood", weight=9]; 3501 -> 2824[label="",style="solid", color="burlywood", weight=3]; 2801[label="(==) (yv1940,yv1941,yv1942) yv198",fontsize=16,color="burlywood",shape="box"];3502[label="yv198/(yv1980,yv1981,yv1982)",fontsize=10,color="white",style="solid",shape="box"];2801 -> 3502[label="",style="solid", color="burlywood", weight=9]; 3502 -> 2825[label="",style="solid", color="burlywood", weight=3]; 2802[label="primEqChar yv194 yv198",fontsize=16,color="burlywood",shape="box"];3503[label="yv194/Char yv1940",fontsize=10,color="white",style="solid",shape="box"];2802 -> 3503[label="",style="solid", color="burlywood", weight=9]; 3503 -> 2826[label="",style="solid", color="burlywood", weight=3]; 2803[label="(==) LT yv198",fontsize=16,color="burlywood",shape="box"];3504[label="yv198/LT",fontsize=10,color="white",style="solid",shape="box"];2803 -> 3504[label="",style="solid", color="burlywood", weight=9]; 3504 -> 2827[label="",style="solid", color="burlywood", weight=3]; 3505[label="yv198/EQ",fontsize=10,color="white",style="solid",shape="box"];2803 -> 3505[label="",style="solid", color="burlywood", weight=9]; 3505 -> 2828[label="",style="solid", color="burlywood", weight=3]; 3506[label="yv198/GT",fontsize=10,color="white",style="solid",shape="box"];2803 -> 3506[label="",style="solid", color="burlywood", weight=9]; 3506 -> 2829[label="",style="solid", color="burlywood", weight=3]; 2804[label="(==) EQ yv198",fontsize=16,color="burlywood",shape="box"];3507[label="yv198/LT",fontsize=10,color="white",style="solid",shape="box"];2804 -> 3507[label="",style="solid", color="burlywood", weight=9]; 3507 -> 2830[label="",style="solid", color="burlywood", weight=3]; 3508[label="yv198/EQ",fontsize=10,color="white",style="solid",shape="box"];2804 -> 3508[label="",style="solid", color="burlywood", weight=9]; 3508 -> 2831[label="",style="solid", color="burlywood", weight=3]; 3509[label="yv198/GT",fontsize=10,color="white",style="solid",shape="box"];2804 -> 3509[label="",style="solid", color="burlywood", weight=9]; 3509 -> 2832[label="",style="solid", color="burlywood", weight=3]; 2805[label="(==) GT yv198",fontsize=16,color="burlywood",shape="box"];3510[label="yv198/LT",fontsize=10,color="white",style="solid",shape="box"];2805 -> 3510[label="",style="solid", color="burlywood", weight=9]; 3510 -> 2833[label="",style="solid", color="burlywood", weight=3]; 3511[label="yv198/EQ",fontsize=10,color="white",style="solid",shape="box"];2805 -> 3511[label="",style="solid", color="burlywood", weight=9]; 3511 -> 2834[label="",style="solid", color="burlywood", weight=3]; 3512[label="yv198/GT",fontsize=10,color="white",style="solid",shape="box"];2805 -> 3512[label="",style="solid", color="burlywood", weight=9]; 3512 -> 2835[label="",style="solid", color="burlywood", weight=3]; 2806[label="primEqInt yv194 yv198",fontsize=16,color="burlywood",shape="triangle"];3513[label="yv194/Pos yv1940",fontsize=10,color="white",style="solid",shape="box"];2806 -> 3513[label="",style="solid", color="burlywood", weight=9]; 3513 -> 2836[label="",style="solid", color="burlywood", weight=3]; 3514[label="yv194/Neg yv1940",fontsize=10,color="white",style="solid",shape="box"];2806 -> 3514[label="",style="solid", color="burlywood", weight=9]; 3514 -> 2837[label="",style="solid", color="burlywood", weight=3]; 2807[label="(==) Nothing yv198",fontsize=16,color="burlywood",shape="box"];3515[label="yv198/Nothing",fontsize=10,color="white",style="solid",shape="box"];2807 -> 3515[label="",style="solid", color="burlywood", weight=9]; 3515 -> 2838[label="",style="solid", color="burlywood", weight=3]; 3516[label="yv198/Just yv1980",fontsize=10,color="white",style="solid",shape="box"];2807 -> 3516[label="",style="solid", color="burlywood", weight=9]; 3516 -> 2839[label="",style="solid", color="burlywood", weight=3]; 2808[label="(==) Just yv1940 yv198",fontsize=16,color="burlywood",shape="box"];3517[label="yv198/Nothing",fontsize=10,color="white",style="solid",shape="box"];2808 -> 3517[label="",style="solid", color="burlywood", weight=9]; 3517 -> 2840[label="",style="solid", color="burlywood", weight=3]; 3518[label="yv198/Just yv1980",fontsize=10,color="white",style="solid",shape="box"];2808 -> 3518[label="",style="solid", color="burlywood", weight=9]; 3518 -> 2841[label="",style="solid", color="burlywood", weight=3]; 2809[label="(==) False yv198",fontsize=16,color="burlywood",shape="box"];3519[label="yv198/False",fontsize=10,color="white",style="solid",shape="box"];2809 -> 3519[label="",style="solid", color="burlywood", weight=9]; 3519 -> 2842[label="",style="solid", color="burlywood", weight=3]; 3520[label="yv198/True",fontsize=10,color="white",style="solid",shape="box"];2809 -> 3520[label="",style="solid", color="burlywood", weight=9]; 3520 -> 2843[label="",style="solid", color="burlywood", weight=3]; 2810[label="(==) True yv198",fontsize=16,color="burlywood",shape="box"];3521[label="yv198/False",fontsize=10,color="white",style="solid",shape="box"];2810 -> 3521[label="",style="solid", color="burlywood", weight=9]; 3521 -> 2844[label="",style="solid", color="burlywood", weight=3]; 3522[label="yv198/True",fontsize=10,color="white",style="solid",shape="box"];2810 -> 3522[label="",style="solid", color="burlywood", weight=9]; 3522 -> 2845[label="",style="solid", color="burlywood", weight=3]; 2811[label="(==) yv1940 : yv1941 yv198",fontsize=16,color="burlywood",shape="box"];3523[label="yv198/yv1980 : yv1981",fontsize=10,color="white",style="solid",shape="box"];2811 -> 3523[label="",style="solid", color="burlywood", weight=9]; 3523 -> 2846[label="",style="solid", color="burlywood", weight=3]; 3524[label="yv198/[]",fontsize=10,color="white",style="solid",shape="box"];2811 -> 3524[label="",style="solid", color="burlywood", weight=9]; 3524 -> 2847[label="",style="solid", color="burlywood", weight=3]; 2812[label="(==) [] yv198",fontsize=16,color="burlywood",shape="box"];3525[label="yv198/yv1980 : yv1981",fontsize=10,color="white",style="solid",shape="box"];2812 -> 3525[label="",style="solid", color="burlywood", weight=9]; 3525 -> 2848[label="",style="solid", color="burlywood", weight=3]; 3526[label="yv198/[]",fontsize=10,color="white",style="solid",shape="box"];2812 -> 3526[label="",style="solid", color="burlywood", weight=9]; 3526 -> 2849[label="",style="solid", color="burlywood", weight=3]; 2813[label="(==) Integer yv1940 yv198",fontsize=16,color="burlywood",shape="box"];3527[label="yv198/Integer yv1980",fontsize=10,color="white",style="solid",shape="box"];2813 -> 3527[label="",style="solid", color="burlywood", weight=9]; 3527 -> 2850[label="",style="solid", color="burlywood", weight=3]; 2814[label="(==) (yv1940,yv1941) yv198",fontsize=16,color="burlywood",shape="box"];3528[label="yv198/(yv1980,yv1981)",fontsize=10,color="white",style="solid",shape="box"];2814 -> 3528[label="",style="solid", color="burlywood", weight=9]; 3528 -> 2851[label="",style="solid", color="burlywood", weight=3]; 2815[label="(==) yv1940 :% yv1941 yv198",fontsize=16,color="burlywood",shape="box"];3529[label="yv198/yv1980 :% yv1981",fontsize=10,color="white",style="solid",shape="box"];2815 -> 3529[label="",style="solid", color="burlywood", weight=9]; 3529 -> 2852[label="",style="solid", color="burlywood", weight=3]; 2816[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) (foldr (||) False (map ((==) yv207) yv212))",fontsize=16,color="burlywood",shape="box"];3530[label="yv212/yv2120 : yv2121",fontsize=10,color="white",style="solid",shape="box"];2816 -> 3530[label="",style="solid", color="burlywood", weight=9]; 3530 -> 2853[label="",style="solid", color="burlywood", weight=3]; 3531[label="yv212/[]",fontsize=10,color="white",style="solid",shape="box"];2816 -> 3531[label="",style="solid", color="burlywood", weight=9]; 3531 -> 2854[label="",style="solid", color="burlywood", weight=3]; 2817[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) True",fontsize=16,color="black",shape="box"];2817 -> 2855[label="",style="solid", color="black", weight=3]; 2818[label="primEqFloat (Float yv1940 yv1941) yv198",fontsize=16,color="burlywood",shape="box"];3532[label="yv198/Float yv1980 yv1981",fontsize=10,color="white",style="solid",shape="box"];2818 -> 3532[label="",style="solid", color="burlywood", weight=9]; 3532 -> 2856[label="",style="solid", color="burlywood", weight=3]; 2819[label="(==) () ()",fontsize=16,color="black",shape="box"];2819 -> 2857[label="",style="solid", color="black", weight=3]; 2820[label="(==) Left yv1940 Left yv1980",fontsize=16,color="black",shape="box"];2820 -> 2858[label="",style="solid", color="black", weight=3]; 2821[label="(==) Left yv1940 Right yv1980",fontsize=16,color="black",shape="box"];2821 -> 2859[label="",style="solid", color="black", weight=3]; 2822[label="(==) Right yv1940 Left yv1980",fontsize=16,color="black",shape="box"];2822 -> 2860[label="",style="solid", color="black", weight=3]; 2823[label="(==) Right yv1940 Right yv1980",fontsize=16,color="black",shape="box"];2823 -> 2861[label="",style="solid", color="black", weight=3]; 2824[label="primEqDouble (Double yv1940 yv1941) yv198",fontsize=16,color="burlywood",shape="box"];3533[label="yv198/Double yv1980 yv1981",fontsize=10,color="white",style="solid",shape="box"];2824 -> 3533[label="",style="solid", color="burlywood", weight=9]; 3533 -> 2862[label="",style="solid", color="burlywood", weight=3]; 2825[label="(==) (yv1940,yv1941,yv1942) (yv1980,yv1981,yv1982)",fontsize=16,color="black",shape="box"];2825 -> 2863[label="",style="solid", color="black", weight=3]; 2826[label="primEqChar (Char yv1940) yv198",fontsize=16,color="burlywood",shape="box"];3534[label="yv198/Char yv1980",fontsize=10,color="white",style="solid",shape="box"];2826 -> 3534[label="",style="solid", color="burlywood", weight=9]; 3534 -> 2864[label="",style="solid", color="burlywood", weight=3]; 2827[label="(==) LT LT",fontsize=16,color="black",shape="box"];2827 -> 2865[label="",style="solid", color="black", weight=3]; 2828[label="(==) LT EQ",fontsize=16,color="black",shape="box"];2828 -> 2866[label="",style="solid", color="black", weight=3]; 2829[label="(==) LT GT",fontsize=16,color="black",shape="box"];2829 -> 2867[label="",style="solid", color="black", weight=3]; 2830[label="(==) EQ LT",fontsize=16,color="black",shape="box"];2830 -> 2868[label="",style="solid", color="black", weight=3]; 2831[label="(==) EQ EQ",fontsize=16,color="black",shape="box"];2831 -> 2869[label="",style="solid", color="black", weight=3]; 2832[label="(==) EQ GT",fontsize=16,color="black",shape="box"];2832 -> 2870[label="",style="solid", color="black", weight=3]; 2833[label="(==) GT LT",fontsize=16,color="black",shape="box"];2833 -> 2871[label="",style="solid", color="black", weight=3]; 2834[label="(==) GT EQ",fontsize=16,color="black",shape="box"];2834 -> 2872[label="",style="solid", color="black", weight=3]; 2835[label="(==) GT GT",fontsize=16,color="black",shape="box"];2835 -> 2873[label="",style="solid", color="black", weight=3]; 2836[label="primEqInt (Pos yv1940) yv198",fontsize=16,color="burlywood",shape="box"];3535[label="yv1940/Succ yv19400",fontsize=10,color="white",style="solid",shape="box"];2836 -> 3535[label="",style="solid", color="burlywood", weight=9]; 3535 -> 2874[label="",style="solid", color="burlywood", weight=3]; 3536[label="yv1940/Zero",fontsize=10,color="white",style="solid",shape="box"];2836 -> 3536[label="",style="solid", color="burlywood", weight=9]; 3536 -> 2875[label="",style="solid", color="burlywood", weight=3]; 2837[label="primEqInt (Neg yv1940) yv198",fontsize=16,color="burlywood",shape="box"];3537[label="yv1940/Succ yv19400",fontsize=10,color="white",style="solid",shape="box"];2837 -> 3537[label="",style="solid", color="burlywood", weight=9]; 3537 -> 2876[label="",style="solid", color="burlywood", weight=3]; 3538[label="yv1940/Zero",fontsize=10,color="white",style="solid",shape="box"];2837 -> 3538[label="",style="solid", color="burlywood", weight=9]; 3538 -> 2877[label="",style="solid", color="burlywood", weight=3]; 2838[label="(==) Nothing Nothing",fontsize=16,color="black",shape="box"];2838 -> 2878[label="",style="solid", color="black", weight=3]; 2839[label="(==) Nothing Just yv1980",fontsize=16,color="black",shape="box"];2839 -> 2879[label="",style="solid", color="black", weight=3]; 2840[label="(==) Just yv1940 Nothing",fontsize=16,color="black",shape="box"];2840 -> 2880[label="",style="solid", color="black", weight=3]; 2841[label="(==) Just yv1940 Just yv1980",fontsize=16,color="black",shape="box"];2841 -> 2881[label="",style="solid", color="black", weight=3]; 2842[label="(==) False False",fontsize=16,color="black",shape="box"];2842 -> 2882[label="",style="solid", color="black", weight=3]; 2843[label="(==) False True",fontsize=16,color="black",shape="box"];2843 -> 2883[label="",style="solid", color="black", weight=3]; 2844[label="(==) True False",fontsize=16,color="black",shape="box"];2844 -> 2884[label="",style="solid", color="black", weight=3]; 2845[label="(==) True True",fontsize=16,color="black",shape="box"];2845 -> 2885[label="",style="solid", color="black", weight=3]; 2846[label="(==) yv1940 : yv1941 yv1980 : yv1981",fontsize=16,color="black",shape="box"];2846 -> 2886[label="",style="solid", color="black", weight=3]; 2847[label="(==) yv1940 : yv1941 []",fontsize=16,color="black",shape="box"];2847 -> 2887[label="",style="solid", color="black", weight=3]; 2848[label="(==) [] yv1980 : yv1981",fontsize=16,color="black",shape="box"];2848 -> 2888[label="",style="solid", color="black", weight=3]; 2849[label="(==) [] []",fontsize=16,color="black",shape="box"];2849 -> 2889[label="",style="solid", color="black", weight=3]; 2850[label="(==) Integer yv1940 Integer yv1980",fontsize=16,color="black",shape="box"];2850 -> 2890[label="",style="solid", color="black", weight=3]; 2851[label="(==) (yv1940,yv1941) (yv1980,yv1981)",fontsize=16,color="black",shape="box"];2851 -> 2891[label="",style="solid", color="black", weight=3]; 2852[label="(==) yv1940 :% yv1941 yv1980 :% yv1981",fontsize=16,color="black",shape="box"];2852 -> 2892[label="",style="solid", color="black", weight=3]; 2853[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) (foldr (||) False (map ((==) yv207) (yv2120 : yv2121)))",fontsize=16,color="black",shape="box"];2853 -> 2893[label="",style="solid", color="black", weight=3]; 2854[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) (foldr (||) False (map ((==) yv207) []))",fontsize=16,color="black",shape="box"];2854 -> 2894[label="",style="solid", color="black", weight=3]; 2855 -> 1653[label="",style="dashed", color="red", weight=0]; 2855[label="List.nubNub' yv208 (yv209 : yv210)",fontsize=16,color="magenta"];2855 -> 2895[label="",style="dashed", color="magenta", weight=3]; 2855 -> 2896[label="",style="dashed", color="magenta", weight=3]; 2855 -> 2897[label="",style="dashed", color="magenta", weight=3]; 2856[label="primEqFloat (Float yv1940 yv1941) (Float yv1980 yv1981)",fontsize=16,color="black",shape="box"];2856 -> 2898[label="",style="solid", color="black", weight=3]; 2857[label="True",fontsize=16,color="green",shape="box"];2858[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3539[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3539[label="",style="solid", color="blue", weight=9]; 3539 -> 2899[label="",style="solid", color="blue", weight=3]; 3540[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3540[label="",style="solid", color="blue", weight=9]; 3540 -> 2900[label="",style="solid", color="blue", weight=3]; 3541[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3541[label="",style="solid", color="blue", weight=9]; 3541 -> 2901[label="",style="solid", color="blue", weight=3]; 3542[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3542[label="",style="solid", color="blue", weight=9]; 3542 -> 2902[label="",style="solid", color="blue", weight=3]; 3543[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3543[label="",style="solid", color="blue", weight=9]; 3543 -> 2903[label="",style="solid", color="blue", weight=3]; 3544[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3544[label="",style="solid", color="blue", weight=9]; 3544 -> 2904[label="",style="solid", color="blue", weight=3]; 3545[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3545[label="",style="solid", color="blue", weight=9]; 3545 -> 2905[label="",style="solid", color="blue", weight=3]; 3546[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3546[label="",style="solid", color="blue", weight=9]; 3546 -> 2906[label="",style="solid", color="blue", weight=3]; 3547[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3547[label="",style="solid", color="blue", weight=9]; 3547 -> 2907[label="",style="solid", color="blue", weight=3]; 3548[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3548[label="",style="solid", color="blue", weight=9]; 3548 -> 2908[label="",style="solid", color="blue", weight=3]; 3549[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3549[label="",style="solid", color="blue", weight=9]; 3549 -> 2909[label="",style="solid", color="blue", weight=3]; 3550[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3550[label="",style="solid", color="blue", weight=9]; 3550 -> 2910[label="",style="solid", color="blue", weight=3]; 3551[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3551[label="",style="solid", color="blue", weight=9]; 3551 -> 2911[label="",style="solid", color="blue", weight=3]; 3552[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2858 -> 3552[label="",style="solid", color="blue", weight=9]; 3552 -> 2912[label="",style="solid", color="blue", weight=3]; 2859[label="False",fontsize=16,color="green",shape="box"];2860[label="False",fontsize=16,color="green",shape="box"];2861[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3553[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3553[label="",style="solid", color="blue", weight=9]; 3553 -> 2913[label="",style="solid", color="blue", weight=3]; 3554[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3554[label="",style="solid", color="blue", weight=9]; 3554 -> 2914[label="",style="solid", color="blue", weight=3]; 3555[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3555[label="",style="solid", color="blue", weight=9]; 3555 -> 2915[label="",style="solid", color="blue", weight=3]; 3556[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3556[label="",style="solid", color="blue", weight=9]; 3556 -> 2916[label="",style="solid", color="blue", weight=3]; 3557[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3557[label="",style="solid", color="blue", weight=9]; 3557 -> 2917[label="",style="solid", color="blue", weight=3]; 3558[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3558[label="",style="solid", color="blue", weight=9]; 3558 -> 2918[label="",style="solid", color="blue", weight=3]; 3559[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3559[label="",style="solid", color="blue", weight=9]; 3559 -> 2919[label="",style="solid", color="blue", weight=3]; 3560[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3560[label="",style="solid", color="blue", weight=9]; 3560 -> 2920[label="",style="solid", color="blue", weight=3]; 3561[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3561[label="",style="solid", color="blue", weight=9]; 3561 -> 2921[label="",style="solid", color="blue", weight=3]; 3562[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3562[label="",style="solid", color="blue", weight=9]; 3562 -> 2922[label="",style="solid", color="blue", weight=3]; 3563[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3563[label="",style="solid", color="blue", weight=9]; 3563 -> 2923[label="",style="solid", color="blue", weight=3]; 3564[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3564[label="",style="solid", color="blue", weight=9]; 3564 -> 2924[label="",style="solid", color="blue", weight=3]; 3565[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3565[label="",style="solid", color="blue", weight=9]; 3565 -> 2925[label="",style="solid", color="blue", weight=3]; 3566[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2861 -> 3566[label="",style="solid", color="blue", weight=9]; 3566 -> 2926[label="",style="solid", color="blue", weight=3]; 2862[label="primEqDouble (Double yv1940 yv1941) (Double yv1980 yv1981)",fontsize=16,color="black",shape="box"];2862 -> 2927[label="",style="solid", color="black", weight=3]; 2863 -> 3040[label="",style="dashed", color="red", weight=0]; 2863[label="yv1940 == yv1980 && yv1941 == yv1981 && yv1942 == yv1982",fontsize=16,color="magenta"];2863 -> 3041[label="",style="dashed", color="magenta", weight=3]; 2863 -> 3042[label="",style="dashed", color="magenta", weight=3]; 2864[label="primEqChar (Char yv1940) (Char yv1980)",fontsize=16,color="black",shape="box"];2864 -> 2934[label="",style="solid", color="black", weight=3]; 2865[label="True",fontsize=16,color="green",shape="box"];2866[label="False",fontsize=16,color="green",shape="box"];2867[label="False",fontsize=16,color="green",shape="box"];2868[label="False",fontsize=16,color="green",shape="box"];2869[label="True",fontsize=16,color="green",shape="box"];2870[label="False",fontsize=16,color="green",shape="box"];2871[label="False",fontsize=16,color="green",shape="box"];2872[label="False",fontsize=16,color="green",shape="box"];2873[label="True",fontsize=16,color="green",shape="box"];2874[label="primEqInt (Pos (Succ yv19400)) yv198",fontsize=16,color="burlywood",shape="box"];3567[label="yv198/Pos yv1980",fontsize=10,color="white",style="solid",shape="box"];2874 -> 3567[label="",style="solid", color="burlywood", weight=9]; 3567 -> 2935[label="",style="solid", color="burlywood", weight=3]; 3568[label="yv198/Neg yv1980",fontsize=10,color="white",style="solid",shape="box"];2874 -> 3568[label="",style="solid", color="burlywood", weight=9]; 3568 -> 2936[label="",style="solid", color="burlywood", weight=3]; 2875[label="primEqInt (Pos Zero) yv198",fontsize=16,color="burlywood",shape="box"];3569[label="yv198/Pos yv1980",fontsize=10,color="white",style="solid",shape="box"];2875 -> 3569[label="",style="solid", color="burlywood", weight=9]; 3569 -> 2937[label="",style="solid", color="burlywood", weight=3]; 3570[label="yv198/Neg yv1980",fontsize=10,color="white",style="solid",shape="box"];2875 -> 3570[label="",style="solid", color="burlywood", weight=9]; 3570 -> 2938[label="",style="solid", color="burlywood", weight=3]; 2876[label="primEqInt (Neg (Succ yv19400)) yv198",fontsize=16,color="burlywood",shape="box"];3571[label="yv198/Pos yv1980",fontsize=10,color="white",style="solid",shape="box"];2876 -> 3571[label="",style="solid", color="burlywood", weight=9]; 3571 -> 2939[label="",style="solid", color="burlywood", weight=3]; 3572[label="yv198/Neg yv1980",fontsize=10,color="white",style="solid",shape="box"];2876 -> 3572[label="",style="solid", color="burlywood", weight=9]; 3572 -> 2940[label="",style="solid", color="burlywood", weight=3]; 2877[label="primEqInt (Neg Zero) yv198",fontsize=16,color="burlywood",shape="box"];3573[label="yv198/Pos yv1980",fontsize=10,color="white",style="solid",shape="box"];2877 -> 3573[label="",style="solid", color="burlywood", weight=9]; 3573 -> 2941[label="",style="solid", color="burlywood", weight=3]; 3574[label="yv198/Neg yv1980",fontsize=10,color="white",style="solid",shape="box"];2877 -> 3574[label="",style="solid", color="burlywood", weight=9]; 3574 -> 2942[label="",style="solid", color="burlywood", weight=3]; 2878[label="True",fontsize=16,color="green",shape="box"];2879[label="False",fontsize=16,color="green",shape="box"];2880[label="False",fontsize=16,color="green",shape="box"];2881[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3575[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3575[label="",style="solid", color="blue", weight=9]; 3575 -> 2943[label="",style="solid", color="blue", weight=3]; 3576[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3576[label="",style="solid", color="blue", weight=9]; 3576 -> 2944[label="",style="solid", color="blue", weight=3]; 3577[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3577[label="",style="solid", color="blue", weight=9]; 3577 -> 2945[label="",style="solid", color="blue", weight=3]; 3578[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3578[label="",style="solid", color="blue", weight=9]; 3578 -> 2946[label="",style="solid", color="blue", weight=3]; 3579[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3579[label="",style="solid", color="blue", weight=9]; 3579 -> 2947[label="",style="solid", color="blue", weight=3]; 3580[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3580[label="",style="solid", color="blue", weight=9]; 3580 -> 2948[label="",style="solid", color="blue", weight=3]; 3581[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3581[label="",style="solid", color="blue", weight=9]; 3581 -> 2949[label="",style="solid", color="blue", weight=3]; 3582[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3582[label="",style="solid", color="blue", weight=9]; 3582 -> 2950[label="",style="solid", color="blue", weight=3]; 3583[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3583[label="",style="solid", color="blue", weight=9]; 3583 -> 2951[label="",style="solid", color="blue", weight=3]; 3584[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3584[label="",style="solid", color="blue", weight=9]; 3584 -> 2952[label="",style="solid", color="blue", weight=3]; 3585[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3585[label="",style="solid", color="blue", weight=9]; 3585 -> 2953[label="",style="solid", color="blue", weight=3]; 3586[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3586[label="",style="solid", color="blue", weight=9]; 3586 -> 2954[label="",style="solid", color="blue", weight=3]; 3587[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3587[label="",style="solid", color="blue", weight=9]; 3587 -> 2955[label="",style="solid", color="blue", weight=3]; 3588[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3588[label="",style="solid", color="blue", weight=9]; 3588 -> 2956[label="",style="solid", color="blue", weight=3]; 2882[label="True",fontsize=16,color="green",shape="box"];2883[label="False",fontsize=16,color="green",shape="box"];2884[label="False",fontsize=16,color="green",shape="box"];2885[label="True",fontsize=16,color="green",shape="box"];2886 -> 3040[label="",style="dashed", color="red", weight=0]; 2886[label="yv1940 == yv1980 && yv1941 == yv1981",fontsize=16,color="magenta"];2886 -> 3043[label="",style="dashed", color="magenta", weight=3]; 2886 -> 3044[label="",style="dashed", color="magenta", weight=3]; 2887[label="False",fontsize=16,color="green",shape="box"];2888[label="False",fontsize=16,color="green",shape="box"];2889[label="True",fontsize=16,color="green",shape="box"];2890 -> 2806[label="",style="dashed", color="red", weight=0]; 2890[label="primEqInt yv1940 yv1980",fontsize=16,color="magenta"];2890 -> 2968[label="",style="dashed", color="magenta", weight=3]; 2890 -> 2969[label="",style="dashed", color="magenta", weight=3]; 2891 -> 3040[label="",style="dashed", color="red", weight=0]; 2891[label="yv1940 == yv1980 && yv1941 == yv1981",fontsize=16,color="magenta"];2891 -> 3045[label="",style="dashed", color="magenta", weight=3]; 2891 -> 3046[label="",style="dashed", color="magenta", weight=3]; 2892 -> 3040[label="",style="dashed", color="red", weight=0]; 2892[label="yv1940 == yv1980 && yv1941 == yv1981",fontsize=16,color="magenta"];2892 -> 3047[label="",style="dashed", color="magenta", weight=3]; 2892 -> 3048[label="",style="dashed", color="magenta", weight=3]; 2893 -> 2735[label="",style="dashed", color="red", weight=0]; 2893[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) (foldr (||) False (((==) yv207 yv2120) : map ((==) yv207) yv2121))",fontsize=16,color="magenta"];2893 -> 2970[label="",style="dashed", color="magenta", weight=3]; 2893 -> 2971[label="",style="dashed", color="magenta", weight=3]; 2893 -> 2972[label="",style="dashed", color="magenta", weight=3]; 2893 -> 2973[label="",style="dashed", color="magenta", weight=3]; 2893 -> 2974[label="",style="dashed", color="magenta", weight=3]; 2893 -> 2975[label="",style="dashed", color="magenta", weight=3]; 2894[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) (foldr (||) False [])",fontsize=16,color="black",shape="box"];2894 -> 2976[label="",style="solid", color="black", weight=3]; 2895[label="yv209",fontsize=16,color="green",shape="box"];2896[label="yv208",fontsize=16,color="green",shape="box"];2897[label="yv210",fontsize=16,color="green",shape="box"];2898 -> 2787[label="",style="dashed", color="red", weight=0]; 2898[label="yv1940 * yv1981 == yv1941 * yv1980",fontsize=16,color="magenta"];2898 -> 2977[label="",style="dashed", color="magenta", weight=3]; 2898 -> 2978[label="",style="dashed", color="magenta", weight=3]; 2899 -> 2780[label="",style="dashed", color="red", weight=0]; 2899[label="yv1940 == yv1980",fontsize=16,color="magenta"];2899 -> 2979[label="",style="dashed", color="magenta", weight=3]; 2899 -> 2980[label="",style="dashed", color="magenta", weight=3]; 2900 -> 2781[label="",style="dashed", color="red", weight=0]; 2900[label="yv1940 == yv1980",fontsize=16,color="magenta"];2900 -> 2981[label="",style="dashed", color="magenta", weight=3]; 2900 -> 2982[label="",style="dashed", color="magenta", weight=3]; 2901 -> 2782[label="",style="dashed", color="red", weight=0]; 2901[label="yv1940 == yv1980",fontsize=16,color="magenta"];2901 -> 2983[label="",style="dashed", color="magenta", weight=3]; 2901 -> 2984[label="",style="dashed", color="magenta", weight=3]; 2902 -> 2783[label="",style="dashed", color="red", weight=0]; 2902[label="yv1940 == yv1980",fontsize=16,color="magenta"];2902 -> 2985[label="",style="dashed", color="magenta", weight=3]; 2902 -> 2986[label="",style="dashed", color="magenta", weight=3]; 2903 -> 2784[label="",style="dashed", color="red", weight=0]; 2903[label="yv1940 == yv1980",fontsize=16,color="magenta"];2903 -> 2987[label="",style="dashed", color="magenta", weight=3]; 2903 -> 2988[label="",style="dashed", color="magenta", weight=3]; 2904 -> 2785[label="",style="dashed", color="red", weight=0]; 2904[label="yv1940 == yv1980",fontsize=16,color="magenta"];2904 -> 2989[label="",style="dashed", color="magenta", weight=3]; 2904 -> 2990[label="",style="dashed", color="magenta", weight=3]; 2905 -> 2786[label="",style="dashed", color="red", weight=0]; 2905[label="yv1940 == yv1980",fontsize=16,color="magenta"];2905 -> 2991[label="",style="dashed", color="magenta", weight=3]; 2905 -> 2992[label="",style="dashed", color="magenta", weight=3]; 2906 -> 2787[label="",style="dashed", color="red", weight=0]; 2906[label="yv1940 == yv1980",fontsize=16,color="magenta"];2906 -> 2993[label="",style="dashed", color="magenta", weight=3]; 2906 -> 2994[label="",style="dashed", color="magenta", weight=3]; 2907 -> 2788[label="",style="dashed", color="red", weight=0]; 2907[label="yv1940 == yv1980",fontsize=16,color="magenta"];2907 -> 2995[label="",style="dashed", color="magenta", weight=3]; 2907 -> 2996[label="",style="dashed", color="magenta", weight=3]; 2908 -> 2789[label="",style="dashed", color="red", weight=0]; 2908[label="yv1940 == yv1980",fontsize=16,color="magenta"];2908 -> 2997[label="",style="dashed", color="magenta", weight=3]; 2908 -> 2998[label="",style="dashed", color="magenta", weight=3]; 2909 -> 2790[label="",style="dashed", color="red", weight=0]; 2909[label="yv1940 == yv1980",fontsize=16,color="magenta"];2909 -> 2999[label="",style="dashed", color="magenta", weight=3]; 2909 -> 3000[label="",style="dashed", color="magenta", weight=3]; 2910 -> 2791[label="",style="dashed", color="red", weight=0]; 2910[label="yv1940 == yv1980",fontsize=16,color="magenta"];2910 -> 3001[label="",style="dashed", color="magenta", weight=3]; 2910 -> 3002[label="",style="dashed", color="magenta", weight=3]; 2911 -> 2792[label="",style="dashed", color="red", weight=0]; 2911[label="yv1940 == yv1980",fontsize=16,color="magenta"];2911 -> 3003[label="",style="dashed", color="magenta", weight=3]; 2911 -> 3004[label="",style="dashed", color="magenta", weight=3]; 2912 -> 2793[label="",style="dashed", color="red", weight=0]; 2912[label="yv1940 == yv1980",fontsize=16,color="magenta"];2912 -> 3005[label="",style="dashed", color="magenta", weight=3]; 2912 -> 3006[label="",style="dashed", color="magenta", weight=3]; 2913 -> 2780[label="",style="dashed", color="red", weight=0]; 2913[label="yv1940 == yv1980",fontsize=16,color="magenta"];2913 -> 3007[label="",style="dashed", color="magenta", weight=3]; 2913 -> 3008[label="",style="dashed", color="magenta", weight=3]; 2914 -> 2781[label="",style="dashed", color="red", weight=0]; 2914[label="yv1940 == yv1980",fontsize=16,color="magenta"];2914 -> 3009[label="",style="dashed", color="magenta", weight=3]; 2914 -> 3010[label="",style="dashed", color="magenta", weight=3]; 2915 -> 2782[label="",style="dashed", color="red", weight=0]; 2915[label="yv1940 == yv1980",fontsize=16,color="magenta"];2915 -> 3011[label="",style="dashed", color="magenta", weight=3]; 2915 -> 3012[label="",style="dashed", color="magenta", weight=3]; 2916 -> 2783[label="",style="dashed", color="red", weight=0]; 2916[label="yv1940 == yv1980",fontsize=16,color="magenta"];2916 -> 3013[label="",style="dashed", color="magenta", weight=3]; 2916 -> 3014[label="",style="dashed", color="magenta", weight=3]; 2917 -> 2784[label="",style="dashed", color="red", weight=0]; 2917[label="yv1940 == yv1980",fontsize=16,color="magenta"];2917 -> 3015[label="",style="dashed", color="magenta", weight=3]; 2917 -> 3016[label="",style="dashed", color="magenta", weight=3]; 2918 -> 2785[label="",style="dashed", color="red", weight=0]; 2918[label="yv1940 == yv1980",fontsize=16,color="magenta"];2918 -> 3017[label="",style="dashed", color="magenta", weight=3]; 2918 -> 3018[label="",style="dashed", color="magenta", weight=3]; 2919 -> 2786[label="",style="dashed", color="red", weight=0]; 2919[label="yv1940 == yv1980",fontsize=16,color="magenta"];2919 -> 3019[label="",style="dashed", color="magenta", weight=3]; 2919 -> 3020[label="",style="dashed", color="magenta", weight=3]; 2920 -> 2787[label="",style="dashed", color="red", weight=0]; 2920[label="yv1940 == yv1980",fontsize=16,color="magenta"];2920 -> 3021[label="",style="dashed", color="magenta", weight=3]; 2920 -> 3022[label="",style="dashed", color="magenta", weight=3]; 2921 -> 2788[label="",style="dashed", color="red", weight=0]; 2921[label="yv1940 == yv1980",fontsize=16,color="magenta"];2921 -> 3023[label="",style="dashed", color="magenta", weight=3]; 2921 -> 3024[label="",style="dashed", color="magenta", weight=3]; 2922 -> 2789[label="",style="dashed", color="red", weight=0]; 2922[label="yv1940 == yv1980",fontsize=16,color="magenta"];2922 -> 3025[label="",style="dashed", color="magenta", weight=3]; 2922 -> 3026[label="",style="dashed", color="magenta", weight=3]; 2923 -> 2790[label="",style="dashed", color="red", weight=0]; 2923[label="yv1940 == yv1980",fontsize=16,color="magenta"];2923 -> 3027[label="",style="dashed", color="magenta", weight=3]; 2923 -> 3028[label="",style="dashed", color="magenta", weight=3]; 2924 -> 2791[label="",style="dashed", color="red", weight=0]; 2924[label="yv1940 == yv1980",fontsize=16,color="magenta"];2924 -> 3029[label="",style="dashed", color="magenta", weight=3]; 2924 -> 3030[label="",style="dashed", color="magenta", weight=3]; 2925 -> 2792[label="",style="dashed", color="red", weight=0]; 2925[label="yv1940 == yv1980",fontsize=16,color="magenta"];2925 -> 3031[label="",style="dashed", color="magenta", weight=3]; 2925 -> 3032[label="",style="dashed", color="magenta", weight=3]; 2926 -> 2793[label="",style="dashed", color="red", weight=0]; 2926[label="yv1940 == yv1980",fontsize=16,color="magenta"];2926 -> 3033[label="",style="dashed", color="magenta", weight=3]; 2926 -> 3034[label="",style="dashed", color="magenta", weight=3]; 2927 -> 2787[label="",style="dashed", color="red", weight=0]; 2927[label="yv1940 * yv1981 == yv1941 * yv1980",fontsize=16,color="magenta"];2927 -> 3035[label="",style="dashed", color="magenta", weight=3]; 2927 -> 3036[label="",style="dashed", color="magenta", weight=3]; 3041[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3589[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3589[label="",style="solid", color="blue", weight=9]; 3589 -> 3053[label="",style="solid", color="blue", weight=3]; 3590[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3590[label="",style="solid", color="blue", weight=9]; 3590 -> 3054[label="",style="solid", color="blue", weight=3]; 3591[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3591[label="",style="solid", color="blue", weight=9]; 3591 -> 3055[label="",style="solid", color="blue", weight=3]; 3592[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3592[label="",style="solid", color="blue", weight=9]; 3592 -> 3056[label="",style="solid", color="blue", weight=3]; 3593[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3593[label="",style="solid", color="blue", weight=9]; 3593 -> 3057[label="",style="solid", color="blue", weight=3]; 3594[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3594[label="",style="solid", color="blue", weight=9]; 3594 -> 3058[label="",style="solid", color="blue", weight=3]; 3595[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3595[label="",style="solid", color="blue", weight=9]; 3595 -> 3059[label="",style="solid", color="blue", weight=3]; 3596[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3596[label="",style="solid", color="blue", weight=9]; 3596 -> 3060[label="",style="solid", color="blue", weight=3]; 3597[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3597[label="",style="solid", color="blue", weight=9]; 3597 -> 3061[label="",style="solid", color="blue", weight=3]; 3598[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3598[label="",style="solid", color="blue", weight=9]; 3598 -> 3062[label="",style="solid", color="blue", weight=3]; 3599[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3599[label="",style="solid", color="blue", weight=9]; 3599 -> 3063[label="",style="solid", color="blue", weight=3]; 3600[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3600[label="",style="solid", color="blue", weight=9]; 3600 -> 3064[label="",style="solid", color="blue", weight=3]; 3601[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3601[label="",style="solid", color="blue", weight=9]; 3601 -> 3065[label="",style="solid", color="blue", weight=3]; 3602[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3041 -> 3602[label="",style="solid", color="blue", weight=9]; 3602 -> 3066[label="",style="solid", color="blue", weight=3]; 3042 -> 3040[label="",style="dashed", color="red", weight=0]; 3042[label="yv1941 == yv1981 && yv1942 == yv1982",fontsize=16,color="magenta"];3042 -> 3067[label="",style="dashed", color="magenta", weight=3]; 3042 -> 3068[label="",style="dashed", color="magenta", weight=3]; 3040[label="yv228 && yv229",fontsize=16,color="burlywood",shape="triangle"];3603[label="yv228/False",fontsize=10,color="white",style="solid",shape="box"];3040 -> 3603[label="",style="solid", color="burlywood", weight=9]; 3603 -> 3069[label="",style="solid", color="burlywood", weight=3]; 3604[label="yv228/True",fontsize=10,color="white",style="solid",shape="box"];3040 -> 3604[label="",style="solid", color="burlywood", weight=9]; 3604 -> 3070[label="",style="solid", color="burlywood", weight=3]; 2934[label="primEqNat yv1940 yv1980",fontsize=16,color="burlywood",shape="triangle"];3605[label="yv1940/Succ yv19400",fontsize=10,color="white",style="solid",shape="box"];2934 -> 3605[label="",style="solid", color="burlywood", weight=9]; 3605 -> 3071[label="",style="solid", color="burlywood", weight=3]; 3606[label="yv1940/Zero",fontsize=10,color="white",style="solid",shape="box"];2934 -> 3606[label="",style="solid", color="burlywood", weight=9]; 3606 -> 3072[label="",style="solid", color="burlywood", weight=3]; 2935[label="primEqInt (Pos (Succ yv19400)) (Pos yv1980)",fontsize=16,color="burlywood",shape="box"];3607[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];2935 -> 3607[label="",style="solid", color="burlywood", weight=9]; 3607 -> 3073[label="",style="solid", color="burlywood", weight=3]; 3608[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];2935 -> 3608[label="",style="solid", color="burlywood", weight=9]; 3608 -> 3074[label="",style="solid", color="burlywood", weight=3]; 2936[label="primEqInt (Pos (Succ yv19400)) (Neg yv1980)",fontsize=16,color="black",shape="box"];2936 -> 3075[label="",style="solid", color="black", weight=3]; 2937[label="primEqInt (Pos Zero) (Pos yv1980)",fontsize=16,color="burlywood",shape="box"];3609[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];2937 -> 3609[label="",style="solid", color="burlywood", weight=9]; 3609 -> 3076[label="",style="solid", color="burlywood", weight=3]; 3610[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];2937 -> 3610[label="",style="solid", color="burlywood", weight=9]; 3610 -> 3077[label="",style="solid", color="burlywood", weight=3]; 2938[label="primEqInt (Pos Zero) (Neg yv1980)",fontsize=16,color="burlywood",shape="box"];3611[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];2938 -> 3611[label="",style="solid", color="burlywood", weight=9]; 3611 -> 3078[label="",style="solid", color="burlywood", weight=3]; 3612[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];2938 -> 3612[label="",style="solid", color="burlywood", weight=9]; 3612 -> 3079[label="",style="solid", color="burlywood", weight=3]; 2939[label="primEqInt (Neg (Succ yv19400)) (Pos yv1980)",fontsize=16,color="black",shape="box"];2939 -> 3080[label="",style="solid", color="black", weight=3]; 2940[label="primEqInt (Neg (Succ yv19400)) (Neg yv1980)",fontsize=16,color="burlywood",shape="box"];3613[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];2940 -> 3613[label="",style="solid", color="burlywood", weight=9]; 3613 -> 3081[label="",style="solid", color="burlywood", weight=3]; 3614[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];2940 -> 3614[label="",style="solid", color="burlywood", weight=9]; 3614 -> 3082[label="",style="solid", color="burlywood", weight=3]; 2941[label="primEqInt (Neg Zero) (Pos yv1980)",fontsize=16,color="burlywood",shape="box"];3615[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];2941 -> 3615[label="",style="solid", color="burlywood", weight=9]; 3615 -> 3083[label="",style="solid", color="burlywood", weight=3]; 3616[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];2941 -> 3616[label="",style="solid", color="burlywood", weight=9]; 3616 -> 3084[label="",style="solid", color="burlywood", weight=3]; 2942[label="primEqInt (Neg Zero) (Neg yv1980)",fontsize=16,color="burlywood",shape="box"];3617[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];2942 -> 3617[label="",style="solid", color="burlywood", weight=9]; 3617 -> 3085[label="",style="solid", color="burlywood", weight=3]; 3618[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];2942 -> 3618[label="",style="solid", color="burlywood", weight=9]; 3618 -> 3086[label="",style="solid", color="burlywood", weight=3]; 2943 -> 2780[label="",style="dashed", color="red", weight=0]; 2943[label="yv1940 == yv1980",fontsize=16,color="magenta"];2943 -> 3087[label="",style="dashed", color="magenta", weight=3]; 2943 -> 3088[label="",style="dashed", color="magenta", weight=3]; 2944 -> 2781[label="",style="dashed", color="red", weight=0]; 2944[label="yv1940 == yv1980",fontsize=16,color="magenta"];2944 -> 3089[label="",style="dashed", color="magenta", weight=3]; 2944 -> 3090[label="",style="dashed", color="magenta", weight=3]; 2945 -> 2782[label="",style="dashed", color="red", weight=0]; 2945[label="yv1940 == yv1980",fontsize=16,color="magenta"];2945 -> 3091[label="",style="dashed", color="magenta", weight=3]; 2945 -> 3092[label="",style="dashed", color="magenta", weight=3]; 2946 -> 2783[label="",style="dashed", color="red", weight=0]; 2946[label="yv1940 == yv1980",fontsize=16,color="magenta"];2946 -> 3093[label="",style="dashed", color="magenta", weight=3]; 2946 -> 3094[label="",style="dashed", color="magenta", weight=3]; 2947 -> 2784[label="",style="dashed", color="red", weight=0]; 2947[label="yv1940 == yv1980",fontsize=16,color="magenta"];2947 -> 3095[label="",style="dashed", color="magenta", weight=3]; 2947 -> 3096[label="",style="dashed", color="magenta", weight=3]; 2948 -> 2785[label="",style="dashed", color="red", weight=0]; 2948[label="yv1940 == yv1980",fontsize=16,color="magenta"];2948 -> 3097[label="",style="dashed", color="magenta", weight=3]; 2948 -> 3098[label="",style="dashed", color="magenta", weight=3]; 2949 -> 2786[label="",style="dashed", color="red", weight=0]; 2949[label="yv1940 == yv1980",fontsize=16,color="magenta"];2949 -> 3099[label="",style="dashed", color="magenta", weight=3]; 2949 -> 3100[label="",style="dashed", color="magenta", weight=3]; 2950 -> 2787[label="",style="dashed", color="red", weight=0]; 2950[label="yv1940 == yv1980",fontsize=16,color="magenta"];2950 -> 3101[label="",style="dashed", color="magenta", weight=3]; 2950 -> 3102[label="",style="dashed", color="magenta", weight=3]; 2951 -> 2788[label="",style="dashed", color="red", weight=0]; 2951[label="yv1940 == yv1980",fontsize=16,color="magenta"];2951 -> 3103[label="",style="dashed", color="magenta", weight=3]; 2951 -> 3104[label="",style="dashed", color="magenta", weight=3]; 2952 -> 2789[label="",style="dashed", color="red", weight=0]; 2952[label="yv1940 == yv1980",fontsize=16,color="magenta"];2952 -> 3105[label="",style="dashed", color="magenta", weight=3]; 2952 -> 3106[label="",style="dashed", color="magenta", weight=3]; 2953 -> 2790[label="",style="dashed", color="red", weight=0]; 2953[label="yv1940 == yv1980",fontsize=16,color="magenta"];2953 -> 3107[label="",style="dashed", color="magenta", weight=3]; 2953 -> 3108[label="",style="dashed", color="magenta", weight=3]; 2954 -> 2791[label="",style="dashed", color="red", weight=0]; 2954[label="yv1940 == yv1980",fontsize=16,color="magenta"];2954 -> 3109[label="",style="dashed", color="magenta", weight=3]; 2954 -> 3110[label="",style="dashed", color="magenta", weight=3]; 2955 -> 2792[label="",style="dashed", color="red", weight=0]; 2955[label="yv1940 == yv1980",fontsize=16,color="magenta"];2955 -> 3111[label="",style="dashed", color="magenta", weight=3]; 2955 -> 3112[label="",style="dashed", color="magenta", weight=3]; 2956 -> 2793[label="",style="dashed", color="red", weight=0]; 2956[label="yv1940 == yv1980",fontsize=16,color="magenta"];2956 -> 3113[label="",style="dashed", color="magenta", weight=3]; 2956 -> 3114[label="",style="dashed", color="magenta", weight=3]; 3043[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3619[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3619[label="",style="solid", color="blue", weight=9]; 3619 -> 3115[label="",style="solid", color="blue", weight=3]; 3620[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3620[label="",style="solid", color="blue", weight=9]; 3620 -> 3116[label="",style="solid", color="blue", weight=3]; 3621[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3621[label="",style="solid", color="blue", weight=9]; 3621 -> 3117[label="",style="solid", color="blue", weight=3]; 3622[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3622[label="",style="solid", color="blue", weight=9]; 3622 -> 3118[label="",style="solid", color="blue", weight=3]; 3623[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3623[label="",style="solid", color="blue", weight=9]; 3623 -> 3119[label="",style="solid", color="blue", weight=3]; 3624[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3624[label="",style="solid", color="blue", weight=9]; 3624 -> 3120[label="",style="solid", color="blue", weight=3]; 3625[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3625[label="",style="solid", color="blue", weight=9]; 3625 -> 3121[label="",style="solid", color="blue", weight=3]; 3626[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3626[label="",style="solid", color="blue", weight=9]; 3626 -> 3122[label="",style="solid", color="blue", weight=3]; 3627[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3627[label="",style="solid", color="blue", weight=9]; 3627 -> 3123[label="",style="solid", color="blue", weight=3]; 3628[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3628[label="",style="solid", color="blue", weight=9]; 3628 -> 3124[label="",style="solid", color="blue", weight=3]; 3629[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3629[label="",style="solid", color="blue", weight=9]; 3629 -> 3125[label="",style="solid", color="blue", weight=3]; 3630[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3630[label="",style="solid", color="blue", weight=9]; 3630 -> 3126[label="",style="solid", color="blue", weight=3]; 3631[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3631[label="",style="solid", color="blue", weight=9]; 3631 -> 3127[label="",style="solid", color="blue", weight=3]; 3632[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3043 -> 3632[label="",style="solid", color="blue", weight=9]; 3632 -> 3128[label="",style="solid", color="blue", weight=3]; 3044 -> 2790[label="",style="dashed", color="red", weight=0]; 3044[label="yv1941 == yv1981",fontsize=16,color="magenta"];3044 -> 3129[label="",style="dashed", color="magenta", weight=3]; 3044 -> 3130[label="",style="dashed", color="magenta", weight=3]; 2968[label="yv1940",fontsize=16,color="green",shape="box"];2969[label="yv1980",fontsize=16,color="green",shape="box"];3045[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3633[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3633[label="",style="solid", color="blue", weight=9]; 3633 -> 3131[label="",style="solid", color="blue", weight=3]; 3634[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3634[label="",style="solid", color="blue", weight=9]; 3634 -> 3132[label="",style="solid", color="blue", weight=3]; 3635[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3635[label="",style="solid", color="blue", weight=9]; 3635 -> 3133[label="",style="solid", color="blue", weight=3]; 3636[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3636[label="",style="solid", color="blue", weight=9]; 3636 -> 3134[label="",style="solid", color="blue", weight=3]; 3637[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3637[label="",style="solid", color="blue", weight=9]; 3637 -> 3135[label="",style="solid", color="blue", weight=3]; 3638[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3638[label="",style="solid", color="blue", weight=9]; 3638 -> 3136[label="",style="solid", color="blue", weight=3]; 3639[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3639[label="",style="solid", color="blue", weight=9]; 3639 -> 3137[label="",style="solid", color="blue", weight=3]; 3640[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3640[label="",style="solid", color="blue", weight=9]; 3640 -> 3138[label="",style="solid", color="blue", weight=3]; 3641[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3641[label="",style="solid", color="blue", weight=9]; 3641 -> 3139[label="",style="solid", color="blue", weight=3]; 3642[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3642[label="",style="solid", color="blue", weight=9]; 3642 -> 3140[label="",style="solid", color="blue", weight=3]; 3643[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3643[label="",style="solid", color="blue", weight=9]; 3643 -> 3141[label="",style="solid", color="blue", weight=3]; 3644[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3644[label="",style="solid", color="blue", weight=9]; 3644 -> 3142[label="",style="solid", color="blue", weight=3]; 3645[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3645[label="",style="solid", color="blue", weight=9]; 3645 -> 3143[label="",style="solid", color="blue", weight=3]; 3646[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3045 -> 3646[label="",style="solid", color="blue", weight=9]; 3646 -> 3144[label="",style="solid", color="blue", weight=3]; 3046[label="yv1941 == yv1981",fontsize=16,color="blue",shape="box"];3647[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3647[label="",style="solid", color="blue", weight=9]; 3647 -> 3145[label="",style="solid", color="blue", weight=3]; 3648[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3648[label="",style="solid", color="blue", weight=9]; 3648 -> 3146[label="",style="solid", color="blue", weight=3]; 3649[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3649[label="",style="solid", color="blue", weight=9]; 3649 -> 3147[label="",style="solid", color="blue", weight=3]; 3650[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3650[label="",style="solid", color="blue", weight=9]; 3650 -> 3148[label="",style="solid", color="blue", weight=3]; 3651[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3651[label="",style="solid", color="blue", weight=9]; 3651 -> 3149[label="",style="solid", color="blue", weight=3]; 3652[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3652[label="",style="solid", color="blue", weight=9]; 3652 -> 3150[label="",style="solid", color="blue", weight=3]; 3653[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3653[label="",style="solid", color="blue", weight=9]; 3653 -> 3151[label="",style="solid", color="blue", weight=3]; 3654[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3654[label="",style="solid", color="blue", weight=9]; 3654 -> 3152[label="",style="solid", color="blue", weight=3]; 3655[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3655[label="",style="solid", color="blue", weight=9]; 3655 -> 3153[label="",style="solid", color="blue", weight=3]; 3656[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3656[label="",style="solid", color="blue", weight=9]; 3656 -> 3154[label="",style="solid", color="blue", weight=3]; 3657[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3657[label="",style="solid", color="blue", weight=9]; 3657 -> 3155[label="",style="solid", color="blue", weight=3]; 3658[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3658[label="",style="solid", color="blue", weight=9]; 3658 -> 3156[label="",style="solid", color="blue", weight=3]; 3659[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3659[label="",style="solid", color="blue", weight=9]; 3659 -> 3157[label="",style="solid", color="blue", weight=3]; 3660[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3046 -> 3660[label="",style="solid", color="blue", weight=9]; 3660 -> 3158[label="",style="solid", color="blue", weight=3]; 3047[label="yv1940 == yv1980",fontsize=16,color="blue",shape="box"];3661[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3047 -> 3661[label="",style="solid", color="blue", weight=9]; 3661 -> 3159[label="",style="solid", color="blue", weight=3]; 3662[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3047 -> 3662[label="",style="solid", color="blue", weight=9]; 3662 -> 3160[label="",style="solid", color="blue", weight=3]; 3048[label="yv1941 == yv1981",fontsize=16,color="blue",shape="box"];3663[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3048 -> 3663[label="",style="solid", color="blue", weight=9]; 3663 -> 3161[label="",style="solid", color="blue", weight=3]; 3664[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3048 -> 3664[label="",style="solid", color="blue", weight=9]; 3664 -> 3162[label="",style="solid", color="blue", weight=3]; 2970[label="yv210",fontsize=16,color="green",shape="box"];2971[label="yv208",fontsize=16,color="green",shape="box"];2972[label="yv209",fontsize=16,color="green",shape="box"];2973[label="yv2121",fontsize=16,color="green",shape="box"];2974[label="yv207",fontsize=16,color="green",shape="box"];2975[label="yv2120",fontsize=16,color="green",shape="box"];2976[label="List.nubNub'1 yv207 yv208 (yv209 : yv210) False",fontsize=16,color="black",shape="box"];2976 -> 3163[label="",style="solid", color="black", weight=3]; 2977[label="yv1940 * yv1981",fontsize=16,color="black",shape="triangle"];2977 -> 3164[label="",style="solid", color="black", weight=3]; 2978 -> 2977[label="",style="dashed", color="red", weight=0]; 2978[label="yv1941 * yv1980",fontsize=16,color="magenta"];2978 -> 3165[label="",style="dashed", color="magenta", weight=3]; 2978 -> 3166[label="",style="dashed", color="magenta", weight=3]; 2979[label="yv1940",fontsize=16,color="green",shape="box"];2980[label="yv1980",fontsize=16,color="green",shape="box"];2981[label="yv1940",fontsize=16,color="green",shape="box"];2982[label="yv1980",fontsize=16,color="green",shape="box"];2983[label="yv1940",fontsize=16,color="green",shape="box"];2984[label="yv1980",fontsize=16,color="green",shape="box"];2985[label="yv1940",fontsize=16,color="green",shape="box"];2986[label="yv1980",fontsize=16,color="green",shape="box"];2987[label="yv1940",fontsize=16,color="green",shape="box"];2988[label="yv1980",fontsize=16,color="green",shape="box"];2989[label="yv1940",fontsize=16,color="green",shape="box"];2990[label="yv1980",fontsize=16,color="green",shape="box"];2991[label="yv1940",fontsize=16,color="green",shape="box"];2992[label="yv1980",fontsize=16,color="green",shape="box"];2993[label="yv1940",fontsize=16,color="green",shape="box"];2994[label="yv1980",fontsize=16,color="green",shape="box"];2995[label="yv1940",fontsize=16,color="green",shape="box"];2996[label="yv1980",fontsize=16,color="green",shape="box"];2997[label="yv1940",fontsize=16,color="green",shape="box"];2998[label="yv1980",fontsize=16,color="green",shape="box"];2999[label="yv1940",fontsize=16,color="green",shape="box"];3000[label="yv1980",fontsize=16,color="green",shape="box"];3001[label="yv1940",fontsize=16,color="green",shape="box"];3002[label="yv1980",fontsize=16,color="green",shape="box"];3003[label="yv1940",fontsize=16,color="green",shape="box"];3004[label="yv1980",fontsize=16,color="green",shape="box"];3005[label="yv1940",fontsize=16,color="green",shape="box"];3006[label="yv1980",fontsize=16,color="green",shape="box"];3007[label="yv1940",fontsize=16,color="green",shape="box"];3008[label="yv1980",fontsize=16,color="green",shape="box"];3009[label="yv1940",fontsize=16,color="green",shape="box"];3010[label="yv1980",fontsize=16,color="green",shape="box"];3011[label="yv1940",fontsize=16,color="green",shape="box"];3012[label="yv1980",fontsize=16,color="green",shape="box"];3013[label="yv1940",fontsize=16,color="green",shape="box"];3014[label="yv1980",fontsize=16,color="green",shape="box"];3015[label="yv1940",fontsize=16,color="green",shape="box"];3016[label="yv1980",fontsize=16,color="green",shape="box"];3017[label="yv1940",fontsize=16,color="green",shape="box"];3018[label="yv1980",fontsize=16,color="green",shape="box"];3019[label="yv1940",fontsize=16,color="green",shape="box"];3020[label="yv1980",fontsize=16,color="green",shape="box"];3021[label="yv1940",fontsize=16,color="green",shape="box"];3022[label="yv1980",fontsize=16,color="green",shape="box"];3023[label="yv1940",fontsize=16,color="green",shape="box"];3024[label="yv1980",fontsize=16,color="green",shape="box"];3025[label="yv1940",fontsize=16,color="green",shape="box"];3026[label="yv1980",fontsize=16,color="green",shape="box"];3027[label="yv1940",fontsize=16,color="green",shape="box"];3028[label="yv1980",fontsize=16,color="green",shape="box"];3029[label="yv1940",fontsize=16,color="green",shape="box"];3030[label="yv1980",fontsize=16,color="green",shape="box"];3031[label="yv1940",fontsize=16,color="green",shape="box"];3032[label="yv1980",fontsize=16,color="green",shape="box"];3033[label="yv1940",fontsize=16,color="green",shape="box"];3034[label="yv1980",fontsize=16,color="green",shape="box"];3035 -> 2977[label="",style="dashed", color="red", weight=0]; 3035[label="yv1940 * yv1981",fontsize=16,color="magenta"];3035 -> 3167[label="",style="dashed", color="magenta", weight=3]; 3035 -> 3168[label="",style="dashed", color="magenta", weight=3]; 3036 -> 2977[label="",style="dashed", color="red", weight=0]; 3036[label="yv1941 * yv1980",fontsize=16,color="magenta"];3036 -> 3169[label="",style="dashed", color="magenta", weight=3]; 3036 -> 3170[label="",style="dashed", color="magenta", weight=3]; 3053 -> 2780[label="",style="dashed", color="red", weight=0]; 3053[label="yv1940 == yv1980",fontsize=16,color="magenta"];3053 -> 3171[label="",style="dashed", color="magenta", weight=3]; 3053 -> 3172[label="",style="dashed", color="magenta", weight=3]; 3054 -> 2781[label="",style="dashed", color="red", weight=0]; 3054[label="yv1940 == yv1980",fontsize=16,color="magenta"];3054 -> 3173[label="",style="dashed", color="magenta", weight=3]; 3054 -> 3174[label="",style="dashed", color="magenta", weight=3]; 3055 -> 2782[label="",style="dashed", color="red", weight=0]; 3055[label="yv1940 == yv1980",fontsize=16,color="magenta"];3055 -> 3175[label="",style="dashed", color="magenta", weight=3]; 3055 -> 3176[label="",style="dashed", color="magenta", weight=3]; 3056 -> 2783[label="",style="dashed", color="red", weight=0]; 3056[label="yv1940 == yv1980",fontsize=16,color="magenta"];3056 -> 3177[label="",style="dashed", color="magenta", weight=3]; 3056 -> 3178[label="",style="dashed", color="magenta", weight=3]; 3057 -> 2784[label="",style="dashed", color="red", weight=0]; 3057[label="yv1940 == yv1980",fontsize=16,color="magenta"];3057 -> 3179[label="",style="dashed", color="magenta", weight=3]; 3057 -> 3180[label="",style="dashed", color="magenta", weight=3]; 3058 -> 2785[label="",style="dashed", color="red", weight=0]; 3058[label="yv1940 == yv1980",fontsize=16,color="magenta"];3058 -> 3181[label="",style="dashed", color="magenta", weight=3]; 3058 -> 3182[label="",style="dashed", color="magenta", weight=3]; 3059 -> 2786[label="",style="dashed", color="red", weight=0]; 3059[label="yv1940 == yv1980",fontsize=16,color="magenta"];3059 -> 3183[label="",style="dashed", color="magenta", weight=3]; 3059 -> 3184[label="",style="dashed", color="magenta", weight=3]; 3060 -> 2787[label="",style="dashed", color="red", weight=0]; 3060[label="yv1940 == yv1980",fontsize=16,color="magenta"];3060 -> 3185[label="",style="dashed", color="magenta", weight=3]; 3060 -> 3186[label="",style="dashed", color="magenta", weight=3]; 3061 -> 2788[label="",style="dashed", color="red", weight=0]; 3061[label="yv1940 == yv1980",fontsize=16,color="magenta"];3061 -> 3187[label="",style="dashed", color="magenta", weight=3]; 3061 -> 3188[label="",style="dashed", color="magenta", weight=3]; 3062 -> 2789[label="",style="dashed", color="red", weight=0]; 3062[label="yv1940 == yv1980",fontsize=16,color="magenta"];3062 -> 3189[label="",style="dashed", color="magenta", weight=3]; 3062 -> 3190[label="",style="dashed", color="magenta", weight=3]; 3063 -> 2790[label="",style="dashed", color="red", weight=0]; 3063[label="yv1940 == yv1980",fontsize=16,color="magenta"];3063 -> 3191[label="",style="dashed", color="magenta", weight=3]; 3063 -> 3192[label="",style="dashed", color="magenta", weight=3]; 3064 -> 2791[label="",style="dashed", color="red", weight=0]; 3064[label="yv1940 == yv1980",fontsize=16,color="magenta"];3064 -> 3193[label="",style="dashed", color="magenta", weight=3]; 3064 -> 3194[label="",style="dashed", color="magenta", weight=3]; 3065 -> 2792[label="",style="dashed", color="red", weight=0]; 3065[label="yv1940 == yv1980",fontsize=16,color="magenta"];3065 -> 3195[label="",style="dashed", color="magenta", weight=3]; 3065 -> 3196[label="",style="dashed", color="magenta", weight=3]; 3066 -> 2793[label="",style="dashed", color="red", weight=0]; 3066[label="yv1940 == yv1980",fontsize=16,color="magenta"];3066 -> 3197[label="",style="dashed", color="magenta", weight=3]; 3066 -> 3198[label="",style="dashed", color="magenta", weight=3]; 3067[label="yv1941 == yv1981",fontsize=16,color="blue",shape="box"];3665[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3665[label="",style="solid", color="blue", weight=9]; 3665 -> 3199[label="",style="solid", color="blue", weight=3]; 3666[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3666[label="",style="solid", color="blue", weight=9]; 3666 -> 3200[label="",style="solid", color="blue", weight=3]; 3667[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3667[label="",style="solid", color="blue", weight=9]; 3667 -> 3201[label="",style="solid", color="blue", weight=3]; 3668[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3668[label="",style="solid", color="blue", weight=9]; 3668 -> 3202[label="",style="solid", color="blue", weight=3]; 3669[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3669[label="",style="solid", color="blue", weight=9]; 3669 -> 3203[label="",style="solid", color="blue", weight=3]; 3670[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3670[label="",style="solid", color="blue", weight=9]; 3670 -> 3204[label="",style="solid", color="blue", weight=3]; 3671[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3671[label="",style="solid", color="blue", weight=9]; 3671 -> 3205[label="",style="solid", color="blue", weight=3]; 3672[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3672[label="",style="solid", color="blue", weight=9]; 3672 -> 3206[label="",style="solid", color="blue", weight=3]; 3673[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3673[label="",style="solid", color="blue", weight=9]; 3673 -> 3207[label="",style="solid", color="blue", weight=3]; 3674[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3674[label="",style="solid", color="blue", weight=9]; 3674 -> 3208[label="",style="solid", color="blue", weight=3]; 3675[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3675[label="",style="solid", color="blue", weight=9]; 3675 -> 3209[label="",style="solid", color="blue", weight=3]; 3676[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3676[label="",style="solid", color="blue", weight=9]; 3676 -> 3210[label="",style="solid", color="blue", weight=3]; 3677[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3677[label="",style="solid", color="blue", weight=9]; 3677 -> 3211[label="",style="solid", color="blue", weight=3]; 3678[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3067 -> 3678[label="",style="solid", color="blue", weight=9]; 3678 -> 3212[label="",style="solid", color="blue", weight=3]; 3068[label="yv1942 == yv1982",fontsize=16,color="blue",shape="box"];3679[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3679[label="",style="solid", color="blue", weight=9]; 3679 -> 3213[label="",style="solid", color="blue", weight=3]; 3680[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3680[label="",style="solid", color="blue", weight=9]; 3680 -> 3214[label="",style="solid", color="blue", weight=3]; 3681[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3681[label="",style="solid", color="blue", weight=9]; 3681 -> 3215[label="",style="solid", color="blue", weight=3]; 3682[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3682[label="",style="solid", color="blue", weight=9]; 3682 -> 3216[label="",style="solid", color="blue", weight=3]; 3683[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3683[label="",style="solid", color="blue", weight=9]; 3683 -> 3217[label="",style="solid", color="blue", weight=3]; 3684[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3684[label="",style="solid", color="blue", weight=9]; 3684 -> 3218[label="",style="solid", color="blue", weight=3]; 3685[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3685[label="",style="solid", color="blue", weight=9]; 3685 -> 3219[label="",style="solid", color="blue", weight=3]; 3686[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3686[label="",style="solid", color="blue", weight=9]; 3686 -> 3220[label="",style="solid", color="blue", weight=3]; 3687[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3687[label="",style="solid", color="blue", weight=9]; 3687 -> 3221[label="",style="solid", color="blue", weight=3]; 3688[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3688[label="",style="solid", color="blue", weight=9]; 3688 -> 3222[label="",style="solid", color="blue", weight=3]; 3689[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3689[label="",style="solid", color="blue", weight=9]; 3689 -> 3223[label="",style="solid", color="blue", weight=3]; 3690[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3690[label="",style="solid", color="blue", weight=9]; 3690 -> 3224[label="",style="solid", color="blue", weight=3]; 3691[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3691[label="",style="solid", color="blue", weight=9]; 3691 -> 3225[label="",style="solid", color="blue", weight=3]; 3692[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3068 -> 3692[label="",style="solid", color="blue", weight=9]; 3692 -> 3226[label="",style="solid", color="blue", weight=3]; 3069[label="False && yv229",fontsize=16,color="black",shape="box"];3069 -> 3227[label="",style="solid", color="black", weight=3]; 3070[label="True && yv229",fontsize=16,color="black",shape="box"];3070 -> 3228[label="",style="solid", color="black", weight=3]; 3071[label="primEqNat (Succ yv19400) yv1980",fontsize=16,color="burlywood",shape="box"];3693[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];3071 -> 3693[label="",style="solid", color="burlywood", weight=9]; 3693 -> 3229[label="",style="solid", color="burlywood", weight=3]; 3694[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];3071 -> 3694[label="",style="solid", color="burlywood", weight=9]; 3694 -> 3230[label="",style="solid", color="burlywood", weight=3]; 3072[label="primEqNat Zero yv1980",fontsize=16,color="burlywood",shape="box"];3695[label="yv1980/Succ yv19800",fontsize=10,color="white",style="solid",shape="box"];3072 -> 3695[label="",style="solid", color="burlywood", weight=9]; 3695 -> 3231[label="",style="solid", color="burlywood", weight=3]; 3696[label="yv1980/Zero",fontsize=10,color="white",style="solid",shape="box"];3072 -> 3696[label="",style="solid", color="burlywood", weight=9]; 3696 -> 3232[label="",style="solid", color="burlywood", weight=3]; 3073[label="primEqInt (Pos (Succ yv19400)) (Pos (Succ yv19800))",fontsize=16,color="black",shape="box"];3073 -> 3233[label="",style="solid", color="black", weight=3]; 3074[label="primEqInt (Pos (Succ yv19400)) (Pos Zero)",fontsize=16,color="black",shape="box"];3074 -> 3234[label="",style="solid", color="black", weight=3]; 3075[label="False",fontsize=16,color="green",shape="box"];3076[label="primEqInt (Pos Zero) (Pos (Succ yv19800))",fontsize=16,color="black",shape="box"];3076 -> 3235[label="",style="solid", color="black", weight=3]; 3077[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];3077 -> 3236[label="",style="solid", color="black", weight=3]; 3078[label="primEqInt (Pos Zero) (Neg (Succ yv19800))",fontsize=16,color="black",shape="box"];3078 -> 3237[label="",style="solid", color="black", weight=3]; 3079[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];3079 -> 3238[label="",style="solid", color="black", weight=3]; 3080[label="False",fontsize=16,color="green",shape="box"];3081[label="primEqInt (Neg (Succ yv19400)) (Neg (Succ yv19800))",fontsize=16,color="black",shape="box"];3081 -> 3239[label="",style="solid", color="black", weight=3]; 3082[label="primEqInt (Neg (Succ yv19400)) (Neg Zero)",fontsize=16,color="black",shape="box"];3082 -> 3240[label="",style="solid", color="black", weight=3]; 3083[label="primEqInt (Neg Zero) (Pos (Succ yv19800))",fontsize=16,color="black",shape="box"];3083 -> 3241[label="",style="solid", color="black", weight=3]; 3084[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];3084 -> 3242[label="",style="solid", color="black", weight=3]; 3085[label="primEqInt (Neg Zero) (Neg (Succ yv19800))",fontsize=16,color="black",shape="box"];3085 -> 3243[label="",style="solid", color="black", weight=3]; 3086[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];3086 -> 3244[label="",style="solid", color="black", weight=3]; 3087[label="yv1940",fontsize=16,color="green",shape="box"];3088[label="yv1980",fontsize=16,color="green",shape="box"];3089[label="yv1940",fontsize=16,color="green",shape="box"];3090[label="yv1980",fontsize=16,color="green",shape="box"];3091[label="yv1940",fontsize=16,color="green",shape="box"];3092[label="yv1980",fontsize=16,color="green",shape="box"];3093[label="yv1940",fontsize=16,color="green",shape="box"];3094[label="yv1980",fontsize=16,color="green",shape="box"];3095[label="yv1940",fontsize=16,color="green",shape="box"];3096[label="yv1980",fontsize=16,color="green",shape="box"];3097[label="yv1940",fontsize=16,color="green",shape="box"];3098[label="yv1980",fontsize=16,color="green",shape="box"];3099[label="yv1940",fontsize=16,color="green",shape="box"];3100[label="yv1980",fontsize=16,color="green",shape="box"];3101[label="yv1940",fontsize=16,color="green",shape="box"];3102[label="yv1980",fontsize=16,color="green",shape="box"];3103[label="yv1940",fontsize=16,color="green",shape="box"];3104[label="yv1980",fontsize=16,color="green",shape="box"];3105[label="yv1940",fontsize=16,color="green",shape="box"];3106[label="yv1980",fontsize=16,color="green",shape="box"];3107[label="yv1940",fontsize=16,color="green",shape="box"];3108[label="yv1980",fontsize=16,color="green",shape="box"];3109[label="yv1940",fontsize=16,color="green",shape="box"];3110[label="yv1980",fontsize=16,color="green",shape="box"];3111[label="yv1940",fontsize=16,color="green",shape="box"];3112[label="yv1980",fontsize=16,color="green",shape="box"];3113[label="yv1940",fontsize=16,color="green",shape="box"];3114[label="yv1980",fontsize=16,color="green",shape="box"];3115 -> 2780[label="",style="dashed", color="red", weight=0]; 3115[label="yv1940 == yv1980",fontsize=16,color="magenta"];3115 -> 3245[label="",style="dashed", color="magenta", weight=3]; 3115 -> 3246[label="",style="dashed", color="magenta", weight=3]; 3116 -> 2781[label="",style="dashed", color="red", weight=0]; 3116[label="yv1940 == yv1980",fontsize=16,color="magenta"];3116 -> 3247[label="",style="dashed", color="magenta", weight=3]; 3116 -> 3248[label="",style="dashed", color="magenta", weight=3]; 3117 -> 2782[label="",style="dashed", color="red", weight=0]; 3117[label="yv1940 == yv1980",fontsize=16,color="magenta"];3117 -> 3249[label="",style="dashed", color="magenta", weight=3]; 3117 -> 3250[label="",style="dashed", color="magenta", weight=3]; 3118 -> 2783[label="",style="dashed", color="red", weight=0]; 3118[label="yv1940 == yv1980",fontsize=16,color="magenta"];3118 -> 3251[label="",style="dashed", color="magenta", weight=3]; 3118 -> 3252[label="",style="dashed", color="magenta", weight=3]; 3119 -> 2784[label="",style="dashed", color="red", weight=0]; 3119[label="yv1940 == yv1980",fontsize=16,color="magenta"];3119 -> 3253[label="",style="dashed", color="magenta", weight=3]; 3119 -> 3254[label="",style="dashed", color="magenta", weight=3]; 3120 -> 2785[label="",style="dashed", color="red", weight=0]; 3120[label="yv1940 == yv1980",fontsize=16,color="magenta"];3120 -> 3255[label="",style="dashed", color="magenta", weight=3]; 3120 -> 3256[label="",style="dashed", color="magenta", weight=3]; 3121 -> 2786[label="",style="dashed", color="red", weight=0]; 3121[label="yv1940 == yv1980",fontsize=16,color="magenta"];3121 -> 3257[label="",style="dashed", color="magenta", weight=3]; 3121 -> 3258[label="",style="dashed", color="magenta", weight=3]; 3122 -> 2787[label="",style="dashed", color="red", weight=0]; 3122[label="yv1940 == yv1980",fontsize=16,color="magenta"];3122 -> 3259[label="",style="dashed", color="magenta", weight=3]; 3122 -> 3260[label="",style="dashed", color="magenta", weight=3]; 3123 -> 2788[label="",style="dashed", color="red", weight=0]; 3123[label="yv1940 == yv1980",fontsize=16,color="magenta"];3123 -> 3261[label="",style="dashed", color="magenta", weight=3]; 3123 -> 3262[label="",style="dashed", color="magenta", weight=3]; 3124 -> 2789[label="",style="dashed", color="red", weight=0]; 3124[label="yv1940 == yv1980",fontsize=16,color="magenta"];3124 -> 3263[label="",style="dashed", color="magenta", weight=3]; 3124 -> 3264[label="",style="dashed", color="magenta", weight=3]; 3125 -> 2790[label="",style="dashed", color="red", weight=0]; 3125[label="yv1940 == yv1980",fontsize=16,color="magenta"];3125 -> 3265[label="",style="dashed", color="magenta", weight=3]; 3125 -> 3266[label="",style="dashed", color="magenta", weight=3]; 3126 -> 2791[label="",style="dashed", color="red", weight=0]; 3126[label="yv1940 == yv1980",fontsize=16,color="magenta"];3126 -> 3267[label="",style="dashed", color="magenta", weight=3]; 3126 -> 3268[label="",style="dashed", color="magenta", weight=3]; 3127 -> 2792[label="",style="dashed", color="red", weight=0]; 3127[label="yv1940 == yv1980",fontsize=16,color="magenta"];3127 -> 3269[label="",style="dashed", color="magenta", weight=3]; 3127 -> 3270[label="",style="dashed", color="magenta", weight=3]; 3128 -> 2793[label="",style="dashed", color="red", weight=0]; 3128[label="yv1940 == yv1980",fontsize=16,color="magenta"];3128 -> 3271[label="",style="dashed", color="magenta", weight=3]; 3128 -> 3272[label="",style="dashed", color="magenta", weight=3]; 3129[label="yv1941",fontsize=16,color="green",shape="box"];3130[label="yv1981",fontsize=16,color="green",shape="box"];3131 -> 2780[label="",style="dashed", color="red", weight=0]; 3131[label="yv1940 == yv1980",fontsize=16,color="magenta"];3131 -> 3273[label="",style="dashed", color="magenta", weight=3]; 3131 -> 3274[label="",style="dashed", color="magenta", weight=3]; 3132 -> 2781[label="",style="dashed", color="red", weight=0]; 3132[label="yv1940 == yv1980",fontsize=16,color="magenta"];3132 -> 3275[label="",style="dashed", color="magenta", weight=3]; 3132 -> 3276[label="",style="dashed", color="magenta", weight=3]; 3133 -> 2782[label="",style="dashed", color="red", weight=0]; 3133[label="yv1940 == yv1980",fontsize=16,color="magenta"];3133 -> 3277[label="",style="dashed", color="magenta", weight=3]; 3133 -> 3278[label="",style="dashed", color="magenta", weight=3]; 3134 -> 2783[label="",style="dashed", color="red", weight=0]; 3134[label="yv1940 == yv1980",fontsize=16,color="magenta"];3134 -> 3279[label="",style="dashed", color="magenta", weight=3]; 3134 -> 3280[label="",style="dashed", color="magenta", weight=3]; 3135 -> 2784[label="",style="dashed", color="red", weight=0]; 3135[label="yv1940 == yv1980",fontsize=16,color="magenta"];3135 -> 3281[label="",style="dashed", color="magenta", weight=3]; 3135 -> 3282[label="",style="dashed", color="magenta", weight=3]; 3136 -> 2785[label="",style="dashed", color="red", weight=0]; 3136[label="yv1940 == yv1980",fontsize=16,color="magenta"];3136 -> 3283[label="",style="dashed", color="magenta", weight=3]; 3136 -> 3284[label="",style="dashed", color="magenta", weight=3]; 3137 -> 2786[label="",style="dashed", color="red", weight=0]; 3137[label="yv1940 == yv1980",fontsize=16,color="magenta"];3137 -> 3285[label="",style="dashed", color="magenta", weight=3]; 3137 -> 3286[label="",style="dashed", color="magenta", weight=3]; 3138 -> 2787[label="",style="dashed", color="red", weight=0]; 3138[label="yv1940 == yv1980",fontsize=16,color="magenta"];3138 -> 3287[label="",style="dashed", color="magenta", weight=3]; 3138 -> 3288[label="",style="dashed", color="magenta", weight=3]; 3139 -> 2788[label="",style="dashed", color="red", weight=0]; 3139[label="yv1940 == yv1980",fontsize=16,color="magenta"];3139 -> 3289[label="",style="dashed", color="magenta", weight=3]; 3139 -> 3290[label="",style="dashed", color="magenta", weight=3]; 3140 -> 2789[label="",style="dashed", color="red", weight=0]; 3140[label="yv1940 == yv1980",fontsize=16,color="magenta"];3140 -> 3291[label="",style="dashed", color="magenta", weight=3]; 3140 -> 3292[label="",style="dashed", color="magenta", weight=3]; 3141 -> 2790[label="",style="dashed", color="red", weight=0]; 3141[label="yv1940 == yv1980",fontsize=16,color="magenta"];3141 -> 3293[label="",style="dashed", color="magenta", weight=3]; 3141 -> 3294[label="",style="dashed", color="magenta", weight=3]; 3142 -> 2791[label="",style="dashed", color="red", weight=0]; 3142[label="yv1940 == yv1980",fontsize=16,color="magenta"];3142 -> 3295[label="",style="dashed", color="magenta", weight=3]; 3142 -> 3296[label="",style="dashed", color="magenta", weight=3]; 3143 -> 2792[label="",style="dashed", color="red", weight=0]; 3143[label="yv1940 == yv1980",fontsize=16,color="magenta"];3143 -> 3297[label="",style="dashed", color="magenta", weight=3]; 3143 -> 3298[label="",style="dashed", color="magenta", weight=3]; 3144 -> 2793[label="",style="dashed", color="red", weight=0]; 3144[label="yv1940 == yv1980",fontsize=16,color="magenta"];3144 -> 3299[label="",style="dashed", color="magenta", weight=3]; 3144 -> 3300[label="",style="dashed", color="magenta", weight=3]; 3145 -> 2780[label="",style="dashed", color="red", weight=0]; 3145[label="yv1941 == yv1981",fontsize=16,color="magenta"];3145 -> 3301[label="",style="dashed", color="magenta", weight=3]; 3145 -> 3302[label="",style="dashed", color="magenta", weight=3]; 3146 -> 2781[label="",style="dashed", color="red", weight=0]; 3146[label="yv1941 == yv1981",fontsize=16,color="magenta"];3146 -> 3303[label="",style="dashed", color="magenta", weight=3]; 3146 -> 3304[label="",style="dashed", color="magenta", weight=3]; 3147 -> 2782[label="",style="dashed", color="red", weight=0]; 3147[label="yv1941 == yv1981",fontsize=16,color="magenta"];3147 -> 3305[label="",style="dashed", color="magenta", weight=3]; 3147 -> 3306[label="",style="dashed", color="magenta", weight=3]; 3148 -> 2783[label="",style="dashed", color="red", weight=0]; 3148[label="yv1941 == yv1981",fontsize=16,color="magenta"];3148 -> 3307[label="",style="dashed", color="magenta", weight=3]; 3148 -> 3308[label="",style="dashed", color="magenta", weight=3]; 3149 -> 2784[label="",style="dashed", color="red", weight=0]; 3149[label="yv1941 == yv1981",fontsize=16,color="magenta"];3149 -> 3309[label="",style="dashed", color="magenta", weight=3]; 3149 -> 3310[label="",style="dashed", color="magenta", weight=3]; 3150 -> 2785[label="",style="dashed", color="red", weight=0]; 3150[label="yv1941 == yv1981",fontsize=16,color="magenta"];3150 -> 3311[label="",style="dashed", color="magenta", weight=3]; 3150 -> 3312[label="",style="dashed", color="magenta", weight=3]; 3151 -> 2786[label="",style="dashed", color="red", weight=0]; 3151[label="yv1941 == yv1981",fontsize=16,color="magenta"];3151 -> 3313[label="",style="dashed", color="magenta", weight=3]; 3151 -> 3314[label="",style="dashed", color="magenta", weight=3]; 3152 -> 2787[label="",style="dashed", color="red", weight=0]; 3152[label="yv1941 == yv1981",fontsize=16,color="magenta"];3152 -> 3315[label="",style="dashed", color="magenta", weight=3]; 3152 -> 3316[label="",style="dashed", color="magenta", weight=3]; 3153 -> 2788[label="",style="dashed", color="red", weight=0]; 3153[label="yv1941 == yv1981",fontsize=16,color="magenta"];3153 -> 3317[label="",style="dashed", color="magenta", weight=3]; 3153 -> 3318[label="",style="dashed", color="magenta", weight=3]; 3154 -> 2789[label="",style="dashed", color="red", weight=0]; 3154[label="yv1941 == yv1981",fontsize=16,color="magenta"];3154 -> 3319[label="",style="dashed", color="magenta", weight=3]; 3154 -> 3320[label="",style="dashed", color="magenta", weight=3]; 3155 -> 2790[label="",style="dashed", color="red", weight=0]; 3155[label="yv1941 == yv1981",fontsize=16,color="magenta"];3155 -> 3321[label="",style="dashed", color="magenta", weight=3]; 3155 -> 3322[label="",style="dashed", color="magenta", weight=3]; 3156 -> 2791[label="",style="dashed", color="red", weight=0]; 3156[label="yv1941 == yv1981",fontsize=16,color="magenta"];3156 -> 3323[label="",style="dashed", color="magenta", weight=3]; 3156 -> 3324[label="",style="dashed", color="magenta", weight=3]; 3157 -> 2792[label="",style="dashed", color="red", weight=0]; 3157[label="yv1941 == yv1981",fontsize=16,color="magenta"];3157 -> 3325[label="",style="dashed", color="magenta", weight=3]; 3157 -> 3326[label="",style="dashed", color="magenta", weight=3]; 3158 -> 2793[label="",style="dashed", color="red", weight=0]; 3158[label="yv1941 == yv1981",fontsize=16,color="magenta"];3158 -> 3327[label="",style="dashed", color="magenta", weight=3]; 3158 -> 3328[label="",style="dashed", color="magenta", weight=3]; 3159 -> 2787[label="",style="dashed", color="red", weight=0]; 3159[label="yv1940 == yv1980",fontsize=16,color="magenta"];3159 -> 3329[label="",style="dashed", color="magenta", weight=3]; 3159 -> 3330[label="",style="dashed", color="magenta", weight=3]; 3160 -> 2791[label="",style="dashed", color="red", weight=0]; 3160[label="yv1940 == yv1980",fontsize=16,color="magenta"];3160 -> 3331[label="",style="dashed", color="magenta", weight=3]; 3160 -> 3332[label="",style="dashed", color="magenta", weight=3]; 3161 -> 2787[label="",style="dashed", color="red", weight=0]; 3161[label="yv1941 == yv1981",fontsize=16,color="magenta"];3161 -> 3333[label="",style="dashed", color="magenta", weight=3]; 3161 -> 3334[label="",style="dashed", color="magenta", weight=3]; 3162 -> 2791[label="",style="dashed", color="red", weight=0]; 3162[label="yv1941 == yv1981",fontsize=16,color="magenta"];3162 -> 3335[label="",style="dashed", color="magenta", weight=3]; 3162 -> 3336[label="",style="dashed", color="magenta", weight=3]; 3163[label="List.nubNub'0 yv207 yv208 (yv209 : yv210) otherwise",fontsize=16,color="black",shape="box"];3163 -> 3337[label="",style="solid", color="black", weight=3]; 3164[label="primMulInt yv1940 yv1981",fontsize=16,color="burlywood",shape="box"];3697[label="yv1940/Pos yv19400",fontsize=10,color="white",style="solid",shape="box"];3164 -> 3697[label="",style="solid", color="burlywood", weight=9]; 3697 -> 3338[label="",style="solid", color="burlywood", weight=3]; 3698[label="yv1940/Neg yv19400",fontsize=10,color="white",style="solid",shape="box"];3164 -> 3698[label="",style="solid", color="burlywood", weight=9]; 3698 -> 3339[label="",style="solid", color="burlywood", weight=3]; 3165[label="yv1980",fontsize=16,color="green",shape="box"];3166[label="yv1941",fontsize=16,color="green",shape="box"];3167[label="yv1981",fontsize=16,color="green",shape="box"];3168[label="yv1940",fontsize=16,color="green",shape="box"];3169[label="yv1980",fontsize=16,color="green",shape="box"];3170[label="yv1941",fontsize=16,color="green",shape="box"];3171[label="yv1940",fontsize=16,color="green",shape="box"];3172[label="yv1980",fontsize=16,color="green",shape="box"];3173[label="yv1940",fontsize=16,color="green",shape="box"];3174[label="yv1980",fontsize=16,color="green",shape="box"];3175[label="yv1940",fontsize=16,color="green",shape="box"];3176[label="yv1980",fontsize=16,color="green",shape="box"];3177[label="yv1940",fontsize=16,color="green",shape="box"];3178[label="yv1980",fontsize=16,color="green",shape="box"];3179[label="yv1940",fontsize=16,color="green",shape="box"];3180[label="yv1980",fontsize=16,color="green",shape="box"];3181[label="yv1940",fontsize=16,color="green",shape="box"];3182[label="yv1980",fontsize=16,color="green",shape="box"];3183[label="yv1940",fontsize=16,color="green",shape="box"];3184[label="yv1980",fontsize=16,color="green",shape="box"];3185[label="yv1940",fontsize=16,color="green",shape="box"];3186[label="yv1980",fontsize=16,color="green",shape="box"];3187[label="yv1940",fontsize=16,color="green",shape="box"];3188[label="yv1980",fontsize=16,color="green",shape="box"];3189[label="yv1940",fontsize=16,color="green",shape="box"];3190[label="yv1980",fontsize=16,color="green",shape="box"];3191[label="yv1940",fontsize=16,color="green",shape="box"];3192[label="yv1980",fontsize=16,color="green",shape="box"];3193[label="yv1940",fontsize=16,color="green",shape="box"];3194[label="yv1980",fontsize=16,color="green",shape="box"];3195[label="yv1940",fontsize=16,color="green",shape="box"];3196[label="yv1980",fontsize=16,color="green",shape="box"];3197[label="yv1940",fontsize=16,color="green",shape="box"];3198[label="yv1980",fontsize=16,color="green",shape="box"];3199 -> 2780[label="",style="dashed", color="red", weight=0]; 3199[label="yv1941 == yv1981",fontsize=16,color="magenta"];3199 -> 3340[label="",style="dashed", color="magenta", weight=3]; 3199 -> 3341[label="",style="dashed", color="magenta", weight=3]; 3200 -> 2781[label="",style="dashed", color="red", weight=0]; 3200[label="yv1941 == yv1981",fontsize=16,color="magenta"];3200 -> 3342[label="",style="dashed", color="magenta", weight=3]; 3200 -> 3343[label="",style="dashed", color="magenta", weight=3]; 3201 -> 2782[label="",style="dashed", color="red", weight=0]; 3201[label="yv1941 == yv1981",fontsize=16,color="magenta"];3201 -> 3344[label="",style="dashed", color="magenta", weight=3]; 3201 -> 3345[label="",style="dashed", color="magenta", weight=3]; 3202 -> 2783[label="",style="dashed", color="red", weight=0]; 3202[label="yv1941 == yv1981",fontsize=16,color="magenta"];3202 -> 3346[label="",style="dashed", color="magenta", weight=3]; 3202 -> 3347[label="",style="dashed", color="magenta", weight=3]; 3203 -> 2784[label="",style="dashed", color="red", weight=0]; 3203[label="yv1941 == yv1981",fontsize=16,color="magenta"];3203 -> 3348[label="",style="dashed", color="magenta", weight=3]; 3203 -> 3349[label="",style="dashed", color="magenta", weight=3]; 3204 -> 2785[label="",style="dashed", color="red", weight=0]; 3204[label="yv1941 == yv1981",fontsize=16,color="magenta"];3204 -> 3350[label="",style="dashed", color="magenta", weight=3]; 3204 -> 3351[label="",style="dashed", color="magenta", weight=3]; 3205 -> 2786[label="",style="dashed", color="red", weight=0]; 3205[label="yv1941 == yv1981",fontsize=16,color="magenta"];3205 -> 3352[label="",style="dashed", color="magenta", weight=3]; 3205 -> 3353[label="",style="dashed", color="magenta", weight=3]; 3206 -> 2787[label="",style="dashed", color="red", weight=0]; 3206[label="yv1941 == yv1981",fontsize=16,color="magenta"];3206 -> 3354[label="",style="dashed", color="magenta", weight=3]; 3206 -> 3355[label="",style="dashed", color="magenta", weight=3]; 3207 -> 2788[label="",style="dashed", color="red", weight=0]; 3207[label="yv1941 == yv1981",fontsize=16,color="magenta"];3207 -> 3356[label="",style="dashed", color="magenta", weight=3]; 3207 -> 3357[label="",style="dashed", color="magenta", weight=3]; 3208 -> 2789[label="",style="dashed", color="red", weight=0]; 3208[label="yv1941 == yv1981",fontsize=16,color="magenta"];3208 -> 3358[label="",style="dashed", color="magenta", weight=3]; 3208 -> 3359[label="",style="dashed", color="magenta", weight=3]; 3209 -> 2790[label="",style="dashed", color="red", weight=0]; 3209[label="yv1941 == yv1981",fontsize=16,color="magenta"];3209 -> 3360[label="",style="dashed", color="magenta", weight=3]; 3209 -> 3361[label="",style="dashed", color="magenta", weight=3]; 3210 -> 2791[label="",style="dashed", color="red", weight=0]; 3210[label="yv1941 == yv1981",fontsize=16,color="magenta"];3210 -> 3362[label="",style="dashed", color="magenta", weight=3]; 3210 -> 3363[label="",style="dashed", color="magenta", weight=3]; 3211 -> 2792[label="",style="dashed", color="red", weight=0]; 3211[label="yv1941 == yv1981",fontsize=16,color="magenta"];3211 -> 3364[label="",style="dashed", color="magenta", weight=3]; 3211 -> 3365[label="",style="dashed", color="magenta", weight=3]; 3212 -> 2793[label="",style="dashed", color="red", weight=0]; 3212[label="yv1941 == yv1981",fontsize=16,color="magenta"];3212 -> 3366[label="",style="dashed", color="magenta", weight=3]; 3212 -> 3367[label="",style="dashed", color="magenta", weight=3]; 3213 -> 2780[label="",style="dashed", color="red", weight=0]; 3213[label="yv1942 == yv1982",fontsize=16,color="magenta"];3213 -> 3368[label="",style="dashed", color="magenta", weight=3]; 3213 -> 3369[label="",style="dashed", color="magenta", weight=3]; 3214 -> 2781[label="",style="dashed", color="red", weight=0]; 3214[label="yv1942 == yv1982",fontsize=16,color="magenta"];3214 -> 3370[label="",style="dashed", color="magenta", weight=3]; 3214 -> 3371[label="",style="dashed", color="magenta", weight=3]; 3215 -> 2782[label="",style="dashed", color="red", weight=0]; 3215[label="yv1942 == yv1982",fontsize=16,color="magenta"];3215 -> 3372[label="",style="dashed", color="magenta", weight=3]; 3215 -> 3373[label="",style="dashed", color="magenta", weight=3]; 3216 -> 2783[label="",style="dashed", color="red", weight=0]; 3216[label="yv1942 == yv1982",fontsize=16,color="magenta"];3216 -> 3374[label="",style="dashed", color="magenta", weight=3]; 3216 -> 3375[label="",style="dashed", color="magenta", weight=3]; 3217 -> 2784[label="",style="dashed", color="red", weight=0]; 3217[label="yv1942 == yv1982",fontsize=16,color="magenta"];3217 -> 3376[label="",style="dashed", color="magenta", weight=3]; 3217 -> 3377[label="",style="dashed", color="magenta", weight=3]; 3218 -> 2785[label="",style="dashed", color="red", weight=0]; 3218[label="yv1942 == yv1982",fontsize=16,color="magenta"];3218 -> 3378[label="",style="dashed", color="magenta", weight=3]; 3218 -> 3379[label="",style="dashed", color="magenta", weight=3]; 3219 -> 2786[label="",style="dashed", color="red", weight=0]; 3219[label="yv1942 == yv1982",fontsize=16,color="magenta"];3219 -> 3380[label="",style="dashed", color="magenta", weight=3]; 3219 -> 3381[label="",style="dashed", color="magenta", weight=3]; 3220 -> 2787[label="",style="dashed", color="red", weight=0]; 3220[label="yv1942 == yv1982",fontsize=16,color="magenta"];3220 -> 3382[label="",style="dashed", color="magenta", weight=3]; 3220 -> 3383[label="",style="dashed", color="magenta", weight=3]; 3221 -> 2788[label="",style="dashed", color="red", weight=0]; 3221[label="yv1942 == yv1982",fontsize=16,color="magenta"];3221 -> 3384[label="",style="dashed", color="magenta", weight=3]; 3221 -> 3385[label="",style="dashed", color="magenta", weight=3]; 3222 -> 2789[label="",style="dashed", color="red", weight=0]; 3222[label="yv1942 == yv1982",fontsize=16,color="magenta"];3222 -> 3386[label="",style="dashed", color="magenta", weight=3]; 3222 -> 3387[label="",style="dashed", color="magenta", weight=3]; 3223 -> 2790[label="",style="dashed", color="red", weight=0]; 3223[label="yv1942 == yv1982",fontsize=16,color="magenta"];3223 -> 3388[label="",style="dashed", color="magenta", weight=3]; 3223 -> 3389[label="",style="dashed", color="magenta", weight=3]; 3224 -> 2791[label="",style="dashed", color="red", weight=0]; 3224[label="yv1942 == yv1982",fontsize=16,color="magenta"];3224 -> 3390[label="",style="dashed", color="magenta", weight=3]; 3224 -> 3391[label="",style="dashed", color="magenta", weight=3]; 3225 -> 2792[label="",style="dashed", color="red", weight=0]; 3225[label="yv1942 == yv1982",fontsize=16,color="magenta"];3225 -> 3392[label="",style="dashed", color="magenta", weight=3]; 3225 -> 3393[label="",style="dashed", color="magenta", weight=3]; 3226 -> 2793[label="",style="dashed", color="red", weight=0]; 3226[label="yv1942 == yv1982",fontsize=16,color="magenta"];3226 -> 3394[label="",style="dashed", color="magenta", weight=3]; 3226 -> 3395[label="",style="dashed", color="magenta", weight=3]; 3227[label="False",fontsize=16,color="green",shape="box"];3228[label="yv229",fontsize=16,color="green",shape="box"];3229[label="primEqNat (Succ yv19400) (Succ yv19800)",fontsize=16,color="black",shape="box"];3229 -> 3396[label="",style="solid", color="black", weight=3]; 3230[label="primEqNat (Succ yv19400) Zero",fontsize=16,color="black",shape="box"];3230 -> 3397[label="",style="solid", color="black", weight=3]; 3231[label="primEqNat Zero (Succ yv19800)",fontsize=16,color="black",shape="box"];3231 -> 3398[label="",style="solid", color="black", weight=3]; 3232[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];3232 -> 3399[label="",style="solid", color="black", weight=3]; 3233 -> 2934[label="",style="dashed", color="red", weight=0]; 3233[label="primEqNat yv19400 yv19800",fontsize=16,color="magenta"];3233 -> 3400[label="",style="dashed", color="magenta", weight=3]; 3233 -> 3401[label="",style="dashed", color="magenta", weight=3]; 3234[label="False",fontsize=16,color="green",shape="box"];3235[label="False",fontsize=16,color="green",shape="box"];3236[label="True",fontsize=16,color="green",shape="box"];3237[label="False",fontsize=16,color="green",shape="box"];3238[label="True",fontsize=16,color="green",shape="box"];3239 -> 2934[label="",style="dashed", color="red", weight=0]; 3239[label="primEqNat yv19400 yv19800",fontsize=16,color="magenta"];3239 -> 3402[label="",style="dashed", color="magenta", weight=3]; 3239 -> 3403[label="",style="dashed", color="magenta", weight=3]; 3240[label="False",fontsize=16,color="green",shape="box"];3241[label="False",fontsize=16,color="green",shape="box"];3242[label="True",fontsize=16,color="green",shape="box"];3243[label="False",fontsize=16,color="green",shape="box"];3244[label="True",fontsize=16,color="green",shape="box"];3245[label="yv1940",fontsize=16,color="green",shape="box"];3246[label="yv1980",fontsize=16,color="green",shape="box"];3247[label="yv1940",fontsize=16,color="green",shape="box"];3248[label="yv1980",fontsize=16,color="green",shape="box"];3249[label="yv1940",fontsize=16,color="green",shape="box"];3250[label="yv1980",fontsize=16,color="green",shape="box"];3251[label="yv1940",fontsize=16,color="green",shape="box"];3252[label="yv1980",fontsize=16,color="green",shape="box"];3253[label="yv1940",fontsize=16,color="green",shape="box"];3254[label="yv1980",fontsize=16,color="green",shape="box"];3255[label="yv1940",fontsize=16,color="green",shape="box"];3256[label="yv1980",fontsize=16,color="green",shape="box"];3257[label="yv1940",fontsize=16,color="green",shape="box"];3258[label="yv1980",fontsize=16,color="green",shape="box"];3259[label="yv1940",fontsize=16,color="green",shape="box"];3260[label="yv1980",fontsize=16,color="green",shape="box"];3261[label="yv1940",fontsize=16,color="green",shape="box"];3262[label="yv1980",fontsize=16,color="green",shape="box"];3263[label="yv1940",fontsize=16,color="green",shape="box"];3264[label="yv1980",fontsize=16,color="green",shape="box"];3265[label="yv1940",fontsize=16,color="green",shape="box"];3266[label="yv1980",fontsize=16,color="green",shape="box"];3267[label="yv1940",fontsize=16,color="green",shape="box"];3268[label="yv1980",fontsize=16,color="green",shape="box"];3269[label="yv1940",fontsize=16,color="green",shape="box"];3270[label="yv1980",fontsize=16,color="green",shape="box"];3271[label="yv1940",fontsize=16,color="green",shape="box"];3272[label="yv1980",fontsize=16,color="green",shape="box"];3273[label="yv1940",fontsize=16,color="green",shape="box"];3274[label="yv1980",fontsize=16,color="green",shape="box"];3275[label="yv1940",fontsize=16,color="green",shape="box"];3276[label="yv1980",fontsize=16,color="green",shape="box"];3277[label="yv1940",fontsize=16,color="green",shape="box"];3278[label="yv1980",fontsize=16,color="green",shape="box"];3279[label="yv1940",fontsize=16,color="green",shape="box"];3280[label="yv1980",fontsize=16,color="green",shape="box"];3281[label="yv1940",fontsize=16,color="green",shape="box"];3282[label="yv1980",fontsize=16,color="green",shape="box"];3283[label="yv1940",fontsize=16,color="green",shape="box"];3284[label="yv1980",fontsize=16,color="green",shape="box"];3285[label="yv1940",fontsize=16,color="green",shape="box"];3286[label="yv1980",fontsize=16,color="green",shape="box"];3287[label="yv1940",fontsize=16,color="green",shape="box"];3288[label="yv1980",fontsize=16,color="green",shape="box"];3289[label="yv1940",fontsize=16,color="green",shape="box"];3290[label="yv1980",fontsize=16,color="green",shape="box"];3291[label="yv1940",fontsize=16,color="green",shape="box"];3292[label="yv1980",fontsize=16,color="green",shape="box"];3293[label="yv1940",fontsize=16,color="green",shape="box"];3294[label="yv1980",fontsize=16,color="green",shape="box"];3295[label="yv1940",fontsize=16,color="green",shape="box"];3296[label="yv1980",fontsize=16,color="green",shape="box"];3297[label="yv1940",fontsize=16,color="green",shape="box"];3298[label="yv1980",fontsize=16,color="green",shape="box"];3299[label="yv1940",fontsize=16,color="green",shape="box"];3300[label="yv1980",fontsize=16,color="green",shape="box"];3301[label="yv1941",fontsize=16,color="green",shape="box"];3302[label="yv1981",fontsize=16,color="green",shape="box"];3303[label="yv1941",fontsize=16,color="green",shape="box"];3304[label="yv1981",fontsize=16,color="green",shape="box"];3305[label="yv1941",fontsize=16,color="green",shape="box"];3306[label="yv1981",fontsize=16,color="green",shape="box"];3307[label="yv1941",fontsize=16,color="green",shape="box"];3308[label="yv1981",fontsize=16,color="green",shape="box"];3309[label="yv1941",fontsize=16,color="green",shape="box"];3310[label="yv1981",fontsize=16,color="green",shape="box"];3311[label="yv1941",fontsize=16,color="green",shape="box"];3312[label="yv1981",fontsize=16,color="green",shape="box"];3313[label="yv1941",fontsize=16,color="green",shape="box"];3314[label="yv1981",fontsize=16,color="green",shape="box"];3315[label="yv1941",fontsize=16,color="green",shape="box"];3316[label="yv1981",fontsize=16,color="green",shape="box"];3317[label="yv1941",fontsize=16,color="green",shape="box"];3318[label="yv1981",fontsize=16,color="green",shape="box"];3319[label="yv1941",fontsize=16,color="green",shape="box"];3320[label="yv1981",fontsize=16,color="green",shape="box"];3321[label="yv1941",fontsize=16,color="green",shape="box"];3322[label="yv1981",fontsize=16,color="green",shape="box"];3323[label="yv1941",fontsize=16,color="green",shape="box"];3324[label="yv1981",fontsize=16,color="green",shape="box"];3325[label="yv1941",fontsize=16,color="green",shape="box"];3326[label="yv1981",fontsize=16,color="green",shape="box"];3327[label="yv1941",fontsize=16,color="green",shape="box"];3328[label="yv1981",fontsize=16,color="green",shape="box"];3329[label="yv1940",fontsize=16,color="green",shape="box"];3330[label="yv1980",fontsize=16,color="green",shape="box"];3331[label="yv1940",fontsize=16,color="green",shape="box"];3332[label="yv1980",fontsize=16,color="green",shape="box"];3333[label="yv1941",fontsize=16,color="green",shape="box"];3334[label="yv1981",fontsize=16,color="green",shape="box"];3335[label="yv1941",fontsize=16,color="green",shape="box"];3336[label="yv1981",fontsize=16,color="green",shape="box"];3337[label="List.nubNub'0 yv207 yv208 (yv209 : yv210) True",fontsize=16,color="black",shape="box"];3337 -> 3404[label="",style="solid", color="black", weight=3]; 3338[label="primMulInt (Pos yv19400) yv1981",fontsize=16,color="burlywood",shape="box"];3699[label="yv1981/Pos yv19810",fontsize=10,color="white",style="solid",shape="box"];3338 -> 3699[label="",style="solid", color="burlywood", weight=9]; 3699 -> 3405[label="",style="solid", color="burlywood", weight=3]; 3700[label="yv1981/Neg yv19810",fontsize=10,color="white",style="solid",shape="box"];3338 -> 3700[label="",style="solid", color="burlywood", weight=9]; 3700 -> 3406[label="",style="solid", color="burlywood", weight=3]; 3339[label="primMulInt (Neg yv19400) yv1981",fontsize=16,color="burlywood",shape="box"];3701[label="yv1981/Pos yv19810",fontsize=10,color="white",style="solid",shape="box"];3339 -> 3701[label="",style="solid", color="burlywood", weight=9]; 3701 -> 3407[label="",style="solid", color="burlywood", weight=3]; 3702[label="yv1981/Neg yv19810",fontsize=10,color="white",style="solid",shape="box"];3339 -> 3702[label="",style="solid", color="burlywood", weight=9]; 3702 -> 3408[label="",style="solid", color="burlywood", weight=3]; 3340[label="yv1941",fontsize=16,color="green",shape="box"];3341[label="yv1981",fontsize=16,color="green",shape="box"];3342[label="yv1941",fontsize=16,color="green",shape="box"];3343[label="yv1981",fontsize=16,color="green",shape="box"];3344[label="yv1941",fontsize=16,color="green",shape="box"];3345[label="yv1981",fontsize=16,color="green",shape="box"];3346[label="yv1941",fontsize=16,color="green",shape="box"];3347[label="yv1981",fontsize=16,color="green",shape="box"];3348[label="yv1941",fontsize=16,color="green",shape="box"];3349[label="yv1981",fontsize=16,color="green",shape="box"];3350[label="yv1941",fontsize=16,color="green",shape="box"];3351[label="yv1981",fontsize=16,color="green",shape="box"];3352[label="yv1941",fontsize=16,color="green",shape="box"];3353[label="yv1981",fontsize=16,color="green",shape="box"];3354[label="yv1941",fontsize=16,color="green",shape="box"];3355[label="yv1981",fontsize=16,color="green",shape="box"];3356[label="yv1941",fontsize=16,color="green",shape="box"];3357[label="yv1981",fontsize=16,color="green",shape="box"];3358[label="yv1941",fontsize=16,color="green",shape="box"];3359[label="yv1981",fontsize=16,color="green",shape="box"];3360[label="yv1941",fontsize=16,color="green",shape="box"];3361[label="yv1981",fontsize=16,color="green",shape="box"];3362[label="yv1941",fontsize=16,color="green",shape="box"];3363[label="yv1981",fontsize=16,color="green",shape="box"];3364[label="yv1941",fontsize=16,color="green",shape="box"];3365[label="yv1981",fontsize=16,color="green",shape="box"];3366[label="yv1941",fontsize=16,color="green",shape="box"];3367[label="yv1981",fontsize=16,color="green",shape="box"];3368[label="yv1942",fontsize=16,color="green",shape="box"];3369[label="yv1982",fontsize=16,color="green",shape="box"];3370[label="yv1942",fontsize=16,color="green",shape="box"];3371[label="yv1982",fontsize=16,color="green",shape="box"];3372[label="yv1942",fontsize=16,color="green",shape="box"];3373[label="yv1982",fontsize=16,color="green",shape="box"];3374[label="yv1942",fontsize=16,color="green",shape="box"];3375[label="yv1982",fontsize=16,color="green",shape="box"];3376[label="yv1942",fontsize=16,color="green",shape="box"];3377[label="yv1982",fontsize=16,color="green",shape="box"];3378[label="yv1942",fontsize=16,color="green",shape="box"];3379[label="yv1982",fontsize=16,color="green",shape="box"];3380[label="yv1942",fontsize=16,color="green",shape="box"];3381[label="yv1982",fontsize=16,color="green",shape="box"];3382[label="yv1942",fontsize=16,color="green",shape="box"];3383[label="yv1982",fontsize=16,color="green",shape="box"];3384[label="yv1942",fontsize=16,color="green",shape="box"];3385[label="yv1982",fontsize=16,color="green",shape="box"];3386[label="yv1942",fontsize=16,color="green",shape="box"];3387[label="yv1982",fontsize=16,color="green",shape="box"];3388[label="yv1942",fontsize=16,color="green",shape="box"];3389[label="yv1982",fontsize=16,color="green",shape="box"];3390[label="yv1942",fontsize=16,color="green",shape="box"];3391[label="yv1982",fontsize=16,color="green",shape="box"];3392[label="yv1942",fontsize=16,color="green",shape="box"];3393[label="yv1982",fontsize=16,color="green",shape="box"];3394[label="yv1942",fontsize=16,color="green",shape="box"];3395[label="yv1982",fontsize=16,color="green",shape="box"];3396 -> 2934[label="",style="dashed", color="red", weight=0]; 3396[label="primEqNat yv19400 yv19800",fontsize=16,color="magenta"];3396 -> 3409[label="",style="dashed", color="magenta", weight=3]; 3396 -> 3410[label="",style="dashed", color="magenta", weight=3]; 3397[label="False",fontsize=16,color="green",shape="box"];3398[label="False",fontsize=16,color="green",shape="box"];3399[label="True",fontsize=16,color="green",shape="box"];3400[label="yv19800",fontsize=16,color="green",shape="box"];3401[label="yv19400",fontsize=16,color="green",shape="box"];3402[label="yv19800",fontsize=16,color="green",shape="box"];3403[label="yv19400",fontsize=16,color="green",shape="box"];3404[label="yv207 : List.nubNub' yv208 (yv207 : yv209 : yv210)",fontsize=16,color="green",shape="box"];3404 -> 3411[label="",style="dashed", color="green", weight=3]; 3405[label="primMulInt (Pos yv19400) (Pos yv19810)",fontsize=16,color="black",shape="box"];3405 -> 3412[label="",style="solid", color="black", weight=3]; 3406[label="primMulInt (Pos yv19400) (Neg yv19810)",fontsize=16,color="black",shape="box"];3406 -> 3413[label="",style="solid", color="black", weight=3]; 3407[label="primMulInt (Neg yv19400) (Pos yv19810)",fontsize=16,color="black",shape="box"];3407 -> 3414[label="",style="solid", color="black", weight=3]; 3408[label="primMulInt (Neg yv19400) (Neg yv19810)",fontsize=16,color="black",shape="box"];3408 -> 3415[label="",style="solid", color="black", weight=3]; 3409[label="yv19800",fontsize=16,color="green",shape="box"];3410[label="yv19400",fontsize=16,color="green",shape="box"];3411 -> 1653[label="",style="dashed", color="red", weight=0]; 3411[label="List.nubNub' yv208 (yv207 : yv209 : yv210)",fontsize=16,color="magenta"];3411 -> 3416[label="",style="dashed", color="magenta", weight=3]; 3411 -> 3417[label="",style="dashed", color="magenta", weight=3]; 3411 -> 3418[label="",style="dashed", color="magenta", weight=3]; 3412[label="Pos (primMulNat yv19400 yv19810)",fontsize=16,color="green",shape="box"];3412 -> 3419[label="",style="dashed", color="green", weight=3]; 3413[label="Neg (primMulNat yv19400 yv19810)",fontsize=16,color="green",shape="box"];3413 -> 3420[label="",style="dashed", color="green", weight=3]; 3414[label="Neg (primMulNat yv19400 yv19810)",fontsize=16,color="green",shape="box"];3414 -> 3421[label="",style="dashed", color="green", weight=3]; 3415[label="Pos (primMulNat yv19400 yv19810)",fontsize=16,color="green",shape="box"];3415 -> 3422[label="",style="dashed", color="green", weight=3]; 3416[label="yv207",fontsize=16,color="green",shape="box"];3417[label="yv208",fontsize=16,color="green",shape="box"];3418[label="yv209 : yv210",fontsize=16,color="green",shape="box"];3419[label="primMulNat yv19400 yv19810",fontsize=16,color="burlywood",shape="triangle"];3703[label="yv19400/Succ yv194000",fontsize=10,color="white",style="solid",shape="box"];3419 -> 3703[label="",style="solid", color="burlywood", weight=9]; 3703 -> 3423[label="",style="solid", color="burlywood", weight=3]; 3704[label="yv19400/Zero",fontsize=10,color="white",style="solid",shape="box"];3419 -> 3704[label="",style="solid", color="burlywood", weight=9]; 3704 -> 3424[label="",style="solid", color="burlywood", weight=3]; 3420 -> 3419[label="",style="dashed", color="red", weight=0]; 3420[label="primMulNat yv19400 yv19810",fontsize=16,color="magenta"];3420 -> 3425[label="",style="dashed", color="magenta", weight=3]; 3421 -> 3419[label="",style="dashed", color="red", weight=0]; 3421[label="primMulNat yv19400 yv19810",fontsize=16,color="magenta"];3421 -> 3426[label="",style="dashed", color="magenta", weight=3]; 3422 -> 3419[label="",style="dashed", color="red", weight=0]; 3422[label="primMulNat yv19400 yv19810",fontsize=16,color="magenta"];3422 -> 3427[label="",style="dashed", color="magenta", weight=3]; 3422 -> 3428[label="",style="dashed", color="magenta", weight=3]; 3423[label="primMulNat (Succ yv194000) yv19810",fontsize=16,color="burlywood",shape="box"];3705[label="yv19810/Succ yv198100",fontsize=10,color="white",style="solid",shape="box"];3423 -> 3705[label="",style="solid", color="burlywood", weight=9]; 3705 -> 3429[label="",style="solid", color="burlywood", weight=3]; 3706[label="yv19810/Zero",fontsize=10,color="white",style="solid",shape="box"];3423 -> 3706[label="",style="solid", color="burlywood", weight=9]; 3706 -> 3430[label="",style="solid", color="burlywood", weight=3]; 3424[label="primMulNat Zero yv19810",fontsize=16,color="burlywood",shape="box"];3707[label="yv19810/Succ yv198100",fontsize=10,color="white",style="solid",shape="box"];3424 -> 3707[label="",style="solid", color="burlywood", weight=9]; 3707 -> 3431[label="",style="solid", color="burlywood", weight=3]; 3708[label="yv19810/Zero",fontsize=10,color="white",style="solid",shape="box"];3424 -> 3708[label="",style="solid", color="burlywood", weight=9]; 3708 -> 3432[label="",style="solid", color="burlywood", weight=3]; 3425[label="yv19810",fontsize=16,color="green",shape="box"];3426[label="yv19400",fontsize=16,color="green",shape="box"];3427[label="yv19400",fontsize=16,color="green",shape="box"];3428[label="yv19810",fontsize=16,color="green",shape="box"];3429[label="primMulNat (Succ yv194000) (Succ yv198100)",fontsize=16,color="black",shape="box"];3429 -> 3433[label="",style="solid", color="black", weight=3]; 3430[label="primMulNat (Succ yv194000) Zero",fontsize=16,color="black",shape="box"];3430 -> 3434[label="",style="solid", color="black", weight=3]; 3431[label="primMulNat Zero (Succ yv198100)",fontsize=16,color="black",shape="box"];3431 -> 3435[label="",style="solid", color="black", weight=3]; 3432[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];3432 -> 3436[label="",style="solid", color="black", weight=3]; 3433 -> 3437[label="",style="dashed", color="red", weight=0]; 3433[label="primPlusNat (primMulNat yv194000 (Succ yv198100)) (Succ yv198100)",fontsize=16,color="magenta"];3433 -> 3438[label="",style="dashed", color="magenta", weight=3]; 3434[label="Zero",fontsize=16,color="green",shape="box"];3435[label="Zero",fontsize=16,color="green",shape="box"];3436[label="Zero",fontsize=16,color="green",shape="box"];3438 -> 3419[label="",style="dashed", color="red", weight=0]; 3438[label="primMulNat yv194000 (Succ yv198100)",fontsize=16,color="magenta"];3438 -> 3439[label="",style="dashed", color="magenta", weight=3]; 3438 -> 3440[label="",style="dashed", color="magenta", weight=3]; 3437[label="primPlusNat yv230 (Succ yv198100)",fontsize=16,color="burlywood",shape="triangle"];3709[label="yv230/Succ yv2300",fontsize=10,color="white",style="solid",shape="box"];3437 -> 3709[label="",style="solid", color="burlywood", weight=9]; 3709 -> 3441[label="",style="solid", color="burlywood", weight=3]; 3710[label="yv230/Zero",fontsize=10,color="white",style="solid",shape="box"];3437 -> 3710[label="",style="solid", color="burlywood", weight=9]; 3710 -> 3442[label="",style="solid", color="burlywood", weight=3]; 3439[label="yv194000",fontsize=16,color="green",shape="box"];3440[label="Succ yv198100",fontsize=16,color="green",shape="box"];3441[label="primPlusNat (Succ yv2300) (Succ yv198100)",fontsize=16,color="black",shape="box"];3441 -> 3443[label="",style="solid", color="black", weight=3]; 3442[label="primPlusNat Zero (Succ yv198100)",fontsize=16,color="black",shape="box"];3442 -> 3444[label="",style="solid", color="black", weight=3]; 3443[label="Succ (Succ (primPlusNat yv2300 yv198100))",fontsize=16,color="green",shape="box"];3443 -> 3445[label="",style="dashed", color="green", weight=3]; 3444[label="Succ yv198100",fontsize=16,color="green",shape="box"];3445[label="primPlusNat yv2300 yv198100",fontsize=16,color="burlywood",shape="triangle"];3711[label="yv2300/Succ yv23000",fontsize=10,color="white",style="solid",shape="box"];3445 -> 3711[label="",style="solid", color="burlywood", weight=9]; 3711 -> 3446[label="",style="solid", color="burlywood", weight=3]; 3712[label="yv2300/Zero",fontsize=10,color="white",style="solid",shape="box"];3445 -> 3712[label="",style="solid", color="burlywood", weight=9]; 3712 -> 3447[label="",style="solid", color="burlywood", weight=3]; 3446[label="primPlusNat (Succ yv23000) yv198100",fontsize=16,color="burlywood",shape="box"];3713[label="yv198100/Succ yv1981000",fontsize=10,color="white",style="solid",shape="box"];3446 -> 3713[label="",style="solid", color="burlywood", weight=9]; 3713 -> 3448[label="",style="solid", color="burlywood", weight=3]; 3714[label="yv198100/Zero",fontsize=10,color="white",style="solid",shape="box"];3446 -> 3714[label="",style="solid", color="burlywood", weight=9]; 3714 -> 3449[label="",style="solid", color="burlywood", weight=3]; 3447[label="primPlusNat Zero yv198100",fontsize=16,color="burlywood",shape="box"];3715[label="yv198100/Succ yv1981000",fontsize=10,color="white",style="solid",shape="box"];3447 -> 3715[label="",style="solid", color="burlywood", weight=9]; 3715 -> 3450[label="",style="solid", color="burlywood", weight=3]; 3716[label="yv198100/Zero",fontsize=10,color="white",style="solid",shape="box"];3447 -> 3716[label="",style="solid", color="burlywood", weight=9]; 3716 -> 3451[label="",style="solid", color="burlywood", weight=3]; 3448[label="primPlusNat (Succ yv23000) (Succ yv1981000)",fontsize=16,color="black",shape="box"];3448 -> 3452[label="",style="solid", color="black", weight=3]; 3449[label="primPlusNat (Succ yv23000) Zero",fontsize=16,color="black",shape="box"];3449 -> 3453[label="",style="solid", color="black", weight=3]; 3450[label="primPlusNat Zero (Succ yv1981000)",fontsize=16,color="black",shape="box"];3450 -> 3454[label="",style="solid", color="black", weight=3]; 3451[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];3451 -> 3455[label="",style="solid", color="black", weight=3]; 3452[label="Succ (Succ (primPlusNat yv23000 yv1981000))",fontsize=16,color="green",shape="box"];3452 -> 3456[label="",style="dashed", color="green", weight=3]; 3453[label="Succ yv23000",fontsize=16,color="green",shape="box"];3454[label="Succ yv1981000",fontsize=16,color="green",shape="box"];3455[label="Zero",fontsize=16,color="green",shape="box"];3456 -> 3445[label="",style="dashed", color="red", weight=0]; 3456[label="primPlusNat yv23000 yv1981000",fontsize=16,color="magenta"];3456 -> 3457[label="",style="dashed", color="magenta", weight=3]; 3456 -> 3458[label="",style="dashed", color="magenta", weight=3]; 3457[label="yv23000",fontsize=16,color="green",shape="box"];3458[label="yv1981000",fontsize=16,color="green",shape="box"];} ---------------------------------------- (8) Complex Obligation (AND) ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: new_esEs(Left(yv1940), Left(yv1980), app(app(app(ty_@3, bd), be), bf), bc) -> new_esEs0(yv1940, yv1980, bd, be, bf) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(ty_Maybe, ee), dh, ea) -> new_esEs1(yv1940, yv1980, ee) new_esEs(Right(yv1940), Right(yv1980), cc, app(app(app(ty_@3, cf), cg), da)) -> new_esEs0(yv1940, yv1980, cf, cg, da) new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), bbg) -> new_esEs2(yv1941, yv1981, bbg) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(app(ty_Either, df), dg), dh, ea) -> new_esEs(yv1940, yv1980, df, dg) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(app(app(ty_@3, fd), ff), fg), ea) -> new_esEs0(yv1941, yv1981, fd, ff, fg) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(app(app(ty_@3, bcc), bcd), bce), bcb) -> new_esEs0(yv1940, yv1980, bcc, bcd, bce) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(app(ty_Either, bdc), bdd)) -> new_esEs(yv1941, yv1981, bdc, bdd) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(ty_Maybe, ha)) -> new_esEs1(yv1942, yv1982, ha) new_esEs(Left(yv1940), Left(yv1980), app(app(ty_@2, ca), cb), bc) -> new_esEs3(yv1940, yv1980, ca, cb) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(ty_Maybe, fh), ea) -> new_esEs1(yv1941, yv1981, fh) new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(app(app(ty_@3, bah), bba), bbb)) -> new_esEs0(yv1940, yv1980, bah, bba, bbb) new_esEs1(Just(yv1940), Just(yv1980), app(app(ty_Either, he), hf)) -> new_esEs(yv1940, yv1980, he, hf) new_esEs(Right(yv1940), Right(yv1980), cc, app(app(ty_@2, dd), de)) -> new_esEs3(yv1940, yv1980, dd, de) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(app(ty_Either, gd), ge)) -> new_esEs(yv1942, yv1982, gd, ge) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(app(ty_@2, gb), gc), ea) -> new_esEs3(yv1941, yv1981, gb, gc) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(app(ty_@2, eg), eh), dh, ea) -> new_esEs3(yv1940, yv1980, eg, eh) new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(app(ty_Either, baf), bag)) -> new_esEs(yv1940, yv1980, baf, bag) new_esEs1(Just(yv1940), Just(yv1980), app(app(ty_@2, bad), bae)) -> new_esEs3(yv1940, yv1980, bad, bae) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(ty_Maybe, bcf), bcb) -> new_esEs1(yv1940, yv1980, bcf) new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(app(ty_@2, bbe), bbf)) -> new_esEs3(yv1940, yv1980, bbe, bbf) new_esEs(Right(yv1940), Right(yv1980), cc, app(ty_Maybe, db)) -> new_esEs1(yv1940, yv1980, db) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(app(ty_@2, beb), bec)) -> new_esEs3(yv1941, yv1981, beb, bec) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(ty_Maybe, bdh)) -> new_esEs1(yv1941, yv1981, bdh) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(app(app(ty_@3, gf), gg), gh)) -> new_esEs0(yv1942, yv1982, gf, gg, gh) new_esEs1(Just(yv1940), Just(yv1980), app(app(app(ty_@3, hg), hh), baa)) -> new_esEs0(yv1940, yv1980, hg, hh, baa) new_esEs(Right(yv1940), Right(yv1980), cc, app(app(ty_Either, cd), ce)) -> new_esEs(yv1940, yv1980, cd, ce) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(app(app(ty_@3, bde), bdf), bdg)) -> new_esEs0(yv1941, yv1981, bde, bdf, bdg) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(app(ty_Either, fb), fc), ea) -> new_esEs(yv1941, yv1981, fb, fc) new_esEs(Right(yv1940), Right(yv1980), cc, app(ty_[], dc)) -> new_esEs2(yv1940, yv1980, dc) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(ty_[], bcg), bcb) -> new_esEs2(yv1940, yv1980, bcg) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(app(ty_@2, bch), bda), bcb) -> new_esEs3(yv1940, yv1980, bch, bda) new_esEs(Left(yv1940), Left(yv1980), app(app(ty_Either, ba), bb), bc) -> new_esEs(yv1940, yv1980, ba, bb) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(ty_[], bea)) -> new_esEs2(yv1941, yv1981, bea) new_esEs1(Just(yv1940), Just(yv1980), app(ty_[], bac)) -> new_esEs2(yv1940, yv1980, bac) new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(ty_[], bbd)) -> new_esEs2(yv1940, yv1980, bbd) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(app(ty_@2, hc), hd)) -> new_esEs3(yv1942, yv1982, hc, hd) new_esEs(Left(yv1940), Left(yv1980), app(ty_[], bh), bc) -> new_esEs2(yv1940, yv1980, bh) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(ty_[], hb)) -> new_esEs2(yv1942, yv1982, hb) new_esEs(Left(yv1940), Left(yv1980), app(ty_Maybe, bg), bc) -> new_esEs1(yv1940, yv1980, bg) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(ty_[], ga), ea) -> new_esEs2(yv1941, yv1981, ga) new_esEs1(Just(yv1940), Just(yv1980), app(ty_Maybe, bab)) -> new_esEs1(yv1940, yv1980, bab) new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(app(ty_Either, bbh), bca), bcb) -> new_esEs(yv1940, yv1980, bbh, bca) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(ty_[], ef), dh, ea) -> new_esEs2(yv1940, yv1980, ef) new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(app(app(ty_@3, eb), ec), ed), dh, ea) -> new_esEs0(yv1940, yv1980, eb, ec, ed) new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(ty_Maybe, bbc)) -> new_esEs1(yv1940, yv1980, bbc) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) 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_esEs1(Just(yv1940), Just(yv1980), app(app(ty_Either, he), hf)) -> new_esEs(yv1940, yv1980, he, hf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Just(yv1940), Just(yv1980), app(app(app(ty_@3, hg), hh), baa)) -> new_esEs0(yv1940, yv1980, hg, hh, baa) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(app(ty_Either, baf), bag)) -> new_esEs(yv1940, yv1980, baf, bag) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Just(yv1940), Just(yv1980), app(ty_[], bac)) -> new_esEs2(yv1940, yv1980, bac) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(app(app(ty_@3, bah), bba), bbb)) -> new_esEs0(yv1940, yv1980, bah, bba, bbb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs1(Just(yv1940), Just(yv1980), app(app(ty_@2, bad), bae)) -> new_esEs3(yv1940, yv1980, bad, bae) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Just(yv1940), Just(yv1980), app(ty_Maybe, bab)) -> new_esEs1(yv1940, yv1980, bab) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(app(ty_@2, bbe), bbf)) -> new_esEs3(yv1940, yv1980, bbe, bbf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(ty_Maybe, bbc)) -> new_esEs1(yv1940, yv1980, bbc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(app(ty_Either, df), dg), dh, ea) -> new_esEs(yv1940, yv1980, df, dg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(app(ty_Either, gd), ge)) -> new_esEs(yv1942, yv1982, gd, ge) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(app(ty_Either, fb), fc), ea) -> new_esEs(yv1941, yv1981, fb, fc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(app(app(ty_@3, fd), ff), fg), ea) -> new_esEs0(yv1941, yv1981, fd, ff, fg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(app(app(ty_@3, gf), gg), gh)) -> new_esEs0(yv1942, yv1982, gf, gg, gh) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(app(app(ty_@3, eb), ec), ed), dh, ea) -> new_esEs0(yv1940, yv1980, eb, ec, ed) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(ty_[], hb)) -> new_esEs2(yv1942, yv1982, hb) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(ty_[], ga), ea) -> new_esEs2(yv1941, yv1981, ga) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(ty_[], ef), dh, ea) -> new_esEs2(yv1940, yv1980, ef) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(app(ty_@2, gb), gc), ea) -> new_esEs3(yv1941, yv1981, gb, gc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(app(ty_@2, eg), eh), dh, ea) -> new_esEs3(yv1940, yv1980, eg, eh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(app(ty_@2, hc), hd)) -> new_esEs3(yv1942, yv1982, hc, hd) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), app(ty_Maybe, ee), dh, ea) -> new_esEs1(yv1940, yv1980, ee) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, dh, app(ty_Maybe, ha)) -> new_esEs1(yv1942, yv1982, ha) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs0(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), fa, app(ty_Maybe, fh), ea) -> new_esEs1(yv1941, yv1981, fh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs(Right(yv1940), Right(yv1980), cc, app(app(ty_Either, cd), ce)) -> new_esEs(yv1940, yv1980, cd, ce) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs(Left(yv1940), Left(yv1980), app(app(ty_Either, ba), bb), bc) -> new_esEs(yv1940, yv1980, ba, bb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(app(ty_Either, bdc), bdd)) -> new_esEs(yv1941, yv1981, bdc, bdd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(app(ty_Either, bbh), bca), bcb) -> new_esEs(yv1940, yv1980, bbh, bca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Left(yv1940), Left(yv1980), app(app(app(ty_@3, bd), be), bf), bc) -> new_esEs0(yv1940, yv1980, bd, be, bf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs(Right(yv1940), Right(yv1980), cc, app(app(app(ty_@3, cf), cg), da)) -> new_esEs0(yv1940, yv1980, cf, cg, da) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(app(app(ty_@3, bcc), bcd), bce), bcb) -> new_esEs0(yv1940, yv1980, bcc, bcd, bce) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(app(app(ty_@3, bde), bdf), bdg)) -> new_esEs0(yv1941, yv1981, bde, bdf, bdg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), bbg) -> new_esEs2(yv1941, yv1981, bbg) The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3 *new_esEs2(:(yv1940, yv1941), :(yv1980, yv1981), app(ty_[], bbd)) -> new_esEs2(yv1940, yv1980, bbd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Right(yv1940), Right(yv1980), cc, app(ty_[], dc)) -> new_esEs2(yv1940, yv1980, dc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs(Left(yv1940), Left(yv1980), app(ty_[], bh), bc) -> new_esEs2(yv1940, yv1980, bh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(ty_[], bcg), bcb) -> new_esEs2(yv1940, yv1980, bcg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(ty_[], bea)) -> new_esEs2(yv1941, yv1981, bea) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs(Left(yv1940), Left(yv1980), app(app(ty_@2, ca), cb), bc) -> new_esEs3(yv1940, yv1980, ca, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Right(yv1940), Right(yv1980), cc, app(app(ty_@2, dd), de)) -> new_esEs3(yv1940, yv1980, dd, de) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs(Right(yv1940), Right(yv1980), cc, app(ty_Maybe, db)) -> new_esEs1(yv1940, yv1980, db) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs(Left(yv1940), Left(yv1980), app(ty_Maybe, bg), bc) -> new_esEs1(yv1940, yv1980, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(app(ty_@2, beb), bec)) -> new_esEs3(yv1941, yv1981, beb, bec) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(app(ty_@2, bch), bda), bcb) -> new_esEs3(yv1940, yv1980, bch, bda) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), app(ty_Maybe, bcf), bcb) -> new_esEs1(yv1940, yv1980, bcf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv1940, yv1941), @2(yv1980, yv1981), bdb, app(ty_Maybe, bdh)) -> new_esEs1(yv1941, yv1981, bdh) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 ---------------------------------------- (11) YES ---------------------------------------- (12) Obligation: Q DP problem: The TRS P consists of the following rules: new_nubNub'(:(yv970, yv971), yv98, yv99, bc) -> new_nubNub'1(yv970, yv971, yv98, yv99, yv98, yv99, bc) new_nubNub'10(yv207, yv208, yv209, yv210, False, [], bb) -> new_nubNub'(yv208, yv207, :(yv209, yv210), bb) new_nubNub'1(yv194, yv195, yv196, yv197, yv198, yv199, ba) -> new_nubNub'10(yv194, yv195, yv196, yv197, new_esEs4(yv194, yv198, ba), yv199, ba) new_nubNub'10(yv207, yv208, yv209, yv210, False, :(yv2120, yv2121), bb) -> new_nubNub'1(yv207, yv208, yv209, yv210, yv2120, yv2121, bb) new_nubNub'10(yv207, yv208, yv209, yv210, True, yv212, bb) -> new_nubNub'(yv208, yv209, yv210, bb) The TRS R consists of the following rules: new_esEs11(Left(yv1940), Left(yv1980), ty_Bool, bae) -> new_esEs5(yv1940, yv1980) new_esEs26(yv1940, yv1980, ty_Float) -> new_esEs9(yv1940, yv1980) new_esEs23(yv1942, yv1982, ty_Double) -> new_esEs12(yv1942, yv1982) new_primEqInt(Pos(Zero), Pos(Zero)) -> True new_esEs11(Left(yv1940), Left(yv1980), ty_Float, bae) -> new_esEs9(yv1940, yv1980) new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_@0) -> new_esEs10(yv1940, yv1980) new_primPlusNat0(Zero, Zero) -> Zero new_esEs4(yv194, yv198, app(ty_Maybe, bdc)) -> new_esEs17(yv194, yv198, bdc) new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Char) -> new_esEs14(yv1940, yv1980) new_esEs11(Right(yv1940), Right(yv1980), bbh, app(app(app(ty_@3, bcc), bcd), bce)) -> new_esEs13(yv1940, yv1980, bcc, bcd, bce) new_esEs23(yv1942, yv1982, app(app(ty_@2, bab), bac)) -> new_esEs6(yv1942, yv1982, bab, bac) new_esEs11(Right(yv1940), Right(yv1980), bbh, app(app(ty_Either, bca), bcb)) -> new_esEs11(yv1940, yv1980, bca, bcb) new_esEs15(LT, LT) -> True new_esEs26(yv1940, yv1980, ty_Bool) -> new_esEs5(yv1940, yv1980) new_esEs8(yv1941, yv1981, ty_Int) -> new_esEs16(yv1941, yv1981) new_esEs17(Just(yv1940), Just(yv1980), app(app(ty_@2, bec), bed)) -> new_esEs6(yv1940, yv1980, bec, bed) new_esEs5(True, True) -> True new_esEs22(yv1941, yv1981, app(app(ty_Either, ga), gb)) -> new_esEs11(yv1941, yv1981, ga, gb) new_esEs4(yv194, yv198, app(app(ty_@2, bd), be)) -> new_esEs6(yv194, yv198, bd, be) new_esEs21(yv1940, yv1980, app(ty_Ratio, fh)) -> new_esEs20(yv1940, yv1980, fh) new_esEs21(yv1940, yv1980, app(app(ty_@2, ff), fg)) -> new_esEs6(yv1940, yv1980, ff, fg) new_esEs7(yv1940, yv1980, ty_Float) -> new_esEs9(yv1940, yv1980) new_esEs14(Char(yv1940), Char(yv1980)) -> new_primEqNat0(yv1940, yv1980) new_esEs11(Left(yv1940), Left(yv1980), ty_@0, bae) -> new_esEs10(yv1940, yv1980) new_esEs26(yv1940, yv1980, app(ty_[], bff)) -> new_esEs18(yv1940, yv1980, bff) new_esEs11(Left(yv1940), Left(yv1980), app(app(ty_@2, bbe), bbf), bae) -> new_esEs6(yv1940, yv1980, bbe, bbf) new_esEs21(yv1940, yv1980, ty_Double) -> new_esEs12(yv1940, yv1980) new_esEs26(yv1940, yv1980, ty_@0) -> new_esEs10(yv1940, yv1980) new_esEs4(yv194, yv198, ty_Double) -> new_esEs12(yv194, yv198) new_primMulNat0(Succ(yv194000), Succ(yv198100)) -> new_primPlusNat1(new_primMulNat0(yv194000, Succ(yv198100)), yv198100) new_esEs22(yv1941, yv1981, ty_Integer) -> new_esEs19(yv1941, yv1981) new_esEs11(Left(yv1940), Left(yv1980), ty_Char, bae) -> new_esEs14(yv1940, yv1980) new_asAs(True, yv229) -> yv229 new_esEs7(yv1940, yv1980, ty_Ordering) -> new_esEs15(yv1940, yv1980) new_esEs21(yv1940, yv1980, ty_@0) -> new_esEs10(yv1940, yv1980) new_esEs26(yv1940, yv1980, app(app(ty_Either, beh), bfa)) -> new_esEs11(yv1940, yv1980, beh, bfa) new_esEs26(yv1940, yv1980, ty_Ordering) -> new_esEs15(yv1940, yv1980) new_esEs26(yv1940, yv1980, ty_Char) -> new_esEs14(yv1940, yv1980) new_esEs11(Left(yv1940), Left(yv1980), ty_Ordering, bae) -> new_esEs15(yv1940, yv1980) new_primEqInt(Pos(Succ(yv19400)), Pos(Zero)) -> False new_primEqInt(Pos(Zero), Pos(Succ(yv19800))) -> False new_esEs23(yv1942, yv1982, app(ty_Ratio, bad)) -> new_esEs20(yv1942, yv1982, bad) new_esEs7(yv1940, yv1980, ty_Char) -> new_esEs14(yv1940, yv1980) new_esEs7(yv1940, yv1980, app(ty_[], cd)) -> new_esEs18(yv1940, yv1980, cd) new_esEs23(yv1942, yv1982, app(ty_Maybe, hh)) -> new_esEs17(yv1942, yv1982, hh) new_esEs7(yv1940, yv1980, ty_Bool) -> new_esEs5(yv1940, yv1980) new_primEqNat0(Succ(yv19400), Succ(yv19800)) -> new_primEqNat0(yv19400, yv19800) new_esEs4(yv194, yv198, app(app(app(ty_@3, ec), ed), ee)) -> new_esEs13(yv194, yv198, ec, ed, ee) new_esEs17(Nothing, Nothing, bdc) -> True new_esEs6(@2(yv1940, yv1941), @2(yv1980, yv1981), bd, be) -> new_asAs(new_esEs7(yv1940, yv1980, bd), new_esEs8(yv1941, yv1981, be)) new_esEs22(yv1941, yv1981, ty_Float) -> new_esEs9(yv1941, yv1981) new_esEs17(Nothing, Just(yv1980), bdc) -> False new_esEs17(Just(yv1940), Nothing, bdc) -> False new_esEs18([], [], beg) -> True new_esEs13(@3(yv1940, yv1941, yv1942), @3(yv1980, yv1981, yv1982), ec, ed, ee) -> new_asAs(new_esEs21(yv1940, yv1980, ec), new_asAs(new_esEs22(yv1941, yv1981, ed), new_esEs23(yv1942, yv1982, ee))) new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Double) -> new_esEs12(yv1940, yv1980) new_esEs21(yv1940, yv1980, ty_Float) -> new_esEs9(yv1940, yv1980) new_primMulNat0(Zero, Zero) -> Zero new_esEs4(yv194, yv198, ty_Int) -> new_esEs16(yv194, yv198) new_esEs11(Left(yv1940), Right(yv1980), bbh, bae) -> False new_esEs11(Right(yv1940), Left(yv1980), bbh, bae) -> False new_esEs23(yv1942, yv1982, ty_@0) -> new_esEs10(yv1942, yv1982) new_esEs23(yv1942, yv1982, ty_Char) -> new_esEs14(yv1942, yv1982) new_esEs23(yv1942, yv1982, app(app(app(ty_@3, he), hf), hg)) -> new_esEs13(yv1942, yv1982, he, hf, hg) new_esEs17(Just(yv1940), Just(yv1980), ty_Int) -> new_esEs16(yv1940, yv1980) new_esEs8(yv1941, yv1981, app(app(ty_@2, dh), ea)) -> new_esEs6(yv1941, yv1981, dh, ea) new_esEs17(Just(yv1940), Just(yv1980), ty_@0) -> new_esEs10(yv1940, yv1980) new_esEs17(Just(yv1940), Just(yv1980), app(ty_[], beb)) -> new_esEs18(yv1940, yv1980, beb) new_esEs7(yv1940, yv1980, ty_Double) -> new_esEs12(yv1940, yv1980) new_esEs9(Float(yv1940, yv1941), Float(yv1980, yv1981)) -> new_esEs16(new_sr(yv1940, yv1981), new_sr(yv1941, yv1980)) new_esEs15(LT, EQ) -> False new_esEs15(EQ, LT) -> False new_esEs4(yv194, yv198, app(ty_[], beg)) -> new_esEs18(yv194, yv198, beg) new_esEs11(Left(yv1940), Left(yv1980), ty_Integer, bae) -> new_esEs19(yv1940, yv1980) new_esEs20(:%(yv1940, yv1941), :%(yv1980, yv1981), bef) -> new_asAs(new_esEs24(yv1940, yv1980, bef), new_esEs25(yv1941, yv1981, bef)) new_esEs23(yv1942, yv1982, ty_Integer) -> new_esEs19(yv1942, yv1982) new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Ordering) -> new_esEs15(yv1940, yv1980) new_primEqNat0(Succ(yv19400), Zero) -> False new_primEqNat0(Zero, Succ(yv19800)) -> False new_esEs22(yv1941, yv1981, ty_@0) -> new_esEs10(yv1941, yv1981) new_esEs8(yv1941, yv1981, app(ty_Maybe, df)) -> new_esEs17(yv1941, yv1981, df) new_esEs24(yv1940, yv1980, ty_Integer) -> new_esEs19(yv1940, yv1980) new_esEs7(yv1940, yv1980, app(ty_Ratio, cg)) -> new_esEs20(yv1940, yv1980, cg) new_esEs22(yv1941, yv1981, app(ty_[], gg)) -> new_esEs18(yv1941, yv1981, gg) new_esEs23(yv1942, yv1982, ty_Bool) -> new_esEs5(yv1942, yv1982) new_esEs22(yv1941, yv1981, ty_Int) -> new_esEs16(yv1941, yv1981) new_primEqInt(Neg(Succ(yv19400)), Neg(Zero)) -> False new_primEqInt(Neg(Zero), Neg(Succ(yv19800))) -> False new_esEs21(yv1940, yv1980, app(ty_Maybe, fc)) -> new_esEs17(yv1940, yv1980, fc) new_primEqInt(Pos(Succ(yv19400)), Pos(Succ(yv19800))) -> new_primEqNat0(yv19400, yv19800) new_esEs21(yv1940, yv1980, app(ty_[], fd)) -> new_esEs18(yv1940, yv1980, fd) new_esEs18(:(yv1940, yv1941), :(yv1980, yv1981), beg) -> new_asAs(new_esEs26(yv1940, yv1980, beg), new_esEs18(yv1941, yv1981, beg)) new_sr(Pos(yv19400), Neg(yv19810)) -> Neg(new_primMulNat0(yv19400, yv19810)) new_sr(Neg(yv19400), Pos(yv19810)) -> Neg(new_primMulNat0(yv19400, yv19810)) new_esEs4(yv194, yv198, ty_@0) -> new_esEs10(yv194, yv198) new_esEs11(Left(yv1940), Left(yv1980), app(app(ty_Either, baf), bag), bae) -> new_esEs11(yv1940, yv1980, baf, bag) new_primEqInt(Pos(Succ(yv19400)), Neg(yv1980)) -> False new_primEqInt(Neg(Succ(yv19400)), Pos(yv1980)) -> False new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Integer) -> new_esEs19(yv1940, yv1980) new_esEs17(Just(yv1940), Just(yv1980), app(ty_Maybe, bea)) -> new_esEs17(yv1940, yv1980, bea) new_esEs8(yv1941, yv1981, ty_Float) -> new_esEs9(yv1941, yv1981) new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Bool) -> new_esEs5(yv1940, yv1980) new_esEs4(yv194, yv198, app(app(ty_Either, bbh), bae)) -> new_esEs11(yv194, yv198, bbh, bae) new_esEs8(yv1941, yv1981, app(ty_[], dg)) -> new_esEs18(yv1941, yv1981, dg) new_esEs23(yv1942, yv1982, app(app(ty_Either, hc), hd)) -> new_esEs11(yv1942, yv1982, hc, hd) new_esEs8(yv1941, yv1981, ty_@0) -> new_esEs10(yv1941, yv1981) new_esEs8(yv1941, yv1981, ty_Char) -> new_esEs14(yv1941, yv1981) new_esEs22(yv1941, yv1981, app(ty_Ratio, hb)) -> new_esEs20(yv1941, yv1981, hb) new_esEs17(Just(yv1940), Just(yv1980), app(app(ty_Either, bdd), bde)) -> new_esEs11(yv1940, yv1980, bdd, bde) new_esEs22(yv1941, yv1981, app(app(ty_@2, gh), ha)) -> new_esEs6(yv1941, yv1981, gh, ha) new_esEs11(Right(yv1940), Right(yv1980), bbh, app(app(ty_@2, bch), bda)) -> new_esEs6(yv1940, yv1980, bch, bda) new_esEs7(yv1940, yv1980, app(app(app(ty_@3, bh), ca), cb)) -> new_esEs13(yv1940, yv1980, bh, ca, cb) new_esEs4(yv194, yv198, ty_Ordering) -> new_esEs15(yv194, yv198) new_esEs15(EQ, EQ) -> True new_esEs11(Left(yv1940), Left(yv1980), app(app(app(ty_@3, bah), bba), bbb), bae) -> new_esEs13(yv1940, yv1980, bah, bba, bbb) new_esEs22(yv1941, yv1981, ty_Double) -> new_esEs12(yv1941, yv1981) new_esEs15(GT, GT) -> True new_sr(Neg(yv19400), Neg(yv19810)) -> Pos(new_primMulNat0(yv19400, yv19810)) new_esEs15(EQ, GT) -> False new_esEs15(GT, EQ) -> False new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Int) -> new_esEs16(yv1940, yv1980) new_esEs11(Right(yv1940), Right(yv1980), bbh, app(ty_Ratio, bdb)) -> new_esEs20(yv1940, yv1980, bdb) new_primEqInt(Pos(Zero), Neg(Succ(yv19800))) -> False new_primEqInt(Neg(Zero), Pos(Succ(yv19800))) -> False new_esEs22(yv1941, yv1981, app(ty_Maybe, gf)) -> new_esEs17(yv1941, yv1981, gf) new_esEs7(yv1940, yv1980, ty_Int) -> new_esEs16(yv1940, yv1980) new_primPlusNat0(Succ(yv23000), Succ(yv1981000)) -> Succ(Succ(new_primPlusNat0(yv23000, yv1981000))) new_esEs4(yv194, yv198, ty_Float) -> new_esEs9(yv194, yv198) new_esEs10(@0, @0) -> True new_esEs11(Right(yv1940), Right(yv1980), bbh, app(ty_[], bcg)) -> new_esEs18(yv1940, yv1980, bcg) new_esEs7(yv1940, yv1980, app(ty_Maybe, cc)) -> new_esEs17(yv1940, yv1980, cc) new_esEs17(Just(yv1940), Just(yv1980), ty_Float) -> new_esEs9(yv1940, yv1980) new_esEs5(False, True) -> False new_esEs5(True, False) -> False new_esEs26(yv1940, yv1980, app(ty_Maybe, bfe)) -> new_esEs17(yv1940, yv1980, bfe) new_primEqInt(Neg(Succ(yv19400)), Neg(Succ(yv19800))) -> new_primEqNat0(yv19400, yv19800) new_esEs11(Left(yv1940), Left(yv1980), app(ty_[], bbd), bae) -> new_esEs18(yv1940, yv1980, bbd) new_esEs7(yv1940, yv1980, ty_Integer) -> new_esEs19(yv1940, yv1980) new_esEs21(yv1940, yv1980, ty_Int) -> new_esEs16(yv1940, yv1980) new_esEs11(Left(yv1940), Left(yv1980), app(ty_Ratio, bbg), bae) -> new_esEs20(yv1940, yv1980, bbg) new_esEs26(yv1940, yv1980, ty_Double) -> new_esEs12(yv1940, yv1980) new_esEs11(Right(yv1940), Right(yv1980), bbh, app(ty_Maybe, bcf)) -> new_esEs17(yv1940, yv1980, bcf) new_esEs23(yv1942, yv1982, ty_Ordering) -> new_esEs15(yv1942, yv1982) new_esEs23(yv1942, yv1982, ty_Int) -> new_esEs16(yv1942, yv1982) new_esEs26(yv1940, yv1980, app(app(ty_@2, bfg), bfh)) -> new_esEs6(yv1940, yv1980, bfg, bfh) new_esEs4(yv194, yv198, ty_Integer) -> new_esEs19(yv194, yv198) new_primMulNat0(Succ(yv194000), Zero) -> Zero new_primMulNat0(Zero, Succ(yv198100)) -> Zero new_sr(Pos(yv19400), Pos(yv19810)) -> Pos(new_primMulNat0(yv19400, yv19810)) new_esEs11(Left(yv1940), Left(yv1980), ty_Int, bae) -> new_esEs16(yv1940, yv1980) new_esEs11(Left(yv1940), Left(yv1980), ty_Double, bae) -> new_esEs12(yv1940, yv1980) new_esEs26(yv1940, yv1980, app(ty_Ratio, bga)) -> new_esEs20(yv1940, yv1980, bga) new_esEs11(Left(yv1940), Left(yv1980), app(ty_Maybe, bbc), bae) -> new_esEs17(yv1940, yv1980, bbc) new_esEs21(yv1940, yv1980, app(app(ty_Either, ef), eg)) -> new_esEs11(yv1940, yv1980, ef, eg) new_esEs26(yv1940, yv1980, ty_Int) -> new_esEs16(yv1940, yv1980) new_esEs4(yv194, yv198, ty_Bool) -> new_esEs5(yv194, yv198) new_esEs18(:(yv1940, yv1941), [], beg) -> False new_esEs18([], :(yv1980, yv1981), beg) -> False new_primPlusNat1(Succ(yv2300), yv198100) -> Succ(Succ(new_primPlusNat0(yv2300, yv198100))) new_esEs24(yv1940, yv1980, ty_Int) -> new_esEs16(yv1940, yv1980) new_esEs21(yv1940, yv1980, ty_Bool) -> new_esEs5(yv1940, yv1980) new_esEs15(LT, GT) -> False new_esEs15(GT, LT) -> False new_esEs8(yv1941, yv1981, app(app(ty_Either, da), db)) -> new_esEs11(yv1941, yv1981, da, db) new_esEs16(yv194, yv198) -> new_primEqInt(yv194, yv198) new_primPlusNat0(Succ(yv23000), Zero) -> Succ(yv23000) new_primPlusNat0(Zero, Succ(yv1981000)) -> Succ(yv1981000) new_esEs17(Just(yv1940), Just(yv1980), ty_Char) -> new_esEs14(yv1940, yv1980) new_primEqInt(Neg(Zero), Neg(Zero)) -> True new_esEs12(Double(yv1940, yv1941), Double(yv1980, yv1981)) -> new_esEs16(new_sr(yv1940, yv1981), new_sr(yv1941, yv1980)) new_esEs22(yv1941, yv1981, app(app(app(ty_@3, gc), gd), ge)) -> new_esEs13(yv1941, yv1981, gc, gd, ge) new_primPlusNat1(Zero, yv198100) -> Succ(yv198100) new_esEs25(yv1941, yv1981, ty_Integer) -> new_esEs19(yv1941, yv1981) new_esEs22(yv1941, yv1981, ty_Bool) -> new_esEs5(yv1941, yv1981) new_esEs23(yv1942, yv1982, app(ty_[], baa)) -> new_esEs18(yv1942, yv1982, baa) new_esEs8(yv1941, yv1981, app(ty_Ratio, eb)) -> new_esEs20(yv1941, yv1981, eb) new_esEs17(Just(yv1940), Just(yv1980), ty_Integer) -> new_esEs19(yv1940, yv1980) new_esEs8(yv1941, yv1981, ty_Ordering) -> new_esEs15(yv1941, yv1981) new_esEs25(yv1941, yv1981, ty_Int) -> new_esEs16(yv1941, yv1981) new_esEs21(yv1940, yv1980, ty_Ordering) -> new_esEs15(yv1940, yv1980) new_esEs17(Just(yv1940), Just(yv1980), app(app(app(ty_@3, bdf), bdg), bdh)) -> new_esEs13(yv1940, yv1980, bdf, bdg, bdh) new_esEs22(yv1941, yv1981, ty_Char) -> new_esEs14(yv1941, yv1981) new_esEs4(yv194, yv198, ty_Char) -> new_esEs14(yv194, yv198) new_esEs5(False, False) -> True new_primEqInt(Pos(Zero), Neg(Zero)) -> True new_primEqInt(Neg(Zero), Pos(Zero)) -> True new_esEs7(yv1940, yv1980, app(app(ty_@2, ce), cf)) -> new_esEs6(yv1940, yv1980, ce, cf) new_esEs8(yv1941, yv1981, ty_Double) -> new_esEs12(yv1941, yv1981) new_esEs17(Just(yv1940), Just(yv1980), ty_Bool) -> new_esEs5(yv1940, yv1980) new_esEs22(yv1941, yv1981, ty_Ordering) -> new_esEs15(yv1941, yv1981) new_primEqNat0(Zero, Zero) -> True new_esEs21(yv1940, yv1980, ty_Char) -> new_esEs14(yv1940, yv1980) new_esEs23(yv1942, yv1982, ty_Float) -> new_esEs9(yv1942, yv1982) new_esEs4(yv194, yv198, app(ty_Ratio, bef)) -> new_esEs20(yv194, yv198, bef) new_esEs19(Integer(yv1940), Integer(yv1980)) -> new_primEqInt(yv1940, yv1980) new_asAs(False, yv229) -> False new_esEs17(Just(yv1940), Just(yv1980), app(ty_Ratio, bee)) -> new_esEs20(yv1940, yv1980, bee) new_esEs7(yv1940, yv1980, app(app(ty_Either, bf), bg)) -> new_esEs11(yv1940, yv1980, bf, bg) new_esEs21(yv1940, yv1980, ty_Integer) -> new_esEs19(yv1940, yv1980) new_esEs8(yv1941, yv1981, ty_Integer) -> new_esEs19(yv1941, yv1981) new_esEs11(Right(yv1940), Right(yv1980), bbh, ty_Float) -> new_esEs9(yv1940, yv1980) new_esEs21(yv1940, yv1980, app(app(app(ty_@3, eh), fa), fb)) -> new_esEs13(yv1940, yv1980, eh, fa, fb) new_esEs17(Just(yv1940), Just(yv1980), ty_Ordering) -> new_esEs15(yv1940, yv1980) new_esEs26(yv1940, yv1980, app(app(app(ty_@3, bfb), bfc), bfd)) -> new_esEs13(yv1940, yv1980, bfb, bfc, bfd) new_esEs26(yv1940, yv1980, ty_Integer) -> new_esEs19(yv1940, yv1980) new_esEs8(yv1941, yv1981, app(app(app(ty_@3, dc), dd), de)) -> new_esEs13(yv1941, yv1981, dc, dd, de) new_esEs7(yv1940, yv1980, ty_@0) -> new_esEs10(yv1940, yv1980) new_esEs8(yv1941, yv1981, ty_Bool) -> new_esEs5(yv1941, yv1981) new_esEs17(Just(yv1940), Just(yv1980), ty_Double) -> new_esEs12(yv1940, yv1980) The set Q consists of the following terms: new_esEs4(x0, x1, app(ty_[], x2)) new_esEs11(Right(x0), Right(x1), x2, app(ty_[], x3)) new_esEs8(x0, x1, ty_@0) new_esEs7(x0, x1, app(ty_Ratio, x2)) new_esEs11(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5) new_esEs17(Just(x0), Just(x1), ty_Char) new_esEs6(@2(x0, x1), @2(x2, x3), x4, x5) new_primPlusNat0(Succ(x0), Succ(x1)) new_esEs22(x0, x1, app(app(ty_Either, x2), x3)) new_esEs26(x0, x1, ty_Bool) new_esEs8(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs8(x0, x1, ty_Bool) new_primMulNat0(Zero, Zero) new_esEs21(x0, x1, ty_Integer) new_esEs4(x0, x1, ty_Bool) new_esEs11(Right(x0), Right(x1), x2, app(ty_Maybe, x3)) new_esEs16(x0, x1) new_esEs15(EQ, EQ) new_esEs25(x0, x1, ty_Integer) new_esEs17(Just(x0), Just(x1), ty_Int) new_esEs23(x0, x1, ty_Double) new_esEs7(x0, x1, app(app(ty_@2, x2), x3)) new_esEs4(x0, x1, ty_@0) new_asAs(True, x0) new_primMulNat0(Succ(x0), Succ(x1)) new_primEqNat0(Succ(x0), Succ(x1)) new_esEs8(x0, x1, app(ty_Ratio, x2)) new_primEqInt(Pos(Zero), Pos(Zero)) new_esEs11(Right(x0), Right(x1), x2, ty_Integer) new_esEs18([], [], x0) new_esEs24(x0, x1, ty_Integer) new_primEqInt(Pos(Zero), Neg(Succ(x0))) new_primEqInt(Neg(Zero), Pos(Succ(x0))) new_esEs21(x0, x1, ty_Bool) new_esEs4(x0, x1, ty_Integer) new_esEs11(Left(x0), Left(x1), ty_@0, x2) new_esEs7(x0, x1, app(ty_[], x2)) new_esEs23(x0, x1, app(ty_Ratio, x2)) new_esEs11(Left(x0), Left(x1), ty_Integer, x2) new_esEs26(x0, x1, ty_@0) new_primEqInt(Neg(Zero), Neg(Zero)) new_esEs7(x0, x1, ty_Char) new_esEs8(x0, x1, ty_Char) new_esEs15(EQ, GT) new_esEs15(GT, EQ) new_primPlusNat0(Zero, Zero) new_primMulNat0(Zero, Succ(x0)) new_esEs15(LT, LT) new_esEs22(x0, x1, ty_Bool) new_esEs23(x0, x1, ty_Integer) new_esEs17(Nothing, Just(x0), x1) new_esEs11(Right(x0), Right(x1), x2, ty_Bool) new_esEs22(x0, x1, ty_Float) new_esEs22(x0, x1, app(app(ty_@2, x2), x3)) new_esEs11(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4) new_esEs11(Right(x0), Right(x1), x2, ty_Float) new_esEs17(Just(x0), Just(x1), ty_Float) new_esEs17(Just(x0), Just(x1), ty_Double) new_esEs26(x0, x1, ty_Char) new_esEs11(Right(x0), Right(x1), x2, ty_Double) new_esEs7(x0, x1, ty_Bool) new_primMulNat0(Succ(x0), Zero) new_esEs8(x0, x1, app(ty_Maybe, x2)) new_esEs5(False, True) new_esEs5(True, False) new_esEs23(x0, x1, app(app(ty_@2, x2), x3)) new_esEs17(Just(x0), Nothing, x1) new_esEs26(x0, x1, ty_Integer) new_esEs11(Right(x0), Right(x1), x2, ty_@0) new_esEs23(x0, x1, app(app(ty_Either, x2), x3)) new_esEs17(Just(x0), Just(x1), ty_@0) new_esEs22(x0, x1, ty_Double) new_esEs18(:(x0, x1), [], x2) new_esEs5(True, True) new_esEs8(x0, x1, app(app(ty_@2, x2), x3)) new_esEs7(x0, x1, ty_Ordering) new_esEs4(x0, x1, app(app(ty_Either, x2), x3)) new_esEs23(x0, x1, ty_Ordering) new_esEs22(x0, x1, ty_Int) new_esEs11(Right(x0), Right(x1), x2, ty_Int) new_primEqInt(Pos(Zero), Neg(Zero)) new_primEqInt(Neg(Zero), Pos(Zero)) new_esEs23(x0, x1, app(ty_[], x2)) new_sr(Pos(x0), Neg(x1)) new_sr(Neg(x0), Pos(x1)) new_esEs17(Just(x0), Just(x1), app(app(ty_Either, x2), x3)) new_esEs22(x0, x1, app(ty_[], x2)) new_esEs7(x0, x1, ty_Integer) new_esEs7(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs25(x0, x1, ty_Int) new_esEs22(x0, x1, ty_@0) new_esEs11(Right(x0), Right(x1), x2, ty_Char) new_esEs21(x0, x1, ty_Ordering) new_esEs7(x0, x1, app(ty_Maybe, x2)) new_esEs4(x0, x1, ty_Char) new_esEs4(x0, x1, ty_Double) new_primEqInt(Neg(Zero), Neg(Succ(x0))) new_esEs26(x0, x1, ty_Float) new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs9(Float(x0, x1), Float(x2, x3)) new_esEs17(Just(x0), Just(x1), app(ty_Ratio, x2)) new_esEs11(Left(x0), Left(x1), ty_Int, x2) new_esEs26(x0, x1, ty_Double) new_primPlusNat1(Zero, x0) new_esEs21(x0, x1, app(ty_Ratio, x2)) new_esEs8(x0, x1, ty_Float) new_primPlusNat0(Zero, Succ(x0)) new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs22(x0, x1, app(ty_Maybe, x2)) new_esEs15(LT, GT) new_esEs15(GT, LT) new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1))) new_esEs4(x0, x1, ty_Int) new_esEs21(x0, x1, app(ty_[], x2)) new_esEs17(Just(x0), Just(x1), app(ty_Maybe, x2)) new_esEs22(x0, x1, ty_Char) new_esEs17(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4)) new_esEs11(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4) new_esEs14(Char(x0), Char(x1)) new_esEs8(x0, x1, ty_Ordering) new_esEs8(x0, x1, app(app(ty_Either, x2), x3)) new_esEs4(x0, x1, app(ty_Maybe, x2)) new_esEs11(Right(x0), Right(x1), x2, app(ty_Ratio, x3)) new_esEs4(x0, x1, ty_Ordering) new_sr(Neg(x0), Neg(x1)) new_esEs11(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5)) new_primEqInt(Pos(Succ(x0)), Pos(Zero)) new_esEs26(x0, x1, app(ty_Ratio, x2)) new_esEs23(x0, x1, app(ty_Maybe, x2)) new_sr(Pos(x0), Pos(x1)) new_esEs26(x0, x1, ty_Int) new_primEqNat0(Zero, Succ(x0)) new_esEs11(Left(x0), Left(x1), ty_Float, x2) new_esEs15(GT, GT) new_asAs(False, x0) new_esEs23(x0, x1, ty_Bool) new_esEs11(Left(x0), Left(x1), ty_Ordering, x2) new_esEs15(LT, EQ) new_esEs15(EQ, LT) new_esEs17(Just(x0), Just(x1), app(app(ty_@2, x2), x3)) new_esEs20(:%(x0, x1), :%(x2, x3), x4) new_esEs12(Double(x0, x1), Double(x2, x3)) new_esEs8(x0, x1, ty_Int) new_esEs13(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8) new_esEs4(x0, x1, ty_Float) new_esEs7(x0, x1, ty_Double) new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs26(x0, x1, ty_Ordering) new_esEs11(Left(x0), Left(x1), app(ty_Maybe, x2), x3) new_esEs11(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4)) new_esEs21(x0, x1, app(ty_Maybe, x2)) new_esEs18(:(x0, x1), :(x2, x3), x4) new_esEs8(x0, x1, ty_Double) new_esEs26(x0, x1, app(app(ty_@2, x2), x3)) new_primEqNat0(Succ(x0), Zero) new_esEs11(Left(x0), Left(x1), app(ty_Ratio, x2), x3) new_primEqNat0(Zero, Zero) new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs11(Right(x0), Right(x1), x2, ty_Ordering) new_esEs7(x0, x1, app(app(ty_Either, x2), x3)) new_esEs23(x0, x1, ty_Int) new_esEs8(x0, x1, ty_Integer) new_esEs17(Just(x0), Just(x1), ty_Bool) new_esEs26(x0, x1, app(ty_[], x2)) new_esEs7(x0, x1, ty_Float) new_esEs4(x0, x1, app(ty_Ratio, x2)) new_esEs11(Left(x0), Right(x1), x2, x3) new_esEs11(Right(x0), Left(x1), x2, x3) new_esEs23(x0, x1, ty_Char) new_primEqInt(Neg(Succ(x0)), Neg(Zero)) new_esEs7(x0, x1, ty_Int) new_esEs11(Left(x0), Left(x1), app(ty_[], x2), x3) new_esEs17(Just(x0), Just(x1), ty_Ordering) new_esEs8(x0, x1, app(ty_[], x2)) new_esEs17(Nothing, Nothing, x0) new_esEs22(x0, x1, app(ty_Ratio, x2)) new_primEqInt(Pos(Succ(x0)), Neg(x1)) new_primEqInt(Neg(Succ(x0)), Pos(x1)) new_esEs21(x0, x1, app(app(ty_Either, x2), x3)) new_esEs4(x0, x1, app(app(ty_@2, x2), x3)) new_esEs26(x0, x1, app(ty_Maybe, x2)) new_esEs7(x0, x1, ty_@0) new_primPlusNat1(Succ(x0), x1) new_primEqInt(Pos(Zero), Pos(Succ(x0))) new_esEs21(x0, x1, ty_Double) new_esEs11(Left(x0), Left(x1), ty_Double, x2) new_esEs21(x0, x1, ty_Float) new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1))) new_primPlusNat0(Succ(x0), Zero) new_esEs11(Left(x0), Left(x1), ty_Char, x2) new_esEs22(x0, x1, ty_Integer) new_esEs24(x0, x1, ty_Int) new_esEs21(x0, x1, ty_@0) new_esEs23(x0, x1, ty_Float) new_esEs26(x0, x1, app(app(ty_Either, x2), x3)) new_esEs10(@0, @0) new_esEs18([], :(x0, x1), x2) new_esEs21(x0, x1, ty_Char) new_esEs21(x0, x1, app(app(ty_@2, x2), x3)) new_esEs19(Integer(x0), Integer(x1)) new_esEs17(Just(x0), Just(x1), ty_Integer) new_esEs17(Just(x0), Just(x1), app(ty_[], x2)) new_esEs22(x0, x1, ty_Ordering) new_esEs5(False, False) new_esEs11(Left(x0), Left(x1), ty_Bool, x2) new_esEs21(x0, x1, ty_Int) new_esEs23(x0, x1, ty_@0) new_esEs11(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4)) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (13) 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_nubNub'1(yv194, yv195, yv196, yv197, yv198, yv199, ba) -> new_nubNub'10(yv194, yv195, yv196, yv197, new_esEs4(yv194, yv198, ba), yv199, ba) The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 6 >= 6, 7 >= 7 *new_nubNub'(:(yv970, yv971), yv98, yv99, bc) -> new_nubNub'1(yv970, yv971, yv98, yv99, yv98, yv99, bc) The graph contains the following edges 1 > 1, 1 > 2, 2 >= 3, 3 >= 4, 2 >= 5, 3 >= 6, 4 >= 7 *new_nubNub'10(yv207, yv208, yv209, yv210, False, :(yv2120, yv2121), bb) -> new_nubNub'1(yv207, yv208, yv209, yv210, yv2120, yv2121, bb) The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 6 > 5, 6 > 6, 7 >= 7 *new_nubNub'10(yv207, yv208, yv209, yv210, False, [], bb) -> new_nubNub'(yv208, yv207, :(yv209, yv210), bb) The graph contains the following edges 2 >= 1, 1 >= 2, 7 >= 4 *new_nubNub'10(yv207, yv208, yv209, yv210, True, yv212, bb) -> new_nubNub'(yv208, yv209, yv210, bb) The graph contains the following edges 2 >= 1, 3 >= 2, 4 >= 3, 7 >= 4 ---------------------------------------- (14) YES ---------------------------------------- (15) Obligation: Q DP problem: The TRS P consists of the following rules: new_primMulNat(Succ(yv194000), Succ(yv198100)) -> new_primMulNat(yv194000, Succ(yv198100)) 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_primMulNat(Succ(yv194000), Succ(yv198100)) -> new_primMulNat(yv194000, Succ(yv198100)) The graph contains the following edges 1 > 1, 2 >= 2 ---------------------------------------- (17) YES ---------------------------------------- (18) Obligation: Q DP problem: The TRS P consists of the following rules: new_primPlusNat(Succ(yv23000), Succ(yv1981000)) -> new_primPlusNat(yv23000, yv1981000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (19) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primPlusNat(Succ(yv23000), Succ(yv1981000)) -> new_primPlusNat(yv23000, yv1981000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (20) YES ---------------------------------------- (21) Obligation: Q DP problem: The TRS P consists of the following rules: new_primEqNat(Succ(yv19400), Succ(yv19800)) -> new_primEqNat(yv19400, yv19800) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (22) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primEqNat(Succ(yv19400), Succ(yv19800)) -> new_primEqNat(yv19400, yv19800) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (23) YES