/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty H-Termination with start terms of the given HASKELL could be proven: (0) HASKELL (1) CR [EQUIVALENT, 0 ms] (2) HASKELL (3) IFR [EQUIVALENT, 0 ms] (4) HASKELL (5) BR [EQUIVALENT, 0 ms] (6) HASKELL (7) COR [EQUIVALENT, 11 ms] (8) HASKELL (9) LetRed [EQUIVALENT, 0 ms] (10) HASKELL (11) NumRed [SOUND, 0 ms] (12) HASKELL (13) Narrow [SOUND, 0 ms] (14) QDP (15) QDPSizeChangeProof [EQUIVALENT, 0 ms] (16) YES ---------------------------------------- (0) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (1) CR (EQUIVALENT) Case Reductions: The following Case expression "case compare x y of { EQ -> o; LT -> LT; GT -> GT} " is transformed to "primCompAux0 o EQ = o; primCompAux0 o LT = LT; primCompAux0 o GT = GT; " ---------------------------------------- (2) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (3) IFR (EQUIVALENT) If Reductions: The following If expression "if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero" is transformed to "primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y)); primDivNatS0 x y False = Zero; " The following If expression "if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x" is transformed to "primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y); primModNatS0 x y False = Succ x; " The following If expression "if x < 0 then showParen (p > 6) ((showChar '-') . showPos (`negate` x)) else showPos x" is transformed to "showSigned0 p showPos x True = showParen (p > 6) ((showChar '-') . showPos (`negate` x)); showSigned0 p showPos x False = showPos x; " The following If expression "if b then (showChar '(') . p . showChar ')' else p" is transformed to "showParen0 p True = (showChar '(') . p . showChar ')'; showParen0 p False = p; " ---------------------------------------- (4) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (5) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (6) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (7) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "gcd' x 0 = x; gcd' x y = gcd' y (x `rem` y); " is transformed to "gcd' x zx = gcd'2 x zx; gcd' x y = gcd'0 x y; " "gcd'0 x y = gcd' y (x `rem` y); " "gcd'1 True x zx = x; gcd'1 zy zz vuu = gcd'0 zz vuu; " "gcd'2 x zx = gcd'1 (zx == 0) x zx; gcd'2 vuv vuw = gcd'0 vuv vuw; " The following Function with conditions "gcd 0 0 = error []; gcd x y = gcd' (abs x) (abs y) where { gcd' x 0 = x; gcd' x y = gcd' y (x `rem` y); } ; " is transformed to "gcd vux vuy = gcd3 vux vuy; gcd x y = gcd0 x y; " "gcd0 x y = gcd' (abs x) (abs y) where { gcd' x zx = gcd'2 x zx; gcd' x y = gcd'0 x y; ; gcd'0 x y = gcd' y (x `rem` y); ; gcd'1 True x zx = x; gcd'1 zy zz vuu = gcd'0 zz vuu; ; gcd'2 x zx = gcd'1 (zx == 0) x zx; gcd'2 vuv vuw = gcd'0 vuv vuw; } ; " "gcd1 True vux vuy = error []; gcd1 vuz vvu vvv = gcd0 vvu vvv; " "gcd2 True vux vuy = gcd1 (vuy == 0) vux vuy; gcd2 vvw vvx vvy = gcd0 vvx vvy; " "gcd3 vux vuy = gcd2 (vux == 0) vux vuy; gcd3 vvz vwu = gcd0 vvz vwu; " The following Function with conditions "reduce x y|y == 0error []|otherwisex `quot` d :% (y `quot` d) where { d = gcd x y; } ; " is transformed to "reduce x y = reduce2 x y; " "reduce2 x y = reduce1 x y (y == 0) where { d = gcd x y; ; reduce0 x y True = x `quot` d :% (y `quot` d); ; reduce1 x y True = error []; reduce1 x y False = reduce0 x y otherwise; } ; " The following Function with conditions "absReal x|x >= 0x|otherwise`negate` x; " is transformed to "absReal x = absReal2 x; " "absReal0 x True = `negate` x; " "absReal1 x True = x; absReal1 x False = absReal0 x otherwise; " "absReal2 x = absReal1 x (x >= 0); " The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " The following Function with conditions "compare x y|x == yEQ|x <= yLT|otherwiseGT; " is transformed to "compare x y = compare3 x y; " "compare2 x y True = EQ; compare2 x y False = compare1 x y (x <= y); " "compare0 x y True = GT; " "compare1 x y True = LT; compare1 x y False = compare0 x y otherwise; " "compare3 x y = compare2 x y (x == y); " ---------------------------------------- (8) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (9) LetRed (EQUIVALENT) Let/Where Reductions: The bindings of the following Let/Where expression "gcd' (abs x) (abs y) where { gcd' x zx = gcd'2 x zx; gcd' x y = gcd'0 x y; ; gcd'0 x y = gcd' y (x `rem` y); ; gcd'1 True x zx = x; gcd'1 zy zz vuu = gcd'0 zz vuu; ; gcd'2 x zx = gcd'1 (zx == 0) x zx; gcd'2 vuv vuw = gcd'0 vuv vuw; } " are unpacked to the following functions on top level "gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y); " "gcd0Gcd'2 x zx = gcd0Gcd'1 (zx == 0) x zx; gcd0Gcd'2 vuv vuw = gcd0Gcd'0 vuv vuw; " "gcd0Gcd'1 True x zx = x; gcd0Gcd'1 zy zz vuu = gcd0Gcd'0 zz vuu; " "gcd0Gcd' x zx = gcd0Gcd'2 x zx; gcd0Gcd' x y = gcd0Gcd'0 x y; " The bindings of the following Let/Where expression "reduce1 x y (y == 0) where { d = gcd x y; ; reduce0 x y True = x `quot` d :% (y `quot` d); ; reduce1 x y True = error []; reduce1 x y False = reduce0 x y otherwise; } " are unpacked to the following functions on top level "reduce2D vwv vww = gcd vwv vww; " "reduce2Reduce1 vwv vww x y True = error []; reduce2Reduce1 vwv vww x y False = reduce2Reduce0 vwv vww x y otherwise; " "reduce2Reduce0 vwv vww x y True = x `quot` reduce2D vwv vww :% (y `quot` reduce2D vwv vww); " ---------------------------------------- (10) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (11) NumRed (SOUND) Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. ---------------------------------------- (12) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (13) Narrow (SOUND) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="showSigned",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="showSigned vwx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 4[label="showSigned vwx3 vwx4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3]; 5[label="showSigned vwx3 vwx4 vwx5",fontsize=16,color="grey",shape="box"];5 -> 6[label="",style="dashed", color="grey", weight=3]; 6[label="showSigned vwx3 vwx4 vwx5 vwx6",fontsize=16,color="black",shape="triangle"];6 -> 7[label="",style="solid", color="black", weight=3]; 7 -> 8[label="",style="dashed", color="red", weight=0]; 7[label="showSigned0 vwx4 vwx3 vwx5 (vwx5 < fromInt (Pos Zero)) vwx6",fontsize=16,color="magenta"];7 -> 9[label="",style="dashed", color="magenta", weight=3]; 7 -> 10[label="",style="dashed", color="magenta", weight=3]; 7 -> 11[label="",style="dashed", color="magenta", weight=3]; 7 -> 12[label="",style="dashed", color="magenta", weight=3]; 7 -> 13[label="",style="dashed", color="magenta", weight=3]; 9[label="vwx6",fontsize=16,color="green",shape="box"];10[label="vwx4",fontsize=16,color="green",shape="box"];11[label="vwx3",fontsize=16,color="green",shape="box"];12[label="vwx5",fontsize=16,color="green",shape="box"];13[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="blue",shape="box"];831[label="< :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 831[label="",style="solid", color="blue", weight=9]; 831 -> 14[label="",style="solid", color="blue", weight=3]; 832[label="< :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 832[label="",style="solid", color="blue", weight=9]; 832 -> 15[label="",style="solid", color="blue", weight=3]; 833[label="< :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 833[label="",style="solid", color="blue", weight=9]; 833 -> 16[label="",style="solid", color="blue", weight=3]; 834[label="< :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 834[label="",style="solid", color="blue", weight=9]; 834 -> 17[label="",style="solid", color="blue", weight=3]; 835[label="< :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];13 -> 835[label="",style="solid", color="blue", weight=9]; 835 -> 18[label="",style="solid", color="blue", weight=3]; 8[label="showSigned0 vwx13 vwx14 vwx15 vwx16 vwx17",fontsize=16,color="burlywood",shape="triangle"];836[label="vwx16/False",fontsize=10,color="white",style="solid",shape="box"];8 -> 836[label="",style="solid", color="burlywood", weight=9]; 836 -> 19[label="",style="solid", color="burlywood", weight=3]; 837[label="vwx16/True",fontsize=10,color="white",style="solid",shape="box"];8 -> 837[label="",style="solid", color="burlywood", weight=9]; 837 -> 20[label="",style="solid", color="burlywood", weight=3]; 14[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];14 -> 21[label="",style="solid", color="black", weight=3]; 15[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];15 -> 22[label="",style="solid", color="black", weight=3]; 16[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];16 -> 23[label="",style="solid", color="black", weight=3]; 17[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];17 -> 24[label="",style="solid", color="black", weight=3]; 18[label="vwx5 < fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];18 -> 25[label="",style="solid", color="black", weight=3]; 19[label="showSigned0 vwx13 vwx14 vwx15 False vwx17",fontsize=16,color="black",shape="box"];19 -> 26[label="",style="solid", color="black", weight=3]; 20[label="showSigned0 vwx13 vwx14 vwx15 True vwx17",fontsize=16,color="black",shape="box"];20 -> 27[label="",style="solid", color="black", weight=3]; 21[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];838[label="vwx5/vwx50 :% vwx51",fontsize=10,color="white",style="solid",shape="box"];21 -> 838[label="",style="solid", color="burlywood", weight=9]; 838 -> 28[label="",style="solid", color="burlywood", weight=3]; 22[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];22 -> 29[label="",style="solid", color="black", weight=3]; 23[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];839[label="vwx5/Integer vwx50",fontsize=10,color="white",style="solid",shape="box"];23 -> 839[label="",style="solid", color="burlywood", weight=9]; 839 -> 30[label="",style="solid", color="burlywood", weight=3]; 24[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];24 -> 31[label="",style="solid", color="black", weight=3]; 25[label="compare vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];25 -> 32[label="",style="solid", color="black", weight=3]; 26[label="vwx14 vwx15 vwx17",fontsize=16,color="green",shape="box"];26 -> 33[label="",style="dashed", color="green", weight=3]; 26 -> 34[label="",style="dashed", color="green", weight=3]; 27 -> 35[label="",style="dashed", color="red", weight=0]; 27[label="showParen (vwx13 > 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))))))))))))))))))))))))))))))))))))))))))))))) . vwx14 (`negate` vwx15)) vwx17",fontsize=16,color="magenta"];27 -> 36[label="",style="dashed", color="magenta", weight=3]; 27 -> 37[label="",style="dashed", color="magenta", weight=3]; 27 -> 38[label="",style="dashed", color="magenta", weight=3]; 27 -> 39[label="",style="dashed", color="magenta", weight=3]; 27 -> 40[label="",style="dashed", color="magenta", weight=3]; 28[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];28 -> 41[label="",style="solid", color="black", weight=3]; 29[label="primCmpInt vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];840[label="vwx5/Pos vwx50",fontsize=10,color="white",style="solid",shape="box"];29 -> 840[label="",style="solid", color="burlywood", weight=9]; 840 -> 42[label="",style="solid", color="burlywood", weight=3]; 841[label="vwx5/Neg vwx50",fontsize=10,color="white",style="solid",shape="box"];29 -> 841[label="",style="solid", color="burlywood", weight=9]; 841 -> 43[label="",style="solid", color="burlywood", weight=3]; 30[label="compare (Integer vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];30 -> 44[label="",style="solid", color="black", weight=3]; 31[label="primCmpFloat vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];842[label="vwx5/Float vwx50 vwx51",fontsize=10,color="white",style="solid",shape="box"];31 -> 842[label="",style="solid", color="burlywood", weight=9]; 842 -> 45[label="",style="solid", color="burlywood", weight=3]; 32[label="primCmpDouble vwx5 (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];843[label="vwx5/Double vwx50 vwx51",fontsize=10,color="white",style="solid",shape="box"];32 -> 843[label="",style="solid", color="burlywood", weight=9]; 843 -> 46[label="",style="solid", color="burlywood", weight=3]; 33[label="vwx15",fontsize=16,color="green",shape="box"];34[label="vwx17",fontsize=16,color="green",shape="box"];36[label="vwx13",fontsize=16,color="green",shape="box"];37[label="vwx15",fontsize=16,color="green",shape="box"];38[label="vwx17",fontsize=16,color="green",shape="box"];39[label="vwx14",fontsize=16,color="green",shape="box"];40[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"];35[label="showParen (vwx19 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) vwx23",fontsize=16,color="black",shape="triangle"];35 -> 47[label="",style="solid", color="black", weight=3]; 41[label="compare (vwx50 :% vwx51) (intToRatio (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];41 -> 48[label="",style="solid", color="black", weight=3]; 42[label="primCmpInt (Pos vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];844[label="vwx50/Succ vwx500",fontsize=10,color="white",style="solid",shape="box"];42 -> 844[label="",style="solid", color="burlywood", weight=9]; 844 -> 49[label="",style="solid", color="burlywood", weight=3]; 845[label="vwx50/Zero",fontsize=10,color="white",style="solid",shape="box"];42 -> 845[label="",style="solid", color="burlywood", weight=9]; 845 -> 50[label="",style="solid", color="burlywood", weight=3]; 43[label="primCmpInt (Neg vwx50) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];846[label="vwx50/Succ vwx500",fontsize=10,color="white",style="solid",shape="box"];43 -> 846[label="",style="solid", color="burlywood", weight=9]; 846 -> 51[label="",style="solid", color="burlywood", weight=3]; 847[label="vwx50/Zero",fontsize=10,color="white",style="solid",shape="box"];43 -> 847[label="",style="solid", color="burlywood", weight=9]; 847 -> 52[label="",style="solid", color="burlywood", weight=3]; 44[label="compare (Integer vwx50) (Integer (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];44 -> 53[label="",style="solid", color="black", weight=3]; 45[label="primCmpFloat (Float vwx50 vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];848[label="vwx51/Pos vwx510",fontsize=10,color="white",style="solid",shape="box"];45 -> 848[label="",style="solid", color="burlywood", weight=9]; 848 -> 54[label="",style="solid", color="burlywood", weight=3]; 849[label="vwx51/Neg vwx510",fontsize=10,color="white",style="solid",shape="box"];45 -> 849[label="",style="solid", color="burlywood", weight=9]; 849 -> 55[label="",style="solid", color="burlywood", weight=3]; 46[label="primCmpDouble (Double vwx50 vwx51) (fromInt (Pos Zero)) == LT",fontsize=16,color="burlywood",shape="box"];850[label="vwx51/Pos vwx510",fontsize=10,color="white",style="solid",shape="box"];46 -> 850[label="",style="solid", color="burlywood", weight=9]; 850 -> 56[label="",style="solid", color="burlywood", weight=3]; 851[label="vwx51/Neg vwx510",fontsize=10,color="white",style="solid",shape="box"];46 -> 851[label="",style="solid", color="burlywood", weight=9]; 851 -> 57[label="",style="solid", color="burlywood", weight=3]; 47[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (vwx19 > Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) vwx23",fontsize=16,color="black",shape="box"];47 -> 58[label="",style="solid", color="black", weight=3]; 48[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="blue",shape="box"];852[label="fromInt :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];48 -> 852[label="",style="solid", color="blue", weight=9]; 852 -> 59[label="",style="solid", color="blue", weight=3]; 853[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];48 -> 853[label="",style="solid", color="blue", weight=9]; 853 -> 60[label="",style="solid", color="blue", weight=3]; 49[label="primCmpInt (Pos (Succ vwx500)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];49 -> 61[label="",style="solid", color="black", weight=3]; 50[label="primCmpInt (Pos Zero) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];50 -> 62[label="",style="solid", color="black", weight=3]; 51[label="primCmpInt (Neg (Succ vwx500)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];51 -> 63[label="",style="solid", color="black", weight=3]; 52[label="primCmpInt (Neg Zero) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];52 -> 64[label="",style="solid", color="black", weight=3]; 53[label="primCmpInt vwx50 (Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];854[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];53 -> 854[label="",style="solid", color="burlywood", weight=9]; 854 -> 65[label="",style="solid", color="burlywood", weight=3]; 855[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];53 -> 855[label="",style="solid", color="burlywood", weight=9]; 855 -> 66[label="",style="solid", color="burlywood", weight=3]; 54[label="primCmpFloat (Float vwx50 (Pos vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];54 -> 67[label="",style="solid", color="black", weight=3]; 55[label="primCmpFloat (Float vwx50 (Neg vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];55 -> 68[label="",style="solid", color="black", weight=3]; 56[label="primCmpDouble (Double vwx50 (Pos vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];56 -> 69[label="",style="solid", color="black", weight=3]; 57[label="primCmpDouble (Double vwx50 (Neg vwx510)) (fromInt (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];57 -> 70[label="",style="solid", color="black", weight=3]; 58[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (compare vwx19 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];58 -> 71[label="",style="solid", color="black", weight=3]; 59[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];59 -> 72[label="",style="solid", color="black", weight=3]; 60[label="compare (vwx50 :% vwx51) (fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];60 -> 73[label="",style="solid", color="black", weight=3]; 61 -> 53[label="",style="dashed", color="red", weight=0]; 61[label="primCmpInt (Pos (Succ vwx500)) (Pos Zero) == LT",fontsize=16,color="magenta"];61 -> 74[label="",style="dashed", color="magenta", weight=3]; 62 -> 53[label="",style="dashed", color="red", weight=0]; 62[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];62 -> 75[label="",style="dashed", color="magenta", weight=3]; 63 -> 53[label="",style="dashed", color="red", weight=0]; 63[label="primCmpInt (Neg (Succ vwx500)) (Pos Zero) == LT",fontsize=16,color="magenta"];63 -> 76[label="",style="dashed", color="magenta", weight=3]; 64 -> 53[label="",style="dashed", color="red", weight=0]; 64[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];64 -> 77[label="",style="dashed", color="magenta", weight=3]; 65[label="primCmpInt (Pos vwx500) (Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];856[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];65 -> 856[label="",style="solid", color="burlywood", weight=9]; 856 -> 78[label="",style="solid", color="burlywood", weight=3]; 857[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];65 -> 857[label="",style="solid", color="burlywood", weight=9]; 857 -> 79[label="",style="solid", color="burlywood", weight=3]; 66[label="primCmpInt (Neg vwx500) (Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];858[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];66 -> 858[label="",style="solid", color="burlywood", weight=9]; 858 -> 80[label="",style="solid", color="burlywood", weight=3]; 859[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];66 -> 859[label="",style="solid", color="burlywood", weight=9]; 859 -> 81[label="",style="solid", color="burlywood", weight=3]; 67[label="primCmpFloat (Float vwx50 (Pos vwx510)) (primIntToFloat (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];67 -> 82[label="",style="solid", color="black", weight=3]; 68[label="primCmpFloat (Float vwx50 (Neg vwx510)) (primIntToFloat (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];68 -> 83[label="",style="solid", color="black", weight=3]; 69[label="primCmpDouble (Double vwx50 (Pos vwx510)) (primIntToDouble (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];69 -> 84[label="",style="solid", color="black", weight=3]; 70[label="primCmpDouble (Double vwx50 (Neg vwx510)) (primIntToDouble (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];70 -> 85[label="",style="solid", color="black", weight=3]; 71[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt vwx19 (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];860[label="vwx19/Pos vwx190",fontsize=10,color="white",style="solid",shape="box"];71 -> 860[label="",style="solid", color="burlywood", weight=9]; 860 -> 86[label="",style="solid", color="burlywood", weight=3]; 861[label="vwx19/Neg vwx190",fontsize=10,color="white",style="solid",shape="box"];71 -> 861[label="",style="solid", color="burlywood", weight=9]; 861 -> 87[label="",style="solid", color="burlywood", weight=3]; 72[label="compare (vwx50 :% vwx51) (Integer (Pos Zero) :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];72 -> 88[label="",style="solid", color="black", weight=3]; 73[label="compare (vwx50 :% vwx51) (Pos Zero :% fromInt (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];73 -> 89[label="",style="solid", color="black", weight=3]; 74[label="Pos (Succ vwx500)",fontsize=16,color="green",shape="box"];75[label="Pos Zero",fontsize=16,color="green",shape="box"];76[label="Neg (Succ vwx500)",fontsize=16,color="green",shape="box"];77[label="Neg Zero",fontsize=16,color="green",shape="box"];78[label="primCmpInt (Pos (Succ vwx5000)) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];78 -> 90[label="",style="solid", color="black", weight=3]; 79[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];79 -> 91[label="",style="solid", color="black", weight=3]; 80[label="primCmpInt (Neg (Succ vwx5000)) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];80 -> 92[label="",style="solid", color="black", weight=3]; 81[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="black",shape="box"];81 -> 93[label="",style="solid", color="black", weight=3]; 82[label="primCmpFloat (Float vwx50 (Pos vwx510)) (Float (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];82 -> 94[label="",style="solid", color="black", weight=3]; 83[label="primCmpFloat (Float vwx50 (Neg vwx510)) (Float (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];83 -> 95[label="",style="solid", color="black", weight=3]; 84[label="primCmpDouble (Double vwx50 (Pos vwx510)) (Double (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];84 -> 96[label="",style="solid", color="black", weight=3]; 85[label="primCmpDouble (Double vwx50 (Neg vwx510)) (Double (Pos Zero) (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];85 -> 97[label="",style="solid", color="black", weight=3]; 86[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos vwx190) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];862[label="vwx190/Succ vwx1900",fontsize=10,color="white",style="solid",shape="box"];86 -> 862[label="",style="solid", color="burlywood", weight=9]; 862 -> 98[label="",style="solid", color="burlywood", weight=3]; 863[label="vwx190/Zero",fontsize=10,color="white",style="solid",shape="box"];86 -> 863[label="",style="solid", color="burlywood", weight=9]; 863 -> 99[label="",style="solid", color="burlywood", weight=3]; 87[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg vwx190) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];864[label="vwx190/Succ vwx1900",fontsize=10,color="white",style="solid",shape="box"];87 -> 864[label="",style="solid", color="burlywood", weight=9]; 864 -> 100[label="",style="solid", color="burlywood", weight=3]; 865[label="vwx190/Zero",fontsize=10,color="white",style="solid",shape="box"];87 -> 865[label="",style="solid", color="burlywood", weight=9]; 865 -> 101[label="",style="solid", color="burlywood", weight=3]; 88[label="compare (vwx50 :% vwx51) (Integer (Pos Zero) :% Integer (Pos (Succ Zero))) == LT",fontsize=16,color="black",shape="box"];88 -> 102[label="",style="solid", color="black", weight=3]; 89[label="compare (vwx50 :% vwx51) (Pos Zero :% Pos (Succ Zero)) == LT",fontsize=16,color="black",shape="box"];89 -> 103[label="",style="solid", color="black", weight=3]; 90[label="primCmpNat (Succ vwx5000) Zero == LT",fontsize=16,color="black",shape="triangle"];90 -> 104[label="",style="solid", color="black", weight=3]; 91[label="EQ == LT",fontsize=16,color="black",shape="triangle"];91 -> 105[label="",style="solid", color="black", weight=3]; 92[label="LT == LT",fontsize=16,color="black",shape="triangle"];92 -> 106[label="",style="solid", color="black", weight=3]; 93 -> 91[label="",style="dashed", color="red", weight=0]; 93[label="EQ == LT",fontsize=16,color="magenta"];94[label="compare (vwx50 * Pos (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="triangle"];94 -> 107[label="",style="solid", color="black", weight=3]; 95[label="compare (vwx50 * Neg (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="triangle"];95 -> 108[label="",style="solid", color="black", weight=3]; 96 -> 94[label="",style="dashed", color="red", weight=0]; 96[label="compare (vwx50 * Pos (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];96 -> 109[label="",style="dashed", color="magenta", weight=3]; 96 -> 110[label="",style="dashed", color="magenta", weight=3]; 97 -> 95[label="",style="dashed", color="red", weight=0]; 97[label="compare (vwx50 * Neg (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];97 -> 111[label="",style="dashed", color="magenta", weight=3]; 97 -> 112[label="",style="dashed", color="magenta", weight=3]; 98[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos (Succ vwx1900)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];98 -> 113[label="",style="solid", color="black", weight=3]; 99[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];99 -> 114[label="",style="solid", color="black", weight=3]; 100[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg (Succ vwx1900)) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];100 -> 115[label="",style="solid", color="black", weight=3]; 101[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpInt (Neg Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))) == GT) vwx23",fontsize=16,color="black",shape="box"];101 -> 116[label="",style="solid", color="black", weight=3]; 102[label="compare (vwx50 * Integer (Pos (Succ Zero))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];866[label="vwx50/Integer vwx500",fontsize=10,color="white",style="solid",shape="box"];102 -> 866[label="",style="solid", color="burlywood", weight=9]; 866 -> 117[label="",style="solid", color="burlywood", weight=3]; 103[label="compare (vwx50 * Pos (Succ Zero)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];103 -> 118[label="",style="solid", color="black", weight=3]; 104[label="GT == LT",fontsize=16,color="black",shape="triangle"];104 -> 119[label="",style="solid", color="black", weight=3]; 105[label="False",fontsize=16,color="green",shape="box"];106[label="True",fontsize=16,color="green",shape="box"];107[label="primCmpInt (vwx50 * Pos (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];107 -> 120[label="",style="solid", color="black", weight=3]; 108[label="primCmpInt (vwx50 * Neg (Succ Zero)) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];108 -> 121[label="",style="solid", color="black", weight=3]; 109[label="vwx510",fontsize=16,color="green",shape="box"];110[label="vwx50",fontsize=16,color="green",shape="box"];111[label="vwx510",fontsize=16,color="green",shape="box"];112[label="vwx50",fontsize=16,color="green",shape="box"];113[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900) (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vwx23",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3]; 114[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))) == GT) vwx23",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3]; 115[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="black",shape="triangle"];115 -> 124[label="",style="solid", color="black", weight=3]; 116 -> 115[label="",style="dashed", color="red", weight=0]; 116[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];117[label="compare (Integer vwx500 * Integer (Pos (Succ Zero))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="black",shape="box"];117 -> 125[label="",style="solid", color="black", weight=3]; 118[label="primCmpInt (vwx50 * Pos (Succ Zero)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];118 -> 126[label="",style="solid", color="black", weight=3]; 119[label="False",fontsize=16,color="green",shape="box"];120[label="primCmpInt (primMulInt vwx50 (Pos (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];867[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];120 -> 867[label="",style="solid", color="burlywood", weight=9]; 867 -> 127[label="",style="solid", color="burlywood", weight=3]; 868[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];120 -> 868[label="",style="solid", color="burlywood", weight=9]; 868 -> 128[label="",style="solid", color="burlywood", weight=3]; 121[label="primCmpInt (primMulInt vwx50 (Neg (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="box"];869[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];121 -> 869[label="",style="solid", color="burlywood", weight=9]; 869 -> 129[label="",style="solid", color="burlywood", weight=3]; 870[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];121 -> 870[label="",style="solid", color="burlywood", weight=9]; 870 -> 130[label="",style="solid", color="burlywood", weight=3]; 122[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx1900 (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];871[label="vwx1900/Succ vwx19000",fontsize=10,color="white",style="solid",shape="box"];122 -> 871[label="",style="solid", color="burlywood", weight=9]; 871 -> 131[label="",style="solid", color="burlywood", weight=3]; 872[label="vwx1900/Zero",fontsize=10,color="white",style="solid",shape="box"];122 -> 872[label="",style="solid", color="burlywood", weight=9]; 872 -> 132[label="",style="solid", color="burlywood", weight=3]; 123 -> 115[label="",style="dashed", color="red", weight=0]; 123[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];124[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) False vwx23",fontsize=16,color="black",shape="triangle"];124 -> 133[label="",style="solid", color="black", weight=3]; 125[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (Pos Zero) * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];873[label="vwx51/Integer vwx510",fontsize=10,color="white",style="solid",shape="box"];125 -> 873[label="",style="solid", color="burlywood", weight=9]; 873 -> 134[label="",style="solid", color="burlywood", weight=3]; 126[label="primCmpInt (primMulInt vwx50 (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="box"];874[label="vwx50/Pos vwx500",fontsize=10,color="white",style="solid",shape="box"];126 -> 874[label="",style="solid", color="burlywood", weight=9]; 874 -> 135[label="",style="solid", color="burlywood", weight=3]; 875[label="vwx50/Neg vwx500",fontsize=10,color="white",style="solid",shape="box"];126 -> 875[label="",style="solid", color="burlywood", weight=9]; 875 -> 136[label="",style="solid", color="burlywood", weight=3]; 127[label="primCmpInt (primMulInt (Pos vwx500) (Pos (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];127 -> 137[label="",style="solid", color="black", weight=3]; 128[label="primCmpInt (primMulInt (Neg vwx500) (Pos (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];128 -> 138[label="",style="solid", color="black", weight=3]; 129[label="primCmpInt (primMulInt (Pos vwx500) (Neg (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];129 -> 139[label="",style="solid", color="black", weight=3]; 130[label="primCmpInt (primMulInt (Neg vwx500) (Neg (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];130 -> 140[label="",style="solid", color="black", weight=3]; 131[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx19000) (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23",fontsize=16,color="black",shape="box"];131 -> 141[label="",style="solid", color="black", weight=3]; 132[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ (Succ Zero))))) == GT) vwx23",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3]; 133[label="(showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)",fontsize=16,color="black",shape="triangle"];133 -> 143[label="",style="solid", color="black", weight=3]; 134[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (Pos Zero) * Integer vwx510) == LT",fontsize=16,color="black",shape="box"];134 -> 144[label="",style="solid", color="black", weight=3]; 135[label="primCmpInt (primMulInt (Pos vwx500) (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];135 -> 145[label="",style="solid", color="black", weight=3]; 136[label="primCmpInt (primMulInt (Neg vwx500) (Pos (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];136 -> 146[label="",style="solid", color="black", weight=3]; 137[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];876[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];137 -> 876[label="",style="solid", color="burlywood", weight=9]; 876 -> 147[label="",style="solid", color="burlywood", weight=3]; 877[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];137 -> 877[label="",style="solid", color="burlywood", weight=9]; 877 -> 148[label="",style="solid", color="burlywood", weight=3]; 138[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];878[label="vwx500/Succ vwx5000",fontsize=10,color="white",style="solid",shape="box"];138 -> 878[label="",style="solid", color="burlywood", weight=9]; 878 -> 149[label="",style="solid", color="burlywood", weight=3]; 879[label="vwx500/Zero",fontsize=10,color="white",style="solid",shape="box"];138 -> 879[label="",style="solid", color="burlywood", weight=9]; 879 -> 150[label="",style="solid", color="burlywood", weight=3]; 139 -> 138[label="",style="dashed", color="red", weight=0]; 139[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];139 -> 151[label="",style="dashed", color="magenta", weight=3]; 139 -> 152[label="",style="dashed", color="magenta", weight=3]; 140 -> 137[label="",style="dashed", color="red", weight=0]; 140[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];140 -> 153[label="",style="dashed", color="magenta", weight=3]; 140 -> 154[label="",style="dashed", color="magenta", weight=3]; 141[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx19000 (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];880[label="vwx19000/Succ vwx190000",fontsize=10,color="white",style="solid",shape="box"];141 -> 880[label="",style="solid", color="burlywood", weight=9]; 880 -> 155[label="",style="solid", color="burlywood", weight=3]; 881[label="vwx19000/Zero",fontsize=10,color="white",style="solid",shape="box"];141 -> 881[label="",style="solid", color="burlywood", weight=9]; 881 -> 156[label="",style="solid", color="burlywood", weight=3]; 142 -> 115[label="",style="dashed", color="red", weight=0]; 142[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];143[label="showChar (Char (Succ vwx20)) (vwx21 (`negate` vwx22) vwx23)",fontsize=16,color="black",shape="box"];143 -> 157[label="",style="solid", color="black", weight=3]; 144[label="compare (Integer (primMulInt vwx500 (Pos (Succ Zero)))) (Integer (primMulInt (Pos Zero) vwx510)) == LT",fontsize=16,color="black",shape="box"];144 -> 158[label="",style="solid", color="black", weight=3]; 145 -> 683[label="",style="dashed", color="red", weight=0]; 145[label="primCmpInt (Pos (primMulNat vwx500 (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="magenta"];145 -> 684[label="",style="dashed", color="magenta", weight=3]; 146 -> 723[label="",style="dashed", color="red", weight=0]; 146[label="primCmpInt (Neg (primMulNat vwx500 (Succ Zero))) (Pos Zero * vwx51) == LT",fontsize=16,color="magenta"];146 -> 724[label="",style="dashed", color="magenta", weight=3]; 147[label="primCmpInt (Pos (primMulNat (Succ vwx5000) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];147 -> 163[label="",style="solid", color="black", weight=3]; 148[label="primCmpInt (Pos (primMulNat Zero (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];148 -> 164[label="",style="solid", color="black", weight=3]; 149[label="primCmpInt (Neg (primMulNat (Succ vwx5000) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];149 -> 165[label="",style="solid", color="black", weight=3]; 150[label="primCmpInt (Neg (primMulNat Zero (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];150 -> 166[label="",style="solid", color="black", weight=3]; 151[label="vwx500",fontsize=16,color="green",shape="box"];152[label="vwx510",fontsize=16,color="green",shape="box"];153[label="vwx510",fontsize=16,color="green",shape="box"];154[label="vwx500",fontsize=16,color="green",shape="box"];155[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx190000) (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23",fontsize=16,color="black",shape="box"];155 -> 167[label="",style="solid", color="black", weight=3]; 156[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ (Succ Zero)))) == GT) vwx23",fontsize=16,color="black",shape="box"];156 -> 168[label="",style="solid", color="black", weight=3]; 157[label="(:) Char (Succ vwx20) vwx21 (`negate` vwx22) vwx23",fontsize=16,color="green",shape="box"];157 -> 169[label="",style="dashed", color="green", weight=3]; 158[label="primCmpInt (primMulInt vwx500 (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];882[label="vwx500/Pos vwx5000",fontsize=10,color="white",style="solid",shape="box"];158 -> 882[label="",style="solid", color="burlywood", weight=9]; 882 -> 170[label="",style="solid", color="burlywood", weight=3]; 883[label="vwx500/Neg vwx5000",fontsize=10,color="white",style="solid",shape="box"];158 -> 883[label="",style="solid", color="burlywood", weight=9]; 883 -> 171[label="",style="solid", color="burlywood", weight=3]; 684 -> 505[label="",style="dashed", color="red", weight=0]; 684[label="primMulNat vwx500 (Succ Zero)",fontsize=16,color="magenta"];684 -> 705[label="",style="dashed", color="magenta", weight=3]; 683[label="primCmpInt (Pos vwx46) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="triangle"];884[label="vwx46/Succ vwx460",fontsize=10,color="white",style="solid",shape="box"];683 -> 884[label="",style="solid", color="burlywood", weight=9]; 884 -> 706[label="",style="solid", color="burlywood", weight=3]; 885[label="vwx46/Zero",fontsize=10,color="white",style="solid",shape="box"];683 -> 885[label="",style="solid", color="burlywood", weight=9]; 885 -> 707[label="",style="solid", color="burlywood", weight=3]; 724 -> 505[label="",style="dashed", color="red", weight=0]; 724[label="primMulNat vwx500 (Succ Zero)",fontsize=16,color="magenta"];724 -> 745[label="",style="dashed", color="magenta", weight=3]; 723[label="primCmpInt (Neg vwx53) (Pos Zero * vwx51) == LT",fontsize=16,color="burlywood",shape="triangle"];886[label="vwx53/Succ vwx530",fontsize=10,color="white",style="solid",shape="box"];723 -> 886[label="",style="solid", color="burlywood", weight=9]; 886 -> 746[label="",style="solid", color="burlywood", weight=3]; 887[label="vwx53/Zero",fontsize=10,color="white",style="solid",shape="box"];723 -> 887[label="",style="solid", color="burlywood", weight=9]; 887 -> 747[label="",style="solid", color="burlywood", weight=3]; 163 -> 503[label="",style="dashed", color="red", weight=0]; 163[label="primCmpInt (Pos (primPlusNat (primMulNat vwx5000 (Succ Zero)) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];163 -> 504[label="",style="dashed", color="magenta", weight=3]; 163 -> 505[label="",style="dashed", color="magenta", weight=3]; 164[label="primCmpInt (Pos Zero) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];164 -> 178[label="",style="solid", color="black", weight=3]; 165 -> 546[label="",style="dashed", color="red", weight=0]; 165[label="primCmpInt (Neg (primPlusNat (primMulNat vwx5000 (Succ Zero)) (Succ Zero))) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="magenta"];165 -> 547[label="",style="dashed", color="magenta", weight=3]; 165 -> 548[label="",style="dashed", color="magenta", weight=3]; 166[label="primCmpInt (Neg Zero) (Pos vwx510 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];166 -> 181[label="",style="solid", color="black", weight=3]; 167[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx190000 (Succ (Succ (Succ Zero))) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];888[label="vwx190000/Succ vwx1900000",fontsize=10,color="white",style="solid",shape="box"];167 -> 888[label="",style="solid", color="burlywood", weight=9]; 888 -> 182[label="",style="solid", color="burlywood", weight=3]; 889[label="vwx190000/Zero",fontsize=10,color="white",style="solid",shape="box"];167 -> 889[label="",style="solid", color="burlywood", weight=9]; 889 -> 183[label="",style="solid", color="burlywood", weight=3]; 168 -> 115[label="",style="dashed", color="red", weight=0]; 168[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];169[label="vwx21 (`negate` vwx22) vwx23",fontsize=16,color="green",shape="box"];169 -> 184[label="",style="dashed", color="green", weight=3]; 169 -> 185[label="",style="dashed", color="green", weight=3]; 170[label="primCmpInt (primMulInt (Pos vwx5000) (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="black",shape="box"];170 -> 186[label="",style="solid", color="black", weight=3]; 171[label="primCmpInt (primMulInt (Neg vwx5000) (Pos (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="black",shape="box"];171 -> 187[label="",style="solid", color="black", weight=3]; 705[label="vwx500",fontsize=16,color="green",shape="box"];505[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];890[label="vwx5000/Succ vwx50000",fontsize=10,color="white",style="solid",shape="box"];505 -> 890[label="",style="solid", color="burlywood", weight=9]; 890 -> 536[label="",style="solid", color="burlywood", weight=3]; 891[label="vwx5000/Zero",fontsize=10,color="white",style="solid",shape="box"];505 -> 891[label="",style="solid", color="burlywood", weight=9]; 891 -> 537[label="",style="solid", color="burlywood", weight=3]; 706[label="primCmpInt (Pos (Succ vwx460)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];706 -> 748[label="",style="solid", color="black", weight=3]; 707[label="primCmpInt (Pos Zero) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];707 -> 749[label="",style="solid", color="black", weight=3]; 745[label="vwx500",fontsize=16,color="green",shape="box"];746[label="primCmpInt (Neg (Succ vwx530)) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];746 -> 777[label="",style="solid", color="black", weight=3]; 747[label="primCmpInt (Neg Zero) (Pos Zero * vwx51) == LT",fontsize=16,color="black",shape="box"];747 -> 778[label="",style="solid", color="black", weight=3]; 504[label="vwx510",fontsize=16,color="green",shape="box"];503[label="primCmpInt (Pos (primPlusNat vwx29 (Succ Zero))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];892[label="vwx29/Succ vwx290",fontsize=10,color="white",style="solid",shape="box"];503 -> 892[label="",style="solid", color="burlywood", weight=9]; 892 -> 538[label="",style="solid", color="burlywood", weight=3]; 893[label="vwx29/Zero",fontsize=10,color="white",style="solid",shape="box"];503 -> 893[label="",style="solid", color="burlywood", weight=9]; 893 -> 539[label="",style="solid", color="burlywood", weight=3]; 178[label="primCmpInt (Pos Zero) (primMulInt (Pos vwx510) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];178 -> 196[label="",style="solid", color="black", weight=3]; 547 -> 505[label="",style="dashed", color="red", weight=0]; 547[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];547 -> 581[label="",style="dashed", color="magenta", weight=3]; 548[label="vwx510",fontsize=16,color="green",shape="box"];546[label="primCmpInt (Neg (primPlusNat vwx33 (Succ Zero))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="burlywood",shape="triangle"];894[label="vwx33/Succ vwx330",fontsize=10,color="white",style="solid",shape="box"];546 -> 894[label="",style="solid", color="burlywood", weight=9]; 894 -> 582[label="",style="solid", color="burlywood", weight=3]; 895[label="vwx33/Zero",fontsize=10,color="white",style="solid",shape="box"];546 -> 895[label="",style="solid", color="burlywood", weight=9]; 895 -> 583[label="",style="solid", color="burlywood", weight=3]; 181[label="primCmpInt (Neg Zero) (primMulInt (Pos vwx510) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];181 -> 199[label="",style="solid", color="black", weight=3]; 182[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900000) (Succ (Succ (Succ Zero))) == GT) vwx23",fontsize=16,color="black",shape="box"];182 -> 200[label="",style="solid", color="black", weight=3]; 183[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ (Succ Zero))) == GT) vwx23",fontsize=16,color="black",shape="box"];183 -> 201[label="",style="solid", color="black", weight=3]; 184[label="`negate` vwx22",fontsize=16,color="blue",shape="box"];896[label="negate :: Double -> Double",fontsize=10,color="white",style="solid",shape="box"];184 -> 896[label="",style="solid", color="blue", weight=9]; 896 -> 202[label="",style="solid", color="blue", weight=3]; 897[label="negate :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];184 -> 897[label="",style="solid", color="blue", weight=9]; 897 -> 203[label="",style="solid", color="blue", weight=3]; 898[label="negate :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];184 -> 898[label="",style="solid", color="blue", weight=9]; 898 -> 204[label="",style="solid", color="blue", weight=3]; 899[label="negate :: (Ratio a) -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];184 -> 899[label="",style="solid", color="blue", weight=9]; 899 -> 205[label="",style="solid", color="blue", weight=3]; 900[label="negate :: Float -> Float",fontsize=10,color="white",style="solid",shape="box"];184 -> 900[label="",style="solid", color="blue", weight=9]; 900 -> 206[label="",style="solid", color="blue", weight=3]; 185[label="vwx23",fontsize=16,color="green",shape="box"];186 -> 607[label="",style="dashed", color="red", weight=0]; 186[label="primCmpInt (Pos (primMulNat vwx5000 (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="magenta"];186 -> 608[label="",style="dashed", color="magenta", weight=3]; 187 -> 642[label="",style="dashed", color="red", weight=0]; 187[label="primCmpInt (Neg (primMulNat vwx5000 (Succ Zero))) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="magenta"];187 -> 643[label="",style="dashed", color="magenta", weight=3]; 536[label="primMulNat (Succ vwx50000) (Succ Zero)",fontsize=16,color="black",shape="box"];536 -> 542[label="",style="solid", color="black", weight=3]; 537[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];537 -> 543[label="",style="solid", color="black", weight=3]; 748 -> 607[label="",style="dashed", color="red", weight=0]; 748[label="primCmpInt (Pos (Succ vwx460)) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];748 -> 779[label="",style="dashed", color="magenta", weight=3]; 748 -> 780[label="",style="dashed", color="magenta", weight=3]; 749 -> 607[label="",style="dashed", color="red", weight=0]; 749[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];749 -> 781[label="",style="dashed", color="magenta", weight=3]; 749 -> 782[label="",style="dashed", color="magenta", weight=3]; 777 -> 642[label="",style="dashed", color="red", weight=0]; 777[label="primCmpInt (Neg (Succ vwx530)) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];777 -> 798[label="",style="dashed", color="magenta", weight=3]; 777 -> 799[label="",style="dashed", color="magenta", weight=3]; 778 -> 642[label="",style="dashed", color="red", weight=0]; 778[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) vwx51) == LT",fontsize=16,color="magenta"];778 -> 800[label="",style="dashed", color="magenta", weight=3]; 778 -> 801[label="",style="dashed", color="magenta", weight=3]; 538[label="primCmpInt (Pos (primPlusNat (Succ vwx290) (Succ Zero))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];538 -> 544[label="",style="solid", color="black", weight=3]; 539[label="primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];539 -> 545[label="",style="solid", color="black", weight=3]; 196[label="primCmpInt (Pos Zero) (Pos (primMulNat vwx510 Zero)) == LT",fontsize=16,color="burlywood",shape="box"];901[label="vwx510/Succ vwx5100",fontsize=10,color="white",style="solid",shape="box"];196 -> 901[label="",style="solid", color="burlywood", weight=9]; 901 -> 222[label="",style="solid", color="burlywood", weight=3]; 902[label="vwx510/Zero",fontsize=10,color="white",style="solid",shape="box"];196 -> 902[label="",style="solid", color="burlywood", weight=9]; 902 -> 223[label="",style="solid", color="burlywood", weight=3]; 581[label="vwx5000",fontsize=16,color="green",shape="box"];582[label="primCmpInt (Neg (primPlusNat (Succ vwx330) (Succ Zero))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];582 -> 586[label="",style="solid", color="black", weight=3]; 583[label="primCmpInt (Neg (primPlusNat Zero (Succ Zero))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];583 -> 587[label="",style="solid", color="black", weight=3]; 199[label="primCmpInt (Neg Zero) (Pos (primMulNat vwx510 Zero)) == LT",fontsize=16,color="burlywood",shape="box"];903[label="vwx510/Succ vwx5100",fontsize=10,color="white",style="solid",shape="box"];199 -> 903[label="",style="solid", color="burlywood", weight=9]; 903 -> 227[label="",style="solid", color="burlywood", weight=3]; 904[label="vwx510/Zero",fontsize=10,color="white",style="solid",shape="box"];199 -> 904[label="",style="solid", color="burlywood", weight=9]; 904 -> 228[label="",style="solid", color="burlywood", weight=3]; 200[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx1900000 (Succ (Succ Zero)) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];905[label="vwx1900000/Succ vwx19000000",fontsize=10,color="white",style="solid",shape="box"];200 -> 905[label="",style="solid", color="burlywood", weight=9]; 905 -> 229[label="",style="solid", color="burlywood", weight=3]; 906[label="vwx1900000/Zero",fontsize=10,color="white",style="solid",shape="box"];200 -> 906[label="",style="solid", color="burlywood", weight=9]; 906 -> 230[label="",style="solid", color="burlywood", weight=3]; 201 -> 115[label="",style="dashed", color="red", weight=0]; 201[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];202[label="`negate` vwx22",fontsize=16,color="black",shape="box"];202 -> 231[label="",style="solid", color="black", weight=3]; 203[label="`negate` vwx22",fontsize=16,color="burlywood",shape="triangle"];907[label="vwx22/Integer vwx220",fontsize=10,color="white",style="solid",shape="box"];203 -> 907[label="",style="solid", color="burlywood", weight=9]; 907 -> 232[label="",style="solid", color="burlywood", weight=3]; 204[label="`negate` vwx22",fontsize=16,color="black",shape="triangle"];204 -> 233[label="",style="solid", color="black", weight=3]; 205[label="`negate` vwx22",fontsize=16,color="burlywood",shape="box"];908[label="vwx22/vwx220 :% vwx221",fontsize=10,color="white",style="solid",shape="box"];205 -> 908[label="",style="solid", color="burlywood", weight=9]; 908 -> 234[label="",style="solid", color="burlywood", weight=3]; 206[label="`negate` vwx22",fontsize=16,color="black",shape="box"];206 -> 235[label="",style="solid", color="black", weight=3]; 608 -> 505[label="",style="dashed", color="red", weight=0]; 608[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];608 -> 631[label="",style="dashed", color="magenta", weight=3]; 607[label="primCmpInt (Pos vwx42) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="triangle"];909[label="vwx42/Succ vwx420",fontsize=10,color="white",style="solid",shape="box"];607 -> 909[label="",style="solid", color="burlywood", weight=9]; 909 -> 632[label="",style="solid", color="burlywood", weight=3]; 910[label="vwx42/Zero",fontsize=10,color="white",style="solid",shape="box"];607 -> 910[label="",style="solid", color="burlywood", weight=9]; 910 -> 633[label="",style="solid", color="burlywood", weight=3]; 643 -> 505[label="",style="dashed", color="red", weight=0]; 643[label="primMulNat vwx5000 (Succ Zero)",fontsize=16,color="magenta"];643 -> 666[label="",style="dashed", color="magenta", weight=3]; 642[label="primCmpInt (Neg vwx44) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="triangle"];911[label="vwx44/Succ vwx440",fontsize=10,color="white",style="solid",shape="box"];642 -> 911[label="",style="solid", color="burlywood", weight=9]; 911 -> 667[label="",style="solid", color="burlywood", weight=3]; 912[label="vwx44/Zero",fontsize=10,color="white",style="solid",shape="box"];642 -> 912[label="",style="solid", color="burlywood", weight=9]; 912 -> 668[label="",style="solid", color="burlywood", weight=3]; 542 -> 584[label="",style="dashed", color="red", weight=0]; 542[label="primPlusNat (primMulNat vwx50000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];542 -> 585[label="",style="dashed", color="magenta", weight=3]; 543[label="Zero",fontsize=16,color="green",shape="box"];779[label="vwx51",fontsize=16,color="green",shape="box"];780[label="Succ vwx460",fontsize=16,color="green",shape="box"];781[label="vwx51",fontsize=16,color="green",shape="box"];782[label="Zero",fontsize=16,color="green",shape="box"];798[label="Succ vwx530",fontsize=16,color="green",shape="box"];799[label="vwx51",fontsize=16,color="green",shape="box"];800[label="Zero",fontsize=16,color="green",shape="box"];801[label="vwx51",fontsize=16,color="green",shape="box"];544[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx290 Zero)))) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];544 -> 588[label="",style="solid", color="black", weight=3]; 545[label="primCmpInt (Pos (Succ Zero)) (Pos vwx30 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];545 -> 589[label="",style="solid", color="black", weight=3]; 222[label="primCmpInt (Pos Zero) (Pos (primMulNat (Succ vwx5100) Zero)) == LT",fontsize=16,color="black",shape="box"];222 -> 253[label="",style="solid", color="black", weight=3]; 223[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];223 -> 254[label="",style="solid", color="black", weight=3]; 586[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx330 Zero)))) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];586 -> 599[label="",style="solid", color="black", weight=3]; 587[label="primCmpInt (Neg (Succ Zero)) (Pos vwx34 * Pos Zero) == LT",fontsize=16,color="black",shape="box"];587 -> 600[label="",style="solid", color="black", weight=3]; 227[label="primCmpInt (Neg Zero) (Pos (primMulNat (Succ vwx5100) Zero)) == LT",fontsize=16,color="black",shape="box"];227 -> 258[label="",style="solid", color="black", weight=3]; 228[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];228 -> 259[label="",style="solid", color="black", weight=3]; 229[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx19000000) (Succ (Succ Zero)) == GT) vwx23",fontsize=16,color="black",shape="box"];229 -> 260[label="",style="solid", color="black", weight=3]; 230[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ (Succ Zero)) == GT) vwx23",fontsize=16,color="black",shape="box"];230 -> 261[label="",style="solid", color="black", weight=3]; 231[label="primNegDouble vwx22",fontsize=16,color="burlywood",shape="box"];913[label="vwx22/Double vwx220 vwx221",fontsize=10,color="white",style="solid",shape="box"];231 -> 913[label="",style="solid", color="burlywood", weight=9]; 913 -> 262[label="",style="solid", color="burlywood", weight=3]; 232[label="`negate` Integer vwx220",fontsize=16,color="black",shape="box"];232 -> 263[label="",style="solid", color="black", weight=3]; 233[label="primNegInt vwx22",fontsize=16,color="burlywood",shape="triangle"];914[label="vwx22/Pos vwx220",fontsize=10,color="white",style="solid",shape="box"];233 -> 914[label="",style="solid", color="burlywood", weight=9]; 914 -> 264[label="",style="solid", color="burlywood", weight=3]; 915[label="vwx22/Neg vwx220",fontsize=10,color="white",style="solid",shape="box"];233 -> 915[label="",style="solid", color="burlywood", weight=9]; 915 -> 265[label="",style="solid", color="burlywood", weight=3]; 234[label="`negate` vwx220 :% vwx221",fontsize=16,color="black",shape="box"];234 -> 266[label="",style="solid", color="black", weight=3]; 235[label="primNegFloat vwx22",fontsize=16,color="burlywood",shape="box"];916[label="vwx22/Float vwx220 vwx221",fontsize=10,color="white",style="solid",shape="box"];235 -> 916[label="",style="solid", color="burlywood", weight=9]; 916 -> 267[label="",style="solid", color="burlywood", weight=3]; 631[label="vwx5000",fontsize=16,color="green",shape="box"];632[label="primCmpInt (Pos (Succ vwx420)) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];917[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];632 -> 917[label="",style="solid", color="burlywood", weight=9]; 917 -> 669[label="",style="solid", color="burlywood", weight=3]; 918[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];632 -> 918[label="",style="solid", color="burlywood", weight=9]; 918 -> 670[label="",style="solid", color="burlywood", weight=3]; 633[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];919[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];633 -> 919[label="",style="solid", color="burlywood", weight=9]; 919 -> 671[label="",style="solid", color="burlywood", weight=3]; 920[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];633 -> 920[label="",style="solid", color="burlywood", weight=9]; 920 -> 672[label="",style="solid", color="burlywood", weight=3]; 666[label="vwx5000",fontsize=16,color="green",shape="box"];667[label="primCmpInt (Neg (Succ vwx440)) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];921[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];667 -> 921[label="",style="solid", color="burlywood", weight=9]; 921 -> 708[label="",style="solid", color="burlywood", weight=3]; 922[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];667 -> 922[label="",style="solid", color="burlywood", weight=9]; 922 -> 709[label="",style="solid", color="burlywood", weight=3]; 668[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) vwx510) == LT",fontsize=16,color="burlywood",shape="box"];923[label="vwx510/Pos vwx5100",fontsize=10,color="white",style="solid",shape="box"];668 -> 923[label="",style="solid", color="burlywood", weight=9]; 923 -> 710[label="",style="solid", color="burlywood", weight=3]; 924[label="vwx510/Neg vwx5100",fontsize=10,color="white",style="solid",shape="box"];668 -> 924[label="",style="solid", color="burlywood", weight=9]; 924 -> 711[label="",style="solid", color="burlywood", weight=3]; 585 -> 505[label="",style="dashed", color="red", weight=0]; 585[label="primMulNat vwx50000 (Succ Zero)",fontsize=16,color="magenta"];585 -> 590[label="",style="dashed", color="magenta", weight=3]; 584[label="primPlusNat vwx35 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];925[label="vwx35/Succ vwx350",fontsize=10,color="white",style="solid",shape="box"];584 -> 925[label="",style="solid", color="burlywood", weight=9]; 925 -> 591[label="",style="solid", color="burlywood", weight=3]; 926[label="vwx35/Zero",fontsize=10,color="white",style="solid",shape="box"];584 -> 926[label="",style="solid", color="burlywood", weight=9]; 926 -> 592[label="",style="solid", color="burlywood", weight=3]; 588[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx290 Zero)))) (primMulInt (Pos vwx30) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];588 -> 601[label="",style="solid", color="black", weight=3]; 589[label="primCmpInt (Pos (Succ Zero)) (primMulInt (Pos vwx30) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];589 -> 602[label="",style="solid", color="black", weight=3]; 253 -> 53[label="",style="dashed", color="red", weight=0]; 253[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];253 -> 292[label="",style="dashed", color="magenta", weight=3]; 254 -> 53[label="",style="dashed", color="red", weight=0]; 254[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];254 -> 293[label="",style="dashed", color="magenta", weight=3]; 599[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx330 Zero)))) (primMulInt (Pos vwx34) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];599 -> 634[label="",style="solid", color="black", weight=3]; 600[label="primCmpInt (Neg (Succ Zero)) (primMulInt (Pos vwx34) (Pos Zero)) == LT",fontsize=16,color="black",shape="box"];600 -> 635[label="",style="solid", color="black", weight=3]; 258 -> 53[label="",style="dashed", color="red", weight=0]; 258[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];258 -> 298[label="",style="dashed", color="magenta", weight=3]; 259 -> 53[label="",style="dashed", color="red", weight=0]; 259[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];259 -> 299[label="",style="dashed", color="magenta", weight=3]; 260[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx19000000 (Succ Zero) == GT) vwx23",fontsize=16,color="burlywood",shape="box"];927[label="vwx19000000/Succ vwx190000000",fontsize=10,color="white",style="solid",shape="box"];260 -> 927[label="",style="solid", color="burlywood", weight=9]; 927 -> 300[label="",style="solid", color="burlywood", weight=3]; 928[label="vwx19000000/Zero",fontsize=10,color="white",style="solid",shape="box"];260 -> 928[label="",style="solid", color="burlywood", weight=9]; 928 -> 301[label="",style="solid", color="burlywood", weight=3]; 261 -> 115[label="",style="dashed", color="red", weight=0]; 261[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];262[label="primNegDouble (Double vwx220 vwx221)",fontsize=16,color="black",shape="box"];262 -> 302[label="",style="solid", color="black", weight=3]; 263[label="Integer (primNegInt vwx220)",fontsize=16,color="green",shape="box"];263 -> 303[label="",style="dashed", color="green", weight=3]; 264[label="primNegInt (Pos vwx220)",fontsize=16,color="black",shape="box"];264 -> 304[label="",style="solid", color="black", weight=3]; 265[label="primNegInt (Neg vwx220)",fontsize=16,color="black",shape="box"];265 -> 305[label="",style="solid", color="black", weight=3]; 266[label="(negate vwx220) :% vwx221",fontsize=16,color="green",shape="box"];266 -> 306[label="",style="dashed", color="green", weight=3]; 267[label="primNegFloat (Float vwx220 vwx221)",fontsize=16,color="black",shape="box"];267 -> 307[label="",style="solid", color="black", weight=3]; 669[label="primCmpInt (Pos (Succ vwx420)) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];669 -> 712[label="",style="solid", color="black", weight=3]; 670[label="primCmpInt (Pos (Succ vwx420)) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];670 -> 713[label="",style="solid", color="black", weight=3]; 671[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];671 -> 714[label="",style="solid", color="black", weight=3]; 672[label="primCmpInt (Pos Zero) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];672 -> 715[label="",style="solid", color="black", weight=3]; 708[label="primCmpInt (Neg (Succ vwx440)) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];708 -> 750[label="",style="solid", color="black", weight=3]; 709[label="primCmpInt (Neg (Succ vwx440)) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];709 -> 751[label="",style="solid", color="black", weight=3]; 710[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Pos vwx5100)) == LT",fontsize=16,color="black",shape="box"];710 -> 752[label="",style="solid", color="black", weight=3]; 711[label="primCmpInt (Neg Zero) (primMulInt (Pos Zero) (Neg vwx5100)) == LT",fontsize=16,color="black",shape="box"];711 -> 753[label="",style="solid", color="black", weight=3]; 590[label="vwx50000",fontsize=16,color="green",shape="box"];591[label="primPlusNat (Succ vwx350) (Succ Zero)",fontsize=16,color="black",shape="box"];591 -> 603[label="",style="solid", color="black", weight=3]; 592[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];592 -> 604[label="",style="solid", color="black", weight=3]; 601[label="primCmpInt (Pos (Succ (Succ (primPlusNat vwx290 Zero)))) (Pos (primMulNat vwx30 Zero)) == LT",fontsize=16,color="black",shape="box"];601 -> 636[label="",style="solid", color="black", weight=3]; 602[label="primCmpInt (Pos (Succ Zero)) (Pos (primMulNat vwx30 Zero)) == LT",fontsize=16,color="black",shape="box"];602 -> 637[label="",style="solid", color="black", weight=3]; 292[label="Pos Zero",fontsize=16,color="green",shape="box"];293[label="Pos Zero",fontsize=16,color="green",shape="box"];634[label="primCmpInt (Neg (Succ (Succ (primPlusNat vwx330 Zero)))) (Pos (primMulNat vwx34 Zero)) == LT",fontsize=16,color="black",shape="box"];634 -> 673[label="",style="solid", color="black", weight=3]; 635[label="primCmpInt (Neg (Succ Zero)) (Pos (primMulNat vwx34 Zero)) == LT",fontsize=16,color="black",shape="box"];635 -> 674[label="",style="solid", color="black", weight=3]; 298[label="Neg Zero",fontsize=16,color="green",shape="box"];299[label="Neg Zero",fontsize=16,color="green",shape="box"];300[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx190000000) (Succ Zero) == GT) vwx23",fontsize=16,color="black",shape="box"];300 -> 338[label="",style="solid", color="black", weight=3]; 301[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero (Succ Zero) == GT) vwx23",fontsize=16,color="black",shape="box"];301 -> 339[label="",style="solid", color="black", weight=3]; 302[label="Double (`negate` vwx220) vwx221",fontsize=16,color="green",shape="box"];302 -> 340[label="",style="dashed", color="green", weight=3]; 303 -> 233[label="",style="dashed", color="red", weight=0]; 303[label="primNegInt vwx220",fontsize=16,color="magenta"];303 -> 341[label="",style="dashed", color="magenta", weight=3]; 304[label="Neg vwx220",fontsize=16,color="green",shape="box"];305[label="Pos vwx220",fontsize=16,color="green",shape="box"];306[label="negate vwx220",fontsize=16,color="blue",shape="box"];929[label="negate :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];306 -> 929[label="",style="solid", color="blue", weight=9]; 929 -> 342[label="",style="solid", color="blue", weight=3]; 930[label="negate :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];306 -> 930[label="",style="solid", color="blue", weight=9]; 930 -> 343[label="",style="solid", color="blue", weight=3]; 307[label="Float (`negate` vwx220) vwx221",fontsize=16,color="green",shape="box"];307 -> 344[label="",style="dashed", color="green", weight=3]; 712[label="primCmpInt (Pos (Succ vwx420)) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];712 -> 754[label="",style="solid", color="black", weight=3]; 713[label="primCmpInt (Pos (Succ vwx420)) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];713 -> 755[label="",style="solid", color="black", weight=3]; 714[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];931[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];714 -> 931[label="",style="solid", color="burlywood", weight=9]; 931 -> 756[label="",style="solid", color="burlywood", weight=3]; 932[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];714 -> 932[label="",style="solid", color="burlywood", weight=9]; 932 -> 757[label="",style="solid", color="burlywood", weight=3]; 715[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];933[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];715 -> 933[label="",style="solid", color="burlywood", weight=9]; 933 -> 758[label="",style="solid", color="burlywood", weight=3]; 934[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];715 -> 934[label="",style="solid", color="burlywood", weight=9]; 934 -> 759[label="",style="solid", color="burlywood", weight=3]; 750[label="primCmpInt (Neg (Succ vwx440)) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];750 -> 783[label="",style="solid", color="black", weight=3]; 751[label="primCmpInt (Neg (Succ vwx440)) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="black",shape="box"];751 -> 784[label="",style="solid", color="black", weight=3]; 752[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];935[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];752 -> 935[label="",style="solid", color="burlywood", weight=9]; 935 -> 785[label="",style="solid", color="burlywood", weight=3]; 936[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];752 -> 936[label="",style="solid", color="burlywood", weight=9]; 936 -> 786[label="",style="solid", color="burlywood", weight=3]; 753[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero vwx5100)) == LT",fontsize=16,color="burlywood",shape="box"];937[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];753 -> 937[label="",style="solid", color="burlywood", weight=9]; 937 -> 787[label="",style="solid", color="burlywood", weight=3]; 938[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];753 -> 938[label="",style="solid", color="burlywood", weight=9]; 938 -> 788[label="",style="solid", color="burlywood", weight=3]; 603[label="Succ (Succ (primPlusNat vwx350 Zero))",fontsize=16,color="green",shape="box"];603 -> 638[label="",style="dashed", color="green", weight=3]; 604[label="Succ Zero",fontsize=16,color="green",shape="box"];636[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) (primMulNat vwx30 Zero) == LT",fontsize=16,color="burlywood",shape="box"];939[label="vwx30/Succ vwx300",fontsize=10,color="white",style="solid",shape="box"];636 -> 939[label="",style="solid", color="burlywood", weight=9]; 939 -> 675[label="",style="solid", color="burlywood", weight=3]; 940[label="vwx30/Zero",fontsize=10,color="white",style="solid",shape="box"];636 -> 940[label="",style="solid", color="burlywood", weight=9]; 940 -> 676[label="",style="solid", color="burlywood", weight=3]; 637[label="primCmpNat (Succ Zero) (primMulNat vwx30 Zero) == LT",fontsize=16,color="burlywood",shape="box"];941[label="vwx30/Succ vwx300",fontsize=10,color="white",style="solid",shape="box"];637 -> 941[label="",style="solid", color="burlywood", weight=9]; 941 -> 677[label="",style="solid", color="burlywood", weight=3]; 942[label="vwx30/Zero",fontsize=10,color="white",style="solid",shape="box"];637 -> 942[label="",style="solid", color="burlywood", weight=9]; 942 -> 678[label="",style="solid", color="burlywood", weight=3]; 673 -> 92[label="",style="dashed", color="red", weight=0]; 673[label="LT == LT",fontsize=16,color="magenta"];674 -> 92[label="",style="dashed", color="red", weight=0]; 674[label="LT == LT",fontsize=16,color="magenta"];338[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat vwx190000000 Zero == GT) vwx23",fontsize=16,color="burlywood",shape="box"];943[label="vwx190000000/Succ vwx1900000000",fontsize=10,color="white",style="solid",shape="box"];338 -> 943[label="",style="solid", color="burlywood", weight=9]; 943 -> 377[label="",style="solid", color="burlywood", weight=3]; 944[label="vwx190000000/Zero",fontsize=10,color="white",style="solid",shape="box"];338 -> 944[label="",style="solid", color="burlywood", weight=9]; 944 -> 378[label="",style="solid", color="burlywood", weight=3]; 339 -> 115[label="",style="dashed", color="red", weight=0]; 339[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (LT == GT) vwx23",fontsize=16,color="magenta"];340 -> 204[label="",style="dashed", color="red", weight=0]; 340[label="`negate` vwx220",fontsize=16,color="magenta"];340 -> 379[label="",style="dashed", color="magenta", weight=3]; 341[label="vwx220",fontsize=16,color="green",shape="box"];342 -> 203[label="",style="dashed", color="red", weight=0]; 342[label="negate vwx220",fontsize=16,color="magenta"];342 -> 380[label="",style="dashed", color="magenta", weight=3]; 343 -> 204[label="",style="dashed", color="red", weight=0]; 343[label="negate vwx220",fontsize=16,color="magenta"];343 -> 381[label="",style="dashed", color="magenta", weight=3]; 344 -> 204[label="",style="dashed", color="red", weight=0]; 344[label="`negate` vwx220",fontsize=16,color="magenta"];344 -> 382[label="",style="dashed", color="magenta", weight=3]; 754[label="primCmpNat (Succ vwx420) (primMulNat Zero vwx5100) == LT",fontsize=16,color="burlywood",shape="box"];945[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];754 -> 945[label="",style="solid", color="burlywood", weight=9]; 945 -> 789[label="",style="solid", color="burlywood", weight=3]; 946[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];754 -> 946[label="",style="solid", color="burlywood", weight=9]; 946 -> 790[label="",style="solid", color="burlywood", weight=3]; 755 -> 104[label="",style="dashed", color="red", weight=0]; 755[label="GT == LT",fontsize=16,color="magenta"];756[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];756 -> 791[label="",style="solid", color="black", weight=3]; 757[label="primCmpInt (Pos Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];757 -> 792[label="",style="solid", color="black", weight=3]; 758[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];758 -> 793[label="",style="solid", color="black", weight=3]; 759[label="primCmpInt (Pos Zero) (Neg (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];759 -> 794[label="",style="solid", color="black", weight=3]; 783 -> 92[label="",style="dashed", color="red", weight=0]; 783[label="LT == LT",fontsize=16,color="magenta"];784[label="primCmpNat (primMulNat Zero vwx5100) (Succ vwx440) == LT",fontsize=16,color="burlywood",shape="box"];947[label="vwx5100/Succ vwx51000",fontsize=10,color="white",style="solid",shape="box"];784 -> 947[label="",style="solid", color="burlywood", weight=9]; 947 -> 802[label="",style="solid", color="burlywood", weight=3]; 948[label="vwx5100/Zero",fontsize=10,color="white",style="solid",shape="box"];784 -> 948[label="",style="solid", color="burlywood", weight=9]; 948 -> 803[label="",style="solid", color="burlywood", weight=3]; 785[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];785 -> 804[label="",style="solid", color="black", weight=3]; 786[label="primCmpInt (Neg Zero) (Pos (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];786 -> 805[label="",style="solid", color="black", weight=3]; 787[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero (Succ vwx51000))) == LT",fontsize=16,color="black",shape="box"];787 -> 806[label="",style="solid", color="black", weight=3]; 788[label="primCmpInt (Neg Zero) (Neg (primMulNat Zero Zero)) == LT",fontsize=16,color="black",shape="box"];788 -> 807[label="",style="solid", color="black", weight=3]; 638[label="primPlusNat vwx350 Zero",fontsize=16,color="burlywood",shape="triangle"];949[label="vwx350/Succ vwx3500",fontsize=10,color="white",style="solid",shape="box"];638 -> 949[label="",style="solid", color="burlywood", weight=9]; 949 -> 679[label="",style="solid", color="burlywood", weight=3]; 950[label="vwx350/Zero",fontsize=10,color="white",style="solid",shape="box"];638 -> 950[label="",style="solid", color="burlywood", weight=9]; 950 -> 680[label="",style="solid", color="burlywood", weight=3]; 675[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) (primMulNat (Succ vwx300) Zero) == LT",fontsize=16,color="black",shape="box"];675 -> 716[label="",style="solid", color="black", weight=3]; 676[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) (primMulNat Zero Zero) == LT",fontsize=16,color="black",shape="box"];676 -> 717[label="",style="solid", color="black", weight=3]; 677[label="primCmpNat (Succ Zero) (primMulNat (Succ vwx300) Zero) == LT",fontsize=16,color="black",shape="box"];677 -> 718[label="",style="solid", color="black", weight=3]; 678[label="primCmpNat (Succ Zero) (primMulNat Zero Zero) == LT",fontsize=16,color="black",shape="box"];678 -> 719[label="",style="solid", color="black", weight=3]; 377[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat (Succ vwx1900000000) Zero == GT) vwx23",fontsize=16,color="black",shape="box"];377 -> 411[label="",style="solid", color="black", weight=3]; 378[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (primCmpNat Zero Zero == GT) vwx23",fontsize=16,color="black",shape="box"];378 -> 412[label="",style="solid", color="black", weight=3]; 379[label="vwx220",fontsize=16,color="green",shape="box"];380[label="vwx220",fontsize=16,color="green",shape="box"];381[label="vwx220",fontsize=16,color="green",shape="box"];382[label="vwx220",fontsize=16,color="green",shape="box"];789[label="primCmpNat (Succ vwx420) (primMulNat Zero (Succ vwx51000)) == LT",fontsize=16,color="black",shape="box"];789 -> 808[label="",style="solid", color="black", weight=3]; 790[label="primCmpNat (Succ vwx420) (primMulNat Zero Zero) == LT",fontsize=16,color="black",shape="box"];790 -> 809[label="",style="solid", color="black", weight=3]; 791 -> 53[label="",style="dashed", color="red", weight=0]; 791[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];791 -> 810[label="",style="dashed", color="magenta", weight=3]; 792 -> 53[label="",style="dashed", color="red", weight=0]; 792[label="primCmpInt (Pos Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];792 -> 811[label="",style="dashed", color="magenta", weight=3]; 793[label="primCmpInt (Pos Zero) (Neg Zero) == LT",fontsize=16,color="black",shape="triangle"];793 -> 812[label="",style="solid", color="black", weight=3]; 794 -> 793[label="",style="dashed", color="red", weight=0]; 794[label="primCmpInt (Pos Zero) (Neg Zero) == LT",fontsize=16,color="magenta"];802[label="primCmpNat (primMulNat Zero (Succ vwx51000)) (Succ vwx440) == LT",fontsize=16,color="black",shape="box"];802 -> 816[label="",style="solid", color="black", weight=3]; 803[label="primCmpNat (primMulNat Zero Zero) (Succ vwx440) == LT",fontsize=16,color="black",shape="box"];803 -> 817[label="",style="solid", color="black", weight=3]; 804 -> 53[label="",style="dashed", color="red", weight=0]; 804[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];804 -> 818[label="",style="dashed", color="magenta", weight=3]; 805 -> 53[label="",style="dashed", color="red", weight=0]; 805[label="primCmpInt (Neg Zero) (Pos Zero) == LT",fontsize=16,color="magenta"];805 -> 819[label="",style="dashed", color="magenta", weight=3]; 806[label="primCmpInt (Neg Zero) (Neg Zero) == LT",fontsize=16,color="black",shape="triangle"];806 -> 820[label="",style="solid", color="black", weight=3]; 807 -> 806[label="",style="dashed", color="red", weight=0]; 807[label="primCmpInt (Neg Zero) (Neg Zero) == LT",fontsize=16,color="magenta"];679[label="primPlusNat (Succ vwx3500) Zero",fontsize=16,color="black",shape="box"];679 -> 720[label="",style="solid", color="black", weight=3]; 680[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];680 -> 721[label="",style="solid", color="black", weight=3]; 716 -> 90[label="",style="dashed", color="red", weight=0]; 716[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) Zero == LT",fontsize=16,color="magenta"];716 -> 760[label="",style="dashed", color="magenta", weight=3]; 717 -> 90[label="",style="dashed", color="red", weight=0]; 717[label="primCmpNat (Succ (Succ (primPlusNat vwx290 Zero))) Zero == LT",fontsize=16,color="magenta"];717 -> 761[label="",style="dashed", color="magenta", weight=3]; 718 -> 90[label="",style="dashed", color="red", weight=0]; 718[label="primCmpNat (Succ Zero) Zero == LT",fontsize=16,color="magenta"];718 -> 762[label="",style="dashed", color="magenta", weight=3]; 719 -> 90[label="",style="dashed", color="red", weight=0]; 719[label="primCmpNat (Succ Zero) Zero == LT",fontsize=16,color="magenta"];719 -> 763[label="",style="dashed", color="magenta", weight=3]; 411[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (GT == GT) vwx23",fontsize=16,color="black",shape="box"];411 -> 445[label="",style="solid", color="black", weight=3]; 412[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) (EQ == GT) vwx23",fontsize=16,color="black",shape="box"];412 -> 446[label="",style="solid", color="black", weight=3]; 808 -> 90[label="",style="dashed", color="red", weight=0]; 808[label="primCmpNat (Succ vwx420) Zero == LT",fontsize=16,color="magenta"];808 -> 821[label="",style="dashed", color="magenta", weight=3]; 809 -> 90[label="",style="dashed", color="red", weight=0]; 809[label="primCmpNat (Succ vwx420) Zero == LT",fontsize=16,color="magenta"];809 -> 822[label="",style="dashed", color="magenta", weight=3]; 810[label="Pos Zero",fontsize=16,color="green",shape="box"];811[label="Pos Zero",fontsize=16,color="green",shape="box"];812 -> 91[label="",style="dashed", color="red", weight=0]; 812[label="EQ == LT",fontsize=16,color="magenta"];816[label="primCmpNat Zero (Succ vwx440) == LT",fontsize=16,color="black",shape="triangle"];816 -> 824[label="",style="solid", color="black", weight=3]; 817 -> 816[label="",style="dashed", color="red", weight=0]; 817[label="primCmpNat Zero (Succ vwx440) == LT",fontsize=16,color="magenta"];818[label="Neg Zero",fontsize=16,color="green",shape="box"];819[label="Neg Zero",fontsize=16,color="green",shape="box"];820 -> 91[label="",style="dashed", color="red", weight=0]; 820[label="EQ == LT",fontsize=16,color="magenta"];720[label="Succ vwx3500",fontsize=16,color="green",shape="box"];721[label="Zero",fontsize=16,color="green",shape="box"];760[label="Succ (primPlusNat vwx290 Zero)",fontsize=16,color="green",shape="box"];760 -> 795[label="",style="dashed", color="green", weight=3]; 761[label="Succ (primPlusNat vwx290 Zero)",fontsize=16,color="green",shape="box"];761 -> 796[label="",style="dashed", color="green", weight=3]; 762[label="Zero",fontsize=16,color="green",shape="box"];763[label="Zero",fontsize=16,color="green",shape="box"];445[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) True vwx23",fontsize=16,color="black",shape="box"];445 -> 479[label="",style="solid", color="black", weight=3]; 446 -> 124[label="",style="dashed", color="red", weight=0]; 446[label="showParen0 ((showChar (Char (Succ vwx20))) . vwx21 (`negate` vwx22)) False vwx23",fontsize=16,color="magenta"];821[label="vwx420",fontsize=16,color="green",shape="box"];822[label="vwx420",fontsize=16,color="green",shape="box"];824 -> 92[label="",style="dashed", color="red", weight=0]; 824[label="LT == LT",fontsize=16,color="magenta"];795 -> 638[label="",style="dashed", color="red", weight=0]; 795[label="primPlusNat vwx290 Zero",fontsize=16,color="magenta"];795 -> 813[label="",style="dashed", color="magenta", weight=3]; 796 -> 638[label="",style="dashed", color="red", weight=0]; 796[label="primPlusNat vwx290 Zero",fontsize=16,color="magenta"];796 -> 814[label="",style="dashed", color="magenta", weight=3]; 479 -> 764[label="",style="dashed", color="red", weight=0]; 479[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 vwx20))) . vwx21 (`negate` vwx22)) . 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"];479 -> 765[label="",style="dashed", color="magenta", weight=3]; 479 -> 766[label="",style="dashed", color="magenta", weight=3]; 479 -> 767[label="",style="dashed", color="magenta", weight=3]; 479 -> 768[label="",style="dashed", color="magenta", weight=3]; 479 -> 769[label="",style="dashed", color="magenta", weight=3]; 479 -> 770[label="",style="dashed", color="magenta", weight=3]; 813[label="vwx290",fontsize=16,color="green",shape="box"];814[label="vwx290",fontsize=16,color="green",shape="box"];765[label="vwx23",fontsize=16,color="green",shape="box"];766[label="vwx20",fontsize=16,color="green",shape="box"];767[label="vwx21",fontsize=16,color="green",shape="box"];768[label="vwx22",fontsize=16,color="green",shape="box"];769[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"];770[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"];764[label="(showChar (Char (Succ vwx61))) . ((showChar (Char (Succ vwx62))) . vwx63 (`negate` vwx64)) . showChar (Char (Succ vwx65))",fontsize=16,color="black",shape="triangle"];764 -> 797[label="",style="solid", color="black", weight=3]; 797[label="showChar (Char (Succ vwx61)) (((showChar (Char (Succ vwx62))) . vwx63 (`negate` vwx64)) . showChar (Char (Succ vwx65)))",fontsize=16,color="black",shape="box"];797 -> 815[label="",style="solid", color="black", weight=3]; 815[label="(:) Char (Succ vwx61) ((showChar (Char (Succ vwx62))) . vwx63 (`negate` vwx64)) . showChar (Char (Succ vwx65))",fontsize=16,color="green",shape="box"];815 -> 823[label="",style="dashed", color="green", weight=3]; 823[label="((showChar (Char (Succ vwx62))) . vwx63 (`negate` vwx64)) . showChar (Char (Succ vwx65))",fontsize=16,color="black",shape="box"];823 -> 825[label="",style="solid", color="black", weight=3]; 825 -> 133[label="",style="dashed", color="red", weight=0]; 825[label="(showChar (Char (Succ vwx62))) . vwx63 (`negate` vwx64)",fontsize=16,color="magenta"];825 -> 826[label="",style="dashed", color="magenta", weight=3]; 825 -> 827[label="",style="dashed", color="magenta", weight=3]; 825 -> 828[label="",style="dashed", color="magenta", weight=3]; 825 -> 829[label="",style="dashed", color="magenta", weight=3]; 826[label="vwx64",fontsize=16,color="green",shape="box"];827[label="showChar (Char (Succ vwx65)) vwx66",fontsize=16,color="black",shape="box"];827 -> 830[label="",style="solid", color="black", weight=3]; 828[label="vwx63",fontsize=16,color="green",shape="box"];829[label="vwx62",fontsize=16,color="green",shape="box"];830[label="(:) Char (Succ vwx65) vwx66",fontsize=16,color="green",shape="box"];} ---------------------------------------- (14) Obligation: Q DP problem: The TRS P consists of the following rules: new_primMulNat(Succ(vwx50000)) -> new_primMulNat(vwx50000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (15) QDPSizeChangeProof (EQUIVALENT) 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. From the DPs we obtained the following set of size-change graphs: *new_primMulNat(Succ(vwx50000)) -> new_primMulNat(vwx50000) The graph contains the following edges 1 > 1 ---------------------------------------- (16) YES