11.12/4.51 YES 13.37/5.16 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 13.37/5.16 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 13.37/5.16 13.37/5.16 13.37/5.16 H-Termination with start terms of the given HASKELL could be proven: 13.37/5.16 13.37/5.16 (0) HASKELL 13.37/5.16 (1) LR [EQUIVALENT, 0 ms] 13.37/5.16 (2) HASKELL 13.37/5.16 (3) IFR [EQUIVALENT, 0 ms] 13.37/5.16 (4) HASKELL 13.37/5.16 (5) BR [EQUIVALENT, 0 ms] 13.37/5.16 (6) HASKELL 13.37/5.16 (7) COR [EQUIVALENT, 0 ms] 13.37/5.16 (8) HASKELL 13.37/5.16 (9) NumRed [SOUND, 0 ms] 13.37/5.16 (10) HASKELL 13.37/5.16 (11) Narrow [SOUND, 0 ms] 13.37/5.16 (12) AND 13.37/5.16 (13) QDP 13.37/5.16 (14) QDPSizeChangeProof [EQUIVALENT, 0 ms] 13.37/5.16 (15) YES 13.37/5.16 (16) QDP 13.37/5.16 (17) QDPSizeChangeProof [EQUIVALENT, 0 ms] 13.37/5.16 (18) YES 13.37/5.16 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (0) 13.37/5.16 Obligation: 13.37/5.16 mainModule Main 13.37/5.16 module Main where { 13.37/5.16 import qualified Prelude; 13.37/5.16 } 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (1) LR (EQUIVALENT) 13.37/5.16 Lambda Reductions: 13.37/5.16 The following Lambda expression 13.37/5.16 "\z->if y >= z && z >= x then z : [] else []" 13.37/5.16 is transformed to 13.37/5.16 "range0 y x z = if y >= z && z >= x then z : [] else []; 13.37/5.16 " 13.37/5.16 The following Lambda expression 13.37/5.16 "\s->if y > s then 1 else 0" 13.37/5.16 is transformed to 13.37/5.16 "index0 y s = if y > s then 1 else 0; 13.37/5.16 " 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (2) 13.37/5.16 Obligation: 13.37/5.16 mainModule Main 13.37/5.16 module Main where { 13.37/5.16 import qualified Prelude; 13.37/5.16 } 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (3) IFR (EQUIVALENT) 13.37/5.16 If Reductions: 13.37/5.16 The following If expression 13.37/5.16 "if y >= z && z >= x then sum (map (index0 y) (range (x,y))) else error []" 13.37/5.16 is transformed to 13.37/5.16 "index1 y x True = sum (map (index0 y) (range (x,y))); 13.37/5.16 index1 y x False = error []; 13.37/5.16 " 13.37/5.16 The following If expression 13.37/5.16 "if y >= z && z >= x then z : [] else []" 13.37/5.16 is transformed to 13.37/5.16 "range00 z True = z : []; 13.37/5.16 range00 z False = []; 13.37/5.16 " 13.37/5.16 The following If expression 13.37/5.16 "if y > s then 1 else 0" 13.37/5.16 is transformed to 13.37/5.16 "index00 True = 1; 13.37/5.16 index00 False = 0; 13.37/5.16 " 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (4) 13.37/5.16 Obligation: 13.37/5.16 mainModule Main 13.37/5.16 module Main where { 13.37/5.16 import qualified Prelude; 13.37/5.16 } 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (5) BR (EQUIVALENT) 13.37/5.16 Replaced joker patterns by fresh variables and removed binding patterns. 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (6) 13.37/5.16 Obligation: 13.37/5.16 mainModule Main 13.37/5.16 module Main where { 13.37/5.16 import qualified Prelude; 13.37/5.16 } 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (7) COR (EQUIVALENT) 13.37/5.16 Cond Reductions: 13.37/5.16 The following Function with conditions 13.37/5.16 "compare x y|x == yEQ|x <= yLT|otherwiseGT; 13.37/5.16 " 13.37/5.16 is transformed to 13.37/5.16 "compare x y = compare3 x y; 13.37/5.16 " 13.37/5.16 "compare1 x y True = LT; 13.37/5.16 compare1 x y False = compare0 x y otherwise; 13.37/5.16 " 13.37/5.16 "compare0 x y True = GT; 13.37/5.16 " 13.37/5.16 "compare2 x y True = EQ; 13.37/5.16 compare2 x y False = compare1 x y (x <= y); 13.37/5.16 " 13.37/5.16 "compare3 x y = compare2 x y (x == y); 13.37/5.16 " 13.37/5.16 The following Function with conditions 13.37/5.16 "undefined |Falseundefined; 13.37/5.16 " 13.37/5.16 is transformed to 13.37/5.16 "undefined = undefined1; 13.37/5.16 " 13.37/5.16 "undefined0 True = undefined; 13.37/5.16 " 13.37/5.16 "undefined1 = undefined0 False; 13.37/5.16 " 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (8) 13.37/5.16 Obligation: 13.37/5.16 mainModule Main 13.37/5.16 module Main where { 13.37/5.16 import qualified Prelude; 13.37/5.16 } 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (9) NumRed (SOUND) 13.37/5.16 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (10) 13.37/5.16 Obligation: 13.37/5.16 mainModule Main 13.37/5.16 module Main where { 13.37/5.16 import qualified Prelude; 13.37/5.16 } 13.37/5.16 13.37/5.16 ---------------------------------------- 13.37/5.16 13.37/5.16 (11) Narrow (SOUND) 13.37/5.16 Haskell To QDPs 13.37/5.16 13.37/5.16 digraph dp_graph { 13.37/5.16 node [outthreshold=100, inthreshold=100];1[label="index",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 13.37/5.16 3[label="index vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 13.37/5.16 4[label="index vx3 vx4",fontsize=16,color="burlywood",shape="triangle"];1036[label="vx3/(vx30,vx31)",fontsize=10,color="white",style="solid",shape="box"];4 -> 1036[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1036 -> 5[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 5[label="index (vx30,vx31) vx4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 13.37/5.16 6[label="index1 vx31 vx30 (vx31 >= vx4 && vx4 >= vx30)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 13.37/5.16 7[label="index1 vx31 vx30 (compare vx31 vx4 /= LT && vx4 >= vx30)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 13.37/5.16 8[label="index1 vx31 vx30 (not (compare vx31 vx4 == LT) && vx4 >= vx30)",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 13.37/5.16 9[label="index1 vx31 vx30 (not (compare3 vx31 vx4 == LT) && vx4 >= vx30)",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 13.37/5.16 10[label="index1 vx31 vx30 (not (compare2 vx31 vx4 (vx31 == vx4) == LT) && vx4 >= vx30)",fontsize=16,color="burlywood",shape="box"];1037[label="vx31/LT",fontsize=10,color="white",style="solid",shape="box"];10 -> 1037[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1037 -> 11[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1038[label="vx31/EQ",fontsize=10,color="white",style="solid",shape="box"];10 -> 1038[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1038 -> 12[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1039[label="vx31/GT",fontsize=10,color="white",style="solid",shape="box"];10 -> 1039[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1039 -> 13[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 11[label="index1 LT vx30 (not (compare2 LT vx4 (LT == vx4) == LT) && vx4 >= vx30)",fontsize=16,color="burlywood",shape="box"];1040[label="vx4/LT",fontsize=10,color="white",style="solid",shape="box"];11 -> 1040[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1040 -> 14[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1041[label="vx4/EQ",fontsize=10,color="white",style="solid",shape="box"];11 -> 1041[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1041 -> 15[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1042[label="vx4/GT",fontsize=10,color="white",style="solid",shape="box"];11 -> 1042[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1042 -> 16[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 12[label="index1 EQ vx30 (not (compare2 EQ vx4 (EQ == vx4) == LT) && vx4 >= vx30)",fontsize=16,color="burlywood",shape="box"];1043[label="vx4/LT",fontsize=10,color="white",style="solid",shape="box"];12 -> 1043[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1043 -> 17[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1044[label="vx4/EQ",fontsize=10,color="white",style="solid",shape="box"];12 -> 1044[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1044 -> 18[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1045[label="vx4/GT",fontsize=10,color="white",style="solid",shape="box"];12 -> 1045[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1045 -> 19[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 13[label="index1 GT vx30 (not (compare2 GT vx4 (GT == vx4) == LT) && vx4 >= vx30)",fontsize=16,color="burlywood",shape="box"];1046[label="vx4/LT",fontsize=10,color="white",style="solid",shape="box"];13 -> 1046[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1046 -> 20[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1047[label="vx4/EQ",fontsize=10,color="white",style="solid",shape="box"];13 -> 1047[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1047 -> 21[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 1048[label="vx4/GT",fontsize=10,color="white",style="solid",shape="box"];13 -> 1048[label="",style="solid", color="burlywood", weight=9]; 13.37/5.16 1048 -> 22[label="",style="solid", color="burlywood", weight=3]; 13.37/5.16 14[label="index1 LT vx30 (not (compare2 LT LT (LT == LT) == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];14 -> 23[label="",style="solid", color="black", weight=3]; 13.37/5.16 15[label="index1 LT vx30 (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];15 -> 24[label="",style="solid", color="black", weight=3]; 13.37/5.16 16[label="index1 LT vx30 (not (compare2 LT GT (LT == GT) == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];16 -> 25[label="",style="solid", color="black", weight=3]; 13.37/5.16 17[label="index1 EQ vx30 (not (compare2 EQ LT (EQ == LT) == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];17 -> 26[label="",style="solid", color="black", weight=3]; 13.37/5.16 18[label="index1 EQ vx30 (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];18 -> 27[label="",style="solid", color="black", weight=3]; 13.37/5.16 19[label="index1 EQ vx30 (not (compare2 EQ GT (EQ == GT) == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];19 -> 28[label="",style="solid", color="black", weight=3]; 13.37/5.16 20[label="index1 GT vx30 (not (compare2 GT LT (GT == LT) == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];20 -> 29[label="",style="solid", color="black", weight=3]; 13.37/5.16 21[label="index1 GT vx30 (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];21 -> 30[label="",style="solid", color="black", weight=3]; 13.37/5.16 22[label="index1 GT vx30 (not (compare2 GT GT (GT == GT) == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];22 -> 31[label="",style="solid", color="black", weight=3]; 13.37/5.16 23[label="index1 LT vx30 (not (compare2 LT LT True == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];23 -> 32[label="",style="solid", color="black", weight=3]; 13.37/5.16 24[label="index1 LT vx30 (not (compare2 LT EQ False == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];24 -> 33[label="",style="solid", color="black", weight=3]; 13.37/5.16 25[label="index1 LT vx30 (not (compare2 LT GT False == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];25 -> 34[label="",style="solid", color="black", weight=3]; 13.37/5.16 26[label="index1 EQ vx30 (not (compare2 EQ LT False == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];26 -> 35[label="",style="solid", color="black", weight=3]; 13.37/5.16 27[label="index1 EQ vx30 (not (compare2 EQ EQ True == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];27 -> 36[label="",style="solid", color="black", weight=3]; 13.37/5.16 28[label="index1 EQ vx30 (not (compare2 EQ GT False == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];28 -> 37[label="",style="solid", color="black", weight=3]; 13.37/5.16 29[label="index1 GT vx30 (not (compare2 GT LT False == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];29 -> 38[label="",style="solid", color="black", weight=3]; 13.37/5.16 30[label="index1 GT vx30 (not (compare2 GT EQ False == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];30 -> 39[label="",style="solid", color="black", weight=3]; 13.37/5.16 31[label="index1 GT vx30 (not (compare2 GT GT True == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];31 -> 40[label="",style="solid", color="black", weight=3]; 13.37/5.16 32[label="index1 LT vx30 (not (EQ == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];32 -> 41[label="",style="solid", color="black", weight=3]; 13.37/5.16 33[label="index1 LT vx30 (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];33 -> 42[label="",style="solid", color="black", weight=3]; 13.37/5.16 34[label="index1 LT vx30 (not (compare1 LT GT (LT <= GT) == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];34 -> 43[label="",style="solid", color="black", weight=3]; 13.37/5.16 35[label="index1 EQ vx30 (not (compare1 EQ LT (EQ <= LT) == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];35 -> 44[label="",style="solid", color="black", weight=3]; 13.37/5.16 36[label="index1 EQ vx30 (not (EQ == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];36 -> 45[label="",style="solid", color="black", weight=3]; 13.37/5.16 37[label="index1 EQ vx30 (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];37 -> 46[label="",style="solid", color="black", weight=3]; 13.37/5.16 38[label="index1 GT vx30 (not (compare1 GT LT (GT <= LT) == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];38 -> 47[label="",style="solid", color="black", weight=3]; 13.37/5.16 39[label="index1 GT vx30 (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];39 -> 48[label="",style="solid", color="black", weight=3]; 13.37/5.16 40[label="index1 GT vx30 (not (EQ == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];40 -> 49[label="",style="solid", color="black", weight=3]; 13.37/5.16 41[label="index1 LT vx30 (not False && LT >= vx30)",fontsize=16,color="black",shape="box"];41 -> 50[label="",style="solid", color="black", weight=3]; 13.37/5.16 42[label="index1 LT vx30 (not (compare1 LT EQ True == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];42 -> 51[label="",style="solid", color="black", weight=3]; 13.37/5.16 43[label="index1 LT vx30 (not (compare1 LT GT True == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];43 -> 52[label="",style="solid", color="black", weight=3]; 13.37/5.16 44[label="index1 EQ vx30 (not (compare1 EQ LT False == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];44 -> 53[label="",style="solid", color="black", weight=3]; 13.37/5.16 45[label="index1 EQ vx30 (not False && EQ >= vx30)",fontsize=16,color="black",shape="box"];45 -> 54[label="",style="solid", color="black", weight=3]; 13.37/5.16 46[label="index1 EQ vx30 (not (compare1 EQ GT True == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];46 -> 55[label="",style="solid", color="black", weight=3]; 13.37/5.16 47[label="index1 GT vx30 (not (compare1 GT LT False == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];47 -> 56[label="",style="solid", color="black", weight=3]; 13.37/5.16 48[label="index1 GT vx30 (not (compare1 GT EQ False == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];48 -> 57[label="",style="solid", color="black", weight=3]; 13.37/5.16 49[label="index1 GT vx30 (not False && GT >= vx30)",fontsize=16,color="black",shape="box"];49 -> 58[label="",style="solid", color="black", weight=3]; 13.37/5.16 50[label="index1 LT vx30 (True && LT >= vx30)",fontsize=16,color="black",shape="box"];50 -> 59[label="",style="solid", color="black", weight=3]; 13.37/5.16 51[label="index1 LT vx30 (not (LT == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];51 -> 60[label="",style="solid", color="black", weight=3]; 13.37/5.16 52[label="index1 LT vx30 (not (LT == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];52 -> 61[label="",style="solid", color="black", weight=3]; 13.37/5.16 53[label="index1 EQ vx30 (not (compare0 EQ LT otherwise == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];53 -> 62[label="",style="solid", color="black", weight=3]; 13.37/5.16 54[label="index1 EQ vx30 (True && EQ >= vx30)",fontsize=16,color="black",shape="box"];54 -> 63[label="",style="solid", color="black", weight=3]; 13.37/5.16 55[label="index1 EQ vx30 (not (LT == LT) && GT >= vx30)",fontsize=16,color="black",shape="box"];55 -> 64[label="",style="solid", color="black", weight=3]; 13.37/5.16 56[label="index1 GT vx30 (not (compare0 GT LT otherwise == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];56 -> 65[label="",style="solid", color="black", weight=3]; 13.37/5.16 57[label="index1 GT vx30 (not (compare0 GT EQ otherwise == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];57 -> 66[label="",style="solid", color="black", weight=3]; 13.37/5.16 58[label="index1 GT vx30 (True && GT >= vx30)",fontsize=16,color="black",shape="box"];58 -> 67[label="",style="solid", color="black", weight=3]; 13.37/5.16 59[label="index1 LT vx30 (LT >= vx30)",fontsize=16,color="black",shape="box"];59 -> 68[label="",style="solid", color="black", weight=3]; 13.37/5.16 60[label="index1 LT vx30 (not True && EQ >= vx30)",fontsize=16,color="black",shape="box"];60 -> 69[label="",style="solid", color="black", weight=3]; 13.37/5.16 61[label="index1 LT vx30 (not True && GT >= vx30)",fontsize=16,color="black",shape="box"];61 -> 70[label="",style="solid", color="black", weight=3]; 13.37/5.16 62[label="index1 EQ vx30 (not (compare0 EQ LT True == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];62 -> 71[label="",style="solid", color="black", weight=3]; 13.37/5.16 63[label="index1 EQ vx30 (EQ >= vx30)",fontsize=16,color="black",shape="box"];63 -> 72[label="",style="solid", color="black", weight=3]; 13.37/5.16 64[label="index1 EQ vx30 (not True && GT >= vx30)",fontsize=16,color="black",shape="box"];64 -> 73[label="",style="solid", color="black", weight=3]; 13.37/5.16 65[label="index1 GT vx30 (not (compare0 GT LT True == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];65 -> 74[label="",style="solid", color="black", weight=3]; 13.37/5.16 66[label="index1 GT vx30 (not (compare0 GT EQ True == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3]; 13.37/5.16 67[label="index1 GT vx30 (GT >= vx30)",fontsize=16,color="black",shape="box"];67 -> 76[label="",style="solid", color="black", weight=3]; 13.37/5.16 68[label="index1 LT vx30 (compare LT vx30 /= LT)",fontsize=16,color="black",shape="box"];68 -> 77[label="",style="solid", color="black", weight=3]; 13.37/5.16 69[label="index1 LT vx30 (False && EQ >= vx30)",fontsize=16,color="black",shape="box"];69 -> 78[label="",style="solid", color="black", weight=3]; 13.37/5.16 70[label="index1 LT vx30 (False && GT >= vx30)",fontsize=16,color="black",shape="box"];70 -> 79[label="",style="solid", color="black", weight=3]; 13.37/5.16 71[label="index1 EQ vx30 (not (GT == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];71 -> 80[label="",style="solid", color="black", weight=3]; 13.37/5.16 72[label="index1 EQ vx30 (compare EQ vx30 /= LT)",fontsize=16,color="black",shape="box"];72 -> 81[label="",style="solid", color="black", weight=3]; 13.37/5.16 73[label="index1 EQ vx30 (False && GT >= vx30)",fontsize=16,color="black",shape="box"];73 -> 82[label="",style="solid", color="black", weight=3]; 13.37/5.16 74[label="index1 GT vx30 (not (GT == LT) && LT >= vx30)",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3]; 13.37/5.16 75[label="index1 GT vx30 (not (GT == LT) && EQ >= vx30)",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3]; 13.37/5.16 76[label="index1 GT vx30 (compare GT vx30 /= LT)",fontsize=16,color="black",shape="box"];76 -> 85[label="",style="solid", color="black", weight=3]; 13.37/5.16 77[label="index1 LT vx30 (not (compare LT vx30 == LT))",fontsize=16,color="black",shape="box"];77 -> 86[label="",style="solid", color="black", weight=3]; 13.37/5.16 78[label="index1 LT vx30 False",fontsize=16,color="black",shape="triangle"];78 -> 87[label="",style="solid", color="black", weight=3]; 13.37/5.16 79 -> 78[label="",style="dashed", color="red", weight=0]; 13.37/5.16 79[label="index1 LT vx30 False",fontsize=16,color="magenta"];80[label="index1 EQ vx30 (not False && LT >= vx30)",fontsize=16,color="black",shape="box"];80 -> 88[label="",style="solid", color="black", weight=3]; 13.37/5.16 81[label="index1 EQ vx30 (not (compare EQ vx30 == LT))",fontsize=16,color="black",shape="box"];81 -> 89[label="",style="solid", color="black", weight=3]; 13.37/5.16 82[label="index1 EQ vx30 False",fontsize=16,color="black",shape="triangle"];82 -> 90[label="",style="solid", color="black", weight=3]; 13.37/5.16 83[label="index1 GT vx30 (not False && LT >= vx30)",fontsize=16,color="black",shape="box"];83 -> 91[label="",style="solid", color="black", weight=3]; 13.37/5.16 84[label="index1 GT vx30 (not False && EQ >= vx30)",fontsize=16,color="black",shape="box"];84 -> 92[label="",style="solid", color="black", weight=3]; 13.37/5.16 85[label="index1 GT vx30 (not (compare GT vx30 == LT))",fontsize=16,color="black",shape="box"];85 -> 93[label="",style="solid", color="black", weight=3]; 13.37/5.16 86[label="index1 LT vx30 (not (compare3 LT vx30 == LT))",fontsize=16,color="black",shape="box"];86 -> 94[label="",style="solid", color="black", weight=3]; 13.37/5.16 87[label="error []",fontsize=16,color="black",shape="triangle"];87 -> 95[label="",style="solid", color="black", weight=3]; 13.37/5.17 88[label="index1 EQ vx30 (True && LT >= vx30)",fontsize=16,color="black",shape="box"];88 -> 96[label="",style="solid", color="black", weight=3]; 13.37/5.17 89[label="index1 EQ vx30 (not (compare3 EQ vx30 == LT))",fontsize=16,color="black",shape="box"];89 -> 97[label="",style="solid", color="black", weight=3]; 13.37/5.17 90 -> 87[label="",style="dashed", color="red", weight=0]; 13.37/5.17 90[label="error []",fontsize=16,color="magenta"];91[label="index1 GT vx30 (True && LT >= vx30)",fontsize=16,color="black",shape="box"];91 -> 98[label="",style="solid", color="black", weight=3]; 13.37/5.17 92[label="index1 GT vx30 (True && EQ >= vx30)",fontsize=16,color="black",shape="box"];92 -> 99[label="",style="solid", color="black", weight=3]; 13.37/5.17 93[label="index1 GT vx30 (not (compare3 GT vx30 == LT))",fontsize=16,color="black",shape="box"];93 -> 100[label="",style="solid", color="black", weight=3]; 13.37/5.17 94[label="index1 LT vx30 (not (compare2 LT vx30 (LT == vx30) == LT))",fontsize=16,color="burlywood",shape="box"];1049[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];94 -> 1049[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1049 -> 101[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1050[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];94 -> 1050[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1050 -> 102[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1051[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];94 -> 1051[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1051 -> 103[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 95[label="error []",fontsize=16,color="red",shape="box"];96[label="index1 EQ vx30 (LT >= vx30)",fontsize=16,color="black",shape="box"];96 -> 104[label="",style="solid", color="black", weight=3]; 13.37/5.17 97[label="index1 EQ vx30 (not (compare2 EQ vx30 (EQ == vx30) == LT))",fontsize=16,color="burlywood",shape="box"];1052[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];97 -> 1052[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1052 -> 105[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1053[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];97 -> 1053[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1053 -> 106[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1054[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];97 -> 1054[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1054 -> 107[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 98[label="index1 GT vx30 (LT >= vx30)",fontsize=16,color="black",shape="box"];98 -> 108[label="",style="solid", color="black", weight=3]; 13.37/5.17 99[label="index1 GT vx30 (EQ >= vx30)",fontsize=16,color="black",shape="box"];99 -> 109[label="",style="solid", color="black", weight=3]; 13.37/5.17 100[label="index1 GT vx30 (not (compare2 GT vx30 (GT == vx30) == LT))",fontsize=16,color="burlywood",shape="box"];1055[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];100 -> 1055[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1055 -> 110[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1056[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];100 -> 1056[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1056 -> 111[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1057[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];100 -> 1057[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1057 -> 112[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 101[label="index1 LT LT (not (compare2 LT LT (LT == LT) == LT))",fontsize=16,color="black",shape="box"];101 -> 113[label="",style="solid", color="black", weight=3]; 13.37/5.17 102[label="index1 LT EQ (not (compare2 LT EQ (LT == EQ) == LT))",fontsize=16,color="black",shape="box"];102 -> 114[label="",style="solid", color="black", weight=3]; 13.37/5.17 103[label="index1 LT GT (not (compare2 LT GT (LT == GT) == LT))",fontsize=16,color="black",shape="box"];103 -> 115[label="",style="solid", color="black", weight=3]; 13.37/5.17 104[label="index1 EQ vx30 (compare LT vx30 /= LT)",fontsize=16,color="black",shape="box"];104 -> 116[label="",style="solid", color="black", weight=3]; 13.37/5.17 105[label="index1 EQ LT (not (compare2 EQ LT (EQ == LT) == LT))",fontsize=16,color="black",shape="box"];105 -> 117[label="",style="solid", color="black", weight=3]; 13.37/5.17 106[label="index1 EQ EQ (not (compare2 EQ EQ (EQ == EQ) == LT))",fontsize=16,color="black",shape="box"];106 -> 118[label="",style="solid", color="black", weight=3]; 13.37/5.17 107[label="index1 EQ GT (not (compare2 EQ GT (EQ == GT) == LT))",fontsize=16,color="black",shape="box"];107 -> 119[label="",style="solid", color="black", weight=3]; 13.37/5.17 108[label="index1 GT vx30 (compare LT vx30 /= LT)",fontsize=16,color="black",shape="box"];108 -> 120[label="",style="solid", color="black", weight=3]; 13.37/5.17 109[label="index1 GT vx30 (compare EQ vx30 /= LT)",fontsize=16,color="black",shape="box"];109 -> 121[label="",style="solid", color="black", weight=3]; 13.37/5.17 110[label="index1 GT LT (not (compare2 GT LT (GT == LT) == LT))",fontsize=16,color="black",shape="box"];110 -> 122[label="",style="solid", color="black", weight=3]; 13.37/5.17 111[label="index1 GT EQ (not (compare2 GT EQ (GT == EQ) == LT))",fontsize=16,color="black",shape="box"];111 -> 123[label="",style="solid", color="black", weight=3]; 13.37/5.17 112[label="index1 GT GT (not (compare2 GT GT (GT == GT) == LT))",fontsize=16,color="black",shape="box"];112 -> 124[label="",style="solid", color="black", weight=3]; 13.37/5.17 113[label="index1 LT LT (not (compare2 LT LT True == LT))",fontsize=16,color="black",shape="box"];113 -> 125[label="",style="solid", color="black", weight=3]; 13.37/5.17 114[label="index1 LT EQ (not (compare2 LT EQ False == LT))",fontsize=16,color="black",shape="box"];114 -> 126[label="",style="solid", color="black", weight=3]; 13.37/5.17 115[label="index1 LT GT (not (compare2 LT GT False == LT))",fontsize=16,color="black",shape="box"];115 -> 127[label="",style="solid", color="black", weight=3]; 13.37/5.17 116[label="index1 EQ vx30 (not (compare LT vx30 == LT))",fontsize=16,color="black",shape="box"];116 -> 128[label="",style="solid", color="black", weight=3]; 13.37/5.17 117[label="index1 EQ LT (not (compare2 EQ LT False == LT))",fontsize=16,color="black",shape="box"];117 -> 129[label="",style="solid", color="black", weight=3]; 13.37/5.17 118[label="index1 EQ EQ (not (compare2 EQ EQ True == LT))",fontsize=16,color="black",shape="box"];118 -> 130[label="",style="solid", color="black", weight=3]; 13.37/5.17 119[label="index1 EQ GT (not (compare2 EQ GT False == LT))",fontsize=16,color="black",shape="box"];119 -> 131[label="",style="solid", color="black", weight=3]; 13.37/5.17 120[label="index1 GT vx30 (not (compare LT vx30 == LT))",fontsize=16,color="black",shape="box"];120 -> 132[label="",style="solid", color="black", weight=3]; 13.37/5.17 121[label="index1 GT vx30 (not (compare EQ vx30 == LT))",fontsize=16,color="black",shape="box"];121 -> 133[label="",style="solid", color="black", weight=3]; 13.37/5.17 122[label="index1 GT LT (not (compare2 GT LT False == LT))",fontsize=16,color="black",shape="box"];122 -> 134[label="",style="solid", color="black", weight=3]; 13.37/5.17 123[label="index1 GT EQ (not (compare2 GT EQ False == LT))",fontsize=16,color="black",shape="box"];123 -> 135[label="",style="solid", color="black", weight=3]; 13.37/5.17 124[label="index1 GT GT (not (compare2 GT GT True == LT))",fontsize=16,color="black",shape="box"];124 -> 136[label="",style="solid", color="black", weight=3]; 13.37/5.17 125[label="index1 LT LT (not (EQ == LT))",fontsize=16,color="black",shape="box"];125 -> 137[label="",style="solid", color="black", weight=3]; 13.37/5.17 126[label="index1 LT EQ (not (compare1 LT EQ (LT <= EQ) == LT))",fontsize=16,color="black",shape="box"];126 -> 138[label="",style="solid", color="black", weight=3]; 13.37/5.17 127[label="index1 LT GT (not (compare1 LT GT (LT <= GT) == LT))",fontsize=16,color="black",shape="box"];127 -> 139[label="",style="solid", color="black", weight=3]; 13.37/5.17 128[label="index1 EQ vx30 (not (compare3 LT vx30 == LT))",fontsize=16,color="black",shape="box"];128 -> 140[label="",style="solid", color="black", weight=3]; 13.37/5.17 129[label="index1 EQ LT (not (compare1 EQ LT (EQ <= LT) == LT))",fontsize=16,color="black",shape="box"];129 -> 141[label="",style="solid", color="black", weight=3]; 13.37/5.17 130[label="index1 EQ EQ (not (EQ == LT))",fontsize=16,color="black",shape="box"];130 -> 142[label="",style="solid", color="black", weight=3]; 13.37/5.17 131[label="index1 EQ GT (not (compare1 EQ GT (EQ <= GT) == LT))",fontsize=16,color="black",shape="box"];131 -> 143[label="",style="solid", color="black", weight=3]; 13.37/5.17 132[label="index1 GT vx30 (not (compare3 LT vx30 == LT))",fontsize=16,color="black",shape="box"];132 -> 144[label="",style="solid", color="black", weight=3]; 13.37/5.17 133[label="index1 GT vx30 (not (compare3 EQ vx30 == LT))",fontsize=16,color="black",shape="box"];133 -> 145[label="",style="solid", color="black", weight=3]; 13.37/5.17 134[label="index1 GT LT (not (compare1 GT LT (GT <= LT) == LT))",fontsize=16,color="black",shape="box"];134 -> 146[label="",style="solid", color="black", weight=3]; 13.37/5.17 135[label="index1 GT EQ (not (compare1 GT EQ (GT <= EQ) == LT))",fontsize=16,color="black",shape="box"];135 -> 147[label="",style="solid", color="black", weight=3]; 13.37/5.17 136[label="index1 GT GT (not (EQ == LT))",fontsize=16,color="black",shape="box"];136 -> 148[label="",style="solid", color="black", weight=3]; 13.37/5.17 137[label="index1 LT LT (not False)",fontsize=16,color="black",shape="box"];137 -> 149[label="",style="solid", color="black", weight=3]; 13.37/5.17 138[label="index1 LT EQ (not (compare1 LT EQ True == LT))",fontsize=16,color="black",shape="box"];138 -> 150[label="",style="solid", color="black", weight=3]; 13.37/5.17 139[label="index1 LT GT (not (compare1 LT GT True == LT))",fontsize=16,color="black",shape="box"];139 -> 151[label="",style="solid", color="black", weight=3]; 13.37/5.17 140[label="index1 EQ vx30 (not (compare2 LT vx30 (LT == vx30) == LT))",fontsize=16,color="burlywood",shape="box"];1058[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];140 -> 1058[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1058 -> 152[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1059[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];140 -> 1059[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1059 -> 153[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1060[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];140 -> 1060[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1060 -> 154[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 141[label="index1 EQ LT (not (compare1 EQ LT False == LT))",fontsize=16,color="black",shape="box"];141 -> 155[label="",style="solid", color="black", weight=3]; 13.37/5.17 142[label="index1 EQ EQ (not False)",fontsize=16,color="black",shape="box"];142 -> 156[label="",style="solid", color="black", weight=3]; 13.37/5.17 143[label="index1 EQ GT (not (compare1 EQ GT True == LT))",fontsize=16,color="black",shape="box"];143 -> 157[label="",style="solid", color="black", weight=3]; 13.37/5.17 144[label="index1 GT vx30 (not (compare2 LT vx30 (LT == vx30) == LT))",fontsize=16,color="burlywood",shape="box"];1061[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];144 -> 1061[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1061 -> 158[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1062[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];144 -> 1062[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1062 -> 159[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1063[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];144 -> 1063[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1063 -> 160[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 145[label="index1 GT vx30 (not (compare2 EQ vx30 (EQ == vx30) == LT))",fontsize=16,color="burlywood",shape="box"];1064[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];145 -> 1064[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1064 -> 161[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1065[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];145 -> 1065[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1065 -> 162[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1066[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];145 -> 1066[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1066 -> 163[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 146[label="index1 GT LT (not (compare1 GT LT False == LT))",fontsize=16,color="black",shape="box"];146 -> 164[label="",style="solid", color="black", weight=3]; 13.37/5.17 147[label="index1 GT EQ (not (compare1 GT EQ False == LT))",fontsize=16,color="black",shape="box"];147 -> 165[label="",style="solid", color="black", weight=3]; 13.37/5.17 148[label="index1 GT GT (not False)",fontsize=16,color="black",shape="box"];148 -> 166[label="",style="solid", color="black", weight=3]; 13.37/5.17 149[label="index1 LT LT True",fontsize=16,color="black",shape="box"];149 -> 167[label="",style="solid", color="black", weight=3]; 13.37/5.17 150[label="index1 LT EQ (not (LT == LT))",fontsize=16,color="black",shape="box"];150 -> 168[label="",style="solid", color="black", weight=3]; 13.37/5.17 151[label="index1 LT GT (not (LT == LT))",fontsize=16,color="black",shape="box"];151 -> 169[label="",style="solid", color="black", weight=3]; 13.37/5.17 152[label="index1 EQ LT (not (compare2 LT LT (LT == LT) == LT))",fontsize=16,color="black",shape="box"];152 -> 170[label="",style="solid", color="black", weight=3]; 13.37/5.17 153[label="index1 EQ EQ (not (compare2 LT EQ (LT == EQ) == LT))",fontsize=16,color="black",shape="box"];153 -> 171[label="",style="solid", color="black", weight=3]; 13.37/5.17 154[label="index1 EQ GT (not (compare2 LT GT (LT == GT) == LT))",fontsize=16,color="black",shape="box"];154 -> 172[label="",style="solid", color="black", weight=3]; 13.37/5.17 155[label="index1 EQ LT (not (compare0 EQ LT otherwise == LT))",fontsize=16,color="black",shape="box"];155 -> 173[label="",style="solid", color="black", weight=3]; 13.37/5.17 156[label="index1 EQ EQ True",fontsize=16,color="black",shape="box"];156 -> 174[label="",style="solid", color="black", weight=3]; 13.37/5.17 157[label="index1 EQ GT (not (LT == LT))",fontsize=16,color="black",shape="triangle"];157 -> 175[label="",style="solid", color="black", weight=3]; 13.37/5.17 158[label="index1 GT LT (not (compare2 LT LT (LT == LT) == LT))",fontsize=16,color="black",shape="box"];158 -> 176[label="",style="solid", color="black", weight=3]; 13.37/5.17 159[label="index1 GT EQ (not (compare2 LT EQ (LT == EQ) == LT))",fontsize=16,color="black",shape="box"];159 -> 177[label="",style="solid", color="black", weight=3]; 13.37/5.17 160[label="index1 GT GT (not (compare2 LT GT (LT == GT) == LT))",fontsize=16,color="black",shape="box"];160 -> 178[label="",style="solid", color="black", weight=3]; 13.37/5.17 161[label="index1 GT LT (not (compare2 EQ LT (EQ == LT) == LT))",fontsize=16,color="black",shape="box"];161 -> 179[label="",style="solid", color="black", weight=3]; 13.37/5.17 162[label="index1 GT EQ (not (compare2 EQ EQ (EQ == EQ) == LT))",fontsize=16,color="black",shape="box"];162 -> 180[label="",style="solid", color="black", weight=3]; 13.37/5.17 163[label="index1 GT GT (not (compare2 EQ GT (EQ == GT) == LT))",fontsize=16,color="black",shape="box"];163 -> 181[label="",style="solid", color="black", weight=3]; 13.37/5.17 164[label="index1 GT LT (not (compare0 GT LT otherwise == LT))",fontsize=16,color="black",shape="box"];164 -> 182[label="",style="solid", color="black", weight=3]; 13.37/5.17 165[label="index1 GT EQ (not (compare0 GT EQ otherwise == LT))",fontsize=16,color="black",shape="box"];165 -> 183[label="",style="solid", color="black", weight=3]; 13.37/5.17 166[label="index1 GT GT True",fontsize=16,color="black",shape="box"];166 -> 184[label="",style="solid", color="black", weight=3]; 13.37/5.17 167[label="sum (map (index0 LT) (range (LT,LT)))",fontsize=16,color="black",shape="box"];167 -> 185[label="",style="solid", color="black", weight=3]; 13.37/5.17 168[label="index1 LT EQ (not True)",fontsize=16,color="black",shape="box"];168 -> 186[label="",style="solid", color="black", weight=3]; 13.37/5.17 169[label="index1 LT GT (not True)",fontsize=16,color="black",shape="box"];169 -> 187[label="",style="solid", color="black", weight=3]; 13.37/5.17 170[label="index1 EQ LT (not (compare2 LT LT True == LT))",fontsize=16,color="black",shape="box"];170 -> 188[label="",style="solid", color="black", weight=3]; 13.37/5.17 171[label="index1 EQ EQ (not (compare2 LT EQ False == LT))",fontsize=16,color="black",shape="box"];171 -> 189[label="",style="solid", color="black", weight=3]; 13.37/5.17 172[label="index1 EQ GT (not (compare2 LT GT False == LT))",fontsize=16,color="black",shape="box"];172 -> 190[label="",style="solid", color="black", weight=3]; 13.37/5.17 173[label="index1 EQ LT (not (compare0 EQ LT True == LT))",fontsize=16,color="black",shape="box"];173 -> 191[label="",style="solid", color="black", weight=3]; 13.37/5.17 174[label="sum (map (index0 EQ) (range (EQ,EQ)))",fontsize=16,color="black",shape="box"];174 -> 192[label="",style="solid", color="black", weight=3]; 13.37/5.17 175[label="index1 EQ GT (not True)",fontsize=16,color="black",shape="box"];175 -> 193[label="",style="solid", color="black", weight=3]; 13.37/5.17 176[label="index1 GT LT (not (compare2 LT LT True == LT))",fontsize=16,color="black",shape="box"];176 -> 194[label="",style="solid", color="black", weight=3]; 13.37/5.17 177[label="index1 GT EQ (not (compare2 LT EQ False == LT))",fontsize=16,color="black",shape="box"];177 -> 195[label="",style="solid", color="black", weight=3]; 13.37/5.17 178[label="index1 GT GT (not (compare2 LT GT False == LT))",fontsize=16,color="black",shape="box"];178 -> 196[label="",style="solid", color="black", weight=3]; 13.37/5.17 179[label="index1 GT LT (not (compare2 EQ LT False == LT))",fontsize=16,color="black",shape="box"];179 -> 197[label="",style="solid", color="black", weight=3]; 13.37/5.17 180[label="index1 GT EQ (not (compare2 EQ EQ True == LT))",fontsize=16,color="black",shape="box"];180 -> 198[label="",style="solid", color="black", weight=3]; 13.37/5.17 181[label="index1 GT GT (not (compare2 EQ GT False == LT))",fontsize=16,color="black",shape="box"];181 -> 199[label="",style="solid", color="black", weight=3]; 13.37/5.17 182[label="index1 GT LT (not (compare0 GT LT True == LT))",fontsize=16,color="black",shape="box"];182 -> 200[label="",style="solid", color="black", weight=3]; 13.37/5.17 183[label="index1 GT EQ (not (compare0 GT EQ True == LT))",fontsize=16,color="black",shape="box"];183 -> 201[label="",style="solid", color="black", weight=3]; 13.37/5.17 184[label="sum (map (index0 GT) (range (GT,GT)))",fontsize=16,color="black",shape="box"];184 -> 202[label="",style="solid", color="black", weight=3]; 13.37/5.17 185[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (range (LT,LT)))",fontsize=16,color="black",shape="box"];185 -> 203[label="",style="solid", color="black", weight=3]; 13.37/5.17 186 -> 78[label="",style="dashed", color="red", weight=0]; 13.37/5.17 186[label="index1 LT EQ False",fontsize=16,color="magenta"];186 -> 204[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 187 -> 78[label="",style="dashed", color="red", weight=0]; 13.37/5.17 187[label="index1 LT GT False",fontsize=16,color="magenta"];187 -> 205[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 188[label="index1 EQ LT (not (EQ == LT))",fontsize=16,color="black",shape="box"];188 -> 206[label="",style="solid", color="black", weight=3]; 13.37/5.17 189[label="index1 EQ EQ (not (compare1 LT EQ (LT <= EQ) == LT))",fontsize=16,color="black",shape="box"];189 -> 207[label="",style="solid", color="black", weight=3]; 13.37/5.17 190[label="index1 EQ GT (not (compare1 LT GT (LT <= GT) == LT))",fontsize=16,color="black",shape="box"];190 -> 208[label="",style="solid", color="black", weight=3]; 13.37/5.17 191[label="index1 EQ LT (not (GT == LT))",fontsize=16,color="black",shape="box"];191 -> 209[label="",style="solid", color="black", weight=3]; 13.37/5.17 192[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (range (EQ,EQ)))",fontsize=16,color="black",shape="box"];192 -> 210[label="",style="solid", color="black", weight=3]; 13.37/5.17 193 -> 82[label="",style="dashed", color="red", weight=0]; 13.37/5.17 193[label="index1 EQ GT False",fontsize=16,color="magenta"];193 -> 211[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 194[label="index1 GT LT (not (EQ == LT))",fontsize=16,color="black",shape="box"];194 -> 212[label="",style="solid", color="black", weight=3]; 13.37/5.17 195[label="index1 GT EQ (not (compare1 LT EQ (LT <= EQ) == LT))",fontsize=16,color="black",shape="box"];195 -> 213[label="",style="solid", color="black", weight=3]; 13.37/5.17 196[label="index1 GT GT (not (compare1 LT GT (LT <= GT) == LT))",fontsize=16,color="black",shape="box"];196 -> 214[label="",style="solid", color="black", weight=3]; 13.37/5.17 197[label="index1 GT LT (not (compare1 EQ LT (EQ <= LT) == LT))",fontsize=16,color="black",shape="box"];197 -> 215[label="",style="solid", color="black", weight=3]; 13.37/5.17 198[label="index1 GT EQ (not (EQ == LT))",fontsize=16,color="black",shape="box"];198 -> 216[label="",style="solid", color="black", weight=3]; 13.37/5.17 199[label="index1 GT GT (not (compare1 EQ GT (EQ <= GT) == LT))",fontsize=16,color="black",shape="box"];199 -> 217[label="",style="solid", color="black", weight=3]; 13.37/5.17 200[label="index1 GT LT (not (GT == LT))",fontsize=16,color="black",shape="triangle"];200 -> 218[label="",style="solid", color="black", weight=3]; 13.37/5.17 201[label="index1 GT EQ (not (GT == LT))",fontsize=16,color="black",shape="box"];201 -> 219[label="",style="solid", color="black", weight=3]; 13.37/5.17 202[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (range (GT,GT)))",fontsize=16,color="black",shape="box"];202 -> 220[label="",style="solid", color="black", weight=3]; 13.37/5.17 203[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (concatMap (range0 LT LT) (LT : EQ : GT : [])))",fontsize=16,color="black",shape="box"];203 -> 221[label="",style="solid", color="black", weight=3]; 13.37/5.17 204[label="EQ",fontsize=16,color="green",shape="box"];205[label="GT",fontsize=16,color="green",shape="box"];206[label="index1 EQ LT (not False)",fontsize=16,color="black",shape="triangle"];206 -> 222[label="",style="solid", color="black", weight=3]; 13.37/5.17 207[label="index1 EQ EQ (not (compare1 LT EQ True == LT))",fontsize=16,color="black",shape="box"];207 -> 223[label="",style="solid", color="black", weight=3]; 13.37/5.17 208[label="index1 EQ GT (not (compare1 LT GT True == LT))",fontsize=16,color="black",shape="box"];208 -> 224[label="",style="solid", color="black", weight=3]; 13.37/5.17 209 -> 206[label="",style="dashed", color="red", weight=0]; 13.37/5.17 209[label="index1 EQ LT (not False)",fontsize=16,color="magenta"];210[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (concatMap (range0 EQ EQ) (LT : EQ : GT : [])))",fontsize=16,color="black",shape="box"];210 -> 225[label="",style="solid", color="black", weight=3]; 13.37/5.17 211[label="GT",fontsize=16,color="green",shape="box"];212[label="index1 GT LT (not False)",fontsize=16,color="black",shape="triangle"];212 -> 226[label="",style="solid", color="black", weight=3]; 13.37/5.17 213[label="index1 GT EQ (not (compare1 LT EQ True == LT))",fontsize=16,color="black",shape="box"];213 -> 227[label="",style="solid", color="black", weight=3]; 13.37/5.17 214[label="index1 GT GT (not (compare1 LT GT True == LT))",fontsize=16,color="black",shape="box"];214 -> 228[label="",style="solid", color="black", weight=3]; 13.37/5.17 215[label="index1 GT LT (not (compare1 EQ LT False == LT))",fontsize=16,color="black",shape="box"];215 -> 229[label="",style="solid", color="black", weight=3]; 13.37/5.17 216[label="index1 GT EQ (not False)",fontsize=16,color="black",shape="triangle"];216 -> 230[label="",style="solid", color="black", weight=3]; 13.37/5.17 217[label="index1 GT GT (not (compare1 EQ GT True == LT))",fontsize=16,color="black",shape="box"];217 -> 231[label="",style="solid", color="black", weight=3]; 13.37/5.17 218 -> 212[label="",style="dashed", color="red", weight=0]; 13.37/5.17 218[label="index1 GT LT (not False)",fontsize=16,color="magenta"];219 -> 216[label="",style="dashed", color="red", weight=0]; 13.37/5.17 219[label="index1 GT EQ (not False)",fontsize=16,color="magenta"];220[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concatMap (range0 GT GT) (LT : EQ : GT : [])))",fontsize=16,color="black",shape="box"];220 -> 232[label="",style="solid", color="black", weight=3]; 13.37/5.17 221[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (concat . map (range0 LT LT)))",fontsize=16,color="black",shape="box"];221 -> 233[label="",style="solid", color="black", weight=3]; 13.37/5.17 222[label="index1 EQ LT True",fontsize=16,color="black",shape="box"];222 -> 234[label="",style="solid", color="black", weight=3]; 13.37/5.17 223[label="index1 EQ EQ (not (LT == LT))",fontsize=16,color="black",shape="box"];223 -> 235[label="",style="solid", color="black", weight=3]; 13.37/5.17 224 -> 157[label="",style="dashed", color="red", weight=0]; 13.37/5.17 224[label="index1 EQ GT (not (LT == LT))",fontsize=16,color="magenta"];225[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (concat . map (range0 EQ EQ)))",fontsize=16,color="black",shape="box"];225 -> 236[label="",style="solid", color="black", weight=3]; 13.37/5.17 226[label="index1 GT LT True",fontsize=16,color="black",shape="box"];226 -> 237[label="",style="solid", color="black", weight=3]; 13.37/5.17 227[label="index1 GT EQ (not (LT == LT))",fontsize=16,color="black",shape="box"];227 -> 238[label="",style="solid", color="black", weight=3]; 13.37/5.17 228[label="index1 GT GT (not (LT == LT))",fontsize=16,color="black",shape="triangle"];228 -> 239[label="",style="solid", color="black", weight=3]; 13.37/5.17 229[label="index1 GT LT (not (compare0 EQ LT otherwise == LT))",fontsize=16,color="black",shape="box"];229 -> 240[label="",style="solid", color="black", weight=3]; 13.37/5.17 230[label="index1 GT EQ True",fontsize=16,color="black",shape="box"];230 -> 241[label="",style="solid", color="black", weight=3]; 13.37/5.17 231 -> 228[label="",style="dashed", color="red", weight=0]; 13.37/5.17 231[label="index1 GT GT (not (LT == LT))",fontsize=16,color="magenta"];232[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concat . map (range0 GT GT)))",fontsize=16,color="black",shape="box"];232 -> 242[label="",style="solid", color="black", weight=3]; 13.37/5.17 233[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (concat (map (range0 LT LT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];233 -> 243[label="",style="solid", color="black", weight=3]; 13.37/5.17 234[label="sum (map (index0 EQ) (range (LT,EQ)))",fontsize=16,color="black",shape="box"];234 -> 244[label="",style="solid", color="black", weight=3]; 13.37/5.17 235[label="index1 EQ EQ (not True)",fontsize=16,color="black",shape="box"];235 -> 245[label="",style="solid", color="black", weight=3]; 13.37/5.17 236[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (concat (map (range0 EQ EQ) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];236 -> 246[label="",style="solid", color="black", weight=3]; 13.37/5.17 237[label="sum (map (index0 GT) (range (LT,GT)))",fontsize=16,color="black",shape="box"];237 -> 247[label="",style="solid", color="black", weight=3]; 13.37/5.17 238[label="index1 GT EQ (not True)",fontsize=16,color="black",shape="box"];238 -> 248[label="",style="solid", color="black", weight=3]; 13.37/5.17 239[label="index1 GT GT (not True)",fontsize=16,color="black",shape="box"];239 -> 249[label="",style="solid", color="black", weight=3]; 13.37/5.17 240[label="index1 GT LT (not (compare0 EQ LT True == LT))",fontsize=16,color="black",shape="box"];240 -> 250[label="",style="solid", color="black", weight=3]; 13.37/5.17 241[label="sum (map (index0 GT) (range (EQ,GT)))",fontsize=16,color="black",shape="box"];241 -> 251[label="",style="solid", color="black", weight=3]; 13.37/5.17 242[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concat (map (range0 GT GT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];242 -> 252[label="",style="solid", color="black", weight=3]; 13.37/5.17 243[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (foldr (++) [] (map (range0 LT LT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];243 -> 253[label="",style="solid", color="black", weight=3]; 13.37/5.17 244[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (range (LT,EQ)))",fontsize=16,color="black",shape="box"];244 -> 254[label="",style="solid", color="black", weight=3]; 13.37/5.17 245 -> 82[label="",style="dashed", color="red", weight=0]; 13.37/5.17 245[label="index1 EQ EQ False",fontsize=16,color="magenta"];245 -> 255[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 246[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (foldr (++) [] (map (range0 EQ EQ) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];246 -> 256[label="",style="solid", color="black", weight=3]; 13.37/5.17 247[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (range (LT,GT)))",fontsize=16,color="black",shape="box"];247 -> 257[label="",style="solid", color="black", weight=3]; 13.37/5.17 248[label="index1 GT EQ False",fontsize=16,color="black",shape="box"];248 -> 258[label="",style="solid", color="black", weight=3]; 13.37/5.17 249[label="index1 GT GT False",fontsize=16,color="black",shape="box"];249 -> 259[label="",style="solid", color="black", weight=3]; 13.37/5.17 250 -> 200[label="",style="dashed", color="red", weight=0]; 13.37/5.17 250[label="index1 GT LT (not (GT == LT))",fontsize=16,color="magenta"];251[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (range (EQ,GT)))",fontsize=16,color="black",shape="box"];251 -> 260[label="",style="solid", color="black", weight=3]; 13.37/5.17 252[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (map (range0 GT GT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];252 -> 261[label="",style="solid", color="black", weight=3]; 13.37/5.17 253[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (foldr (++) [] (range0 LT LT LT : map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];253 -> 262[label="",style="solid", color="black", weight=3]; 13.37/5.17 254[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (concatMap (range0 EQ LT) (LT : EQ : GT : [])))",fontsize=16,color="black",shape="box"];254 -> 263[label="",style="solid", color="black", weight=3]; 13.37/5.17 255[label="EQ",fontsize=16,color="green",shape="box"];256[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (foldr (++) [] (range0 EQ EQ LT : map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];256 -> 264[label="",style="solid", color="black", weight=3]; 13.37/5.17 257[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concatMap (range0 GT LT) (LT : EQ : GT : [])))",fontsize=16,color="black",shape="box"];257 -> 265[label="",style="solid", color="black", weight=3]; 13.37/5.17 258 -> 87[label="",style="dashed", color="red", weight=0]; 13.37/5.17 258[label="error []",fontsize=16,color="magenta"];259 -> 87[label="",style="dashed", color="red", weight=0]; 13.37/5.17 259[label="error []",fontsize=16,color="magenta"];260[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concatMap (range0 GT EQ) (LT : EQ : GT : [])))",fontsize=16,color="black",shape="box"];260 -> 266[label="",style="solid", color="black", weight=3]; 13.37/5.17 261[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (range0 GT GT LT : map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];261 -> 267[label="",style="solid", color="black", weight=3]; 13.37/5.17 262[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range0 LT LT LT foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];262 -> 268[label="",style="solid", color="black", weight=3]; 13.37/5.17 263[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (concat . map (range0 EQ LT)))",fontsize=16,color="black",shape="box"];263 -> 269[label="",style="solid", color="black", weight=3]; 13.37/5.17 264[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range0 EQ EQ LT foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];264 -> 270[label="",style="solid", color="black", weight=3]; 13.37/5.17 265[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concat . map (range0 GT LT)))",fontsize=16,color="black",shape="box"];265 -> 271[label="",style="solid", color="black", weight=3]; 13.37/5.17 266[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concat . map (range0 GT EQ)))",fontsize=16,color="black",shape="box"];266 -> 272[label="",style="solid", color="black", weight=3]; 13.37/5.17 267[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range0 GT GT LT foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];267 -> 273[label="",style="solid", color="black", weight=3]; 13.37/5.17 268[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (LT >= LT && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];268 -> 274[label="",style="solid", color="black", weight=3]; 13.37/5.17 269[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (concat (map (range0 EQ LT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];269 -> 275[label="",style="solid", color="black", weight=3]; 13.37/5.17 270[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (EQ >= LT && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];270 -> 276[label="",style="solid", color="black", weight=3]; 13.37/5.17 271[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concat (map (range0 GT LT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];271 -> 277[label="",style="solid", color="black", weight=3]; 13.37/5.17 272[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (concat (map (range0 GT EQ) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];272 -> 278[label="",style="solid", color="black", weight=3]; 13.37/5.17 273[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (GT >= LT && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];273 -> 279[label="",style="solid", color="black", weight=3]; 13.37/5.17 274[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (compare LT LT /= LT && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];274 -> 280[label="",style="solid", color="black", weight=3]; 13.37/5.17 275[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (foldr (++) [] (map (range0 EQ LT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];275 -> 281[label="",style="solid", color="black", weight=3]; 13.37/5.17 276[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (compare EQ LT /= LT && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];276 -> 282[label="",style="solid", color="black", weight=3]; 13.37/5.17 277[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (map (range0 GT LT) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];277 -> 283[label="",style="solid", color="black", weight=3]; 13.37/5.17 278[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (map (range0 GT EQ) (LT : EQ : GT : []))))",fontsize=16,color="black",shape="box"];278 -> 284[label="",style="solid", color="black", weight=3]; 13.37/5.17 279[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (compare GT LT /= LT && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];279 -> 285[label="",style="solid", color="black", weight=3]; 13.37/5.17 280[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare LT LT == LT) && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];280 -> 286[label="",style="solid", color="black", weight=3]; 13.37/5.17 281[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (foldr (++) [] (range0 EQ LT LT : map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];281 -> 287[label="",style="solid", color="black", weight=3]; 13.37/5.17 282[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare EQ LT == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];282 -> 288[label="",style="solid", color="black", weight=3]; 13.37/5.17 283[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (range0 GT LT LT : map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];283 -> 289[label="",style="solid", color="black", weight=3]; 13.37/5.17 284[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (range0 GT EQ LT : map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];284 -> 290[label="",style="solid", color="black", weight=3]; 13.37/5.17 285[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare GT LT == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];285 -> 291[label="",style="solid", color="black", weight=3]; 13.37/5.17 286[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare3 LT LT == LT) && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];286 -> 292[label="",style="solid", color="black", weight=3]; 13.37/5.17 287[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range0 EQ LT LT foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];287 -> 293[label="",style="solid", color="black", weight=3]; 13.37/5.17 288[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare3 EQ LT == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];288 -> 294[label="",style="solid", color="black", weight=3]; 13.37/5.17 289[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range0 GT LT LT foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];289 -> 295[label="",style="solid", color="black", weight=3]; 13.37/5.17 290[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range0 GT EQ LT foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];290 -> 296[label="",style="solid", color="black", weight=3]; 13.37/5.17 291[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare3 GT LT == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];291 -> 297[label="",style="solid", color="black", weight=3]; 13.37/5.17 292[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare2 LT LT (LT == LT) == LT) && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];292 -> 298[label="",style="solid", color="black", weight=3]; 13.37/5.17 293[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (EQ >= LT && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];293 -> 299[label="",style="solid", color="black", weight=3]; 13.37/5.17 294[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 EQ LT (EQ == LT) == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];294 -> 300[label="",style="solid", color="black", weight=3]; 13.37/5.17 295[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (GT >= LT && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];295 -> 301[label="",style="solid", color="black", weight=3]; 13.37/5.17 296[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (GT >= LT && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];296 -> 302[label="",style="solid", color="black", weight=3]; 13.37/5.17 297[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 GT LT (GT == LT) == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];297 -> 303[label="",style="solid", color="black", weight=3]; 13.37/5.17 298[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare2 LT LT True == LT) && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];298 -> 304[label="",style="solid", color="black", weight=3]; 13.37/5.17 299[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (compare EQ LT /= LT && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];299 -> 305[label="",style="solid", color="black", weight=3]; 13.37/5.17 300[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 EQ LT False == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];300 -> 306[label="",style="solid", color="black", weight=3]; 13.37/5.17 301[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (compare GT LT /= LT && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];301 -> 307[label="",style="solid", color="black", weight=3]; 13.37/5.17 302[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (compare GT LT /= LT && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];302 -> 308[label="",style="solid", color="black", weight=3]; 13.37/5.17 303[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 GT LT False == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];303 -> 309[label="",style="solid", color="black", weight=3]; 13.37/5.17 304[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (EQ == LT) && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];304 -> 310[label="",style="solid", color="black", weight=3]; 13.37/5.17 305[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare EQ LT == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];305 -> 311[label="",style="solid", color="black", weight=3]; 13.37/5.17 306[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare1 EQ LT (EQ <= LT) == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];306 -> 312[label="",style="solid", color="black", weight=3]; 13.37/5.17 307[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare GT LT == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];307 -> 313[label="",style="solid", color="black", weight=3]; 13.37/5.17 308[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare GT LT == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];308 -> 314[label="",style="solid", color="black", weight=3]; 13.37/5.17 309[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 GT LT (GT <= LT) == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];309 -> 315[label="",style="solid", color="black", weight=3]; 13.37/5.17 310[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not False && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];310 -> 316[label="",style="solid", color="black", weight=3]; 13.37/5.17 311[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare3 EQ LT == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];311 -> 317[label="",style="solid", color="black", weight=3]; 13.37/5.17 312[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare1 EQ LT False == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];312 -> 318[label="",style="solid", color="black", weight=3]; 13.37/5.17 313[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare3 GT LT == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];313 -> 319[label="",style="solid", color="black", weight=3]; 13.37/5.17 314[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare3 GT LT == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];314 -> 320[label="",style="solid", color="black", weight=3]; 13.37/5.17 315[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 GT LT False == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];315 -> 321[label="",style="solid", color="black", weight=3]; 13.37/5.17 316[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (True && LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];316 -> 322[label="",style="solid", color="black", weight=3]; 13.37/5.17 317[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 EQ LT (EQ == LT) == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];317 -> 323[label="",style="solid", color="black", weight=3]; 13.37/5.17 318[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare0 EQ LT otherwise == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];318 -> 324[label="",style="solid", color="black", weight=3]; 13.37/5.17 319[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 GT LT (GT == LT) == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];319 -> 325[label="",style="solid", color="black", weight=3]; 13.37/5.17 320[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 GT LT (GT == LT) == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];320 -> 326[label="",style="solid", color="black", weight=3]; 13.37/5.17 321[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare0 GT LT otherwise == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];321 -> 327[label="",style="solid", color="black", weight=3]; 13.37/5.17 322[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (LT >= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];322 -> 328[label="",style="solid", color="black", weight=3]; 13.37/5.17 323[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 EQ LT False == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];323 -> 329[label="",style="solid", color="black", weight=3]; 13.37/5.17 324[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare0 EQ LT True == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];324 -> 330[label="",style="solid", color="black", weight=3]; 13.37/5.17 325[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 GT LT False == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];325 -> 331[label="",style="solid", color="black", weight=3]; 13.37/5.17 326[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 GT LT False == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];326 -> 332[label="",style="solid", color="black", weight=3]; 13.37/5.17 327[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare0 GT LT True == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];327 -> 333[label="",style="solid", color="black", weight=3]; 13.37/5.17 328[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (compare LT LT /= LT) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];328 -> 334[label="",style="solid", color="black", weight=3]; 13.37/5.17 329[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare1 EQ LT (EQ <= LT) == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];329 -> 335[label="",style="solid", color="black", weight=3]; 13.37/5.17 330[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (GT == LT) && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];330 -> 336[label="",style="solid", color="black", weight=3]; 13.37/5.17 331[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 GT LT (GT <= LT) == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];331 -> 337[label="",style="solid", color="black", weight=3]; 13.37/5.17 332[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 GT LT (GT <= LT) == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];332 -> 338[label="",style="solid", color="black", weight=3]; 13.37/5.17 333[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (GT == LT) && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];333 -> 339[label="",style="solid", color="black", weight=3]; 13.37/5.17 334[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare LT LT == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];334 -> 340[label="",style="solid", color="black", weight=3]; 13.37/5.17 335[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare1 EQ LT False == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];335 -> 341[label="",style="solid", color="black", weight=3]; 13.37/5.17 336[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not False && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];336 -> 342[label="",style="solid", color="black", weight=3]; 13.37/5.17 337[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 GT LT False == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];337 -> 343[label="",style="solid", color="black", weight=3]; 13.37/5.17 338[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 GT LT False == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];338 -> 344[label="",style="solid", color="black", weight=3]; 13.37/5.17 339[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not False && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];339 -> 345[label="",style="solid", color="black", weight=3]; 13.37/5.17 340[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare3 LT LT == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];340 -> 346[label="",style="solid", color="black", weight=3]; 13.37/5.17 341[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare0 EQ LT otherwise == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];341 -> 347[label="",style="solid", color="black", weight=3]; 13.37/5.17 342[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (True && LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];342 -> 348[label="",style="solid", color="black", weight=3]; 13.37/5.17 343[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare0 GT LT otherwise == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];343 -> 349[label="",style="solid", color="black", weight=3]; 13.37/5.17 344[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare0 GT LT otherwise == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];344 -> 350[label="",style="solid", color="black", weight=3]; 13.37/5.17 345[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (True && LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];345 -> 351[label="",style="solid", color="black", weight=3]; 13.37/5.17 346[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];346 -> 352[label="",style="solid", color="black", weight=3]; 13.37/5.17 347[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare0 EQ LT True == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];347 -> 353[label="",style="solid", color="black", weight=3]; 13.37/5.17 348[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (LT >= EQ) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];348 -> 354[label="",style="solid", color="black", weight=3]; 13.37/5.17 349[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare0 GT LT True == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];349 -> 355[label="",style="solid", color="black", weight=3]; 13.37/5.17 350[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare0 GT LT True == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];350 -> 356[label="",style="solid", color="black", weight=3]; 13.37/5.17 351[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (LT >= GT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];351 -> 357[label="",style="solid", color="black", weight=3]; 13.37/5.17 352[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];352 -> 358[label="",style="solid", color="black", weight=3]; 13.37/5.17 353[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (GT == LT) && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];353 -> 359[label="",style="solid", color="black", weight=3]; 13.37/5.17 354[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (compare LT EQ /= LT) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];354 -> 360[label="",style="solid", color="black", weight=3]; 13.37/5.17 355[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (GT == LT) && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];355 -> 361[label="",style="solid", color="black", weight=3]; 13.37/5.17 356[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (GT == LT) && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];356 -> 362[label="",style="solid", color="black", weight=3]; 13.37/5.17 357[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (compare LT GT /= LT) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];357 -> 363[label="",style="solid", color="black", weight=3]; 13.37/5.17 358[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];358 -> 364[label="",style="solid", color="black", weight=3]; 13.37/5.17 359[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not False && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];359 -> 365[label="",style="solid", color="black", weight=3]; 13.37/5.17 360[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare LT EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];360 -> 366[label="",style="solid", color="black", weight=3]; 13.37/5.17 361[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not False && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];361 -> 367[label="",style="solid", color="black", weight=3]; 13.37/5.17 362[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not False && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];362 -> 368[label="",style="solid", color="black", weight=3]; 13.37/5.17 363[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare LT GT == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];363 -> 369[label="",style="solid", color="black", weight=3]; 13.37/5.17 364[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT (not False) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];364 -> 370[label="",style="solid", color="black", weight=3]; 13.37/5.17 365[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (True && LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];365 -> 371[label="",style="solid", color="black", weight=3]; 13.37/5.17 366[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare3 LT EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];366 -> 372[label="",style="solid", color="black", weight=3]; 13.37/5.17 367[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (True && LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];367 -> 373[label="",style="solid", color="black", weight=3]; 13.37/5.17 368[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (True && LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];368 -> 374[label="",style="solid", color="black", weight=3]; 13.37/5.17 369[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare3 LT GT == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];369 -> 375[label="",style="solid", color="black", weight=3]; 13.37/5.17 370[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) range00 LT True foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];370 -> 376[label="",style="solid", color="black", weight=3]; 13.37/5.17 371[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (LT >= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];371 -> 377[label="",style="solid", color="black", weight=3]; 13.37/5.17 372[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];372 -> 378[label="",style="solid", color="black", weight=3]; 13.37/5.17 373[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (LT >= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];373 -> 379[label="",style="solid", color="black", weight=3]; 13.37/5.17 374[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (LT >= EQ) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];374 -> 380[label="",style="solid", color="black", weight=3]; 13.37/5.17 375[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 LT GT (LT == GT) == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];375 -> 381[label="",style="solid", color="black", weight=3]; 13.37/5.17 376[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) ((++) (LT : []) foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];376 -> 382[label="",style="solid", color="black", weight=3]; 13.37/5.17 377[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (compare LT LT /= LT) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];377 -> 383[label="",style="solid", color="black", weight=3]; 13.37/5.17 378[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];378 -> 384[label="",style="solid", color="black", weight=3]; 13.37/5.17 379[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (compare LT LT /= LT) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];379 -> 385[label="",style="solid", color="black", weight=3]; 13.37/5.17 380[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (compare LT EQ /= LT) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];380 -> 386[label="",style="solid", color="black", weight=3]; 13.37/5.17 381[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 LT GT False == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];381 -> 387[label="",style="solid", color="black", weight=3]; 13.37/5.17 382[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 LT) (LT : [] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];382 -> 388[label="",style="solid", color="black", weight=3]; 13.37/5.17 383[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare LT LT == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];383 -> 389[label="",style="solid", color="black", weight=3]; 13.37/5.17 384[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];384 -> 390[label="",style="solid", color="black", weight=3]; 13.37/5.17 385[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare LT LT == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];385 -> 391[label="",style="solid", color="black", weight=3]; 13.37/5.17 386[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare LT EQ == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];386 -> 392[label="",style="solid", color="black", weight=3]; 13.37/5.17 387[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 LT GT (LT <= GT) == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];387 -> 393[label="",style="solid", color="black", weight=3]; 13.37/5.17 388[label="foldl' (+) (fromInt (Pos Zero)) (index0 LT LT : map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];388 -> 394[label="",style="solid", color="black", weight=3]; 13.37/5.17 389[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare3 LT LT == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];389 -> 395[label="",style="solid", color="black", weight=3]; 13.37/5.17 390[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];390 -> 396[label="",style="solid", color="black", weight=3]; 13.37/5.17 391[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare3 LT LT == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];391 -> 397[label="",style="solid", color="black", weight=3]; 13.37/5.17 392[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare3 LT EQ == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];392 -> 398[label="",style="solid", color="black", weight=3]; 13.37/5.17 393[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 LT GT True == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];393 -> 399[label="",style="solid", color="black", weight=3]; 13.37/5.17 394[label="(foldl' (+) $! (+) fromInt (Pos Zero) index0 LT LT)",fontsize=16,color="black",shape="box"];394 -> 400[label="",style="solid", color="black", weight=3]; 13.37/5.17 395[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];395 -> 401[label="",style="solid", color="black", weight=3]; 13.37/5.17 396[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];396 -> 402[label="",style="solid", color="black", weight=3]; 13.37/5.17 397[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 LT LT (LT == LT) == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];397 -> 403[label="",style="solid", color="black", weight=3]; 13.37/5.17 398[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 LT EQ (LT == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];398 -> 404[label="",style="solid", color="black", weight=3]; 13.37/5.17 399[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];399 -> 405[label="",style="solid", color="black", weight=3]; 13.37/5.17 400[label="((+) fromInt (Pos Zero) index0 LT LT `seq` foldl' (+) ((+) fromInt (Pos Zero) index0 LT LT))",fontsize=16,color="black",shape="box"];400 -> 406[label="",style="solid", color="black", weight=3]; 13.37/5.17 401[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];401 -> 407[label="",style="solid", color="black", weight=3]; 13.37/5.17 402[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not True) foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];402 -> 408[label="",style="solid", color="black", weight=3]; 13.37/5.17 403[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 LT LT True == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];403 -> 409[label="",style="solid", color="black", weight=3]; 13.37/5.17 404[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare2 LT EQ False == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];404 -> 410[label="",style="solid", color="black", weight=3]; 13.37/5.17 405[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not True) foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];405 -> 411[label="",style="solid", color="black", weight=3]; 13.37/5.17 406[label="enforceWHNF (WHNF ((+) fromInt (Pos Zero) index0 LT LT)) (foldl' (+) ((+) fromInt (Pos Zero) index0 LT LT)) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];406 -> 412[label="",style="solid", color="black", weight=3]; 13.37/5.17 407[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];407 -> 413[label="",style="solid", color="black", weight=3]; 13.37/5.17 408[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT False foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];408 -> 414[label="",style="solid", color="black", weight=3]; 13.37/5.17 409[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (EQ == LT)) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];409 -> 415[label="",style="solid", color="black", weight=3]; 13.37/5.17 410[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 LT EQ (LT <= EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];410 -> 416[label="",style="solid", color="black", weight=3]; 13.37/5.17 411[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT False foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];411 -> 417[label="",style="solid", color="black", weight=3]; 13.37/5.17 412[label="enforceWHNF (WHNF (primPlusInt (fromInt (Pos Zero)) (index0 LT LT))) (foldl' primPlusInt (primPlusInt (fromInt (Pos Zero)) (index0 LT LT))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];412 -> 418[label="",style="solid", color="black", weight=3]; 13.37/5.17 413[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT (not False) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];413 -> 419[label="",style="solid", color="black", weight=3]; 13.37/5.17 414[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) [] foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];414 -> 420[label="",style="solid", color="black", weight=3]; 13.37/5.17 415[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not False) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];415 -> 421[label="",style="solid", color="black", weight=3]; 13.37/5.17 416[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (compare1 LT EQ True == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];416 -> 422[label="",style="solid", color="black", weight=3]; 13.37/5.17 417[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) [] foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];417 -> 423[label="",style="solid", color="black", weight=3]; 13.37/5.17 418[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index0 LT LT))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index0 LT LT))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];418 -> 424[label="",style="solid", color="black", weight=3]; 13.37/5.17 419[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 LT True foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];419 -> 425[label="",style="solid", color="black", weight=3]; 13.37/5.17 420[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (foldr (++) [] (map (range0 EQ EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];420 -> 426[label="",style="solid", color="black", weight=3]; 13.37/5.17 421[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT True foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];421 -> 427[label="",style="solid", color="black", weight=3]; 13.37/5.17 422[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not (LT == LT)) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];422 -> 428[label="",style="solid", color="black", weight=3]; 13.37/5.17 423[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (map (range0 GT GT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];423 -> 429[label="",style="solid", color="black", weight=3]; 13.37/5.17 424[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 (LT > LT)))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 (LT > LT)))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];424 -> 430[label="",style="solid", color="black", weight=3]; 13.37/5.17 425[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) (LT : []) foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];425 -> 431[label="",style="solid", color="black", weight=3]; 13.37/5.17 426[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (foldr (++) [] (range0 EQ EQ EQ : map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];426 -> 432[label="",style="solid", color="black", weight=3]; 13.37/5.17 427[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) (LT : []) foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];427 -> 433[label="",style="solid", color="black", weight=3]; 13.37/5.17 428[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT (not True) foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];428 -> 434[label="",style="solid", color="black", weight=3]; 13.37/5.17 429[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (range0 GT GT EQ : map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];429 -> 435[label="",style="solid", color="black", weight=3]; 13.37/5.17 430[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 (compare LT LT == GT)))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 (compare LT LT == GT)))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];430 -> 436[label="",style="solid", color="black", weight=3]; 13.37/5.17 431[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) (LT : [] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];431 -> 437[label="",style="solid", color="black", weight=3]; 13.37/5.17 432[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range0 EQ EQ EQ foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];432 -> 438[label="",style="solid", color="black", weight=3]; 13.37/5.17 433[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (LT : [] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];433 -> 439[label="",style="solid", color="black", weight=3]; 13.37/5.17 434[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 LT False foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];434 -> 440[label="",style="solid", color="black", weight=3]; 13.37/5.17 435[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range0 GT GT EQ foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];435 -> 441[label="",style="solid", color="black", weight=3]; 13.37/5.17 436[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 (compare3 LT LT == GT)))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 (compare3 LT LT == GT)))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];436 -> 442[label="",style="solid", color="black", weight=3]; 13.37/5.17 437[label="foldl' (+) (fromInt (Pos Zero)) (index0 EQ LT : map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];437 -> 443[label="",style="solid", color="black", weight=3]; 13.37/5.17 438[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (EQ >= EQ && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];438 -> 444[label="",style="solid", color="black", weight=3]; 13.37/5.17 439[label="foldl' (+) (fromInt (Pos Zero)) (index0 GT LT : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];439 -> 445[label="",style="solid", color="black", weight=3]; 13.37/5.17 440[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) [] foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];440 -> 446[label="",style="solid", color="black", weight=3]; 13.37/5.17 441[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (GT >= EQ && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];441 -> 447[label="",style="solid", color="black", weight=3]; 13.37/5.17 442[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 (compare2 LT LT (LT == LT) == GT)))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 (compare2 LT LT (LT == LT) == GT)))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];442 -> 448[label="",style="solid", color="black", weight=3]; 13.37/5.17 443[label="(foldl' (+) $! (+) fromInt (Pos Zero) index0 EQ LT)",fontsize=16,color="black",shape="box"];443 -> 449[label="",style="solid", color="black", weight=3]; 13.37/5.17 444[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (compare EQ EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];444 -> 450[label="",style="solid", color="black", weight=3]; 13.37/5.17 445[label="(foldl' (+) $! (+) fromInt (Pos Zero) index0 GT LT)",fontsize=16,color="black",shape="box"];445 -> 451[label="",style="solid", color="black", weight=3]; 13.37/5.17 446[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (map (range0 GT EQ) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];446 -> 452[label="",style="solid", color="black", weight=3]; 13.37/5.17 447[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (compare GT EQ /= LT && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];447 -> 453[label="",style="solid", color="black", weight=3]; 13.37/5.17 448[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 (compare2 LT LT True == GT)))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 (compare2 LT LT True == GT)))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];448 -> 454[label="",style="solid", color="black", weight=3]; 13.37/5.17 449[label="((+) fromInt (Pos Zero) index0 EQ LT `seq` foldl' (+) ((+) fromInt (Pos Zero) index0 EQ LT))",fontsize=16,color="black",shape="box"];449 -> 455[label="",style="solid", color="black", weight=3]; 13.37/5.17 450[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (not (compare EQ EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];450 -> 456[label="",style="solid", color="black", weight=3]; 13.37/5.17 451[label="((+) fromInt (Pos Zero) index0 GT LT `seq` foldl' (+) ((+) fromInt (Pos Zero) index0 GT LT))",fontsize=16,color="black",shape="box"];451 -> 457[label="",style="solid", color="black", weight=3]; 13.37/5.17 452 -> 458[label="",style="dashed", color="red", weight=0]; 13.37/5.17 452[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (range0 GT EQ EQ : map (range0 GT EQ) (GT : []))))",fontsize=16,color="magenta"];452 -> 459[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 453[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare GT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];453 -> 460[label="",style="solid", color="black", weight=3]; 13.37/5.17 454[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 (EQ == GT)))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 (EQ == GT)))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];454 -> 461[label="",style="solid", color="black", weight=3]; 13.37/5.17 455[label="enforceWHNF (WHNF ((+) fromInt (Pos Zero) index0 EQ LT)) (foldl' (+) ((+) fromInt (Pos Zero) index0 EQ LT)) (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];455 -> 462[label="",style="solid", color="black", weight=3]; 13.37/5.17 456[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];456 -> 463[label="",style="solid", color="black", weight=3]; 13.37/5.17 457[label="enforceWHNF (WHNF ((+) fromInt (Pos Zero) index0 GT LT)) (foldl' (+) ((+) fromInt (Pos Zero) index0 GT LT)) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];457 -> 464[label="",style="solid", color="black", weight=3]; 13.37/5.17 459[label="(+)",fontsize=16,color="grey",shape="box"];459 -> 465[label="",style="dashed", color="grey", weight=3]; 13.37/5.17 458[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) (foldr (++) [] (range0 GT EQ EQ : map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="triangle"];458 -> 466[label="",style="solid", color="black", weight=3]; 13.37/5.17 460[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];460 -> 467[label="",style="solid", color="black", weight=3]; 13.37/5.17 461[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (index00 False))) (foldl' primPlusInt (primPlusInt (Pos Zero) (index00 False))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];461 -> 468[label="",style="solid", color="black", weight=3]; 13.37/5.17 462 -> 491[label="",style="dashed", color="red", weight=0]; 13.37/5.17 462[label="enforceWHNF (WHNF (primPlusInt (fromInt (Pos Zero)) (index0 EQ LT))) (foldl' primPlusInt (primPlusInt (fromInt (Pos Zero)) (index0 EQ LT))) (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="magenta"];462 -> 492[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 462 -> 493[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 463[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];463 -> 470[label="",style="solid", color="black", weight=3]; 13.37/5.17 464 -> 506[label="",style="dashed", color="red", weight=0]; 13.37/5.17 464[label="enforceWHNF (WHNF (primPlusInt (fromInt (Pos Zero)) (index0 GT LT))) (foldl' primPlusInt (primPlusInt (fromInt (Pos Zero)) (index0 GT LT))) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="magenta"];464 -> 507[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 464 -> 508[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 465[label="(+) vx7",fontsize=16,color="grey",shape="box"];465 -> 472[label="",style="dashed", color="grey", weight=3]; 13.37/5.17 466[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range0 GT EQ EQ foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];466 -> 473[label="",style="solid", color="black", weight=3]; 13.37/5.17 467[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];467 -> 474[label="",style="solid", color="black", weight=3]; 13.37/5.17 468[label="enforceWHNF (WHNF (primPlusInt (Pos Zero) (Pos Zero))) (foldl' primPlusInt (primPlusInt (Pos Zero) (Pos Zero))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];468 -> 475[label="",style="solid", color="black", weight=3]; 13.37/5.17 492 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 492[label="primPlusInt (fromInt (Pos Zero)) (index0 EQ LT)",fontsize=16,color="magenta"];492 -> 500[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 492 -> 501[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 493 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 493[label="primPlusInt (fromInt (Pos Zero)) (index0 EQ LT)",fontsize=16,color="magenta"];493 -> 502[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 493 -> 503[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 491[label="enforceWHNF (WHNF vx10) (foldl' primPlusInt vx9) (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="triangle"];491 -> 504[label="",style="solid", color="black", weight=3]; 13.37/5.17 470[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];470 -> 477[label="",style="solid", color="black", weight=3]; 13.37/5.17 507 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 507[label="primPlusInt (fromInt (Pos Zero)) (index0 GT LT)",fontsize=16,color="magenta"];507 -> 515[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 507 -> 516[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 508 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 508[label="primPlusInt (fromInt (Pos Zero)) (index0 GT LT)",fontsize=16,color="magenta"];508 -> 517[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 508 -> 518[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 506[label="enforceWHNF (WHNF vx12) (foldl' primPlusInt vx11) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="triangle"];506 -> 519[label="",style="solid", color="black", weight=3]; 13.37/5.17 472[label="(+) vx7 vx8",fontsize=16,color="black",shape="triangle"];472 -> 479[label="",style="solid", color="black", weight=3]; 13.37/5.17 473[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (GT >= EQ && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];473 -> 480[label="",style="solid", color="black", weight=3]; 13.37/5.17 474[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];474 -> 481[label="",style="solid", color="black", weight=3]; 13.37/5.17 475[label="enforceWHNF (WHNF (Pos (primPlusNat Zero Zero))) (foldl' primPlusInt (Pos (primPlusNat Zero Zero))) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];475 -> 482[label="",style="solid", color="black", weight=3]; 13.37/5.17 500[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="triangle"];500 -> 520[label="",style="solid", color="black", weight=3]; 13.37/5.17 501[label="index0 EQ LT",fontsize=16,color="black",shape="triangle"];501 -> 521[label="",style="solid", color="black", weight=3]; 13.37/5.17 479[label="primPlusInt vx7 vx8",fontsize=16,color="burlywood",shape="triangle"];1067[label="vx7/Pos vx70",fontsize=10,color="white",style="solid",shape="box"];479 -> 1067[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1067 -> 486[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1068[label="vx7/Neg vx70",fontsize=10,color="white",style="solid",shape="box"];479 -> 1068[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1068 -> 487[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 502 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 502[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];503 -> 501[label="",style="dashed", color="red", weight=0]; 13.37/5.17 503[label="index0 EQ LT",fontsize=16,color="magenta"];504[label="foldl' primPlusInt vx9 (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];504 -> 522[label="",style="solid", color="black", weight=3]; 13.37/5.17 477[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (not (EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];477 -> 484[label="",style="solid", color="black", weight=3]; 13.37/5.17 515 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 515[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];516[label="index0 GT LT",fontsize=16,color="black",shape="triangle"];516 -> 530[label="",style="solid", color="black", weight=3]; 13.37/5.17 517 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 517[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];518 -> 516[label="",style="dashed", color="red", weight=0]; 13.37/5.17 518[label="index0 GT LT",fontsize=16,color="magenta"];519[label="foldl' primPlusInt vx11 (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];519 -> 531[label="",style="solid", color="black", weight=3]; 13.37/5.17 480[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (compare GT EQ /= LT && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];480 -> 488[label="",style="solid", color="black", weight=3]; 13.37/5.17 481[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];481 -> 489[label="",style="solid", color="black", weight=3]; 13.37/5.17 482[label="foldl' primPlusInt (Pos (primPlusNat Zero Zero)) (map (index0 LT) ([] ++ foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];482 -> 490[label="",style="solid", color="black", weight=3]; 13.37/5.17 520[label="Pos Zero",fontsize=16,color="green",shape="box"];521[label="index00 (EQ > LT)",fontsize=16,color="black",shape="box"];521 -> 532[label="",style="solid", color="black", weight=3]; 13.37/5.17 486[label="primPlusInt (Pos vx70) vx8",fontsize=16,color="burlywood",shape="box"];1069[label="vx8/Pos vx80",fontsize=10,color="white",style="solid",shape="box"];486 -> 1069[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1069 -> 523[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1070[label="vx8/Neg vx80",fontsize=10,color="white",style="solid",shape="box"];486 -> 1070[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1070 -> 524[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 487[label="primPlusInt (Neg vx70) vx8",fontsize=16,color="burlywood",shape="box"];1071[label="vx8/Pos vx80",fontsize=10,color="white",style="solid",shape="box"];487 -> 1071[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1071 -> 525[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1072[label="vx8/Neg vx80",fontsize=10,color="white",style="solid",shape="box"];487 -> 1072[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1072 -> 526[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 522[label="foldl' primPlusInt vx9 (map (index0 EQ) (foldr (++) [] (map (range0 EQ LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];522 -> 533[label="",style="solid", color="black", weight=3]; 13.37/5.17 484[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (not False && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];484 -> 505[label="",style="solid", color="black", weight=3]; 13.37/5.17 530[label="index00 (GT > LT)",fontsize=16,color="black",shape="box"];530 -> 541[label="",style="solid", color="black", weight=3]; 13.37/5.17 531[label="foldl' primPlusInt vx11 (map (index0 GT) (foldr (++) [] (map (range0 GT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];531 -> 542[label="",style="solid", color="black", weight=3]; 13.37/5.17 488[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare GT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];488 -> 527[label="",style="solid", color="black", weight=3]; 13.37/5.17 489 -> 528[label="",style="dashed", color="red", weight=0]; 13.37/5.17 489[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="magenta"];489 -> 529[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 490[label="foldl' primPlusInt (Pos (primPlusNat Zero Zero)) (map (index0 LT) (foldr (++) [] (map (range0 LT LT) (EQ : GT : []))))",fontsize=16,color="black",shape="box"];490 -> 534[label="",style="solid", color="black", weight=3]; 13.37/5.17 532[label="index00 (compare EQ LT == GT)",fontsize=16,color="black",shape="box"];532 -> 543[label="",style="solid", color="black", weight=3]; 13.37/5.17 523[label="primPlusInt (Pos vx70) (Pos vx80)",fontsize=16,color="black",shape="box"];523 -> 535[label="",style="solid", color="black", weight=3]; 13.37/5.17 524[label="primPlusInt (Pos vx70) (Neg vx80)",fontsize=16,color="black",shape="box"];524 -> 536[label="",style="solid", color="black", weight=3]; 13.37/5.17 525[label="primPlusInt (Neg vx70) (Pos vx80)",fontsize=16,color="black",shape="box"];525 -> 537[label="",style="solid", color="black", weight=3]; 13.37/5.17 526[label="primPlusInt (Neg vx70) (Neg vx80)",fontsize=16,color="black",shape="box"];526 -> 538[label="",style="solid", color="black", weight=3]; 13.37/5.17 533[label="foldl' primPlusInt vx9 (map (index0 EQ) (foldr (++) [] (range0 EQ LT EQ : map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];533 -> 544[label="",style="solid", color="black", weight=3]; 13.37/5.17 505 -> 539[label="",style="dashed", color="red", weight=0]; 13.37/5.17 505[label="foldl' (+) (fromInt (Pos Zero)) (map (index0 EQ) ((++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="magenta"];505 -> 540[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 541[label="index00 (compare GT LT == GT)",fontsize=16,color="black",shape="box"];541 -> 555[label="",style="solid", color="black", weight=3]; 13.37/5.17 542[label="foldl' primPlusInt vx11 (map (index0 GT) (foldr (++) [] (range0 GT LT EQ : map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];542 -> 556[label="",style="solid", color="black", weight=3]; 13.37/5.17 527[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];527 -> 545[label="",style="solid", color="black", weight=3]; 13.37/5.17 529 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 529[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];528[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="triangle"];528 -> 546[label="",style="solid", color="black", weight=3]; 13.37/5.17 534[label="foldl' primPlusInt (Pos (primPlusNat Zero Zero)) (map (index0 LT) (foldr (++) [] (range0 LT LT EQ : map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];534 -> 547[label="",style="solid", color="black", weight=3]; 13.37/5.17 543[label="index00 (compare3 EQ LT == GT)",fontsize=16,color="black",shape="box"];543 -> 557[label="",style="solid", color="black", weight=3]; 13.37/5.17 535[label="Pos (primPlusNat vx70 vx80)",fontsize=16,color="green",shape="box"];535 -> 548[label="",style="dashed", color="green", weight=3]; 13.37/5.17 536[label="primMinusNat vx70 vx80",fontsize=16,color="burlywood",shape="triangle"];1073[label="vx70/Succ vx700",fontsize=10,color="white",style="solid",shape="box"];536 -> 1073[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1073 -> 549[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1074[label="vx70/Zero",fontsize=10,color="white",style="solid",shape="box"];536 -> 1074[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1074 -> 550[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 537 -> 536[label="",style="dashed", color="red", weight=0]; 13.37/5.17 537[label="primMinusNat vx80 vx70",fontsize=16,color="magenta"];537 -> 551[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 537 -> 552[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 538[label="Neg (primPlusNat vx70 vx80)",fontsize=16,color="green",shape="box"];538 -> 553[label="",style="dashed", color="green", weight=3]; 13.37/5.17 544[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range0 EQ LT EQ foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];544 -> 558[label="",style="solid", color="black", weight=3]; 13.37/5.17 540 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 540[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];539[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="triangle"];539 -> 554[label="",style="solid", color="black", weight=3]; 13.37/5.17 555[label="index00 (compare3 GT LT == GT)",fontsize=16,color="black",shape="box"];555 -> 571[label="",style="solid", color="black", weight=3]; 13.37/5.17 556[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range0 GT LT EQ foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];556 -> 572[label="",style="solid", color="black", weight=3]; 13.37/5.17 545[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];545 -> 559[label="",style="solid", color="black", weight=3]; 13.37/5.17 546[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];546 -> 560[label="",style="solid", color="black", weight=3]; 13.37/5.17 547[label="foldl' primPlusInt (Pos (primPlusNat Zero Zero)) (map (index0 LT) ((++) range0 LT LT EQ foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];547 -> 561[label="",style="solid", color="black", weight=3]; 13.37/5.17 557[label="index00 (compare2 EQ LT (EQ == LT) == GT)",fontsize=16,color="black",shape="box"];557 -> 573[label="",style="solid", color="black", weight=3]; 13.37/5.17 548[label="primPlusNat vx70 vx80",fontsize=16,color="burlywood",shape="triangle"];1075[label="vx70/Succ vx700",fontsize=10,color="white",style="solid",shape="box"];548 -> 1075[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1075 -> 562[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1076[label="vx70/Zero",fontsize=10,color="white",style="solid",shape="box"];548 -> 1076[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1076 -> 563[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 549[label="primMinusNat (Succ vx700) vx80",fontsize=16,color="burlywood",shape="box"];1077[label="vx80/Succ vx800",fontsize=10,color="white",style="solid",shape="box"];549 -> 1077[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1077 -> 564[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1078[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];549 -> 1078[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1078 -> 565[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 550[label="primMinusNat Zero vx80",fontsize=16,color="burlywood",shape="box"];1079[label="vx80/Succ vx800",fontsize=10,color="white",style="solid",shape="box"];550 -> 1079[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1079 -> 566[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1080[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];550 -> 1080[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1080 -> 567[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 551[label="vx70",fontsize=16,color="green",shape="box"];552[label="vx80",fontsize=16,color="green",shape="box"];553 -> 548[label="",style="dashed", color="red", weight=0]; 13.37/5.17 553[label="primPlusNat vx70 vx80",fontsize=16,color="magenta"];553 -> 568[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 553 -> 569[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 558[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (EQ >= EQ && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];558 -> 574[label="",style="solid", color="black", weight=3]; 13.37/5.17 554[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (EQ >= EQ) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];554 -> 570[label="",style="solid", color="black", weight=3]; 13.37/5.17 571[label="index00 (compare2 GT LT (GT == LT) == GT)",fontsize=16,color="black",shape="box"];571 -> 579[label="",style="solid", color="black", weight=3]; 13.37/5.17 572[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (GT >= EQ && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];572 -> 580[label="",style="solid", color="black", weight=3]; 13.37/5.17 559[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];559 -> 575[label="",style="solid", color="black", weight=3]; 13.37/5.17 560[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];560 -> 576[label="",style="solid", color="black", weight=3]; 13.37/5.17 561 -> 577[label="",style="dashed", color="red", weight=0]; 13.37/5.17 561[label="foldl' primPlusInt (Pos (primPlusNat Zero Zero)) (map (index0 LT) ((++) range00 EQ (LT >= EQ && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="magenta"];561 -> 578[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 573[label="index00 (compare2 EQ LT False == GT)",fontsize=16,color="black",shape="box"];573 -> 581[label="",style="solid", color="black", weight=3]; 13.37/5.17 562[label="primPlusNat (Succ vx700) vx80",fontsize=16,color="burlywood",shape="box"];1081[label="vx80/Succ vx800",fontsize=10,color="white",style="solid",shape="box"];562 -> 1081[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1081 -> 582[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1082[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];562 -> 1082[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1082 -> 583[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 563[label="primPlusNat Zero vx80",fontsize=16,color="burlywood",shape="box"];1083[label="vx80/Succ vx800",fontsize=10,color="white",style="solid",shape="box"];563 -> 1083[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1083 -> 584[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 1084[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];563 -> 1084[label="",style="solid", color="burlywood", weight=9]; 13.37/5.17 1084 -> 585[label="",style="solid", color="burlywood", weight=3]; 13.37/5.17 564[label="primMinusNat (Succ vx700) (Succ vx800)",fontsize=16,color="black",shape="box"];564 -> 586[label="",style="solid", color="black", weight=3]; 13.37/5.17 565[label="primMinusNat (Succ vx700) Zero",fontsize=16,color="black",shape="box"];565 -> 587[label="",style="solid", color="black", weight=3]; 13.37/5.17 566[label="primMinusNat Zero (Succ vx800)",fontsize=16,color="black",shape="box"];566 -> 588[label="",style="solid", color="black", weight=3]; 13.37/5.17 567[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];567 -> 589[label="",style="solid", color="black", weight=3]; 13.37/5.17 568[label="vx80",fontsize=16,color="green",shape="box"];569[label="vx70",fontsize=16,color="green",shape="box"];574[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (compare EQ EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];574 -> 590[label="",style="solid", color="black", weight=3]; 13.37/5.17 570[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (compare EQ EQ /= LT) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];570 -> 591[label="",style="solid", color="black", weight=3]; 13.37/5.17 579[label="index00 (compare2 GT LT False == GT)",fontsize=16,color="black",shape="box"];579 -> 597[label="",style="solid", color="black", weight=3]; 13.37/5.17 580[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (compare GT EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];580 -> 598[label="",style="solid", color="black", weight=3]; 13.37/5.17 575[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];575 -> 592[label="",style="solid", color="black", weight=3]; 13.37/5.17 576[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (GT == LT) && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];576 -> 593[label="",style="solid", color="black", weight=3]; 13.37/5.17 578 -> 548[label="",style="dashed", color="red", weight=0]; 13.37/5.17 578[label="primPlusNat Zero Zero",fontsize=16,color="magenta"];578 -> 594[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 578 -> 595[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 577[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (LT >= EQ && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="triangle"];577 -> 596[label="",style="solid", color="black", weight=3]; 13.37/5.17 581[label="index00 (compare1 EQ LT (EQ <= LT) == GT)",fontsize=16,color="black",shape="box"];581 -> 599[label="",style="solid", color="black", weight=3]; 13.37/5.17 582[label="primPlusNat (Succ vx700) (Succ vx800)",fontsize=16,color="black",shape="box"];582 -> 600[label="",style="solid", color="black", weight=3]; 13.37/5.17 583[label="primPlusNat (Succ vx700) Zero",fontsize=16,color="black",shape="box"];583 -> 601[label="",style="solid", color="black", weight=3]; 13.37/5.17 584[label="primPlusNat Zero (Succ vx800)",fontsize=16,color="black",shape="box"];584 -> 602[label="",style="solid", color="black", weight=3]; 13.37/5.17 585[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];585 -> 603[label="",style="solid", color="black", weight=3]; 13.37/5.17 586 -> 536[label="",style="dashed", color="red", weight=0]; 13.37/5.17 586[label="primMinusNat vx700 vx800",fontsize=16,color="magenta"];586 -> 604[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 586 -> 605[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 587[label="Pos (Succ vx700)",fontsize=16,color="green",shape="box"];588[label="Neg (Succ vx800)",fontsize=16,color="green",shape="box"];589[label="Pos Zero",fontsize=16,color="green",shape="box"];590[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare EQ EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];590 -> 606[label="",style="solid", color="black", weight=3]; 13.37/5.17 591[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (not (compare EQ EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];591 -> 607[label="",style="solid", color="black", weight=3]; 13.37/5.17 597[label="index00 (compare1 GT LT (GT <= LT) == GT)",fontsize=16,color="black",shape="box"];597 -> 611[label="",style="solid", color="black", weight=3]; 13.37/5.17 598[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare GT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];598 -> 612[label="",style="solid", color="black", weight=3]; 13.37/5.17 592[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];592 -> 608[label="",style="solid", color="black", weight=3]; 13.37/5.17 593[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not False && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];593 -> 609[label="",style="solid", color="black", weight=3]; 13.37/5.17 594[label="Zero",fontsize=16,color="green",shape="box"];595[label="Zero",fontsize=16,color="green",shape="box"];596[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (compare LT EQ /= LT && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];596 -> 610[label="",style="solid", color="black", weight=3]; 13.37/5.17 599[label="index00 (compare1 EQ LT False == GT)",fontsize=16,color="black",shape="box"];599 -> 613[label="",style="solid", color="black", weight=3]; 13.37/5.17 600[label="Succ (Succ (primPlusNat vx700 vx800))",fontsize=16,color="green",shape="box"];600 -> 614[label="",style="dashed", color="green", weight=3]; 13.37/5.17 601[label="Succ vx700",fontsize=16,color="green",shape="box"];602[label="Succ vx800",fontsize=16,color="green",shape="box"];603[label="Zero",fontsize=16,color="green",shape="box"];604[label="vx800",fontsize=16,color="green",shape="box"];605[label="vx700",fontsize=16,color="green",shape="box"];606[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare3 EQ EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];606 -> 615[label="",style="solid", color="black", weight=3]; 13.37/5.17 607[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (not (compare3 EQ EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];607 -> 616[label="",style="solid", color="black", weight=3]; 13.37/5.17 611[label="index00 (compare1 GT LT False == GT)",fontsize=16,color="black",shape="box"];611 -> 620[label="",style="solid", color="black", weight=3]; 13.37/5.17 612[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare3 GT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];612 -> 621[label="",style="solid", color="black", weight=3]; 13.37/5.17 608[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];608 -> 617[label="",style="solid", color="black", weight=3]; 13.37/5.17 609[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (True && EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];609 -> 618[label="",style="solid", color="black", weight=3]; 13.37/5.17 610[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (compare LT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];610 -> 619[label="",style="solid", color="black", weight=3]; 13.37/5.17 613[label="index00 (compare0 EQ LT otherwise == GT)",fontsize=16,color="black",shape="box"];613 -> 622[label="",style="solid", color="black", weight=3]; 13.37/5.17 614 -> 548[label="",style="dashed", color="red", weight=0]; 13.37/5.17 614[label="primPlusNat vx700 vx800",fontsize=16,color="magenta"];614 -> 623[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 614 -> 624[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 615[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];615 -> 625[label="",style="solid", color="black", weight=3]; 13.37/5.17 616[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];616 -> 626[label="",style="solid", color="black", weight=3]; 13.37/5.17 620[label="index00 (compare0 GT LT otherwise == GT)",fontsize=16,color="black",shape="box"];620 -> 630[label="",style="solid", color="black", weight=3]; 13.37/5.17 621[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare2 GT EQ (GT == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];621 -> 631[label="",style="solid", color="black", weight=3]; 13.37/5.17 617[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];617 -> 627[label="",style="solid", color="black", weight=3]; 13.37/5.17 618[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (EQ >= GT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];618 -> 628[label="",style="solid", color="black", weight=3]; 13.37/5.17 619[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (compare3 LT EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];619 -> 629[label="",style="solid", color="black", weight=3]; 13.37/5.17 622[label="index00 (compare0 EQ LT True == GT)",fontsize=16,color="black",shape="box"];622 -> 632[label="",style="solid", color="black", weight=3]; 13.37/5.17 623[label="vx800",fontsize=16,color="green",shape="box"];624[label="vx700",fontsize=16,color="green",shape="box"];625[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];625 -> 633[label="",style="solid", color="black", weight=3]; 13.37/5.17 626[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ EQ True == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];626 -> 634[label="",style="solid", color="black", weight=3]; 13.37/5.17 630[label="index00 (compare0 GT LT True == GT)",fontsize=16,color="black",shape="box"];630 -> 638[label="",style="solid", color="black", weight=3]; 13.37/5.17 631[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare2 GT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];631 -> 639[label="",style="solid", color="black", weight=3]; 13.37/5.17 627[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (GT == LT) && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];627 -> 635[label="",style="solid", color="black", weight=3]; 13.37/5.17 628[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (compare EQ GT /= LT) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];628 -> 636[label="",style="solid", color="black", weight=3]; 13.37/5.17 629[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (compare2 LT EQ (LT == EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];629 -> 637[label="",style="solid", color="black", weight=3]; 13.37/5.17 632[label="index00 (GT == GT)",fontsize=16,color="black",shape="triangle"];632 -> 640[label="",style="solid", color="black", weight=3]; 13.37/5.17 633[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (EQ == LT) && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];633 -> 641[label="",style="solid", color="black", weight=3]; 13.37/5.17 634[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (not (EQ == LT)) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];634 -> 642[label="",style="solid", color="black", weight=3]; 13.37/5.17 638 -> 632[label="",style="dashed", color="red", weight=0]; 13.37/5.17 638[label="index00 (GT == GT)",fontsize=16,color="magenta"];639[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ (GT <= EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];639 -> 646[label="",style="solid", color="black", weight=3]; 13.37/5.17 635[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not False && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];635 -> 643[label="",style="solid", color="black", weight=3]; 13.37/5.17 636[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare EQ GT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];636 -> 644[label="",style="solid", color="black", weight=3]; 13.37/5.17 637[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (compare2 LT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];637 -> 645[label="",style="solid", color="black", weight=3]; 13.37/5.17 640[label="index00 True",fontsize=16,color="black",shape="box"];640 -> 647[label="",style="solid", color="black", weight=3]; 13.37/5.17 641[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not False && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];641 -> 648[label="",style="solid", color="black", weight=3]; 13.37/5.17 642[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ (not False) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];642 -> 649[label="",style="solid", color="black", weight=3]; 13.37/5.17 646[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare1 GT EQ False == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];646 -> 653[label="",style="solid", color="black", weight=3]; 13.37/5.17 643[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (True && EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];643 -> 650[label="",style="solid", color="black", weight=3]; 13.37/5.17 644[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare3 EQ GT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];644 -> 651[label="",style="solid", color="black", weight=3]; 13.37/5.17 645[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (compare1 LT EQ (LT <= EQ) == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];645 -> 652[label="",style="solid", color="black", weight=3]; 13.37/5.17 647[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];648[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (True && EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];648 -> 654[label="",style="solid", color="black", weight=3]; 13.37/5.17 649[label="foldl' (+) vx14 (map (index0 EQ) ((++) range00 EQ True foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];649 -> 655[label="",style="solid", color="black", weight=3]; 13.37/5.17 653[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare0 GT EQ otherwise == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];653 -> 659[label="",style="solid", color="black", weight=3]; 13.37/5.17 650[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (EQ >= EQ) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];650 -> 656[label="",style="solid", color="black", weight=3]; 13.37/5.17 651[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare2 EQ GT (EQ == GT) == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];651 -> 657[label="",style="solid", color="black", weight=3]; 13.37/5.17 652[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (compare1 LT EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];652 -> 658[label="",style="solid", color="black", weight=3]; 13.37/5.17 654[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (EQ >= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];654 -> 660[label="",style="solid", color="black", weight=3]; 13.37/5.17 655[label="foldl' (+) vx14 (map (index0 EQ) ((++) (EQ : []) foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];655 -> 661[label="",style="solid", color="black", weight=3]; 13.37/5.17 659[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare0 GT EQ True == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];659 -> 665[label="",style="solid", color="black", weight=3]; 13.37/5.17 656[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (compare EQ EQ /= LT) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];656 -> 662[label="",style="solid", color="black", weight=3]; 13.37/5.17 657[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare2 EQ GT False == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];657 -> 663[label="",style="solid", color="black", weight=3]; 13.37/5.17 658[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not (LT == LT) && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];658 -> 664[label="",style="solid", color="black", weight=3]; 13.37/5.17 660[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (compare EQ LT /= LT) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];660 -> 666[label="",style="solid", color="black", weight=3]; 13.37/5.17 661[label="foldl' (+) vx14 (map (index0 EQ) (EQ : [] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];661 -> 667[label="",style="solid", color="black", weight=3]; 13.37/5.17 665[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (GT == LT) && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];665 -> 671[label="",style="solid", color="black", weight=3]; 13.37/5.17 662[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare EQ EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];662 -> 668[label="",style="solid", color="black", weight=3]; 13.37/5.17 663[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare1 EQ GT (EQ <= GT) == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];663 -> 669[label="",style="solid", color="black", weight=3]; 13.37/5.17 664[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (not True && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];664 -> 670[label="",style="solid", color="black", weight=3]; 13.37/5.17 666[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare EQ LT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];666 -> 672[label="",style="solid", color="black", weight=3]; 13.37/5.17 667[label="foldl' (+) vx14 (index0 EQ EQ : map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];667 -> 673[label="",style="solid", color="black", weight=3]; 13.37/5.17 671[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not False && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];671 -> 677[label="",style="solid", color="black", weight=3]; 13.37/5.17 668[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare3 EQ EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];668 -> 674[label="",style="solid", color="black", weight=3]; 13.37/5.17 669[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (compare1 EQ GT True == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];669 -> 675[label="",style="solid", color="black", weight=3]; 13.37/5.17 670[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ (False && EQ >= LT) foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];670 -> 676[label="",style="solid", color="black", weight=3]; 13.37/5.17 672[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare3 EQ LT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];672 -> 678[label="",style="solid", color="black", weight=3]; 13.37/5.17 673 -> 679[label="",style="dashed", color="red", weight=0]; 13.37/5.17 673[label="(foldl' (+) $! (+) vx14 index0 EQ EQ)",fontsize=16,color="magenta"];673 -> 680[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 677[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (True && EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];677 -> 681[label="",style="solid", color="black", weight=3]; 13.37/5.17 674[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare2 EQ EQ (EQ == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];674 -> 682[label="",style="solid", color="black", weight=3]; 13.37/5.17 675[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not (LT == LT)) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];675 -> 683[label="",style="solid", color="black", weight=3]; 13.37/5.17 676[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 EQ False foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];676 -> 684[label="",style="solid", color="black", weight=3]; 13.37/5.17 678[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ LT (EQ == LT) == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];678 -> 685[label="",style="solid", color="black", weight=3]; 13.37/5.17 680 -> 472[label="",style="dashed", color="red", weight=0]; 13.37/5.17 680[label="(+) vx14 index0 EQ EQ",fontsize=16,color="magenta"];680 -> 686[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 680 -> 687[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 679[label="(foldl' (+) $! vx16)",fontsize=16,color="black",shape="triangle"];679 -> 688[label="",style="solid", color="black", weight=3]; 13.37/5.17 681[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (EQ >= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];681 -> 689[label="",style="solid", color="black", weight=3]; 13.37/5.17 682[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (compare2 EQ EQ True == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];682 -> 690[label="",style="solid", color="black", weight=3]; 13.37/5.17 683[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ (not True) foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];683 -> 691[label="",style="solid", color="black", weight=3]; 13.37/5.17 684[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) [] foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];684 -> 692[label="",style="solid", color="black", weight=3]; 13.37/5.17 685[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare2 EQ LT False == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];685 -> 693[label="",style="solid", color="black", weight=3]; 13.37/5.17 686[label="vx14",fontsize=16,color="green",shape="box"];687[label="index0 EQ EQ",fontsize=16,color="black",shape="triangle"];687 -> 694[label="",style="solid", color="black", weight=3]; 13.37/5.17 688[label="(vx16 `seq` foldl' (+) vx16)",fontsize=16,color="black",shape="box"];688 -> 695[label="",style="solid", color="black", weight=3]; 13.37/5.17 689[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (compare EQ LT /= LT) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];689 -> 696[label="",style="solid", color="black", weight=3]; 13.37/5.17 690[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not (EQ == LT)) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];690 -> 697[label="",style="solid", color="black", weight=3]; 13.37/5.17 691[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 EQ False foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];691 -> 698[label="",style="solid", color="black", weight=3]; 13.37/5.17 692[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) (foldr (++) [] (map (range0 LT LT) (GT : []))))",fontsize=16,color="black",shape="box"];692 -> 699[label="",style="solid", color="black", weight=3]; 13.37/5.17 693[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare1 EQ LT (EQ <= LT) == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];693 -> 700[label="",style="solid", color="black", weight=3]; 13.37/5.17 694[label="index00 (EQ > EQ)",fontsize=16,color="black",shape="box"];694 -> 701[label="",style="solid", color="black", weight=3]; 13.37/5.17 695[label="enforceWHNF (WHNF vx16) (foldl' (+) vx16) (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];695 -> 702[label="",style="solid", color="black", weight=3]; 13.37/5.17 696[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare EQ LT == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];696 -> 703[label="",style="solid", color="black", weight=3]; 13.37/5.17 697[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ (not False) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];697 -> 704[label="",style="solid", color="black", weight=3]; 13.37/5.17 698[label="foldl' (+) vx13 (map (index0 GT) ((++) [] foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];698 -> 705[label="",style="solid", color="black", weight=3]; 13.37/5.17 699[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) (foldr (++) [] (range0 LT LT GT : map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];699 -> 706[label="",style="solid", color="black", weight=3]; 13.37/5.17 700[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare1 EQ LT False == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];700 -> 707[label="",style="solid", color="black", weight=3]; 13.37/5.17 701[label="index00 (compare EQ EQ == GT)",fontsize=16,color="black",shape="box"];701 -> 708[label="",style="solid", color="black", weight=3]; 13.37/5.17 702[label="foldl' (+) vx16 (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];702 -> 709[label="",style="solid", color="black", weight=3]; 13.37/5.17 703[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare3 EQ LT == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];703 -> 710[label="",style="solid", color="black", weight=3]; 13.37/5.17 704[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) range00 EQ True foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];704 -> 711[label="",style="solid", color="black", weight=3]; 13.37/5.17 705[label="foldl' (+) vx13 (map (index0 GT) (foldr (++) [] (map (range0 GT GT) (GT : []))))",fontsize=16,color="black",shape="box"];705 -> 712[label="",style="solid", color="black", weight=3]; 13.37/5.17 706[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range0 LT LT GT foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];706 -> 713[label="",style="solid", color="black", weight=3]; 13.37/5.17 707[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare0 EQ LT otherwise == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];707 -> 714[label="",style="solid", color="black", weight=3]; 13.37/5.17 708[label="index00 (compare3 EQ EQ == GT)",fontsize=16,color="black",shape="box"];708 -> 715[label="",style="solid", color="black", weight=3]; 13.37/5.17 709[label="foldl' (+) vx16 (map (index0 EQ) (foldr (++) [] (map (range0 EQ EQ) (GT : []))))",fontsize=16,color="black",shape="box"];709 -> 716[label="",style="solid", color="black", weight=3]; 13.37/5.17 710[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare2 EQ LT (EQ == LT) == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];710 -> 717[label="",style="solid", color="black", weight=3]; 13.37/5.17 711[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) ((++) (EQ : []) foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];711 -> 718[label="",style="solid", color="black", weight=3]; 13.37/5.17 712[label="foldl' (+) vx13 (map (index0 GT) (foldr (++) [] (range0 GT GT GT : map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];712 -> 719[label="",style="solid", color="black", weight=3]; 13.37/5.17 713[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (LT >= GT && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];713 -> 720[label="",style="solid", color="black", weight=3]; 13.37/5.17 714[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (compare0 EQ LT True == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];714 -> 721[label="",style="solid", color="black", weight=3]; 13.37/5.17 715[label="index00 (compare2 EQ EQ (EQ == EQ) == GT)",fontsize=16,color="black",shape="box"];715 -> 722[label="",style="solid", color="black", weight=3]; 13.37/5.17 716[label="foldl' (+) vx16 (map (index0 EQ) (foldr (++) [] (range0 EQ EQ GT : map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];716 -> 723[label="",style="solid", color="black", weight=3]; 13.37/5.17 717[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare2 EQ LT False == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];717 -> 724[label="",style="solid", color="black", weight=3]; 13.37/5.17 718[label="foldl' vx6 (fromInt (Pos Zero)) (map (index0 GT) (EQ : [] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];718 -> 725[label="",style="solid", color="black", weight=3]; 13.37/5.17 719[label="foldl' (+) vx13 (map (index0 GT) ((++) range0 GT GT GT foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];719 -> 726[label="",style="solid", color="black", weight=3]; 13.37/5.17 720[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (compare LT GT /= LT && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];720 -> 727[label="",style="solid", color="black", weight=3]; 13.37/5.17 721[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not (GT == LT)) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];721 -> 728[label="",style="solid", color="black", weight=3]; 13.37/5.17 722[label="index00 (compare2 EQ EQ True == GT)",fontsize=16,color="black",shape="box"];722 -> 729[label="",style="solid", color="black", weight=3]; 13.37/5.17 723[label="foldl' (+) vx16 (map (index0 EQ) ((++) range0 EQ EQ GT foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];723 -> 730[label="",style="solid", color="black", weight=3]; 13.37/5.17 724[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare1 EQ LT (EQ <= LT) == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];724 -> 731[label="",style="solid", color="black", weight=3]; 13.37/5.17 725[label="foldl' vx6 (fromInt (Pos Zero)) (index0 GT EQ : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];725 -> 732[label="",style="solid", color="black", weight=3]; 13.37/5.17 726[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (GT >= GT && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];726 -> 733[label="",style="solid", color="black", weight=3]; 13.37/5.17 727[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (compare LT GT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];727 -> 734[label="",style="solid", color="black", weight=3]; 13.37/5.17 728[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ (not False) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];728 -> 735[label="",style="solid", color="black", weight=3]; 13.37/5.17 729[label="index00 (EQ == GT)",fontsize=16,color="black",shape="triangle"];729 -> 736[label="",style="solid", color="black", weight=3]; 13.37/5.17 730[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (EQ >= GT && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];730 -> 737[label="",style="solid", color="black", weight=3]; 13.37/5.17 731[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare1 EQ LT False == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];731 -> 738[label="",style="solid", color="black", weight=3]; 13.37/5.17 732[label="(foldl' vx6 $! vx6 (fromInt (Pos Zero)) (index0 GT EQ))",fontsize=16,color="black",shape="box"];732 -> 739[label="",style="solid", color="black", weight=3]; 13.37/5.17 733[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (compare GT GT /= LT && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];733 -> 740[label="",style="solid", color="black", weight=3]; 13.37/5.17 734[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (compare3 LT GT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];734 -> 741[label="",style="solid", color="black", weight=3]; 13.37/5.17 735[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) range00 EQ True foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];735 -> 742[label="",style="solid", color="black", weight=3]; 13.37/5.17 736[label="index00 False",fontsize=16,color="black",shape="box"];736 -> 743[label="",style="solid", color="black", weight=3]; 13.37/5.17 737[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (compare EQ GT /= LT && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];737 -> 744[label="",style="solid", color="black", weight=3]; 13.37/5.17 738[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare0 EQ LT otherwise == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];738 -> 745[label="",style="solid", color="black", weight=3]; 13.37/5.17 739[label="(vx6 (fromInt (Pos Zero)) (index0 GT EQ) `seq` foldl' vx6 (vx6 (fromInt (Pos Zero)) (index0 GT EQ)))",fontsize=16,color="black",shape="box"];739 -> 746[label="",style="solid", color="black", weight=3]; 13.37/5.17 740[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare GT GT == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];740 -> 747[label="",style="solid", color="black", weight=3]; 13.37/5.17 741[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (compare2 LT GT (LT == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];741 -> 748[label="",style="solid", color="black", weight=3]; 13.37/5.17 742[label="foldl' primPlusInt vx9 (map (index0 EQ) ((++) (EQ : []) foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];742 -> 749[label="",style="solid", color="black", weight=3]; 13.37/5.17 743[label="Pos Zero",fontsize=16,color="green",shape="box"];744[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (compare EQ GT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];744 -> 750[label="",style="solid", color="black", weight=3]; 13.37/5.17 745[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (compare0 EQ LT True == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];745 -> 751[label="",style="solid", color="black", weight=3]; 13.37/5.17 746 -> 850[label="",style="dashed", color="red", weight=0]; 13.37/5.17 746[label="enforceWHNF (WHNF (vx6 (fromInt (Pos Zero)) (index0 GT EQ))) (foldl' vx6 (vx6 (fromInt (Pos Zero)) (index0 GT EQ))) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="magenta"];746 -> 851[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 746 -> 852[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 746 -> 853[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 746 -> 854[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 747[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare3 GT GT == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];747 -> 755[label="",style="solid", color="black", weight=3]; 13.37/5.17 748[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (compare2 LT GT False == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];748 -> 756[label="",style="solid", color="black", weight=3]; 13.37/5.17 749[label="foldl' primPlusInt vx9 (map (index0 EQ) (EQ : [] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];749 -> 757[label="",style="solid", color="black", weight=3]; 13.37/5.17 750[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (compare3 EQ GT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];750 -> 758[label="",style="solid", color="black", weight=3]; 13.37/5.17 751[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not (GT == LT)) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];751 -> 759[label="",style="solid", color="black", weight=3]; 13.37/5.17 851[label="fromInt (Pos Zero)",fontsize=16,color="blue",shape="box"];1085[label="fromInt :: Int -> Ratio a",fontsize=10,color="white",style="solid",shape="box"];851 -> 1085[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1085 -> 877[label="",style="solid", color="blue", weight=3]; 13.37/5.17 1086[label="fromInt :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];851 -> 1086[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1086 -> 878[label="",style="solid", color="blue", weight=3]; 13.37/5.17 1087[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];851 -> 1087[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1087 -> 879[label="",style="solid", color="blue", weight=3]; 13.37/5.17 1088[label="fromInt :: Int -> Float",fontsize=10,color="white",style="solid",shape="box"];851 -> 1088[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1088 -> 880[label="",style="solid", color="blue", weight=3]; 13.37/5.17 1089[label="fromInt :: Int -> Double",fontsize=10,color="white",style="solid",shape="box"];851 -> 1089[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1089 -> 881[label="",style="solid", color="blue", weight=3]; 13.37/5.17 852[label="vx6",fontsize=16,color="green",shape="box"];853 -> 827[label="",style="dashed", color="red", weight=0]; 13.37/5.17 853[label="index0 GT EQ",fontsize=16,color="magenta"];854 -> 827[label="",style="dashed", color="red", weight=0]; 13.37/5.17 854[label="index0 GT EQ",fontsize=16,color="magenta"];850[label="enforceWHNF (WHNF (vx20 vx21 vx26)) (foldl' vx20 (vx20 vx21 vx25)) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="triangle"];850 -> 882[label="",style="solid", color="black", weight=3]; 13.37/5.17 755[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];755 -> 766[label="",style="solid", color="black", weight=3]; 13.37/5.17 756[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (compare1 LT GT (LT <= GT) == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];756 -> 767[label="",style="solid", color="black", weight=3]; 13.37/5.17 757 -> 768[label="",style="dashed", color="red", weight=0]; 13.37/5.17 757[label="foldl' primPlusInt vx9 (index0 EQ EQ : map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="magenta"];757 -> 769[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 758[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];758 -> 770[label="",style="solid", color="black", weight=3]; 13.37/5.17 759[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ (not False) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];759 -> 771[label="",style="solid", color="black", weight=3]; 13.37/5.17 877[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];877 -> 889[label="",style="solid", color="black", weight=3]; 13.37/5.17 878[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="triangle"];878 -> 890[label="",style="solid", color="black", weight=3]; 13.37/5.17 879 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 879[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];880[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];880 -> 891[label="",style="solid", color="black", weight=3]; 13.37/5.17 881[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];881 -> 892[label="",style="solid", color="black", weight=3]; 13.37/5.17 827[label="index0 GT EQ",fontsize=16,color="black",shape="triangle"];827 -> 834[label="",style="solid", color="black", weight=3]; 13.37/5.17 882[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];882 -> 893[label="",style="solid", color="black", weight=3]; 13.37/5.17 766[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare2 GT GT True == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];766 -> 777[label="",style="solid", color="black", weight=3]; 13.37/5.17 767[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (compare1 LT GT True == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];767 -> 778[label="",style="solid", color="black", weight=3]; 13.37/5.17 769 -> 687[label="",style="dashed", color="red", weight=0]; 13.37/5.17 769[label="index0 EQ EQ",fontsize=16,color="magenta"];768[label="foldl' primPlusInt vx9 (vx22 : map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="triangle"];768 -> 779[label="",style="solid", color="black", weight=3]; 13.37/5.17 770[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (compare2 EQ GT False == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];770 -> 780[label="",style="solid", color="black", weight=3]; 13.37/5.17 771[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) range00 EQ True foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];771 -> 781[label="",style="solid", color="black", weight=3]; 13.37/5.17 889[label="intToRatio (Pos Zero)",fontsize=16,color="black",shape="box"];889 -> 899[label="",style="solid", color="black", weight=3]; 13.37/5.17 890[label="Integer (Pos Zero)",fontsize=16,color="green",shape="box"];891[label="primIntToFloat (Pos Zero)",fontsize=16,color="black",shape="box"];891 -> 900[label="",style="solid", color="black", weight=3]; 13.37/5.17 892[label="primIntToDouble (Pos Zero)",fontsize=16,color="black",shape="box"];892 -> 901[label="",style="solid", color="black", weight=3]; 13.37/5.17 834[label="index00 (GT > EQ)",fontsize=16,color="black",shape="box"];834 -> 841[label="",style="solid", color="black", weight=3]; 13.37/5.17 893[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) (foldr (++) [] (map (range0 GT EQ) (GT : []))))",fontsize=16,color="black",shape="box"];893 -> 902[label="",style="solid", color="black", weight=3]; 13.37/5.17 777[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (EQ == LT) && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];777 -> 786[label="",style="solid", color="black", weight=3]; 13.37/5.17 778[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not (LT == LT) && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];778 -> 787[label="",style="solid", color="black", weight=3]; 13.37/5.17 779 -> 788[label="",style="dashed", color="red", weight=0]; 13.37/5.17 779[label="(foldl' primPlusInt $! primPlusInt vx9 vx22)",fontsize=16,color="magenta"];779 -> 789[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 780[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];780 -> 790[label="",style="solid", color="black", weight=3]; 13.37/5.17 781[label="foldl' primPlusInt vx11 (map (index0 GT) ((++) (EQ : []) foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];781 -> 791[label="",style="solid", color="black", weight=3]; 13.37/5.17 899[label="fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];899 -> 908[label="",style="dashed", color="green", weight=3]; 13.37/5.17 899 -> 909[label="",style="dashed", color="green", weight=3]; 13.37/5.17 900[label="Float (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];901[label="Double (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];841[label="index00 (compare GT EQ == GT)",fontsize=16,color="black",shape="box"];841 -> 848[label="",style="solid", color="black", weight=3]; 13.37/5.17 902[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) (foldr (++) [] (range0 GT EQ GT : map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];902 -> 910[label="",style="solid", color="black", weight=3]; 13.37/5.17 786[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not False && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];786 -> 795[label="",style="solid", color="black", weight=3]; 13.37/5.17 787[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (not True && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];787 -> 796[label="",style="solid", color="black", weight=3]; 13.37/5.17 789 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 789[label="primPlusInt vx9 vx22",fontsize=16,color="magenta"];789 -> 797[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 789 -> 798[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 788[label="(foldl' primPlusInt $! vx23)",fontsize=16,color="black",shape="triangle"];788 -> 799[label="",style="solid", color="black", weight=3]; 13.37/5.17 790[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (compare1 EQ GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];790 -> 800[label="",style="solid", color="black", weight=3]; 13.37/5.17 791[label="foldl' primPlusInt vx11 (map (index0 GT) (EQ : [] ++ foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];791 -> 801[label="",style="solid", color="black", weight=3]; 13.37/5.17 908[label="fromInt (Pos Zero)",fontsize=16,color="blue",shape="box"];1090[label="fromInt :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];908 -> 1090[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1090 -> 915[label="",style="solid", color="blue", weight=3]; 13.37/5.17 1091[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];908 -> 1091[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1091 -> 916[label="",style="solid", color="blue", weight=3]; 13.37/5.17 909[label="fromInt (Pos (Succ Zero))",fontsize=16,color="blue",shape="box"];1092[label="fromInt :: -> Int Integer",fontsize=10,color="white",style="solid",shape="box"];909 -> 1092[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1092 -> 917[label="",style="solid", color="blue", weight=3]; 13.37/5.17 1093[label="fromInt :: -> Int Int",fontsize=10,color="white",style="solid",shape="box"];909 -> 1093[label="",style="solid", color="blue", weight=9]; 13.37/5.17 1093 -> 918[label="",style="solid", color="blue", weight=3]; 13.37/5.17 848[label="index00 (compare3 GT EQ == GT)",fontsize=16,color="black",shape="box"];848 -> 887[label="",style="solid", color="black", weight=3]; 13.37/5.17 910[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range0 GT EQ GT foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];910 -> 919[label="",style="solid", color="black", weight=3]; 13.37/5.17 795[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (True && GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];795 -> 807[label="",style="solid", color="black", weight=3]; 13.37/5.17 796[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT (False && GT >= LT) foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];796 -> 808[label="",style="solid", color="black", weight=3]; 13.37/5.17 797[label="vx9",fontsize=16,color="green",shape="box"];798[label="vx22",fontsize=16,color="green",shape="box"];799[label="(vx23 `seq` foldl' primPlusInt vx23)",fontsize=16,color="black",shape="box"];799 -> 809[label="",style="solid", color="black", weight=3]; 13.37/5.17 800[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not (LT == LT) && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];800 -> 810[label="",style="solid", color="black", weight=3]; 13.37/5.17 801[label="foldl' primPlusInt vx11 (index0 GT EQ : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];801 -> 811[label="",style="solid", color="black", weight=3]; 13.37/5.17 915 -> 878[label="",style="dashed", color="red", weight=0]; 13.37/5.17 915[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];916 -> 500[label="",style="dashed", color="red", weight=0]; 13.37/5.17 916[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];917[label="fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];917 -> 924[label="",style="solid", color="black", weight=3]; 13.37/5.17 918[label="fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];918 -> 925[label="",style="solid", color="black", weight=3]; 13.37/5.17 887[label="index00 (compare2 GT EQ (GT == EQ) == GT)",fontsize=16,color="black",shape="box"];887 -> 897[label="",style="solid", color="black", weight=3]; 13.37/5.17 919[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (GT >= GT && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];919 -> 926[label="",style="solid", color="black", weight=3]; 13.37/5.17 807[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (GT >= GT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];807 -> 815[label="",style="solid", color="black", weight=3]; 13.37/5.17 808[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) range00 GT False foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];808 -> 816[label="",style="solid", color="black", weight=3]; 13.37/5.17 809[label="enforceWHNF (WHNF vx23) (foldl' primPlusInt vx23) (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];809 -> 817[label="",style="solid", color="black", weight=3]; 13.37/5.17 810[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (not True && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];810 -> 818[label="",style="solid", color="black", weight=3]; 13.37/5.17 811 -> 819[label="",style="dashed", color="red", weight=0]; 13.37/5.17 811[label="(foldl' primPlusInt $! primPlusInt vx11 (index0 GT EQ))",fontsize=16,color="magenta"];811 -> 820[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 924[label="Integer (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];925[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];897[label="index00 (compare2 GT EQ False == GT)",fontsize=16,color="black",shape="box"];897 -> 906[label="",style="solid", color="black", weight=3]; 13.37/5.17 926[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (compare GT GT /= LT && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];926 -> 931[label="",style="solid", color="black", weight=3]; 13.37/5.17 815[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (compare GT GT /= LT) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];815 -> 822[label="",style="solid", color="black", weight=3]; 13.37/5.17 816[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) ((++) [] foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];816 -> 823[label="",style="solid", color="black", weight=3]; 13.37/5.17 817[label="foldl' primPlusInt vx23 (map (index0 EQ) ([] ++ foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];817 -> 824[label="",style="solid", color="black", weight=3]; 13.37/5.17 818[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT (False && GT >= EQ) foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];818 -> 825[label="",style="solid", color="black", weight=3]; 13.37/5.17 820 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 820[label="primPlusInt vx11 (index0 GT EQ)",fontsize=16,color="magenta"];820 -> 826[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 820 -> 827[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 819[label="(foldl' primPlusInt $! vx24)",fontsize=16,color="black",shape="triangle"];819 -> 828[label="",style="solid", color="black", weight=3]; 13.37/5.17 906[label="index00 (compare1 GT EQ (GT <= EQ) == GT)",fontsize=16,color="black",shape="box"];906 -> 913[label="",style="solid", color="black", weight=3]; 13.37/5.17 931[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare GT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];931 -> 936[label="",style="solid", color="black", weight=3]; 13.37/5.17 822[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare GT GT == LT)) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];822 -> 830[label="",style="solid", color="black", weight=3]; 13.37/5.17 823[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) (foldr (++) [] (map (range0 LT LT) [])))",fontsize=16,color="black",shape="box"];823 -> 831[label="",style="solid", color="black", weight=3]; 13.37/5.17 824[label="foldl' primPlusInt vx23 (map (index0 EQ) (foldr (++) [] (map (range0 EQ LT) (GT : []))))",fontsize=16,color="black",shape="box"];824 -> 832[label="",style="solid", color="black", weight=3]; 13.37/5.17 825[label="foldl' (+) vx16 (map (index0 EQ) ((++) range00 GT False foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];825 -> 833[label="",style="solid", color="black", weight=3]; 13.37/5.17 826[label="vx11",fontsize=16,color="green",shape="box"];828[label="(vx24 `seq` foldl' primPlusInt vx24)",fontsize=16,color="black",shape="box"];828 -> 835[label="",style="solid", color="black", weight=3]; 13.37/5.17 913[label="index00 (compare1 GT EQ False == GT)",fontsize=16,color="black",shape="box"];913 -> 922[label="",style="solid", color="black", weight=3]; 13.37/5.17 936[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare3 GT GT == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];936 -> 939[label="",style="solid", color="black", weight=3]; 13.37/5.17 830[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare3 GT GT == LT)) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];830 -> 837[label="",style="solid", color="black", weight=3]; 13.37/5.17 831[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];831 -> 838[label="",style="solid", color="black", weight=3]; 13.37/5.17 832[label="foldl' primPlusInt vx23 (map (index0 EQ) (foldr (++) [] (range0 EQ LT GT : map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];832 -> 839[label="",style="solid", color="black", weight=3]; 13.37/5.17 833[label="foldl' (+) vx16 (map (index0 EQ) ((++) [] foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];833 -> 840[label="",style="solid", color="black", weight=3]; 13.37/5.17 835[label="enforceWHNF (WHNF vx24) (foldl' primPlusInt vx24) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];835 -> 842[label="",style="solid", color="black", weight=3]; 13.37/5.17 922[label="index00 (compare0 GT EQ otherwise == GT)",fontsize=16,color="black",shape="box"];922 -> 929[label="",style="solid", color="black", weight=3]; 13.37/5.17 939[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];939 -> 945[label="",style="solid", color="black", weight=3]; 13.37/5.17 837[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare2 GT GT (GT == GT) == LT)) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];837 -> 844[label="",style="solid", color="black", weight=3]; 13.37/5.17 838[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) [])",fontsize=16,color="black",shape="box"];838 -> 845[label="",style="solid", color="black", weight=3]; 13.37/5.17 839[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range0 EQ LT GT foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];839 -> 846[label="",style="solid", color="black", weight=3]; 13.37/5.17 840[label="foldl' (+) vx16 (map (index0 EQ) (foldr (++) [] (map (range0 EQ EQ) [])))",fontsize=16,color="black",shape="box"];840 -> 847[label="",style="solid", color="black", weight=3]; 13.37/5.17 842[label="foldl' primPlusInt vx24 (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];842 -> 849[label="",style="solid", color="black", weight=3]; 13.37/5.17 929[label="index00 (compare0 GT EQ True == GT)",fontsize=16,color="black",shape="box"];929 -> 934[label="",style="solid", color="black", weight=3]; 13.37/5.17 945[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare2 GT GT True == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];945 -> 950[label="",style="solid", color="black", weight=3]; 13.37/5.17 844[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (compare2 GT GT True == LT)) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];844 -> 883[label="",style="solid", color="black", weight=3]; 13.37/5.17 845[label="foldl' primPlusInt (Pos vx15) []",fontsize=16,color="black",shape="box"];845 -> 884[label="",style="solid", color="black", weight=3]; 13.37/5.17 846[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (EQ >= GT && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];846 -> 885[label="",style="solid", color="black", weight=3]; 13.37/5.17 847[label="foldl' (+) vx16 (map (index0 EQ) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];847 -> 886[label="",style="solid", color="black", weight=3]; 13.37/5.17 849[label="foldl' primPlusInt vx24 (map (index0 GT) (foldr (++) [] (map (range0 GT LT) (GT : []))))",fontsize=16,color="black",shape="box"];849 -> 888[label="",style="solid", color="black", weight=3]; 13.37/5.17 934 -> 632[label="",style="dashed", color="red", weight=0]; 13.37/5.17 934[label="index00 (GT == GT)",fontsize=16,color="magenta"];950[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (EQ == LT) && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];950 -> 955[label="",style="solid", color="black", weight=3]; 13.37/5.17 883[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not (EQ == LT)) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];883 -> 894[label="",style="solid", color="black", weight=3]; 13.37/5.17 884[label="Pos vx15",fontsize=16,color="green",shape="box"];885[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (compare EQ GT /= LT && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];885 -> 895[label="",style="solid", color="black", weight=3]; 13.37/5.17 886[label="foldl' (+) vx16 (map (index0 EQ) [])",fontsize=16,color="black",shape="box"];886 -> 896[label="",style="solid", color="black", weight=3]; 13.37/5.17 888[label="foldl' primPlusInt vx24 (map (index0 GT) (foldr (++) [] (range0 GT LT GT : map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];888 -> 898[label="",style="solid", color="black", weight=3]; 13.37/5.17 955[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not False && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];955 -> 960[label="",style="solid", color="black", weight=3]; 13.37/5.17 894[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT (not False) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];894 -> 903[label="",style="solid", color="black", weight=3]; 13.37/5.17 895[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (compare EQ GT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];895 -> 904[label="",style="solid", color="black", weight=3]; 13.37/5.17 896[label="foldl' (+) vx16 []",fontsize=16,color="black",shape="triangle"];896 -> 905[label="",style="solid", color="black", weight=3]; 13.37/5.17 898[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range0 GT LT GT foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];898 -> 907[label="",style="solid", color="black", weight=3]; 13.37/5.17 960[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (True && GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];960 -> 965[label="",style="solid", color="black", weight=3]; 13.37/5.17 903[label="foldl' (+) vx13 (map (index0 GT) ((++) range00 GT True foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];903 -> 911[label="",style="solid", color="black", weight=3]; 13.37/5.17 904[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (compare3 EQ GT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];904 -> 912[label="",style="solid", color="black", weight=3]; 13.37/5.17 905[label="vx16",fontsize=16,color="green",shape="box"];907[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (GT >= GT && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];907 -> 914[label="",style="solid", color="black", weight=3]; 13.37/5.17 965[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (GT >= EQ) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];965 -> 970[label="",style="solid", color="black", weight=3]; 13.37/5.17 911[label="foldl' (+) vx13 (map (index0 GT) ((++) (GT : []) foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];911 -> 920[label="",style="solid", color="black", weight=3]; 13.37/5.17 912[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (compare2 EQ GT (EQ == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];912 -> 921[label="",style="solid", color="black", weight=3]; 13.37/5.17 914[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (compare GT GT /= LT && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];914 -> 923[label="",style="solid", color="black", weight=3]; 13.37/5.17 970[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (compare GT EQ /= LT) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];970 -> 975[label="",style="solid", color="black", weight=3]; 13.37/5.17 920[label="foldl' (+) vx13 (map (index0 GT) (GT : [] ++ foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];920 -> 927[label="",style="solid", color="black", weight=3]; 13.37/5.17 921[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (compare2 EQ GT False == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];921 -> 928[label="",style="solid", color="black", weight=3]; 13.37/5.17 923[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare GT GT == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];923 -> 930[label="",style="solid", color="black", weight=3]; 13.37/5.17 975[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare GT EQ == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];975 -> 979[label="",style="solid", color="black", weight=3]; 13.37/5.17 927[label="foldl' (+) vx13 (index0 GT GT : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];927 -> 932[label="",style="solid", color="black", weight=3]; 13.37/5.17 928[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (compare1 EQ GT (EQ <= GT) == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];928 -> 933[label="",style="solid", color="black", weight=3]; 13.37/5.17 930[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare3 GT GT == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];930 -> 935[label="",style="solid", color="black", weight=3]; 13.37/5.17 979[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare3 GT EQ == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];979 -> 982[label="",style="solid", color="black", weight=3]; 13.37/5.17 932 -> 937[label="",style="dashed", color="red", weight=0]; 13.37/5.17 932[label="(foldl' (+) $! (+) vx13 index0 GT GT)",fontsize=16,color="magenta"];932 -> 938[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 933[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (compare1 EQ GT True == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];933 -> 940[label="",style="solid", color="black", weight=3]; 13.37/5.17 935[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare2 GT GT (GT == GT) == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];935 -> 941[label="",style="solid", color="black", weight=3]; 13.37/5.17 982[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare2 GT EQ (GT == EQ) == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];982 -> 985[label="",style="solid", color="black", weight=3]; 13.37/5.17 938 -> 472[label="",style="dashed", color="red", weight=0]; 13.37/5.17 938[label="(+) vx13 index0 GT GT",fontsize=16,color="magenta"];938 -> 942[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 938 -> 943[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 937[label="(foldl' (+) $! vx27)",fontsize=16,color="black",shape="triangle"];937 -> 944[label="",style="solid", color="black", weight=3]; 13.37/5.17 940[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not (LT == LT) && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];940 -> 946[label="",style="solid", color="black", weight=3]; 13.37/5.17 941[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare2 GT GT True == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];941 -> 947[label="",style="solid", color="black", weight=3]; 13.37/5.17 985[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare2 GT EQ False == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];985 -> 987[label="",style="solid", color="black", weight=3]; 13.37/5.17 942[label="vx13",fontsize=16,color="green",shape="box"];943[label="index0 GT GT",fontsize=16,color="black",shape="triangle"];943 -> 948[label="",style="solid", color="black", weight=3]; 13.37/5.17 944[label="(vx27 `seq` foldl' (+) vx27)",fontsize=16,color="black",shape="box"];944 -> 949[label="",style="solid", color="black", weight=3]; 13.37/5.17 946[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (not True && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];946 -> 951[label="",style="solid", color="black", weight=3]; 13.37/5.17 947[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (EQ == LT) && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];947 -> 952[label="",style="solid", color="black", weight=3]; 13.37/5.17 987[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare1 GT EQ (GT <= EQ) == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];987 -> 989[label="",style="solid", color="black", weight=3]; 13.37/5.17 948[label="index00 (GT > GT)",fontsize=16,color="black",shape="box"];948 -> 953[label="",style="solid", color="black", weight=3]; 13.37/5.17 949[label="enforceWHNF (WHNF vx27) (foldl' (+) vx27) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];949 -> 954[label="",style="solid", color="black", weight=3]; 13.37/5.17 951[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT (False && GT >= LT) foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];951 -> 956[label="",style="solid", color="black", weight=3]; 13.37/5.17 952[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not False && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];952 -> 957[label="",style="solid", color="black", weight=3]; 13.37/5.17 989[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare1 GT EQ False == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];989 -> 991[label="",style="solid", color="black", weight=3]; 13.37/5.17 953[label="index00 (compare GT GT == GT)",fontsize=16,color="black",shape="box"];953 -> 958[label="",style="solid", color="black", weight=3]; 13.37/5.17 954[label="foldl' (+) vx27 (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];954 -> 959[label="",style="solid", color="black", weight=3]; 13.37/5.17 956[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) range00 GT False foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];956 -> 961[label="",style="solid", color="black", weight=3]; 13.37/5.17 957[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (True && GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];957 -> 962[label="",style="solid", color="black", weight=3]; 13.37/5.17 991[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare0 GT EQ otherwise == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];991 -> 993[label="",style="solid", color="black", weight=3]; 13.37/5.17 958[label="index00 (compare3 GT GT == GT)",fontsize=16,color="black",shape="box"];958 -> 963[label="",style="solid", color="black", weight=3]; 13.37/5.17 959[label="foldl' (+) vx27 (map (index0 GT) (foldr (++) [] (map (range0 GT GT) [])))",fontsize=16,color="black",shape="box"];959 -> 964[label="",style="solid", color="black", weight=3]; 13.37/5.17 961[label="foldl' primPlusInt vx23 (map (index0 EQ) ((++) [] foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];961 -> 966[label="",style="solid", color="black", weight=3]; 13.37/5.17 962[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (GT >= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];962 -> 967[label="",style="solid", color="black", weight=3]; 13.37/5.17 993[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (compare0 GT EQ True == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];993 -> 995[label="",style="solid", color="black", weight=3]; 13.37/5.17 963[label="index00 (compare2 GT GT (GT == GT) == GT)",fontsize=16,color="black",shape="box"];963 -> 968[label="",style="solid", color="black", weight=3]; 13.37/5.17 964[label="foldl' (+) vx27 (map (index0 GT) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];964 -> 969[label="",style="solid", color="black", weight=3]; 13.37/5.17 966[label="foldl' primPlusInt vx23 (map (index0 EQ) (foldr (++) [] (map (range0 EQ LT) [])))",fontsize=16,color="black",shape="box"];966 -> 971[label="",style="solid", color="black", weight=3]; 13.37/5.17 967[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (compare GT LT /= LT) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];967 -> 972[label="",style="solid", color="black", weight=3]; 13.37/5.17 995[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not (GT == LT)) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];995 -> 997[label="",style="solid", color="black", weight=3]; 13.37/5.17 968[label="index00 (compare2 GT GT True == GT)",fontsize=16,color="black",shape="box"];968 -> 973[label="",style="solid", color="black", weight=3]; 13.37/5.17 969[label="foldl' (+) vx27 (map (index0 GT) [])",fontsize=16,color="black",shape="box"];969 -> 974[label="",style="solid", color="black", weight=3]; 13.37/5.17 971[label="foldl' primPlusInt vx23 (map (index0 EQ) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];971 -> 976[label="",style="solid", color="black", weight=3]; 13.37/5.17 972[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare GT LT == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];972 -> 977[label="",style="solid", color="black", weight=3]; 13.37/5.17 997[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT (not False) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];997 -> 999[label="",style="solid", color="black", weight=3]; 13.37/5.17 973 -> 729[label="",style="dashed", color="red", weight=0]; 13.37/5.17 973[label="index00 (EQ == GT)",fontsize=16,color="magenta"];974 -> 896[label="",style="dashed", color="red", weight=0]; 13.37/5.17 974[label="foldl' (+) vx27 []",fontsize=16,color="magenta"];974 -> 978[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 976[label="foldl' primPlusInt vx23 (map (index0 EQ) [])",fontsize=16,color="black",shape="box"];976 -> 980[label="",style="solid", color="black", weight=3]; 13.37/5.17 977[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare3 GT LT == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];977 -> 981[label="",style="solid", color="black", weight=3]; 13.37/5.17 999[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) range00 GT True foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];999 -> 1001[label="",style="solid", color="black", weight=3]; 13.37/5.17 978[label="vx27",fontsize=16,color="green",shape="box"];980[label="foldl' primPlusInt vx23 []",fontsize=16,color="black",shape="triangle"];980 -> 983[label="",style="solid", color="black", weight=3]; 13.37/5.17 981[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare2 GT LT (GT == LT) == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];981 -> 984[label="",style="solid", color="black", weight=3]; 13.37/5.17 1001[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) ((++) (GT : []) foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];1001 -> 1003[label="",style="solid", color="black", weight=3]; 13.37/5.17 983[label="vx23",fontsize=16,color="green",shape="box"];984[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare2 GT LT False == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];984 -> 986[label="",style="solid", color="black", weight=3]; 13.37/5.17 1003[label="foldl' vx20 (vx20 vx21 vx25) (map (index0 GT) (GT : [] ++ foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];1003 -> 1005[label="",style="solid", color="black", weight=3]; 13.37/5.17 986[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare1 GT LT (GT <= LT) == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];986 -> 988[label="",style="solid", color="black", weight=3]; 13.37/5.17 1005 -> 1008[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1005[label="foldl' vx20 (vx20 vx21 vx25) (index0 GT GT : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="magenta"];1005 -> 1009[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 988[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare1 GT LT False == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];988 -> 990[label="",style="solid", color="black", weight=3]; 13.37/5.17 1009 -> 943[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1009[label="index0 GT GT",fontsize=16,color="magenta"];1008[label="foldl' vx20 (vx20 vx21 vx25) (vx29 : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="triangle"];1008 -> 1010[label="",style="solid", color="black", weight=3]; 13.37/5.17 990[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare0 GT LT otherwise == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];990 -> 992[label="",style="solid", color="black", weight=3]; 13.37/5.17 1010[label="(foldl' vx20 $! vx20 (vx20 vx21 vx25) vx29)",fontsize=16,color="black",shape="box"];1010 -> 1012[label="",style="solid", color="black", weight=3]; 13.37/5.17 992[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (compare0 GT LT True == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];992 -> 994[label="",style="solid", color="black", weight=3]; 13.37/5.17 1012[label="(vx20 (vx20 vx21 vx25) vx29 `seq` foldl' vx20 (vx20 (vx20 vx21 vx25) vx29))",fontsize=16,color="black",shape="box"];1012 -> 1015[label="",style="solid", color="black", weight=3]; 13.37/5.17 994[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not (GT == LT)) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];994 -> 996[label="",style="solid", color="black", weight=3]; 13.37/5.17 1015[label="enforceWHNF (WHNF (vx20 (vx20 vx21 vx25) vx29)) (foldl' vx20 (vx20 (vx20 vx21 vx25) vx29)) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];1015 -> 1019[label="",style="solid", color="black", weight=3]; 13.37/5.17 996[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT (not False) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];996 -> 998[label="",style="solid", color="black", weight=3]; 13.37/5.17 1019[label="foldl' vx20 (vx20 (vx20 vx21 vx25) vx29) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];1019 -> 1021[label="",style="solid", color="black", weight=3]; 13.37/5.17 998[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) range00 GT True foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];998 -> 1000[label="",style="solid", color="black", weight=3]; 13.37/5.17 1021[label="foldl' vx20 (vx20 (vx20 vx21 vx25) vx29) (map (index0 GT) (foldr (++) [] (map (range0 GT EQ) [])))",fontsize=16,color="black",shape="box"];1021 -> 1023[label="",style="solid", color="black", weight=3]; 13.37/5.17 1000[label="foldl' primPlusInt vx24 (map (index0 GT) ((++) (GT : []) foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];1000 -> 1002[label="",style="solid", color="black", weight=3]; 13.37/5.17 1023[label="foldl' vx20 (vx20 (vx20 vx21 vx25) vx29) (map (index0 GT) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];1023 -> 1025[label="",style="solid", color="black", weight=3]; 13.37/5.17 1002[label="foldl' primPlusInt vx24 (map (index0 GT) (GT : [] ++ foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];1002 -> 1004[label="",style="solid", color="black", weight=3]; 13.37/5.17 1025[label="foldl' vx20 (vx20 (vx20 vx21 vx25) vx29) (map (index0 GT) [])",fontsize=16,color="black",shape="box"];1025 -> 1027[label="",style="solid", color="black", weight=3]; 13.37/5.17 1004 -> 1006[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1004[label="foldl' primPlusInt vx24 (index0 GT GT : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="magenta"];1004 -> 1007[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 1027[label="foldl' vx20 (vx20 (vx20 vx21 vx25) vx29) []",fontsize=16,color="black",shape="box"];1027 -> 1029[label="",style="solid", color="black", weight=3]; 13.37/5.17 1007 -> 943[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1007[label="index0 GT GT",fontsize=16,color="magenta"];1006[label="foldl' primPlusInt vx24 (vx28 : map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="triangle"];1006 -> 1011[label="",style="solid", color="black", weight=3]; 13.37/5.17 1029[label="vx20 (vx20 vx21 vx25) vx29",fontsize=16,color="green",shape="box"];1029 -> 1031[label="",style="dashed", color="green", weight=3]; 13.37/5.17 1029 -> 1032[label="",style="dashed", color="green", weight=3]; 13.37/5.17 1011 -> 1013[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1011[label="(foldl' primPlusInt $! primPlusInt vx24 vx28)",fontsize=16,color="magenta"];1011 -> 1014[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 1031[label="vx20 vx21 vx25",fontsize=16,color="green",shape="box"];1031 -> 1034[label="",style="dashed", color="green", weight=3]; 13.37/5.17 1031 -> 1035[label="",style="dashed", color="green", weight=3]; 13.37/5.17 1032[label="vx29",fontsize=16,color="green",shape="box"];1014 -> 479[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1014[label="primPlusInt vx24 vx28",fontsize=16,color="magenta"];1014 -> 1016[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 1014 -> 1017[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 1013[label="(foldl' primPlusInt $! vx30)",fontsize=16,color="black",shape="triangle"];1013 -> 1018[label="",style="solid", color="black", weight=3]; 13.37/5.17 1034[label="vx21",fontsize=16,color="green",shape="box"];1035[label="vx25",fontsize=16,color="green",shape="box"];1016[label="vx24",fontsize=16,color="green",shape="box"];1017[label="vx28",fontsize=16,color="green",shape="box"];1018[label="(vx30 `seq` foldl' primPlusInt vx30)",fontsize=16,color="black",shape="box"];1018 -> 1020[label="",style="solid", color="black", weight=3]; 13.37/5.17 1020[label="enforceWHNF (WHNF vx30) (foldl' primPlusInt vx30) (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];1020 -> 1022[label="",style="solid", color="black", weight=3]; 13.37/5.17 1022[label="foldl' primPlusInt vx30 (map (index0 GT) ([] ++ foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];1022 -> 1024[label="",style="solid", color="black", weight=3]; 13.37/5.17 1024[label="foldl' primPlusInt vx30 (map (index0 GT) (foldr (++) [] (map (range0 GT LT) [])))",fontsize=16,color="black",shape="box"];1024 -> 1026[label="",style="solid", color="black", weight=3]; 13.37/5.17 1026[label="foldl' primPlusInt vx30 (map (index0 GT) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];1026 -> 1028[label="",style="solid", color="black", weight=3]; 13.37/5.17 1028[label="foldl' primPlusInt vx30 (map (index0 GT) [])",fontsize=16,color="black",shape="box"];1028 -> 1030[label="",style="solid", color="black", weight=3]; 13.37/5.17 1030 -> 980[label="",style="dashed", color="red", weight=0]; 13.37/5.17 1030[label="foldl' primPlusInt vx30 []",fontsize=16,color="magenta"];1030 -> 1033[label="",style="dashed", color="magenta", weight=3]; 13.37/5.17 1033[label="vx30",fontsize=16,color="green",shape="box"];} 13.37/5.17 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (12) 13.37/5.17 Complex Obligation (AND) 13.37/5.17 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (13) 13.37/5.17 Obligation: 13.37/5.17 Q DP problem: 13.37/5.17 The TRS P consists of the following rules: 13.37/5.17 13.37/5.17 new_primMinusNat(Succ(vx700), Succ(vx800)) -> new_primMinusNat(vx700, vx800) 13.37/5.17 13.37/5.17 R is empty. 13.37/5.17 Q is empty. 13.37/5.17 We have to consider all minimal (P,Q,R)-chains. 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (14) QDPSizeChangeProof (EQUIVALENT) 13.37/5.17 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 13.37/5.17 13.37/5.17 From the DPs we obtained the following set of size-change graphs: 13.37/5.17 *new_primMinusNat(Succ(vx700), Succ(vx800)) -> new_primMinusNat(vx700, vx800) 13.37/5.17 The graph contains the following edges 1 > 1, 2 > 2 13.37/5.17 13.37/5.17 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (15) 13.37/5.17 YES 13.37/5.17 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (16) 13.37/5.17 Obligation: 13.37/5.17 Q DP problem: 13.37/5.17 The TRS P consists of the following rules: 13.37/5.17 13.37/5.17 new_primPlusNat(Succ(vx700), Succ(vx800)) -> new_primPlusNat(vx700, vx800) 13.37/5.17 13.37/5.17 R is empty. 13.37/5.17 Q is empty. 13.37/5.17 We have to consider all minimal (P,Q,R)-chains. 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (17) QDPSizeChangeProof (EQUIVALENT) 13.37/5.17 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 13.37/5.17 13.37/5.17 From the DPs we obtained the following set of size-change graphs: 13.37/5.17 *new_primPlusNat(Succ(vx700), Succ(vx800)) -> new_primPlusNat(vx700, vx800) 13.37/5.17 The graph contains the following edges 1 > 1, 2 > 2 13.37/5.17 13.37/5.17 13.37/5.17 ---------------------------------------- 13.37/5.17 13.37/5.17 (18) 13.37/5.17 YES 13.73/5.21 EOF