9.35/4.02 YES 11.52/4.59 proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs 11.52/4.59 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 11.52/4.59 11.52/4.59 11.52/4.59 H-Termination with start terms of the given HASKELL could be proven: 11.52/4.59 11.52/4.59 (0) HASKELL 11.52/4.59 (1) LR [EQUIVALENT, 0 ms] 11.52/4.59 (2) HASKELL 11.52/4.59 (3) IFR [EQUIVALENT, 0 ms] 11.52/4.59 (4) HASKELL 11.52/4.59 (5) BR [EQUIVALENT, 0 ms] 11.52/4.59 (6) HASKELL 11.52/4.59 (7) COR [EQUIVALENT, 0 ms] 11.52/4.59 (8) HASKELL 11.52/4.59 (9) Narrow [EQUIVALENT, 405 ms] 11.52/4.59 (10) YES 11.52/4.59 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (0) 11.52/4.59 Obligation: 11.52/4.59 mainModule Main 11.52/4.59 module Main where { 11.52/4.59 import qualified Prelude; 11.52/4.59 } 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (1) LR (EQUIVALENT) 11.52/4.59 Lambda Reductions: 11.52/4.59 The following Lambda expression 11.52/4.59 "\z->if y >= z && z >= x then z : [] else []" 11.52/4.59 is transformed to 11.52/4.59 "range0 y x z = if y >= z && z >= x then z : [] else []; 11.52/4.59 " 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (2) 11.52/4.59 Obligation: 11.52/4.59 mainModule Main 11.52/4.59 module Main where { 11.52/4.59 import qualified Prelude; 11.52/4.59 } 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (3) IFR (EQUIVALENT) 11.52/4.59 If Reductions: 11.52/4.59 The following If expression 11.52/4.59 "if y >= z && z >= x then z : [] else []" 11.52/4.59 is transformed to 11.52/4.59 "range00 z True = z : []; 11.52/4.59 range00 z False = []; 11.52/4.59 " 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (4) 11.52/4.59 Obligation: 11.52/4.59 mainModule Main 11.52/4.59 module Main where { 11.52/4.59 import qualified Prelude; 11.52/4.59 } 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (5) BR (EQUIVALENT) 11.52/4.59 Replaced joker patterns by fresh variables and removed binding patterns. 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (6) 11.52/4.59 Obligation: 11.52/4.59 mainModule Main 11.52/4.59 module Main where { 11.52/4.59 import qualified Prelude; 11.52/4.59 } 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (7) COR (EQUIVALENT) 11.52/4.59 Cond Reductions: 11.52/4.59 The following Function with conditions 11.52/4.59 "compare x y|x == yEQ|x <= yLT|otherwiseGT; 11.52/4.59 " 11.52/4.59 is transformed to 11.52/4.59 "compare x y = compare3 x y; 11.52/4.59 " 11.52/4.59 "compare0 x y True = GT; 11.52/4.59 " 11.52/4.59 "compare2 x y True = EQ; 11.52/4.59 compare2 x y False = compare1 x y (x <= y); 11.52/4.59 " 11.52/4.59 "compare1 x y True = LT; 11.52/4.59 compare1 x y False = compare0 x y otherwise; 11.52/4.59 " 11.52/4.59 "compare3 x y = compare2 x y (x == y); 11.52/4.59 " 11.52/4.59 The following Function with conditions 11.52/4.59 "undefined |Falseundefined; 11.52/4.59 " 11.52/4.59 is transformed to 11.52/4.59 "undefined = undefined1; 11.52/4.59 " 11.52/4.59 "undefined0 True = undefined; 11.52/4.59 " 11.52/4.59 "undefined1 = undefined0 False; 11.52/4.59 " 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (8) 11.52/4.59 Obligation: 11.52/4.59 mainModule Main 11.52/4.59 module Main where { 11.52/4.59 import qualified Prelude; 11.52/4.59 } 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (9) Narrow (EQUIVALENT) 11.52/4.59 Haskell To QDPs 11.52/4.59 11.52/4.59 digraph dp_graph { 11.52/4.59 node [outthreshold=100, inthreshold=100];1[label="range",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 11.52/4.59 3[label="range vx3",fontsize=16,color="burlywood",shape="triangle"];537[label="vx3/(vx30,vx31)",fontsize=10,color="white",style="solid",shape="box"];3 -> 537[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 537 -> 4[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 4[label="range (vx30,vx31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3]; 11.52/4.59 5[label="concatMap (range0 vx31 vx30) (LT : EQ : GT : [])",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 11.52/4.59 6[label="concat . map (range0 vx31 vx30)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 11.52/4.59 7[label="concat (map (range0 vx31 vx30) (LT : EQ : GT : []))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 11.52/4.59 8[label="foldr (++) [] (map (range0 vx31 vx30) (LT : EQ : GT : []))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 11.52/4.59 9[label="foldr (++) [] (range0 vx31 vx30 LT : map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 11.52/4.59 10[label="(++) range0 vx31 vx30 LT foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 11.52/4.59 11[label="(++) range00 LT (vx31 >= LT && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 11.52/4.59 12[label="(++) range00 LT (compare vx31 LT /= LT && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 11.52/4.59 13[label="(++) range00 LT (not (compare vx31 LT == LT) && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 11.52/4.59 14[label="(++) range00 LT (not (compare3 vx31 LT == LT) && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 11.52/4.59 15[label="(++) range00 LT (not (compare2 vx31 LT (vx31 == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 vx31 vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];538[label="vx31/LT",fontsize=10,color="white",style="solid",shape="box"];15 -> 538[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 538 -> 16[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 539[label="vx31/EQ",fontsize=10,color="white",style="solid",shape="box"];15 -> 539[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 539 -> 17[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 540[label="vx31/GT",fontsize=10,color="white",style="solid",shape="box"];15 -> 540[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 540 -> 18[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 16[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];16 -> 19[label="",style="solid", color="black", weight=3]; 11.52/4.59 17[label="(++) range00 LT (not (compare2 EQ LT (EQ == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];17 -> 20[label="",style="solid", color="black", weight=3]; 11.52/4.59 18[label="(++) range00 LT (not (compare2 GT LT (GT == LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];18 -> 21[label="",style="solid", color="black", weight=3]; 11.52/4.59 19[label="(++) range00 LT (not (compare2 LT LT True == LT) && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3]; 11.52/4.59 20[label="(++) range00 LT (not (compare2 EQ LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];20 -> 23[label="",style="solid", color="black", weight=3]; 11.52/4.59 21[label="(++) range00 LT (not (compare2 GT LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];21 -> 24[label="",style="solid", color="black", weight=3]; 11.52/4.59 22[label="(++) range00 LT (not (EQ == LT) && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3]; 11.52/4.59 23[label="(++) range00 LT (not (compare1 EQ LT (EQ <= LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];23 -> 26[label="",style="solid", color="black", weight=3]; 11.52/4.59 24[label="(++) range00 LT (not (compare1 GT LT (GT <= LT) == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];24 -> 27[label="",style="solid", color="black", weight=3]; 11.52/4.59 25[label="(++) range00 LT (not False && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];25 -> 28[label="",style="solid", color="black", weight=3]; 11.52/4.59 26[label="(++) range00 LT (not (compare1 EQ LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];26 -> 29[label="",style="solid", color="black", weight=3]; 11.52/4.59 27[label="(++) range00 LT (not (compare1 GT LT False == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];27 -> 30[label="",style="solid", color="black", weight=3]; 11.52/4.59 28[label="(++) range00 LT (True && LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];28 -> 31[label="",style="solid", color="black", weight=3]; 11.52/4.59 29[label="(++) range00 LT (not (compare0 EQ LT otherwise == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];29 -> 32[label="",style="solid", color="black", weight=3]; 11.52/4.59 30[label="(++) range00 LT (not (compare0 GT LT otherwise == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];30 -> 33[label="",style="solid", color="black", weight=3]; 11.52/4.59 31[label="(++) range00 LT (LT >= vx30) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];31 -> 34[label="",style="solid", color="black", weight=3]; 11.52/4.59 32[label="(++) range00 LT (not (compare0 EQ LT True == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];32 -> 35[label="",style="solid", color="black", weight=3]; 11.52/4.59 33[label="(++) range00 LT (not (compare0 GT LT True == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];33 -> 36[label="",style="solid", color="black", weight=3]; 11.52/4.59 34[label="(++) range00 LT (compare LT vx30 /= LT) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];34 -> 37[label="",style="solid", color="black", weight=3]; 11.52/4.59 35[label="(++) range00 LT (not (GT == LT) && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];35 -> 38[label="",style="solid", color="black", weight=3]; 11.52/4.59 36[label="(++) range00 LT (not (GT == LT) && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];36 -> 39[label="",style="solid", color="black", weight=3]; 11.52/4.59 37[label="(++) range00 LT (not (compare LT vx30 == LT)) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];37 -> 40[label="",style="solid", color="black", weight=3]; 11.52/4.59 38[label="(++) range00 LT (not False && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];38 -> 41[label="",style="solid", color="black", weight=3]; 11.52/4.59 39[label="(++) range00 LT (not False && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];39 -> 42[label="",style="solid", color="black", weight=3]; 11.52/4.59 40[label="(++) range00 LT (not (compare3 LT vx30 == LT)) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];40 -> 43[label="",style="solid", color="black", weight=3]; 11.52/4.59 41[label="(++) range00 LT (True && LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];41 -> 44[label="",style="solid", color="black", weight=3]; 11.52/4.59 42[label="(++) range00 LT (True && LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];42 -> 45[label="",style="solid", color="black", weight=3]; 11.52/4.59 43[label="(++) range00 LT (not (compare2 LT vx30 (LT == vx30) == LT)) foldr (++) [] (map (range0 LT vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];541[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];43 -> 541[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 541 -> 46[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 542[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];43 -> 542[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 542 -> 47[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 543[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];43 -> 543[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 543 -> 48[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 44[label="(++) range00 LT (LT >= vx30) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];44 -> 49[label="",style="solid", color="black", weight=3]; 11.52/4.59 45[label="(++) range00 LT (LT >= vx30) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];45 -> 50[label="",style="solid", color="black", weight=3]; 11.52/4.59 46[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];46 -> 51[label="",style="solid", color="black", weight=3]; 11.52/4.59 47[label="(++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];47 -> 52[label="",style="solid", color="black", weight=3]; 11.52/4.59 48[label="(++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];48 -> 53[label="",style="solid", color="black", weight=3]; 11.52/4.59 49[label="(++) range00 LT (compare LT vx30 /= LT) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];49 -> 54[label="",style="solid", color="black", weight=3]; 11.52/4.59 50[label="(++) range00 LT (compare LT vx30 /= LT) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];50 -> 55[label="",style="solid", color="black", weight=3]; 11.52/4.59 51[label="(++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];51 -> 56[label="",style="solid", color="black", weight=3]; 11.52/4.59 52[label="(++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];52 -> 57[label="",style="solid", color="black", weight=3]; 11.52/4.59 53[label="(++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];53 -> 58[label="",style="solid", color="black", weight=3]; 11.52/4.59 54[label="(++) range00 LT (not (compare LT vx30 == LT)) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];54 -> 59[label="",style="solid", color="black", weight=3]; 11.52/4.59 55[label="(++) range00 LT (not (compare LT vx30 == LT)) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];55 -> 60[label="",style="solid", color="black", weight=3]; 11.52/4.59 56[label="(++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];56 -> 61[label="",style="solid", color="black", weight=3]; 11.52/4.59 57[label="(++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];57 -> 62[label="",style="solid", color="black", weight=3]; 11.52/4.59 58[label="(++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];58 -> 63[label="",style="solid", color="black", weight=3]; 11.52/4.59 59[label="(++) range00 LT (not (compare3 LT vx30 == LT)) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];59 -> 64[label="",style="solid", color="black", weight=3]; 11.52/4.59 60[label="(++) range00 LT (not (compare3 LT vx30 == LT)) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="black",shape="box"];60 -> 65[label="",style="solid", color="black", weight=3]; 11.52/4.59 61[label="(++) range00 LT (not False) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];61 -> 66[label="",style="solid", color="black", weight=3]; 11.52/4.59 62[label="(++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3]; 11.52/4.59 63[label="(++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];63 -> 68[label="",style="solid", color="black", weight=3]; 11.52/4.59 64[label="(++) range00 LT (not (compare2 LT vx30 (LT == vx30) == LT)) foldr (++) [] (map (range0 EQ vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];544[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];64 -> 544[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 544 -> 69[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 545[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];64 -> 545[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 545 -> 70[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 546[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];64 -> 546[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 546 -> 71[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 65[label="(++) range00 LT (not (compare2 LT vx30 (LT == vx30) == LT)) foldr (++) [] (map (range0 GT vx30) (EQ : GT : []))",fontsize=16,color="burlywood",shape="box"];547[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];65 -> 547[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 547 -> 72[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 548[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];65 -> 548[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 548 -> 73[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 549[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];65 -> 549[label="",style="solid", color="burlywood", weight=9]; 11.52/4.59 549 -> 74[label="",style="solid", color="burlywood", weight=3]; 11.52/4.59 66[label="(++) range00 LT True foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3]; 11.52/4.59 67[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];67 -> 76[label="",style="solid", color="black", weight=3]; 11.52/4.59 68[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];68 -> 77[label="",style="solid", color="black", weight=3]; 11.52/4.59 69[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];69 -> 78[label="",style="solid", color="black", weight=3]; 11.52/4.59 70[label="(++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];70 -> 79[label="",style="solid", color="black", weight=3]; 11.52/4.59 71[label="(++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];71 -> 80[label="",style="solid", color="black", weight=3]; 11.52/4.59 72[label="(++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];72 -> 81[label="",style="solid", color="black", weight=3]; 11.52/4.59 73[label="(++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];73 -> 82[label="",style="solid", color="black", weight=3]; 11.52/4.59 74[label="(++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3]; 11.52/4.59 75[label="(++) (LT : []) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3]; 11.52/4.59 76[label="(++) range00 LT (not True) foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];76 -> 85[label="",style="solid", color="black", weight=3]; 11.52/4.59 77[label="(++) range00 LT (not True) foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];77 -> 86[label="",style="solid", color="black", weight=3]; 11.52/4.59 78[label="(++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];78 -> 87[label="",style="solid", color="black", weight=3]; 11.52/4.59 79[label="(++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];79 -> 88[label="",style="solid", color="black", weight=3]; 11.52/4.59 80[label="(++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];80 -> 89[label="",style="solid", color="black", weight=3]; 11.52/4.59 81[label="(++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];81 -> 90[label="",style="solid", color="black", weight=3]; 11.52/4.59 82[label="(++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];82 -> 91[label="",style="solid", color="black", weight=3]; 11.52/4.59 83[label="(++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];83 -> 92[label="",style="solid", color="black", weight=3]; 11.52/4.59 84[label="LT : [] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="green",shape="box"];84 -> 93[label="",style="dashed", color="green", weight=3]; 11.52/4.59 85[label="(++) range00 LT False foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];85 -> 94[label="",style="solid", color="black", weight=3]; 11.52/4.59 86[label="(++) range00 LT False foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];86 -> 95[label="",style="solid", color="black", weight=3]; 11.52/4.59 87[label="(++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];87 -> 96[label="",style="solid", color="black", weight=3]; 11.52/4.59 88[label="(++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];88 -> 97[label="",style="solid", color="black", weight=3]; 11.52/4.59 89[label="(++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];89 -> 98[label="",style="solid", color="black", weight=3]; 11.52/4.59 90[label="(++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];90 -> 99[label="",style="solid", color="black", weight=3]; 11.52/4.59 91[label="(++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];91 -> 100[label="",style="solid", color="black", weight=3]; 11.52/4.59 92[label="(++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];92 -> 101[label="",style="solid", color="black", weight=3]; 11.52/4.59 93[label="[] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];93 -> 102[label="",style="solid", color="black", weight=3]; 11.52/4.59 94[label="(++) [] foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];94 -> 103[label="",style="solid", color="black", weight=3]; 11.52/4.59 95[label="(++) [] foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];95 -> 104[label="",style="solid", color="black", weight=3]; 11.52/4.59 96[label="(++) range00 LT (not False) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];96 -> 105[label="",style="solid", color="black", weight=3]; 11.52/4.59 97[label="(++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];97 -> 106[label="",style="solid", color="black", weight=3]; 11.52/4.59 98[label="(++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];98 -> 107[label="",style="solid", color="black", weight=3]; 11.52/4.59 99[label="(++) range00 LT (not False) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];99 -> 108[label="",style="solid", color="black", weight=3]; 11.52/4.59 100[label="(++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];100 -> 109[label="",style="solid", color="black", weight=3]; 11.52/4.59 101[label="(++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];101 -> 110[label="",style="solid", color="black", weight=3]; 11.52/4.59 102[label="foldr (++) [] (map (range0 LT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];102 -> 111[label="",style="solid", color="black", weight=3]; 11.52/4.59 103[label="foldr (++) [] (map (range0 LT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];103 -> 112[label="",style="solid", color="black", weight=3]; 11.52/4.59 104[label="foldr (++) [] (map (range0 LT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];104 -> 113[label="",style="solid", color="black", weight=3]; 11.52/4.59 105[label="(++) range00 LT True foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];105 -> 114[label="",style="solid", color="black", weight=3]; 11.52/4.59 106[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3]; 11.52/4.59 107[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];107 -> 116[label="",style="solid", color="black", weight=3]; 11.52/4.59 108[label="(++) range00 LT True foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3]; 11.52/4.59 109[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];109 -> 118[label="",style="solid", color="black", weight=3]; 11.52/4.59 110[label="(++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];110 -> 119[label="",style="solid", color="black", weight=3]; 11.52/4.59 111[label="foldr (++) [] (range0 LT LT EQ : map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];111 -> 120[label="",style="solid", color="black", weight=3]; 11.52/4.59 112[label="foldr (++) [] (range0 LT EQ EQ : map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];112 -> 121[label="",style="solid", color="black", weight=3]; 11.52/4.59 113[label="foldr (++) [] (range0 LT GT EQ : map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3]; 11.52/4.59 114[label="(++) (LT : []) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3]; 11.52/4.59 115[label="(++) range00 LT (not True) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];115 -> 124[label="",style="solid", color="black", weight=3]; 11.52/4.59 116[label="(++) range00 LT (not True) foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];116 -> 125[label="",style="solid", color="black", weight=3]; 11.52/4.59 117[label="(++) (LT : []) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];117 -> 126[label="",style="solid", color="black", weight=3]; 11.52/4.59 118[label="(++) range00 LT (not True) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];118 -> 127[label="",style="solid", color="black", weight=3]; 11.52/4.59 119[label="(++) range00 LT (not True) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];119 -> 128[label="",style="solid", color="black", weight=3]; 11.52/4.59 120[label="(++) range0 LT LT EQ foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];120 -> 129[label="",style="solid", color="black", weight=3]; 11.52/4.59 121[label="(++) range0 LT EQ EQ foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];121 -> 130[label="",style="solid", color="black", weight=3]; 11.52/4.59 122[label="(++) range0 LT GT EQ foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];122 -> 131[label="",style="solid", color="black", weight=3]; 11.52/4.59 123[label="LT : [] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="green",shape="box"];123 -> 132[label="",style="dashed", color="green", weight=3]; 11.52/4.59 124[label="(++) range00 LT False foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];124 -> 133[label="",style="solid", color="black", weight=3]; 11.52/4.59 125[label="(++) range00 LT False foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];125 -> 134[label="",style="solid", color="black", weight=3]; 11.52/4.59 126[label="LT : [] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="green",shape="box"];126 -> 135[label="",style="dashed", color="green", weight=3]; 11.52/4.59 127[label="(++) range00 LT False foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];127 -> 136[label="",style="solid", color="black", weight=3]; 11.52/4.59 128[label="(++) range00 LT False foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3]; 11.52/4.59 129[label="(++) range00 EQ (LT >= EQ && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];129 -> 138[label="",style="solid", color="black", weight=3]; 11.52/4.59 130[label="(++) range00 EQ (LT >= EQ && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];130 -> 139[label="",style="solid", color="black", weight=3]; 11.52/4.59 131[label="(++) range00 EQ (LT >= EQ && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];131 -> 140[label="",style="solid", color="black", weight=3]; 11.52/4.59 132[label="[] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];132 -> 141[label="",style="solid", color="black", weight=3]; 11.52/4.59 133[label="(++) [] foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];133 -> 142[label="",style="solid", color="black", weight=3]; 11.52/4.59 134[label="(++) [] foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];134 -> 143[label="",style="solid", color="black", weight=3]; 11.52/4.59 135[label="[] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];135 -> 144[label="",style="solid", color="black", weight=3]; 11.52/4.59 136[label="(++) [] foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];136 -> 145[label="",style="solid", color="black", weight=3]; 11.52/4.59 137[label="(++) [] foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];137 -> 146[label="",style="solid", color="black", weight=3]; 11.52/4.59 138[label="(++) range00 EQ (compare LT EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];138 -> 147[label="",style="solid", color="black", weight=3]; 11.52/4.59 139[label="(++) range00 EQ (compare LT EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3]; 11.52/4.59 140[label="(++) range00 EQ (compare LT EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3]; 11.52/4.59 141[label="foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3]; 11.52/4.59 142[label="foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];142 -> 151[label="",style="solid", color="black", weight=3]; 11.52/4.59 143[label="foldr (++) [] (map (range0 EQ GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];143 -> 152[label="",style="solid", color="black", weight=3]; 11.52/4.59 144[label="foldr (++) [] (map (range0 GT LT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];144 -> 153[label="",style="solid", color="black", weight=3]; 11.52/4.59 145[label="foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))",fontsize=16,color="black",shape="box"];145 -> 154[label="",style="solid", color="black", weight=3]; 11.52/4.59 146[label="foldr (++) [] (map (range0 GT GT) (EQ : GT : []))",fontsize=16,color="black",shape="box"];146 -> 155[label="",style="solid", color="black", weight=3]; 11.52/4.59 147[label="(++) range00 EQ (not (compare LT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];147 -> 156[label="",style="solid", color="black", weight=3]; 11.52/4.59 148[label="(++) range00 EQ (not (compare LT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];148 -> 157[label="",style="solid", color="black", weight=3]; 11.52/4.59 149[label="(++) range00 EQ (not (compare LT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];149 -> 158[label="",style="solid", color="black", weight=3]; 11.52/4.59 150[label="foldr (++) [] (range0 EQ LT EQ : map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];150 -> 159[label="",style="solid", color="black", weight=3]; 11.52/4.59 151[label="foldr (++) [] (range0 EQ EQ EQ : map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];151 -> 160[label="",style="solid", color="black", weight=3]; 11.52/4.59 152[label="foldr (++) [] (range0 EQ GT EQ : map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];152 -> 161[label="",style="solid", color="black", weight=3]; 11.52/4.59 153[label="foldr (++) [] (range0 GT LT EQ : map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];153 -> 162[label="",style="solid", color="black", weight=3]; 11.52/4.59 154[label="foldr (++) [] (range0 GT EQ EQ : map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];154 -> 163[label="",style="solid", color="black", weight=3]; 11.52/4.59 155[label="foldr (++) [] (range0 GT GT EQ : map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];155 -> 164[label="",style="solid", color="black", weight=3]; 11.52/4.59 156[label="(++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];156 -> 165[label="",style="solid", color="black", weight=3]; 11.52/4.59 157[label="(++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];157 -> 166[label="",style="solid", color="black", weight=3]; 11.52/4.59 158[label="(++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];158 -> 167[label="",style="solid", color="black", weight=3]; 11.52/4.59 159[label="(++) range0 EQ LT EQ foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];159 -> 168[label="",style="solid", color="black", weight=3]; 11.52/4.59 160[label="(++) range0 EQ EQ EQ foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];160 -> 169[label="",style="solid", color="black", weight=3]; 11.52/4.59 161[label="(++) range0 EQ GT EQ foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];161 -> 170[label="",style="solid", color="black", weight=3]; 11.52/4.59 162[label="(++) range0 GT LT EQ foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];162 -> 171[label="",style="solid", color="black", weight=3]; 11.52/4.59 163[label="(++) range0 GT EQ EQ foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];163 -> 172[label="",style="solid", color="black", weight=3]; 11.52/4.59 164[label="(++) range0 GT GT EQ foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];164 -> 173[label="",style="solid", color="black", weight=3]; 11.52/4.59 165[label="(++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];165 -> 174[label="",style="solid", color="black", weight=3]; 11.52/4.59 166[label="(++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];166 -> 175[label="",style="solid", color="black", weight=3]; 11.52/4.59 167[label="(++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];167 -> 176[label="",style="solid", color="black", weight=3]; 11.52/4.59 168[label="(++) range00 EQ (EQ >= EQ && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];168 -> 177[label="",style="solid", color="black", weight=3]; 11.52/4.59 169[label="(++) range00 EQ (EQ >= EQ && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];169 -> 178[label="",style="solid", color="black", weight=3]; 11.52/4.59 170[label="(++) range00 EQ (EQ >= EQ && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];170 -> 179[label="",style="solid", color="black", weight=3]; 11.52/4.59 171[label="(++) range00 EQ (GT >= EQ && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];171 -> 180[label="",style="solid", color="black", weight=3]; 11.52/4.59 172[label="(++) range00 EQ (GT >= EQ && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];172 -> 181[label="",style="solid", color="black", weight=3]; 11.52/4.59 173[label="(++) range00 EQ (GT >= EQ && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];173 -> 182[label="",style="solid", color="black", weight=3]; 11.52/4.59 174[label="(++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];174 -> 183[label="",style="solid", color="black", weight=3]; 11.52/4.59 175[label="(++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];175 -> 184[label="",style="solid", color="black", weight=3]; 11.52/4.59 176[label="(++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];176 -> 185[label="",style="solid", color="black", weight=3]; 11.52/4.59 177[label="(++) range00 EQ (compare EQ EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];177 -> 186[label="",style="solid", color="black", weight=3]; 11.52/4.59 178[label="(++) range00 EQ (compare EQ EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];178 -> 187[label="",style="solid", color="black", weight=3]; 11.52/4.59 179[label="(++) range00 EQ (compare EQ EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];179 -> 188[label="",style="solid", color="black", weight=3]; 11.52/4.59 180[label="(++) range00 EQ (compare GT EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];180 -> 189[label="",style="solid", color="black", weight=3]; 11.52/4.59 181[label="(++) range00 EQ (compare GT EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];181 -> 190[label="",style="solid", color="black", weight=3]; 11.52/4.59 182[label="(++) range00 EQ (compare GT EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];182 -> 191[label="",style="solid", color="black", weight=3]; 11.52/4.59 183[label="(++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];183 -> 192[label="",style="solid", color="black", weight=3]; 11.52/4.59 184[label="(++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];184 -> 193[label="",style="solid", color="black", weight=3]; 11.52/4.59 185[label="(++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];185 -> 194[label="",style="solid", color="black", weight=3]; 11.52/4.59 186[label="(++) range00 EQ (not (compare EQ EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];186 -> 195[label="",style="solid", color="black", weight=3]; 11.52/4.59 187[label="(++) range00 EQ (not (compare EQ EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];187 -> 196[label="",style="solid", color="black", weight=3]; 11.52/4.59 188[label="(++) range00 EQ (not (compare EQ EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];188 -> 197[label="",style="solid", color="black", weight=3]; 11.52/4.59 189[label="(++) range00 EQ (not (compare GT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];189 -> 198[label="",style="solid", color="black", weight=3]; 11.52/4.59 190[label="(++) range00 EQ (not (compare GT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];190 -> 199[label="",style="solid", color="black", weight=3]; 11.52/4.59 191[label="(++) range00 EQ (not (compare GT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];191 -> 200[label="",style="solid", color="black", weight=3]; 11.52/4.59 192[label="(++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];192 -> 201[label="",style="solid", color="black", weight=3]; 11.52/4.59 193[label="(++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];193 -> 202[label="",style="solid", color="black", weight=3]; 11.52/4.59 194[label="(++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];194 -> 203[label="",style="solid", color="black", weight=3]; 11.52/4.59 195[label="(++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];195 -> 204[label="",style="solid", color="black", weight=3]; 11.52/4.59 196[label="(++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];196 -> 205[label="",style="solid", color="black", weight=3]; 11.52/4.59 197[label="(++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];197 -> 206[label="",style="solid", color="black", weight=3]; 11.52/4.59 198[label="(++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];198 -> 207[label="",style="solid", color="black", weight=3]; 11.52/4.59 199[label="(++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];199 -> 208[label="",style="solid", color="black", weight=3]; 11.52/4.59 200[label="(++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];200 -> 209[label="",style="solid", color="black", weight=3]; 11.52/4.59 201[label="(++) range00 EQ (not (LT == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];201 -> 210[label="",style="solid", color="black", weight=3]; 11.52/4.59 202[label="(++) range00 EQ (not (LT == LT) && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];202 -> 211[label="",style="solid", color="black", weight=3]; 11.52/4.59 203[label="(++) range00 EQ (not (LT == LT) && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];203 -> 212[label="",style="solid", color="black", weight=3]; 11.52/4.59 204[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];204 -> 213[label="",style="solid", color="black", weight=3]; 11.52/4.59 205[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];205 -> 214[label="",style="solid", color="black", weight=3]; 11.52/4.59 206[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];206 -> 215[label="",style="solid", color="black", weight=3]; 11.52/4.59 207[label="(++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];207 -> 216[label="",style="solid", color="black", weight=3]; 11.52/4.59 208[label="(++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];208 -> 217[label="",style="solid", color="black", weight=3]; 11.52/4.59 209[label="(++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];209 -> 218[label="",style="solid", color="black", weight=3]; 11.52/4.59 210[label="(++) range00 EQ (not True && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];210 -> 219[label="",style="solid", color="black", weight=3]; 11.52/4.59 211[label="(++) range00 EQ (not True && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];211 -> 220[label="",style="solid", color="black", weight=3]; 11.52/4.59 212[label="(++) range00 EQ (not True && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];212 -> 221[label="",style="solid", color="black", weight=3]; 11.52/4.59 213[label="(++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];213 -> 222[label="",style="solid", color="black", weight=3]; 11.52/4.59 214[label="(++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];214 -> 223[label="",style="solid", color="black", weight=3]; 11.52/4.59 215[label="(++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];215 -> 224[label="",style="solid", color="black", weight=3]; 11.52/4.59 216[label="(++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];216 -> 225[label="",style="solid", color="black", weight=3]; 11.52/4.59 217[label="(++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];217 -> 226[label="",style="solid", color="black", weight=3]; 11.52/4.59 218[label="(++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];218 -> 227[label="",style="solid", color="black", weight=3]; 11.52/4.59 219[label="(++) range00 EQ (False && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];219 -> 228[label="",style="solid", color="black", weight=3]; 11.52/4.59 220[label="(++) range00 EQ (False && EQ >= EQ) foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];220 -> 229[label="",style="solid", color="black", weight=3]; 11.52/4.59 221[label="(++) range00 EQ (False && EQ >= GT) foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];221 -> 230[label="",style="solid", color="black", weight=3]; 11.52/4.59 222[label="(++) range00 EQ (not (EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];222 -> 231[label="",style="solid", color="black", weight=3]; 11.52/4.59 223[label="(++) range00 EQ (not (EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];223 -> 232[label="",style="solid", color="black", weight=3]; 11.52/4.59 224[label="(++) range00 EQ (not (EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];224 -> 233[label="",style="solid", color="black", weight=3]; 11.52/4.59 225[label="(++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];225 -> 234[label="",style="solid", color="black", weight=3]; 11.52/4.59 226[label="(++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];226 -> 235[label="",style="solid", color="black", weight=3]; 11.52/4.59 227[label="(++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];227 -> 236[label="",style="solid", color="black", weight=3]; 11.52/4.59 228[label="(++) range00 EQ False foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];228 -> 237[label="",style="solid", color="black", weight=3]; 11.52/4.59 229[label="(++) range00 EQ False foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];229 -> 238[label="",style="solid", color="black", weight=3]; 11.52/4.59 230[label="(++) range00 EQ False foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];230 -> 239[label="",style="solid", color="black", weight=3]; 11.52/4.59 231[label="(++) range00 EQ (not False && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];231 -> 240[label="",style="solid", color="black", weight=3]; 11.52/4.59 232[label="(++) range00 EQ (not False && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];232 -> 241[label="",style="solid", color="black", weight=3]; 11.52/4.59 233[label="(++) range00 EQ (not False && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];233 -> 242[label="",style="solid", color="black", weight=3]; 11.52/4.59 234[label="(++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];234 -> 243[label="",style="solid", color="black", weight=3]; 11.52/4.59 235[label="(++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];235 -> 244[label="",style="solid", color="black", weight=3]; 11.52/4.59 236[label="(++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];236 -> 245[label="",style="solid", color="black", weight=3]; 11.52/4.59 237[label="(++) [] foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];237 -> 246[label="",style="solid", color="black", weight=3]; 11.52/4.59 238[label="(++) [] foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];238 -> 247[label="",style="solid", color="black", weight=3]; 11.52/4.59 239[label="(++) [] foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];239 -> 248[label="",style="solid", color="black", weight=3]; 11.52/4.59 240[label="(++) range00 EQ (True && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];240 -> 249[label="",style="solid", color="black", weight=3]; 11.52/4.59 241[label="(++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];241 -> 250[label="",style="solid", color="black", weight=3]; 11.52/4.59 242[label="(++) range00 EQ (True && EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];242 -> 251[label="",style="solid", color="black", weight=3]; 11.52/4.59 243 -> 252[label="",style="dashed", color="red", weight=0]; 11.52/4.59 243[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="magenta"];243 -> 253[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 244[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];244 -> 254[label="",style="solid", color="black", weight=3]; 11.52/4.59 245[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];245 -> 255[label="",style="solid", color="black", weight=3]; 11.52/4.59 246[label="foldr (++) [] (map (range0 LT LT) (GT : []))",fontsize=16,color="black",shape="box"];246 -> 256[label="",style="solid", color="black", weight=3]; 11.52/4.59 247[label="foldr (++) [] (map (range0 LT EQ) (GT : []))",fontsize=16,color="black",shape="box"];247 -> 257[label="",style="solid", color="black", weight=3]; 11.52/4.59 248[label="foldr (++) [] (map (range0 LT GT) (GT : []))",fontsize=16,color="black",shape="box"];248 -> 258[label="",style="solid", color="black", weight=3]; 11.52/4.59 249[label="(++) range00 EQ (EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];249 -> 259[label="",style="solid", color="black", weight=3]; 11.52/4.59 250[label="(++) range00 EQ (EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];250 -> 260[label="",style="solid", color="black", weight=3]; 11.52/4.59 251[label="(++) range00 EQ (EQ >= GT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];251 -> 261[label="",style="solid", color="black", weight=3]; 11.52/4.59 253[label="foldr (++) [] (map (range0 GT LT) (GT : []))",fontsize=16,color="black",shape="box"];253 -> 262[label="",style="solid", color="black", weight=3]; 11.52/4.59 252[label="(++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= LT) vx5",fontsize=16,color="black",shape="triangle"];252 -> 263[label="",style="solid", color="black", weight=3]; 11.52/4.59 254[label="(++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];254 -> 264[label="",style="solid", color="black", weight=3]; 11.52/4.59 255[label="(++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];255 -> 265[label="",style="solid", color="black", weight=3]; 11.52/4.59 256[label="foldr (++) [] (range0 LT LT GT : map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];256 -> 266[label="",style="solid", color="black", weight=3]; 11.52/4.59 257[label="foldr (++) [] (range0 LT EQ GT : map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];257 -> 267[label="",style="solid", color="black", weight=3]; 11.52/4.59 258[label="foldr (++) [] (range0 LT GT GT : map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];258 -> 268[label="",style="solid", color="black", weight=3]; 11.52/4.59 259[label="(++) range00 EQ (compare EQ LT /= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];259 -> 269[label="",style="solid", color="black", weight=3]; 11.52/4.59 260[label="(++) range00 EQ (compare EQ EQ /= LT) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];260 -> 270[label="",style="solid", color="black", weight=3]; 11.52/4.59 261[label="(++) range00 EQ (compare EQ GT /= LT) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];261 -> 271[label="",style="solid", color="black", weight=3]; 11.52/4.59 262[label="foldr (++) [] (range0 GT LT GT : map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];262 -> 272[label="",style="solid", color="black", weight=3]; 11.52/4.59 263[label="(++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];263 -> 273[label="",style="solid", color="black", weight=3]; 11.52/4.59 264[label="(++) range00 EQ (not (GT == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];264 -> 274[label="",style="solid", color="black", weight=3]; 11.52/4.59 265[label="(++) range00 EQ (not (GT == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];265 -> 275[label="",style="solid", color="black", weight=3]; 11.52/4.59 266[label="(++) range0 LT LT GT foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];266 -> 276[label="",style="solid", color="black", weight=3]; 11.52/4.59 267[label="(++) range0 LT EQ GT foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];267 -> 277[label="",style="solid", color="black", weight=3]; 11.52/4.59 268[label="(++) range0 LT GT GT foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];268 -> 278[label="",style="solid", color="black", weight=3]; 11.52/4.59 269[label="(++) range00 EQ (not (compare EQ LT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];269 -> 279[label="",style="solid", color="black", weight=3]; 11.52/4.59 270[label="(++) range00 EQ (not (compare EQ EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];270 -> 280[label="",style="solid", color="black", weight=3]; 11.52/4.59 271[label="(++) range00 EQ (not (compare EQ GT == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];271 -> 281[label="",style="solid", color="black", weight=3]; 11.52/4.59 272[label="(++) range0 GT LT GT foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];272 -> 282[label="",style="solid", color="black", weight=3]; 11.52/4.59 273[label="(++) range00 EQ (not (GT == LT) && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];273 -> 283[label="",style="solid", color="black", weight=3]; 11.52/4.59 274[label="(++) range00 EQ (not False && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];274 -> 284[label="",style="solid", color="black", weight=3]; 11.52/4.59 275[label="(++) range00 EQ (not False && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];275 -> 285[label="",style="solid", color="black", weight=3]; 11.52/4.59 276[label="(++) range00 GT (LT >= GT && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];276 -> 286[label="",style="solid", color="black", weight=3]; 11.52/4.59 277[label="(++) range00 GT (LT >= GT && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];277 -> 287[label="",style="solid", color="black", weight=3]; 11.52/4.59 278[label="(++) range00 GT (LT >= GT && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];278 -> 288[label="",style="solid", color="black", weight=3]; 11.52/4.59 279[label="(++) range00 EQ (not (compare3 EQ LT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];279 -> 289[label="",style="solid", color="black", weight=3]; 11.52/4.59 280[label="(++) range00 EQ (not (compare3 EQ EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];280 -> 290[label="",style="solid", color="black", weight=3]; 11.52/4.59 281[label="(++) range00 EQ (not (compare3 EQ GT == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];281 -> 291[label="",style="solid", color="black", weight=3]; 11.52/4.59 282[label="(++) range00 GT (GT >= GT && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];282 -> 292[label="",style="solid", color="black", weight=3]; 11.52/4.59 283[label="(++) range00 EQ (not False && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];283 -> 293[label="",style="solid", color="black", weight=3]; 11.52/4.59 284[label="(++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];284 -> 294[label="",style="solid", color="black", weight=3]; 11.52/4.59 285[label="(++) range00 EQ (True && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];285 -> 295[label="",style="solid", color="black", weight=3]; 11.52/4.59 286[label="(++) range00 GT (compare LT GT /= LT && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];286 -> 296[label="",style="solid", color="black", weight=3]; 11.52/4.59 287[label="(++) range00 GT (compare LT GT /= LT && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];287 -> 297[label="",style="solid", color="black", weight=3]; 11.52/4.59 288[label="(++) range00 GT (compare LT GT /= LT && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];288 -> 298[label="",style="solid", color="black", weight=3]; 11.52/4.59 289[label="(++) range00 EQ (not (compare2 EQ LT (EQ == LT) == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];289 -> 299[label="",style="solid", color="black", weight=3]; 11.52/4.59 290[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];290 -> 300[label="",style="solid", color="black", weight=3]; 11.52/4.59 291[label="(++) range00 EQ (not (compare2 EQ GT (EQ == GT) == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];291 -> 301[label="",style="solid", color="black", weight=3]; 11.52/4.59 292[label="(++) range00 GT (compare GT GT /= LT && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];292 -> 302[label="",style="solid", color="black", weight=3]; 11.52/4.59 293[label="(++) range00 EQ (True && EQ >= LT) vx5",fontsize=16,color="black",shape="box"];293 -> 303[label="",style="solid", color="black", weight=3]; 11.52/4.59 294[label="(++) range00 EQ (EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];294 -> 304[label="",style="solid", color="black", weight=3]; 11.52/4.59 295[label="(++) range00 EQ (EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];295 -> 305[label="",style="solid", color="black", weight=3]; 11.52/4.59 296[label="(++) range00 GT (not (compare LT GT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];296 -> 306[label="",style="solid", color="black", weight=3]; 11.52/4.59 297[label="(++) range00 GT (not (compare LT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];297 -> 307[label="",style="solid", color="black", weight=3]; 11.52/4.59 298[label="(++) range00 GT (not (compare LT GT == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];298 -> 308[label="",style="solid", color="black", weight=3]; 11.52/4.59 299[label="(++) range00 EQ (not (compare2 EQ LT False == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];299 -> 309[label="",style="solid", color="black", weight=3]; 11.52/4.59 300[label="(++) range00 EQ (not (compare2 EQ EQ True == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];300 -> 310[label="",style="solid", color="black", weight=3]; 11.52/4.59 301[label="(++) range00 EQ (not (compare2 EQ GT False == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];301 -> 311[label="",style="solid", color="black", weight=3]; 11.52/4.59 302[label="(++) range00 GT (not (compare GT GT == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];302 -> 312[label="",style="solid", color="black", weight=3]; 11.52/4.59 303[label="(++) range00 EQ (EQ >= LT) vx5",fontsize=16,color="black",shape="box"];303 -> 313[label="",style="solid", color="black", weight=3]; 11.52/4.59 304[label="(++) range00 EQ (compare EQ EQ /= LT) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];304 -> 314[label="",style="solid", color="black", weight=3]; 11.52/4.59 305[label="(++) range00 EQ (compare EQ GT /= LT) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];305 -> 315[label="",style="solid", color="black", weight=3]; 11.52/4.59 306[label="(++) range00 GT (not (compare3 LT GT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];306 -> 316[label="",style="solid", color="black", weight=3]; 11.52/4.59 307[label="(++) range00 GT (not (compare3 LT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];307 -> 317[label="",style="solid", color="black", weight=3]; 11.52/4.59 308[label="(++) range00 GT (not (compare3 LT GT == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];308 -> 318[label="",style="solid", color="black", weight=3]; 11.52/4.59 309[label="(++) range00 EQ (not (compare1 EQ LT (EQ <= LT) == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];309 -> 319[label="",style="solid", color="black", weight=3]; 11.52/4.59 310[label="(++) range00 EQ (not (EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];310 -> 320[label="",style="solid", color="black", weight=3]; 11.52/4.59 311[label="(++) range00 EQ (not (compare1 EQ GT (EQ <= GT) == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];311 -> 321[label="",style="solid", color="black", weight=3]; 11.52/4.59 312[label="(++) range00 GT (not (compare3 GT GT == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];312 -> 322[label="",style="solid", color="black", weight=3]; 11.52/4.59 313[label="(++) range00 EQ (compare EQ LT /= LT) vx5",fontsize=16,color="black",shape="box"];313 -> 323[label="",style="solid", color="black", weight=3]; 11.52/4.59 314[label="(++) range00 EQ (not (compare EQ EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];314 -> 324[label="",style="solid", color="black", weight=3]; 11.52/4.59 315[label="(++) range00 EQ (not (compare EQ GT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];315 -> 325[label="",style="solid", color="black", weight=3]; 11.52/4.59 316[label="(++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];316 -> 326[label="",style="solid", color="black", weight=3]; 11.52/4.59 317[label="(++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];317 -> 327[label="",style="solid", color="black", weight=3]; 11.52/4.59 318[label="(++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];318 -> 328[label="",style="solid", color="black", weight=3]; 11.52/4.59 319[label="(++) range00 EQ (not (compare1 EQ LT False == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];319 -> 329[label="",style="solid", color="black", weight=3]; 11.52/4.59 320[label="(++) range00 EQ (not False) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];320 -> 330[label="",style="solid", color="black", weight=3]; 11.52/4.59 321[label="(++) range00 EQ (not (compare1 EQ GT True == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];321 -> 331[label="",style="solid", color="black", weight=3]; 11.52/4.59 322[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];322 -> 332[label="",style="solid", color="black", weight=3]; 11.52/4.59 323[label="(++) range00 EQ (not (compare EQ LT == LT)) vx5",fontsize=16,color="black",shape="box"];323 -> 333[label="",style="solid", color="black", weight=3]; 11.52/4.59 324[label="(++) range00 EQ (not (compare3 EQ EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];324 -> 334[label="",style="solid", color="black", weight=3]; 11.52/4.59 325[label="(++) range00 EQ (not (compare3 EQ GT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];325 -> 335[label="",style="solid", color="black", weight=3]; 11.52/4.59 326[label="(++) range00 GT (not (compare2 LT GT False == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];326 -> 336[label="",style="solid", color="black", weight=3]; 11.52/4.59 327[label="(++) range00 GT (not (compare2 LT GT False == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];327 -> 337[label="",style="solid", color="black", weight=3]; 11.52/4.59 328[label="(++) range00 GT (not (compare2 LT GT False == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];328 -> 338[label="",style="solid", color="black", weight=3]; 11.52/4.59 329[label="(++) range00 EQ (not (compare0 EQ LT otherwise == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];329 -> 339[label="",style="solid", color="black", weight=3]; 11.52/4.59 330[label="(++) range00 EQ True foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];330 -> 340[label="",style="solid", color="black", weight=3]; 11.52/4.59 331[label="(++) range00 EQ (not (LT == LT)) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3]; 11.52/4.59 332[label="(++) range00 GT (not (compare2 GT GT True == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];332 -> 342[label="",style="solid", color="black", weight=3]; 11.52/4.59 333[label="(++) range00 EQ (not (compare3 EQ LT == LT)) vx5",fontsize=16,color="black",shape="box"];333 -> 343[label="",style="solid", color="black", weight=3]; 11.52/4.59 334[label="(++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];334 -> 344[label="",style="solid", color="black", weight=3]; 11.52/4.59 335[label="(++) range00 EQ (not (compare2 EQ GT (EQ == GT) == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];335 -> 345[label="",style="solid", color="black", weight=3]; 11.52/4.59 336[label="(++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];336 -> 346[label="",style="solid", color="black", weight=3]; 11.52/4.59 337[label="(++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];337 -> 347[label="",style="solid", color="black", weight=3]; 11.52/4.59 338[label="(++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];338 -> 348[label="",style="solid", color="black", weight=3]; 11.52/4.59 339[label="(++) range00 EQ (not (compare0 EQ LT True == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];339 -> 349[label="",style="solid", color="black", weight=3]; 11.52/4.59 340[label="(++) (EQ : []) foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];340 -> 350[label="",style="solid", color="black", weight=3]; 11.52/4.59 341[label="(++) range00 EQ (not True) foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];341 -> 351[label="",style="solid", color="black", weight=3]; 11.52/4.59 342[label="(++) range00 GT (not (EQ == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];342 -> 352[label="",style="solid", color="black", weight=3]; 11.52/4.59 343[label="(++) range00 EQ (not (compare2 EQ LT (EQ == LT) == LT)) vx5",fontsize=16,color="black",shape="box"];343 -> 353[label="",style="solid", color="black", weight=3]; 11.52/4.59 344[label="(++) range00 EQ (not (compare2 EQ EQ True == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];344 -> 354[label="",style="solid", color="black", weight=3]; 11.52/4.59 345[label="(++) range00 EQ (not (compare2 EQ GT False == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];345 -> 355[label="",style="solid", color="black", weight=3]; 11.52/4.59 346[label="(++) range00 GT (not (compare1 LT GT True == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];346 -> 356[label="",style="solid", color="black", weight=3]; 11.52/4.59 347[label="(++) range00 GT (not (compare1 LT GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];347 -> 357[label="",style="solid", color="black", weight=3]; 11.52/4.59 348[label="(++) range00 GT (not (compare1 LT GT True == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];348 -> 358[label="",style="solid", color="black", weight=3]; 11.52/4.59 349[label="(++) range00 EQ (not (GT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];349 -> 359[label="",style="solid", color="black", weight=3]; 11.52/4.59 350[label="EQ : [] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="green",shape="box"];350 -> 360[label="",style="dashed", color="green", weight=3]; 11.52/4.59 351[label="(++) range00 EQ False foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];351 -> 361[label="",style="solid", color="black", weight=3]; 11.52/4.59 352[label="(++) range00 GT (not False && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];352 -> 362[label="",style="solid", color="black", weight=3]; 11.52/4.59 353[label="(++) range00 EQ (not (compare2 EQ LT False == LT)) vx5",fontsize=16,color="black",shape="box"];353 -> 363[label="",style="solid", color="black", weight=3]; 11.52/4.59 354[label="(++) range00 EQ (not (EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];354 -> 364[label="",style="solid", color="black", weight=3]; 11.52/4.59 355[label="(++) range00 EQ (not (compare1 EQ GT (EQ <= GT) == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];355 -> 365[label="",style="solid", color="black", weight=3]; 11.52/4.59 356[label="(++) range00 GT (not (LT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];356 -> 366[label="",style="solid", color="black", weight=3]; 11.52/4.59 357[label="(++) range00 GT (not (LT == LT) && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];357 -> 367[label="",style="solid", color="black", weight=3]; 11.52/4.59 358[label="(++) range00 GT (not (LT == LT) && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];358 -> 368[label="",style="solid", color="black", weight=3]; 11.52/4.59 359[label="(++) range00 EQ (not False) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];359 -> 369[label="",style="solid", color="black", weight=3]; 11.52/4.59 360[label="[] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];360 -> 370[label="",style="solid", color="black", weight=3]; 11.52/4.59 361[label="(++) [] foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];361 -> 371[label="",style="solid", color="black", weight=3]; 11.52/4.59 362[label="(++) range00 GT (True && GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];362 -> 372[label="",style="solid", color="black", weight=3]; 11.52/4.59 363[label="(++) range00 EQ (not (compare1 EQ LT (EQ <= LT) == LT)) vx5",fontsize=16,color="black",shape="box"];363 -> 373[label="",style="solid", color="black", weight=3]; 11.52/4.59 364[label="(++) range00 EQ (not False) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];364 -> 374[label="",style="solid", color="black", weight=3]; 11.52/4.59 365[label="(++) range00 EQ (not (compare1 EQ GT True == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];365 -> 375[label="",style="solid", color="black", weight=3]; 11.52/4.59 366[label="(++) range00 GT (not True && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];366 -> 376[label="",style="solid", color="black", weight=3]; 11.52/4.59 367[label="(++) range00 GT (not True && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];367 -> 377[label="",style="solid", color="black", weight=3]; 11.52/4.59 368[label="(++) range00 GT (not True && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];368 -> 378[label="",style="solid", color="black", weight=3]; 11.52/4.59 369[label="(++) range00 EQ True foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];369 -> 379[label="",style="solid", color="black", weight=3]; 11.52/4.59 370[label="foldr (++) [] (map (range0 EQ EQ) (GT : []))",fontsize=16,color="black",shape="box"];370 -> 380[label="",style="solid", color="black", weight=3]; 11.52/4.59 371[label="foldr (++) [] (map (range0 EQ GT) (GT : []))",fontsize=16,color="black",shape="box"];371 -> 381[label="",style="solid", color="black", weight=3]; 11.52/4.59 372[label="(++) range00 GT (GT >= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];372 -> 382[label="",style="solid", color="black", weight=3]; 11.52/4.59 373[label="(++) range00 EQ (not (compare1 EQ LT False == LT)) vx5",fontsize=16,color="black",shape="box"];373 -> 383[label="",style="solid", color="black", weight=3]; 11.52/4.59 374[label="(++) range00 EQ True foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];374 -> 384[label="",style="solid", color="black", weight=3]; 11.52/4.59 375[label="(++) range00 EQ (not (LT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];375 -> 385[label="",style="solid", color="black", weight=3]; 11.52/4.59 376[label="(++) range00 GT (False && GT >= LT) foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];376 -> 386[label="",style="solid", color="black", weight=3]; 11.52/4.59 377[label="(++) range00 GT (False && GT >= EQ) foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];377 -> 387[label="",style="solid", color="black", weight=3]; 11.52/4.59 378[label="(++) range00 GT (False && GT >= GT) foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];378 -> 388[label="",style="solid", color="black", weight=3]; 11.52/4.59 379[label="(++) (EQ : []) foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];379 -> 389[label="",style="solid", color="black", weight=3]; 11.52/4.59 380[label="foldr (++) [] (range0 EQ EQ GT : map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];380 -> 390[label="",style="solid", color="black", weight=3]; 11.52/4.59 381[label="foldr (++) [] (range0 EQ GT GT : map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];381 -> 391[label="",style="solid", color="black", weight=3]; 11.52/4.59 382[label="(++) range00 GT (compare GT LT /= LT) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];382 -> 392[label="",style="solid", color="black", weight=3]; 11.52/4.59 383[label="(++) range00 EQ (not (compare0 EQ LT otherwise == LT)) vx5",fontsize=16,color="black",shape="box"];383 -> 393[label="",style="solid", color="black", weight=3]; 11.52/4.59 384[label="(++) (EQ : []) foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];384 -> 394[label="",style="solid", color="black", weight=3]; 11.52/4.59 385[label="(++) range00 EQ (not True) foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];385 -> 395[label="",style="solid", color="black", weight=3]; 11.52/4.59 386[label="(++) range00 GT False foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];386 -> 396[label="",style="solid", color="black", weight=3]; 11.52/4.59 387[label="(++) range00 GT False foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];387 -> 397[label="",style="solid", color="black", weight=3]; 11.52/4.59 388[label="(++) range00 GT False foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];388 -> 398[label="",style="solid", color="black", weight=3]; 11.52/4.59 389[label="EQ : [] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="green",shape="box"];389 -> 399[label="",style="dashed", color="green", weight=3]; 11.52/4.59 390[label="(++) range0 EQ EQ GT foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];390 -> 400[label="",style="solid", color="black", weight=3]; 11.52/4.59 391[label="(++) range0 EQ GT GT foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];391 -> 401[label="",style="solid", color="black", weight=3]; 11.52/4.59 392[label="(++) range00 GT (not (compare GT LT == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];392 -> 402[label="",style="solid", color="black", weight=3]; 11.52/4.59 393[label="(++) range00 EQ (not (compare0 EQ LT True == LT)) vx5",fontsize=16,color="black",shape="box"];393 -> 403[label="",style="solid", color="black", weight=3]; 11.52/4.59 394[label="EQ : [] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="green",shape="box"];394 -> 404[label="",style="dashed", color="green", weight=3]; 11.52/4.59 395[label="(++) range00 EQ False foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];395 -> 405[label="",style="solid", color="black", weight=3]; 11.52/4.59 396[label="(++) [] foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];396 -> 406[label="",style="solid", color="black", weight=3]; 11.52/4.59 397[label="(++) [] foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];397 -> 407[label="",style="solid", color="black", weight=3]; 11.52/4.59 398[label="(++) [] foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];398 -> 408[label="",style="solid", color="black", weight=3]; 11.52/4.59 399[label="[] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];399 -> 409[label="",style="solid", color="black", weight=3]; 11.52/4.59 400[label="(++) range00 GT (EQ >= GT && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];400 -> 410[label="",style="solid", color="black", weight=3]; 11.52/4.59 401[label="(++) range00 GT (EQ >= GT && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];401 -> 411[label="",style="solid", color="black", weight=3]; 11.52/4.59 402[label="(++) range00 GT (not (compare3 GT LT == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];402 -> 412[label="",style="solid", color="black", weight=3]; 11.52/4.59 403[label="(++) range00 EQ (not (GT == LT)) vx5",fontsize=16,color="black",shape="box"];403 -> 413[label="",style="solid", color="black", weight=3]; 11.52/4.59 404[label="[] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];404 -> 414[label="",style="solid", color="black", weight=3]; 11.52/4.59 405[label="(++) [] foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];405 -> 415[label="",style="solid", color="black", weight=3]; 11.52/4.59 406[label="foldr (++) [] (map (range0 LT LT) [])",fontsize=16,color="black",shape="box"];406 -> 416[label="",style="solid", color="black", weight=3]; 11.52/4.59 407[label="foldr (++) [] (map (range0 LT EQ) [])",fontsize=16,color="black",shape="box"];407 -> 417[label="",style="solid", color="black", weight=3]; 11.52/4.59 408[label="foldr (++) [] (map (range0 LT GT) [])",fontsize=16,color="black",shape="box"];408 -> 418[label="",style="solid", color="black", weight=3]; 11.52/4.59 409[label="foldr (++) [] (map (range0 EQ LT) (GT : []))",fontsize=16,color="black",shape="box"];409 -> 419[label="",style="solid", color="black", weight=3]; 11.52/4.59 410[label="(++) range00 GT (compare EQ GT /= LT && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];410 -> 420[label="",style="solid", color="black", weight=3]; 11.52/4.59 411[label="(++) range00 GT (compare EQ GT /= LT && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];411 -> 421[label="",style="solid", color="black", weight=3]; 11.52/4.59 412[label="(++) range00 GT (not (compare2 GT LT (GT == LT) == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];412 -> 422[label="",style="solid", color="black", weight=3]; 11.52/4.59 413[label="(++) range00 EQ (not False) vx5",fontsize=16,color="black",shape="box"];413 -> 423[label="",style="solid", color="black", weight=3]; 11.52/4.59 414[label="foldr (++) [] (map (range0 GT EQ) (GT : []))",fontsize=16,color="black",shape="box"];414 -> 424[label="",style="solid", color="black", weight=3]; 11.52/4.59 415[label="foldr (++) [] (map (range0 GT GT) (GT : []))",fontsize=16,color="black",shape="box"];415 -> 425[label="",style="solid", color="black", weight=3]; 11.52/4.59 416[label="foldr (++) [] []",fontsize=16,color="black",shape="triangle"];416 -> 426[label="",style="solid", color="black", weight=3]; 11.52/4.59 417 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 417[label="foldr (++) [] []",fontsize=16,color="magenta"];418 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 418[label="foldr (++) [] []",fontsize=16,color="magenta"];419[label="foldr (++) [] (range0 EQ LT GT : map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];419 -> 427[label="",style="solid", color="black", weight=3]; 11.52/4.59 420[label="(++) range00 GT (not (compare EQ GT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];420 -> 428[label="",style="solid", color="black", weight=3]; 11.52/4.59 421[label="(++) range00 GT (not (compare EQ GT == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];421 -> 429[label="",style="solid", color="black", weight=3]; 11.52/4.59 422[label="(++) range00 GT (not (compare2 GT LT False == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];422 -> 430[label="",style="solid", color="black", weight=3]; 11.52/4.59 423[label="(++) range00 EQ True vx5",fontsize=16,color="black",shape="box"];423 -> 431[label="",style="solid", color="black", weight=3]; 11.52/4.59 424[label="foldr (++) [] (range0 GT EQ GT : map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];424 -> 432[label="",style="solid", color="black", weight=3]; 11.52/4.59 425[label="foldr (++) [] (range0 GT GT GT : map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];425 -> 433[label="",style="solid", color="black", weight=3]; 11.52/4.59 426[label="[]",fontsize=16,color="green",shape="box"];427[label="(++) range0 EQ LT GT foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];427 -> 434[label="",style="solid", color="black", weight=3]; 11.52/4.59 428[label="(++) range00 GT (not (compare3 EQ GT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];428 -> 435[label="",style="solid", color="black", weight=3]; 11.52/4.59 429[label="(++) range00 GT (not (compare3 EQ GT == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];429 -> 436[label="",style="solid", color="black", weight=3]; 11.52/4.59 430[label="(++) range00 GT (not (compare1 GT LT (GT <= LT) == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];430 -> 437[label="",style="solid", color="black", weight=3]; 11.52/4.59 431[label="(++) (EQ : []) vx5",fontsize=16,color="black",shape="box"];431 -> 438[label="",style="solid", color="black", weight=3]; 11.52/4.59 432[label="(++) range0 GT EQ GT foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];432 -> 439[label="",style="solid", color="black", weight=3]; 11.52/4.59 433[label="(++) range0 GT GT GT foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];433 -> 440[label="",style="solid", color="black", weight=3]; 11.52/4.59 434[label="(++) range00 GT (EQ >= GT && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];434 -> 441[label="",style="solid", color="black", weight=3]; 11.52/4.59 435[label="(++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];435 -> 442[label="",style="solid", color="black", weight=3]; 11.52/4.59 436[label="(++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];436 -> 443[label="",style="solid", color="black", weight=3]; 11.52/4.59 437[label="(++) range00 GT (not (compare1 GT LT False == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];437 -> 444[label="",style="solid", color="black", weight=3]; 11.52/4.59 438[label="EQ : [] ++ vx5",fontsize=16,color="green",shape="box"];438 -> 445[label="",style="dashed", color="green", weight=3]; 11.52/4.59 439[label="(++) range00 GT (GT >= GT && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];439 -> 446[label="",style="solid", color="black", weight=3]; 11.52/4.59 440[label="(++) range00 GT (GT >= GT && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];440 -> 447[label="",style="solid", color="black", weight=3]; 11.52/4.59 441[label="(++) range00 GT (compare EQ GT /= LT && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];441 -> 448[label="",style="solid", color="black", weight=3]; 11.52/4.59 442[label="(++) range00 GT (not (compare2 EQ GT False == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];442 -> 449[label="",style="solid", color="black", weight=3]; 11.52/4.59 443[label="(++) range00 GT (not (compare2 EQ GT False == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];443 -> 450[label="",style="solid", color="black", weight=3]; 11.52/4.59 444[label="(++) range00 GT (not (compare0 GT LT otherwise == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];444 -> 451[label="",style="solid", color="black", weight=3]; 11.52/4.59 445[label="[] ++ vx5",fontsize=16,color="black",shape="triangle"];445 -> 452[label="",style="solid", color="black", weight=3]; 11.52/4.59 446[label="(++) range00 GT (compare GT GT /= LT && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];446 -> 453[label="",style="solid", color="black", weight=3]; 11.52/4.59 447[label="(++) range00 GT (compare GT GT /= LT && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];447 -> 454[label="",style="solid", color="black", weight=3]; 11.52/4.59 448[label="(++) range00 GT (not (compare EQ GT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];448 -> 455[label="",style="solid", color="black", weight=3]; 11.52/4.59 449[label="(++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];449 -> 456[label="",style="solid", color="black", weight=3]; 11.52/4.59 450[label="(++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];450 -> 457[label="",style="solid", color="black", weight=3]; 11.52/4.59 451[label="(++) range00 GT (not (compare0 GT LT True == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];451 -> 458[label="",style="solid", color="black", weight=3]; 11.52/4.59 452[label="vx5",fontsize=16,color="green",shape="box"];453[label="(++) range00 GT (not (compare GT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];453 -> 459[label="",style="solid", color="black", weight=3]; 11.52/4.59 454[label="(++) range00 GT (not (compare GT GT == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];454 -> 460[label="",style="solid", color="black", weight=3]; 11.52/4.59 455[label="(++) range00 GT (not (compare3 EQ GT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];455 -> 461[label="",style="solid", color="black", weight=3]; 11.52/4.59 456[label="(++) range00 GT (not (compare1 EQ GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];456 -> 462[label="",style="solid", color="black", weight=3]; 11.52/4.59 457[label="(++) range00 GT (not (compare1 EQ GT True == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];457 -> 463[label="",style="solid", color="black", weight=3]; 11.52/4.59 458[label="(++) range00 GT (not (GT == LT)) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];458 -> 464[label="",style="solid", color="black", weight=3]; 11.52/4.59 459[label="(++) range00 GT (not (compare3 GT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];459 -> 465[label="",style="solid", color="black", weight=3]; 11.52/4.59 460[label="(++) range00 GT (not (compare3 GT GT == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];460 -> 466[label="",style="solid", color="black", weight=3]; 11.52/4.59 461[label="(++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];461 -> 467[label="",style="solid", color="black", weight=3]; 11.52/4.59 462[label="(++) range00 GT (not (LT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];462 -> 468[label="",style="solid", color="black", weight=3]; 11.52/4.59 463[label="(++) range00 GT (not (LT == LT) && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];463 -> 469[label="",style="solid", color="black", weight=3]; 11.52/4.59 464[label="(++) range00 GT (not False) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];464 -> 470[label="",style="solid", color="black", weight=3]; 11.52/4.59 465[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];465 -> 471[label="",style="solid", color="black", weight=3]; 11.52/4.59 466[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];466 -> 472[label="",style="solid", color="black", weight=3]; 11.52/4.59 467[label="(++) range00 GT (not (compare2 EQ GT False == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];467 -> 473[label="",style="solid", color="black", weight=3]; 11.52/4.59 468[label="(++) range00 GT (not True && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];468 -> 474[label="",style="solid", color="black", weight=3]; 11.52/4.59 469[label="(++) range00 GT (not True && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];469 -> 475[label="",style="solid", color="black", weight=3]; 11.52/4.59 470[label="(++) range00 GT True foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];470 -> 476[label="",style="solid", color="black", weight=3]; 11.52/4.59 471[label="(++) range00 GT (not (compare2 GT GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];471 -> 477[label="",style="solid", color="black", weight=3]; 11.52/4.59 472[label="(++) range00 GT (not (compare2 GT GT True == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];472 -> 478[label="",style="solid", color="black", weight=3]; 11.52/4.59 473[label="(++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];473 -> 479[label="",style="solid", color="black", weight=3]; 11.52/4.59 474[label="(++) range00 GT (False && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];474 -> 480[label="",style="solid", color="black", weight=3]; 11.52/4.59 475[label="(++) range00 GT (False && GT >= GT) foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];475 -> 481[label="",style="solid", color="black", weight=3]; 11.52/4.59 476[label="(++) (GT : []) foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];476 -> 482[label="",style="solid", color="black", weight=3]; 11.52/4.59 477[label="(++) range00 GT (not (EQ == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];477 -> 483[label="",style="solid", color="black", weight=3]; 11.52/4.59 478[label="(++) range00 GT (not (EQ == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];478 -> 484[label="",style="solid", color="black", weight=3]; 11.52/4.59 479[label="(++) range00 GT (not (compare1 EQ GT True == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];479 -> 485[label="",style="solid", color="black", weight=3]; 11.52/4.59 480[label="(++) range00 GT False foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];480 -> 486[label="",style="solid", color="black", weight=3]; 11.52/4.59 481[label="(++) range00 GT False foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];481 -> 487[label="",style="solid", color="black", weight=3]; 11.52/4.59 482[label="GT : [] ++ foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="green",shape="box"];482 -> 488[label="",style="dashed", color="green", weight=3]; 11.52/4.59 483[label="(++) range00 GT (not False && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];483 -> 489[label="",style="solid", color="black", weight=3]; 11.52/4.59 484[label="(++) range00 GT (not False && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];484 -> 490[label="",style="solid", color="black", weight=3]; 11.52/4.59 485[label="(++) range00 GT (not (LT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];485 -> 491[label="",style="solid", color="black", weight=3]; 11.52/4.59 486 -> 445[label="",style="dashed", color="red", weight=0]; 11.52/4.59 486[label="(++) [] foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="magenta"];486 -> 492[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 487 -> 445[label="",style="dashed", color="red", weight=0]; 11.52/4.59 487[label="(++) [] foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="magenta"];487 -> 493[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 488 -> 445[label="",style="dashed", color="red", weight=0]; 11.52/4.59 488[label="[] ++ foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="magenta"];488 -> 494[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 489[label="(++) range00 GT (True && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];489 -> 495[label="",style="solid", color="black", weight=3]; 11.52/4.59 490[label="(++) range00 GT (True && GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];490 -> 496[label="",style="solid", color="black", weight=3]; 11.52/4.59 491[label="(++) range00 GT (not True && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];491 -> 497[label="",style="solid", color="black", weight=3]; 11.52/4.59 492[label="foldr (++) [] (map (range0 EQ EQ) [])",fontsize=16,color="black",shape="box"];492 -> 498[label="",style="solid", color="black", weight=3]; 11.52/4.59 493[label="foldr (++) [] (map (range0 EQ GT) [])",fontsize=16,color="black",shape="box"];493 -> 499[label="",style="solid", color="black", weight=3]; 11.52/4.59 494[label="foldr (++) [] (map (range0 GT LT) [])",fontsize=16,color="black",shape="box"];494 -> 500[label="",style="solid", color="black", weight=3]; 11.52/4.59 495[label="(++) range00 GT (GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];495 -> 501[label="",style="solid", color="black", weight=3]; 11.52/4.59 496[label="(++) range00 GT (GT >= GT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];496 -> 502[label="",style="solid", color="black", weight=3]; 11.52/4.59 497[label="(++) range00 GT (False && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];497 -> 503[label="",style="solid", color="black", weight=3]; 11.52/4.59 498 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 498[label="foldr (++) [] []",fontsize=16,color="magenta"];499 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 499[label="foldr (++) [] []",fontsize=16,color="magenta"];500 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 500[label="foldr (++) [] []",fontsize=16,color="magenta"];501[label="(++) range00 GT (compare GT EQ /= LT) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];501 -> 504[label="",style="solid", color="black", weight=3]; 11.52/4.59 502[label="(++) range00 GT (compare GT GT /= LT) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];502 -> 505[label="",style="solid", color="black", weight=3]; 11.52/4.59 503[label="(++) range00 GT False foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];503 -> 506[label="",style="solid", color="black", weight=3]; 11.52/4.59 504 -> 507[label="",style="dashed", color="red", weight=0]; 11.52/4.59 504[label="(++) range00 GT (not (compare GT EQ == LT)) foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="magenta"];504 -> 508[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 505[label="(++) range00 GT (not (compare GT GT == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];505 -> 509[label="",style="solid", color="black", weight=3]; 11.52/4.59 506 -> 445[label="",style="dashed", color="red", weight=0]; 11.52/4.59 506[label="(++) [] foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="magenta"];506 -> 510[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 508[label="foldr (++) [] (map (range0 GT EQ) [])",fontsize=16,color="black",shape="box"];508 -> 511[label="",style="solid", color="black", weight=3]; 11.52/4.59 507[label="(++) range00 GT (not (compare GT EQ == LT)) vx7",fontsize=16,color="black",shape="triangle"];507 -> 512[label="",style="solid", color="black", weight=3]; 11.52/4.59 509[label="(++) range00 GT (not (compare3 GT GT == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];509 -> 513[label="",style="solid", color="black", weight=3]; 11.52/4.59 510[label="foldr (++) [] (map (range0 EQ LT) [])",fontsize=16,color="black",shape="box"];510 -> 514[label="",style="solid", color="black", weight=3]; 11.52/4.59 511 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 511[label="foldr (++) [] []",fontsize=16,color="magenta"];512[label="(++) range00 GT (not (compare3 GT EQ == LT)) vx7",fontsize=16,color="black",shape="box"];512 -> 515[label="",style="solid", color="black", weight=3]; 11.52/4.59 513[label="(++) range00 GT (not (compare2 GT GT (GT == GT) == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];513 -> 516[label="",style="solid", color="black", weight=3]; 11.52/4.59 514 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 514[label="foldr (++) [] []",fontsize=16,color="magenta"];515[label="(++) range00 GT (not (compare2 GT EQ (GT == EQ) == LT)) vx7",fontsize=16,color="black",shape="box"];515 -> 517[label="",style="solid", color="black", weight=3]; 11.52/4.59 516[label="(++) range00 GT (not (compare2 GT GT True == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];516 -> 518[label="",style="solid", color="black", weight=3]; 11.52/4.59 517[label="(++) range00 GT (not (compare2 GT EQ False == LT)) vx7",fontsize=16,color="black",shape="box"];517 -> 519[label="",style="solid", color="black", weight=3]; 11.52/4.59 518[label="(++) range00 GT (not (EQ == LT)) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];518 -> 520[label="",style="solid", color="black", weight=3]; 11.52/4.59 519[label="(++) range00 GT (not (compare1 GT EQ (GT <= EQ) == LT)) vx7",fontsize=16,color="black",shape="box"];519 -> 521[label="",style="solid", color="black", weight=3]; 11.52/4.59 520[label="(++) range00 GT (not False) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];520 -> 522[label="",style="solid", color="black", weight=3]; 11.52/4.59 521[label="(++) range00 GT (not (compare1 GT EQ False == LT)) vx7",fontsize=16,color="black",shape="box"];521 -> 523[label="",style="solid", color="black", weight=3]; 11.52/4.59 522[label="(++) range00 GT True foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];522 -> 524[label="",style="solid", color="black", weight=3]; 11.52/4.59 523[label="(++) range00 GT (not (compare0 GT EQ otherwise == LT)) vx7",fontsize=16,color="black",shape="box"];523 -> 525[label="",style="solid", color="black", weight=3]; 11.52/4.59 524[label="(++) (GT : []) foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];524 -> 526[label="",style="solid", color="black", weight=3]; 11.52/4.59 525[label="(++) range00 GT (not (compare0 GT EQ True == LT)) vx7",fontsize=16,color="black",shape="box"];525 -> 527[label="",style="solid", color="black", weight=3]; 11.52/4.59 526[label="GT : [] ++ foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="green",shape="box"];526 -> 528[label="",style="dashed", color="green", weight=3]; 11.52/4.59 527[label="(++) range00 GT (not (GT == LT)) vx7",fontsize=16,color="black",shape="box"];527 -> 529[label="",style="solid", color="black", weight=3]; 11.52/4.59 528 -> 445[label="",style="dashed", color="red", weight=0]; 11.52/4.59 528[label="[] ++ foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="magenta"];528 -> 530[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 529[label="(++) range00 GT (not False) vx7",fontsize=16,color="black",shape="box"];529 -> 531[label="",style="solid", color="black", weight=3]; 11.52/4.59 530[label="foldr (++) [] (map (range0 GT GT) [])",fontsize=16,color="black",shape="box"];530 -> 532[label="",style="solid", color="black", weight=3]; 11.52/4.59 531[label="(++) range00 GT True vx7",fontsize=16,color="black",shape="box"];531 -> 533[label="",style="solid", color="black", weight=3]; 11.52/4.59 532 -> 416[label="",style="dashed", color="red", weight=0]; 11.52/4.59 532[label="foldr (++) [] []",fontsize=16,color="magenta"];533[label="(++) (GT : []) vx7",fontsize=16,color="black",shape="box"];533 -> 534[label="",style="solid", color="black", weight=3]; 11.52/4.59 534[label="GT : [] ++ vx7",fontsize=16,color="green",shape="box"];534 -> 535[label="",style="dashed", color="green", weight=3]; 11.52/4.59 535 -> 445[label="",style="dashed", color="red", weight=0]; 11.52/4.59 535[label="[] ++ vx7",fontsize=16,color="magenta"];535 -> 536[label="",style="dashed", color="magenta", weight=3]; 11.52/4.59 536[label="vx7",fontsize=16,color="green",shape="box"];} 11.52/4.59 11.52/4.59 ---------------------------------------- 11.52/4.59 11.52/4.59 (10) 11.52/4.59 YES 11.58/6.70 EOF