9.06/3.82	YES
10.91/4.34	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
10.91/4.34	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
10.91/4.34	
10.91/4.34	
10.91/4.34	H-Termination with start terms of the given HASKELL could be proven:
10.91/4.34	
10.91/4.34	(0) HASKELL
10.91/4.34	(1) BR [EQUIVALENT, 0 ms]
10.91/4.34	(2) HASKELL
10.91/4.34	(3) COR [EQUIVALENT, 0 ms]
10.91/4.34	(4) HASKELL
10.91/4.34	(5) NumRed [SOUND, 0 ms]
10.91/4.34	(6) HASKELL
10.91/4.34	(7) Narrow [SOUND, 0 ms]
10.91/4.34	(8) AND
10.91/4.34	    (9) QDP
10.91/4.34	        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
10.91/4.34	        (11) YES
10.91/4.34	    (12) QDP
10.91/4.34	        (13) QDPSizeChangeProof [EQUIVALENT, 0 ms]
10.91/4.34	        (14) YES
10.91/4.34	    (15) QDP
10.91/4.34	        (16) QDPSizeChangeProof [EQUIVALENT, 0 ms]
10.91/4.34	        (17) YES
10.91/4.34	    (18) QDP
10.91/4.34	        (19) QDPSizeChangeProof [EQUIVALENT, 0 ms]
10.91/4.34	        (20) YES
10.91/4.34	    (21) QDP
10.91/4.34	        (22) QDPSizeChangeProof [EQUIVALENT, 0 ms]
10.91/4.34	        (23) YES
10.91/4.34	
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(0)
10.91/4.34	Obligation:
10.91/4.34	mainModule Main 
10.91/4.34	module Main where {
10.91/4.34	import qualified Prelude;
10.91/4.34	}
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(1) BR (EQUIVALENT)
10.91/4.34	Replaced joker patterns by fresh variables and removed binding patterns.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(2)
10.91/4.34	Obligation:
10.91/4.34	mainModule Main 
10.91/4.34	module Main where {
10.91/4.34	import qualified Prelude;
10.91/4.34	}
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(3) COR (EQUIVALENT)
10.91/4.34	Cond Reductions:
10.91/4.34	The following Function with conditions
10.91/4.34	"undefined |Falseundefined;
10.91/4.34	"
10.91/4.34	is transformed to
10.91/4.34	"undefined  = undefined1;
10.91/4.34	"
10.91/4.34	"undefined0 True = undefined;
10.91/4.34	"
10.91/4.34	"undefined1  = undefined0 False;
10.91/4.34	"
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(4)
10.91/4.34	Obligation:
10.91/4.34	mainModule Main 
10.91/4.34	module Main where {
10.91/4.34	import qualified Prelude;
10.91/4.34	}
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(5) NumRed (SOUND)
10.91/4.34	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(6)
10.91/4.34	Obligation:
10.91/4.34	mainModule Main 
10.91/4.34	module Main where {
10.91/4.34	import qualified Prelude;
10.91/4.34	}
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(7) Narrow (SOUND)
10.91/4.34	Haskell To QDPs
10.91/4.34	
10.91/4.34	digraph dp_graph {
10.91/4.34	node [outthreshold=100, inthreshold=100];1[label="tanh",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
10.91/4.34	3[label="tanh vx3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
10.91/4.34	4[label="sinh vx3 / cosh vx3",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
10.91/4.34	5[label="primDivFloat (sinh vx3) (cosh vx3)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
10.91/4.34	6[label="primDivFloat ((exp vx3 - exp (`negate` vx3)) / fromInt (Pos (Succ (Succ Zero)))) (cosh vx3)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
10.91/4.34	7[label="primDivFloat (primDivFloat (exp vx3 - exp (`negate` vx3)) (fromInt (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
10.91/4.34	8 -> 18[label="",style="dashed", color="red", weight=0];
10.91/4.34	8[label="primDivFloat (primDivFloat (primMinusFloat (exp vx3) (exp (`negate` vx3))) (fromInt (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="magenta"];8 -> 19[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	8 -> 20[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	19[label="exp (`negate` vx3)",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3];
10.91/4.34	20[label="exp vx3",fontsize=16,color="black",shape="triangle"];20 -> 23[label="",style="solid", color="black", weight=3];
10.91/4.34	18[label="primDivFloat (primDivFloat (primMinusFloat vx4 vx5) (fromInt (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="burlywood",shape="triangle"];1222[label="vx4/Float vx40 vx41",fontsize=10,color="white",style="solid",shape="box"];18 -> 1222[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1222 -> 24[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	22[label="primExpFloat (`negate` vx3)",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3];
10.91/4.34	23[label="primExpFloat vx3",fontsize=16,color="black",shape="box"];23 -> 26[label="",style="solid", color="black", weight=3];
10.91/4.34	24[label="primDivFloat (primDivFloat (primMinusFloat (Float vx40 vx41) vx5) (fromInt (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="burlywood",shape="box"];1223[label="vx5/Float vx50 vx51",fontsize=10,color="white",style="solid",shape="box"];24 -> 1223[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1223 -> 27[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	25[label="terminator (`negate` vx3)",fontsize=16,color="black",shape="box"];25 -> 28[label="",style="solid", color="black", weight=3];
10.91/4.34	26[label="terminator vx3",fontsize=16,color="black",shape="box"];26 -> 29[label="",style="solid", color="black", weight=3];
10.91/4.34	27[label="primDivFloat (primDivFloat (primMinusFloat (Float vx40 vx41) (Float vx50 vx51)) (fromInt (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="black",shape="box"];27 -> 30[label="",style="solid", color="black", weight=3];
10.91/4.34	28[label="ter1m (`negate` vx3)",fontsize=16,color="green",shape="box"];28 -> 31[label="",style="dashed", color="green", weight=3];
10.91/4.34	29[label="ter2m vx3",fontsize=16,color="green",shape="box"];29 -> 32[label="",style="dashed", color="green", weight=3];
10.91/4.34	30[label="primDivFloat (primDivFloat (Float (vx40 * vx51 - vx50 * vx41) (vx41 * vx51)) (fromInt (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="black",shape="box"];30 -> 33[label="",style="solid", color="black", weight=3];
10.91/4.34	31[label="`negate` vx3",fontsize=16,color="black",shape="triangle"];31 -> 34[label="",style="solid", color="black", weight=3];
10.91/4.34	32[label="vx3",fontsize=16,color="green",shape="box"];33[label="primDivFloat (primDivFloat (Float (vx40 * vx51 - vx50 * vx41) (vx41 * vx51)) (primIntToFloat (Pos (Succ (Succ Zero))))) (cosh vx3)",fontsize=16,color="black",shape="box"];33 -> 35[label="",style="solid", color="black", weight=3];
10.91/4.34	34[label="primNegFloat vx3",fontsize=16,color="burlywood",shape="box"];1224[label="vx3/Float vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];34 -> 1224[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1224 -> 36[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	35[label="primDivFloat (primDivFloat (Float (vx40 * vx51 - vx50 * vx41) (vx41 * vx51)) (Float (Pos (Succ (Succ Zero))) (Pos (Succ Zero)))) (cosh vx3)",fontsize=16,color="black",shape="box"];35 -> 37[label="",style="solid", color="black", weight=3];
10.91/4.34	36[label="primNegFloat (Float vx30 vx31)",fontsize=16,color="black",shape="box"];36 -> 38[label="",style="solid", color="black", weight=3];
10.91/4.34	37[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (cosh vx3)",fontsize=16,color="black",shape="box"];37 -> 39[label="",style="solid", color="black", weight=3];
10.91/4.34	38[label="Float (`negate` vx30) vx31",fontsize=16,color="green",shape="box"];38 -> 40[label="",style="dashed", color="green", weight=3];
10.91/4.34	39 -> 41[label="",style="dashed", color="red", weight=0];
10.91/4.34	39[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) ((exp vx3 + exp (`negate` vx3)) / fromInt (Pos (Succ (Succ Zero))))",fontsize=16,color="magenta"];39 -> 42[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	39 -> 43[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	40[label="`negate` vx30",fontsize=16,color="black",shape="box"];40 -> 44[label="",style="solid", color="black", weight=3];
10.91/4.34	42 -> 20[label="",style="dashed", color="red", weight=0];
10.91/4.34	42[label="exp vx3",fontsize=16,color="magenta"];43 -> 20[label="",style="dashed", color="red", weight=0];
10.91/4.34	43[label="exp (`negate` vx3)",fontsize=16,color="magenta"];43 -> 45[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	41[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) ((vx7 + vx6) / fromInt (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="triangle"];41 -> 46[label="",style="solid", color="black", weight=3];
10.91/4.34	44[label="primNegInt vx30",fontsize=16,color="burlywood",shape="box"];1225[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];44 -> 1225[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1225 -> 47[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1226[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];44 -> 1226[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1226 -> 48[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	45 -> 31[label="",style="dashed", color="red", weight=0];
10.91/4.34	45[label="`negate` vx3",fontsize=16,color="magenta"];46[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (vx7 + vx6) (fromInt (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];46 -> 49[label="",style="solid", color="black", weight=3];
10.91/4.34	47[label="primNegInt (Pos vx300)",fontsize=16,color="black",shape="box"];47 -> 50[label="",style="solid", color="black", weight=3];
10.91/4.34	48[label="primNegInt (Neg vx300)",fontsize=16,color="black",shape="box"];48 -> 51[label="",style="solid", color="black", weight=3];
10.91/4.34	49[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (primPlusFloat vx7 vx6) (fromInt (Pos (Succ (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];1227[label="vx7/Float vx70 vx71",fontsize=10,color="white",style="solid",shape="box"];49 -> 1227[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1227 -> 52[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	50[label="Neg vx300",fontsize=16,color="green",shape="box"];51[label="Pos vx300",fontsize=16,color="green",shape="box"];52[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (primPlusFloat (Float vx70 vx71) vx6) (fromInt (Pos (Succ (Succ Zero)))))",fontsize=16,color="burlywood",shape="box"];1228[label="vx6/Float vx60 vx61",fontsize=10,color="white",style="solid",shape="box"];52 -> 1228[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1228 -> 53[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	53[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (primPlusFloat (Float vx70 vx71) (Float vx60 vx61)) (fromInt (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];53 -> 54[label="",style="solid", color="black", weight=3];
10.91/4.34	54[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (Float (vx70 * vx61 + vx60 * vx71) (vx71 * vx61)) (fromInt (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];54 -> 55[label="",style="solid", color="black", weight=3];
10.91/4.34	55[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (Float (vx70 * vx61 + vx60 * vx71) (vx71 * vx61)) (primIntToFloat (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];55 -> 56[label="",style="solid", color="black", weight=3];
10.91/4.34	56[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (primDivFloat (Float (vx70 * vx61 + vx60 * vx71) (vx71 * vx61)) (Float (Pos (Succ (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];56 -> 57[label="",style="solid", color="black", weight=3];
10.91/4.34	57[label="primDivFloat (Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx41 * vx51 * Pos (Succ (Succ Zero)))) (Float ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero)) (vx71 * vx61 * Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];57 -> 58[label="",style="solid", color="black", weight=3];
10.91/4.34	58[label="Float ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero) * (vx71 * vx61 * Pos (Succ (Succ Zero)))) (vx41 * vx51 * Pos (Succ (Succ Zero)) * ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];58 -> 59[label="",style="dashed", color="green", weight=3];
10.91/4.34	58 -> 60[label="",style="dashed", color="green", weight=3];
10.91/4.34	59[label="(vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero) * (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];59 -> 61[label="",style="solid", color="black", weight=3];
10.91/4.34	60[label="vx41 * vx51 * Pos (Succ (Succ Zero)) * ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];60 -> 62[label="",style="solid", color="black", weight=3];
10.91/4.34	61[label="primMulInt ((vx40 * vx51 - vx50 * vx41) * Pos (Succ Zero)) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];61 -> 63[label="",style="solid", color="black", weight=3];
10.91/4.34	62[label="primMulInt (vx41 * vx51 * Pos (Succ (Succ Zero))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];62 -> 64[label="",style="solid", color="black", weight=3];
10.91/4.34	63[label="primMulInt (primMulInt (vx40 * vx51 - vx50 * vx41) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];63 -> 65[label="",style="solid", color="black", weight=3];
10.91/4.34	64[label="primMulInt (primMulInt (vx41 * vx51) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];64 -> 66[label="",style="solid", color="black", weight=3];
10.91/4.34	65[label="primMulInt (primMulInt (primMinusInt (vx40 * vx51) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];65 -> 67[label="",style="solid", color="black", weight=3];
10.91/4.34	66[label="primMulInt (primMulInt (primMulInt vx41 vx51) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1229[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];66 -> 1229[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1229 -> 68[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1230[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];66 -> 1230[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1230 -> 69[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	67[label="primMulInt (primMulInt (primMinusInt (primMulInt vx40 vx51) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1231[label="vx40/Pos vx400",fontsize=10,color="white",style="solid",shape="box"];67 -> 1231[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1231 -> 70[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1232[label="vx40/Neg vx400",fontsize=10,color="white",style="solid",shape="box"];67 -> 1232[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1232 -> 71[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	68[label="primMulInt (primMulInt (primMulInt (Pos vx410) vx51) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1233[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];68 -> 1233[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1233 -> 72[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1234[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];68 -> 1234[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1234 -> 73[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	69[label="primMulInt (primMulInt (primMulInt (Neg vx410) vx51) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1235[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];69 -> 1235[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1235 -> 74[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1236[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];69 -> 1236[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1236 -> 75[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	70[label="primMulInt (primMulInt (primMinusInt (primMulInt (Pos vx400) vx51) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1237[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];70 -> 1237[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1237 -> 76[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1238[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];70 -> 1238[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1238 -> 77[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	71[label="primMulInt (primMulInt (primMinusInt (primMulInt (Neg vx400) vx51) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1239[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];71 -> 1239[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1239 -> 78[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1240[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];71 -> 1240[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1240 -> 79[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	72[label="primMulInt (primMulInt (primMulInt (Pos vx410) (Pos vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];72 -> 80[label="",style="solid", color="black", weight=3];
10.91/4.34	73[label="primMulInt (primMulInt (primMulInt (Pos vx410) (Neg vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];73 -> 81[label="",style="solid", color="black", weight=3];
10.91/4.34	74[label="primMulInt (primMulInt (primMulInt (Neg vx410) (Pos vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];74 -> 82[label="",style="solid", color="black", weight=3];
10.91/4.34	75[label="primMulInt (primMulInt (primMulInt (Neg vx410) (Neg vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];75 -> 83[label="",style="solid", color="black", weight=3];
10.91/4.34	76[label="primMulInt (primMulInt (primMinusInt (primMulInt (Pos vx400) (Pos vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];76 -> 84[label="",style="solid", color="black", weight=3];
10.91/4.34	77[label="primMulInt (primMulInt (primMinusInt (primMulInt (Pos vx400) (Neg vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];77 -> 85[label="",style="solid", color="black", weight=3];
10.91/4.34	78[label="primMulInt (primMulInt (primMinusInt (primMulInt (Neg vx400) (Pos vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];78 -> 86[label="",style="solid", color="black", weight=3];
10.91/4.34	79[label="primMulInt (primMulInt (primMinusInt (primMulInt (Neg vx400) (Neg vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];79 -> 87[label="",style="solid", color="black", weight=3];
10.91/4.34	80[label="primMulInt (primMulInt (Pos (primMulNat vx410 vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];80 -> 88[label="",style="solid", color="black", weight=3];
10.91/4.34	81[label="primMulInt (primMulInt (Neg (primMulNat vx410 vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];81 -> 89[label="",style="solid", color="black", weight=3];
10.91/4.34	82 -> 81[label="",style="dashed", color="red", weight=0];
10.91/4.34	82[label="primMulInt (primMulInt (Neg (primMulNat vx410 vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="magenta"];82 -> 90[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	82 -> 91[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	83 -> 80[label="",style="dashed", color="red", weight=0];
10.91/4.34	83[label="primMulInt (primMulInt (Pos (primMulNat vx410 vx510)) (Pos (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="magenta"];83 -> 92[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	83 -> 93[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	84[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];84 -> 94[label="",style="solid", color="black", weight=3];
10.91/4.34	85[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];85 -> 95[label="",style="solid", color="black", weight=3];
10.91/4.34	86 -> 85[label="",style="dashed", color="red", weight=0];
10.91/4.34	86[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];86 -> 96[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	86 -> 97[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	87 -> 84[label="",style="dashed", color="red", weight=0];
10.91/4.34	87[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (vx50 * vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];87 -> 98[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	87 -> 99[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	88 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	88[label="primMulInt (Pos (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="magenta"];88 -> 963[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	88 -> 964[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	89[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) ((vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero))",fontsize=16,color="black",shape="box"];89 -> 101[label="",style="solid", color="black", weight=3];
10.91/4.34	90[label="vx510",fontsize=16,color="green",shape="box"];91[label="vx410",fontsize=16,color="green",shape="box"];92[label="vx510",fontsize=16,color="green",shape="box"];93[label="vx410",fontsize=16,color="green",shape="box"];94[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt vx50 vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1241[label="vx50/Pos vx500",fontsize=10,color="white",style="solid",shape="box"];94 -> 1241[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1241 -> 102[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1242[label="vx50/Neg vx500",fontsize=10,color="white",style="solid",shape="box"];94 -> 1242[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1242 -> 103[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	95[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt vx50 vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1243[label="vx50/Pos vx500",fontsize=10,color="white",style="solid",shape="box"];95 -> 1243[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1243 -> 104[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1244[label="vx50/Neg vx500",fontsize=10,color="white",style="solid",shape="box"];95 -> 1244[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1244 -> 105[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	96[label="vx510",fontsize=16,color="green",shape="box"];97[label="vx400",fontsize=16,color="green",shape="box"];98[label="vx510",fontsize=16,color="green",shape="box"];99[label="vx400",fontsize=16,color="green",shape="box"];963[label="(vx70 * vx61 + vx60 * vx71) * Pos (Succ Zero)",fontsize=16,color="black",shape="box"];963 -> 1048[label="",style="solid", color="black", weight=3];
10.91/4.34	964 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	964[label="primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero))",fontsize=16,color="magenta"];964 -> 1049[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	964 -> 1050[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	962[label="primMulInt (Pos vx10) vx44",fontsize=16,color="burlywood",shape="triangle"];1245[label="vx44/Pos vx440",fontsize=10,color="white",style="solid",shape="box"];962 -> 1245[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1245 -> 1051[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1246[label="vx44/Neg vx440",fontsize=10,color="white",style="solid",shape="box"];962 -> 1246[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1246 -> 1052[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	101[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (vx70 * vx61 + vx60 * vx71) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];101 -> 107[label="",style="solid", color="black", weight=3];
10.91/4.34	102[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt (Pos vx500) vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1247[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];102 -> 1247[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1247 -> 108[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1248[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];102 -> 1248[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1248 -> 109[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	103[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt (Neg vx500) vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1249[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];103 -> 1249[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1249 -> 110[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1250[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];103 -> 1250[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1250 -> 111[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	104[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt (Pos vx500) vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1251[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];104 -> 1251[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1251 -> 112[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1252[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];104 -> 1252[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1252 -> 113[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	105[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt (Neg vx500) vx41)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1253[label="vx41/Pos vx410",fontsize=10,color="white",style="solid",shape="box"];105 -> 1253[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1253 -> 114[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1254[label="vx41/Neg vx410",fontsize=10,color="white",style="solid",shape="box"];105 -> 1254[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1254 -> 115[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1048[label="primMulInt (vx70 * vx61 + vx60 * vx71) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1048 -> 1072[label="",style="solid", color="black", weight=3];
10.91/4.34	1049[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];1050 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1050[label="primMulNat vx410 vx510",fontsize=16,color="magenta"];1050 -> 1073[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1050 -> 1074[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	460[label="primMulNat vx500 vx410",fontsize=16,color="burlywood",shape="triangle"];1255[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];460 -> 1255[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1255 -> 475[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1256[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];460 -> 1256[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1256 -> 476[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1051[label="primMulInt (Pos vx10) (Pos vx440)",fontsize=16,color="black",shape="box"];1051 -> 1075[label="",style="solid", color="black", weight=3];
10.91/4.34	1052[label="primMulInt (Pos vx10) (Neg vx440)",fontsize=16,color="black",shape="box"];1052 -> 1076[label="",style="solid", color="black", weight=3];
10.91/4.34	107[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (vx70 * vx61) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];107 -> 117[label="",style="solid", color="black", weight=3];
10.91/4.34	108[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt (Pos vx500) (Pos vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];108 -> 118[label="",style="solid", color="black", weight=3];
10.91/4.34	109[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt (Pos vx500) (Neg vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];109 -> 119[label="",style="solid", color="black", weight=3];
10.91/4.34	110[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt (Neg vx500) (Pos vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];110 -> 120[label="",style="solid", color="black", weight=3];
10.91/4.34	111[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (primMulInt (Neg vx500) (Neg vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];111 -> 121[label="",style="solid", color="black", weight=3];
10.91/4.34	112[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt (Pos vx500) (Pos vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];112 -> 122[label="",style="solid", color="black", weight=3];
10.91/4.34	113[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt (Pos vx500) (Neg vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];113 -> 123[label="",style="solid", color="black", weight=3];
10.91/4.34	114[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt (Neg vx500) (Pos vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];114 -> 124[label="",style="solid", color="black", weight=3];
10.91/4.34	115[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (primMulInt (Neg vx500) (Neg vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];115 -> 125[label="",style="solid", color="black", weight=3];
10.91/4.34	1072[label="primMulInt (primPlusInt (vx70 * vx61) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1072 -> 1080[label="",style="solid", color="black", weight=3];
10.91/4.34	1073[label="vx510",fontsize=16,color="green",shape="box"];1074[label="vx410",fontsize=16,color="green",shape="box"];475[label="primMulNat (Succ vx5000) vx410",fontsize=16,color="burlywood",shape="box"];1257[label="vx410/Succ vx4100",fontsize=10,color="white",style="solid",shape="box"];475 -> 1257[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1257 -> 491[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1258[label="vx410/Zero",fontsize=10,color="white",style="solid",shape="box"];475 -> 1258[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1258 -> 492[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	476[label="primMulNat Zero vx410",fontsize=16,color="burlywood",shape="box"];1259[label="vx410/Succ vx4100",fontsize=10,color="white",style="solid",shape="box"];476 -> 1259[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1259 -> 493[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1260[label="vx410/Zero",fontsize=10,color="white",style="solid",shape="box"];476 -> 1260[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1260 -> 494[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1075[label="Pos (primMulNat vx10 vx440)",fontsize=16,color="green",shape="box"];1075 -> 1081[label="",style="dashed", color="green", weight=3];
10.91/4.34	1076[label="Neg (primMulNat vx10 vx440)",fontsize=16,color="green",shape="box"];1076 -> 1082[label="",style="dashed", color="green", weight=3];
10.91/4.34	117[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt vx70 vx61) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1261[label="vx70/Pos vx700",fontsize=10,color="white",style="solid",shape="box"];117 -> 1261[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1261 -> 128[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1262[label="vx70/Neg vx700",fontsize=10,color="white",style="solid",shape="box"];117 -> 1262[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1262 -> 129[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	118[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (Pos (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];118 -> 130[label="",style="solid", color="black", weight=3];
10.91/4.34	119[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (Neg (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];119 -> 131[label="",style="solid", color="black", weight=3];
10.91/4.34	120 -> 119[label="",style="dashed", color="red", weight=0];
10.91/4.34	120[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (Neg (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];120 -> 132[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	120 -> 133[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	121 -> 118[label="",style="dashed", color="red", weight=0];
10.91/4.34	121[label="primMulInt (primMulInt (primMinusInt (Pos (primMulNat vx400 vx510)) (Pos (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];121 -> 134[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	121 -> 135[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	122[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (Pos (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];122 -> 136[label="",style="solid", color="black", weight=3];
10.91/4.34	123[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (Neg (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];123 -> 137[label="",style="solid", color="black", weight=3];
10.91/4.34	124 -> 123[label="",style="dashed", color="red", weight=0];
10.91/4.34	124[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (Neg (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];124 -> 138[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	124 -> 139[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	125 -> 122[label="",style="dashed", color="red", weight=0];
10.91/4.34	125[label="primMulInt (primMulInt (primMinusInt (Neg (primMulNat vx400 vx510)) (Pos (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];125 -> 140[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	125 -> 141[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1080[label="primMulInt (primPlusInt (primMulInt vx70 vx61) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1263[label="vx70/Pos vx700",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1263[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1263 -> 1088[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1264[label="vx70/Neg vx700",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1264[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1264 -> 1089[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	491[label="primMulNat (Succ vx5000) (Succ vx4100)",fontsize=16,color="black",shape="box"];491 -> 500[label="",style="solid", color="black", weight=3];
10.91/4.34	492[label="primMulNat (Succ vx5000) Zero",fontsize=16,color="black",shape="box"];492 -> 501[label="",style="solid", color="black", weight=3];
10.91/4.34	493[label="primMulNat Zero (Succ vx4100)",fontsize=16,color="black",shape="box"];493 -> 502[label="",style="solid", color="black", weight=3];
10.91/4.34	494[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];494 -> 503[label="",style="solid", color="black", weight=3];
10.91/4.34	1081 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1081[label="primMulNat vx10 vx440",fontsize=16,color="magenta"];1081 -> 1090[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1081 -> 1091[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1082 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1082[label="primMulNat vx10 vx440",fontsize=16,color="magenta"];1082 -> 1092[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1082 -> 1093[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	128[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt (Pos vx700) vx61) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1265[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];128 -> 1265[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1265 -> 146[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1266[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];128 -> 1266[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1266 -> 147[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	129[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt (Neg vx700) vx61) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1267[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];129 -> 1267[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1267 -> 148[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1268[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];129 -> 1268[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1268 -> 149[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	130 -> 607[label="",style="dashed", color="red", weight=0];
10.91/4.34	130[label="primMulInt (primMulInt (primMinusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];130 -> 608[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	130 -> 609[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	131[label="primMulInt (primMulInt (Pos (primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];131 -> 152[label="",style="solid", color="black", weight=3];
10.91/4.34	132[label="vx410",fontsize=16,color="green",shape="box"];133[label="vx500",fontsize=16,color="green",shape="box"];134[label="vx410",fontsize=16,color="green",shape="box"];135[label="vx500",fontsize=16,color="green",shape="box"];136[label="primMulInt (primMulInt (Neg (primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410))) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];136 -> 153[label="",style="solid", color="black", weight=3];
10.91/4.34	137 -> 607[label="",style="dashed", color="red", weight=0];
10.91/4.34	137[label="primMulInt (primMulInt (primMinusNat (primMulNat vx500 vx410) (primMulNat vx400 vx510)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];137 -> 610[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	137 -> 611[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	138[label="vx410",fontsize=16,color="green",shape="box"];139[label="vx500",fontsize=16,color="green",shape="box"];140[label="vx410",fontsize=16,color="green",shape="box"];141[label="vx500",fontsize=16,color="green",shape="box"];1088[label="primMulInt (primPlusInt (primMulInt (Pos vx700) vx61) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1269[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];1088 -> 1269[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1269 -> 1098[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1270[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];1088 -> 1270[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1270 -> 1099[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1089[label="primMulInt (primPlusInt (primMulInt (Neg vx700) vx61) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1271[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];1089 -> 1271[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1271 -> 1100[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1272[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];1089 -> 1272[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1272 -> 1101[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	500 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	500[label="primPlusNat (primMulNat vx5000 (Succ vx4100)) (Succ vx4100)",fontsize=16,color="magenta"];500 -> 534[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	500 -> 535[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	501[label="Zero",fontsize=16,color="green",shape="box"];502[label="Zero",fontsize=16,color="green",shape="box"];503[label="Zero",fontsize=16,color="green",shape="box"];1090[label="vx440",fontsize=16,color="green",shape="box"];1091[label="vx10",fontsize=16,color="green",shape="box"];1092[label="vx440",fontsize=16,color="green",shape="box"];1093[label="vx10",fontsize=16,color="green",shape="box"];146[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt (Pos vx700) (Pos vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];146 -> 162[label="",style="solid", color="black", weight=3];
10.91/4.34	147[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt (Pos vx700) (Neg vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];147 -> 163[label="",style="solid", color="black", weight=3];
10.91/4.34	148[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt (Neg vx700) (Pos vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];148 -> 164[label="",style="solid", color="black", weight=3];
10.91/4.34	149[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (primMulInt (Neg vx700) (Neg vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];149 -> 165[label="",style="solid", color="black", weight=3];
10.91/4.34	608 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	608[label="primMulNat vx400 vx510",fontsize=16,color="magenta"];608 -> 670[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	608 -> 671[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	609 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	609[label="primMulNat vx500 vx410",fontsize=16,color="magenta"];607[label="primMulInt (primMulInt (primMinusNat vx31 vx30) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1273[label="vx31/Succ vx310",fontsize=10,color="white",style="solid",shape="box"];607 -> 1273[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1273 -> 672[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1274[label="vx31/Zero",fontsize=10,color="white",style="solid",shape="box"];607 -> 1274[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1274 -> 673[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	152 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	152[label="primMulInt (Pos (primMulNat (primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)) (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];152 -> 971[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	152 -> 972[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	153 -> 516[label="",style="dashed", color="red", weight=0];
10.91/4.34	153[label="primMulInt (Neg (primMulNat (primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)) (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];153 -> 517[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	610 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	610[label="primMulNat vx500 vx410",fontsize=16,color="magenta"];610 -> 674[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	611 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	611[label="primMulNat vx400 vx510",fontsize=16,color="magenta"];611 -> 675[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	611 -> 676[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1098[label="primMulInt (primPlusInt (primMulInt (Pos vx700) (Pos vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1098 -> 1106[label="",style="solid", color="black", weight=3];
10.91/4.34	1099[label="primMulInt (primPlusInt (primMulInt (Pos vx700) (Neg vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1099 -> 1107[label="",style="solid", color="black", weight=3];
10.91/4.34	1100[label="primMulInt (primPlusInt (primMulInt (Neg vx700) (Pos vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1100 -> 1108[label="",style="solid", color="black", weight=3];
10.91/4.34	1101[label="primMulInt (primPlusInt (primMulInt (Neg vx700) (Neg vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1101 -> 1109[label="",style="solid", color="black", weight=3];
10.91/4.34	534[label="Succ vx4100",fontsize=16,color="green",shape="box"];535 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	535[label="primMulNat vx5000 (Succ vx4100)",fontsize=16,color="magenta"];535 -> 549[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	535 -> 550[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	529[label="primPlusNat vx25 vx24",fontsize=16,color="burlywood",shape="triangle"];1275[label="vx25/Succ vx250",fontsize=10,color="white",style="solid",shape="box"];529 -> 1275[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1275 -> 545[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1276[label="vx25/Zero",fontsize=10,color="white",style="solid",shape="box"];529 -> 1276[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1276 -> 546[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	162[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];162 -> 178[label="",style="solid", color="black", weight=3];
10.91/4.34	163[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];163 -> 179[label="",style="solid", color="black", weight=3];
10.91/4.34	164 -> 163[label="",style="dashed", color="red", weight=0];
10.91/4.34	164[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="magenta"];164 -> 180[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	164 -> 181[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	165 -> 162[label="",style="dashed", color="red", weight=0];
10.91/4.34	165[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero)))",fontsize=16,color="magenta"];165 -> 182[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	165 -> 183[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	670[label="vx510",fontsize=16,color="green",shape="box"];671[label="vx400",fontsize=16,color="green",shape="box"];672[label="primMulInt (primMulInt (primMinusNat (Succ vx310) vx30) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1277[label="vx30/Succ vx300",fontsize=10,color="white",style="solid",shape="box"];672 -> 1277[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1277 -> 752[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1278[label="vx30/Zero",fontsize=10,color="white",style="solid",shape="box"];672 -> 1278[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1278 -> 753[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	673[label="primMulInt (primMulInt (primMinusNat Zero vx30) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1279[label="vx30/Succ vx300",fontsize=10,color="white",style="solid",shape="box"];673 -> 1279[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1279 -> 754[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1280[label="vx30/Zero",fontsize=10,color="white",style="solid",shape="box"];673 -> 1280[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1280 -> 755[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	971[label="vx71 * vx61 * Pos (Succ (Succ Zero))",fontsize=16,color="black",shape="triangle"];971 -> 1053[label="",style="solid", color="black", weight=3];
10.91/4.34	972 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	972[label="primMulNat (primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)) (Succ Zero)",fontsize=16,color="magenta"];972 -> 1054[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	972 -> 1055[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	517 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	517[label="primMulNat (primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)) (Succ Zero)",fontsize=16,color="magenta"];517 -> 519[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	517 -> 520[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	516[label="primMulInt (Neg vx22) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];516 -> 521[label="",style="solid", color="black", weight=3];
10.91/4.34	674[label="vx410",fontsize=16,color="green",shape="box"];675[label="vx510",fontsize=16,color="green",shape="box"];676[label="vx400",fontsize=16,color="green",shape="box"];1106 -> 1118[label="",style="dashed", color="red", weight=0];
10.91/4.34	1106[label="primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1106 -> 1119[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1107 -> 1121[label="",style="dashed", color="red", weight=0];
10.91/4.34	1107[label="primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1107 -> 1122[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1108 -> 1121[label="",style="dashed", color="red", weight=0];
10.91/4.34	1108[label="primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1108 -> 1123[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1109 -> 1118[label="",style="dashed", color="red", weight=0];
10.91/4.34	1109[label="primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1109 -> 1120[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	549[label="Succ vx4100",fontsize=16,color="green",shape="box"];550[label="vx5000",fontsize=16,color="green",shape="box"];545[label="primPlusNat (Succ vx250) vx24",fontsize=16,color="burlywood",shape="box"];1281[label="vx24/Succ vx240",fontsize=10,color="white",style="solid",shape="box"];545 -> 1281[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1281 -> 587[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1282[label="vx24/Zero",fontsize=10,color="white",style="solid",shape="box"];545 -> 1282[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1282 -> 588[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	546[label="primPlusNat Zero vx24",fontsize=16,color="burlywood",shape="box"];1283[label="vx24/Succ vx240",fontsize=10,color="white",style="solid",shape="box"];546 -> 1283[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1283 -> 589[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1284[label="vx24/Zero",fontsize=10,color="white",style="solid",shape="box"];546 -> 1284[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1284 -> 590[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	178[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt vx60 vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1285[label="vx60/Pos vx600",fontsize=10,color="white",style="solid",shape="box"];178 -> 1285[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1285 -> 194[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1286[label="vx60/Neg vx600",fontsize=10,color="white",style="solid",shape="box"];178 -> 1286[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1286 -> 195[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	179[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt vx60 vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1287[label="vx60/Pos vx600",fontsize=10,color="white",style="solid",shape="box"];179 -> 1287[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1287 -> 196[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1288[label="vx60/Neg vx600",fontsize=10,color="white",style="solid",shape="box"];179 -> 1288[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1288 -> 197[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	180[label="vx610",fontsize=16,color="green",shape="box"];181[label="vx700",fontsize=16,color="green",shape="box"];182[label="vx610",fontsize=16,color="green",shape="box"];183[label="vx700",fontsize=16,color="green",shape="box"];752[label="primMulInt (primMulInt (primMinusNat (Succ vx310) (Succ vx300)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];752 -> 799[label="",style="solid", color="black", weight=3];
10.91/4.34	753[label="primMulInt (primMulInt (primMinusNat (Succ vx310) Zero) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];753 -> 800[label="",style="solid", color="black", weight=3];
10.91/4.34	754[label="primMulInt (primMulInt (primMinusNat Zero (Succ vx300)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];754 -> 801[label="",style="solid", color="black", weight=3];
10.91/4.34	755[label="primMulInt (primMulInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];755 -> 802[label="",style="solid", color="black", weight=3];
10.91/4.34	1053[label="primMulInt (vx71 * vx61) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];1053 -> 1077[label="",style="solid", color="black", weight=3];
10.91/4.34	1054[label="Succ Zero",fontsize=16,color="green",shape="box"];1055 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	1055[label="primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)",fontsize=16,color="magenta"];1055 -> 1078[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1055 -> 1079[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	519[label="Succ Zero",fontsize=16,color="green",shape="box"];520 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	520[label="primPlusNat (primMulNat vx400 vx510) (primMulNat vx500 vx410)",fontsize=16,color="magenta"];520 -> 532[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	520 -> 533[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	521[label="primMulInt (Neg vx22) (primMulInt (vx71 * vx61) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];521 -> 541[label="",style="solid", color="black", weight=3];
10.91/4.34	1119 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1119[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];1119 -> 1124[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1119 -> 1125[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1118[label="primMulInt (primPlusInt (Pos vx45) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1118 -> 1126[label="",style="solid", color="black", weight=3];
10.91/4.34	1122 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1122[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];1122 -> 1127[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1122 -> 1128[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1121[label="primMulInt (primPlusInt (Neg vx46) (vx60 * vx71)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1121 -> 1129[label="",style="solid", color="black", weight=3];
10.91/4.34	1123 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1123[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];1123 -> 1130[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1123 -> 1131[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1120 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1120[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];1120 -> 1132[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1120 -> 1133[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	587[label="primPlusNat (Succ vx250) (Succ vx240)",fontsize=16,color="black",shape="box"];587 -> 685[label="",style="solid", color="black", weight=3];
10.91/4.34	588[label="primPlusNat (Succ vx250) Zero",fontsize=16,color="black",shape="box"];588 -> 686[label="",style="solid", color="black", weight=3];
10.91/4.34	589[label="primPlusNat Zero (Succ vx240)",fontsize=16,color="black",shape="box"];589 -> 687[label="",style="solid", color="black", weight=3];
10.91/4.34	590[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];590 -> 688[label="",style="solid", color="black", weight=3];
10.91/4.34	194[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt (Pos vx600) vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1289[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];194 -> 1289[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1289 -> 214[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1290[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];194 -> 1290[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1290 -> 215[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	195[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt (Neg vx600) vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1291[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];195 -> 1291[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1291 -> 216[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1292[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];195 -> 1292[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1292 -> 217[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	196[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt (Pos vx600) vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1293[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];196 -> 1293[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1293 -> 218[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1294[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];196 -> 1294[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1294 -> 219[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	197[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt (Neg vx600) vx71)) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1295[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];197 -> 1295[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1295 -> 220[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1296[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];197 -> 1296[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1296 -> 221[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	799 -> 607[label="",style="dashed", color="red", weight=0];
10.91/4.34	799[label="primMulInt (primMulInt (primMinusNat vx310 vx300) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];799 -> 806[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	799 -> 807[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	800[label="primMulInt (primMulInt (Pos (Succ vx310)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];800 -> 808[label="",style="solid", color="black", weight=3];
10.91/4.34	801[label="primMulInt (primMulInt (Neg (Succ vx300)) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];801 -> 809[label="",style="solid", color="black", weight=3];
10.91/4.34	802[label="primMulInt (primMulInt (Pos Zero) (Pos (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];802 -> 810[label="",style="solid", color="black", weight=3];
10.91/4.34	1077[label="primMulInt (primMulInt vx71 vx61) (Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1297[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];1077 -> 1297[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1297 -> 1083[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1298[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];1077 -> 1298[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1298 -> 1084[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1078 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1078[label="primMulNat vx500 vx410",fontsize=16,color="magenta"];1078 -> 1085[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1079 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1079[label="primMulNat vx400 vx510",fontsize=16,color="magenta"];1079 -> 1086[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1079 -> 1087[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	532 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	532[label="primMulNat vx500 vx410",fontsize=16,color="magenta"];533 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	533[label="primMulNat vx400 vx510",fontsize=16,color="magenta"];533 -> 547[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	533 -> 548[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	541[label="primMulInt (Neg vx22) (primMulInt (primMulInt vx71 vx61) (Pos (Succ (Succ Zero))))",fontsize=16,color="burlywood",shape="box"];1299[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];541 -> 1299[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1299 -> 585[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1300[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];541 -> 1300[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1300 -> 586[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1124[label="vx610",fontsize=16,color="green",shape="box"];1125[label="vx700",fontsize=16,color="green",shape="box"];1126[label="primMulInt (primPlusInt (Pos vx45) (primMulInt vx60 vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1301[label="vx60/Pos vx600",fontsize=10,color="white",style="solid",shape="box"];1126 -> 1301[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1301 -> 1142[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1302[label="vx60/Neg vx600",fontsize=10,color="white",style="solid",shape="box"];1126 -> 1302[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1302 -> 1143[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1127[label="vx610",fontsize=16,color="green",shape="box"];1128[label="vx700",fontsize=16,color="green",shape="box"];1129[label="primMulInt (primPlusInt (Neg vx46) (primMulInt vx60 vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1303[label="vx60/Pos vx600",fontsize=10,color="white",style="solid",shape="box"];1129 -> 1303[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1303 -> 1144[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1304[label="vx60/Neg vx600",fontsize=10,color="white",style="solid",shape="box"];1129 -> 1304[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1304 -> 1145[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1130[label="vx610",fontsize=16,color="green",shape="box"];1131[label="vx700",fontsize=16,color="green",shape="box"];1132[label="vx610",fontsize=16,color="green",shape="box"];1133[label="vx700",fontsize=16,color="green",shape="box"];685[label="Succ (Succ (primPlusNat vx250 vx240))",fontsize=16,color="green",shape="box"];685 -> 764[label="",style="dashed", color="green", weight=3];
10.91/4.34	686[label="Succ vx250",fontsize=16,color="green",shape="box"];687[label="Succ vx240",fontsize=16,color="green",shape="box"];688[label="Zero",fontsize=16,color="green",shape="box"];214[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt (Pos vx600) (Pos vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];214 -> 244[label="",style="solid", color="black", weight=3];
10.91/4.34	215[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt (Pos vx600) (Neg vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];215 -> 245[label="",style="solid", color="black", weight=3];
10.91/4.34	216[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt (Neg vx600) (Pos vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];216 -> 246[label="",style="solid", color="black", weight=3];
10.91/4.34	217[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (primMulInt (Neg vx600) (Neg vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];217 -> 247[label="",style="solid", color="black", weight=3];
10.91/4.34	218[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt (Pos vx600) (Pos vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];218 -> 248[label="",style="solid", color="black", weight=3];
10.91/4.34	219[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt (Pos vx600) (Neg vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];219 -> 249[label="",style="solid", color="black", weight=3];
10.91/4.34	220[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt (Neg vx600) (Pos vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];220 -> 250[label="",style="solid", color="black", weight=3];
10.91/4.34	221[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (primMulInt (Neg vx600) (Neg vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];221 -> 251[label="",style="solid", color="black", weight=3];
10.91/4.34	806[label="vx310",fontsize=16,color="green",shape="box"];807[label="vx300",fontsize=16,color="green",shape="box"];808 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	808[label="primMulInt (Pos (primMulNat (Succ vx310) (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];808 -> 991[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	808 -> 992[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	809 -> 516[label="",style="dashed", color="red", weight=0];
10.91/4.34	809[label="primMulInt (Neg (primMulNat (Succ vx300) (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];809 -> 815[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	810 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	810[label="primMulInt (Pos (primMulNat Zero (Succ Zero))) (vx71 * vx61 * Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];810 -> 993[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	810 -> 994[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1083[label="primMulInt (primMulInt (Pos vx710) vx61) (Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1305[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1305[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1305 -> 1094[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1306[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1306[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1306 -> 1095[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1084[label="primMulInt (primMulInt (Neg vx710) vx61) (Pos (Succ (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1307[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];1084 -> 1307[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1307 -> 1096[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1308[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];1084 -> 1308[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1308 -> 1097[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1085[label="vx410",fontsize=16,color="green",shape="box"];1086[label="vx510",fontsize=16,color="green",shape="box"];1087[label="vx400",fontsize=16,color="green",shape="box"];547[label="vx510",fontsize=16,color="green",shape="box"];548[label="vx400",fontsize=16,color="green",shape="box"];585[label="primMulInt (Neg vx22) (primMulInt (primMulInt (Pos vx710) vx61) (Pos (Succ (Succ Zero))))",fontsize=16,color="burlywood",shape="box"];1309[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];585 -> 1309[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1309 -> 681[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1310[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];585 -> 1310[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1310 -> 682[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	586[label="primMulInt (Neg vx22) (primMulInt (primMulInt (Neg vx710) vx61) (Pos (Succ (Succ Zero))))",fontsize=16,color="burlywood",shape="box"];1311[label="vx61/Pos vx610",fontsize=10,color="white",style="solid",shape="box"];586 -> 1311[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1311 -> 683[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1312[label="vx61/Neg vx610",fontsize=10,color="white",style="solid",shape="box"];586 -> 1312[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1312 -> 684[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1142[label="primMulInt (primPlusInt (Pos vx45) (primMulInt (Pos vx600) vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1313[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];1142 -> 1313[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1313 -> 1146[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1314[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];1142 -> 1314[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1314 -> 1147[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1143[label="primMulInt (primPlusInt (Pos vx45) (primMulInt (Neg vx600) vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1315[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];1143 -> 1315[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1315 -> 1148[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1316[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];1143 -> 1316[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1316 -> 1149[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1144[label="primMulInt (primPlusInt (Neg vx46) (primMulInt (Pos vx600) vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1317[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];1144 -> 1317[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1317 -> 1150[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1318[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];1144 -> 1318[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1318 -> 1151[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1145[label="primMulInt (primPlusInt (Neg vx46) (primMulInt (Neg vx600) vx71)) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1319[label="vx71/Pos vx710",fontsize=10,color="white",style="solid",shape="box"];1145 -> 1319[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1319 -> 1152[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1320[label="vx71/Neg vx710",fontsize=10,color="white",style="solid",shape="box"];1145 -> 1320[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1320 -> 1153[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	764 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	764[label="primPlusNat vx250 vx240",fontsize=16,color="magenta"];764 -> 829[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	764 -> 830[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	244[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];244 -> 279[label="",style="solid", color="black", weight=3];
10.91/4.34	245[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];245 -> 280[label="",style="solid", color="black", weight=3];
10.91/4.34	246 -> 245[label="",style="dashed", color="red", weight=0];
10.91/4.34	246[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="magenta"];246 -> 281[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	246 -> 282[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	247 -> 244[label="",style="dashed", color="red", weight=0];
10.91/4.34	247[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Pos (primMulNat vx700 vx610)) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="magenta"];247 -> 283[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	247 -> 284[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	248[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];248 -> 285[label="",style="solid", color="black", weight=3];
10.91/4.34	249[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];249 -> 286[label="",style="solid", color="black", weight=3];
10.91/4.34	250 -> 249[label="",style="dashed", color="red", weight=0];
10.91/4.34	250[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="magenta"];250 -> 287[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	250 -> 288[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	251 -> 248[label="",style="dashed", color="red", weight=0];
10.91/4.34	251[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primPlusInt (Neg (primMulNat vx700 vx610)) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="magenta"];251 -> 289[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	251 -> 290[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	991 -> 971[label="",style="dashed", color="red", weight=0];
10.91/4.34	991[label="vx71 * vx61 * Pos (Succ (Succ Zero))",fontsize=16,color="magenta"];992 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	992[label="primMulNat (Succ vx310) (Succ Zero)",fontsize=16,color="magenta"];992 -> 1056[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	992 -> 1057[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	815 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	815[label="primMulNat (Succ vx300) (Succ Zero)",fontsize=16,color="magenta"];815 -> 822[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	815 -> 823[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	993 -> 971[label="",style="dashed", color="red", weight=0];
10.91/4.34	993[label="vx71 * vx61 * Pos (Succ (Succ Zero))",fontsize=16,color="magenta"];994 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	994[label="primMulNat Zero (Succ Zero)",fontsize=16,color="magenta"];994 -> 1058[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	994 -> 1059[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1094[label="primMulInt (primMulInt (Pos vx710) (Pos vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];1094 -> 1102[label="",style="solid", color="black", weight=3];
10.91/4.34	1095[label="primMulInt (primMulInt (Pos vx710) (Neg vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];1095 -> 1103[label="",style="solid", color="black", weight=3];
10.91/4.34	1096[label="primMulInt (primMulInt (Neg vx710) (Pos vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];1096 -> 1104[label="",style="solid", color="black", weight=3];
10.91/4.34	1097[label="primMulInt (primMulInt (Neg vx710) (Neg vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];1097 -> 1105[label="",style="solid", color="black", weight=3];
10.91/4.34	681[label="primMulInt (Neg vx22) (primMulInt (primMulInt (Pos vx710) (Pos vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];681 -> 760[label="",style="solid", color="black", weight=3];
10.91/4.34	682[label="primMulInt (Neg vx22) (primMulInt (primMulInt (Pos vx710) (Neg vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];682 -> 761[label="",style="solid", color="black", weight=3];
10.91/4.34	683[label="primMulInt (Neg vx22) (primMulInt (primMulInt (Neg vx710) (Pos vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];683 -> 762[label="",style="solid", color="black", weight=3];
10.91/4.34	684[label="primMulInt (Neg vx22) (primMulInt (primMulInt (Neg vx710) (Neg vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];684 -> 763[label="",style="solid", color="black", weight=3];
10.91/4.34	1146[label="primMulInt (primPlusInt (Pos vx45) (primMulInt (Pos vx600) (Pos vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1146 -> 1154[label="",style="solid", color="black", weight=3];
10.91/4.34	1147[label="primMulInt (primPlusInt (Pos vx45) (primMulInt (Pos vx600) (Neg vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1147 -> 1155[label="",style="solid", color="black", weight=3];
10.91/4.34	1148[label="primMulInt (primPlusInt (Pos vx45) (primMulInt (Neg vx600) (Pos vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1148 -> 1156[label="",style="solid", color="black", weight=3];
10.91/4.34	1149[label="primMulInt (primPlusInt (Pos vx45) (primMulInt (Neg vx600) (Neg vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1149 -> 1157[label="",style="solid", color="black", weight=3];
10.91/4.34	1150[label="primMulInt (primPlusInt (Neg vx46) (primMulInt (Pos vx600) (Pos vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1150 -> 1158[label="",style="solid", color="black", weight=3];
10.91/4.34	1151[label="primMulInt (primPlusInt (Neg vx46) (primMulInt (Pos vx600) (Neg vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1151 -> 1159[label="",style="solid", color="black", weight=3];
10.91/4.34	1152[label="primMulInt (primPlusInt (Neg vx46) (primMulInt (Neg vx600) (Pos vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1152 -> 1160[label="",style="solid", color="black", weight=3];
10.91/4.34	1153[label="primMulInt (primPlusInt (Neg vx46) (primMulInt (Neg vx600) (Neg vx710))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1153 -> 1161[label="",style="solid", color="black", weight=3];
10.91/4.34	829[label="vx240",fontsize=16,color="green",shape="box"];830[label="vx250",fontsize=16,color="green",shape="box"];279[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (Pos (primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];279 -> 318[label="",style="solid", color="black", weight=3];
10.91/4.34	280 -> 555[label="",style="dashed", color="red", weight=0];
10.91/4.34	280[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primMinusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)) (Pos (Succ Zero)))",fontsize=16,color="magenta"];280 -> 556[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	280 -> 557[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	280 -> 558[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	281[label="vx600",fontsize=16,color="green",shape="box"];282[label="vx710",fontsize=16,color="green",shape="box"];283[label="vx600",fontsize=16,color="green",shape="box"];284[label="vx710",fontsize=16,color="green",shape="box"];285 -> 555[label="",style="dashed", color="red", weight=0];
10.91/4.34	285[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (primMinusNat (primMulNat vx600 vx710) (primMulNat vx700 vx610)) (Pos (Succ Zero)))",fontsize=16,color="magenta"];285 -> 559[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	285 -> 560[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	285 -> 561[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	286[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (primMulInt (Neg (primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710))) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];286 -> 325[label="",style="solid", color="black", weight=3];
10.91/4.34	287[label="vx600",fontsize=16,color="green",shape="box"];288[label="vx710",fontsize=16,color="green",shape="box"];289[label="vx600",fontsize=16,color="green",shape="box"];290[label="vx710",fontsize=16,color="green",shape="box"];1056[label="Succ Zero",fontsize=16,color="green",shape="box"];1057[label="Succ vx310",fontsize=16,color="green",shape="box"];822[label="Succ Zero",fontsize=16,color="green",shape="box"];823[label="Succ vx300",fontsize=16,color="green",shape="box"];1058[label="Succ Zero",fontsize=16,color="green",shape="box"];1059[label="Zero",fontsize=16,color="green",shape="box"];1102 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	1102[label="primMulInt (Pos (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];1102 -> 1110[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1102 -> 1111[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1103 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	1103[label="primMulInt (Neg (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];1103 -> 1112[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1103 -> 1113[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1104 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	1104[label="primMulInt (Neg (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];1104 -> 1114[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1104 -> 1115[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1105 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	1105[label="primMulInt (Pos (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];1105 -> 1116[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1105 -> 1117[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	760 -> 817[label="",style="dashed", color="red", weight=0];
10.91/4.34	760[label="primMulInt (Neg vx22) (primMulInt (Pos (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="magenta"];760 -> 818[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	761 -> 826[label="",style="dashed", color="red", weight=0];
10.91/4.34	761[label="primMulInt (Neg vx22) (primMulInt (Neg (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="magenta"];761 -> 827[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	762 -> 826[label="",style="dashed", color="red", weight=0];
10.91/4.34	762[label="primMulInt (Neg vx22) (primMulInt (Neg (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="magenta"];762 -> 828[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	763 -> 817[label="",style="dashed", color="red", weight=0];
10.91/4.34	763[label="primMulInt (Neg vx22) (primMulInt (Pos (primMulNat vx710 vx610)) (Pos (Succ (Succ Zero))))",fontsize=16,color="magenta"];763 -> 819[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1154 -> 1162[label="",style="dashed", color="red", weight=0];
10.91/4.34	1154[label="primMulInt (primPlusInt (Pos vx45) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1154 -> 1163[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1155 -> 1165[label="",style="dashed", color="red", weight=0];
10.91/4.34	1155[label="primMulInt (primPlusInt (Pos vx45) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1155 -> 1166[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1156 -> 1165[label="",style="dashed", color="red", weight=0];
10.91/4.34	1156[label="primMulInt (primPlusInt (Pos vx45) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1156 -> 1167[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1157 -> 1162[label="",style="dashed", color="red", weight=0];
10.91/4.34	1157[label="primMulInt (primPlusInt (Pos vx45) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1157 -> 1164[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1158 -> 1168[label="",style="dashed", color="red", weight=0];
10.91/4.34	1158[label="primMulInt (primPlusInt (Neg vx46) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1158 -> 1169[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1159 -> 1171[label="",style="dashed", color="red", weight=0];
10.91/4.34	1159[label="primMulInt (primPlusInt (Neg vx46) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1159 -> 1172[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1160 -> 1171[label="",style="dashed", color="red", weight=0];
10.91/4.34	1160[label="primMulInt (primPlusInt (Neg vx46) (Neg (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1160 -> 1173[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1161 -> 1168[label="",style="dashed", color="red", weight=0];
10.91/4.34	1161[label="primMulInt (primPlusInt (Neg vx46) (Pos (primMulNat vx600 vx710))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1161 -> 1170[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	318 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	318[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (Pos (primMulNat (primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)) (Succ Zero)))",fontsize=16,color="magenta"];318 -> 893[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	318 -> 894[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	556 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	556[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];556 -> 591[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	556 -> 592[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	557 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	557[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];557 -> 593[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	557 -> 594[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	558 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	558[label="primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero))",fontsize=16,color="magenta"];558 -> 595[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	558 -> 596[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	555[label="primMulInt (Neg vx26) (primMulInt (primMinusNat vx28 vx27) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1321[label="vx28/Succ vx280",fontsize=10,color="white",style="solid",shape="box"];555 -> 1321[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1321 -> 597[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1322[label="vx28/Zero",fontsize=10,color="white",style="solid",shape="box"];555 -> 1322[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1322 -> 598[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	559 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	559[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];559 -> 599[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	559 -> 600[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	560 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	560[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];560 -> 601[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	560 -> 602[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	561 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	561[label="primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero))",fontsize=16,color="magenta"];561 -> 603[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	561 -> 604[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	325 -> 905[label="",style="dashed", color="red", weight=0];
10.91/4.34	325[label="primMulInt (Neg (primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero)))) (Neg (primMulNat (primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)) (Succ Zero)))",fontsize=16,color="magenta"];325 -> 906[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	325 -> 907[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1110[label="Pos (Succ (Succ Zero))",fontsize=16,color="green",shape="box"];1111 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1111[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];1111 -> 1134[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1111 -> 1135[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1112 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1112[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];1112 -> 1136[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1112 -> 1137[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1113[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];892[label="primMulInt (Neg vx22) (Pos vx42)",fontsize=16,color="black",shape="triangle"];892 -> 904[label="",style="solid", color="black", weight=3];
10.91/4.34	1114 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1114[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];1114 -> 1138[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1114 -> 1139[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1115[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];1116[label="Pos (Succ (Succ Zero))",fontsize=16,color="green",shape="box"];1117 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1117[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];1117 -> 1140[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1117 -> 1141[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	818 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	818[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];818 -> 841[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	818 -> 842[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	817[label="primMulInt (Neg vx22) (primMulInt (Pos vx38) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="triangle"];817 -> 843[label="",style="solid", color="black", weight=3];
10.91/4.34	827 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	827[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];827 -> 844[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	827 -> 845[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	826[label="primMulInt (Neg vx22) (primMulInt (Neg vx39) (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="triangle"];826 -> 846[label="",style="solid", color="black", weight=3];
10.91/4.34	828 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	828[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];828 -> 847[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	828 -> 848[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	819 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	819[label="primMulNat vx710 vx610",fontsize=16,color="magenta"];819 -> 849[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	819 -> 850[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1163 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1163[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1163 -> 1174[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1163 -> 1175[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1162[label="primMulInt (primPlusInt (Pos vx45) (Pos vx47)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1162 -> 1176[label="",style="solid", color="black", weight=3];
10.91/4.34	1166 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1166[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1166 -> 1177[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1166 -> 1178[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1165[label="primMulInt (primPlusInt (Pos vx45) (Neg vx48)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1165 -> 1179[label="",style="solid", color="black", weight=3];
10.91/4.34	1167 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1167[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1167 -> 1180[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1167 -> 1181[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1164 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1164[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1164 -> 1182[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1164 -> 1183[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1169 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1169[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1169 -> 1184[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1169 -> 1185[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1168[label="primMulInt (primPlusInt (Neg vx46) (Pos vx49)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1168 -> 1186[label="",style="solid", color="black", weight=3];
10.91/4.34	1172 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1172[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1172 -> 1187[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1172 -> 1188[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1171[label="primMulInt (primPlusInt (Neg vx46) (Neg vx50)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1171 -> 1189[label="",style="solid", color="black", weight=3];
10.91/4.34	1173 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1173[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1173 -> 1190[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1173 -> 1191[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1170 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	1170[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];1170 -> 1192[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1170 -> 1193[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	893 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	893[label="primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero))",fontsize=16,color="magenta"];893 -> 900[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	893 -> 901[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	894 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	894[label="primMulNat (primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)) (Succ Zero)",fontsize=16,color="magenta"];894 -> 902[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	894 -> 903[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	591[label="vx610",fontsize=16,color="green",shape="box"];592[label="vx700",fontsize=16,color="green",shape="box"];593[label="vx710",fontsize=16,color="green",shape="box"];594[label="vx600",fontsize=16,color="green",shape="box"];595[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];596 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	596[label="primMulNat vx410 vx510",fontsize=16,color="magenta"];596 -> 689[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	596 -> 690[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	597[label="primMulInt (Neg vx26) (primMulInt (primMinusNat (Succ vx280) vx27) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1323[label="vx27/Succ vx270",fontsize=10,color="white",style="solid",shape="box"];597 -> 1323[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1323 -> 691[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1324[label="vx27/Zero",fontsize=10,color="white",style="solid",shape="box"];597 -> 1324[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1324 -> 692[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	598[label="primMulInt (Neg vx26) (primMulInt (primMinusNat Zero vx27) (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1325[label="vx27/Succ vx270",fontsize=10,color="white",style="solid",shape="box"];598 -> 1325[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1325 -> 693[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1326[label="vx27/Zero",fontsize=10,color="white",style="solid",shape="box"];598 -> 1326[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1326 -> 694[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	599[label="vx710",fontsize=16,color="green",shape="box"];600[label="vx600",fontsize=16,color="green",shape="box"];601[label="vx610",fontsize=16,color="green",shape="box"];602[label="vx700",fontsize=16,color="green",shape="box"];603[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];604 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	604[label="primMulNat vx410 vx510",fontsize=16,color="magenta"];604 -> 695[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	604 -> 696[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	906 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	906[label="primMulNat (primMulNat vx410 vx510) (Succ (Succ Zero))",fontsize=16,color="magenta"];906 -> 911[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	906 -> 912[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	907 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	907[label="primMulNat (primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)) (Succ Zero)",fontsize=16,color="magenta"];907 -> 913[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	907 -> 914[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	905[label="primMulInt (Neg vx22) (Neg vx43)",fontsize=16,color="black",shape="triangle"];905 -> 915[label="",style="solid", color="black", weight=3];
10.91/4.34	1134[label="vx610",fontsize=16,color="green",shape="box"];1135[label="vx710",fontsize=16,color="green",shape="box"];1136[label="vx610",fontsize=16,color="green",shape="box"];1137[label="vx710",fontsize=16,color="green",shape="box"];904[label="Neg (primMulNat vx22 vx42)",fontsize=16,color="green",shape="box"];904 -> 934[label="",style="dashed", color="green", weight=3];
10.91/4.34	1138[label="vx610",fontsize=16,color="green",shape="box"];1139[label="vx710",fontsize=16,color="green",shape="box"];1140[label="vx610",fontsize=16,color="green",shape="box"];1141[label="vx710",fontsize=16,color="green",shape="box"];841[label="vx610",fontsize=16,color="green",shape="box"];842[label="vx710",fontsize=16,color="green",shape="box"];843 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	843[label="primMulInt (Neg vx22) (Pos (primMulNat vx38 (Succ (Succ Zero))))",fontsize=16,color="magenta"];843 -> 895[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	844[label="vx610",fontsize=16,color="green",shape="box"];845[label="vx710",fontsize=16,color="green",shape="box"];846 -> 905[label="",style="dashed", color="red", weight=0];
10.91/4.34	846[label="primMulInt (Neg vx22) (Neg (primMulNat vx39 (Succ (Succ Zero))))",fontsize=16,color="magenta"];846 -> 908[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	847[label="vx610",fontsize=16,color="green",shape="box"];848[label="vx710",fontsize=16,color="green",shape="box"];849[label="vx610",fontsize=16,color="green",shape="box"];850[label="vx710",fontsize=16,color="green",shape="box"];1174[label="vx710",fontsize=16,color="green",shape="box"];1175[label="vx600",fontsize=16,color="green",shape="box"];1176 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	1176[label="primMulInt (Pos (primPlusNat vx45 vx47)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1176 -> 1194[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1176 -> 1195[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1177[label="vx710",fontsize=16,color="green",shape="box"];1178[label="vx600",fontsize=16,color="green",shape="box"];1179[label="primMulInt (primMinusNat vx45 vx48) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1327[label="vx45/Succ vx450",fontsize=10,color="white",style="solid",shape="box"];1179 -> 1327[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1327 -> 1196[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1328[label="vx45/Zero",fontsize=10,color="white",style="solid",shape="box"];1179 -> 1328[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1328 -> 1197[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1180[label="vx710",fontsize=16,color="green",shape="box"];1181[label="vx600",fontsize=16,color="green",shape="box"];1182[label="vx710",fontsize=16,color="green",shape="box"];1183[label="vx600",fontsize=16,color="green",shape="box"];1184[label="vx710",fontsize=16,color="green",shape="box"];1185[label="vx600",fontsize=16,color="green",shape="box"];1186 -> 1179[label="",style="dashed", color="red", weight=0];
10.91/4.34	1186[label="primMulInt (primMinusNat vx49 vx46) (Pos (Succ Zero))",fontsize=16,color="magenta"];1186 -> 1198[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1186 -> 1199[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1187[label="vx710",fontsize=16,color="green",shape="box"];1188[label="vx600",fontsize=16,color="green",shape="box"];1189 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	1189[label="primMulInt (Neg (primPlusNat vx46 vx50)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1189 -> 1200[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1189 -> 1201[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1190[label="vx710",fontsize=16,color="green",shape="box"];1191[label="vx600",fontsize=16,color="green",shape="box"];1192[label="vx710",fontsize=16,color="green",shape="box"];1193[label="vx600",fontsize=16,color="green",shape="box"];900[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];901 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	901[label="primMulNat vx410 vx510",fontsize=16,color="magenta"];901 -> 930[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	901 -> 931[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	902[label="Succ Zero",fontsize=16,color="green",shape="box"];903 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	903[label="primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)",fontsize=16,color="magenta"];903 -> 932[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	903 -> 933[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	689[label="vx510",fontsize=16,color="green",shape="box"];690[label="vx410",fontsize=16,color="green",shape="box"];691[label="primMulInt (Neg vx26) (primMulInt (primMinusNat (Succ vx280) (Succ vx270)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];691 -> 779[label="",style="solid", color="black", weight=3];
10.91/4.34	692[label="primMulInt (Neg vx26) (primMulInt (primMinusNat (Succ vx280) Zero) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];692 -> 780[label="",style="solid", color="black", weight=3];
10.91/4.34	693[label="primMulInt (Neg vx26) (primMulInt (primMinusNat Zero (Succ vx270)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];693 -> 781[label="",style="solid", color="black", weight=3];
10.91/4.34	694[label="primMulInt (Neg vx26) (primMulInt (primMinusNat Zero Zero) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];694 -> 782[label="",style="solid", color="black", weight=3];
10.91/4.34	695[label="vx510",fontsize=16,color="green",shape="box"];696[label="vx410",fontsize=16,color="green",shape="box"];911[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];912 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	912[label="primMulNat vx410 vx510",fontsize=16,color="magenta"];912 -> 949[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	912 -> 950[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	913[label="Succ Zero",fontsize=16,color="green",shape="box"];914 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	914[label="primPlusNat (primMulNat vx700 vx610) (primMulNat vx600 vx710)",fontsize=16,color="magenta"];914 -> 951[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	914 -> 952[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	915[label="Pos (primMulNat vx22 vx43)",fontsize=16,color="green",shape="box"];915 -> 953[label="",style="dashed", color="green", weight=3];
10.91/4.34	934 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	934[label="primMulNat vx22 vx42",fontsize=16,color="magenta"];934 -> 1064[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	934 -> 1065[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	895 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	895[label="primMulNat vx38 (Succ (Succ Zero))",fontsize=16,color="magenta"];895 -> 939[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	895 -> 940[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	908 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	908[label="primMulNat vx39 (Succ (Succ Zero))",fontsize=16,color="magenta"];908 -> 941[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	908 -> 942[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1194[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1195 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	1195[label="primPlusNat vx45 vx47",fontsize=16,color="magenta"];1195 -> 1202[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1195 -> 1203[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1196[label="primMulInt (primMinusNat (Succ vx450) vx48) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1329[label="vx48/Succ vx480",fontsize=10,color="white",style="solid",shape="box"];1196 -> 1329[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1329 -> 1204[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1330[label="vx48/Zero",fontsize=10,color="white",style="solid",shape="box"];1196 -> 1330[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1330 -> 1205[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1197[label="primMulInt (primMinusNat Zero vx48) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1331[label="vx48/Succ vx480",fontsize=10,color="white",style="solid",shape="box"];1197 -> 1331[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1331 -> 1206[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1332[label="vx48/Zero",fontsize=10,color="white",style="solid",shape="box"];1197 -> 1332[label="",style="solid", color="burlywood", weight=9];
10.91/4.34	1332 -> 1207[label="",style="solid", color="burlywood", weight=3];
10.91/4.34	1198[label="vx46",fontsize=16,color="green",shape="box"];1199[label="vx49",fontsize=16,color="green",shape="box"];1200 -> 529[label="",style="dashed", color="red", weight=0];
10.91/4.34	1200[label="primPlusNat vx46 vx50",fontsize=16,color="magenta"];1200 -> 1208[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1200 -> 1209[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1201[label="Succ Zero",fontsize=16,color="green",shape="box"];930[label="vx510",fontsize=16,color="green",shape="box"];931[label="vx410",fontsize=16,color="green",shape="box"];932 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	932[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];932 -> 1060[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	932 -> 1061[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	933 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	933[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];933 -> 1062[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	933 -> 1063[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	779 -> 555[label="",style="dashed", color="red", weight=0];
10.91/4.34	779[label="primMulInt (Neg vx26) (primMulInt (primMinusNat vx280 vx270) (Pos (Succ Zero)))",fontsize=16,color="magenta"];779 -> 859[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	779 -> 860[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	780[label="primMulInt (Neg vx26) (primMulInt (Pos (Succ vx280)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];780 -> 861[label="",style="solid", color="black", weight=3];
10.91/4.34	781[label="primMulInt (Neg vx26) (primMulInt (Neg (Succ vx270)) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];781 -> 862[label="",style="solid", color="black", weight=3];
10.91/4.34	782[label="primMulInt (Neg vx26) (primMulInt (Pos Zero) (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];782 -> 863[label="",style="solid", color="black", weight=3];
10.91/4.34	949[label="vx510",fontsize=16,color="green",shape="box"];950[label="vx410",fontsize=16,color="green",shape="box"];951 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	951[label="primMulNat vx600 vx710",fontsize=16,color="magenta"];951 -> 1066[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	951 -> 1067[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	952 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	952[label="primMulNat vx700 vx610",fontsize=16,color="magenta"];952 -> 1068[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	952 -> 1069[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	953 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	953[label="primMulNat vx22 vx43",fontsize=16,color="magenta"];953 -> 1070[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	953 -> 1071[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1064[label="vx42",fontsize=16,color="green",shape="box"];1065[label="vx22",fontsize=16,color="green",shape="box"];939[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];940[label="vx38",fontsize=16,color="green",shape="box"];941[label="Succ (Succ Zero)",fontsize=16,color="green",shape="box"];942[label="vx39",fontsize=16,color="green",shape="box"];1202[label="vx47",fontsize=16,color="green",shape="box"];1203[label="vx45",fontsize=16,color="green",shape="box"];1204[label="primMulInt (primMinusNat (Succ vx450) (Succ vx480)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1204 -> 1210[label="",style="solid", color="black", weight=3];
10.91/4.34	1205[label="primMulInt (primMinusNat (Succ vx450) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1205 -> 1211[label="",style="solid", color="black", weight=3];
10.91/4.34	1206[label="primMulInt (primMinusNat Zero (Succ vx480)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1206 -> 1212[label="",style="solid", color="black", weight=3];
10.91/4.34	1207[label="primMulInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1207 -> 1213[label="",style="solid", color="black", weight=3];
10.91/4.34	1208[label="vx50",fontsize=16,color="green",shape="box"];1209[label="vx46",fontsize=16,color="green",shape="box"];1060[label="vx710",fontsize=16,color="green",shape="box"];1061[label="vx600",fontsize=16,color="green",shape="box"];1062[label="vx610",fontsize=16,color="green",shape="box"];1063[label="vx700",fontsize=16,color="green",shape="box"];859[label="vx280",fontsize=16,color="green",shape="box"];860[label="vx270",fontsize=16,color="green",shape="box"];861 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	861[label="primMulInt (Neg vx26) (Pos (primMulNat (Succ vx280) (Succ Zero)))",fontsize=16,color="magenta"];861 -> 896[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	861 -> 897[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	862 -> 905[label="",style="dashed", color="red", weight=0];
10.91/4.34	862[label="primMulInt (Neg vx26) (Neg (primMulNat (Succ vx270) (Succ Zero)))",fontsize=16,color="magenta"];862 -> 909[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	862 -> 910[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	863 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	863[label="primMulInt (Neg vx26) (Pos (primMulNat Zero (Succ Zero)))",fontsize=16,color="magenta"];863 -> 898[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	863 -> 899[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1066[label="vx710",fontsize=16,color="green",shape="box"];1067[label="vx600",fontsize=16,color="green",shape="box"];1068[label="vx610",fontsize=16,color="green",shape="box"];1069[label="vx700",fontsize=16,color="green",shape="box"];1070[label="vx43",fontsize=16,color="green",shape="box"];1071[label="vx22",fontsize=16,color="green",shape="box"];1210 -> 1179[label="",style="dashed", color="red", weight=0];
10.91/4.34	1210[label="primMulInt (primMinusNat vx450 vx480) (Pos (Succ Zero))",fontsize=16,color="magenta"];1210 -> 1214[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1210 -> 1215[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1211 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	1211[label="primMulInt (Pos (Succ vx450)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1211 -> 1216[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1211 -> 1217[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1212 -> 892[label="",style="dashed", color="red", weight=0];
10.91/4.34	1212[label="primMulInt (Neg (Succ vx480)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1212 -> 1218[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1212 -> 1219[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1213 -> 962[label="",style="dashed", color="red", weight=0];
10.91/4.34	1213[label="primMulInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];1213 -> 1220[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1213 -> 1221[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	896[label="vx26",fontsize=16,color="green",shape="box"];897 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	897[label="primMulNat (Succ vx280) (Succ Zero)",fontsize=16,color="magenta"];897 -> 943[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	897 -> 944[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	909[label="vx26",fontsize=16,color="green",shape="box"];910 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	910[label="primMulNat (Succ vx270) (Succ Zero)",fontsize=16,color="magenta"];910 -> 945[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	910 -> 946[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	898[label="vx26",fontsize=16,color="green",shape="box"];899 -> 460[label="",style="dashed", color="red", weight=0];
10.91/4.34	899[label="primMulNat Zero (Succ Zero)",fontsize=16,color="magenta"];899 -> 947[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	899 -> 948[label="",style="dashed", color="magenta", weight=3];
10.91/4.34	1214[label="vx480",fontsize=16,color="green",shape="box"];1215[label="vx450",fontsize=16,color="green",shape="box"];1216[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1217[label="Succ vx450",fontsize=16,color="green",shape="box"];1218[label="Succ vx480",fontsize=16,color="green",shape="box"];1219[label="Succ Zero",fontsize=16,color="green",shape="box"];1220[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1221[label="Zero",fontsize=16,color="green",shape="box"];943[label="Succ Zero",fontsize=16,color="green",shape="box"];944[label="Succ vx280",fontsize=16,color="green",shape="box"];945[label="Succ Zero",fontsize=16,color="green",shape="box"];946[label="Succ vx270",fontsize=16,color="green",shape="box"];947[label="Succ Zero",fontsize=16,color="green",shape="box"];948[label="Zero",fontsize=16,color="green",shape="box"];}
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(8)
10.91/4.34	Complex Obligation (AND)
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(9)
10.91/4.34	Obligation:
10.91/4.34	Q DP problem:
10.91/4.34	The TRS P consists of the following rules:
10.91/4.34	
10.91/4.34	   new_primMulInt0(Succ(vx450), Succ(vx480)) -> new_primMulInt0(vx450, vx480)
10.91/4.34	
10.91/4.34	R is empty.
10.91/4.34	Q is empty.
10.91/4.34	We have to consider all minimal (P,Q,R)-chains.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(10) QDPSizeChangeProof (EQUIVALENT)
10.91/4.34	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. 
10.91/4.34	
10.91/4.34	From the DPs we obtained the following set of size-change graphs:
10.91/4.34	*new_primMulInt0(Succ(vx450), Succ(vx480)) -> new_primMulInt0(vx450, vx480)
10.91/4.34	The graph contains the following edges 1 > 1, 2 > 2
10.91/4.34	
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(11)
10.91/4.34	YES
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(12)
10.91/4.34	Obligation:
10.91/4.34	Q DP problem:
10.91/4.34	The TRS P consists of the following rules:
10.91/4.34	
10.91/4.34	   new_primMulNat(Succ(vx5000), Succ(vx4100)) -> new_primMulNat(vx5000, Succ(vx4100))
10.91/4.34	
10.91/4.34	R is empty.
10.91/4.34	Q is empty.
10.91/4.34	We have to consider all minimal (P,Q,R)-chains.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(13) QDPSizeChangeProof (EQUIVALENT)
10.91/4.34	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. 
10.91/4.34	
10.91/4.34	From the DPs we obtained the following set of size-change graphs:
10.91/4.34	*new_primMulNat(Succ(vx5000), Succ(vx4100)) -> new_primMulNat(vx5000, Succ(vx4100))
10.91/4.34	The graph contains the following edges 1 > 1, 2 >= 2
10.91/4.34	
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(14)
10.91/4.34	YES
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(15)
10.91/4.34	Obligation:
10.91/4.34	Q DP problem:
10.91/4.34	The TRS P consists of the following rules:
10.91/4.34	
10.91/4.34	   new_primMulInt(vx26, Succ(vx280), Succ(vx270)) -> new_primMulInt(vx26, vx280, vx270)
10.91/4.34	
10.91/4.34	R is empty.
10.91/4.34	Q is empty.
10.91/4.34	We have to consider all minimal (P,Q,R)-chains.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(16) QDPSizeChangeProof (EQUIVALENT)
10.91/4.34	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. 
10.91/4.34	
10.91/4.34	From the DPs we obtained the following set of size-change graphs:
10.91/4.34	*new_primMulInt(vx26, Succ(vx280), Succ(vx270)) -> new_primMulInt(vx26, vx280, vx270)
10.91/4.34	The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3
10.91/4.34	
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(17)
10.91/4.34	YES
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(18)
10.91/4.34	Obligation:
10.91/4.34	Q DP problem:
10.91/4.34	The TRS P consists of the following rules:
10.91/4.34	
10.91/4.34	   new_primMulInt1(Succ(vx310), Succ(vx300), vx71, vx61) -> new_primMulInt1(vx310, vx300, vx71, vx61)
10.91/4.34	
10.91/4.34	R is empty.
10.91/4.34	Q is empty.
10.91/4.34	We have to consider all minimal (P,Q,R)-chains.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(19) QDPSizeChangeProof (EQUIVALENT)
10.91/4.34	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. 
10.91/4.34	
10.91/4.34	From the DPs we obtained the following set of size-change graphs:
10.91/4.34	*new_primMulInt1(Succ(vx310), Succ(vx300), vx71, vx61) -> new_primMulInt1(vx310, vx300, vx71, vx61)
10.91/4.34	The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3, 4 >= 4
10.91/4.34	
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(20)
10.91/4.34	YES
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(21)
10.91/4.34	Obligation:
10.91/4.34	Q DP problem:
10.91/4.34	The TRS P consists of the following rules:
10.91/4.34	
10.91/4.34	   new_primPlusNat(Succ(vx250), Succ(vx240)) -> new_primPlusNat(vx250, vx240)
10.91/4.34	
10.91/4.34	R is empty.
10.91/4.34	Q is empty.
10.91/4.34	We have to consider all minimal (P,Q,R)-chains.
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(22) QDPSizeChangeProof (EQUIVALENT)
10.91/4.34	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. 
10.91/4.34	
10.91/4.34	From the DPs we obtained the following set of size-change graphs:
10.91/4.34	*new_primPlusNat(Succ(vx250), Succ(vx240)) -> new_primPlusNat(vx250, vx240)
10.91/4.34	The graph contains the following edges 1 > 1, 2 > 2
10.91/4.34	
10.91/4.34	
10.91/4.34	----------------------------------------
10.91/4.34	
10.91/4.34	(23)
10.91/4.34	YES
11.11/4.40	EOF