10.40/4.29 YES 12.35/4.84 proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs 12.35/4.84 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 12.35/4.84 12.35/4.84 12.35/4.84 H-Termination with start terms of the given HASKELL could be proven: 12.35/4.84 12.35/4.84 (0) HASKELL 12.35/4.84 (1) IFR [EQUIVALENT, 0 ms] 12.35/4.84 (2) HASKELL 12.35/4.84 (3) BR [EQUIVALENT, 0 ms] 12.35/4.84 (4) HASKELL 12.35/4.84 (5) COR [EQUIVALENT, 0 ms] 12.35/4.84 (6) HASKELL 12.35/4.84 (7) NumRed [SOUND, 0 ms] 12.35/4.84 (8) HASKELL 12.35/4.84 (9) Narrow [SOUND, 0 ms] 12.35/4.84 (10) QDP 12.35/4.84 (11) QDPSizeChangeProof [EQUIVALENT, 0 ms] 12.35/4.84 (12) YES 12.35/4.84 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (0) 12.35/4.84 Obligation: 12.35/4.84 mainModule Main 12.35/4.84 module Main where { 12.35/4.84 import qualified Prelude; 12.35/4.84 } 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (1) IFR (EQUIVALENT) 12.35/4.84 If Reductions: 12.35/4.84 The following If expression 12.35/4.84 "if x < 0 then showParen (p > 6) ((showChar '-') . showPos (`negate` x)) else showPos x" 12.35/4.84 is transformed to 12.35/4.84 "showSigned0 p showPos x True = showParen (p > 6) ((showChar '-') . showPos (`negate` x)); 12.35/4.84 showSigned0 p showPos x False = showPos x; 12.35/4.84 " 12.35/4.84 The following If expression 12.35/4.84 "if b then (showChar '(') . p . showChar ')' else p" 12.35/4.84 is transformed to 12.35/4.84 "showParen0 p True = (showChar '(') . p . showChar ')'; 12.35/4.84 showParen0 p False = p; 12.35/4.84 " 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (2) 12.35/4.84 Obligation: 12.35/4.84 mainModule Main 12.35/4.84 module Main where { 12.35/4.84 import qualified Prelude; 12.35/4.84 } 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (3) BR (EQUIVALENT) 12.35/4.84 Replaced joker patterns by fresh variables and removed binding patterns. 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (4) 12.35/4.84 Obligation: 12.35/4.84 mainModule Main 12.35/4.84 module Main where { 12.35/4.84 import qualified Prelude; 12.35/4.84 } 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (5) COR (EQUIVALENT) 12.35/4.84 Cond Reductions: 12.35/4.84 The following Function with conditions 12.35/4.84 "undefined |Falseundefined; 12.35/4.84 " 12.35/4.84 is transformed to 12.35/4.84 "undefined = undefined1; 12.35/4.84 " 12.35/4.84 "undefined0 True = undefined; 12.35/4.84 " 12.35/4.84 "undefined1 = undefined0 False; 12.35/4.84 " 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (6) 12.35/4.84 Obligation: 12.35/4.84 mainModule Main 12.35/4.84 module Main where { 12.35/4.84 import qualified Prelude; 12.35/4.84 } 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (7) NumRed (SOUND) 12.35/4.84 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (8) 12.35/4.84 Obligation: 12.35/4.84 mainModule Main 12.35/4.84 module Main where { 12.35/4.84 import qualified Prelude; 12.35/4.84 } 12.35/4.84 12.35/4.84 ---------------------------------------- 12.35/4.84 12.35/4.84 (9) Narrow (SOUND) 12.35/4.84 Haskell To QDPs 12.35/4.84 12.35/4.84 digraph dp_graph { 12.35/4.84 node [outthreshold=100, inthreshold=100];1[label="showSigned",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 12.35/4.84 3[label="showSigned vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 12.35/4.84 4[label="showSigned vx3 vx4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3]; 12.35/4.84 5[label="showSigned vx3 vx4 vx5",fontsize=16,color="grey",shape="box"];5 -> 6[label="",style="dashed", color="grey", weight=3]; 12.35/4.84 6[label="showSigned vx3 vx4 vx5 vx6",fontsize=16,color="black",shape="triangle"];6 -> 7[label="",style="solid", color="black", weight=3]; 12.35/4.84 7[label="showSigned0 vx4 vx3 vx5 (vx5 < fromInt (Pos Zero)) vx6",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 12.35/4.84 8[label="showSigned0 vx4 vx3 vx5 (compare vx5 (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 12.35/4.84 9[label="showSigned0 vx4 vx3 vx5 (primCmpFloat vx5 (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1518[label="vx5/Float vx50 vx51",fontsize=10,color="white",style="solid",shape="box"];9 -> 1518[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1518 -> 10[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 10[label="showSigned0 vx4 vx3 (Float vx50 vx51) (primCmpFloat (Float vx50 vx51) (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1519[label="vx51/Pos vx510",fontsize=10,color="white",style="solid",shape="box"];10 -> 1519[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1519 -> 11[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1520[label="vx51/Neg vx510",fontsize=10,color="white",style="solid",shape="box"];10 -> 1520[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1520 -> 12[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 11[label="showSigned0 vx4 vx3 (Float vx50 (Pos vx510)) (primCmpFloat (Float vx50 (Pos vx510)) (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3]; 12.35/4.84 12[label="showSigned0 vx4 vx3 (Float vx50 (Neg vx510)) (primCmpFloat (Float vx50 (Neg vx510)) (fromInt (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3]; 12.35/4.84 13[label="showSigned0 vx4 vx3 (Float vx50 (Pos vx510)) (primCmpFloat (Float vx50 (Pos vx510)) (primIntToFloat (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3]; 12.35/4.84 14[label="showSigned0 vx4 vx3 (Float vx50 (Neg vx510)) (primCmpFloat (Float vx50 (Neg vx510)) (primIntToFloat (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];14 -> 16[label="",style="solid", color="black", weight=3]; 12.35/4.84 15[label="showSigned0 vx4 vx3 (Float vx50 (Pos vx510)) (primCmpFloat (Float vx50 (Pos vx510)) (Float (Pos Zero) (Pos (Succ Zero))) == LT) vx6",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3]; 12.35/4.84 16[label="showSigned0 vx4 vx3 (Float vx50 (Neg vx510)) (primCmpFloat (Float vx50 (Neg vx510)) (Float (Pos Zero) (Pos (Succ Zero))) == LT) vx6",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3]; 12.35/4.84 17[label="showSigned0 vx4 vx3 (Float vx50 (Pos vx510)) (compare (vx50 * Pos (Succ Zero)) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3]; 12.35/4.84 18[label="showSigned0 vx4 vx3 (Float vx50 (Neg vx510)) (compare (vx50 * Neg (Succ Zero)) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3]; 12.35/4.84 19[label="showSigned0 vx4 vx3 (Float vx50 (Pos vx510)) (primCmpInt (vx50 * Pos (Succ Zero)) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3]; 12.35/4.84 20[label="showSigned0 vx4 vx3 (Float vx50 (Neg vx510)) (primCmpInt (vx50 * Neg (Succ Zero)) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];20 -> 22[label="",style="solid", color="black", weight=3]; 12.35/4.84 21[label="showSigned0 vx4 vx3 (Float vx50 (Pos vx510)) (primCmpInt (primMulInt vx50 (Pos (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1521[label="vx50/Pos vx500",fontsize=10,color="white",style="solid",shape="box"];21 -> 1521[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1521 -> 23[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1522[label="vx50/Neg vx500",fontsize=10,color="white",style="solid",shape="box"];21 -> 1522[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1522 -> 24[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 22[label="showSigned0 vx4 vx3 (Float vx50 (Neg vx510)) (primCmpInt (primMulInt vx50 (Neg (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1523[label="vx50/Pos vx500",fontsize=10,color="white",style="solid",shape="box"];22 -> 1523[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1523 -> 25[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1524[label="vx50/Neg vx500",fontsize=10,color="white",style="solid",shape="box"];22 -> 1524[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1524 -> 26[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 23[label="showSigned0 vx4 vx3 (Float (Pos vx500) (Pos vx510)) (primCmpInt (primMulInt (Pos vx500) (Pos (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3]; 12.35/4.84 24[label="showSigned0 vx4 vx3 (Float (Neg vx500) (Pos vx510)) (primCmpInt (primMulInt (Neg vx500) (Pos (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3]; 12.35/4.84 25[label="showSigned0 vx4 vx3 (Float (Pos vx500) (Neg vx510)) (primCmpInt (primMulInt (Pos vx500) (Neg (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];25 -> 29[label="",style="solid", color="black", weight=3]; 12.35/4.84 26[label="showSigned0 vx4 vx3 (Float (Neg vx500) (Neg vx510)) (primCmpInt (primMulInt (Neg vx500) (Neg (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];26 -> 30[label="",style="solid", color="black", weight=3]; 12.35/4.84 27[label="showSigned0 vx4 vx3 (Float (Pos vx500) (Pos vx510)) (primCmpInt (Pos (primMulNat vx500 (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1525[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];27 -> 1525[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1525 -> 31[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1526[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];27 -> 1526[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1526 -> 32[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 28[label="showSigned0 vx4 vx3 (Float (Neg vx500) (Pos vx510)) (primCmpInt (Neg (primMulNat vx500 (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1527[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];28 -> 1527[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1527 -> 33[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1528[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];28 -> 1528[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1528 -> 34[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 29[label="showSigned0 vx4 vx3 (Float (Pos vx500) (Neg vx510)) (primCmpInt (Neg (primMulNat vx500 (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1529[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];29 -> 1529[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1529 -> 35[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1530[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 1530[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1530 -> 36[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 30[label="showSigned0 vx4 vx3 (Float (Neg vx500) (Neg vx510)) (primCmpInt (Pos (primMulNat vx500 (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1531[label="vx500/Succ vx5000",fontsize=10,color="white",style="solid",shape="box"];30 -> 1531[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1531 -> 37[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1532[label="vx500/Zero",fontsize=10,color="white",style="solid",shape="box"];30 -> 1532[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1532 -> 38[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 31[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos vx510)) (primCmpInt (Pos (primMulNat (Succ vx5000) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];31 -> 39[label="",style="solid", color="black", weight=3]; 12.35/4.84 32[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos vx510)) (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];32 -> 40[label="",style="solid", color="black", weight=3]; 12.35/4.84 33[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos vx510)) (primCmpInt (Neg (primMulNat (Succ vx5000) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];33 -> 41[label="",style="solid", color="black", weight=3]; 12.35/4.84 34[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos vx510)) (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];34 -> 42[label="",style="solid", color="black", weight=3]; 12.35/4.84 35[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg vx510)) (primCmpInt (Neg (primMulNat (Succ vx5000) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];35 -> 43[label="",style="solid", color="black", weight=3]; 12.35/4.84 36[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg vx510)) (primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];36 -> 44[label="",style="solid", color="black", weight=3]; 12.35/4.84 37[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg vx510)) (primCmpInt (Pos (primMulNat (Succ vx5000) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];37 -> 45[label="",style="solid", color="black", weight=3]; 12.35/4.84 38[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg vx510)) (primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];38 -> 46[label="",style="solid", color="black", weight=3]; 12.35/4.84 39 -> 659[label="",style="dashed", color="red", weight=0]; 12.35/4.84 39[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Pos vx510)) (primCmpInt (Pos (primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="magenta"];39 -> 660[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 39 -> 661[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 39 -> 662[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 39 -> 663[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 39 -> 664[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 39 -> 665[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 40[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos vx510)) (primCmpInt (Pos Zero) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];40 -> 49[label="",style="solid", color="black", weight=3]; 12.35/4.84 41 -> 885[label="",style="dashed", color="red", weight=0]; 12.35/4.84 41[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Pos vx510)) (primCmpInt (Neg (primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="magenta"];41 -> 886[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 41 -> 887[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 41 -> 888[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 41 -> 889[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 41 -> 890[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 41 -> 891[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 42[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos vx510)) (primCmpInt (Neg Zero) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];42 -> 52[label="",style="solid", color="black", weight=3]; 12.35/4.84 43 -> 1111[label="",style="dashed", color="red", weight=0]; 12.35/4.84 43[label="showSigned0 vx4 vx3 (Float (Pos (Succ vx5000)) (Neg vx510)) (primCmpInt (Neg (primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="magenta"];43 -> 1112[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 43 -> 1113[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 43 -> 1114[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 43 -> 1115[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 43 -> 1116[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 43 -> 1117[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 44[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg vx510)) (primCmpInt (Neg Zero) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];44 -> 55[label="",style="solid", color="black", weight=3]; 12.35/4.84 45 -> 479[label="",style="dashed", color="red", weight=0]; 12.35/4.84 45[label="showSigned0 vx4 vx3 (Float (Neg (Succ vx5000)) (Neg vx510)) (primCmpInt (Pos (primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero))) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="magenta"];45 -> 480[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 45 -> 481[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 45 -> 482[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 45 -> 483[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 45 -> 484[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 45 -> 485[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 46[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg vx510)) (primCmpInt (Pos Zero) (Pos vx510 * Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];46 -> 58[label="",style="solid", color="black", weight=3]; 12.35/4.84 660[label="vx510",fontsize=16,color="green",shape="box"];661[label="vx6",fontsize=16,color="green",shape="box"];662[label="vx5000",fontsize=16,color="green",shape="box"];663[label="vx4",fontsize=16,color="green",shape="box"];664 -> 652[label="",style="dashed", color="red", weight=0]; 12.35/4.84 664[label="primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];664 -> 848[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 665[label="vx3",fontsize=16,color="green",shape="box"];659[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos vx94) (Pos vx53 * Pos Zero) == LT) vx54",fontsize=16,color="burlywood",shape="triangle"];1533[label="vx94/Succ vx940",fontsize=10,color="white",style="solid",shape="box"];659 -> 1533[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1533 -> 849[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1534[label="vx94/Zero",fontsize=10,color="white",style="solid",shape="box"];659 -> 1534[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1534 -> 850[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 49[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos vx510)) (primCmpInt (Pos Zero) (primMulInt (Pos vx510) (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];49 -> 61[label="",style="solid", color="black", weight=3]; 12.35/4.84 886[label="vx5000",fontsize=16,color="green",shape="box"];887 -> 652[label="",style="dashed", color="red", weight=0]; 12.35/4.84 887[label="primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];887 -> 1074[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 888[label="vx510",fontsize=16,color="green",shape="box"];889[label="vx6",fontsize=16,color="green",shape="box"];890[label="vx3",fontsize=16,color="green",shape="box"];891[label="vx4",fontsize=16,color="green",shape="box"];885[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg vx115) (Pos vx59 * Pos Zero) == LT) vx60",fontsize=16,color="burlywood",shape="triangle"];1535[label="vx115/Succ vx1150",fontsize=10,color="white",style="solid",shape="box"];885 -> 1535[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1535 -> 1075[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1536[label="vx115/Zero",fontsize=10,color="white",style="solid",shape="box"];885 -> 1536[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1536 -> 1076[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 52[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos vx510)) (primCmpInt (Neg Zero) (primMulInt (Pos vx510) (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];52 -> 64[label="",style="solid", color="black", weight=3]; 12.35/4.84 1112[label="vx3",fontsize=16,color="green",shape="box"];1113[label="vx6",fontsize=16,color="green",shape="box"];1114[label="vx5000",fontsize=16,color="green",shape="box"];1115 -> 652[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1115[label="primPlusNat (primMulNat vx5000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1115 -> 1300[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1116[label="vx510",fontsize=16,color="green",shape="box"];1117[label="vx4",fontsize=16,color="green",shape="box"];1111[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg vx135) (Pos vx65 * Pos Zero) == LT) vx66",fontsize=16,color="burlywood",shape="triangle"];1537[label="vx135/Succ vx1350",fontsize=10,color="white",style="solid",shape="box"];1111 -> 1537[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1537 -> 1301[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1538[label="vx135/Zero",fontsize=10,color="white",style="solid",shape="box"];1111 -> 1538[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1538 -> 1302[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 55[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg vx510)) (primCmpInt (Neg Zero) (primMulInt (Pos vx510) (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];55 -> 67[label="",style="solid", color="black", weight=3]; 12.35/4.84 480[label="primMulNat vx5000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1539[label="vx5000/Succ vx50000",fontsize=10,color="white",style="solid",shape="box"];480 -> 1539[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1539 -> 636[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1540[label="vx5000/Zero",fontsize=10,color="white",style="solid",shape="box"];480 -> 1540[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1540 -> 637[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 481[label="vx6",fontsize=16,color="green",shape="box"];482[label="vx4",fontsize=16,color="green",shape="box"];483[label="vx510",fontsize=16,color="green",shape="box"];484[label="vx5000",fontsize=16,color="green",shape="box"];485[label="vx3",fontsize=16,color="green",shape="box"];479[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (primPlusNat vx84 (Succ Zero))) (Pos vx83 * Pos Zero) == LT) vx85",fontsize=16,color="burlywood",shape="triangle"];1541[label="vx84/Succ vx840",fontsize=10,color="white",style="solid",shape="box"];479 -> 1541[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1541 -> 638[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1542[label="vx84/Zero",fontsize=10,color="white",style="solid",shape="box"];479 -> 1542[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1542 -> 639[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 58[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg vx510)) (primCmpInt (Pos Zero) (primMulInt (Pos vx510) (Pos Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];58 -> 70[label="",style="solid", color="black", weight=3]; 12.35/4.84 848 -> 480[label="",style="dashed", color="red", weight=0]; 12.35/4.84 848[label="primMulNat vx5000 (Succ Zero)",fontsize=16,color="magenta"];848 -> 857[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 652[label="primPlusNat vx93 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1543[label="vx93/Succ vx930",fontsize=10,color="white",style="solid",shape="box"];652 -> 1543[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1543 -> 657[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1544[label="vx93/Zero",fontsize=10,color="white",style="solid",shape="box"];652 -> 1544[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1544 -> 658[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 849[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos (Succ vx940)) (Pos vx53 * Pos Zero) == LT) vx54",fontsize=16,color="black",shape="box"];849 -> 858[label="",style="solid", color="black", weight=3]; 12.35/4.84 850[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos Zero) (Pos vx53 * Pos Zero) == LT) vx54",fontsize=16,color="black",shape="box"];850 -> 859[label="",style="solid", color="black", weight=3]; 12.35/4.84 61[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos vx510)) (primCmpInt (Pos Zero) (Pos (primMulNat vx510 Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1545[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];61 -> 1545[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1545 -> 74[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1546[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];61 -> 1546[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1546 -> 75[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1074 -> 480[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1074[label="primMulNat vx5000 (Succ Zero)",fontsize=16,color="magenta"];1075[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg (Succ vx1150)) (Pos vx59 * Pos Zero) == LT) vx60",fontsize=16,color="black",shape="box"];1075 -> 1087[label="",style="solid", color="black", weight=3]; 12.35/4.84 1076[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg Zero) (Pos vx59 * Pos Zero) == LT) vx60",fontsize=16,color="black",shape="box"];1076 -> 1088[label="",style="solid", color="black", weight=3]; 12.35/4.84 64[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos vx510)) (primCmpInt (Neg Zero) (Pos (primMulNat vx510 Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1547[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];64 -> 1547[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1547 -> 79[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1548[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];64 -> 1548[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1548 -> 80[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1300 -> 480[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1300[label="primMulNat vx5000 (Succ Zero)",fontsize=16,color="magenta"];1300 -> 1312[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1301[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg (Succ vx1350)) (Pos vx65 * Pos Zero) == LT) vx66",fontsize=16,color="black",shape="box"];1301 -> 1313[label="",style="solid", color="black", weight=3]; 12.35/4.84 1302[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg Zero) (Pos vx65 * Pos Zero) == LT) vx66",fontsize=16,color="black",shape="box"];1302 -> 1314[label="",style="solid", color="black", weight=3]; 12.35/4.84 67[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg vx510)) (primCmpInt (Neg Zero) (Pos (primMulNat vx510 Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1549[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];67 -> 1549[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1549 -> 84[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1550[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];67 -> 1550[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1550 -> 85[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 636[label="primMulNat (Succ vx50000) (Succ Zero)",fontsize=16,color="black",shape="box"];636 -> 642[label="",style="solid", color="black", weight=3]; 12.35/4.84 637[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];637 -> 643[label="",style="solid", color="black", weight=3]; 12.35/4.84 638[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (primPlusNat (Succ vx840) (Succ Zero))) (Pos vx83 * Pos Zero) == LT) vx85",fontsize=16,color="black",shape="box"];638 -> 644[label="",style="solid", color="black", weight=3]; 12.35/4.84 639[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos vx83 * Pos Zero) == LT) vx85",fontsize=16,color="black",shape="box"];639 -> 645[label="",style="solid", color="black", weight=3]; 12.35/4.84 70[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg vx510)) (primCmpInt (Pos Zero) (Pos (primMulNat vx510 Zero)) == LT) vx6",fontsize=16,color="burlywood",shape="box"];1551[label="vx510/Succ vx5100",fontsize=10,color="white",style="solid",shape="box"];70 -> 1551[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1551 -> 89[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1552[label="vx510/Zero",fontsize=10,color="white",style="solid",shape="box"];70 -> 1552[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1552 -> 90[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 857[label="vx5000",fontsize=16,color="green",shape="box"];657[label="primPlusNat (Succ vx930) (Succ Zero)",fontsize=16,color="black",shape="box"];657 -> 853[label="",style="solid", color="black", weight=3]; 12.35/4.84 658[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];658 -> 854[label="",style="solid", color="black", weight=3]; 12.35/4.84 858[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos (Succ vx940)) (primMulInt (Pos vx53) (Pos Zero)) == LT) vx54",fontsize=16,color="black",shape="box"];858 -> 869[label="",style="solid", color="black", weight=3]; 12.35/4.84 859[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos Zero) (primMulInt (Pos vx53) (Pos Zero)) == LT) vx54",fontsize=16,color="black",shape="box"];859 -> 870[label="",style="solid", color="black", weight=3]; 12.35/4.84 74[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos (Succ vx5100))) (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx5100) Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];74 -> 94[label="",style="solid", color="black", weight=3]; 12.35/4.84 75[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];75 -> 95[label="",style="solid", color="black", weight=3]; 12.35/4.84 1087[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg (Succ vx1150)) (primMulInt (Pos vx59) (Pos Zero)) == LT) vx60",fontsize=16,color="black",shape="box"];1087 -> 1103[label="",style="solid", color="black", weight=3]; 12.35/4.84 1088[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg Zero) (primMulInt (Pos vx59) (Pos Zero)) == LT) vx60",fontsize=16,color="black",shape="box"];1088 -> 1104[label="",style="solid", color="black", weight=3]; 12.35/4.84 79[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos (Succ vx5100))) (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx5100) Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];79 -> 99[label="",style="solid", color="black", weight=3]; 12.35/4.84 80[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];80 -> 100[label="",style="solid", color="black", weight=3]; 12.35/4.84 1312[label="vx5000",fontsize=16,color="green",shape="box"];1313[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg (Succ vx1350)) (primMulInt (Pos vx65) (Pos Zero)) == LT) vx66",fontsize=16,color="black",shape="box"];1313 -> 1326[label="",style="solid", color="black", weight=3]; 12.35/4.84 1314[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg Zero) (primMulInt (Pos vx65) (Pos Zero)) == LT) vx66",fontsize=16,color="black",shape="box"];1314 -> 1327[label="",style="solid", color="black", weight=3]; 12.35/4.84 84[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg (Succ vx5100))) (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx5100) Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];84 -> 104[label="",style="solid", color="black", weight=3]; 12.35/4.84 85[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];85 -> 105[label="",style="solid", color="black", weight=3]; 12.35/4.84 642 -> 652[label="",style="dashed", color="red", weight=0]; 12.35/4.84 642[label="primPlusNat (primMulNat vx50000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];642 -> 653[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 643[label="Zero",fontsize=16,color="green",shape="box"];644[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (Succ (Succ (primPlusNat vx840 Zero)))) (Pos vx83 * Pos Zero) == LT) vx85",fontsize=16,color="black",shape="box"];644 -> 654[label="",style="solid", color="black", weight=3]; 12.35/4.84 645[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (Succ Zero)) (Pos vx83 * Pos Zero) == LT) vx85",fontsize=16,color="black",shape="box"];645 -> 655[label="",style="solid", color="black", weight=3]; 12.35/4.84 89[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg (Succ vx5100))) (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx5100) Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];89 -> 109[label="",style="solid", color="black", weight=3]; 12.35/4.84 90[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT) vx6",fontsize=16,color="black",shape="box"];90 -> 110[label="",style="solid", color="black", weight=3]; 12.35/4.84 853[label="Succ (Succ (primPlusNat vx930 Zero))",fontsize=16,color="green",shape="box"];853 -> 860[label="",style="dashed", color="green", weight=3]; 12.35/4.84 854[label="Succ Zero",fontsize=16,color="green",shape="box"];869[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos (Succ vx940)) (Pos (primMulNat vx53 Zero)) == LT) vx54",fontsize=16,color="black",shape="box"];869 -> 875[label="",style="solid", color="black", weight=3]; 12.35/4.84 870[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpInt (Pos Zero) (Pos (primMulNat vx53 Zero)) == LT) vx54",fontsize=16,color="burlywood",shape="box"];1553[label="vx53/Succ vx530",fontsize=10,color="white",style="solid",shape="box"];870 -> 1553[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1553 -> 876[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1554[label="vx53/Zero",fontsize=10,color="white",style="solid",shape="box"];870 -> 1554[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1554 -> 877[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 94[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos (Succ vx5100))) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];94 -> 115[label="",style="solid", color="black", weight=3]; 12.35/4.84 95[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];95 -> 116[label="",style="solid", color="black", weight=3]; 12.35/4.84 1103[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg (Succ vx1150)) (Pos (primMulNat vx59 Zero)) == LT) vx60",fontsize=16,color="black",shape="box"];1103 -> 1303[label="",style="solid", color="black", weight=3]; 12.35/4.84 1104[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (primCmpInt (Neg Zero) (Pos (primMulNat vx59 Zero)) == LT) vx60",fontsize=16,color="burlywood",shape="box"];1555[label="vx59/Succ vx590",fontsize=10,color="white",style="solid",shape="box"];1104 -> 1555[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1555 -> 1304[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1556[label="vx59/Zero",fontsize=10,color="white",style="solid",shape="box"];1104 -> 1556[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1556 -> 1305[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 99[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos (Succ vx5100))) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];99 -> 121[label="",style="solid", color="black", weight=3]; 12.35/4.84 100[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];100 -> 122[label="",style="solid", color="black", weight=3]; 12.35/4.84 1326[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg (Succ vx1350)) (Pos (primMulNat vx65 Zero)) == LT) vx66",fontsize=16,color="black",shape="box"];1326 -> 1331[label="",style="solid", color="black", weight=3]; 12.35/4.84 1327[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (primCmpInt (Neg Zero) (Pos (primMulNat vx65 Zero)) == LT) vx66",fontsize=16,color="burlywood",shape="box"];1557[label="vx65/Succ vx650",fontsize=10,color="white",style="solid",shape="box"];1327 -> 1557[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1557 -> 1332[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1558[label="vx65/Zero",fontsize=10,color="white",style="solid",shape="box"];1327 -> 1558[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1558 -> 1333[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 104[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg (Succ vx5100))) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];104 -> 127[label="",style="solid", color="black", weight=3]; 12.35/4.84 105[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];105 -> 128[label="",style="solid", color="black", weight=3]; 12.35/4.84 653 -> 480[label="",style="dashed", color="red", weight=0]; 12.35/4.84 653[label="primMulNat vx50000 (Succ Zero)",fontsize=16,color="magenta"];653 -> 656[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 654[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (Succ (Succ (primPlusNat vx840 Zero)))) (primMulInt (Pos vx83) (Pos Zero)) == LT) vx85",fontsize=16,color="black",shape="box"];654 -> 851[label="",style="solid", color="black", weight=3]; 12.35/4.84 655[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (Succ Zero)) (primMulInt (Pos vx83) (Pos Zero)) == LT) vx85",fontsize=16,color="black",shape="box"];655 -> 852[label="",style="solid", color="black", weight=3]; 12.35/4.84 109[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg (Succ vx5100))) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];109 -> 133[label="",style="solid", color="black", weight=3]; 12.35/4.84 110[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx6",fontsize=16,color="black",shape="box"];110 -> 134[label="",style="solid", color="black", weight=3]; 12.35/4.84 860[label="primPlusNat vx930 Zero",fontsize=16,color="burlywood",shape="triangle"];1559[label="vx930/Succ vx9300",fontsize=10,color="white",style="solid",shape="box"];860 -> 1559[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1559 -> 871[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1560[label="vx930/Zero",fontsize=10,color="white",style="solid",shape="box"];860 -> 1560[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1560 -> 872[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 875[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos vx53)) (primCmpNat (Succ vx940) (primMulNat vx53 Zero) == LT) vx54",fontsize=16,color="burlywood",shape="box"];1561[label="vx53/Succ vx530",fontsize=10,color="white",style="solid",shape="box"];875 -> 1561[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1561 -> 1077[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1562[label="vx53/Zero",fontsize=10,color="white",style="solid",shape="box"];875 -> 1562[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1562 -> 1078[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 876[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) (primCmpInt (Pos Zero) (Pos (primMulNat (Succ vx530) Zero)) == LT) vx54",fontsize=16,color="black",shape="box"];876 -> 1079[label="",style="solid", color="black", weight=3]; 12.35/4.84 877[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) (primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT) vx54",fontsize=16,color="black",shape="box"];877 -> 1080[label="",style="solid", color="black", weight=3]; 12.35/4.84 115[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos (Succ vx5100))) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];115 -> 139[label="",style="solid", color="black", weight=3]; 12.35/4.84 116[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];116 -> 140[label="",style="solid", color="black", weight=3]; 12.35/4.84 1303[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) (LT == LT) vx60",fontsize=16,color="black",shape="box"];1303 -> 1315[label="",style="solid", color="black", weight=3]; 12.35/4.84 1304[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos (Succ vx590))) (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx590) Zero)) == LT) vx60",fontsize=16,color="black",shape="box"];1304 -> 1316[label="",style="solid", color="black", weight=3]; 12.35/4.84 1305[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos Zero)) (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT) vx60",fontsize=16,color="black",shape="box"];1305 -> 1317[label="",style="solid", color="black", weight=3]; 12.35/4.84 121[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos (Succ vx5100))) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];121 -> 145[label="",style="solid", color="black", weight=3]; 12.35/4.84 122[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];122 -> 146[label="",style="solid", color="black", weight=3]; 12.35/4.84 1331[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) (LT == LT) vx66",fontsize=16,color="black",shape="box"];1331 -> 1341[label="",style="solid", color="black", weight=3]; 12.35/4.84 1332[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg (Succ vx650))) (primCmpInt (Neg Zero) (Pos (primMulNat (Succ vx650) Zero)) == LT) vx66",fontsize=16,color="black",shape="box"];1332 -> 1342[label="",style="solid", color="black", weight=3]; 12.35/4.84 1333[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg Zero)) (primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT) vx66",fontsize=16,color="black",shape="box"];1333 -> 1343[label="",style="solid", color="black", weight=3]; 12.35/4.84 127[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg (Succ vx5100))) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];127 -> 151[label="",style="solid", color="black", weight=3]; 12.35/4.84 128[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];128 -> 152[label="",style="solid", color="black", weight=3]; 12.35/4.84 656[label="vx50000",fontsize=16,color="green",shape="box"];851[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (Succ (Succ (primPlusNat vx840 Zero)))) (Pos (primMulNat vx83 Zero)) == LT) vx85",fontsize=16,color="black",shape="box"];851 -> 861[label="",style="solid", color="black", weight=3]; 12.35/4.84 852[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpInt (Pos (Succ Zero)) (Pos (primMulNat vx83 Zero)) == LT) vx85",fontsize=16,color="black",shape="box"];852 -> 862[label="",style="solid", color="black", weight=3]; 12.35/4.84 133[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg (Succ vx5100))) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];133 -> 157[label="",style="solid", color="black", weight=3]; 12.35/4.84 134[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) (EQ == LT) vx6",fontsize=16,color="black",shape="box"];134 -> 158[label="",style="solid", color="black", weight=3]; 12.35/4.84 871[label="primPlusNat (Succ vx9300) Zero",fontsize=16,color="black",shape="box"];871 -> 878[label="",style="solid", color="black", weight=3]; 12.35/4.84 872[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];872 -> 879[label="",style="solid", color="black", weight=3]; 12.35/4.84 1077[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) (primCmpNat (Succ vx940) (primMulNat (Succ vx530) Zero) == LT) vx54",fontsize=16,color="black",shape="box"];1077 -> 1089[label="",style="solid", color="black", weight=3]; 12.35/4.84 1078[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) (primCmpNat (Succ vx940) (primMulNat Zero Zero) == LT) vx54",fontsize=16,color="black",shape="box"];1078 -> 1090[label="",style="solid", color="black", weight=3]; 12.35/4.84 1079[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx54",fontsize=16,color="black",shape="box"];1079 -> 1091[label="",style="solid", color="black", weight=3]; 12.35/4.84 1080[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) (primCmpInt (Pos Zero) (Pos Zero) == LT) vx54",fontsize=16,color="black",shape="box"];1080 -> 1092[label="",style="solid", color="black", weight=3]; 12.35/4.84 139[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos (Succ vx5100))) False vx6",fontsize=16,color="black",shape="box"];139 -> 165[label="",style="solid", color="black", weight=3]; 12.35/4.84 140[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Pos Zero)) False vx6",fontsize=16,color="black",shape="box"];140 -> 166[label="",style="solid", color="black", weight=3]; 12.35/4.84 1315[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos vx59)) True vx60",fontsize=16,color="black",shape="box"];1315 -> 1328[label="",style="solid", color="black", weight=3]; 12.35/4.84 1316[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos (Succ vx590))) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx60",fontsize=16,color="black",shape="box"];1316 -> 1329[label="",style="solid", color="black", weight=3]; 12.35/4.84 1317[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos Zero)) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx60",fontsize=16,color="black",shape="box"];1317 -> 1330[label="",style="solid", color="black", weight=3]; 12.35/4.84 145[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos (Succ vx5100))) False vx6",fontsize=16,color="black",shape="box"];145 -> 172[label="",style="solid", color="black", weight=3]; 12.35/4.84 146[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Pos Zero)) False vx6",fontsize=16,color="black",shape="box"];146 -> 173[label="",style="solid", color="black", weight=3]; 12.35/4.84 1341[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg vx65)) True vx66",fontsize=16,color="black",shape="box"];1341 -> 1347[label="",style="solid", color="black", weight=3]; 12.35/4.84 1342[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg (Succ vx650))) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx66",fontsize=16,color="black",shape="box"];1342 -> 1348[label="",style="solid", color="black", weight=3]; 12.35/4.84 1343[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg Zero)) (primCmpInt (Neg Zero) (Pos Zero) == LT) vx66",fontsize=16,color="black",shape="box"];1343 -> 1349[label="",style="solid", color="black", weight=3]; 12.35/4.84 151[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg (Succ vx5100))) False vx6",fontsize=16,color="black",shape="box"];151 -> 179[label="",style="solid", color="black", weight=3]; 12.35/4.84 152[label="showSigned0 vx4 vx3 (Float (Pos Zero) (Neg Zero)) False vx6",fontsize=16,color="black",shape="box"];152 -> 180[label="",style="solid", color="black", weight=3]; 12.35/4.84 861 -> 873[label="",style="dashed", color="red", weight=0]; 12.35/4.84 861[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpNat (Succ (Succ (primPlusNat vx840 Zero))) (primMulNat vx83 Zero) == LT) vx85",fontsize=16,color="magenta"];861 -> 874[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 862[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpNat (Succ Zero) (primMulNat vx83 Zero) == LT) vx85",fontsize=16,color="burlywood",shape="box"];1563[label="vx83/Succ vx830",fontsize=10,color="white",style="solid",shape="box"];862 -> 1563[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1563 -> 880[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1564[label="vx83/Zero",fontsize=10,color="white",style="solid",shape="box"];862 -> 1564[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1564 -> 881[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 157[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg (Succ vx5100))) False vx6",fontsize=16,color="black",shape="box"];157 -> 187[label="",style="solid", color="black", weight=3]; 12.35/4.84 158[label="showSigned0 vx4 vx3 (Float (Neg Zero) (Neg Zero)) False vx6",fontsize=16,color="black",shape="box"];158 -> 188[label="",style="solid", color="black", weight=3]; 12.35/4.84 878[label="Succ vx9300",fontsize=16,color="green",shape="box"];879[label="Zero",fontsize=16,color="green",shape="box"];1089[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) (primCmpNat (Succ vx940) Zero == LT) vx54",fontsize=16,color="black",shape="box"];1089 -> 1105[label="",style="solid", color="black", weight=3]; 12.35/4.84 1090[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) (primCmpNat (Succ vx940) Zero == LT) vx54",fontsize=16,color="black",shape="box"];1090 -> 1106[label="",style="solid", color="black", weight=3]; 12.35/4.84 1091[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) (EQ == LT) vx54",fontsize=16,color="black",shape="box"];1091 -> 1107[label="",style="solid", color="black", weight=3]; 12.35/4.84 1092[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) (EQ == LT) vx54",fontsize=16,color="black",shape="box"];1092 -> 1108[label="",style="solid", color="black", weight=3]; 12.35/4.84 165[label="vx3 (Float (Pos Zero) (Pos (Succ vx5100))) vx6",fontsize=16,color="green",shape="box"];165 -> 195[label="",style="dashed", color="green", weight=3]; 12.35/4.84 165 -> 196[label="",style="dashed", color="green", weight=3]; 12.35/4.84 166[label="vx3 (Float (Pos Zero) (Pos Zero)) vx6",fontsize=16,color="green",shape="box"];166 -> 197[label="",style="dashed", color="green", weight=3]; 12.35/4.84 166 -> 198[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1328 -> 1334[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1328[label="showParen (vx56 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))) . vx57 (`negate` Float (Neg (Succ vx58)) (Pos vx59))) vx60",fontsize=16,color="magenta"];1328 -> 1335[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1328 -> 1336[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1328 -> 1337[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1328 -> 1338[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1328 -> 1339[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1328 -> 1340[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1329[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos (Succ vx590))) (EQ == LT) vx60",fontsize=16,color="black",shape="box"];1329 -> 1344[label="",style="solid", color="black", weight=3]; 12.35/4.84 1330[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos Zero)) (EQ == LT) vx60",fontsize=16,color="black",shape="box"];1330 -> 1345[label="",style="solid", color="black", weight=3]; 12.35/4.84 172[label="vx3 (Float (Neg Zero) (Pos (Succ vx5100))) vx6",fontsize=16,color="green",shape="box"];172 -> 204[label="",style="dashed", color="green", weight=3]; 12.35/4.84 172 -> 205[label="",style="dashed", color="green", weight=3]; 12.35/4.84 173[label="vx3 (Float (Neg Zero) (Pos Zero)) vx6",fontsize=16,color="green",shape="box"];173 -> 206[label="",style="dashed", color="green", weight=3]; 12.35/4.84 173 -> 207[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1347[label="showParen (vx62 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))) . vx63 (`negate` Float (Pos (Succ vx64)) (Neg vx65))) vx66",fontsize=16,color="black",shape="box"];1347 -> 1353[label="",style="solid", color="black", weight=3]; 12.35/4.84 1348[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg (Succ vx650))) (EQ == LT) vx66",fontsize=16,color="black",shape="box"];1348 -> 1354[label="",style="solid", color="black", weight=3]; 12.35/4.84 1349[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg Zero)) (EQ == LT) vx66",fontsize=16,color="black",shape="box"];1349 -> 1355[label="",style="solid", color="black", weight=3]; 12.35/4.84 179[label="vx3 (Float (Pos Zero) (Neg (Succ vx5100))) vx6",fontsize=16,color="green",shape="box"];179 -> 213[label="",style="dashed", color="green", weight=3]; 12.35/4.84 179 -> 214[label="",style="dashed", color="green", weight=3]; 12.35/4.84 180[label="vx3 (Float (Pos Zero) (Neg Zero)) vx6",fontsize=16,color="green",shape="box"];180 -> 215[label="",style="dashed", color="green", weight=3]; 12.35/4.84 180 -> 216[label="",style="dashed", color="green", weight=3]; 12.35/4.84 874 -> 860[label="",style="dashed", color="red", weight=0]; 12.35/4.84 874[label="primPlusNat vx840 Zero",fontsize=16,color="magenta"];874 -> 882[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 873[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg vx83)) (primCmpNat (Succ (Succ vx114)) (primMulNat vx83 Zero) == LT) vx85",fontsize=16,color="burlywood",shape="triangle"];1565[label="vx83/Succ vx830",fontsize=10,color="white",style="solid",shape="box"];873 -> 1565[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1565 -> 883[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 1566[label="vx83/Zero",fontsize=10,color="white",style="solid",shape="box"];873 -> 1566[label="",style="solid", color="burlywood", weight=9]; 12.35/4.84 1566 -> 884[label="",style="solid", color="burlywood", weight=3]; 12.35/4.84 880[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) (primCmpNat (Succ Zero) (primMulNat (Succ vx830) Zero) == LT) vx85",fontsize=16,color="black",shape="box"];880 -> 1081[label="",style="solid", color="black", weight=3]; 12.35/4.84 881[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) (primCmpNat (Succ Zero) (primMulNat Zero Zero) == LT) vx85",fontsize=16,color="black",shape="box"];881 -> 1082[label="",style="solid", color="black", weight=3]; 12.35/4.84 187[label="vx3 (Float (Neg Zero) (Neg (Succ vx5100))) vx6",fontsize=16,color="green",shape="box"];187 -> 223[label="",style="dashed", color="green", weight=3]; 12.35/4.84 187 -> 224[label="",style="dashed", color="green", weight=3]; 12.35/4.84 188[label="vx3 (Float (Neg Zero) (Neg Zero)) vx6",fontsize=16,color="green",shape="box"];188 -> 225[label="",style="dashed", color="green", weight=3]; 12.35/4.84 188 -> 226[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1105[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) (GT == LT) vx54",fontsize=16,color="black",shape="box"];1105 -> 1306[label="",style="solid", color="black", weight=3]; 12.35/4.84 1106[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) (GT == LT) vx54",fontsize=16,color="black",shape="box"];1106 -> 1307[label="",style="solid", color="black", weight=3]; 12.35/4.84 1107[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) False vx54",fontsize=16,color="black",shape="triangle"];1107 -> 1308[label="",style="solid", color="black", weight=3]; 12.35/4.84 1108[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) False vx54",fontsize=16,color="black",shape="triangle"];1108 -> 1309[label="",style="solid", color="black", weight=3]; 12.35/4.84 195[label="Float (Pos Zero) (Pos (Succ vx5100))",fontsize=16,color="green",shape="box"];196[label="vx6",fontsize=16,color="green",shape="box"];197[label="Float (Pos Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];198[label="vx6",fontsize=16,color="green",shape="box"];1335[label="vx60",fontsize=16,color="green",shape="box"];1336[label="vx57",fontsize=16,color="green",shape="box"];1337[label="vx58",fontsize=16,color="green",shape="box"];1338[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"];1339[label="vx59",fontsize=16,color="green",shape="box"];1340[label="vx56",fontsize=16,color="green",shape="box"];1334[label="showParen (vx141 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) vx146",fontsize=16,color="black",shape="triangle"];1334 -> 1346[label="",style="solid", color="black", weight=3]; 12.35/4.84 1344[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos (Succ vx590))) False vx60",fontsize=16,color="black",shape="box"];1344 -> 1350[label="",style="solid", color="black", weight=3]; 12.35/4.84 1345[label="showSigned0 vx56 vx57 (Float (Neg (Succ vx58)) (Pos Zero)) False vx60",fontsize=16,color="black",shape="box"];1345 -> 1351[label="",style="solid", color="black", weight=3]; 12.35/4.84 204[label="Float (Neg Zero) (Pos (Succ vx5100))",fontsize=16,color="green",shape="box"];205[label="vx6",fontsize=16,color="green",shape="box"];206[label="Float (Neg Zero) (Pos Zero)",fontsize=16,color="green",shape="box"];207[label="vx6",fontsize=16,color="green",shape="box"];1353 -> 1361[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1353[label="showParen0 ((showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))) . vx63 (`negate` Float (Pos (Succ vx64)) (Neg vx65))) (vx62 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vx66",fontsize=16,color="magenta"];1353 -> 1362[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1353 -> 1363[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1353 -> 1364[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1353 -> 1365[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1353 -> 1366[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1353 -> 1367[label="",style="dashed", color="magenta", weight=3]; 12.35/4.84 1354[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg (Succ vx650))) False vx66",fontsize=16,color="black",shape="box"];1354 -> 1368[label="",style="solid", color="black", weight=3]; 12.35/4.84 1355[label="showSigned0 vx62 vx63 (Float (Pos (Succ vx64)) (Neg Zero)) False vx66",fontsize=16,color="black",shape="box"];1355 -> 1369[label="",style="solid", color="black", weight=3]; 12.35/4.84 213[label="Float (Pos Zero) (Neg (Succ vx5100))",fontsize=16,color="green",shape="box"];214[label="vx6",fontsize=16,color="green",shape="box"];215[label="Float (Pos Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];216[label="vx6",fontsize=16,color="green",shape="box"];882[label="vx840",fontsize=16,color="green",shape="box"];883[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) (primCmpNat (Succ (Succ vx114)) (primMulNat (Succ vx830) Zero) == LT) vx85",fontsize=16,color="black",shape="box"];883 -> 1083[label="",style="solid", color="black", weight=3]; 12.35/4.84 884[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) (primCmpNat (Succ (Succ vx114)) (primMulNat Zero Zero) == LT) vx85",fontsize=16,color="black",shape="box"];884 -> 1084[label="",style="solid", color="black", weight=3]; 12.35/4.84 1081[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) (primCmpNat (Succ Zero) Zero == LT) vx85",fontsize=16,color="black",shape="box"];1081 -> 1093[label="",style="solid", color="black", weight=3]; 12.35/4.84 1082[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) (primCmpNat (Succ Zero) Zero == LT) vx85",fontsize=16,color="black",shape="box"];1082 -> 1094[label="",style="solid", color="black", weight=3]; 12.35/4.84 223[label="Float (Neg Zero) (Neg (Succ vx5100))",fontsize=16,color="green",shape="box"];224[label="vx6",fontsize=16,color="green",shape="box"];225[label="Float (Neg Zero) (Neg Zero)",fontsize=16,color="green",shape="box"];226[label="vx6",fontsize=16,color="green",shape="box"];1306 -> 1107[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1306[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) False vx54",fontsize=16,color="magenta"];1307 -> 1108[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1307[label="showSigned0 vx50 vx51 (Float (Pos (Succ vx52)) (Pos Zero)) False vx54",fontsize=16,color="magenta"];1308[label="vx51 (Float (Pos (Succ vx52)) (Pos (Succ vx530))) vx54",fontsize=16,color="green",shape="box"];1308 -> 1318[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1308 -> 1319[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1309[label="vx51 (Float (Pos (Succ vx52)) (Pos Zero)) vx54",fontsize=16,color="green",shape="box"];1309 -> 1320[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1309 -> 1321[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1346[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (vx141 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vx146",fontsize=16,color="black",shape="box"];1346 -> 1352[label="",style="solid", color="black", weight=3]; 12.35/4.84 1350[label="vx57 (Float (Neg (Succ vx58)) (Pos (Succ vx590))) vx60",fontsize=16,color="green",shape="box"];1350 -> 1356[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1350 -> 1357[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1351[label="vx57 (Float (Neg (Succ vx58)) (Pos Zero)) vx60",fontsize=16,color="green",shape="box"];1351 -> 1358[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1351 -> 1359[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1362[label="vx66",fontsize=16,color="green",shape="box"];1363[label="vx64",fontsize=16,color="green",shape="box"];1364[label="vx63",fontsize=16,color="green",shape="box"];1365[label="vx62",fontsize=16,color="green",shape="box"];1366[label="vx65",fontsize=16,color="green",shape="box"];1367[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"];1361[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (vx152 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vx153",fontsize=16,color="black",shape="triangle"];1361 -> 1370[label="",style="solid", color="black", weight=3]; 12.35/4.84 1368[label="vx63 (Float (Pos (Succ vx64)) (Neg (Succ vx650))) vx66",fontsize=16,color="green",shape="box"];1368 -> 1373[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1368 -> 1374[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1369[label="vx63 (Float (Pos (Succ vx64)) (Neg Zero)) vx66",fontsize=16,color="green",shape="box"];1369 -> 1375[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1369 -> 1376[label="",style="dashed", color="green", weight=3]; 12.35/4.84 1083[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) (primCmpNat (Succ (Succ vx114)) Zero == LT) vx85",fontsize=16,color="black",shape="box"];1083 -> 1095[label="",style="solid", color="black", weight=3]; 12.35/4.84 1084[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) (primCmpNat (Succ (Succ vx114)) Zero == LT) vx85",fontsize=16,color="black",shape="box"];1084 -> 1096[label="",style="solid", color="black", weight=3]; 12.35/4.84 1093[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) (GT == LT) vx85",fontsize=16,color="black",shape="triangle"];1093 -> 1109[label="",style="solid", color="black", weight=3]; 12.35/4.84 1094[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) (GT == LT) vx85",fontsize=16,color="black",shape="triangle"];1094 -> 1110[label="",style="solid", color="black", weight=3]; 12.35/4.84 1318[label="Float (Pos (Succ vx52)) (Pos (Succ vx530))",fontsize=16,color="green",shape="box"];1319[label="vx54",fontsize=16,color="green",shape="box"];1320[label="Float (Pos (Succ vx52)) (Pos Zero)",fontsize=16,color="green",shape="box"];1321[label="vx54",fontsize=16,color="green",shape="box"];1352[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (compare vx141 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="black",shape="box"];1352 -> 1360[label="",style="solid", color="black", weight=3]; 12.35/4.84 1356[label="Float (Neg (Succ vx58)) (Pos (Succ vx590))",fontsize=16,color="green",shape="box"];1357[label="vx60",fontsize=16,color="green",shape="box"];1358[label="Float (Neg (Succ vx58)) (Pos Zero)",fontsize=16,color="green",shape="box"];1359[label="vx60",fontsize=16,color="green",shape="box"];1370[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (compare vx152 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="black",shape="box"];1370 -> 1377[label="",style="solid", color="black", weight=3]; 12.35/4.84 1373[label="Float (Pos (Succ vx64)) (Neg (Succ vx650))",fontsize=16,color="green",shape="box"];1374[label="vx66",fontsize=16,color="green",shape="box"];1375[label="Float (Pos (Succ vx64)) (Neg Zero)",fontsize=16,color="green",shape="box"];1376[label="vx66",fontsize=16,color="green",shape="box"];1095 -> 1093[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1095[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) (GT == LT) vx85",fontsize=16,color="magenta"];1096 -> 1094[label="",style="dashed", color="red", weight=0]; 12.35/4.84 1096[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) (GT == LT) vx85",fontsize=16,color="magenta"];1109[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) False vx85",fontsize=16,color="black",shape="box"];1109 -> 1310[label="",style="solid", color="black", weight=3]; 12.35/4.84 1110[label="showSigned0 vx80 vx81 (Float (Neg (Succ vx82)) (Neg Zero)) False vx85",fontsize=16,color="black",shape="box"];1110 -> 1311[label="",style="solid", color="black", weight=3]; 12.35/4.84 1360[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt vx141 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1567[label="vx141/Pos vx1410",fontsize=10,color="white",style="solid",shape="box"];1360 -> 1567[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1567 -> 1371[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1568[label="vx141/Neg vx1410",fontsize=10,color="white",style="solid",shape="box"];1360 -> 1568[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1568 -> 1372[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1377[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt vx152 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="burlywood",shape="box"];1569[label="vx152/Pos vx1520",fontsize=10,color="white",style="solid",shape="box"];1377 -> 1569[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1569 -> 1382[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1570[label="vx152/Neg vx1520",fontsize=10,color="white",style="solid",shape="box"];1377 -> 1570[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1570 -> 1383[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1310[label="vx81 (Float (Neg (Succ vx82)) (Neg (Succ vx830))) vx85",fontsize=16,color="green",shape="box"];1310 -> 1322[label="",style="dashed", color="green", weight=3]; 12.57/4.84 1310 -> 1323[label="",style="dashed", color="green", weight=3]; 12.57/4.84 1311[label="vx81 (Float (Neg (Succ vx82)) (Neg Zero)) vx85",fontsize=16,color="green",shape="box"];1311 -> 1324[label="",style="dashed", color="green", weight=3]; 12.57/4.84 1311 -> 1325[label="",style="dashed", color="green", weight=3]; 12.57/4.84 1371[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt (Pos vx1410) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1571[label="vx1410/Succ vx14100",fontsize=10,color="white",style="solid",shape="box"];1371 -> 1571[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1571 -> 1378[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1572[label="vx1410/Zero",fontsize=10,color="white",style="solid",shape="box"];1371 -> 1572[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1572 -> 1379[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1372[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt (Neg vx1410) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1573[label="vx1410/Succ vx14100",fontsize=10,color="white",style="solid",shape="box"];1372 -> 1573[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1573 -> 1380[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1574[label="vx1410/Zero",fontsize=10,color="white",style="solid",shape="box"];1372 -> 1574[label="",style="solid", color="burlywood", weight=9]; 12.57/4.84 1574 -> 1381[label="",style="solid", color="burlywood", weight=3]; 12.57/4.84 1382[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt (Pos vx1520) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="burlywood",shape="box"];1575[label="vx1520/Succ vx15200",fontsize=10,color="white",style="solid",shape="box"];1382 -> 1575[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1575 -> 1388[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1576[label="vx1520/Zero",fontsize=10,color="white",style="solid",shape="box"];1382 -> 1576[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1576 -> 1389[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1383[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt (Neg vx1520) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="burlywood",shape="box"];1577[label="vx1520/Succ vx15200",fontsize=10,color="white",style="solid",shape="box"];1383 -> 1577[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1577 -> 1390[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1578[label="vx1520/Zero",fontsize=10,color="white",style="solid",shape="box"];1383 -> 1578[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1578 -> 1391[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1322[label="Float (Neg (Succ vx82)) (Neg (Succ vx830))",fontsize=16,color="green",shape="box"];1323[label="vx85",fontsize=16,color="green",shape="box"];1324[label="Float (Neg (Succ vx82)) (Neg Zero)",fontsize=16,color="green",shape="box"];1325[label="vx85",fontsize=16,color="green",shape="box"];1378[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt (Pos (Succ vx14100)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="black",shape="box"];1378 -> 1384[label="",style="solid", color="black", weight=3]; 12.57/4.85 1379[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="black",shape="box"];1379 -> 1385[label="",style="solid", color="black", weight=3]; 12.57/4.85 1380[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt (Neg (Succ vx14100)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="black",shape="box"];1380 -> 1386[label="",style="solid", color="black", weight=3]; 12.57/4.85 1381[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx146",fontsize=16,color="black",shape="box"];1381 -> 1387[label="",style="solid", color="black", weight=3]; 12.57/4.85 1388[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt (Pos (Succ vx15200)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="black",shape="box"];1388 -> 1395[label="",style="solid", color="black", weight=3]; 12.57/4.85 1389[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="black",shape="box"];1389 -> 1396[label="",style="solid", color="black", weight=3]; 12.57/4.85 1390[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt (Neg (Succ vx15200)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="black",shape="box"];1390 -> 1397[label="",style="solid", color="black", weight=3]; 12.57/4.85 1391[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vx153",fontsize=16,color="black",shape="box"];1391 -> 1398[label="",style="solid", color="black", weight=3]; 12.57/4.85 1384[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat (Succ vx14100) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx146",fontsize=16,color="black",shape="box"];1384 -> 1392[label="",style="solid", color="black", weight=3]; 12.57/4.85 1385[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx146",fontsize=16,color="black",shape="box"];1385 -> 1393[label="",style="solid", color="black", weight=3]; 12.57/4.85 1386[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (LT == GT) vx146",fontsize=16,color="black",shape="triangle"];1386 -> 1394[label="",style="solid", color="black", weight=3]; 12.57/4.85 1387 -> 1386[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1387[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (LT == GT) vx146",fontsize=16,color="magenta"];1395[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat (Succ vx15200) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx153",fontsize=16,color="black",shape="box"];1395 -> 1402[label="",style="solid", color="black", weight=3]; 12.57/4.85 1396 -> 1403[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1396[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vx153",fontsize=16,color="magenta"];1396 -> 1404[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1396 -> 1405[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1396 -> 1406[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1396 -> 1407[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1396 -> 1408[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1396 -> 1409[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1397[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (LT == GT) vx153",fontsize=16,color="black",shape="triangle"];1397 -> 1410[label="",style="solid", color="black", weight=3]; 12.57/4.85 1398 -> 1397[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1398[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (LT == GT) vx153",fontsize=16,color="magenta"];1392[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat vx14100 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1579[label="vx14100/Succ vx141000",fontsize=10,color="white",style="solid",shape="box"];1392 -> 1579[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1579 -> 1399[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1580[label="vx14100/Zero",fontsize=10,color="white",style="solid",shape="box"];1392 -> 1580[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1580 -> 1400[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1393 -> 1386[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1393[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (LT == GT) vx146",fontsize=16,color="magenta"];1394[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) False vx146",fontsize=16,color="black",shape="box"];1394 -> 1401[label="",style="solid", color="black", weight=3]; 12.57/4.85 1402[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat vx15200 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx153",fontsize=16,color="burlywood",shape="box"];1581[label="vx15200/Succ vx152000",fontsize=10,color="white",style="solid",shape="box"];1402 -> 1581[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1581 -> 1411[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1582[label="vx15200/Zero",fontsize=10,color="white",style="solid",shape="box"];1402 -> 1582[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1582 -> 1412[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1404[label="vx149",fontsize=16,color="green",shape="box"];1405[label="vx150",fontsize=16,color="green",shape="box"];1406[label="vx153",fontsize=16,color="green",shape="box"];1407[label="vx148",fontsize=16,color="green",shape="box"];1408[label="vx151",fontsize=16,color="green",shape="box"];1409[label="Succ (Succ (Succ (Succ (Succ Zero))))",fontsize=16,color="green",shape="box"];1403[label="showParen0 ((showChar (Char (Succ vx155))) . vx156 (`negate` Float (Pos (Succ vx157)) (Neg vx158))) (primCmpNat Zero (Succ vx159) == GT) vx160",fontsize=16,color="black",shape="triangle"];1403 -> 1413[label="",style="solid", color="black", weight=3]; 12.57/4.85 1410[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) False vx153",fontsize=16,color="black",shape="box"];1410 -> 1417[label="",style="solid", color="black", weight=3]; 12.57/4.85 1399[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat (Succ vx141000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx146",fontsize=16,color="black",shape="box"];1399 -> 1414[label="",style="solid", color="black", weight=3]; 12.57/4.85 1400[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx146",fontsize=16,color="black",shape="box"];1400 -> 1415[label="",style="solid", color="black", weight=3]; 12.57/4.85 1401[label="(showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))",fontsize=16,color="black",shape="box"];1401 -> 1416[label="",style="solid", color="black", weight=3]; 12.57/4.85 1411[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat (Succ vx152000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx153",fontsize=16,color="black",shape="box"];1411 -> 1418[label="",style="solid", color="black", weight=3]; 12.57/4.85 1412[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vx153",fontsize=16,color="black",shape="box"];1412 -> 1419[label="",style="solid", color="black", weight=3]; 12.57/4.85 1413 -> 1397[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1413[label="showParen0 ((showChar (Char (Succ vx155))) . vx156 (`negate` Float (Pos (Succ vx157)) (Neg vx158))) (LT == GT) vx160",fontsize=16,color="magenta"];1413 -> 1420[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1413 -> 1421[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1413 -> 1422[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1413 -> 1423[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1413 -> 1424[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1417[label="(showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))",fontsize=16,color="black",shape="box"];1417 -> 1428[label="",style="solid", color="black", weight=3]; 12.57/4.85 1414[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat vx141000 (Succ (Succ (Succ (Succ Zero)))) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1583[label="vx141000/Succ vx1410000",fontsize=10,color="white",style="solid",shape="box"];1414 -> 1583[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1583 -> 1425[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1584[label="vx141000/Zero",fontsize=10,color="white",style="solid",shape="box"];1414 -> 1584[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1584 -> 1426[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1415 -> 1386[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1415[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (LT == GT) vx146",fontsize=16,color="magenta"];1416[label="showChar (Char (Succ vx142)) (vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145)) vx146)",fontsize=16,color="black",shape="box"];1416 -> 1427[label="",style="solid", color="black", weight=3]; 12.57/4.85 1418[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat vx152000 (Succ (Succ (Succ (Succ Zero)))) == GT) vx153",fontsize=16,color="burlywood",shape="box"];1585[label="vx152000/Succ vx1520000",fontsize=10,color="white",style="solid",shape="box"];1418 -> 1585[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1585 -> 1429[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1586[label="vx152000/Zero",fontsize=10,color="white",style="solid",shape="box"];1418 -> 1586[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1586 -> 1430[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1419 -> 1397[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1419[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (LT == GT) vx153",fontsize=16,color="magenta"];1420[label="vx160",fontsize=16,color="green",shape="box"];1421[label="vx157",fontsize=16,color="green",shape="box"];1422[label="vx156",fontsize=16,color="green",shape="box"];1423[label="vx158",fontsize=16,color="green",shape="box"];1424[label="vx155",fontsize=16,color="green",shape="box"];1428[label="showChar (Char (Succ vx148)) (vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151)) vx153)",fontsize=16,color="black",shape="box"];1428 -> 1434[label="",style="solid", color="black", weight=3]; 12.57/4.85 1425[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat (Succ vx1410000) (Succ (Succ (Succ (Succ Zero)))) == GT) vx146",fontsize=16,color="black",shape="box"];1425 -> 1431[label="",style="solid", color="black", weight=3]; 12.57/4.85 1426[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vx146",fontsize=16,color="black",shape="box"];1426 -> 1432[label="",style="solid", color="black", weight=3]; 12.57/4.85 1427[label="(:) Char (Succ vx142) vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145)) vx146",fontsize=16,color="green",shape="box"];1427 -> 1433[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1429[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat (Succ vx1520000) (Succ (Succ (Succ (Succ Zero)))) == GT) vx153",fontsize=16,color="black",shape="box"];1429 -> 1435[label="",style="solid", color="black", weight=3]; 12.57/4.85 1430[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vx153",fontsize=16,color="black",shape="box"];1430 -> 1436[label="",style="solid", color="black", weight=3]; 12.57/4.85 1434[label="(:) Char (Succ vx148) vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151)) vx153",fontsize=16,color="green",shape="box"];1434 -> 1441[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1431[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat vx1410000 (Succ (Succ (Succ Zero))) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1587[label="vx1410000/Succ vx14100000",fontsize=10,color="white",style="solid",shape="box"];1431 -> 1587[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1587 -> 1437[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1588[label="vx1410000/Zero",fontsize=10,color="white",style="solid",shape="box"];1431 -> 1588[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1588 -> 1438[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1432 -> 1386[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1432[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (LT == GT) vx146",fontsize=16,color="magenta"];1433[label="vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145)) vx146",fontsize=16,color="green",shape="box"];1433 -> 1439[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1433 -> 1440[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1435[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat vx1520000 (Succ (Succ (Succ Zero))) == GT) vx153",fontsize=16,color="burlywood",shape="box"];1589[label="vx1520000/Succ vx15200000",fontsize=10,color="white",style="solid",shape="box"];1435 -> 1589[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1589 -> 1442[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1590[label="vx1520000/Zero",fontsize=10,color="white",style="solid",shape="box"];1435 -> 1590[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1590 -> 1443[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1436 -> 1397[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1436[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (LT == GT) vx153",fontsize=16,color="magenta"];1441[label="vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151)) vx153",fontsize=16,color="green",shape="box"];1441 -> 1447[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1441 -> 1448[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1437[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat (Succ vx14100000) (Succ (Succ (Succ Zero))) == GT) vx146",fontsize=16,color="black",shape="box"];1437 -> 1444[label="",style="solid", color="black", weight=3]; 12.57/4.85 1438[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vx146",fontsize=16,color="black",shape="box"];1438 -> 1445[label="",style="solid", color="black", weight=3]; 12.57/4.85 1439[label="`negate` Float (Neg (Succ vx144)) (Pos vx145)",fontsize=16,color="black",shape="triangle"];1439 -> 1446[label="",style="solid", color="black", weight=3]; 12.57/4.85 1440[label="vx146",fontsize=16,color="green",shape="box"];1442[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat (Succ vx15200000) (Succ (Succ (Succ Zero))) == GT) vx153",fontsize=16,color="black",shape="box"];1442 -> 1449[label="",style="solid", color="black", weight=3]; 12.57/4.85 1443[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vx153",fontsize=16,color="black",shape="box"];1443 -> 1450[label="",style="solid", color="black", weight=3]; 12.57/4.85 1447[label="`negate` Float (Pos (Succ vx150)) (Neg vx151)",fontsize=16,color="black",shape="triangle"];1447 -> 1458[label="",style="solid", color="black", weight=3]; 12.57/4.85 1448[label="vx153",fontsize=16,color="green",shape="box"];1444 -> 1451[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1444[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (primCmpNat vx14100000 (Succ (Succ Zero)) == GT) vx146",fontsize=16,color="magenta"];1444 -> 1452[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1445 -> 1386[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1445[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 (`negate` Float (Neg (Succ vx144)) (Pos vx145))) (LT == GT) vx146",fontsize=16,color="magenta"];1446[label="primNegFloat (Float (Neg (Succ vx144)) (Pos vx145))",fontsize=16,color="black",shape="box"];1446 -> 1459[label="",style="solid", color="black", weight=3]; 12.57/4.85 1449 -> 1451[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1449[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (primCmpNat vx15200000 (Succ (Succ Zero)) == GT) vx153",fontsize=16,color="magenta"];1449 -> 1453[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1449 -> 1454[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1449 -> 1455[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1449 -> 1456[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1449 -> 1457[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1450 -> 1397[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1450[label="showParen0 ((showChar (Char (Succ vx148))) . vx149 (`negate` Float (Pos (Succ vx150)) (Neg vx151))) (LT == GT) vx153",fontsize=16,color="magenta"];1458[label="primNegFloat (Float (Pos (Succ vx150)) (Neg vx151))",fontsize=16,color="black",shape="box"];1458 -> 1462[label="",style="solid", color="black", weight=3]; 12.57/4.85 1452 -> 1439[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1452[label="`negate` Float (Neg (Succ vx144)) (Pos vx145)",fontsize=16,color="magenta"];1451[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat vx14100000 (Succ (Succ Zero)) == GT) vx146",fontsize=16,color="burlywood",shape="triangle"];1591[label="vx14100000/Succ vx141000000",fontsize=10,color="white",style="solid",shape="box"];1451 -> 1591[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1591 -> 1460[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1592[label="vx14100000/Zero",fontsize=10,color="white",style="solid",shape="box"];1451 -> 1592[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1592 -> 1461[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1459[label="Float (`negate` Neg (Succ vx144)) (Pos vx145)",fontsize=16,color="green",shape="box"];1459 -> 1463[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1453[label="vx153",fontsize=16,color="green",shape="box"];1454 -> 1447[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1454[label="`negate` Float (Pos (Succ vx150)) (Neg vx151)",fontsize=16,color="magenta"];1455[label="vx149",fontsize=16,color="green",shape="box"];1456[label="vx148",fontsize=16,color="green",shape="box"];1457[label="vx15200000",fontsize=16,color="green",shape="box"];1462[label="Float (`negate` Pos (Succ vx150)) (Neg vx151)",fontsize=16,color="green",shape="box"];1462 -> 1466[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1460[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat (Succ vx141000000) (Succ (Succ Zero)) == GT) vx146",fontsize=16,color="black",shape="box"];1460 -> 1464[label="",style="solid", color="black", weight=3]; 12.57/4.85 1461[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat Zero (Succ (Succ Zero)) == GT) vx146",fontsize=16,color="black",shape="box"];1461 -> 1465[label="",style="solid", color="black", weight=3]; 12.57/4.85 1463[label="`negate` Neg (Succ vx144)",fontsize=16,color="black",shape="box"];1463 -> 1467[label="",style="solid", color="black", weight=3]; 12.57/4.85 1466[label="`negate` Pos (Succ vx150)",fontsize=16,color="black",shape="box"];1466 -> 1471[label="",style="solid", color="black", weight=3]; 12.57/4.85 1464[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat vx141000000 (Succ Zero) == GT) vx146",fontsize=16,color="burlywood",shape="box"];1593[label="vx141000000/Succ vx1410000000",fontsize=10,color="white",style="solid",shape="box"];1464 -> 1593[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1593 -> 1468[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1594[label="vx141000000/Zero",fontsize=10,color="white",style="solid",shape="box"];1464 -> 1594[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1594 -> 1469[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1465[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (LT == GT) vx146",fontsize=16,color="black",shape="triangle"];1465 -> 1470[label="",style="solid", color="black", weight=3]; 12.57/4.85 1467[label="primNegInt (Neg (Succ vx144))",fontsize=16,color="black",shape="box"];1467 -> 1472[label="",style="solid", color="black", weight=3]; 12.57/4.85 1471[label="primNegInt (Pos (Succ vx150))",fontsize=16,color="black",shape="box"];1471 -> 1476[label="",style="solid", color="black", weight=3]; 12.57/4.85 1468[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat (Succ vx1410000000) (Succ Zero) == GT) vx146",fontsize=16,color="black",shape="box"];1468 -> 1473[label="",style="solid", color="black", weight=3]; 12.57/4.85 1469[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat Zero (Succ Zero) == GT) vx146",fontsize=16,color="black",shape="box"];1469 -> 1474[label="",style="solid", color="black", weight=3]; 12.57/4.85 1470[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) False vx146",fontsize=16,color="black",shape="triangle"];1470 -> 1475[label="",style="solid", color="black", weight=3]; 12.57/4.85 1472[label="Pos (Succ vx144)",fontsize=16,color="green",shape="box"];1476[label="Neg (Succ vx150)",fontsize=16,color="green",shape="box"];1473[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat vx1410000000 Zero == GT) vx146",fontsize=16,color="burlywood",shape="box"];1595[label="vx1410000000/Succ vx14100000000",fontsize=10,color="white",style="solid",shape="box"];1473 -> 1595[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1595 -> 1477[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1596[label="vx1410000000/Zero",fontsize=10,color="white",style="solid",shape="box"];1473 -> 1596[label="",style="solid", color="burlywood", weight=9]; 12.57/4.85 1596 -> 1478[label="",style="solid", color="burlywood", weight=3]; 12.57/4.85 1474 -> 1465[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1474[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (LT == GT) vx146",fontsize=16,color="magenta"];1475[label="(showChar (Char (Succ vx142))) . vx143 vx161",fontsize=16,color="black",shape="box"];1475 -> 1479[label="",style="solid", color="black", weight=3]; 12.57/4.85 1477[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat (Succ vx14100000000) Zero == GT) vx146",fontsize=16,color="black",shape="box"];1477 -> 1480[label="",style="solid", color="black", weight=3]; 12.57/4.85 1478[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (primCmpNat Zero Zero == GT) vx146",fontsize=16,color="black",shape="box"];1478 -> 1481[label="",style="solid", color="black", weight=3]; 12.57/4.85 1479[label="showChar (Char (Succ vx142)) (vx143 vx161 vx146)",fontsize=16,color="black",shape="box"];1479 -> 1482[label="",style="solid", color="black", weight=3]; 12.57/4.85 1480[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (GT == GT) vx146",fontsize=16,color="black",shape="box"];1480 -> 1483[label="",style="solid", color="black", weight=3]; 12.57/4.85 1481[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) (EQ == GT) vx146",fontsize=16,color="black",shape="box"];1481 -> 1484[label="",style="solid", color="black", weight=3]; 12.57/4.85 1482[label="(:) Char (Succ vx142) vx143 vx161 vx146",fontsize=16,color="green",shape="box"];1482 -> 1485[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1483[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) True vx146",fontsize=16,color="black",shape="box"];1483 -> 1486[label="",style="solid", color="black", weight=3]; 12.57/4.85 1484 -> 1470[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1484[label="showParen0 ((showChar (Char (Succ vx142))) . vx143 vx161) False vx146",fontsize=16,color="magenta"];1485[label="vx143 vx161 vx146",fontsize=16,color="green",shape="box"];1485 -> 1487[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1485 -> 1488[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1486 -> 1495[label="",style="dashed", color="red", weight=0]; 12.57/4.85 1486[label="(showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))) . ((showChar (Char (Succ vx142))) . vx143 vx161) . showChar (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];1486 -> 1496[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1486 -> 1497[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1486 -> 1498[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1486 -> 1499[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1486 -> 1500[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1486 -> 1501[label="",style="dashed", color="magenta", weight=3]; 12.57/4.85 1487[label="vx161",fontsize=16,color="green",shape="box"];1488[label="vx146",fontsize=16,color="green",shape="box"];1496[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"];1497[label="vx143",fontsize=16,color="green",shape="box"];1498[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"];1499[label="vx146",fontsize=16,color="green",shape="box"];1500[label="vx161",fontsize=16,color="green",shape="box"];1501[label="vx142",fontsize=16,color="green",shape="box"];1495[label="(showChar (Char (Succ vx169))) . ((showChar (Char (Succ vx170))) . vx171 vx172) . showChar (Char (Succ vx173))",fontsize=16,color="black",shape="triangle"];1495 -> 1508[label="",style="solid", color="black", weight=3]; 12.57/4.85 1508[label="showChar (Char (Succ vx169)) (((showChar (Char (Succ vx170))) . vx171 vx172) . showChar (Char (Succ vx173)))",fontsize=16,color="black",shape="box"];1508 -> 1509[label="",style="solid", color="black", weight=3]; 12.57/4.85 1509[label="(:) Char (Succ vx169) ((showChar (Char (Succ vx170))) . vx171 vx172) . showChar (Char (Succ vx173))",fontsize=16,color="green",shape="box"];1509 -> 1510[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1510[label="((showChar (Char (Succ vx170))) . vx171 vx172) . showChar (Char (Succ vx173))",fontsize=16,color="black",shape="box"];1510 -> 1511[label="",style="solid", color="black", weight=3]; 12.57/4.85 1511[label="(showChar (Char (Succ vx170))) . vx171 vx172",fontsize=16,color="black",shape="box"];1511 -> 1512[label="",style="solid", color="black", weight=3]; 12.57/4.85 1512[label="showChar (Char (Succ vx170)) (vx171 vx172 (showChar (Char (Succ vx173)) vx174))",fontsize=16,color="black",shape="box"];1512 -> 1513[label="",style="solid", color="black", weight=3]; 12.57/4.85 1513[label="(:) Char (Succ vx170) vx171 vx172 (showChar (Char (Succ vx173)) vx174)",fontsize=16,color="green",shape="box"];1513 -> 1514[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1514[label="vx171 vx172 (showChar (Char (Succ vx173)) vx174)",fontsize=16,color="green",shape="box"];1514 -> 1515[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1514 -> 1516[label="",style="dashed", color="green", weight=3]; 12.57/4.85 1515[label="vx172",fontsize=16,color="green",shape="box"];1516[label="showChar (Char (Succ vx173)) vx174",fontsize=16,color="black",shape="box"];1516 -> 1517[label="",style="solid", color="black", weight=3]; 12.57/4.85 1517[label="(:) Char (Succ vx173) vx174",fontsize=16,color="green",shape="box"];} 12.57/4.85 12.57/4.85 ---------------------------------------- 12.57/4.85 12.57/4.85 (10) 12.57/4.85 Obligation: 12.57/4.85 Q DP problem: 12.57/4.85 The TRS P consists of the following rules: 12.57/4.85 12.57/4.85 new_primMulNat(Succ(vx50000)) -> new_primMulNat(vx50000) 12.57/4.85 12.57/4.85 R is empty. 12.57/4.85 Q is empty. 12.57/4.85 We have to consider all minimal (P,Q,R)-chains. 12.57/4.85 ---------------------------------------- 12.57/4.85 12.57/4.85 (11) QDPSizeChangeProof (EQUIVALENT) 12.57/4.85 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.57/4.85 12.57/4.85 From the DPs we obtained the following set of size-change graphs: 12.57/4.85 *new_primMulNat(Succ(vx50000)) -> new_primMulNat(vx50000) 12.57/4.85 The graph contains the following edges 1 > 1 12.57/4.85 12.57/4.85 12.57/4.85 ---------------------------------------- 12.57/4.85 12.57/4.85 (12) 12.57/4.85 YES 12.59/4.89 EOF