9.98/4.12	YES
12.50/4.78	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
12.50/4.78	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
12.50/4.78	
12.50/4.78	
12.50/4.78	H-Termination with start terms of the given HASKELL could be proven:
12.50/4.78	
12.50/4.78	(0) HASKELL
12.50/4.78	(1) CR [EQUIVALENT, 0 ms]
12.50/4.78	(2) HASKELL
12.50/4.78	(3) IFR [EQUIVALENT, 0 ms]
12.50/4.78	(4) HASKELL
12.50/4.78	(5) BR [EQUIVALENT, 0 ms]
12.50/4.78	(6) HASKELL
12.50/4.78	(7) COR [EQUIVALENT, 6 ms]
12.50/4.78	(8) HASKELL
12.50/4.78	(9) LetRed [EQUIVALENT, 0 ms]
12.50/4.78	(10) HASKELL
12.50/4.78	(11) NumRed [SOUND, 9 ms]
12.50/4.78	(12) HASKELL
12.50/4.78	(13) Narrow [SOUND, 0 ms]
12.50/4.78	(14) QDP
12.50/4.78	(15) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.50/4.78	(16) YES
12.50/4.78	
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(0)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(1) CR (EQUIVALENT)
12.50/4.78	Case Reductions:
12.50/4.78	The following Case expression
12.50/4.78	"case compare x y of {
12.50/4.78	EQ  -> o;
12.50/4.78	LT  -> LT;
12.50/4.78	GT  -> GT}
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"primCompAux0 o EQ = o;
12.50/4.78	primCompAux0 o LT = LT;
12.50/4.78	primCompAux0 o GT = GT;
12.50/4.78	"
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(2)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(3) IFR (EQUIVALENT)
12.50/4.78	If Reductions:
12.50/4.78	The following If expression
12.50/4.78	"if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero"
12.50/4.78	is transformed to
12.50/4.78	"primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y));
12.50/4.78	primDivNatS0 x y False = Zero;
12.50/4.78	"
12.50/4.78	The following If expression
12.50/4.78	"if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x"
12.50/4.78	is transformed to
12.50/4.78	"primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y);
12.50/4.78	primModNatS0 x y False = Succ x;
12.50/4.78	"
12.50/4.78	The following If expression
12.50/4.78	"if x < 0 then showParen (p > 6) ((showChar '-') . showPos (`negate` x)) else showPos x"
12.50/4.78	is transformed to
12.50/4.78	"showSigned0 p showPos x True = showParen (p > 6) ((showChar '-') . showPos (`negate` x));
12.50/4.78	showSigned0 p showPos x False = showPos x;
12.50/4.78	"
12.50/4.78	The following If expression
12.50/4.78	"if b then (showChar '(') . p . showChar ')' else p"
12.50/4.78	is transformed to
12.50/4.78	"showParen0 p True = (showChar '(') . p . showChar ')';
12.50/4.78	showParen0 p False = p;
12.50/4.78	"
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(4)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(5) BR (EQUIVALENT)
12.50/4.78	Replaced joker patterns by fresh variables and removed binding patterns.
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(6)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(7) COR (EQUIVALENT)
12.50/4.78	Cond Reductions:
12.50/4.78	The following Function with conditions
12.50/4.78	"compare x y|x == yEQ|x <= yLT|otherwiseGT;
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"compare x y = compare3 x y;
12.50/4.78	"
12.50/4.78	"compare0 x y True = GT;
12.50/4.78	"
12.50/4.78	"compare2 x y True = EQ;
12.50/4.78	compare2 x y False = compare1 x y (x <= y);
12.50/4.78	"
12.50/4.78	"compare1 x y True = LT;
12.50/4.78	compare1 x y False = compare0 x y otherwise;
12.50/4.78	"
12.50/4.78	"compare3 x y = compare2 x y (x == y);
12.50/4.78	"
12.50/4.78	The following Function with conditions
12.50/4.78	"gcd' x 0 = x;
12.50/4.78	gcd' x y = gcd' y (x `rem` y);
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"gcd' x zx = gcd'2 x zx;
12.50/4.78	gcd' x y = gcd'0 x y;
12.50/4.78	"
12.50/4.78	"gcd'0 x y = gcd' y (x `rem` y);
12.50/4.78	"
12.50/4.78	"gcd'1 True x zx = x;
12.50/4.78	gcd'1 zy zz vuu = gcd'0 zz vuu;
12.50/4.78	"
12.50/4.78	"gcd'2 x zx = gcd'1 (zx == 0) x zx;
12.50/4.78	gcd'2 vuv vuw = gcd'0 vuv vuw;
12.50/4.78	"
12.50/4.78	The following Function with conditions
12.50/4.78	"gcd 0 0 = error [];
12.50/4.78	gcd x y = gcd' (abs x) (abs y) where {
12.50/4.78	gcd' x 0 = x;
12.50/4.78	gcd' x y = gcd' y (x `rem` y);
12.50/4.78	} 
12.50/4.78	;
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"gcd vux vuy = gcd3 vux vuy;
12.50/4.78	gcd x y = gcd0 x y;
12.50/4.78	"
12.50/4.78	"gcd0 x y = gcd' (abs x) (abs y) where {
12.50/4.78	gcd' x zx = gcd'2 x zx;
12.50/4.78	gcd' x y = gcd'0 x y;
12.50/4.78	;
12.50/4.78	gcd'0 x y = gcd' y (x `rem` y);
12.50/4.78	;
12.50/4.78	gcd'1 True x zx = x;
12.50/4.78	gcd'1 zy zz vuu = gcd'0 zz vuu;
12.50/4.78	;
12.50/4.78	gcd'2 x zx = gcd'1 (zx == 0) x zx;
12.50/4.78	gcd'2 vuv vuw = gcd'0 vuv vuw;
12.50/4.78	} 
12.50/4.78	;
12.50/4.78	"
12.50/4.78	"gcd1 True vux vuy = error [];
12.50/4.78	gcd1 vuz vvu vvv = gcd0 vvu vvv;
12.50/4.78	"
12.50/4.78	"gcd2 True vux vuy = gcd1 (vuy == 0) vux vuy;
12.50/4.78	gcd2 vvw vvx vvy = gcd0 vvx vvy;
12.50/4.78	"
12.50/4.78	"gcd3 vux vuy = gcd2 (vux == 0) vux vuy;
12.50/4.78	gcd3 vvz vwu = gcd0 vvz vwu;
12.50/4.78	"
12.50/4.78	The following Function with conditions
12.50/4.78	"reduce x y|y == 0error []|otherwisex `quot` d :% (y `quot` d) where {
12.50/4.78	d  = gcd x y;
12.50/4.78	} 
12.50/4.78	;
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"reduce x y = reduce2 x y;
12.50/4.78	"
12.50/4.78	"reduce2 x y = reduce1 x y (y == 0) where {
12.50/4.78	d  = gcd x y;
12.50/4.78	;
12.50/4.78	reduce0 x y True = x `quot` d :% (y `quot` d);
12.50/4.78	;
12.50/4.78	reduce1 x y True = error [];
12.50/4.78	reduce1 x y False = reduce0 x y otherwise;
12.50/4.78	} 
12.50/4.78	;
12.50/4.78	"
12.50/4.78	The following Function with conditions
12.50/4.78	"absReal x|x >= 0x|otherwise`negate` x;
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"absReal x = absReal2 x;
12.50/4.78	"
12.50/4.78	"absReal0 x True = `negate` x;
12.50/4.78	"
12.50/4.78	"absReal1 x True = x;
12.50/4.78	absReal1 x False = absReal0 x otherwise;
12.50/4.78	"
12.50/4.78	"absReal2 x = absReal1 x (x >= 0);
12.50/4.78	"
12.50/4.78	The following Function with conditions
12.50/4.78	"undefined |Falseundefined;
12.50/4.78	"
12.50/4.78	is transformed to
12.50/4.78	"undefined  = undefined1;
12.50/4.78	"
12.50/4.78	"undefined0 True = undefined;
12.50/4.78	"
12.50/4.78	"undefined1  = undefined0 False;
12.50/4.78	"
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(8)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(9) LetRed (EQUIVALENT)
12.50/4.78	Let/Where Reductions:
12.50/4.78	The bindings of the following Let/Where expression
12.50/4.78	"gcd' (abs x) (abs y) where {
12.50/4.78	gcd' x zx = gcd'2 x zx;
12.50/4.78	gcd' x y = gcd'0 x y;
12.50/4.78	;
12.50/4.78	gcd'0 x y = gcd' y (x `rem` y);
12.50/4.78	;
12.50/4.78	gcd'1 True x zx = x;
12.50/4.78	gcd'1 zy zz vuu = gcd'0 zz vuu;
12.50/4.78	;
12.50/4.78	gcd'2 x zx = gcd'1 (zx == 0) x zx;
12.50/4.78	gcd'2 vuv vuw = gcd'0 vuv vuw;
12.50/4.78	} 
12.50/4.78	"
12.50/4.78	are unpacked to the following functions on top level
12.50/4.78	"gcd0Gcd'1 True x zx = x;
12.50/4.78	gcd0Gcd'1 zy zz vuu = gcd0Gcd'0 zz vuu;
12.50/4.78	"
12.50/4.78	"gcd0Gcd' x zx = gcd0Gcd'2 x zx;
12.50/4.78	gcd0Gcd' x y = gcd0Gcd'0 x y;
12.50/4.78	"
12.50/4.78	"gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y);
12.50/4.78	"
12.50/4.78	"gcd0Gcd'2 x zx = gcd0Gcd'1 (zx == 0) x zx;
12.50/4.78	gcd0Gcd'2 vuv vuw = gcd0Gcd'0 vuv vuw;
12.50/4.78	"
12.50/4.78	The bindings of the following Let/Where expression
12.50/4.78	"reduce1 x y (y == 0) where {
12.50/4.78	d  = gcd x y;
12.50/4.78	;
12.50/4.78	reduce0 x y True = x `quot` d :% (y `quot` d);
12.50/4.78	;
12.50/4.78	reduce1 x y True = error [];
12.50/4.78	reduce1 x y False = reduce0 x y otherwise;
12.50/4.78	} 
12.50/4.78	"
12.50/4.78	are unpacked to the following functions on top level
12.50/4.78	"reduce2Reduce0 vwv vww x y True = x `quot` reduce2D vwv vww :% (y `quot` reduce2D vwv vww);
12.50/4.78	"
12.50/4.78	"reduce2D vwv vww = gcd vwv vww;
12.50/4.78	"
12.50/4.78	"reduce2Reduce1 vwv vww x y True = error [];
12.50/4.78	reduce2Reduce1 vwv vww x y False = reduce2Reduce0 vwv vww x y otherwise;
12.50/4.78	"
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(10)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(11) NumRed (SOUND)
12.50/4.78	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(12)
12.50/4.78	Obligation:
12.50/4.78	mainModule Main 
12.50/4.78	module Main where {
12.50/4.78	import qualified Prelude;
12.50/4.78	}
12.50/4.78	
12.50/4.78	----------------------------------------
12.50/4.78	
12.50/4.78	(13) Narrow (SOUND)
12.50/4.78	Haskell To QDPs
12.50/4.78	
12.50/4.78	digraph dp_graph {
12.50/4.78	node [outthreshold=100, inthreshold=100];1[label="showSigned",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
12.50/4.78	3[label="showSigned vwx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
12.50/4.78	4[label="showSigned vwx3 vwx4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3];
12.50/4.78	5[label="showSigned vwx3 vwx4 vwx5",fontsize=16,color="grey",shape="box"];5 -> 6[label="",style="dashed", color="grey", weight=3];
12.50/4.78	6[label="showSigned vwx3 vwx4 vwx5 vwx6",fontsize=16,color="black",shape="triangle"];6 -> 7[label="",style="solid", color="black", weight=3];
12.50/4.78	7 -> 8[label="",style="dashed", color="red", weight=0];
12.50/4.78	7[label="showSigned0 vwx4 vwx3 vwx5 (vwx5 < fromInt (Pos Zero)) vwx6",fontsize=16,color="magenta"];7 -> 9[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	7 -> 10[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	7 -> 11[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	7 -> 12[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	7 -> 13[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	9[label="vwx6",fontsize=16,color="green",shape="box"];10[label="vwx4",fontsize=16,color="green",shape="box"];11[label="vwx3",fontsize=16,color="green",shape="box"];12[label="vwx5",fontsize=16,color="green",shape="box"];13[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="blue",shape="box"];794[label="< :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 794[label="",style="solid", color="blue", weight=9];
12.50/4.78	794 -> 14[label="",style="solid", color="blue", weight=3];
12.50/4.78	795[label="< :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 795[label="",style="solid", color="blue", weight=9];
12.50/4.78	795 -> 15[label="",style="solid", color="blue", weight=3];
12.50/4.78	796[label="< :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 796[label="",style="solid", color="blue", weight=9];
12.50/4.78	796 -> 16[label="",style="solid", color="blue", weight=3];
12.50/4.78	797[label="< :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 797[label="",style="solid", color="blue", weight=9];
12.50/4.78	797 -> 17[label="",style="solid", color="blue", weight=3];
12.50/4.78	798[label="< :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 798[label="",style="solid", color="blue", weight=9];
12.50/4.78	798 -> 18[label="",style="solid", color="blue", weight=3];
12.50/4.78	8[label="showSigned0 vwx13 vwx14 vwx15 vwx16 vwx17",fontsize=16,color="burlywood",shape="triangle"];799[label="vwx16/False",fontsize=10,color="white",style="solid",shape="box"];8 -> 799[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	799 -> 19[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	800[label="vwx16/True",fontsize=10,color="white",style="solid",shape="box"];8 -> 800[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	800 -> 20[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	14[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];14 -> 21[label="",style="solid", color="black", weight=3];
12.50/4.78	15[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];15 -> 22[label="",style="solid", color="black", weight=3];
12.50/4.78	16[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];16 -> 23[label="",style="solid", color="black", weight=3];
12.50/4.78	17[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];17 -> 24[label="",style="solid", color="black", weight=3];
12.50/4.78	18[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];18 -> 25[label="",style="solid", color="black", weight=3];
12.50/4.78	19[label="showSigned0 vwx13 vwx14 vwx15 False vwx17",fontsize=16,color="black",shape="box"];19 -> 26[label="",style="solid", color="black", weight=3];
12.50/4.78	20[label="showSigned0 vwx13 vwx14 vwx15 True vwx17",fontsize=16,color="black",shape="box"];20 -> 27[label="",style="solid", color="black", weight=3];
12.50/4.78	21[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];21 -> 28[label="",style="solid", color="black", weight=3];
12.50/4.78	22[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];801[label="vwx5/Integer vwx50",fontsize=10,color="white",style="solid",shape="box"];22 -> 801[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	801 -> 29[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	23[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];23 -> 30[label="",style="solid", color="black", weight=3];
12.50/4.78	24[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];24 -> 31[label="",style="solid", color="black", weight=3];
12.50/4.78	25[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];802[label="vwx5/vwx50 :% vwx51",fontsize=10,color="white",style="solid",shape="box"];25 -> 802[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	802 -> 32[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	26[label="vwx14 vwx15 vwx17",fontsize=16,color="green",shape="box"];26 -> 33[label="",style="dashed", color="green", weight=3];
12.50/4.78	26 -> 34[label="",style="dashed", color="green", weight=3];
12.50/4.78	27 -> 35[label="",style="dashed", color="red", weight=0];
12.50/4.78	27[label="showParen (vwx13 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))) . vwx14 (`negate` vwx15)) vwx17",fontsize=16,color="magenta"];27 -> 36[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	27 -> 37[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	27 -> 38[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	27 -> 39[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	27 -> 40[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	28[label="primCmpFloat vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];803[label="vwx5/Float vwx50 vwx51",fontsize=10,color="white",style="solid",shape="box"];28 -> 803[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	803 -> 41[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	29[label="compare (Integer vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];29 -> 42[label="",style="solid", color="black", weight=3];
12.50/4.78	30[label="primCmpInt vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];804[label="vwx5/Pos vwx50",fontsize=10,color="white",style="solid",shape="box"];30 -> 804[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	804 -> 43[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	805[label="vwx5/Neg vwx50",fontsize=10,color="white",style="solid",shape="box"];30 -> 805[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	805 -> 44[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	31[label="primCmpDouble vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];806[label="vwx5/Double vwx50 vwx51",fontsize=10,color="white",style="solid",shape="box"];31 -> 806[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	806 -> 45[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	32[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];32 -> 46[label="",style="solid", color="black", weight=3];
12.50/4.78	33[label="vwx15",fontsize=16,color="green",shape="box"];34[label="vwx17",fontsize=16,color="green",shape="box"];36[label="vwx13",fontsize=16,color="green",shape="box"];37[label="vwx15",fontsize=16,color="green",shape="box"];38[label="vwx17",fontsize=16,color="green",shape="box"];39[label="vwx14",fontsize=16,color="green",shape="box"];40[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];35[label="showParen (vwx19 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) vwx23",fontsize=16,color="black",shape="triangle"];35 -> 47[label="",style="solid", color="black", weight=3];
12.50/4.78	41[label="primCmpFloat (Float vwx50 vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];807[label="vwx51/Pos vwx510",fontsize=10,color="white",style="solid",shape="box"];41 -> 807[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	807 -> 48[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	808[label="vwx51/Neg vwx510",fontsize=10,color="white",style="solid",shape="box"];41 -> 808[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	808 -> 49[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	42[label="compare (Integer vwx50) (Integer (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];42 -> 50[label="",style="solid", color="black", weight=3];
12.50/4.78	43[label="primCmpInt (Pos vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];809[label="vwx50/Succ vwx500",fontsize=10,color="white",style="solid",shape="box"];43 -> 809[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	809 -> 51[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	810[label="vwx50/Zero",fontsize=10,color="white",style="solid",shape="box"];43 -> 810[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	810 -> 52[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	44[label="primCmpInt (Neg vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];811[label="vwx50/Succ vwx500",fontsize=10,color="white",style="solid",shape="box"];44 -> 811[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	811 -> 53[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	812[label="vwx50/Zero",fontsize=10,color="white",style="solid",shape="box"];44 -> 812[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	812 -> 54[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	45[label="primCmpDouble (Double vwx50 vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];813[label="vwx51/Pos vwx510",fontsize=10,color="white",style="solid",shape="box"];45 -> 813[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	813 -> 55[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	814[label="vwx51/Neg vwx510",fontsize=10,color="white",style="solid",shape="box"];45 -> 814[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	814 -> 56[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	46[label="compare (vwx50 :% vwx51) (intToRatio (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];46 -> 57[label="",style="solid", color="black", weight=3];
12.50/4.78	47[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (vwx19 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vwx23",fontsize=16,color="black",shape="box"];47 -> 58[label="",style="solid", color="black", weight=3];
12.50/4.78	48[label="primCmpFloat (Float vwx50 (Pos vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];48 -> 59[label="",style="solid", color="black", weight=3];
12.50/4.78	49[label="primCmpFloat (Float vwx50 (Neg vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];49 -> 60[label="",style="solid", color="black", weight=3];
12.50/4.78	50[label="primCmpInt vwx50 (Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];815[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];50 -> 815[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	815 -> 61[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	816[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];50 -> 816[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	816 -> 62[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	51[label="primCmpInt (Pos (Succ vwx500)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];51 -> 63[label="",style="solid", color="black", weight=3];
12.50/4.78	52[label="primCmpInt (Pos Zero) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];52 -> 64[label="",style="solid", color="black", weight=3];
12.50/4.78	53[label="primCmpInt (Neg (Succ vwx500)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];53 -> 65[label="",style="solid", color="black", weight=3];
12.50/4.78	54[label="primCmpInt (Neg Zero) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];54 -> 66[label="",style="solid", color="black", weight=3];
12.50/4.78	55[label="primCmpDouble (Double vwx50 (Pos vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];55 -> 67[label="",style="solid", color="black", weight=3];
12.50/4.78	56[label="primCmpDouble (Double vwx50 (Neg vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];56 -> 68[label="",style="solid", color="black", weight=3];
12.50/4.78	57[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="blue",shape="box"];817[label="fromInt :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];57 -> 817[label="",style="solid", color="blue", weight=9];
12.50/4.78	817 -> 69[label="",style="solid", color="blue", weight=3];
12.50/4.78	818[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];57 -> 818[label="",style="solid", color="blue", weight=9];
12.50/4.78	818 -> 70[label="",style="solid", color="blue", weight=3];
12.50/4.78	58[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (compare vwx19 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];58 -> 71[label="",style="solid", color="black", weight=3];
12.50/4.78	59[label="primCmpFloat (Float vwx50 (Pos vwx510)) (primIntToFloat (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];59 -> 72[label="",style="solid", color="black", weight=3];
12.50/4.78	60[label="primCmpFloat (Float vwx50 (Neg vwx510)) (primIntToFloat (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];60 -> 73[label="",style="solid", color="black", weight=3];
12.50/4.78	61[label="primCmpInt (Pos vwx500) (Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];819[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];61 -> 819[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	819 -> 74[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	820[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];61 -> 820[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	820 -> 75[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	62[label="primCmpInt (Neg vwx500) (Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];821[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];62 -> 821[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	821 -> 76[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	822[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];62 -> 822[label="",style="solid", color="burlywood", weight=9];
12.50/4.78	822 -> 77[label="",style="solid", color="burlywood", weight=3];
12.50/4.78	63 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.78	63[label="primCmpInt (Pos (Succ vwx500)) (Pos Zero) == LT",fontsize=16,color="magenta"];63 -> 78[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	64 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.78	64[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];64 -> 79[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	65 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.78	65[label="primCmpInt (Neg (Succ vwx500)) (Pos Zero) == LT",fontsize=16,color="magenta"];65 -> 80[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	66 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.78	66[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];66 -> 81[label="",style="dashed", color="magenta", weight=3];
12.50/4.78	67[label="primCmpDouble (Double vwx50 (Pos vwx510)) (primIntToDouble (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];67 -> 82[label="",style="solid", color="black", weight=3];
12.50/4.78	68[label="primCmpDouble (Double vwx50 (Neg vwx510)) (primIntToDouble (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];68 -> 83[label="",style="solid", color="black", weight=3];
12.50/4.78	69[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];69 -> 84[label="",style="solid", color="black", weight=3];
12.50/4.78	70[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];70 -> 85[label="",style="solid", color="black", weight=3];
12.50/4.78	71[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt vwx19 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];823[label="vwx19/Pos vwx190",fontsize=10,color="white",style="solid",shape="box"];71 -> 823[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	823 -> 86[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	824[label="vwx19/Neg vwx190",fontsize=10,color="white",style="solid",shape="box"];71 -> 824[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	824 -> 87[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	72[label="primCmpFloat (Float vwx50 (Pos vwx510)) (Float (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];72 -> 88[label="",style="solid", color="black", weight=3];
12.50/4.79	73[label="primCmpFloat (Float vwx50 (Neg vwx510)) (Float (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];73 -> 89[label="",style="solid", color="black", weight=3];
12.50/4.79	74[label="primCmpInt (Pos (Succ vwx5000)) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];74 -> 90[label="",style="solid", color="black", weight=3];
12.50/4.79	75[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];75 -> 91[label="",style="solid", color="black", weight=3];
12.50/4.79	76[label="primCmpInt (Neg (Succ vwx5000)) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];76 -> 92[label="",style="solid", color="black", weight=3];
12.50/4.79	77[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];77 -> 93[label="",style="solid", color="black", weight=3];
12.50/4.79	78[label="Pos (Succ vwx500)",fontsize=16,color="green",shape="box"];79[label="Pos Zero",fontsize=16,color="green",shape="box"];80[label="Neg (Succ vwx500)",fontsize=16,color="green",shape="box"];81[label="Neg Zero",fontsize=16,color="green",shape="box"];82[label="primCmpDouble (Double vwx50 (Pos vwx510)) (Double (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];82 -> 94[label="",style="solid", color="black", weight=3];
12.50/4.79	83[label="primCmpDouble (Double vwx50 (Neg vwx510)) (Double (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];83 -> 95[label="",style="solid", color="black", weight=3];
12.50/4.79	84[label="compare (vwx50 :% vwx51) (Integer (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];84 -> 96[label="",style="solid", color="black", weight=3];
12.50/4.79	85[label="compare (vwx50 :% vwx51) (Pos Zero :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];85 -> 97[label="",style="solid", color="black", weight=3];
12.50/4.79	86[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos vwx190) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];825[label="vwx190/Succ vwx1900",fontsize=10,color="white",style="solid",shape="box"];86 -> 825[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	825 -> 98[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	826[label="vwx190/Zero",fontsize=10,color="white",style="solid",shape="box"];86 -> 826[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	826 -> 99[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	87[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg vwx190) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];827[label="vwx190/Succ vwx1900",fontsize=10,color="white",style="solid",shape="box"];87 -> 827[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	827 -> 100[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	828[label="vwx190/Zero",fontsize=10,color="white",style="solid",shape="box"];87 -> 828[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	828 -> 101[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	88[label="compare (vwx50 * Pos (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="triangle"];88 -> 102[label="",style="solid", color="black", weight=3];
12.50/4.79	89[label="compare (vwx50 * Neg (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="triangle"];89 -> 103[label="",style="solid", color="black", weight=3];
12.50/4.79	90[label="primCmpNat (Succ vwx5000) Zero == LT",fontsize=16,color="black",shape="triangle"];90 -> 104[label="",style="solid", color="black", weight=3];
12.50/4.79	91[label="EQ == LT",fontsize=16,color="black",shape="triangle"];91 -> 105[label="",style="solid", color="black", weight=3];
12.50/4.79	92[label="LT == LT",fontsize=16,color="black",shape="triangle"];92 -> 106[label="",style="solid", color="black", weight=3];
12.50/4.79	93 -> 91[label="",style="dashed", color="red", weight=0];
12.50/4.79	93[label="EQ == LT",fontsize=16,color="magenta"];94 -> 88[label="",style="dashed", color="red", weight=0];
12.50/4.79	94[label="compare (vwx50 * Pos (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];94 -> 107[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	94 -> 108[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	95 -> 89[label="",style="dashed", color="red", weight=0];
12.50/4.79	95[label="compare (vwx50 * Neg (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];95 -> 109[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	95 -> 110[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	96[label="compare (vwx50 :% vwx51) (Integer (Pos Zero) :% Integer (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];96 -> 111[label="",style="solid", color="black", weight=3];
12.50/4.79	97[label="compare (vwx50 :% vwx51) (Pos Zero :% Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];97 -> 112[label="",style="solid", color="black", weight=3];
12.50/4.79	98[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos (Succ vwx1900)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];98 -> 113[label="",style="solid", color="black", weight=3];
12.50/4.79	99[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];99 -> 114[label="",style="solid", color="black", weight=3];
12.50/4.79	100[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg (Succ vwx1900)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];100 -> 115[label="",style="solid", color="black", weight=3];
12.50/4.79	101[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];101 -> 116[label="",style="solid", color="black", weight=3];
12.50/4.79	102[label="primCmpInt (vwx50 * Pos (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];102 -> 117[label="",style="solid", color="black", weight=3];
12.50/4.79	103[label="primCmpInt (vwx50 * Neg (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];103 -> 118[label="",style="solid", color="black", weight=3];
12.50/4.79	104[label="GT == LT",fontsize=16,color="black",shape="triangle"];104 -> 119[label="",style="solid", color="black", weight=3];
12.50/4.79	105[label="False",fontsize=16,color="green",shape="box"];106[label="True",fontsize=16,color="green",shape="box"];107[label="vwx50",fontsize=16,color="green",shape="box"];108[label="vwx510",fontsize=16,color="green",shape="box"];109[label="vwx50",fontsize=16,color="green",shape="box"];110[label="vwx510",fontsize=16,color="green",shape="box"];111[label="compare (vwx50 * Integer (Pos (Succ Zero))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];829[label="vwx50/Integer vwx500",fontsize=10,color="white",style="solid",shape="box"];111 -> 829[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	829 -> 120[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	112[label="compare (vwx50 * Pos (Succ Zero)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];112 -> 121[label="",style="solid", color="black", weight=3];
12.50/4.79	113[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vwx23",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3];
12.50/4.79	114[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vwx23",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3];
12.50/4.79	115[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="black",shape="triangle"];115 -> 124[label="",style="solid", color="black", weight=3];
12.50/4.79	116 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	116[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];117[label="primCmpInt (primMulInt vwx50 (Pos (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];830[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];117 -> 830[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	830 -> 125[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	831[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];117 -> 831[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	831 -> 126[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	118[label="primCmpInt (primMulInt vwx50 (Neg (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];832[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];118 -> 832[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	832 -> 127[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	833[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];118 -> 833[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	833 -> 128[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	119[label="False",fontsize=16,color="green",shape="box"];120[label="compare (Integer vwx500 * Integer (Pos (Succ Zero))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="black",shape="box"];120 -> 129[label="",style="solid", color="black", weight=3];
12.50/4.79	121[label="primCmpInt (vwx50 * Pos (Succ Zero)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];121 -> 130[label="",style="solid", color="black", weight=3];
12.50/4.79	122[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx1900 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];834[label="vwx1900/Succ vwx19000",fontsize=10,color="white",style="solid",shape="box"];122 -> 834[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	834 -> 131[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	835[label="vwx1900/Zero",fontsize=10,color="white",style="solid",shape="box"];122 -> 835[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	835 -> 132[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	123 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	123[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];124[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) False vwx23",fontsize=16,color="black",shape="triangle"];124 -> 133[label="",style="solid", color="black", weight=3];
12.50/4.79	125[label="primCmpInt (primMulInt (Pos vwx500) (Pos (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];125 -> 134[label="",style="solid", color="black", weight=3];
12.50/4.79	126[label="primCmpInt (primMulInt (Neg vwx500) (Pos (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];126 -> 135[label="",style="solid", color="black", weight=3];
12.50/4.79	127[label="primCmpInt (primMulInt (Pos vwx500) (Neg (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];127 -> 136[label="",style="solid", color="black", weight=3];
12.50/4.79	128[label="primCmpInt (primMulInt (Neg vwx500) (Neg (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3];
12.50/4.79	129[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];836[label="vwx51/Integer vwx510",fontsize=10,color="white",style="solid",shape="box"];129 -> 836[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	836 -> 138[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	130[label="primCmpInt (primMulInt vwx50 (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];837[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];130 -> 837[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	837 -> 139[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	838[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];130 -> 838[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	838 -> 140[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	131[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx19000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23",fontsize=16,color="black",shape="box"];131 -> 141[label="",style="solid", color="black", weight=3];
12.50/4.79	132[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3];
12.50/4.79	133[label="(showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)",fontsize=16,color="black",shape="triangle"];133 -> 143[label="",style="solid", color="black", weight=3];
12.50/4.79	134[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];839[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];134 -> 839[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	839 -> 144[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	840[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];134 -> 840[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	840 -> 145[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	135[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];841[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];135 -> 841[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	841 -> 146[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	842[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];135 -> 842[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	842 -> 147[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	136 -> 135[label="",style="dashed", color="red", weight=0];
12.50/4.79	136[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];136 -> 148[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	136 -> 149[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	137 -> 134[label="",style="dashed", color="red", weight=0];
12.50/4.79	137[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];137 -> 150[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	137 -> 151[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	138[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (Pos Zero) * Integer vwx510) == LT",fontsize=16,color="black",shape="box"];138 -> 152[label="",style="solid", color="black", weight=3];
12.50/4.79	139[label="primCmpInt (primMulInt (Pos vwx500) (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];139 -> 153[label="",style="solid", color="black", weight=3];
12.50/4.79	140[label="primCmpInt (primMulInt (Neg vwx500) (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];140 -> 154[label="",style="solid", color="black", weight=3];
12.50/4.79	141[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx19000 (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];843[label="vwx19000/Succ vwx190000",fontsize=10,color="white",style="solid",shape="box"];141 -> 843[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	843 -> 155[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	844[label="vwx19000/Zero",fontsize=10,color="white",style="solid",shape="box"];141 -> 844[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	844 -> 156[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	142 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	142[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];143[label="showChar (Char (Succ vwx20)) (vwx21 (`negate` vwx22) vwx23)",fontsize=16,color="black",shape="box"];143 -> 157[label="",style="solid", color="black", weight=3];
12.50/4.79	144[label="primCmpInt (Pos (primMulNat (Succ vwx5000) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];144 -> 158[label="",style="solid", color="black", weight=3];
12.50/4.79	145[label="primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];145 -> 159[label="",style="solid", color="black", weight=3];
12.50/4.79	146[label="primCmpInt (Neg (primMulNat (Succ vwx5000) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];146 -> 160[label="",style="solid", color="black", weight=3];
12.50/4.79	147[label="primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];147 -> 161[label="",style="solid", color="black", weight=3];
12.50/4.79	148[label="vwx510",fontsize=16,color="green",shape="box"];149[label="vwx500",fontsize=16,color="green",shape="box"];150[label="vwx510",fontsize=16,color="green",shape="box"];151[label="vwx500",fontsize=16,color="green",shape="box"];152[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (primMulInt (Pos Zero) vwx510)) == LT",fontsize=16,color="black",shape="box"];152 -> 162[label="",style="solid", color="black", weight=3];
12.50/4.79	153 -> 633[label="",style="dashed", color="red", weight=0];
12.50/4.79	153[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="magenta"];153 -> 634[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	154 -> 675[label="",style="dashed", color="red", weight=0];
12.50/4.79	154[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="magenta"];154 -> 676[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	155[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx190000) (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23",fontsize=16,color="black",shape="box"];155 -> 167[label="",style="solid", color="black", weight=3];
12.50/4.79	156[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23",fontsize=16,color="black",shape="box"];156 -> 168[label="",style="solid", color="black", weight=3];
12.50/4.79	157[label="(:) Char (Succ vwx20) vwx21 (`negate` vwx22) vwx23",fontsize=16,color="green",shape="box"];157 -> 169[label="",style="dashed", color="green", weight=3];
12.50/4.79	158 -> 480[label="",style="dashed", color="red", weight=0];
12.50/4.79	158[label="primCmpInt (Pos (primPlusNat (primMulNat vwx5000 (Succ Zero)) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];158 -> 481[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	158 -> 482[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	159[label="primCmpInt (Pos Zero) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];159 -> 172[label="",style="solid", color="black", weight=3];
12.50/4.79	160 -> 523[label="",style="dashed", color="red", weight=0];
12.50/4.79	160[label="primCmpInt (Neg (primPlusNat (primMulNat vwx5000 (Succ Zero)) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];160 -> 524[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	160 -> 525[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	161[label="primCmpInt (Neg Zero) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];161 -> 175[label="",style="solid", color="black", weight=3];
12.50/4.79	162[label="primCmpInt (primMulInt vwx500 (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];845[label="vwx500/Pos vwx5000",fontsize=10,color="white",style="solid",shape="box"];162 -> 845[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	845 -> 176[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	846[label="vwx500/Neg vwx5000",fontsize=10,color="white",style="solid",shape="box"];162 -> 846[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	846 -> 177[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	634 -> 481[label="",style="dashed", color="red", weight=0];
12.50/4.79	634[label="primMulNat vwx500 (Succ Zero)",fontsize=16,color="magenta"];634 -> 654[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	633[label="primCmpInt (Pos vwx46) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="triangle"];847[label="vwx46/Succ vwx460",fontsize=10,color="white",style="solid",shape="box"];633 -> 847[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	847 -> 655[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	848[label="vwx46/Zero",fontsize=10,color="white",style="solid",shape="box"];633 -> 848[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	848 -> 656[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	676 -> 481[label="",style="dashed", color="red", weight=0];
12.50/4.79	676[label="primMulNat vwx500 (Succ Zero)",fontsize=16,color="magenta"];676 -> 696[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	675[label="primCmpInt (Neg vwx49) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="triangle"];849[label="vwx49/Succ vwx490",fontsize=10,color="white",style="solid",shape="box"];675 -> 849[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	849 -> 697[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	850[label="vwx49/Zero",fontsize=10,color="white",style="solid",shape="box"];675 -> 850[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	850 -> 698[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	167[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx190000 (Succ (Succ (Succ Zero))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];851[label="vwx190000/Succ vwx1900000",fontsize=10,color="white",style="solid",shape="box"];167 -> 851[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	851 -> 182[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	852[label="vwx190000/Zero",fontsize=10,color="white",style="solid",shape="box"];167 -> 852[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	852 -> 183[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	168 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	168[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];169[label="vwx21 (`negate` vwx22) vwx23",fontsize=16,color="green",shape="box"];169 -> 184[label="",style="dashed", color="green", weight=3];
12.50/4.79	169 -> 185[label="",style="dashed", color="green", weight=3];
12.50/4.79	481[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];853[label="vwx5000/Succ vwx50000",fontsize=10,color="white",style="solid",shape="box"];481 -> 853[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	853 -> 513[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	854[label="vwx5000/Zero",fontsize=10,color="white",style="solid",shape="box"];481 -> 854[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	854 -> 514[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	482[label="vwx510",fontsize=16,color="green",shape="box"];480[label="primCmpInt (Pos (primPlusNat vwx29 (Succ Zero))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];855[label="vwx29/Succ vwx290",fontsize=10,color="white",style="solid",shape="box"];480 -> 855[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	855 -> 515[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	856[label="vwx29/Zero",fontsize=10,color="white",style="solid",shape="box"];480 -> 856[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	856 -> 516[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	172[label="primCmpInt (Pos Zero) (primMulInt (Pos vwx510) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];172 -> 188[label="",style="solid", color="black", weight=3];
12.50/4.79	524 -> 481[label="",style="dashed", color="red", weight=0];
12.50/4.79	524[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];524 -> 558[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	525[label="vwx510",fontsize=16,color="green",shape="box"];523[label="primCmpInt (Neg (primPlusNat vwx33 (Succ Zero))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];857[label="vwx33/Succ vwx330",fontsize=10,color="white",style="solid",shape="box"];523 -> 857[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	857 -> 559[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	858[label="vwx33/Zero",fontsize=10,color="white",style="solid",shape="box"];523 -> 858[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	858 -> 560[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	175[label="primCmpInt (Neg Zero) (primMulInt (Pos vwx510) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];175 -> 191[label="",style="solid", color="black", weight=3];
12.50/4.79	176[label="primCmpInt (primMulInt (Pos vwx5000) (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="black",shape="box"];176 -> 192[label="",style="solid", color="black", weight=3];
12.50/4.79	177[label="primCmpInt (primMulInt (Neg vwx5000) (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="black",shape="box"];177 -> 193[label="",style="solid", color="black", weight=3];
12.50/4.79	654[label="vwx500",fontsize=16,color="green",shape="box"];655[label="primCmpInt (Pos (Succ vwx460)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];655 -> 699[label="",style="solid", color="black", weight=3];
12.50/4.79	656[label="primCmpInt (Pos Zero) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];656 -> 700[label="",style="solid", color="black", weight=3];
12.50/4.79	696[label="vwx500",fontsize=16,color="green",shape="box"];697[label="primCmpInt (Neg (Succ vwx490)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];697 -> 723[label="",style="solid", color="black", weight=3];
12.50/4.79	698[label="primCmpInt (Neg Zero) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];698 -> 724[label="",style="solid", color="black", weight=3];
12.50/4.79	182[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900000) (Succ (Succ (Succ Zero))) == GT) vwx23",fontsize=16,color="black",shape="box"];182 -> 200[label="",style="solid", color="black", weight=3];
12.50/4.79	183[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vwx23",fontsize=16,color="black",shape="box"];183 -> 201[label="",style="solid", color="black", weight=3];
12.50/4.79	184[label="`negate` vwx22",fontsize=16,color="blue",shape="box"];859[label="negate :: Float -> Float",fontsize=10,color="white",style="solid",shape="box"];184 -> 859[label="",style="solid", color="blue", weight=9];
12.50/4.79	859 -> 202[label="",style="solid", color="blue", weight=3];
12.50/4.79	860[label="negate :: (Ratio a) -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];184 -> 860[label="",style="solid", color="blue", weight=9];
12.50/4.79	860 -> 203[label="",style="solid", color="blue", weight=3];
12.50/4.79	861[label="negate :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];184 -> 861[label="",style="solid", color="blue", weight=9];
12.50/4.79	861 -> 204[label="",style="solid", color="blue", weight=3];
12.50/4.79	862[label="negate :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];184 -> 862[label="",style="solid", color="blue", weight=9];
12.50/4.79	862 -> 205[label="",style="solid", color="blue", weight=3];
12.50/4.79	863[label="negate :: Double -> Double",fontsize=10,color="white",style="solid",shape="box"];184 -> 863[label="",style="solid", color="blue", weight=9];
12.50/4.79	863 -> 206[label="",style="solid", color="blue", weight=3];
12.50/4.79	185[label="vwx23",fontsize=16,color="green",shape="box"];513[label="primMulNat (Succ vwx50000) (Succ Zero)",fontsize=16,color="black",shape="box"];513 -> 519[label="",style="solid", color="black", weight=3];
12.50/4.79	514[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];514 -> 520[label="",style="solid", color="black", weight=3];
12.50/4.79	515[label="primCmpInt (Pos (primPlusNat (Succ vwx290) (Succ Zero))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];515 -> 521[label="",style="solid", color="black", weight=3];
12.50/4.79	516[label="primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];516 -> 522[label="",style="solid", color="black", weight=3];
12.50/4.79	188[label="primCmpInt (Pos Zero) (Pos (primMulNat vwx510 Zero)) == LT",fontsize=16,color="burlywood",shape="box"];864[label="vwx510/Succ vwx5100",fontsize=10,color="white",style="solid",shape="box"];188 -> 864[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	864 -> 210[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	865[label="vwx510/Zero",fontsize=10,color="white",style="solid",shape="box"];188 -> 865[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	865 -> 211[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	558[label="vwx5000",fontsize=16,color="green",shape="box"];559[label="primCmpInt (Neg (primPlusNat (Succ vwx330) (Succ Zero))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];559 -> 563[label="",style="solid", color="black", weight=3];
12.50/4.79	560[label="primCmpInt (Neg (primPlusNat Zero (Succ Zero))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];560 -> 564[label="",style="solid", color="black", weight=3];
12.50/4.79	191[label="primCmpInt (Neg Zero) (Pos (primMulNat vwx510 Zero)) == LT",fontsize=16,color="burlywood",shape="box"];866[label="vwx510/Succ vwx5100",fontsize=10,color="white",style="solid",shape="box"];191 -> 866[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	866 -> 215[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	867[label="vwx510/Zero",fontsize=10,color="white",style="solid",shape="box"];191 -> 867[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	867 -> 216[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	192 -> 570[label="",style="dashed", color="red", weight=0];
12.50/4.79	192[label="primCmpInt (Pos (primMulNat vwx5000 (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="magenta"];192 -> 571[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	193 -> 599[label="",style="dashed", color="red", weight=0];
12.50/4.79	193[label="primCmpInt (Neg (primMulNat vwx5000 (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="magenta"];193 -> 600[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	699 -> 570[label="",style="dashed", color="red", weight=0];
12.50/4.79	699[label="primCmpInt (Pos (Succ vwx460)) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];699 -> 725[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	699 -> 726[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	700 -> 570[label="",style="dashed", color="red", weight=0];
12.50/4.79	700[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];700 -> 727[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	700 -> 728[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	723 -> 599[label="",style="dashed", color="red", weight=0];
12.50/4.79	723[label="primCmpInt (Neg (Succ vwx490)) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];723 -> 758[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	723 -> 759[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	724 -> 599[label="",style="dashed", color="red", weight=0];
12.50/4.79	724[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];724 -> 760[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	724 -> 761[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	200[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx1900000 (Succ (Succ Zero)) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];868[label="vwx1900000/Succ vwx19000000",fontsize=10,color="white",style="solid",shape="box"];200 -> 868[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	868 -> 229[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	869[label="vwx1900000/Zero",fontsize=10,color="white",style="solid",shape="box"];200 -> 869[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	869 -> 230[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	201 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	201[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];202[label="`negate` vwx22",fontsize=16,color="black",shape="box"];202 -> 231[label="",style="solid", color="black", weight=3];
12.50/4.79	203[label="`negate` vwx22",fontsize=16,color="burlywood",shape="box"];870[label="vwx22/vwx220 :% vwx221",fontsize=10,color="white",style="solid",shape="box"];203 -> 870[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	870 -> 232[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	204[label="`negate` vwx22",fontsize=16,color="burlywood",shape="triangle"];871[label="vwx22/Integer vwx220",fontsize=10,color="white",style="solid",shape="box"];204 -> 871[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	871 -> 233[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	205[label="`negate` vwx22",fontsize=16,color="black",shape="triangle"];205 -> 234[label="",style="solid", color="black", weight=3];
12.50/4.79	206[label="`negate` vwx22",fontsize=16,color="black",shape="box"];206 -> 235[label="",style="solid", color="black", weight=3];
12.50/4.79	519 -> 561[label="",style="dashed", color="red", weight=0];
12.50/4.79	519[label="primPlusNat (primMulNat vwx50000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];519 -> 562[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	520[label="Zero",fontsize=16,color="green",shape="box"];521[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx290 Zero)))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];521 -> 565[label="",style="solid", color="black", weight=3];
12.50/4.79	522[label="primCmpInt (Pos (Succ Zero)) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];522 -> 566[label="",style="solid", color="black", weight=3];
12.50/4.79	210[label="primCmpInt (Pos Zero) (Pos (primMulNat (Succ vwx5100) Zero)) == LT",fontsize=16,color="black",shape="box"];210 -> 239[label="",style="solid", color="black", weight=3];
12.50/4.79	211[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];211 -> 240[label="",style="solid", color="black", weight=3];
12.50/4.79	563[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx330 Zero)))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];563 -> 589[label="",style="solid", color="black", weight=3];
12.50/4.79	564[label="primCmpInt (Neg (Succ Zero)) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];564 -> 590[label="",style="solid", color="black", weight=3];
12.50/4.79	215[label="primCmpInt (Neg Zero) (Pos (primMulNat (Succ vwx5100) Zero)) == LT",fontsize=16,color="black",shape="box"];215 -> 244[label="",style="solid", color="black", weight=3];
12.50/4.79	216[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];216 -> 245[label="",style="solid", color="black", weight=3];
12.50/4.79	571 -> 481[label="",style="dashed", color="red", weight=0];
12.50/4.79	571[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];571 -> 591[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	570[label="primCmpInt (Pos vwx36) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="triangle"];872[label="vwx36/Succ vwx360",fontsize=10,color="white",style="solid",shape="box"];570 -> 872[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	872 -> 592[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	873[label="vwx36/Zero",fontsize=10,color="white",style="solid",shape="box"];570 -> 873[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	873 -> 593[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	600 -> 481[label="",style="dashed", color="red", weight=0];
12.50/4.79	600[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];600 -> 618[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	599[label="primCmpInt (Neg vwx41) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="triangle"];874[label="vwx41/Succ vwx410",fontsize=10,color="white",style="solid",shape="box"];599 -> 874[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	874 -> 619[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	875[label="vwx41/Zero",fontsize=10,color="white",style="solid",shape="box"];599 -> 875[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	875 -> 620[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	725[label="vwx51",fontsize=16,color="green",shape="box"];726[label="Succ vwx460",fontsize=16,color="green",shape="box"];727[label="vwx51",fontsize=16,color="green",shape="box"];728[label="Zero",fontsize=16,color="green",shape="box"];758[label="Succ vwx490",fontsize=16,color="green",shape="box"];759[label="vwx51",fontsize=16,color="green",shape="box"];760[label="Zero",fontsize=16,color="green",shape="box"];761[label="vwx51",fontsize=16,color="green",shape="box"];229[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx19000000) (Succ (Succ Zero)) == GT) vwx23",fontsize=16,color="black",shape="box"];229 -> 260[label="",style="solid", color="black", weight=3];
12.50/4.79	230[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ Zero)) == GT) vwx23",fontsize=16,color="black",shape="box"];230 -> 261[label="",style="solid", color="black", weight=3];
12.50/4.79	231[label="primNegFloat vwx22",fontsize=16,color="burlywood",shape="box"];876[label="vwx22/Float vwx220 vwx221",fontsize=10,color="white",style="solid",shape="box"];231 -> 876[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	876 -> 262[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	232[label="`negate` vwx220 :% vwx221",fontsize=16,color="black",shape="box"];232 -> 263[label="",style="solid", color="black", weight=3];
12.50/4.79	233[label="`negate` Integer vwx220",fontsize=16,color="black",shape="box"];233 -> 264[label="",style="solid", color="black", weight=3];
12.50/4.79	234[label="primNegInt vwx22",fontsize=16,color="burlywood",shape="triangle"];877[label="vwx22/Pos vwx220",fontsize=10,color="white",style="solid",shape="box"];234 -> 877[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	877 -> 265[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	878[label="vwx22/Neg vwx220",fontsize=10,color="white",style="solid",shape="box"];234 -> 878[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	878 -> 266[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	235[label="primNegDouble vwx22",fontsize=16,color="burlywood",shape="box"];879[label="vwx22/Double vwx220 vwx221",fontsize=10,color="white",style="solid",shape="box"];235 -> 879[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	879 -> 267[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	562 -> 481[label="",style="dashed", color="red", weight=0];
12.50/4.79	562[label="primMulNat vwx50000 (Succ Zero)",fontsize=16,color="magenta"];562 -> 567[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	561[label="primPlusNat vwx35 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];880[label="vwx35/Succ vwx350",fontsize=10,color="white",style="solid",shape="box"];561 -> 880[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	880 -> 568[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	881[label="vwx35/Zero",fontsize=10,color="white",style="solid",shape="box"];561 -> 881[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	881 -> 569[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	565[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx290 Zero)))) (primMulInt (Pos vwx30) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];565 -> 594[label="",style="solid", color="black", weight=3];
12.50/4.79	566[label="primCmpInt (Pos (Succ Zero)) (primMulInt (Pos vwx30) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];566 -> 595[label="",style="solid", color="black", weight=3];
12.50/4.79	239 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	239[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];239 -> 272[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	240 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	240[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];240 -> 273[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	589[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx330 Zero)))) (primMulInt (Pos vwx34) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];589 -> 621[label="",style="solid", color="black", weight=3];
12.50/4.79	590[label="primCmpInt (Neg (Succ Zero)) (primMulInt (Pos vwx34) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];590 -> 622[label="",style="solid", color="black", weight=3];
12.50/4.79	244 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	244[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];244 -> 278[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	245 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	245[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];245 -> 279[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	591[label="vwx5000",fontsize=16,color="green",shape="box"];592[label="primCmpInt (Pos (Succ vwx360)) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];882[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];592 -> 882[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	882 -> 623[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	883[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];592 -> 883[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	883 -> 624[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	593[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];884[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];593 -> 884[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	884 -> 625[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	885[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];593 -> 885[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	885 -> 626[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	618[label="vwx5000",fontsize=16,color="green",shape="box"];619[label="primCmpInt (Neg (Succ vwx410)) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];886[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];619 -> 886[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	886 -> 657[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	887[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];619 -> 887[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	887 -> 658[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	620[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];888[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];620 -> 888[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	888 -> 659[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	889[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];620 -> 889[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	889 -> 660[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	260[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx19000000 (Succ Zero) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];890[label="vwx19000000/Succ vwx190000000",fontsize=10,color="white",style="solid",shape="box"];260 -> 890[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	890 -> 300[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	891[label="vwx19000000/Zero",fontsize=10,color="white",style="solid",shape="box"];260 -> 891[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	891 -> 301[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	261 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	261[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];262[label="primNegFloat (Float vwx220 vwx221)",fontsize=16,color="black",shape="box"];262 -> 302[label="",style="solid", color="black", weight=3];
12.50/4.79	263[label="(negate vwx220) :% vwx221",fontsize=16,color="green",shape="box"];263 -> 303[label="",style="dashed", color="green", weight=3];
12.50/4.79	264[label="Integer (primNegInt vwx220)",fontsize=16,color="green",shape="box"];264 -> 304[label="",style="dashed", color="green", weight=3];
12.50/4.79	265[label="primNegInt (Pos vwx220)",fontsize=16,color="black",shape="box"];265 -> 305[label="",style="solid", color="black", weight=3];
12.50/4.79	266[label="primNegInt (Neg vwx220)",fontsize=16,color="black",shape="box"];266 -> 306[label="",style="solid", color="black", weight=3];
12.50/4.79	267[label="primNegDouble (Double vwx220 vwx221)",fontsize=16,color="black",shape="box"];267 -> 307[label="",style="solid", color="black", weight=3];
12.50/4.79	567[label="vwx50000",fontsize=16,color="green",shape="box"];568[label="primPlusNat (Succ vwx350) (Succ Zero)",fontsize=16,color="black",shape="box"];568 -> 596[label="",style="solid", color="black", weight=3];
12.50/4.79	569[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];569 -> 597[label="",style="solid", color="black", weight=3];
12.50/4.79	594[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx290 Zero)))) (Pos (primMulNat vwx30 Zero)) == LT",fontsize=16,color="black",shape="box"];594 -> 627[label="",style="solid", color="black", weight=3];
12.50/4.79	595[label="primCmpInt (Pos (Succ Zero)) (Pos (primMulNat vwx30 Zero)) == LT",fontsize=16,color="black",shape="box"];595 -> 628[label="",style="solid", color="black", weight=3];
12.50/4.79	272[label="Pos Zero",fontsize=16,color="green",shape="box"];273[label="Pos Zero",fontsize=16,color="green",shape="box"];621[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx330 Zero)))) (Pos (primMulNat vwx34 Zero)) == LT",fontsize=16,color="black",shape="box"];621 -> 661[label="",style="solid", color="black", weight=3];
12.50/4.79	622[label="primCmpInt (Neg (Succ Zero)) (Pos (primMulNat vwx34 Zero)) == LT",fontsize=16,color="black",shape="box"];622 -> 662[label="",style="solid", color="black", weight=3];
12.50/4.79	278[label="Neg Zero",fontsize=16,color="green",shape="box"];279[label="Neg Zero",fontsize=16,color="green",shape="box"];623[label="primCmpInt (Pos (Succ vwx360)) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];623 -> 663[label="",style="solid", color="black", weight=3];
12.50/4.79	624[label="primCmpInt (Pos (Succ vwx360)) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];624 -> 664[label="",style="solid", color="black", weight=3];
12.50/4.79	625[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];625 -> 665[label="",style="solid", color="black", weight=3];
12.50/4.79	626[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];626 -> 666[label="",style="solid", color="black", weight=3];
12.50/4.79	657[label="primCmpInt (Neg (Succ vwx410)) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];657 -> 701[label="",style="solid", color="black", weight=3];
12.50/4.79	658[label="primCmpInt (Neg (Succ vwx410)) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];658 -> 702[label="",style="solid", color="black", weight=3];
12.50/4.79	659[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];659 -> 703[label="",style="solid", color="black", weight=3];
12.50/4.79	660[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];660 -> 704[label="",style="solid", color="black", weight=3];
12.50/4.79	300[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx190000000) (Succ Zero) == GT) vwx23",fontsize=16,color="black",shape="box"];300 -> 338[label="",style="solid", color="black", weight=3];
12.50/4.79	301[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ Zero) == GT) vwx23",fontsize=16,color="black",shape="box"];301 -> 339[label="",style="solid", color="black", weight=3];
12.50/4.79	302[label="Float (`negate` vwx220) vwx221",fontsize=16,color="green",shape="box"];302 -> 340[label="",style="dashed", color="green", weight=3];
12.50/4.79	303[label="negate vwx220",fontsize=16,color="blue",shape="box"];892[label="negate :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];303 -> 892[label="",style="solid", color="blue", weight=9];
12.50/4.79	892 -> 341[label="",style="solid", color="blue", weight=3];
12.50/4.79	893[label="negate :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];303 -> 893[label="",style="solid", color="blue", weight=9];
12.50/4.79	893 -> 342[label="",style="solid", color="blue", weight=3];
12.50/4.79	304 -> 234[label="",style="dashed", color="red", weight=0];
12.50/4.79	304[label="primNegInt vwx220",fontsize=16,color="magenta"];304 -> 343[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	305[label="Neg vwx220",fontsize=16,color="green",shape="box"];306[label="Pos vwx220",fontsize=16,color="green",shape="box"];307[label="Double (`negate` vwx220) vwx221",fontsize=16,color="green",shape="box"];307 -> 344[label="",style="dashed", color="green", weight=3];
12.50/4.79	596[label="Succ (Succ (primPlusNat vwx350 Zero))",fontsize=16,color="green",shape="box"];596 -> 629[label="",style="dashed", color="green", weight=3];
12.50/4.79	597[label="Succ Zero",fontsize=16,color="green",shape="box"];627[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) (primMulNat vwx30 Zero) == LT",fontsize=16,color="burlywood",shape="box"];894[label="vwx30/Succ vwx300",fontsize=10,color="white",style="solid",shape="box"];627 -> 894[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	894 -> 667[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	895[label="vwx30/Zero",fontsize=10,color="white",style="solid",shape="box"];627 -> 895[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	895 -> 668[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	628[label="primCmpNat (Succ Zero) (primMulNat vwx30 Zero) == LT",fontsize=16,color="burlywood",shape="box"];896[label="vwx30/Succ vwx300",fontsize=10,color="white",style="solid",shape="box"];628 -> 896[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	896 -> 669[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	897[label="vwx30/Zero",fontsize=10,color="white",style="solid",shape="box"];628 -> 897[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	897 -> 670[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	661 -> 92[label="",style="dashed", color="red", weight=0];
12.50/4.79	661[label="LT == LT",fontsize=16,color="magenta"];662 -> 92[label="",style="dashed", color="red", weight=0];
12.50/4.79	662[label="LT == LT",fontsize=16,color="magenta"];663[label="primCmpInt (Pos (Succ vwx360)) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];663 -> 705[label="",style="solid", color="black", weight=3];
12.50/4.79	664[label="primCmpInt (Pos (Succ vwx360)) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];664 -> 706[label="",style="solid", color="black", weight=3];
12.50/4.79	665[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];898[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];665 -> 898[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	898 -> 707[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	899[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];665 -> 899[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	899 -> 708[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	666[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];900[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];666 -> 900[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	900 -> 709[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	901[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];666 -> 901[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	901 -> 710[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	701[label="primCmpInt (Neg (Succ vwx410)) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];701 -> 729[label="",style="solid", color="black", weight=3];
12.50/4.79	702[label="primCmpInt (Neg (Succ vwx410)) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];702 -> 730[label="",style="solid", color="black", weight=3];
12.50/4.79	703[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];902[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];703 -> 902[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	902 -> 731[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	903[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];703 -> 903[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	903 -> 732[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	704[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];904[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];704 -> 904[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	904 -> 733[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	905[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];704 -> 905[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	905 -> 734[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	338[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx190000000 Zero == GT) vwx23",fontsize=16,color="burlywood",shape="box"];906[label="vwx190000000/Succ vwx1900000000",fontsize=10,color="white",style="solid",shape="box"];338 -> 906[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	906 -> 377[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	907[label="vwx190000000/Zero",fontsize=10,color="white",style="solid",shape="box"];338 -> 907[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	907 -> 378[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	339 -> 115[label="",style="dashed", color="red", weight=0];
12.50/4.79	339[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];340 -> 205[label="",style="dashed", color="red", weight=0];
12.50/4.79	340[label="`negate` vwx220",fontsize=16,color="magenta"];340 -> 379[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	341 -> 204[label="",style="dashed", color="red", weight=0];
12.50/4.79	341[label="negate vwx220",fontsize=16,color="magenta"];341 -> 380[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	342 -> 205[label="",style="dashed", color="red", weight=0];
12.50/4.79	342[label="negate vwx220",fontsize=16,color="magenta"];342 -> 381[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	343[label="vwx220",fontsize=16,color="green",shape="box"];344 -> 205[label="",style="dashed", color="red", weight=0];
12.50/4.79	344[label="`negate` vwx220",fontsize=16,color="magenta"];344 -> 382[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	629[label="primPlusNat vwx350 Zero",fontsize=16,color="burlywood",shape="triangle"];908[label="vwx350/Succ vwx3500",fontsize=10,color="white",style="solid",shape="box"];629 -> 908[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	908 -> 671[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	909[label="vwx350/Zero",fontsize=10,color="white",style="solid",shape="box"];629 -> 909[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	909 -> 672[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	667[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) (primMulNat (Succ vwx300) Zero) == LT",fontsize=16,color="black",shape="box"];667 -> 711[label="",style="solid", color="black", weight=3];
12.50/4.79	668[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) (primMulNat Zero Zero) == LT",fontsize=16,color="black",shape="box"];668 -> 712[label="",style="solid", color="black", weight=3];
12.50/4.79	669[label="primCmpNat (Succ Zero) (primMulNat (Succ vwx300) Zero) == LT",fontsize=16,color="black",shape="box"];669 -> 713[label="",style="solid", color="black", weight=3];
12.50/4.79	670[label="primCmpNat (Succ Zero) (primMulNat Zero Zero) == LT",fontsize=16,color="black",shape="box"];670 -> 714[label="",style="solid", color="black", weight=3];
12.50/4.79	705[label="primCmpNat (Succ vwx360) (primMulNat Zero vwx5100) == LT",fontsize=16,color="burlywood",shape="box"];910[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];705 -> 910[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	910 -> 735[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	911[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];705 -> 911[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	911 -> 736[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	706 -> 104[label="",style="dashed", color="red", weight=0];
12.50/4.79	706[label="GT == LT",fontsize=16,color="magenta"];707[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];707 -> 737[label="",style="solid", color="black", weight=3];
12.50/4.79	708[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];708 -> 738[label="",style="solid", color="black", weight=3];
12.50/4.79	709[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];709 -> 739[label="",style="solid", color="black", weight=3];
12.50/4.79	710[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];710 -> 740[label="",style="solid", color="black", weight=3];
12.50/4.79	729 -> 92[label="",style="dashed", color="red", weight=0];
12.50/4.79	729[label="LT == LT",fontsize=16,color="magenta"];730[label="primCmpNat (primMulNat Zero vwx5100) (Succ vwx410) == LT",fontsize=16,color="burlywood",shape="box"];912[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];730 -> 912[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	912 -> 762[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	913[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];730 -> 913[label="",style="solid", color="burlywood", weight=9];
12.50/4.79	913 -> 763[label="",style="solid", color="burlywood", weight=3];
12.50/4.79	731[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];731 -> 764[label="",style="solid", color="black", weight=3];
12.50/4.79	732[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];732 -> 765[label="",style="solid", color="black", weight=3];
12.50/4.79	733[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];733 -> 766[label="",style="solid", color="black", weight=3];
12.50/4.79	734[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];734 -> 767[label="",style="solid", color="black", weight=3];
12.50/4.79	377[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900000000) Zero == GT) vwx23",fontsize=16,color="black",shape="box"];377 -> 411[label="",style="solid", color="black", weight=3];
12.50/4.79	378[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero Zero == GT) vwx23",fontsize=16,color="black",shape="box"];378 -> 412[label="",style="solid", color="black", weight=3];
12.50/4.79	379[label="vwx220",fontsize=16,color="green",shape="box"];380[label="vwx220",fontsize=16,color="green",shape="box"];381[label="vwx220",fontsize=16,color="green",shape="box"];382[label="vwx220",fontsize=16,color="green",shape="box"];671[label="primPlusNat (Succ vwx3500) Zero",fontsize=16,color="black",shape="box"];671 -> 715[label="",style="solid", color="black", weight=3];
12.50/4.79	672[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];672 -> 716[label="",style="solid", color="black", weight=3];
12.50/4.79	711 -> 90[label="",style="dashed", color="red", weight=0];
12.50/4.79	711[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) Zero == LT",fontsize=16,color="magenta"];711 -> 741[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	712 -> 90[label="",style="dashed", color="red", weight=0];
12.50/4.79	712[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) Zero == LT",fontsize=16,color="magenta"];712 -> 742[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	713 -> 90[label="",style="dashed", color="red", weight=0];
12.50/4.79	713[label="primCmpNat (Succ Zero) Zero == LT",fontsize=16,color="magenta"];713 -> 743[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	714 -> 90[label="",style="dashed", color="red", weight=0];
12.50/4.79	714[label="primCmpNat (Succ Zero) Zero == LT",fontsize=16,color="magenta"];714 -> 744[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	735[label="primCmpNat (Succ vwx360) (primMulNat Zero (Succ vwx51000)) == LT",fontsize=16,color="black",shape="box"];735 -> 768[label="",style="solid", color="black", weight=3];
12.50/4.79	736[label="primCmpNat (Succ vwx360) (primMulNat Zero Zero) == LT",fontsize=16,color="black",shape="box"];736 -> 769[label="",style="solid", color="black", weight=3];
12.50/4.79	737 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	737[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];737 -> 770[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	738 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	738[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];738 -> 771[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	739[label="primCmpInt (Pos Zero) (Neg Zero) == LT",fontsize=16,color="black",shape="triangle"];739 -> 772[label="",style="solid", color="black", weight=3];
12.50/4.79	740 -> 739[label="",style="dashed", color="red", weight=0];
12.50/4.79	740[label="primCmpInt (Pos Zero) (Neg Zero) == LT",fontsize=16,color="magenta"];762[label="primCmpNat (primMulNat Zero (Succ vwx51000)) (Succ vwx410) == LT",fontsize=16,color="black",shape="box"];762 -> 776[label="",style="solid", color="black", weight=3];
12.50/4.79	763[label="primCmpNat (primMulNat Zero Zero) (Succ vwx410) == LT",fontsize=16,color="black",shape="box"];763 -> 777[label="",style="solid", color="black", weight=3];
12.50/4.79	764 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	764[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];764 -> 778[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	765 -> 50[label="",style="dashed", color="red", weight=0];
12.50/4.79	765[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];765 -> 779[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	766[label="primCmpInt (Neg Zero) (Neg Zero) == LT",fontsize=16,color="black",shape="triangle"];766 -> 780[label="",style="solid", color="black", weight=3];
12.50/4.79	767 -> 766[label="",style="dashed", color="red", weight=0];
12.50/4.79	767[label="primCmpInt (Neg Zero) (Neg Zero) == LT",fontsize=16,color="magenta"];411[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (GT == GT) vwx23",fontsize=16,color="black",shape="box"];411 -> 445[label="",style="solid", color="black", weight=3];
12.50/4.79	412[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (EQ == GT) vwx23",fontsize=16,color="black",shape="box"];412 -> 446[label="",style="solid", color="black", weight=3];
12.50/4.79	715[label="Succ vwx3500",fontsize=16,color="green",shape="box"];716[label="Zero",fontsize=16,color="green",shape="box"];741[label="Succ (primPlusNat vwx290 Zero)",fontsize=16,color="green",shape="box"];741 -> 773[label="",style="dashed", color="green", weight=3];
12.50/4.79	742[label="Succ (primPlusNat vwx290 Zero)",fontsize=16,color="green",shape="box"];742 -> 774[label="",style="dashed", color="green", weight=3];
12.50/4.79	743[label="Zero",fontsize=16,color="green",shape="box"];744[label="Zero",fontsize=16,color="green",shape="box"];768 -> 90[label="",style="dashed", color="red", weight=0];
12.50/4.79	768[label="primCmpNat (Succ vwx360) Zero == LT",fontsize=16,color="magenta"];768 -> 781[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	769 -> 90[label="",style="dashed", color="red", weight=0];
12.50/4.79	769[label="primCmpNat (Succ vwx360) Zero == LT",fontsize=16,color="magenta"];769 -> 782[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	770[label="Pos Zero",fontsize=16,color="green",shape="box"];771[label="Pos Zero",fontsize=16,color="green",shape="box"];772 -> 91[label="",style="dashed", color="red", weight=0];
12.50/4.79	772[label="EQ == LT",fontsize=16,color="magenta"];776[label="primCmpNat Zero (Succ vwx410) == LT",fontsize=16,color="black",shape="triangle"];776 -> 786[label="",style="solid", color="black", weight=3];
12.50/4.79	777 -> 776[label="",style="dashed", color="red", weight=0];
12.50/4.79	777[label="primCmpNat Zero (Succ vwx410) == LT",fontsize=16,color="magenta"];778[label="Neg Zero",fontsize=16,color="green",shape="box"];779[label="Neg Zero",fontsize=16,color="green",shape="box"];780 -> 91[label="",style="dashed", color="red", weight=0];
12.50/4.79	780[label="EQ == LT",fontsize=16,color="magenta"];445[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) True vwx23",fontsize=16,color="black",shape="box"];445 -> 479[label="",style="solid", color="black", weight=3];
12.50/4.79	446 -> 124[label="",style="dashed", color="red", weight=0];
12.50/4.79	446[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) False vwx23",fontsize=16,color="magenta"];773 -> 629[label="",style="dashed", color="red", weight=0];
12.50/4.79	773[label="primPlusNat vwx290 Zero",fontsize=16,color="magenta"];773 -> 783[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	774 -> 629[label="",style="dashed", color="red", weight=0];
12.50/4.79	774[label="primPlusNat vwx290 Zero",fontsize=16,color="magenta"];774 -> 784[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	781[label="vwx360",fontsize=16,color="green",shape="box"];782[label="vwx360",fontsize=16,color="green",shape="box"];786 -> 92[label="",style="dashed", color="red", weight=0];
12.50/4.79	786[label="LT == LT",fontsize=16,color="magenta"];479 -> 745[label="",style="dashed", color="red", weight=0];
12.50/4.79	479[label="(showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))) . ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) . showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];479 -> 746[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	479 -> 747[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	479 -> 748[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	479 -> 749[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	479 -> 750[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	479 -> 751[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	783[label="vwx290",fontsize=16,color="green",shape="box"];784[label="vwx290",fontsize=16,color="green",shape="box"];746[label="vwx20",fontsize=16,color="green",shape="box"];747[label="vwx23",fontsize=16,color="green",shape="box"];748[label="vwx22",fontsize=16,color="green",shape="box"];749[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];750[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];751[label="vwx21",fontsize=16,color="green",shape="box"];745[label="(showChar (Char (Succ vwx59))) . ((showChar (Char (Succ vwx60))) . vwx61 (`negate` vwx62)) . showChar (Char (Succ vwx63))",fontsize=16,color="black",shape="triangle"];745 -> 775[label="",style="solid", color="black", weight=3];
12.50/4.79	775[label="showChar (Char (Succ vwx59)) (((showChar (Char (Succ vwx60))) . vwx61 (`negate` vwx62)) . showChar (Char (Succ vwx63)))",fontsize=16,color="black",shape="box"];775 -> 785[label="",style="solid", color="black", weight=3];
12.50/4.79	785[label="(:) Char (Succ vwx59) ((showChar (Char (Succ vwx60))) . vwx61 (`negate` vwx62)) . showChar (Char (Succ vwx63))",fontsize=16,color="green",shape="box"];785 -> 787[label="",style="dashed", color="green", weight=3];
12.50/4.79	787[label="((showChar (Char (Succ vwx60))) . vwx61 (`negate` vwx62)) . showChar (Char (Succ vwx63))",fontsize=16,color="black",shape="box"];787 -> 788[label="",style="solid", color="black", weight=3];
12.50/4.79	788 -> 133[label="",style="dashed", color="red", weight=0];
12.50/4.79	788[label="(showChar (Char (Succ vwx60))) . vwx61 (`negate` vwx62)",fontsize=16,color="magenta"];788 -> 789[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	788 -> 790[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	788 -> 791[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	788 -> 792[label="",style="dashed", color="magenta", weight=3];
12.50/4.79	789[label="vwx62",fontsize=16,color="green",shape="box"];790[label="showChar (Char (Succ vwx63)) vwx64",fontsize=16,color="black",shape="box"];790 -> 793[label="",style="solid", color="black", weight=3];
12.50/4.79	791[label="vwx61",fontsize=16,color="green",shape="box"];792[label="vwx60",fontsize=16,color="green",shape="box"];793[label="(:) Char (Succ vwx63) vwx64",fontsize=16,color="green",shape="box"];}
12.50/4.79	
12.50/4.79	----------------------------------------
12.50/4.79	
12.50/4.79	(14)
12.50/4.79	Obligation:
12.50/4.79	Q DP problem:
12.50/4.79	The TRS P consists of the following rules:
12.50/4.79	
12.50/4.79	   new_primMulNat(Succ(vwx50000)) -> new_primMulNat(vwx50000)
12.50/4.79	
12.50/4.79	R is empty.
12.50/4.79	Q is empty.
12.50/4.79	We have to consider all minimal (P,Q,R)-chains.
12.50/4.79	----------------------------------------
12.50/4.79	
12.50/4.79	(15) QDPSizeChangeProof (EQUIVALENT)
12.50/4.79	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. 
12.50/4.79	
12.50/4.79	From the DPs we obtained the following set of size-change graphs:
12.50/4.79	*new_primMulNat(Succ(vwx50000)) -> new_primMulNat(vwx50000)
12.50/4.79	The graph contains the following edges 1 > 1
12.50/4.79	
12.50/4.79	
12.50/4.79	----------------------------------------
12.50/4.79	
12.50/4.79	(16)
12.50/4.79	YES
12.54/4.84	EOF