18.88/10.12 YES 20.84/10.67 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 20.84/10.67 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 20.84/10.67 20.84/10.67 20.84/10.67 H-Termination with start terms of the given HASKELL could be proven: 20.84/10.67 20.84/10.67 (0) HASKELL 20.84/10.67 (1) BR [EQUIVALENT, 0 ms] 20.84/10.67 (2) HASKELL 20.84/10.67 (3) COR [EQUIVALENT, 0 ms] 20.84/10.67 (4) HASKELL 20.84/10.67 (5) NumRed [SOUND, 6 ms] 20.84/10.67 (6) HASKELL 20.84/10.67 (7) Narrow [SOUND, 0 ms] 20.84/10.67 (8) AND 20.84/10.67 (9) QDP 20.84/10.67 (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (11) YES 20.84/10.67 (12) QDP 20.84/10.67 (13) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (14) YES 20.84/10.67 (15) QDP 20.84/10.67 (16) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (17) YES 20.84/10.67 (18) QDP 20.84/10.67 (19) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (20) YES 20.84/10.67 (21) QDP 20.84/10.67 (22) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (23) YES 20.84/10.67 (24) QDP 20.84/10.67 (25) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (26) YES 20.84/10.67 (27) QDP 20.84/10.67 (28) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (29) YES 20.84/10.67 (30) QDP 20.84/10.67 (31) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (32) YES 20.84/10.67 (33) QDP 20.84/10.67 (34) QDPSizeChangeProof [EQUIVALENT, 0 ms] 20.84/10.67 (35) YES 20.84/10.67 20.84/10.67 20.84/10.67 ---------------------------------------- 20.84/10.67 20.84/10.67 (0) 20.84/10.67 Obligation: 20.84/10.67 mainModule Main 20.84/10.67 module Main where { 20.84/10.67 import qualified Prelude; 20.84/10.67 } 20.84/10.67 20.84/10.67 ---------------------------------------- 20.84/10.67 20.84/10.67 (1) BR (EQUIVALENT) 20.84/10.67 Replaced joker patterns by fresh variables and removed binding patterns. 20.84/10.67 ---------------------------------------- 20.84/10.67 20.84/10.67 (2) 20.84/10.67 Obligation: 20.84/10.67 mainModule Main 20.84/10.67 module Main where { 20.84/10.67 import qualified Prelude; 20.84/10.67 } 20.84/10.67 20.84/10.67 ---------------------------------------- 20.84/10.67 20.84/10.67 (3) COR (EQUIVALENT) 20.84/10.67 Cond Reductions: 20.84/10.67 The following Function with conditions 20.84/10.67 "toLower c|isUpper ctoEnum (fromEnum c - fromEnum 'A' + fromEnum 'a')|otherwisec; 20.84/10.67 " 20.84/10.67 is transformed to 20.84/10.67 "toLower c = toLower2 c; 20.84/10.67 " 20.84/10.67 "toLower1 c True = toEnum (fromEnum c - fromEnum 'A' + fromEnum 'a'); 20.84/10.67 toLower1 c False = toLower0 c otherwise; 20.84/10.67 " 20.84/10.67 "toLower0 c True = c; 20.84/10.67 " 20.84/10.67 "toLower2 c = toLower1 c (isUpper c); 20.84/10.67 " 20.84/10.67 The following Function with conditions 20.84/10.67 "undefined |Falseundefined; 20.84/10.67 " 20.84/10.67 is transformed to 20.84/10.67 "undefined = undefined1; 20.84/10.67 " 20.84/10.67 "undefined0 True = undefined; 20.84/10.68 " 20.84/10.68 "undefined1 = undefined0 False; 20.84/10.68 " 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (4) 20.84/10.68 Obligation: 20.84/10.68 mainModule Main 20.84/10.68 module Main where { 20.84/10.68 import qualified Prelude; 20.84/10.68 } 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (5) NumRed (SOUND) 20.84/10.68 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (6) 20.84/10.68 Obligation: 20.84/10.68 mainModule Main 20.84/10.68 module Main where { 20.84/10.68 import qualified Prelude; 20.84/10.68 } 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (7) Narrow (SOUND) 20.84/10.68 Haskell To QDPs 20.84/10.68 20.84/10.68 digraph dp_graph { 20.84/10.68 node [outthreshold=100, inthreshold=100];1[label="toLower",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 20.84/10.68 3[label="toLower vx3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3]; 20.84/10.68 4[label="toLower2 vx3",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3]; 20.84/10.68 5[label="toLower1 vx3 (isUpper vx3)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 20.84/10.68 6 -> 50[label="",style="dashed", color="red", weight=0]; 20.84/10.68 6[label="toLower1 vx3 (vx3 >= 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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && vx3 <= 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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || vx3 >= 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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && vx3 <= 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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || vx3 >= 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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && vx3 <= 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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];6 -> 51[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 6 -> 52[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 6 -> 53[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 6 -> 54[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 6 -> 55[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 6 -> 56[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 6 -> 57[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 51[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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];52[label="vx3",fontsize=16,color="green",shape="box"];53[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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];54[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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];55[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 (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"];56[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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];57[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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];50[label="toLower1 vx30 (vx30 >= Char (Succ vx31) && vx30 <= Char (Succ vx32) || vx30 >= Char (Succ vx33) && vx30 <= Char (Succ vx34) || vx30 >= Char (Succ vx35) && vx30 <= Char (Succ vx36))",fontsize=16,color="black",shape="triangle"];50 -> 65[label="",style="solid", color="black", weight=3]; 20.84/10.68 65[label="toLower1 vx30 (compare vx30 (Char (Succ vx31)) /= LT && vx30 <= Char (Succ vx32) || vx30 >= Char (Succ vx33) && vx30 <= Char (Succ vx34) || vx30 >= Char (Succ vx35) && vx30 <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];65 -> 66[label="",style="solid", color="black", weight=3]; 20.84/10.68 66[label="toLower1 vx30 (not (compare vx30 (Char (Succ vx31)) == LT) && vx30 <= Char (Succ vx32) || vx30 >= Char (Succ vx33) && vx30 <= Char (Succ vx34) || vx30 >= Char (Succ vx35) && vx30 <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];66 -> 67[label="",style="solid", color="black", weight=3]; 20.84/10.68 67[label="toLower1 vx30 (not (primCmpChar vx30 (Char (Succ vx31)) == LT) && vx30 <= Char (Succ vx32) || vx30 >= Char (Succ vx33) && vx30 <= Char (Succ vx34) || vx30 >= Char (Succ vx35) && vx30 <= Char (Succ vx36))",fontsize=16,color="burlywood",shape="box"];1290[label="vx30/Char vx300",fontsize=10,color="white",style="solid",shape="box"];67 -> 1290[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1290 -> 68[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 68[label="toLower1 (Char vx300) (not (primCmpChar (Char vx300) (Char (Succ vx31)) == LT) && Char vx300 <= Char (Succ vx32) || Char vx300 >= Char (Succ vx33) && Char vx300 <= Char (Succ vx34) || Char vx300 >= Char (Succ vx35) && Char vx300 <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];68 -> 69[label="",style="solid", color="black", weight=3]; 20.84/10.68 69[label="toLower1 (Char vx300) (not (primCmpNat vx300 (Succ vx31) == LT) && Char vx300 <= Char (Succ vx32) || Char vx300 >= Char (Succ vx33) && Char vx300 <= Char (Succ vx34) || Char vx300 >= Char (Succ vx35) && Char vx300 <= Char (Succ vx36))",fontsize=16,color="burlywood",shape="box"];1291[label="vx300/Succ vx3000",fontsize=10,color="white",style="solid",shape="box"];69 -> 1291[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1291 -> 70[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1292[label="vx300/Zero",fontsize=10,color="white",style="solid",shape="box"];69 -> 1292[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1292 -> 71[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 70[label="toLower1 (Char (Succ vx3000)) (not (primCmpNat (Succ vx3000) (Succ vx31) == LT) && Char (Succ vx3000) <= Char (Succ vx32) || Char (Succ vx3000) >= Char (Succ vx33) && Char (Succ vx3000) <= Char (Succ vx34) || Char (Succ vx3000) >= Char (Succ vx35) && Char (Succ vx3000) <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];70 -> 72[label="",style="solid", color="black", weight=3]; 20.84/10.68 71[label="toLower1 (Char Zero) (not (primCmpNat Zero (Succ vx31) == LT) && Char Zero <= Char (Succ vx32) || Char Zero >= Char (Succ vx33) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];71 -> 73[label="",style="solid", color="black", weight=3]; 20.84/10.68 72 -> 216[label="",style="dashed", color="red", weight=0]; 20.84/10.68 72[label="toLower1 (Char (Succ vx3000)) (not (primCmpNat vx3000 vx31 == LT) && Char (Succ vx3000) <= Char (Succ vx32) || Char (Succ vx3000) >= Char (Succ vx33) && Char (Succ vx3000) <= Char (Succ vx34) || Char (Succ vx3000) >= Char (Succ vx35) && Char (Succ vx3000) <= Char (Succ vx36))",fontsize=16,color="magenta"];72 -> 217[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 218[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 219[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 220[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 221[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 222[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 223[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 72 -> 224[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 73[label="toLower1 (Char Zero) (not (LT == LT) && Char Zero <= Char (Succ vx32) || Char Zero >= Char (Succ vx33) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];73 -> 76[label="",style="solid", color="black", weight=3]; 20.84/10.68 217[label="vx31",fontsize=16,color="green",shape="box"];218[label="vx32",fontsize=16,color="green",shape="box"];219[label="vx33",fontsize=16,color="green",shape="box"];220[label="vx34",fontsize=16,color="green",shape="box"];221[label="vx3000",fontsize=16,color="green",shape="box"];222[label="vx36",fontsize=16,color="green",shape="box"];223[label="vx3000",fontsize=16,color="green",shape="box"];224[label="vx35",fontsize=16,color="green",shape="box"];216[label="toLower1 (Char (Succ vx38)) (not (primCmpNat vx39 vx40 == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="burlywood",shape="triangle"];1293[label="vx39/Succ vx390",fontsize=10,color="white",style="solid",shape="box"];216 -> 1293[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1293 -> 265[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1294[label="vx39/Zero",fontsize=10,color="white",style="solid",shape="box"];216 -> 1294[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1294 -> 266[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 76[label="toLower1 (Char Zero) (not True && Char Zero <= Char (Succ vx32) || Char Zero >= Char (Succ vx33) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];76 -> 81[label="",style="solid", color="black", weight=3]; 20.84/10.68 265[label="toLower1 (Char (Succ vx38)) (not (primCmpNat (Succ vx390) vx40 == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="burlywood",shape="box"];1295[label="vx40/Succ vx400",fontsize=10,color="white",style="solid",shape="box"];265 -> 1295[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1295 -> 268[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1296[label="vx40/Zero",fontsize=10,color="white",style="solid",shape="box"];265 -> 1296[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1296 -> 269[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 266[label="toLower1 (Char (Succ vx38)) (not (primCmpNat Zero vx40 == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="burlywood",shape="box"];1297[label="vx40/Succ vx400",fontsize=10,color="white",style="solid",shape="box"];266 -> 1297[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1297 -> 270[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1298[label="vx40/Zero",fontsize=10,color="white",style="solid",shape="box"];266 -> 1298[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1298 -> 271[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 81[label="toLower1 (Char Zero) (False && Char Zero <= Char (Succ vx32) || Char Zero >= Char (Succ vx33) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];81 -> 86[label="",style="solid", color="black", weight=3]; 20.84/10.68 268[label="toLower1 (Char (Succ vx38)) (not (primCmpNat (Succ vx390) (Succ vx400) == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];268 -> 273[label="",style="solid", color="black", weight=3]; 20.84/10.68 269[label="toLower1 (Char (Succ vx38)) (not (primCmpNat (Succ vx390) Zero == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];269 -> 274[label="",style="solid", color="black", weight=3]; 20.84/10.68 270[label="toLower1 (Char (Succ vx38)) (not (primCmpNat Zero (Succ vx400) == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];270 -> 275[label="",style="solid", color="black", weight=3]; 20.84/10.68 271[label="toLower1 (Char (Succ vx38)) (not (primCmpNat Zero Zero == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];271 -> 276[label="",style="solid", color="black", weight=3]; 20.84/10.68 86[label="toLower1 (Char Zero) (False || Char Zero >= Char (Succ vx33) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];86 -> 92[label="",style="solid", color="black", weight=3]; 20.84/10.68 273 -> 216[label="",style="dashed", color="red", weight=0]; 20.84/10.68 273[label="toLower1 (Char (Succ vx38)) (not (primCmpNat vx390 vx400 == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="magenta"];273 -> 278[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 273 -> 279[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 274[label="toLower1 (Char (Succ vx38)) (not (GT == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];274 -> 280[label="",style="solid", color="black", weight=3]; 20.84/10.68 275[label="toLower1 (Char (Succ vx38)) (not (LT == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];275 -> 281[label="",style="solid", color="black", weight=3]; 20.84/10.68 276[label="toLower1 (Char (Succ vx38)) (not (EQ == LT) && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];276 -> 282[label="",style="solid", color="black", weight=3]; 20.84/10.68 92[label="toLower1 (Char Zero) (Char Zero >= Char (Succ vx33) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];92 -> 100[label="",style="solid", color="black", weight=3]; 20.84/10.68 278[label="vx400",fontsize=16,color="green",shape="box"];279[label="vx390",fontsize=16,color="green",shape="box"];280[label="toLower1 (Char (Succ vx38)) (not False && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="triangle"];280 -> 284[label="",style="solid", color="black", weight=3]; 20.84/10.68 281[label="toLower1 (Char (Succ vx38)) (not True && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];281 -> 285[label="",style="solid", color="black", weight=3]; 20.84/10.68 282 -> 280[label="",style="dashed", color="red", weight=0]; 20.84/10.68 282[label="toLower1 (Char (Succ vx38)) (not False && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="magenta"];100[label="toLower1 (Char Zero) (compare (Char Zero) (Char (Succ vx33)) /= LT && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];100 -> 108[label="",style="solid", color="black", weight=3]; 20.84/10.68 284[label="toLower1 (Char (Succ vx38)) (True && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];284 -> 287[label="",style="solid", color="black", weight=3]; 20.84/10.68 285[label="toLower1 (Char (Succ vx38)) (False && Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];285 -> 288[label="",style="solid", color="black", weight=3]; 20.84/10.68 108[label="toLower1 (Char Zero) (not (compare (Char Zero) (Char (Succ vx33)) == LT) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3]; 20.84/10.68 287[label="toLower1 (Char (Succ vx38)) (Char (Succ vx38) <= Char (Succ vx41) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];287 -> 290[label="",style="solid", color="black", weight=3]; 20.84/10.68 288[label="toLower1 (Char (Succ vx38)) (False || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="triangle"];288 -> 291[label="",style="solid", color="black", weight=3]; 20.84/10.68 117[label="toLower1 (Char Zero) (not (primCmpChar (Char Zero) (Char (Succ vx33)) == LT) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];117 -> 127[label="",style="solid", color="black", weight=3]; 20.84/10.68 290[label="toLower1 (Char (Succ vx38)) (compare (Char (Succ vx38)) (Char (Succ vx41)) /= GT || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];290 -> 293[label="",style="solid", color="black", weight=3]; 20.84/10.68 291[label="toLower1 (Char (Succ vx38)) (Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];291 -> 294[label="",style="solid", color="black", weight=3]; 20.84/10.68 127[label="toLower1 (Char Zero) (not (primCmpNat Zero (Succ vx33) == LT) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];127 -> 136[label="",style="solid", color="black", weight=3]; 20.84/10.68 293[label="toLower1 (Char (Succ vx38)) (not (compare (Char (Succ vx38)) (Char (Succ vx41)) == GT) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];293 -> 296[label="",style="solid", color="black", weight=3]; 20.84/10.68 294[label="toLower1 (Char (Succ vx38)) (compare (Char (Succ vx38)) (Char (Succ vx42)) /= LT && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];294 -> 297[label="",style="solid", color="black", weight=3]; 20.84/10.68 136[label="toLower1 (Char Zero) (not (LT == LT) && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];136 -> 146[label="",style="solid", color="black", weight=3]; 20.84/10.68 296[label="toLower1 (Char (Succ vx38)) (not (primCmpChar (Char (Succ vx38)) (Char (Succ vx41)) == GT) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];296 -> 299[label="",style="solid", color="black", weight=3]; 20.84/10.68 297[label="toLower1 (Char (Succ vx38)) (not (compare (Char (Succ vx38)) (Char (Succ vx42)) == LT) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];297 -> 300[label="",style="solid", color="black", weight=3]; 20.84/10.68 146[label="toLower1 (Char Zero) (not True && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];146 -> 157[label="",style="solid", color="black", weight=3]; 20.84/10.68 299 -> 598[label="",style="dashed", color="red", weight=0]; 20.84/10.68 299[label="toLower1 (Char (Succ vx38)) (not (primCmpNat (Succ vx38) (Succ vx41) == GT) || Char (Succ vx38) >= Char (Succ vx42) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="magenta"];299 -> 599[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 299 -> 600[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 299 -> 601[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 299 -> 602[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 299 -> 603[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 299 -> 604[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 299 -> 605[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 300[label="toLower1 (Char (Succ vx38)) (not (primCmpChar (Char (Succ vx38)) (Char (Succ vx42)) == LT) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="black",shape="box"];300 -> 302[label="",style="solid", color="black", weight=3]; 20.84/10.68 157[label="toLower1 (Char Zero) (False && Char Zero <= Char (Succ vx34) || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];157 -> 169[label="",style="solid", color="black", weight=3]; 20.84/10.68 599[label="vx38",fontsize=16,color="green",shape="box"];600[label="Succ vx38",fontsize=16,color="green",shape="box"];601[label="vx43",fontsize=16,color="green",shape="box"];602[label="vx42",fontsize=16,color="green",shape="box"];603[label="vx44",fontsize=16,color="green",shape="box"];604[label="vx45",fontsize=16,color="green",shape="box"];605[label="Succ vx41",fontsize=16,color="green",shape="box"];598[label="toLower1 (Char (Succ vx72)) (not (primCmpNat vx73 vx74 == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="burlywood",shape="triangle"];1299[label="vx73/Succ vx730",fontsize=10,color="white",style="solid",shape="box"];598 -> 1299[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1299 -> 648[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1300[label="vx73/Zero",fontsize=10,color="white",style="solid",shape="box"];598 -> 1300[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1300 -> 649[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 302 -> 669[label="",style="dashed", color="red", weight=0]; 20.84/10.68 302[label="toLower1 (Char (Succ vx38)) (not (primCmpNat (Succ vx38) (Succ vx42) == LT) && Char (Succ vx38) <= Char (Succ vx43) || Char (Succ vx38) >= Char (Succ vx44) && Char (Succ vx38) <= Char (Succ vx45))",fontsize=16,color="magenta"];302 -> 670[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 302 -> 671[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 302 -> 672[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 302 -> 673[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 302 -> 674[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 302 -> 675[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 169[label="toLower1 (Char Zero) (False || Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];169 -> 183[label="",style="solid", color="black", weight=3]; 20.84/10.68 648[label="toLower1 (Char (Succ vx72)) (not (primCmpNat (Succ vx730) vx74 == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="burlywood",shape="box"];1301[label="vx74/Succ vx740",fontsize=10,color="white",style="solid",shape="box"];648 -> 1301[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1301 -> 665[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1302[label="vx74/Zero",fontsize=10,color="white",style="solid",shape="box"];648 -> 1302[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1302 -> 666[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 649[label="toLower1 (Char (Succ vx72)) (not (primCmpNat Zero vx74 == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="burlywood",shape="box"];1303[label="vx74/Succ vx740",fontsize=10,color="white",style="solid",shape="box"];649 -> 1303[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1303 -> 667[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1304[label="vx74/Zero",fontsize=10,color="white",style="solid",shape="box"];649 -> 1304[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1304 -> 668[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 670[label="vx45",fontsize=16,color="green",shape="box"];671[label="vx43",fontsize=16,color="green",shape="box"];672[label="Succ vx42",fontsize=16,color="green",shape="box"];673[label="Succ vx38",fontsize=16,color="green",shape="box"];674[label="vx44",fontsize=16,color="green",shape="box"];675[label="vx38",fontsize=16,color="green",shape="box"];669[label="toLower1 (Char (Succ vx80)) (not (primCmpNat vx81 vx82 == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="burlywood",shape="triangle"];1305[label="vx81/Succ vx810",fontsize=10,color="white",style="solid",shape="box"];669 -> 1305[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1305 -> 712[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1306[label="vx81/Zero",fontsize=10,color="white",style="solid",shape="box"];669 -> 1306[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1306 -> 713[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 183[label="toLower1 (Char Zero) (Char Zero >= Char (Succ vx35) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];183 -> 199[label="",style="solid", color="black", weight=3]; 20.84/10.68 665[label="toLower1 (Char (Succ vx72)) (not (primCmpNat (Succ vx730) (Succ vx740) == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];665 -> 714[label="",style="solid", color="black", weight=3]; 20.84/10.68 666[label="toLower1 (Char (Succ vx72)) (not (primCmpNat (Succ vx730) Zero == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];666 -> 715[label="",style="solid", color="black", weight=3]; 20.84/10.68 667[label="toLower1 (Char (Succ vx72)) (not (primCmpNat Zero (Succ vx740) == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];667 -> 716[label="",style="solid", color="black", weight=3]; 20.84/10.68 668[label="toLower1 (Char (Succ vx72)) (not (primCmpNat Zero Zero == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];668 -> 717[label="",style="solid", color="black", weight=3]; 20.84/10.68 712[label="toLower1 (Char (Succ vx80)) (not (primCmpNat (Succ vx810) vx82 == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="burlywood",shape="box"];1307[label="vx82/Succ vx820",fontsize=10,color="white",style="solid",shape="box"];712 -> 1307[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1307 -> 718[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1308[label="vx82/Zero",fontsize=10,color="white",style="solid",shape="box"];712 -> 1308[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1308 -> 719[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 713[label="toLower1 (Char (Succ vx80)) (not (primCmpNat Zero vx82 == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="burlywood",shape="box"];1309[label="vx82/Succ vx820",fontsize=10,color="white",style="solid",shape="box"];713 -> 1309[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1309 -> 720[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1310[label="vx82/Zero",fontsize=10,color="white",style="solid",shape="box"];713 -> 1310[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1310 -> 721[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 199[label="toLower1 (Char Zero) (compare (Char Zero) (Char (Succ vx35)) /= LT && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];199 -> 215[label="",style="solid", color="black", weight=3]; 20.84/10.68 714 -> 598[label="",style="dashed", color="red", weight=0]; 20.84/10.68 714[label="toLower1 (Char (Succ vx72)) (not (primCmpNat vx730 vx740 == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="magenta"];714 -> 722[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 714 -> 723[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 715[label="toLower1 (Char (Succ vx72)) (not (GT == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];715 -> 724[label="",style="solid", color="black", weight=3]; 20.84/10.68 716[label="toLower1 (Char (Succ vx72)) (not (LT == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];716 -> 725[label="",style="solid", color="black", weight=3]; 20.84/10.68 717[label="toLower1 (Char (Succ vx72)) (not (EQ == GT) || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];717 -> 726[label="",style="solid", color="black", weight=3]; 20.84/10.68 718[label="toLower1 (Char (Succ vx80)) (not (primCmpNat (Succ vx810) (Succ vx820) == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];718 -> 727[label="",style="solid", color="black", weight=3]; 20.84/10.68 719[label="toLower1 (Char (Succ vx80)) (not (primCmpNat (Succ vx810) Zero == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];719 -> 728[label="",style="solid", color="black", weight=3]; 20.84/10.68 720[label="toLower1 (Char (Succ vx80)) (not (primCmpNat Zero (Succ vx820) == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];720 -> 729[label="",style="solid", color="black", weight=3]; 20.84/10.68 721[label="toLower1 (Char (Succ vx80)) (not (primCmpNat Zero Zero == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];721 -> 730[label="",style="solid", color="black", weight=3]; 20.84/10.68 215[label="toLower1 (Char Zero) (not (compare (Char Zero) (Char (Succ vx35)) == LT) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];215 -> 267[label="",style="solid", color="black", weight=3]; 20.84/10.68 722[label="vx730",fontsize=16,color="green",shape="box"];723[label="vx740",fontsize=16,color="green",shape="box"];724[label="toLower1 (Char (Succ vx72)) (not True || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];724 -> 731[label="",style="solid", color="black", weight=3]; 20.84/10.68 725[label="toLower1 (Char (Succ vx72)) (not False || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="triangle"];725 -> 732[label="",style="solid", color="black", weight=3]; 20.84/10.68 726 -> 725[label="",style="dashed", color="red", weight=0]; 20.84/10.68 726[label="toLower1 (Char (Succ vx72)) (not False || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="magenta"];727 -> 669[label="",style="dashed", color="red", weight=0]; 20.84/10.68 727[label="toLower1 (Char (Succ vx80)) (not (primCmpNat vx810 vx820 == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="magenta"];727 -> 733[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 727 -> 734[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 728[label="toLower1 (Char (Succ vx80)) (not (GT == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];728 -> 735[label="",style="solid", color="black", weight=3]; 20.84/10.68 729[label="toLower1 (Char (Succ vx80)) (not (LT == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];729 -> 736[label="",style="solid", color="black", weight=3]; 20.84/10.68 730[label="toLower1 (Char (Succ vx80)) (not (EQ == LT) && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];730 -> 737[label="",style="solid", color="black", weight=3]; 20.84/10.68 267[label="toLower1 (Char Zero) (not (primCmpChar (Char Zero) (Char (Succ vx35)) == LT) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];267 -> 272[label="",style="solid", color="black", weight=3]; 20.84/10.68 731 -> 288[label="",style="dashed", color="red", weight=0]; 20.84/10.68 731[label="toLower1 (Char (Succ vx72)) (False || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="magenta"];731 -> 738[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 731 -> 739[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 731 -> 740[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 731 -> 741[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 731 -> 742[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 732[label="toLower1 (Char (Succ vx72)) (True || Char (Succ vx72) >= Char (Succ vx75) && Char (Succ vx72) <= Char (Succ vx76) || Char (Succ vx72) >= Char (Succ vx77) && Char (Succ vx72) <= Char (Succ vx78))",fontsize=16,color="black",shape="box"];732 -> 743[label="",style="solid", color="black", weight=3]; 20.84/10.68 733[label="vx820",fontsize=16,color="green",shape="box"];734[label="vx810",fontsize=16,color="green",shape="box"];735[label="toLower1 (Char (Succ vx80)) (not False && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="triangle"];735 -> 744[label="",style="solid", color="black", weight=3]; 20.84/10.68 736[label="toLower1 (Char (Succ vx80)) (not True && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];736 -> 745[label="",style="solid", color="black", weight=3]; 20.84/10.68 737 -> 735[label="",style="dashed", color="red", weight=0]; 20.84/10.68 737[label="toLower1 (Char (Succ vx80)) (not False && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="magenta"];272[label="toLower1 (Char Zero) (not (primCmpNat Zero (Succ vx35) == LT) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];272 -> 277[label="",style="solid", color="black", weight=3]; 20.84/10.68 738[label="vx75",fontsize=16,color="green",shape="box"];739[label="vx76",fontsize=16,color="green",shape="box"];740[label="vx72",fontsize=16,color="green",shape="box"];741[label="vx78",fontsize=16,color="green",shape="box"];742[label="vx77",fontsize=16,color="green",shape="box"];743[label="toLower1 (Char (Succ vx72)) True",fontsize=16,color="black",shape="triangle"];743 -> 746[label="",style="solid", color="black", weight=3]; 20.84/10.68 744[label="toLower1 (Char (Succ vx80)) (True && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];744 -> 747[label="",style="solid", color="black", weight=3]; 20.84/10.68 745[label="toLower1 (Char (Succ vx80)) (False && Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];745 -> 748[label="",style="solid", color="black", weight=3]; 20.84/10.68 277[label="toLower1 (Char Zero) (not (LT == LT) && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];277 -> 283[label="",style="solid", color="black", weight=3]; 20.84/10.68 746[label="toEnum (fromEnum (Char (Succ vx72)) - fromEnum (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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) + fromEnum (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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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="black",shape="box"];746 -> 772[label="",style="solid", color="black", weight=3]; 20.84/10.68 747[label="toLower1 (Char (Succ vx80)) (Char (Succ vx80) <= Char (Succ vx83) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];747 -> 752[label="",style="solid", color="black", weight=3]; 20.84/10.68 748[label="toLower1 (Char (Succ vx80)) (False || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="triangle"];748 -> 753[label="",style="solid", color="black", weight=3]; 20.84/10.68 283[label="toLower1 (Char Zero) (not True && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];283 -> 286[label="",style="solid", color="black", weight=3]; 20.84/10.68 772 -> 796[label="",style="dashed", color="red", weight=0]; 20.84/10.68 772[label="primIntToChar (fromEnum (Char (Succ vx72)) - fromEnum (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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) + fromEnum (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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];772 -> 797[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 772 -> 798[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 772 -> 799[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 752[label="toLower1 (Char (Succ vx80)) (compare (Char (Succ vx80)) (Char (Succ vx83)) /= GT || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];752 -> 770[label="",style="solid", color="black", weight=3]; 20.84/10.68 753[label="toLower1 (Char (Succ vx80)) (Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];753 -> 771[label="",style="solid", color="black", weight=3]; 20.84/10.68 286[label="toLower1 (Char Zero) (False && Char Zero <= Char (Succ vx36))",fontsize=16,color="black",shape="box"];286 -> 289[label="",style="solid", color="black", weight=3]; 20.84/10.68 797[label="vx72",fontsize=16,color="green",shape="box"];798[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 (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (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"];799[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 (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"];796[label="primIntToChar (fromEnum (Char (Succ vx97)) - fromEnum (Char (Succ vx98)) + fromEnum (Char (Succ vx99)))",fontsize=16,color="black",shape="triangle"];796 -> 803[label="",style="solid", color="black", weight=3]; 20.84/10.68 770[label="toLower1 (Char (Succ vx80)) (not (compare (Char (Succ vx80)) (Char (Succ vx83)) == GT) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];770 -> 791[label="",style="solid", color="black", weight=3]; 20.84/10.68 771[label="toLower1 (Char (Succ vx80)) (compare (Char (Succ vx80)) (Char (Succ vx84)) /= LT && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];771 -> 792[label="",style="solid", color="black", weight=3]; 20.84/10.68 289[label="toLower1 (Char Zero) False",fontsize=16,color="black",shape="box"];289 -> 292[label="",style="solid", color="black", weight=3]; 20.84/10.68 803[label="primIntToChar (primPlusInt (fromEnum (Char (Succ vx97)) - fromEnum (Char (Succ vx98))) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];803 -> 806[label="",style="solid", color="black", weight=3]; 20.84/10.68 791[label="toLower1 (Char (Succ vx80)) (not (primCmpChar (Char (Succ vx80)) (Char (Succ vx83)) == GT) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];791 -> 804[label="",style="solid", color="black", weight=3]; 20.84/10.68 792[label="toLower1 (Char (Succ vx80)) (not (compare (Char (Succ vx80)) (Char (Succ vx84)) == LT) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];792 -> 805[label="",style="solid", color="black", weight=3]; 20.84/10.68 292[label="toLower0 (Char Zero) otherwise",fontsize=16,color="black",shape="box"];292 -> 295[label="",style="solid", color="black", weight=3]; 20.84/10.68 806[label="primIntToChar (primPlusInt (primMinusInt (fromEnum (Char (Succ vx97))) (fromEnum (Char (Succ vx98)))) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];806 -> 809[label="",style="solid", color="black", weight=3]; 20.84/10.68 804 -> 1033[label="",style="dashed", color="red", weight=0]; 20.84/10.68 804[label="toLower1 (Char (Succ vx80)) (not (primCmpNat (Succ vx80) (Succ vx83) == GT) || Char (Succ vx80) >= Char (Succ vx84) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="magenta"];804 -> 1034[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 804 -> 1035[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 804 -> 1036[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 804 -> 1037[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 804 -> 1038[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 805[label="toLower1 (Char (Succ vx80)) (not (primCmpChar (Char (Succ vx80)) (Char (Succ vx84)) == LT) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="black",shape="box"];805 -> 808[label="",style="solid", color="black", weight=3]; 20.84/10.68 295[label="toLower0 (Char Zero) True",fontsize=16,color="black",shape="box"];295 -> 298[label="",style="solid", color="black", weight=3]; 20.84/10.68 809[label="primIntToChar (primPlusInt (primMinusInt (primCharToInt (Char (Succ vx97))) (fromEnum (Char (Succ vx98)))) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];809 -> 813[label="",style="solid", color="black", weight=3]; 20.84/10.68 1034[label="vx85",fontsize=16,color="green",shape="box"];1035[label="vx80",fontsize=16,color="green",shape="box"];1036[label="Succ vx83",fontsize=16,color="green",shape="box"];1037[label="vx84",fontsize=16,color="green",shape="box"];1038[label="Succ vx80",fontsize=16,color="green",shape="box"];1033[label="toLower1 (Char (Succ vx101)) (not (primCmpNat vx102 vx103 == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="burlywood",shape="triangle"];1311[label="vx102/Succ vx1020",fontsize=10,color="white",style="solid",shape="box"];1033 -> 1311[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1311 -> 1069[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1312[label="vx102/Zero",fontsize=10,color="white",style="solid",shape="box"];1033 -> 1312[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1312 -> 1070[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 808 -> 1098[label="",style="dashed", color="red", weight=0]; 20.84/10.68 808[label="toLower1 (Char (Succ vx80)) (not (primCmpNat (Succ vx80) (Succ vx84) == LT) && Char (Succ vx80) <= Char (Succ vx85))",fontsize=16,color="magenta"];808 -> 1099[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 808 -> 1100[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 808 -> 1101[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 808 -> 1102[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 298[label="Char Zero",fontsize=16,color="green",shape="box"];813[label="primIntToChar (primPlusInt (primMinusInt (Pos (Succ vx97)) (fromEnum (Char (Succ vx98)))) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];813 -> 820[label="",style="solid", color="black", weight=3]; 20.84/10.68 1069[label="toLower1 (Char (Succ vx101)) (not (primCmpNat (Succ vx1020) vx103 == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="burlywood",shape="box"];1313[label="vx103/Succ vx1030",fontsize=10,color="white",style="solid",shape="box"];1069 -> 1313[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1313 -> 1090[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1314[label="vx103/Zero",fontsize=10,color="white",style="solid",shape="box"];1069 -> 1314[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1314 -> 1091[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1070[label="toLower1 (Char (Succ vx101)) (not (primCmpNat Zero vx103 == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="burlywood",shape="box"];1315[label="vx103/Succ vx1030",fontsize=10,color="white",style="solid",shape="box"];1070 -> 1315[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1315 -> 1092[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1316[label="vx103/Zero",fontsize=10,color="white",style="solid",shape="box"];1070 -> 1316[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1316 -> 1093[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1099[label="vx80",fontsize=16,color="green",shape="box"];1100[label="vx85",fontsize=16,color="green",shape="box"];1101[label="Succ vx80",fontsize=16,color="green",shape="box"];1102[label="Succ vx84",fontsize=16,color="green",shape="box"];1098[label="toLower1 (Char (Succ vx107)) (not (primCmpNat vx108 vx109 == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="burlywood",shape="triangle"];1317[label="vx108/Succ vx1080",fontsize=10,color="white",style="solid",shape="box"];1098 -> 1317[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1317 -> 1127[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1318[label="vx108/Zero",fontsize=10,color="white",style="solid",shape="box"];1098 -> 1318[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1318 -> 1128[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 820[label="primIntToChar (primPlusInt (primMinusInt (Pos (Succ vx97)) (primCharToInt (Char (Succ vx98)))) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];820 -> 829[label="",style="solid", color="black", weight=3]; 20.84/10.68 1090[label="toLower1 (Char (Succ vx101)) (not (primCmpNat (Succ vx1020) (Succ vx1030) == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1090 -> 1129[label="",style="solid", color="black", weight=3]; 20.84/10.68 1091[label="toLower1 (Char (Succ vx101)) (not (primCmpNat (Succ vx1020) Zero == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1091 -> 1130[label="",style="solid", color="black", weight=3]; 20.84/10.68 1092[label="toLower1 (Char (Succ vx101)) (not (primCmpNat Zero (Succ vx1030) == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1092 -> 1131[label="",style="solid", color="black", weight=3]; 20.84/10.68 1093[label="toLower1 (Char (Succ vx101)) (not (primCmpNat Zero Zero == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1093 -> 1132[label="",style="solid", color="black", weight=3]; 20.84/10.68 1127[label="toLower1 (Char (Succ vx107)) (not (primCmpNat (Succ vx1080) vx109 == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="burlywood",shape="box"];1319[label="vx109/Succ vx1090",fontsize=10,color="white",style="solid",shape="box"];1127 -> 1319[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1319 -> 1137[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1320[label="vx109/Zero",fontsize=10,color="white",style="solid",shape="box"];1127 -> 1320[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1320 -> 1138[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1128[label="toLower1 (Char (Succ vx107)) (not (primCmpNat Zero vx109 == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="burlywood",shape="box"];1321[label="vx109/Succ vx1090",fontsize=10,color="white",style="solid",shape="box"];1128 -> 1321[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1321 -> 1139[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1322[label="vx109/Zero",fontsize=10,color="white",style="solid",shape="box"];1128 -> 1322[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1322 -> 1140[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 829[label="primIntToChar (primPlusInt (primMinusInt (Pos (Succ vx97)) (Pos (Succ vx98))) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];829 -> 839[label="",style="solid", color="black", weight=3]; 20.84/10.68 1129 -> 1033[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1129[label="toLower1 (Char (Succ vx101)) (not (primCmpNat vx1020 vx1030 == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="magenta"];1129 -> 1141[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1129 -> 1142[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1130[label="toLower1 (Char (Succ vx101)) (not (GT == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1130 -> 1143[label="",style="solid", color="black", weight=3]; 20.84/10.68 1131[label="toLower1 (Char (Succ vx101)) (not (LT == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1131 -> 1144[label="",style="solid", color="black", weight=3]; 20.84/10.68 1132[label="toLower1 (Char (Succ vx101)) (not (EQ == GT) || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1132 -> 1145[label="",style="solid", color="black", weight=3]; 20.84/10.68 1137[label="toLower1 (Char (Succ vx107)) (not (primCmpNat (Succ vx1080) (Succ vx1090) == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1137 -> 1147[label="",style="solid", color="black", weight=3]; 20.84/10.68 1138[label="toLower1 (Char (Succ vx107)) (not (primCmpNat (Succ vx1080) Zero == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1138 -> 1148[label="",style="solid", color="black", weight=3]; 20.84/10.68 1139[label="toLower1 (Char (Succ vx107)) (not (primCmpNat Zero (Succ vx1090) == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1139 -> 1149[label="",style="solid", color="black", weight=3]; 20.84/10.68 1140[label="toLower1 (Char (Succ vx107)) (not (primCmpNat Zero Zero == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1140 -> 1150[label="",style="solid", color="black", weight=3]; 20.84/10.68 839[label="primIntToChar (primPlusInt (primMinusNat (Succ vx97) (Succ vx98)) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];839 -> 851[label="",style="solid", color="black", weight=3]; 20.84/10.68 1141[label="vx1030",fontsize=16,color="green",shape="box"];1142[label="vx1020",fontsize=16,color="green",shape="box"];1143[label="toLower1 (Char (Succ vx101)) (not True || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1143 -> 1151[label="",style="solid", color="black", weight=3]; 20.84/10.68 1144[label="toLower1 (Char (Succ vx101)) (not False || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="triangle"];1144 -> 1152[label="",style="solid", color="black", weight=3]; 20.84/10.68 1145 -> 1144[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1145[label="toLower1 (Char (Succ vx101)) (not False || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="magenta"];1147 -> 1098[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1147[label="toLower1 (Char (Succ vx107)) (not (primCmpNat vx1080 vx1090 == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="magenta"];1147 -> 1155[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1147 -> 1156[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1148[label="toLower1 (Char (Succ vx107)) (not (GT == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1148 -> 1157[label="",style="solid", color="black", weight=3]; 20.84/10.68 1149[label="toLower1 (Char (Succ vx107)) (not (LT == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1149 -> 1158[label="",style="solid", color="black", weight=3]; 20.84/10.68 1150[label="toLower1 (Char (Succ vx107)) (not (EQ == LT) && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1150 -> 1159[label="",style="solid", color="black", weight=3]; 20.84/10.68 851[label="primIntToChar (primPlusInt (primMinusNat vx97 vx98) (fromEnum (Char (Succ vx99))))",fontsize=16,color="burlywood",shape="triangle"];1323[label="vx97/Succ vx970",fontsize=10,color="white",style="solid",shape="box"];851 -> 1323[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1323 -> 865[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1324[label="vx97/Zero",fontsize=10,color="white",style="solid",shape="box"];851 -> 1324[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1324 -> 866[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1151 -> 748[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1151[label="toLower1 (Char (Succ vx101)) (False || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="magenta"];1151 -> 1160[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1151 -> 1161[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1151 -> 1162[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1152[label="toLower1 (Char (Succ vx101)) (True || Char (Succ vx101) >= Char (Succ vx104) && Char (Succ vx101) <= Char (Succ vx105))",fontsize=16,color="black",shape="box"];1152 -> 1163[label="",style="solid", color="black", weight=3]; 20.84/10.68 1155[label="vx1080",fontsize=16,color="green",shape="box"];1156[label="vx1090",fontsize=16,color="green",shape="box"];1157[label="toLower1 (Char (Succ vx107)) (not False && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="triangle"];1157 -> 1164[label="",style="solid", color="black", weight=3]; 20.84/10.68 1158[label="toLower1 (Char (Succ vx107)) (not True && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1158 -> 1165[label="",style="solid", color="black", weight=3]; 20.84/10.68 1159 -> 1157[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1159[label="toLower1 (Char (Succ vx107)) (not False && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="magenta"];865[label="primIntToChar (primPlusInt (primMinusNat (Succ vx970) vx98) (fromEnum (Char (Succ vx99))))",fontsize=16,color="burlywood",shape="box"];1325[label="vx98/Succ vx980",fontsize=10,color="white",style="solid",shape="box"];865 -> 1325[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1325 -> 880[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1326[label="vx98/Zero",fontsize=10,color="white",style="solid",shape="box"];865 -> 1326[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1326 -> 881[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 866[label="primIntToChar (primPlusInt (primMinusNat Zero vx98) (fromEnum (Char (Succ vx99))))",fontsize=16,color="burlywood",shape="box"];1327[label="vx98/Succ vx980",fontsize=10,color="white",style="solid",shape="box"];866 -> 1327[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1327 -> 882[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1328[label="vx98/Zero",fontsize=10,color="white",style="solid",shape="box"];866 -> 1328[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1328 -> 883[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1160[label="vx105",fontsize=16,color="green",shape="box"];1161[label="vx104",fontsize=16,color="green",shape="box"];1162[label="vx101",fontsize=16,color="green",shape="box"];1163 -> 743[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1163[label="toLower1 (Char (Succ vx101)) True",fontsize=16,color="magenta"];1163 -> 1166[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1164[label="toLower1 (Char (Succ vx107)) (True && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1164 -> 1167[label="",style="solid", color="black", weight=3]; 20.84/10.68 1165[label="toLower1 (Char (Succ vx107)) (False && Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1165 -> 1168[label="",style="solid", color="black", weight=3]; 20.84/10.68 880[label="primIntToChar (primPlusInt (primMinusNat (Succ vx970) (Succ vx980)) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];880 -> 897[label="",style="solid", color="black", weight=3]; 20.84/10.68 881[label="primIntToChar (primPlusInt (primMinusNat (Succ vx970) Zero) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];881 -> 898[label="",style="solid", color="black", weight=3]; 20.84/10.68 882[label="primIntToChar (primPlusInt (primMinusNat Zero (Succ vx980)) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];882 -> 899[label="",style="solid", color="black", weight=3]; 20.84/10.68 883[label="primIntToChar (primPlusInt (primMinusNat Zero Zero) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];883 -> 900[label="",style="solid", color="black", weight=3]; 20.84/10.68 1166[label="vx101",fontsize=16,color="green",shape="box"];1167[label="toLower1 (Char (Succ vx107)) (Char (Succ vx107) <= Char (Succ vx110))",fontsize=16,color="black",shape="box"];1167 -> 1169[label="",style="solid", color="black", weight=3]; 20.84/10.68 1168[label="toLower1 (Char (Succ vx107)) False",fontsize=16,color="black",shape="triangle"];1168 -> 1170[label="",style="solid", color="black", weight=3]; 20.84/10.68 897 -> 851[label="",style="dashed", color="red", weight=0]; 20.84/10.68 897[label="primIntToChar (primPlusInt (primMinusNat vx970 vx980) (fromEnum (Char (Succ vx99))))",fontsize=16,color="magenta"];897 -> 915[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 897 -> 916[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 898[label="primIntToChar (primPlusInt (Pos (Succ vx970)) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];898 -> 917[label="",style="solid", color="black", weight=3]; 20.84/10.68 899[label="primIntToChar (primPlusInt (Neg (Succ vx980)) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];899 -> 918[label="",style="solid", color="black", weight=3]; 20.84/10.68 900[label="primIntToChar (primPlusInt (Pos Zero) (fromEnum (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];900 -> 919[label="",style="solid", color="black", weight=3]; 20.84/10.68 1169[label="toLower1 (Char (Succ vx107)) (compare (Char (Succ vx107)) (Char (Succ vx110)) /= GT)",fontsize=16,color="black",shape="box"];1169 -> 1171[label="",style="solid", color="black", weight=3]; 20.84/10.68 1170[label="toLower0 (Char (Succ vx107)) otherwise",fontsize=16,color="black",shape="box"];1170 -> 1172[label="",style="solid", color="black", weight=3]; 20.84/10.68 915[label="vx970",fontsize=16,color="green",shape="box"];916[label="vx980",fontsize=16,color="green",shape="box"];917[label="primIntToChar (primPlusInt (Pos (Succ vx970)) (primCharToInt (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];917 -> 934[label="",style="solid", color="black", weight=3]; 20.84/10.68 918[label="primIntToChar (primPlusInt (Neg (Succ vx980)) (primCharToInt (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];918 -> 935[label="",style="solid", color="black", weight=3]; 20.84/10.68 919[label="primIntToChar (primPlusInt (Pos Zero) (primCharToInt (Char (Succ vx99))))",fontsize=16,color="black",shape="box"];919 -> 936[label="",style="solid", color="black", weight=3]; 20.84/10.68 1171[label="toLower1 (Char (Succ vx107)) (not (compare (Char (Succ vx107)) (Char (Succ vx110)) == GT))",fontsize=16,color="black",shape="box"];1171 -> 1173[label="",style="solid", color="black", weight=3]; 20.84/10.68 1172[label="toLower0 (Char (Succ vx107)) True",fontsize=16,color="black",shape="box"];1172 -> 1174[label="",style="solid", color="black", weight=3]; 20.84/10.68 934[label="primIntToChar (primPlusInt (Pos (Succ vx970)) (Pos (Succ vx99)))",fontsize=16,color="black",shape="box"];934 -> 950[label="",style="solid", color="black", weight=3]; 20.84/10.68 935[label="primIntToChar (primPlusInt (Neg (Succ vx980)) (Pos (Succ vx99)))",fontsize=16,color="black",shape="box"];935 -> 951[label="",style="solid", color="black", weight=3]; 20.84/10.68 936[label="primIntToChar (primPlusInt (Pos Zero) (Pos (Succ vx99)))",fontsize=16,color="black",shape="box"];936 -> 952[label="",style="solid", color="black", weight=3]; 20.84/10.68 1173[label="toLower1 (Char (Succ vx107)) (not (primCmpChar (Char (Succ vx107)) (Char (Succ vx110)) == GT))",fontsize=16,color="black",shape="box"];1173 -> 1175[label="",style="solid", color="black", weight=3]; 20.84/10.68 1174[label="Char (Succ vx107)",fontsize=16,color="green",shape="box"];950[label="primIntToChar (Pos (primPlusNat (Succ vx970) (Succ vx99)))",fontsize=16,color="black",shape="box"];950 -> 967[label="",style="solid", color="black", weight=3]; 20.84/10.68 951[label="primIntToChar (primMinusNat (Succ vx99) (Succ vx980))",fontsize=16,color="black",shape="box"];951 -> 968[label="",style="solid", color="black", weight=3]; 20.84/10.68 952[label="primIntToChar (Pos (primPlusNat Zero (Succ vx99)))",fontsize=16,color="black",shape="box"];952 -> 969[label="",style="solid", color="black", weight=3]; 20.84/10.68 1175 -> 1249[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1175[label="toLower1 (Char (Succ vx107)) (not (primCmpNat (Succ vx107) (Succ vx110) == GT))",fontsize=16,color="magenta"];1175 -> 1250[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1175 -> 1251[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1175 -> 1252[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 967[label="Char (primPlusNat (Succ vx970) (Succ vx99))",fontsize=16,color="green",shape="box"];967 -> 986[label="",style="dashed", color="green", weight=3]; 20.84/10.68 968[label="primIntToChar (primMinusNat vx99 vx980)",fontsize=16,color="burlywood",shape="triangle"];1329[label="vx99/Succ vx990",fontsize=10,color="white",style="solid",shape="box"];968 -> 1329[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1329 -> 987[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1330[label="vx99/Zero",fontsize=10,color="white",style="solid",shape="box"];968 -> 1330[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1330 -> 988[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 969[label="Char (primPlusNat Zero (Succ vx99))",fontsize=16,color="green",shape="box"];969 -> 989[label="",style="dashed", color="green", weight=3]; 20.84/10.68 1250[label="vx107",fontsize=16,color="green",shape="box"];1251[label="Succ vx107",fontsize=16,color="green",shape="box"];1252[label="Succ vx110",fontsize=16,color="green",shape="box"];1249[label="toLower1 (Char (Succ vx112)) (not (primCmpNat vx113 vx114 == GT))",fontsize=16,color="burlywood",shape="triangle"];1331[label="vx113/Succ vx1130",fontsize=10,color="white",style="solid",shape="box"];1249 -> 1331[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1331 -> 1271[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1332[label="vx113/Zero",fontsize=10,color="white",style="solid",shape="box"];1249 -> 1332[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1332 -> 1272[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 986[label="primPlusNat (Succ vx970) (Succ vx99)",fontsize=16,color="black",shape="box"];986 -> 1005[label="",style="solid", color="black", weight=3]; 20.84/10.68 987[label="primIntToChar (primMinusNat (Succ vx990) vx980)",fontsize=16,color="burlywood",shape="box"];1333[label="vx980/Succ vx9800",fontsize=10,color="white",style="solid",shape="box"];987 -> 1333[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1333 -> 1006[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1334[label="vx980/Zero",fontsize=10,color="white",style="solid",shape="box"];987 -> 1334[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1334 -> 1007[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 988[label="primIntToChar (primMinusNat Zero vx980)",fontsize=16,color="burlywood",shape="box"];1335[label="vx980/Succ vx9800",fontsize=10,color="white",style="solid",shape="box"];988 -> 1335[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1335 -> 1008[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1336[label="vx980/Zero",fontsize=10,color="white",style="solid",shape="box"];988 -> 1336[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1336 -> 1009[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 989[label="primPlusNat Zero (Succ vx99)",fontsize=16,color="black",shape="box"];989 -> 1010[label="",style="solid", color="black", weight=3]; 20.84/10.68 1271[label="toLower1 (Char (Succ vx112)) (not (primCmpNat (Succ vx1130) vx114 == GT))",fontsize=16,color="burlywood",shape="box"];1337[label="vx114/Succ vx1140",fontsize=10,color="white",style="solid",shape="box"];1271 -> 1337[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1337 -> 1273[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1338[label="vx114/Zero",fontsize=10,color="white",style="solid",shape="box"];1271 -> 1338[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1338 -> 1274[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1272[label="toLower1 (Char (Succ vx112)) (not (primCmpNat Zero vx114 == GT))",fontsize=16,color="burlywood",shape="box"];1339[label="vx114/Succ vx1140",fontsize=10,color="white",style="solid",shape="box"];1272 -> 1339[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1339 -> 1275[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1340[label="vx114/Zero",fontsize=10,color="white",style="solid",shape="box"];1272 -> 1340[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1340 -> 1276[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1005[label="Succ (Succ (primPlusNat vx970 vx99))",fontsize=16,color="green",shape="box"];1005 -> 1028[label="",style="dashed", color="green", weight=3]; 20.84/10.68 1006[label="primIntToChar (primMinusNat (Succ vx990) (Succ vx9800))",fontsize=16,color="black",shape="box"];1006 -> 1029[label="",style="solid", color="black", weight=3]; 20.84/10.68 1007[label="primIntToChar (primMinusNat (Succ vx990) Zero)",fontsize=16,color="black",shape="box"];1007 -> 1030[label="",style="solid", color="black", weight=3]; 20.84/10.68 1008[label="primIntToChar (primMinusNat Zero (Succ vx9800))",fontsize=16,color="black",shape="box"];1008 -> 1031[label="",style="solid", color="black", weight=3]; 20.84/10.68 1009[label="primIntToChar (primMinusNat Zero Zero)",fontsize=16,color="black",shape="box"];1009 -> 1032[label="",style="solid", color="black", weight=3]; 20.84/10.68 1010[label="Succ vx99",fontsize=16,color="green",shape="box"];1273[label="toLower1 (Char (Succ vx112)) (not (primCmpNat (Succ vx1130) (Succ vx1140) == GT))",fontsize=16,color="black",shape="box"];1273 -> 1277[label="",style="solid", color="black", weight=3]; 20.84/10.68 1274[label="toLower1 (Char (Succ vx112)) (not (primCmpNat (Succ vx1130) Zero == GT))",fontsize=16,color="black",shape="box"];1274 -> 1278[label="",style="solid", color="black", weight=3]; 20.84/10.68 1275[label="toLower1 (Char (Succ vx112)) (not (primCmpNat Zero (Succ vx1140) == GT))",fontsize=16,color="black",shape="box"];1275 -> 1279[label="",style="solid", color="black", weight=3]; 20.84/10.68 1276[label="toLower1 (Char (Succ vx112)) (not (primCmpNat Zero Zero == GT))",fontsize=16,color="black",shape="box"];1276 -> 1280[label="",style="solid", color="black", weight=3]; 20.84/10.68 1028[label="primPlusNat vx970 vx99",fontsize=16,color="burlywood",shape="triangle"];1341[label="vx970/Succ vx9700",fontsize=10,color="white",style="solid",shape="box"];1028 -> 1341[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1341 -> 1071[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1342[label="vx970/Zero",fontsize=10,color="white",style="solid",shape="box"];1028 -> 1342[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1342 -> 1072[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1029 -> 968[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1029[label="primIntToChar (primMinusNat vx990 vx9800)",fontsize=16,color="magenta"];1029 -> 1073[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1029 -> 1074[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1030[label="primIntToChar (Pos (Succ vx990))",fontsize=16,color="black",shape="box"];1030 -> 1075[label="",style="solid", color="black", weight=3]; 20.84/10.68 1031[label="primIntToChar (Neg (Succ vx9800))",fontsize=16,color="black",shape="box"];1031 -> 1076[label="",style="solid", color="black", weight=3]; 20.84/10.68 1032[label="primIntToChar (Pos Zero)",fontsize=16,color="black",shape="box"];1032 -> 1077[label="",style="solid", color="black", weight=3]; 20.84/10.68 1277 -> 1249[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1277[label="toLower1 (Char (Succ vx112)) (not (primCmpNat vx1130 vx1140 == GT))",fontsize=16,color="magenta"];1277 -> 1281[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1277 -> 1282[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1278[label="toLower1 (Char (Succ vx112)) (not (GT == GT))",fontsize=16,color="black",shape="box"];1278 -> 1283[label="",style="solid", color="black", weight=3]; 20.84/10.68 1279[label="toLower1 (Char (Succ vx112)) (not (LT == GT))",fontsize=16,color="black",shape="box"];1279 -> 1284[label="",style="solid", color="black", weight=3]; 20.84/10.68 1280[label="toLower1 (Char (Succ vx112)) (not (EQ == GT))",fontsize=16,color="black",shape="box"];1280 -> 1285[label="",style="solid", color="black", weight=3]; 20.84/10.68 1071[label="primPlusNat (Succ vx9700) vx99",fontsize=16,color="burlywood",shape="box"];1343[label="vx99/Succ vx990",fontsize=10,color="white",style="solid",shape="box"];1071 -> 1343[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1343 -> 1094[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1344[label="vx99/Zero",fontsize=10,color="white",style="solid",shape="box"];1071 -> 1344[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1344 -> 1095[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1072[label="primPlusNat Zero vx99",fontsize=16,color="burlywood",shape="box"];1345[label="vx99/Succ vx990",fontsize=10,color="white",style="solid",shape="box"];1072 -> 1345[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1345 -> 1096[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1346[label="vx99/Zero",fontsize=10,color="white",style="solid",shape="box"];1072 -> 1346[label="",style="solid", color="burlywood", weight=9]; 20.84/10.68 1346 -> 1097[label="",style="solid", color="burlywood", weight=3]; 20.84/10.68 1073[label="vx9800",fontsize=16,color="green",shape="box"];1074[label="vx990",fontsize=16,color="green",shape="box"];1075[label="Char (Succ vx990)",fontsize=16,color="green",shape="box"];1076[label="error []",fontsize=16,color="red",shape="box"];1077[label="Char Zero",fontsize=16,color="green",shape="box"];1281[label="vx1130",fontsize=16,color="green",shape="box"];1282[label="vx1140",fontsize=16,color="green",shape="box"];1283[label="toLower1 (Char (Succ vx112)) (not True)",fontsize=16,color="black",shape="box"];1283 -> 1286[label="",style="solid", color="black", weight=3]; 20.84/10.68 1284[label="toLower1 (Char (Succ vx112)) (not False)",fontsize=16,color="black",shape="triangle"];1284 -> 1287[label="",style="solid", color="black", weight=3]; 20.84/10.68 1285 -> 1284[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1285[label="toLower1 (Char (Succ vx112)) (not False)",fontsize=16,color="magenta"];1094[label="primPlusNat (Succ vx9700) (Succ vx990)",fontsize=16,color="black",shape="box"];1094 -> 1133[label="",style="solid", color="black", weight=3]; 20.84/10.68 1095[label="primPlusNat (Succ vx9700) Zero",fontsize=16,color="black",shape="box"];1095 -> 1134[label="",style="solid", color="black", weight=3]; 20.84/10.68 1096[label="primPlusNat Zero (Succ vx990)",fontsize=16,color="black",shape="box"];1096 -> 1135[label="",style="solid", color="black", weight=3]; 20.84/10.68 1097[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1097 -> 1136[label="",style="solid", color="black", weight=3]; 20.84/10.68 1286 -> 1168[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1286[label="toLower1 (Char (Succ vx112)) False",fontsize=16,color="magenta"];1286 -> 1288[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1287 -> 743[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1287[label="toLower1 (Char (Succ vx112)) True",fontsize=16,color="magenta"];1287 -> 1289[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1133[label="Succ (Succ (primPlusNat vx9700 vx990))",fontsize=16,color="green",shape="box"];1133 -> 1146[label="",style="dashed", color="green", weight=3]; 20.84/10.68 1134[label="Succ vx9700",fontsize=16,color="green",shape="box"];1135[label="Succ vx990",fontsize=16,color="green",shape="box"];1136[label="Zero",fontsize=16,color="green",shape="box"];1288[label="vx112",fontsize=16,color="green",shape="box"];1289[label="vx112",fontsize=16,color="green",shape="box"];1146 -> 1028[label="",style="dashed", color="red", weight=0]; 20.84/10.68 1146[label="primPlusNat vx9700 vx990",fontsize=16,color="magenta"];1146 -> 1153[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1146 -> 1154[label="",style="dashed", color="magenta", weight=3]; 20.84/10.68 1153[label="vx9700",fontsize=16,color="green",shape="box"];1154[label="vx990",fontsize=16,color="green",shape="box"];} 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (8) 20.84/10.68 Complex Obligation (AND) 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (9) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_primIntToChar(Succ(vx990), Succ(vx9800)) -> new_primIntToChar(vx990, vx9800) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (10) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_primIntToChar(Succ(vx990), Succ(vx9800)) -> new_primIntToChar(vx990, vx9800) 20.84/10.68 The graph contains the following edges 1 > 1, 2 > 2 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (11) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (12) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_toLower14(vx38, Succ(vx390), Succ(vx400), vx41, vx42, vx43, vx44, vx45) -> new_toLower14(vx38, vx390, vx400, vx41, vx42, vx43, vx44, vx45) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (13) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_toLower14(vx38, Succ(vx390), Succ(vx400), vx41, vx42, vx43, vx44, vx45) -> new_toLower14(vx38, vx390, vx400, vx41, vx42, vx43, vx44, vx45) 20.84/10.68 The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 8 >= 8 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (14) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (15) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_toLower10(vx107, Succ(vx1080), Succ(vx1090), vx110) -> new_toLower10(vx107, vx1080, vx1090, vx110) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (16) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_toLower10(vx107, Succ(vx1080), Succ(vx1090), vx110) -> new_toLower10(vx107, vx1080, vx1090, vx110) 20.84/10.68 The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (17) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (18) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_primIntToChar0(Succ(vx970), Succ(vx980), vx99) -> new_primIntToChar0(vx970, vx980, vx99) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (19) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_primIntToChar0(Succ(vx970), Succ(vx980), vx99) -> new_primIntToChar0(vx970, vx980, vx99) 20.84/10.68 The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (20) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (21) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_toLower13(vx72, Succ(vx730), Succ(vx740), vx75, vx76, vx77, vx78) -> new_toLower13(vx72, vx730, vx740, vx75, vx76, vx77, vx78) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (22) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_toLower13(vx72, Succ(vx730), Succ(vx740), vx75, vx76, vx77, vx78) -> new_toLower13(vx72, vx730, vx740, vx75, vx76, vx77, vx78) 20.84/10.68 The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (23) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (24) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_toLower11(vx101, Succ(vx1020), Succ(vx1030), vx104, vx105) -> new_toLower11(vx101, vx1020, vx1030, vx104, vx105) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (25) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_toLower11(vx101, Succ(vx1020), Succ(vx1030), vx104, vx105) -> new_toLower11(vx101, vx1020, vx1030, vx104, vx105) 20.84/10.68 The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (26) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (27) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_toLower1(vx112, Succ(vx1130), Succ(vx1140)) -> new_toLower1(vx112, vx1130, vx1140) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (28) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_toLower1(vx112, Succ(vx1130), Succ(vx1140)) -> new_toLower1(vx112, vx1130, vx1140) 20.84/10.68 The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (29) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (30) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_toLower12(vx80, Succ(vx810), Succ(vx820), vx83, vx84, vx85) -> new_toLower12(vx80, vx810, vx820, vx83, vx84, vx85) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (31) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_toLower12(vx80, Succ(vx810), Succ(vx820), vx83, vx84, vx85) -> new_toLower12(vx80, vx810, vx820, vx83, vx84, vx85) 20.84/10.68 The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (32) 20.84/10.68 YES 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (33) 20.84/10.68 Obligation: 20.84/10.68 Q DP problem: 20.84/10.68 The TRS P consists of the following rules: 20.84/10.68 20.84/10.68 new_primPlusNat(Succ(vx9700), Succ(vx990)) -> new_primPlusNat(vx9700, vx990) 20.84/10.68 20.84/10.68 R is empty. 20.84/10.68 Q is empty. 20.84/10.68 We have to consider all minimal (P,Q,R)-chains. 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (34) QDPSizeChangeProof (EQUIVALENT) 20.84/10.68 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. 20.84/10.68 20.84/10.68 From the DPs we obtained the following set of size-change graphs: 20.84/10.68 *new_primPlusNat(Succ(vx9700), Succ(vx990)) -> new_primPlusNat(vx9700, vx990) 20.84/10.68 The graph contains the following edges 1 > 1, 2 > 2 20.84/10.68 20.84/10.68 20.84/10.68 ---------------------------------------- 20.84/10.68 20.84/10.68 (35) 20.84/10.68 YES 21.25/10.85 EOF