10.35/4.45 YES 12.39/5.05 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 12.39/5.05 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 12.39/5.05 12.39/5.05 12.39/5.05 H-Termination with start terms of the given HASKELL could be proven: 12.39/5.05 12.39/5.05 (0) HASKELL 12.39/5.05 (1) BR [EQUIVALENT, 0 ms] 12.39/5.05 (2) HASKELL 12.39/5.05 (3) COR [EQUIVALENT, 0 ms] 12.39/5.05 (4) HASKELL 12.39/5.05 (5) Narrow [SOUND, 0 ms] 12.39/5.05 (6) QDP 12.39/5.05 (7) QDPSizeChangeProof [EQUIVALENT, 0 ms] 12.39/5.05 (8) YES 12.39/5.05 12.39/5.05 12.39/5.05 ---------------------------------------- 12.39/5.05 12.39/5.05 (0) 12.39/5.05 Obligation: 12.39/5.05 mainModule Main 12.39/5.05 module Main where { 12.39/5.05 import qualified Prelude; 12.39/5.05 data Main.Char = Char MyInt ; 12.39/5.05 12.39/5.05 data Float = Float MyInt MyInt ; 12.39/5.05 12.39/5.05 data List a = Cons a (List a) | Nil ; 12.39/5.05 12.39/5.05 data MyBool = MyTrue | MyFalse ; 12.39/5.05 12.39/5.05 data MyInt = Pos Main.Nat | Neg Main.Nat ; 12.39/5.05 12.39/5.05 data Main.Nat = Succ Main.Nat | Zero ; 12.39/5.05 12.39/5.05 data Ordering = LT | EQ | GT ; 12.39/5.05 12.39/5.05 compareFloat :: Float -> Float -> Ordering; 12.39/5.05 compareFloat = primCmpFloat; 12.39/5.05 12.39/5.05 compareMyInt :: MyInt -> MyInt -> Ordering; 12.39/5.05 compareMyInt = primCmpInt; 12.39/5.05 12.39/5.05 esEsOrdering :: Ordering -> Ordering -> MyBool; 12.39/5.05 esEsOrdering LT LT = MyTrue; 12.39/5.05 esEsOrdering LT EQ = MyFalse; 12.39/5.05 esEsOrdering LT GT = MyFalse; 12.39/5.05 esEsOrdering EQ LT = MyFalse; 12.39/5.05 esEsOrdering EQ EQ = MyTrue; 12.39/5.05 esEsOrdering EQ GT = MyFalse; 12.39/5.05 esEsOrdering GT LT = MyFalse; 12.39/5.05 esEsOrdering GT EQ = MyFalse; 12.39/5.05 esEsOrdering GT GT = MyTrue; 12.39/5.05 12.39/5.05 fromIntFloat :: MyInt -> Float; 12.39/5.05 fromIntFloat = primIntToFloat; 12.39/5.05 12.39/5.05 gtMyInt :: MyInt -> MyInt -> MyBool; 12.39/5.05 gtMyInt x y = esEsOrdering (compareMyInt x y) GT; 12.39/5.05 12.39/5.05 ltFloat :: Float -> Float -> MyBool; 12.39/5.05 ltFloat x y = esEsOrdering (compareFloat x y) LT; 12.39/5.05 12.39/5.05 negateFloat :: Float -> Float; 12.39/5.05 negateFloat = primNegFloat; 12.39/5.05 12.39/5.05 negateMyInt :: MyInt -> MyInt; 12.39/5.05 negateMyInt = primNegInt; 12.39/5.05 12.39/5.05 primCmpFloat :: Float -> Float -> Ordering; 12.39/5.05 primCmpFloat (Float x1 x2) (Float y1 y2) = compareMyInt (srMyInt x1 y1) (srMyInt x2 y2); 12.39/5.05 12.39/5.05 primCmpInt :: MyInt -> MyInt -> Ordering; 12.39/5.05 primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y; 12.39/5.05 primCmpInt (Main.Pos x) (Main.Neg y) = GT; 12.39/5.05 primCmpInt (Main.Neg x) (Main.Pos y) = LT; 12.39/5.05 primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x; 12.39/5.05 12.39/5.05 primCmpNat :: Main.Nat -> Main.Nat -> Ordering; 12.39/5.05 primCmpNat Main.Zero Main.Zero = EQ; 12.39/5.05 primCmpNat Main.Zero (Main.Succ y) = LT; 12.39/5.05 primCmpNat (Main.Succ x) Main.Zero = GT; 12.39/5.05 primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y; 12.39/5.05 12.39/5.05 primIntToFloat :: MyInt -> Float; 12.39/5.05 primIntToFloat x = Float x (Main.Pos (Main.Succ Main.Zero)); 12.39/5.05 12.39/5.05 primMulInt :: MyInt -> MyInt -> MyInt; 12.39/5.05 primMulInt (Main.Pos x) (Main.Pos y) = Main.Pos (primMulNat x y); 12.39/5.05 primMulInt (Main.Pos x) (Main.Neg y) = Main.Neg (primMulNat x y); 12.39/5.05 primMulInt (Main.Neg x) (Main.Pos y) = Main.Neg (primMulNat x y); 12.39/5.05 primMulInt (Main.Neg x) (Main.Neg y) = Main.Pos (primMulNat x y); 12.39/5.05 12.39/5.05 primMulNat :: Main.Nat -> Main.Nat -> Main.Nat; 12.39/5.05 primMulNat Main.Zero Main.Zero = Main.Zero; 12.39/5.05 primMulNat Main.Zero (Main.Succ y) = Main.Zero; 12.39/5.05 primMulNat (Main.Succ x) Main.Zero = Main.Zero; 12.39/5.05 primMulNat (Main.Succ x) (Main.Succ y) = primPlusNat (primMulNat x (Main.Succ y)) (Main.Succ y); 12.39/5.05 12.39/5.05 primNegFloat :: Float -> Float; 12.39/5.05 primNegFloat (Float x1 x2) = Float (negateMyInt x1) x2; 12.39/5.05 12.39/5.05 primNegInt :: MyInt -> MyInt; 12.39/5.05 primNegInt (Main.Pos x) = Main.Neg x; 12.39/5.05 primNegInt (Main.Neg x) = Main.Pos x; 12.39/5.05 12.39/5.05 primPlusNat :: Main.Nat -> Main.Nat -> Main.Nat; 12.39/5.05 primPlusNat Main.Zero Main.Zero = Main.Zero; 12.39/5.05 primPlusNat Main.Zero (Main.Succ y) = Main.Succ y; 12.39/5.05 primPlusNat (Main.Succ x) Main.Zero = Main.Succ x; 12.39/5.05 primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y)); 12.39/5.05 12.39/5.05 pt :: (a -> c) -> (b -> a) -> b -> c; 12.39/5.05 pt f g x = f (g x); 12.39/5.05 12.39/5.05 showChar :: Main.Char -> List Main.Char -> List Main.Char; 12.39/5.05 showChar = Cons; 12.39/5.05 12.39/5.05 showParen :: MyBool -> (List Main.Char -> List Main.Char) -> List Main.Char -> List Main.Char; 12.39/5.05 showParen b p = showParen0 p b; 12.39/5.05 12.39/5.05 showParen0 p MyTrue = pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))) (pt p (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))); 12.39/5.05 showParen0 p MyFalse = p; 12.39/5.05 12.39/5.05 showSigned showPos p x = showSigned0 p showPos x (ltFloat x (fromIntFloat (Main.Pos Main.Zero))); 12.39/5.05 12.39/5.05 showSigned0 p showPos x MyTrue = showParen (gtMyInt p (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))) (pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))) (showPos (negateFloat x))); 12.39/5.05 showSigned0 p showPos x MyFalse = showPos x; 12.39/5.05 12.39/5.05 srMyInt :: MyInt -> MyInt -> MyInt; 12.39/5.05 srMyInt = primMulInt; 12.39/5.05 12.39/5.05 } 12.39/5.05 12.39/5.05 ---------------------------------------- 12.39/5.05 12.39/5.05 (1) BR (EQUIVALENT) 12.39/5.05 Replaced joker patterns by fresh variables and removed binding patterns. 12.39/5.05 ---------------------------------------- 12.39/5.05 12.39/5.05 (2) 12.39/5.05 Obligation: 12.39/5.05 mainModule Main 12.39/5.05 module Main where { 12.39/5.05 import qualified Prelude; 12.39/5.05 data Main.Char = Char MyInt ; 12.39/5.05 12.39/5.05 data Float = Float MyInt MyInt ; 12.39/5.05 12.39/5.05 data List a = Cons a (List a) | Nil ; 12.39/5.05 12.39/5.05 data MyBool = MyTrue | MyFalse ; 12.39/5.05 12.39/5.05 data MyInt = Pos Main.Nat | Neg Main.Nat ; 12.39/5.05 12.39/5.05 data Main.Nat = Succ Main.Nat | Zero ; 12.39/5.05 12.39/5.05 data Ordering = LT | EQ | GT ; 12.39/5.05 12.39/5.05 compareFloat :: Float -> Float -> Ordering; 12.39/5.05 compareFloat = primCmpFloat; 12.39/5.05 12.39/5.05 compareMyInt :: MyInt -> MyInt -> Ordering; 12.39/5.05 compareMyInt = primCmpInt; 12.39/5.05 12.39/5.05 esEsOrdering :: Ordering -> Ordering -> MyBool; 12.39/5.05 esEsOrdering LT LT = MyTrue; 12.39/5.05 esEsOrdering LT EQ = MyFalse; 12.39/5.05 esEsOrdering LT GT = MyFalse; 12.39/5.05 esEsOrdering EQ LT = MyFalse; 12.39/5.05 esEsOrdering EQ EQ = MyTrue; 12.39/5.05 esEsOrdering EQ GT = MyFalse; 12.39/5.05 esEsOrdering GT LT = MyFalse; 12.39/5.05 esEsOrdering GT EQ = MyFalse; 12.39/5.05 esEsOrdering GT GT = MyTrue; 12.39/5.05 12.39/5.05 fromIntFloat :: MyInt -> Float; 12.39/5.05 fromIntFloat = primIntToFloat; 12.39/5.05 12.39/5.05 gtMyInt :: MyInt -> MyInt -> MyBool; 12.39/5.05 gtMyInt x y = esEsOrdering (compareMyInt x y) GT; 12.39/5.05 12.39/5.05 ltFloat :: Float -> Float -> MyBool; 12.39/5.05 ltFloat x y = esEsOrdering (compareFloat x y) LT; 12.39/5.05 12.39/5.05 negateFloat :: Float -> Float; 12.39/5.05 negateFloat = primNegFloat; 12.39/5.05 12.39/5.05 negateMyInt :: MyInt -> MyInt; 12.39/5.05 negateMyInt = primNegInt; 12.39/5.05 12.39/5.05 primCmpFloat :: Float -> Float -> Ordering; 12.39/5.05 primCmpFloat (Float x1 x2) (Float y1 y2) = compareMyInt (srMyInt x1 y1) (srMyInt x2 y2); 12.39/5.05 12.39/5.05 primCmpInt :: MyInt -> MyInt -> Ordering; 12.39/5.05 primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y; 12.39/5.05 primCmpInt (Main.Pos x) (Main.Neg y) = GT; 12.39/5.05 primCmpInt (Main.Neg x) (Main.Pos y) = LT; 12.39/5.05 primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x; 12.39/5.05 12.39/5.05 primCmpNat :: Main.Nat -> Main.Nat -> Ordering; 12.39/5.05 primCmpNat Main.Zero Main.Zero = EQ; 12.39/5.05 primCmpNat Main.Zero (Main.Succ y) = LT; 12.39/5.05 primCmpNat (Main.Succ x) Main.Zero = GT; 12.39/5.05 primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y; 12.39/5.05 12.39/5.05 primIntToFloat :: MyInt -> Float; 12.39/5.05 primIntToFloat x = Float x (Main.Pos (Main.Succ Main.Zero)); 12.39/5.05 12.39/5.05 primMulInt :: MyInt -> MyInt -> MyInt; 12.39/5.05 primMulInt (Main.Pos x) (Main.Pos y) = Main.Pos (primMulNat x y); 12.39/5.05 primMulInt (Main.Pos x) (Main.Neg y) = Main.Neg (primMulNat x y); 12.39/5.05 primMulInt (Main.Neg x) (Main.Pos y) = Main.Neg (primMulNat x y); 12.39/5.05 primMulInt (Main.Neg x) (Main.Neg y) = Main.Pos (primMulNat x y); 12.39/5.05 12.39/5.05 primMulNat :: Main.Nat -> Main.Nat -> Main.Nat; 12.39/5.05 primMulNat Main.Zero Main.Zero = Main.Zero; 12.39/5.05 primMulNat Main.Zero (Main.Succ y) = Main.Zero; 12.39/5.05 primMulNat (Main.Succ x) Main.Zero = Main.Zero; 12.39/5.05 primMulNat (Main.Succ x) (Main.Succ y) = primPlusNat (primMulNat x (Main.Succ y)) (Main.Succ y); 12.39/5.05 12.39/5.05 primNegFloat :: Float -> Float; 12.39/5.05 primNegFloat (Float x1 x2) = Float (negateMyInt x1) x2; 12.39/5.05 12.39/5.05 primNegInt :: MyInt -> MyInt; 12.39/5.05 primNegInt (Main.Pos x) = Main.Neg x; 12.39/5.05 primNegInt (Main.Neg x) = Main.Pos x; 12.39/5.05 12.39/5.05 primPlusNat :: Main.Nat -> Main.Nat -> Main.Nat; 12.39/5.05 primPlusNat Main.Zero Main.Zero = Main.Zero; 12.39/5.05 primPlusNat Main.Zero (Main.Succ y) = Main.Succ y; 12.39/5.05 primPlusNat (Main.Succ x) Main.Zero = Main.Succ x; 12.39/5.05 primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y)); 12.39/5.05 12.39/5.05 pt :: (c -> a) -> (b -> c) -> b -> a; 12.39/5.05 pt f g x = f (g x); 12.39/5.05 12.39/5.05 showChar :: Main.Char -> List Main.Char -> List Main.Char; 12.39/5.05 showChar = Cons; 12.39/5.05 12.39/5.05 showParen :: MyBool -> (List Main.Char -> List Main.Char) -> List Main.Char -> List Main.Char; 12.39/5.05 showParen b p = showParen0 p b; 12.39/5.05 12.39/5.05 showParen0 p MyTrue = pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))) (pt p (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))); 12.39/5.05 showParen0 p MyFalse = p; 12.39/5.05 12.39/5.05 showSigned showPos p x = showSigned0 p showPos x (ltFloat x (fromIntFloat (Main.Pos Main.Zero))); 12.39/5.05 12.39/5.05 showSigned0 p showPos x MyTrue = showParen (gtMyInt p (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))) (pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))) (showPos (negateFloat x))); 12.39/5.05 showSigned0 p showPos x MyFalse = showPos x; 12.39/5.05 12.39/5.05 srMyInt :: MyInt -> MyInt -> MyInt; 12.39/5.05 srMyInt = primMulInt; 12.39/5.05 12.39/5.05 } 12.39/5.05 12.39/5.05 ---------------------------------------- 12.39/5.05 12.39/5.05 (3) COR (EQUIVALENT) 12.39/5.05 Cond Reductions: 12.39/5.05 The following Function with conditions 12.39/5.05 "undefined |Falseundefined; 12.39/5.05 " 12.39/5.05 is transformed to 12.39/5.05 "undefined = undefined1; 12.39/5.05 " 12.39/5.05 "undefined0 True = undefined; 12.39/5.05 " 12.39/5.05 "undefined1 = undefined0 False; 12.39/5.05 " 12.39/5.05 12.39/5.05 ---------------------------------------- 12.39/5.05 12.39/5.05 (4) 12.39/5.05 Obligation: 12.39/5.05 mainModule Main 12.39/5.05 module Main where { 12.39/5.05 import qualified Prelude; 12.39/5.05 data Main.Char = Char MyInt ; 12.39/5.05 12.39/5.05 data Float = Float MyInt MyInt ; 12.39/5.05 12.39/5.05 data List a = Cons a (List a) | Nil ; 12.39/5.05 12.39/5.05 data MyBool = MyTrue | MyFalse ; 12.39/5.05 12.39/5.05 data MyInt = Pos Main.Nat | Neg Main.Nat ; 12.39/5.05 12.39/5.05 data Main.Nat = Succ Main.Nat | Zero ; 12.39/5.05 12.39/5.05 data Ordering = LT | EQ | GT ; 12.39/5.05 12.39/5.05 compareFloat :: Float -> Float -> Ordering; 12.39/5.05 compareFloat = primCmpFloat; 12.39/5.05 12.39/5.05 compareMyInt :: MyInt -> MyInt -> Ordering; 12.39/5.05 compareMyInt = primCmpInt; 12.39/5.05 12.39/5.05 esEsOrdering :: Ordering -> Ordering -> MyBool; 12.39/5.05 esEsOrdering LT LT = MyTrue; 12.39/5.05 esEsOrdering LT EQ = MyFalse; 12.39/5.05 esEsOrdering LT GT = MyFalse; 12.39/5.05 esEsOrdering EQ LT = MyFalse; 12.39/5.05 esEsOrdering EQ EQ = MyTrue; 12.39/5.05 esEsOrdering EQ GT = MyFalse; 12.39/5.05 esEsOrdering GT LT = MyFalse; 12.39/5.05 esEsOrdering GT EQ = MyFalse; 12.39/5.05 esEsOrdering GT GT = MyTrue; 12.39/5.05 12.39/5.05 fromIntFloat :: MyInt -> Float; 12.39/5.05 fromIntFloat = primIntToFloat; 12.39/5.05 12.39/5.05 gtMyInt :: MyInt -> MyInt -> MyBool; 12.39/5.05 gtMyInt x y = esEsOrdering (compareMyInt x y) GT; 12.39/5.05 12.39/5.05 ltFloat :: Float -> Float -> MyBool; 12.39/5.05 ltFloat x y = esEsOrdering (compareFloat x y) LT; 12.39/5.05 12.39/5.05 negateFloat :: Float -> Float; 12.39/5.05 negateFloat = primNegFloat; 12.39/5.05 12.39/5.05 negateMyInt :: MyInt -> MyInt; 12.39/5.05 negateMyInt = primNegInt; 12.39/5.05 12.39/5.05 primCmpFloat :: Float -> Float -> Ordering; 12.39/5.05 primCmpFloat (Float x1 x2) (Float y1 y2) = compareMyInt (srMyInt x1 y1) (srMyInt x2 y2); 12.39/5.05 12.39/5.05 primCmpInt :: MyInt -> MyInt -> Ordering; 12.39/5.05 primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ; 12.39/5.05 primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y; 12.39/5.05 primCmpInt (Main.Pos x) (Main.Neg y) = GT; 12.39/5.05 primCmpInt (Main.Neg x) (Main.Pos y) = LT; 12.39/5.05 primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x; 12.39/5.05 12.39/5.05 primCmpNat :: Main.Nat -> Main.Nat -> Ordering; 12.39/5.05 primCmpNat Main.Zero Main.Zero = EQ; 12.39/5.05 primCmpNat Main.Zero (Main.Succ y) = LT; 12.39/5.05 primCmpNat (Main.Succ x) Main.Zero = GT; 12.39/5.05 primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y; 12.39/5.05 12.39/5.05 primIntToFloat :: MyInt -> Float; 12.39/5.05 primIntToFloat x = Float x (Main.Pos (Main.Succ Main.Zero)); 12.39/5.05 12.39/5.05 primMulInt :: MyInt -> MyInt -> MyInt; 12.39/5.05 primMulInt (Main.Pos x) (Main.Pos y) = Main.Pos (primMulNat x y); 12.39/5.05 primMulInt (Main.Pos x) (Main.Neg y) = Main.Neg (primMulNat x y); 12.39/5.05 primMulInt (Main.Neg x) (Main.Pos y) = Main.Neg (primMulNat x y); 12.39/5.05 primMulInt (Main.Neg x) (Main.Neg y) = Main.Pos (primMulNat x y); 12.39/5.05 12.39/5.05 primMulNat :: Main.Nat -> Main.Nat -> Main.Nat; 12.39/5.05 primMulNat Main.Zero Main.Zero = Main.Zero; 12.39/5.05 primMulNat Main.Zero (Main.Succ y) = Main.Zero; 12.39/5.05 primMulNat (Main.Succ x) Main.Zero = Main.Zero; 12.39/5.05 primMulNat (Main.Succ x) (Main.Succ y) = primPlusNat (primMulNat x (Main.Succ y)) (Main.Succ y); 12.39/5.05 12.39/5.05 primNegFloat :: Float -> Float; 12.39/5.05 primNegFloat (Float x1 x2) = Float (negateMyInt x1) x2; 12.39/5.05 12.39/5.05 primNegInt :: MyInt -> MyInt; 12.39/5.05 primNegInt (Main.Pos x) = Main.Neg x; 12.39/5.05 primNegInt (Main.Neg x) = Main.Pos x; 12.39/5.05 12.39/5.05 primPlusNat :: Main.Nat -> Main.Nat -> Main.Nat; 12.39/5.05 primPlusNat Main.Zero Main.Zero = Main.Zero; 12.39/5.05 primPlusNat Main.Zero (Main.Succ y) = Main.Succ y; 12.39/5.05 primPlusNat (Main.Succ x) Main.Zero = Main.Succ x; 12.39/5.05 primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y)); 12.39/5.05 12.39/5.05 pt :: (b -> c) -> (a -> b) -> a -> c; 12.39/5.05 pt f g x = f (g x); 12.39/5.05 12.39/5.05 showChar :: Main.Char -> List Main.Char -> List Main.Char; 12.39/5.05 showChar = Cons; 12.39/5.05 12.39/5.05 showParen :: MyBool -> (List Main.Char -> List Main.Char) -> List Main.Char -> List Main.Char; 12.39/5.05 showParen b p = showParen0 p b; 12.39/5.05 12.39/5.05 showParen0 p MyTrue = pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))) (pt p (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))); 12.39/5.05 showParen0 p MyFalse = p; 12.39/5.05 12.39/5.05 showSigned showPos p x = showSigned0 p showPos x (ltFloat x (fromIntFloat (Main.Pos Main.Zero))); 12.39/5.05 12.39/5.05 showSigned0 p showPos x MyTrue = showParen (gtMyInt p (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))) (pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))) (showPos (negateFloat x))); 12.39/5.05 showSigned0 p showPos x MyFalse = showPos x; 12.39/5.05 12.39/5.05 srMyInt :: MyInt -> MyInt -> MyInt; 12.39/5.05 srMyInt = primMulInt; 12.39/5.05 12.39/5.05 } 12.39/5.05 12.39/5.05 ---------------------------------------- 12.39/5.05 12.39/5.05 (5) Narrow (SOUND) 12.39/5.05 Haskell To QDPs 12.39/5.05 12.39/5.05 digraph dp_graph { 12.39/5.05 node [outthreshold=100, inthreshold=100];1[label="showSigned",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 12.39/5.05 3[label="showSigned vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 12.39/5.05 4[label="showSigned vx3 vx4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3]; 12.39/5.05 5[label="showSigned vx3 vx4 vx5",fontsize=16,color="grey",shape="box"];5 -> 6[label="",style="dashed", color="grey", weight=3]; 12.39/5.05 6[label="showSigned vx3 vx4 vx5 vx6",fontsize=16,color="black",shape="triangle"];6 -> 7[label="",style="solid", color="black", weight=3]; 12.71/5.07 7[label="showSigned0 vx4 vx3 vx5 (ltFloat vx5 (fromIntFloat (Pos Zero))) vx6",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 12.71/5.07 8[label="showSigned0 vx4 vx3 vx5 (esEsOrdering (compareFloat vx5 (fromIntFloat (Pos Zero))) LT) vx6",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 12.71/5.07 9[label="showSigned0 vx4 vx3 vx5 (esEsOrdering (primCmpFloat vx5 (fromIntFloat (Pos Zero))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2050[label="vx5/Float vx50 vx51",fontsize=10,color="white",style="solid",shape="box"];9 -> 2050[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2050 -> 10[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 10[label="showSigned0 vx4 vx3 (Float vx50 vx51) (esEsOrdering (primCmpFloat (Float vx50 vx51) (fromIntFloat (Pos Zero))) LT) vx6",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 12.71/5.07 11[label="showSigned0 vx4 vx3 (Float vx50 vx51) (esEsOrdering (primCmpFloat (Float vx50 vx51) (primIntToFloat (Pos Zero))) LT) vx6",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 12.71/5.07 12[label="showSigned0 vx4 vx3 (Float vx50 vx51) (esEsOrdering (primCmpFloat (Float vx50 vx51) (Float (Pos Zero) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 12.71/5.07 13[label="showSigned0 vx4 vx3 (Float vx50 vx51) (esEsOrdering (compareMyInt (srMyInt vx50 (Pos Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 12.71/5.07 14[label="showSigned0 vx4 vx3 (Float vx50 vx51) (esEsOrdering (primCmpInt (srMyInt vx50 (Pos Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 12.71/5.07 15[label="showSigned0 vx4 vx3 (Float vx50 vx51) (esEsOrdering (primCmpInt (primMulInt vx50 (Pos Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2051[label="vx50/Pos vx500",fontsize=10,color="white",style="solid",shape="box"];15 -> 2051[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2051 -> 16[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2052[label="vx50/Neg vx500",fontsize=10,color="white",style="solid",shape="box"];15 -> 2052[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2052 -> 17[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 16[label="showSigned0 vx4 vx3 (Float (Pos vx500) vx51) (esEsOrdering (primCmpInt (primMulInt (Pos vx500) (Pos Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3]; 12.71/5.07 17[label="showSigned0 vx4 vx3 (Float (Neg vx500) vx51) (esEsOrdering (primCmpInt (primMulInt (Neg vx500) (Pos Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3]; 12.71/5.07 18[label="showSigned0 vx4 vx3 (Float (Pos vx500) vx51) (esEsOrdering (primCmpInt (Pos (primMulNat vx500 Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2053[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];18 -> 2053[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2053 -> 20[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2054[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];18 -> 2054[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2054 -> 21[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 19[label="showSigned0 vx4 vx3 (Float (Neg vx500) vx51) (esEsOrdering (primCmpInt (Neg (primMulNat vx500 Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2055[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];19 -> 2055[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2055 -> 22[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2056[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];19 -> 2056[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2056 -> 23[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 20[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) vx51) (esEsOrdering (primCmpInt (Pos (primMulNat (Succ vx5000) Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];20 -> 24[label="",style="solid", color="black", weight=3]; 12.71/5.07 21[label="showSigned0 vx4 vx3 (Float (Pos Zero) vx51) (esEsOrdering (primCmpInt (Pos (primMulNat Zero Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];21 -> 25[label="",style="solid", color="black", weight=3]; 12.71/5.07 22[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) vx51) (esEsOrdering (primCmpInt (Neg (primMulNat (Succ vx5000) Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];22 -> 26[label="",style="solid", color="black", weight=3]; 12.71/5.07 23[label="showSigned0 vx4 vx3 (Float (Neg Zero) vx51) (esEsOrdering (primCmpInt (Neg (primMulNat Zero Zero)) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3]; 12.71/5.07 24[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) vx51) (esEsOrdering (primCmpInt (Pos Zero) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3]; 12.71/5.07 25[label="showSigned0 vx4 vx3 (Float (Pos Zero) vx51) (esEsOrdering (primCmpInt (Pos Zero) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];25 -> 29[label="",style="solid", color="black", weight=3]; 12.71/5.07 26[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) vx51) (esEsOrdering (primCmpInt (Neg Zero) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];26 -> 30[label="",style="solid", color="black", weight=3]; 12.71/5.07 27[label="showSigned0 vx4 vx3 (Float (Neg Zero) vx51) (esEsOrdering (primCmpInt (Neg Zero) (srMyInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];27 -> 31[label="",style="solid", color="black", weight=3]; 12.71/5.07 28[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) vx51) (esEsOrdering (primCmpInt (Pos Zero) (primMulInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2057[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];28 -> 2057[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2057 -> 32[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2058[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];28 -> 2058[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2058 -> 33[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 29[label="showSigned0 vx4 vx3 (Float (Pos Zero) vx51) (esEsOrdering (primCmpInt (Pos Zero) (primMulInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2059[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];29 -> 2059[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2059 -> 34[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2060[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];29 -> 2060[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2060 -> 35[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 30[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) vx51) (esEsOrdering (primCmpInt (Neg Zero) (primMulInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2061[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];30 -> 2061[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2061 -> 36[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2062[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];30 -> 2062[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2062 -> 37[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 31[label="showSigned0 vx4 vx3 (Float (Neg Zero) vx51) (esEsOrdering (primCmpInt (Neg Zero) (primMulInt vx51 (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2063[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];31 -> 2063[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2063 -> 38[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2064[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];31 -> 2064[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2064 -> 39[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 32[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos vx510)) (esEsOrdering (primCmpInt (Pos Zero) (primMulInt (Pos vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];32 -> 40[label="",style="solid", color="black", weight=3]; 12.71/5.07 33[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg vx510)) (esEsOrdering (primCmpInt (Pos Zero) (primMulInt (Neg vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];33 -> 41[label="",style="solid", color="black", weight=3]; 12.71/5.07 34[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos vx510)) (esEsOrdering (primCmpInt (Pos Zero) (primMulInt (Pos vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];34 -> 42[label="",style="solid", color="black", weight=3]; 12.71/5.07 35[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg vx510)) (esEsOrdering (primCmpInt (Pos Zero) (primMulInt (Neg vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];35 -> 43[label="",style="solid", color="black", weight=3]; 12.71/5.07 36[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos vx510)) (esEsOrdering (primCmpInt (Neg Zero) (primMulInt (Pos vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];36 -> 44[label="",style="solid", color="black", weight=3]; 12.71/5.07 37[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg vx510)) (esEsOrdering (primCmpInt (Neg Zero) (primMulInt (Neg vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];37 -> 45[label="",style="solid", color="black", weight=3]; 12.71/5.07 38[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos vx510)) (esEsOrdering (primCmpInt (Neg Zero) (primMulInt (Pos vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];38 -> 46[label="",style="solid", color="black", weight=3]; 12.71/5.07 39[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg vx510)) (esEsOrdering (primCmpInt (Neg Zero) (primMulInt (Neg vx510) (Pos (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];39 -> 47[label="",style="solid", color="black", weight=3]; 12.71/5.07 40[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos vx510)) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2065[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];40 -> 2065[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2065 -> 48[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2066[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];40 -> 2066[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2066 -> 49[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 41[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg vx510)) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2067[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];41 -> 2067[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2067 -> 50[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2068[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];41 -> 2068[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2068 -> 51[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 42[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos vx510)) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2069[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];42 -> 2069[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2069 -> 52[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2070[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];42 -> 2070[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2070 -> 53[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 43[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg vx510)) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2071[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];43 -> 2071[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2071 -> 54[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2072[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];43 -> 2072[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2072 -> 55[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 44[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos vx510)) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2073[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];44 -> 2073[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2073 -> 56[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2074[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];44 -> 2074[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2074 -> 57[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 45[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg vx510)) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2075[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];45 -> 2075[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2075 -> 58[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2076[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];45 -> 2076[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2076 -> 59[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 46[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos vx510)) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2077[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];46 -> 2077[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2077 -> 60[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2078[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];46 -> 2078[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2078 -> 61[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 47[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg vx510)) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primMulNat vx510 (Succ Zero)))) LT) vx6",fontsize=16,color="burlywood",shape="box"];2079[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];47 -> 2079[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2079 -> 62[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2080[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];47 -> 2080[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2080 -> 63[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 48[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];48 -> 64[label="",style="solid", color="black", weight=3]; 12.71/5.07 49[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];49 -> 65[label="",style="solid", color="black", weight=3]; 12.71/5.07 50[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];50 -> 66[label="",style="solid", color="black", weight=3]; 12.71/5.07 51[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];51 -> 67[label="",style="solid", color="black", weight=3]; 12.71/5.07 52[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];52 -> 68[label="",style="solid", color="black", weight=3]; 12.71/5.07 53[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];53 -> 69[label="",style="solid", color="black", weight=3]; 12.71/5.07 54[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];54 -> 70[label="",style="solid", color="black", weight=3]; 12.71/5.07 55[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];55 -> 71[label="",style="solid", color="black", weight=3]; 12.71/5.07 56[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];56 -> 72[label="",style="solid", color="black", weight=3]; 12.71/5.07 57[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];57 -> 73[label="",style="solid", color="black", weight=3]; 12.71/5.07 58[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];58 -> 74[label="",style="solid", color="black", weight=3]; 12.71/5.07 59[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];59 -> 75[label="",style="solid", color="black", weight=3]; 12.71/5.07 60[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];60 -> 76[label="",style="solid", color="black", weight=3]; 12.71/5.07 61[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];61 -> 77[label="",style="solid", color="black", weight=3]; 12.71/5.07 62[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primMulNat (Succ vx5100) (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];62 -> 78[label="",style="solid", color="black", weight=3]; 12.71/5.07 63[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ Zero)))) LT) vx6",fontsize=16,color="black",shape="box"];63 -> 79[label="",style="solid", color="black", weight=3]; 12.71/5.07 64 -> 973[label="",style="dashed", color="red", weight=0]; 12.71/5.07 64[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];64 -> 974[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 64 -> 975[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 64 -> 976[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 64 -> 977[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 64 -> 978[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 64 -> 979[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 65[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT) vx6",fontsize=16,color="black",shape="box"];65 -> 82[label="",style="solid", color="black", weight=3]; 12.71/5.07 66 -> 1004[label="",style="dashed", color="red", weight=0]; 12.71/5.07 66[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];66 -> 1005[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 66 -> 1006[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 66 -> 1007[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 66 -> 1008[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 66 -> 1009[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 66 -> 1010[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 67[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) LT) vx6",fontsize=16,color="black",shape="box"];67 -> 85[label="",style="solid", color="black", weight=3]; 12.71/5.07 68 -> 1040[label="",style="dashed", color="red", weight=0]; 12.71/5.07 68[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];68 -> 1041[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 68 -> 1042[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 68 -> 1043[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 68 -> 1044[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 68 -> 1045[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 69[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT) vx6",fontsize=16,color="black",shape="box"];69 -> 88[label="",style="solid", color="black", weight=3]; 12.71/5.07 70 -> 1082[label="",style="dashed", color="red", weight=0]; 12.71/5.07 70[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Pos Zero) (Neg (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];70 -> 1083[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 70 -> 1084[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 70 -> 1085[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 70 -> 1086[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 70 -> 1087[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 71[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) LT) vx6",fontsize=16,color="black",shape="box"];71 -> 91[label="",style="solid", color="black", weight=3]; 12.71/5.07 72 -> 1207[label="",style="dashed", color="red", weight=0]; 12.71/5.07 72[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];72 -> 1208[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 72 -> 1209[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 72 -> 1210[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 72 -> 1211[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 72 -> 1212[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 72 -> 1213[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 73[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) LT) vx6",fontsize=16,color="black",shape="box"];73 -> 94[label="",style="solid", color="black", weight=3]; 12.71/5.07 74 -> 1357[label="",style="dashed", color="red", weight=0]; 12.71/5.07 74[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];74 -> 1358[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 74 -> 1359[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 74 -> 1360[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 74 -> 1361[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 74 -> 1362[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 74 -> 1363[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 75[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) LT) vx6",fontsize=16,color="black",shape="box"];75 -> 97[label="",style="solid", color="black", weight=3]; 12.71/5.07 76 -> 1524[label="",style="dashed", color="red", weight=0]; 12.71/5.07 76[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];76 -> 1525[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 76 -> 1526[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 76 -> 1527[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 76 -> 1528[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 76 -> 1529[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 77[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) LT) vx6",fontsize=16,color="black",shape="box"];77 -> 100[label="",style="solid", color="black", weight=3]; 12.71/5.07 78 -> 1663[label="",style="dashed", color="red", weight=0]; 12.71/5.07 78[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg (Succ vx5100))) (esEsOrdering (primCmpInt (Neg Zero) (Neg (primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)))) LT) vx6",fontsize=16,color="magenta"];78 -> 1664[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 78 -> 1665[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 78 -> 1666[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 78 -> 1667[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 78 -> 1668[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 79[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) LT) vx6",fontsize=16,color="black",shape="box"];79 -> 103[label="",style="solid", color="black", weight=3]; 12.71/5.07 974[label="vx4",fontsize=16,color="green",shape="box"];975[label="vx6",fontsize=16,color="green",shape="box"];976 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 976[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];976 -> 1001[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 977[label="vx5000",fontsize=16,color="green",shape="box"];978[label="vx5100",fontsize=16,color="green",shape="box"];979[label="vx3",fontsize=16,color="green",shape="box"];973[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) (esEsOrdering (primCmpInt (Pos Zero) (Pos vx156)) LT) vx46",fontsize=16,color="burlywood",shape="triangle"];2081[label="vx156/Succ vx1560",fontsize=10,color="white",style="solid",shape="box"];973 -> 2081[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2081 -> 1002[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2082[label="vx156/Zero",fontsize=10,color="white",style="solid",shape="box"];973 -> 2082[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2082 -> 1003[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 82[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];82 -> 106[label="",style="solid", color="black", weight=3]; 12.71/5.07 1005[label="vx5100",fontsize=16,color="green",shape="box"];1006[label="vx5000",fontsize=16,color="green",shape="box"];1007[label="vx4",fontsize=16,color="green",shape="box"];1008 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1008[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1008 -> 1032[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1009[label="vx3",fontsize=16,color="green",shape="box"];1010[label="vx6",fontsize=16,color="green",shape="box"];1004[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) (esEsOrdering (primCmpInt (Pos Zero) (Neg vx157)) LT) vx64",fontsize=16,color="burlywood",shape="triangle"];2083[label="vx157/Succ vx1570",fontsize=10,color="white",style="solid",shape="box"];1004 -> 2083[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2083 -> 1033[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2084[label="vx157/Zero",fontsize=10,color="white",style="solid",shape="box"];1004 -> 2084[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2084 -> 1034[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 85[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];85 -> 109[label="",style="solid", color="black", weight=3]; 12.71/5.07 1041[label="vx6",fontsize=16,color="green",shape="box"];1042[label="vx4",fontsize=16,color="green",shape="box"];1043[label="vx3",fontsize=16,color="green",shape="box"];1044 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1044[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1044 -> 1064[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1045[label="vx5100",fontsize=16,color="green",shape="box"];1040[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) (esEsOrdering (primCmpInt (Pos Zero) (Pos vx158)) LT) vx75",fontsize=16,color="burlywood",shape="triangle"];2085[label="vx158/Succ vx1580",fontsize=10,color="white",style="solid",shape="box"];1040 -> 2085[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2085 -> 1065[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2086[label="vx158/Zero",fontsize=10,color="white",style="solid",shape="box"];1040 -> 2086[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2086 -> 1066[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 88[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];88 -> 112[label="",style="solid", color="black", weight=3]; 12.71/5.07 1083[label="vx5100",fontsize=16,color="green",shape="box"];1084[label="vx6",fontsize=16,color="green",shape="box"];1085[label="vx4",fontsize=16,color="green",shape="box"];1086[label="vx3",fontsize=16,color="green",shape="box"];1087 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1087[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1087 -> 1194[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1082[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) (esEsOrdering (primCmpInt (Pos Zero) (Neg vx159)) LT) vx90",fontsize=16,color="burlywood",shape="triangle"];2087[label="vx159/Succ vx1590",fontsize=10,color="white",style="solid",shape="box"];1082 -> 2087[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2087 -> 1195[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2088[label="vx159/Zero",fontsize=10,color="white",style="solid",shape="box"];1082 -> 2088[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2088 -> 1196[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 91[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];91 -> 115[label="",style="solid", color="black", weight=3]; 12.71/5.07 1208[label="vx5000",fontsize=16,color="green",shape="box"];1209[label="vx3",fontsize=16,color="green",shape="box"];1210 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1210[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1210 -> 1341[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1211[label="vx6",fontsize=16,color="green",shape="box"];1212[label="vx4",fontsize=16,color="green",shape="box"];1213[label="vx5100",fontsize=16,color="green",shape="box"];1207[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos vx164)) LT) vx101",fontsize=16,color="burlywood",shape="triangle"];2089[label="vx164/Succ vx1640",fontsize=10,color="white",style="solid",shape="box"];1207 -> 2089[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2089 -> 1342[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2090[label="vx164/Zero",fontsize=10,color="white",style="solid",shape="box"];1207 -> 2090[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2090 -> 1343[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 94[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];94 -> 118[label="",style="solid", color="black", weight=3]; 12.71/5.07 1358[label="vx4",fontsize=16,color="green",shape="box"];1359[label="vx6",fontsize=16,color="green",shape="box"];1360[label="vx5000",fontsize=16,color="green",shape="box"];1361[label="vx5100",fontsize=16,color="green",shape="box"];1362[label="vx3",fontsize=16,color="green",shape="box"];1363 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1363[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1363 -> 1491[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1357[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) (esEsOrdering (primCmpInt (Neg Zero) (Neg vx169)) LT) vx119",fontsize=16,color="burlywood",shape="triangle"];2091[label="vx169/Succ vx1690",fontsize=10,color="white",style="solid",shape="box"];1357 -> 2091[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2091 -> 1492[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2092[label="vx169/Zero",fontsize=10,color="white",style="solid",shape="box"];1357 -> 2092[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2092 -> 1493[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 97[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];97 -> 121[label="",style="solid", color="black", weight=3]; 12.71/5.07 1525[label="vx5100",fontsize=16,color="green",shape="box"];1526 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1526[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1526 -> 1636[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1527[label="vx6",fontsize=16,color="green",shape="box"];1528[label="vx4",fontsize=16,color="green",shape="box"];1529[label="vx3",fontsize=16,color="green",shape="box"];1524[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) (esEsOrdering (primCmpInt (Neg Zero) (Pos vx181)) LT) vx130",fontsize=16,color="burlywood",shape="triangle"];2093[label="vx181/Succ vx1810",fontsize=10,color="white",style="solid",shape="box"];1524 -> 2093[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2093 -> 1637[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2094[label="vx181/Zero",fontsize=10,color="white",style="solid",shape="box"];1524 -> 2094[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2094 -> 1638[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 100[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];100 -> 124[label="",style="solid", color="black", weight=3]; 12.71/5.07 1664[label="vx5100",fontsize=16,color="green",shape="box"];1665[label="vx3",fontsize=16,color="green",shape="box"];1666[label="vx6",fontsize=16,color="green",shape="box"];1667 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1667[label="primPlusNat (primMulNat vx5100 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1667 -> 1775[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1668[label="vx4",fontsize=16,color="green",shape="box"];1663[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) (esEsOrdering (primCmpInt (Neg Zero) (Neg vx192)) LT) vx146",fontsize=16,color="burlywood",shape="triangle"];2095[label="vx192/Succ vx1920",fontsize=10,color="white",style="solid",shape="box"];1663 -> 2095[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2095 -> 1776[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2096[label="vx192/Zero",fontsize=10,color="white",style="solid",shape="box"];1663 -> 2096[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2096 -> 1777[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 103[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) (esEsOrdering EQ LT) vx6",fontsize=16,color="black",shape="box"];103 -> 127[label="",style="solid", color="black", weight=3]; 12.71/5.07 1001 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1001[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1001 -> 1035[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 961[label="primPlusNat vx155 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];2097[label="vx155/Succ vx1550",fontsize=10,color="white",style="solid",shape="box"];961 -> 2097[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2097 -> 1036[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2098[label="vx155/Zero",fontsize=10,color="white",style="solid",shape="box"];961 -> 2098[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2098 -> 1037[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1002[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vx1560))) LT) vx46",fontsize=16,color="black",shape="box"];1002 -> 1038[label="",style="solid", color="black", weight=3]; 12.71/5.07 1003[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT) vx46",fontsize=16,color="black",shape="box"];1003 -> 1039[label="",style="solid", color="black", weight=3]; 12.71/5.07 106[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];106 -> 131[label="",style="solid", color="black", weight=3]; 12.71/5.07 1032 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1032[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1032 -> 1067[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1033[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ vx1570))) LT) vx64",fontsize=16,color="black",shape="box"];1033 -> 1068[label="",style="solid", color="black", weight=3]; 12.71/5.07 1034[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) LT) vx64",fontsize=16,color="black",shape="box"];1034 -> 1069[label="",style="solid", color="black", weight=3]; 12.71/5.07 109[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];109 -> 135[label="",style="solid", color="black", weight=3]; 12.71/5.07 1064 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1064[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1064 -> 1197[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1065[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vx1580))) LT) vx75",fontsize=16,color="black",shape="box"];1065 -> 1198[label="",style="solid", color="black", weight=3]; 12.71/5.07 1066[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) LT) vx75",fontsize=16,color="black",shape="box"];1066 -> 1199[label="",style="solid", color="black", weight=3]; 12.71/5.07 112[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];112 -> 139[label="",style="solid", color="black", weight=3]; 12.71/5.07 1194 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1194[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1194 -> 1344[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1195[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ vx1590))) LT) vx90",fontsize=16,color="black",shape="box"];1195 -> 1345[label="",style="solid", color="black", weight=3]; 12.71/5.07 1196[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) LT) vx90",fontsize=16,color="black",shape="box"];1196 -> 1346[label="",style="solid", color="black", weight=3]; 12.71/5.07 115[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];115 -> 143[label="",style="solid", color="black", weight=3]; 12.71/5.07 1341 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1341[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1341 -> 1494[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1342[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ vx1640))) LT) vx101",fontsize=16,color="black",shape="box"];1342 -> 1495[label="",style="solid", color="black", weight=3]; 12.71/5.07 1343[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) LT) vx101",fontsize=16,color="black",shape="box"];1343 -> 1496[label="",style="solid", color="black", weight=3]; 12.71/5.07 118[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];118 -> 147[label="",style="solid", color="black", weight=3]; 12.71/5.07 1491 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1491[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1491 -> 1512[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1492[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ vx1690))) LT) vx119",fontsize=16,color="black",shape="box"];1492 -> 1513[label="",style="solid", color="black", weight=3]; 12.71/5.07 1493[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) LT) vx119",fontsize=16,color="black",shape="box"];1493 -> 1514[label="",style="solid", color="black", weight=3]; 12.71/5.07 121[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];121 -> 151[label="",style="solid", color="black", weight=3]; 12.71/5.07 1636 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1636[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1636 -> 1651[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1637[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ vx1810))) LT) vx130",fontsize=16,color="black",shape="box"];1637 -> 1652[label="",style="solid", color="black", weight=3]; 12.71/5.07 1638[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) LT) vx130",fontsize=16,color="black",shape="box"];1638 -> 1653[label="",style="solid", color="black", weight=3]; 12.71/5.07 124[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];124 -> 155[label="",style="solid", color="black", weight=3]; 12.71/5.07 1775 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1775[label="primMulNat vx5100 (Succ Zero)",fontsize=16,color="magenta"];1775 -> 1789[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1776[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ vx1920))) LT) vx146",fontsize=16,color="black",shape="box"];1776 -> 1790[label="",style="solid", color="black", weight=3]; 12.71/5.07 1777[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) LT) vx146",fontsize=16,color="black",shape="box"];1777 -> 1791[label="",style="solid", color="black", weight=3]; 12.71/5.07 127[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) MyFalse vx6",fontsize=16,color="black",shape="box"];127 -> 159[label="",style="solid", color="black", weight=3]; 12.71/5.07 1035[label="vx5100",fontsize=16,color="green",shape="box"];734[label="primMulNat vx51000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];2099[label="vx51000/Succ vx510000",fontsize=10,color="white",style="solid",shape="box"];734 -> 2099[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2099 -> 802[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2100[label="vx51000/Zero",fontsize=10,color="white",style="solid",shape="box"];734 -> 2100[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2100 -> 803[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1036[label="primPlusNat (Succ vx1550) (Succ Zero)",fontsize=16,color="black",shape="box"];1036 -> 1070[label="",style="solid", color="black", weight=3]; 12.71/5.07 1037[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1037 -> 1071[label="",style="solid", color="black", weight=3]; 12.71/5.07 1038[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) (esEsOrdering (primCmpNat Zero (Succ vx1560)) LT) vx46",fontsize=16,color="black",shape="box"];1038 -> 1072[label="",style="solid", color="black", weight=3]; 12.71/5.07 1039[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) (esEsOrdering EQ LT) vx46",fontsize=16,color="black",shape="box"];1039 -> 1073[label="",style="solid", color="black", weight=3]; 12.71/5.07 131[label="vx3 (Float (Pos (Succ vx5000)) (Pos Zero)) vx6",fontsize=16,color="green",shape="box"];131 -> 163[label="",style="dashed", color="green", weight=3]; 12.71/5.07 131 -> 164[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1067[label="vx5100",fontsize=16,color="green",shape="box"];1068[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) (esEsOrdering GT LT) vx64",fontsize=16,color="black",shape="box"];1068 -> 1200[label="",style="solid", color="black", weight=3]; 12.71/5.07 1069[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) (esEsOrdering EQ LT) vx64",fontsize=16,color="black",shape="box"];1069 -> 1201[label="",style="solid", color="black", weight=3]; 12.71/5.07 135[label="vx3 (Float (Pos (Succ vx5000)) (Neg Zero)) vx6",fontsize=16,color="green",shape="box"];135 -> 168[label="",style="dashed", color="green", weight=3]; 12.71/5.07 135 -> 169[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1197[label="vx5100",fontsize=16,color="green",shape="box"];1198[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) (esEsOrdering (primCmpNat Zero (Succ vx1580)) LT) vx75",fontsize=16,color="black",shape="box"];1198 -> 1347[label="",style="solid", color="black", weight=3]; 12.71/5.07 1199[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) (esEsOrdering EQ LT) vx75",fontsize=16,color="black",shape="box"];1199 -> 1348[label="",style="solid", color="black", weight=3]; 12.71/5.07 139[label="vx3 (Float (Pos Zero) (Pos Zero)) vx6",fontsize=16,color="green",shape="box"];139 -> 173[label="",style="dashed", color="green", weight=3]; 12.71/5.07 139 -> 174[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1344[label="vx5100",fontsize=16,color="green",shape="box"];1345[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) (esEsOrdering GT LT) vx90",fontsize=16,color="black",shape="box"];1345 -> 1497[label="",style="solid", color="black", weight=3]; 12.71/5.07 1346[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) (esEsOrdering EQ LT) vx90",fontsize=16,color="black",shape="box"];1346 -> 1498[label="",style="solid", color="black", weight=3]; 12.71/5.07 143[label="vx3 (Float (Pos Zero) (Neg Zero)) vx6",fontsize=16,color="green",shape="box"];143 -> 178[label="",style="dashed", color="green", weight=3]; 12.71/5.07 143 -> 179[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1494[label="vx5100",fontsize=16,color="green",shape="box"];1495[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) (esEsOrdering LT LT) vx101",fontsize=16,color="black",shape="box"];1495 -> 1515[label="",style="solid", color="black", weight=3]; 12.71/5.07 1496[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) (esEsOrdering EQ LT) vx101",fontsize=16,color="black",shape="box"];1496 -> 1516[label="",style="solid", color="black", weight=3]; 12.71/5.07 147[label="vx3 (Float (Neg (Succ vx5000)) (Pos Zero)) vx6",fontsize=16,color="green",shape="box"];147 -> 183[label="",style="dashed", color="green", weight=3]; 12.71/5.07 147 -> 184[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1512[label="vx5100",fontsize=16,color="green",shape="box"];1513[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) (esEsOrdering (primCmpNat (Succ vx1690) Zero) LT) vx119",fontsize=16,color="black",shape="box"];1513 -> 1639[label="",style="solid", color="black", weight=3]; 12.71/5.07 1514[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) (esEsOrdering EQ LT) vx119",fontsize=16,color="black",shape="box"];1514 -> 1640[label="",style="solid", color="black", weight=3]; 12.71/5.07 151[label="vx3 (Float (Neg (Succ vx5000)) (Neg Zero)) vx6",fontsize=16,color="green",shape="box"];151 -> 188[label="",style="dashed", color="green", weight=3]; 12.71/5.07 151 -> 189[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1651[label="vx5100",fontsize=16,color="green",shape="box"];1652[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) (esEsOrdering LT LT) vx130",fontsize=16,color="black",shape="box"];1652 -> 1778[label="",style="solid", color="black", weight=3]; 12.71/5.07 1653[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) (esEsOrdering EQ LT) vx130",fontsize=16,color="black",shape="box"];1653 -> 1779[label="",style="solid", color="black", weight=3]; 12.71/5.07 155[label="vx3 (Float (Neg Zero) (Pos Zero)) vx6",fontsize=16,color="green",shape="box"];155 -> 193[label="",style="dashed", color="green", weight=3]; 12.71/5.07 155 -> 194[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1789[label="vx5100",fontsize=16,color="green",shape="box"];1790[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) (esEsOrdering (primCmpNat (Succ vx1920) Zero) LT) vx146",fontsize=16,color="black",shape="box"];1790 -> 1797[label="",style="solid", color="black", weight=3]; 12.71/5.07 1791[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) (esEsOrdering EQ LT) vx146",fontsize=16,color="black",shape="box"];1791 -> 1798[label="",style="solid", color="black", weight=3]; 12.71/5.07 159[label="vx3 (Float (Neg Zero) (Neg Zero)) vx6",fontsize=16,color="green",shape="box"];159 -> 198[label="",style="dashed", color="green", weight=3]; 12.71/5.07 159 -> 199[label="",style="dashed", color="green", weight=3]; 12.71/5.07 802[label="primMulNat (Succ vx510000) (Succ Zero)",fontsize=16,color="black",shape="box"];802 -> 889[label="",style="solid", color="black", weight=3]; 12.71/5.07 803[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];803 -> 890[label="",style="solid", color="black", weight=3]; 12.71/5.07 1070[label="Succ (Succ (primPlusNat vx1550 Zero))",fontsize=16,color="green",shape="box"];1070 -> 1202[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1071[label="Succ Zero",fontsize=16,color="green",shape="box"];1072[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) (esEsOrdering LT LT) vx46",fontsize=16,color="black",shape="box"];1072 -> 1203[label="",style="solid", color="black", weight=3]; 12.71/5.07 1073[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) MyFalse vx46",fontsize=16,color="black",shape="box"];1073 -> 1204[label="",style="solid", color="black", weight=3]; 12.71/5.07 163[label="Float (Pos (Succ vx5000)) (Pos Zero)",fontsize=16,color="green",shape="box"];164[label="vx6",fontsize=16,color="green",shape="box"];1200[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) MyFalse vx64",fontsize=16,color="black",shape="triangle"];1200 -> 1349[label="",style="solid", color="black", weight=3]; 12.71/5.07 1201 -> 1200[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1201[label="showSigned0 vx60 vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) MyFalse vx64",fontsize=16,color="magenta"];168[label="Float (Pos (Succ vx5000)) (Neg Zero)",fontsize=16,color="green",shape="box"];169[label="vx6",fontsize=16,color="green",shape="box"];1347[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) (esEsOrdering LT LT) vx75",fontsize=16,color="black",shape="box"];1347 -> 1499[label="",style="solid", color="black", weight=3]; 12.71/5.07 1348[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) MyFalse vx75",fontsize=16,color="black",shape="box"];1348 -> 1500[label="",style="solid", color="black", weight=3]; 12.71/5.07 173[label="Float (Pos Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];174[label="vx6",fontsize=16,color="green",shape="box"];1497[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) MyFalse vx90",fontsize=16,color="black",shape="triangle"];1497 -> 1517[label="",style="solid", color="black", weight=3]; 12.71/5.07 1498 -> 1497[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1498[label="showSigned0 vx87 vx88 (Float (Pos Zero) (Neg (Succ vx89))) MyFalse vx90",fontsize=16,color="magenta"];178[label="Float (Pos Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];179[label="vx6",fontsize=16,color="green",shape="box"];1515[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) MyTrue vx101",fontsize=16,color="black",shape="box"];1515 -> 1641[label="",style="solid", color="black", weight=3]; 12.71/5.07 1516[label="showSigned0 vx97 vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) MyFalse vx101",fontsize=16,color="black",shape="box"];1516 -> 1642[label="",style="solid", color="black", weight=3]; 12.71/5.07 183[label="Float (Neg (Succ vx5000)) (Pos Zero)",fontsize=16,color="green",shape="box"];184[label="vx6",fontsize=16,color="green",shape="box"];1639[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) (esEsOrdering GT LT) vx119",fontsize=16,color="black",shape="box"];1639 -> 1654[label="",style="solid", color="black", weight=3]; 12.71/5.07 1640[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) MyFalse vx119",fontsize=16,color="black",shape="triangle"];1640 -> 1655[label="",style="solid", color="black", weight=3]; 12.71/5.07 188[label="Float (Neg (Succ vx5000)) (Neg Zero)",fontsize=16,color="green",shape="box"];189[label="vx6",fontsize=16,color="green",shape="box"];1778[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) MyTrue vx130",fontsize=16,color="black",shape="box"];1778 -> 1792[label="",style="solid", color="black", weight=3]; 12.71/5.07 1779[label="showSigned0 vx127 vx128 (Float (Neg Zero) (Pos (Succ vx129))) MyFalse vx130",fontsize=16,color="black",shape="box"];1779 -> 1793[label="",style="solid", color="black", weight=3]; 12.71/5.07 193[label="Float (Neg Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];194[label="vx6",fontsize=16,color="green",shape="box"];1797[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) (esEsOrdering GT LT) vx146",fontsize=16,color="black",shape="box"];1797 -> 1805[label="",style="solid", color="black", weight=3]; 12.71/5.07 1798[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) MyFalse vx146",fontsize=16,color="black",shape="triangle"];1798 -> 1806[label="",style="solid", color="black", weight=3]; 12.71/5.07 198[label="Float (Neg Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];199[label="vx6",fontsize=16,color="green",shape="box"];889 -> 961[label="",style="dashed", color="red", weight=0]; 12.71/5.07 889[label="primPlusNat (primMulNat vx510000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];889 -> 962[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 890[label="Zero",fontsize=16,color="green",shape="box"];1202[label="primPlusNat vx1550 Zero",fontsize=16,color="burlywood",shape="box"];2101[label="vx1550/Succ vx15500",fontsize=10,color="white",style="solid",shape="box"];1202 -> 2101[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2101 -> 1350[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2102[label="vx1550/Zero",fontsize=10,color="white",style="solid",shape="box"];1202 -> 2102[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2102 -> 1351[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1203[label="showSigned0 vx42 vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) MyTrue vx46",fontsize=16,color="black",shape="box"];1203 -> 1352[label="",style="solid", color="black", weight=3]; 12.71/5.07 1204[label="vx43 (Float (Pos (Succ vx44)) (Pos (Succ vx45))) vx46",fontsize=16,color="green",shape="box"];1204 -> 1353[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1204 -> 1354[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1349[label="vx61 (Float (Pos (Succ vx62)) (Neg (Succ vx63))) vx64",fontsize=16,color="green",shape="box"];1349 -> 1501[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1349 -> 1502[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1499[label="showSigned0 vx72 vx73 (Float (Pos Zero) (Pos (Succ vx74))) MyTrue vx75",fontsize=16,color="black",shape="box"];1499 -> 1518[label="",style="solid", color="black", weight=3]; 12.71/5.07 1500[label="vx73 (Float (Pos Zero) (Pos (Succ vx74))) vx75",fontsize=16,color="green",shape="box"];1500 -> 1519[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1500 -> 1520[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1517[label="vx88 (Float (Pos Zero) (Neg (Succ vx89))) vx90",fontsize=16,color="green",shape="box"];1517 -> 1643[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1517 -> 1644[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1641[label="showParen (gtMyInt vx97 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))) (vx98 (negateFloat (Float (Neg (Succ vx99)) (Pos (Succ vx100)))))) vx101",fontsize=16,color="black",shape="box"];1641 -> 1656[label="",style="solid", color="black", weight=3]; 12.71/5.07 1642[label="vx98 (Float (Neg (Succ vx99)) (Pos (Succ vx100))) vx101",fontsize=16,color="green",shape="box"];1642 -> 1657[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1642 -> 1658[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1654 -> 1640[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1654[label="showSigned0 vx115 vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) MyFalse vx119",fontsize=16,color="magenta"];1655[label="vx116 (Float (Neg (Succ vx117)) (Neg (Succ vx118))) vx119",fontsize=16,color="green",shape="box"];1655 -> 1780[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1655 -> 1781[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1792 -> 1799[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1792[label="showParen (gtMyInt vx127 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))) (vx128 (negateFloat (Float (Neg Zero) (Pos (Succ vx129)))))) vx130",fontsize=16,color="magenta"];1792 -> 1800[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1792 -> 1801[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1792 -> 1802[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1792 -> 1803[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1792 -> 1804[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1793[label="vx128 (Float (Neg Zero) (Pos (Succ vx129))) vx130",fontsize=16,color="green",shape="box"];1793 -> 1807[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1793 -> 1808[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1805 -> 1798[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1805[label="showSigned0 vx143 vx144 (Float (Neg Zero) (Neg (Succ vx145))) MyFalse vx146",fontsize=16,color="magenta"];1806[label="vx144 (Float (Neg Zero) (Neg (Succ vx145))) vx146",fontsize=16,color="green",shape="box"];1806 -> 1814[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1806 -> 1815[label="",style="dashed", color="green", weight=3]; 12.71/5.07 962 -> 734[label="",style="dashed", color="red", weight=0]; 12.71/5.07 962[label="primMulNat vx510000 (Succ Zero)",fontsize=16,color="magenta"];962 -> 1074[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1350[label="primPlusNat (Succ vx15500) Zero",fontsize=16,color="black",shape="box"];1350 -> 1503[label="",style="solid", color="black", weight=3]; 12.71/5.07 1351[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1351 -> 1504[label="",style="solid", color="black", weight=3]; 12.71/5.07 1352 -> 1505[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1352[label="showParen (gtMyInt vx42 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))) (vx43 (negateFloat (Float (Pos (Succ vx44)) (Pos (Succ vx45)))))) vx46",fontsize=16,color="magenta"];1352 -> 1506[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1352 -> 1507[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1352 -> 1508[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1352 -> 1509[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1352 -> 1510[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1352 -> 1511[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1353[label="Float (Pos (Succ vx44)) (Pos (Succ vx45))",fontsize=16,color="green",shape="box"];1354[label="vx46",fontsize=16,color="green",shape="box"];1501[label="Float (Pos (Succ vx62)) (Neg (Succ vx63))",fontsize=16,color="green",shape="box"];1502[label="vx64",fontsize=16,color="green",shape="box"];1518 -> 1645[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1518[label="showParen (gtMyInt vx72 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))) (vx73 (negateFloat (Float (Pos Zero) (Pos (Succ vx74)))))) vx75",fontsize=16,color="magenta"];1518 -> 1646[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1518 -> 1647[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1518 -> 1648[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1518 -> 1649[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1518 -> 1650[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1519[label="Float (Pos Zero) (Pos (Succ vx74))",fontsize=16,color="green",shape="box"];1520[label="vx75",fontsize=16,color="green",shape="box"];1643[label="Float (Pos Zero) (Neg (Succ vx89))",fontsize=16,color="green",shape="box"];1644[label="vx90",fontsize=16,color="green",shape="box"];1656 -> 1782[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1656[label="showParen0 (pt (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))) (vx98 (negateFloat (Float (Neg (Succ vx99)) (Pos (Succ vx100)))))) (gtMyInt vx97 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) vx101",fontsize=16,color="magenta"];1656 -> 1783[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1656 -> 1784[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1656 -> 1785[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1656 -> 1786[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1656 -> 1787[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1656 -> 1788[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1657[label="Float (Neg (Succ vx99)) (Pos (Succ vx100))",fontsize=16,color="green",shape="box"];1658[label="vx101",fontsize=16,color="green",shape="box"];1780[label="Float (Neg (Succ vx117)) (Neg (Succ vx118))",fontsize=16,color="green",shape="box"];1781[label="vx119",fontsize=16,color="green",shape="box"];1800[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];1801[label="vx130",fontsize=16,color="green",shape="box"];1802[label="vx128",fontsize=16,color="green",shape="box"];1803[label="vx129",fontsize=16,color="green",shape="box"];1804[label="vx127",fontsize=16,color="green",shape="box"];1799[label="showParen (gtMyInt vx205 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) vx209",fontsize=16,color="black",shape="triangle"];1799 -> 1809[label="",style="solid", color="black", weight=3]; 12.71/5.07 1807[label="Float (Neg Zero) (Pos (Succ vx129))",fontsize=16,color="green",shape="box"];1808[label="vx130",fontsize=16,color="green",shape="box"];1814[label="Float (Neg Zero) (Neg (Succ vx145))",fontsize=16,color="green",shape="box"];1815[label="vx146",fontsize=16,color="green",shape="box"];1074[label="vx510000",fontsize=16,color="green",shape="box"];1503[label="Succ vx15500",fontsize=16,color="green",shape="box"];1504[label="Zero",fontsize=16,color="green",shape="box"];1506[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];1507[label="vx42",fontsize=16,color="green",shape="box"];1508[label="vx43",fontsize=16,color="green",shape="box"];1509[label="vx44",fontsize=16,color="green",shape="box"];1510[label="vx45",fontsize=16,color="green",shape="box"];1511[label="vx46",fontsize=16,color="green",shape="box"];1505[label="showParen (gtMyInt vx175 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) vx180",fontsize=16,color="black",shape="triangle"];1505 -> 1521[label="",style="solid", color="black", weight=3]; 12.71/5.07 1646[label="vx74",fontsize=16,color="green",shape="box"];1647[label="vx72",fontsize=16,color="green",shape="box"];1648[label="vx73",fontsize=16,color="green",shape="box"];1649[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];1650[label="vx75",fontsize=16,color="green",shape="box"];1645[label="showParen (gtMyInt vx187 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) vx191",fontsize=16,color="black",shape="triangle"];1645 -> 1659[label="",style="solid", color="black", weight=3]; 12.71/5.07 1783[label="vx99",fontsize=16,color="green",shape="box"];1784[label="vx97",fontsize=16,color="green",shape="box"];1785[label="vx101",fontsize=16,color="green",shape="box"];1786[label="vx100",fontsize=16,color="green",shape="box"];1787[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];1788[label="vx98",fontsize=16,color="green",shape="box"];1782[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (gtMyInt vx202 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) vx203",fontsize=16,color="black",shape="triangle"];1782 -> 1794[label="",style="solid", color="black", weight=3]; 12.71/5.07 1809[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (gtMyInt vx205 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) vx209",fontsize=16,color="black",shape="box"];1809 -> 1816[label="",style="solid", color="black", weight=3]; 12.71/5.07 1521[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (gtMyInt vx175 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) vx180",fontsize=16,color="black",shape="box"];1521 -> 1660[label="",style="solid", color="black", weight=3]; 12.71/5.07 1659[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (gtMyInt vx187 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) vx191",fontsize=16,color="black",shape="box"];1659 -> 1795[label="",style="solid", color="black", weight=3]; 12.71/5.07 1794[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (compareMyInt vx202 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="black",shape="box"];1794 -> 1810[label="",style="solid", color="black", weight=3]; 12.71/5.07 1816[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (compareMyInt vx205 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="black",shape="box"];1816 -> 1825[label="",style="solid", color="black", weight=3]; 12.71/5.07 1660[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (compareMyInt vx175 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="black",shape="box"];1660 -> 1796[label="",style="solid", color="black", weight=3]; 12.71/5.07 1795[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (compareMyInt vx187 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="black",shape="box"];1795 -> 1811[label="",style="solid", color="black", weight=3]; 12.71/5.07 1810[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt vx202 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="burlywood",shape="box"];2103[label="vx202/Pos vx2020",fontsize=10,color="white",style="solid",shape="box"];1810 -> 2103[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2103 -> 1817[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2104[label="vx202/Neg vx2020",fontsize=10,color="white",style="solid",shape="box"];1810 -> 2104[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2104 -> 1818[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1825[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt vx205 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="burlywood",shape="box"];2105[label="vx205/Pos vx2050",fontsize=10,color="white",style="solid",shape="box"];1825 -> 2105[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2105 -> 1838[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2106[label="vx205/Neg vx2050",fontsize=10,color="white",style="solid",shape="box"];1825 -> 2106[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2106 -> 1839[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1796[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt vx175 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="burlywood",shape="box"];2107[label="vx175/Pos vx1750",fontsize=10,color="white",style="solid",shape="box"];1796 -> 2107[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2107 -> 1812[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2108[label="vx175/Neg vx1750",fontsize=10,color="white",style="solid",shape="box"];1796 -> 2108[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2108 -> 1813[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1811[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt vx187 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="burlywood",shape="box"];2109[label="vx187/Pos vx1870",fontsize=10,color="white",style="solid",shape="box"];1811 -> 2109[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2109 -> 1819[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2110[label="vx187/Neg vx1870",fontsize=10,color="white",style="solid",shape="box"];1811 -> 2110[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2110 -> 1820[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1817[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt (Pos vx2020) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="burlywood",shape="box"];2111[label="vx2020/Succ vx20200",fontsize=10,color="white",style="solid",shape="box"];1817 -> 2111[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2111 -> 1826[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2112[label="vx2020/Zero",fontsize=10,color="white",style="solid",shape="box"];1817 -> 2112[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2112 -> 1827[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1818[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt (Neg vx2020) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="burlywood",shape="box"];2113[label="vx2020/Succ vx20200",fontsize=10,color="white",style="solid",shape="box"];1818 -> 2113[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2113 -> 1828[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2114[label="vx2020/Zero",fontsize=10,color="white",style="solid",shape="box"];1818 -> 2114[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2114 -> 1829[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1838[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt (Pos vx2050) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="burlywood",shape="box"];2115[label="vx2050/Succ vx20500",fontsize=10,color="white",style="solid",shape="box"];1838 -> 2115[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2115 -> 1851[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2116[label="vx2050/Zero",fontsize=10,color="white",style="solid",shape="box"];1838 -> 2116[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2116 -> 1852[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1839[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt (Neg vx2050) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="burlywood",shape="box"];2117[label="vx2050/Succ vx20500",fontsize=10,color="white",style="solid",shape="box"];1839 -> 2117[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2117 -> 1853[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2118[label="vx2050/Zero",fontsize=10,color="white",style="solid",shape="box"];1839 -> 2118[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2118 -> 1854[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1812[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt (Pos vx1750) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="burlywood",shape="box"];2119[label="vx1750/Succ vx17500",fontsize=10,color="white",style="solid",shape="box"];1812 -> 2119[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2119 -> 1821[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2120[label="vx1750/Zero",fontsize=10,color="white",style="solid",shape="box"];1812 -> 2120[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2120 -> 1822[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1813[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt (Neg vx1750) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="burlywood",shape="box"];2121[label="vx1750/Succ vx17500",fontsize=10,color="white",style="solid",shape="box"];1813 -> 2121[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2121 -> 1823[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2122[label="vx1750/Zero",fontsize=10,color="white",style="solid",shape="box"];1813 -> 2122[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2122 -> 1824[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1819[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt (Pos vx1870) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="burlywood",shape="box"];2123[label="vx1870/Succ vx18700",fontsize=10,color="white",style="solid",shape="box"];1819 -> 2123[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2123 -> 1830[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2124[label="vx1870/Zero",fontsize=10,color="white",style="solid",shape="box"];1819 -> 2124[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2124 -> 1831[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1820[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt (Neg vx1870) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="burlywood",shape="box"];2125[label="vx1870/Succ vx18700",fontsize=10,color="white",style="solid",shape="box"];1820 -> 2125[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2125 -> 1832[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2126[label="vx1870/Zero",fontsize=10,color="white",style="solid",shape="box"];1820 -> 2126[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2126 -> 1833[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1826[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt (Pos (Succ vx20200)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="black",shape="box"];1826 -> 1840[label="",style="solid", color="black", weight=3]; 12.71/5.07 1827[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="black",shape="box"];1827 -> 1841[label="",style="solid", color="black", weight=3]; 12.71/5.07 1828[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt (Neg (Succ vx20200)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="black",shape="box"];1828 -> 1842[label="",style="solid", color="black", weight=3]; 12.71/5.07 1829[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx203",fontsize=16,color="black",shape="box"];1829 -> 1843[label="",style="solid", color="black", weight=3]; 12.71/5.07 1851[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt (Pos (Succ vx20500)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="black",shape="box"];1851 -> 1863[label="",style="solid", color="black", weight=3]; 12.71/5.07 1852[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="black",shape="box"];1852 -> 1864[label="",style="solid", color="black", weight=3]; 12.71/5.07 1853[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt (Neg (Succ vx20500)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="black",shape="box"];1853 -> 1865[label="",style="solid", color="black", weight=3]; 12.71/5.07 1854[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx209",fontsize=16,color="black",shape="box"];1854 -> 1866[label="",style="solid", color="black", weight=3]; 12.71/5.07 1821[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt (Pos (Succ vx17500)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="black",shape="box"];1821 -> 1834[label="",style="solid", color="black", weight=3]; 12.71/5.07 1822[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="black",shape="box"];1822 -> 1835[label="",style="solid", color="black", weight=3]; 12.71/5.07 1823[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt (Neg (Succ vx17500)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="black",shape="box"];1823 -> 1836[label="",style="solid", color="black", weight=3]; 12.71/5.07 1824[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx180",fontsize=16,color="black",shape="box"];1824 -> 1837[label="",style="solid", color="black", weight=3]; 12.71/5.07 1830[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt (Pos (Succ vx18700)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="black",shape="box"];1830 -> 1844[label="",style="solid", color="black", weight=3]; 12.71/5.07 1831[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="black",shape="box"];1831 -> 1845[label="",style="solid", color="black", weight=3]; 12.71/5.07 1832[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt (Neg (Succ vx18700)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="black",shape="box"];1832 -> 1846[label="",style="solid", color="black", weight=3]; 12.71/5.07 1833[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))) GT) vx191",fontsize=16,color="black",shape="box"];1833 -> 1847[label="",style="solid", color="black", weight=3]; 12.71/5.07 1840[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat (Succ vx20200) (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx203",fontsize=16,color="black",shape="box"];1840 -> 1855[label="",style="solid", color="black", weight=3]; 12.71/5.07 1841 -> 1856[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1841[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx203",fontsize=16,color="magenta"];1841 -> 1857[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1841 -> 1858[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1841 -> 1859[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1841 -> 1860[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1841 -> 1861[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1841 -> 1862[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1842[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering LT GT) vx203",fontsize=16,color="black",shape="triangle"];1842 -> 1867[label="",style="solid", color="black", weight=3]; 12.71/5.07 1843 -> 1842[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1843[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering LT GT) vx203",fontsize=16,color="magenta"];1863[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat (Succ vx20500) (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx209",fontsize=16,color="black",shape="box"];1863 -> 1877[label="",style="solid", color="black", weight=3]; 12.71/5.07 1864 -> 1878[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1864[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx209",fontsize=16,color="magenta"];1864 -> 1879[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1864 -> 1880[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1864 -> 1881[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1864 -> 1882[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1864 -> 1883[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1865[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering LT GT) vx209",fontsize=16,color="black",shape="triangle"];1865 -> 1884[label="",style="solid", color="black", weight=3]; 12.71/5.07 1866 -> 1865[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1866[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering LT GT) vx209",fontsize=16,color="magenta"];1834[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat (Succ vx17500) (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx180",fontsize=16,color="black",shape="box"];1834 -> 1848[label="",style="solid", color="black", weight=3]; 12.71/5.07 1835[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx180",fontsize=16,color="black",shape="box"];1835 -> 1849[label="",style="solid", color="black", weight=3]; 12.71/5.07 1836[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering LT GT) vx180",fontsize=16,color="black",shape="triangle"];1836 -> 1850[label="",style="solid", color="black", weight=3]; 12.71/5.07 1837 -> 1836[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1837[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering LT GT) vx180",fontsize=16,color="magenta"];1844[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat (Succ vx18700) (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx191",fontsize=16,color="black",shape="box"];1844 -> 1868[label="",style="solid", color="black", weight=3]; 12.71/5.07 1845[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) GT) vx191",fontsize=16,color="black",shape="box"];1845 -> 1869[label="",style="solid", color="black", weight=3]; 12.71/5.07 1846[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering LT GT) vx191",fontsize=16,color="black",shape="triangle"];1846 -> 1870[label="",style="solid", color="black", weight=3]; 12.71/5.07 1847 -> 1846[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1847[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering LT GT) vx191",fontsize=16,color="magenta"];1855[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat vx20200 (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx203",fontsize=16,color="burlywood",shape="box"];2127[label="vx20200/Succ vx202000",fontsize=10,color="white",style="solid",shape="box"];1855 -> 2127[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2127 -> 1871[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2128[label="vx20200/Zero",fontsize=10,color="white",style="solid",shape="box"];1855 -> 2128[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2128 -> 1872[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1857[label="vx198",fontsize=16,color="green",shape="box"];1858[label="Succ (Succ (Succ (Succ (Succ Zero))))",fontsize=16,color="green",shape="box"];1859[label="vx201",fontsize=16,color="green",shape="box"];1860[label="vx199",fontsize=16,color="green",shape="box"];1861[label="vx200",fontsize=16,color="green",shape="box"];1862[label="vx203",fontsize=16,color="green",shape="box"];1856[label="showParen0 (pt (showChar (Char (Pos (Succ vx211)))) (vx212 (negateFloat (Float (Neg (Succ vx213)) (Pos (Succ vx214)))))) (esEsOrdering (primCmpNat Zero (Succ vx215)) GT) vx216",fontsize=16,color="black",shape="triangle"];1856 -> 1873[label="",style="solid", color="black", weight=3]; 12.71/5.07 1867[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) MyFalse vx203",fontsize=16,color="black",shape="box"];1867 -> 1885[label="",style="solid", color="black", weight=3]; 12.71/5.07 1877[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat vx20500 (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx209",fontsize=16,color="burlywood",shape="box"];2129[label="vx20500/Succ vx205000",fontsize=10,color="white",style="solid",shape="box"];1877 -> 2129[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2129 -> 1886[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2130[label="vx20500/Zero",fontsize=10,color="white",style="solid",shape="box"];1877 -> 2130[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2130 -> 1887[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1879[label="vx207",fontsize=16,color="green",shape="box"];1880[label="vx206",fontsize=16,color="green",shape="box"];1881[label="vx209",fontsize=16,color="green",shape="box"];1882[label="vx208",fontsize=16,color="green",shape="box"];1883[label="Succ (Succ (Succ (Succ (Succ Zero))))",fontsize=16,color="green",shape="box"];1878[label="showParen0 (pt (showChar (Char (Pos (Succ vx218)))) (vx219 (negateFloat (Float (Neg Zero) (Pos (Succ vx220)))))) (esEsOrdering (primCmpNat Zero (Succ vx221)) GT) vx222",fontsize=16,color="black",shape="triangle"];1878 -> 1888[label="",style="solid", color="black", weight=3]; 12.71/5.07 1884[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) MyFalse vx209",fontsize=16,color="black",shape="box"];1884 -> 1902[label="",style="solid", color="black", weight=3]; 12.71/5.07 1848[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat vx17500 (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx180",fontsize=16,color="burlywood",shape="box"];2131[label="vx17500/Succ vx175000",fontsize=10,color="white",style="solid",shape="box"];1848 -> 2131[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2131 -> 1874[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2132[label="vx17500/Zero",fontsize=10,color="white",style="solid",shape="box"];1848 -> 2132[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2132 -> 1875[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1849 -> 1836[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1849[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering LT GT) vx180",fontsize=16,color="magenta"];1850[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) MyFalse vx180",fontsize=16,color="black",shape="box"];1850 -> 1876[label="",style="solid", color="black", weight=3]; 12.71/5.07 1868[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat vx18700 (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx191",fontsize=16,color="burlywood",shape="box"];2133[label="vx18700/Succ vx187000",fontsize=10,color="white",style="solid",shape="box"];1868 -> 2133[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2133 -> 1889[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2134[label="vx18700/Zero",fontsize=10,color="white",style="solid",shape="box"];1868 -> 2134[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2134 -> 1890[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1869 -> 1846[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1869[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering LT GT) vx191",fontsize=16,color="magenta"];1870[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) MyFalse vx191",fontsize=16,color="black",shape="box"];1870 -> 1891[label="",style="solid", color="black", weight=3]; 12.71/5.07 1871[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat (Succ vx202000) (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx203",fontsize=16,color="black",shape="box"];1871 -> 1892[label="",style="solid", color="black", weight=3]; 12.71/5.07 1872[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx203",fontsize=16,color="black",shape="box"];1872 -> 1893[label="",style="solid", color="black", weight=3]; 12.71/5.07 1873 -> 1842[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1873[label="showParen0 (pt (showChar (Char (Pos (Succ vx211)))) (vx212 (negateFloat (Float (Neg (Succ vx213)) (Pos (Succ vx214)))))) (esEsOrdering LT GT) vx216",fontsize=16,color="magenta"];1873 -> 1894[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1873 -> 1895[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1873 -> 1896[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1873 -> 1897[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1873 -> 1898[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1885[label="pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201))))) vx203",fontsize=16,color="black",shape="box"];1885 -> 1903[label="",style="solid", color="black", weight=3]; 12.71/5.07 1886[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat (Succ vx205000) (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx209",fontsize=16,color="black",shape="box"];1886 -> 1904[label="",style="solid", color="black", weight=3]; 12.71/5.07 1887[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx209",fontsize=16,color="black",shape="box"];1887 -> 1905[label="",style="solid", color="black", weight=3]; 12.71/5.07 1888 -> 1865[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1888[label="showParen0 (pt (showChar (Char (Pos (Succ vx218)))) (vx219 (negateFloat (Float (Neg Zero) (Pos (Succ vx220)))))) (esEsOrdering LT GT) vx222",fontsize=16,color="magenta"];1888 -> 1906[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1888 -> 1907[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1888 -> 1908[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1888 -> 1909[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1902[label="pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208))))) vx209",fontsize=16,color="black",shape="box"];1902 -> 1918[label="",style="solid", color="black", weight=3]; 12.71/5.07 1874[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat (Succ vx175000) (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx180",fontsize=16,color="black",shape="box"];1874 -> 1899[label="",style="solid", color="black", weight=3]; 12.71/5.07 1875[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx180",fontsize=16,color="black",shape="box"];1875 -> 1900[label="",style="solid", color="black", weight=3]; 12.71/5.07 1876[label="pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179))))) vx180",fontsize=16,color="black",shape="box"];1876 -> 1901[label="",style="solid", color="black", weight=3]; 12.71/5.07 1889[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat (Succ vx187000) (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx191",fontsize=16,color="black",shape="box"];1889 -> 1910[label="",style="solid", color="black", weight=3]; 12.71/5.07 1890[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero)))))) GT) vx191",fontsize=16,color="black",shape="box"];1890 -> 1911[label="",style="solid", color="black", weight=3]; 12.71/5.07 1891[label="pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190))))) vx191",fontsize=16,color="black",shape="box"];1891 -> 1912[label="",style="solid", color="black", weight=3]; 12.71/5.07 1892[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat vx202000 (Succ (Succ (Succ (Succ Zero))))) GT) vx203",fontsize=16,color="burlywood",shape="box"];2135[label="vx202000/Succ vx2020000",fontsize=10,color="white",style="solid",shape="box"];1892 -> 2135[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2135 -> 1913[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2136[label="vx202000/Zero",fontsize=10,color="white",style="solid",shape="box"];1892 -> 2136[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2136 -> 1914[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1893 -> 1842[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1893[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering LT GT) vx203",fontsize=16,color="magenta"];1894[label="vx213",fontsize=16,color="green",shape="box"];1895[label="vx216",fontsize=16,color="green",shape="box"];1896[label="vx214",fontsize=16,color="green",shape="box"];1897[label="vx211",fontsize=16,color="green",shape="box"];1898[label="vx212",fontsize=16,color="green",shape="box"];1903[label="showChar (Char (Pos (Succ vx198))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))) vx203)",fontsize=16,color="black",shape="box"];1903 -> 1919[label="",style="solid", color="black", weight=3]; 12.71/5.07 1904[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat vx205000 (Succ (Succ (Succ (Succ Zero))))) GT) vx209",fontsize=16,color="burlywood",shape="box"];2137[label="vx205000/Succ vx2050000",fontsize=10,color="white",style="solid",shape="box"];1904 -> 2137[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2137 -> 1920[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2138[label="vx205000/Zero",fontsize=10,color="white",style="solid",shape="box"];1904 -> 2138[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2138 -> 1921[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1905 -> 1865[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1905[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering LT GT) vx209",fontsize=16,color="magenta"];1906[label="vx218",fontsize=16,color="green",shape="box"];1907[label="vx222",fontsize=16,color="green",shape="box"];1908[label="vx219",fontsize=16,color="green",shape="box"];1909[label="vx220",fontsize=16,color="green",shape="box"];1918[label="showChar (Char (Pos (Succ vx206))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))) vx209)",fontsize=16,color="black",shape="box"];1918 -> 1930[label="",style="solid", color="black", weight=3]; 12.71/5.07 1899[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat vx175000 (Succ (Succ (Succ (Succ Zero))))) GT) vx180",fontsize=16,color="burlywood",shape="box"];2139[label="vx175000/Succ vx1750000",fontsize=10,color="white",style="solid",shape="box"];1899 -> 2139[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2139 -> 1915[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2140[label="vx175000/Zero",fontsize=10,color="white",style="solid",shape="box"];1899 -> 2140[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2140 -> 1916[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1900 -> 1836[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1900[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering LT GT) vx180",fontsize=16,color="magenta"];1901[label="showChar (Char (Pos (Succ vx176))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))) vx180)",fontsize=16,color="black",shape="box"];1901 -> 1917[label="",style="solid", color="black", weight=3]; 12.71/5.07 1910[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat vx187000 (Succ (Succ (Succ (Succ Zero))))) GT) vx191",fontsize=16,color="burlywood",shape="box"];2141[label="vx187000/Succ vx1870000",fontsize=10,color="white",style="solid",shape="box"];1910 -> 2141[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2141 -> 1922[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2142[label="vx187000/Zero",fontsize=10,color="white",style="solid",shape="box"];1910 -> 2142[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2142 -> 1923[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1911 -> 1846[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1911[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering LT GT) vx191",fontsize=16,color="magenta"];1912[label="showChar (Char (Pos (Succ vx188))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))) vx191)",fontsize=16,color="black",shape="box"];1912 -> 1924[label="",style="solid", color="black", weight=3]; 12.71/5.07 1913[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat (Succ vx2020000) (Succ (Succ (Succ (Succ Zero))))) GT) vx203",fontsize=16,color="black",shape="box"];1913 -> 1925[label="",style="solid", color="black", weight=3]; 12.71/5.07 1914[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ Zero))))) GT) vx203",fontsize=16,color="black",shape="box"];1914 -> 1926[label="",style="solid", color="black", weight=3]; 12.71/5.07 1919[label="Cons (Char (Pos (Succ vx198))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))) vx203)",fontsize=16,color="green",shape="box"];1919 -> 1931[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1920[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat (Succ vx2050000) (Succ (Succ (Succ (Succ Zero))))) GT) vx209",fontsize=16,color="black",shape="box"];1920 -> 1932[label="",style="solid", color="black", weight=3]; 12.71/5.07 1921[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ Zero))))) GT) vx209",fontsize=16,color="black",shape="box"];1921 -> 1933[label="",style="solid", color="black", weight=3]; 12.71/5.07 1930[label="Cons (Char (Pos (Succ vx206))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))) vx209)",fontsize=16,color="green",shape="box"];1930 -> 1943[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1915[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat (Succ vx1750000) (Succ (Succ (Succ (Succ Zero))))) GT) vx180",fontsize=16,color="black",shape="box"];1915 -> 1927[label="",style="solid", color="black", weight=3]; 12.71/5.07 1916[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ Zero))))) GT) vx180",fontsize=16,color="black",shape="box"];1916 -> 1928[label="",style="solid", color="black", weight=3]; 12.71/5.07 1917[label="Cons (Char (Pos (Succ vx176))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))) vx180)",fontsize=16,color="green",shape="box"];1917 -> 1929[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1922[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat (Succ vx1870000) (Succ (Succ (Succ (Succ Zero))))) GT) vx191",fontsize=16,color="black",shape="box"];1922 -> 1934[label="",style="solid", color="black", weight=3]; 12.71/5.07 1923[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ (Succ Zero))))) GT) vx191",fontsize=16,color="black",shape="box"];1923 -> 1935[label="",style="solid", color="black", weight=3]; 12.71/5.07 1924[label="Cons (Char (Pos (Succ vx188))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))) vx191)",fontsize=16,color="green",shape="box"];1924 -> 1936[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1925[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat vx2020000 (Succ (Succ (Succ Zero)))) GT) vx203",fontsize=16,color="burlywood",shape="box"];2143[label="vx2020000/Succ vx20200000",fontsize=10,color="white",style="solid",shape="box"];1925 -> 2143[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2143 -> 1937[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2144[label="vx2020000/Zero",fontsize=10,color="white",style="solid",shape="box"];1925 -> 2144[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2144 -> 1938[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1926 -> 1842[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1926[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering LT GT) vx203",fontsize=16,color="magenta"];1931[label="vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))) vx203",fontsize=16,color="green",shape="box"];1931 -> 1944[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1931 -> 1945[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1932[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat vx2050000 (Succ (Succ (Succ Zero)))) GT) vx209",fontsize=16,color="burlywood",shape="box"];2145[label="vx2050000/Succ vx20500000",fontsize=10,color="white",style="solid",shape="box"];1932 -> 2145[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2145 -> 1946[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2146[label="vx2050000/Zero",fontsize=10,color="white",style="solid",shape="box"];1932 -> 2146[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2146 -> 1947[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1933 -> 1865[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1933[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering LT GT) vx209",fontsize=16,color="magenta"];1943[label="vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))) vx209",fontsize=16,color="green",shape="box"];1943 -> 1957[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1943 -> 1958[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1927[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat vx1750000 (Succ (Succ (Succ Zero)))) GT) vx180",fontsize=16,color="burlywood",shape="box"];2147[label="vx1750000/Succ vx17500000",fontsize=10,color="white",style="solid",shape="box"];1927 -> 2147[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2147 -> 1939[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2148[label="vx1750000/Zero",fontsize=10,color="white",style="solid",shape="box"];1927 -> 2148[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2148 -> 1940[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1928 -> 1836[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1928[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering LT GT) vx180",fontsize=16,color="magenta"];1929[label="vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))) vx180",fontsize=16,color="green",shape="box"];1929 -> 1941[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1929 -> 1942[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1934[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat vx1870000 (Succ (Succ (Succ Zero)))) GT) vx191",fontsize=16,color="burlywood",shape="box"];2149[label="vx1870000/Succ vx18700000",fontsize=10,color="white",style="solid",shape="box"];1934 -> 2149[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2149 -> 1948[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2150[label="vx1870000/Zero",fontsize=10,color="white",style="solid",shape="box"];1934 -> 2150[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2150 -> 1949[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1935 -> 1846[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1935[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering LT GT) vx191",fontsize=16,color="magenta"];1936[label="vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))) vx191",fontsize=16,color="green",shape="box"];1936 -> 1950[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1936 -> 1951[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1937[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat (Succ vx20200000) (Succ (Succ (Succ Zero)))) GT) vx203",fontsize=16,color="black",shape="box"];1937 -> 1952[label="",style="solid", color="black", weight=3]; 12.71/5.07 1938[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ Zero)))) GT) vx203",fontsize=16,color="black",shape="box"];1938 -> 1953[label="",style="solid", color="black", weight=3]; 12.71/5.07 1944[label="negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))",fontsize=16,color="black",shape="triangle"];1944 -> 1959[label="",style="solid", color="black", weight=3]; 12.71/5.07 1945[label="vx203",fontsize=16,color="green",shape="box"];1946[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat (Succ vx20500000) (Succ (Succ (Succ Zero)))) GT) vx209",fontsize=16,color="black",shape="box"];1946 -> 1960[label="",style="solid", color="black", weight=3]; 12.71/5.07 1947[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ Zero)))) GT) vx209",fontsize=16,color="black",shape="box"];1947 -> 1961[label="",style="solid", color="black", weight=3]; 12.71/5.07 1957[label="negateFloat (Float (Neg Zero) (Pos (Succ vx208)))",fontsize=16,color="black",shape="triangle"];1957 -> 1982[label="",style="solid", color="black", weight=3]; 12.71/5.07 1958[label="vx209",fontsize=16,color="green",shape="box"];1939[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat (Succ vx17500000) (Succ (Succ (Succ Zero)))) GT) vx180",fontsize=16,color="black",shape="box"];1939 -> 1954[label="",style="solid", color="black", weight=3]; 12.71/5.07 1940[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ Zero)))) GT) vx180",fontsize=16,color="black",shape="box"];1940 -> 1955[label="",style="solid", color="black", weight=3]; 12.71/5.07 1941[label="negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))",fontsize=16,color="black",shape="triangle"];1941 -> 1956[label="",style="solid", color="black", weight=3]; 12.71/5.07 1942[label="vx180",fontsize=16,color="green",shape="box"];1948[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat (Succ vx18700000) (Succ (Succ (Succ Zero)))) GT) vx191",fontsize=16,color="black",shape="box"];1948 -> 1962[label="",style="solid", color="black", weight=3]; 12.71/5.07 1949[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat Zero (Succ (Succ (Succ Zero)))) GT) vx191",fontsize=16,color="black",shape="box"];1949 -> 1963[label="",style="solid", color="black", weight=3]; 12.71/5.07 1950[label="negateFloat (Float (Pos Zero) (Pos (Succ vx190)))",fontsize=16,color="black",shape="triangle"];1950 -> 1964[label="",style="solid", color="black", weight=3]; 12.71/5.07 1951[label="vx191",fontsize=16,color="green",shape="box"];1952 -> 1965[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1952[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering (primCmpNat vx20200000 (Succ (Succ Zero))) GT) vx203",fontsize=16,color="magenta"];1952 -> 1966[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1953 -> 1842[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1953[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 (negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))))) (esEsOrdering LT GT) vx203",fontsize=16,color="magenta"];1959[label="primNegFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))",fontsize=16,color="black",shape="box"];1959 -> 1983[label="",style="solid", color="black", weight=3]; 12.71/5.07 1960 -> 1965[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1960[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering (primCmpNat vx20500000 (Succ (Succ Zero))) GT) vx209",fontsize=16,color="magenta"];1960 -> 1967[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1960 -> 1968[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1960 -> 1969[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1960 -> 1970[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1960 -> 1971[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1961 -> 1865[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1961[label="showParen0 (pt (showChar (Char (Pos (Succ vx206)))) (vx207 (negateFloat (Float (Neg Zero) (Pos (Succ vx208)))))) (esEsOrdering LT GT) vx209",fontsize=16,color="magenta"];1982[label="primNegFloat (Float (Neg Zero) (Pos (Succ vx208)))",fontsize=16,color="black",shape="box"];1982 -> 1988[label="",style="solid", color="black", weight=3]; 12.71/5.07 1954 -> 1965[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1954[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering (primCmpNat vx17500000 (Succ (Succ Zero))) GT) vx180",fontsize=16,color="magenta"];1954 -> 1972[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1954 -> 1973[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1954 -> 1974[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1954 -> 1975[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1954 -> 1976[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1955 -> 1836[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1955[label="showParen0 (pt (showChar (Char (Pos (Succ vx176)))) (vx177 (negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))))) (esEsOrdering LT GT) vx180",fontsize=16,color="magenta"];1956[label="primNegFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))",fontsize=16,color="black",shape="box"];1956 -> 1984[label="",style="solid", color="black", weight=3]; 12.71/5.07 1962 -> 1965[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1962[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering (primCmpNat vx18700000 (Succ (Succ Zero))) GT) vx191",fontsize=16,color="magenta"];1962 -> 1977[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1962 -> 1978[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1962 -> 1979[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1962 -> 1980[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1962 -> 1981[label="",style="dashed", color="magenta", weight=3]; 12.71/5.07 1963 -> 1846[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1963[label="showParen0 (pt (showChar (Char (Pos (Succ vx188)))) (vx189 (negateFloat (Float (Pos Zero) (Pos (Succ vx190)))))) (esEsOrdering LT GT) vx191",fontsize=16,color="magenta"];1964[label="primNegFloat (Float (Pos Zero) (Pos (Succ vx190)))",fontsize=16,color="black",shape="box"];1964 -> 1985[label="",style="solid", color="black", weight=3]; 12.71/5.07 1966 -> 1944[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1966[label="negateFloat (Float (Neg (Succ vx200)) (Pos (Succ vx201)))",fontsize=16,color="magenta"];1965[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat vx20200000 (Succ (Succ Zero))) GT) vx203",fontsize=16,color="burlywood",shape="triangle"];2151[label="vx20200000/Succ vx202000000",fontsize=10,color="white",style="solid",shape="box"];1965 -> 2151[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2151 -> 1986[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 2152[label="vx20200000/Zero",fontsize=10,color="white",style="solid",shape="box"];1965 -> 2152[label="",style="solid", color="burlywood", weight=9]; 12.71/5.07 2152 -> 1987[label="",style="solid", color="burlywood", weight=3]; 12.71/5.07 1983[label="Float (negateMyInt (Neg (Succ vx200))) (Pos (Succ vx201))",fontsize=16,color="green",shape="box"];1983 -> 1989[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1967 -> 1957[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1967[label="negateFloat (Float (Neg Zero) (Pos (Succ vx208)))",fontsize=16,color="magenta"];1968[label="vx20500000",fontsize=16,color="green",shape="box"];1969[label="vx209",fontsize=16,color="green",shape="box"];1970[label="vx206",fontsize=16,color="green",shape="box"];1971[label="vx207",fontsize=16,color="green",shape="box"];1988[label="Float (negateMyInt (Neg Zero)) (Pos (Succ vx208))",fontsize=16,color="green",shape="box"];1988 -> 1994[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1972 -> 1941[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1972[label="negateFloat (Float (Pos (Succ vx178)) (Pos (Succ vx179)))",fontsize=16,color="magenta"];1973[label="vx17500000",fontsize=16,color="green",shape="box"];1974[label="vx180",fontsize=16,color="green",shape="box"];1975[label="vx176",fontsize=16,color="green",shape="box"];1976[label="vx177",fontsize=16,color="green",shape="box"];1984[label="Float (negateMyInt (Pos (Succ vx178))) (Pos (Succ vx179))",fontsize=16,color="green",shape="box"];1984 -> 1990[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1977 -> 1950[label="",style="dashed", color="red", weight=0]; 12.71/5.07 1977[label="negateFloat (Float (Pos Zero) (Pos (Succ vx190)))",fontsize=16,color="magenta"];1978[label="vx18700000",fontsize=16,color="green",shape="box"];1979[label="vx191",fontsize=16,color="green",shape="box"];1980[label="vx188",fontsize=16,color="green",shape="box"];1981[label="vx189",fontsize=16,color="green",shape="box"];1985[label="Float (negateMyInt (Pos Zero)) (Pos (Succ vx190))",fontsize=16,color="green",shape="box"];1985 -> 1991[label="",style="dashed", color="green", weight=3]; 12.71/5.07 1986[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat (Succ vx202000000) (Succ (Succ Zero))) GT) vx203",fontsize=16,color="black",shape="box"];1986 -> 1992[label="",style="solid", color="black", weight=3]; 12.71/5.07 1987[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat Zero (Succ (Succ Zero))) GT) vx203",fontsize=16,color="black",shape="box"];1987 -> 1993[label="",style="solid", color="black", weight=3]; 12.71/5.07 1989[label="negateMyInt (Neg (Succ vx200))",fontsize=16,color="black",shape="box"];1989 -> 1995[label="",style="solid", color="black", weight=3]; 12.71/5.07 1994[label="negateMyInt (Neg Zero)",fontsize=16,color="black",shape="box"];1994 -> 2001[label="",style="solid", color="black", weight=3]; 12.71/5.07 1990[label="negateMyInt (Pos (Succ vx178))",fontsize=16,color="black",shape="box"];1990 -> 1996[label="",style="solid", color="black", weight=3]; 12.71/5.07 1991[label="negateMyInt (Pos Zero)",fontsize=16,color="black",shape="box"];1991 -> 1997[label="",style="solid", color="black", weight=3]; 12.71/5.07 1992[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat vx202000000 (Succ Zero)) GT) vx203",fontsize=16,color="burlywood",shape="box"];2153[label="vx202000000/Succ vx2020000000",fontsize=10,color="white",style="solid",shape="box"];1992 -> 2153[label="",style="solid", color="burlywood", weight=9]; 12.71/5.08 2153 -> 1998[label="",style="solid", color="burlywood", weight=3]; 12.71/5.08 2154[label="vx202000000/Zero",fontsize=10,color="white",style="solid",shape="box"];1992 -> 2154[label="",style="solid", color="burlywood", weight=9]; 12.71/5.08 2154 -> 1999[label="",style="solid", color="burlywood", weight=3]; 12.71/5.08 1993[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering LT GT) vx203",fontsize=16,color="black",shape="triangle"];1993 -> 2000[label="",style="solid", color="black", weight=3]; 12.71/5.08 1995[label="primNegInt (Neg (Succ vx200))",fontsize=16,color="black",shape="box"];1995 -> 2002[label="",style="solid", color="black", weight=3]; 12.71/5.08 2001[label="primNegInt (Neg Zero)",fontsize=16,color="black",shape="box"];2001 -> 2008[label="",style="solid", color="black", weight=3]; 12.71/5.08 1996[label="primNegInt (Pos (Succ vx178))",fontsize=16,color="black",shape="box"];1996 -> 2003[label="",style="solid", color="black", weight=3]; 12.71/5.08 1997[label="primNegInt (Pos Zero)",fontsize=16,color="black",shape="box"];1997 -> 2004[label="",style="solid", color="black", weight=3]; 12.71/5.08 1998[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat (Succ vx2020000000) (Succ Zero)) GT) vx203",fontsize=16,color="black",shape="box"];1998 -> 2005[label="",style="solid", color="black", weight=3]; 12.71/5.08 1999[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat Zero (Succ Zero)) GT) vx203",fontsize=16,color="black",shape="box"];1999 -> 2006[label="",style="solid", color="black", weight=3]; 12.71/5.08 2000[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) MyFalse vx203",fontsize=16,color="black",shape="triangle"];2000 -> 2007[label="",style="solid", color="black", weight=3]; 12.71/5.08 2002[label="Pos (Succ vx200)",fontsize=16,color="green",shape="box"];2008[label="Pos Zero",fontsize=16,color="green",shape="box"];2003[label="Neg (Succ vx178)",fontsize=16,color="green",shape="box"];2004[label="Neg Zero",fontsize=16,color="green",shape="box"];2005[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat vx2020000000 Zero) GT) vx203",fontsize=16,color="burlywood",shape="box"];2155[label="vx2020000000/Succ vx20200000000",fontsize=10,color="white",style="solid",shape="box"];2005 -> 2155[label="",style="solid", color="burlywood", weight=9]; 12.71/5.08 2155 -> 2009[label="",style="solid", color="burlywood", weight=3]; 12.71/5.08 2156[label="vx2020000000/Zero",fontsize=10,color="white",style="solid",shape="box"];2005 -> 2156[label="",style="solid", color="burlywood", weight=9]; 12.71/5.08 2156 -> 2010[label="",style="solid", color="burlywood", weight=3]; 12.71/5.08 2006 -> 1993[label="",style="dashed", color="red", weight=0]; 12.71/5.08 2006[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering LT GT) vx203",fontsize=16,color="magenta"];2007[label="pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223) vx203",fontsize=16,color="black",shape="box"];2007 -> 2011[label="",style="solid", color="black", weight=3]; 12.71/5.08 2009[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat (Succ vx20200000000) Zero) GT) vx203",fontsize=16,color="black",shape="box"];2009 -> 2012[label="",style="solid", color="black", weight=3]; 12.71/5.08 2010[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering (primCmpNat Zero Zero) GT) vx203",fontsize=16,color="black",shape="box"];2010 -> 2013[label="",style="solid", color="black", weight=3]; 12.71/5.08 2011[label="showChar (Char (Pos (Succ vx198))) (vx199 vx223 vx203)",fontsize=16,color="black",shape="box"];2011 -> 2014[label="",style="solid", color="black", weight=3]; 12.71/5.08 2012[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering GT GT) vx203",fontsize=16,color="black",shape="box"];2012 -> 2015[label="",style="solid", color="black", weight=3]; 12.71/5.08 2013[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (esEsOrdering EQ GT) vx203",fontsize=16,color="black",shape="box"];2013 -> 2016[label="",style="solid", color="black", weight=3]; 12.71/5.08 2014[label="Cons (Char (Pos (Succ vx198))) (vx199 vx223 vx203)",fontsize=16,color="green",shape="box"];2014 -> 2017[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2015[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) MyTrue vx203",fontsize=16,color="black",shape="box"];2015 -> 2018[label="",style="solid", color="black", weight=3]; 12.71/5.08 2016 -> 2000[label="",style="dashed", color="red", weight=0]; 12.71/5.08 2016[label="showParen0 (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) MyFalse vx203",fontsize=16,color="magenta"];2017[label="vx199 vx223 vx203",fontsize=16,color="green",shape="box"];2017 -> 2019[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2017 -> 2020[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2018 -> 2027[label="",style="dashed", color="red", weight=0]; 12.71/5.08 2018[label="pt (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))) (pt (pt (showChar (Char (Pos (Succ vx198)))) (vx199 vx223)) (showChar (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))) vx203",fontsize=16,color="magenta"];2018 -> 2028[label="",style="dashed", color="magenta", weight=3]; 12.71/5.08 2018 -> 2029[label="",style="dashed", color="magenta", weight=3]; 12.71/5.08 2018 -> 2030[label="",style="dashed", color="magenta", weight=3]; 12.71/5.08 2018 -> 2031[label="",style="dashed", color="magenta", weight=3]; 12.71/5.08 2018 -> 2032[label="",style="dashed", color="magenta", weight=3]; 12.71/5.08 2018 -> 2033[label="",style="dashed", color="magenta", weight=3]; 12.71/5.08 2019[label="vx223",fontsize=16,color="green",shape="box"];2020[label="vx203",fontsize=16,color="green",shape="box"];2028[label="vx223",fontsize=16,color="green",shape="box"];2029[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];2030[label="vx199",fontsize=16,color="green",shape="box"];2031[label="vx203",fontsize=16,color="green",shape="box"];2032[label="vx198",fontsize=16,color="green",shape="box"];2033[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];2027[label="pt (showChar (Char (Pos (Succ vx231)))) (pt (pt (showChar (Char (Pos (Succ vx232)))) (vx233 vx234)) (showChar (Char (Pos (Succ vx235))))) vx236",fontsize=16,color="black",shape="triangle"];2027 -> 2040[label="",style="solid", color="black", weight=3]; 12.71/5.08 2040[label="showChar (Char (Pos (Succ vx231))) (pt (pt (showChar (Char (Pos (Succ vx232)))) (vx233 vx234)) (showChar (Char (Pos (Succ vx235)))) vx236)",fontsize=16,color="black",shape="box"];2040 -> 2041[label="",style="solid", color="black", weight=3]; 12.71/5.08 2041[label="Cons (Char (Pos (Succ vx231))) (pt (pt (showChar (Char (Pos (Succ vx232)))) (vx233 vx234)) (showChar (Char (Pos (Succ vx235)))) vx236)",fontsize=16,color="green",shape="box"];2041 -> 2042[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2042[label="pt (pt (showChar (Char (Pos (Succ vx232)))) (vx233 vx234)) (showChar (Char (Pos (Succ vx235)))) vx236",fontsize=16,color="black",shape="box"];2042 -> 2043[label="",style="solid", color="black", weight=3]; 12.71/5.08 2043[label="pt (showChar (Char (Pos (Succ vx232)))) (vx233 vx234) (showChar (Char (Pos (Succ vx235))) vx236)",fontsize=16,color="black",shape="box"];2043 -> 2044[label="",style="solid", color="black", weight=3]; 12.71/5.08 2044[label="showChar (Char (Pos (Succ vx232))) (vx233 vx234 (showChar (Char (Pos (Succ vx235))) vx236))",fontsize=16,color="black",shape="box"];2044 -> 2045[label="",style="solid", color="black", weight=3]; 12.71/5.08 2045[label="Cons (Char (Pos (Succ vx232))) (vx233 vx234 (showChar (Char (Pos (Succ vx235))) vx236))",fontsize=16,color="green",shape="box"];2045 -> 2046[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2046[label="vx233 vx234 (showChar (Char (Pos (Succ vx235))) vx236)",fontsize=16,color="green",shape="box"];2046 -> 2047[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2046 -> 2048[label="",style="dashed", color="green", weight=3]; 12.71/5.08 2047[label="vx234",fontsize=16,color="green",shape="box"];2048[label="showChar (Char (Pos (Succ vx235))) vx236",fontsize=16,color="black",shape="box"];2048 -> 2049[label="",style="solid", color="black", weight=3]; 12.71/5.08 2049[label="Cons (Char (Pos (Succ vx235))) vx236",fontsize=16,color="green",shape="box"];} 12.71/5.08 12.71/5.08 ---------------------------------------- 12.71/5.08 12.71/5.08 (6) 12.71/5.08 Obligation: 12.71/5.08 Q DP problem: 12.71/5.08 The TRS P consists of the following rules: 12.71/5.08 12.71/5.08 new_primMulNat(Main.Succ(vx510000)) -> new_primMulNat(vx510000) 12.71/5.08 12.71/5.08 R is empty. 12.71/5.08 Q is empty. 12.71/5.08 We have to consider all minimal (P,Q,R)-chains. 12.71/5.08 ---------------------------------------- 12.71/5.08 12.71/5.08 (7) QDPSizeChangeProof (EQUIVALENT) 12.71/5.08 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 12.71/5.08 12.71/5.08 From the DPs we obtained the following set of size-change graphs: 12.71/5.08 *new_primMulNat(Main.Succ(vx510000)) -> new_primMulNat(vx510000) 12.71/5.08 The graph contains the following edges 1 > 1 12.71/5.08 12.71/5.08 12.71/5.08 ---------------------------------------- 12.71/5.08 12.71/5.08 (8) 12.71/5.08 YES 12.90/5.25 EOF