9.72/4.08	YES
11.80/4.68	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
11.80/4.68	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
11.80/4.68	
11.80/4.68	
11.80/4.68	H-Termination with start terms of the given HASKELL could be proven:
11.80/4.68	
11.80/4.68	(0) HASKELL
11.80/4.68	(1) IFR [EQUIVALENT, 0 ms]
11.80/4.68	(2) HASKELL
11.80/4.68	(3) BR [EQUIVALENT, 0 ms]
11.80/4.68	(4) HASKELL
11.80/4.68	(5) COR [EQUIVALENT, 0 ms]
11.80/4.68	(6) HASKELL
11.80/4.68	(7) NumRed [SOUND, 0 ms]
11.80/4.68	(8) HASKELL
11.80/4.68	(9) Narrow [SOUND, 0 ms]
11.80/4.68	(10) AND
11.80/4.68	    (11) QDP
11.80/4.68	        (12) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.80/4.68	        (13) YES
11.80/4.68	    (14) QDP
11.80/4.68	        (15) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.80/4.68	        (16) YES
11.80/4.68	
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(0)
11.80/4.68	Obligation:
11.80/4.68	mainModule Main 
11.80/4.68	module Main where {
11.80/4.68	import qualified Prelude;
11.80/4.68	}
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(1) IFR (EQUIVALENT)
11.80/4.68	If Reductions:
11.80/4.68	The following If expression
11.80/4.68	"if x < 0 then showParen (p > 6) ((showChar '-') . showPos (`negate` x)) else showPos x"
11.80/4.68	is transformed to
11.80/4.68	"showSigned0 p showPos x True = showParen (p > 6) ((showChar '-') . showPos (`negate` x));
11.80/4.68	showSigned0 p showPos x False = showPos x;
11.80/4.68	"
11.80/4.68	The following If expression
11.80/4.68	"if b then (showChar '(') . p . showChar ')' else p"
11.80/4.68	is transformed to
11.80/4.68	"showParen0 p True = (showChar '(') . p . showChar ')';
11.80/4.68	showParen0 p False = p;
11.80/4.68	"
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(2)
11.80/4.68	Obligation:
11.80/4.68	mainModule Main 
11.80/4.68	module Main where {
11.80/4.68	import qualified Prelude;
11.80/4.68	}
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(3) BR (EQUIVALENT)
11.80/4.68	Replaced joker patterns by fresh variables and removed binding patterns.
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(4)
11.80/4.68	Obligation:
11.80/4.68	mainModule Main 
11.80/4.68	module Main where {
11.80/4.68	import qualified Prelude;
11.80/4.68	}
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(5) COR (EQUIVALENT)
11.80/4.68	Cond Reductions:
11.80/4.68	The following Function with conditions
11.80/4.68	"undefined |Falseundefined;
11.80/4.68	"
11.80/4.68	is transformed to
11.80/4.68	"undefined  = undefined1;
11.80/4.68	"
11.80/4.68	"undefined0 True = undefined;
11.80/4.68	"
11.80/4.68	"undefined1  = undefined0 False;
11.80/4.68	"
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(6)
11.80/4.68	Obligation:
11.80/4.68	mainModule Main 
11.80/4.68	module Main where {
11.80/4.68	import qualified Prelude;
11.80/4.68	}
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(7) NumRed (SOUND)
11.80/4.68	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(8)
11.80/4.68	Obligation:
11.80/4.68	mainModule Main 
11.80/4.68	module Main where {
11.80/4.68	import qualified Prelude;
11.80/4.68	}
11.80/4.68	
11.80/4.68	----------------------------------------
11.80/4.68	
11.80/4.68	(9) Narrow (SOUND)
11.80/4.68	Haskell To QDPs
11.80/4.68	
11.80/4.68	digraph dp_graph {
11.80/4.68	node [outthreshold=100, inthreshold=100];1[label="showSigned",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
11.80/4.68	3[label="showSigned vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
11.80/4.68	4[label="showSigned vx3 vx4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3];
11.80/4.68	5[label="showSigned vx3 vx4 vx5",fontsize=16,color="grey",shape="box"];5 -> 6[label="",style="dashed", color="grey", weight=3];
11.80/4.68	6[label="showSigned vx3 vx4 vx5 vx6",fontsize=16,color="black",shape="triangle"];6 -> 7[label="",style="solid", color="black", weight=3];
11.80/4.68	7[label="showSigned0 vx4 vx3 vx5 (vx5 < fromInt (Pos Zero)) vx6",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
11.80/4.68	8[label="showSigned0 vx4 vx3 vx5 (compare vx5 (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1078[label="vx5/vx50 :% vx51",fontsize=10,color="white",style="solid",shape="box"];8 -> 1078[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1078 -> 9[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	9[label="showSigned0 vx4 vx3 (vx50 :% vx51) (compare (vx50 :% vx51) (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
11.80/4.68	10[label="showSigned0 vx4 vx3 (vx50 :% vx51) (compare (vx50 :% vx51) (intToRatio (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11.80/4.68	11[label="showSigned0 vx4 vx3 (vx50 :% vx51) (compare (vx50 :% vx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT) vx6",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
11.80/4.68	12[label="showSigned0 vx4 vx3 (vx50 :% vx51) (compare (vx50 :% vx51) (Pos Zero :% fromInt (Pos (Succ Zero))) == LT) vx6",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
11.80/4.68	13[label="showSigned0 vx4 vx3 (vx50 :% vx51) (compare (vx50 :% vx51) (Pos Zero :% Pos (Succ Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
11.80/4.68	14[label="showSigned0 vx4 vx3 (vx50 :% vx51) (compare (vx50 * Pos (Succ Zero)) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
11.80/4.68	15[label="showSigned0 vx4 vx3 (vx50 :% vx51) (primCmpInt (vx50 * Pos (Succ Zero)) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
11.80/4.68	16[label="showSigned0 vx4 vx3 (vx50 :% vx51) (primCmpInt (primMulInt vx50 (Pos (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1079[label="vx50/Pos vx500",fontsize=10,color="white",style="solid",shape="box"];16 -> 1079[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1079 -> 17[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1080[label="vx50/Neg vx500",fontsize=10,color="white",style="solid",shape="box"];16 -> 1080[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1080 -> 18[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	17[label="showSigned0 vx4 vx3 (Pos vx500 :% vx51) (primCmpInt (primMulInt (Pos vx500) (Pos (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
11.80/4.68	18[label="showSigned0 vx4 vx3 (Neg vx500 :% vx51) (primCmpInt (primMulInt (Neg vx500) (Pos (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
11.80/4.68	19[label="showSigned0 vx4 vx3 (Pos vx500 :% vx51) (primCmpInt (Pos (primMulNat vx500 (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1081[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];19 -> 1081[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1081 -> 21[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1082[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];19 -> 1082[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1082 -> 22[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	20[label="showSigned0 vx4 vx3 (Neg vx500 :% vx51) (primCmpInt (Neg (primMulNat vx500 (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1083[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];20 -> 1083[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1083 -> 23[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1084[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];20 -> 1084[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1084 -> 24[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	21[label="showSigned0 vx4 vx3 (Pos (Succ vx5000) :% vx51) (primCmpInt (Pos (primMulNat (Succ vx5000) (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];21 -> 25[label="",style="solid", color="black", weight=3];
11.80/4.68	22[label="showSigned0 vx4 vx3 (Pos Zero :% vx51) (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];22 -> 26[label="",style="solid", color="black", weight=3];
11.80/4.68	23[label="showSigned0 vx4 vx3 (Neg (Succ vx5000) :% vx51) (primCmpInt (Neg (primMulNat (Succ vx5000) (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3];
11.80/4.68	24[label="showSigned0 vx4 vx3 (Neg Zero :% vx51) (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3];
11.80/4.68	25 -> 560[label="",style="dashed", color="red", weight=0];
11.80/4.68	25[label="showSigned0 vx4 vx3 (Pos (Succ vx5000) :% vx51) (primCmpInt (Pos (primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="magenta"];25 -> 561[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	25 -> 562[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	25 -> 563[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	25 -> 564[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	25 -> 565[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	25 -> 566[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	26[label="showSigned0 vx4 vx3 (Pos Zero :% vx51) (primCmpInt (Pos Zero) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];26 -> 31[label="",style="solid", color="black", weight=3];
11.80/4.68	27 -> 375[label="",style="dashed", color="red", weight=0];
11.80/4.68	27[label="showSigned0 vx4 vx3 (Neg (Succ vx5000) :% vx51) (primCmpInt (Neg (primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero))) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="magenta"];27 -> 376[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	27 -> 377[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	27 -> 378[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	27 -> 379[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	27 -> 380[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	27 -> 381[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	28[label="showSigned0 vx4 vx3 (Neg Zero :% vx51) (primCmpInt (Neg Zero) (Pos Zero * vx51) == LT) vx6",fontsize=16,color="black",shape="box"];28 -> 34[label="",style="solid", color="black", weight=3];
11.80/4.68	561 -> 380[label="",style="dashed", color="red", weight=0];
11.80/4.68	561[label="primMulNat vx5000 (Succ Zero)",fontsize=16,color="magenta"];561 -> 747[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	562[label="vx4",fontsize=16,color="green",shape="box"];563[label="vx3",fontsize=16,color="green",shape="box"];564[label="vx6",fontsize=16,color="green",shape="box"];565[label="vx51",fontsize=16,color="green",shape="box"];566[label="vx5000",fontsize=16,color="green",shape="box"];560[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (primPlusNat vx86 (Succ Zero))) (Pos Zero * vx85) == LT) vx87",fontsize=16,color="burlywood",shape="triangle"];1085[label="vx86/Succ vx860",fontsize=10,color="white",style="solid",shape="box"];560 -> 1085[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1085 -> 748[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1086[label="vx86/Zero",fontsize=10,color="white",style="solid",shape="box"];560 -> 1086[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1086 -> 749[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	31[label="showSigned0 vx4 vx3 (Pos Zero :% vx51) (primCmpInt (Pos Zero) (primMulInt (Pos Zero) vx51) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1087[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];31 -> 1087[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1087 -> 37[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1088[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];31 -> 1088[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1088 -> 38[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	376[label="vx5000",fontsize=16,color="green",shape="box"];377[label="vx6",fontsize=16,color="green",shape="box"];378[label="vx4",fontsize=16,color="green",shape="box"];379[label="vx51",fontsize=16,color="green",shape="box"];380[label="primMulNat vx5000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1089[label="vx5000/Succ vx50000",fontsize=10,color="white",style="solid",shape="box"];380 -> 1089[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1089 -> 550[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1090[label="vx5000/Zero",fontsize=10,color="white",style="solid",shape="box"];380 -> 1090[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1090 -> 551[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	381[label="vx3",fontsize=16,color="green",shape="box"];375[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (primPlusNat vx78 (Succ Zero))) (Pos Zero * vx77) == LT) vx79",fontsize=16,color="burlywood",shape="triangle"];1091[label="vx78/Succ vx780",fontsize=10,color="white",style="solid",shape="box"];375 -> 1091[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1091 -> 552[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1092[label="vx78/Zero",fontsize=10,color="white",style="solid",shape="box"];375 -> 1092[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1092 -> 553[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	34[label="showSigned0 vx4 vx3 (Neg Zero :% vx51) (primCmpInt (Neg Zero) (primMulInt (Pos Zero) vx51) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1093[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];34 -> 1093[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1093 -> 41[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1094[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];34 -> 1094[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1094 -> 42[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	747[label="vx5000",fontsize=16,color="green",shape="box"];748[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (primPlusNat (Succ vx860) (Succ Zero))) (Pos Zero * vx85) == LT) vx87",fontsize=16,color="black",shape="box"];748 -> 752[label="",style="solid", color="black", weight=3];
11.80/4.68	749[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos Zero * vx85) == LT) vx87",fontsize=16,color="black",shape="box"];749 -> 753[label="",style="solid", color="black", weight=3];
11.80/4.68	37[label="showSigned0 vx4 vx3 (Pos Zero :% Pos vx510) (primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Pos vx510)) == LT) vx6",fontsize=16,color="black",shape="box"];37 -> 46[label="",style="solid", color="black", weight=3];
11.80/4.68	38[label="showSigned0 vx4 vx3 (Pos Zero :% Neg vx510) (primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Neg vx510)) == LT) vx6",fontsize=16,color="black",shape="box"];38 -> 47[label="",style="solid", color="black", weight=3];
11.80/4.68	550[label="primMulNat (Succ vx50000) (Succ Zero)",fontsize=16,color="black",shape="box"];550 -> 556[label="",style="solid", color="black", weight=3];
11.80/4.68	551[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];551 -> 557[label="",style="solid", color="black", weight=3];
11.80/4.68	552[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (primPlusNat (Succ vx780) (Succ Zero))) (Pos Zero * vx77) == LT) vx79",fontsize=16,color="black",shape="box"];552 -> 558[label="",style="solid", color="black", weight=3];
11.80/4.68	553[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (primPlusNat Zero (Succ Zero))) (Pos Zero * vx77) == LT) vx79",fontsize=16,color="black",shape="box"];553 -> 559[label="",style="solid", color="black", weight=3];
11.80/4.68	41[label="showSigned0 vx4 vx3 (Neg Zero :% Pos vx510) (primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Pos vx510)) == LT) vx6",fontsize=16,color="black",shape="box"];41 -> 51[label="",style="solid", color="black", weight=3];
11.80/4.68	42[label="showSigned0 vx4 vx3 (Neg Zero :% Neg vx510) (primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Neg vx510)) == LT) vx6",fontsize=16,color="black",shape="box"];42 -> 52[label="",style="solid", color="black", weight=3];
11.80/4.68	752[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (Succ (Succ (primPlusNat vx860 Zero)))) (Pos Zero * vx85) == LT) vx87",fontsize=16,color="black",shape="box"];752 -> 759[label="",style="solid", color="black", weight=3];
11.80/4.68	753[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (Succ Zero)) (Pos Zero * vx85) == LT) vx87",fontsize=16,color="black",shape="box"];753 -> 760[label="",style="solid", color="black", weight=3];
11.80/4.68	46[label="showSigned0 vx4 vx3 (Pos Zero :% Pos vx510) (primCmpInt (Pos Zero) (Pos (primMulNat Zero vx510)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1095[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];46 -> 1095[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1095 -> 56[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1096[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];46 -> 1096[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1096 -> 57[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	47[label="showSigned0 vx4 vx3 (Pos Zero :% Neg vx510) (primCmpInt (Pos Zero) (Neg (primMulNat Zero vx510)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1097[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];47 -> 1097[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1097 -> 58[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1098[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];47 -> 1098[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1098 -> 59[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	556 -> 750[label="",style="dashed", color="red", weight=0];
11.80/4.68	556[label="primPlusNat (primMulNat vx50000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];556 -> 751[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	557[label="Zero",fontsize=16,color="green",shape="box"];558[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (Succ (Succ (primPlusNat vx780 Zero)))) (Pos Zero * vx77) == LT) vx79",fontsize=16,color="black",shape="box"];558 -> 754[label="",style="solid", color="black", weight=3];
11.80/4.68	559[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (Succ Zero)) (Pos Zero * vx77) == LT) vx79",fontsize=16,color="black",shape="box"];559 -> 755[label="",style="solid", color="black", weight=3];
11.80/4.68	51[label="showSigned0 vx4 vx3 (Neg Zero :% Pos vx510) (primCmpInt (Neg Zero) (Pos (primMulNat Zero vx510)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1099[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];51 -> 1099[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1099 -> 63[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1100[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];51 -> 1100[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1100 -> 64[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	52[label="showSigned0 vx4 vx3 (Neg Zero :% Neg vx510) (primCmpInt (Neg Zero) (Neg (primMulNat Zero vx510)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1101[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];52 -> 1101[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1101 -> 65[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1102[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];52 -> 1102[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1102 -> 66[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	759[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (Succ (Succ (primPlusNat vx860 Zero)))) (primMulInt (Pos Zero) vx85) == LT) vx87",fontsize=16,color="burlywood",shape="box"];1103[label="vx85/Pos vx850",fontsize=10,color="white",style="solid",shape="box"];759 -> 1103[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1103 -> 767[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1104[label="vx85/Neg vx850",fontsize=10,color="white",style="solid",shape="box"];759 -> 1104[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1104 -> 768[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	760[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% vx85) (primCmpInt (Pos (Succ Zero)) (primMulInt (Pos Zero) vx85) == LT) vx87",fontsize=16,color="burlywood",shape="box"];1105[label="vx85/Pos vx850",fontsize=10,color="white",style="solid",shape="box"];760 -> 1105[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1105 -> 769[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1106[label="vx85/Neg vx850",fontsize=10,color="white",style="solid",shape="box"];760 -> 1106[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1106 -> 770[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	56[label="showSigned0 vx4 vx3 (Pos Zero :% Pos (Succ vx5100)) (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ vx5100))) == LT) vx6",fontsize=16,color="black",shape="box"];56 -> 72[label="",style="solid", color="black", weight=3];
11.80/4.68	57[label="showSigned0 vx4 vx3 (Pos Zero :% Pos Zero) (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];57 -> 73[label="",style="solid", color="black", weight=3];
11.80/4.68	58[label="showSigned0 vx4 vx3 (Pos Zero :% Neg (Succ vx5100)) (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ vx5100))) == LT) vx6",fontsize=16,color="black",shape="box"];58 -> 74[label="",style="solid", color="black", weight=3];
11.80/4.68	59[label="showSigned0 vx4 vx3 (Pos Zero :% Neg Zero) (primCmpInt (Pos Zero) (Neg (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];59 -> 75[label="",style="solid", color="black", weight=3];
11.80/4.68	751 -> 380[label="",style="dashed", color="red", weight=0];
11.80/4.68	751[label="primMulNat vx50000 (Succ Zero)",fontsize=16,color="magenta"];751 -> 756[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	750[label="primPlusNat vx88 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1107[label="vx88/Succ vx880",fontsize=10,color="white",style="solid",shape="box"];750 -> 1107[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1107 -> 757[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1108[label="vx88/Zero",fontsize=10,color="white",style="solid",shape="box"];750 -> 1108[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1108 -> 758[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	754[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (Succ (Succ (primPlusNat vx780 Zero)))) (primMulInt (Pos Zero) vx77) == LT) vx79",fontsize=16,color="burlywood",shape="box"];1109[label="vx77/Pos vx770",fontsize=10,color="white",style="solid",shape="box"];754 -> 1109[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1109 -> 761[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1110[label="vx77/Neg vx770",fontsize=10,color="white",style="solid",shape="box"];754 -> 1110[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1110 -> 762[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	755[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% vx77) (primCmpInt (Neg (Succ Zero)) (primMulInt (Pos Zero) vx77) == LT) vx79",fontsize=16,color="burlywood",shape="box"];1111[label="vx77/Pos vx770",fontsize=10,color="white",style="solid",shape="box"];755 -> 1111[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1111 -> 763[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	1112[label="vx77/Neg vx770",fontsize=10,color="white",style="solid",shape="box"];755 -> 1112[label="",style="solid", color="burlywood", weight=9];
11.80/4.68	1112 -> 764[label="",style="solid", color="burlywood", weight=3];
11.80/4.68	63[label="showSigned0 vx4 vx3 (Neg Zero :% Pos (Succ vx5100)) (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ vx5100))) == LT) vx6",fontsize=16,color="black",shape="box"];63 -> 81[label="",style="solid", color="black", weight=3];
11.80/4.68	64[label="showSigned0 vx4 vx3 (Neg Zero :% Pos Zero) (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];64 -> 82[label="",style="solid", color="black", weight=3];
11.80/4.68	65[label="showSigned0 vx4 vx3 (Neg Zero :% Neg (Succ vx5100)) (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ vx5100))) == LT) vx6",fontsize=16,color="black",shape="box"];65 -> 83[label="",style="solid", color="black", weight=3];
11.80/4.68	66[label="showSigned0 vx4 vx3 (Neg Zero :% Neg Zero) (primCmpInt (Neg Zero) (Neg (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];66 -> 84[label="",style="solid", color="black", weight=3];
11.80/4.68	767[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpInt (Pos (Succ (Succ (primPlusNat vx860 Zero)))) (primMulInt (Pos Zero) (Pos vx850)) == LT) vx87",fontsize=16,color="black",shape="box"];767 -> 776[label="",style="solid", color="black", weight=3];
11.80/4.68	768[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (primCmpInt (Pos (Succ (Succ (primPlusNat vx860 Zero)))) (primMulInt (Pos Zero) (Neg vx850)) == LT) vx87",fontsize=16,color="black",shape="box"];768 -> 777[label="",style="solid", color="black", weight=3];
11.80/4.68	769[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpInt (Pos (Succ Zero)) (primMulInt (Pos Zero) (Pos vx850)) == LT) vx87",fontsize=16,color="black",shape="box"];769 -> 778[label="",style="solid", color="black", weight=3];
11.80/4.68	770[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (primCmpInt (Pos (Succ Zero)) (primMulInt (Pos Zero) (Neg vx850)) == LT) vx87",fontsize=16,color="black",shape="box"];770 -> 779[label="",style="solid", color="black", weight=3];
11.80/4.68	72[label="showSigned0 vx4 vx3 (Pos Zero :% Pos (Succ vx5100)) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];72 -> 90[label="",style="solid", color="black", weight=3];
11.80/4.68	73[label="showSigned0 vx4 vx3 (Pos Zero :% Pos Zero) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];73 -> 91[label="",style="solid", color="black", weight=3];
11.80/4.68	74[label="showSigned0 vx4 vx3 (Pos Zero :% Neg (Succ vx5100)) (primCmpInt (Pos Zero) (Neg Zero) == LT) vx6",fontsize=16,color="black",shape="box"];74 -> 92[label="",style="solid", color="black", weight=3];
11.80/4.68	75[label="showSigned0 vx4 vx3 (Pos Zero :% Neg Zero) (primCmpInt (Pos Zero) (Neg Zero) == LT) vx6",fontsize=16,color="black",shape="box"];75 -> 93[label="",style="solid", color="black", weight=3];
11.80/4.68	756[label="vx50000",fontsize=16,color="green",shape="box"];757[label="primPlusNat (Succ vx880) (Succ Zero)",fontsize=16,color="black",shape="box"];757 -> 765[label="",style="solid", color="black", weight=3];
11.80/4.68	758[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];758 -> 766[label="",style="solid", color="black", weight=3];
11.80/4.68	761[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) (primCmpInt (Neg (Succ (Succ (primPlusNat vx780 Zero)))) (primMulInt (Pos Zero) (Pos vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];761 -> 771[label="",style="solid", color="black", weight=3];
11.80/4.68	762[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpInt (Neg (Succ (Succ (primPlusNat vx780 Zero)))) (primMulInt (Pos Zero) (Neg vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];762 -> 772[label="",style="solid", color="black", weight=3];
11.80/4.68	763[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) (primCmpInt (Neg (Succ Zero)) (primMulInt (Pos Zero) (Pos vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];763 -> 773[label="",style="solid", color="black", weight=3];
11.80/4.68	764[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpInt (Neg (Succ Zero)) (primMulInt (Pos Zero) (Neg vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];764 -> 774[label="",style="solid", color="black", weight=3];
11.80/4.68	81[label="showSigned0 vx4 vx3 (Neg Zero :% Pos (Succ vx5100)) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];81 -> 99[label="",style="solid", color="black", weight=3];
11.80/4.68	82[label="showSigned0 vx4 vx3 (Neg Zero :% Pos Zero) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];82 -> 100[label="",style="solid", color="black", weight=3];
11.80/4.68	83[label="showSigned0 vx4 vx3 (Neg Zero :% Neg (Succ vx5100)) (primCmpInt (Neg Zero) (Neg Zero) == LT) vx6",fontsize=16,color="black",shape="box"];83 -> 101[label="",style="solid", color="black", weight=3];
11.80/4.68	84[label="showSigned0 vx4 vx3 (Neg Zero :% Neg Zero) (primCmpInt (Neg Zero) (Neg Zero) == LT) vx6",fontsize=16,color="black",shape="box"];84 -> 102[label="",style="solid", color="black", weight=3];
11.80/4.68	776 -> 786[label="",style="dashed", color="red", weight=0];
11.80/4.68	776[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpInt (Pos (Succ (Succ (primPlusNat vx860 Zero)))) (Pos (primMulNat Zero vx850)) == LT) vx87",fontsize=16,color="magenta"];776 -> 787[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	777 -> 788[label="",style="dashed", color="red", weight=0];
11.80/4.68	777[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (primCmpInt (Pos (Succ (Succ (primPlusNat vx860 Zero)))) (Neg (primMulNat Zero vx850)) == LT) vx87",fontsize=16,color="magenta"];777 -> 789[label="",style="dashed", color="magenta", weight=3];
11.80/4.68	778[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpInt (Pos (Succ Zero)) (Pos (primMulNat Zero vx850)) == LT) vx87",fontsize=16,color="black",shape="box"];778 -> 790[label="",style="solid", color="black", weight=3];
11.80/4.68	779[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (primCmpInt (Pos (Succ Zero)) (Neg (primMulNat Zero vx850)) == LT) vx87",fontsize=16,color="black",shape="box"];779 -> 791[label="",style="solid", color="black", weight=3];
11.80/4.68	90[label="showSigned0 vx4 vx3 (Pos Zero :% Pos (Succ vx5100)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];90 -> 109[label="",style="solid", color="black", weight=3];
11.80/4.68	91[label="showSigned0 vx4 vx3 (Pos Zero :% Pos Zero) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];91 -> 110[label="",style="solid", color="black", weight=3];
11.80/4.68	92[label="showSigned0 vx4 vx3 (Pos Zero :% Neg (Succ vx5100)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];92 -> 111[label="",style="solid", color="black", weight=3];
11.80/4.68	93[label="showSigned0 vx4 vx3 (Pos Zero :% Neg Zero) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];93 -> 112[label="",style="solid", color="black", weight=3];
11.80/4.68	765[label="Succ (Succ (primPlusNat vx880 Zero))",fontsize=16,color="green",shape="box"];765 -> 775[label="",style="dashed", color="green", weight=3];
11.80/4.68	766[label="Succ Zero",fontsize=16,color="green",shape="box"];771[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) (primCmpInt (Neg (Succ (Succ (primPlusNat vx780 Zero)))) (Pos (primMulNat Zero vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];771 -> 780[label="",style="solid", color="black", weight=3];
11.80/4.68	772[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpInt (Neg (Succ (Succ (primPlusNat vx780 Zero)))) (Neg (primMulNat Zero vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];772 -> 781[label="",style="solid", color="black", weight=3];
11.80/4.68	773[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) (primCmpInt (Neg (Succ Zero)) (Pos (primMulNat Zero vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];773 -> 782[label="",style="solid", color="black", weight=3];
11.80/4.68	774[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpInt (Neg (Succ Zero)) (Neg (primMulNat Zero vx770)) == LT) vx79",fontsize=16,color="black",shape="box"];774 -> 783[label="",style="solid", color="black", weight=3];
11.80/4.68	99[label="showSigned0 vx4 vx3 (Neg Zero :% Pos (Succ vx5100)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];99 -> 119[label="",style="solid", color="black", weight=3];
11.80/4.68	100[label="showSigned0 vx4 vx3 (Neg Zero :% Pos Zero) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];100 -> 120[label="",style="solid", color="black", weight=3];
11.80/4.68	101[label="showSigned0 vx4 vx3 (Neg Zero :% Neg (Succ vx5100)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];101 -> 121[label="",style="solid", color="black", weight=3];
11.80/4.69	102[label="showSigned0 vx4 vx3 (Neg Zero :% Neg Zero) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];102 -> 122[label="",style="solid", color="black", weight=3];
11.80/4.69	787 -> 775[label="",style="dashed", color="red", weight=0];
11.80/4.69	787[label="primPlusNat vx860 Zero",fontsize=16,color="magenta"];787 -> 792[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	786[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpInt (Pos (Succ (Succ vx89))) (Pos (primMulNat Zero vx850)) == LT) vx87",fontsize=16,color="black",shape="triangle"];786 -> 793[label="",style="solid", color="black", weight=3];
11.80/4.69	789 -> 775[label="",style="dashed", color="red", weight=0];
11.80/4.69	789[label="primPlusNat vx860 Zero",fontsize=16,color="magenta"];789 -> 794[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	788[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (primCmpInt (Pos (Succ (Succ vx90))) (Neg (primMulNat Zero vx850)) == LT) vx87",fontsize=16,color="black",shape="triangle"];788 -> 795[label="",style="solid", color="black", weight=3];
11.80/4.69	790[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpNat (Succ Zero) (primMulNat Zero vx850) == LT) vx87",fontsize=16,color="burlywood",shape="box"];1113[label="vx850/Succ vx8500",fontsize=10,color="white",style="solid",shape="box"];790 -> 1113[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1113 -> 799[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1114[label="vx850/Zero",fontsize=10,color="white",style="solid",shape="box"];790 -> 1114[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1114 -> 800[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	791[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (GT == LT) vx87",fontsize=16,color="black",shape="triangle"];791 -> 801[label="",style="solid", color="black", weight=3];
11.80/4.69	109[label="showSigned0 vx4 vx3 (Pos Zero :% Pos (Succ vx5100)) False vx6",fontsize=16,color="black",shape="box"];109 -> 131[label="",style="solid", color="black", weight=3];
11.80/4.69	110[label="showSigned0 vx4 vx3 (Pos Zero :% Pos Zero) False vx6",fontsize=16,color="black",shape="box"];110 -> 132[label="",style="solid", color="black", weight=3];
11.80/4.69	111[label="showSigned0 vx4 vx3 (Pos Zero :% Neg (Succ vx5100)) False vx6",fontsize=16,color="black",shape="box"];111 -> 133[label="",style="solid", color="black", weight=3];
11.80/4.69	112[label="showSigned0 vx4 vx3 (Pos Zero :% Neg Zero) False vx6",fontsize=16,color="black",shape="box"];112 -> 134[label="",style="solid", color="black", weight=3];
11.80/4.69	775[label="primPlusNat vx880 Zero",fontsize=16,color="burlywood",shape="triangle"];1115[label="vx880/Succ vx8800",fontsize=10,color="white",style="solid",shape="box"];775 -> 1115[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1115 -> 784[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1116[label="vx880/Zero",fontsize=10,color="white",style="solid",shape="box"];775 -> 1116[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1116 -> 785[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	780[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) (LT == LT) vx79",fontsize=16,color="black",shape="triangle"];780 -> 796[label="",style="solid", color="black", weight=3];
11.80/4.69	781 -> 797[label="",style="dashed", color="red", weight=0];
11.80/4.69	781[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpNat (primMulNat Zero vx770) (Succ (Succ (primPlusNat vx780 Zero))) == LT) vx79",fontsize=16,color="magenta"];781 -> 798[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	782 -> 780[label="",style="dashed", color="red", weight=0];
11.80/4.69	782[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) (LT == LT) vx79",fontsize=16,color="magenta"];783[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpNat (primMulNat Zero vx770) (Succ Zero) == LT) vx79",fontsize=16,color="burlywood",shape="box"];1117[label="vx770/Succ vx7700",fontsize=10,color="white",style="solid",shape="box"];783 -> 1117[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1117 -> 802[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1118[label="vx770/Zero",fontsize=10,color="white",style="solid",shape="box"];783 -> 1118[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1118 -> 803[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	119[label="showSigned0 vx4 vx3 (Neg Zero :% Pos (Succ vx5100)) False vx6",fontsize=16,color="black",shape="box"];119 -> 143[label="",style="solid", color="black", weight=3];
11.80/4.69	120[label="showSigned0 vx4 vx3 (Neg Zero :% Pos Zero) False vx6",fontsize=16,color="black",shape="box"];120 -> 144[label="",style="solid", color="black", weight=3];
11.80/4.69	121[label="showSigned0 vx4 vx3 (Neg Zero :% Neg (Succ vx5100)) False vx6",fontsize=16,color="black",shape="box"];121 -> 145[label="",style="solid", color="black", weight=3];
11.80/4.69	122[label="showSigned0 vx4 vx3 (Neg Zero :% Neg Zero) False vx6",fontsize=16,color="black",shape="box"];122 -> 146[label="",style="solid", color="black", weight=3];
11.80/4.69	792[label="vx860",fontsize=16,color="green",shape="box"];793[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos vx850) (primCmpNat (Succ (Succ vx89)) (primMulNat Zero vx850) == LT) vx87",fontsize=16,color="burlywood",shape="box"];1119[label="vx850/Succ vx8500",fontsize=10,color="white",style="solid",shape="box"];793 -> 1119[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1119 -> 804[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1120[label="vx850/Zero",fontsize=10,color="white",style="solid",shape="box"];793 -> 1120[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1120 -> 805[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	794[label="vx860",fontsize=16,color="green",shape="box"];795 -> 791[label="",style="dashed", color="red", weight=0];
11.80/4.69	795[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) (GT == LT) vx87",fontsize=16,color="magenta"];799[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) (primCmpNat (Succ Zero) (primMulNat Zero (Succ vx8500)) == LT) vx87",fontsize=16,color="black",shape="box"];799 -> 812[label="",style="solid", color="black", weight=3];
11.80/4.69	800[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) (primCmpNat (Succ Zero) (primMulNat Zero Zero) == LT) vx87",fontsize=16,color="black",shape="box"];800 -> 813[label="",style="solid", color="black", weight=3];
11.80/4.69	801[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Neg vx850) False vx87",fontsize=16,color="black",shape="box"];801 -> 814[label="",style="solid", color="black", weight=3];
11.80/4.69	131[label="vx3 (Pos Zero :% Pos (Succ vx5100)) vx6",fontsize=16,color="green",shape="box"];131 -> 156[label="",style="dashed", color="green", weight=3];
11.80/4.69	131 -> 157[label="",style="dashed", color="green", weight=3];
11.80/4.69	132[label="vx3 (Pos Zero :% Pos Zero) vx6",fontsize=16,color="green",shape="box"];132 -> 158[label="",style="dashed", color="green", weight=3];
11.80/4.69	132 -> 159[label="",style="dashed", color="green", weight=3];
11.80/4.69	133[label="vx3 (Pos Zero :% Neg (Succ vx5100)) vx6",fontsize=16,color="green",shape="box"];133 -> 160[label="",style="dashed", color="green", weight=3];
11.80/4.69	133 -> 161[label="",style="dashed", color="green", weight=3];
11.80/4.69	134[label="vx3 (Pos Zero :% Neg Zero) vx6",fontsize=16,color="green",shape="box"];134 -> 162[label="",style="dashed", color="green", weight=3];
11.80/4.69	134 -> 163[label="",style="dashed", color="green", weight=3];
11.80/4.69	784[label="primPlusNat (Succ vx8800) Zero",fontsize=16,color="black",shape="box"];784 -> 806[label="",style="solid", color="black", weight=3];
11.80/4.69	785[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];785 -> 807[label="",style="solid", color="black", weight=3];
11.80/4.69	796[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Pos vx770) True vx79",fontsize=16,color="black",shape="box"];796 -> 808[label="",style="solid", color="black", weight=3];
11.80/4.69	798 -> 775[label="",style="dashed", color="red", weight=0];
11.80/4.69	798[label="primPlusNat vx780 Zero",fontsize=16,color="magenta"];798 -> 809[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	797[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg vx770) (primCmpNat (primMulNat Zero vx770) (Succ (Succ vx91)) == LT) vx79",fontsize=16,color="burlywood",shape="triangle"];1121[label="vx770/Succ vx7700",fontsize=10,color="white",style="solid",shape="box"];797 -> 1121[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1121 -> 810[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1122[label="vx770/Zero",fontsize=10,color="white",style="solid",shape="box"];797 -> 1122[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1122 -> 811[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	802[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) (primCmpNat (primMulNat Zero (Succ vx7700)) (Succ Zero) == LT) vx79",fontsize=16,color="black",shape="box"];802 -> 815[label="",style="solid", color="black", weight=3];
11.80/4.69	803[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) (primCmpNat (primMulNat Zero Zero) (Succ Zero) == LT) vx79",fontsize=16,color="black",shape="box"];803 -> 816[label="",style="solid", color="black", weight=3];
11.80/4.69	143[label="vx3 (Neg Zero :% Pos (Succ vx5100)) vx6",fontsize=16,color="green",shape="box"];143 -> 173[label="",style="dashed", color="green", weight=3];
11.80/4.69	143 -> 174[label="",style="dashed", color="green", weight=3];
11.80/4.69	144[label="vx3 (Neg Zero :% Pos Zero) vx6",fontsize=16,color="green",shape="box"];144 -> 175[label="",style="dashed", color="green", weight=3];
11.80/4.69	144 -> 176[label="",style="dashed", color="green", weight=3];
11.80/4.69	145[label="vx3 (Neg Zero :% Neg (Succ vx5100)) vx6",fontsize=16,color="green",shape="box"];145 -> 177[label="",style="dashed", color="green", weight=3];
11.80/4.69	145 -> 178[label="",style="dashed", color="green", weight=3];
11.80/4.69	146[label="vx3 (Neg Zero :% Neg Zero) vx6",fontsize=16,color="green",shape="box"];146 -> 179[label="",style="dashed", color="green", weight=3];
11.80/4.69	146 -> 180[label="",style="dashed", color="green", weight=3];
11.80/4.69	804[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) (primCmpNat (Succ (Succ vx89)) (primMulNat Zero (Succ vx8500)) == LT) vx87",fontsize=16,color="black",shape="box"];804 -> 817[label="",style="solid", color="black", weight=3];
11.80/4.69	805[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) (primCmpNat (Succ (Succ vx89)) (primMulNat Zero Zero) == LT) vx87",fontsize=16,color="black",shape="box"];805 -> 818[label="",style="solid", color="black", weight=3];
11.80/4.69	812[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) (primCmpNat (Succ Zero) Zero == LT) vx87",fontsize=16,color="black",shape="box"];812 -> 826[label="",style="solid", color="black", weight=3];
11.80/4.69	813[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) (primCmpNat (Succ Zero) Zero == LT) vx87",fontsize=16,color="black",shape="box"];813 -> 827[label="",style="solid", color="black", weight=3];
11.80/4.69	814[label="vx83 (Pos (Succ vx84) :% Neg vx850) vx87",fontsize=16,color="green",shape="box"];814 -> 828[label="",style="dashed", color="green", weight=3];
11.80/4.69	814 -> 829[label="",style="dashed", color="green", weight=3];
11.80/4.69	156[label="Pos Zero :% Pos (Succ vx5100)",fontsize=16,color="green",shape="box"];157[label="vx6",fontsize=16,color="green",shape="box"];158[label="Pos Zero :% Pos Zero",fontsize=16,color="green",shape="box"];159[label="vx6",fontsize=16,color="green",shape="box"];160[label="Pos Zero :% Neg (Succ vx5100)",fontsize=16,color="green",shape="box"];161[label="vx6",fontsize=16,color="green",shape="box"];162[label="Pos Zero :% Neg Zero",fontsize=16,color="green",shape="box"];163[label="vx6",fontsize=16,color="green",shape="box"];806[label="Succ vx8800",fontsize=16,color="green",shape="box"];807[label="Zero",fontsize=16,color="green",shape="box"];808 -> 819[label="",style="dashed", color="red", weight=0];
11.80/4.69	808[label="showParen (vx74 > 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))))))))))))))))))))))))))))))))))))))))))))))) . vx75 (`negate` Neg (Succ vx76) :% Pos vx770)) vx79",fontsize=16,color="magenta"];808 -> 820[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	808 -> 821[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	808 -> 822[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	808 -> 823[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	808 -> 824[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	808 -> 825[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	809[label="vx780",fontsize=16,color="green",shape="box"];810[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) (primCmpNat (primMulNat Zero (Succ vx7700)) (Succ (Succ vx91)) == LT) vx79",fontsize=16,color="black",shape="box"];810 -> 830[label="",style="solid", color="black", weight=3];
11.80/4.69	811[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) (primCmpNat (primMulNat Zero Zero) (Succ (Succ vx91)) == LT) vx79",fontsize=16,color="black",shape="box"];811 -> 831[label="",style="solid", color="black", weight=3];
11.80/4.69	815[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) (primCmpNat Zero (Succ Zero) == LT) vx79",fontsize=16,color="black",shape="box"];815 -> 832[label="",style="solid", color="black", weight=3];
11.80/4.69	816[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) (primCmpNat Zero (Succ Zero) == LT) vx79",fontsize=16,color="black",shape="box"];816 -> 833[label="",style="solid", color="black", weight=3];
11.80/4.69	173[label="Neg Zero :% Pos (Succ vx5100)",fontsize=16,color="green",shape="box"];174[label="vx6",fontsize=16,color="green",shape="box"];175[label="Neg Zero :% Pos Zero",fontsize=16,color="green",shape="box"];176[label="vx6",fontsize=16,color="green",shape="box"];177[label="Neg Zero :% Neg (Succ vx5100)",fontsize=16,color="green",shape="box"];178[label="vx6",fontsize=16,color="green",shape="box"];179[label="Neg Zero :% Neg Zero",fontsize=16,color="green",shape="box"];180[label="vx6",fontsize=16,color="green",shape="box"];817[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) (primCmpNat (Succ (Succ vx89)) Zero == LT) vx87",fontsize=16,color="black",shape="box"];817 -> 834[label="",style="solid", color="black", weight=3];
11.80/4.69	818[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) (primCmpNat (Succ (Succ vx89)) Zero == LT) vx87",fontsize=16,color="black",shape="box"];818 -> 835[label="",style="solid", color="black", weight=3];
11.80/4.69	826[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) (GT == LT) vx87",fontsize=16,color="black",shape="triangle"];826 -> 837[label="",style="solid", color="black", weight=3];
11.80/4.69	827[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) (GT == LT) vx87",fontsize=16,color="black",shape="triangle"];827 -> 838[label="",style="solid", color="black", weight=3];
11.80/4.69	828[label="Pos (Succ vx84) :% Neg vx850",fontsize=16,color="green",shape="box"];829[label="vx87",fontsize=16,color="green",shape="box"];820[label="vx770",fontsize=16,color="green",shape="box"];821[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"];822[label="vx75",fontsize=16,color="green",shape="box"];823[label="vx79",fontsize=16,color="green",shape="box"];824[label="vx76",fontsize=16,color="green",shape="box"];825[label="vx74",fontsize=16,color="green",shape="box"];819[label="showParen (vx93 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) vx98",fontsize=16,color="black",shape="triangle"];819 -> 836[label="",style="solid", color="black", weight=3];
11.80/4.69	830[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) (primCmpNat Zero (Succ (Succ vx91)) == LT) vx79",fontsize=16,color="black",shape="box"];830 -> 839[label="",style="solid", color="black", weight=3];
11.80/4.69	831[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) (primCmpNat Zero (Succ (Succ vx91)) == LT) vx79",fontsize=16,color="black",shape="box"];831 -> 840[label="",style="solid", color="black", weight=3];
11.80/4.69	832[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) (LT == LT) vx79",fontsize=16,color="black",shape="triangle"];832 -> 841[label="",style="solid", color="black", weight=3];
11.80/4.69	833[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) (LT == LT) vx79",fontsize=16,color="black",shape="triangle"];833 -> 842[label="",style="solid", color="black", weight=3];
11.80/4.69	834 -> 826[label="",style="dashed", color="red", weight=0];
11.80/4.69	834[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) (GT == LT) vx87",fontsize=16,color="magenta"];835 -> 827[label="",style="dashed", color="red", weight=0];
11.80/4.69	835[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) (GT == LT) vx87",fontsize=16,color="magenta"];837[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) False vx87",fontsize=16,color="black",shape="box"];837 -> 844[label="",style="solid", color="black", weight=3];
11.80/4.69	838[label="showSigned0 vx82 vx83 (Pos (Succ vx84) :% Pos Zero) False vx87",fontsize=16,color="black",shape="box"];838 -> 845[label="",style="solid", color="black", weight=3];
11.80/4.69	836[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (vx93 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vx98",fontsize=16,color="black",shape="box"];836 -> 843[label="",style="solid", color="black", weight=3];
11.80/4.69	839 -> 832[label="",style="dashed", color="red", weight=0];
11.80/4.69	839[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) (LT == LT) vx79",fontsize=16,color="magenta"];840 -> 833[label="",style="dashed", color="red", weight=0];
11.80/4.69	840[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) (LT == LT) vx79",fontsize=16,color="magenta"];841[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg (Succ vx7700)) True vx79",fontsize=16,color="black",shape="box"];841 -> 846[label="",style="solid", color="black", weight=3];
11.80/4.69	842[label="showSigned0 vx74 vx75 (Neg (Succ vx76) :% Neg Zero) True vx79",fontsize=16,color="black",shape="box"];842 -> 847[label="",style="solid", color="black", weight=3];
11.80/4.69	844[label="vx83 (Pos (Succ vx84) :% Pos (Succ vx8500)) vx87",fontsize=16,color="green",shape="box"];844 -> 849[label="",style="dashed", color="green", weight=3];
11.80/4.69	844 -> 850[label="",style="dashed", color="green", weight=3];
11.80/4.69	845[label="vx83 (Pos (Succ vx84) :% Pos Zero) vx87",fontsize=16,color="green",shape="box"];845 -> 851[label="",style="dashed", color="green", weight=3];
11.80/4.69	845 -> 852[label="",style="dashed", color="green", weight=3];
11.80/4.69	843[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (compare vx93 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="black",shape="box"];843 -> 848[label="",style="solid", color="black", weight=3];
11.80/4.69	846[label="showParen (vx74 > 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))))))))))))))))))))))))))))))))))))))))))))))) . vx75 (`negate` Neg (Succ vx76) :% Neg (Succ vx7700))) vx79",fontsize=16,color="black",shape="box"];846 -> 853[label="",style="solid", color="black", weight=3];
11.80/4.69	847 -> 869[label="",style="dashed", color="red", weight=0];
11.80/4.69	847[label="showParen (vx74 > 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))))))))))))))))))))))))))))))))))))))))))))))) . vx75 (`negate` Neg (Succ vx76) :% Neg Zero)) vx79",fontsize=16,color="magenta"];847 -> 870[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	847 -> 871[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	847 -> 872[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	847 -> 873[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	847 -> 874[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	847 -> 875[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	849[label="Pos (Succ vx84) :% Pos (Succ vx8500)",fontsize=16,color="green",shape="box"];850[label="vx87",fontsize=16,color="green",shape="box"];851[label="Pos (Succ vx84) :% Pos Zero",fontsize=16,color="green",shape="box"];852[label="vx87",fontsize=16,color="green",shape="box"];848[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt vx93 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1123[label="vx93/Pos vx930",fontsize=10,color="white",style="solid",shape="box"];848 -> 1123[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1123 -> 860[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1124[label="vx93/Neg vx930",fontsize=10,color="white",style="solid",shape="box"];848 -> 1124[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1124 -> 861[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	853 -> 862[label="",style="dashed", color="red", weight=0];
11.80/4.69	853[label="showParen0 ((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))))))))))))))))))))))))))))))))))))))))))))))) . vx75 (`negate` Neg (Succ vx76) :% Neg (Succ vx7700))) (vx74 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vx79",fontsize=16,color="magenta"];853 -> 863[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	853 -> 864[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	853 -> 865[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	853 -> 866[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	853 -> 867[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	853 -> 868[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	870[label="vx76",fontsize=16,color="green",shape="box"];871[label="vx75",fontsize=16,color="green",shape="box"];872[label="vx79",fontsize=16,color="green",shape="box"];873[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"];874[label="Succ (Succ (Succ (Succ (Succ Zero))))",fontsize=16,color="green",shape="box"];875[label="vx74",fontsize=16,color="green",shape="box"];869[label="showParen (vx113 > Pos (Succ vx114)) ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) vx118",fontsize=16,color="black",shape="triangle"];869 -> 882[label="",style="solid", color="black", weight=3];
11.80/4.69	860[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt (Pos vx930) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1125[label="vx930/Succ vx9300",fontsize=10,color="white",style="solid",shape="box"];860 -> 1125[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1125 -> 883[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1126[label="vx930/Zero",fontsize=10,color="white",style="solid",shape="box"];860 -> 1126[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1126 -> 884[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	861[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt (Neg vx930) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1127[label="vx930/Succ vx9300",fontsize=10,color="white",style="solid",shape="box"];861 -> 1127[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1127 -> 885[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1128[label="vx930/Zero",fontsize=10,color="white",style="solid",shape="box"];861 -> 1128[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1128 -> 886[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	863[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"];864[label="vx7700",fontsize=16,color="green",shape="box"];865[label="vx74",fontsize=16,color="green",shape="box"];866[label="vx79",fontsize=16,color="green",shape="box"];867[label="vx75",fontsize=16,color="green",shape="box"];868[label="vx76",fontsize=16,color="green",shape="box"];862[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (vx110 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vx111",fontsize=16,color="black",shape="triangle"];862 -> 887[label="",style="solid", color="black", weight=3];
11.80/4.69	882[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (vx113 > Pos (Succ vx114)) vx118",fontsize=16,color="black",shape="box"];882 -> 888[label="",style="solid", color="black", weight=3];
11.80/4.69	883[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt (Pos (Succ vx9300)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="black",shape="box"];883 -> 889[label="",style="solid", color="black", weight=3];
11.80/4.69	884[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="black",shape="box"];884 -> 890[label="",style="solid", color="black", weight=3];
11.80/4.69	885[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt (Neg (Succ vx9300)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="black",shape="box"];885 -> 891[label="",style="solid", color="black", weight=3];
11.80/4.69	886[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx98",fontsize=16,color="black",shape="box"];886 -> 892[label="",style="solid", color="black", weight=3];
11.80/4.69	887[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (compare vx110 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="black",shape="box"];887 -> 893[label="",style="solid", color="black", weight=3];
11.80/4.69	888[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (compare vx113 (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="black",shape="box"];888 -> 894[label="",style="solid", color="black", weight=3];
11.80/4.69	889[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat (Succ vx9300) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx98",fontsize=16,color="black",shape="box"];889 -> 895[label="",style="solid", color="black", weight=3];
11.80/4.69	890[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx98",fontsize=16,color="black",shape="box"];890 -> 896[label="",style="solid", color="black", weight=3];
11.80/4.69	891[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (LT == GT) vx98",fontsize=16,color="black",shape="triangle"];891 -> 897[label="",style="solid", color="black", weight=3];
11.80/4.69	892 -> 891[label="",style="dashed", color="red", weight=0];
11.80/4.69	892[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (LT == GT) vx98",fontsize=16,color="magenta"];893[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt vx110 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="burlywood",shape="box"];1129[label="vx110/Pos vx1100",fontsize=10,color="white",style="solid",shape="box"];893 -> 1129[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1129 -> 898[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1130[label="vx110/Neg vx1100",fontsize=10,color="white",style="solid",shape="box"];893 -> 1130[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1130 -> 899[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	894[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt vx113 (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="burlywood",shape="box"];1131[label="vx113/Pos vx1130",fontsize=10,color="white",style="solid",shape="box"];894 -> 1131[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1131 -> 900[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1132[label="vx113/Neg vx1130",fontsize=10,color="white",style="solid",shape="box"];894 -> 1132[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1132 -> 901[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	895[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat vx9300 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1133[label="vx9300/Succ vx93000",fontsize=10,color="white",style="solid",shape="box"];895 -> 1133[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1133 -> 902[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1134[label="vx9300/Zero",fontsize=10,color="white",style="solid",shape="box"];895 -> 1134[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1134 -> 903[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	896 -> 891[label="",style="dashed", color="red", weight=0];
11.80/4.69	896[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (LT == GT) vx98",fontsize=16,color="magenta"];897[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) False vx98",fontsize=16,color="black",shape="box"];897 -> 904[label="",style="solid", color="black", weight=3];
11.80/4.69	898[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt (Pos vx1100) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="burlywood",shape="box"];1135[label="vx1100/Succ vx11000",fontsize=10,color="white",style="solid",shape="box"];898 -> 1135[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1135 -> 905[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1136[label="vx1100/Zero",fontsize=10,color="white",style="solid",shape="box"];898 -> 1136[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1136 -> 906[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	899[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt (Neg vx1100) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="burlywood",shape="box"];1137[label="vx1100/Succ vx11000",fontsize=10,color="white",style="solid",shape="box"];899 -> 1137[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1137 -> 907[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1138[label="vx1100/Zero",fontsize=10,color="white",style="solid",shape="box"];899 -> 1138[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1138 -> 908[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	900[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt (Pos vx1130) (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="burlywood",shape="box"];1139[label="vx1130/Succ vx11300",fontsize=10,color="white",style="solid",shape="box"];900 -> 1139[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1139 -> 909[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1140[label="vx1130/Zero",fontsize=10,color="white",style="solid",shape="box"];900 -> 1140[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1140 -> 910[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	901[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt (Neg vx1130) (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="burlywood",shape="box"];1141[label="vx1130/Succ vx11300",fontsize=10,color="white",style="solid",shape="box"];901 -> 1141[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1141 -> 911[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1142[label="vx1130/Zero",fontsize=10,color="white",style="solid",shape="box"];901 -> 1142[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1142 -> 912[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	902[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat (Succ vx93000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx98",fontsize=16,color="black",shape="box"];902 -> 913[label="",style="solid", color="black", weight=3];
11.80/4.69	903[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx98",fontsize=16,color="black",shape="box"];903 -> 914[label="",style="solid", color="black", weight=3];
11.80/4.69	904[label="(showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)",fontsize=16,color="black",shape="box"];904 -> 915[label="",style="solid", color="black", weight=3];
11.80/4.69	905[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt (Pos (Succ vx11000)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="black",shape="box"];905 -> 916[label="",style="solid", color="black", weight=3];
11.80/4.69	906[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="black",shape="box"];906 -> 917[label="",style="solid", color="black", weight=3];
11.80/4.69	907[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt (Neg (Succ vx11000)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="black",shape="box"];907 -> 918[label="",style="solid", color="black", weight=3];
11.80/4.69	908[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx111",fontsize=16,color="black",shape="box"];908 -> 919[label="",style="solid", color="black", weight=3];
11.80/4.69	909[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt (Pos (Succ vx11300)) (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="black",shape="box"];909 -> 920[label="",style="solid", color="black", weight=3];
11.80/4.69	910[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt (Pos Zero) (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="black",shape="box"];910 -> 921[label="",style="solid", color="black", weight=3];
11.80/4.69	911[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt (Neg (Succ vx11300)) (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="black",shape="box"];911 -> 922[label="",style="solid", color="black", weight=3];
11.80/4.69	912[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpInt (Neg Zero) (Pos (Succ vx114)) == GT) vx118",fontsize=16,color="black",shape="box"];912 -> 923[label="",style="solid", color="black", weight=3];
11.80/4.69	913[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat vx93000 (Succ (Succ (Succ (Succ Zero)))) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1143[label="vx93000/Succ vx930000",fontsize=10,color="white",style="solid",shape="box"];913 -> 1143[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1143 -> 924[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1144[label="vx93000/Zero",fontsize=10,color="white",style="solid",shape="box"];913 -> 1144[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1144 -> 925[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	914 -> 891[label="",style="dashed", color="red", weight=0];
11.80/4.69	914[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (LT == GT) vx98",fontsize=16,color="magenta"];915[label="showChar (Char (Succ vx94)) (vx95 (`negate` Neg (Succ vx96) :% Pos vx97) vx98)",fontsize=16,color="black",shape="box"];915 -> 926[label="",style="solid", color="black", weight=3];
11.80/4.69	916[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat (Succ vx11000) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx111",fontsize=16,color="black",shape="box"];916 -> 927[label="",style="solid", color="black", weight=3];
11.80/4.69	917 -> 928[label="",style="dashed", color="red", weight=0];
11.80/4.69	917[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx111",fontsize=16,color="magenta"];917 -> 929[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	917 -> 930[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	917 -> 931[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	917 -> 932[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	917 -> 933[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	917 -> 934[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	918[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (LT == GT) vx111",fontsize=16,color="black",shape="triangle"];918 -> 935[label="",style="solid", color="black", weight=3];
11.80/4.69	919 -> 918[label="",style="dashed", color="red", weight=0];
11.80/4.69	919[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (LT == GT) vx111",fontsize=16,color="magenta"];920[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat (Succ vx11300) (Succ vx114) == GT) vx118",fontsize=16,color="black",shape="box"];920 -> 936[label="",style="solid", color="black", weight=3];
11.80/4.69	921[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat Zero (Succ vx114) == GT) vx118",fontsize=16,color="black",shape="box"];921 -> 937[label="",style="solid", color="black", weight=3];
11.80/4.69	922[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (LT == GT) vx118",fontsize=16,color="black",shape="triangle"];922 -> 938[label="",style="solid", color="black", weight=3];
11.80/4.69	923 -> 922[label="",style="dashed", color="red", weight=0];
11.80/4.69	923[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (LT == GT) vx118",fontsize=16,color="magenta"];924[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat (Succ vx930000) (Succ (Succ (Succ (Succ Zero)))) == GT) vx98",fontsize=16,color="black",shape="box"];924 -> 939[label="",style="solid", color="black", weight=3];
11.80/4.69	925[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vx98",fontsize=16,color="black",shape="box"];925 -> 940[label="",style="solid", color="black", weight=3];
11.80/4.69	926[label="(:) Char (Succ vx94) vx95 (`negate` Neg (Succ vx96) :% Pos vx97) vx98",fontsize=16,color="green",shape="box"];926 -> 941[label="",style="dashed", color="green", weight=3];
11.80/4.69	927[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat vx11000 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx111",fontsize=16,color="burlywood",shape="box"];1145[label="vx11000/Succ vx110000",fontsize=10,color="white",style="solid",shape="box"];927 -> 1145[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1145 -> 942[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1146[label="vx11000/Zero",fontsize=10,color="white",style="solid",shape="box"];927 -> 1146[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1146 -> 943[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	929[label="vx107",fontsize=16,color="green",shape="box"];930[label="vx108",fontsize=16,color="green",shape="box"];931[label="vx111",fontsize=16,color="green",shape="box"];932[label="vx109",fontsize=16,color="green",shape="box"];933[label="vx106",fontsize=16,color="green",shape="box"];934[label="Succ (Succ (Succ (Succ (Succ Zero))))",fontsize=16,color="green",shape="box"];928[label="showParen0 ((showChar (Char (Succ vx120))) . vx121 (`negate` Neg (Succ vx122) :% Neg (Succ vx123))) (primCmpNat Zero (Succ vx124) == GT) vx125",fontsize=16,color="black",shape="triangle"];928 -> 944[label="",style="solid", color="black", weight=3];
11.80/4.69	935[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) False vx111",fontsize=16,color="black",shape="box"];935 -> 945[label="",style="solid", color="black", weight=3];
11.80/4.69	936[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat vx11300 vx114 == GT) vx118",fontsize=16,color="burlywood",shape="triangle"];1147[label="vx11300/Succ vx113000",fontsize=10,color="white",style="solid",shape="box"];936 -> 1147[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1147 -> 946[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1148[label="vx11300/Zero",fontsize=10,color="white",style="solid",shape="box"];936 -> 1148[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1148 -> 947[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	937 -> 922[label="",style="dashed", color="red", weight=0];
11.80/4.69	937[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (LT == GT) vx118",fontsize=16,color="magenta"];938[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) False vx118",fontsize=16,color="black",shape="triangle"];938 -> 948[label="",style="solid", color="black", weight=3];
11.80/4.69	939[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat vx930000 (Succ (Succ (Succ Zero))) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1149[label="vx930000/Succ vx9300000",fontsize=10,color="white",style="solid",shape="box"];939 -> 1149[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1149 -> 949[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1150[label="vx930000/Zero",fontsize=10,color="white",style="solid",shape="box"];939 -> 1150[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1150 -> 950[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	940 -> 891[label="",style="dashed", color="red", weight=0];
11.80/4.69	940[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (LT == GT) vx98",fontsize=16,color="magenta"];941[label="vx95 (`negate` Neg (Succ vx96) :% Pos vx97) vx98",fontsize=16,color="green",shape="box"];941 -> 951[label="",style="dashed", color="green", weight=3];
11.80/4.69	941 -> 952[label="",style="dashed", color="green", weight=3];
11.80/4.69	942[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat (Succ vx110000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx111",fontsize=16,color="black",shape="box"];942 -> 953[label="",style="solid", color="black", weight=3];
11.80/4.69	943[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx111",fontsize=16,color="black",shape="box"];943 -> 954[label="",style="solid", color="black", weight=3];
11.80/4.69	944 -> 918[label="",style="dashed", color="red", weight=0];
11.80/4.69	944[label="showParen0 ((showChar (Char (Succ vx120))) . vx121 (`negate` Neg (Succ vx122) :% Neg (Succ vx123))) (LT == GT) vx125",fontsize=16,color="magenta"];944 -> 955[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	944 -> 956[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	944 -> 957[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	944 -> 958[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	944 -> 959[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	945[label="(showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))",fontsize=16,color="black",shape="box"];945 -> 960[label="",style="solid", color="black", weight=3];
11.80/4.69	946[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat (Succ vx113000) vx114 == GT) vx118",fontsize=16,color="burlywood",shape="box"];1151[label="vx114/Succ vx1140",fontsize=10,color="white",style="solid",shape="box"];946 -> 1151[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1151 -> 961[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1152[label="vx114/Zero",fontsize=10,color="white",style="solid",shape="box"];946 -> 1152[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1152 -> 962[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	947[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat Zero vx114 == GT) vx118",fontsize=16,color="burlywood",shape="box"];1153[label="vx114/Succ vx1140",fontsize=10,color="white",style="solid",shape="box"];947 -> 1153[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1153 -> 963[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1154[label="vx114/Zero",fontsize=10,color="white",style="solid",shape="box"];947 -> 1154[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1154 -> 964[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	948[label="(showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)",fontsize=16,color="black",shape="box"];948 -> 965[label="",style="solid", color="black", weight=3];
11.80/4.69	949[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat (Succ vx9300000) (Succ (Succ (Succ Zero))) == GT) vx98",fontsize=16,color="black",shape="box"];949 -> 966[label="",style="solid", color="black", weight=3];
11.80/4.69	950[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vx98",fontsize=16,color="black",shape="box"];950 -> 967[label="",style="solid", color="black", weight=3];
11.80/4.69	951[label="`negate` Neg (Succ vx96) :% Pos vx97",fontsize=16,color="black",shape="triangle"];951 -> 968[label="",style="solid", color="black", weight=3];
11.80/4.69	952[label="vx98",fontsize=16,color="green",shape="box"];953[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat vx110000 (Succ (Succ (Succ (Succ Zero)))) == GT) vx111",fontsize=16,color="burlywood",shape="box"];1155[label="vx110000/Succ vx1100000",fontsize=10,color="white",style="solid",shape="box"];953 -> 1155[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1155 -> 969[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1156[label="vx110000/Zero",fontsize=10,color="white",style="solid",shape="box"];953 -> 1156[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1156 -> 970[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	954 -> 918[label="",style="dashed", color="red", weight=0];
11.80/4.69	954[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (LT == GT) vx111",fontsize=16,color="magenta"];955[label="vx120",fontsize=16,color="green",shape="box"];956[label="vx123",fontsize=16,color="green",shape="box"];957[label="vx125",fontsize=16,color="green",shape="box"];958[label="vx121",fontsize=16,color="green",shape="box"];959[label="vx122",fontsize=16,color="green",shape="box"];960[label="showChar (Char (Succ vx106)) (vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109)) vx111)",fontsize=16,color="black",shape="box"];960 -> 971[label="",style="solid", color="black", weight=3];
11.80/4.69	961[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat (Succ vx113000) (Succ vx1140) == GT) vx118",fontsize=16,color="black",shape="box"];961 -> 972[label="",style="solid", color="black", weight=3];
11.80/4.69	962[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat (Succ vx113000) Zero == GT) vx118",fontsize=16,color="black",shape="box"];962 -> 973[label="",style="solid", color="black", weight=3];
11.80/4.69	963[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat Zero (Succ vx1140) == GT) vx118",fontsize=16,color="black",shape="box"];963 -> 974[label="",style="solid", color="black", weight=3];
11.80/4.69	964[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat Zero Zero == GT) vx118",fontsize=16,color="black",shape="box"];964 -> 975[label="",style="solid", color="black", weight=3];
11.80/4.69	965[label="showChar (Char (Succ vx115)) (vx116 (`negate` Neg (Succ vx117) :% Neg Zero) vx118)",fontsize=16,color="black",shape="box"];965 -> 976[label="",style="solid", color="black", weight=3];
11.80/4.69	966 -> 977[label="",style="dashed", color="red", weight=0];
11.80/4.69	966[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (primCmpNat vx9300000 (Succ (Succ Zero)) == GT) vx98",fontsize=16,color="magenta"];966 -> 978[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	967 -> 891[label="",style="dashed", color="red", weight=0];
11.80/4.69	967[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 (`negate` Neg (Succ vx96) :% Pos vx97)) (LT == GT) vx98",fontsize=16,color="magenta"];968[label="(negate Neg (Succ vx96)) :% Pos vx97",fontsize=16,color="green",shape="box"];968 -> 979[label="",style="dashed", color="green", weight=3];
11.80/4.69	969[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat (Succ vx1100000) (Succ (Succ (Succ (Succ Zero)))) == GT) vx111",fontsize=16,color="black",shape="box"];969 -> 980[label="",style="solid", color="black", weight=3];
11.80/4.69	970[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vx111",fontsize=16,color="black",shape="box"];970 -> 981[label="",style="solid", color="black", weight=3];
11.80/4.69	971[label="(:) Char (Succ vx106) vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109)) vx111",fontsize=16,color="green",shape="box"];971 -> 982[label="",style="dashed", color="green", weight=3];
11.80/4.69	972 -> 936[label="",style="dashed", color="red", weight=0];
11.80/4.69	972[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (primCmpNat vx113000 vx1140 == GT) vx118",fontsize=16,color="magenta"];972 -> 983[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	972 -> 984[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	973[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (GT == GT) vx118",fontsize=16,color="black",shape="box"];973 -> 985[label="",style="solid", color="black", weight=3];
11.80/4.69	974 -> 922[label="",style="dashed", color="red", weight=0];
11.80/4.69	974[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (LT == GT) vx118",fontsize=16,color="magenta"];975[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) (EQ == GT) vx118",fontsize=16,color="black",shape="box"];975 -> 986[label="",style="solid", color="black", weight=3];
11.80/4.69	976[label="(:) Char (Succ vx115) vx116 (`negate` Neg (Succ vx117) :% Neg Zero) vx118",fontsize=16,color="green",shape="box"];976 -> 987[label="",style="dashed", color="green", weight=3];
11.80/4.69	978 -> 951[label="",style="dashed", color="red", weight=0];
11.80/4.69	978[label="`negate` Neg (Succ vx96) :% Pos vx97",fontsize=16,color="magenta"];977[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat vx9300000 (Succ (Succ Zero)) == GT) vx98",fontsize=16,color="burlywood",shape="triangle"];1157[label="vx9300000/Succ vx93000000",fontsize=10,color="white",style="solid",shape="box"];977 -> 1157[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1157 -> 988[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1158[label="vx9300000/Zero",fontsize=10,color="white",style="solid",shape="box"];977 -> 1158[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1158 -> 989[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	979[label="negate Neg (Succ vx96)",fontsize=16,color="black",shape="triangle"];979 -> 990[label="",style="solid", color="black", weight=3];
11.80/4.69	980[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat vx1100000 (Succ (Succ (Succ Zero))) == GT) vx111",fontsize=16,color="burlywood",shape="box"];1159[label="vx1100000/Succ vx11000000",fontsize=10,color="white",style="solid",shape="box"];980 -> 1159[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1159 -> 991[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1160[label="vx1100000/Zero",fontsize=10,color="white",style="solid",shape="box"];980 -> 1160[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1160 -> 992[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	981 -> 918[label="",style="dashed", color="red", weight=0];
11.80/4.69	981[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (LT == GT) vx111",fontsize=16,color="magenta"];982[label="vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109)) vx111",fontsize=16,color="green",shape="box"];982 -> 993[label="",style="dashed", color="green", weight=3];
11.80/4.69	982 -> 994[label="",style="dashed", color="green", weight=3];
11.80/4.69	983[label="vx1140",fontsize=16,color="green",shape="box"];984[label="vx113000",fontsize=16,color="green",shape="box"];985[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) True vx118",fontsize=16,color="black",shape="box"];985 -> 995[label="",style="solid", color="black", weight=3];
11.80/4.69	986 -> 938[label="",style="dashed", color="red", weight=0];
11.80/4.69	986[label="showParen0 ((showChar (Char (Succ vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg Zero)) False vx118",fontsize=16,color="magenta"];987[label="vx116 (`negate` Neg (Succ vx117) :% Neg Zero) vx118",fontsize=16,color="green",shape="box"];987 -> 996[label="",style="dashed", color="green", weight=3];
11.80/4.69	987 -> 997[label="",style="dashed", color="green", weight=3];
11.80/4.69	988[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat (Succ vx93000000) (Succ (Succ Zero)) == GT) vx98",fontsize=16,color="black",shape="box"];988 -> 998[label="",style="solid", color="black", weight=3];
11.80/4.69	989[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat Zero (Succ (Succ Zero)) == GT) vx98",fontsize=16,color="black",shape="box"];989 -> 999[label="",style="solid", color="black", weight=3];
11.80/4.69	990[label="primNegInt (Neg (Succ vx96))",fontsize=16,color="black",shape="box"];990 -> 1000[label="",style="solid", color="black", weight=3];
11.80/4.69	991[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat (Succ vx11000000) (Succ (Succ (Succ Zero))) == GT) vx111",fontsize=16,color="black",shape="box"];991 -> 1001[label="",style="solid", color="black", weight=3];
11.80/4.69	992[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vx111",fontsize=16,color="black",shape="box"];992 -> 1002[label="",style="solid", color="black", weight=3];
11.80/4.69	993[label="`negate` Neg (Succ vx108) :% Neg (Succ vx109)",fontsize=16,color="black",shape="triangle"];993 -> 1003[label="",style="solid", color="black", weight=3];
11.80/4.69	994[label="vx111",fontsize=16,color="green",shape="box"];995 -> 1037[label="",style="dashed", color="red", weight=0];
11.80/4.69	995[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 vx115))) . vx116 (`negate` Neg (Succ vx117) :% Neg 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 Zero))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];995 -> 1038[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	995 -> 1039[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	995 -> 1040[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	995 -> 1041[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	995 -> 1042[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	995 -> 1043[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	996[label="`negate` Neg (Succ vx117) :% Neg Zero",fontsize=16,color="black",shape="triangle"];996 -> 1010[label="",style="solid", color="black", weight=3];
11.80/4.69	997[label="vx118",fontsize=16,color="green",shape="box"];998[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat vx93000000 (Succ Zero) == GT) vx98",fontsize=16,color="burlywood",shape="box"];1161[label="vx93000000/Succ vx930000000",fontsize=10,color="white",style="solid",shape="box"];998 -> 1161[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1161 -> 1011[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1162[label="vx93000000/Zero",fontsize=10,color="white",style="solid",shape="box"];998 -> 1162[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1162 -> 1012[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	999[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (LT == GT) vx98",fontsize=16,color="black",shape="triangle"];999 -> 1013[label="",style="solid", color="black", weight=3];
11.80/4.69	1000[label="Pos (Succ vx96)",fontsize=16,color="green",shape="box"];1001 -> 977[label="",style="dashed", color="red", weight=0];
11.80/4.69	1001[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (primCmpNat vx11000000 (Succ (Succ Zero)) == GT) vx111",fontsize=16,color="magenta"];1001 -> 1014[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1001 -> 1015[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1001 -> 1016[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1001 -> 1017[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1001 -> 1018[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1002 -> 999[label="",style="dashed", color="red", weight=0];
11.80/4.69	1002[label="showParen0 ((showChar (Char (Succ vx106))) . vx107 (`negate` Neg (Succ vx108) :% Neg (Succ vx109))) (LT == GT) vx111",fontsize=16,color="magenta"];1002 -> 1019[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1002 -> 1020[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1002 -> 1021[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1002 -> 1022[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1003[label="(negate Neg (Succ vx108)) :% Neg (Succ vx109)",fontsize=16,color="green",shape="box"];1003 -> 1023[label="",style="dashed", color="green", weight=3];
11.80/4.69	1038[label="vx118",fontsize=16,color="green",shape="box"];1039[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"];1040[label="vx116",fontsize=16,color="green",shape="box"];1041[label="vx115",fontsize=16,color="green",shape="box"];1042 -> 996[label="",style="dashed", color="red", weight=0];
11.80/4.69	1042[label="`negate` Neg (Succ vx117) :% Neg Zero",fontsize=16,color="magenta"];1043[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"];1037[label="(showChar (Char (Succ vx134))) . ((showChar (Char (Succ vx135))) . vx136 vx140) . showChar (Char (Succ vx138))",fontsize=16,color="black",shape="triangle"];1037 -> 1045[label="",style="solid", color="black", weight=3];
11.80/4.69	1010[label="(negate Neg (Succ vx117)) :% Neg Zero",fontsize=16,color="green",shape="box"];1010 -> 1046[label="",style="dashed", color="green", weight=3];
11.80/4.69	1011[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat (Succ vx930000000) (Succ Zero) == GT) vx98",fontsize=16,color="black",shape="box"];1011 -> 1047[label="",style="solid", color="black", weight=3];
11.80/4.69	1012[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat Zero (Succ Zero) == GT) vx98",fontsize=16,color="black",shape="box"];1012 -> 1048[label="",style="solid", color="black", weight=3];
11.80/4.69	1013[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) False vx98",fontsize=16,color="black",shape="triangle"];1013 -> 1049[label="",style="solid", color="black", weight=3];
11.80/4.69	1014[label="vx11000000",fontsize=16,color="green",shape="box"];1015[label="vx106",fontsize=16,color="green",shape="box"];1016 -> 993[label="",style="dashed", color="red", weight=0];
11.80/4.69	1016[label="`negate` Neg (Succ vx108) :% Neg (Succ vx109)",fontsize=16,color="magenta"];1017[label="vx107",fontsize=16,color="green",shape="box"];1018[label="vx111",fontsize=16,color="green",shape="box"];1019[label="vx106",fontsize=16,color="green",shape="box"];1020 -> 993[label="",style="dashed", color="red", weight=0];
11.80/4.69	1020[label="`negate` Neg (Succ vx108) :% Neg (Succ vx109)",fontsize=16,color="magenta"];1021[label="vx107",fontsize=16,color="green",shape="box"];1022[label="vx111",fontsize=16,color="green",shape="box"];1023 -> 979[label="",style="dashed", color="red", weight=0];
11.80/4.69	1023[label="negate Neg (Succ vx108)",fontsize=16,color="magenta"];1023 -> 1050[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1045[label="showChar (Char (Succ vx134)) (((showChar (Char (Succ vx135))) . vx136 vx140) . showChar (Char (Succ vx138)))",fontsize=16,color="black",shape="box"];1045 -> 1051[label="",style="solid", color="black", weight=3];
11.80/4.69	1046 -> 979[label="",style="dashed", color="red", weight=0];
11.80/4.69	1046[label="negate Neg (Succ vx117)",fontsize=16,color="magenta"];1046 -> 1052[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1047[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat vx930000000 Zero == GT) vx98",fontsize=16,color="burlywood",shape="box"];1163[label="vx930000000/Succ vx9300000000",fontsize=10,color="white",style="solid",shape="box"];1047 -> 1163[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1163 -> 1053[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1164[label="vx930000000/Zero",fontsize=10,color="white",style="solid",shape="box"];1047 -> 1164[label="",style="solid", color="burlywood", weight=9];
11.80/4.69	1164 -> 1054[label="",style="solid", color="burlywood", weight=3];
11.80/4.69	1048 -> 999[label="",style="dashed", color="red", weight=0];
11.80/4.69	1048[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (LT == GT) vx98",fontsize=16,color="magenta"];1049[label="(showChar (Char (Succ vx94))) . vx95 vx126",fontsize=16,color="black",shape="triangle"];1049 -> 1055[label="",style="solid", color="black", weight=3];
11.80/4.69	1050[label="vx108",fontsize=16,color="green",shape="box"];1051[label="(:) Char (Succ vx134) ((showChar (Char (Succ vx135))) . vx136 vx140) . showChar (Char (Succ vx138))",fontsize=16,color="green",shape="box"];1051 -> 1056[label="",style="dashed", color="green", weight=3];
11.80/4.69	1052[label="vx117",fontsize=16,color="green",shape="box"];1053[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat (Succ vx9300000000) Zero == GT) vx98",fontsize=16,color="black",shape="box"];1053 -> 1057[label="",style="solid", color="black", weight=3];
11.80/4.69	1054[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (primCmpNat Zero Zero == GT) vx98",fontsize=16,color="black",shape="box"];1054 -> 1058[label="",style="solid", color="black", weight=3];
11.80/4.69	1055[label="showChar (Char (Succ vx94)) (vx95 vx126 vx98)",fontsize=16,color="black",shape="box"];1055 -> 1059[label="",style="solid", color="black", weight=3];
11.80/4.69	1056[label="((showChar (Char (Succ vx135))) . vx136 vx140) . showChar (Char (Succ vx138))",fontsize=16,color="black",shape="box"];1056 -> 1060[label="",style="solid", color="black", weight=3];
11.80/4.69	1057[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (GT == GT) vx98",fontsize=16,color="black",shape="box"];1057 -> 1061[label="",style="solid", color="black", weight=3];
11.80/4.69	1058[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) (EQ == GT) vx98",fontsize=16,color="black",shape="box"];1058 -> 1062[label="",style="solid", color="black", weight=3];
11.80/4.69	1059[label="(:) Char (Succ vx94) vx95 vx126 vx98",fontsize=16,color="green",shape="box"];1059 -> 1063[label="",style="dashed", color="green", weight=3];
11.80/4.69	1060 -> 1049[label="",style="dashed", color="red", weight=0];
11.80/4.69	1060[label="(showChar (Char (Succ vx135))) . vx136 vx140",fontsize=16,color="magenta"];1060 -> 1064[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1060 -> 1065[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1060 -> 1066[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1060 -> 1067[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1061[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) True vx98",fontsize=16,color="black",shape="box"];1061 -> 1068[label="",style="solid", color="black", weight=3];
11.80/4.69	1062 -> 1013[label="",style="dashed", color="red", weight=0];
11.80/4.69	1062[label="showParen0 ((showChar (Char (Succ vx94))) . vx95 vx126) False vx98",fontsize=16,color="magenta"];1063[label="vx95 vx126 vx98",fontsize=16,color="green",shape="box"];1063 -> 1069[label="",style="dashed", color="green", weight=3];
11.80/4.69	1063 -> 1070[label="",style="dashed", color="green", weight=3];
11.80/4.69	1064[label="vx135",fontsize=16,color="green",shape="box"];1065[label="vx140",fontsize=16,color="green",shape="box"];1066[label="vx136",fontsize=16,color="green",shape="box"];1067[label="showChar (Char (Succ vx138)) vx139",fontsize=16,color="black",shape="box"];1067 -> 1071[label="",style="solid", color="black", weight=3];
11.80/4.69	1068 -> 1037[label="",style="dashed", color="red", weight=0];
11.80/4.69	1068[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 vx94))) . vx95 vx126) . 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"];1068 -> 1072[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1068 -> 1073[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1068 -> 1074[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1068 -> 1075[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1068 -> 1076[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1068 -> 1077[label="",style="dashed", color="magenta", weight=3];
11.80/4.69	1069[label="vx126",fontsize=16,color="green",shape="box"];1070[label="vx98",fontsize=16,color="green",shape="box"];1071[label="(:) Char (Succ vx138) vx139",fontsize=16,color="green",shape="box"];1072[label="vx98",fontsize=16,color="green",shape="box"];1073[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"];1074[label="vx95",fontsize=16,color="green",shape="box"];1075[label="vx94",fontsize=16,color="green",shape="box"];1076[label="vx126",fontsize=16,color="green",shape="box"];1077[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"];}
11.80/4.69	
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(10)
11.80/4.69	Complex Obligation (AND)
11.80/4.69	
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(11)
11.80/4.69	Obligation:
11.80/4.69	Q DP problem:
11.80/4.69	The TRS P consists of the following rules:
11.80/4.69	
11.80/4.69	   new_showParen0(vx115, vx116, vx117, Succ(vx113000), Succ(vx1140), vx118) -> new_showParen0(vx115, vx116, vx117, vx113000, vx1140, vx118)
11.80/4.69	
11.80/4.69	R is empty.
11.80/4.69	Q is empty.
11.80/4.69	We have to consider all minimal (P,Q,R)-chains.
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(12) QDPSizeChangeProof (EQUIVALENT)
11.80/4.69	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
11.80/4.69	
11.80/4.69	From the DPs we obtained the following set of size-change graphs:
11.80/4.69	*new_showParen0(vx115, vx116, vx117, Succ(vx113000), Succ(vx1140), vx118) -> new_showParen0(vx115, vx116, vx117, vx113000, vx1140, vx118)
11.80/4.69	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5, 6 >= 6
11.80/4.69	
11.80/4.69	
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(13)
11.80/4.69	YES
11.80/4.69	
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(14)
11.80/4.69	Obligation:
11.80/4.69	Q DP problem:
11.80/4.69	The TRS P consists of the following rules:
11.80/4.69	
11.80/4.69	   new_primMulNat(Succ(vx50000)) -> new_primMulNat(vx50000)
11.80/4.69	
11.80/4.69	R is empty.
11.80/4.69	Q is empty.
11.80/4.69	We have to consider all minimal (P,Q,R)-chains.
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(15) QDPSizeChangeProof (EQUIVALENT)
11.80/4.69	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
11.80/4.69	
11.80/4.69	From the DPs we obtained the following set of size-change graphs:
11.80/4.69	*new_primMulNat(Succ(vx50000)) -> new_primMulNat(vx50000)
11.80/4.69	The graph contains the following edges 1 > 1
11.80/4.69	
11.80/4.69	
11.80/4.69	----------------------------------------
11.80/4.69	
11.80/4.69	(16)
11.80/4.69	YES
12.01/4.72	EOF