/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty H-Termination with start terms of the given HASKELL could be proven: (0) HASKELL (1) LR [EQUIVALENT, 0 ms] (2) HASKELL (3) IFR [EQUIVALENT, 0 ms] (4) HASKELL (5) BR [EQUIVALENT, 0 ms] (6) HASKELL (7) COR [EQUIVALENT, 0 ms] (8) HASKELL (9) NumRed [SOUND, 0 ms] (10) HASKELL (11) Narrow [SOUND, 0 ms] (12) AND (13) QDP (14) QDPSizeChangeProof [EQUIVALENT, 0 ms] (15) YES (16) QDP (17) QDPSizeChangeProof [EQUIVALENT, 0 ms] (18) YES ---------------------------------------- (0) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (1) LR (EQUIVALENT) Lambda Reductions: The following Lambda expression "\z->if y >= z && z >= x then z : [] else []" is transformed to "range0 y x z = if y >= z && z >= x then z : [] else []; " The following Lambda expression "\s->if y > s then 1 else 0" is transformed to "index0 y s = if y > s then 1 else 0; " ---------------------------------------- (2) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (3) IFR (EQUIVALENT) If Reductions: The following If expression "if y >= z && z >= x then sum (map (index0 y) (range (x,y))) else error []" is transformed to "index1 y x True = sum (map (index0 y) (range (x,y))); index1 y x False = error []; " The following If expression "if y >= z && z >= x then z : [] else []" is transformed to "range00 z True = z : []; range00 z False = []; " The following If expression "if y > s then 1 else 0" is transformed to "index00 True = 1; index00 False = 0; " ---------------------------------------- (4) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (5) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (6) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (7) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "compare x y|x == yEQ|x <= yLT|otherwiseGT; " is transformed to "compare x y = compare3 x y; " "compare1 x y True = LT; compare1 x y False = compare0 x y otherwise; " "compare0 x y True = GT; " "compare2 x y True = EQ; compare2 x y False = compare1 x y (x <= y); " "compare3 x y = compare2 x y (x == y); " The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " ---------------------------------------- (8) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (9) NumRed (SOUND) Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. ---------------------------------------- (10) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (11) Narrow (SOUND) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="index",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="index vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 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]; 1036 -> 5[label="",style="solid", color="burlywood", weight=3]; 5[label="index (vx30,vx31) vx4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 6[label="index1 vx31 vx30 (vx31 >= vx4 && vx4 >= vx30)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 1037 -> 11[label="",style="solid", color="burlywood", weight=3]; 1038[label="vx31/EQ",fontsize=10,color="white",style="solid",shape="box"];10 -> 1038[label="",style="solid", color="burlywood", weight=9]; 1038 -> 12[label="",style="solid", color="burlywood", weight=3]; 1039[label="vx31/GT",fontsize=10,color="white",style="solid",shape="box"];10 -> 1039[label="",style="solid", color="burlywood", weight=9]; 1039 -> 13[label="",style="solid", color="burlywood", weight=3]; 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]; 1040 -> 14[label="",style="solid", color="burlywood", weight=3]; 1041[label="vx4/EQ",fontsize=10,color="white",style="solid",shape="box"];11 -> 1041[label="",style="solid", color="burlywood", weight=9]; 1041 -> 15[label="",style="solid", color="burlywood", weight=3]; 1042[label="vx4/GT",fontsize=10,color="white",style="solid",shape="box"];11 -> 1042[label="",style="solid", color="burlywood", weight=9]; 1042 -> 16[label="",style="solid", color="burlywood", weight=3]; 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]; 1043 -> 17[label="",style="solid", color="burlywood", weight=3]; 1044[label="vx4/EQ",fontsize=10,color="white",style="solid",shape="box"];12 -> 1044[label="",style="solid", color="burlywood", weight=9]; 1044 -> 18[label="",style="solid", color="burlywood", weight=3]; 1045[label="vx4/GT",fontsize=10,color="white",style="solid",shape="box"];12 -> 1045[label="",style="solid", color="burlywood", weight=9]; 1045 -> 19[label="",style="solid", color="burlywood", weight=3]; 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]; 1046 -> 20[label="",style="solid", color="burlywood", weight=3]; 1047[label="vx4/EQ",fontsize=10,color="white",style="solid",shape="box"];13 -> 1047[label="",style="solid", color="burlywood", weight=9]; 1047 -> 21[label="",style="solid", color="burlywood", weight=3]; 1048[label="vx4/GT",fontsize=10,color="white",style="solid",shape="box"];13 -> 1048[label="",style="solid", color="burlywood", weight=9]; 1048 -> 22[label="",style="solid", color="burlywood", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 41[label="index1 LT vx30 (not False && LT >= vx30)",fontsize=16,color="black",shape="box"];41 -> 50[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 45[label="index1 EQ vx30 (not False && EQ >= vx30)",fontsize=16,color="black",shape="box"];45 -> 54[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 49[label="index1 GT vx30 (not False && GT >= vx30)",fontsize=16,color="black",shape="box"];49 -> 58[label="",style="solid", color="black", weight=3]; 50[label="index1 LT vx30 (True && LT >= vx30)",fontsize=16,color="black",shape="box"];50 -> 59[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 54[label="index1 EQ vx30 (True && EQ >= vx30)",fontsize=16,color="black",shape="box"];54 -> 63[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 58[label="index1 GT vx30 (True && GT >= vx30)",fontsize=16,color="black",shape="box"];58 -> 67[label="",style="solid", color="black", weight=3]; 59[label="index1 LT vx30 (LT >= vx30)",fontsize=16,color="black",shape="box"];59 -> 68[label="",style="solid", color="black", weight=3]; 60[label="index1 LT vx30 (not True && EQ >= vx30)",fontsize=16,color="black",shape="box"];60 -> 69[label="",style="solid", color="black", weight=3]; 61[label="index1 LT vx30 (not True && GT >= vx30)",fontsize=16,color="black",shape="box"];61 -> 70[label="",style="solid", color="black", weight=3]; 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]; 63[label="index1 EQ vx30 (EQ >= vx30)",fontsize=16,color="black",shape="box"];63 -> 72[label="",style="solid", color="black", weight=3]; 64[label="index1 EQ vx30 (not True && GT >= vx30)",fontsize=16,color="black",shape="box"];64 -> 73[label="",style="solid", color="black", weight=3]; 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]; 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]; 67[label="index1 GT vx30 (GT >= vx30)",fontsize=16,color="black",shape="box"];67 -> 76[label="",style="solid", color="black", weight=3]; 68[label="index1 LT vx30 (compare LT vx30 /= LT)",fontsize=16,color="black",shape="box"];68 -> 77[label="",style="solid", color="black", weight=3]; 69[label="index1 LT vx30 (False && EQ >= vx30)",fontsize=16,color="black",shape="box"];69 -> 78[label="",style="solid", color="black", weight=3]; 70[label="index1 LT vx30 (False && GT >= vx30)",fontsize=16,color="black",shape="box"];70 -> 79[label="",style="solid", color="black", weight=3]; 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]; 72[label="index1 EQ vx30 (compare EQ vx30 /= LT)",fontsize=16,color="black",shape="box"];72 -> 81[label="",style="solid", color="black", weight=3]; 73[label="index1 EQ vx30 (False && GT >= vx30)",fontsize=16,color="black",shape="box"];73 -> 82[label="",style="solid", color="black", weight=3]; 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]; 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]; 76[label="index1 GT vx30 (compare GT vx30 /= LT)",fontsize=16,color="black",shape="box"];76 -> 85[label="",style="solid", color="black", weight=3]; 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]; 78[label="index1 LT vx30 False",fontsize=16,color="black",shape="triangle"];78 -> 87[label="",style="solid", color="black", weight=3]; 79 -> 78[label="",style="dashed", color="red", weight=0]; 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]; 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]; 82[label="index1 EQ vx30 False",fontsize=16,color="black",shape="triangle"];82 -> 90[label="",style="solid", color="black", weight=3]; 83[label="index1 GT vx30 (not False && LT >= vx30)",fontsize=16,color="black",shape="box"];83 -> 91[label="",style="solid", color="black", weight=3]; 84[label="index1 GT vx30 (not False && EQ >= vx30)",fontsize=16,color="black",shape="box"];84 -> 92[label="",style="solid", color="black", weight=3]; 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]; 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]; 87[label="error []",fontsize=16,color="black",shape="triangle"];87 -> 95[label="",style="solid", color="black", weight=3]; 88[label="index1 EQ vx30 (True && LT >= vx30)",fontsize=16,color="black",shape="box"];88 -> 96[label="",style="solid", color="black", weight=3]; 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]; 90 -> 87[label="",style="dashed", color="red", weight=0]; 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]; 92[label="index1 GT vx30 (True && EQ >= vx30)",fontsize=16,color="black",shape="box"];92 -> 99[label="",style="solid", color="black", weight=3]; 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]; 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]; 1049 -> 101[label="",style="solid", color="burlywood", weight=3]; 1050[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];94 -> 1050[label="",style="solid", color="burlywood", weight=9]; 1050 -> 102[label="",style="solid", color="burlywood", weight=3]; 1051[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];94 -> 1051[label="",style="solid", color="burlywood", weight=9]; 1051 -> 103[label="",style="solid", color="burlywood", weight=3]; 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]; 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]; 1052 -> 105[label="",style="solid", color="burlywood", weight=3]; 1053[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];97 -> 1053[label="",style="solid", color="burlywood", weight=9]; 1053 -> 106[label="",style="solid", color="burlywood", weight=3]; 1054[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];97 -> 1054[label="",style="solid", color="burlywood", weight=9]; 1054 -> 107[label="",style="solid", color="burlywood", weight=3]; 98[label="index1 GT vx30 (LT >= vx30)",fontsize=16,color="black",shape="box"];98 -> 108[label="",style="solid", color="black", weight=3]; 99[label="index1 GT vx30 (EQ >= vx30)",fontsize=16,color="black",shape="box"];99 -> 109[label="",style="solid", color="black", weight=3]; 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]; 1055 -> 110[label="",style="solid", color="burlywood", weight=3]; 1056[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];100 -> 1056[label="",style="solid", color="burlywood", weight=9]; 1056 -> 111[label="",style="solid", color="burlywood", weight=3]; 1057[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];100 -> 1057[label="",style="solid", color="burlywood", weight=9]; 1057 -> 112[label="",style="solid", color="burlywood", weight=3]; 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]; 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]; 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]; 104[label="index1 EQ vx30 (compare LT vx30 /= LT)",fontsize=16,color="black",shape="box"];104 -> 116[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 108[label="index1 GT vx30 (compare LT vx30 /= LT)",fontsize=16,color="black",shape="box"];108 -> 120[label="",style="solid", color="black", weight=3]; 109[label="index1 GT vx30 (compare EQ vx30 /= LT)",fontsize=16,color="black",shape="box"];109 -> 121[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 125[label="index1 LT LT (not (EQ == LT))",fontsize=16,color="black",shape="box"];125 -> 137[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 130[label="index1 EQ EQ (not (EQ == LT))",fontsize=16,color="black",shape="box"];130 -> 142[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 136[label="index1 GT GT (not (EQ == LT))",fontsize=16,color="black",shape="box"];136 -> 148[label="",style="solid", color="black", weight=3]; 137[label="index1 LT LT (not False)",fontsize=16,color="black",shape="box"];137 -> 149[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 1058 -> 152[label="",style="solid", color="burlywood", weight=3]; 1059[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];140 -> 1059[label="",style="solid", color="burlywood", weight=9]; 1059 -> 153[label="",style="solid", color="burlywood", weight=3]; 1060[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];140 -> 1060[label="",style="solid", color="burlywood", weight=9]; 1060 -> 154[label="",style="solid", color="burlywood", weight=3]; 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]; 142[label="index1 EQ EQ (not False)",fontsize=16,color="black",shape="box"];142 -> 156[label="",style="solid", color="black", weight=3]; 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]; 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]; 1061 -> 158[label="",style="solid", color="burlywood", weight=3]; 1062[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];144 -> 1062[label="",style="solid", color="burlywood", weight=9]; 1062 -> 159[label="",style="solid", color="burlywood", weight=3]; 1063[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];144 -> 1063[label="",style="solid", color="burlywood", weight=9]; 1063 -> 160[label="",style="solid", color="burlywood", weight=3]; 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]; 1064 -> 161[label="",style="solid", color="burlywood", weight=3]; 1065[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];145 -> 1065[label="",style="solid", color="burlywood", weight=9]; 1065 -> 162[label="",style="solid", color="burlywood", weight=3]; 1066[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];145 -> 1066[label="",style="solid", color="burlywood", weight=9]; 1066 -> 163[label="",style="solid", color="burlywood", weight=3]; 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]; 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]; 148[label="index1 GT GT (not False)",fontsize=16,color="black",shape="box"];148 -> 166[label="",style="solid", color="black", weight=3]; 149[label="index1 LT LT True",fontsize=16,color="black",shape="box"];149 -> 167[label="",style="solid", color="black", weight=3]; 150[label="index1 LT EQ (not (LT == LT))",fontsize=16,color="black",shape="box"];150 -> 168[label="",style="solid", color="black", weight=3]; 151[label="index1 LT GT (not (LT == LT))",fontsize=16,color="black",shape="box"];151 -> 169[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 156[label="index1 EQ EQ True",fontsize=16,color="black",shape="box"];156 -> 174[label="",style="solid", color="black", weight=3]; 157[label="index1 EQ GT (not (LT == LT))",fontsize=16,color="black",shape="triangle"];157 -> 175[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 166[label="index1 GT GT True",fontsize=16,color="black",shape="box"];166 -> 184[label="",style="solid", color="black", weight=3]; 167[label="sum (map (index0 LT) (range (LT,LT)))",fontsize=16,color="black",shape="box"];167 -> 185[label="",style="solid", color="black", weight=3]; 168[label="index1 LT EQ (not True)",fontsize=16,color="black",shape="box"];168 -> 186[label="",style="solid", color="black", weight=3]; 169[label="index1 LT GT (not True)",fontsize=16,color="black",shape="box"];169 -> 187[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 174[label="sum (map (index0 EQ) (range (EQ,EQ)))",fontsize=16,color="black",shape="box"];174 -> 192[label="",style="solid", color="black", weight=3]; 175[label="index1 EQ GT (not True)",fontsize=16,color="black",shape="box"];175 -> 193[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 184[label="sum (map (index0 GT) (range (GT,GT)))",fontsize=16,color="black",shape="box"];184 -> 202[label="",style="solid", color="black", weight=3]; 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]; 186 -> 78[label="",style="dashed", color="red", weight=0]; 186[label="index1 LT EQ False",fontsize=16,color="magenta"];186 -> 204[label="",style="dashed", color="magenta", weight=3]; 187 -> 78[label="",style="dashed", color="red", weight=0]; 187[label="index1 LT GT False",fontsize=16,color="magenta"];187 -> 205[label="",style="dashed", color="magenta", weight=3]; 188[label="index1 EQ LT (not (EQ == LT))",fontsize=16,color="black",shape="box"];188 -> 206[label="",style="solid", color="black", weight=3]; 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]; 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]; 191[label="index1 EQ LT (not (GT == LT))",fontsize=16,color="black",shape="box"];191 -> 209[label="",style="solid", color="black", weight=3]; 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]; 193 -> 82[label="",style="dashed", color="red", weight=0]; 193[label="index1 EQ GT False",fontsize=16,color="magenta"];193 -> 211[label="",style="dashed", color="magenta", weight=3]; 194[label="index1 GT LT (not (EQ == LT))",fontsize=16,color="black",shape="box"];194 -> 212[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 198[label="index1 GT EQ (not (EQ == LT))",fontsize=16,color="black",shape="box"];198 -> 216[label="",style="solid", color="black", weight=3]; 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]; 200[label="index1 GT LT (not (GT == LT))",fontsize=16,color="black",shape="triangle"];200 -> 218[label="",style="solid", color="black", weight=3]; 201[label="index1 GT EQ (not (GT == LT))",fontsize=16,color="black",shape="box"];201 -> 219[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 209 -> 206[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 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]; 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]; 216[label="index1 GT EQ (not False)",fontsize=16,color="black",shape="triangle"];216 -> 230[label="",style="solid", color="black", weight=3]; 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]; 218 -> 212[label="",style="dashed", color="red", weight=0]; 218[label="index1 GT LT (not False)",fontsize=16,color="magenta"];219 -> 216[label="",style="dashed", color="red", weight=0]; 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]; 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]; 222[label="index1 EQ LT True",fontsize=16,color="black",shape="box"];222 -> 234[label="",style="solid", color="black", weight=3]; 223[label="index1 EQ EQ (not (LT == LT))",fontsize=16,color="black",shape="box"];223 -> 235[label="",style="solid", color="black", weight=3]; 224 -> 157[label="",style="dashed", color="red", weight=0]; 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]; 226[label="index1 GT LT True",fontsize=16,color="black",shape="box"];226 -> 237[label="",style="solid", color="black", weight=3]; 227[label="index1 GT EQ (not (LT == LT))",fontsize=16,color="black",shape="box"];227 -> 238[label="",style="solid", color="black", weight=3]; 228[label="index1 GT GT (not (LT == LT))",fontsize=16,color="black",shape="triangle"];228 -> 239[label="",style="solid", color="black", weight=3]; 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]; 230[label="index1 GT EQ True",fontsize=16,color="black",shape="box"];230 -> 241[label="",style="solid", color="black", weight=3]; 231 -> 228[label="",style="dashed", color="red", weight=0]; 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]; 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]; 234[label="sum (map (index0 EQ) (range (LT,EQ)))",fontsize=16,color="black",shape="box"];234 -> 244[label="",style="solid", color="black", weight=3]; 235[label="index1 EQ EQ (not True)",fontsize=16,color="black",shape="box"];235 -> 245[label="",style="solid", color="black", weight=3]; 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]; 237[label="sum (map (index0 GT) (range (LT,GT)))",fontsize=16,color="black",shape="box"];237 -> 247[label="",style="solid", color="black", weight=3]; 238[label="index1 GT EQ (not True)",fontsize=16,color="black",shape="box"];238 -> 248[label="",style="solid", color="black", weight=3]; 239[label="index1 GT GT (not True)",fontsize=16,color="black",shape="box"];239 -> 249[label="",style="solid", color="black", weight=3]; 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]; 241[label="sum (map (index0 GT) (range (EQ,GT)))",fontsize=16,color="black",shape="box"];241 -> 251[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 245 -> 82[label="",style="dashed", color="red", weight=0]; 245[label="index1 EQ EQ False",fontsize=16,color="magenta"];245 -> 255[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 248[label="index1 GT EQ False",fontsize=16,color="black",shape="box"];248 -> 258[label="",style="solid", color="black", weight=3]; 249[label="index1 GT GT False",fontsize=16,color="black",shape="box"];249 -> 259[label="",style="solid", color="black", weight=3]; 250 -> 200[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 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]; 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]; 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]; 258 -> 87[label="",style="dashed", color="red", weight=0]; 258[label="error []",fontsize=16,color="magenta"];259 -> 87[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 394[label="(foldl' (+) $! (+) fromInt (Pos Zero) index0 LT LT)",fontsize=16,color="black",shape="box"];394 -> 400[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 443[label="(foldl' (+) $! (+) fromInt (Pos Zero) index0 EQ LT)",fontsize=16,color="black",shape="box"];443 -> 449[label="",style="solid", color="black", weight=3]; 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]; 445[label="(foldl' (+) $! (+) fromInt (Pos Zero) index0 GT LT)",fontsize=16,color="black",shape="box"];445 -> 451[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 452 -> 458[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 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]; 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]; 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]; 459[label="(+)",fontsize=16,color="grey",shape="box"];459 -> 465[label="",style="dashed", color="grey", weight=3]; 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]; 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]; 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]; 462 -> 491[label="",style="dashed", color="red", weight=0]; 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]; 462 -> 493[label="",style="dashed", color="magenta", weight=3]; 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]; 464 -> 506[label="",style="dashed", color="red", weight=0]; 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]; 464 -> 508[label="",style="dashed", color="magenta", weight=3]; 465[label="(+) vx7",fontsize=16,color="grey",shape="box"];465 -> 472[label="",style="dashed", color="grey", weight=3]; 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]; 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]; 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]; 492 -> 479[label="",style="dashed", color="red", weight=0]; 492[label="primPlusInt (fromInt (Pos Zero)) (index0 EQ LT)",fontsize=16,color="magenta"];492 -> 500[label="",style="dashed", color="magenta", weight=3]; 492 -> 501[label="",style="dashed", color="magenta", weight=3]; 493 -> 479[label="",style="dashed", color="red", weight=0]; 493[label="primPlusInt (fromInt (Pos Zero)) (index0 EQ LT)",fontsize=16,color="magenta"];493 -> 502[label="",style="dashed", color="magenta", weight=3]; 493 -> 503[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 507 -> 479[label="",style="dashed", color="red", weight=0]; 507[label="primPlusInt (fromInt (Pos Zero)) (index0 GT LT)",fontsize=16,color="magenta"];507 -> 515[label="",style="dashed", color="magenta", weight=3]; 507 -> 516[label="",style="dashed", color="magenta", weight=3]; 508 -> 479[label="",style="dashed", color="red", weight=0]; 508[label="primPlusInt (fromInt (Pos Zero)) (index0 GT LT)",fontsize=16,color="magenta"];508 -> 517[label="",style="dashed", color="magenta", weight=3]; 508 -> 518[label="",style="dashed", color="magenta", weight=3]; 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]; 472[label="(+) vx7 vx8",fontsize=16,color="black",shape="triangle"];472 -> 479[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 500[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="triangle"];500 -> 520[label="",style="solid", color="black", weight=3]; 501[label="index0 EQ LT",fontsize=16,color="black",shape="triangle"];501 -> 521[label="",style="solid", color="black", weight=3]; 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]; 1067 -> 486[label="",style="solid", color="burlywood", weight=3]; 1068[label="vx7/Neg vx70",fontsize=10,color="white",style="solid",shape="box"];479 -> 1068[label="",style="solid", color="burlywood", weight=9]; 1068 -> 487[label="",style="solid", color="burlywood", weight=3]; 502 -> 500[label="",style="dashed", color="red", weight=0]; 502[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];503 -> 501[label="",style="dashed", color="red", weight=0]; 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]; 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]; 515 -> 500[label="",style="dashed", color="red", weight=0]; 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]; 517 -> 500[label="",style="dashed", color="red", weight=0]; 517[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];518 -> 516[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 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]; 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]; 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]; 1069 -> 523[label="",style="solid", color="burlywood", weight=3]; 1070[label="vx8/Neg vx80",fontsize=10,color="white",style="solid",shape="box"];486 -> 1070[label="",style="solid", color="burlywood", weight=9]; 1070 -> 524[label="",style="solid", color="burlywood", weight=3]; 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]; 1071 -> 525[label="",style="solid", color="burlywood", weight=3]; 1072[label="vx8/Neg vx80",fontsize=10,color="white",style="solid",shape="box"];487 -> 1072[label="",style="solid", color="burlywood", weight=9]; 1072 -> 526[label="",style="solid", color="burlywood", weight=3]; 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]; 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]; 530[label="index00 (GT > LT)",fontsize=16,color="black",shape="box"];530 -> 541[label="",style="solid", color="black", weight=3]; 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]; 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]; 489 -> 528[label="",style="dashed", color="red", weight=0]; 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]; 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]; 532[label="index00 (compare EQ LT == GT)",fontsize=16,color="black",shape="box"];532 -> 543[label="",style="solid", color="black", weight=3]; 523[label="primPlusInt (Pos vx70) (Pos vx80)",fontsize=16,color="black",shape="box"];523 -> 535[label="",style="solid", color="black", weight=3]; 524[label="primPlusInt (Pos vx70) (Neg vx80)",fontsize=16,color="black",shape="box"];524 -> 536[label="",style="solid", color="black", weight=3]; 525[label="primPlusInt (Neg vx70) (Pos vx80)",fontsize=16,color="black",shape="box"];525 -> 537[label="",style="solid", color="black", weight=3]; 526[label="primPlusInt (Neg vx70) (Neg vx80)",fontsize=16,color="black",shape="box"];526 -> 538[label="",style="solid", color="black", weight=3]; 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]; 505 -> 539[label="",style="dashed", color="red", weight=0]; 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]; 541[label="index00 (compare GT LT == GT)",fontsize=16,color="black",shape="box"];541 -> 555[label="",style="solid", color="black", weight=3]; 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]; 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]; 529 -> 500[label="",style="dashed", color="red", weight=0]; 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]; 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]; 543[label="index00 (compare3 EQ LT == GT)",fontsize=16,color="black",shape="box"];543 -> 557[label="",style="solid", color="black", weight=3]; 535[label="Pos (primPlusNat vx70 vx80)",fontsize=16,color="green",shape="box"];535 -> 548[label="",style="dashed", color="green", weight=3]; 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]; 1073 -> 549[label="",style="solid", color="burlywood", weight=3]; 1074[label="vx70/Zero",fontsize=10,color="white",style="solid",shape="box"];536 -> 1074[label="",style="solid", color="burlywood", weight=9]; 1074 -> 550[label="",style="solid", color="burlywood", weight=3]; 537 -> 536[label="",style="dashed", color="red", weight=0]; 537[label="primMinusNat vx80 vx70",fontsize=16,color="magenta"];537 -> 551[label="",style="dashed", color="magenta", weight=3]; 537 -> 552[label="",style="dashed", color="magenta", weight=3]; 538[label="Neg (primPlusNat vx70 vx80)",fontsize=16,color="green",shape="box"];538 -> 553[label="",style="dashed", color="green", weight=3]; 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]; 540 -> 500[label="",style="dashed", color="red", weight=0]; 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]; 555[label="index00 (compare3 GT LT == GT)",fontsize=16,color="black",shape="box"];555 -> 571[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 557[label="index00 (compare2 EQ LT (EQ == LT) == GT)",fontsize=16,color="black",shape="box"];557 -> 573[label="",style="solid", color="black", weight=3]; 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]; 1075 -> 562[label="",style="solid", color="burlywood", weight=3]; 1076[label="vx70/Zero",fontsize=10,color="white",style="solid",shape="box"];548 -> 1076[label="",style="solid", color="burlywood", weight=9]; 1076 -> 563[label="",style="solid", color="burlywood", weight=3]; 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]; 1077 -> 564[label="",style="solid", color="burlywood", weight=3]; 1078[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];549 -> 1078[label="",style="solid", color="burlywood", weight=9]; 1078 -> 565[label="",style="solid", color="burlywood", weight=3]; 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]; 1079 -> 566[label="",style="solid", color="burlywood", weight=3]; 1080[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];550 -> 1080[label="",style="solid", color="burlywood", weight=9]; 1080 -> 567[label="",style="solid", color="burlywood", weight=3]; 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]; 553[label="primPlusNat vx70 vx80",fontsize=16,color="magenta"];553 -> 568[label="",style="dashed", color="magenta", weight=3]; 553 -> 569[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 571[label="index00 (compare2 GT LT (GT == LT) == GT)",fontsize=16,color="black",shape="box"];571 -> 579[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 561 -> 577[label="",style="dashed", color="red", weight=0]; 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]; 573[label="index00 (compare2 EQ LT False == GT)",fontsize=16,color="black",shape="box"];573 -> 581[label="",style="solid", color="black", weight=3]; 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]; 1081 -> 582[label="",style="solid", color="burlywood", weight=3]; 1082[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];562 -> 1082[label="",style="solid", color="burlywood", weight=9]; 1082 -> 583[label="",style="solid", color="burlywood", weight=3]; 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]; 1083 -> 584[label="",style="solid", color="burlywood", weight=3]; 1084[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];563 -> 1084[label="",style="solid", color="burlywood", weight=9]; 1084 -> 585[label="",style="solid", color="burlywood", weight=3]; 564[label="primMinusNat (Succ vx700) (Succ vx800)",fontsize=16,color="black",shape="box"];564 -> 586[label="",style="solid", color="black", weight=3]; 565[label="primMinusNat (Succ vx700) Zero",fontsize=16,color="black",shape="box"];565 -> 587[label="",style="solid", color="black", weight=3]; 566[label="primMinusNat Zero (Succ vx800)",fontsize=16,color="black",shape="box"];566 -> 588[label="",style="solid", color="black", weight=3]; 567[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];567 -> 589[label="",style="solid", color="black", weight=3]; 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]; 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]; 579[label="index00 (compare2 GT LT False == GT)",fontsize=16,color="black",shape="box"];579 -> 597[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 578 -> 548[label="",style="dashed", color="red", weight=0]; 578[label="primPlusNat Zero Zero",fontsize=16,color="magenta"];578 -> 594[label="",style="dashed", color="magenta", weight=3]; 578 -> 595[label="",style="dashed", color="magenta", weight=3]; 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]; 581[label="index00 (compare1 EQ LT (EQ <= LT) == GT)",fontsize=16,color="black",shape="box"];581 -> 599[label="",style="solid", color="black", weight=3]; 582[label="primPlusNat (Succ vx700) (Succ vx800)",fontsize=16,color="black",shape="box"];582 -> 600[label="",style="solid", color="black", weight=3]; 583[label="primPlusNat (Succ vx700) Zero",fontsize=16,color="black",shape="box"];583 -> 601[label="",style="solid", color="black", weight=3]; 584[label="primPlusNat Zero (Succ vx800)",fontsize=16,color="black",shape="box"];584 -> 602[label="",style="solid", color="black", weight=3]; 585[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];585 -> 603[label="",style="solid", color="black", weight=3]; 586 -> 536[label="",style="dashed", color="red", weight=0]; 586[label="primMinusNat vx700 vx800",fontsize=16,color="magenta"];586 -> 604[label="",style="dashed", color="magenta", weight=3]; 586 -> 605[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 597[label="index00 (compare1 GT LT (GT <= LT) == GT)",fontsize=16,color="black",shape="box"];597 -> 611[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 599[label="index00 (compare1 EQ LT False == GT)",fontsize=16,color="black",shape="box"];599 -> 613[label="",style="solid", color="black", weight=3]; 600[label="Succ (Succ (primPlusNat vx700 vx800))",fontsize=16,color="green",shape="box"];600 -> 614[label="",style="dashed", color="green", weight=3]; 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]; 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]; 611[label="index00 (compare1 GT LT False == GT)",fontsize=16,color="black",shape="box"];611 -> 620[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 613[label="index00 (compare0 EQ LT otherwise == GT)",fontsize=16,color="black",shape="box"];613 -> 622[label="",style="solid", color="black", weight=3]; 614 -> 548[label="",style="dashed", color="red", weight=0]; 614[label="primPlusNat vx700 vx800",fontsize=16,color="magenta"];614 -> 623[label="",style="dashed", color="magenta", weight=3]; 614 -> 624[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 620[label="index00 (compare0 GT LT otherwise == GT)",fontsize=16,color="black",shape="box"];620 -> 630[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 622[label="index00 (compare0 EQ LT True == GT)",fontsize=16,color="black",shape="box"];622 -> 632[label="",style="solid", color="black", weight=3]; 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]; 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]; 630[label="index00 (compare0 GT LT True == GT)",fontsize=16,color="black",shape="box"];630 -> 638[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 632[label="index00 (GT == GT)",fontsize=16,color="black",shape="triangle"];632 -> 640[label="",style="solid", color="black", weight=3]; 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]; 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]; 638 -> 632[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 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]; 640[label="index00 True",fontsize=16,color="black",shape="box"];640 -> 647[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 673 -> 679[label="",style="dashed", color="red", weight=0]; 673[label="(foldl' (+) $! (+) vx14 index0 EQ EQ)",fontsize=16,color="magenta"];673 -> 680[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 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]; 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]; 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]; 680 -> 472[label="",style="dashed", color="red", weight=0]; 680[label="(+) vx14 index0 EQ EQ",fontsize=16,color="magenta"];680 -> 686[label="",style="dashed", color="magenta", weight=3]; 680 -> 687[label="",style="dashed", color="magenta", weight=3]; 679[label="(foldl' (+) $! vx16)",fontsize=16,color="black",shape="triangle"];679 -> 688[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 688[label="(vx16 `seq` foldl' (+) vx16)",fontsize=16,color="black",shape="box"];688 -> 695[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 694[label="index00 (EQ > EQ)",fontsize=16,color="black",shape="box"];694 -> 701[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 701[label="index00 (compare EQ EQ == GT)",fontsize=16,color="black",shape="box"];701 -> 708[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 708[label="index00 (compare3 EQ EQ == GT)",fontsize=16,color="black",shape="box"];708 -> 715[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 715[label="index00 (compare2 EQ EQ (EQ == EQ) == GT)",fontsize=16,color="black",shape="box"];715 -> 722[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 722[label="index00 (compare2 EQ EQ True == GT)",fontsize=16,color="black",shape="box"];722 -> 729[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 729[label="index00 (EQ == GT)",fontsize=16,color="black",shape="triangle"];729 -> 736[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 736[label="index00 False",fontsize=16,color="black",shape="box"];736 -> 743[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 746 -> 850[label="",style="dashed", color="red", weight=0]; 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]; 746 -> 852[label="",style="dashed", color="magenta", weight=3]; 746 -> 853[label="",style="dashed", color="magenta", weight=3]; 746 -> 854[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 1085 -> 877[label="",style="solid", color="blue", weight=3]; 1086[label="fromInt :: Int -> Integer",fontsize=10,color="white",style="solid",shape="box"];851 -> 1086[label="",style="solid", color="blue", weight=9]; 1086 -> 878[label="",style="solid", color="blue", weight=3]; 1087[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];851 -> 1087[label="",style="solid", color="blue", weight=9]; 1087 -> 879[label="",style="solid", color="blue", weight=3]; 1088[label="fromInt :: Int -> Float",fontsize=10,color="white",style="solid",shape="box"];851 -> 1088[label="",style="solid", color="blue", weight=9]; 1088 -> 880[label="",style="solid", color="blue", weight=3]; 1089[label="fromInt :: Int -> Double",fontsize=10,color="white",style="solid",shape="box"];851 -> 1089[label="",style="solid", color="blue", weight=9]; 1089 -> 881[label="",style="solid", color="blue", weight=3]; 852[label="vx6",fontsize=16,color="green",shape="box"];853 -> 827[label="",style="dashed", color="red", weight=0]; 853[label="index0 GT EQ",fontsize=16,color="magenta"];854 -> 827[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 757 -> 768[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 877[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];877 -> 889[label="",style="solid", color="black", weight=3]; 878[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="triangle"];878 -> 890[label="",style="solid", color="black", weight=3]; 879 -> 500[label="",style="dashed", color="red", weight=0]; 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]; 881[label="fromInt (Pos Zero)",fontsize=16,color="black",shape="box"];881 -> 892[label="",style="solid", color="black", weight=3]; 827[label="index0 GT EQ",fontsize=16,color="black",shape="triangle"];827 -> 834[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 769 -> 687[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 889[label="intToRatio (Pos Zero)",fontsize=16,color="black",shape="box"];889 -> 899[label="",style="solid", color="black", weight=3]; 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]; 892[label="primIntToDouble (Pos Zero)",fontsize=16,color="black",shape="box"];892 -> 901[label="",style="solid", color="black", weight=3]; 834[label="index00 (GT > EQ)",fontsize=16,color="black",shape="box"];834 -> 841[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 779 -> 788[label="",style="dashed", color="red", weight=0]; 779[label="(foldl' primPlusInt $! primPlusInt vx9 vx22)",fontsize=16,color="magenta"];779 -> 789[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 899[label="fromInt (Pos Zero) :% fromInt (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];899 -> 908[label="",style="dashed", color="green", weight=3]; 899 -> 909[label="",style="dashed", color="green", weight=3]; 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]; 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]; 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]; 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]; 789 -> 479[label="",style="dashed", color="red", weight=0]; 789[label="primPlusInt vx9 vx22",fontsize=16,color="magenta"];789 -> 797[label="",style="dashed", color="magenta", weight=3]; 789 -> 798[label="",style="dashed", color="magenta", weight=3]; 788[label="(foldl' primPlusInt $! vx23)",fontsize=16,color="black",shape="triangle"];788 -> 799[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 1090 -> 915[label="",style="solid", color="blue", weight=3]; 1091[label="fromInt :: Int -> Int",fontsize=10,color="white",style="solid",shape="box"];908 -> 1091[label="",style="solid", color="blue", weight=9]; 1091 -> 916[label="",style="solid", color="blue", weight=3]; 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]; 1092 -> 917[label="",style="solid", color="blue", weight=3]; 1093[label="fromInt :: -> Int Int",fontsize=10,color="white",style="solid",shape="box"];909 -> 1093[label="",style="solid", color="blue", weight=9]; 1093 -> 918[label="",style="solid", color="blue", weight=3]; 848[label="index00 (compare3 GT EQ == GT)",fontsize=16,color="black",shape="box"];848 -> 887[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 915 -> 878[label="",style="dashed", color="red", weight=0]; 915[label="fromInt (Pos Zero)",fontsize=16,color="magenta"];916 -> 500[label="",style="dashed", color="red", weight=0]; 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]; 918[label="fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];918 -> 925[label="",style="solid", color="black", weight=3]; 887[label="index00 (compare2 GT EQ (GT == EQ) == GT)",fontsize=16,color="black",shape="box"];887 -> 897[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 811 -> 819[label="",style="dashed", color="red", weight=0]; 811[label="(foldl' primPlusInt $! primPlusInt vx11 (index0 GT EQ))",fontsize=16,color="magenta"];811 -> 820[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 820 -> 479[label="",style="dashed", color="red", weight=0]; 820[label="primPlusInt vx11 (index0 GT EQ)",fontsize=16,color="magenta"];820 -> 826[label="",style="dashed", color="magenta", weight=3]; 820 -> 827[label="",style="dashed", color="magenta", weight=3]; 819[label="(foldl' primPlusInt $! vx24)",fontsize=16,color="black",shape="triangle"];819 -> 828[label="",style="solid", color="black", weight=3]; 906[label="index00 (compare1 GT EQ (GT <= EQ) == GT)",fontsize=16,color="black",shape="box"];906 -> 913[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 913[label="index00 (compare1 GT EQ False == GT)",fontsize=16,color="black",shape="box"];913 -> 922[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 922[label="index00 (compare0 GT EQ otherwise == GT)",fontsize=16,color="black",shape="box"];922 -> 929[label="",style="solid", color="black", weight=3]; 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]; 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]; 838[label="foldl' primPlusInt (Pos vx15) (map (index0 LT) [])",fontsize=16,color="black",shape="box"];838 -> 845[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 929[label="index00 (compare0 GT EQ True == GT)",fontsize=16,color="black",shape="box"];929 -> 934[label="",style="solid", color="black", weight=3]; 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]; 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]; 845[label="foldl' primPlusInt (Pos vx15) []",fontsize=16,color="black",shape="box"];845 -> 884[label="",style="solid", color="black", weight=3]; 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]; 847[label="foldl' (+) vx16 (map (index0 EQ) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];847 -> 886[label="",style="solid", color="black", weight=3]; 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]; 934 -> 632[label="",style="dashed", color="red", weight=0]; 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]; 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]; 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]; 886[label="foldl' (+) vx16 (map (index0 EQ) [])",fontsize=16,color="black",shape="box"];886 -> 896[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 896[label="foldl' (+) vx16 []",fontsize=16,color="black",shape="triangle"];896 -> 905[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 932 -> 937[label="",style="dashed", color="red", weight=0]; 932[label="(foldl' (+) $! (+) vx13 index0 GT GT)",fontsize=16,color="magenta"];932 -> 938[label="",style="dashed", color="magenta", weight=3]; 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]; 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]; 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]; 938 -> 472[label="",style="dashed", color="red", weight=0]; 938[label="(+) vx13 index0 GT GT",fontsize=16,color="magenta"];938 -> 942[label="",style="dashed", color="magenta", weight=3]; 938 -> 943[label="",style="dashed", color="magenta", weight=3]; 937[label="(foldl' (+) $! vx27)",fontsize=16,color="black",shape="triangle"];937 -> 944[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 944[label="(vx27 `seq` foldl' (+) vx27)",fontsize=16,color="black",shape="box"];944 -> 949[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 948[label="index00 (GT > GT)",fontsize=16,color="black",shape="box"];948 -> 953[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 953[label="index00 (compare GT GT == GT)",fontsize=16,color="black",shape="box"];953 -> 958[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 958[label="index00 (compare3 GT GT == GT)",fontsize=16,color="black",shape="box"];958 -> 963[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 963[label="index00 (compare2 GT GT (GT == GT) == GT)",fontsize=16,color="black",shape="box"];963 -> 968[label="",style="solid", color="black", weight=3]; 964[label="foldl' (+) vx27 (map (index0 GT) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];964 -> 969[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 968[label="index00 (compare2 GT GT True == GT)",fontsize=16,color="black",shape="box"];968 -> 973[label="",style="solid", color="black", weight=3]; 969[label="foldl' (+) vx27 (map (index0 GT) [])",fontsize=16,color="black",shape="box"];969 -> 974[label="",style="solid", color="black", weight=3]; 971[label="foldl' primPlusInt vx23 (map (index0 EQ) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];971 -> 976[label="",style="solid", color="black", weight=3]; 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]; 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]; 973 -> 729[label="",style="dashed", color="red", weight=0]; 973[label="index00 (EQ == GT)",fontsize=16,color="magenta"];974 -> 896[label="",style="dashed", color="red", weight=0]; 974[label="foldl' (+) vx27 []",fontsize=16,color="magenta"];974 -> 978[label="",style="dashed", color="magenta", weight=3]; 976[label="foldl' primPlusInt vx23 (map (index0 EQ) [])",fontsize=16,color="black",shape="box"];976 -> 980[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 1005 -> 1008[label="",style="dashed", color="red", weight=0]; 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]; 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]; 1009 -> 943[label="",style="dashed", color="red", weight=0]; 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]; 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]; 1010[label="(foldl' vx20 $! vx20 (vx20 vx21 vx25) vx29)",fontsize=16,color="black",shape="box"];1010 -> 1012[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 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]; 1004 -> 1006[label="",style="dashed", color="red", weight=0]; 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]; 1027[label="foldl' vx20 (vx20 (vx20 vx21 vx25) vx29) []",fontsize=16,color="black",shape="box"];1027 -> 1029[label="",style="solid", color="black", weight=3]; 1007 -> 943[label="",style="dashed", color="red", weight=0]; 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]; 1029[label="vx20 (vx20 vx21 vx25) vx29",fontsize=16,color="green",shape="box"];1029 -> 1031[label="",style="dashed", color="green", weight=3]; 1029 -> 1032[label="",style="dashed", color="green", weight=3]; 1011 -> 1013[label="",style="dashed", color="red", weight=0]; 1011[label="(foldl' primPlusInt $! primPlusInt vx24 vx28)",fontsize=16,color="magenta"];1011 -> 1014[label="",style="dashed", color="magenta", weight=3]; 1031[label="vx20 vx21 vx25",fontsize=16,color="green",shape="box"];1031 -> 1034[label="",style="dashed", color="green", weight=3]; 1031 -> 1035[label="",style="dashed", color="green", weight=3]; 1032[label="vx29",fontsize=16,color="green",shape="box"];1014 -> 479[label="",style="dashed", color="red", weight=0]; 1014[label="primPlusInt vx24 vx28",fontsize=16,color="magenta"];1014 -> 1016[label="",style="dashed", color="magenta", weight=3]; 1014 -> 1017[label="",style="dashed", color="magenta", weight=3]; 1013[label="(foldl' primPlusInt $! vx30)",fontsize=16,color="black",shape="triangle"];1013 -> 1018[label="",style="solid", color="black", weight=3]; 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]; 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]; 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]; 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]; 1026[label="foldl' primPlusInt vx30 (map (index0 GT) (foldr (++) [] []))",fontsize=16,color="black",shape="box"];1026 -> 1028[label="",style="solid", color="black", weight=3]; 1028[label="foldl' primPlusInt vx30 (map (index0 GT) [])",fontsize=16,color="black",shape="box"];1028 -> 1030[label="",style="solid", color="black", weight=3]; 1030 -> 980[label="",style="dashed", color="red", weight=0]; 1030[label="foldl' primPlusInt vx30 []",fontsize=16,color="magenta"];1030 -> 1033[label="",style="dashed", color="magenta", weight=3]; 1033[label="vx30",fontsize=16,color="green",shape="box"];} ---------------------------------------- (12) Complex Obligation (AND) ---------------------------------------- (13) Obligation: Q DP problem: The TRS P consists of the following rules: new_primMinusNat(Succ(vx700), Succ(vx800)) -> new_primMinusNat(vx700, vx800) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (14) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primMinusNat(Succ(vx700), Succ(vx800)) -> new_primMinusNat(vx700, vx800) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (15) YES ---------------------------------------- (16) Obligation: Q DP problem: The TRS P consists of the following rules: new_primPlusNat(Succ(vx700), Succ(vx800)) -> new_primPlusNat(vx700, vx800) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (17) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primPlusNat(Succ(vx700), Succ(vx800)) -> new_primPlusNat(vx700, vx800) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (18) YES