8.85/3.75	YES
11.02/4.29	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
11.02/4.29	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
11.02/4.29	
11.02/4.29	
11.02/4.29	H-Termination with start terms of the given HASKELL could be proven:
11.02/4.29	
11.02/4.29	(0) HASKELL
11.02/4.29	(1) BR [EQUIVALENT, 0 ms]
11.02/4.29	(2) HASKELL
11.02/4.29	(3) COR [EQUIVALENT, 0 ms]
11.02/4.29	(4) HASKELL
11.02/4.29	(5) LetRed [EQUIVALENT, 1 ms]
11.02/4.29	(6) HASKELL
11.02/4.29	(7) Narrow [SOUND, 0 ms]
11.02/4.29	(8) AND
11.02/4.29	    (9) QDP
11.02/4.29	        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.02/4.29	        (11) YES
11.02/4.29	    (12) QDP
11.02/4.29	        (13) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.02/4.29	        (14) YES
11.02/4.29	
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(0)
11.02/4.29	Obligation:
11.02/4.29	mainModule Main 
11.02/4.29	module Main where {
11.02/4.29	import qualified Prelude;
11.02/4.29	}
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(1) BR (EQUIVALENT)
11.02/4.29	Replaced joker patterns by fresh variables and removed binding patterns.
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(2)
11.02/4.29	Obligation:
11.02/4.29	mainModule Main 
11.02/4.29	module Main where {
11.02/4.29	import qualified Prelude;
11.02/4.29	}
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(3) COR (EQUIVALENT)
11.02/4.29	Cond Reductions:
11.02/4.29	The following Function with conditions
11.02/4.29	"compare x y|x == yEQ|x <= yLT|otherwiseGT;
11.02/4.29	"
11.02/4.29	is transformed to
11.02/4.29	"compare x y = compare3 x y;
11.02/4.29	"
11.02/4.29	"compare0 x y True = GT;
11.02/4.29	"
11.02/4.29	"compare2 x y True = EQ;
11.02/4.29	compare2 x y False = compare1 x y (x <= y);
11.02/4.29	"
11.02/4.29	"compare1 x y True = LT;
11.02/4.29	compare1 x y False = compare0 x y otherwise;
11.02/4.29	"
11.02/4.29	"compare3 x y = compare2 x y (x == y);
11.02/4.29	"
11.02/4.29	The following Function with conditions
11.02/4.29	"undefined |Falseundefined;
11.02/4.29	"
11.02/4.29	is transformed to
11.02/4.29	"undefined  = undefined1;
11.02/4.29	"
11.02/4.29	"undefined0 True = undefined;
11.02/4.29	"
11.02/4.29	"undefined1  = undefined0 False;
11.02/4.29	"
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(4)
11.02/4.29	Obligation:
11.02/4.29	mainModule Main 
11.02/4.29	module Main where {
11.02/4.29	import qualified Prelude;
11.02/4.29	}
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(5) LetRed (EQUIVALENT)
11.02/4.29	Let/Where Reductions:
11.02/4.29	The bindings of the following Let/Where expression
11.02/4.29	"fromEnum c <= i && i <= fromEnum c' where {
11.02/4.29	i  = fromEnum ci;
11.02/4.29	} 
11.02/4.29	"
11.02/4.29	are unpacked to the following functions on top level
11.02/4.29	"inRangeI vx = fromEnum vx;
11.02/4.29	"
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(6)
11.02/4.29	Obligation:
11.02/4.29	mainModule Main 
11.02/4.29	module Main where {
11.02/4.29	import qualified Prelude;
11.02/4.29	}
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(7) Narrow (SOUND)
11.02/4.29	Haskell To QDPs
11.02/4.29	
11.02/4.29	digraph dp_graph {
11.02/4.29	node [outthreshold=100, inthreshold=100];1[label="inRange",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
11.02/4.29	3[label="inRange vy3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
11.02/4.29	4[label="inRange vy3 vy4",fontsize=16,color="blue",shape="box"];444[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 444[label="",style="solid", color="blue", weight=9];
11.02/4.29	444 -> 5[label="",style="solid", color="blue", weight=3];
11.02/4.29	445[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 445[label="",style="solid", color="blue", weight=9];
11.02/4.29	445 -> 6[label="",style="solid", color="blue", weight=3];
11.02/4.29	446[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 446[label="",style="solid", color="blue", weight=9];
11.02/4.29	446 -> 7[label="",style="solid", color="blue", weight=3];
11.02/4.29	447[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 447[label="",style="solid", color="blue", weight=9];
11.02/4.29	447 -> 8[label="",style="solid", color="blue", weight=3];
11.02/4.29	448[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 448[label="",style="solid", color="blue", weight=9];
11.02/4.29	448 -> 9[label="",style="solid", color="blue", weight=3];
11.02/4.29	449[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 449[label="",style="solid", color="blue", weight=9];
11.02/4.29	449 -> 10[label="",style="solid", color="blue", weight=3];
11.02/4.29	450[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 450[label="",style="solid", color="blue", weight=9];
11.02/4.29	450 -> 11[label="",style="solid", color="blue", weight=3];
11.02/4.29	451[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];4 -> 451[label="",style="solid", color="blue", weight=9];
11.02/4.29	451 -> 12[label="",style="solid", color="blue", weight=3];
11.02/4.29	5[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];452[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];5 -> 452[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	452 -> 13[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	6[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];453[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];6 -> 453[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	453 -> 14[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	7[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];454[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];7 -> 454[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	454 -> 15[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	8[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];455[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];8 -> 455[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	455 -> 16[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	9[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];456[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];9 -> 456[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	456 -> 17[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	10[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];457[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];10 -> 457[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	457 -> 18[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	11[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];458[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];11 -> 458[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	458 -> 19[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	12[label="inRange vy3 vy4",fontsize=16,color="burlywood",shape="triangle"];459[label="vy3/(vy30,vy31)",fontsize=10,color="white",style="solid",shape="box"];12 -> 459[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	459 -> 20[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	13[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];13 -> 21[label="",style="solid", color="black", weight=3];
11.02/4.29	14[label="inRange (vy30,vy31) vy4",fontsize=16,color="burlywood",shape="box"];460[label="vy30/()",fontsize=10,color="white",style="solid",shape="box"];14 -> 460[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	460 -> 22[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	15[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];15 -> 23[label="",style="solid", color="black", weight=3];
11.02/4.29	16[label="inRange (vy30,vy31) vy4",fontsize=16,color="burlywood",shape="box"];461[label="vy30/(vy300,vy301)",fontsize=10,color="white",style="solid",shape="box"];16 -> 461[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	461 -> 24[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	17[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];17 -> 25[label="",style="solid", color="black", weight=3];
11.02/4.29	18[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];18 -> 26[label="",style="solid", color="black", weight=3];
11.02/4.29	19[label="inRange (vy30,vy31) vy4",fontsize=16,color="black",shape="box"];19 -> 27[label="",style="solid", color="black", weight=3];
11.02/4.29	20[label="inRange (vy30,vy31) vy4",fontsize=16,color="burlywood",shape="box"];462[label="vy30/(vy300,vy301,vy302)",fontsize=10,color="white",style="solid",shape="box"];20 -> 462[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	462 -> 28[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	21 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	21[label="fromEnum vy30 <= inRangeI vy4 && inRangeI vy4 <= fromEnum vy31",fontsize=16,color="magenta"];21 -> 86[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	21 -> 87[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	22[label="inRange ((),vy31) vy4",fontsize=16,color="burlywood",shape="box"];463[label="vy31/()",fontsize=10,color="white",style="solid",shape="box"];22 -> 463[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	463 -> 30[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	23 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	23[label="vy30 <= vy4 && vy4 <= vy31",fontsize=16,color="magenta"];23 -> 88[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	23 -> 89[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	24[label="inRange ((vy300,vy301),vy31) vy4",fontsize=16,color="burlywood",shape="box"];464[label="vy31/(vy310,vy311)",fontsize=10,color="white",style="solid",shape="box"];24 -> 464[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	464 -> 32[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	25 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	25[label="vy31 >= vy4 && vy4 >= vy30",fontsize=16,color="magenta"];25 -> 90[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	25 -> 91[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	26 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	26[label="vy31 >= vy4 && vy4 >= vy30",fontsize=16,color="magenta"];26 -> 92[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	26 -> 93[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	27 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	27[label="vy30 <= vy4 && vy4 <= vy31",fontsize=16,color="magenta"];27 -> 94[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	27 -> 95[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	28[label="inRange ((vy300,vy301,vy302),vy31) vy4",fontsize=16,color="burlywood",shape="box"];465[label="vy31/(vy310,vy311,vy312)",fontsize=10,color="white",style="solid",shape="box"];28 -> 465[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	465 -> 36[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	86[label="fromEnum vy30 <= inRangeI vy4",fontsize=16,color="black",shape="box"];86 -> 138[label="",style="solid", color="black", weight=3];
11.02/4.29	87[label="inRangeI vy4 <= fromEnum vy31",fontsize=16,color="black",shape="box"];87 -> 139[label="",style="solid", color="black", weight=3];
11.02/4.29	85[label="vy18 && vy19",fontsize=16,color="burlywood",shape="triangle"];466[label="vy18/False",fontsize=10,color="white",style="solid",shape="box"];85 -> 466[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	466 -> 140[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	467[label="vy18/True",fontsize=10,color="white",style="solid",shape="box"];85 -> 467[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	467 -> 141[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	30[label="inRange ((),()) vy4",fontsize=16,color="burlywood",shape="box"];468[label="vy4/()",fontsize=10,color="white",style="solid",shape="box"];30 -> 468[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	468 -> 38[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	88[label="vy30 <= vy4",fontsize=16,color="black",shape="triangle"];88 -> 142[label="",style="solid", color="black", weight=3];
11.02/4.29	89 -> 88[label="",style="dashed", color="red", weight=0];
11.02/4.29	89[label="vy4 <= vy31",fontsize=16,color="magenta"];89 -> 143[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	89 -> 144[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	32[label="inRange ((vy300,vy301),(vy310,vy311)) vy4",fontsize=16,color="burlywood",shape="box"];469[label="vy4/(vy40,vy41)",fontsize=10,color="white",style="solid",shape="box"];32 -> 469[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	469 -> 40[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	90[label="vy31 >= vy4",fontsize=16,color="black",shape="triangle"];90 -> 145[label="",style="solid", color="black", weight=3];
11.02/4.29	91 -> 90[label="",style="dashed", color="red", weight=0];
11.02/4.29	91[label="vy4 >= vy30",fontsize=16,color="magenta"];91 -> 146[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	91 -> 147[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	92[label="vy31 >= vy4",fontsize=16,color="black",shape="triangle"];92 -> 148[label="",style="solid", color="black", weight=3];
11.02/4.29	93 -> 92[label="",style="dashed", color="red", weight=0];
11.02/4.29	93[label="vy4 >= vy30",fontsize=16,color="magenta"];93 -> 149[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	93 -> 150[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	94[label="vy30 <= vy4",fontsize=16,color="black",shape="triangle"];94 -> 151[label="",style="solid", color="black", weight=3];
11.02/4.29	95 -> 94[label="",style="dashed", color="red", weight=0];
11.02/4.29	95[label="vy4 <= vy31",fontsize=16,color="magenta"];95 -> 152[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	95 -> 153[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	36[label="inRange ((vy300,vy301,vy302),(vy310,vy311,vy312)) vy4",fontsize=16,color="burlywood",shape="box"];470[label="vy4/(vy40,vy41,vy42)",fontsize=10,color="white",style="solid",shape="box"];36 -> 470[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	470 -> 44[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	138[label="compare (fromEnum vy30) (inRangeI vy4) /= GT",fontsize=16,color="black",shape="box"];138 -> 180[label="",style="solid", color="black", weight=3];
11.02/4.29	139[label="compare (inRangeI vy4) (fromEnum vy31) /= GT",fontsize=16,color="black",shape="box"];139 -> 181[label="",style="solid", color="black", weight=3];
11.02/4.29	140[label="False && vy19",fontsize=16,color="black",shape="box"];140 -> 182[label="",style="solid", color="black", weight=3];
11.02/4.29	141[label="True && vy19",fontsize=16,color="black",shape="box"];141 -> 183[label="",style="solid", color="black", weight=3];
11.02/4.29	38[label="inRange ((),()) ()",fontsize=16,color="black",shape="box"];38 -> 46[label="",style="solid", color="black", weight=3];
11.02/4.29	142[label="compare vy30 vy4 /= GT",fontsize=16,color="black",shape="box"];142 -> 184[label="",style="solid", color="black", weight=3];
11.02/4.29	143[label="vy4",fontsize=16,color="green",shape="box"];144[label="vy31",fontsize=16,color="green",shape="box"];40[label="inRange ((vy300,vy301),(vy310,vy311)) (vy40,vy41)",fontsize=16,color="black",shape="box"];40 -> 48[label="",style="solid", color="black", weight=3];
11.02/4.29	145[label="compare vy31 vy4 /= LT",fontsize=16,color="black",shape="box"];145 -> 185[label="",style="solid", color="black", weight=3];
11.02/4.29	146[label="vy30",fontsize=16,color="green",shape="box"];147[label="vy4",fontsize=16,color="green",shape="box"];148[label="compare vy31 vy4 /= LT",fontsize=16,color="black",shape="box"];148 -> 186[label="",style="solid", color="black", weight=3];
11.02/4.29	149[label="vy4",fontsize=16,color="green",shape="box"];150[label="vy30",fontsize=16,color="green",shape="box"];151[label="compare vy30 vy4 /= GT",fontsize=16,color="black",shape="box"];151 -> 187[label="",style="solid", color="black", weight=3];
11.02/4.29	152[label="vy31",fontsize=16,color="green",shape="box"];153[label="vy4",fontsize=16,color="green",shape="box"];44[label="inRange ((vy300,vy301,vy302),(vy310,vy311,vy312)) (vy40,vy41,vy42)",fontsize=16,color="black",shape="box"];44 -> 52[label="",style="solid", color="black", weight=3];
11.02/4.29	180[label="not (compare (fromEnum vy30) (inRangeI vy4) == GT)",fontsize=16,color="black",shape="box"];180 -> 252[label="",style="solid", color="black", weight=3];
11.02/4.29	181[label="not (compare (inRangeI vy4) (fromEnum vy31) == GT)",fontsize=16,color="black",shape="box"];181 -> 253[label="",style="solid", color="black", weight=3];
11.02/4.29	182[label="False",fontsize=16,color="green",shape="box"];183[label="vy19",fontsize=16,color="green",shape="box"];46[label="True",fontsize=16,color="green",shape="box"];184[label="not (compare vy30 vy4 == GT)",fontsize=16,color="black",shape="box"];184 -> 254[label="",style="solid", color="black", weight=3];
11.02/4.29	48 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	48[label="inRange (vy301,vy311) vy41 && inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];48 -> 120[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	48 -> 121[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	185[label="not (compare vy31 vy4 == LT)",fontsize=16,color="black",shape="box"];185 -> 255[label="",style="solid", color="black", weight=3];
11.02/4.29	186[label="not (compare vy31 vy4 == LT)",fontsize=16,color="black",shape="box"];186 -> 256[label="",style="solid", color="black", weight=3];
11.02/4.29	187[label="not (compare vy30 vy4 == GT)",fontsize=16,color="burlywood",shape="box"];471[label="vy30/Integer vy300",fontsize=10,color="white",style="solid",shape="box"];187 -> 471[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	471 -> 257[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	52 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	52[label="inRange (vy302,vy312) vy42 && inRange (vy301,vy311) vy41 && inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];52 -> 126[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	52 -> 127[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	252[label="not (primCmpInt (fromEnum vy30) (inRangeI vy4) == GT)",fontsize=16,color="black",shape="box"];252 -> 290[label="",style="solid", color="black", weight=3];
11.02/4.29	253[label="not (primCmpInt (inRangeI vy4) (fromEnum vy31) == GT)",fontsize=16,color="black",shape="box"];253 -> 291[label="",style="solid", color="black", weight=3];
11.02/4.29	254[label="not (primCmpInt vy30 vy4 == GT)",fontsize=16,color="burlywood",shape="triangle"];472[label="vy30/Pos vy300",fontsize=10,color="white",style="solid",shape="box"];254 -> 472[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	472 -> 292[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	473[label="vy30/Neg vy300",fontsize=10,color="white",style="solid",shape="box"];254 -> 473[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	473 -> 293[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	120[label="inRange (vy301,vy311) vy41",fontsize=16,color="blue",shape="box"];474[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 474[label="",style="solid", color="blue", weight=9];
11.02/4.29	474 -> 154[label="",style="solid", color="blue", weight=3];
11.02/4.29	475[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 475[label="",style="solid", color="blue", weight=9];
11.02/4.29	475 -> 155[label="",style="solid", color="blue", weight=3];
11.02/4.29	476[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 476[label="",style="solid", color="blue", weight=9];
11.02/4.29	476 -> 156[label="",style="solid", color="blue", weight=3];
11.02/4.29	477[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 477[label="",style="solid", color="blue", weight=9];
11.02/4.29	477 -> 157[label="",style="solid", color="blue", weight=3];
11.02/4.29	478[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 478[label="",style="solid", color="blue", weight=9];
11.02/4.29	478 -> 158[label="",style="solid", color="blue", weight=3];
11.02/4.29	479[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 479[label="",style="solid", color="blue", weight=9];
11.02/4.29	479 -> 159[label="",style="solid", color="blue", weight=3];
11.02/4.29	480[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 480[label="",style="solid", color="blue", weight=9];
11.02/4.29	480 -> 160[label="",style="solid", color="blue", weight=3];
11.02/4.29	481[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];120 -> 481[label="",style="solid", color="blue", weight=9];
11.02/4.29	481 -> 161[label="",style="solid", color="blue", weight=3];
11.02/4.29	121[label="inRange (vy300,vy310) vy40",fontsize=16,color="blue",shape="box"];482[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 482[label="",style="solid", color="blue", weight=9];
11.02/4.29	482 -> 162[label="",style="solid", color="blue", weight=3];
11.02/4.29	483[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 483[label="",style="solid", color="blue", weight=9];
11.02/4.29	483 -> 163[label="",style="solid", color="blue", weight=3];
11.02/4.29	484[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 484[label="",style="solid", color="blue", weight=9];
11.02/4.29	484 -> 164[label="",style="solid", color="blue", weight=3];
11.02/4.29	485[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 485[label="",style="solid", color="blue", weight=9];
11.02/4.29	485 -> 165[label="",style="solid", color="blue", weight=3];
11.02/4.29	486[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 486[label="",style="solid", color="blue", weight=9];
11.02/4.29	486 -> 166[label="",style="solid", color="blue", weight=3];
11.02/4.29	487[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 487[label="",style="solid", color="blue", weight=9];
11.02/4.29	487 -> 167[label="",style="solid", color="blue", weight=3];
11.02/4.29	488[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 488[label="",style="solid", color="blue", weight=9];
11.02/4.29	488 -> 168[label="",style="solid", color="blue", weight=3];
11.02/4.29	489[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];121 -> 489[label="",style="solid", color="blue", weight=9];
11.02/4.29	489 -> 169[label="",style="solid", color="blue", weight=3];
11.02/4.29	255[label="not (compare3 vy31 vy4 == LT)",fontsize=16,color="black",shape="box"];255 -> 294[label="",style="solid", color="black", weight=3];
11.02/4.29	256[label="not (compare3 vy31 vy4 == LT)",fontsize=16,color="black",shape="box"];256 -> 295[label="",style="solid", color="black", weight=3];
11.02/4.29	257[label="not (compare (Integer vy300) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];490[label="vy4/Integer vy40",fontsize=10,color="white",style="solid",shape="box"];257 -> 490[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	490 -> 296[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	126[label="inRange (vy302,vy312) vy42",fontsize=16,color="blue",shape="box"];491[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 491[label="",style="solid", color="blue", weight=9];
11.02/4.29	491 -> 170[label="",style="solid", color="blue", weight=3];
11.02/4.29	492[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 492[label="",style="solid", color="blue", weight=9];
11.02/4.29	492 -> 171[label="",style="solid", color="blue", weight=3];
11.02/4.29	493[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 493[label="",style="solid", color="blue", weight=9];
11.02/4.29	493 -> 172[label="",style="solid", color="blue", weight=3];
11.02/4.29	494[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 494[label="",style="solid", color="blue", weight=9];
11.02/4.29	494 -> 173[label="",style="solid", color="blue", weight=3];
11.02/4.29	495[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 495[label="",style="solid", color="blue", weight=9];
11.02/4.29	495 -> 174[label="",style="solid", color="blue", weight=3];
11.02/4.29	496[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 496[label="",style="solid", color="blue", weight=9];
11.02/4.29	496 -> 175[label="",style="solid", color="blue", weight=3];
11.02/4.29	497[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 497[label="",style="solid", color="blue", weight=9];
11.02/4.29	497 -> 176[label="",style="solid", color="blue", weight=3];
11.02/4.29	498[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];126 -> 498[label="",style="solid", color="blue", weight=9];
11.02/4.29	498 -> 177[label="",style="solid", color="blue", weight=3];
11.02/4.29	127 -> 85[label="",style="dashed", color="red", weight=0];
11.02/4.29	127[label="inRange (vy301,vy311) vy41 && inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];127 -> 178[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	127 -> 179[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	290 -> 254[label="",style="dashed", color="red", weight=0];
11.02/4.29	290[label="not (primCmpInt (primCharToInt vy30) (inRangeI vy4) == GT)",fontsize=16,color="magenta"];290 -> 297[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	290 -> 298[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	291 -> 254[label="",style="dashed", color="red", weight=0];
11.02/4.29	291[label="not (primCmpInt (fromEnum vy4) (fromEnum vy31) == GT)",fontsize=16,color="magenta"];291 -> 299[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	291 -> 300[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	292[label="not (primCmpInt (Pos vy300) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];499[label="vy300/Succ vy3000",fontsize=10,color="white",style="solid",shape="box"];292 -> 499[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	499 -> 301[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	500[label="vy300/Zero",fontsize=10,color="white",style="solid",shape="box"];292 -> 500[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	500 -> 302[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	293[label="not (primCmpInt (Neg vy300) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];501[label="vy300/Succ vy3000",fontsize=10,color="white",style="solid",shape="box"];293 -> 501[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	501 -> 303[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	502[label="vy300/Zero",fontsize=10,color="white",style="solid",shape="box"];293 -> 502[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	502 -> 304[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	154 -> 5[label="",style="dashed", color="red", weight=0];
11.02/4.29	154[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];154 -> 188[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	154 -> 189[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	155 -> 6[label="",style="dashed", color="red", weight=0];
11.02/4.29	155[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];155 -> 190[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	155 -> 191[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	156 -> 7[label="",style="dashed", color="red", weight=0];
11.02/4.29	156[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];156 -> 192[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	156 -> 193[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	157 -> 8[label="",style="dashed", color="red", weight=0];
11.02/4.29	157[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];157 -> 194[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	157 -> 195[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	158 -> 9[label="",style="dashed", color="red", weight=0];
11.02/4.29	158[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];158 -> 196[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	158 -> 197[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	159 -> 10[label="",style="dashed", color="red", weight=0];
11.02/4.29	159[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];159 -> 198[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	159 -> 199[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	160 -> 11[label="",style="dashed", color="red", weight=0];
11.02/4.29	160[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];160 -> 200[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	160 -> 201[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	161 -> 12[label="",style="dashed", color="red", weight=0];
11.02/4.29	161[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];161 -> 202[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	161 -> 203[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	162 -> 5[label="",style="dashed", color="red", weight=0];
11.02/4.29	162[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];162 -> 204[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	162 -> 205[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	163 -> 6[label="",style="dashed", color="red", weight=0];
11.02/4.29	163[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];163 -> 206[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	163 -> 207[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	164 -> 7[label="",style="dashed", color="red", weight=0];
11.02/4.29	164[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];164 -> 208[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	164 -> 209[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	165 -> 8[label="",style="dashed", color="red", weight=0];
11.02/4.29	165[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];165 -> 210[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	165 -> 211[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	166 -> 9[label="",style="dashed", color="red", weight=0];
11.02/4.29	166[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];166 -> 212[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	166 -> 213[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	167 -> 10[label="",style="dashed", color="red", weight=0];
11.02/4.29	167[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];167 -> 214[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	167 -> 215[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	168 -> 11[label="",style="dashed", color="red", weight=0];
11.02/4.29	168[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];168 -> 216[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	168 -> 217[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	169 -> 12[label="",style="dashed", color="red", weight=0];
11.02/4.29	169[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];169 -> 218[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	169 -> 219[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	294[label="not (compare2 vy31 vy4 (vy31 == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];503[label="vy31/False",fontsize=10,color="white",style="solid",shape="box"];294 -> 503[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	503 -> 305[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	504[label="vy31/True",fontsize=10,color="white",style="solid",shape="box"];294 -> 504[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	504 -> 306[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	295[label="not (compare2 vy31 vy4 (vy31 == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];505[label="vy31/LT",fontsize=10,color="white",style="solid",shape="box"];295 -> 505[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	505 -> 307[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	506[label="vy31/EQ",fontsize=10,color="white",style="solid",shape="box"];295 -> 506[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	506 -> 308[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	507[label="vy31/GT",fontsize=10,color="white",style="solid",shape="box"];295 -> 507[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	507 -> 309[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	296[label="not (compare (Integer vy300) (Integer vy40) == GT)",fontsize=16,color="black",shape="box"];296 -> 310[label="",style="solid", color="black", weight=3];
11.02/4.29	170 -> 5[label="",style="dashed", color="red", weight=0];
11.02/4.29	170[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];170 -> 220[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	170 -> 221[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	171 -> 6[label="",style="dashed", color="red", weight=0];
11.02/4.29	171[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];171 -> 222[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	171 -> 223[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	172 -> 7[label="",style="dashed", color="red", weight=0];
11.02/4.29	172[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];172 -> 224[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	172 -> 225[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	173 -> 8[label="",style="dashed", color="red", weight=0];
11.02/4.29	173[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];173 -> 226[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	173 -> 227[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	174 -> 9[label="",style="dashed", color="red", weight=0];
11.02/4.29	174[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];174 -> 228[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	174 -> 229[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	175 -> 10[label="",style="dashed", color="red", weight=0];
11.02/4.29	175[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];175 -> 230[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	175 -> 231[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	176 -> 11[label="",style="dashed", color="red", weight=0];
11.02/4.29	176[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];176 -> 232[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	176 -> 233[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	177 -> 12[label="",style="dashed", color="red", weight=0];
11.02/4.29	177[label="inRange (vy302,vy312) vy42",fontsize=16,color="magenta"];177 -> 234[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	177 -> 235[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	178[label="inRange (vy301,vy311) vy41",fontsize=16,color="blue",shape="box"];508[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 508[label="",style="solid", color="blue", weight=9];
11.02/4.29	508 -> 236[label="",style="solid", color="blue", weight=3];
11.02/4.29	509[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 509[label="",style="solid", color="blue", weight=9];
11.02/4.29	509 -> 237[label="",style="solid", color="blue", weight=3];
11.02/4.29	510[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 510[label="",style="solid", color="blue", weight=9];
11.02/4.29	510 -> 238[label="",style="solid", color="blue", weight=3];
11.02/4.29	511[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 511[label="",style="solid", color="blue", weight=9];
11.02/4.29	511 -> 239[label="",style="solid", color="blue", weight=3];
11.02/4.29	512[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 512[label="",style="solid", color="blue", weight=9];
11.02/4.29	512 -> 240[label="",style="solid", color="blue", weight=3];
11.02/4.29	513[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 513[label="",style="solid", color="blue", weight=9];
11.02/4.29	513 -> 241[label="",style="solid", color="blue", weight=3];
11.02/4.29	514[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 514[label="",style="solid", color="blue", weight=9];
11.02/4.29	514 -> 242[label="",style="solid", color="blue", weight=3];
11.02/4.29	515[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];178 -> 515[label="",style="solid", color="blue", weight=9];
11.02/4.29	515 -> 243[label="",style="solid", color="blue", weight=3];
11.02/4.29	179[label="inRange (vy300,vy310) vy40",fontsize=16,color="blue",shape="box"];516[label="inRange :: ((@2) Char Char) -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 516[label="",style="solid", color="blue", weight=9];
11.02/4.29	516 -> 244[label="",style="solid", color="blue", weight=3];
11.02/4.29	517[label="inRange :: ((@2) () ()) -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 517[label="",style="solid", color="blue", weight=9];
11.02/4.29	517 -> 245[label="",style="solid", color="blue", weight=3];
11.02/4.29	518[label="inRange :: ((@2) Int Int) -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 518[label="",style="solid", color="blue", weight=9];
11.02/4.29	518 -> 246[label="",style="solid", color="blue", weight=3];
11.02/4.29	519[label="inRange :: ((@2) ((@2) a b) ((@2) a b)) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 519[label="",style="solid", color="blue", weight=9];
11.02/4.29	519 -> 247[label="",style="solid", color="blue", weight=3];
11.02/4.29	520[label="inRange :: ((@2) Bool Bool) -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 520[label="",style="solid", color="blue", weight=9];
11.02/4.29	520 -> 248[label="",style="solid", color="blue", weight=3];
11.02/4.29	521[label="inRange :: ((@2) Ordering Ordering) -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 521[label="",style="solid", color="blue", weight=9];
11.02/4.29	521 -> 249[label="",style="solid", color="blue", weight=3];
11.02/4.29	522[label="inRange :: ((@2) Integer Integer) -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 522[label="",style="solid", color="blue", weight=9];
11.02/4.29	522 -> 250[label="",style="solid", color="blue", weight=3];
11.02/4.29	523[label="inRange :: ((@2) ((@3) a b c) ((@3) a b c)) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];179 -> 523[label="",style="solid", color="blue", weight=9];
11.02/4.29	523 -> 251[label="",style="solid", color="blue", weight=3];
11.02/4.29	297[label="primCharToInt vy30",fontsize=16,color="burlywood",shape="triangle"];524[label="vy30/Char vy300",fontsize=10,color="white",style="solid",shape="box"];297 -> 524[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	524 -> 311[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	298[label="inRangeI vy4",fontsize=16,color="black",shape="box"];298 -> 312[label="",style="solid", color="black", weight=3];
11.02/4.29	299[label="fromEnum vy4",fontsize=16,color="black",shape="triangle"];299 -> 313[label="",style="solid", color="black", weight=3];
11.02/4.29	300 -> 299[label="",style="dashed", color="red", weight=0];
11.02/4.29	300[label="fromEnum vy31",fontsize=16,color="magenta"];300 -> 314[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	301[label="not (primCmpInt (Pos (Succ vy3000)) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];525[label="vy4/Pos vy40",fontsize=10,color="white",style="solid",shape="box"];301 -> 525[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	525 -> 315[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	526[label="vy4/Neg vy40",fontsize=10,color="white",style="solid",shape="box"];301 -> 526[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	526 -> 316[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	302[label="not (primCmpInt (Pos Zero) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];527[label="vy4/Pos vy40",fontsize=10,color="white",style="solid",shape="box"];302 -> 527[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	527 -> 317[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	528[label="vy4/Neg vy40",fontsize=10,color="white",style="solid",shape="box"];302 -> 528[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	528 -> 318[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	303[label="not (primCmpInt (Neg (Succ vy3000)) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];529[label="vy4/Pos vy40",fontsize=10,color="white",style="solid",shape="box"];303 -> 529[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	529 -> 319[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	530[label="vy4/Neg vy40",fontsize=10,color="white",style="solid",shape="box"];303 -> 530[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	530 -> 320[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	304[label="not (primCmpInt (Neg Zero) vy4 == GT)",fontsize=16,color="burlywood",shape="box"];531[label="vy4/Pos vy40",fontsize=10,color="white",style="solid",shape="box"];304 -> 531[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	531 -> 321[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	532[label="vy4/Neg vy40",fontsize=10,color="white",style="solid",shape="box"];304 -> 532[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	532 -> 322[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	188[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];189[label="vy41",fontsize=16,color="green",shape="box"];190[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];191[label="vy41",fontsize=16,color="green",shape="box"];192[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];193[label="vy41",fontsize=16,color="green",shape="box"];194[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];195[label="vy41",fontsize=16,color="green",shape="box"];196[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];197[label="vy41",fontsize=16,color="green",shape="box"];198[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];199[label="vy41",fontsize=16,color="green",shape="box"];200[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];201[label="vy41",fontsize=16,color="green",shape="box"];202[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];203[label="vy41",fontsize=16,color="green",shape="box"];204[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];205[label="vy40",fontsize=16,color="green",shape="box"];206[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];207[label="vy40",fontsize=16,color="green",shape="box"];208[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];209[label="vy40",fontsize=16,color="green",shape="box"];210[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];211[label="vy40",fontsize=16,color="green",shape="box"];212[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];213[label="vy40",fontsize=16,color="green",shape="box"];214[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];215[label="vy40",fontsize=16,color="green",shape="box"];216[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];217[label="vy40",fontsize=16,color="green",shape="box"];218[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];219[label="vy40",fontsize=16,color="green",shape="box"];305[label="not (compare2 False vy4 (False == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];533[label="vy4/False",fontsize=10,color="white",style="solid",shape="box"];305 -> 533[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	533 -> 323[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	534[label="vy4/True",fontsize=10,color="white",style="solid",shape="box"];305 -> 534[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	534 -> 324[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	306[label="not (compare2 True vy4 (True == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];535[label="vy4/False",fontsize=10,color="white",style="solid",shape="box"];306 -> 535[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	535 -> 325[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	536[label="vy4/True",fontsize=10,color="white",style="solid",shape="box"];306 -> 536[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	536 -> 326[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	307[label="not (compare2 LT vy4 (LT == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];537[label="vy4/LT",fontsize=10,color="white",style="solid",shape="box"];307 -> 537[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	537 -> 327[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	538[label="vy4/EQ",fontsize=10,color="white",style="solid",shape="box"];307 -> 538[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	538 -> 328[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	539[label="vy4/GT",fontsize=10,color="white",style="solid",shape="box"];307 -> 539[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	539 -> 329[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	308[label="not (compare2 EQ vy4 (EQ == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];540[label="vy4/LT",fontsize=10,color="white",style="solid",shape="box"];308 -> 540[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	540 -> 330[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	541[label="vy4/EQ",fontsize=10,color="white",style="solid",shape="box"];308 -> 541[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	541 -> 331[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	542[label="vy4/GT",fontsize=10,color="white",style="solid",shape="box"];308 -> 542[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	542 -> 332[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	309[label="not (compare2 GT vy4 (GT == vy4) == LT)",fontsize=16,color="burlywood",shape="box"];543[label="vy4/LT",fontsize=10,color="white",style="solid",shape="box"];309 -> 543[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	543 -> 333[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	544[label="vy4/EQ",fontsize=10,color="white",style="solid",shape="box"];309 -> 544[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	544 -> 334[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	545[label="vy4/GT",fontsize=10,color="white",style="solid",shape="box"];309 -> 545[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	545 -> 335[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	310 -> 254[label="",style="dashed", color="red", weight=0];
11.02/4.29	310[label="not (primCmpInt vy300 vy40 == GT)",fontsize=16,color="magenta"];310 -> 336[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	310 -> 337[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	220[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];221[label="vy42",fontsize=16,color="green",shape="box"];222[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];223[label="vy42",fontsize=16,color="green",shape="box"];224[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];225[label="vy42",fontsize=16,color="green",shape="box"];226[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];227[label="vy42",fontsize=16,color="green",shape="box"];228[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];229[label="vy42",fontsize=16,color="green",shape="box"];230[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];231[label="vy42",fontsize=16,color="green",shape="box"];232[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];233[label="vy42",fontsize=16,color="green",shape="box"];234[label="(vy302,vy312)",fontsize=16,color="green",shape="box"];235[label="vy42",fontsize=16,color="green",shape="box"];236 -> 5[label="",style="dashed", color="red", weight=0];
11.02/4.29	236[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];236 -> 258[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	236 -> 259[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	237 -> 6[label="",style="dashed", color="red", weight=0];
11.02/4.29	237[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];237 -> 260[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	237 -> 261[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	238 -> 7[label="",style="dashed", color="red", weight=0];
11.02/4.29	238[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];238 -> 262[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	238 -> 263[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	239 -> 8[label="",style="dashed", color="red", weight=0];
11.02/4.29	239[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];239 -> 264[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	239 -> 265[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	240 -> 9[label="",style="dashed", color="red", weight=0];
11.02/4.29	240[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];240 -> 266[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	240 -> 267[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	241 -> 10[label="",style="dashed", color="red", weight=0];
11.02/4.29	241[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];241 -> 268[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	241 -> 269[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	242 -> 11[label="",style="dashed", color="red", weight=0];
11.02/4.29	242[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];242 -> 270[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	242 -> 271[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	243 -> 12[label="",style="dashed", color="red", weight=0];
11.02/4.29	243[label="inRange (vy301,vy311) vy41",fontsize=16,color="magenta"];243 -> 272[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	243 -> 273[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	244 -> 5[label="",style="dashed", color="red", weight=0];
11.02/4.29	244[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];244 -> 274[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	244 -> 275[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	245 -> 6[label="",style="dashed", color="red", weight=0];
11.02/4.29	245[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];245 -> 276[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	245 -> 277[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	246 -> 7[label="",style="dashed", color="red", weight=0];
11.02/4.29	246[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];246 -> 278[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	246 -> 279[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	247 -> 8[label="",style="dashed", color="red", weight=0];
11.02/4.29	247[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];247 -> 280[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	247 -> 281[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	248 -> 9[label="",style="dashed", color="red", weight=0];
11.02/4.29	248[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];248 -> 282[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	248 -> 283[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	249 -> 10[label="",style="dashed", color="red", weight=0];
11.02/4.29	249[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];249 -> 284[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	249 -> 285[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	250 -> 11[label="",style="dashed", color="red", weight=0];
11.02/4.29	250[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];250 -> 286[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	250 -> 287[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	251 -> 12[label="",style="dashed", color="red", weight=0];
11.02/4.29	251[label="inRange (vy300,vy310) vy40",fontsize=16,color="magenta"];251 -> 288[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	251 -> 289[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	311[label="primCharToInt (Char vy300)",fontsize=16,color="black",shape="box"];311 -> 338[label="",style="solid", color="black", weight=3];
11.02/4.29	312 -> 299[label="",style="dashed", color="red", weight=0];
11.02/4.29	312[label="fromEnum vy4",fontsize=16,color="magenta"];313 -> 297[label="",style="dashed", color="red", weight=0];
11.02/4.29	313[label="primCharToInt vy4",fontsize=16,color="magenta"];313 -> 339[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	314[label="vy31",fontsize=16,color="green",shape="box"];315[label="not (primCmpInt (Pos (Succ vy3000)) (Pos vy40) == GT)",fontsize=16,color="black",shape="box"];315 -> 340[label="",style="solid", color="black", weight=3];
11.02/4.29	316[label="not (primCmpInt (Pos (Succ vy3000)) (Neg vy40) == GT)",fontsize=16,color="black",shape="box"];316 -> 341[label="",style="solid", color="black", weight=3];
11.02/4.29	317[label="not (primCmpInt (Pos Zero) (Pos vy40) == GT)",fontsize=16,color="burlywood",shape="box"];546[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];317 -> 546[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	546 -> 342[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	547[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];317 -> 547[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	547 -> 343[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	318[label="not (primCmpInt (Pos Zero) (Neg vy40) == GT)",fontsize=16,color="burlywood",shape="box"];548[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];318 -> 548[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	548 -> 344[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	549[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];318 -> 549[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	549 -> 345[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	319[label="not (primCmpInt (Neg (Succ vy3000)) (Pos vy40) == GT)",fontsize=16,color="black",shape="box"];319 -> 346[label="",style="solid", color="black", weight=3];
11.02/4.29	320[label="not (primCmpInt (Neg (Succ vy3000)) (Neg vy40) == GT)",fontsize=16,color="black",shape="box"];320 -> 347[label="",style="solid", color="black", weight=3];
11.02/4.29	321[label="not (primCmpInt (Neg Zero) (Pos vy40) == GT)",fontsize=16,color="burlywood",shape="box"];550[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];321 -> 550[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	550 -> 348[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	551[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];321 -> 551[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	551 -> 349[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	322[label="not (primCmpInt (Neg Zero) (Neg vy40) == GT)",fontsize=16,color="burlywood",shape="box"];552[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];322 -> 552[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	552 -> 350[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	553[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];322 -> 553[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	553 -> 351[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	323[label="not (compare2 False False (False == False) == LT)",fontsize=16,color="black",shape="box"];323 -> 352[label="",style="solid", color="black", weight=3];
11.02/4.29	324[label="not (compare2 False True (False == True) == LT)",fontsize=16,color="black",shape="box"];324 -> 353[label="",style="solid", color="black", weight=3];
11.02/4.29	325[label="not (compare2 True False (True == False) == LT)",fontsize=16,color="black",shape="box"];325 -> 354[label="",style="solid", color="black", weight=3];
11.02/4.29	326[label="not (compare2 True True (True == True) == LT)",fontsize=16,color="black",shape="box"];326 -> 355[label="",style="solid", color="black", weight=3];
11.02/4.29	327[label="not (compare2 LT LT (LT == LT) == LT)",fontsize=16,color="black",shape="box"];327 -> 356[label="",style="solid", color="black", weight=3];
11.02/4.29	328[label="not (compare2 LT EQ (LT == EQ) == LT)",fontsize=16,color="black",shape="box"];328 -> 357[label="",style="solid", color="black", weight=3];
11.02/4.29	329[label="not (compare2 LT GT (LT == GT) == LT)",fontsize=16,color="black",shape="box"];329 -> 358[label="",style="solid", color="black", weight=3];
11.02/4.29	330[label="not (compare2 EQ LT (EQ == LT) == LT)",fontsize=16,color="black",shape="box"];330 -> 359[label="",style="solid", color="black", weight=3];
11.02/4.29	331[label="not (compare2 EQ EQ (EQ == EQ) == LT)",fontsize=16,color="black",shape="box"];331 -> 360[label="",style="solid", color="black", weight=3];
11.02/4.29	332[label="not (compare2 EQ GT (EQ == GT) == LT)",fontsize=16,color="black",shape="box"];332 -> 361[label="",style="solid", color="black", weight=3];
11.02/4.29	333[label="not (compare2 GT LT (GT == LT) == LT)",fontsize=16,color="black",shape="box"];333 -> 362[label="",style="solid", color="black", weight=3];
11.02/4.29	334[label="not (compare2 GT EQ (GT == EQ) == LT)",fontsize=16,color="black",shape="box"];334 -> 363[label="",style="solid", color="black", weight=3];
11.02/4.29	335[label="not (compare2 GT GT (GT == GT) == LT)",fontsize=16,color="black",shape="box"];335 -> 364[label="",style="solid", color="black", weight=3];
11.02/4.29	336[label="vy300",fontsize=16,color="green",shape="box"];337[label="vy40",fontsize=16,color="green",shape="box"];258[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];259[label="vy41",fontsize=16,color="green",shape="box"];260[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];261[label="vy41",fontsize=16,color="green",shape="box"];262[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];263[label="vy41",fontsize=16,color="green",shape="box"];264[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];265[label="vy41",fontsize=16,color="green",shape="box"];266[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];267[label="vy41",fontsize=16,color="green",shape="box"];268[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];269[label="vy41",fontsize=16,color="green",shape="box"];270[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];271[label="vy41",fontsize=16,color="green",shape="box"];272[label="(vy301,vy311)",fontsize=16,color="green",shape="box"];273[label="vy41",fontsize=16,color="green",shape="box"];274[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];275[label="vy40",fontsize=16,color="green",shape="box"];276[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];277[label="vy40",fontsize=16,color="green",shape="box"];278[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];279[label="vy40",fontsize=16,color="green",shape="box"];280[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];281[label="vy40",fontsize=16,color="green",shape="box"];282[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];283[label="vy40",fontsize=16,color="green",shape="box"];284[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];285[label="vy40",fontsize=16,color="green",shape="box"];286[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];287[label="vy40",fontsize=16,color="green",shape="box"];288[label="(vy300,vy310)",fontsize=16,color="green",shape="box"];289[label="vy40",fontsize=16,color="green",shape="box"];338[label="Pos vy300",fontsize=16,color="green",shape="box"];339[label="vy4",fontsize=16,color="green",shape="box"];340[label="not (primCmpNat (Succ vy3000) vy40 == GT)",fontsize=16,color="burlywood",shape="triangle"];554[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];340 -> 554[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	554 -> 365[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	555[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];340 -> 555[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	555 -> 366[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	341[label="not (GT == GT)",fontsize=16,color="black",shape="triangle"];341 -> 367[label="",style="solid", color="black", weight=3];
11.02/4.29	342[label="not (primCmpInt (Pos Zero) (Pos (Succ vy400)) == GT)",fontsize=16,color="black",shape="box"];342 -> 368[label="",style="solid", color="black", weight=3];
11.02/4.29	343[label="not (primCmpInt (Pos Zero) (Pos Zero) == GT)",fontsize=16,color="black",shape="box"];343 -> 369[label="",style="solid", color="black", weight=3];
11.02/4.29	344[label="not (primCmpInt (Pos Zero) (Neg (Succ vy400)) == GT)",fontsize=16,color="black",shape="box"];344 -> 370[label="",style="solid", color="black", weight=3];
11.02/4.29	345[label="not (primCmpInt (Pos Zero) (Neg Zero) == GT)",fontsize=16,color="black",shape="box"];345 -> 371[label="",style="solid", color="black", weight=3];
11.02/4.29	346[label="not (LT == GT)",fontsize=16,color="black",shape="triangle"];346 -> 372[label="",style="solid", color="black", weight=3];
11.02/4.29	347[label="not (primCmpNat vy40 (Succ vy3000) == GT)",fontsize=16,color="burlywood",shape="triangle"];556[label="vy40/Succ vy400",fontsize=10,color="white",style="solid",shape="box"];347 -> 556[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	556 -> 373[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	557[label="vy40/Zero",fontsize=10,color="white",style="solid",shape="box"];347 -> 557[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	557 -> 374[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	348[label="not (primCmpInt (Neg Zero) (Pos (Succ vy400)) == GT)",fontsize=16,color="black",shape="box"];348 -> 375[label="",style="solid", color="black", weight=3];
11.02/4.29	349[label="not (primCmpInt (Neg Zero) (Pos Zero) == GT)",fontsize=16,color="black",shape="box"];349 -> 376[label="",style="solid", color="black", weight=3];
11.02/4.29	350[label="not (primCmpInt (Neg Zero) (Neg (Succ vy400)) == GT)",fontsize=16,color="black",shape="box"];350 -> 377[label="",style="solid", color="black", weight=3];
11.02/4.29	351[label="not (primCmpInt (Neg Zero) (Neg Zero) == GT)",fontsize=16,color="black",shape="box"];351 -> 378[label="",style="solid", color="black", weight=3];
11.02/4.29	352[label="not (compare2 False False True == LT)",fontsize=16,color="black",shape="box"];352 -> 379[label="",style="solid", color="black", weight=3];
11.02/4.29	353[label="not (compare2 False True False == LT)",fontsize=16,color="black",shape="box"];353 -> 380[label="",style="solid", color="black", weight=3];
11.02/4.29	354[label="not (compare2 True False False == LT)",fontsize=16,color="black",shape="box"];354 -> 381[label="",style="solid", color="black", weight=3];
11.02/4.29	355[label="not (compare2 True True True == LT)",fontsize=16,color="black",shape="box"];355 -> 382[label="",style="solid", color="black", weight=3];
11.02/4.29	356[label="not (compare2 LT LT True == LT)",fontsize=16,color="black",shape="box"];356 -> 383[label="",style="solid", color="black", weight=3];
11.02/4.29	357[label="not (compare2 LT EQ False == LT)",fontsize=16,color="black",shape="box"];357 -> 384[label="",style="solid", color="black", weight=3];
11.02/4.29	358[label="not (compare2 LT GT False == LT)",fontsize=16,color="black",shape="box"];358 -> 385[label="",style="solid", color="black", weight=3];
11.02/4.29	359[label="not (compare2 EQ LT False == LT)",fontsize=16,color="black",shape="box"];359 -> 386[label="",style="solid", color="black", weight=3];
11.02/4.29	360[label="not (compare2 EQ EQ True == LT)",fontsize=16,color="black",shape="box"];360 -> 387[label="",style="solid", color="black", weight=3];
11.02/4.29	361[label="not (compare2 EQ GT False == LT)",fontsize=16,color="black",shape="box"];361 -> 388[label="",style="solid", color="black", weight=3];
11.02/4.29	362[label="not (compare2 GT LT False == LT)",fontsize=16,color="black",shape="box"];362 -> 389[label="",style="solid", color="black", weight=3];
11.02/4.29	363[label="not (compare2 GT EQ False == LT)",fontsize=16,color="black",shape="box"];363 -> 390[label="",style="solid", color="black", weight=3];
11.02/4.29	364[label="not (compare2 GT GT True == LT)",fontsize=16,color="black",shape="box"];364 -> 391[label="",style="solid", color="black", weight=3];
11.02/4.29	365[label="not (primCmpNat (Succ vy3000) (Succ vy400) == GT)",fontsize=16,color="black",shape="box"];365 -> 392[label="",style="solid", color="black", weight=3];
11.02/4.29	366[label="not (primCmpNat (Succ vy3000) Zero == GT)",fontsize=16,color="black",shape="box"];366 -> 393[label="",style="solid", color="black", weight=3];
11.02/4.29	367[label="not True",fontsize=16,color="black",shape="triangle"];367 -> 394[label="",style="solid", color="black", weight=3];
11.02/4.29	368 -> 347[label="",style="dashed", color="red", weight=0];
11.02/4.29	368[label="not (primCmpNat Zero (Succ vy400) == GT)",fontsize=16,color="magenta"];368 -> 395[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	368 -> 396[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	369[label="not (EQ == GT)",fontsize=16,color="black",shape="triangle"];369 -> 397[label="",style="solid", color="black", weight=3];
11.02/4.29	370 -> 341[label="",style="dashed", color="red", weight=0];
11.02/4.29	370[label="not (GT == GT)",fontsize=16,color="magenta"];371 -> 369[label="",style="dashed", color="red", weight=0];
11.02/4.29	371[label="not (EQ == GT)",fontsize=16,color="magenta"];372[label="not False",fontsize=16,color="black",shape="triangle"];372 -> 398[label="",style="solid", color="black", weight=3];
11.02/4.29	373[label="not (primCmpNat (Succ vy400) (Succ vy3000) == GT)",fontsize=16,color="black",shape="box"];373 -> 399[label="",style="solid", color="black", weight=3];
11.02/4.29	374[label="not (primCmpNat Zero (Succ vy3000) == GT)",fontsize=16,color="black",shape="box"];374 -> 400[label="",style="solid", color="black", weight=3];
11.02/4.29	375 -> 346[label="",style="dashed", color="red", weight=0];
11.02/4.29	375[label="not (LT == GT)",fontsize=16,color="magenta"];376 -> 369[label="",style="dashed", color="red", weight=0];
11.02/4.29	376[label="not (EQ == GT)",fontsize=16,color="magenta"];377 -> 340[label="",style="dashed", color="red", weight=0];
11.02/4.29	377[label="not (primCmpNat (Succ vy400) Zero == GT)",fontsize=16,color="magenta"];377 -> 401[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	377 -> 402[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	378 -> 369[label="",style="dashed", color="red", weight=0];
11.02/4.29	378[label="not (EQ == GT)",fontsize=16,color="magenta"];379[label="not (EQ == LT)",fontsize=16,color="black",shape="triangle"];379 -> 403[label="",style="solid", color="black", weight=3];
11.02/4.29	380[label="not (compare1 False True (False <= True) == LT)",fontsize=16,color="black",shape="box"];380 -> 404[label="",style="solid", color="black", weight=3];
11.02/4.29	381[label="not (compare1 True False (True <= False) == LT)",fontsize=16,color="black",shape="box"];381 -> 405[label="",style="solid", color="black", weight=3];
11.02/4.29	382 -> 379[label="",style="dashed", color="red", weight=0];
11.02/4.29	382[label="not (EQ == LT)",fontsize=16,color="magenta"];383 -> 379[label="",style="dashed", color="red", weight=0];
11.02/4.29	383[label="not (EQ == LT)",fontsize=16,color="magenta"];384[label="not (compare1 LT EQ (LT <= EQ) == LT)",fontsize=16,color="black",shape="box"];384 -> 406[label="",style="solid", color="black", weight=3];
11.02/4.29	385[label="not (compare1 LT GT (LT <= GT) == LT)",fontsize=16,color="black",shape="box"];385 -> 407[label="",style="solid", color="black", weight=3];
11.02/4.29	386[label="not (compare1 EQ LT (EQ <= LT) == LT)",fontsize=16,color="black",shape="box"];386 -> 408[label="",style="solid", color="black", weight=3];
11.02/4.29	387 -> 379[label="",style="dashed", color="red", weight=0];
11.02/4.29	387[label="not (EQ == LT)",fontsize=16,color="magenta"];388[label="not (compare1 EQ GT (EQ <= GT) == LT)",fontsize=16,color="black",shape="box"];388 -> 409[label="",style="solid", color="black", weight=3];
11.02/4.29	389[label="not (compare1 GT LT (GT <= LT) == LT)",fontsize=16,color="black",shape="box"];389 -> 410[label="",style="solid", color="black", weight=3];
11.02/4.29	390[label="not (compare1 GT EQ (GT <= EQ) == LT)",fontsize=16,color="black",shape="box"];390 -> 411[label="",style="solid", color="black", weight=3];
11.02/4.29	391 -> 379[label="",style="dashed", color="red", weight=0];
11.02/4.29	391[label="not (EQ == LT)",fontsize=16,color="magenta"];392[label="not (primCmpNat vy3000 vy400 == GT)",fontsize=16,color="burlywood",shape="triangle"];558[label="vy3000/Succ vy30000",fontsize=10,color="white",style="solid",shape="box"];392 -> 558[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	558 -> 412[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	559[label="vy3000/Zero",fontsize=10,color="white",style="solid",shape="box"];392 -> 559[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	559 -> 413[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	393 -> 341[label="",style="dashed", color="red", weight=0];
11.02/4.29	393[label="not (GT == GT)",fontsize=16,color="magenta"];394[label="False",fontsize=16,color="green",shape="box"];395[label="vy400",fontsize=16,color="green",shape="box"];396[label="Zero",fontsize=16,color="green",shape="box"];397 -> 372[label="",style="dashed", color="red", weight=0];
11.02/4.29	397[label="not False",fontsize=16,color="magenta"];398[label="True",fontsize=16,color="green",shape="box"];399 -> 392[label="",style="dashed", color="red", weight=0];
11.02/4.29	399[label="not (primCmpNat vy400 vy3000 == GT)",fontsize=16,color="magenta"];399 -> 414[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	399 -> 415[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	400 -> 346[label="",style="dashed", color="red", weight=0];
11.02/4.29	400[label="not (LT == GT)",fontsize=16,color="magenta"];401[label="Zero",fontsize=16,color="green",shape="box"];402[label="vy400",fontsize=16,color="green",shape="box"];403 -> 372[label="",style="dashed", color="red", weight=0];
11.02/4.29	403[label="not False",fontsize=16,color="magenta"];404[label="not (compare1 False True True == LT)",fontsize=16,color="black",shape="box"];404 -> 416[label="",style="solid", color="black", weight=3];
11.02/4.29	405[label="not (compare1 True False False == LT)",fontsize=16,color="black",shape="box"];405 -> 417[label="",style="solid", color="black", weight=3];
11.02/4.29	406[label="not (compare1 LT EQ True == LT)",fontsize=16,color="black",shape="box"];406 -> 418[label="",style="solid", color="black", weight=3];
11.02/4.29	407[label="not (compare1 LT GT True == LT)",fontsize=16,color="black",shape="box"];407 -> 419[label="",style="solid", color="black", weight=3];
11.02/4.29	408[label="not (compare1 EQ LT False == LT)",fontsize=16,color="black",shape="box"];408 -> 420[label="",style="solid", color="black", weight=3];
11.02/4.29	409[label="not (compare1 EQ GT True == LT)",fontsize=16,color="black",shape="box"];409 -> 421[label="",style="solid", color="black", weight=3];
11.02/4.29	410[label="not (compare1 GT LT False == LT)",fontsize=16,color="black",shape="box"];410 -> 422[label="",style="solid", color="black", weight=3];
11.02/4.29	411[label="not (compare1 GT EQ False == LT)",fontsize=16,color="black",shape="box"];411 -> 423[label="",style="solid", color="black", weight=3];
11.02/4.29	412[label="not (primCmpNat (Succ vy30000) vy400 == GT)",fontsize=16,color="burlywood",shape="box"];560[label="vy400/Succ vy4000",fontsize=10,color="white",style="solid",shape="box"];412 -> 560[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	560 -> 424[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	561[label="vy400/Zero",fontsize=10,color="white",style="solid",shape="box"];412 -> 561[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	561 -> 425[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	413[label="not (primCmpNat Zero vy400 == GT)",fontsize=16,color="burlywood",shape="box"];562[label="vy400/Succ vy4000",fontsize=10,color="white",style="solid",shape="box"];413 -> 562[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	562 -> 426[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	563[label="vy400/Zero",fontsize=10,color="white",style="solid",shape="box"];413 -> 563[label="",style="solid", color="burlywood", weight=9];
11.02/4.29	563 -> 427[label="",style="solid", color="burlywood", weight=3];
11.02/4.29	414[label="vy400",fontsize=16,color="green",shape="box"];415[label="vy3000",fontsize=16,color="green",shape="box"];416[label="not (LT == LT)",fontsize=16,color="black",shape="triangle"];416 -> 428[label="",style="solid", color="black", weight=3];
11.02/4.29	417[label="not (compare0 True False otherwise == LT)",fontsize=16,color="black",shape="box"];417 -> 429[label="",style="solid", color="black", weight=3];
11.02/4.29	418 -> 416[label="",style="dashed", color="red", weight=0];
11.02/4.29	418[label="not (LT == LT)",fontsize=16,color="magenta"];419 -> 416[label="",style="dashed", color="red", weight=0];
11.02/4.29	419[label="not (LT == LT)",fontsize=16,color="magenta"];420[label="not (compare0 EQ LT otherwise == LT)",fontsize=16,color="black",shape="box"];420 -> 430[label="",style="solid", color="black", weight=3];
11.02/4.29	421 -> 416[label="",style="dashed", color="red", weight=0];
11.02/4.29	421[label="not (LT == LT)",fontsize=16,color="magenta"];422[label="not (compare0 GT LT otherwise == LT)",fontsize=16,color="black",shape="box"];422 -> 431[label="",style="solid", color="black", weight=3];
11.02/4.29	423[label="not (compare0 GT EQ otherwise == LT)",fontsize=16,color="black",shape="box"];423 -> 432[label="",style="solid", color="black", weight=3];
11.02/4.29	424[label="not (primCmpNat (Succ vy30000) (Succ vy4000) == GT)",fontsize=16,color="black",shape="box"];424 -> 433[label="",style="solid", color="black", weight=3];
11.02/4.29	425[label="not (primCmpNat (Succ vy30000) Zero == GT)",fontsize=16,color="black",shape="box"];425 -> 434[label="",style="solid", color="black", weight=3];
11.02/4.29	426[label="not (primCmpNat Zero (Succ vy4000) == GT)",fontsize=16,color="black",shape="box"];426 -> 435[label="",style="solid", color="black", weight=3];
11.02/4.29	427[label="not (primCmpNat Zero Zero == GT)",fontsize=16,color="black",shape="box"];427 -> 436[label="",style="solid", color="black", weight=3];
11.02/4.29	428 -> 367[label="",style="dashed", color="red", weight=0];
11.02/4.29	428[label="not True",fontsize=16,color="magenta"];429[label="not (compare0 True False True == LT)",fontsize=16,color="black",shape="box"];429 -> 437[label="",style="solid", color="black", weight=3];
11.02/4.29	430[label="not (compare0 EQ LT True == LT)",fontsize=16,color="black",shape="box"];430 -> 438[label="",style="solid", color="black", weight=3];
11.02/4.29	431[label="not (compare0 GT LT True == LT)",fontsize=16,color="black",shape="box"];431 -> 439[label="",style="solid", color="black", weight=3];
11.02/4.29	432[label="not (compare0 GT EQ True == LT)",fontsize=16,color="black",shape="box"];432 -> 440[label="",style="solid", color="black", weight=3];
11.02/4.29	433 -> 392[label="",style="dashed", color="red", weight=0];
11.02/4.29	433[label="not (primCmpNat vy30000 vy4000 == GT)",fontsize=16,color="magenta"];433 -> 441[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	433 -> 442[label="",style="dashed", color="magenta", weight=3];
11.02/4.29	434 -> 341[label="",style="dashed", color="red", weight=0];
11.02/4.29	434[label="not (GT == GT)",fontsize=16,color="magenta"];435 -> 346[label="",style="dashed", color="red", weight=0];
11.02/4.29	435[label="not (LT == GT)",fontsize=16,color="magenta"];436 -> 369[label="",style="dashed", color="red", weight=0];
11.02/4.29	436[label="not (EQ == GT)",fontsize=16,color="magenta"];437[label="not (GT == LT)",fontsize=16,color="black",shape="triangle"];437 -> 443[label="",style="solid", color="black", weight=3];
11.02/4.29	438 -> 437[label="",style="dashed", color="red", weight=0];
11.02/4.29	438[label="not (GT == LT)",fontsize=16,color="magenta"];439 -> 437[label="",style="dashed", color="red", weight=0];
11.02/4.29	439[label="not (GT == LT)",fontsize=16,color="magenta"];440 -> 437[label="",style="dashed", color="red", weight=0];
11.02/4.29	440[label="not (GT == LT)",fontsize=16,color="magenta"];441[label="vy30000",fontsize=16,color="green",shape="box"];442[label="vy4000",fontsize=16,color="green",shape="box"];443 -> 372[label="",style="dashed", color="red", weight=0];
11.02/4.29	443[label="not False",fontsize=16,color="magenta"];}
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(8)
11.02/4.29	Complex Obligation (AND)
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(9)
11.02/4.29	Obligation:
11.02/4.29	Q DP problem:
11.02/4.29	The TRS P consists of the following rules:
11.02/4.29	
11.02/4.29	   new_not(Succ(vy30000), Succ(vy4000)) -> new_not(vy30000, vy4000)
11.02/4.29	
11.02/4.29	R is empty.
11.02/4.29	Q is empty.
11.02/4.29	We have to consider all minimal (P,Q,R)-chains.
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(10) QDPSizeChangeProof (EQUIVALENT)
11.02/4.29	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. 
11.02/4.29	
11.02/4.29	From the DPs we obtained the following set of size-change graphs:
11.02/4.29	*new_not(Succ(vy30000), Succ(vy4000)) -> new_not(vy30000, vy4000)
11.02/4.29	The graph contains the following edges 1 > 1, 2 > 2
11.02/4.29	
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(11)
11.02/4.29	YES
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(12)
11.02/4.29	Obligation:
11.02/4.29	Q DP problem:
11.02/4.29	The TRS P consists of the following rules:
11.02/4.29	
11.02/4.29	   new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, app(app(app(ty_@3, dg), dh), ea), df) -> new_inRange0(@2(vy301, vy311), vy41, dg, dh, ea)
11.02/4.29	   new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, ce, app(app(app(ty_@3, da), db), dc)) -> new_inRange0(@2(vy302, vy312), vy42, da, db, dc)
11.02/4.29	   new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(app(ty_@3, ed), ee), ef), ce, df) -> new_inRange0(@2(vy300, vy310), vy40, ed, ee, ef)
11.02/4.29	   new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), h, app(app(ty_@2, ba), bb)) -> new_inRange(@2(vy301, vy311), vy41, ba, bb)
11.02/4.29	   new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(app(ty_@3, ca), cb), cc), bh) -> new_inRange0(@2(vy300, vy310), vy40, ca, cb, cc)
11.02/4.29	   new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), h, app(app(app(ty_@3, bc), bd), be)) -> new_inRange0(@2(vy301, vy311), vy41, bc, bd, be)
11.02/4.29	   new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(ty_@2, eb), ec), ce, df) -> new_inRange(@2(vy300, vy310), vy40, eb, ec)
11.02/4.29	   new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, app(app(ty_@2, dd), de), df) -> new_inRange(@2(vy301, vy311), vy41, dd, de)
11.02/4.29	   new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(ty_@2, bf), bg), bh) -> new_inRange(@2(vy300, vy310), vy40, bf, bg)
11.02/4.29	   new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, ce, app(app(ty_@2, cf), cg)) -> new_inRange(@2(vy302, vy312), vy42, cf, cg)
11.02/4.29	
11.02/4.29	R is empty.
11.02/4.29	Q is empty.
11.02/4.29	We have to consider all minimal (P,Q,R)-chains.
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(13) QDPSizeChangeProof (EQUIVALENT)
11.02/4.29	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. 
11.02/4.29	
11.02/4.29	From the DPs we obtained the following set of size-change graphs:
11.02/4.29	*new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, app(app(app(ty_@3, dg), dh), ea), df) -> new_inRange0(@2(vy301, vy311), vy41, dg, dh, ea)
11.02/4.29	The graph contains the following edges 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, ce, app(app(app(ty_@3, da), db), dc)) -> new_inRange0(@2(vy302, vy312), vy42, da, db, dc)
11.02/4.29	The graph contains the following edges 2 > 2, 5 > 3, 5 > 4, 5 > 5
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(app(ty_@3, ed), ee), ef), ce, df) -> new_inRange0(@2(vy300, vy310), vy40, ed, ee, ef)
11.02/4.29	The graph contains the following edges 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), app(app(ty_@2, eb), ec), ce, df) -> new_inRange(@2(vy300, vy310), vy40, eb, ec)
11.02/4.29	The graph contains the following edges 2 > 2, 3 > 3, 3 > 4
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, app(app(ty_@2, dd), de), df) -> new_inRange(@2(vy301, vy311), vy41, dd, de)
11.02/4.29	The graph contains the following edges 2 > 2, 4 > 3, 4 > 4
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange0(@2(@3(vy300, vy301, vy302), @3(vy310, vy311, vy312)), @3(vy40, vy41, vy42), cd, ce, app(app(ty_@2, cf), cg)) -> new_inRange(@2(vy302, vy312), vy42, cf, cg)
11.02/4.29	The graph contains the following edges 2 > 2, 5 > 3, 5 > 4
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(app(ty_@3, ca), cb), cc), bh) -> new_inRange0(@2(vy300, vy310), vy40, ca, cb, cc)
11.02/4.29	The graph contains the following edges 2 > 2, 3 > 3, 3 > 4, 3 > 5
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), h, app(app(app(ty_@3, bc), bd), be)) -> new_inRange0(@2(vy301, vy311), vy41, bc, bd, be)
11.02/4.29	The graph contains the following edges 2 > 2, 4 > 3, 4 > 4, 4 > 5
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), h, app(app(ty_@2, ba), bb)) -> new_inRange(@2(vy301, vy311), vy41, ba, bb)
11.02/4.29	The graph contains the following edges 2 > 2, 4 > 3, 4 > 4
11.02/4.29	
11.02/4.29	
11.02/4.29	*new_inRange(@2(@2(vy300, vy301), @2(vy310, vy311)), @2(vy40, vy41), app(app(ty_@2, bf), bg), bh) -> new_inRange(@2(vy300, vy310), vy40, bf, bg)
11.02/4.29	The graph contains the following edges 2 > 2, 3 > 3, 3 > 4
11.02/4.29	
11.02/4.29	
11.02/4.29	----------------------------------------
11.02/4.29	
11.02/4.29	(14)
11.02/4.29	YES
11.05/4.39	EOF