9.85/4.09	YES
11.67/4.61	proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs
11.67/4.61	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
11.67/4.61	
11.67/4.61	
11.67/4.61	H-Termination with start terms of the given HASKELL could be proven:
11.67/4.61	
11.67/4.61	(0) HASKELL
11.67/4.61	(1) BR [EQUIVALENT, 0 ms]
11.67/4.61	(2) HASKELL
11.67/4.61	(3) COR [EQUIVALENT, 0 ms]
11.67/4.61	(4) HASKELL
11.67/4.61	(5) NumRed [SOUND, 0 ms]
11.67/4.61	(6) HASKELL
11.67/4.61	(7) Narrow [SOUND, 0 ms]
11.67/4.61	(8) QDP
11.67/4.61	(9) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.67/4.61	(10) YES
11.67/4.61	
11.67/4.61	
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(0)
11.67/4.61	Obligation:
11.67/4.61	mainModule Main 
11.67/4.61	module Main where {
11.67/4.61	import qualified Prelude;
11.67/4.61	}
11.67/4.61	
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(1) BR (EQUIVALENT)
11.67/4.61	Replaced joker patterns by fresh variables and removed binding patterns.
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(2)
11.67/4.61	Obligation:
11.67/4.61	mainModule Main 
11.67/4.61	module Main where {
11.67/4.61	import qualified Prelude;
11.67/4.61	}
11.67/4.61	
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(3) COR (EQUIVALENT)
11.67/4.61	Cond Reductions:
11.67/4.61	The following Function with conditions
11.67/4.61	"absReal x|x >= 0x|otherwise`negate` x;
11.67/4.61	"
11.67/4.61	is transformed to
11.67/4.61	"absReal x = absReal2 x;
11.67/4.61	"
11.67/4.61	"absReal0 x True = `negate` x;
11.67/4.61	"
11.67/4.61	"absReal1 x True = x;
11.67/4.61	absReal1 x False = absReal0 x otherwise;
11.67/4.61	"
11.67/4.61	"absReal2 x = absReal1 x (x >= 0);
11.67/4.61	"
11.67/4.61	The following Function with conditions
11.67/4.61	"undefined |Falseundefined;
11.67/4.61	"
11.67/4.61	is transformed to
11.67/4.61	"undefined  = undefined1;
11.67/4.61	"
11.67/4.61	"undefined0 True = undefined;
11.67/4.61	"
11.67/4.61	"undefined1  = undefined0 False;
11.67/4.61	"
11.67/4.61	
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(4)
11.67/4.61	Obligation:
11.67/4.61	mainModule Main 
11.67/4.61	module Main where {
11.67/4.61	import qualified Prelude;
11.67/4.61	}
11.67/4.61	
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(5) NumRed (SOUND)
11.67/4.61	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(6)
11.67/4.61	Obligation:
11.67/4.61	mainModule Main 
11.67/4.61	module Main where {
11.67/4.61	import qualified Prelude;
11.67/4.61	}
11.67/4.61	
11.67/4.61	----------------------------------------
11.67/4.61	
11.67/4.61	(7) Narrow (SOUND)
11.67/4.61	Haskell To QDPs
11.67/4.61	
11.67/4.61	digraph dp_graph {
11.67/4.61	node [outthreshold=100, inthreshold=100];1[label="abs",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
11.67/4.61	3[label="abs vx3",fontsize=16,color="blue",shape="box"];1564[label="abs :: (Ratio a) -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];3 -> 1564[label="",style="solid", color="blue", weight=9];
11.67/4.61	1564 -> 4[label="",style="solid", color="blue", weight=3];
11.67/4.61	1565[label="abs :: Float -> Float",fontsize=10,color="white",style="solid",shape="box"];3 -> 1565[label="",style="solid", color="blue", weight=9];
11.67/4.61	1565 -> 5[label="",style="solid", color="blue", weight=3];
11.67/4.61	1566[label="abs :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];3 -> 1566[label="",style="solid", color="blue", weight=9];
11.67/4.61	1566 -> 6[label="",style="solid", color="blue", weight=3];
11.67/4.61	1567[label="abs :: Double -> Double",fontsize=10,color="white",style="solid",shape="box"];3 -> 1567[label="",style="solid", color="blue", weight=9];
11.67/4.61	1567 -> 7[label="",style="solid", color="blue", weight=3];
11.67/4.61	1568[label="abs :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];3 -> 1568[label="",style="solid", color="blue", weight=9];
11.67/4.61	1568 -> 8[label="",style="solid", color="blue", weight=3];
11.67/4.61	4[label="abs vx3",fontsize=16,color="burlywood",shape="box"];1569[label="vx3/vx30 :% vx31",fontsize=10,color="white",style="solid",shape="box"];4 -> 1569[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1569 -> 9[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	5[label="abs vx3",fontsize=16,color="black",shape="box"];5 -> 10[label="",style="solid", color="black", weight=3];
11.67/4.61	6[label="abs vx3",fontsize=16,color="black",shape="triangle"];6 -> 11[label="",style="solid", color="black", weight=3];
11.67/4.61	7[label="abs vx3",fontsize=16,color="black",shape="box"];7 -> 12[label="",style="solid", color="black", weight=3];
11.67/4.61	8[label="abs vx3",fontsize=16,color="black",shape="triangle"];8 -> 13[label="",style="solid", color="black", weight=3];
11.67/4.61	9[label="abs (vx30 :% vx31)",fontsize=16,color="black",shape="box"];9 -> 14[label="",style="solid", color="black", weight=3];
11.67/4.61	10[label="absReal vx3",fontsize=16,color="black",shape="box"];10 -> 15[label="",style="solid", color="black", weight=3];
11.67/4.61	11[label="absReal vx3",fontsize=16,color="black",shape="box"];11 -> 16[label="",style="solid", color="black", weight=3];
11.67/4.61	12[label="absReal vx3",fontsize=16,color="black",shape="box"];12 -> 17[label="",style="solid", color="black", weight=3];
11.67/4.61	13[label="absReal vx3",fontsize=16,color="black",shape="box"];13 -> 18[label="",style="solid", color="black", weight=3];
11.67/4.61	14[label="abs vx30 :% vx31",fontsize=16,color="green",shape="box"];14 -> 19[label="",style="dashed", color="green", weight=3];
11.67/4.61	15[label="absReal2 vx3",fontsize=16,color="black",shape="box"];15 -> 20[label="",style="solid", color="black", weight=3];
11.67/4.61	16[label="absReal2 vx3",fontsize=16,color="black",shape="box"];16 -> 21[label="",style="solid", color="black", weight=3];
11.67/4.61	17[label="absReal2 vx3",fontsize=16,color="black",shape="box"];17 -> 22[label="",style="solid", color="black", weight=3];
11.67/4.61	18[label="absReal2 vx3",fontsize=16,color="black",shape="box"];18 -> 23[label="",style="solid", color="black", weight=3];
11.67/4.61	19[label="abs vx30",fontsize=16,color="blue",shape="box"];1570[label="abs :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];19 -> 1570[label="",style="solid", color="blue", weight=9];
11.67/4.61	1570 -> 24[label="",style="solid", color="blue", weight=3];
11.67/4.61	1571[label="abs :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];19 -> 1571[label="",style="solid", color="blue", weight=9];
11.67/4.61	1571 -> 25[label="",style="solid", color="blue", weight=3];
11.67/4.61	20[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];20 -> 26[label="",style="solid", color="black", weight=3];
11.67/4.61	21[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];21 -> 27[label="",style="solid", color="black", weight=3];
11.67/4.61	22[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];22 -> 28[label="",style="solid", color="black", weight=3];
11.67/4.61	23[label="absReal1 vx3 (vx3 >= fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];23 -> 29[label="",style="solid", color="black", weight=3];
11.67/4.61	24 -> 6[label="",style="dashed", color="red", weight=0];
11.67/4.61	24[label="abs vx30",fontsize=16,color="magenta"];24 -> 30[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	25 -> 8[label="",style="dashed", color="red", weight=0];
11.67/4.61	25[label="abs vx30",fontsize=16,color="magenta"];25 -> 31[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	26[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];26 -> 32[label="",style="solid", color="black", weight=3];
11.67/4.61	27[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];27 -> 33[label="",style="solid", color="black", weight=3];
11.67/4.61	28[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];28 -> 34[label="",style="solid", color="black", weight=3];
11.67/4.61	29[label="absReal1 vx3 (compare vx3 (fromInt (Pos Zero)) /= LT)",fontsize=16,color="black",shape="box"];29 -> 35[label="",style="solid", color="black", weight=3];
11.67/4.61	30[label="vx30",fontsize=16,color="green",shape="box"];31[label="vx30",fontsize=16,color="green",shape="box"];32[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
11.67/4.61	33[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3];
11.67/4.61	34[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3];
11.67/4.61	35[label="absReal1 vx3 (not (compare vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1572[label="vx3/Integer vx30",fontsize=10,color="white",style="solid",shape="box"];35 -> 1572[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1572 -> 39[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	36[label="absReal1 vx3 (not (primCmpFloat vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1573[label="vx3/Float vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];36 -> 1573[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1573 -> 40[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	37[label="absReal1 vx3 (not (primCmpInt vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1574[label="vx3/Pos vx30",fontsize=10,color="white",style="solid",shape="box"];37 -> 1574[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1574 -> 41[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1575[label="vx3/Neg vx30",fontsize=10,color="white",style="solid",shape="box"];37 -> 1575[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1575 -> 42[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	38[label="absReal1 vx3 (not (primCmpDouble vx3 (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1576[label="vx3/Double vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];38 -> 1576[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1576 -> 43[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	39[label="absReal1 (Integer vx30) (not (compare (Integer vx30) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];39 -> 44[label="",style="solid", color="black", weight=3];
11.67/4.61	40[label="absReal1 (Float vx30 vx31) (not (primCmpFloat (Float vx30 vx31) (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1577[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];40 -> 1577[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1577 -> 45[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1578[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];40 -> 1578[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1578 -> 46[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	41[label="absReal1 (Pos vx30) (not (primCmpInt (Pos vx30) (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1579[label="vx30/Succ vx300",fontsize=10,color="white",style="solid",shape="box"];41 -> 1579[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1579 -> 47[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1580[label="vx30/Zero",fontsize=10,color="white",style="solid",shape="box"];41 -> 1580[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1580 -> 48[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	42[label="absReal1 (Neg vx30) (not (primCmpInt (Neg vx30) (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1581[label="vx30/Succ vx300",fontsize=10,color="white",style="solid",shape="box"];42 -> 1581[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1581 -> 49[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1582[label="vx30/Zero",fontsize=10,color="white",style="solid",shape="box"];42 -> 1582[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1582 -> 50[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	43[label="absReal1 (Double vx30 vx31) (not (primCmpDouble (Double vx30 vx31) (fromInt (Pos Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1583[label="vx31/Pos vx310",fontsize=10,color="white",style="solid",shape="box"];43 -> 1583[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1583 -> 51[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1584[label="vx31/Neg vx310",fontsize=10,color="white",style="solid",shape="box"];43 -> 1584[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1584 -> 52[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	44[label="absReal1 (Integer vx30) (not (compare (Integer vx30) (Integer (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];44 -> 53[label="",style="solid", color="black", weight=3];
11.67/4.61	45[label="absReal1 (Float vx30 (Pos vx310)) (not (primCmpFloat (Float vx30 (Pos vx310)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];45 -> 54[label="",style="solid", color="black", weight=3];
11.67/4.61	46[label="absReal1 (Float vx30 (Neg vx310)) (not (primCmpFloat (Float vx30 (Neg vx310)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];46 -> 55[label="",style="solid", color="black", weight=3];
11.67/4.61	47[label="absReal1 (Pos (Succ vx300)) (not (primCmpInt (Pos (Succ vx300)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];47 -> 56[label="",style="solid", color="black", weight=3];
11.67/4.61	48[label="absReal1 (Pos Zero) (not (primCmpInt (Pos Zero) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];48 -> 57[label="",style="solid", color="black", weight=3];
11.67/4.61	49[label="absReal1 (Neg (Succ vx300)) (not (primCmpInt (Neg (Succ vx300)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];49 -> 58[label="",style="solid", color="black", weight=3];
11.67/4.61	50[label="absReal1 (Neg Zero) (not (primCmpInt (Neg Zero) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];50 -> 59[label="",style="solid", color="black", weight=3];
11.67/4.61	51[label="absReal1 (Double vx30 (Pos vx310)) (not (primCmpDouble (Double vx30 (Pos vx310)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];51 -> 60[label="",style="solid", color="black", weight=3];
11.67/4.61	52[label="absReal1 (Double vx30 (Neg vx310)) (not (primCmpDouble (Double vx30 (Neg vx310)) (fromInt (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];52 -> 61[label="",style="solid", color="black", weight=3];
11.67/4.61	53[label="absReal1 (Integer vx30) (not (primCmpInt vx30 (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1585[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];53 -> 1585[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1585 -> 62[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1586[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];53 -> 1586[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1586 -> 63[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	54[label="absReal1 (Float vx30 (Pos vx310)) (not (primCmpFloat (Float vx30 (Pos vx310)) (primIntToFloat (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];54 -> 64[label="",style="solid", color="black", weight=3];
11.67/4.61	55[label="absReal1 (Float vx30 (Neg vx310)) (not (primCmpFloat (Float vx30 (Neg vx310)) (primIntToFloat (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];55 -> 65[label="",style="solid", color="black", weight=3];
11.67/4.61	56[label="absReal1 (Pos (Succ vx300)) (not (primCmpInt (Pos (Succ vx300)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];56 -> 66[label="",style="solid", color="black", weight=3];
11.67/4.61	57[label="absReal1 (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];57 -> 67[label="",style="solid", color="black", weight=3];
11.67/4.61	58[label="absReal1 (Neg (Succ vx300)) (not (primCmpInt (Neg (Succ vx300)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];58 -> 68[label="",style="solid", color="black", weight=3];
11.67/4.61	59[label="absReal1 (Neg Zero) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];59 -> 69[label="",style="solid", color="black", weight=3];
11.67/4.61	60[label="absReal1 (Double vx30 (Pos vx310)) (not (primCmpDouble (Double vx30 (Pos vx310)) (primIntToDouble (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];60 -> 70[label="",style="solid", color="black", weight=3];
11.67/4.61	61[label="absReal1 (Double vx30 (Neg vx310)) (not (primCmpDouble (Double vx30 (Neg vx310)) (primIntToDouble (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];61 -> 71[label="",style="solid", color="black", weight=3];
11.67/4.61	62[label="absReal1 (Integer (Pos vx300)) (not (primCmpInt (Pos vx300) (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1587[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];62 -> 1587[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1587 -> 72[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1588[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];62 -> 1588[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1588 -> 73[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	63[label="absReal1 (Integer (Neg vx300)) (not (primCmpInt (Neg vx300) (Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1589[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];63 -> 1589[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1589 -> 74[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1590[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];63 -> 1590[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1590 -> 75[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	64[label="absReal1 (Float vx30 (Pos vx310)) (not (primCmpFloat (Float vx30 (Pos vx310)) (Float (Pos Zero) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];64 -> 76[label="",style="solid", color="black", weight=3];
11.67/4.61	65[label="absReal1 (Float vx30 (Neg vx310)) (not (primCmpFloat (Float vx30 (Neg vx310)) (Float (Pos Zero) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];65 -> 77[label="",style="solid", color="black", weight=3];
11.67/4.61	66[label="absReal1 (Pos (Succ vx300)) (not (primCmpNat (Succ vx300) Zero == LT))",fontsize=16,color="black",shape="box"];66 -> 78[label="",style="solid", color="black", weight=3];
11.67/4.61	67[label="absReal1 (Pos Zero) (not (EQ == LT))",fontsize=16,color="black",shape="box"];67 -> 79[label="",style="solid", color="black", weight=3];
11.67/4.61	68[label="absReal1 (Neg (Succ vx300)) (not (LT == LT))",fontsize=16,color="black",shape="box"];68 -> 80[label="",style="solid", color="black", weight=3];
11.67/4.61	69[label="absReal1 (Neg Zero) (not (EQ == LT))",fontsize=16,color="black",shape="box"];69 -> 81[label="",style="solid", color="black", weight=3];
11.67/4.61	70[label="absReal1 (Double vx30 (Pos vx310)) (not (primCmpDouble (Double vx30 (Pos vx310)) (Double (Pos Zero) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];70 -> 82[label="",style="solid", color="black", weight=3];
11.67/4.61	71[label="absReal1 (Double vx30 (Neg vx310)) (not (primCmpDouble (Double vx30 (Neg vx310)) (Double (Pos Zero) (Pos (Succ Zero))) == LT))",fontsize=16,color="black",shape="box"];71 -> 83[label="",style="solid", color="black", weight=3];
11.67/4.61	72[label="absReal1 (Integer (Pos (Succ vx3000))) (not (primCmpInt (Pos (Succ vx3000)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];72 -> 84[label="",style="solid", color="black", weight=3];
11.67/4.61	73[label="absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];73 -> 85[label="",style="solid", color="black", weight=3];
11.67/4.61	74[label="absReal1 (Integer (Neg (Succ vx3000))) (not (primCmpInt (Neg (Succ vx3000)) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];74 -> 86[label="",style="solid", color="black", weight=3];
11.67/4.61	75[label="absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];75 -> 87[label="",style="solid", color="black", weight=3];
11.67/4.61	76[label="absReal1 (Float vx30 (Pos vx310)) (not (compare (vx30 * Pos (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];76 -> 88[label="",style="solid", color="black", weight=3];
11.67/4.61	77[label="absReal1 (Float vx30 (Neg vx310)) (not (compare (vx30 * Neg (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];77 -> 89[label="",style="solid", color="black", weight=3];
11.67/4.61	78[label="absReal1 (Pos (Succ vx300)) (not (GT == LT))",fontsize=16,color="black",shape="box"];78 -> 90[label="",style="solid", color="black", weight=3];
11.67/4.61	79[label="absReal1 (Pos Zero) (not False)",fontsize=16,color="black",shape="box"];79 -> 91[label="",style="solid", color="black", weight=3];
11.67/4.61	80[label="absReal1 (Neg (Succ vx300)) (not True)",fontsize=16,color="black",shape="box"];80 -> 92[label="",style="solid", color="black", weight=3];
11.67/4.61	81[label="absReal1 (Neg Zero) (not False)",fontsize=16,color="black",shape="box"];81 -> 93[label="",style="solid", color="black", weight=3];
11.67/4.61	82[label="absReal1 (Double vx30 (Pos vx310)) (not (compare (vx30 * Pos (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];82 -> 94[label="",style="solid", color="black", weight=3];
11.67/4.61	83[label="absReal1 (Double vx30 (Neg vx310)) (not (compare (vx30 * Neg (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];83 -> 95[label="",style="solid", color="black", weight=3];
11.67/4.61	84[label="absReal1 (Integer (Pos (Succ vx3000))) (not (primCmpNat (Succ vx3000) Zero == LT))",fontsize=16,color="black",shape="box"];84 -> 96[label="",style="solid", color="black", weight=3];
11.67/4.61	85[label="absReal1 (Integer (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];85 -> 97[label="",style="solid", color="black", weight=3];
11.67/4.61	86[label="absReal1 (Integer (Neg (Succ vx3000))) (not (LT == LT))",fontsize=16,color="black",shape="box"];86 -> 98[label="",style="solid", color="black", weight=3];
11.67/4.61	87[label="absReal1 (Integer (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];87 -> 99[label="",style="solid", color="black", weight=3];
11.67/4.61	88[label="absReal1 (Float vx30 (Pos vx310)) (not (primCmpInt (vx30 * Pos (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];88 -> 100[label="",style="solid", color="black", weight=3];
11.67/4.61	89[label="absReal1 (Float vx30 (Neg vx310)) (not (primCmpInt (vx30 * Neg (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];89 -> 101[label="",style="solid", color="black", weight=3];
11.67/4.61	90[label="absReal1 (Pos (Succ vx300)) (not False)",fontsize=16,color="black",shape="box"];90 -> 102[label="",style="solid", color="black", weight=3];
11.67/4.61	91[label="absReal1 (Pos Zero) True",fontsize=16,color="black",shape="box"];91 -> 103[label="",style="solid", color="black", weight=3];
11.67/4.61	92[label="absReal1 (Neg (Succ vx300)) False",fontsize=16,color="black",shape="box"];92 -> 104[label="",style="solid", color="black", weight=3];
11.67/4.61	93[label="absReal1 (Neg Zero) True",fontsize=16,color="black",shape="box"];93 -> 105[label="",style="solid", color="black", weight=3];
11.67/4.61	94[label="absReal1 (Double vx30 (Pos vx310)) (not (primCmpInt (vx30 * Pos (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];94 -> 106[label="",style="solid", color="black", weight=3];
11.67/4.61	95[label="absReal1 (Double vx30 (Neg vx310)) (not (primCmpInt (vx30 * Neg (Succ Zero)) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];95 -> 107[label="",style="solid", color="black", weight=3];
11.67/4.61	96[label="absReal1 (Integer (Pos (Succ vx3000))) (not (GT == LT))",fontsize=16,color="black",shape="box"];96 -> 108[label="",style="solid", color="black", weight=3];
11.67/4.61	97[label="absReal1 (Integer (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];97 -> 109[label="",style="solid", color="black", weight=3];
11.67/4.61	98[label="absReal1 (Integer (Neg (Succ vx3000))) (not True)",fontsize=16,color="black",shape="box"];98 -> 110[label="",style="solid", color="black", weight=3];
11.67/4.61	99[label="absReal1 (Integer (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];99 -> 111[label="",style="solid", color="black", weight=3];
11.67/4.61	100[label="absReal1 (Float vx30 (Pos vx310)) (not (primCmpInt (primMulInt vx30 (Pos (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1591[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];100 -> 1591[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1591 -> 112[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1592[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];100 -> 1592[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1592 -> 113[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	101[label="absReal1 (Float vx30 (Neg vx310)) (not (primCmpInt (primMulInt vx30 (Neg (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1593[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];101 -> 1593[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1593 -> 114[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1594[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];101 -> 1594[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1594 -> 115[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	102[label="absReal1 (Pos (Succ vx300)) True",fontsize=16,color="black",shape="box"];102 -> 116[label="",style="solid", color="black", weight=3];
11.67/4.61	103[label="Pos Zero",fontsize=16,color="green",shape="box"];104[label="absReal0 (Neg (Succ vx300)) otherwise",fontsize=16,color="black",shape="box"];104 -> 117[label="",style="solid", color="black", weight=3];
11.67/4.61	105[label="Neg Zero",fontsize=16,color="green",shape="box"];106[label="absReal1 (Double vx30 (Pos vx310)) (not (primCmpInt (primMulInt vx30 (Pos (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1595[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];106 -> 1595[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1595 -> 118[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1596[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];106 -> 1596[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1596 -> 119[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	107[label="absReal1 (Double vx30 (Neg vx310)) (not (primCmpInt (primMulInt vx30 (Neg (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1597[label="vx30/Pos vx300",fontsize=10,color="white",style="solid",shape="box"];107 -> 1597[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1597 -> 120[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1598[label="vx30/Neg vx300",fontsize=10,color="white",style="solid",shape="box"];107 -> 1598[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1598 -> 121[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	108[label="absReal1 (Integer (Pos (Succ vx3000))) (not False)",fontsize=16,color="black",shape="box"];108 -> 122[label="",style="solid", color="black", weight=3];
11.67/4.61	109[label="absReal1 (Integer (Pos Zero)) True",fontsize=16,color="black",shape="box"];109 -> 123[label="",style="solid", color="black", weight=3];
11.67/4.61	110[label="absReal1 (Integer (Neg (Succ vx3000))) False",fontsize=16,color="black",shape="box"];110 -> 124[label="",style="solid", color="black", weight=3];
11.67/4.61	111[label="absReal1 (Integer (Neg Zero)) True",fontsize=16,color="black",shape="box"];111 -> 125[label="",style="solid", color="black", weight=3];
11.67/4.61	112[label="absReal1 (Float (Pos vx300) (Pos vx310)) (not (primCmpInt (primMulInt (Pos vx300) (Pos (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];112 -> 126[label="",style="solid", color="black", weight=3];
11.67/4.61	113[label="absReal1 (Float (Neg vx300) (Pos vx310)) (not (primCmpInt (primMulInt (Neg vx300) (Pos (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];113 -> 127[label="",style="solid", color="black", weight=3];
11.67/4.61	114[label="absReal1 (Float (Pos vx300) (Neg vx310)) (not (primCmpInt (primMulInt (Pos vx300) (Neg (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];114 -> 128[label="",style="solid", color="black", weight=3];
11.67/4.61	115[label="absReal1 (Float (Neg vx300) (Neg vx310)) (not (primCmpInt (primMulInt (Neg vx300) (Neg (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];115 -> 129[label="",style="solid", color="black", weight=3];
11.67/4.61	116[label="Pos (Succ vx300)",fontsize=16,color="green",shape="box"];117[label="absReal0 (Neg (Succ vx300)) True",fontsize=16,color="black",shape="box"];117 -> 130[label="",style="solid", color="black", weight=3];
11.67/4.61	118[label="absReal1 (Double (Pos vx300) (Pos vx310)) (not (primCmpInt (primMulInt (Pos vx300) (Pos (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];118 -> 131[label="",style="solid", color="black", weight=3];
11.67/4.61	119[label="absReal1 (Double (Neg vx300) (Pos vx310)) (not (primCmpInt (primMulInt (Neg vx300) (Pos (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];119 -> 132[label="",style="solid", color="black", weight=3];
11.67/4.61	120[label="absReal1 (Double (Pos vx300) (Neg vx310)) (not (primCmpInt (primMulInt (Pos vx300) (Neg (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];120 -> 133[label="",style="solid", color="black", weight=3];
11.67/4.61	121[label="absReal1 (Double (Neg vx300) (Neg vx310)) (not (primCmpInt (primMulInt (Neg vx300) (Neg (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];121 -> 134[label="",style="solid", color="black", weight=3];
11.67/4.61	122[label="absReal1 (Integer (Pos (Succ vx3000))) True",fontsize=16,color="black",shape="box"];122 -> 135[label="",style="solid", color="black", weight=3];
11.67/4.61	123[label="Integer (Pos Zero)",fontsize=16,color="green",shape="box"];124[label="absReal0 (Integer (Neg (Succ vx3000))) otherwise",fontsize=16,color="black",shape="box"];124 -> 136[label="",style="solid", color="black", weight=3];
11.67/4.61	125[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];126[label="absReal1 (Float (Pos vx300) (Pos vx310)) (not (primCmpInt (Pos (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1599[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];126 -> 1599[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1599 -> 137[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1600[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];126 -> 1600[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1600 -> 138[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	127[label="absReal1 (Float (Neg vx300) (Pos vx310)) (not (primCmpInt (Neg (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1601[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];127 -> 1601[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1601 -> 139[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1602[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];127 -> 1602[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1602 -> 140[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	128[label="absReal1 (Float (Pos vx300) (Neg vx310)) (not (primCmpInt (Neg (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1603[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];128 -> 1603[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1603 -> 141[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1604[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];128 -> 1604[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1604 -> 142[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	129[label="absReal1 (Float (Neg vx300) (Neg vx310)) (not (primCmpInt (Pos (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1605[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];129 -> 1605[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1605 -> 143[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1606[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];129 -> 1606[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1606 -> 144[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	130[label="`negate` Neg (Succ vx300)",fontsize=16,color="black",shape="triangle"];130 -> 145[label="",style="solid", color="black", weight=3];
11.67/4.61	131[label="absReal1 (Double (Pos vx300) (Pos vx310)) (not (primCmpInt (Pos (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1607[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];131 -> 1607[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1607 -> 146[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1608[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];131 -> 1608[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1608 -> 147[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	132[label="absReal1 (Double (Neg vx300) (Pos vx310)) (not (primCmpInt (Neg (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1609[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];132 -> 1609[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1609 -> 148[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1610[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];132 -> 1610[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1610 -> 149[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	133[label="absReal1 (Double (Pos vx300) (Neg vx310)) (not (primCmpInt (Neg (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1611[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];133 -> 1611[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1611 -> 150[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1612[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];133 -> 1612[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1612 -> 151[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	134[label="absReal1 (Double (Neg vx300) (Neg vx310)) (not (primCmpInt (Pos (primMulNat vx300 (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1613[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];134 -> 1613[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1613 -> 152[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1614[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];134 -> 1614[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1614 -> 153[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	135[label="Integer (Pos (Succ vx3000))",fontsize=16,color="green",shape="box"];136[label="absReal0 (Integer (Neg (Succ vx3000))) True",fontsize=16,color="black",shape="box"];136 -> 154[label="",style="solid", color="black", weight=3];
11.67/4.61	137[label="absReal1 (Float (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];137 -> 155[label="",style="solid", color="black", weight=3];
11.67/4.61	138[label="absReal1 (Float (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];138 -> 156[label="",style="solid", color="black", weight=3];
11.67/4.61	139[label="absReal1 (Float (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];139 -> 157[label="",style="solid", color="black", weight=3];
11.67/4.61	140[label="absReal1 (Float (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];140 -> 158[label="",style="solid", color="black", weight=3];
11.67/4.61	141[label="absReal1 (Float (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];141 -> 159[label="",style="solid", color="black", weight=3];
11.67/4.61	142[label="absReal1 (Float (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];142 -> 160[label="",style="solid", color="black", weight=3];
11.67/4.61	143[label="absReal1 (Float (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];143 -> 161[label="",style="solid", color="black", weight=3];
11.67/4.61	144[label="absReal1 (Float (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];144 -> 162[label="",style="solid", color="black", weight=3];
11.67/4.61	145[label="primNegInt (Neg (Succ vx300))",fontsize=16,color="black",shape="triangle"];145 -> 163[label="",style="solid", color="black", weight=3];
11.67/4.61	146[label="absReal1 (Double (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];146 -> 164[label="",style="solid", color="black", weight=3];
11.67/4.61	147[label="absReal1 (Double (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];147 -> 165[label="",style="solid", color="black", weight=3];
11.67/4.61	148[label="absReal1 (Double (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];148 -> 166[label="",style="solid", color="black", weight=3];
11.67/4.61	149[label="absReal1 (Double (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];149 -> 167[label="",style="solid", color="black", weight=3];
11.67/4.61	150[label="absReal1 (Double (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];150 -> 168[label="",style="solid", color="black", weight=3];
11.67/4.61	151[label="absReal1 (Double (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];151 -> 169[label="",style="solid", color="black", weight=3];
11.67/4.61	152[label="absReal1 (Double (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos (primMulNat (Succ vx3000) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];152 -> 170[label="",style="solid", color="black", weight=3];
11.67/4.61	153[label="absReal1 (Double (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];153 -> 171[label="",style="solid", color="black", weight=3];
11.67/4.61	154[label="`negate` Integer (Neg (Succ vx3000))",fontsize=16,color="black",shape="box"];154 -> 172[label="",style="solid", color="black", weight=3];
11.67/4.61	155 -> 1378[label="",style="dashed", color="red", weight=0];
11.67/4.61	155[label="absReal1 (Float (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];155 -> 1379[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	155 -> 1380[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	155 -> 1381[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	156[label="absReal1 (Float (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];156 -> 175[label="",style="solid", color="black", weight=3];
11.67/4.61	157 -> 902[label="",style="dashed", color="red", weight=0];
11.67/4.61	157[label="absReal1 (Float (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];157 -> 903[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	157 -> 904[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	157 -> 905[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	158[label="absReal1 (Float (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];158 -> 178[label="",style="solid", color="black", weight=3];
11.67/4.61	159 -> 921[label="",style="dashed", color="red", weight=0];
11.67/4.61	159[label="absReal1 (Float (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];159 -> 922[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	159 -> 923[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	159 -> 924[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	160[label="absReal1 (Float (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];160 -> 181[label="",style="solid", color="black", weight=3];
11.67/4.61	161 -> 945[label="",style="dashed", color="red", weight=0];
11.67/4.61	161[label="absReal1 (Float (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];161 -> 946[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	161 -> 947[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	161 -> 948[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	162[label="absReal1 (Float (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];162 -> 184[label="",style="solid", color="black", weight=3];
11.67/4.61	163[label="Pos (Succ vx300)",fontsize=16,color="green",shape="box"];164 -> 975[label="",style="dashed", color="red", weight=0];
11.67/4.61	164[label="absReal1 (Double (Pos (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Pos (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];164 -> 976[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	164 -> 977[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	164 -> 978[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	165[label="absReal1 (Double (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];165 -> 187[label="",style="solid", color="black", weight=3];
11.67/4.61	166 -> 1058[label="",style="dashed", color="red", weight=0];
11.67/4.61	166[label="absReal1 (Double (Neg (Succ vx3000)) (Pos vx310)) (not (primCmpInt (Neg (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];166 -> 1059[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	166 -> 1060[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	166 -> 1061[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	167[label="absReal1 (Double (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];167 -> 190[label="",style="solid", color="black", weight=3];
11.67/4.61	168 -> 1144[label="",style="dashed", color="red", weight=0];
11.67/4.61	168[label="absReal1 (Double (Pos (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Neg (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];168 -> 1145[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	168 -> 1146[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	168 -> 1147[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	169[label="absReal1 (Double (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];169 -> 193[label="",style="solid", color="black", weight=3];
11.67/4.61	170 -> 1233[label="",style="dashed", color="red", weight=0];
11.67/4.61	170[label="absReal1 (Double (Neg (Succ vx3000)) (Neg vx310)) (not (primCmpInt (Pos (primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero))) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="magenta"];170 -> 1234[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	170 -> 1235[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	170 -> 1236[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	171[label="absReal1 (Double (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (Pos vx310 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];171 -> 196[label="",style="solid", color="black", weight=3];
11.67/4.61	172[label="Integer (primNegInt (Neg (Succ vx3000)))",fontsize=16,color="green",shape="box"];172 -> 197[label="",style="dashed", color="green", weight=3];
11.67/4.61	1379[label="vx3000",fontsize=16,color="green",shape="box"];1380[label="vx310",fontsize=16,color="green",shape="box"];1381 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	1381[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1381 -> 1451[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1378[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos vx66) (Pos vx9 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1615[label="vx66/Succ vx660",fontsize=10,color="white",style="solid",shape="box"];1378 -> 1615[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1615 -> 1452[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1616[label="vx66/Zero",fontsize=10,color="white",style="solid",shape="box"];1378 -> 1616[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1616 -> 1453[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	175[label="absReal1 (Float (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];175 -> 200[label="",style="solid", color="black", weight=3];
11.67/4.61	903 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	903[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];903 -> 918[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	904[label="vx310",fontsize=16,color="green",shape="box"];905[label="vx3000",fontsize=16,color="green",shape="box"];902[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg vx40) (Pos vx16 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1617[label="vx40/Succ vx400",fontsize=10,color="white",style="solid",shape="box"];902 -> 1617[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1617 -> 919[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1618[label="vx40/Zero",fontsize=10,color="white",style="solid",shape="box"];902 -> 1618[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1618 -> 920[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	178[label="absReal1 (Float (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];178 -> 203[label="",style="solid", color="black", weight=3];
11.67/4.61	922 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	922[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];922 -> 937[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	923[label="vx3000",fontsize=16,color="green",shape="box"];924[label="vx310",fontsize=16,color="green",shape="box"];921[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg vx41) (Pos vx19 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1619[label="vx41/Succ vx410",fontsize=10,color="white",style="solid",shape="box"];921 -> 1619[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1619 -> 938[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1620[label="vx41/Zero",fontsize=10,color="white",style="solid",shape="box"];921 -> 1620[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1620 -> 939[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	181[label="absReal1 (Float (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];181 -> 206[label="",style="solid", color="black", weight=3];
11.67/4.61	946[label="vx3000",fontsize=16,color="green",shape="box"];947 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	947[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];947 -> 961[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	948[label="vx310",fontsize=16,color="green",shape="box"];945[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos vx42) (Pos vx22 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1621[label="vx42/Succ vx420",fontsize=10,color="white",style="solid",shape="box"];945 -> 1621[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1621 -> 962[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1622[label="vx42/Zero",fontsize=10,color="white",style="solid",shape="box"];945 -> 1622[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1622 -> 963[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	184[label="absReal1 (Float (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];184 -> 209[label="",style="solid", color="black", weight=3];
11.67/4.61	976[label="vx3000",fontsize=16,color="green",shape="box"];977 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	977[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];977 -> 1043[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	978[label="vx310",fontsize=16,color="green",shape="box"];975[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos vx43) (Pos vx25 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1623[label="vx43/Succ vx430",fontsize=10,color="white",style="solid",shape="box"];975 -> 1623[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1623 -> 1044[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1624[label="vx43/Zero",fontsize=10,color="white",style="solid",shape="box"];975 -> 1624[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1624 -> 1045[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	187[label="absReal1 (Double (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];187 -> 212[label="",style="solid", color="black", weight=3];
11.67/4.61	1059[label="vx310",fontsize=16,color="green",shape="box"];1060[label="vx3000",fontsize=16,color="green",shape="box"];1061 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	1061[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1061 -> 1126[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1058[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg vx48) (Pos vx28 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1625[label="vx48/Succ vx480",fontsize=10,color="white",style="solid",shape="box"];1058 -> 1625[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1625 -> 1127[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1626[label="vx48/Zero",fontsize=10,color="white",style="solid",shape="box"];1058 -> 1626[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1626 -> 1128[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	190[label="absReal1 (Double (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];190 -> 215[label="",style="solid", color="black", weight=3];
11.67/4.61	1145[label="vx310",fontsize=16,color="green",shape="box"];1146[label="vx3000",fontsize=16,color="green",shape="box"];1147 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	1147[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1147 -> 1212[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1144[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg vx53) (Pos vx31 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1627[label="vx53/Succ vx530",fontsize=10,color="white",style="solid",shape="box"];1144 -> 1627[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1627 -> 1213[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1628[label="vx53/Zero",fontsize=10,color="white",style="solid",shape="box"];1144 -> 1628[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1628 -> 1214[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	193[label="absReal1 (Double (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];193 -> 218[label="",style="solid", color="black", weight=3];
11.67/4.61	1234[label="vx310",fontsize=16,color="green",shape="box"];1235 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	1235[label="primPlusNat (primMulNat vx3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1235 -> 1301[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1236[label="vx3000",fontsize=16,color="green",shape="box"];1233[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos vx58) (Pos vx34 * Pos Zero) == LT))",fontsize=16,color="burlywood",shape="triangle"];1629[label="vx58/Succ vx580",fontsize=10,color="white",style="solid",shape="box"];1233 -> 1629[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1629 -> 1302[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1630[label="vx58/Zero",fontsize=10,color="white",style="solid",shape="box"];1233 -> 1630[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1630 -> 1303[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	196[label="absReal1 (Double (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx310) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];196 -> 221[label="",style="solid", color="black", weight=3];
11.67/4.61	197 -> 145[label="",style="dashed", color="red", weight=0];
11.67/4.61	197[label="primNegInt (Neg (Succ vx3000))",fontsize=16,color="magenta"];197 -> 222[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1451 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	1451[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];1451 -> 1475[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	894[label="primPlusNat vx39 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1631[label="vx39/Succ vx390",fontsize=10,color="white",style="solid",shape="box"];894 -> 1631[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1631 -> 941[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1632[label="vx39/Zero",fontsize=10,color="white",style="solid",shape="box"];894 -> 1632[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1632 -> 942[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1452[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos (Succ vx660)) (Pos vx9 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1452 -> 1476[label="",style="solid", color="black", weight=3];
11.67/4.61	1453[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos Zero) (Pos vx9 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1453 -> 1477[label="",style="solid", color="black", weight=3];
11.67/4.61	200[label="absReal1 (Float (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1633[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];200 -> 1633[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1633 -> 226[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1634[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];200 -> 1634[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1634 -> 227[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	918 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	918[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];918 -> 940[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	919[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg (Succ vx400)) (Pos vx16 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];919 -> 943[label="",style="solid", color="black", weight=3];
11.67/4.61	920[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg Zero) (Pos vx16 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];920 -> 944[label="",style="solid", color="black", weight=3];
11.67/4.61	203[label="absReal1 (Float (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1635[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];203 -> 1635[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1635 -> 231[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1636[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];203 -> 1636[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1636 -> 232[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	937 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	937[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];937 -> 964[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	938[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg (Succ vx410)) (Pos vx19 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];938 -> 965[label="",style="solid", color="black", weight=3];
11.67/4.61	939[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg Zero) (Pos vx19 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];939 -> 966[label="",style="solid", color="black", weight=3];
11.67/4.61	206[label="absReal1 (Float (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1637[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];206 -> 1637[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1637 -> 236[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1638[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];206 -> 1638[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1638 -> 237[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	961 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	961[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];961 -> 1046[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	962[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos (Succ vx420)) (Pos vx22 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];962 -> 1047[label="",style="solid", color="black", weight=3];
11.67/4.61	963[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos Zero) (Pos vx22 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];963 -> 1048[label="",style="solid", color="black", weight=3];
11.67/4.61	209[label="absReal1 (Float (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1639[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];209 -> 1639[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1639 -> 241[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1640[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];209 -> 1640[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1640 -> 242[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1043 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	1043[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];1043 -> 1129[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1044[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos (Succ vx430)) (Pos vx25 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1044 -> 1130[label="",style="solid", color="black", weight=3];
11.67/4.61	1045[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos Zero) (Pos vx25 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1045 -> 1131[label="",style="solid", color="black", weight=3];
11.67/4.61	212[label="absReal1 (Double (Pos Zero) (Pos vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1641[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];212 -> 1641[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1641 -> 246[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1642[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];212 -> 1642[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1642 -> 247[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1126 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	1126[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];1126 -> 1215[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1127[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg (Succ vx480)) (Pos vx28 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1127 -> 1216[label="",style="solid", color="black", weight=3];
11.67/4.61	1128[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg Zero) (Pos vx28 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1128 -> 1217[label="",style="solid", color="black", weight=3];
11.67/4.61	215[label="absReal1 (Double (Neg Zero) (Pos vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1643[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];215 -> 1643[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1643 -> 251[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1644[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];215 -> 1644[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1644 -> 252[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1212 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	1212[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];1212 -> 1304[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1213[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg (Succ vx530)) (Pos vx31 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1213 -> 1305[label="",style="solid", color="black", weight=3];
11.67/4.61	1214[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg Zero) (Pos vx31 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1214 -> 1306[label="",style="solid", color="black", weight=3];
11.67/4.61	218[label="absReal1 (Double (Pos Zero) (Neg vx310)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1645[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];218 -> 1645[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1645 -> 256[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1646[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];218 -> 1646[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1646 -> 257[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1301 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.61	1301[label="primMulNat vx3000 (Succ Zero)",fontsize=16,color="magenta"];1301 -> 1329[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	1302[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos (Succ vx580)) (Pos vx34 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1302 -> 1330[label="",style="solid", color="black", weight=3];
11.67/4.61	1303[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos Zero) (Pos vx34 * Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1303 -> 1331[label="",style="solid", color="black", weight=3];
11.67/4.61	221[label="absReal1 (Double (Neg Zero) (Neg vx310)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx310 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1647[label="vx310/Succ vx3100",fontsize=10,color="white",style="solid",shape="box"];221 -> 1647[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1647 -> 261[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1648[label="vx310/Zero",fontsize=10,color="white",style="solid",shape="box"];221 -> 1648[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1648 -> 262[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	222[label="vx3000",fontsize=16,color="green",shape="box"];1475[label="vx3000",fontsize=16,color="green",shape="box"];746[label="primMulNat vx30000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1649[label="vx30000/Succ vx300000",fontsize=10,color="white",style="solid",shape="box"];746 -> 1649[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1649 -> 788[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1650[label="vx30000/Zero",fontsize=10,color="white",style="solid",shape="box"];746 -> 1650[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1650 -> 789[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	941[label="primPlusNat (Succ vx390) (Succ Zero)",fontsize=16,color="black",shape="box"];941 -> 967[label="",style="solid", color="black", weight=3];
11.67/4.61	942[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];942 -> 968[label="",style="solid", color="black", weight=3];
11.67/4.61	1476[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos (Succ vx660)) (primMulInt (Pos vx9) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1476 -> 1496[label="",style="solid", color="black", weight=3];
11.67/4.61	1477[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx9) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1477 -> 1497[label="",style="solid", color="black", weight=3];
11.67/4.61	226[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];226 -> 266[label="",style="solid", color="black", weight=3];
11.67/4.61	227[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];227 -> 267[label="",style="solid", color="black", weight=3];
11.67/4.61	940[label="vx3000",fontsize=16,color="green",shape="box"];943[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg (Succ vx400)) (primMulInt (Pos vx16) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];943 -> 969[label="",style="solid", color="black", weight=3];
11.67/4.61	944[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx16) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];944 -> 970[label="",style="solid", color="black", weight=3];
11.67/4.61	231[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];231 -> 271[label="",style="solid", color="black", weight=3];
11.67/4.61	232[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];232 -> 272[label="",style="solid", color="black", weight=3];
11.67/4.61	964[label="vx3000",fontsize=16,color="green",shape="box"];965[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg (Succ vx410)) (primMulInt (Pos vx19) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];965 -> 1049[label="",style="solid", color="black", weight=3];
11.67/4.61	966[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx19) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];966 -> 1050[label="",style="solid", color="black", weight=3];
11.67/4.61	236[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];236 -> 276[label="",style="solid", color="black", weight=3];
11.67/4.61	237[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];237 -> 277[label="",style="solid", color="black", weight=3];
11.67/4.61	1046[label="vx3000",fontsize=16,color="green",shape="box"];1047[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos (Succ vx420)) (primMulInt (Pos vx22) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1047 -> 1132[label="",style="solid", color="black", weight=3];
11.67/4.61	1048[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx22) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1048 -> 1133[label="",style="solid", color="black", weight=3];
11.67/4.61	241[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];241 -> 281[label="",style="solid", color="black", weight=3];
11.67/4.61	242[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];242 -> 282[label="",style="solid", color="black", weight=3];
11.67/4.61	1129[label="vx3000",fontsize=16,color="green",shape="box"];1130[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos (Succ vx430)) (primMulInt (Pos vx25) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1130 -> 1218[label="",style="solid", color="black", weight=3];
11.67/4.61	1131[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx25) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1131 -> 1219[label="",style="solid", color="black", weight=3];
11.67/4.61	246[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];246 -> 286[label="",style="solid", color="black", weight=3];
11.67/4.61	247[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];247 -> 287[label="",style="solid", color="black", weight=3];
11.67/4.61	1215[label="vx3000",fontsize=16,color="green",shape="box"];1216[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg (Succ vx480)) (primMulInt (Pos vx28) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1216 -> 1307[label="",style="solid", color="black", weight=3];
11.67/4.61	1217[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx28) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1217 -> 1308[label="",style="solid", color="black", weight=3];
11.67/4.61	251[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];251 -> 291[label="",style="solid", color="black", weight=3];
11.67/4.61	252[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];252 -> 292[label="",style="solid", color="black", weight=3];
11.67/4.61	1304[label="vx3000",fontsize=16,color="green",shape="box"];1305[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg (Succ vx530)) (primMulInt (Pos vx31) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1305 -> 1332[label="",style="solid", color="black", weight=3];
11.67/4.61	1306[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg Zero) (primMulInt (Pos vx31) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1306 -> 1333[label="",style="solid", color="black", weight=3];
11.67/4.61	256[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];256 -> 296[label="",style="solid", color="black", weight=3];
11.67/4.61	257[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];257 -> 297[label="",style="solid", color="black", weight=3];
11.67/4.61	1329[label="vx3000",fontsize=16,color="green",shape="box"];1330[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos (Succ vx580)) (primMulInt (Pos vx34) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1330 -> 1354[label="",style="solid", color="black", weight=3];
11.67/4.61	1331[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos Zero) (primMulInt (Pos vx34) (Pos Zero)) == LT))",fontsize=16,color="black",shape="box"];1331 -> 1355[label="",style="solid", color="black", weight=3];
11.67/4.61	261[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx3100) Zero)) == LT))",fontsize=16,color="black",shape="box"];261 -> 301[label="",style="solid", color="black", weight=3];
11.67/4.61	262[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];262 -> 302[label="",style="solid", color="black", weight=3];
11.67/4.61	788[label="primMulNat (Succ vx300000) (Succ Zero)",fontsize=16,color="black",shape="box"];788 -> 839[label="",style="solid", color="black", weight=3];
11.67/4.61	789[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];789 -> 840[label="",style="solid", color="black", weight=3];
11.67/4.61	967[label="Succ (Succ (primPlusNat vx390 Zero))",fontsize=16,color="green",shape="box"];967 -> 1051[label="",style="dashed", color="green", weight=3];
11.67/4.61	968[label="Succ Zero",fontsize=16,color="green",shape="box"];1496[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos (Succ vx660)) (Pos (primMulNat vx9 Zero)) == LT))",fontsize=16,color="black",shape="box"];1496 -> 1512[label="",style="solid", color="black", weight=3];
11.67/4.61	1497[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx9 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1651[label="vx9/Succ vx90",fontsize=10,color="white",style="solid",shape="box"];1497 -> 1651[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1651 -> 1513[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1652[label="vx9/Zero",fontsize=10,color="white",style="solid",shape="box"];1497 -> 1652[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1652 -> 1514[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	266[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];266 -> 307[label="",style="solid", color="black", weight=3];
11.67/4.61	267[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];267 -> 308[label="",style="solid", color="black", weight=3];
11.67/4.61	969[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg (Succ vx400)) (Pos (primMulNat vx16 Zero)) == LT))",fontsize=16,color="black",shape="box"];969 -> 1052[label="",style="solid", color="black", weight=3];
11.67/4.61	970[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx16 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1653[label="vx16/Succ vx160",fontsize=10,color="white",style="solid",shape="box"];970 -> 1653[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1653 -> 1053[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1654[label="vx16/Zero",fontsize=10,color="white",style="solid",shape="box"];970 -> 1654[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1654 -> 1054[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	271[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];271 -> 313[label="",style="solid", color="black", weight=3];
11.67/4.61	272[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];272 -> 314[label="",style="solid", color="black", weight=3];
11.67/4.61	1049[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg (Succ vx410)) (Pos (primMulNat vx19 Zero)) == LT))",fontsize=16,color="black",shape="box"];1049 -> 1134[label="",style="solid", color="black", weight=3];
11.67/4.61	1050[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx19 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1655[label="vx19/Succ vx190",fontsize=10,color="white",style="solid",shape="box"];1050 -> 1655[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1655 -> 1135[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1656[label="vx19/Zero",fontsize=10,color="white",style="solid",shape="box"];1050 -> 1656[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1656 -> 1136[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	276[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];276 -> 319[label="",style="solid", color="black", weight=3];
11.67/4.61	277[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];277 -> 320[label="",style="solid", color="black", weight=3];
11.67/4.61	1132[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos (Succ vx420)) (Pos (primMulNat vx22 Zero)) == LT))",fontsize=16,color="black",shape="box"];1132 -> 1220[label="",style="solid", color="black", weight=3];
11.67/4.61	1133[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx22 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1657[label="vx22/Succ vx220",fontsize=10,color="white",style="solid",shape="box"];1133 -> 1657[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1657 -> 1221[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1658[label="vx22/Zero",fontsize=10,color="white",style="solid",shape="box"];1133 -> 1658[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1658 -> 1222[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	281[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];281 -> 325[label="",style="solid", color="black", weight=3];
11.67/4.61	282[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];282 -> 326[label="",style="solid", color="black", weight=3];
11.67/4.61	1218[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos (Succ vx430)) (Pos (primMulNat vx25 Zero)) == LT))",fontsize=16,color="black",shape="box"];1218 -> 1309[label="",style="solid", color="black", weight=3];
11.67/4.61	1219[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx25 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1659[label="vx25/Succ vx250",fontsize=10,color="white",style="solid",shape="box"];1219 -> 1659[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1659 -> 1310[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1660[label="vx25/Zero",fontsize=10,color="white",style="solid",shape="box"];1219 -> 1660[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1660 -> 1311[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	286[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];286 -> 331[label="",style="solid", color="black", weight=3];
11.67/4.61	287[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];287 -> 332[label="",style="solid", color="black", weight=3];
11.67/4.61	1307[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg (Succ vx480)) (Pos (primMulNat vx28 Zero)) == LT))",fontsize=16,color="black",shape="box"];1307 -> 1334[label="",style="solid", color="black", weight=3];
11.67/4.61	1308[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx28 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1661[label="vx28/Succ vx280",fontsize=10,color="white",style="solid",shape="box"];1308 -> 1661[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1661 -> 1335[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1662[label="vx28/Zero",fontsize=10,color="white",style="solid",shape="box"];1308 -> 1662[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1662 -> 1336[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	291[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];291 -> 337[label="",style="solid", color="black", weight=3];
11.67/4.61	292[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];292 -> 338[label="",style="solid", color="black", weight=3];
11.67/4.61	1332[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg (Succ vx530)) (Pos (primMulNat vx31 Zero)) == LT))",fontsize=16,color="black",shape="box"];1332 -> 1356[label="",style="solid", color="black", weight=3];
11.67/4.61	1333[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (primCmpInt (Neg Zero) (Pos (primMulNat vx31 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1663[label="vx31/Succ vx310",fontsize=10,color="white",style="solid",shape="box"];1333 -> 1663[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1663 -> 1357[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1664[label="vx31/Zero",fontsize=10,color="white",style="solid",shape="box"];1333 -> 1664[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1664 -> 1358[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	296[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];296 -> 343[label="",style="solid", color="black", weight=3];
11.67/4.61	297[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];297 -> 344[label="",style="solid", color="black", weight=3];
11.67/4.61	1354[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos (Succ vx580)) (Pos (primMulNat vx34 Zero)) == LT))",fontsize=16,color="black",shape="box"];1354 -> 1454[label="",style="solid", color="black", weight=3];
11.67/4.61	1355[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpInt (Pos Zero) (Pos (primMulNat vx34 Zero)) == LT))",fontsize=16,color="burlywood",shape="box"];1665[label="vx34/Succ vx340",fontsize=10,color="white",style="solid",shape="box"];1355 -> 1665[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1665 -> 1455[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1666[label="vx34/Zero",fontsize=10,color="white",style="solid",shape="box"];1355 -> 1666[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1666 -> 1456[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	301[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];301 -> 349[label="",style="solid", color="black", weight=3];
11.67/4.61	302[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];302 -> 350[label="",style="solid", color="black", weight=3];
11.67/4.61	839 -> 894[label="",style="dashed", color="red", weight=0];
11.67/4.61	839[label="primPlusNat (primMulNat vx300000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];839 -> 895[label="",style="dashed", color="magenta", weight=3];
11.67/4.61	840[label="Zero",fontsize=16,color="green",shape="box"];1051[label="primPlusNat vx390 Zero",fontsize=16,color="burlywood",shape="box"];1667[label="vx390/Succ vx3900",fontsize=10,color="white",style="solid",shape="box"];1051 -> 1667[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1667 -> 1137[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1668[label="vx390/Zero",fontsize=10,color="white",style="solid",shape="box"];1051 -> 1668[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1668 -> 1138[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1512[label="absReal1 (Float (Pos (Succ vx8)) (Pos vx9)) (not (primCmpNat (Succ vx660) (primMulNat vx9 Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1669[label="vx9/Succ vx90",fontsize=10,color="white",style="solid",shape="box"];1512 -> 1669[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1669 -> 1527[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1670[label="vx9/Zero",fontsize=10,color="white",style="solid",shape="box"];1512 -> 1670[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1670 -> 1528[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1513[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx90) Zero)) == LT))",fontsize=16,color="black",shape="box"];1513 -> 1529[label="",style="solid", color="black", weight=3];
11.67/4.61	1514[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1514 -> 1530[label="",style="solid", color="black", weight=3];
11.67/4.61	307[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];307 -> 355[label="",style="solid", color="black", weight=3];
11.67/4.61	308[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];308 -> 356[label="",style="solid", color="black", weight=3];
11.67/4.61	1052[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not (LT == LT))",fontsize=16,color="black",shape="box"];1052 -> 1139[label="",style="solid", color="black", weight=3];
11.67/4.61	1053[label="absReal1 (Float (Neg (Succ vx15)) (Pos (Succ vx160))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx160) Zero)) == LT))",fontsize=16,color="black",shape="box"];1053 -> 1140[label="",style="solid", color="black", weight=3];
11.67/4.61	1054[label="absReal1 (Float (Neg (Succ vx15)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1054 -> 1141[label="",style="solid", color="black", weight=3];
11.67/4.61	313[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];313 -> 361[label="",style="solid", color="black", weight=3];
11.67/4.61	314[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];314 -> 362[label="",style="solid", color="black", weight=3];
11.67/4.61	1134[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not (LT == LT))",fontsize=16,color="black",shape="box"];1134 -> 1223[label="",style="solid", color="black", weight=3];
11.67/4.61	1135[label="absReal1 (Float (Pos (Succ vx18)) (Neg (Succ vx190))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx190) Zero)) == LT))",fontsize=16,color="black",shape="box"];1135 -> 1224[label="",style="solid", color="black", weight=3];
11.67/4.61	1136[label="absReal1 (Float (Pos (Succ vx18)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1136 -> 1225[label="",style="solid", color="black", weight=3];
11.67/4.61	319[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];319 -> 367[label="",style="solid", color="black", weight=3];
11.67/4.61	320[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];320 -> 368[label="",style="solid", color="black", weight=3];
11.67/4.61	1220[label="absReal1 (Float (Neg (Succ vx21)) (Neg vx22)) (not (primCmpNat (Succ vx420) (primMulNat vx22 Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1671[label="vx22/Succ vx220",fontsize=10,color="white",style="solid",shape="box"];1220 -> 1671[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1671 -> 1312[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1672[label="vx22/Zero",fontsize=10,color="white",style="solid",shape="box"];1220 -> 1672[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1672 -> 1313[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1221[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx220) Zero)) == LT))",fontsize=16,color="black",shape="box"];1221 -> 1314[label="",style="solid", color="black", weight=3];
11.67/4.61	1222[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1222 -> 1315[label="",style="solid", color="black", weight=3];
11.67/4.61	325[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];325 -> 373[label="",style="solid", color="black", weight=3];
11.67/4.61	326[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];326 -> 374[label="",style="solid", color="black", weight=3];
11.67/4.61	1309[label="absReal1 (Double (Pos (Succ vx24)) (Pos vx25)) (not (primCmpNat (Succ vx430) (primMulNat vx25 Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1673[label="vx25/Succ vx250",fontsize=10,color="white",style="solid",shape="box"];1309 -> 1673[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1673 -> 1337[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1674[label="vx25/Zero",fontsize=10,color="white",style="solid",shape="box"];1309 -> 1674[label="",style="solid", color="burlywood", weight=9];
11.67/4.61	1674 -> 1338[label="",style="solid", color="burlywood", weight=3];
11.67/4.61	1310[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx250) Zero)) == LT))",fontsize=16,color="black",shape="box"];1310 -> 1339[label="",style="solid", color="black", weight=3];
11.67/4.61	1311[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1311 -> 1340[label="",style="solid", color="black", weight=3];
11.67/4.61	331[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];331 -> 379[label="",style="solid", color="black", weight=3];
11.67/4.61	332[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];332 -> 380[label="",style="solid", color="black", weight=3];
11.67/4.61	1334[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not (LT == LT))",fontsize=16,color="black",shape="box"];1334 -> 1359[label="",style="solid", color="black", weight=3];
11.67/4.61	1335[label="absReal1 (Double (Neg (Succ vx27)) (Pos (Succ vx280))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx280) Zero)) == LT))",fontsize=16,color="black",shape="box"];1335 -> 1360[label="",style="solid", color="black", weight=3];
11.67/4.61	1336[label="absReal1 (Double (Neg (Succ vx27)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1336 -> 1361[label="",style="solid", color="black", weight=3];
11.67/4.61	337[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];337 -> 385[label="",style="solid", color="black", weight=3];
11.67/4.61	338[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];338 -> 386[label="",style="solid", color="black", weight=3];
11.67/4.61	1356[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not (LT == LT))",fontsize=16,color="black",shape="box"];1356 -> 1457[label="",style="solid", color="black", weight=3];
11.67/4.61	1357[label="absReal1 (Double (Pos (Succ vx30)) (Neg (Succ vx310))) (not (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx310) Zero)) == LT))",fontsize=16,color="black",shape="box"];1357 -> 1458[label="",style="solid", color="black", weight=3];
11.67/4.61	1358[label="absReal1 (Double (Pos (Succ vx30)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1358 -> 1459[label="",style="solid", color="black", weight=3];
11.67/4.61	343[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];343 -> 391[label="",style="solid", color="black", weight=3];
11.67/4.61	344[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];344 -> 392[label="",style="solid", color="black", weight=3];
11.67/4.62	1454[label="absReal1 (Double (Neg (Succ vx33)) (Neg vx34)) (not (primCmpNat (Succ vx580) (primMulNat vx34 Zero) == LT))",fontsize=16,color="burlywood",shape="box"];1675[label="vx34/Succ vx340",fontsize=10,color="white",style="solid",shape="box"];1454 -> 1675[label="",style="solid", color="burlywood", weight=9];
11.67/4.62	1675 -> 1478[label="",style="solid", color="burlywood", weight=3];
11.67/4.62	1676[label="vx34/Zero",fontsize=10,color="white",style="solid",shape="box"];1454 -> 1676[label="",style="solid", color="burlywood", weight=9];
11.67/4.62	1676 -> 1479[label="",style="solid", color="burlywood", weight=3];
11.67/4.62	1455[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx340) Zero)) == LT))",fontsize=16,color="black",shape="box"];1455 -> 1480[label="",style="solid", color="black", weight=3];
11.67/4.62	1456[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT))",fontsize=16,color="black",shape="box"];1456 -> 1481[label="",style="solid", color="black", weight=3];
11.67/4.62	349[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];349 -> 397[label="",style="solid", color="black", weight=3];
11.67/4.62	350[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];350 -> 398[label="",style="solid", color="black", weight=3];
11.67/4.62	895 -> 746[label="",style="dashed", color="red", weight=0];
11.67/4.62	895[label="primMulNat vx300000 (Succ Zero)",fontsize=16,color="magenta"];895 -> 971[label="",style="dashed", color="magenta", weight=3];
11.67/4.62	1137[label="primPlusNat (Succ vx3900) Zero",fontsize=16,color="black",shape="box"];1137 -> 1226[label="",style="solid", color="black", weight=3];
11.67/4.62	1138[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1138 -> 1227[label="",style="solid", color="black", weight=3];
11.67/4.62	1527[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not (primCmpNat (Succ vx660) (primMulNat (Succ vx90) Zero) == LT))",fontsize=16,color="black",shape="box"];1527 -> 1540[label="",style="solid", color="black", weight=3];
11.67/4.62	1528[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not (primCmpNat (Succ vx660) (primMulNat Zero Zero) == LT))",fontsize=16,color="black",shape="box"];1528 -> 1541[label="",style="solid", color="black", weight=3];
11.67/4.62	1529[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1529 -> 1542[label="",style="solid", color="black", weight=3];
11.67/4.62	1530[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1530 -> 1543[label="",style="solid", color="black", weight=3];
11.67/4.62	355[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];355 -> 405[label="",style="solid", color="black", weight=3];
11.67/4.62	356[label="absReal1 (Float (Pos Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];356 -> 406[label="",style="solid", color="black", weight=3];
11.67/4.62	1139[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) (not True)",fontsize=16,color="black",shape="box"];1139 -> 1228[label="",style="solid", color="black", weight=3];
11.67/4.62	1140[label="absReal1 (Float (Neg (Succ vx15)) (Pos (Succ vx160))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1140 -> 1229[label="",style="solid", color="black", weight=3];
11.67/4.62	1141[label="absReal1 (Float (Neg (Succ vx15)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1141 -> 1230[label="",style="solid", color="black", weight=3];
11.67/4.62	361[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];361 -> 412[label="",style="solid", color="black", weight=3];
11.67/4.62	362[label="absReal1 (Float (Neg Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];362 -> 413[label="",style="solid", color="black", weight=3];
11.67/4.62	1223[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) (not True)",fontsize=16,color="black",shape="box"];1223 -> 1316[label="",style="solid", color="black", weight=3];
11.67/4.62	1224[label="absReal1 (Float (Pos (Succ vx18)) (Neg (Succ vx190))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1224 -> 1317[label="",style="solid", color="black", weight=3];
11.67/4.62	1225[label="absReal1 (Float (Pos (Succ vx18)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1225 -> 1318[label="",style="solid", color="black", weight=3];
11.67/4.62	367[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];367 -> 421[label="",style="solid", color="black", weight=3];
11.67/4.62	368[label="absReal1 (Float (Pos Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];368 -> 422[label="",style="solid", color="black", weight=3];
11.67/4.62	1312[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not (primCmpNat (Succ vx420) (primMulNat (Succ vx220) Zero) == LT))",fontsize=16,color="black",shape="box"];1312 -> 1341[label="",style="solid", color="black", weight=3];
11.67/4.62	1313[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not (primCmpNat (Succ vx420) (primMulNat Zero Zero) == LT))",fontsize=16,color="black",shape="box"];1313 -> 1342[label="",style="solid", color="black", weight=3];
11.67/4.62	1314[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1314 -> 1343[label="",style="solid", color="black", weight=3];
11.67/4.62	1315[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1315 -> 1344[label="",style="solid", color="black", weight=3];
11.67/4.62	373[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];373 -> 429[label="",style="solid", color="black", weight=3];
11.67/4.62	374[label="absReal1 (Float (Neg Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];374 -> 430[label="",style="solid", color="black", weight=3];
11.67/4.62	1337[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not (primCmpNat (Succ vx430) (primMulNat (Succ vx250) Zero) == LT))",fontsize=16,color="black",shape="box"];1337 -> 1362[label="",style="solid", color="black", weight=3];
11.67/4.62	1338[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not (primCmpNat (Succ vx430) (primMulNat Zero Zero) == LT))",fontsize=16,color="black",shape="box"];1338 -> 1363[label="",style="solid", color="black", weight=3];
11.67/4.62	1339[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1339 -> 1364[label="",style="solid", color="black", weight=3];
11.67/4.62	1340[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1340 -> 1365[label="",style="solid", color="black", weight=3];
11.67/4.62	379[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];379 -> 437[label="",style="solid", color="black", weight=3];
11.67/4.62	380[label="absReal1 (Double (Pos Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];380 -> 438[label="",style="solid", color="black", weight=3];
11.67/4.62	1359[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) (not True)",fontsize=16,color="black",shape="box"];1359 -> 1460[label="",style="solid", color="black", weight=3];
11.67/4.62	1360[label="absReal1 (Double (Neg (Succ vx27)) (Pos (Succ vx280))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1360 -> 1461[label="",style="solid", color="black", weight=3];
11.67/4.62	1361[label="absReal1 (Double (Neg (Succ vx27)) (Pos Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1361 -> 1462[label="",style="solid", color="black", weight=3];
11.67/4.62	385[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];385 -> 444[label="",style="solid", color="black", weight=3];
11.67/4.62	386[label="absReal1 (Double (Neg Zero) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];386 -> 445[label="",style="solid", color="black", weight=3];
11.67/4.62	1457[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) (not True)",fontsize=16,color="black",shape="box"];1457 -> 1482[label="",style="solid", color="black", weight=3];
11.67/4.62	1458[label="absReal1 (Double (Pos (Succ vx30)) (Neg (Succ vx310))) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1458 -> 1483[label="",style="solid", color="black", weight=3];
11.67/4.62	1459[label="absReal1 (Double (Pos (Succ vx30)) (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1459 -> 1484[label="",style="solid", color="black", weight=3];
11.67/4.62	391[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];391 -> 451[label="",style="solid", color="black", weight=3];
11.67/4.62	392[label="absReal1 (Double (Pos Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];392 -> 452[label="",style="solid", color="black", weight=3];
11.67/4.62	1478[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not (primCmpNat (Succ vx580) (primMulNat (Succ vx340) Zero) == LT))",fontsize=16,color="black",shape="box"];1478 -> 1498[label="",style="solid", color="black", weight=3];
11.67/4.62	1479[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not (primCmpNat (Succ vx580) (primMulNat Zero Zero) == LT))",fontsize=16,color="black",shape="box"];1479 -> 1499[label="",style="solid", color="black", weight=3];
11.67/4.62	1480[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1480 -> 1500[label="",style="solid", color="black", weight=3];
11.67/4.62	1481[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))",fontsize=16,color="black",shape="box"];1481 -> 1501[label="",style="solid", color="black", weight=3];
11.67/4.62	397[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) (not False)",fontsize=16,color="black",shape="box"];397 -> 459[label="",style="solid", color="black", weight=3];
11.67/4.62	398[label="absReal1 (Double (Neg Zero) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];398 -> 460[label="",style="solid", color="black", weight=3];
11.67/4.62	971[label="vx300000",fontsize=16,color="green",shape="box"];1226[label="Succ vx3900",fontsize=16,color="green",shape="box"];1227[label="Zero",fontsize=16,color="green",shape="box"];1540[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not (primCmpNat (Succ vx660) Zero == LT))",fontsize=16,color="black",shape="box"];1540 -> 1549[label="",style="solid", color="black", weight=3];
11.67/4.62	1541[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not (primCmpNat (Succ vx660) Zero == LT))",fontsize=16,color="black",shape="box"];1541 -> 1550[label="",style="solid", color="black", weight=3];
11.67/4.62	1542[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1542 -> 1551[label="",style="solid", color="black", weight=3];
11.67/4.62	1543[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1543 -> 1552[label="",style="solid", color="black", weight=3];
11.67/4.62	405[label="absReal1 (Float (Pos Zero) (Pos (Succ vx3100))) True",fontsize=16,color="black",shape="box"];405 -> 467[label="",style="solid", color="black", weight=3];
11.67/4.62	406[label="absReal1 (Float (Pos Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];406 -> 468[label="",style="solid", color="black", weight=3];
11.67/4.62	1228[label="absReal1 (Float (Neg (Succ vx15)) (Pos vx16)) False",fontsize=16,color="black",shape="box"];1228 -> 1319[label="",style="solid", color="black", weight=3];
11.67/4.62	1229[label="absReal1 (Float (Neg (Succ vx15)) (Pos (Succ vx160))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1229 -> 1320[label="",style="solid", color="black", weight=3];
11.67/4.62	1230[label="absReal1 (Float (Neg (Succ vx15)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1230 -> 1321[label="",style="solid", color="black", weight=3];
11.67/4.62	412[label="absReal1 (Float (Neg Zero) (Pos (Succ vx3100))) True",fontsize=16,color="black",shape="box"];412 -> 474[label="",style="solid", color="black", weight=3];
11.67/4.62	413[label="absReal1 (Float (Neg Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];413 -> 475[label="",style="solid", color="black", weight=3];
11.67/4.62	1316[label="absReal1 (Float (Pos (Succ vx18)) (Neg vx19)) False",fontsize=16,color="black",shape="box"];1316 -> 1345[label="",style="solid", color="black", weight=3];
11.67/4.62	1317[label="absReal1 (Float (Pos (Succ vx18)) (Neg (Succ vx190))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1317 -> 1346[label="",style="solid", color="black", weight=3];
11.67/4.62	1318[label="absReal1 (Float (Pos (Succ vx18)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1318 -> 1347[label="",style="solid", color="black", weight=3];
11.67/4.62	421[label="absReal1 (Float (Pos Zero) (Neg (Succ vx3100))) True",fontsize=16,color="black",shape="box"];421 -> 483[label="",style="solid", color="black", weight=3];
11.67/4.62	422[label="absReal1 (Float (Pos Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];422 -> 484[label="",style="solid", color="black", weight=3];
11.67/4.62	1341[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not (primCmpNat (Succ vx420) Zero == LT))",fontsize=16,color="black",shape="box"];1341 -> 1366[label="",style="solid", color="black", weight=3];
11.67/4.62	1342[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not (primCmpNat (Succ vx420) Zero == LT))",fontsize=16,color="black",shape="box"];1342 -> 1367[label="",style="solid", color="black", weight=3];
11.67/4.62	1343[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1343 -> 1368[label="",style="solid", color="black", weight=3];
11.67/4.62	1344[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1344 -> 1369[label="",style="solid", color="black", weight=3];
11.67/4.62	429[label="absReal1 (Float (Neg Zero) (Neg (Succ vx3100))) True",fontsize=16,color="black",shape="box"];429 -> 491[label="",style="solid", color="black", weight=3];
11.67/4.62	430[label="absReal1 (Float (Neg Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];430 -> 492[label="",style="solid", color="black", weight=3];
11.67/4.62	1362[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not (primCmpNat (Succ vx430) Zero == LT))",fontsize=16,color="black",shape="box"];1362 -> 1463[label="",style="solid", color="black", weight=3];
11.67/4.62	1363[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not (primCmpNat (Succ vx430) Zero == LT))",fontsize=16,color="black",shape="box"];1363 -> 1464[label="",style="solid", color="black", weight=3];
11.67/4.62	1364[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1364 -> 1465[label="",style="solid", color="black", weight=3];
11.67/4.62	1365[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1365 -> 1466[label="",style="solid", color="black", weight=3];
11.67/4.62	437[label="absReal1 (Double (Pos Zero) (Pos (Succ vx3100))) True",fontsize=16,color="black",shape="box"];437 -> 499[label="",style="solid", color="black", weight=3];
11.67/4.62	438[label="absReal1 (Double (Pos Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];438 -> 500[label="",style="solid", color="black", weight=3];
11.67/4.62	1460[label="absReal1 (Double (Neg (Succ vx27)) (Pos vx28)) False",fontsize=16,color="black",shape="box"];1460 -> 1485[label="",style="solid", color="black", weight=3];
11.67/4.62	1461[label="absReal1 (Double (Neg (Succ vx27)) (Pos (Succ vx280))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1461 -> 1486[label="",style="solid", color="black", weight=3];
11.67/4.62	1462[label="absReal1 (Double (Neg (Succ vx27)) (Pos Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1462 -> 1487[label="",style="solid", color="black", weight=3];
11.67/4.62	444[label="absReal1 (Double (Neg Zero) (Pos (Succ vx3100))) True",fontsize=16,color="black",shape="box"];444 -> 506[label="",style="solid", color="black", weight=3];
11.67/4.62	445[label="absReal1 (Double (Neg Zero) (Pos Zero)) True",fontsize=16,color="black",shape="box"];445 -> 507[label="",style="solid", color="black", weight=3];
11.67/4.62	1482[label="absReal1 (Double (Pos (Succ vx30)) (Neg vx31)) False",fontsize=16,color="black",shape="box"];1482 -> 1502[label="",style="solid", color="black", weight=3];
11.67/4.62	1483[label="absReal1 (Double (Pos (Succ vx30)) (Neg (Succ vx310))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1483 -> 1503[label="",style="solid", color="black", weight=3];
11.67/4.62	1484[label="absReal1 (Double (Pos (Succ vx30)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1484 -> 1504[label="",style="solid", color="black", weight=3];
11.67/4.62	451[label="absReal1 (Double (Pos Zero) (Neg (Succ vx3100))) True",fontsize=16,color="black",shape="box"];451 -> 513[label="",style="solid", color="black", weight=3];
11.67/4.62	452[label="absReal1 (Double (Pos Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];452 -> 514[label="",style="solid", color="black", weight=3];
11.67/4.62	1498[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not (primCmpNat (Succ vx580) Zero == LT))",fontsize=16,color="black",shape="box"];1498 -> 1515[label="",style="solid", color="black", weight=3];
11.67/4.62	1499[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not (primCmpNat (Succ vx580) Zero == LT))",fontsize=16,color="black",shape="box"];1499 -> 1516[label="",style="solid", color="black", weight=3];
11.67/4.62	1500[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1500 -> 1517[label="",style="solid", color="black", weight=3];
11.67/4.62	1501[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not (EQ == LT))",fontsize=16,color="black",shape="box"];1501 -> 1518[label="",style="solid", color="black", weight=3];
11.67/4.62	459[label="absReal1 (Double (Neg Zero) (Neg (Succ vx3100))) True",fontsize=16,color="black",shape="box"];459 -> 521[label="",style="solid", color="black", weight=3];
11.67/4.62	460[label="absReal1 (Double (Neg Zero) (Neg Zero)) True",fontsize=16,color="black",shape="box"];460 -> 522[label="",style="solid", color="black", weight=3];
11.67/4.62	1549[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not (GT == LT))",fontsize=16,color="black",shape="box"];1549 -> 1555[label="",style="solid", color="black", weight=3];
11.67/4.62	1550[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not (GT == LT))",fontsize=16,color="black",shape="box"];1550 -> 1556[label="",style="solid", color="black", weight=3];
11.67/4.62	1551[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not False)",fontsize=16,color="black",shape="triangle"];1551 -> 1557[label="",style="solid", color="black", weight=3];
11.67/4.62	1552[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="triangle"];1552 -> 1558[label="",style="solid", color="black", weight=3];
11.67/4.62	467[label="Float (Pos Zero) (Pos (Succ vx3100))",fontsize=16,color="green",shape="box"];468[label="Float (Pos Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];1319[label="absReal0 (Float (Neg (Succ vx15)) (Pos vx16)) otherwise",fontsize=16,color="black",shape="box"];1319 -> 1348[label="",style="solid", color="black", weight=3];
11.67/4.62	1320[label="absReal1 (Float (Neg (Succ vx15)) (Pos (Succ vx160))) (not False)",fontsize=16,color="black",shape="box"];1320 -> 1349[label="",style="solid", color="black", weight=3];
11.67/4.62	1321[label="absReal1 (Float (Neg (Succ vx15)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];1321 -> 1350[label="",style="solid", color="black", weight=3];
11.67/4.62	474[label="Float (Neg Zero) (Pos (Succ vx3100))",fontsize=16,color="green",shape="box"];475[label="Float (Neg Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];1345[label="absReal0 (Float (Pos (Succ vx18)) (Neg vx19)) otherwise",fontsize=16,color="black",shape="box"];1345 -> 1370[label="",style="solid", color="black", weight=3];
11.67/4.62	1346[label="absReal1 (Float (Pos (Succ vx18)) (Neg (Succ vx190))) (not False)",fontsize=16,color="black",shape="box"];1346 -> 1371[label="",style="solid", color="black", weight=3];
11.67/4.62	1347[label="absReal1 (Float (Pos (Succ vx18)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];1347 -> 1372[label="",style="solid", color="black", weight=3];
11.67/4.62	483[label="Float (Pos Zero) (Neg (Succ vx3100))",fontsize=16,color="green",shape="box"];484[label="Float (Pos Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];1366[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not (GT == LT))",fontsize=16,color="black",shape="box"];1366 -> 1467[label="",style="solid", color="black", weight=3];
11.67/4.62	1367[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not (GT == LT))",fontsize=16,color="black",shape="box"];1367 -> 1468[label="",style="solid", color="black", weight=3];
11.67/4.62	1368[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not False)",fontsize=16,color="black",shape="triangle"];1368 -> 1469[label="",style="solid", color="black", weight=3];
11.67/4.62	1369[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="triangle"];1369 -> 1470[label="",style="solid", color="black", weight=3];
11.67/4.62	491[label="Float (Neg Zero) (Neg (Succ vx3100))",fontsize=16,color="green",shape="box"];492[label="Float (Neg Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];1463[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not (GT == LT))",fontsize=16,color="black",shape="box"];1463 -> 1488[label="",style="solid", color="black", weight=3];
11.67/4.62	1464[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not (GT == LT))",fontsize=16,color="black",shape="box"];1464 -> 1489[label="",style="solid", color="black", weight=3];
11.67/4.62	1465[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not False)",fontsize=16,color="black",shape="triangle"];1465 -> 1490[label="",style="solid", color="black", weight=3];
11.67/4.62	1466[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="triangle"];1466 -> 1491[label="",style="solid", color="black", weight=3];
11.67/4.62	499[label="Double (Pos Zero) (Pos (Succ vx3100))",fontsize=16,color="green",shape="box"];500[label="Double (Pos Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];1485[label="absReal0 (Double (Neg (Succ vx27)) (Pos vx28)) otherwise",fontsize=16,color="black",shape="box"];1485 -> 1505[label="",style="solid", color="black", weight=3];
11.67/4.62	1486[label="absReal1 (Double (Neg (Succ vx27)) (Pos (Succ vx280))) (not False)",fontsize=16,color="black",shape="box"];1486 -> 1506[label="",style="solid", color="black", weight=3];
11.67/4.62	1487[label="absReal1 (Double (Neg (Succ vx27)) (Pos Zero)) (not False)",fontsize=16,color="black",shape="box"];1487 -> 1507[label="",style="solid", color="black", weight=3];
11.67/4.62	506[label="Double (Neg Zero) (Pos (Succ vx3100))",fontsize=16,color="green",shape="box"];507[label="Double (Neg Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];1502[label="absReal0 (Double (Pos (Succ vx30)) (Neg vx31)) otherwise",fontsize=16,color="black",shape="box"];1502 -> 1519[label="",style="solid", color="black", weight=3];
11.67/4.62	1503[label="absReal1 (Double (Pos (Succ vx30)) (Neg (Succ vx310))) (not False)",fontsize=16,color="black",shape="box"];1503 -> 1520[label="",style="solid", color="black", weight=3];
11.67/4.62	1504[label="absReal1 (Double (Pos (Succ vx30)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="box"];1504 -> 1521[label="",style="solid", color="black", weight=3];
11.67/4.62	513[label="Double (Pos Zero) (Neg (Succ vx3100))",fontsize=16,color="green",shape="box"];514[label="Double (Pos Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];1515[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not (GT == LT))",fontsize=16,color="black",shape="box"];1515 -> 1531[label="",style="solid", color="black", weight=3];
11.67/4.62	1516[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not (GT == LT))",fontsize=16,color="black",shape="box"];1516 -> 1532[label="",style="solid", color="black", weight=3];
11.67/4.62	1517[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not False)",fontsize=16,color="black",shape="triangle"];1517 -> 1533[label="",style="solid", color="black", weight=3];
11.67/4.62	1518[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not False)",fontsize=16,color="black",shape="triangle"];1518 -> 1534[label="",style="solid", color="black", weight=3];
11.67/4.62	521[label="Double (Neg Zero) (Neg (Succ vx3100))",fontsize=16,color="green",shape="box"];522[label="Double (Neg Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];1555 -> 1551[label="",style="dashed", color="red", weight=0];
11.67/4.62	1555[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) (not False)",fontsize=16,color="magenta"];1556 -> 1552[label="",style="dashed", color="red", weight=0];
11.67/4.62	1556[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) (not False)",fontsize=16,color="magenta"];1557[label="absReal1 (Float (Pos (Succ vx8)) (Pos (Succ vx90))) True",fontsize=16,color="black",shape="box"];1557 -> 1561[label="",style="solid", color="black", weight=3];
11.67/4.62	1558[label="absReal1 (Float (Pos (Succ vx8)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];1558 -> 1562[label="",style="solid", color="black", weight=3];
11.67/4.62	1348[label="absReal0 (Float (Neg (Succ vx15)) (Pos vx16)) True",fontsize=16,color="black",shape="box"];1348 -> 1373[label="",style="solid", color="black", weight=3];
11.67/4.62	1349[label="absReal1 (Float (Neg (Succ vx15)) (Pos (Succ vx160))) True",fontsize=16,color="black",shape="box"];1349 -> 1374[label="",style="solid", color="black", weight=3];
11.67/4.62	1350[label="absReal1 (Float (Neg (Succ vx15)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];1350 -> 1375[label="",style="solid", color="black", weight=3];
11.67/4.62	1370[label="absReal0 (Float (Pos (Succ vx18)) (Neg vx19)) True",fontsize=16,color="black",shape="box"];1370 -> 1471[label="",style="solid", color="black", weight=3];
11.67/4.62	1371[label="absReal1 (Float (Pos (Succ vx18)) (Neg (Succ vx190))) True",fontsize=16,color="black",shape="box"];1371 -> 1472[label="",style="solid", color="black", weight=3];
11.67/4.62	1372[label="absReal1 (Float (Pos (Succ vx18)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];1372 -> 1473[label="",style="solid", color="black", weight=3];
11.67/4.62	1467 -> 1368[label="",style="dashed", color="red", weight=0];
11.67/4.62	1467[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) (not False)",fontsize=16,color="magenta"];1468 -> 1369[label="",style="dashed", color="red", weight=0];
11.67/4.62	1468[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) (not False)",fontsize=16,color="magenta"];1469[label="absReal1 (Float (Neg (Succ vx21)) (Neg (Succ vx220))) True",fontsize=16,color="black",shape="box"];1469 -> 1492[label="",style="solid", color="black", weight=3];
11.67/4.62	1470[label="absReal1 (Float (Neg (Succ vx21)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];1470 -> 1493[label="",style="solid", color="black", weight=3];
11.67/4.62	1488 -> 1465[label="",style="dashed", color="red", weight=0];
11.67/4.62	1488[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) (not False)",fontsize=16,color="magenta"];1489 -> 1466[label="",style="dashed", color="red", weight=0];
11.67/4.62	1489[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) (not False)",fontsize=16,color="magenta"];1490[label="absReal1 (Double (Pos (Succ vx24)) (Pos (Succ vx250))) True",fontsize=16,color="black",shape="box"];1490 -> 1508[label="",style="solid", color="black", weight=3];
11.67/4.62	1491[label="absReal1 (Double (Pos (Succ vx24)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];1491 -> 1509[label="",style="solid", color="black", weight=3];
11.67/4.62	1505[label="absReal0 (Double (Neg (Succ vx27)) (Pos vx28)) True",fontsize=16,color="black",shape="box"];1505 -> 1522[label="",style="solid", color="black", weight=3];
11.67/4.62	1506[label="absReal1 (Double (Neg (Succ vx27)) (Pos (Succ vx280))) True",fontsize=16,color="black",shape="box"];1506 -> 1523[label="",style="solid", color="black", weight=3];
11.67/4.62	1507[label="absReal1 (Double (Neg (Succ vx27)) (Pos Zero)) True",fontsize=16,color="black",shape="box"];1507 -> 1524[label="",style="solid", color="black", weight=3];
11.67/4.62	1519[label="absReal0 (Double (Pos (Succ vx30)) (Neg vx31)) True",fontsize=16,color="black",shape="box"];1519 -> 1535[label="",style="solid", color="black", weight=3];
11.67/4.62	1520[label="absReal1 (Double (Pos (Succ vx30)) (Neg (Succ vx310))) True",fontsize=16,color="black",shape="box"];1520 -> 1536[label="",style="solid", color="black", weight=3];
11.67/4.62	1521[label="absReal1 (Double (Pos (Succ vx30)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];1521 -> 1537[label="",style="solid", color="black", weight=3];
11.67/4.62	1531 -> 1517[label="",style="dashed", color="red", weight=0];
11.67/4.62	1531[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) (not False)",fontsize=16,color="magenta"];1532 -> 1518[label="",style="dashed", color="red", weight=0];
11.67/4.62	1532[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) (not False)",fontsize=16,color="magenta"];1533[label="absReal1 (Double (Neg (Succ vx33)) (Neg (Succ vx340))) True",fontsize=16,color="black",shape="box"];1533 -> 1544[label="",style="solid", color="black", weight=3];
11.67/4.62	1534[label="absReal1 (Double (Neg (Succ vx33)) (Neg Zero)) True",fontsize=16,color="black",shape="box"];1534 -> 1545[label="",style="solid", color="black", weight=3];
11.67/4.62	1561[label="Float (Pos (Succ vx8)) (Pos (Succ vx90))",fontsize=16,color="green",shape="box"];1562[label="Float (Pos (Succ vx8)) (Pos Zero)",fontsize=16,color="green",shape="box"];1373[label="`negate` Float (Neg (Succ vx15)) (Pos vx16)",fontsize=16,color="black",shape="box"];1373 -> 1474[label="",style="solid", color="black", weight=3];
11.67/4.62	1374[label="Float (Neg (Succ vx15)) (Pos (Succ vx160))",fontsize=16,color="green",shape="box"];1375[label="Float (Neg (Succ vx15)) (Pos Zero)",fontsize=16,color="green",shape="box"];1471[label="`negate` Float (Pos (Succ vx18)) (Neg vx19)",fontsize=16,color="black",shape="box"];1471 -> 1494[label="",style="solid", color="black", weight=3];
11.67/4.62	1472[label="Float (Pos (Succ vx18)) (Neg (Succ vx190))",fontsize=16,color="green",shape="box"];1473[label="Float (Pos (Succ vx18)) (Neg Zero)",fontsize=16,color="green",shape="box"];1492[label="Float (Neg (Succ vx21)) (Neg (Succ vx220))",fontsize=16,color="green",shape="box"];1493[label="Float (Neg (Succ vx21)) (Neg Zero)",fontsize=16,color="green",shape="box"];1508[label="Double (Pos (Succ vx24)) (Pos (Succ vx250))",fontsize=16,color="green",shape="box"];1509[label="Double (Pos (Succ vx24)) (Pos Zero)",fontsize=16,color="green",shape="box"];1522[label="`negate` Double (Neg (Succ vx27)) (Pos vx28)",fontsize=16,color="black",shape="box"];1522 -> 1538[label="",style="solid", color="black", weight=3];
11.67/4.62	1523[label="Double (Neg (Succ vx27)) (Pos (Succ vx280))",fontsize=16,color="green",shape="box"];1524[label="Double (Neg (Succ vx27)) (Pos Zero)",fontsize=16,color="green",shape="box"];1535[label="`negate` Double (Pos (Succ vx30)) (Neg vx31)",fontsize=16,color="black",shape="box"];1535 -> 1546[label="",style="solid", color="black", weight=3];
11.67/4.62	1536[label="Double (Pos (Succ vx30)) (Neg (Succ vx310))",fontsize=16,color="green",shape="box"];1537[label="Double (Pos (Succ vx30)) (Neg Zero)",fontsize=16,color="green",shape="box"];1544[label="Double (Neg (Succ vx33)) (Neg (Succ vx340))",fontsize=16,color="green",shape="box"];1545[label="Double (Neg (Succ vx33)) (Neg Zero)",fontsize=16,color="green",shape="box"];1474[label="primNegFloat (Float (Neg (Succ vx15)) (Pos vx16))",fontsize=16,color="black",shape="box"];1474 -> 1495[label="",style="solid", color="black", weight=3];
11.67/4.62	1494[label="primNegFloat (Float (Pos (Succ vx18)) (Neg vx19))",fontsize=16,color="black",shape="box"];1494 -> 1510[label="",style="solid", color="black", weight=3];
11.67/4.62	1538[label="primNegDouble (Double (Neg (Succ vx27)) (Pos vx28))",fontsize=16,color="black",shape="box"];1538 -> 1547[label="",style="solid", color="black", weight=3];
11.67/4.62	1546[label="primNegDouble (Double (Pos (Succ vx30)) (Neg vx31))",fontsize=16,color="black",shape="box"];1546 -> 1553[label="",style="solid", color="black", weight=3];
11.67/4.62	1495[label="Float (`negate` Neg (Succ vx15)) (Pos vx16)",fontsize=16,color="green",shape="box"];1495 -> 1511[label="",style="dashed", color="green", weight=3];
11.67/4.62	1510[label="Float (`negate` Pos (Succ vx18)) (Neg vx19)",fontsize=16,color="green",shape="box"];1510 -> 1525[label="",style="dashed", color="green", weight=3];
11.67/4.62	1547[label="Double (`negate` Neg (Succ vx27)) (Pos vx28)",fontsize=16,color="green",shape="box"];1547 -> 1554[label="",style="dashed", color="green", weight=3];
11.67/4.62	1553[label="Double (`negate` Pos (Succ vx30)) (Neg vx31)",fontsize=16,color="green",shape="box"];1553 -> 1559[label="",style="dashed", color="green", weight=3];
11.67/4.62	1511 -> 130[label="",style="dashed", color="red", weight=0];
11.67/4.62	1511[label="`negate` Neg (Succ vx15)",fontsize=16,color="magenta"];1511 -> 1526[label="",style="dashed", color="magenta", weight=3];
11.67/4.62	1525[label="`negate` Pos (Succ vx18)",fontsize=16,color="black",shape="triangle"];1525 -> 1539[label="",style="solid", color="black", weight=3];
11.67/4.62	1554 -> 130[label="",style="dashed", color="red", weight=0];
11.67/4.62	1554[label="`negate` Neg (Succ vx27)",fontsize=16,color="magenta"];1554 -> 1560[label="",style="dashed", color="magenta", weight=3];
11.67/4.62	1559 -> 1525[label="",style="dashed", color="red", weight=0];
11.67/4.62	1559[label="`negate` Pos (Succ vx30)",fontsize=16,color="magenta"];1559 -> 1563[label="",style="dashed", color="magenta", weight=3];
11.67/4.62	1526[label="vx15",fontsize=16,color="green",shape="box"];1539[label="primNegInt (Pos (Succ vx18))",fontsize=16,color="black",shape="box"];1539 -> 1548[label="",style="solid", color="black", weight=3];
11.67/4.62	1560[label="vx27",fontsize=16,color="green",shape="box"];1563[label="vx30",fontsize=16,color="green",shape="box"];1548[label="Neg (Succ vx18)",fontsize=16,color="green",shape="box"];}
11.67/4.62	
11.67/4.62	----------------------------------------
11.67/4.62	
11.67/4.62	(8)
11.67/4.62	Obligation:
11.67/4.62	Q DP problem:
11.67/4.62	The TRS P consists of the following rules:
11.67/4.62	
11.67/4.62	   new_primMulNat(Succ(vx300000)) -> new_primMulNat(vx300000)
11.67/4.62	
11.67/4.62	R is empty.
11.67/4.62	Q is empty.
11.67/4.62	We have to consider all minimal (P,Q,R)-chains.
11.67/4.62	----------------------------------------
11.67/4.62	
11.67/4.62	(9) QDPSizeChangeProof (EQUIVALENT)
11.67/4.62	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
11.67/4.62	
11.67/4.62	From the DPs we obtained the following set of size-change graphs:
11.67/4.62	*new_primMulNat(Succ(vx300000)) -> new_primMulNat(vx300000)
11.67/4.62	The graph contains the following edges 1 > 1
11.67/4.62	
11.67/4.62	
11.67/4.62	----------------------------------------
11.67/4.62	
11.67/4.62	(10)
11.67/4.62	YES
11.88/4.67	EOF