43.70/26.01	YES
45.45/26.56	proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs
45.45/26.56	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
45.45/26.56	
45.45/26.56	
45.45/26.56	H-Termination with start terms of the given HASKELL could be proven:
45.45/26.56	
45.45/26.56	(0) HASKELL
45.45/26.56	(1) BR [EQUIVALENT, 0 ms]
45.45/26.56	(2) HASKELL
45.45/26.56	(3) COR [EQUIVALENT, 27 ms]
45.45/26.56	(4) HASKELL
45.45/26.56	(5) LetRed [EQUIVALENT, 0 ms]
45.45/26.56	(6) HASKELL
45.45/26.56	(7) Narrow [SOUND, 0 ms]
45.45/26.56	(8) AND
45.45/26.56	    (9) QDP
45.45/26.56	        (10) DependencyGraphProof [EQUIVALENT, 0 ms]
45.45/26.56	        (11) QDP
45.45/26.56	        (12) QDPSizeChangeProof [EQUIVALENT, 0 ms]
45.45/26.56	        (13) YES
45.45/26.56	    (14) QDP
45.45/26.56	        (15) QDPSizeChangeProof [EQUIVALENT, 0 ms]
45.45/26.56	        (16) YES
45.45/26.56	
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(0)
45.45/26.56	Obligation:
45.45/26.56	mainModule Main 
45.45/26.56	module Maybe where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	module List where {
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	nub :: Eq a => [a]  ->  [a];
45.45/26.56	nub l = nub' l [] where { 
45.45/26.56	nub' [] _ = [];
45.45/26.56	nub' (x : xs) ls  | x `elem` ls = nub' xs ls
45.45/26.56	 | otherwise = x : nub' xs (x : ls);
45.45/26.56	 };
45.45/26.56	
45.45/26.56	}
45.45/26.56	module Main where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(1) BR (EQUIVALENT)
45.45/26.56	Replaced joker patterns by fresh variables and removed binding patterns.
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(2)
45.45/26.56	Obligation:
45.45/26.56	mainModule Main 
45.45/26.56	module Maybe where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	module List where {
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	nub :: Eq a => [a]  ->  [a];
45.45/26.56	nub l = nub' l [] where { 
45.45/26.56	nub' [] vy = [];
45.45/26.56	nub' (x : xs) ls  | x `elem` ls = nub' xs ls
45.45/26.56	 | otherwise = x : nub' xs (x : ls);
45.45/26.56	 };
45.45/26.56	
45.45/26.56	}
45.45/26.56	module Main where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(3) COR (EQUIVALENT)
45.45/26.56	Cond Reductions:
45.45/26.56	The following Function with conditions
45.45/26.56	"undefined |Falseundefined;
45.45/26.56	"
45.45/26.56	is transformed to
45.45/26.56	"undefined  = undefined1;
45.45/26.56	"
45.45/26.56	"undefined0 True = undefined;
45.45/26.56	"
45.45/26.56	"undefined1  = undefined0 False;
45.45/26.56	"
45.45/26.56	The following Function with conditions
45.45/26.56	"nub' [] vy = [];
45.45/26.56	nub' (x : xs) ls|x `elem` lsnub' xs ls|otherwisex : nub' xs (x : ls);
45.45/26.56	"
45.45/26.56	is transformed to
45.45/26.56	"nub' [] vy = nub'3 [] vy;
45.45/26.56	nub' (x : xs) ls = nub'2 (x : xs) ls;
45.45/26.56	"
45.45/26.56	"nub'1 x xs ls True = nub' xs ls;
45.45/26.56	nub'1 x xs ls False = nub'0 x xs ls otherwise;
45.45/26.56	"
45.45/26.56	"nub'0 x xs ls True = x : nub' xs (x : ls);
45.45/26.56	"
45.45/26.56	"nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls);
45.45/26.56	"
45.45/26.56	"nub'3 [] vy = [];
45.45/26.56	nub'3 wv ww = nub'2 wv ww;
45.45/26.56	"
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(4)
45.45/26.56	Obligation:
45.45/26.56	mainModule Main 
45.45/26.56	module Maybe where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	module List where {
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	nub :: Eq a => [a]  ->  [a];
45.45/26.56	nub l = nub' l [] where { 
45.45/26.56	nub' [] vy = nub'3 [] vy;
45.45/26.56	nub' (x : xs) ls = nub'2 (x : xs) ls;
45.45/26.56	nub'0 x xs ls True = x : nub' xs (x : ls);
45.45/26.56	nub'1 x xs ls True = nub' xs ls;
45.45/26.56	nub'1 x xs ls False = nub'0 x xs ls otherwise;
45.45/26.56	nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls);
45.45/26.56	nub'3 [] vy = [];
45.45/26.56	nub'3 wv ww = nub'2 wv ww;
45.45/26.56	 };
45.45/26.56	
45.45/26.56	}
45.45/26.56	module Main where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(5) LetRed (EQUIVALENT)
45.45/26.56	Let/Where Reductions:
45.45/26.56	The bindings of the following Let/Where expression
45.45/26.56	"nub' l [] where {
45.45/26.56	nub' [] vy = nub'3 [] vy;
45.45/26.56	nub' (x : xs) ls = nub'2 (x : xs) ls;
45.45/26.56	;
45.45/26.56	nub'0 x xs ls True = x : nub' xs (x : ls);
45.45/26.56	;
45.45/26.56	nub'1 x xs ls True = nub' xs ls;
45.45/26.56	nub'1 x xs ls False = nub'0 x xs ls otherwise;
45.45/26.56	;
45.45/26.56	nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls);
45.45/26.56	;
45.45/26.56	nub'3 [] vy = [];
45.45/26.56	nub'3 wv ww = nub'2 wv ww;
45.45/26.56	} 
45.45/26.56	"
45.45/26.56	are unpacked to the following functions on top level
45.45/26.56	"nubNub'0 x xs ls True = x : nubNub' xs (x : ls);
45.45/26.56	"
45.45/26.56	"nubNub'1 x xs ls True = nubNub' xs ls;
45.45/26.56	nubNub'1 x xs ls False = nubNub'0 x xs ls otherwise;
45.45/26.56	"
45.45/26.56	"nubNub'2 (x : xs) ls = nubNub'1 x xs ls (x `elem` ls);
45.45/26.56	"
45.45/26.56	"nubNub' [] vy = nubNub'3 [] vy;
45.45/26.56	nubNub' (x : xs) ls = nubNub'2 (x : xs) ls;
45.45/26.56	"
45.45/26.56	"nubNub'3 [] vy = [];
45.45/26.56	nubNub'3 wv ww = nubNub'2 wv ww;
45.45/26.56	"
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(6)
45.45/26.56	Obligation:
45.45/26.56	mainModule Main 
45.45/26.56	module Maybe where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	module List where {
45.45/26.56	import qualified Main;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	nub :: Eq a => [a]  ->  [a];
45.45/26.56	nub l = nubNub' l [];
45.45/26.56	
45.45/26.56	nubNub' [] vy = nubNub'3 [] vy;
45.45/26.56	nubNub' (x : xs) ls = nubNub'2 (x : xs) ls;
45.45/26.56	
45.45/26.56	nubNub'0 x xs ls True = x : nubNub' xs (x : ls);
45.45/26.56	
45.45/26.56	nubNub'1 x xs ls True = nubNub' xs ls;
45.45/26.56	nubNub'1 x xs ls False = nubNub'0 x xs ls otherwise;
45.45/26.56	
45.45/26.56	nubNub'2 (x : xs) ls = nubNub'1 x xs ls (x `elem` ls);
45.45/26.56	
45.45/26.56	nubNub'3 [] vy = [];
45.45/26.56	nubNub'3 wv ww = nubNub'2 wv ww;
45.45/26.56	
45.45/26.56	}
45.45/26.56	module Main where {
45.45/26.56	import qualified List;
45.45/26.56	import qualified Maybe;
45.45/26.56	import qualified Prelude;
45.45/26.56	}
45.45/26.56	
45.45/26.56	----------------------------------------
45.45/26.56	
45.45/26.56	(7) Narrow (SOUND)
45.45/26.56	Haskell To QDPs
45.45/26.56	
45.45/26.56	digraph dp_graph {
45.45/26.56	node [outthreshold=100, inthreshold=100];1[label="List.nub",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
45.45/26.56	3[label="List.nub wx3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
45.45/26.56	4[label="List.nubNub' wx3 []",fontsize=16,color="burlywood",shape="box"];40760[label="wx3/wx30 : wx31",fontsize=10,color="white",style="solid",shape="box"];4 -> 40760[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40760 -> 5[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40761[label="wx3/[]",fontsize=10,color="white",style="solid",shape="box"];4 -> 40761[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40761 -> 6[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	5[label="List.nubNub' (wx30 : wx31) []",fontsize=16,color="black",shape="box"];5 -> 7[label="",style="solid", color="black", weight=3];
45.45/26.56	6[label="List.nubNub' [] []",fontsize=16,color="black",shape="box"];6 -> 8[label="",style="solid", color="black", weight=3];
45.45/26.56	7[label="List.nubNub'2 (wx30 : wx31) []",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
45.45/26.56	8[label="List.nubNub'3 [] []",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
45.45/26.56	9[label="List.nubNub'1 wx30 wx31 [] (wx30 `elem` [])",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
45.45/26.56	10[label="[]",fontsize=16,color="green",shape="box"];11[label="List.nubNub'1 wx30 wx31 [] (any . (==))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
45.45/26.56	12[label="List.nubNub'1 wx30 wx31 [] (any ((==) wx30) [])",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
45.45/26.56	13[label="List.nubNub'1 wx30 wx31 [] (or . map ((==) wx30))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
45.45/26.56	14[label="List.nubNub'1 wx30 wx31 [] (or (map ((==) wx30) []))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
45.45/26.56	15[label="List.nubNub'1 wx30 wx31 [] (foldr (||) False (map ((==) wx30) []))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
45.45/26.56	16[label="List.nubNub'1 wx30 wx31 [] (foldr (||) False [])",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
45.45/26.56	17[label="List.nubNub'1 wx30 wx31 [] False",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
45.45/26.56	18[label="List.nubNub'0 wx30 wx31 [] otherwise",fontsize=16,color="black",shape="box"];18 -> 19[label="",style="solid", color="black", weight=3];
45.45/26.56	19[label="List.nubNub'0 wx30 wx31 [] True",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
45.45/26.56	20[label="wx30 : List.nubNub' wx31 (wx30 : [])",fontsize=16,color="green",shape="box"];20 -> 21[label="",style="dashed", color="green", weight=3];
45.45/26.56	21[label="List.nubNub' wx31 (wx30 : [])",fontsize=16,color="burlywood",shape="triangle"];40762[label="wx31/wx310 : wx311",fontsize=10,color="white",style="solid",shape="box"];21 -> 40762[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40762 -> 22[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40763[label="wx31/[]",fontsize=10,color="white",style="solid",shape="box"];21 -> 40763[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40763 -> 23[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	22[label="List.nubNub' (wx310 : wx311) (wx30 : [])",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
45.45/26.56	23[label="List.nubNub' [] (wx30 : [])",fontsize=16,color="black",shape="box"];23 -> 25[label="",style="solid", color="black", weight=3];
45.45/26.56	24[label="List.nubNub'2 (wx310 : wx311) (wx30 : [])",fontsize=16,color="black",shape="box"];24 -> 26[label="",style="solid", color="black", weight=3];
45.45/26.56	25[label="List.nubNub'3 [] (wx30 : [])",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
45.45/26.56	26[label="List.nubNub'1 wx310 wx311 (wx30 : []) (wx310 `elem` wx30 : [])",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
45.45/26.56	27[label="[]",fontsize=16,color="green",shape="box"];28[label="List.nubNub'1 wx310 wx311 (wx30 : []) (any . (==))",fontsize=16,color="black",shape="box"];28 -> 29[label="",style="solid", color="black", weight=3];
45.45/26.56	29[label="List.nubNub'1 wx310 wx311 (wx30 : []) (any ((==) wx310) (wx30 : []))",fontsize=16,color="black",shape="box"];29 -> 30[label="",style="solid", color="black", weight=3];
45.45/26.56	30[label="List.nubNub'1 wx310 wx311 (wx30 : []) (or . map ((==) wx310))",fontsize=16,color="black",shape="box"];30 -> 31[label="",style="solid", color="black", weight=3];
45.45/26.56	31[label="List.nubNub'1 wx310 wx311 (wx30 : []) (or (map ((==) wx310) (wx30 : [])))",fontsize=16,color="black",shape="box"];31 -> 32[label="",style="solid", color="black", weight=3];
45.45/26.56	32[label="List.nubNub'1 wx310 wx311 (wx30 : []) (foldr (||) False (map ((==) wx310) (wx30 : [])))",fontsize=16,color="black",shape="box"];32 -> 33[label="",style="solid", color="black", weight=3];
45.45/26.56	33[label="List.nubNub'1 wx310 wx311 (wx30 : []) (foldr (||) False (((==) wx310 wx30) : map ((==) wx310) []))",fontsize=16,color="black",shape="box"];33 -> 34[label="",style="solid", color="black", weight=3];
45.45/26.56	34[label="List.nubNub'1 wx310 wx311 (wx30 : []) ((||) (==) wx310 wx30 foldr (||) False (map ((==) wx310) []))",fontsize=16,color="black",shape="box"];34 -> 35[label="",style="solid", color="black", weight=3];
45.45/26.56	35[label="List.nubNub'1 wx310 wx311 (wx30 : []) ((||) primEqChar wx310 wx30 foldr (||) False (map (primEqChar wx310) []))",fontsize=16,color="burlywood",shape="box"];40764[label="wx310/Char wx3100",fontsize=10,color="white",style="solid",shape="box"];35 -> 40764[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40764 -> 36[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	36[label="List.nubNub'1 (Char wx3100) wx311 (wx30 : []) ((||) primEqChar (Char wx3100) wx30 foldr (||) False (map (primEqChar (Char wx3100)) []))",fontsize=16,color="burlywood",shape="box"];40765[label="wx30/Char wx300",fontsize=10,color="white",style="solid",shape="box"];36 -> 40765[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40765 -> 37[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	37[label="List.nubNub'1 (Char wx3100) wx311 (Char wx300 : []) ((||) primEqChar (Char wx3100) (Char wx300) foldr (||) False (map (primEqChar (Char wx3100)) []))",fontsize=16,color="black",shape="box"];37 -> 38[label="",style="solid", color="black", weight=3];
45.45/26.56	38[label="List.nubNub'1 (Char wx3100) wx311 (Char wx300 : []) ((||) primEqNat wx3100 wx300 foldr (||) False (map (primEqChar (Char wx3100)) []))",fontsize=16,color="burlywood",shape="box"];40766[label="wx3100/Succ wx31000",fontsize=10,color="white",style="solid",shape="box"];38 -> 40766[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40766 -> 39[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40767[label="wx3100/Zero",fontsize=10,color="white",style="solid",shape="box"];38 -> 40767[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40767 -> 40[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	39[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char wx300 : []) ((||) primEqNat (Succ wx31000) wx300 foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="burlywood",shape="box"];40768[label="wx300/Succ wx3000",fontsize=10,color="white",style="solid",shape="box"];39 -> 40768[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40768 -> 41[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40769[label="wx300/Zero",fontsize=10,color="white",style="solid",shape="box"];39 -> 40769[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40769 -> 42[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40[label="List.nubNub'1 (Char Zero) wx311 (Char wx300 : []) ((||) primEqNat Zero wx300 foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="burlywood",shape="box"];40770[label="wx300/Succ wx3000",fontsize=10,color="white",style="solid",shape="box"];40 -> 40770[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40770 -> 43[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40771[label="wx300/Zero",fontsize=10,color="white",style="solid",shape="box"];40 -> 40771[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40771 -> 44[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	41[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char (Succ wx3000) : []) ((||) primEqNat (Succ wx31000) (Succ wx3000) foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3];
45.45/26.56	42[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) ((||) primEqNat (Succ wx31000) Zero foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3];
45.45/26.56	43[label="List.nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) ((||) primEqNat Zero (Succ wx3000) foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3];
45.45/26.56	44[label="List.nubNub'1 (Char Zero) wx311 (Char Zero : []) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3];
45.45/26.56	45 -> 40646[label="",style="dashed", color="red", weight=0];
45.45/26.56	45[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char (Succ wx3000) : []) ((||) primEqNat wx31000 wx3000 foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="magenta"];45 -> 40647[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	45 -> 40648[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	45 -> 40649[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	45 -> 40650[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	45 -> 40651[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	45 -> 40652[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	45 -> 40653[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	46[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];46 -> 51[label="",style="solid", color="black", weight=3];
45.45/26.56	47[label="List.nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) ((||) False foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];47 -> 52[label="",style="solid", color="black", weight=3];
45.45/26.56	48[label="List.nubNub'1 (Char Zero) wx311 (Char Zero : []) ((||) True foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];48 -> 53[label="",style="solid", color="black", weight=3];
45.45/26.56	40647[label="wx3000",fontsize=16,color="green",shape="box"];40648[label="wx31000",fontsize=16,color="green",shape="box"];40649[label="wx311",fontsize=16,color="green",shape="box"];40650[label="[]",fontsize=16,color="green",shape="box"];40651[label="wx31000",fontsize=16,color="green",shape="box"];40652[label="wx3000",fontsize=16,color="green",shape="box"];40653[label="[]",fontsize=16,color="green",shape="box"];40646[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat wx3752 wx3753 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="triangle"];40772[label="wx3752/Succ wx37520",fontsize=10,color="white",style="solid",shape="box"];40646 -> 40772[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40772 -> 40724[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40773[label="wx3752/Zero",fontsize=10,color="white",style="solid",shape="box"];40646 -> 40773[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40773 -> 40725[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	51[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) (foldr (||) False (map (primEqChar (Char (Succ wx31000))) []))",fontsize=16,color="black",shape="box"];51 -> 58[label="",style="solid", color="black", weight=3];
45.45/26.56	52[label="List.nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) (foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];52 -> 59[label="",style="solid", color="black", weight=3];
45.45/26.56	53[label="List.nubNub'1 (Char Zero) wx311 (Char Zero : []) True",fontsize=16,color="black",shape="box"];53 -> 60[label="",style="solid", color="black", weight=3];
45.45/26.56	40724[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx37520) wx3753 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="box"];40774[label="wx3753/Succ wx37530",fontsize=10,color="white",style="solid",shape="box"];40724 -> 40774[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40774 -> 40726[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40775[label="wx3753/Zero",fontsize=10,color="white",style="solid",shape="box"];40724 -> 40775[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40775 -> 40727[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40725[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat Zero wx3753 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="box"];40776[label="wx3753/Succ wx37530",fontsize=10,color="white",style="solid",shape="box"];40725 -> 40776[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40776 -> 40728[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40777[label="wx3753/Zero",fontsize=10,color="white",style="solid",shape="box"];40725 -> 40777[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40777 -> 40729[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	58[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) (foldr (||) False [])",fontsize=16,color="black",shape="triangle"];58 -> 65[label="",style="solid", color="black", weight=3];
45.45/26.56	59[label="List.nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) (foldr (||) False [])",fontsize=16,color="black",shape="triangle"];59 -> 66[label="",style="solid", color="black", weight=3];
45.45/26.56	60 -> 21[label="",style="dashed", color="red", weight=0];
45.45/26.56	60[label="List.nubNub' wx311 (Char Zero : [])",fontsize=16,color="magenta"];60 -> 67[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	60 -> 68[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40726[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx37520) (Succ wx37530) foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40726 -> 40730[label="",style="solid", color="black", weight=3];
45.45/26.56	40727[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx37520) Zero foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40727 -> 40731[label="",style="solid", color="black", weight=3];
45.45/26.56	40728[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat Zero (Succ wx37530) foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40728 -> 40732[label="",style="solid", color="black", weight=3];
45.45/26.56	40729[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40729 -> 40733[label="",style="solid", color="black", weight=3];
45.45/26.56	65[label="List.nubNub'1 (Char (Succ wx31000)) wx311 (Char Zero : []) False",fontsize=16,color="black",shape="box"];65 -> 74[label="",style="solid", color="black", weight=3];
45.45/26.56	66[label="List.nubNub'1 (Char Zero) wx311 (Char (Succ wx3000) : []) False",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3];
45.45/26.56	67[label="Char Zero",fontsize=16,color="green",shape="box"];68[label="wx311",fontsize=16,color="green",shape="box"];40730 -> 40646[label="",style="dashed", color="red", weight=0];
45.45/26.56	40730[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat wx37520 wx37530 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="magenta"];40730 -> 40734[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40730 -> 40735[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40731[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="triangle"];40731 -> 40736[label="",style="solid", color="black", weight=3];
45.45/26.56	40732 -> 40731[label="",style="dashed", color="red", weight=0];
45.45/26.56	40732[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="magenta"];40733[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) True foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="black",shape="box"];40733 -> 40737[label="",style="solid", color="black", weight=3];
45.45/26.56	74[label="List.nubNub'0 (Char (Succ wx31000)) wx311 (Char Zero : []) otherwise",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3];
45.45/26.56	75[label="List.nubNub'0 (Char Zero) wx311 (Char (Succ wx3000) : []) otherwise",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3];
45.45/26.56	40734[label="wx37520",fontsize=16,color="green",shape="box"];40735[label="wx37530",fontsize=16,color="green",shape="box"];40736[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx3754))",fontsize=16,color="burlywood",shape="box"];40778[label="wx3754/wx37540 : wx37541",fontsize=10,color="white",style="solid",shape="box"];40736 -> 40778[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40778 -> 40738[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40779[label="wx3754/[]",fontsize=10,color="white",style="solid",shape="box"];40736 -> 40779[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40779 -> 40739[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40737[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) True",fontsize=16,color="black",shape="box"];40737 -> 40740[label="",style="solid", color="black", weight=3];
45.45/26.56	83[label="List.nubNub'0 (Char (Succ wx31000)) wx311 (Char Zero : []) True",fontsize=16,color="black",shape="box"];83 -> 93[label="",style="solid", color="black", weight=3];
45.45/26.56	84[label="List.nubNub'0 (Char Zero) wx311 (Char (Succ wx3000) : []) True",fontsize=16,color="black",shape="box"];84 -> 94[label="",style="solid", color="black", weight=3];
45.45/26.56	40738[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (map (primEqChar (Char (Succ wx3748))) (wx37540 : wx37541)))",fontsize=16,color="black",shape="box"];40738 -> 40741[label="",style="solid", color="black", weight=3];
45.45/26.56	40739[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (map (primEqChar (Char (Succ wx3748))) []))",fontsize=16,color="black",shape="box"];40739 -> 40742[label="",style="solid", color="black", weight=3];
45.45/26.56	40740 -> 38340[label="",style="dashed", color="red", weight=0];
45.45/26.56	40740[label="List.nubNub' wx3749 (Char (Succ wx3750) : wx3751)",fontsize=16,color="magenta"];40740 -> 40743[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40740 -> 40744[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40740 -> 40745[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	93[label="Char (Succ wx31000) : List.nubNub' wx311 (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="green",shape="box"];93 -> 102[label="",style="dashed", color="green", weight=3];
45.45/26.56	94[label="Char Zero : List.nubNub' wx311 (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="green",shape="box"];94 -> 103[label="",style="dashed", color="green", weight=3];
45.45/26.56	40741[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False (primEqChar (Char (Succ wx3748)) wx37540 : map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="black",shape="box"];40741 -> 40746[label="",style="solid", color="black", weight=3];
45.45/26.56	40742[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) (foldr (||) False [])",fontsize=16,color="black",shape="box"];40742 -> 40747[label="",style="solid", color="black", weight=3];
45.45/26.56	40743[label="wx3750",fontsize=16,color="green",shape="box"];40744[label="wx3749",fontsize=16,color="green",shape="box"];40745[label="wx3751",fontsize=16,color="green",shape="box"];38340[label="List.nubNub' wx3609 (Char (Succ wx3610) : wx3611)",fontsize=16,color="burlywood",shape="triangle"];40780[label="wx3609/wx36090 : wx36091",fontsize=10,color="white",style="solid",shape="box"];38340 -> 40780[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40780 -> 38346[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40781[label="wx3609/[]",fontsize=10,color="white",style="solid",shape="box"];38340 -> 40781[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40781 -> 38347[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	102[label="List.nubNub' wx311 (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="burlywood",shape="triangle"];40782[label="wx311/wx3110 : wx3111",fontsize=10,color="white",style="solid",shape="box"];102 -> 40782[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40782 -> 113[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40783[label="wx311/[]",fontsize=10,color="white",style="solid",shape="box"];102 -> 40783[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40783 -> 114[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	103[label="List.nubNub' wx311 (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="burlywood",shape="triangle"];40784[label="wx311/wx3110 : wx3111",fontsize=10,color="white",style="solid",shape="box"];103 -> 40784[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40784 -> 115[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40785[label="wx311/[]",fontsize=10,color="white",style="solid",shape="box"];103 -> 40785[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40785 -> 116[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40746[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqChar (Char (Succ wx3748)) wx37540 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="burlywood",shape="box"];40786[label="wx37540/Char wx375400",fontsize=10,color="white",style="solid",shape="box"];40746 -> 40786[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40786 -> 40748[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40747[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) False",fontsize=16,color="black",shape="box"];40747 -> 40749[label="",style="solid", color="black", weight=3];
45.45/26.56	38346[label="List.nubNub' (wx36090 : wx36091) (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38346 -> 38354[label="",style="solid", color="black", weight=3];
45.45/26.56	38347[label="List.nubNub' [] (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38347 -> 38355[label="",style="solid", color="black", weight=3];
45.45/26.56	113[label="List.nubNub' (wx3110 : wx3111) (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];113 -> 127[label="",style="solid", color="black", weight=3];
45.45/26.56	114[label="List.nubNub' [] (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];114 -> 128[label="",style="solid", color="black", weight=3];
45.45/26.56	115[label="List.nubNub' (wx3110 : wx3111) (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];115 -> 129[label="",style="solid", color="black", weight=3];
45.45/26.56	116[label="List.nubNub' [] (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];116 -> 130[label="",style="solid", color="black", weight=3];
45.45/26.56	40748[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqChar (Char (Succ wx3748)) (Char wx375400) foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="black",shape="box"];40748 -> 40750[label="",style="solid", color="black", weight=3];
45.45/26.56	40749[label="List.nubNub'0 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) otherwise",fontsize=16,color="black",shape="box"];40749 -> 40751[label="",style="solid", color="black", weight=3];
45.45/26.56	38354[label="List.nubNub'2 (wx36090 : wx36091) (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38354 -> 38364[label="",style="solid", color="black", weight=3];
45.45/26.56	38355[label="List.nubNub'3 [] (Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38355 -> 38365[label="",style="solid", color="black", weight=3];
45.45/26.56	127[label="List.nubNub'2 (wx3110 : wx3111) (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];127 -> 140[label="",style="solid", color="black", weight=3];
45.45/26.56	128[label="List.nubNub'3 [] (Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];128 -> 141[label="",style="solid", color="black", weight=3];
45.45/26.56	129[label="List.nubNub'2 (wx3110 : wx3111) (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];129 -> 142[label="",style="solid", color="black", weight=3];
45.45/26.56	130[label="List.nubNub'3 [] (Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="black",shape="box"];130 -> 143[label="",style="solid", color="black", weight=3];
45.45/26.56	40750 -> 40646[label="",style="dashed", color="red", weight=0];
45.45/26.56	40750[label="List.nubNub'1 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) ((||) primEqNat (Succ wx3748) wx375400 foldr (||) False (map (primEqChar (Char (Succ wx3748))) wx37541))",fontsize=16,color="magenta"];40750 -> 40752[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40750 -> 40753[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40750 -> 40754[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40751[label="List.nubNub'0 (Char (Succ wx3748)) wx3749 (Char (Succ wx3750) : wx3751) True",fontsize=16,color="black",shape="box"];40751 -> 40755[label="",style="solid", color="black", weight=3];
45.45/26.56	38364[label="List.nubNub'1 wx36090 wx36091 (Char (Succ wx3610) : wx3611) (wx36090 `elem` Char (Succ wx3610) : wx3611)",fontsize=16,color="black",shape="box"];38364 -> 38372[label="",style="solid", color="black", weight=3];
45.45/26.56	38365[label="[]",fontsize=16,color="green",shape="box"];140[label="List.nubNub'1 wx3110 wx3111 (Char (Succ wx31000) : Char Zero : []) (wx3110 `elem` Char (Succ wx31000) : Char Zero : [])",fontsize=16,color="black",shape="box"];140 -> 157[label="",style="solid", color="black", weight=3];
45.45/26.56	141[label="[]",fontsize=16,color="green",shape="box"];142 -> 32170[label="",style="dashed", color="red", weight=0];
45.45/26.56	142[label="List.nubNub'1 wx3110 wx3111 (Char Zero : Char (Succ wx3000) : []) (wx3110 `elem` Char Zero : Char (Succ wx3000) : [])",fontsize=16,color="magenta"];142 -> 32171[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	142 -> 32172[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	142 -> 32173[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	143[label="[]",fontsize=16,color="green",shape="box"];40752[label="wx37541",fontsize=16,color="green",shape="box"];40753[label="Succ wx3748",fontsize=16,color="green",shape="box"];40754[label="wx375400",fontsize=16,color="green",shape="box"];40755[label="Char (Succ wx3748) : List.nubNub' wx3749 (Char (Succ wx3748) : Char (Succ wx3750) : wx3751)",fontsize=16,color="green",shape="box"];40755 -> 40756[label="",style="dashed", color="green", weight=3];
45.45/26.56	38372[label="List.nubNub'1 wx36090 wx36091 (Char (Succ wx3610) : wx3611) (any . (==))",fontsize=16,color="black",shape="box"];38372 -> 38379[label="",style="solid", color="black", weight=3];
45.45/26.56	157[label="List.nubNub'1 wx3110 wx3111 (Char (Succ wx31000) : Char Zero : []) (any . (==))",fontsize=16,color="black",shape="box"];157 -> 173[label="",style="solid", color="black", weight=3];
45.45/26.56	32171[label="wx3111",fontsize=16,color="green",shape="box"];32172[label="Char (Succ wx3000) : []",fontsize=16,color="green",shape="box"];32173[label="wx3110",fontsize=16,color="green",shape="box"];32170[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (wx3208 `elem` Char Zero : wx3210)",fontsize=16,color="black",shape="triangle"];32170 -> 32186[label="",style="solid", color="black", weight=3];
45.45/26.56	40756 -> 38340[label="",style="dashed", color="red", weight=0];
45.45/26.56	40756[label="List.nubNub' wx3749 (Char (Succ wx3748) : Char (Succ wx3750) : wx3751)",fontsize=16,color="magenta"];40756 -> 40757[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40756 -> 40758[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	40756 -> 40759[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38379 -> 37046[label="",style="dashed", color="red", weight=0];
45.45/26.56	38379[label="List.nubNub'1 wx36090 wx36091 (Char (Succ wx3610) : wx3611) (any ((==) wx36090) (Char (Succ wx3610) : wx3611))",fontsize=16,color="magenta"];38379 -> 38388[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38379 -> 38389[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38379 -> 38390[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38379 -> 38391[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	173 -> 37046[label="",style="dashed", color="red", weight=0];
45.45/26.56	173[label="List.nubNub'1 wx3110 wx3111 (Char (Succ wx31000) : Char Zero : []) (any ((==) wx3110) (Char (Succ wx31000) : Char Zero : []))",fontsize=16,color="magenta"];173 -> 37047[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	173 -> 37048[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	173 -> 37049[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	173 -> 37050[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32186[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (any . (==))",fontsize=16,color="black",shape="box"];32186 -> 32222[label="",style="solid", color="black", weight=3];
45.45/26.56	40757[label="wx3748",fontsize=16,color="green",shape="box"];40758[label="wx3749",fontsize=16,color="green",shape="box"];40759[label="Char (Succ wx3750) : wx3751",fontsize=16,color="green",shape="box"];38388[label="wx36091",fontsize=16,color="green",shape="box"];38389[label="wx3610",fontsize=16,color="green",shape="box"];38390[label="wx3611",fontsize=16,color="green",shape="box"];38391[label="wx36090",fontsize=16,color="green",shape="box"];37046[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (any ((==) wx3547) (Char (Succ wx3549) : wx3550))",fontsize=16,color="black",shape="triangle"];37046 -> 37071[label="",style="solid", color="black", weight=3];
45.45/26.56	37047[label="wx3111",fontsize=16,color="green",shape="box"];37048[label="wx31000",fontsize=16,color="green",shape="box"];37049[label="Char Zero : []",fontsize=16,color="green",shape="box"];37050[label="wx3110",fontsize=16,color="green",shape="box"];32222[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (any ((==) wx3208) (Char Zero : wx3210))",fontsize=16,color="black",shape="box"];32222 -> 32300[label="",style="solid", color="black", weight=3];
45.45/26.56	37071[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (or . map ((==) wx3547))",fontsize=16,color="black",shape="box"];37071 -> 37072[label="",style="solid", color="black", weight=3];
45.45/26.56	32300[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (or . map ((==) wx3208))",fontsize=16,color="black",shape="box"];32300 -> 32390[label="",style="solid", color="black", weight=3];
45.45/26.56	37072[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (or (map ((==) wx3547) (Char (Succ wx3549) : wx3550)))",fontsize=16,color="black",shape="box"];37072 -> 37073[label="",style="solid", color="black", weight=3];
45.45/26.56	32390[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (or (map ((==) wx3208) (Char Zero : wx3210)))",fontsize=16,color="black",shape="box"];32390 -> 32469[label="",style="solid", color="black", weight=3];
45.45/26.56	37073[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (foldr (||) False (map ((==) wx3547) (Char (Succ wx3549) : wx3550)))",fontsize=16,color="black",shape="box"];37073 -> 37074[label="",style="solid", color="black", weight=3];
45.45/26.56	32469[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (foldr (||) False (map ((==) wx3208) (Char Zero : wx3210)))",fontsize=16,color="black",shape="box"];32469 -> 32487[label="",style="solid", color="black", weight=3];
45.45/26.56	37074[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) (foldr (||) False (((==) wx3547 Char (Succ wx3549)) : map ((==) wx3547) wx3550))",fontsize=16,color="black",shape="box"];37074 -> 37075[label="",style="solid", color="black", weight=3];
45.45/26.56	32487[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) (foldr (||) False (((==) wx3208 Char Zero) : map ((==) wx3208) wx3210))",fontsize=16,color="black",shape="box"];32487 -> 32594[label="",style="solid", color="black", weight=3];
45.45/26.56	37075[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) ((||) (==) wx3547 Char (Succ wx3549) foldr (||) False (map ((==) wx3547) wx3550))",fontsize=16,color="black",shape="box"];37075 -> 37076[label="",style="solid", color="black", weight=3];
45.45/26.56	32594[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) ((||) (==) wx3208 Char Zero foldr (||) False (map ((==) wx3208) wx3210))",fontsize=16,color="black",shape="box"];32594 -> 32616[label="",style="solid", color="black", weight=3];
45.45/26.56	37076[label="List.nubNub'1 wx3547 wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqChar wx3547 (Char (Succ wx3549)) foldr (||) False (map (primEqChar wx3547) wx3550))",fontsize=16,color="burlywood",shape="box"];40787[label="wx3547/Char wx35470",fontsize=10,color="white",style="solid",shape="box"];37076 -> 40787[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40787 -> 37077[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	32616[label="List.nubNub'1 wx3208 wx3209 (Char Zero : wx3210) ((||) primEqChar wx3208 (Char Zero) foldr (||) False (map (primEqChar wx3208) wx3210))",fontsize=16,color="burlywood",shape="box"];40788[label="wx3208/Char wx32080",fontsize=10,color="white",style="solid",shape="box"];32616 -> 40788[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40788 -> 32731[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	37077[label="List.nubNub'1 (Char wx35470) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqChar (Char wx35470) (Char (Succ wx3549)) foldr (||) False (map (primEqChar (Char wx35470)) wx3550))",fontsize=16,color="black",shape="box"];37077 -> 37078[label="",style="solid", color="black", weight=3];
45.45/26.56	32731[label="List.nubNub'1 (Char wx32080) wx3209 (Char Zero : wx3210) ((||) primEqChar (Char wx32080) (Char Zero) foldr (||) False (map (primEqChar (Char wx32080)) wx3210))",fontsize=16,color="black",shape="box"];32731 -> 32738[label="",style="solid", color="black", weight=3];
45.45/26.56	37078[label="List.nubNub'1 (Char wx35470) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat wx35470 (Succ wx3549) foldr (||) False (map (primEqChar (Char wx35470)) wx3550))",fontsize=16,color="burlywood",shape="box"];40789[label="wx35470/Succ wx354700",fontsize=10,color="white",style="solid",shape="box"];37078 -> 40789[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40789 -> 37079[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40790[label="wx35470/Zero",fontsize=10,color="white",style="solid",shape="box"];37078 -> 40790[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40790 -> 37080[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	32738[label="List.nubNub'1 (Char wx32080) wx3209 (Char Zero : wx3210) ((||) primEqNat wx32080 Zero foldr (||) False (map (primEqChar (Char wx32080)) wx3210))",fontsize=16,color="burlywood",shape="box"];40791[label="wx32080/Succ wx320800",fontsize=10,color="white",style="solid",shape="box"];32738 -> 40791[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40791 -> 32747[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40792[label="wx32080/Zero",fontsize=10,color="white",style="solid",shape="box"];32738 -> 40792[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40792 -> 32748[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	37079[label="List.nubNub'1 (Char (Succ wx354700)) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat (Succ wx354700) (Succ wx3549) foldr (||) False (map (primEqChar (Char (Succ wx354700))) wx3550))",fontsize=16,color="black",shape="box"];37079 -> 37081[label="",style="solid", color="black", weight=3];
45.45/26.56	37080[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat Zero (Succ wx3549) foldr (||) False (map (primEqChar (Char Zero)) wx3550))",fontsize=16,color="black",shape="box"];37080 -> 37082[label="",style="solid", color="black", weight=3];
45.45/26.56	32747[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx3210) ((||) primEqNat (Succ wx320800) Zero foldr (||) False (map (primEqChar (Char (Succ wx320800))) wx3210))",fontsize=16,color="black",shape="box"];32747 -> 32760[label="",style="solid", color="black", weight=3];
45.45/26.56	32748[label="List.nubNub'1 (Char Zero) wx3209 (Char Zero : wx3210) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char Zero)) wx3210))",fontsize=16,color="black",shape="box"];32748 -> 32761[label="",style="solid", color="black", weight=3];
45.45/26.56	37081 -> 40646[label="",style="dashed", color="red", weight=0];
45.45/26.56	37081[label="List.nubNub'1 (Char (Succ wx354700)) wx3548 (Char (Succ wx3549) : wx3550) ((||) primEqNat wx354700 wx3549 foldr (||) False (map (primEqChar (Char (Succ wx354700))) wx3550))",fontsize=16,color="magenta"];37081 -> 40703[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37081 -> 40704[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37081 -> 40705[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37081 -> 40706[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37081 -> 40707[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37081 -> 40708[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37081 -> 40709[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37082[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx3550) ((||) False foldr (||) False (map (primEqChar (Char Zero)) wx3550))",fontsize=16,color="black",shape="box"];37082 -> 37085[label="",style="solid", color="black", weight=3];
45.45/26.56	32760[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx3210) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx320800))) wx3210))",fontsize=16,color="black",shape="box"];32760 -> 32767[label="",style="solid", color="black", weight=3];
45.45/26.56	32761[label="List.nubNub'1 (Char Zero) wx3209 (Char Zero : wx3210) ((||) True foldr (||) False (map (primEqChar (Char Zero)) wx3210))",fontsize=16,color="black",shape="box"];32761 -> 32768[label="",style="solid", color="black", weight=3];
45.45/26.56	40703[label="wx3549",fontsize=16,color="green",shape="box"];40704[label="wx354700",fontsize=16,color="green",shape="box"];40705[label="wx3548",fontsize=16,color="green",shape="box"];40706[label="wx3550",fontsize=16,color="green",shape="box"];40707[label="wx354700",fontsize=16,color="green",shape="box"];40708[label="wx3549",fontsize=16,color="green",shape="box"];40709[label="wx3550",fontsize=16,color="green",shape="box"];37085[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx3550) (foldr (||) False (map (primEqChar (Char Zero)) wx3550))",fontsize=16,color="burlywood",shape="box"];40793[label="wx3550/wx35500 : wx35501",fontsize=10,color="white",style="solid",shape="box"];37085 -> 40793[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40793 -> 37090[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40794[label="wx3550/[]",fontsize=10,color="white",style="solid",shape="box"];37085 -> 40794[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40794 -> 37091[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	32767[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx3210) (foldr (||) False (map (primEqChar (Char (Succ wx320800))) wx3210))",fontsize=16,color="burlywood",shape="box"];40795[label="wx3210/wx32100 : wx32101",fontsize=10,color="white",style="solid",shape="box"];32767 -> 40795[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40795 -> 32778[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40796[label="wx3210/[]",fontsize=10,color="white",style="solid",shape="box"];32767 -> 40796[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40796 -> 32779[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	32768[label="List.nubNub'1 (Char Zero) wx3209 (Char Zero : wx3210) True",fontsize=16,color="black",shape="box"];32768 -> 32780[label="",style="solid", color="black", weight=3];
45.45/26.56	37090[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx35500 : wx35501) (foldr (||) False (map (primEqChar (Char Zero)) (wx35500 : wx35501)))",fontsize=16,color="black",shape="box"];37090 -> 37096[label="",style="solid", color="black", weight=3];
45.45/26.56	37091[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : []) (foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];37091 -> 37097[label="",style="solid", color="black", weight=3];
45.45/26.56	32778[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx32100 : wx32101) (foldr (||) False (map (primEqChar (Char (Succ wx320800))) (wx32100 : wx32101)))",fontsize=16,color="black",shape="box"];32778 -> 32783[label="",style="solid", color="black", weight=3];
45.45/26.56	32779[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : []) (foldr (||) False (map (primEqChar (Char (Succ wx320800))) []))",fontsize=16,color="black",shape="box"];32779 -> 32784[label="",style="solid", color="black", weight=3];
45.45/26.56	32780[label="List.nubNub' wx3209 (Char Zero : wx3210)",fontsize=16,color="burlywood",shape="triangle"];40797[label="wx3209/wx32090 : wx32091",fontsize=10,color="white",style="solid",shape="box"];32780 -> 40797[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40797 -> 32785[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40798[label="wx3209/[]",fontsize=10,color="white",style="solid",shape="box"];32780 -> 40798[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40798 -> 32786[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	37096 -> 38392[label="",style="dashed", color="red", weight=0];
45.45/26.56	37096[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : wx35500 : wx35501) (foldr (||) False (primEqChar (Char Zero) wx35500 : map (primEqChar (Char Zero)) wx35501))",fontsize=16,color="magenta"];37096 -> 38393[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37096 -> 38394[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37096 -> 38395[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37096 -> 38396[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37096 -> 38397[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37097 -> 59[label="",style="dashed", color="red", weight=0];
45.45/26.56	37097[label="List.nubNub'1 (Char Zero) wx3548 (Char (Succ wx3549) : []) (foldr (||) False [])",fontsize=16,color="magenta"];37097 -> 37104[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	37097 -> 37105[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32783 -> 35482[label="",style="dashed", color="red", weight=0];
45.45/26.56	32783[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : wx32100 : wx32101) (foldr (||) False (primEqChar (Char (Succ wx320800)) wx32100 : map (primEqChar (Char (Succ wx320800))) wx32101))",fontsize=16,color="magenta"];32783 -> 35483[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32783 -> 35484[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32783 -> 35485[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32783 -> 35486[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32783 -> 35487[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32784 -> 58[label="",style="dashed", color="red", weight=0];
45.45/26.56	32784[label="List.nubNub'1 (Char (Succ wx320800)) wx3209 (Char Zero : []) (foldr (||) False [])",fontsize=16,color="magenta"];32784 -> 32791[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32784 -> 32792[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32785[label="List.nubNub' (wx32090 : wx32091) (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32785 -> 32793[label="",style="solid", color="black", weight=3];
45.45/26.56	32786[label="List.nubNub' [] (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32786 -> 32794[label="",style="solid", color="black", weight=3];
45.45/26.56	38393[label="wx3549",fontsize=16,color="green",shape="box"];38394[label="wx35500 : wx35501",fontsize=16,color="green",shape="box"];38395[label="wx35501",fontsize=16,color="green",shape="box"];38396[label="wx35500",fontsize=16,color="green",shape="box"];38397[label="wx3548",fontsize=16,color="green",shape="box"];38392[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (primEqChar (Char Zero) wx3618 : map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="triangle"];38392 -> 38423[label="",style="solid", color="black", weight=3];
45.45/26.56	37104[label="wx3549",fontsize=16,color="green",shape="box"];37105[label="wx3548",fontsize=16,color="green",shape="box"];35483[label="wx32100",fontsize=16,color="green",shape="box"];35484[label="wx3209",fontsize=16,color="green",shape="box"];35485[label="wx32100 : wx32101",fontsize=16,color="green",shape="box"];35486[label="wx320800",fontsize=16,color="green",shape="box"];35487[label="wx32101",fontsize=16,color="green",shape="box"];35482[label="List.nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) (foldr (||) False (primEqChar (Char (Succ wx3442)) wx3445 : map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="black",shape="triangle"];35482 -> 35653[label="",style="solid", color="black", weight=3];
45.45/26.56	32791[label="wx320800",fontsize=16,color="green",shape="box"];32792[label="wx3209",fontsize=16,color="green",shape="box"];32793[label="List.nubNub'2 (wx32090 : wx32091) (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32793 -> 32801[label="",style="solid", color="black", weight=3];
45.45/26.56	32794[label="List.nubNub'3 [] (Char Zero : wx3210)",fontsize=16,color="black",shape="box"];32794 -> 32802[label="",style="solid", color="black", weight=3];
45.45/26.56	38423[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqChar (Char Zero) wx3618 foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="burlywood",shape="box"];40799[label="wx3618/Char wx36180",fontsize=10,color="white",style="solid",shape="box"];38423 -> 40799[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40799 -> 38430[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	35653[label="List.nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) ((||) primEqChar (Char (Succ wx3442)) wx3445 foldr (||) False (map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="burlywood",shape="box"];40800[label="wx3445/Char wx34450",fontsize=10,color="white",style="solid",shape="box"];35653 -> 40800[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40800 -> 35698[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	32801 -> 32170[label="",style="dashed", color="red", weight=0];
45.45/26.56	32801[label="List.nubNub'1 wx32090 wx32091 (Char Zero : wx3210) (wx32090 `elem` Char Zero : wx3210)",fontsize=16,color="magenta"];32801 -> 32810[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32801 -> 32811[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	32802[label="[]",fontsize=16,color="green",shape="box"];38430[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqChar (Char Zero) (Char wx36180) foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38430 -> 38437[label="",style="solid", color="black", weight=3];
45.45/26.56	35698[label="List.nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) ((||) primEqChar (Char (Succ wx3442)) (Char wx34450) foldr (||) False (map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="black",shape="box"];35698 -> 35745[label="",style="solid", color="black", weight=3];
45.45/26.56	32810[label="wx32091",fontsize=16,color="green",shape="box"];32811[label="wx32090",fontsize=16,color="green",shape="box"];38437[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqNat Zero wx36180 foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="burlywood",shape="box"];40801[label="wx36180/Succ wx361800",fontsize=10,color="white",style="solid",shape="box"];38437 -> 40801[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40801 -> 38445[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40802[label="wx36180/Zero",fontsize=10,color="white",style="solid",shape="box"];38437 -> 40802[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40802 -> 38446[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	35745 -> 36478[label="",style="dashed", color="red", weight=0];
45.45/26.56	35745[label="List.nubNub'1 (Char (Succ wx3442)) wx3443 (Char Zero : wx3444) ((||) primEqNat (Succ wx3442) wx34450 foldr (||) False (map (primEqChar (Char (Succ wx3442))) wx3446))",fontsize=16,color="magenta"];35745 -> 36479[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	35745 -> 36480[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	35745 -> 36481[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	35745 -> 36482[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	35745 -> 36483[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	35745 -> 36484[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38445[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqNat Zero (Succ wx361800) foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38445 -> 38459[label="",style="solid", color="black", weight=3];
45.45/26.56	38446[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38446 -> 38460[label="",style="solid", color="black", weight=3];
45.45/26.56	36479[label="wx3442",fontsize=16,color="green",shape="box"];36480[label="wx34450",fontsize=16,color="green",shape="box"];36481[label="wx3446",fontsize=16,color="green",shape="box"];36482[label="wx3444",fontsize=16,color="green",shape="box"];36483[label="wx3443",fontsize=16,color="green",shape="box"];36484[label="Succ wx3442",fontsize=16,color="green",shape="box"];36478[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat wx3500 wx3501 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="triangle"];40803[label="wx3500/Succ wx35000",fontsize=10,color="white",style="solid",shape="box"];36478 -> 40803[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40803 -> 36521[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40804[label="wx3500/Zero",fontsize=10,color="white",style="solid",shape="box"];36478 -> 40804[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40804 -> 36522[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	38459[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) False foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38459 -> 38471[label="",style="solid", color="black", weight=3];
45.45/26.56	38460[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) ((||) True foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="black",shape="box"];38460 -> 38472[label="",style="solid", color="black", weight=3];
45.45/26.56	36521[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat (Succ wx35000) wx3501 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="box"];40805[label="wx3501/Succ wx35010",fontsize=10,color="white",style="solid",shape="box"];36521 -> 40805[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40805 -> 36526[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40806[label="wx3501/Zero",fontsize=10,color="white",style="solid",shape="box"];36521 -> 40806[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40806 -> 36527[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	36522[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat Zero wx3501 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="box"];40807[label="wx3501/Succ wx35010",fontsize=10,color="white",style="solid",shape="box"];36522 -> 40807[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40807 -> 36528[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40808[label="wx3501/Zero",fontsize=10,color="white",style="solid",shape="box"];36522 -> 40808[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40808 -> 36529[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	38471[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (map (primEqChar (Char Zero)) wx3619))",fontsize=16,color="burlywood",shape="box"];40809[label="wx3619/wx36190 : wx36191",fontsize=10,color="white",style="solid",shape="box"];38471 -> 40809[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40809 -> 38485[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40810[label="wx3619/[]",fontsize=10,color="white",style="solid",shape="box"];38471 -> 40810[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40810 -> 38486[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	38472[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) True",fontsize=16,color="black",shape="box"];38472 -> 38487[label="",style="solid", color="black", weight=3];
45.45/26.56	36526[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat (Succ wx35000) (Succ wx35010) foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36526 -> 36535[label="",style="solid", color="black", weight=3];
45.45/26.56	36527[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat (Succ wx35000) Zero foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36527 -> 36536[label="",style="solid", color="black", weight=3];
45.45/26.56	36528[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat Zero (Succ wx35010) foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36528 -> 36537[label="",style="solid", color="black", weight=3];
45.45/26.56	36529[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat Zero Zero foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36529 -> 36538[label="",style="solid", color="black", weight=3];
45.45/26.56	38485[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (map (primEqChar (Char Zero)) (wx36190 : wx36191)))",fontsize=16,color="black",shape="box"];38485 -> 38505[label="",style="solid", color="black", weight=3];
45.45/26.56	38486[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (map (primEqChar (Char Zero)) []))",fontsize=16,color="black",shape="box"];38486 -> 38506[label="",style="solid", color="black", weight=3];
45.45/26.56	38487 -> 38340[label="",style="dashed", color="red", weight=0];
45.45/26.56	38487[label="List.nubNub' wx3615 (Char (Succ wx3616) : wx3617)",fontsize=16,color="magenta"];38487 -> 38507[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38487 -> 38508[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38487 -> 38509[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	36535 -> 36478[label="",style="dashed", color="red", weight=0];
45.45/26.56	36535[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) primEqNat wx35000 wx35010 foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="magenta"];36535 -> 36545[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	36535 -> 36546[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	36536[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="triangle"];36536 -> 36547[label="",style="solid", color="black", weight=3];
45.45/26.56	36537 -> 36536[label="",style="dashed", color="red", weight=0];
45.45/26.56	36537[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) False foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="magenta"];36538[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) ((||) True foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="black",shape="box"];36538 -> 36548[label="",style="solid", color="black", weight=3];
45.45/26.56	38505 -> 38392[label="",style="dashed", color="red", weight=0];
45.45/26.56	38505[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False (primEqChar (Char Zero) wx36190 : map (primEqChar (Char Zero)) wx36191))",fontsize=16,color="magenta"];38505 -> 38527[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38505 -> 38528[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38506[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) (foldr (||) False [])",fontsize=16,color="black",shape="box"];38506 -> 38529[label="",style="solid", color="black", weight=3];
45.45/26.56	38507[label="wx3616",fontsize=16,color="green",shape="box"];38508[label="wx3615",fontsize=16,color="green",shape="box"];38509[label="wx3617",fontsize=16,color="green",shape="box"];36545[label="wx35010",fontsize=16,color="green",shape="box"];36546[label="wx35000",fontsize=16,color="green",shape="box"];36547[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (map (primEqChar (Char (Succ wx3497))) wx3502))",fontsize=16,color="burlywood",shape="box"];40811[label="wx3502/wx35020 : wx35021",fontsize=10,color="white",style="solid",shape="box"];36547 -> 40811[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40811 -> 36556[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	40812[label="wx3502/[]",fontsize=10,color="white",style="solid",shape="box"];36547 -> 40812[label="",style="solid", color="burlywood", weight=9];
45.45/26.56	40812 -> 36557[label="",style="solid", color="burlywood", weight=3];
45.45/26.56	36548[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) True",fontsize=16,color="black",shape="box"];36548 -> 36558[label="",style="solid", color="black", weight=3];
45.45/26.56	38527[label="wx36191",fontsize=16,color="green",shape="box"];38528[label="wx36190",fontsize=16,color="green",shape="box"];38529[label="List.nubNub'1 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) False",fontsize=16,color="black",shape="box"];38529 -> 38551[label="",style="solid", color="black", weight=3];
45.45/26.56	36556[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (map (primEqChar (Char (Succ wx3497))) (wx35020 : wx35021)))",fontsize=16,color="black",shape="box"];36556 -> 36574[label="",style="solid", color="black", weight=3];
45.45/26.56	36557[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (map (primEqChar (Char (Succ wx3497))) []))",fontsize=16,color="black",shape="box"];36557 -> 36575[label="",style="solid", color="black", weight=3];
45.45/26.56	36558 -> 32780[label="",style="dashed", color="red", weight=0];
45.45/26.56	36558[label="List.nubNub' wx3498 (Char Zero : wx3499)",fontsize=16,color="magenta"];36558 -> 36576[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	36558 -> 36577[label="",style="dashed", color="magenta", weight=3];
45.45/26.56	38551[label="List.nubNub'0 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) otherwise",fontsize=16,color="black",shape="box"];38551 -> 38578[label="",style="solid", color="black", weight=3];
45.45/26.56	36574 -> 35482[label="",style="dashed", color="red", weight=0];
45.45/26.56	36574[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False (primEqChar (Char (Succ wx3497)) wx35020 : map (primEqChar (Char (Succ wx3497))) wx35021))",fontsize=16,color="magenta"];36574 -> 36585[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36574 -> 36586[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36574 -> 36587[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36574 -> 36588[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36574 -> 36589[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36575[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) (foldr (||) False [])",fontsize=16,color="black",shape="box"];36575 -> 36590[label="",style="solid", color="black", weight=3];
45.83/26.56	36576[label="wx3498",fontsize=16,color="green",shape="box"];36577[label="wx3499",fontsize=16,color="green",shape="box"];38578[label="List.nubNub'0 (Char Zero) wx3615 (Char (Succ wx3616) : wx3617) True",fontsize=16,color="black",shape="box"];38578 -> 38608[label="",style="solid", color="black", weight=3];
45.83/26.56	36585[label="wx35020",fontsize=16,color="green",shape="box"];36586[label="wx3498",fontsize=16,color="green",shape="box"];36587[label="wx3499",fontsize=16,color="green",shape="box"];36588[label="wx3497",fontsize=16,color="green",shape="box"];36589[label="wx35021",fontsize=16,color="green",shape="box"];36590[label="List.nubNub'1 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) False",fontsize=16,color="black",shape="box"];36590 -> 36598[label="",style="solid", color="black", weight=3];
45.83/26.56	38608[label="Char Zero : List.nubNub' wx3615 (Char Zero : Char (Succ wx3616) : wx3617)",fontsize=16,color="green",shape="box"];38608 -> 38644[label="",style="dashed", color="green", weight=3];
45.83/26.56	36598[label="List.nubNub'0 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) otherwise",fontsize=16,color="black",shape="box"];36598 -> 36607[label="",style="solid", color="black", weight=3];
45.83/26.56	38644 -> 32780[label="",style="dashed", color="red", weight=0];
45.83/26.56	38644[label="List.nubNub' wx3615 (Char Zero : Char (Succ wx3616) : wx3617)",fontsize=16,color="magenta"];38644 -> 38684[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	38644 -> 38685[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36607[label="List.nubNub'0 (Char (Succ wx3497)) wx3498 (Char Zero : wx3499) True",fontsize=16,color="black",shape="box"];36607 -> 36614[label="",style="solid", color="black", weight=3];
45.83/26.56	38684[label="wx3615",fontsize=16,color="green",shape="box"];38685[label="Char (Succ wx3616) : wx3617",fontsize=16,color="green",shape="box"];36614[label="Char (Succ wx3497) : List.nubNub' wx3498 (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="green",shape="box"];36614 -> 36631[label="",style="dashed", color="green", weight=3];
45.83/26.56	36631[label="List.nubNub' wx3498 (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="burlywood",shape="triangle"];40813[label="wx3498/wx34980 : wx34981",fontsize=10,color="white",style="solid",shape="box"];36631 -> 40813[label="",style="solid", color="burlywood", weight=9];
45.83/26.56	40813 -> 36637[label="",style="solid", color="burlywood", weight=3];
45.83/26.56	40814[label="wx3498/[]",fontsize=10,color="white",style="solid",shape="box"];36631 -> 40814[label="",style="solid", color="burlywood", weight=9];
45.83/26.56	40814 -> 36638[label="",style="solid", color="burlywood", weight=3];
45.83/26.56	36637[label="List.nubNub' (wx34980 : wx34981) (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36637 -> 36650[label="",style="solid", color="black", weight=3];
45.83/26.56	36638[label="List.nubNub' [] (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36638 -> 36651[label="",style="solid", color="black", weight=3];
45.83/26.56	36650[label="List.nubNub'2 (wx34980 : wx34981) (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36650 -> 36694[label="",style="solid", color="black", weight=3];
45.83/26.56	36651[label="List.nubNub'3 [] (Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36651 -> 36695[label="",style="solid", color="black", weight=3];
45.83/26.56	36694[label="List.nubNub'1 wx34980 wx34981 (Char (Succ wx3497) : Char Zero : wx3499) (wx34980 `elem` Char (Succ wx3497) : Char Zero : wx3499)",fontsize=16,color="black",shape="box"];36694 -> 36697[label="",style="solid", color="black", weight=3];
45.83/26.56	36695[label="[]",fontsize=16,color="green",shape="box"];36697[label="List.nubNub'1 wx34980 wx34981 (Char (Succ wx3497) : Char Zero : wx3499) (any . (==))",fontsize=16,color="black",shape="box"];36697 -> 36699[label="",style="solid", color="black", weight=3];
45.83/26.56	36699 -> 37046[label="",style="dashed", color="red", weight=0];
45.83/26.56	36699[label="List.nubNub'1 wx34980 wx34981 (Char (Succ wx3497) : Char Zero : wx3499) (any ((==) wx34980) (Char (Succ wx3497) : Char Zero : wx3499))",fontsize=16,color="magenta"];36699 -> 37067[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36699 -> 37068[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36699 -> 37069[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	36699 -> 37070[label="",style="dashed", color="magenta", weight=3];
45.83/26.56	37067[label="wx34981",fontsize=16,color="green",shape="box"];37068[label="wx3497",fontsize=16,color="green",shape="box"];37069[label="Char Zero : wx3499",fontsize=16,color="green",shape="box"];37070[label="wx34980",fontsize=16,color="green",shape="box"];}
45.83/26.56	
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(8)
45.83/26.56	Complex Obligation (AND)
45.83/26.56	
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(9)
45.83/26.56	Obligation:
45.83/26.56	Q DP problem:
45.83/26.56	The TRS P consists of the following rules:
45.83/26.56	
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Succ(wx37530), wx3754) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, wx37520, wx37530, wx3754)
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Zero, wx3754) -> new_nubNub'(wx3749, wx3750, wx3751)
45.83/26.56	   new_nubNub'14(Char(Succ(wx320800)), wx3209, :(wx32100, wx32101)) -> new_nubNub'15(wx320800, wx3209, :(wx32100, wx32101), wx32100, wx32101)
45.83/26.56	   new_nubNub'12(wx3615, wx3616, wx3617, Char(Zero), wx3619) -> new_nubNub'(wx3615, wx3616, wx3617)
45.83/26.56	   new_nubNub'2(:(wx34980, wx34981), wx3497, wx3499) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	   new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), :(wx36190, wx36191)) -> new_nubNub'12(wx3615, wx3616, wx3617, wx36190, wx36191)
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Succ(wx35010), wx3502) -> new_nubNub'17(wx3497, wx3498, wx3499, wx35000, wx35010, wx3502)
45.83/26.56	   new_nubNub'17(wx3497, :(wx34980, wx34981), wx3499, Succ(wx35000), Zero, []) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Zero, Zero, wx3502) -> new_nubNub'0(wx3498, wx3499)
45.83/26.56	   new_nubNub'10(wx3748, wx3749, wx3750, wx3751, :(Char(wx375400), wx37541)) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
45.83/26.56	   new_nubNub'4(:(wx3110, wx3111), wx3000) -> new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
45.83/26.56	   new_nubNub'0(:(wx32090, wx32091), wx3210) -> new_nubNub'14(wx32090, wx32091, wx3210)
45.83/26.56	   new_nubNub'(:(wx36090, wx36091), wx3610, wx3611) -> new_nubNub'11(wx36090, wx36091, wx3610, wx3611)
45.83/26.56	   new_nubNub'11(Char(Zero), wx3548, wx3549, []) -> new_nubNub'13(wx3548, wx3549)
45.83/26.56	   new_nubNub'3(:(wx3110, wx3111), wx31000) -> new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
45.83/26.56	   new_nubNub'11(Char(Zero), wx3548, wx3549, :(wx35500, wx35501)) -> new_nubNub'12(wx3548, wx3549, :(wx35500, wx35501), wx35500, wx35501)
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Zero, :(wx35020, wx35021)) -> new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
45.83/26.56	   new_nubNub'13(:(wx3110, wx3111), wx3000) -> new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, :(Char(wx375400), wx37541)) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
45.83/26.56	   new_nubNub'16(wx31000, :(wx3110, wx3111)) -> new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
45.83/26.56	   new_nubNub'14(Char(Succ(wx320800)), wx3209, []) -> new_nubNub'16(wx320800, wx3209)
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Succ(wx37530), wx3754) -> new_nubNub'10(wx3748, wx3749, wx3750, wx3751, wx3754)
45.83/26.56	   new_nubNub'14(Char(Zero), :(wx32090, wx32091), wx3210) -> new_nubNub'14(wx32090, wx32091, wx3210)
45.83/26.56	   new_nubNub'10(wx3748, wx3749, wx3750, wx3751, []) -> new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
45.83/26.56	   new_nubNub'18(wx3497, :(wx34980, wx34981), wx3499, []) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, []) -> new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
45.83/26.56	   new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), []) -> new_nubNub'0(wx3615, :(Char(Succ(wx3616)), wx3617))
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Zero, Succ(wx35010), wx3502) -> new_nubNub'18(wx3497, wx3498, wx3499, wx3502)
45.83/26.56	   new_nubNub'15(wx3442, wx3443, wx3444, Char(wx34450), wx3446) -> new_nubNub'17(wx3442, wx3443, wx3444, Succ(wx3442), wx34450, wx3446)
45.83/26.56	   new_nubNub'18(wx3497, wx3498, wx3499, :(wx35020, wx35021)) -> new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
45.83/26.56	   new_nubNub'11(Char(Succ(wx354700)), wx3548, wx3549, wx3550) -> new_nubNub'1(wx354700, wx3548, wx3549, wx3550, wx354700, wx3549, wx3550)
45.83/26.56	
45.83/26.56	R is empty.
45.83/26.56	Q is empty.
45.83/26.56	We have to consider all minimal (P,Q,R)-chains.
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(10) DependencyGraphProof (EQUIVALENT)
45.83/26.56	The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 3 less nodes.
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(11)
45.83/26.56	Obligation:
45.83/26.56	Q DP problem:
45.83/26.56	The TRS P consists of the following rules:
45.83/26.56	
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Zero, wx3754) -> new_nubNub'(wx3749, wx3750, wx3751)
45.83/26.56	   new_nubNub'(:(wx36090, wx36091), wx3610, wx3611) -> new_nubNub'11(wx36090, wx36091, wx3610, wx3611)
45.83/26.56	   new_nubNub'11(Char(Zero), wx3548, wx3549, []) -> new_nubNub'13(wx3548, wx3549)
45.83/26.56	   new_nubNub'13(:(wx3110, wx3111), wx3000) -> new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
45.83/26.56	   new_nubNub'14(Char(Succ(wx320800)), wx3209, :(wx32100, wx32101)) -> new_nubNub'15(wx320800, wx3209, :(wx32100, wx32101), wx32100, wx32101)
45.83/26.56	   new_nubNub'15(wx3442, wx3443, wx3444, Char(wx34450), wx3446) -> new_nubNub'17(wx3442, wx3443, wx3444, Succ(wx3442), wx34450, wx3446)
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Succ(wx35010), wx3502) -> new_nubNub'17(wx3497, wx3498, wx3499, wx35000, wx35010, wx3502)
45.83/26.56	   new_nubNub'17(wx3497, :(wx34980, wx34981), wx3499, Succ(wx35000), Zero, []) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	   new_nubNub'11(Char(Zero), wx3548, wx3549, :(wx35500, wx35501)) -> new_nubNub'12(wx3548, wx3549, :(wx35500, wx35501), wx35500, wx35501)
45.83/26.56	   new_nubNub'12(wx3615, wx3616, wx3617, Char(Zero), wx3619) -> new_nubNub'(wx3615, wx3616, wx3617)
45.83/26.56	   new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), :(wx36190, wx36191)) -> new_nubNub'12(wx3615, wx3616, wx3617, wx36190, wx36191)
45.83/26.56	   new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), []) -> new_nubNub'0(wx3615, :(Char(Succ(wx3616)), wx3617))
45.83/26.56	   new_nubNub'0(:(wx32090, wx32091), wx3210) -> new_nubNub'14(wx32090, wx32091, wx3210)
45.83/26.56	   new_nubNub'14(Char(Succ(wx320800)), wx3209, []) -> new_nubNub'16(wx320800, wx3209)
45.83/26.56	   new_nubNub'16(wx31000, :(wx3110, wx3111)) -> new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
45.83/26.56	   new_nubNub'11(Char(Succ(wx354700)), wx3548, wx3549, wx3550) -> new_nubNub'1(wx354700, wx3548, wx3549, wx3550, wx354700, wx3549, wx3550)
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Succ(wx37530), wx3754) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, wx37520, wx37530, wx3754)
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, :(Char(wx375400), wx37541)) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, []) -> new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
45.83/26.56	   new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Succ(wx37530), wx3754) -> new_nubNub'10(wx3748, wx3749, wx3750, wx3751, wx3754)
45.83/26.56	   new_nubNub'10(wx3748, wx3749, wx3750, wx3751, :(Char(wx375400), wx37541)) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
45.83/26.56	   new_nubNub'10(wx3748, wx3749, wx3750, wx3751, []) -> new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
45.83/26.56	   new_nubNub'14(Char(Zero), :(wx32090, wx32091), wx3210) -> new_nubNub'14(wx32090, wx32091, wx3210)
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Zero, Zero, wx3502) -> new_nubNub'0(wx3498, wx3499)
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Zero, :(wx35020, wx35021)) -> new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
45.83/26.56	   new_nubNub'17(wx3497, wx3498, wx3499, Zero, Succ(wx35010), wx3502) -> new_nubNub'18(wx3497, wx3498, wx3499, wx3502)
45.83/26.56	   new_nubNub'18(wx3497, :(wx34980, wx34981), wx3499, []) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	   new_nubNub'18(wx3497, wx3498, wx3499, :(wx35020, wx35021)) -> new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
45.83/26.56	
45.83/26.56	R is empty.
45.83/26.56	Q is empty.
45.83/26.56	We have to consider all minimal (P,Q,R)-chains.
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(12) QDPSizeChangeProof (EQUIVALENT)
45.83/26.56	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. 
45.83/26.56	
45.83/26.56	From the DPs we obtained the following set of size-change graphs:
45.83/26.56	*new_nubNub'(:(wx36090, wx36091), wx3610, wx3611) -> new_nubNub'11(wx36090, wx36091, wx3610, wx3611)
45.83/26.56	The graph contains the following edges 1 > 1, 1 > 2, 2 >= 3, 3 >= 4
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'11(Char(Succ(wx354700)), wx3548, wx3549, wx3550) -> new_nubNub'1(wx354700, wx3548, wx3549, wx3550, wx354700, wx3549, wx3550)
45.83/26.56	The graph contains the following edges 1 > 1, 2 >= 2, 3 >= 3, 4 >= 4, 1 > 5, 3 >= 6, 4 >= 7
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Succ(wx37530), wx3754) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, wx37520, wx37530, wx3754)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 > 5, 6 > 6, 7 >= 7
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'13(:(wx3110, wx3111), wx3000) -> new_nubNub'14(wx3110, wx3111, :(Char(Succ(wx3000)), []))
45.83/26.56	The graph contains the following edges 1 > 1, 1 > 2
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'11(Char(Zero), wx3548, wx3549, []) -> new_nubNub'13(wx3548, wx3549)
45.83/26.56	The graph contains the following edges 2 >= 1, 3 >= 2
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'11(Char(Zero), wx3548, wx3549, :(wx35500, wx35501)) -> new_nubNub'12(wx3548, wx3549, :(wx35500, wx35501), wx35500, wx35501)
45.83/26.56	The graph contains the following edges 2 >= 1, 3 >= 2, 4 >= 3, 4 > 4, 4 > 5
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'14(Char(Zero), :(wx32090, wx32091), wx3210) -> new_nubNub'14(wx32090, wx32091, wx3210)
45.83/26.56	The graph contains the following edges 2 > 1, 2 > 2, 3 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'14(Char(Succ(wx320800)), wx3209, :(wx32100, wx32101)) -> new_nubNub'15(wx320800, wx3209, :(wx32100, wx32101), wx32100, wx32101)
45.83/26.56	The graph contains the following edges 1 > 1, 2 >= 2, 3 >= 3, 3 > 4, 3 > 5
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'15(wx3442, wx3443, wx3444, Char(wx34450), wx3446) -> new_nubNub'17(wx3442, wx3443, wx3444, Succ(wx3442), wx34450, wx3446)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 5, 5 >= 6
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'0(:(wx32090, wx32091), wx3210) -> new_nubNub'14(wx32090, wx32091, wx3210)
45.83/26.56	The graph contains the following edges 1 > 1, 1 > 2, 2 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Zero, :(wx35020, wx35021)) -> new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 > 4, 6 > 5
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'18(wx3497, wx3498, wx3499, :(wx35020, wx35021)) -> new_nubNub'15(wx3497, wx3498, wx3499, wx35020, wx35021)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 4 > 5
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'17(wx3497, wx3498, wx3499, Succ(wx35000), Succ(wx35010), wx3502) -> new_nubNub'17(wx3497, wx3498, wx3499, wx35000, wx35010, wx3502)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5, 6 >= 6
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'17(wx3497, :(wx34980, wx34981), wx3499, Succ(wx35000), Zero, []) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	The graph contains the following edges 2 > 1, 2 > 2, 1 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'12(wx3615, wx3616, wx3617, Char(Zero), wx3619) -> new_nubNub'(wx3615, wx3616, wx3617)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), :(wx36190, wx36191)) -> new_nubNub'12(wx3615, wx3616, wx3617, wx36190, wx36191)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 5 > 4, 5 > 5
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'12(wx3615, wx3616, wx3617, Char(Succ(wx361800)), []) -> new_nubNub'0(wx3615, :(Char(Succ(wx3616)), wx3617))
45.83/26.56	The graph contains the following edges 1 >= 1
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'17(wx3497, wx3498, wx3499, Zero, Zero, wx3502) -> new_nubNub'0(wx3498, wx3499)
45.83/26.56	The graph contains the following edges 2 >= 1, 3 >= 2
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'17(wx3497, wx3498, wx3499, Zero, Succ(wx35010), wx3502) -> new_nubNub'18(wx3497, wx3498, wx3499, wx3502)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 >= 4
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'14(Char(Succ(wx320800)), wx3209, []) -> new_nubNub'16(wx320800, wx3209)
45.83/26.56	The graph contains the following edges 1 > 1, 2 >= 2
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'16(wx31000, :(wx3110, wx3111)) -> new_nubNub'11(wx3110, wx3111, wx31000, :(Char(Zero), []))
45.83/26.56	The graph contains the following edges 2 > 1, 2 > 2, 1 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'18(wx3497, :(wx34980, wx34981), wx3499, []) -> new_nubNub'11(wx34980, wx34981, wx3497, :(Char(Zero), wx3499))
45.83/26.56	The graph contains the following edges 2 > 1, 2 > 2, 1 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'10(wx3748, wx3749, wx3750, wx3751, []) -> new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
45.83/26.56	The graph contains the following edges 2 >= 1, 1 >= 2
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'10(wx3748, wx3749, wx3750, wx3751, :(Char(wx375400), wx37541)) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 5 > 6, 5 > 7
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, :(Char(wx375400), wx37541)) -> new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx3748), wx375400, wx37541)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 7 > 6, 7 > 7
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Succ(wx37530), wx3754) -> new_nubNub'10(wx3748, wx3749, wx3750, wx3751, wx3754)
45.83/26.56	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 7 >= 5
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Succ(wx37520), Zero, []) -> new_nubNub'(wx3749, wx3748, :(Char(Succ(wx3750)), wx3751))
45.83/26.56	The graph contains the following edges 2 >= 1, 1 >= 2
45.83/26.56	
45.83/26.56	
45.83/26.56	*new_nubNub'1(wx3748, wx3749, wx3750, wx3751, Zero, Zero, wx3754) -> new_nubNub'(wx3749, wx3750, wx3751)
45.83/26.56	The graph contains the following edges 2 >= 1, 3 >= 2, 4 >= 3
45.83/26.56	
45.83/26.56	
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(13)
45.83/26.56	YES
45.83/26.56	
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(14)
45.83/26.56	Obligation:
45.83/26.56	Q DP problem:
45.83/26.56	The TRS P consists of the following rules:
45.83/26.56	
45.83/26.56	   new_nubNub'5(:(Char(Zero), wx311), Char(Zero)) -> new_nubNub'5(wx311, Char(Zero))
45.83/26.56	
45.83/26.56	R is empty.
45.83/26.56	Q is empty.
45.83/26.56	We have to consider all minimal (P,Q,R)-chains.
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(15) QDPSizeChangeProof (EQUIVALENT)
45.83/26.56	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. 
45.83/26.56	
45.83/26.56	From the DPs we obtained the following set of size-change graphs:
45.83/26.56	*new_nubNub'5(:(Char(Zero), wx311), Char(Zero)) -> new_nubNub'5(wx311, Char(Zero))
45.83/26.56	The graph contains the following edges 1 > 1, 1 > 2, 2 >= 2
45.83/26.56	
45.83/26.56	
45.83/26.56	----------------------------------------
45.83/26.56	
45.83/26.56	(16)
45.83/26.56	YES
45.86/26.60	EOF